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) | 70098 | 3600.07 | 1814.91 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
| MD5SUM | 45d4d1161a77415ffbfc9841f6913b11 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 66791 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 2700 |
| Total number of constraints | 42620 |
| Number of constraints which are clauses | 20220 |
| Number of constraints which are cardinality constraints (but not clauses) | 800 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 36 |
| Number of terms in the objective function | 900 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 559660 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 559660 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3.68/3.54 o 91103 4.08/3.73 o 87670 8.04/5.77 o 87275 8.84/6.19 o 86950 16.57/10.06 o 86604 19.14/11.31 o 86319 21.33/12.46 o 84687 26.87/15.22 o 83747 32.44/18.07 o 83039 33.62/18.68 o 83007 43.51/23.63 o 80679 50.06/26.91 o 80404 52.25/28.04 o 80154 54.62/29.20 o 79761 58.20/31.08 o 79743 62.17/33.01 o 78205 67.71/35.82 o 78178 132.99/68.75 o 78051 197.65/101.39 o 77937 205.78/105.46 o 77713 229.56/117.40 o 77706 245.82/125.66 o 76391 256.92/131.21 o 76045 283.50/144.65 o 75708 297.37/151.68 o 75331 302.72/154.32 o 75211 309.65/157.83 o 75187 323.93/165.07 o 75130 346.71/176.58 o 74949 352.46/179.49 o 74822 378.23/192.49 o 74013 378.83/192.75 o 73820 391.71/199.29 o 73813 406.18/206.56 o 72732 557.06/282.64 o 72102 557.06/282.64 o 72095 557.86/283.04 o 71476 561.03/284.62 o 71439 577.69/293.07 o 71312 626.85/317.89 o 70919 666.70/337.95 o 70795 748.17/379.07 o 70689 748.17/379.07 o 70682 1041.15/526.82 o 70591 1072.88/542.84 o 70584 1095.11/554.05 o 70098 3600.04/1814.90 s SATISFIABLE 3600.04/1814.90 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 3600.04/1814.90 v -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 3600.04/1814.90 v -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 3600.04/1814.90 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 3600.04/1814.90 v -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 3600.04/1814.90 v -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 3600.04/1814.90 v -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 3600.04/1814.90 v x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 3600.04/1814.90 v -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 3600.04/1814.90 v -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 3600.04/1814.90 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 3600.04/1814.90 v -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 3600.04/1814.90 v -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 3600.04/1814.90 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 3600.04/1814.90 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 3600.04/1814.90 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 3600.04/1814.90 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 3600.04/1814.90 v -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 3600.04/1814.90 v -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 3600.04/1814.90 v -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 3600.04/1814.90 v -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 3600.04/1814.90 v -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 3600.04/1814.90 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 3600.04/1814.90 v -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 3600.04/1814.90 v -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 3600.04/1814.90 v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 3600.04/1814.90 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 3600.04/1814.90 v -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 3600.04/1814.90 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 3600.04/1814.90 v -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 3600.04/1814.90 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 3600.04/1814.90 v -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 3600.04/1814.90 v x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 3600.04/1814.90 v -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 3600.04/1814.90 v -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 3600.04/1814.90 v -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 3600.04/1814.90 v -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 3600.04/1814.90 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 3600.04/1814.90 v -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 3600.04/1814.90 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 3600.04/1814.90 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 x552 -x553 3600.04/1814.90 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 3600.04/1814.90 v -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 3600.04/1814.90 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 3600.04/1814.90 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 3600.04/1814.90 v -x606 x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 3600.04/1814.90 v -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 3600.04/1814.90 v -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 3600.04/1814.90 v -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 3600.04/1814.90 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 3600.04/1814.90 v -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 3600.04/1814.90 v -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 3600.04/1814.90 v -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 3600.04/1814.90 v -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 3600.04/1814.90 v x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 3600.04/1814.90 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 3600.04/1814.90 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 3600.04/1814.90 v -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 3600.04/1814.90 v -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 3600.04/1814.90 v -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 3600.04/1814.90 v -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 3600.04/1814.90 v -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 3600.04/1814.90 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 3600.04/1814.90 v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 3600.04/1814.90 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 x863 -x864 -x865 3600.04/1814.90 v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 3600.04/1814.90 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 3600.04/1814.90 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 x901 -x902 -x903 -x904 3600.04/1814.90 v -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 3600.04/1814.90 v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 3600.04/1814.90 v -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 3600.04/1814.90 v -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 3600.04/1814.90 v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 3600.04/1814.90 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 3600.04/1814.90 v -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 3600.04/1814.90 v -x996 -x997 x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 3600.04/1814.90 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 3600.04/1814.90 v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 3600.04/1814.90 v -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 3600.04/1814.90 v -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 3600.04/1814.90 v -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 3600.04/1814.90 v -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 3600.04/1814.90 v -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 3600.04/1814.90 v -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 3600.04/1814.90 v -x1096 -x1097 -x1098 x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 3600.04/1814.90 v -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 3600.04/1814.90 v -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 3600.04/1814.90 v -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 3600.04/1814.90 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 3600.04/1814.90 v x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 3600.04/1814.90 v -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 3600.04/1814.90 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 x1182 -x1183 3600.04/1814.90 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 3600.04/1814.90 v -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 3600.04/1814.90 v -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 3600.04/1814.90 v -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 3600.04/1814.90 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 3600.04/1814.90 v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 3600.04/1814.90 v -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 3600.04/1814.90 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 3600.04/1814.90 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 3600.04/1814.90 v -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 3600.04/1814.90 v -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 3600.04/1814.90 v -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 3600.04/1814.90 v x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 3600.04/1814.90 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 3600.04/1814.90 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 3600.04/1814.90 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 3600.04/1814.90 v -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 3600.04/1814.90 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 3600.04/1814.90 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 3600.04/1814.90 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 3600.04/1814.90 v -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 x1412 -x1413 -x1414 3600.04/1814.90 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 3600.04/1814.90 v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 3600.04/1814.90 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 3600.04/1814.90 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 3600.04/1814.90 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 3600.04/1814.90 v -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 3600.04/1814.90 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 3600.04/1814.90 v -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 3600.04/1814.90 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 3600.04/1814.90 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 3600.04/1814.90 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 3600.04/1814.90 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 3600.04/1814.90 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 3600.04/1814.90 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 3600.04/1814.90 v -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 3600.04/1814.90 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 3600.04/1814.90 v -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 3600.04/1814.90 v -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 3600.04/1814.90 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 3600.04/1814.90 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 3600.04/1814.90 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 3600.04/1814.90 v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 3600.04/1814.90 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 3600.04/1814.90 v -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 3600.04/1814.90 v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 3600.04/1814.90 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 3600.04/1814.90 v -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 3600.04/1814.90 v -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 3600.04/1814.90 v x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 3600.04/1814.90 v x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 3600.04/1814.90 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 3600.04/1814.90 v x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 3600.04/1814.90 v -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 3600.04/1814.90 v x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 3600.04/1814.90 v -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 3600.04/1814.90 v x1800 x1801 x1802 -x1803 x1804 -x1805 x1806 x1807 -x1808 -x1809 -x1810 -x1811 3600.04/1814.90 v x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 3600.04/1814.90 v x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 3600.04/1814.90 v -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 3600.04/1814.90 v -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 3600.04/1814.90 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 3600.04/1814.90 v -x1867 -x1868 -x1869 -x1870 -x1871 x1872 x1873 -x1874 -x1875 -x1876 -x1877 3600.04/1814.90 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 3600.04/1814.90 v -x1889 x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 3600.04/1814.90 v -x1900 x1901 x1902 -x1903 -x1904 x1905 -x1906 x1907 x1908 -x1909 x1910 -x1911 3600.04/1814.90 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 3600.04/1814.90 v -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 3600.04/1814.90 v -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 3600.04/1814.90 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 x1955 3600.04/1814.90 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 3600.04/1814.90 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 3600.04/1814.90 v -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 3600.04/1814.90 v -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 3600.04/1814.90 v x2000 -x2001 x2002 -x2003 x2004 -x2005 x2006 x2007 -x2008 -x2009 x2010 -x2011 3600.04/1814.90 v -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 3600.04/1814.90 v -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 3600.04/1814.90 v -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 3600.04/1814.90 v -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 3600.04/1814.90 v -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 3600.04/1814.90 v -x2067 -x2068 x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 3600.04/1814.90 v -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 3600.04/1814.90 v -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 3600.04/1814.90 v -x2100 x2101 -x2102 x2103 -x2104 -x2105 x2106 x2107 -x2108 -x2109 -x2110 -x2111 3600.04/1814.90 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 3600.04/1814.90 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 3600.04/1814.90 v -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 3600.04/1814.90 v -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 3600.04/1814.90 v -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 3600.04/1814.90 v -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 3600.04/1814.90 v -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 3600.04/1814.90 v x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 3600.04/1814.90 v x2200 -x2201 x2202 x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 3600.04/1814.90 v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 3600.04/1814.90 v -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 3600.04/1814.90 v -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 3600.04/1814.90 v -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 x2254 -x2255 3600.04/1814.90 v -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 3600.04/1814.90 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 3600.04/1814.90 v -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 3600.04/1814.90 v -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 x2299 -x2300 3600.04/1814.90 v x2301 -x2302 x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 3600.04/1814.90 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 3600.04/1814.90 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 3600.04/1814.90 v -x2335 -x2336 x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 3600.04/1814.90 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 3600.04/1814.90 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 3600.04/1814.90 v -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 3600.04/1814.90 v -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 3600.04/1814.90 v -x2390 x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 x2398 x2399 -x2400 -x2401 3600.04/1814.90 v x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 3600.04/1814.90 v -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 3600.04/1814.90 v -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 3600.04/1814.90 v -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 3600.04/1814.90 v -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 3600.04/1814.90 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 x2467 -x2468 3600.04/1814.90 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 3600.04/1814.90 v -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 3600.04/1814.90 v -x2491 -x2492 x2493 -x2494 x2495 -x2496 -x2497 -x2498 x2499 x2500 x2501 -x2502 3600.04/1814.90 v -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 3600.04/1814.90 v -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 3600.04/1814.90 v -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 3600.04/1814.90 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 3600.04/1814.90 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 3600.04/1814.90 v -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 3600.04/1814.90 v -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 3600.04/1814.90 v -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 3600.04/1814.90 v -x2591 x2592 x2593 x2594 -x2595 -x2596 x2597 -x2598 x2599 -x2600 -x2601 -x2602 3600.04/1814.90 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 3600.04/1814.90 v -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 3600.04/1814.90 v -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 3600.04/1814.90 v -x2636 -x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 3600.04/1814.90 v x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 3600.04/1814.90 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 3600.04/1814.90 v x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 3600.04/1814.90 v -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 3600.04/1814.90 v x2691 -x2692 -x2693 x2694 x2695 -x2696 -x2697 x2698 x2699 -x2700
OK 70098
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 (61631 MiB free)
memory of node 1: 64465 MiB (62616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486536-1751315532/watcher-4486536-1751315532 -o /tmp/evaluation-result-4486536-1751315532/solver-4486536-1751315532 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52074 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:398090333 --competition_mode --input HOME/instance-4486536-1751315532.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=52417, runsolver pid=52414
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 7.94 8.11 7.37 8/270 52418
/proc/meminfo: memFree=127125112/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=49400 memory=44412 CPUtime=0.09 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) R 52414 52417 52063 0 -1 4194304 11130 0 0 0 8 1 0 0 20 0 1 0 47230787 50585600 11103 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 12350 11103 1344 2102 0 9890 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49400 KiB
Current children cumulated memory: 44412 KiB
[startup+0.20556 s]*
/proc/loadavg: 7.94 8.11 7.37 8/270 52418
/proc/meminfo: memFree=127108984/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=51528 memory=46076 CPUtime=0.2 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) R 52414 52417 52063 0 -1 4194304 11402 0 0 0 19 1 0 0 20 0 1 0 47230787 52764672 11519 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 12882 11519 1504 2102 0 10422 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51528 KiB
Current children cumulated memory: 46076 KiB
[startup+0.305401 s]*
/proc/loadavg: 7.94 8.11 7.37 8/270 52418
/proc/meminfo: memFree=127108984/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=54136 memory=48764 CPUtime=0.29 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) R 52414 52417 52063 0 -1 4194304 12034 0 0 0 28 1 0 0 20 0 1 0 47230787 55435264 12191 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 13534 12191 1568 2102 0 11074 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54136 KiB
Current children cumulated memory: 48764 KiB
[startup+0.700184 s]
/proc/loadavg: 7.94 8.11 7.37 8/270 52418
/proc/meminfo: memFree=127028972/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=134028 memory=130572 CPUtime=0.69 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) R 52414 52417 52063 0 -1 4194304 34281 0 0 0 64 5 0 0 20 0 1 0 47230787 137244672 32643 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 33507 32643 1856 2102 0 31047 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134028 KiB
Current children cumulated memory: 130572 KiB
[startup+1.50018 s]
/proc/loadavg: 7.94 8.11 7.37 8/270 52418
/proc/meminfo: memFree=127000684/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=171028 memory=167716 CPUtime=1.49 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) R 52414 52417 52063 0 -1 4194304 41500 0 0 0 142 7 0 0 20 0 1 0 47230787 175132672 41929 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 42757 41929 1888 2102 0 40297 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 171028 KiB
Current children cumulated memory: 167716 KiB
[startup+3.10562 s]
/proc/loadavg: 7.94 8.10 7.37 8/270 52418
/proc/meminfo: memFree=126892016/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=229628 memory=218144 CPUtime=3.08 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) R 52414 52417 52063 0 -1 4194304 48896 0 0 0 299 9 0 0 20 0 1 0 47230787 235139072 54536 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 57407 54536 1888 2102 0 54947 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 229628 KiB
Current children cumulated memory: 218144 KiB
[startup+6.30022 s]
/proc/loadavg: 7.94 8.10 7.37 9/272 52420
/proc/meminfo: memFree=126755816/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=487156 memory=353056 CPUtime=9.23 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 101471 0 0 0 906 17 0 0 20 0 3 0 47230787 498847744 88264 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 121789 88264 2144 2102 0 94484 0
[pid=52417/tid=52419] ppid=52414 vsize=487156 memory=353056 CPUtime=3 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 27749 0 0 0 296 4 0 0 20 0 3 0 47231114 498847744 88264 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=487156 memory=17664 CPUtime=2.96 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 24816 0 0 0 293 3 0 0 20 0 3 0 47231114 498847744 88264 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 9.23 s
Current children cumulated vsize: 487156 KiB
Current children cumulated memory: 353056 KiB
[startup+12.7002 s]
/proc/loadavg: 7.95 8.10 7.38 9/272 52420
/proc/meminfo: memFree=126702512/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=487156 memory=388172 CPUtime=21.92 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 134569 0 0 0 2170 22 0 0 20 0 3 0 47230787 498847744 97043 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 121789 97043 2144 2102 0 103749 0
[pid=52417/tid=52419] ppid=52414 vsize=487156 memory=351392 CPUtime=9.36 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 49047 0 0 0 929 7 0 0 20 0 3 0 47231114 498847744 97043 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=487156 memory=372100 CPUtime=9.28 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 36519 0 0 0 924 4 0 0 20 0 3 0 47231114 498847744 97043 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 21.92 s
Current children cumulated vsize: 487156 KiB
Current children cumulated memory: 388172 KiB
[startup+25.5002 s]
/proc/loadavg: 7.96 8.10 7.39 9/271 52467
/proc/meminfo: memFree=127854156/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=487156 memory=405756 CPUtime=47.28 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 179227 0 0 0 4700 28 0 0 20 0 3 0 47230787 498847744 101439 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 121789 101439 2144 2102 0 109068 0
[pid=52417/tid=52419] ppid=52414 vsize=487156 memory=-8183430293290718150 CPUtime=22.09 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 73634 0 0 0 2199 10 0 0 20 0 3 0 47231114 498847744 101439 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=487156 memory=5632 CPUtime=21.91 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 56505 0 0 0 2183 8 0 0 20 0 3 0 47231114 498847744 101439 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 47.28 s
Current children cumulated vsize: 487156 KiB
Current children cumulated memory: 405756 KiB
[startup+51.1055 s]
/proc/loadavg: 8.12 8.12 7.41 9/271 52468
/proc/meminfo: memFree=127808176/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=487156 memory=410160 CPUtime=98.08 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 235793 0 0 0 9775 33 0 0 20 0 3 0 47230787 498847744 102540 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 121789 102540 2144 2102 0 110222 0
[pid=52417/tid=52419] ppid=52414 vsize=487156 memory=410160 CPUtime=47.58 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 103320 0 0 0 4746 12 0 0 20 0 3 0 47231114 498847744 102540 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=487156 memory=14432 CPUtime=47.22 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 83339 0 0 0 4711 11 0 0 20 0 3 0 47231114 498847744 102540 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 98.08 s
Current children cumulated vsize: 487156 KiB
Current children cumulated memory: 410160 KiB
[startup+102.3 s]
/proc/loadavg: 8.24 8.15 7.47 9/271 52469
/proc/meminfo: memFree=127785416/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=487156 memory=421700 CPUtime=199.63 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 275581 0 0 0 19924 39 0 0 20 0 3 0 47230787 498847744 105425 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 121789 105425 2144 2102 0 113237 0
[pid=52417/tid=52419] ppid=52414 vsize=487156 memory=14432 CPUtime=98.55 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 113923 0 0 0 9840 15 0 0 20 0 3 0 47231114 498847744 105425 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=487156 memory=405756 CPUtime=97.78 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 112426 0 0 0 9765 13 0 0 20 0 3 0 47231114 498847744 105425 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 199.63 s
Current children cumulated vsize: 487156 KiB
Current children cumulated memory: 421700 KiB
[startup+162.3 s]
/proc/loadavg: 8.13 8.13 7.51 9/271 52471
/proc/meminfo: memFree=127741780/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=487156 memory=422212 CPUtime=318.57 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 305698 0 0 0 31814 43 0 0 20 0 3 0 47230787 498847744 105553 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 121789 105553 2144 2102 0 113318 0
[pid=52417/tid=52419] ppid=52414 vsize=487156 memory=2273 CPUtime=158.26 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 129452 0 0 0 15810 16 0 0 20 0 3 0 47231114 498847744 105553 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=487156 memory=422084 CPUtime=156.98 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 126967 0 0 0 15684 14 0 0 20 0 3 0 47231114 498847744 105553 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 318.57 s
Current children cumulated vsize: 487156 KiB
Current children cumulated memory: 422212 KiB
[startup+222.3 s]
/proc/loadavg: 8.16 8.14 7.55 9/272 52480
/proc/meminfo: memFree=127685000/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=552692 memory=462464 CPUtime=437.51 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 339772 0 0 0 43700 51 0 0 20 0 3 0 47230787 565956608 115616 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 138173 115616 2144 2102 0 122959 0
[pid=52417/tid=52419] ppid=52414 vsize=552692 memory=17664 CPUtime=217.97 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 140188 0 0 0 21778 19 0 0 20 0 3 0 47231114 565956608 115616 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=552692 memory=462464 CPUtime=216.2 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 150207 0 0 0 21601 19 0 0 20 0 3 0 47231114 565956608 115616 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 437.51 s
Current children cumulated vsize: 552692 KiB
Current children cumulated memory: 462464 KiB
[startup+282.3 s]
/proc/loadavg: 8.11 8.13 7.59 9/272 52483
/proc/meminfo: memFree=127648624/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=552692 memory=468320 CPUtime=556.46 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 355049 0 0 0 55592 54 0 0 20 0 3 0 47230787 565956608 117080 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 138173 117080 2144 2102 0 123792 0
[pid=52417/tid=52419] ppid=52414 vsize=552692 memory=462464 CPUtime=277.69 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 150694 0 0 0 27748 21 0 0 20 0 3 0 47231114 565956608 117080 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
################
# More data... #
################
Current children cumulated memory: 515080 KiB
[startup+1362.3 s]
/proc/loadavg: 8.17 8.14 8.01 9/272 52534
/proc/meminfo: memFree=127563400/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=2700.64 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 443221 0 0 0 269965 99 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1352.87 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196228 0 0 0 135249 38 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=515080 CPUtime=1344.11 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 197421 0 0 0 134380 31 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 2700.64 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.12 8.01 9/273 52543
/proc/meminfo: memFree=127572220/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=2819.89 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 443263 0 0 0 281888 101 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1412.7 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196266 0 0 0 141232 38 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=515080 CPUtime=1403.51 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 197424 0 0 0 140320 31 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 2819.89 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
[startup+1482.3 s]
/proc/loadavg: 8.09 8.11 8.01 9/273 52545
/proc/meminfo: memFree=127572604/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=2939.13 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 443755 0 0 0 293811 102 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1472.52 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196266 0 0 0 147214 38 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=515080 CPUtime=1462.91 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 197916 0 0 0 146259 32 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 2939.13 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
[startup+1542.3 s]
/proc/loadavg: 8.08 8.11 8.01 9/272 52547
/proc/meminfo: memFree=127570964/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=3058.37 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 443832 0 0 0 305733 104 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1532.36 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196266 0 0 0 153197 39 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=14432 CPUtime=1522.3 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 197992 0 0 0 152198 32 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 3058.37 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
[startup+1602.3 s]
/proc/loadavg: 8.36 8.17 8.03 9/272 52550
/proc/meminfo: memFree=127569168/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=3177.62 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 443837 0 0 0 317656 106 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1592.18 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196268 0 0 0 159179 39 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=14432 CPUtime=1581.7 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 197994 0 0 0 158138 32 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 3177.62 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
[startup+1662.3 s]
/proc/loadavg: 8.24 8.18 8.05 9/272 52552
/proc/meminfo: memFree=127572704/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=3296.86 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 444041 0 0 0 329578 108 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1652.01 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196441 0 0 0 165161 40 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=17664 CPUtime=1641.11 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 198007 0 0 0 164078 33 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 3296.86 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
[startup+1722.3 s]
/proc/loadavg: 8.20 8.17 8.05 9/272 52555
/proc/meminfo: memFree=127615384/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=3416.08 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 444286 0 0 0 341499 109 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1711.84 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196475 0 0 0 171143 41 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=515080 CPUtime=1700.49 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 198216 0 0 0 170016 33 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 3416.08 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
[startup+1782.3 s]
/proc/loadavg: 8.15 8.16 8.05 9/272 52568
/proc/meminfo: memFree=127640848/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=3535.33 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 444503 0 0 0 353421 112 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1771.65 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196658 0 0 0 177124 41 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=17664 CPUtime=1759.89 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 198225 0 0 0 175956 33 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 3535.33 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.9 s]
/proc/loadavg: 8.16 8.16 8.06 9/272 52662
/proc/meminfo: memFree=128152640/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=3600.04 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 444532 0 0 0 359886 118 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1804.11 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196685 0 0 0 180364 47 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=515080 CPUtime=1792.15 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 198226 0 0 0 179181 34 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1814.91 s]
# the end of solver process 52417 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.87 s, system=1.19654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1814.9 s]
/proc/loadavg: 8.16 8.16 8.06 9/272 52662
/proc/meminfo: memFree=128152640/131250000 swapFree=33010684/33010684
[pid=52417] ppid=52414 vsize=585464 memory=515080 CPUtime=3600.04 cores=4,6
/proc/52417/stat : 52417 (cp-sat-runner) S 52414 52417 52063 0 -1 4194304 444532 0 0 0 359886 118 0 0 20 0 3 0 47230787 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
/proc/52417/statm: 146366 128770 2144 2102 0 136576 0
[pid=52417/tid=52419] ppid=52414 vsize=585464 memory=515080 CPUtime=1804.11 cores=4,6
/proc/52417/task/52419/stat : 52419 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 196685 0 0 0 180364 47 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
[pid=52417/tid=52420] ppid=52414 vsize=585464 memory=515080 CPUtime=1792.15 cores=4,6
/proc/52417/task/52420/stat : 52420 (cp-sat-runner) R 52414 52417 52063 0 -1 4194368 198226 0 0 0 179181 34 0 0 20 0 3 0 47231114 599515136 128770 18446744073709551615 4198400 12805993 140728901474048 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 34557952 140728901482777 140728901482981 140728901482981 140728901488583 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 585464 KiB
Current children cumulated memory: 515080 KiB
Child status: 0
Real time (s): 1814.91
CPU time (s): 3600.07
CPU user time (s): 3598.87
CPU system time (s): 1.19654
CPU usage (%): 198.36
Max. virtual memory (cumulated for all children) (KiB): 627604
Max. memory (cumulated for all children) (KiB): 534440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.19654
maximum resident set size= 534440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444539
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= 24894
involuntary context switches= 111876
# summary of solver processes directly reported to runsolver:
# pid: 52417
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.87
# total CPU system time (s): 1.19654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71474 second user time and 8.4294 second system time
The end
Begin job on nodeC016 at 2025-06-30 22:32:12 IDJOB=4486536 IDBENCH=147023 IDSOLVER=3320 FILE ID=nodeC016/4486536-1751315532 RUNJOBID= nodeC016-1751313715-52074 SLURM_JOB_ID= 9594315 Free space on /tmp= 433016 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data10_3.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-4486536-1751315532/watcher-4486536-1751315532 -o /tmp/evaluation-result-4486536-1751315532/solver-4486536-1751315532 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52074 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:398090333 --competition_mode --input HOME/instance-4486536-1751315532.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11 RANDOM SEED=398090333 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 : 3600.247 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 : 3599.944 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 : 3599.913 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 : 3599.602 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 : 3604.634 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 : 3600.090 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.708 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 : 3599.718 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: 127268416 kB MemAvailable: 128197492 kB Buffers: 3280 kB Cached: 1732252 kB SwapCached: 0 kB Active: 1841672 kB Inactive: 1462076 kB Active(anon): 1586292 kB Inactive(anon): 0 kB Active(file): 255380 kB Inactive(file): 1462076 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 44772 kB Writeback: 0 kB AnonPages: 1571396 kB Mapped: 128496 kB Shmem: 18072 kB KReclaimable: 101716 kB Slab: 189488 kB SReclaimable: 101716 kB SUnreclaim: 87772 kB KernelStack: 4320 kB PageTables: 6104 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1965960 kB VmallocTotal: 34359738367 kB VmallocUsed: 150584 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 688128 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= 433012 MiB End job on nodeC016 at 2025-06-30 23:02:27