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

OK	117

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-3708972-1338154879/watcher-3708972-1338154879 -o /tmp/evaluation-result-3708972-1338154879/solver-3708972-1338154879 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708972-1338154879.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 2/179 25297
/proc/meminfo: memFree=29844348/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0

[startup+0.086554 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 25297
/proc/meminfo: memFree=29844348/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 25297
/proc/meminfo: memFree=29844348/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300191 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 25297
/proc/meminfo: memFree=29844348/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700193 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 25297
/proc/meminfo: memFree=29844348/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25299
/proc/meminfo: memFree=29840976/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=6388 CPUtime=1.49 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 1455 0 0 0 149 0 0 0 20 0 1 0 281612707 6541312 1301 33554432000 4194304 6212839 140734773607856 140734773605864 4421867 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 1597 1301 234 493 0 1102 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15540

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25299
/proc/meminfo: memFree=29839984/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=7312 CPUtime=3.09 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 1667 0 0 0 309 0 0 0 20 0 1 0 281612707 7487488 1513 33554432000 4194304 6212839 140734773607856 140734773606152 4674504 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 1828 1513 234 493 0 1333 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16464

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25299
/proc/meminfo: memFree=29837504/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=8784 CPUtime=6.29 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 2028 0 0 0 629 0 0 0 20 0 1 0 281612707 8994816 1874 33554432000 4194304 6212839 140734773607856 140734773605864 4356938 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 2196 1874 234 493 0 1701 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17936

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25299
/proc/meminfo: memFree=29827228/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=10180 CPUtime=12.68 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 2421 0 0 0 1268 0 0 0 20 0 1 0 281612707 10424320 2250 33554432000 4194304 6212839 140734773607856 140734773606152 4634964 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 2545 2250 234 493 0 2050 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19332

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25299
/proc/meminfo: memFree=29824872/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=12952 CPUtime=25.48 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 3105 0 0 0 2548 0 0 0 20 0 1 0 281612707 13262848 2934 33554432000 4194304 6212839 140734773607856 140734773605864 4423550 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 3238 2934 234 493 0 2743 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22104

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25300
/proc/meminfo: memFree=29818712/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=17972 CPUtime=51.08 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 4368 0 0 0 5107 1 0 0 20 0 1 0 281612707 18403328 4196 33554432000 4194304 6212839 140734773607856 140734773605864 4421959 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 4493 4196 234 493 0 3998 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27124

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25300
/proc/meminfo: memFree=29805740/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=26264 CPUtime=102.28 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 6458 0 0 0 10227 1 0 0 20 0 1 0 281612707 26894336 6242 33554432000 4194304 6212839 140734773607856 140734773606152 4333838 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 6566 6242 234 493 0 6071 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35416

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25300
/proc/meminfo: memFree=29793144/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=34852 CPUtime=162.26 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 8657 0 0 0 16224 2 0 0 20 0 1 0 281612707 35688448 8401 33554432000 4194304 6212839 140734773607856 140734773605864 4421948 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 8713 8401 234 493 0 8218 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 44004

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25300
/proc/meminfo: memFree=29786932/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=37584 CPUtime=222.25 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 9438 0 0 0 22223 2 0 0 20 0 1 0 281612707 38486016 9074 33554432000 4194304 6212839 140734773607856 140734773606008 4422294 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 9396 9074 234 493 0 8901 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 46736

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25300
/proc/meminfo: memFree=29780040/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=40560 CPUtime=282.24 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 10163 0 0 0 28222 2 0 0 20 0 1 0 281612707 41533440 9814 33554432000 4194304 6212839 140734773607856 140734773605864 4421948 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 10140 9814 234 493 0 9645 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 49712

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25300
/proc/meminfo: memFree=29771488/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=47300 CPUtime=342.23 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 11975 0 0 0 34221 2 0 0 20 0 1 0 281612707 48435200 11425 33554432000 4194304 6212839 140734773607856 140734773605864 5437001 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 11825 11425 234 493 0 11330 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 56452

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25301
/proc/meminfo: memFree=29765272/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=83260 CPUtime=1062.1 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 22772 0 0 0 106205 5 0 0 20 0 1 0 281612707 85258240 20469 33554432000 4194304 6212839 140734773607856 140734773606008 4685294 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 20815 20469 234 493 0 20320 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 92412

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25318
/proc/meminfo: memFree=29694460/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=84380 CPUtime=1122.09 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 23266 0 0 0 112204 5 0 0 20 0 1 0 281612707 86405120 20764 33554432000 4194304 6212839 140734773607856 140734773606008 4421869 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 21095 20764 234 493 0 20600 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 93532

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25321
/proc/meminfo: memFree=29692900/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=84888 CPUtime=1182.09 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 23385 0 0 0 118204 5 0 0 20 0 1 0 281612707 86925312 20910 33554432000 4194304 6212839 140734773607856 140734773606008 4685809 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 21222 20910 234 493 0 20727 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 94040

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25343
/proc/meminfo: memFree=29691292/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=86020 CPUtime=1242.08 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 23637 0 0 0 124203 5 0 0 20 0 1 0 281612707 88084480 21162 33554432000 4194304 6212839 140734773607856 140734773606008 4683115 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 21505 21162 234 493 0 21010 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 95172

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 25344
/proc/meminfo: memFree=29686824/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=89876 CPUtime=1302.08 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 24865 0 0 0 130202 6 0 0 20 0 1 0 281612707 92033024 22173 33554432000 4194304 6212839 140734773607856 140734773606152 4422336 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 22469 22173 234 493 0 21974 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 99028

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 25344
/proc/meminfo: memFree=29684716/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=91072 CPUtime=1362.06 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 25310 0 0 0 136200 6 0 0 20 0 1 0 281612707 93257728 22431 33554432000 4194304 6212839 140734773607856 140734773606008 4423550 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 22768 22431 234 493 0 22273 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 100224

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 25344
/proc/meminfo: memFree=29679816/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=94072 CPUtime=1422.05 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 26238 0 0 0 142199 6 0 0 20 0 1 0 281612707 96329728 23185 33554432000 4194304 6212839 140734773607856 140734773605864 4333786 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 23518 23185 234 493 0 23023 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 103224

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25344
/proc/meminfo: memFree=29676524/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=96060 CPUtime=1482.04 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 26699 0 0 0 148197 7 0 0 20 0 1 0 281612707 98365440 23677 33554432000 4194304 6212839 140734773607856 140734773606008 4333828 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 24015 23677 234 493 0 23520 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 105212

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25344
/proc/meminfo: memFree=29672492/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=98908 CPUtime=1542.03 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 27644 0 0 0 154196 7 0 0 20 0 1 0 281612707 101281792 24377 33554432000 4194304 6212839 140734773607856 140734773605864 4298110 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 24727 24377 234 493 0 24232 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 108060

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25345
/proc/meminfo: memFree=29667588/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=101984 CPUtime=1602.02 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 28888 0 0 0 160194 8 0 0 20 0 1 0 281612707 104431616 25168 33554432000 4194304 6212839 140734773607856 140734773605864 4685903 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 25496 25168 234 493 0 25001 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 111136

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25345
/proc/meminfo: memFree=29661512/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=106904 CPUtime=1662.01 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 30295 0 0 0 166193 8 0 0 20 0 1 0 281612707 109469696 26416 33554432000 4194304 6212839 140734773607856 140734773605864 4683206 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 26726 26416 234 493 0 26231 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 116056

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 25463
/proc/meminfo: memFree=29766268/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=106904 CPUtime=1722 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 30295 0 0 0 172192 8 0 0 20 0 1 0 281612707 109469696 26416 33554432000 4194304 6212839 140734773607856 140734773605864 4421867 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 26726 26416 234 493 0 26231 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 116056

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 25466
/proc/meminfo: memFree=29761104/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=107508 CPUtime=1781.99 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 30411 0 0 0 178191 8 0 0 20 0 1 0 281612707 110088192 26537 33554432000 4194304 6212839 140734773607856 140734773606008 4424366 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 26877 26537 234 493 0 26382 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 116660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 25466
/proc/meminfo: memFree=29760112/32873844 swapFree=7372/7372
[pid=25297] ppid=25295 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25297/stat : 25297 (clasp-opt.sh) S 25295 25297 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281612707 9371648 274 33554432000 4194304 5064252 140733695861296 140733695860208 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25297/statm: 2288 274 232 213 0 73 0
[pid=25298] ppid=25297 vsize=107788 CPUtime=1800.1 cores=1,3,5,7
/proc/25298/stat : 25298 (clasp-R5325) R 25297 25297 24451 0 -1 4202496 30495 0 0 0 180002 8 0 0 20 0 1 0 281612707 110374912 26621 33554432000 4194304 6212839 140734773607856 140734773606008 4423547 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25298/statm: 26947 26621 234 493 0 26452 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 116940

Sending SIGTERM to process tree (bottom up)

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.02
CPU system time (s): 0.085986
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 116940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.085986
maximum resident set size= 106512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30867
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= 54
involuntary context switches= 1851

runsolver used 3.3075 second user time and 8.94764 second system time

The end

Begin job on node133 at 2012-05-27 23:41:19
IDJOB=3708972
IDBENCH=2044
IDSOLVER=2288
FILE ID=node133/3708972-1338154879
RUNJOBID= node133-1338143953-24468
PBS_JOBID= 14624517
Free space on /tmp= 71728 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708972-1338154879/watcher-3708972-1338154879 -o /tmp/evaluation-result-3708972-1338154879/solver-3708972-1338154879 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3708972-1338154879.opb

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

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=1256918538

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29844992 kB
Buffers:          363448 kB
Cached:          1786992 kB
SwapCached:          104 kB
Active:           665944 kB
Inactive:        1536500 kB
Active(anon):      43028 kB
Inactive(anon):    11368 kB
Active(file):     622916 kB
Inactive(file):  1525132 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              2792 kB
Writeback:             0 kB
AnonPages:         58440 kB
Mapped:            15396 kB
Shmem:               212 kB
Slab:             686132 kB
SReclaimable:     128224 kB
SUnreclaim:       557908 kB
KernelStack:        1480 kB
PageTables:         4168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     166400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node133 at 2012-05-28 00:11:20