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

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-3708570-1338155840/watcher-3708570-1338155840 -o /tmp/evaluation-result-3708570-1338155840/solver-3708570-1338155840 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708570-1338155840.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/173 29061
/proc/meminfo: memFree=30993876/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0

[startup+0.077427 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 29061
/proc/meminfo: memFree=30993876/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 29061
/proc/meminfo: memFree=30993876/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 29061
/proc/meminfo: memFree=30993876/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 29061
/proc/meminfo: memFree=30993876/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 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 2.00 3/175 29084
/proc/meminfo: memFree=30921008/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=171820 CPUtime=1.49 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 39837 0 0 0 140 9 0 0 20 0 1 0 281708570 175943680 40761 33554432000 4194304 6212839 140734363583664 140734363580072 4609156 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 42955 40761 204 493 0 42460 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180972

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29095
/proc/meminfo: memFree=30751148/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=3.09 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48086 0 0 0 298 11 0 0 20 0 1 0 281708570 239976448 55653 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55653 206 493 0 58093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243504

[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29095
/proc/meminfo: memFree=30685668/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=6.29 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48086 0 0 0 618 11 0 0 20 0 1 0 281708570 239976448 55653 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55653 206 493 0 58093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 243504

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29096
/proc/meminfo: memFree=30685088/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=12.68 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48094 0 0 0 1257 11 0 0 20 0 1 0 281708570 239976448 55653 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55653 206 493 0 58093 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 243504

[startup+25.5071 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29096
/proc/meminfo: memFree=30685444/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=25.48 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48102 0 0 0 2537 11 0 0 20 0 1 0 281708570 239976448 55653 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55653 206 493 0 58093 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 243504

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29174
/proc/meminfo: memFree=30795068/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=51.04 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48126 0 0 0 5093 11 0 0 20 0 1 0 281708570 239976448 55653 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55653 206 493 0 58093 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 243504

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30780212/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=102.21 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48152 0 0 0 10210 11 0 0 20 0 1 0 281708570 239976448 55657 33554432000 4194304 6212839 140734363583664 140734363582312 4601358 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55657 206 493 0 58093 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 243504

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

[startup+102.507 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30780088/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=102.42 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48152 0 0 0 10231 11 0 0 20 0 1 0 281708570 239976448 55657 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55657 206 493 0 58093 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 243504

[startup+115.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30778220/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=115.21 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48153 0 0 0 11510 11 0 0 20 0 1 0 281708570 239976448 55672 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55672 206 493 0 58093 0
Current children cumulated CPU time (s) 115.21
Current children cumulated vsize (KiB) 243504

[startup+121.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30776728/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=121.61 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48153 0 0 0 12150 11 0 0 20 0 1 0 281708570 239976448 55672 33554432000 4194304 6212839 140734363583664 140734363582312 4601336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55672 206 493 0 58093 0
Current children cumulated CPU time (s) 121.61
Current children cumulated vsize (KiB) 243504

[startup+124.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30776480/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=124.81 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48153 0 0 0 12470 11 0 0 20 0 1 0 281708570 239976448 55672 33554432000 4194304 6212839 140734363583664 140734363582312 4601349 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55672 206 493 0 58093 0
Current children cumulated CPU time (s) 124.81
Current children cumulated vsize (KiB) 243504

[startup+126.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30775736/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=126.41 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48153 0 0 0 12630 11 0 0 20 0 1 0 281708570 239976448 55672 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55672 206 493 0 58093 0
Current children cumulated CPU time (s) 126.41
Current children cumulated vsize (KiB) 243504

[startup+128.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30775736/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=128.01 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48153 0 0 0 12790 11 0 0 20 0 1 0 281708570 239976448 55672 33554432000 4194304 6212839 140734363583664 140734363582312 4601336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55672 206 493 0 58093 0
Current children cumulated CPU time (s) 128.01
Current children cumulated vsize (KiB) 243504

[startup+128.907 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30775860/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=128.82 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48153 0 0 0 12871 11 0 0 20 0 1 0 281708570 239976448 55672 33554432000 4194304 6212839 140734363583664 140734363582312 4601501 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55672 206 493 0 58093 0
Current children cumulated CPU time (s) 128.82
Current children cumulated vsize (KiB) 243504

[startup+129.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30775860/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=234352 CPUtime=129.21 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48153 0 0 0 12910 11 0 0 20 0 1 0 281708570 239976448 55672 33554432000 4194304 6212839 140734363583664 140734363582312 4303296 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 58588 55672 206 493 0 58093 0
Current children cumulated CPU time (s) 129.21
Current children cumulated vsize (KiB) 243504

[startup+129.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29174
/proc/meminfo: memFree=30775860/32873844 swapFree=7620/7620
[pid=29061] ppid=29059 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29061/stat : 29061 (clasp-dec.sh) S 29059 29061 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281708569 9371648 274 33554432000 4194304 5064252 140736159554816 140736159553728 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29061/statm: 2288 274 232 213 0 73 0
[pid=29062] ppid=29061 vsize=206668 CPUtime=129.31 cores=1,3,5,7
/proc/29062/stat : 29062 (clasp-R5325) R 29061 29061 23064 0 -1 4202496 48177 0 0 0 12920 11 0 0 20 0 1 0 281708570 211628032 50517 33554432000 4194304 6212839 140734363583664 140734363582312 4685328 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29062/statm: 51667 50517 227 493 0 51172 0
Current children cumulated CPU time (s) 129.31
Current children cumulated vsize (KiB) 215820

Child status: 10
Real time (s): 129.417
CPU time (s): 129.336
CPU user time (s): 129.216
CPU system time (s): 0.119981
CPU usage (%): 99.9375
Max. virtual memory (cumulated for all children) (KiB): 243504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.216
system time used= 0.119981
maximum resident set size= 222696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48551
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= 72
involuntary context switches= 131

runsolver used 0.26096 second user time and 0.624905 second system time

The end

Begin job on node143 at 2012-05-27 23:57:22
IDJOB=3708570
IDBENCH=1385
IDSOLVER=2287
FILE ID=node143/3708570-1338155840
RUNJOBID= node143-1338150224-25430
PBS_JOBID= 14624509
Free space on /tmp= 71548 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_5.opb.PB06.opb
COMMAND LINE= HOME/clasp-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708570-1338155840/watcher-3708570-1338155840 -o /tmp/evaluation-result-3708570-1338155840/solver-3708570-1338155840 -C 1800 -W 1900 -M 15500  HOME/clasp-dec.sh HOME/instance-3708570-1338155840.opb

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

MD5SUM BENCH= 8bb4ff591e2fd696de21761de4abecdf
RANDOM SEED=1448313087

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:        30994000 kB
Buffers:          365736 kB
Cached:           668084 kB
SwapCached:            0 kB
Active:           703304 kB
Inactive:         341888 kB
Active(anon):       1756 kB
Inactive(anon):    12040 kB
Active(file):     701548 kB
Inactive(file):   329848 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             91120 kB
Writeback:             0 kB
AnonPages:         20964 kB
Mapped:            14088 kB
Shmem:               200 kB
Slab:             694764 kB
SReclaimable:     136936 kB
SUnreclaim:       557828 kB
KernelStack:        1424 kB
PageTables:         3940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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:59:32