Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
clasp 2.0.6-R5325 | MSAT (TO) | 1800.03 | 1800.31 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo |
MD5SUM | 5648463b311d39ee56e08f95de13a148 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 2.01369 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5100 |
Total number of constraints | 202 |
Number of soft constraints | 71 |
Number of constraints which are clauses | 102 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 51 |
Top cost | 3850 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 3849 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 52 |
Number of bits of the biggest sum of numbers | 6 |
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 Calling clasp with: --restart-on-model --opt-heu=2 --sat-p=20,25,120,-1,2 --heu=Berkmin --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=20000,1.1 --reverse-arcs=2 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...180325/instance-3711353-1338180325.wbo 0.00/0.00 c Solving... 0.00/0.01 o 2117 0.00/0.01 o 2114 0.00/0.02 o 2100 0.00/0.03 o 2092 0.00/0.05 o 2071 0.00/0.07 o 2057 0.00/0.12 o 2049 0.00/0.18 o 2029 0.00/0.28 o 2015 0.00/0.42 o 1992 0.00/0.66 o 1974 1.00/1.03 o 1971 1.59/1.63 o 1957 2.49/2.55 o 1934 3.99/4.05 o 1921 6.29/6.39 o 1920 9.99/10.04 o 1907 15.88/15.91 o 1886 25.18/25.25 o 1872 39.58/39.69 o 1850 61.97/62.02 o 1847 96.68/96.71 o 1833 150.86/150.93 o 1813 236.36/236.46 o 1799 363.13/363.21 o 1795 566.70/566.81 o 1776 879.45/879.65 o 1762 1384.08/1384.31 o 1742 1800.02/1800.30 1800.02/1800.30 *** INTERRUPTED! *** 1800.02/1800.30 c Answer: 28 1800.02/1800.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.02/1800.30 v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 1800.02/1800.30 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 1800.02/1800.30 v -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 1800.02/1800.30 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.02/1800.30 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1800.02/1800.30 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 1800.02/1800.30 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.02/1800.30 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.02/1800.30 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.02/1800.30 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 1800.02/1800.30 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1800.02/1800.30 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1800.02/1800.30 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.02/1800.30 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 1800.02/1800.30 v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.02/1800.30 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1800.02/1800.30 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1800.02/1800.30 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 1800.02/1800.30 v x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1800.02/1800.30 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.02/1800.30 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 1800.02/1800.30 v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.02/1800.30 v -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 1800.02/1800.30 v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1800.02/1800.30 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1800.02/1800.30 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1800.02/1800.30 v -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.02/1800.30 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 1800.02/1800.30 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.02/1800.30 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 1800.02/1800.30 v -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 1800.02/1800.30 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 1800.02/1800.30 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 1800.02/1800.30 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.02/1800.30 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 1800.02/1800.30 v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.02/1800.30 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1800.02/1800.30 v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.02/1800.30 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.02/1800.30 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1800.02/1800.30 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.02/1800.30 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 1800.02/1800.30 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.02/1800.30 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 1800.02/1800.30 v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.02/1800.30 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 1800.02/1800.30 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1800.02/1800.30 v -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.02/1800.30 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 1800.02/1800.30 v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.02/1800.30 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 1800.02/1800.30 v -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.02/1800.30 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 1800.02/1800.30 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 1800.02/1800.30 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.02/1800.30 v -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 1800.02/1800.30 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.02/1800.30 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 1800.02/1800.30 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1800.02/1800.30 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 1800.02/1800.30 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 1800.02/1800.30 v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.02/1800.30 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1800.02/1800.30 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1800.02/1800.30 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 1800.02/1800.30 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1800.02/1800.30 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 1800.02/1800.30 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1800.02/1800.30 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.02/1800.30 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 1800.02/1800.30 v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1800.02/1800.30 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 1800.02/1800.30 v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1800.02/1800.30 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1800.02/1800.30 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1800.02/1800.30 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.02/1800.30 v -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 1800.02/1800.30 v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1800.02/1800.30 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 1800.02/1800.30 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.02/1800.30 v -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.02/1800.30 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 1800.02/1800.30 v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.02/1800.30 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 1800.02/1800.30 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.02/1800.30 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.02/1800.30 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 1800.02/1800.30 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.02/1800.30 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.02/1800.30 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 1800.02/1800.30 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.02/1800.30 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.02/1800.30 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1800.02/1800.30 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1800.02/1800.30 v x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.02/1800.30 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1800.02/1800.30 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.02/1800.30 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.02/1800.30 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 1800.02/1800.30 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.02/1800.30 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1800.02/1800.30 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.02/1800.30 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.02/1800.30 v -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1800.02/1800.30 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.02/1800.30 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.02/1800.30 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 1800.02/1800.30 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 1800.02/1800.30 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1800.02/1800.30 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1800.02/1800.30 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.02/1800.30 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.02/1800.30 v -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1800.02/1800.30 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 1800.02/1800.30 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.02/1800.30 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.02/1800.30 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 1800.02/1800.30 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 1800.02/1800.30 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1800.02/1800.30 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1800.02/1800.30 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 1800.02/1800.30 v -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.02/1800.30 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.02/1800.30 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 1800.02/1800.30 v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.02/1800.30 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 1800.02/1800.30 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 1800.02/1800.30 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.02/1800.30 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.02/1800.30 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1800.02/1800.30 v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1800.02/1800.30 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.02/1800.30 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1800.02/1800.30 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.02/1800.30 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.02/1800.30 v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1800.02/1800.30 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1800.02/1800.30 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1800.02/1800.30 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1800.02/1800.30 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.02/1800.30 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1800.02/1800.30 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 1800.02/1800.30 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.02/1800.30 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.02/1800.30 v x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.02/1800.30 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.02/1800.30 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 1800.02/1800.30 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1800.02/1800.30 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 1800.02/1800.30 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1800.02/1800.30 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.02/1800.30 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.02/1800.30 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 1800.02/1800.30 v -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 1800.02/1800.30 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1800.02/1800.30 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1800.02/1800.30 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.02/1800.30 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 1800.02/1800.30 v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.02/1800.30 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.02/1800.30 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1800.02/1800.30 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.02/1800.30 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.02/1800.30 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1800.02/1800.30 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.02/1800.30 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.02/1800.30 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 1800.02/1800.30 v -x1952 -x1953 -x1954 -x1955 x1956 -x1957 x1958 x1959 -x1960 x1961 x1962 1800.02/1800.30 v x1963 x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 x1971 -x1972 -x1973 1800.02/1800.30 v -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 1800.02/1800.30 v x1985 x1986 x1987 -x1988 x1989 x1990 x1991 -x1992 -x1993 -x1994 x1995 -x1996 1800.02/1800.30 v -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1800.02/1800.30 v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 1800.02/1800.30 v -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 1800.02/1800.30 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 1800.02/1800.30 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.02/1800.30 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.02/1800.30 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1800.02/1800.30 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.02/1800.30 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.02/1800.30 v -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1800.02/1800.30 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1800.02/1800.30 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.02/1800.30 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1800.02/1800.30 v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 1800.02/1800.30 v -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 x2158 x2159 -x2160 x2161 1800.02/1800.30 v x2162 x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 x2171 -x2172 1800.02/1800.30 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 1800.02/1800.30 v -x2184 x2185 x2186 x2187 -x2188 x2189 x2190 x2191 -x2192 -x2193 -x2194 1800.02/1800.30 v x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 1800.02/1800.30 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1800.02/1800.30 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.02/1800.30 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.02/1800.30 v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1800.02/1800.30 v x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1800.02/1800.30 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.02/1800.30 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.02/1800.30 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1800.02/1800.30 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 1800.02/1800.30 v -x2305 x2306 -x2307 x2308 x2309 -x2310 x2311 x2312 x2313 x2314 -x2315 -x2316 1800.02/1800.30 v -x2317 x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 1800.02/1800.30 v -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 x2336 x2337 -x2338 1800.02/1800.30 v x2339 x2340 x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 x2349 1800.02/1800.30 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 x2358 x2359 -x2360 1800.02/1800.30 v x2361 x2362 x2363 x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 x2371 1800.02/1800.30 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 1800.02/1800.30 v -x2383 -x2384 x2385 x2386 x2387 -x2388 x2389 x2390 x2391 -x2392 -x2393 1800.02/1800.30 v -x2394 x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1800.02/1800.30 v -x2405 x2406 -x2407 x2408 x2409 -x2410 x2411 x2412 x2413 x2414 -x2415 -x2416 1800.02/1800.30 v -x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1800.02/1800.30 v -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 x2436 x2437 -x2438 1800.02/1800.30 v x2439 x2440 x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449 1800.02/1800.30 v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1800.02/1800.30 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 1800.02/1800.30 v -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1800.02/1800.30 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1800.02/1800.30 v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 1800.02/1800.30 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1800.02/1800.30 v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.02/1800.30 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.02/1800.30 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.02/1800.30 v -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 x2558 x2559 1800.02/1800.30 v -x2560 x2561 x2562 x2563 x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 1800.02/1800.30 v x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 1800.02/1800.30 v -x2582 -x2583 -x2584 x2585 x2586 x2587 -x2588 x2589 x2590 x2591 -x2592 1800.02/1800.30 v -x2593 -x2594 x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 1800.02/1800.30 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 1800.02/1800.30 v -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1800.02/1800.30 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.02/1800.30 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.02/1800.30 v -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 x2658 1800.02/1800.30 v x2659 -x2660 x2661 x2662 x2663 x2664 -x2665 -x2666 x2667 x2668 -x2669 -x2670 1800.02/1800.30 v x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 1800.02/1800.30 v -x2682 -x2683 -x2684 x2685 x2686 x2687 -x2688 x2689 x2690 x2691 -x2692 1800.02/1800.30 v -x2693 -x2694 x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 1800.02/1800.30 v -x2704 -x2705 x2706 -x2707 x2708 x2709 -x2710 x2711 x2712 x2713 x2714 -x2715 1800.02/1800.30 v -x2716 -x2717 x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.02/1800.30 v -x2727 -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 x2736 x2737 1800.02/1800.30 v -x2738 x2739 x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 1800.02/1800.30 v x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1800.02/1800.30 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1800.02/1800.30 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1800.02/1800.30 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1800.02/1800.30 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 1800.02/1800.30 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1800.02/1800.30 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.02/1800.30 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1800.02/1800.30 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.02/1800.30 v -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.02/1800.30 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1800.02/1800.30 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.02/1800.30 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 1800.02/1800.30 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 1800.02/1800.30 v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 1800.02/1800.30 v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 1800.02/1800.30 v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 1800.02/1800.30 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.02/1800.30 v -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.02/1800.30 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.02/1800.30 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.02/1800.30 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1800.02/1800.30 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 1800.02/1800.30 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.02/1800.30 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 1800.02/1800.30 v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 1800.02/1800.30 v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.02/1800.30 v -x3046 -x3047 -x3048 -x3049 x3050 x3051 x3052 x3053 x3054 x3055 x3056 x3057 1800.02/1800.30 v x3058 x3059 x3060 x3061 x3062 x3063 x3064 x3065 x3066 -x3067 x3068 x3069 1800.02/1800.30 v x3070 x3071 x3072 -x3073 -x3074 x3075 x3076 x3077 x3078 x3079 x3080 x3081 1800.02/1800.30 v x3082 x3083 x3084 x3085 x3086 x3087 x3088 x3089 x3090 x3091 x3092 x3093 1800.02/1800.30 v x3094 x3095 x3096 x3097 x3098 x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 1800.02/1800.30 v x3106 -x3107 x3108 x3109 -x3110 x3111 x3112 x3113 x3114 -x3115 -x3116 -x3117 1800.02/1800.30 v x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 1800.02/1800.30 v x3129 -x3130 -x3131 -x3132 -x3133 -x3134 x3135 x3136 x3137 -x3138 x3139 1800.02/1800.30 v x3140 x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 x3149 -x3150 1800.02/1800.30 v -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 x3158 x3159 -x3160 x3161 1800.02/1800.30 v x3162 x3163 x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 x3171 -x3172 1800.02/1800.30 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 1800.02/1800.30 v -x3184 x3185 x3186 x3187 -x3188 x3189 x3190 x3191 -x3192 -x3193 -x3194 1800.02/1800.30 v x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.02/1800.30 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1800.02/1800.30 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 1800.02/1800.30 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.02/1800.30 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1800.02/1800.30 v x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 x3258 x3259 -x3260 1800.02/1800.30 v x3261 x3262 x3263 x3264 -x3265 -x3266 -x3267 x3268 -x3269 -x3270 x3271 1800.02/1800.30 v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 1800.02/1800.30 v -x3283 -x3284 x3285 x3286 x3287 -x3288 x3289 x3290 x3291 -x3292 -x3293 1800.02/1800.30 v -x3294 x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 1800.02/1800.30 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 1800.02/1800.30 v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 1800.02/1800.30 v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1800.02/1800.30 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 1800.02/1800.30 v -x3349 x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.02/1800.30 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1800.02/1800.30 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 1800.02/1800.30 v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 1800.02/1800.30 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 1800.02/1800.30 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 1800.02/1800.30 v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 1800.02/1800.30 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 1800.02/1800.30 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 1800.02/1800.30 v -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.02/1800.30 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1800.02/1800.30 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1800.02/1800.30 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 1800.02/1800.30 v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 -x3502 1800.02/1800.30 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 1800.02/1800.30 v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1800.02/1800.30 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 1800.02/1800.30 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.02/1800.30 v -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557 1800.02/1800.30 v x3558 x3559 -x3560 x3561 x3562 x3563 x3564 -x3565 -x3566 -x3567 x3568 -x3569 1800.02/1800.30 v -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x3580 1800.02/1800.30 v -x3581 -x3582 -x3583 -x3584 x3585 x3586 x3587 -x3588 x3589 x3590 x3591 1800.02/1800.30 v -x3592 -x3593 -x3594 x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602 1800.02/1800.30 v -x3603 -x3604 -x3605 x3606 -x3607 x3608 x3609 -x3610 x3611 x3612 x3613 1800.02/1800.30 v x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 1800.02/1800.30 v -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 1800.02/1800.30 v x3636 x3637 -x3638 x3639 x3640 x3641 -x3642 -x3643 -x3644 x3645 -x3646 1800.02/1800.30 v -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1800.02/1800.30 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1800.02/1800.30 v -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1800.02/1800.30 v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 1800.02/1800.30 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 -x3701 1800.02/1800.30 v -x3702 -x3703 -x3704 -x3705 x3706 -x3707 x3708 x3709 -x3710 x3711 x3712 1800.02/1800.30 v x3713 x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 x3721 -x3722 -x3723 1800.02/1800.30 v -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 1800.02/1800.30 v x3735 x3736 x3737 -x3738 x3739 x3740 x3741 -x3742 -x3743 -x3744 x3745 -x3746 1800.02/1800.30 v -x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 1800.02/1800.30 v x3758 x3759 -x3760 x3761 x3762 x3763 x3764 -x3765 -x3766 -x3767 x3768 -x3769 1800.02/1800.30 v -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 1800.02/1800.30 v -x3781 -x3782 -x3783 -x3784 x3785 x3786 x3787 -x3788 x3789 x3790 x3791 1800.02/1800.30 v -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 x3799 -x3800 -x3801 -x3802 1800.02/1800.30 v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 1800.02/1800.30 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 1800.02/1800.30 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1800.02/1800.30 v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1800.02/1800.30 v -x3847 -x3848 -x3849 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1800.02/1800.30 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 1800.02/1800.30 v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1800.02/1800.30 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1800.02/1800.30 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 1800.02/1800.30 v -x3902 -x3903 -x3904 -x3905 x3906 -x3907 x3908 x3909 -x3910 x3911 -x3912 1800.02/1800.30 v x3913 x3914 -x3915 -x3916 -x3917 x3918 -x3919 -x3920 x3921 -x3922 -x3923 1800.02/1800.30 v -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 -x3934 1800.02/1800.30 v x3935 x3936 x3937 -x3938 x3939 x3940 x3941 -x3942 -x3943 -x3944 x3945 -x3946 1800.02/1800.30 v -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 1800.02/1800.30 v x3958 x3959 -x3960 x3961 x3962 x3963 x3964 -x3965 -x3966 -x3967 x3968 -x3969 1800.02/1800.30 v -x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 1800.02/1800.30 v -x3981 -x3982 -x3983 -x3984 x3985 x3986 x3987 -x3988 x3989 x3990 x3991 1800.02/1800.30 v -x3992 -x3993 -x3994 x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 1800.02/1800.30 v -x4003 -x4004 -x4005 x4006 -x4007 x4008 x4009 -x4010 x4011 x4012 x4013 1800.02/1800.30 v x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 x4021 -x4022 -x4023 -x4024 1800.02/1800.30 v -x4025 -x4026 -x4027 -x4028 x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 1800.02/1800.30 v x4036 x4037 -x4038 x4039 x4040 x4041 -x4042 -x4043 -x4044 x4045 -x4046 1800.02/1800.30 v -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 1800.02/1800.30 v -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1800.02/1800.30 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 1800.02/1800.30 v -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 1800.02/1800.30 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 1800.02/1800.30 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 1800.02/1800.30 v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 1800.02/1800.30 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.02/1800.30 v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 1800.02/1800.30 v -x4146 -x4147 -x4148 -x4149 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.02/1800.30 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1800.02/1800.30 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 1800.02/1800.30 v -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.02/1800.30 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 1800.02/1800.30 v -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 x4208 x4209 -x4210 x4211 1800.02/1800.30 v x4212 x4213 x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x4220 x4221 -x4222 1800.02/1800.30 v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 1800.02/1800.30 v -x4234 x4235 x4236 x4237 -x4238 x4239 x4240 x4241 -x4242 -x4243 -x4244 1800.02/1800.30 v x4245 -x4246 -x4247 -x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1800.02/1800.30 v x4256 -x4257 x4258 x4259 -x4260 x4261 x4262 x4263 x4264 -x4265 -x4266 -x4267 1800.02/1800.30 v x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 1800.02/1800.30 v x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 x4286 x4287 -x4288 x4289 1800.02/1800.30 v x4290 x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 x4299 -x4300 1800.02/1800.30 v -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 x4308 x4309 -x4310 x4311 1800.02/1800.30 v x4312 x4313 x4314 -x4315 -x4316 -x4317 x4318 -x4319 -x4320 x4321 -x4322 1800.02/1800.30 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 1800.02/1800.30 v -x4334 x4335 x4336 x4337 -x4338 x4339 x4340 x4341 -x4342 -x4343 -x4344 1800.02/1800.30 v x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.02/1800.30 v x4356 -x4357 x4358 x4359 -x4360 x4361 x4362 x4363 x4364 -x4365 -x4366 -x4367 1800.02/1800.30 v x4368 -x4369 -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.02/1800.30 v x4379 -x4380 -x4381 -x4382 -x4383 -x4384 x4385 x4386 x4387 -x4388 x4389 1800.02/1800.30 v x4390 x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 x4399 -x4400 1800.02/1800.30 v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 1800.02/1800.30 v -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 1800.02/1800.30 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 1800.02/1800.30 v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 1800.02/1800.30 v -x4445 -x4446 -x4447 -x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 1800.02/1800.30 v -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1800.02/1800.30 v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 1800.02/1800.30 v -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 1800.02/1800.30 v -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1800.02/1800.30 v x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 -x4507 x4508 x4509 -x4510 1800.02/1800.30 v x4511 x4512 x4513 x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x4520 x4521 1800.02/1800.30 v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 -x4530 -x4531 -x4532 1800.02/1800.30 v -x4533 -x4534 x4535 x4536 x4537 -x4538 x4539 x4540 x4541 -x4542 -x4543 1800.02/1800.30 v -x4544 x4545 -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 -x4554 1800.02/1800.30 v -x4555 x4556 -x4557 x4558 x4559 -x4560 x4561 x4562 x4563 x4564 -x4565 -x4566 1800.02/1800.30 v -x4567 x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 1800.02/1800.30 v -x4578 x4579 -x4580 -x4581 -x4582 -x4583 -x4584 x4585 x4586 x4587 -x4588 1800.02/1800.30 v x4589 x4590 x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 x4599 1800.02/1800.30 v -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 x4608 x4609 -x4610 1800.02/1800.30 v x4611 x4612 x4613 x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 x4621 1800.02/1800.30 v -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 1800.02/1800.30 v -x4633 -x4634 x4635 x4636 x4637 -x4638 x4639 x4640 x4641 -x4642 -x4643 1800.02/1800.30 v -x4644 x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 1800.02/1800.30 v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 1800.02/1800.30 v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.02/1800.30 v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1800.02/1800.30 v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 1800.02/1800.30 v -x4699 x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 x4708 x4709 1800.02/1800.30 v -x4710 x4711 x4712 x4713 x4714 -x4715 -x4716 -x4717 x4718 -x4719 -x4720 1800.02/1800.30 v x4721 -x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 1800.02/1800.30 v -x4732 -x4733 -x4734 x4735 x4736 x4737 -x4738 x4739 x4740 x4741 -x4742 1800.02/1800.30 v -x4743 -x4744 x4745 -x4746 -x4747 -x4748 x4749 -x4750 -x4751 -x4752 -x4753 1800.02/1800.30 v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 1800.02/1800.30 v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 1800.02/1800.30 v -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 1800.02/1800.30 v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1800.02/1800.30 v -x4798 -x4799 x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 x4808 1800.02/1800.30 v x4809 -x4810 x4811 x4812 x4813 x4814 -x4815 -x4816 -x4817 x4818 -x4819 1800.02/1800.30 v -x4820 x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 1800.02/1800.30 v -x4831 -x4832 -x4833 -x4834 x4835 x4836 x4837 -x4838 x4839 x4840 x4841 1800.02/1800.30 v -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 x4849 -x4850 -x4851 -x4852 1800.02/1800.30 v -x4853 -x4854 -x4855 x4856 -x4857 x4858 x4859 -x4860 x4861 x4862 x4863 1800.02/1800.30 v x4864 -x4865 -x4866 -x4867 x4868 -x4869 -x4870 x4871 -x4872 -x4873 -x4874 1800.02/1800.30 v -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 x4885 1800.02/1800.30 v x4886 x4887 -x4888 x4889 x4890 x4891 -x4892 -x4893 -x4894 x4895 -x4896 1800.02/1800.30 v -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 1800.02/1800.30 v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 1800.02/1800.30 v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 1800.02/1800.30 v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 1800.02/1800.30 v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 x4950 -x4951 1800.02/1800.30 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 1800.02/1800.30 v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 1800.02/1800.30 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 1800.02/1800.30 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 1800.02/1800.30 v -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 1800.02/1800.30 v -x5007 x5008 x5009 -x5010 x5011 x5012 x5013 x5014 -x5015 -x5016 -x5017 1800.02/1800.30 v x5018 -x5019 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 1800.02/1800.30 v x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 x5036 x5037 -x5038 x5039 1800.02/1800.30 v x5040 x5041 -x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 x5049 -x5050 1800.02/1800.30 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 1800.02/1800.30 v -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 1800.02/1800.30 v -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 1800.02/1800.30 v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 1800.02/1800.30 v -x5095 -x5096 -x5097 -x5098 -x5099 x5100 1800.02/1800.30 s SATISFIABLE 1800.02/1800.30 1800.02/1800.30 c INTERRUPTED : 1 1800.02/1800.30 c Models : 1+ 1800.02/1800.30 c Enumerated : 28 1800.02/1800.30 c Optimum : unknown 1800.02/1800.30 c Optimization : 1742 1800.02/1800.30 c Time : 1800.304s (Solving: 1800.30s 1st Model: 0.01s Unsat: 0.00s) 1800.02/1800.30 c CPU Time : 1800.020s
OK 1742
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711353-1338180325/watcher-3711353-1338180325 -o /tmp/evaluation-result-3711353-1338180325/solver-3711353-1338180325 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711353-1338180325.wbo running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 2/176 27572 /proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [startup+0.0255639 s] /proc/loadavg: 2.00 2.00 1.91 2/176 27572 /proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100295 s] /proc/loadavg: 2.00 2.00 1.91 2/176 27572 /proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300296 s] /proc/loadavg: 2.00 2.00 1.91 2/176 27572 /proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700262 s] /proc/loadavg: 2.00 2.00 1.91 2/176 27572 /proc/meminfo: memFree=29869872/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.5003 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27580 /proc/meminfo: memFree=29861344/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=9212 CPUtime=1.49 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 2154 0 0 0 149 0 0 0 20 0 1 0 284157271 9433088 1987 33554432000 4194304 6212839 140737477521632 140737477519784 4676484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 2303 1987 242 493 0 1808 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18364 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27580 /proc/meminfo: memFree=29859236/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=10268 CPUtime=3.09 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 2404 0 0 0 309 0 0 0 20 0 1 0 284157271 10514432 2237 33554432000 4194304 6212839 140737477521632 140737477519640 4685406 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 2567 2237 242 493 0 2072 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19420 [startup+6.3003 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27580 /proc/meminfo: memFree=29857268/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=11456 CPUtime=6.29 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 2712 0 0 0 629 0 0 0 20 0 1 0 284157271 11730944 2545 33554432000 4194304 6212839 140737477521632 140737477519640 4674407 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 2864 2545 242 493 0 2369 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20608 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27580 /proc/meminfo: memFree=29853836/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=13460 CPUtime=12.69 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 3228 0 0 0 1269 0 0 0 20 0 1 0 284157271 13783040 3061 33554432000 4194304 6212839 140737477521632 140737477519640 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 3365 3061 242 493 0 2870 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22612 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27580 /proc/meminfo: memFree=29852008/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=15492 CPUtime=25.48 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 3726 0 0 0 2548 0 0 0 20 0 1 0 284157271 15863808 3555 33554432000 4194304 6212839 140737477521632 140737477519640 4298183 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 3873 3555 242 493 0 3378 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24644 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27581 /proc/meminfo: memFree=29848908/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=17472 CPUtime=51.07 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 4224 0 0 0 5107 0 0 0 20 0 1 0 284157271 17891328 4053 33554432000 4194304 6212839 140737477521632 140737477519640 4676463 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 4368 4053 242 493 0 3873 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26624 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27620 /proc/meminfo: memFree=29844368/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=20772 CPUtime=102.28 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 5045 0 0 0 10227 1 0 0 20 0 1 0 284157271 21270528 4876 33554432000 4194304 6212839 140737477521632 140737477519640 4298171 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 5193 4876 242 493 0 4698 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 29924 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27620 /proc/meminfo: memFree=29838736/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=24028 CPUtime=162.26 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 5872 0 0 0 16225 1 0 0 20 0 1 0 284157271 24604672 5702 33554432000 4194304 6212839 140737477521632 140737477519640 4334941 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 6007 5702 242 493 0 5512 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 33180 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27620 /proc/meminfo: memFree=29836748/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=25288 CPUtime=222.25 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 6304 0 0 0 22224 1 0 0 20 0 1 0 284157271 25894912 6022 33554432000 4194304 6212839 140737477521632 140737477519928 4298186 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 6322 6022 242 493 0 5827 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 34440 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.91 3/182 27623 /proc/meminfo: memFree=29834296/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=27664 CPUtime=282.24 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 6868 0 0 0 28223 1 0 0 20 0 1 0 284157271 28327936 6587 33554432000 4194304 6212839 140737477521632 140737477519640 4674907 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 6916 6587 242 493 0 6421 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 36816 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/180 27623 /proc/meminfo: memFree=29832288/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=28584 CPUtime=342.23 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 7469 0 0 0 34222 1 0 0 20 0 1 0 284157271 29270016 6849 33554432000 4194304 6212839 140737477521632 140737477519928 4298169 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 7146 6849 242 493 0 6651 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 37736 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/181 27624 /proc/meminfo: memFree=29830852/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=43468 CPUtime=1122.12 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12560 0 0 0 112209 3 0 0 20 0 1 0 284157271 44511232 10570 33554432000 4194304 6212839 140737477521632 140737477519928 4705182 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 10867 10570 242 493 0 10372 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 52620 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27652 /proc/meminfo: memFree=29813784/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=43468 CPUtime=1182.11 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12738 0 0 0 118208 3 0 0 20 0 1 0 284157271 44511232 10570 33554432000 4194304 6212839 140737477521632 140737477519928 4674569 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 10867 10570 242 493 0 10372 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 52620 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27652 /proc/meminfo: memFree=29813040/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=44000 CPUtime=1242.1 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12867 0 0 0 124207 3 0 0 20 0 1 0 284157271 45056000 10699 33554432000 4194304 6212839 140737477521632 140737477519640 4334733 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 11000 10699 242 493 0 10505 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 53152 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27653 /proc/meminfo: memFree=29812420/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=43976 CPUtime=1302.1 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12943 0 0 0 130207 3 0 0 20 0 1 0 284157271 45031424 10697 33554432000 4194304 6212839 140737477521632 140737477519928 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 10994 10697 242 493 0 10499 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 53128 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27653 /proc/meminfo: memFree=29812232/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=44240 CPUtime=1362.08 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 12989 0 0 0 136205 3 0 0 20 0 1 0 284157271 45301760 10742 33554432000 4194304 6212839 140737477521632 140737477519640 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 11060 10742 242 493 0 10565 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 53392 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27653 /proc/meminfo: memFree=29808696/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=47752 CPUtime=1422.07 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 13832 0 0 0 142204 3 0 0 20 0 1 0 284157271 48898048 11601 33554432000 4194304 6212839 140737477521632 140737477519640 4685809 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 11938 11601 242 493 0 11443 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 56904 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/182 27656 /proc/meminfo: memFree=29807680/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=47828 CPUtime=1482.06 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14037 0 0 0 148203 3 0 0 20 0 1 0 284157271 48975872 11640 33554432000 4194304 6212839 140737477521632 140737477519928 4705179 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 11957 11640 242 493 0 11462 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 56980 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27656 /proc/meminfo: memFree=29806460/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=50020 CPUtime=1542.05 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14536 0 0 0 154202 3 0 0 20 0 1 0 284157271 51220480 12157 33554432000 4194304 6212839 140737477521632 140737477519800 4745310 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 12505 12157 242 493 0 12010 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 59172 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27657 /proc/meminfo: memFree=29806336/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=50020 CPUtime=1602.04 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14536 0 0 0 160201 3 0 0 20 0 1 0 284157271 51220480 12157 33554432000 4194304 6212839 140737477521632 140737477519800 4333831 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 12505 12157 242 493 0 12010 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 59172 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27657 /proc/meminfo: memFree=29806212/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=50020 CPUtime=1662.03 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14536 0 0 0 166200 3 0 0 20 0 1 0 284157271 51220480 12157 33554432000 4194304 6212839 140737477521632 140737477519800 4745255 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 12505 12157 242 493 0 12010 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 59172 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27657 /proc/meminfo: memFree=29804600/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=50020 CPUtime=1722.02 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14550 0 0 0 172199 3 0 0 20 0 1 0 284157271 51220480 12171 33554432000 4194304 6212839 140737477521632 140737477519800 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 12505 12171 242 493 0 12010 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 59172 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27657 /proc/meminfo: memFree=29803420/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=50216 CPUtime=1782.01 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14657 0 0 0 178198 3 0 0 20 0 1 0 284157271 51421184 12257 33554432000 4194304 6212839 140737477521632 140737477519928 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 12554 12257 242 493 0 12059 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 59368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27657 /proc/meminfo: memFree=29803480/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=50216 CPUtime=1800.02 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14657 0 0 0 179999 3 0 0 20 0 1 0 284157271 51421184 12257 33554432000 4194304 6212839 140737477521632 140737477519928 4335232 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 12554 12257 242 493 0 12059 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 59368 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.00 1.93 3/181 27657 /proc/meminfo: memFree=29803480/32873844 swapFree=7372/7372 [pid=27572] ppid=27570 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (clasp-wbo.sh) S 27570 27572 27436 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284157271 9371648 273 33554432000 4194304 5064252 140736350479136 140736350478048 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2288 273 232 213 0 73 0 [pid=27573] ppid=27572 vsize=50216 CPUtime=1800.02 cores=0,2,4,6 /proc/27573/stat : 27573 (clasp-R5325) R 27572 27572 27436 0 -1 4202496 14657 0 0 0 179999 3 0 0 20 0 1 0 284157271 51421184 12257 33554432000 4194304 6212839 140737477521632 140737477519928 4335232 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/27573/statm: 12554 12257 242 493 0 12059 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 59368 Child status: 10 Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1799.99 CPU system time (s): 0.038994 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 59568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.038994 maximum resident set size= 49108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15028 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= 28 involuntary context switches= 1923 runsolver used 3.15052 second user time and 7.84581 second system time The end
Begin job on node133 at 2012-05-28 06:45:25 IDJOB=3711353 IDBENCH=78664 IDSOLVER=2290 FILE ID=node133/3711353-1338180325 RUNJOBID= node133-1338178524-27452 PBS_JOBID= 14624565 Free space on /tmp= 71728 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= HOME/clasp-wbo.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711353-1338180325/watcher-3711353-1338180325 -o /tmp/evaluation-result-3711353-1338180325/solver-3711353-1338180325 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711353-1338180325.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148 RANDOM SEED=590290303 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29872616 kB Buffers: 368272 kB Cached: 1794976 kB SwapCached: 104 kB Active: 630492 kB Inactive: 1543988 kB Active(anon): 2420 kB Inactive(anon): 11368 kB Active(file): 628072 kB Inactive(file): 1532620 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108752 kB Dirty: 2476 kB Writeback: 0 kB AnonPages: 18464 kB Mapped: 14000 kB Shmem: 212 kB Slab: 686832 kB SReclaimable: 128668 kB SUnreclaim: 558164 kB KernelStack: 1480 kB PageTables: 3868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71724 MiB End job on node133 at 2012-05-28 07:15:25