Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| OR-Tools CP-SAT 9.14.2 | MSAT (TO) | 3600.06 | 1813.61 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo |
| MD5SUM | 8c159ddcc7c8e6257617bd9db371f9a1 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 4.42548 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2008 |
| Total number of constraints | 48581 |
| Number of soft constraints | 48385 |
| Number of constraints which are clauses | 48385 |
| Number of constraints which are cardinality constraints (but not clauses) | 196 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 14 |
| Top cost | 448020002 |
| Min constraint cost | 1 |
| Max constraint cost | 990001 |
| Sum of constraints costs | 12702738385 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.75/1.72 o 60390232 1.94/1.83 o 53460216 3.72/2.73 o 53460211 5.10/3.40 o 19800148 6.88/4.36 o 18810148 9.25/5.53 o 12870130 10.84/6.37 o 12870125 12.24/7.08 o 12870123 12.44/7.11 o 12870119 12.44/7.14 o 11880126 13.62/7.72 o 11880122 13.62/7.75 o 10890118 13.62/7.75 o 10890117 14.02/7.92 o 10890114 14.02/7.96 o 10890106 17.18/9.50 o 9900106 17.97/9.96 o 9900103 17.97/9.97 o 9900093 19.16/10.53 o 8910086 19.16/10.54 o 7920081 20.17/11.07 o 7920079 21.15/11.50 o 7920072 21.15/11.51 o 3960055 22.35/12.11 o 2970055 22.35/12.12 o 2970053 23.74/12.87 o 2970052 23.74/12.89 o 2970051 24.34/13.13 o 2970050 25.12/13.56 o 1980040 27.90/14.96 o 1980039 28.10/15.02 o 1980038 29.48/15.70 o 990081 29.88/15.96 o 990080 30.67/16.30 o 990075 30.67/16.33 o 990058 31.25/16.61 o 990055 31.44/16.71 o 990053 32.43/17.24 o 75 35.39/18.75 o 53 36.39/19.20 o 52 39.37/20.71 o 48 41.75/21.92 o 47 43.74/22.98 o 46 44.53/23.33 o 44 45.53/23.86 o 43 47.72/24.96 o 41 49.30/25.77 o 38 52.48/27.35 o 37 54.86/28.57 o 36 57.05/29.60 o 35 95.20/48.86 o 34 151.41/77.18 o 33 161.74/82.31 o 32 205.03/104.19 o 31 207.01/105.14 o 27 207.79/105.51 o 26 207.79/105.54 o 25 208.39/105.85 o 24 209.39/106.34 o 23 210.58/106.90 o 22 212.77/108.04 o 21 219.31/111.37 o 20 3600.04/1813.60 s SATISFIABLE 3600.04/1813.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.04/1813.60 v -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 3600.04/1813.60 v -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 3600.04/1813.60 v x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 3600.04/1813.60 v -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 3600.04/1813.60 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 3600.04/1813.60 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 3600.04/1813.60 v -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 3600.04/1813.60 v -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 3600.04/1813.60 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 3600.04/1813.60 v x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 3600.04/1813.60 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 3600.04/1813.60 v -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 3600.04/1813.60 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 3600.04/1813.60 v -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 3600.04/1813.60 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 3600.04/1813.60 v -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 3600.04/1813.60 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 3600.04/1813.60 v -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 3600.04/1813.60 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 3600.04/1813.60 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 3600.04/1813.60 v -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 3600.04/1813.60 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 3600.04/1813.60 v -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 3600.04/1813.60 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 3600.04/1813.60 v -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 3600.04/1813.60 v -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 3600.04/1813.60 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 3600.04/1813.60 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 3600.04/1813.60 v -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 3600.04/1813.60 v -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 3600.04/1813.60 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 3600.04/1813.60 v -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 3600.04/1813.60 v x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 3600.04/1813.60 v -x462 -x463 -x464 x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 3600.04/1813.60 v -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 3600.04/1813.60 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 3600.04/1813.60 v -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 3600.04/1813.60 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 3600.04/1813.60 v -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 3600.04/1813.60 v -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 3600.04/1813.60 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 x565 3600.04/1813.60 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 3600.04/1813.60 v -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 3600.04/1813.60 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 3600.04/1813.60 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 3600.04/1813.60 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 3600.04/1813.60 v -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 3600.04/1813.60 v -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 3600.04/1813.60 v -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 3600.04/1813.60 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 3600.04/1813.60 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 3600.04/1813.60 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 3600.04/1813.60 v -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 3600.04/1813.60 v -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 3600.04/1813.60 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 3600.04/1813.60 v -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 3600.04/1813.60 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 3600.04/1813.60 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 3600.04/1813.60 v -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 3600.04/1813.60 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 3600.04/1813.60 v x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 3600.04/1813.60 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 3600.04/1813.60 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 3600.04/1813.60 v -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 3600.04/1813.60 v -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 3600.04/1813.60 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 3600.04/1813.60 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 3600.04/1813.60 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 3600.04/1813.60 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 3600.04/1813.60 v -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 3600.04/1813.60 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 3600.04/1813.60 v -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 3600.04/1813.60 v -x969 -x970 -x971 x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 3600.04/1813.60 v -x982 -x983 x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 3600.04/1813.60 v x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 3600.04/1813.60 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 3600.04/1813.60 v x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 3600.04/1813.60 v -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 x1039 3600.04/1813.60 v -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 3600.04/1813.60 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 3600.04/1813.60 v -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 3600.04/1813.60 v -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 3600.04/1813.60 v -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 3600.04/1813.60 v x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 3600.04/1813.60 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 3600.04/1813.60 v -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 3600.04/1813.60 v -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 x1137 -x1138 3600.04/1813.60 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 3600.04/1813.60 v -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 3600.04/1813.60 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 x1170 -x1171 3600.04/1813.60 v -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 3600.04/1813.60 v -x1183 -x1184 x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 3600.04/1813.60 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 3600.04/1813.60 v -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 3600.04/1813.60 v x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 3600.04/1813.60 v -x1227 -x1228 x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 3600.04/1813.60 v -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 -x1248 3600.04/1813.60 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 3600.04/1813.60 v -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 3600.04/1813.60 v x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 3600.04/1813.60 v -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 3600.04/1813.60 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 3600.04/1813.60 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 3600.04/1813.60 v x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 3600.04/1813.60 v -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 3600.04/1813.60 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 3600.04/1813.60 v -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 3600.04/1813.60 v -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 3600.04/1813.60 v -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 3600.04/1813.60 v -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 3600.04/1813.60 v -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 3600.04/1813.60 v x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 3600.04/1813.60 v -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 3600.04/1813.60 v -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 x1432 -x1433 -x1434 -x1435 3600.04/1813.60 v -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 x1446 3600.04/1813.60 v -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 3600.04/1813.60 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 x1467 -x1468 3600.04/1813.60 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 3600.04/1813.60 v -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 x1488 -x1489 -x1490 3600.04/1813.60 v -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 3600.04/1813.60 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 3600.04/1813.60 v -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 3600.04/1813.60 v -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 3600.04/1813.60 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 3600.04/1813.60 v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 3600.04/1813.60 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 3600.04/1813.60 v x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 3600.04/1813.60 v -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 3600.04/1813.60 v -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 3600.04/1813.60 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 3600.04/1813.60 v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 3600.04/1813.60 v x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 3600.04/1813.60 v -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 3600.04/1813.60 v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 3600.04/1813.60 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 3600.04/1813.60 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 3600.04/1813.60 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 3600.04/1813.60 v x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 3600.04/1813.60 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 3600.04/1813.60 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 3600.04/1813.60 v -x1722 -x1723 -x1724 -x1725 x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 3600.04/1813.60 v x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 3600.04/1813.60 v x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 3600.04/1813.60 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 3600.04/1813.60 v -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 x1774 -x1775 -x1776 3600.04/1813.60 v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 3600.04/1813.60 v -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 3600.04/1813.60 v x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 3600.04/1813.60 v -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 3600.04/1813.60 v -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 x1831 3600.04/1813.60 v -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 3600.04/1813.60 v -x1843 x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 3600.04/1813.60 v -x1854 -x1855 x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 3600.04/1813.60 v -x1865 -x1866 x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 3600.04/1813.60 v -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 3600.04/1813.60 v -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 3600.04/1813.60 v -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 3600.04/1813.60 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 3600.04/1813.60 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 x1929 -x1930 3600.04/1813.60 v -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 3600.04/1813.60 v -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 3600.04/1813.60 v -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 3600.04/1813.60 v -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 3600.04/1813.60 v x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 3600.04/1813.60 v -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 3600.04/1813.60 v -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 3600.04/1813.60 v -x2008
OK 20
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 (58964 MiB free)
memory of node 1: 64465 MiB (58830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529565-1752571848/watcher-4529565-1752571848 -o /tmp/evaluation-result-4529565-1752571848/solver-4529565-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752571848-127777 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529565-1752571848.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=127830, runsolver pid=127817
[startup+0.100063 s]*
/proc/loadavg: 1.30 0.37 0.18 5/266 127835
/proc/meminfo: memFree=120558280/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=55464 memory=49156 CPUtime=0.08 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) R 127817 127830 127757 0 -1 4194304 11970 0 0 0 7 1 0 0 20 0 1 0 172866254 56795136 12289 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 13866 12289 1408 2102 0 11406 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 55464 KiB
Current children cumulated memory: 49156 KiB
[startup+0.205474 s]*
/proc/loadavg: 1.30 0.37 0.18 5/266 127835
/proc/meminfo: memFree=120486208/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=66072 memory=58844 CPUtime=0.19 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) R 127817 127830 127757 0 -1 4194304 13793 0 0 0 17 2 0 0 20 0 1 0 172866254 67657728 14711 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 16518 14711 1504 2102 0 14058 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66072 KiB
Current children cumulated memory: 58844 KiB
[startup+0.305476 s]*
/proc/loadavg: 1.30 0.37 0.18 5/266 127835
/proc/meminfo: memFree=120389192/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=69352 memory=60876 CPUtime=0.29 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) R 127817 127830 127757 0 -1 4194304 15783 0 0 0 27 2 0 0 20 0 1 0 172866254 71016448 15219 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 17338 15219 1536 2102 0 14878 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69352 KiB
Current children cumulated memory: 60876 KiB
[startup+0.700176 s]
/proc/loadavg: 1.30 0.37 0.18 5/266 127835
/proc/meminfo: memFree=120288452/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=110756 memory=102712 CPUtime=0.67 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) R 127817 127830 127757 0 -1 4194304 28996 0 0 0 63 4 0 0 20 0 1 0 172866254 113414144 25678 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 27689 25678 1888 2102 0 25229 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 110756 KiB
Current children cumulated memory: 102712 KiB
[startup+1.50017 s]
/proc/loadavg: 1.30 0.37 0.18 5/266 127835
/proc/meminfo: memFree=119799752/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=127844 memory=119320 CPUtime=1.47 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) R 127817 127830 127757 0 -1 4194304 34046 0 0 0 141 6 0 0 20 0 1 0 172866254 130912256 29830 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 31961 29830 1888 2102 0 29501 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 127844 KiB
Current children cumulated memory: 119320 KiB
[startup+3.10578 s]
/proc/loadavg: 1.30 0.37 0.18 7/270 127839
/proc/meminfo: memFree=118300852/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=591316 memory=448096 CPUtime=4.51 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 143139 0 0 0 429 22 0 0 20 0 3 0 172866254 605507584 112024 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 147829 112024 2176 2102 0 126978 0
[pid=127830/tid=127836] ppid=127817 vsize=591316 memory=0 CPUtime=1.38 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 64554 0 0 0 128 10 0 0 20 0 3 0 172866414 605507584 112024 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=591316 memory=428464 CPUtime=1.41 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 28218 0 0 0 137 4 0 0 20 0 3 0 172866414 605507584 112024 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 591316 KiB
Current children cumulated memory: 448096 KiB
[startup+6.30024 s]
/proc/loadavg: 1.68 0.46 0.21 7/270 127839
/proc/meminfo: memFree=117927672/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=591316 memory=465596 CPUtime=10.84 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 184318 0 0 0 1056 28 0 0 20 0 3 0 172866254 605507584 116399 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 147829 116399 2176 2102 0 129994 0
[pid=127830/tid=127836] ppid=127817 vsize=591316 memory=459128 CPUtime=4.51 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 82555 0 0 0 440 11 0 0 20 0 3 0 172866414 605507584 116399 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=591316 memory=131324 CPUtime=4.5 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 51275 0 0 0 441 9 0 0 20 0 3 0 172866414 605507584 116399 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 10.84 s
Current children cumulated vsize: 591316 KiB
Current children cumulated memory: 465596 KiB
[startup+12.7002 s]
/proc/loadavg: 2.10 0.57 0.25 7/270 127839
/proc/meminfo: memFree=117438012/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=536120 memory=476420 CPUtime=23.54 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 268277 0 0 0 2313 41 0 0 20 0 3 0 172866254 548986880 119105 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 134030 119105 2176 2102 0 125662 0
[pid=127830/tid=127836] ppid=127817 vsize=536120 memory=453312 CPUtime=10.82 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 121022 0 0 0 1068 14 0 0 20 0 3 0 172866414 548986880 119105 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=536120 memory=508276 CPUtime=10.8 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 91410 0 0 0 1062 18 0 0 20 0 3 0 172866414 548986880 119105 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 23.54 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 476420 KiB
[startup+25.5002 s]
/proc/loadavg: 3.12 0.87 0.35 6/266 127849
/proc/meminfo: memFree=115291060/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=574528 memory=532612 CPUtime=48.91 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 359358 0 0 0 4840 51 0 0 20 0 3 0 172866254 588316672 133153 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 143632 133153 2176 2102 0 139875 0
[pid=127830/tid=127836] ppid=127817 vsize=574528 memory=-7311445301636861285 CPUtime=23.4 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 172586 0 0 0 2322 18 0 0 20 0 3 0 172866414 588316672 133153 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=574528 memory=532612 CPUtime=23.3 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 127226 0 0 0 2306 24 0 0 20 0 3 0 172866414 588316672 133153 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 48.91 s
Current children cumulated vsize: 574528 KiB
Current children cumulated memory: 532612 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 1.29 0.51 6/264 127873
/proc/meminfo: memFree=114693284/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576332 memory=533204 CPUtime=99.78 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 439737 0 0 0 9915 63 0 0 20 0 3 0 172866254 590163968 133301 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144083 133301 2176 2102 0 140330 0
[pid=127830/tid=127836] ppid=127817 vsize=576332 memory=533204 CPUtime=48.92 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 207571 0 0 0 4871 21 0 0 20 0 3 0 172866414 590163968 133301 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576332 memory=16444 CPUtime=48.62 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 170338 0 0 0 4830 32 0 0 20 0 3 0 172866414 590163968 133301 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 99.78 s
Current children cumulated vsize: 576332 KiB
Current children cumulated memory: 533204 KiB
[startup+102.3 s]
/proc/loadavg: 5.21 2.02 0.80 7/266 127878
/proc/meminfo: memFree=107712600/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576332 memory=534340 CPUtime=201.43 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 548805 0 0 0 20063 80 0 0 20 0 3 0 172866254 590163968 133585 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144083 133585 2176 2102 0 140330 0
[pid=127830/tid=127836] ppid=127817 vsize=576332 memory=534340 CPUtime=99.94 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 236005 0 0 0 9972 22 0 0 20 0 3 0 172866414 590163968 133585 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576332 memory=533204 CPUtime=99.24 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 250898 0 0 0 9876 48 0 0 20 0 3 0 172866414 590163968 133585 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 201.43 s
Current children cumulated vsize: 576332 KiB
Current children cumulated memory: 534340 KiB
[startup+162.3 s]
/proc/loadavg: 5.85 2.79 1.14 7/266 127880
/proc/meminfo: memFree=107890684/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576332 memory=535176 CPUtime=320.59 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 655684 0 0 0 31963 96 0 0 20 0 3 0 172866254 590163968 133794 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144083 133794 2176 2102 0 140334 0
[pid=127830/tid=127836] ppid=127817 vsize=576332 memory=535100 CPUtime=159.76 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 261083 0 0 0 15952 24 0 0 20 0 3 0 172866414 590163968 133794 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576332 memory=535100 CPUtime=158.45 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 328592 0 0 0 15784 61 0 0 20 0 3 0 172866414 590163968 133794 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 320.59 s
Current children cumulated vsize: 576332 KiB
Current children cumulated memory: 535176 KiB
[startup+222.3 s]
/proc/loadavg: 6.43 3.50 1.49 8/267 127883
/proc/meminfo: memFree=107866968/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=641868 memory=540296 CPUtime=439.73 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 706494 0 0 0 43865 108 0 0 20 0 3 0 172866254 657272832 135074 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 160467 135074 2176 2102 0 141837 0
[pid=127830/tid=127836] ppid=127817 vsize=641868 memory=-7311445301636861285 CPUtime=219.56 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 269085 0 0 0 21932 24 0 0 20 0 3 0 172866414 657272832 135074 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=641868 memory=16444 CPUtime=217.77 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 371369 0 0 0 21705 72 0 0 20 0 3 0 172866414 657272832 135074 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 439.73 s
Current children cumulated vsize: 641868 KiB
Current children cumulated memory: 540296 KiB
[startup+282.3 s]
/proc/loadavg: 6.20 3.97 1.78 7/266 127885
/proc/meminfo: memFree=106882720/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576332 memory=535184 CPUtime=558.86 cores=5,7
################
# More data... #
################
Current children cumulated memory: 547348 KiB
[startup+1302.3 s]
/proc/loadavg: 6.25 6.11 4.74 7/264 127937
/proc/meminfo: memFree=107410620/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=2584.38 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1179455 0 0 0 258189 249 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=558232 CPUtime=1296.08 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 354567 0 0 0 129577 31 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=549140 CPUtime=1285.52 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 755567 0 0 0 128359 193 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 2584.38 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1362.3 s]
/proc/loadavg: 6.33 6.15 4.84 8/264 127942
/proc/meminfo: memFree=107405896/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=2703.55 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1183730 0 0 0 270100 255 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1355.91 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 354571 0 0 0 135560 31 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=16444 CPUtime=1344.86 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 759837 0 0 0 134287 199 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 2703.55 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1422.3 s]
/proc/loadavg: 6.20 6.15 4.93 7/265 127945
/proc/meminfo: memFree=106389336/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=2822.74 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1195898 0 0 0 282012 262 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1415.73 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 354705 0 0 0 141542 31 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=7028 CPUtime=1404.19 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 771858 0 0 0 140214 205 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 2822.74 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1482.3 s]
/proc/loadavg: 6.11 6.13 5.00 7/265 127947
/proc/meminfo: memFree=107436788/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=2941.92 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1208333 0 0 0 293920 272 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1475.56 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 354849 0 0 0 147525 31 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=549140 CPUtime=1463.53 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 784132 0 0 0 146139 214 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 2941.92 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1542.3 s]
/proc/loadavg: 6.14 6.14 5.08 7/265 127949
/proc/meminfo: memFree=106438652/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=3061.1 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1215911 0 0 0 305833 277 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1535.39 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 355022 0 0 0 153508 31 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=549140 CPUtime=1522.86 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 791534 0 0 0 152067 219 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 3061.1 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1602.3 s]
/proc/loadavg: 6.02 6.11 5.14 7/264 127952
/proc/meminfo: memFree=106441500/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=3180.29 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1233628 0 0 0 317745 284 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1595.23 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 357224 0 0 0 159491 32 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=549140 CPUtime=1582.17 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 807028 0 0 0 157992 225 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 3180.29 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1662.3 s]
/proc/loadavg: 6.15 6.13 5.21 7/264 127955
/proc/meminfo: memFree=106453904/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=3299.49 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1241709 0 0 0 329658 291 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1655.06 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 357229 0 0 0 165474 32 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=549140 CPUtime=1641.51 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 815102 0 0 0 163921 230 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 3299.49 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1722.3 s]
/proc/loadavg: 6.16 6.14 5.27 7/264 127958
/proc/meminfo: memFree=106473548/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=3418.68 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1256724 0 0 0 341570 298 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1714.89 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 357374 0 0 0 171457 32 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=549140 CPUtime=1700.84 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 829948 0 0 0 169848 236 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 3418.68 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
[startup+1782.3 s]
/proc/loadavg: 6.15 6.14 5.33 7/264 127960
/proc/meminfo: memFree=106664720/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=3537.85 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1264284 0 0 0 353480 305 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=549140 CPUtime=1774.72 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 357690 0 0 0 177440 32 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=16444 CPUtime=1760.17 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 837182 0 0 0 175774 243 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 3537.85 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.6 s]
/proc/loadavg: 6.03 6.11 5.35 7/264 127972
/proc/meminfo: memFree=106712840/131250000 swapFree=33009904/33010684
[pid=127830] ppid=127817 vsize=576464 memory=549140 CPUtime=3600.04 cores=5,7
/proc/127830/stat : 127830 (cp_sat_runner) S 127817 127830 127757 0 -1 4194304 1264550 0 0 0 359695 309 0 0 20 0 3 0 172866254 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
/proc/127830/statm: 144116 137285 2176 2102 0 140367 0
[pid=127830/tid=127836] ppid=127817 vsize=576464 memory=-7311445301636861285 CPUtime=1805.93 cores=5,7
/proc/127830/task/127836/stat : 127836 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 357692 0 0 0 180561 32 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
[pid=127830/tid=127837] ppid=127817 vsize=576464 memory=-7311445301636861285 CPUtime=1791.13 cores=5,7
/proc/127830/task/127837/stat : 127837 (cp_sat_runner) R 127817 127830 127757 0 -1 4194368 837446 0 0 0 178867 246 0 0 20 0 3 0 172866414 590299136 137285 18446744073709551615 4198400 12806697 140734930695120 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 31522816 140734930696469 140734930696673 140734930696673 140734930702279 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 576464 KiB
Current children cumulated memory: 549140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1813.61 s]
# the end of solver process 127830 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.97 s, system=3.09954 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1813.61
CPU time (s): 3600.06
CPU user time (s): 3596.97
CPU system time (s): 3.09954
CPU usage (%): 198.502
Max. virtual memory (cumulated for all children) (KiB): 707404
Max. memory (cumulated for all children) (KiB): 597116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.97
system time used= 3.09954
maximum resident set size= 597116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1264556
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= 23690
involuntary context switches= 56504
# summary of solver processes directly reported to runsolver:
# pid: 127830
# total CPU time (s): 3600.06
# total CPU user time (s): 3596.97
# total CPU system time (s): 3.09954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91289 second user time and 7.55172 second system time
The end
Begin job on nodeC033 at 2025-07-15 11:30:55 IDJOB=4529565 IDBENCH=143868 IDSOLVER=3387 FILE ID=nodeC033/4529565-1752571848 RUNJOBID= nodeC033-1752571848-127777 SLURM_JOB_ID= 9683902 Free space on /tmp= 432216 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen07_10000_30r_wcsp.wbo COMMAND LINE= cp_sat_runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529565-1752571848/watcher-4529565-1752571848 -o /tmp/evaluation-result-4529565-1752571848/solver-4529565-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752571848-127777 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529565-1752571848.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8c159ddcc7c8e6257617bd9db371f9a1 RANDOM SEED=764063283 nodeC033 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 : 1196.191 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 : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.845 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 : 7000.13 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 : 1200.579 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 : 7000.13 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 : 3594.722 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 : 7000.13 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 : 2572.440 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 : 7000.13 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 : 3601.536 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 : 7000.13 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 : 1199.941 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 : 7000.13 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 : 3600.117 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 : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 121032888 kB MemAvailable: 129691388 kB Buffers: 2128 kB Cached: 9379980 kB SwapCached: 68 kB Active: 787676 kB Inactive: 8658272 kB Active(anon): 76532 kB Inactive(anon): 5388 kB Active(file): 711144 kB Inactive(file): 8652884 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 93212 kB Writeback: 0 kB AnonPages: 66960 kB Mapped: 106864 kB Shmem: 18028 kB KReclaimable: 267424 kB Slab: 363852 kB SReclaimable: 267424 kB SUnreclaim: 96428 kB KernelStack: 4096 kB PageTables: 2932 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 340860 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432420 MiB End job on nodeC033 at 2025-07-15 12:01:22