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) | -47 | 3600.02 | 1811.82 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
| MD5SUM | 79c0a8033bde71aac2f7ead78fdb13b7 |
| 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 | 593.296 |
| 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 | 80258 |
| Number of constraints which are clauses | 80258 |
| 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 |
2.79/2.34 o -29 3.39/2.63 o -34 3.78/2.83 o -36 4.18/3.03 o -37 4.77/3.35 o -38 5.17/3.52 o -39 6.76/4.30 o -40 7.96/4.95 o -41 22.45/12.24 o -42 24.44/13.24 o -43 27.22/14.65 o -44 27.42/14.78 o -45 1422.11/716.40 o -46 1685.18/848.78 o -47 3600.00/1811.80 s SATISFIABLE 3600.00/1811.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.00/1811.80 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.00/1811.80 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 3600.00/1811.80 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 3600.00/1811.80 v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 3600.00/1811.80 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 3600.00/1811.80 v x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 3600.00/1811.80 v -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 3600.00/1811.80 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 3600.00/1811.80 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 3600.00/1811.80 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 3600.00/1811.80 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 3600.00/1811.80 v -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 3600.00/1811.80 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 3600.00/1811.80 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 3600.00/1811.80 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 3600.00/1811.80 v -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 3600.00/1811.80 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 3600.00/1811.80 v x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 3600.00/1811.80 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 3600.00/1811.80 v -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 3600.00/1811.80 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 3600.00/1811.80 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 3600.00/1811.80 v -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 3600.00/1811.80 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 3600.00/1811.80 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 3600.00/1811.80 v -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 3600.00/1811.80 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 3600.00/1811.80 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 3600.00/1811.80 v -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 3600.00/1811.80 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 3600.00/1811.80 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 3600.00/1811.80 v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 3600.00/1811.80 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 3600.00/1811.80 v -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 3600.00/1811.80 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 3600.00/1811.80 v -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 3600.00/1811.80 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 3600.00/1811.80 v -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 3600.00/1811.80 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 3600.00/1811.80 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 3600.00/1811.80 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 3600.00/1811.80 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 3600.00/1811.80 v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 3600.00/1811.80 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 3600.00/1811.80 v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 3600.00/1811.80 v -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 3600.00/1811.80 v -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 3600.00/1811.80 v -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 3600.00/1811.80 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 3600.00/1811.80 v -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 3600.00/1811.80 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 3600.00/1811.80 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 3600.00/1811.80 v -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 3600.00/1811.80 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 3600.00/1811.80 v -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 3600.00/1811.80 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 3600.00/1811.80 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 3600.00/1811.80 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 3600.00/1811.80 v -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 3600.00/1811.80 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 3600.00/1811.80 v -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 3600.00/1811.80 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 3600.00/1811.80 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 3600.00/1811.80 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 3600.00/1811.80 v -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 3600.00/1811.80 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 3600.00/1811.80 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 3600.00/1811.80 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 3600.00/1811.80 v -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 3600.00/1811.80 v -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 3600.00/1811.80 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 3600.00/1811.80 v -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 3600.00/1811.80 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 3600.00/1811.80 v x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 3600.00/1811.80 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 3600.00/1811.80 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 3600.00/1811.80 v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 3600.00/1811.80 v -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 3600.00/1811.80 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 3600.00/1811.80 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 3600.00/1811.80 v -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 3600.00/1811.80 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 3600.00/1811.80 v x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 3600.00/1811.80 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 3600.00/1811.80 v -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 3600.00/1811.80 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 3600.00/1811.80 v -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 3600.00/1811.80 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 3600.00/1811.80 v -x1149 -x1150
OK -47
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62821 MiB free)
memory of node 1: 64465 MiB (63292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484880-1751313644/watcher-4484880-1751313644 -o /tmp/evaluation-result-4484880-1751313644/solver-4484880-1751313644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751312874-52106 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1682620282 --competition_mode --input HOME/instance-4484880-1751313644.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=52861, runsolver pid=52858
[startup+0.100103 s]*
/proc/loadavg: 8.05 7.63 5.78 8/255 52862
/proc/meminfo: memFree=129132060/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=29044 memory=19316 CPUtime=0.1 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) R 52858 52861 52096 0 -1 4194304 3571 0 0 0 10 0 0 0 20 0 1 0 47043556 29741056 4829 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 7261 4829 1088 2102 0 4801 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29044 KiB
Current children cumulated memory: 19316 KiB
[startup+0.21293 s]*
/proc/loadavg: 8.05 7.63 5.78 8/255 52862
/proc/meminfo: memFree=129099992/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=41880 memory=36576 CPUtime=0.21 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) R 52858 52861 52096 0 -1 4194304 8969 0 0 0 19 2 0 0 20 0 1 0 47043556 42885120 9144 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 10470 9144 1344 2102 0 8010 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41880 KiB
Current children cumulated memory: 36576 KiB
[startup+0.312839 s]*
/proc/loadavg: 8.05 7.63 5.78 8/255 52862
/proc/meminfo: memFree=129093124/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=58220 memory=51680 CPUtime=0.32 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) R 52858 52861 52096 0 -1 4194304 12690 0 0 0 28 4 0 0 20 0 1 0 47043556 59617280 12920 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 14555 12920 1408 2102 0 12095 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 58220 KiB
Current children cumulated memory: 51680 KiB
[startup+0.700243 s]
/proc/loadavg: 8.05 7.63 5.78 8/255 52862
/proc/meminfo: memFree=129085060/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=70588 memory=64436 CPUtime=0.69 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) R 52858 52861 52096 0 -1 4194304 14761 0 0 0 64 5 0 0 20 0 1 0 47043556 72282112 16109 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 17647 16109 1504 2102 0 15187 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70588 KiB
Current children cumulated memory: 64436 KiB
[startup+1.50024 s]
/proc/loadavg: 8.05 7.63 5.78 8/255 52862
/proc/meminfo: memFree=129076996/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=88956 memory=82296 CPUtime=1.48 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) R 52858 52861 52096 0 -1 4194304 18386 0 0 0 143 5 0 0 20 0 1 0 47043556 91090944 20574 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 22239 20574 1856 2102 0 19779 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88956 KiB
Current children cumulated memory: 82296 KiB
[startup+3.10684 s]
/proc/loadavg: 8.05 7.63 5.78 9/257 52864
/proc/meminfo: memFree=129051956/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=236484 memory=112680 CPUtime=4.38 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 32096 0 0 0 431 7 0 0 20 0 3 0 47043556 242159616 28170 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 59121 28170 2176 2102 0 38675 0
[pid=52861/tid=52863] ppid=52858 vsize=236484 memory=0 CPUtime=1.34 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 7646 0 0 0 134 0 0 0 20 0 3 0 47043728 242159616 28170 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=236484 memory=114996 CPUtime=1.31 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 5864 0 0 0 131 0 0 0 20 0 3 0 47043728 242159616 28170 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 236484 KiB
Current children cumulated memory: 112680 KiB
[startup+6.30022 s]
/proc/loadavg: 8.04 7.63 5.79 9/257 52864
/proc/meminfo: memFree=129028772/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=236484 memory=132304 CPUtime=10.73 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 37841 0 0 0 1065 8 0 0 20 0 3 0 47043556 242159616 33076 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 59121 33076 2176 2102 0 39767 0
[pid=52861/tid=52863] ppid=52858 vsize=236484 memory=0 CPUtime=4.53 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 12631 0 0 0 452 1 0 0 20 0 3 0 47043728 242159616 33076 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=236484 memory=132304 CPUtime=4.48 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 6583 0 0 0 447 1 0 0 20 0 3 0 47043728 242159616 33076 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 10.73 s
Current children cumulated vsize: 236484 KiB
Current children cumulated memory: 132304 KiB
[startup+12.7002 s]
/proc/loadavg: 8.04 7.64 5.80 9/257 52864
/proc/meminfo: memFree=129009580/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=236484 memory=144812 CPUtime=23.45 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 48380 0 0 0 2336 9 0 0 20 0 3 0 47043556 242159616 36203 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 59121 36203 2176 2102 0 45850 0
[pid=52861/tid=52863] ppid=52858 vsize=236484 memory=11264 CPUtime=10.91 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 17939 0 0 0 1090 1 0 0 20 0 3 0 47043728 242159616 36203 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=236484 memory=137296 CPUtime=10.81 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 11769 0 0 0 1080 1 0 0 20 0 3 0 47043728 242159616 36203 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 23.45 s
Current children cumulated vsize: 236484 KiB
Current children cumulated memory: 144812 KiB
[startup+25.5002 s]
/proc/loadavg: 8.11 7.68 5.84 9/257 52875
/proc/meminfo: memFree=128990256/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=236484 memory=147372 CPUtime=48.89 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 56214 0 0 0 4879 10 0 0 20 0 3 0 47043556 242159616 36843 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 59121 36843 2176 2102 0 45972 0
[pid=52861/tid=52863] ppid=52858 vsize=236484 memory=14340 CPUtime=23.68 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 22841 0 0 0 2366 2 0 0 20 0 3 0 47043728 242159616 36843 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=236484 memory=146860 CPUtime=23.48 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 14663 0 0 0 2347 1 0 0 20 0 3 0 47043728 242159616 36843 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 48.89 s
Current children cumulated vsize: 236484 KiB
Current children cumulated memory: 147372 KiB
[startup+51.1052 s]
/proc/loadavg: 8.42 7.78 5.93 9/257 52876
/proc/meminfo: memFree=128976620/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=236484 memory=150956 CPUtime=99.79 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 65334 0 0 0 9967 12 0 0 20 0 3 0 47043556 242159616 37739 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 59121 37739 2176 2102 0 46897 0
[pid=52861/tid=52863] ppid=52858 vsize=236484 memory=150444 CPUtime=49.2 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 30344 0 0 0 4918 2 0 0 20 0 3 0 47043728 242159616 37739 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=236484 memory=17664 CPUtime=48.84 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 16190 0 0 0 4882 2 0 0 20 0 3 0 47043728 242159616 37739 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 99.79 s
Current children cumulated vsize: 236484 KiB
Current children cumulated memory: 150956 KiB
[startup+102.3 s]
/proc/loadavg: 8.22 7.83 6.04 9/257 52878
/proc/meminfo: memFree=128912692/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=236484 memory=181804 CPUtime=201.53 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 92431 0 0 0 20132 21 0 0 20 0 3 0 47043556 242159616 45451 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 59121 45451 2176 2102 0 54448 0
[pid=52861/tid=52863] ppid=52858 vsize=236484 memory=14340 CPUtime=100.22 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 50251 0 0 0 10013 9 0 0 20 0 3 0 47043728 242159616 45451 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=236484 memory=177836 CPUtime=99.55 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 23257 0 0 0 9952 3 0 0 20 0 3 0 47043728 242159616 45451 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 201.53 s
Current children cumulated vsize: 236484 KiB
Current children cumulated memory: 181804 KiB
[startup+162.3 s]
/proc/loadavg: 8.19 7.90 6.18 9/257 52880
/proc/meminfo: memFree=128875144/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=202156 CPUtime=320.77 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 110999 0 0 0 32052 25 0 0 20 0 3 0 47043556 309268480 50539 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 50539 2176 2102 0 60182 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=184492 CPUtime=160.01 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 66644 0 0 0 15989 12 0 0 20 0 3 0 47043728 309268480 50539 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=2273 CPUtime=158.97 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 25388 0 0 0 15894 3 0 0 20 0 3 0 47043728 309268480 50539 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 320.77 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 202156 KiB
[startup+222.3 s]
/proc/loadavg: 8.12 7.93 6.30 9/257 52882
/proc/meminfo: memFree=128871920/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=204332 CPUtime=440 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 130875 0 0 0 43972 28 0 0 20 0 3 0 47043556 309268480 51083 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 51083 2176 2102 0 60182 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=203820 CPUtime=219.81 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 82694 0 0 0 21967 14 0 0 20 0 3 0 47043728 309268480 51083 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=203820 CPUtime=218.39 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 29170 0 0 0 21835 4 0 0 20 0 3 0 47043728 309268480 51083 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 440 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 204332 KiB
[startup+282.3 s]
/proc/loadavg: 8.12 7.97 6.41 9/258 52885
/proc/meminfo: memFree=128790920/131382112 swapFree=33010684/33010684
################
# More data... #
################
Current children cumulated memory: 248648 KiB
[startup+1302.3 s]
/proc/loadavg: 8.14 8.11 7.58 9/260 52982
/proc/meminfo: memFree=128817632/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=2587.06 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 221531 0 0 0 258640 66 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=248648 CPUtime=1296.22 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 158767 0 0 0 129595 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=21484 CPUtime=1288.67 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43458 0 0 0 128848 19 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 2587.06 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1362.3 s]
/proc/loadavg: 8.12 8.10 7.61 9/259 52984
/proc/meminfo: memFree=128815072/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=2706.36 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 221543 0 0 0 270569 67 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=248648 CPUtime=1356.06 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 158775 0 0 0 135579 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=-8183432466460284352 CPUtime=1348.11 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43459 0 0 0 134791 20 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 2706.36 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.10 7.64 9/259 52986
/proc/meminfo: memFree=128821956/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=2825.65 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 221549 0 0 0 282497 68 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=14340 CPUtime=1415.89 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 158781 0 0 0 141562 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=14340 CPUtime=1407.55 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43459 0 0 0 140735 20 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 2825.65 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1482.3 s]
/proc/loadavg: 8.12 8.11 7.68 9/259 52988
/proc/meminfo: memFree=128802632/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=2944.94 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 221882 0 0 0 294425 69 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=5632 CPUtime=1475.72 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 158811 0 0 0 147545 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=248648 CPUtime=1466.98 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43739 0 0 0 146678 20 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 2944.94 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1542.3 s]
/proc/loadavg: 8.14 8.12 7.71 9/259 52992
/proc/meminfo: memFree=128752116/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=3064.23 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 222362 0 0 0 306352 71 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=-8183425877997230529 CPUtime=1535.56 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 159290 0 0 0 153529 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=14340 CPUtime=1526.42 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43739 0 0 0 152621 21 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 3064.23 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1602.3 s]
/proc/loadavg: 8.10 8.11 7.74 9/258 52994
/proc/meminfo: memFree=128765336/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=3183.52 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 222368 0 0 0 318280 72 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=248648 CPUtime=1595.39 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 159290 0 0 0 159512 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=248648 CPUtime=1585.86 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43745 0 0 0 158564 22 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 3183.52 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1662.3 s]
/proc/loadavg: 8.15 8.12 7.77 9/258 53001
/proc/meminfo: memFree=128764356/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=3302.81 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 222371 0 0 0 330208 73 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=248648 CPUtime=1655.23 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 159293 0 0 0 165496 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=17664 CPUtime=1645.3 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43745 0 0 0 164508 22 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 3302.81 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1722.3 s]
/proc/loadavg: 8.08 8.10 7.78 9/258 53049
/proc/meminfo: memFree=128850508/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=3422.09 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 222374 0 0 0 342135 74 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=17664 CPUtime=1715.04 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 159293 0 0 0 171477 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=17664 CPUtime=1704.75 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43747 0 0 0 170452 23 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 3422.09 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
[startup+1782.3 s]
/proc/loadavg: 7.99 8.07 7.80 7/252 53200
/proc/meminfo: memFree=129050056/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=3541.35 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 222375 0 0 0 354060 75 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=248648 CPUtime=1774.84 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 159294 0 0 0 177457 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=6516 CPUtime=1764.18 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 43747 0 0 0 176395 23 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 3541.35 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.8 s]
/proc/loadavg: 8.00 8.06 7.81 9/258 53286
/proc/meminfo: memFree=129021464/131382112 swapFree=33010684/33010684
[pid=52861] ppid=52858 vsize=302020 memory=248648 CPUtime=3600 cores=0,2
/proc/52861/stat : 52861 (cp-sat-runner) S 52858 52861 52096 0 -1 4194304 222693 0 0 0 359924 76 0 0 20 0 3 0 47043556 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
/proc/52861/statm: 75505 62162 2176 2102 0 68614 0
[pid=52861/tid=52863] ppid=52858 vsize=302020 memory=248648 CPUtime=1804.25 cores=0,2
/proc/52861/task/52863/stat : 52863 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 159324 0 0 0 180398 27 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
[pid=52861/tid=52864] ppid=52858 vsize=302020 memory=-8183425877997230529 CPUtime=1793.42 cores=0,2
/proc/52861/task/52864/stat : 52864 (cp-sat-runner) R 52858 52861 52096 0 -1 4194368 44018 0 0 0 179318 24 0 0 20 0 3 0 47043728 309268480 62162 18446744073709551615 4198400 12805993 140726875172144 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 46317568 140726875175192 140726875175397 140726875175397 140726875180999 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 248648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1811.82 s]
# the end of solver process 52861 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.26 s, system=0.766537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1811.82
CPU time (s): 3600.02
CPU user time (s): 3599.26
CPU system time (s): 0.766537
CPU usage (%): 198.697
Max. virtual memory (cumulated for all children) (KiB): 302020
Max. memory (cumulated for all children) (KiB): 248648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.26
system time used= 0.766537
maximum resident set size= 248776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222699
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= 26232
involuntary context switches= 103322
# summary of solver processes directly reported to runsolver:
# pid: 52861
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.26
# total CPU system time (s): 0.766537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53938 second user time and 7.87778 second system time
The end
Begin job on nodeC007 at 2025-06-30 22:00:44 IDJOB=4484880 IDBENCH=146675 IDSOLVER=3320 FILE ID=nodeC007/4484880-1751313644 RUNJOBID= nodeC007-1751312874-52106 SLURM_JOB_ID= 9594310 Free space on /tmp= 432972 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-4.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-4484880-1751313644/watcher-4484880-1751313644 -o /tmp/evaluation-result-4484880-1751313644/solver-4484880-1751313644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751312874-52106 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1682620282 --competition_mode --input HOME/instance-4484880-1751313644.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79c0a8033bde71aac2f7ead78fdb13b7 RANDOM SEED=1682620282 nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.325 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.652 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.202 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.608 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.530 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.609 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.577 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.691 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129140648 kB MemAvailable: 129355456 kB Buffers: 3280 kB Cached: 1022020 kB SwapCached: 0 kB Active: 914128 kB Inactive: 775512 kB Active(anon): 682300 kB Inactive(anon): 0 kB Active(file): 231828 kB Inactive(file): 775512 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14504 kB Writeback: 148 kB AnonPages: 667468 kB Mapped: 128912 kB Shmem: 17960 kB KReclaimable: 94188 kB Slab: 177772 kB SReclaimable: 94188 kB SUnreclaim: 83584 kB KernelStack: 4112 kB PageTables: 4308 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1068532 kB VmallocTotal: 34359738367 kB VmallocUsed: 149448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 51200 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432964 MiB End job on nodeC007 at 2025-06-30 22:30:56