0.00/0.00	c Calling clasp with: --sat-p=20,25,240,-1,1 --heuristic=Vsids --dynamic-restarts=100,0.7 --dinit=500,20000 --del=3.0,1.1,20.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --save-p=75 --cir=3 --cir-bump=1023 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...155522/instance-3708569-1338155522.opb
134.70/134.81	c Solving...
134.80/134.90	c Answer: 1
134.80/134.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16
134.80/134.90	v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31
134.80/134.90	v -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
134.80/134.90	v -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61
134.80/134.90	v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76
134.80/134.90	v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91
134.80/134.90	v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
134.80/134.90	v -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117
134.80/134.90	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
134.80/134.90	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
134.80/134.90	v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
134.80/134.90	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
134.80/134.90	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
134.80/134.90	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
134.80/134.91	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201
134.80/134.91	v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
134.80/134.91	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
134.80/134.91	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
134.80/134.91	v x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
134.80/134.91	v -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261
134.80/134.91	v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
134.80/134.91	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
134.80/134.91	v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
134.80/134.91	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
134.80/134.91	v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
134.80/134.91	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
134.80/134.91	v x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345
134.80/134.91	v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
134.80/134.91	v -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369
134.80/134.91	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
134.80/134.91	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
134.80/134.91	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
134.80/134.91	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
134.80/134.91	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429
134.80/134.91	v -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441
134.80/134.91	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453
134.80/134.91	v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
134.80/134.91	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
134.80/134.91	v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489
134.80/134.91	v x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
134.80/134.91	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513
134.80/134.91	v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
134.80/134.91	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537
134.80/134.91	v -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
134.80/134.91	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561
134.80/134.91	v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
134.80/134.91	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
134.80/134.91	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597
134.80/134.91	v -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609
134.80/134.91	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621
134.80/134.91	v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
134.80/134.91	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645
134.80/134.91	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
134.80/134.91	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
134.80/134.91	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681
134.80/134.91	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
134.80/134.91	v -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705
134.80/134.91	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
134.80/134.91	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729
134.80/134.91	v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741
134.80/134.91	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
134.80/134.91	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765
134.80/134.91	v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
134.80/134.91	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
134.80/134.91	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801
134.80/134.91	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
134.80/134.91	v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
134.80/134.91	v -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
134.80/134.91	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
134.80/134.91	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861
134.80/134.91	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873
134.80/134.91	v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
134.80/134.91	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
134.80/134.91	v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909
134.80/134.91	v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
134.80/134.91	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
134.80/134.91	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
134.80/134.91	v -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957
134.80/134.91	v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
134.80/134.91	v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981
134.80/134.91	v -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
134.80/134.91	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005
134.80/134.91	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016
134.80/134.91	v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
134.80/134.91	v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
134.80/134.91	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049
134.80/134.91	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
134.80/134.91	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071
134.80/134.91	v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082
134.80/134.91	v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093
134.80/134.91	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104
134.80/134.91	v -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
134.80/134.91	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
134.80/134.91	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
134.80/134.91	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
134.80/134.91	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
134.80/134.91	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
134.80/134.91	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
134.80/134.91	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192
134.80/134.91	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203
134.80/134.91	v -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214
134.80/134.91	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
134.80/134.91	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
134.80/134.91	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
134.80/134.91	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258
134.80/134.91	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
134.80/134.91	v -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
134.80/134.91	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
134.80/134.91	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
134.80/134.91	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
134.80/134.91	v -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324
134.80/134.91	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
134.80/134.91	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
134.80/134.91	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357
134.80/134.91	v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368
134.80/134.91	v -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
134.80/134.91	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
134.80/134.91	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401
134.80/134.91	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412
134.80/134.91	v -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
134.80/134.91	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
134.80/134.91	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445
134.80/134.91	v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456
134.80/134.91	v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
134.80/134.91	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478
134.80/134.91	v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489
134.80/134.91	v -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
134.80/134.91	v -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511
134.80/134.91	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
134.80/134.91	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
134.80/134.91	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
134.80/134.91	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555
134.80/134.91	v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566
134.80/134.91	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577
134.80/134.91	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
134.80/134.91	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599
134.80/134.91	v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
134.80/134.91	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621
134.80/134.91	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632
134.80/134.91	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
134.80/134.91	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
134.80/134.91	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
134.80/134.91	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
134.80/134.91	v -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
134.80/134.91	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698
134.80/134.91	v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
134.80/134.91	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
134.80/134.91	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731
134.80/134.91	v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
134.80/134.91	v -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
134.80/134.91	v -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764
134.80/134.91	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
134.80/134.91	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
134.80/134.91	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
134.80/134.91	v -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
134.80/134.91	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819
134.80/134.91	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
134.80/134.91	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841
134.80/134.91	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852
134.80/134.91	v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
134.80/134.91	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
134.80/134.91	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
134.80/134.91	v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896
134.80/134.91	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
134.80/134.91	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918
134.80/134.91	v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929
134.80/134.91	v -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940
134.80/134.91	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951
134.80/134.91	v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962
134.80/134.91	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
134.80/134.91	v -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984
134.80/134.91	v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995
134.80/134.91	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006
134.80/134.91	v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017
134.80/134.91	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028
134.80/134.91	v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039
134.80/134.91	v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050
134.80/134.91	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
134.80/134.91	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072
134.80/134.91	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083
134.80/134.91	v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094
134.80/134.91	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
134.80/134.91	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
134.80/134.91	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
134.80/134.91	v -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138
134.80/134.91	v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
134.80/134.91	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
134.80/134.91	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171
134.80/134.91	v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182
134.80/134.91	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193
134.80/134.91	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204
134.80/134.91	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
134.80/134.91	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226
134.80/134.91	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
134.80/134.91	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248
134.80/134.91	v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259
134.80/134.91	v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
134.80/134.91	v -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281
134.80/134.91	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292
134.80/134.91	v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
134.80/134.91	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
134.80/134.91	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325
134.80/134.91	v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
134.80/134.91	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347
134.80/134.91	v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358
134.80/134.91	v -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369
134.80/134.91	v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
134.80/134.91	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
134.80/134.91	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
134.80/134.91	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413
134.80/134.91	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424
134.80/134.91	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435
134.80/134.91	v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446
134.80/134.91	v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
134.80/134.91	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468
134.80/134.91	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
134.80/134.91	v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
134.80/134.91	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
134.80/134.91	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512
134.80/134.91	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523
134.80/134.91	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
134.80/134.91	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545
134.80/134.91	v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556
134.80/134.91	v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567
134.80/134.91	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578
134.80/134.91	v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
134.80/134.91	v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
134.80/134.91	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611
134.80/134.91	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622
134.80/134.91	v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633
134.80/134.91	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644
134.80/134.91	v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
134.80/134.91	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666
134.80/134.91	v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677
134.80/134.91	v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
134.80/134.91	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
134.80/134.91	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
134.80/134.91	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721
134.80/134.91	v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732
134.80/134.91	v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743
134.80/134.91	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754
134.80/134.91	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765
134.80/134.91	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776
134.80/134.91	v -x2777 -x2778 x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787
134.80/134.91	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798
134.80/134.91	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
134.80/134.91	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
134.80/134.91	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831
134.80/134.91	v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842
134.80/134.91	v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853
134.80/134.91	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864
134.80/134.91	v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
134.80/134.91	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886
134.80/134.91	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897
134.80/134.91	v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908
134.80/134.91	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919
134.80/134.91	v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
134.80/134.91	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941
134.80/134.91	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952
134.80/134.91	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
134.80/134.91	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974
134.80/134.91	v -x2975 -x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
134.80/134.91	v x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996
134.80/134.91	v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007
134.80/134.91	v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018
134.80/134.91	v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029
134.80/134.91	v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
134.80/134.91	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051
134.80/134.91	v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 -x3061 -x3062
134.80/134.91	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073
134.80/134.91	v -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084
134.80/134.91	v -x3085 x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095
134.80/134.91	v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 -x3106
134.80/134.91	v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117
134.80/134.91	v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128
134.80/134.91	v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139
134.80/134.91	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
134.80/134.91	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161
134.80/134.91	v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172
134.80/134.91	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183
134.80/134.91	v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194
134.80/134.91	v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205
134.80/134.91	v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
134.80/134.91	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227
134.80/134.91	v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238
134.80/134.91	v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
134.80/134.91	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
134.80/134.91	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 x3267 -x3268 -x3269 x3270 -x3271
134.80/134.91	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282
134.80/134.91	v -x3283 x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293
134.80/134.91	v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304
134.80/134.91	v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315
134.80/134.91	v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
134.80/134.91	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
134.80/134.91	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348
134.80/134.91	v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359
134.80/134.91	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 -x3370
134.80/134.91	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381
134.80/134.91	v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392
134.80/134.91	v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403
134.80/134.91	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414
134.80/134.91	v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
134.80/134.91	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
134.80/134.91	v -x3437 -x3438 -x3439 -x3440 x3441 x3442 x3443 -x3444 -x3445 -x3446 -x3447
134.80/134.91	v -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
134.80/134.91	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469
134.80/134.91	v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
134.80/134.91	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491
134.80/134.91	v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502
134.80/134.91	v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513
134.80/134.91	v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524
134.80/134.91	v -x3525 -x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535
134.80/134.91	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
134.80/134.91	v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557
134.80/134.91	v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568
134.80/134.91	v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579
134.80/134.91	v -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
134.80/134.91	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601
134.80/134.91	v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612
134.80/134.91	v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623
134.80/134.91	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634
134.80/134.91	v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645
134.80/134.91	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
134.80/134.91	v -x3657 x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667
134.80/134.91	v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678
134.80/134.91	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689
134.80/134.91	v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
134.80/134.91	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711
134.80/134.91	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722
134.80/134.91	v -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733
134.80/134.91	v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744
134.80/134.91	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755
134.80/134.91	v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
134.80/134.91	v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777
134.80/134.91	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788
134.80/134.91	v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799
134.80/134.91	v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
134.80/134.91	v x3811 -x3812 -x3813 -x3814 x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821
134.80/134.91	v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832
134.80/134.91	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843
134.80/134.91	v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854
134.80/134.91	v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865
134.80/134.91	v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
134.80/134.91	v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
134.80/134.91	v -x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898
134.80/134.91	v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909
134.80/134.91	v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
134.80/134.91	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931
134.80/134.91	v -x3932 -x3933 -x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942
134.80/134.91	v -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953
134.80/134.91	v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
134.80/134.91	v -x3965 x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975
134.80/134.91	v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 x3985 -x3986
134.80/134.91	v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997
134.80/134.91	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008
134.80/134.91	v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019
134.80/134.91	v -x4020 -x4021 x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x4030
134.80/134.91	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041
134.80/134.91	v -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052
134.80/134.91	v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4060 -x4061 -x4062 -x4063
134.80/134.91	v -x4064 -x4065 x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074
134.80/134.91	v -x4075 -x4076 x4077 x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085
134.80/134.91	v x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096
134.80/134.91	v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107
134.80/134.91	v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118
134.80/134.91	v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129
134.80/134.91	v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
134.80/134.91	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151
134.80/134.91	v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162
134.80/134.91	v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
134.80/134.91	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184
134.80/134.91	v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195
134.80/134.91	v -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206
134.80/134.91	v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217
134.80/134.91	v -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228
134.80/134.91	v -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239
134.80/134.91	v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
134.80/134.91	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261
134.80/134.91	v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272
134.80/134.91	v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283
134.80/134.91	v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294
134.80/134.91	v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305
134.80/134.91	v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316
134.80/134.91	v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327
134.80/134.91	v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338
134.80/134.91	v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349
134.80/134.91	v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360
134.80/134.91	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
134.80/134.91	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382
134.80/134.91	v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393
134.80/134.91	v -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404
134.80/134.91	v -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415
134.80/134.91	v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426
134.80/134.91	v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437
134.80/134.91	v -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448
134.80/134.91	v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459
134.80/134.91	v -x4460 -x4461 -x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470
134.80/134.91	v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481
134.80/134.91	v -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492
134.80/134.91	v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500
134.80/134.91	s SATISFIABLE
134.80/134.91	
134.80/134.91	c Models        : 1+    
134.80/134.91	c Time          : 134.906s (Solving: 0.10s 1st Model: 0.10s Unsat: 0.00s)
134.80/134.91	c CPU Time      : 134.810s

OK	0

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-3708569-1338155522/watcher-3708569-1338155522 -o /tmp/evaluation-result-3708569-1338155522/solver-3708569-1338155522 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708569-1338155522.opb 

running on 4 cores: 1,3,5,7

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 2.00 3/177 28885
/proc/meminfo: memFree=30957656/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0

[startup+0.053371 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28885
/proc/meminfo: memFree=30957656/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100334 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28885
/proc/meminfo: memFree=30957656/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28885
/proc/meminfo: memFree=30957656/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28885
/proc/meminfo: memFree=30957656/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28887
/proc/meminfo: memFree=30856644/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=168536 CPUtime=1.49 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 38974 0 0 0 139 10 0 0 20 0 1 0 281676847 172580864 39898 33554432000 4194304 6212839 140736734127664 140736734124072 4609156 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 42134 39898 204 493 0 41639 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 177688

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28887
/proc/meminfo: memFree=30734636/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=3.09 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48667 0 0 0 296 13 0 0 20 0 1 0 281676847 239816704 55723 33554432000 4194304 6212839 140736734127664 140736734126312 4601665 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55723 206 493 0 58054 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243348

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28887
/proc/meminfo: memFree=30736124/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=6.29 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48667 0 0 0 616 13 0 0 20 0 1 0 281676847 239816704 55723 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55723 206 493 0 58054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 243348

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28887
/proc/meminfo: memFree=30736256/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=12.69 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48667 0 0 0 1256 13 0 0 20 0 1 0 281676847 239816704 55723 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55723 206 493 0 58054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 243348

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28888
/proc/meminfo: memFree=30736572/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=25.48 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48667 0 0 0 2535 13 0 0 20 0 1 0 281676847 239816704 55723 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55723 206 493 0 58054 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 243348

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28888
/proc/meminfo: memFree=30735812/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=51.07 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48675 0 0 0 5094 13 0 0 20 0 1 0 281676847 239816704 55723 33554432000 4194304 6212839 140736734127664 140736734126312 4601336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55723 206 493 0 58054 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 243348

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 28899
/proc/meminfo: memFree=30732608/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=102.22 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48723 0 0 0 10209 13 0 0 20 0 1 0 281676847 239816704 55723 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55723 206 493 0 58054 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 243348

Solver just ended. Dumping a history of the last processes samples

[startup+115.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 28899
/proc/meminfo: memFree=30732840/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=115.01 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48728 0 0 0 11488 13 0 0 20 0 1 0 281676847 239816704 55726 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55726 206 493 0 58054 0
Current children cumulated CPU time (s) 115.01
Current children cumulated vsize (KiB) 243348

[startup+127.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28899
/proc/meminfo: memFree=30732400/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=127.81 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48731 0 0 0 12768 13 0 0 20 0 1 0 281676847 239816704 55726 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55726 206 493 0 58054 0
Current children cumulated CPU time (s) 127.81
Current children cumulated vsize (KiB) 243348

[startup+131.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28899
/proc/meminfo: memFree=30732400/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=131.01 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48731 0 0 0 13088 13 0 0 20 0 1 0 281676847 239816704 55726 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55726 206 493 0 58054 0
Current children cumulated CPU time (s) 131.01
Current children cumulated vsize (KiB) 243348

[startup+132.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28899
/proc/meminfo: memFree=30732400/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=132.6 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48732 0 0 0 13247 13 0 0 20 0 1 0 281676847 239816704 55726 33554432000 4194304 6212839 140736734127664 140736734126312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55726 206 493 0 58054 0
Current children cumulated CPU time (s) 132.6
Current children cumulated vsize (KiB) 243348

[startup+134.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28899
/proc/meminfo: memFree=30732452/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=134.2 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48732 0 0 0 13407 13 0 0 20 0 1 0 281676847 239816704 55726 33554432000 4194304 6212839 140736734127664 140736734126312 4601488 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55726 206 493 0 58054 0
Current children cumulated CPU time (s) 134.2
Current children cumulated vsize (KiB) 243348

[startup+134.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28899
/proc/meminfo: memFree=30732452/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=234196 CPUtime=134.6 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48732 0 0 0 13447 13 0 0 20 0 1 0 281676847 239816704 55726 33554432000 4194304 6212839 140736734127664 140736734126312 4317438 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 58549 55726 206 493 0 58054 0
Current children cumulated CPU time (s) 134.6
Current children cumulated vsize (KiB) 243348

[startup+134.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28899
/proc/meminfo: memFree=30732452/32873844 swapFree=7620/7620
[pid=28885] ppid=28883 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (clasp-dec.sh) S 28883 28885 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281676847 9371648 274 33554432000 4194304 5064252 140735620006720 140735620005632 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 2288 274 232 213 0 73 0
[pid=28886] ppid=28885 vsize=206512 CPUtime=134.8 cores=1,3,5,7
/proc/28886/stat : 28886 (clasp-R5325) R 28885 28885 23064 0 -1 4202496 48756 0 0 0 13467 13 0 0 20 0 1 0 281676847 211468288 50606 33554432000 4194304 6212839 140736734127664 140736734126312 4635099 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28886/statm: 51628 50606 227 493 0 51133 0
Current children cumulated CPU time (s) 134.8
Current children cumulated vsize (KiB) 215664

Child status: 10
Real time (s): 134.914
CPU time (s): 134.828
CPU user time (s): 134.691
CPU system time (s): 0.137979
CPU usage (%): 99.9367
Max. virtual memory (cumulated for all children) (KiB): 243348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.691
system time used= 0.137979
maximum resident set size= 222912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49130
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= 70
involuntary context switches= 140

runsolver used 0.243962 second user time and 0.684895 second system time

The end

Begin job on node143 at 2012-05-27 23:52:05
IDJOB=3708569
IDBENCH=1381
IDSOLVER=2287
FILE ID=node143/3708569-1338155522
RUNJOBID= node143-1338150224-25430
PBS_JOBID= 14624509
Free space on /tmp= 71580 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
COMMAND LINE= HOME/clasp-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708569-1338155522/watcher-3708569-1338155522 -o /tmp/evaluation-result-3708569-1338155522/solver-3708569-1338155522 -C 1800 -W 1900 -M 15500  HOME/clasp-dec.sh HOME/instance-3708569-1338155522.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 16e382d24044cea3204cbf333685cccd
RANDOM SEED=654573920

node143.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.787
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.57
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.787
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.91
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.787
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.91
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        30957920 kB
Buffers:          365312 kB
Cached:           619104 kB
SwapCached:            0 kB
Active:           755200 kB
Inactive:         325792 kB
Active(anon):      86980 kB
Inactive(anon):    12040 kB
Active(file):     668220 kB
Inactive(file):   313752 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             91116 kB
Writeback:             0 kB
AnonPages:        106096 kB
Mapped:            15152 kB
Shmem:               200 kB
Slab:             694844 kB
SReclaimable:     136940 kB
SUnreclaim:       557904 kB
KernelStack:        1456 kB
PageTables:         4252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     211776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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= 71576 MiB
End job on node143 at 2012-05-27 23:54:20