Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.07 | 1800.04 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-22_wcsp.wbo |
MD5SUM | a17cc9631cce6dbec0a98622ec920de1 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 46905 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1810 |
Total number of constraints | 164594 |
Number of soft constraints | 164495 |
Number of constraints which are clauses | 164495 |
Number of constraints which are cardinality constraints (but not clauses) | 99 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 22 |
Top cost | 252932 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 28915211 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 23 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.79/0.83 c constraints 99/0 clauses 0/164495 units 0 0.79/0.83 c vars 1810 0.79/0.84 c Setting top cost 252932 46.87/46.91 c 46.5269 897.359 1 331964 46.87/46.91 o 148901 47.18/47.22 c 46.7419 908.523 2 497645 47.18/47.22 o 147435 47.48/47.52 c 46.9459 908.523 2 663167 47.48/47.52 o 126442 47.78/47.84 c 47.1598 908.523 3 839544 47.78/47.84 o 123152 48.08/48.15 c 47.3718 908.523 3 1005079 48.08/48.15 o 119173 48.38/48.47 c 47.5888 908.523 6 1172767 48.38/48.47 o 115752 48.68/48.78 c 47.7157 908.523 6 1338303 48.68/48.78 o 107473 49.07/49.10 c 47.8527 908.523 11 1492107 49.07/49.10 o 106518 50.08/50.13 c 48.4546 908.91 115 1729927 50.08/50.13 o 84235 64.58/64.65 c 57.9542 910.844 1029 2606909 64.58/64.65 o 82968 66.68/66.76 c 59.263 910.539 1230 2793510 66.68/66.76 o 81200 71.17/71.22 c 62.2405 912.039 2130 3032494 71.17/71.22 o 80526 71.48/71.57 c 62.4815 912.121 2131 3198463 71.48/71.57 o 70098 111.18/111.21 c 89.0775 918.133 6531 3592116 111.18/111.21 o 69419 124.38/124.43 c 97.7611 920.91 8644 3800730 124.38/124.43 o 69418 137.78/137.89 c 106.471 922.797 10293 4042843 137.78/137.89 o 69411 162.58/162.64 c 122.752 925.074 12012 4204437 162.58/162.64 o 69382 176.08/176.14 c 131.764 927.781 13629 4463946 176.08/176.14 o 69347 183.29/183.31 c 136.487 929.57 14720 4546803 183.29/183.31 o 69346 194.59/194.62 c 144.206 932.02 16824 4823984 194.59/194.62 o 69339 228.49/228.54 c 167.513 935.93 20930 5211953 228.49/228.54 o 69307 238.09/238.17 c 174.264 937.043 21731 5405928 238.09/238.17 o 69306 243.48/243.52 c 177.934 937.898 22461 5591527 243.48/243.52 o 69288 349.99/350.08 c 248.656 950.008 32873 5925196 349.99/350.08 o 69279 357.69/357.70 c 253.786 952.328 34197 6117673 357.69/357.70 o 69274 375.78/375.83 c 266.44 956.195 37554 6381435 375.78/375.83 o 69273 551.49/551.50 c 386.129 974.473 53657 7394692 551.49/551.50 o 69254 570.80/570.80 c 399.226 975.586 54557 7571921 570.80/570.80 o 69166 588.80/588.82 c 411.512 977.777 12099 7922741 588.80/588.82 o 69128 591.60/591.63 c 413.641 977.777 12222 8124479 591.60/591.63 o 69074 635.29/635.34 c 443.055 977.777 15982 8484370 635.29/635.34 o 69072 642.80/642.85 c 448.2 977.777 17319 8645646 642.80/642.85 o 69071 1201.01/1201.07 c 769.926 977.777 51819 10115927 1201.01/1201.07 o 69038 1236.21/1236.27 c 784.242 980.613 55579 10474545 1236.21/1236.27 o 68597 1240.61/1240.65 c 786.373 981.129 56149 10605478 1240.61/1240.65 o 68591 1367.22/1367.30 c 844.518 981.258 24373 11603042 1367.22/1367.30 o 68588 1533.82/1533.89 c 926.068 981.258 37500 12169684 1533.82/1533.89 o 68530 1586.42/1586.42 c 949.307 981.258 44045 12705628 1586.42/1586.42 o 68525 1613.42/1613.46 c 961.464 981.258 46163 13087560 1613.42/1613.46 o 68282 1637.22/1637.21 c 970.266 981.258 47795 13258737 1637.22/1637.21 o 67993 1649.22/1649.23 c 975.587 981.258 49498 13513722 1649.22/1649.23 o 67986 1723.12/1723.11 c 1007.43 981.258 12675 14089260 1723.12/1723.11 o 67982 1761.52/1761.54 c 1024.4 981.258 15244 14326854 1761.52/1761.54 o 67979 1800.03/1800.00 s SATISFIABLE 1800.03/1800.00 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
OK 67979
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701437-1278540084/watcher-2701437-1278540084 -o /tmp/evaluation-result-2701437-1278540084/solver-2701437-1278540084 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701437-1278540084.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.53 2.47 2.18 4/196 19518 /proc/meminfo: memFree=28563416/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=2268 CPUtime=0 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 292 0 0 0 0 0 0 0 23 0 1 0 22222253 2322432 211 4089446400 134512640 136422188 4289132464 18446744073709551615 135160492 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19518/statm: 567 211 144 467 0 98 0 [startup+0.0124131 s] /proc/loadavg: 2.53 2.47 2.18 4/196 19518 /proc/meminfo: memFree=28563416/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=2400 CPUtime=0.01 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 309 0 0 0 1 0 0 0 23 0 1 0 22222253 2457600 228 4089446400 134512640 136422188 4289132464 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19518/statm: 600 228 144 467 0 131 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2400 [startup+0.100396 s] /proc/loadavg: 2.53 2.47 2.18 4/196 19518 /proc/meminfo: memFree=28563416/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=3708 CPUtime=0.1 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 707 0 0 0 10 0 0 0 23 0 1 0 22222253 3796992 528 4089446400 134512640 136422188 4289132464 18446744073709551615 135521623 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19518/statm: 927 528 144 467 0 458 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3708 [startup+0.30036 s] /proc/loadavg: 2.53 2.47 2.18 4/196 19518 /proc/meminfo: memFree=28563416/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=6068 CPUtime=0.29 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 1423 0 0 0 29 0 0 0 23 0 1 0 22222253 6213632 1115 4089446400 134512640 136422188 4289132464 18446744073709551615 135203920 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19518/statm: 1517 1116 144 467 0 1048 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6068 [startup+0.700287 s] /proc/loadavg: 2.53 2.47 2.18 4/196 19518 /proc/meminfo: memFree=28563416/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=14552 CPUtime=0.69 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 3859 0 0 0 69 0 0 0 25 0 1 0 22222253 14901248 2781 4089446400 134512640 136422188 4289132464 18446744073709551615 135159102 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19518/statm: 3638 2781 144 467 0 3169 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14552 [startup+1.50015 s] /proc/loadavg: 2.53 2.47 2.18 3/197 19519 /proc/meminfo: memFree=28513100/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=176924 CPUtime=1.49 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 46148 0 0 0 143 6 0 0 25 0 1 0 22222253 181170176 42489 4089446400 134512640 136422188 4289132464 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 44231 42491 195 467 0 43762 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 176924 [startup+3.1008 s] /proc/loadavg: 2.53 2.47 2.18 3/197 19519 /proc/meminfo: memFree=28254560/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=555700 CPUtime=3.09 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 146544 0 0 0 291 18 0 0 25 0 1 0 22222253 569036800 133622 4089446400 134512640 136422188 4289132464 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 138925 133623 195 467 0 138456 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 555700 [startup+6.30029 s] /proc/loadavg: 2.49 2.46 2.18 3/197 19519 /proc/meminfo: memFree=27701060/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=895796 CPUtime=6.29 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 234119 0 0 0 601 28 0 0 25 0 1 0 22222253 917295104 215753 4089446400 134512640 136422188 4289132464 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 223949 215753 209 467 0 223480 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 895796 [startup+12.7001 s] /proc/loadavg: 2.45 2.45 2.18 3/197 19519 /proc/meminfo: memFree=27695860/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=900412 CPUtime=12.69 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 235246 0 0 0 1241 28 0 0 25 0 1 0 22222253 922021888 216880 4089446400 134512640 136422188 4289132464 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 225103 216880 209 467 0 224634 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 900412 [startup+25.5008 s] /proc/loadavg: 2.35 2.43 2.18 3/197 19519 /proc/meminfo: memFree=27691932/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=905632 CPUtime=25.49 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 236568 0 0 0 2521 28 0 0 25 0 1 0 22222253 927367168 218202 4089446400 134512640 136422188 4289132464 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 226408 218202 209 467 0 225939 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 905632 [startup+51.1002 s] /proc/loadavg: 2.23 2.39 2.17 3/197 19519 /proc/meminfo: memFree=27677848/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=930720 CPUtime=51.08 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 243341 0 0 0 4907 201 0 0 25 0 1 0 22222253 953057280 221680 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 232680 221680 238 467 0 232211 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 930720 [startup+102.306 s] /proc/loadavg: 2.10 2.33 2.16 3/197 19521 /proc/meminfo: memFree=27668124/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=938232 CPUtime=102.29 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 245803 0 0 0 8287 1942 0 0 25 0 1 0 22222253 960749568 223571 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 234558 223571 238 467 0 234089 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 938232 [startup+162.3 s] /proc/loadavg: 2.03 2.27 2.15 3/197 19523 /proc/meminfo: memFree=27659392/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=946920 CPUtime=162.28 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 248548 0 0 0 12251 3977 0 0 25 0 1 0 22222253 969646080 225715 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 236730 225715 238 467 0 236261 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 946920 [startup+222.301 s] /proc/loadavg: 2.08 2.23 2.14 3/197 19525 /proc/meminfo: memFree=27649764/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=956852 CPUtime=222.28 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 251274 0 0 0 16295 5933 0 0 25 0 1 0 22222253 979816448 228117 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 239213 228117 238 467 0 238744 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 956852 [startup+282.301 s] /proc/loadavg: 2.03 2.19 2.13 3/197 19526 /proc/meminfo: memFree=27639516/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=967044 CPUtime=282.28 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 254430 0 0 0 20324 7904 0 0 25 0 1 0 22222253 990253056 230663 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 241761 230663 238 467 0 241292 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 967044 [startup+342.3 s] /proc/loadavg: 2.01 2.15 2.12 3/197 19527 /proc/meminfo: memFree=27634372/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=972324 CPUtime=342.28 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 255734 0 0 0 24343 9885 0 0 25 0 1 0 22222253 995659776 231967 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 243081 231967 238 467 0 242612 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 972324 [startup+402.301 s] /proc/loadavg: 2.00 2.12 2.11 3/197 19529 /proc/meminfo: memFree=27625020/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=981516 CPUtime=402.28 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 258270 0 0 0 28452 11776 0 0 25 0 1 0 22222253 1005072384 234296 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 245379 234296 238 467 0 244910 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 981516 [startup+462.301 s] /proc/loadavg: 2.00 2.10 2.10 3/197 19531 /proc/meminfo: memFree=27615160/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=991436 CPUtime=462.29 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 260718 0 0 0 32519 13710 0 0 25 0 1 0 22222253 1015230464 236744 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 247859 236744 238 467 0 247390 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 991436 [startup+522.3 s] /proc/loadavg: 2.00 2.08 2.09 3/197 19533 /proc/meminfo: memFree=27612124/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=994472 CPUtime=522.29 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 261497 0 0 0 36627 15602 0 0 25 0 1 0 22222253 1018339328 237523 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 248618 237523 238 467 0 248149 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 994472 [startup+582.301 s] /proc/loadavg: 2.00 2.06 2.08 4/197 19534 /proc/meminfo: memFree=27605488/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=582.29 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263562 0 0 0 40712 17517 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1001240 [startup+642.301 s] /proc/loadavg: 2.00 2.05 2.08 3/197 19535 /proc/meminfo: memFree=27605312/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=642.3 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263565 0 0 0 44780 19450 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1001240 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.03 2.03 2.06 3/197 19541 /proc/meminfo: memFree=27605308/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=822.3 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263566 0 0 0 56619 25611 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 1001240 [startup+882.301 s] /proc/loadavg: 2.01 2.02 2.06 3/197 19542 /proc/meminfo: memFree=27605108/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=882.31 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263566 0 0 0 60414 27817 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1001240 [startup+942.3 s] /proc/loadavg: 2.00 2.02 2.05 3/197 19543 /proc/meminfo: memFree=27605172/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=942.3 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263566 0 0 0 64142 30088 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 1001240 [startup+1002.3 s] /proc/loadavg: 1.92 2.00 2.04 3/176 19569 /proc/meminfo: memFree=27998220/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=1002.3 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263566 0 0 0 67856 32374 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1001240 [startup+1062.3 s] /proc/loadavg: 1.97 2.00 2.04 3/179 19580 /proc/meminfo: memFree=27488052/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=1062.31 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263566 0 0 0 70870 35361 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1001240 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.03 3/179 19582 /proc/meminfo: memFree=27487856/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=1122.31 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263566 0 0 0 73549 38682 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1001240 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.02 3/179 19582 /proc/meminfo: memFree=27487548/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1001240 CPUtime=1182.31 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 263566 0 0 0 76122 42109 0 0 25 0 1 0 22222253 1025269760 239197 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 250310 239197 238 467 0 249841 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1001240 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 2.02 3/179 19584 /proc/meminfo: memFree=27484248/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004672 CPUtime=1242.31 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264453 0 0 0 78708 45523 0 0 25 0 1 0 22222253 1028784128 240081 4089446400 134512640 136422188 4289132464 18446744073709551615 134860008 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251168 240081 238 467 0 250699 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1004672 [startup+1302.3 s] /proc/loadavg: 2.05 2.01 2.02 3/179 19586 /proc/meminfo: memFree=27484068/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1302.32 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264483 0 0 0 81353 48879 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1004804 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.02 3/179 19588 /proc/meminfo: memFree=27484012/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1362.31 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264483 0 0 0 84214 52017 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1004804 [startup+1422.31 s] /proc/loadavg: 2.02 2.02 2.01 3/179 19590 /proc/meminfo: memFree=27484080/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1422.32 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264484 0 0 0 86873 55359 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1004804 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.01 3/179 19591 /proc/meminfo: memFree=27484148/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1482.31 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264484 0 0 0 90343 57888 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1004804 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19592 /proc/meminfo: memFree=27484336/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1542.32 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264485 0 0 0 92986 61246 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1004804 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19594 /proc/meminfo: memFree=27484284/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1602.32 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264486 0 0 0 95618 64614 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1004804 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19596 /proc/meminfo: memFree=27484204/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1662.32 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264489 0 0 0 98161 68071 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135025712 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1004804 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19598 /proc/meminfo: memFree=27483900/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1722.32 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264489 0 0 0 100709 71523 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1004804 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19599 /proc/meminfo: memFree=27484204/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1782.33 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264491 0 0 0 103304 74929 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1004804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19600 /proc/meminfo: memFree=27483952/32950904 swapFree=67111528/67111528 [pid=19518] ppid=19516 vsize=1004804 CPUtime=1800.03 /proc/19518/stat : 19518 (pbct) R 19516 19518 17896 0 -1 4202496 264491 0 0 0 104180 75823 0 0 25 0 1 0 22222253 1028919296 240111 4089446400 134512640 136422188 4289132464 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/19518/statm: 251201 240111 238 467 0 250732 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1004804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.04 CPU time (s): 1800.07 CPU user time (s): 1041.81 CPU system time (s): 758.269 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1004804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1041.81 system time used= 758.269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264492 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= 1 involuntary context switches= 10344 runsolver used 2.77558 second user time and 6.77897 second system time The end
Begin job on node121 at 2010-07-08 00:01:24 IDJOB=2701437 IDBENCH=79579 IDSOLVER=1212 FILE ID=node121/2701437-1278540084 PBS_JOBID= 11239236 Free space on /tmp= 73656 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-22_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701437-1278540084/watcher-2701437-1278540084 -o /tmp/evaluation-result-2701437-1278540084/solver-2701437-1278540084 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701437-1278540084.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a17cc9631cce6dbec0a98622ec920de1 RANDOM SEED=1643432163 node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 28564060 kB Buffers: 138100 kB Cached: 3510876 kB SwapCached: 0 kB Active: 1916828 kB Inactive: 2321576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 28564060 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6672 kB Writeback: 0 kB AnonPages: 589660 kB Mapped: 20348 kB Slab: 82304 kB PageTables: 6556 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 1645624 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73408 MiB End job on node121 at 2010-07-08 00:31:26