Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 91.57 | 91.6141 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-vtp.base.opb |
MD5SUM | 5b3e28beae15a1c34f0e545c98eeb705 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4524 |
Total number of constraints | 257 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 257 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1080 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 7516192762 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 198568686125056 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 12817928787879752 |
Number of bits of the biggest sum of numbers | 54 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.09/1.19 c 4524 257 0 0 0 0 0 0 1.09/1.19 c 512 ~x4535+256 ~x4534+128 ~x4533+64 ~x4532+32 ~x4531+16 ~x4530+8 ~x4529+4 ~x4528+2 ~x4527+1 ~x4526+512 ~x1712+256 ~x1711+128 ~x1710+64 ~x1709+32 ~x1708+16 ~x1707+8 ~x1706+4 ~x1705+2 ~x1704+1 ~x1703-0=2046 1.09/1.19 c 131072 ~x5845+65536 ~x5844+32768 ~x5843+16384 ~x5842+8192 ~x5841+4096 ~x5840+2048 ~x5839+1024 ~x5838+512 ~x5837+256 ~x5836+128 ~x5835+64 ~x5834+32 ~x5833+16 ~x5832+8 ~x5831+4 ~x5830+2 ~x5829+1 ~x5828+131072 ~x1160+65536 ~x1159+32768 ~x1158+16384 ~x1157+8192 ~x1156+4096 ~x1155+2048 ~x1154+1024 ~x1153+512 ~x1152+256 ~x1151+128 ~x1150+64 ~x1149+32 ~x1148+16 ~x1147+8 ~x1146+4 ~x1145+2 ~x1144+1 ~x1143-0=479230 1.28/1.33 c 16384 ~x11678+8192 ~x11677+4096 ~x11676+2048 ~x11675+1024 ~x11674+512 ~x11673+256 ~x11672+128 ~x11671+64 ~x11670+32 ~x11669+16 ~x11668+8 ~x11667+4 ~x11666+2 ~x11665+1 ~x11664+16384 ~x1309+8192 ~x1308+4096 ~x1307+2048 ~x1306+1024 ~x1305+512 ~x1304+256 ~x1303+128 ~x1302+64 ~x1301+32 ~x1300+16 ~x1299+8 ~x1298+4 ~x1297+2 ~x1296+1 ~x1295-0=61438 1.39/1.42 c 16384 ~x15419+8192 ~x15418+4096 ~x15417+2048 ~x15416+1024 ~x15415+512 ~x15414+256 ~x15413+128 ~x15412+64 ~x15411+32 ~x15410+16 ~x15409+8 ~x15408+4 ~x15407+2 ~x15406+1 ~x15405+16384 ~x1445+8192 ~x1444+4096 ~x1443+2048 ~x1442+1024 ~x1441+512 ~x1440+256 ~x1439+128 ~x1438+64 ~x1437+32 ~x1436+16 ~x1435+8 ~x1434+4 ~x1433+2 ~x1432+1 ~x1431-0=61438 1.48/1.52 c 16384 ~x19160+8192 ~x19159+4096 ~x19158+2048 ~x19157+1024 ~x19156+512 ~x19155+256 ~x19154+128 ~x19153+64 ~x19152+32 ~x19151+16 ~x19150+8 ~x19149+4 ~x19148+2 ~x19147+1 ~x19146+16384 ~x1581+8192 ~x1580+4096 ~x1579+2048 ~x1578+1024 ~x1577+512 ~x1576+256 ~x1575+128 ~x1574+64 ~x1573+32 ~x1572+16 ~x1571+8 ~x1570+4 ~x1569+2 ~x1568+1 ~x1567-0=61438 1.58/1.61 c 131072 ~x22904+65536 ~x22903+32768 ~x22902+16384 ~x22901+8192 ~x22900+4096 ~x22899+2048 ~x22898+1024 ~x22897+512 ~x22896+256 ~x22895+128 ~x22894+64 ~x22893+32 ~x22892+16 ~x22891+8 ~x22890+4 ~x22889+2 ~x22888+1 ~x22887+131072 ~x1179+65536 ~x1178+32768 ~x1177+16384 ~x1176+8192 ~x1175+4096 ~x1174+2048 ~x1173+1024 ~x1172+512 ~x1171+256 ~x1170+128 ~x1169+64 ~x1168+32 ~x1167+16 ~x1166+8 ~x1165+4 ~x1164+2 ~x1163+1 ~x1162-0=479230 1.68/1.75 c 16384 ~x28737+8192 ~x28736+4096 ~x28735+2048 ~x28734+1024 ~x28733+512 ~x28732+256 ~x28731+128 ~x28730+64 ~x28729+32 ~x28728+16 ~x28727+8 ~x28726+4 ~x28725+2 ~x28724+1 ~x28723+16384 ~x1326+8192 ~x1325+4096 ~x1324+2048 ~x1323+1024 ~x1322+512 ~x1321+256 ~x1320+128 ~x1319+64 ~x1318+32 ~x1317+16 ~x1316+8 ~x1315+4 ~x1314+2 ~x1313+1 ~x1312-0=61438 1.78/1.84 c 16384 ~x32478+8192 ~x32477+4096 ~x32476+2048 ~x32475+1024 ~x32474+512 ~x32473+256 ~x32472+128 ~x32471+64 ~x32470+32 ~x32469+16 ~x32468+8 ~x32467+4 ~x32466+2 ~x32465+1 ~x32464+16384 ~x1462+8192 ~x1461+4096 ~x1460+2048 ~x1459+1024 ~x1458+512 ~x1457+256 ~x1456+128 ~x1455+64 ~x1454+32 ~x1453+16 ~x1452+8 ~x1451+4 ~x1450+2 ~x1449+1 ~x1448-0=61438 1.88/1.94 c 16384 ~x36219+8192 ~x36218+4096 ~x36217+2048 ~x36216+1024 ~x36215+512 ~x36214+256 ~x36213+128 ~x36212+64 ~x36211+32 ~x36210+16 ~x36209+8 ~x36208+4 ~x36207+2 ~x36206+1 ~x36205+16384 ~x1598+8192 ~x1597+4096 ~x1596+2048 ~x1595+1024 ~x1594+512 ~x1593+256 ~x1592+128 ~x1591+64 ~x1590+32 ~x1589+16 ~x1588+8 ~x1587+4 ~x1586+2 ~x1585+1 ~x1584-0=61438 1.99/2.03 c 131072 ~x39963+65536 ~x39962+32768 ~x39961+16384 ~x39960+8192 ~x39959+4096 ~x39958+2048 ~x39957+1024 ~x39956+512 ~x39955+256 ~x39954+128 ~x39953+64 ~x39952+32 ~x39951+16 ~x39950+8 ~x39949+4 ~x39948+2 ~x39947+1 ~x39946+131072 ~x1198+65536 ~x1197+32768 ~x1196+16384 ~x1195+8192 ~x1194+4096 ~x1193+2048 ~x1192+1024 ~x1191+512 ~x1190+256 ~x1189+128 ~x1188+64 ~x1187+32 ~x1186+16 ~x1185+8 ~x1184+4 ~x1183+2 ~x1182+1 ~x1181-0=479230 2.09/2.17 c 16384 ~x45796+8192 ~x45795+4096 ~x45794+2048 ~x45793+1024 ~x45792+512 ~x45791+256 ~x45790+128 ~x45789+64 ~x45788+32 ~x45787+16 ~x45786+8 ~x45785+4 ~x45784+2 ~x45783+1 ~x45782+16384 ~x1343+8192 ~x1342+4096 ~x1341+2048 ~x1340+1024 ~x1339+512 ~x1338+256 ~x1337+128 ~x1336+64 ~x1335+32 ~x1334+16 ~x1333+8 ~x1332+4 ~x1331+2 ~x1330+1 ~x1329-0=61438 2.19/2.26 c 16384 ~x49537+8192 ~x49536+4096 ~x49535+2048 ~x49534+1024 ~x49533+512 ~x49532+256 ~x49531+128 ~x49530+64 ~x49529+32 ~x49528+16 ~x49527+8 ~x49526+4 ~x49525+2 ~x49524+1 ~x49523+16384 ~x1479+8192 ~x1478+4096 ~x1477+2048 ~x1476+1024 ~x1475+512 ~x1474+256 ~x1473+128 ~x1472+64 ~x1471+32 ~x1470+16 ~x1469+8 ~x1468+4 ~x1467+2 ~x1466+1 ~x1465-0=61438 2.29/2.35 c 16384 ~x53278+8192 ~x53277+4096 ~x53276+2048 ~x53275+1024 ~x53274+512 ~x53273+256 ~x53272+128 ~x53271+64 ~x53270+32 ~x53269+16 ~x53268+8 ~x53267+4 ~x53266+2 ~x53265+1 ~x53264+16384 ~x1615+8192 ~x1614+4096 ~x1613+2048 ~x1612+1024 ~x1611+512 ~x1610+256 ~x1609+128 ~x1608+64 ~x1607+32 ~x1606+16 ~x1605+8 ~x1604+4 ~x1603+2 ~x1602+1 ~x1601-0=61438 2.39/2.45 c 131072 ~x57022+65536 ~x57021+32768 ~x57020+16384 ~x57019+8192 ~x57018+4096 ~x57017+2048 ~x57016+1024 ~x57015+512 ~x57014+256 ~x57013+128 ~x57012+64 ~x57011+32 ~x57010+16 ~x57009+8 ~x57008+4 ~x57007+2 ~x57006+1 ~x57005+131072 ~x1217+65536 ~x1216+32768 ~x1215+16384 ~x1214+8192 ~x1213+4096 ~x1212+2048 ~x1211+1024 ~x1210+512 ~x1209+256 ~x1208+128 ~x1207+64 ~x1206+32 ~x1205+16 ~x1204+8 ~x1203+4 ~x1202+2 ~x1201+1 ~x1200-0=479230 2.48/2.59 c 16384 ~x62855+8192 ~x62854+4096 ~x62853+2048 ~x62852+1024 ~x62851+512 ~x62850+256 ~x62849+128 ~x62848+64 ~x62847+32 ~x62846+16 ~x62845+8 ~x62844+4 ~x62843+2 ~x62842+1 ~x62841+16384 ~x1360+8192 ~x1359+4096 ~x1358+2048 ~x1357+1024 ~x1356+512 ~x1355+256 ~x1354+128 ~x1353+64 ~x1352+32 ~x1351+16 ~x1350+8 ~x1349+4 ~x1348+2 ~x1347+1 ~x1346-0=61438 2.58/2.68 c 16384 ~x66596+8192 ~x66595+4096 ~x66594+2048 ~x66593+1024 ~x66592+512 ~x66591+256 ~x66590+128 ~x66589+64 ~x66588+32 ~x66587+16 ~x66586+8 ~x66585+4 ~x66584+2 ~x66583+1 ~x66582+16384 ~x1496+8192 ~x1495+4096 ~x1494+2048 ~x1493+1024 ~x1492+512 ~x1491+256 ~x1490+128 ~x1489+64 ~x1488+32 ~x1487+16 ~x1486+8 ~x1485+4 ~x1484+2 ~x1483+1 ~x1482-0=61438 2.68/2.77 c 16384 ~x70337+8192 ~x70336+4096 ~x70335+2048 ~x70334+1024 ~x70333+512 ~x70332+256 ~x70331+128 ~x70330+64 ~x70329+32 ~x70328+16 ~x70327+8 ~x70326+4 ~x70325+2 ~x70324+1 ~x70323+16384 ~x1632+8192 ~x1631+4096 ~x1630+2048 ~x1629+1024 ~x1628+512 ~x1627+256 ~x1626+128 ~x1625+64 ~x1624+32 ~x1623+16 ~x1622+8 ~x1621+4 ~x1620+2 ~x1619+1 ~x1618-0=61438 2.78/2.86 c 131072 ~x74081+65536 ~x74080+32768 ~x74079+16384 ~x74078+8192 ~x74077+4096 ~x74076+2048 ~x74075+1024 ~x74074+512 ~x74073+256 ~x74072+128 ~x74071+64 ~x74070+32 ~x74069+16 ~x74068+8 ~x74067+4 ~x74066+2 ~x74065+1 ~x74064+131072 ~x1236+65536 ~x1235+32768 ~x1234+16384 ~x1233+8192 ~x1232+4096 ~x1231+2048 ~x1230+1024 ~x1229+512 ~x1228+256 ~x1227+128 ~x1226+64 ~x1225+32 ~x1224+16 ~x1223+8 ~x1222+4 ~x1221+2 ~x1220+1 ~x1219-0=479230 2.99/3.01 c 16384 ~x79914+8192 ~x79913+4096 ~x79912+2048 ~x79911+1024 ~x79910+512 ~x79909+256 ~x79908+128 ~x79907+64 ~x79906+32 ~x79905+16 ~x79904+8 ~x79903+4 ~x79902+2 ~x79901+1 ~x79900+16384 ~x1377+8192 ~x1376+4096 ~x1375+2048 ~x1374+1024 ~x1373+512 ~x1372+256 ~x1371+128 ~x1370+64 ~x1369+32 ~x1368+16 ~x1367+8 ~x1366+4 ~x1365+2 ~x1364+1 ~x1363-0=61438 3.08/3.10 c 16384 ~x83655+8192 ~x83654+4096 ~x83653+2048 ~x83652+1024 ~x83651+512 ~x83650+256 ~x83649+128 ~x83648+64 ~x83647+32 ~x83646+16 ~x83645+8 ~x83644+4 ~x83643+2 ~x83642+1 ~x83641+16384 ~x1513+8192 ~x1512+4096 ~x1511+2048 ~x1510+1024 ~x1509+512 ~x1508+256 ~x1507+128 ~x1506+64 ~x1505+32 ~x1504+16 ~x1503+8 ~x1502+4 ~x1501+2 ~x1500+1 ~x1499-0=61438 3.08/3.19 c 16384 ~x87396+8192 ~x87395+4096 ~x87394+2048 ~x87393+1024 ~x87392+512 ~x87391+256 ~x87390+128 ~x87389+64 ~x87388+32 ~x87387+16 ~x87386+8 ~x87385+4 ~x87384+2 ~x87383+1 ~x87382+16384 ~x1649+8192 ~x1648+4096 ~x1647+2048 ~x1646+1024 ~x1645+512 ~x1644+256 ~x1643+128 ~x1642+64 ~x1641+32 ~x1640+16 ~x1639+8 ~x1638+4 ~x1637+2 ~x1636+1 ~x1635-0=61438 3.19/3.28 c 131072 ~x91140+65536 ~x91139+32768 ~x91138+16384 ~x91137+8192 ~x91136+4096 ~x91135+2048 ~x91134+1024 ~x91133+512 ~x91132+256 ~x91131+128 ~x91130+64 ~x91129+32 ~x91128+16 ~x91127+8 ~x91126+4 ~x91125+2 ~x91124+1 ~x91123+131072 ~x1255+65536 ~x1254+32768 ~x1253+16384 ~x1252+8192 ~x1251+4096 ~x1250+2048 ~x1249+1024 ~x1248+512 ~x1247+256 ~x1246+128 ~x1245+64 ~x1244+32 ~x1243+16 ~x1242+8 ~x1241+4 ~x1240+2 ~x1239+1 ~x1238-0=479230 3.38/3.46 c 16384 ~x96973+8192 ~x96972+4096 ~x96971+2048 ~x96970+1024 ~x96969+512 ~x96968+256 ~x96967+128 ~x96966+64 ~x96965+32 ~x96964+16 ~x96963+8 ~x96962+4 ~x96961+2 ~x96960+1 ~x96959+16384 ~x1394+8192 ~x1393+4096 ~x1392+2048 ~x1391+1024 ~x1390+512 ~x1389+256 ~x1388+128 ~x1387+64 ~x1386+32 ~x1385+16 ~x1384+8 ~x1383+4 ~x1382+2 ~x1381+1 ~x1380-0=61438 3.48/3.55 c 16384 ~x100714+8192 ~x100713+4096 ~x100712+2048 ~x100711+1024 ~x100710+512 ~x100709+256 ~x100708+128 ~x100707+64 ~x100706+32 ~x100705+16 ~x100704+8 ~x100703+4 ~x100702+2 ~x100701+1 ~x100700+16384 ~x1530+8192 ~x1529+4096 ~x1528+2048 ~x1527+1024 ~x1526+512 ~x1525+256 ~x1524+128 ~x1523+64 ~x1522+32 ~x1521+16 ~x1520+8 ~x1519+4 ~x1518+2 ~x1517+1 ~x1516-0=61438 3.59/3.64 c 16384 ~x104455+8192 ~x104454+4096 ~x104453+2048 ~x104452+1024 ~x104451+512 ~x104450+256 ~x104449+128 ~x104448+64 ~x104447+32 ~x104446+16 ~x104445+8 ~x104444+4 ~x104443+2 ~x104442+1 ~x104441+16384 ~x1666+8192 ~x1665+4096 ~x1664+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=61438 3.69/3.74 c 131072 ~x108199+65536 ~x108198+32768 ~x108197+16384 ~x108196+8192 ~x108195+4096 ~x108194+2048 ~x108193+1024 ~x108192+512 ~x108191+256 ~x108190+128 ~x108189+64 ~x108188+32 ~x108187+16 ~x108186+8 ~x108185+4 ~x108184+2 ~x108183+1 ~x108182+131072 ~x1274+65536 ~x1273+32768 ~x1272+16384 ~x1271+8192 ~x1270+4096 ~x1269+2048 ~x1268+1024 ~x1267+512 ~x1266+256 ~x1265+128 ~x1264+64 ~x1263+32 ~x1262+16 ~x1261+8 ~x1260+4 ~x1259+2 ~x1258+1 ~x1257-0=479230 3.78/3.88 c 16384 ~x114032+8192 ~x114031+4096 ~x114030+2048 ~x114029+1024 ~x114028+512 ~x114027+256 ~x114026+128 ~x114025+64 ~x114024+32 ~x114023+16 ~x114022+8 ~x114021+4 ~x114020+2 ~x114019+1 ~x114018+16384 ~x1411+8192 ~x1410+4096 ~x1409+2048 ~x1408+1024 ~x1407+512 ~x1406+256 ~x1405+128 ~x1404+64 ~x1403+32 ~x1402+16 ~x1401+8 ~x1400+4 ~x1399+2 ~x1398+1 ~x1397-0=61438 3.88/3.97 c 16384 ~x117773+8192 ~x117772+4096 ~x117771+2048 ~x117770+1024 ~x117769+512 ~x117768+256 ~x117767+128 ~x117766+64 ~x117765+32 ~x117764+16 ~x117763+8 ~x117762+4 ~x117761+2 ~x117760+1 ~x117759+16384 ~x1547+8192 ~x1546+4096 ~x1545+2048 ~x1544+1024 ~x1543+512 ~x1542+256 ~x1541+128 ~x1540+64 ~x1539+32 ~x1538+16 ~x1537+8 ~x1536+4 ~x1535+2 ~x1534+1 ~x1533-0=61438 3.99/4.06 c 16384 ~x121514+8192 ~x121513+4096 ~x121512+2048 ~x121511+1024 ~x121510+512 ~x121509+256 ~x121508+128 ~x121507+64 ~x121506+32 ~x121505+16 ~x121504+8 ~x121503+4 ~x121502+2 ~x121501+1 ~x121500+16384 ~x1683+8192 ~x1682+4096 ~x1681+2048 ~x1680+1024 ~x1679+512 ~x1678+256 ~x1677+128 ~x1676+64 ~x1675+32 ~x1674+16 ~x1673+8 ~x1672+4 ~x1671+2 ~x1670+1 ~x1669-0=61438 4.09/4.16 c 131072 ~x125258+65536 ~x125257+32768 ~x125256+16384 ~x125255+8192 ~x125254+4096 ~x125253+2048 ~x125252+1024 ~x125251+512 ~x125250+256 ~x125249+128 ~x125248+64 ~x125247+32 ~x125246+16 ~x125245+8 ~x125244+4 ~x125243+2 ~x125242+1 ~x125241+131072 ~x1293+65536 ~x1292+32768 ~x1291+16384 ~x1290+8192 ~x1289+4096 ~x1288+2048 ~x1287+1024 ~x1286+512 ~x1285+256 ~x1284+128 ~x1283+64 ~x1282+32 ~x1281+16 ~x1280+8 ~x1279+4 ~x1278+2 ~x1277+1 ~x1276-0=479230 4.18/4.30 c 16384 ~x131091+8192 ~x131090+4096 ~x131089+2048 ~x131088+1024 ~x131087+512 ~x131086+256 ~x131085+128 ~x131084+64 ~x131083+32 ~x131082+16 ~x131081+8 ~x131080+4 ~x131079+2 ~x131078+1 ~x131077+16384 ~x1428+8192 ~x1427+4096 ~x1426+2048 ~x1425+1024 ~x1424+512 ~x1423+256 ~x1422+128 ~x1421+64 ~x1420+32 ~x1419+16 ~x1418+8 ~x1417+4 ~x1416+2 ~x1415+1 ~x1414-0=61438 4.29/4.39 c 16384 ~x134832+8192 ~x134831+4096 ~x134830+2048 ~x134829+1024 ~x134828+512 ~x134827+256 ~x134826+128 ~x134825+64 ~x134824+32 ~x134823+16 ~x134822+8 ~x134821+4 ~x134820+2 ~x134819+1 ~x134818+16384 ~x1564+8192 ~x1563+4096 ~x1562+2048 ~x1561+1024 ~x1560+512 ~x1559+256 ~x1558+128 ~x1557+64 ~x1556+32 ~x1555+16 ~x1554+8 ~x1553+4 ~x1552+2 ~x1551+1 ~x1550-0=61438 4.40/4.49 c 16384 ~x138573+8192 ~x138572+4096 ~x138571+2048 ~x138570+1024 ~x138569+512 ~x138568+256 ~x138567+128 ~x138566+64 ~x138565+32 ~x138564+16 ~x138563+8 ~x138562+4 ~x138561+2 ~x138560+1 ~x138559+16384 ~x1700+8192 ~x1699+4096 ~x1698+2048 ~x1697+1024 ~x1696+512 ~x1695+256 ~x1694+128 ~x1693+64 ~x1692+32 ~x1691+16 ~x1690+8 ~x1689+4 ~x1688+2 ~x1687+1 ~x1686-0=61438 4.48/4.58 c 512 ~x142309+256 ~x142308+128 ~x142307+64 ~x142306+32 ~x142305+16 ~x142304+8 ~x142303+4 ~x142302+2 ~x142301+1 ~x142300+512 ~x1723+256 ~x1722+128 ~x1721+64 ~x1720+32 ~x1719+16 ~x1718+8 ~x1717+4 ~x1716+2 ~x1715+1 ~x1714-0=2046 4.58/4.64 c 512 ~x143611+256 ~x143610+128 ~x143609+64 ~x143608+32 ~x143607+16 ~x143606+8 ~x143605+4 ~x143604+2 ~x143603+1 ~x143602+512 ~x1734+256 ~x1733+128 ~x1732+64 ~x1731+32 ~x1730+16 ~x1729+8 ~x1728+4 ~x1727+2 ~x1726+1 ~x1725-0=2046 4.58/4.64 c 512 ~x144913+256 ~x144912+128 ~x144911+64 ~x144910+32 ~x144909+16 ~x144908+8 ~x144907+4 ~x144906+2 ~x144905+1 ~x144904+512 ~x1745+256 ~x1744+128 ~x1743+64 ~x1742+32 ~x1741+16 ~x1740+8 ~x1739+4 ~x1738+2 ~x1737+1 ~x1736-0=2046 4.58/4.68 c 512 ~x146215+256 ~x146214+128 ~x146213+64 ~x146212+32 ~x146211+16 ~x146210+8 ~x146209+4 ~x146208+2 ~x146207+1 ~x146206+512 ~x1756+256 ~x1755+128 ~x1754+64 ~x1753+32 ~x1752+16 ~x1751+8 ~x1750+4 ~x1749+2 ~x1748+1 ~x1747-0=2046 4.68/4.71 c 512 ~x147517+256 ~x147516+128 ~x147515+64 ~x147514+32 ~x147513+16 ~x147512+8 ~x147511+4 ~x147510+2 ~x147509+1 ~x147508+512 ~x1767+256 ~x1766+128 ~x1765+64 ~x1764+32 ~x1763+16 ~x1762+8 ~x1761+4 ~x1760+2 ~x1759+1 ~x1758-0=2046 4.68/4.74 c 512 ~x148819+256 ~x148818+128 ~x148817+64 ~x148816+32 ~x148815+16 ~x148814+8 ~x148813+4 ~x148812+2 ~x148811+1 ~x148810+512 ~x1778+256 ~x1777+128 ~x1776+64 ~x1775+32 ~x1774+16 ~x1773+8 ~x1772+4 ~x1771+2 ~x1770+1 ~x1769-0=2046 4.68/4.78 c 512 ~x150121+256 ~x150120+128 ~x150119+64 ~x150118+32 ~x150117+16 ~x150116+8 ~x150115+4 ~x150114+2 ~x150113+1 ~x150112+512 ~x1789+256 ~x1788+128 ~x1787+64 ~x1786+32 ~x1785+16 ~x1784+8 ~x1783+4 ~x1782+2 ~x1781+1 ~x1780-0=2046 4.78/4.81 c 512 ~x151423+256 ~x151422+128 ~x151421+64 ~x151420+32 ~x151419+16 ~x151418+8 ~x151417+4 ~x151416+2 ~x151415+1 ~x151414+512 ~x1800+256 ~x1799+128 ~x1798+64 ~x1797+32 ~x1796+16 ~x1795+8 ~x1794+4 ~x1793+2 ~x1792+1 ~x1791-0=2046 4.78/4.84 c 512 ~x152725+256 ~x152724+128 ~x152723+64 ~x152722+32 ~x152721+16 ~x152720+8 ~x152719+4 ~x152718+2 ~x152717+1 ~x152716+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=2046 4.78/4.88 c 512 ~x154027+256 ~x154026+128 ~x154025+64 ~x154024+32 ~x154023+16 ~x154022+8 ~x154021+4 ~x154020+2 ~x154019+1 ~x154018+512 ~x1822+256 ~x1821+128 ~x1820+64 ~x1819+32 ~x1818+16 ~x1817+8 ~x1816+4 ~x1815+2 ~x1814+1 ~x1813-0=2046 4.89/4.95 c 512 ~x155329+256 ~x155328+128 ~x155327+64 ~x155326+32 ~x155325+16 ~x155324+8 ~x155323+4 ~x155322+2 ~x155321+1 ~x155320+512 ~x1833+256 ~x1832+128 ~x1831+64 ~x1830+32 ~x1829+16 ~x1828+8 ~x1827+4 ~x1826+2 ~x1825+1 ~x1824-0=2046 4.89/4.95 c 512 ~x156631+256 ~x156630+128 ~x156629+64 ~x156628+32 ~x156627+16 ~x156626+8 ~x156625+4 ~x156624+2 ~x156623+1 ~x156622+512 ~x1844+256 ~x1843+128 ~x1842+64 ~x1841+32 ~x1840+16 ~x1839+8 ~x1838+4 ~x1837+2 ~x1836+1 ~x1835-0=2046 4.89/4.98 c 512 ~x157933+256 ~x157932+128 ~x157931+64 ~x157930+32 ~x157929+16 ~x157928+8 ~x157927+4 ~x157926+2 ~x157925+1 ~x157924+512 ~x1855+256 ~x1854+128 ~x1853+64 ~x1852+32 ~x1851+16 ~x1850+8 ~x1849+4 ~x1848+2 ~x1847+1 ~x1846-0=2046 4.98/5.01 c 512 ~x159235+256 ~x159234+128 ~x159233+64 ~x159232+32 ~x159231+16 ~x159230+8 ~x159229+4 ~x159228+2 ~x159227+1 ~x159226+512 ~x1866+256 ~x1865+128 ~x1864+64 ~x1863+32 ~x1862+16 ~x1861+8 ~x1860+4 ~x1859+2 ~x1858+1 ~x1857-0=2046 4.98/5.05 c 512 ~x160537+256 ~x160536+128 ~x160535+64 ~x160534+32 ~x160533+16 ~x160532+8 ~x160531+4 ~x160530+2 ~x160529+1 ~x160528+512 ~x1877+256 ~x1876+128 ~x1875+64 ~x1874+32 ~x1873+16 ~x1872+8 ~x1871+4 ~x1870+2 ~x1869+1 ~x1868-0=2046 4.98/5.08 c 512 ~x161839+256 ~x161838+128 ~x161837+64 ~x161836+32 ~x161835+16 ~x161834+8 ~x161833+4 ~x161832+2 ~x161831+1 ~x161830+512 ~x1888+256 ~x1887+128 ~x1886+64 ~x1885+32 ~x1884+16 ~x1883+8 ~x1882+4 ~x1881+2 ~x1880+1 ~x1879-0=2046 5.08/5.11 c 512 ~x163141+256 ~x163140+128 ~x163139+64 ~x163138+32 ~x163137+16 ~x163136+8 ~x163135+4 ~x163134+2 ~x163133+1 ~x163132+512 ~x1899+256 ~x1898+128 ~x1897+64 ~x1896+32 ~x1895+16 ~x1894+8 ~x1893+4 ~x1892+2 ~x1891+1 ~x1890-0=2046 5.08/5.15 c 512 ~x164443+256 ~x164442+128 ~x164441+64 ~x164440+32 ~x164439+16 ~x164438+8 ~x164437+4 ~x164436+2 ~x164435+1 ~x164434+512 ~x1910+256 ~x1909+128 ~x1908+64 ~x1907+32 ~x1906+16 ~x1905+8 ~x1904+4 ~x1903+2 ~x1902+1 ~x1901-0=2046 5.08/5.18 c 512 ~x165745+256 ~x165744+128 ~x165743+64 ~x165742+32 ~x165741+16 ~x165740+8 ~x165739+4 ~x165738+2 ~x165737+1 ~x165736+512 ~x1921+256 ~x1920+128 ~x1919+64 ~x1918+32 ~x1917+16 ~x1916+8 ~x1915+4 ~x1914+2 ~x1913+1 ~x1912-0=2046 5.18/5.25 c 512 ~x167047+256 ~x167046+128 ~x167045+64 ~x167044+32 ~x167043+16 ~x167042+8 ~x167041+4 ~x167040+2 ~x167039+1 ~x167038+512 ~x1932+256 ~x1931+128 ~x1930+64 ~x1929+32 ~x1928+16 ~x1927+8 ~x1926+4 ~x1925+2 ~x1924+1 ~x1923-0=2046 5.18/5.25 c 512 ~x168349+256 ~x168348+128 ~x168347+64 ~x168346+32 ~x168345+16 ~x168344+8 ~x168343+4 ~x168342+2 ~x168341+1 ~x168340+512 ~x1943+256 ~x1942+128 ~x1941+64 ~x1940+32 ~x1939+16 ~x1938+8 ~x1937+4 ~x1936+2 ~x1935+1 ~x1934-0=2046 5.18/5.28 c 512 ~x169651+256 ~x169650+128 ~x169649+64 ~x169648+32 ~x169647+16 ~x169646+8 ~x169645+4 ~x169644+2 ~x169643+1 ~x169642+512 ~x1954+256 ~x1953+128 ~x1952+64 ~x1951+32 ~x1950+16 ~x1949+8 ~x1948+4 ~x1947+2 ~x1946+1 ~x1945-0=2046 5.29/5.31 c 512 ~x170953+256 ~x170952+128 ~x170951+64 ~x170950+32 ~x170949+16 ~x170948+8 ~x170947+4 ~x170946+2 ~x170945+1 ~x170944+512 ~x1965+256 ~x1964+128 ~x1963+64 ~x1962+32 ~x1961+16 ~x1960+8 ~x1959+4 ~x1958+2 ~x1957+1 ~x1956-0=2046 5.29/5.35 c 512 ~x172255+256 ~x172254+128 ~x172253+64 ~x172252+32 ~x172251+16 ~x172250+8 ~x172249+4 ~x172248+2 ~x172247+1 ~x172246+512 ~x1976+256 ~x1975+128 ~x1974+64 ~x1973+32 ~x1972+16 ~x1971+8 ~x1970+4 ~x1969+2 ~x1968+1 ~x1967-0=2046 5.29/5.38 c 512 ~x173557+256 ~x173556+128 ~x173555+64 ~x173554+32 ~x173553+16 ~x173552+8 ~x173551+4 ~x173550+2 ~x173549+1 ~x173548+512 ~x1987+256 ~x1986+128 ~x1985+64 ~x1984+32 ~x1983+16 ~x1982+8 ~x1981+4 ~x1980+2 ~x1979+1 ~x1978-0=2046 5.39/5.42 c 512 ~x174859+256 ~x174858+128 ~x174857+64 ~x174856+32 ~x174855+16 ~x174854+8 ~x174853+4 ~x174852+2 ~x174851+1 ~x174850+512 ~x1998+256 ~x1997+128 ~x1996+64 ~x1995+32 ~x1994+16 ~x1993+8 ~x1992+4 ~x1991+2 ~x1990+1 ~x1989-0=2046 5.39/5.45 c 512 ~x176161+256 ~x176160+128 ~x176159+64 ~x176158+32 ~x176157+16 ~x176156+8 ~x176155+4 ~x176154+2 ~x176153+1 ~x176152+512 ~x2009+256 ~x2008+128 ~x2007+64 ~x2006+32 ~x2005+16 ~x2004+8 ~x2003+4 ~x2002+2 ~x2001+1 ~x2000-0=2046 5.39/5.48 c 512 ~x177463+256 ~x177462+128 ~x177461+64 ~x177460+32 ~x177459+16 ~x177458+8 ~x177457+4 ~x177456+2 ~x177455+1 ~x177454+512 ~x2020+256 ~x2019+128 ~x2018+64 ~x2017+32 ~x2016+16 ~x2015+8 ~x2014+4 ~x2013+2 ~x2012+1 ~x2011-0=2046 5.49/5.55 c 512 ~x178765+256 ~x178764+128 ~x178763+64 ~x178762+32 ~x178761+16 ~x178760+8 ~x178759+4 ~x178758+2 ~x178757+1 ~x178756+512 ~x2031+256 ~x2030+128 ~x2029+64 ~x2028+32 ~x2027+16 ~x2026+8 ~x2025+4 ~x2024+2 ~x2023+1 ~x2022-0=2046 5.49/5.55 c 512 ~x180067+256 ~x180066+128 ~x180065+64 ~x180064+32 ~x180063+16 ~x180062+8 ~x180061+4 ~x180060+2 ~x180059+1 ~x180058+512 ~x2042+256 ~x2041+128 ~x2040+64 ~x2039+32 ~x2038+16 ~x2037+8 ~x2036+4 ~x2035+2 ~x2034+1 ~x2033-0=2046 5.49/5.58 c 512 ~x181369+256 ~x181368+128 ~x181367+64 ~x181366+32 ~x181365+16 ~x181364+8 ~x181363+4 ~x181362+2 ~x181361+1 ~x181360+512 ~x2053+256 ~x2052+128 ~x2051+64 ~x2050+32 ~x2049+16 ~x2048+8 ~x2047+4 ~x2046+2 ~x2045+1 ~x2044-0=2046 5.58/5.62 c 512 ~x182671+256 ~x182670+128 ~x182669+64 ~x182668+32 ~x182667+16 ~x182666+8 ~x182665+4 ~x182664+2 ~x182663+1 ~x182662+512 ~x2064+256 ~x2063+128 ~x2062+64 ~x2061+32 ~x2060+16 ~x2059+8 ~x2058+4 ~x2057+2 ~x2056+1 ~x2055-0=2046 57.18/57.22 c 4294967296 ~x2460456+2147483648 ~x2460455+1073741824 ~x2460454+536870912 ~x2460453+268435456 ~x2460452+134217728 ~x2460451+67108864 ~x2460450+33554432 ~x2460449+16777216 ~x2460448+8388608 ~x2460447+4194304 ~x2460446+2097152 ~x2460445+1048576 ~x2460444+524288 ~x2460443+262144 ~x2460442+131072 ~x2460441+65536 ~x2460440+32768 ~x2460439+16384 ~x2460438+8192 ~x2460437+4096 ~x2460436+2048 ~x2460435+1024 ~x2460434+512 ~x2460433+256 ~x2460432+128 ~x2460431+64 ~x2460430+32 ~x2460429+16 ~x2460428+8 ~x2460427+4 ~x2460426+2 ~x2460425+1 ~x2460424+3360817152 x650+1680408576 x649+840204288 x648+420102144 x647+210051072 x646+105025536 x645+52512768 x644+26256384 x643+13128192 x642+6564096 x641+3282048 x640+1641024 x639+820512 x638+410256 x637+205128 x636+102564 x635+51282 x634+25641 x633+3276800000 x408+1638400000 x407+819200000 x406+409600000 x405+204800000 x404+102400000 x403+51200000 x402+25600000 x401+12800000 x400+6400000 x399+3200000 x398+1600000 x397+800000 x396+400000 x395+200000 x394+100000 x393-0=14733937151 57.67/57.75 c 8589934592 ~x2483483+4294967296 ~x2483482+2147483648 ~x2483481+1073741824 ~x2483480+536870912 ~x2483479+268435456 ~x2483478+134217728 ~x2483477+67108864 ~x2483476+33554432 ~x2483475+16777216 ~x2483474+8388608 ~x2483473+4194304 ~x2483472+2097152 ~x2483471+1048576 ~x2483470+524288 ~x2483469+262144 ~x2483468+131072 ~x2483467+65536 ~x2483466+32768 ~x2483465+16384 ~x2483464+8192 ~x2483463+4096 ~x2483462+2048 ~x2483461+1024 ~x2483460+512 ~x2483459+256 ~x2483458+128 ~x2483457+64 ~x2483456+32 ~x2483455+16 ~x2483454+8 ~x2483453+4 ~x2483452+2 ~x2483451+1 ~x2483450+10485760000 x892+5242880000 x891+2621440000 x890+1310720000 x889+655360000 x888+327680000 x887+163840000 x886+81920000 x885+40960000 x884+20480000 x883+10240000 x882+5120000 x881+2560000 x880+1280000 x879+640000 x878+320000 x877+160000 x876+80000 x875+40000 x874+20000 x873+6721634304 x651+3360817152 x650+1680408576 x649+840204288 x648+420102144 x647+210051072 x646+105025536 x645+52512768 x644+26256384 x643+13128192 x642+6564096 x641+3282048 x640+1641024 x639+820512 x638+410256 x637+205128 x636+102564 x635+51282 x634+25641 x633+6553600000 x410+3276800000 x409+1638400000 x408+819200000 x407+409600000 x406+204800000 x405+102400000 x404+51200000 x403+25600000 x402+12800000 x401+6400000 x400+3200000 x399+1600000 x398+800000 x397+400000 x396+200000 x395+100000 x394+50000 x393-0=29467872255 58.57/58.60 c 8589934592 ~x2520263+4294967296 ~x2520262+2147483648 ~x2520261+1073741824 ~x2520260+536870912 ~x2520259+268435456 ~x2520258+134217728 ~x2520257+67108864 ~x2520256+33554432 ~x2520255+16777216 ~x2520254+8388608 ~x2520253+4194304 ~x2520252+2097152 ~x2520251+1048576 ~x2520250+524288 ~x2520249+262144 ~x2520248+131072 ~x2520247+65536 ~x2520246+32768 ~x2520245+16384 ~x2520244+8192 ~x2520243+4096 ~x2520242+2048 ~x2520241+1024 ~x2520240+512 ~x2520239+256 ~x2520238+128 ~x2520237+64 ~x2520236+32 ~x2520235+16 ~x2520234+8 ~x2520233+4 ~x2520232+2 ~x2520231+1 ~x2520230+10922754048 x1131+5461377024 x1130+2730688512 x1129+1365344256 x1128+682672128 x1127+341336064 x1126+170668032 x1125+85334016 x1124+42667008 x1123+21333504 x1122+10666752 x1121+5333376 x1120+2666688 x1119+1333344 x1118+666672 x1117+333336 x1116+166668 x1115+83334 x1114+41667 x1113+6721634304 x651+3360817152 x650+1680408576 x649+840204288 x648+420102144 x647+210051072 x646+105025536 x645+52512768 x644+26256384 x643+13128192 x642+6564096 x641+3282048 x640+1641024 x639+820512 x638+410256 x637+205128 x636+102564 x635+51282 x634+25641 x633+6553600000 x410+3276800000 x409+1638400000 x408+819200000 x407+409600000 x406+204800000 x405+102400000 x404+51200000 x403+25600000 x402+12800000 x401+6400000 x400+3200000 x399+1600000 x398+800000 x397+400000 x396+200000 x395+100000 x394+50000 x393-0=29467837439 59.37/59.43 c 8589934592 ~x2556605+4294967296 ~x2556604+2147483648 ~x2556603+1073741824 ~x2556602+536870912 ~x2556601+268435456 ~x2556600+134217728 ~x2556599+67108864 ~x2556598+33554432 ~x2556597+16777216 ~x2556596+8388608 ~x2556595+4194304 ~x2556594+2097152 ~x2556593+1048576 ~x2556592+524288 ~x2556591+262144 ~x2556590+131072 ~x2556589+65536 ~x2556588+32768 ~x2556587+16384 ~x2556586+8192 ~x2556585+4096 ~x2556584+2048 ~x2556583+1024 ~x2556582+512 ~x2556581+256 ~x2556580+128 ~x2556579+64 ~x2556578+32 ~x2556577+16 ~x2556576+8 ~x2556575+4 ~x2556574+2 ~x2556573+1 ~x2556572+6990594048 x891+3495297024 x890+1747648512 x889+873824256 x888+436912128 x887+218456064 x886+109228032 x885+54614016 x884+27307008 x883+13653504 x882+6826752 x881+3413376 x880+1706688 x879+853344 x878+426672 x877+213336 x876+106668 x875+53334 x874+26667 x873+8738177024 x410+4369088512 x409+2184544256 x408+1092272128 x407+546136064 x406+273068032 x405+136534016 x404+68267008 x403+34133504 x402+17066752 x401+8533376 x400+4266688 x399+2133344 x398+1066672 x397+533336 x396+266668 x395+133334 x394+66667 x393-0=29467732991 59.97/60.08 c 8589934592 ~x2584841+4294967296 ~x2584840+2147483648 ~x2584839+1073741824 ~x2584838+536870912 ~x2584837+268435456 ~x2584836+134217728 ~x2584835+67108864 ~x2584834+33554432 ~x2584833+16777216 ~x2584832+8388608 ~x2584831+4194304 ~x2584830+2097152 ~x2584829+1048576 ~x2584828+524288 ~x2584827+262144 ~x2584826+131072 ~x2584825+65536 ~x2584824+32768 ~x2584823+16384 ~x2584822+8192 ~x2584821+4096 ~x2584820+2048 ~x2584819+1024 ~x2584818+512 ~x2584817+256 ~x2584816+128 ~x2584815+64 ~x2584814+32 ~x2584813+16 ~x2584812+8 ~x2584811+4 ~x2584810+2 ~x2584809+1 ~x2584808+7281836032 x1131+3640918016 x1130+1820459008 x1129+910229504 x1128+455114752 x1127+227557376 x1126+113778688 x1125+56889344 x1124+28444672 x1123+14222336 x1122+7111168 x1121+3555584 x1120+1777792 x1119+888896 x1118+444448 x1117+222224 x1116+111112 x1115+55556 x1114+27778 x1113+6990331904 x892+3495165952 x891+1747582976 x890+873791488 x889+436895744 x888+218447872 x887+109223936 x886+54611968 x885+27305984 x884+13652992 x883+6826496 x882+3413248 x881+1706624 x880+853312 x879+426656 x878+213328 x877+106664 x876+53332 x875+26666 x874+13333 x873+8738045952 x411+4369022976 x410+2184511488 x409+1092255744 x408+546127872 x407+273063936 x406+136531968 x405+68265984 x404+34132992 x403+17066496 x402+8533248 x401+4266624 x400+2133312 x399+1066656 x398+533328 x397+266664 x396+133332 x395+66666 x394+33333 x393-0=29467982847 60.86/60.94 c 8589934592 ~x2622275+4294967296 ~x2622274+2147483648 ~x2622273+1073741824 ~x2622272+536870912 ~x2622271+268435456 ~x2622270+134217728 ~x2622269+67108864 ~x2622268+33554432 ~x2622267+16777216 ~x2622266+8388608 ~x2622265+4194304 ~x2622264+2097152 ~x2622263+1048576 ~x2622262+524288 ~x2622261+262144 ~x2622260+131072 ~x2622259+65536 ~x2622258+32768 ~x2622257+16384 ~x2622256+8192 ~x2622255+4096 ~x2622254+2048 ~x2622253+1024 ~x2622252+512 ~x2622251+256 ~x2622250+128 ~x2622249+64 ~x2622248+32 ~x2622247+16 ~x2622246+8 ~x2622245+4 ~x2622244+2 ~x2622243+1 ~x2622242+7281836032 x1130+3640918016 x1129+1820459008 x1128+910229504 x1127+455114752 x1126+227557376 x1125+113778688 x1124+56889344 x1123+28444672 x1122+14222336 x1121+7111168 x1120+3555584 x1119+1777792 x1118+888896 x1117+444448 x1116+222224 x1115+111112 x1114+55556 x1113+8738177024 x410+4369088512 x409+2184544256 x408+1092272128 x407+546136064 x406+273068032 x405+136534016 x404+68267008 x403+34133504 x402+17066752 x401+8533376 x400+4266688 x399+2133344 x398+1066672 x397+533336 x396+266668 x395+133334 x394+66667 x393-0=29467721727 61.47/61.58 c 4294967296 ~x2650072+2147483648 ~x2650071+1073741824 ~x2650070+536870912 ~x2650069+268435456 ~x2650068+134217728 ~x2650067+67108864 ~x2650066+33554432 ~x2650065+16777216 ~x2650064+8388608 ~x2650063+4194304 ~x2650062+2097152 ~x2650061+1048576 ~x2650060+524288 ~x2650059+262144 ~x2650058+131072 ~x2650057+65536 ~x2650056+32768 ~x2650055+16384 ~x2650054+8192 ~x2650053+4096 ~x2650052+2048 ~x2650051+1024 ~x2650050+512 ~x2650049+256 ~x2650048+128 ~x2650047+64 ~x2650046+32 ~x2650045+16 ~x2650044+8 ~x2650043+4 ~x2650042+2 ~x2650041+1 ~x2650040+5242880000 x890+2621440000 x889+1310720000 x888+655360000 x887+327680000 x886+163840000 x885+81920000 x884+40960000 x883+20480000 x882+10240000 x881+5120000 x880+2560000 x879+1280000 x878+640000 x877+320000 x876+160000 x875+80000 x874+40000 x873+3360817152 x650+1680408576 x649+840204288 x648+420102144 x647+210051072 x646+105025536 x645+52512768 x644+26256384 x643+13128192 x642+6564096 x641+3282048 x640+1641024 x639+820512 x638+410256 x637+205128 x636+102564 x635+51282 x634+25641 x633-0=14733937151 62.07/62.12 c 8589934592 ~x2672595+4294967296 ~x2672594+2147483648 ~x2672593+1073741824 ~x2672592+536870912 ~x2672591+268435456 ~x2672590+134217728 ~x2672589+67108864 ~x2672588+33554432 ~x2672587+16777216 ~x2672586+8388608 ~x2672585+4194304 ~x2672584+2097152 ~x2672583+1048576 ~x2672582+524288 ~x2672581+262144 ~x2672580+131072 ~x2672579+65536 ~x2672578+32768 ~x2672577+16384 ~x2672576+8192 ~x2672575+4096 ~x2672574+2048 ~x2672573+1024 ~x2672572+512 ~x2672571+256 ~x2672570+128 ~x2672569+64 ~x2672568+32 ~x2672567+16 ~x2672566+8 ~x2672565+4 ~x2672564+2 ~x2672563+1 ~x2672562+10922754048 x1131+5461377024 x1130+2730688512 x1129+1365344256 x1128+682672128 x1127+341336064 x1126+170668032 x1125+85334016 x1124+42667008 x1123+21333504 x1122+10666752 x1121+5333376 x1120+2666688 x1119+1333344 x1118+666672 x1117+333336 x1116+166668 x1115+83334 x1114+41667 x1113+10485760000 x892+5242880000 x891+2621440000 x890+1310720000 x889+655360000 x888+327680000 x887+163840000 x886+81920000 x885+40960000 x884+20480000 x883+10240000 x882+5120000 x881+2560000 x880+1280000 x879+640000 x878+320000 x877+160000 x876+80000 x875+40000 x874+20000 x873+6721634304 x651+3360817152 x650+1680408576 x649+840204288 x648+420102144 x647+210051072 x646+105025536 x645+52512768 x644+26256384 x643+13128192 x642+6564096 x641+3282048 x640+1641024 x639+820512 x638+410256 x637+205128 x636+102564 x635+51282 x634+25641 x633-0=29467837439 62.87/62.94 c 8589934592 ~x2708547+4294967296 ~x2708546+2147483648 ~x2708545+1073741824 ~x2708544+536870912 ~x2708543+268435456 ~x2708542+134217728 ~x2708541+67108864 ~x2708540+33554432 ~x2708539+16777216 ~x2708538+8388608 ~x2708537+4194304 ~x2708536+2097152 ~x2708535+1048576 ~x2708534+524288 ~x2708533+262144 ~x2708532+131072 ~x2708531+65536 ~x2708530+32768 ~x2708529+16384 ~x2708528+8192 ~x2708527+4096 ~x2708526+2048 ~x2708525+1024 ~x2708524+512 ~x2708523+256 ~x2708522+128 ~x2708521+64 ~x2708520+32 ~x2708519+16 ~x2708518+8 ~x2708517+4 ~x2708516+2 ~x2708515+1 ~x2708514+10922688512 x1129+5461344256 x1128+2730672128 x1127+1365336064 x1126+682668032 x1125+341334016 x1124+170667008 x1123+85333504 x1122+42666752 x1121+21333376 x1120+10666688 x1119+5333344 x1118+2666672 x1117+1333336 x1116+666668 x1115+333334 x1114+166667 x1113+6721634304 x650+3360817152 x649+1680408576 x648+840204288 x647+420102144 x646+210051072 x645+105025536 x644+52512768 x643+26256384 x642+13128192 x641+6564096 x640+3282048 x639+1641024 x638+820512 x637+410256 x636+205128 x635+102564 x634+51282 x633-0=29467840511 63.47/63.55 c 8589934592 ~x2734503+4294967296 ~x2734502+2147483648 ~x2734501+1073741824 ~x2734500+536870912 ~x2734499+268435456 ~x2734498+134217728 ~x2734497+67108864 ~x2734496+33554432 ~x2734495+16777216 ~x2734494+8388608 ~x2734493+4194304 ~x2734492+2097152 ~x2734491+1048576 ~x2734490+524288 ~x2734489+262144 ~x2734488+131072 ~x2734487+65536 ~x2734486+32768 ~x2734485+16384 ~x2734484+8192 ~x2734483+4096 ~x2734482+2048 ~x2734481+1024 ~x2734480+512 ~x2734479+256 ~x2734478+128 ~x2734477+64 ~x2734476+32 ~x2734475+16 ~x2734474+8 ~x2734473+4 ~x2734472+2 ~x2734471+1 ~x2734470+7281836032 x1130+3640918016 x1129+1820459008 x1128+910229504 x1127+455114752 x1126+227557376 x1125+113778688 x1124+56889344 x1123+28444672 x1122+14222336 x1121+7111168 x1120+3555584 x1119+1777792 x1118+888896 x1117+444448 x1116+222224 x1115+111112 x1114+55556 x1113+6990594048 x891+3495297024 x890+1747648512 x889+873824256 x888+436912128 x887+218456064 x886+109228032 x885+54614016 x884+27307008 x883+13653504 x882+6826752 x881+3413376 x880+1706688 x879+853344 x878+426672 x877+213336 x876+10666
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673753-1276799676/watcher-2673753-1276799676 -o /tmp/evaluation-result-2673753-1276799676/solver-2673753-1276799676 -C 1800 -W 2000 -M 1800 run HOME/instance-2673753-1276799676.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.90 0.97 0.99 3/106 22327 /proc/meminfo: memFree=1884540/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [startup+0.0302991 s] /proc/loadavg: 0.90 0.97 0.99 3/106 22327 /proc/meminfo: memFree=1884540/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101317 s] /proc/loadavg: 0.90 0.97 0.99 3/106 22327 /proc/meminfo: memFree=1884540/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301336 s] /proc/loadavg: 0.90 0.97 0.99 3/106 22327 /proc/meminfo: memFree=1884540/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701372 s] /proc/loadavg: 0.90 0.97 0.99 3/106 22327 /proc/meminfo: memFree=1884540/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50143 s] /proc/loadavg: 0.90 0.97 0.99 2/108 22330 /proc/meminfo: memFree=1712040/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [pid=22329] ppid=22327 vsize=204284 CPUtime=1.48 /proc/22329/stat : 22329 (PBPASSolver) R 22327 22327 22270 0 -1 4202496 50925 0 0 0 76 72 0 0 25 0 1 0 21259504 209186816 50439 1992294400 134512640 134902295 4288981392 18446744073709551615 134588226 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22329/statm: 51071 50439 262 96 0 50283 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 212984 [startup+3.10058 s] /proc/loadavg: 0.90 0.97 0.99 2/108 22330 /proc/meminfo: memFree=1673600/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [pid=22329] ppid=22327 vsize=229264 CPUtime=3.08 /proc/22329/stat : 22329 (PBPASSolver) R 22327 22327 22270 0 -1 4202496 57565 0 0 0 233 75 0 0 25 0 1 0 21259504 234766336 56511 1992294400 134512640 134902295 4288981392 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22329/statm: 57316 56511 262 96 0 56528 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 237964 [startup+6.30088 s] /proc/loadavg: 0.91 0.97 0.99 2/108 22330 /proc/meminfo: memFree=1619784/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [pid=22329] ppid=22327 vsize=284736 CPUtime=6.29 /proc/22329/stat : 22329 (PBPASSolver) R 22327 22327 22270 0 -1 4202496 73845 0 0 0 546 83 0 0 25 0 1 0 21259504 291569664 69715 1992294400 134512640 134902295 4288981392 18446744073709551615 134565164 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22329/statm: 71184 69715 262 96 0 70396 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 293436 [startup+12.7005 s] /proc/loadavg: 0.92 0.97 0.99 2/108 22330 /proc/meminfo: memFree=1503844/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [pid=22329] ppid=22327 vsize=400620 CPUtime=12.68 /proc/22329/stat : 22329 (PBPASSolver) R 22327 22327 22270 0 -1 4202496 103736 0 0 0 1172 96 0 0 25 0 1 0 21259504 410234880 97815 1992294400 134512640 134902295 4288981392 18446744073709551615 134583904 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22329/statm: 100155 97815 262 96 0 99367 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 409320 [startup+25.5017 s] /proc/loadavg: 0.93 0.97 0.99 2/108 22330 /proc/meminfo: memFree=1268988/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [pid=22329] ppid=22327 vsize=641920 CPUtime=25.47 /proc/22329/stat : 22329 (PBPASSolver) R 22327 22327 22270 0 -1 4202496 165074 0 0 0 2424 123 0 0 25 0 1 0 21259504 657326080 154733 1992294400 134512640 134902295 4288981392 18446744073709551615 4160443668 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22329/statm: 160480 154733 262 96 0 159692 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 650620 [startup+51.101 s] /proc/loadavg: 0.96 0.97 0.99 2/108 22330 /proc/meminfo: memFree=797044/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [pid=22329] ppid=22327 vsize=1121372 CPUtime=51.08 /proc/22329/stat : 22329 (PBPASSolver) R 22327 22327 22270 0 -1 4202496 284207 0 0 0 4933 175 0 0 25 0 1 0 21259504 1148284928 273762 1992294400 134512640 134902295 4288981392 18446744073709551615 134565005 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22329/statm: 280343 273762 262 96 0 279555 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1130072 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+91.6008 s] /proc/loadavg: 0.98 0.97 0.99 2/108 22332 /proc/meminfo: memFree=117276/2059040 swapFree=4140524/4192956 [pid=22327] ppid=22325 vsize=8700 CPUtime=0 /proc/22327/stat : 22327 (run) S 22325 22327 22270 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 21259503 8908800 251 1992294400 4194304 4922060 140733563768096 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22327/statm: 2175 251 211 178 0 68 0 [pid=22329] ppid=22327 vsize=1858140 CPUtime=91.57 /proc/22329/stat : 22329 (PBPASSolver) R 22327 22327 22270 0 -1 4202496 479214 0 0 0 8893 264 0 0 25 0 1 0 21259504 1902735360 440977 1992294400 134512640 134902295 4288981392 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22329/statm: 464535 440978 262 96 0 463747 0 Current children cumulated CPU time (s) 91.57 Current children cumulated vsize (KiB) 1866840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22327 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 91.57 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 91.6141 CPU time (s): 91.57 CPU user time (s): 88.93 CPU system time (s): 2.64 CPU usage (%): 99.9519 Max. virtual memory (cumulated for all children) (KiB): 1866840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524 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= 3 involuntary context switches= 3 runsolver used 0.167974 second user time and 0.434933 second system time The end
Begin job on node048 at 2010-06-17 20:34:36 IDJOB=2673753 IDBENCH=2387 IDSOLVER=1174 FILE ID=node048/2673753-1276799676 PBS_JOBID= 11176673 Free space on /tmp= 62452 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673753-1276799676/watcher-2673753-1276799676 -o /tmp/evaluation-result-2673753-1276799676/solver-2673753-1276799676 -C 1800 -W 2000 -M 1800 run HOME/instance-2673753-1276799676.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5b3e28beae15a1c34f0e545c98eeb705 RANDOM SEED=461559988 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1884936 kB Buffers: 10268 kB Cached: 76804 kB SwapCached: 5276 kB Active: 68620 kB Inactive: 30636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1884936 kB SwapTotal: 4192956 kB SwapFree: 4140524 kB Dirty: 1180 kB Writeback: 0 kB AnonPages: 10820 kB Mapped: 12984 kB Slab: 52988 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181464 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62448 MiB End job on node048 at 2010-06-17 20:36:10