Trace number 2674115

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (MO) 65.17 65.2143

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-israel.opb
MD5SUMeda4269ba1a2bb6f24002a9139c11119
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-310031148983
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -305132355000
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 807185416192000
Number of bits for the biggest coefficient in the objective function 50
Sum of the numbers in the objective function 9901243932822396
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 807185416192000
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 9901243932822396
Number of bits of the biggest sum of numbers54
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

5.28/5.35	c 4260 174 0 0 0 0 0 0
5.28/5.35	c 34359738368 ~x4297+17179869184 ~x4296+8589934592 ~x4295+4294967296 ~x4294+2147483648 ~x4293+1073741824 ~x4292+536870912 ~x4291+268435456 ~x4290+134217728 ~x4289+67108864 ~x4288+33554432 ~x4287+16777216 ~x4286+8388608 ~x4285+4194304 ~x4284+2097152 ~x4283+1048576 ~x4282+524288 ~x4281+262144 ~x4280+131072 ~x4279+65536 ~x4278+32768 ~x4277+16384 ~x4276+8192 ~x4275+4096 ~x4274+2048 ~x4273+1024 ~x4272+512 ~x4271+256 ~x4270+128 ~x4269+64 ~x4268+32 ~x4267+16 ~x4266+8 ~x4265+4 ~x4264+2 ~x4263+1 ~x4262+536870912 ~x1411+268435456 ~x1410+134217728 ~x1409+67108864 ~x1408+33554432 ~x1407+16777216 ~x1406+8388608 ~x1405+4194304 ~x1404+2097152 ~x1403+1048576 ~x1402+524288 ~x1401+262144 ~x1400+131072 ~x1399+65536 ~x1398+32768 ~x1397+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382+536870912 ~x1381+268435456 ~x1380+134217728 ~x1379+67108864 ~x1378+33554432 ~x1377+16777216 ~x1376+8388608 ~x1375+4194304 ~x1374+2097152 ~x1373+1048576 ~x1372+524288 ~x1371+262144 ~x1370+131072 ~x1369+65536 ~x1368+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352+536870912 ~x1351+268435456 ~x1350+134217728 ~x1349+67108864 ~x1348+33554432 ~x1347+16777216 ~x1346+8388608 ~x1345+4194304 ~x1344+2097152 ~x1343+1048576 ~x1342+524288 ~x1341+262144 ~x1340+131072 ~x1339+65536 ~x1338+32768 ~x1337+16384 ~x1336+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232+536870912 ~x1231+268435456 ~x1230+134217728 ~x1229+67108864 ~x1228+33554432 ~x1227+16777216 ~x1226+8388608 ~x1225+4194304 ~x1224+2097152 ~x1223+1048576 ~x1222+524288 ~x1221+262144 ~x1220+131072 ~x1219+65536 ~x1218+32768 ~x1217+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202+536870912 ~x1201+268435456 ~x1200+134217728 ~x1199+67108864 ~x1198+33554432 ~x1197+16777216 ~x1196+8388608 ~x1195+4194304 ~x1194+2097152 ~x1193+1048576 ~x1192+524288 ~x1191+262144 ~x1190+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172+536870912 ~x1171+268435456 ~x1170+134217728 ~x1169+67108864 ~x1168+33554432 ~x1167+16777216 ~x1166+8388608 ~x1165+4194304 ~x1164+2097152 ~x1163+1048576 ~x1162+524288 ~x1161+262144 ~x1160+131072 ~x1159+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052+536870912 ~x1051+268435456 ~x1050+134217728 ~x1049+67108864 ~x1048+33554432 ~x1047+16777216 ~x1046+8388608 ~x1045+4194304 ~x1044+2097152 ~x1043+1048576 ~x1042+524288 ~x1041+262144 ~x1040+131072 ~x1039+65536 ~x1038+32768 ~x1037+16384 ~x1036+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992+536870912 ~x991+268435456 ~x990+134217728 ~x989+67108864 ~x988+33554432 ~x987+16777216 ~x986+8388608 ~x985+4194304 ~x984+2097152 ~x983+1048576 ~x982+524288 ~x981+262144 ~x980+131072 ~x979+65536 ~x978+32768 ~x977+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932+536870912 ~x901+268435456 ~x900+134217728 ~x899+67108864 ~x898+33554432 ~x897+16777216 ~x896+8388608 ~x895+4194304 ~x894+2097152 ~x893+1048576 ~x892+524288 ~x891+262144 ~x890+131072 ~x889+65536 ~x888+32768 ~x887+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782+536870912 ~x781+268435456 ~x780+134217728 ~x779+67108864 ~x778+33554432 ~x777+16777216 ~x776+8388608 ~x775+4194304 ~x774+2097152 ~x773+1048576 ~x772+524288 ~x771+262144 ~x770+131072 ~x769+65536 ~x768+32768 ~x767+16384 ~x766+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752+536870912 ~x751+268435456 ~x750+134217728 ~x749+67108864 ~x748+33554432 ~x747+16777216 ~x746+8388608 ~x745+4194304 ~x744+2097152 ~x743+1048576 ~x742+524288 ~x741+262144 ~x740+131072 ~x739+65536 ~x738+32768 ~x737+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722+536870912 ~x721+268435456 ~x720+134217728 ~x719+67108864 ~x718+33554432 ~x717+16777216 ~x716+8388608 ~x715+4194304 ~x714+2097152 ~x713+1048576 ~x712+524288 ~x711+262144 ~x710+131072 ~x709+65536 ~x708+32768 ~x707+16384 ~x706+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692+536870912 ~x601+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542+536870912 ~x541+268435456 ~x540+134217728 ~x539+67108864 ~x538+33554432 ~x537+16777216 ~x536+8388608 ~x535+4194304 ~x534+2097152 ~x533+1048576 ~x532+524288 ~x531+262144 ~x530+131072 ~x529+65536 ~x528+32768 ~x527+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512+536870912 ~x511+268435456 ~x510+134217728 ~x509+67108864 ~x508+33554432 ~x507+16777216 ~x506+8388608 ~x505+4194304 ~x504+2097152 ~x503+1048576 ~x502+524288 ~x501+262144 ~x500+131072 ~x499+65536 ~x498+32768 ~x497+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452+536870912 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422+536870912 ~x421+268435456 ~x420+134217728 ~x419+67108864 ~x418+33554432 ~x417+16777216 ~x416+8388608 ~x415+4194304 ~x414+2097152 ~x413+1048576 ~x412+524288 ~x411+262144 ~x410+131072 ~x409+65536 ~x408+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392+536870912 ~x391+268435456 ~x390+134217728 ~x389+67108864 ~x388+33554432 ~x387+16777216 ~x386+8388608 ~x385+4194304 ~x384+2097152 ~x383+1048576 ~x382+524288 ~x381+262144 ~x380+131072 ~x379+65536 ~x378+32768 ~x377+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362+536870912 ~x361+268435456 ~x360+134217728 ~x359+67108864 ~x358+33554432 ~x357+16777216 ~x356+8388608 ~x355+4194304 ~x354+2097152 ~x353+1048576 ~x352+524288 ~x351+262144 ~x350+131072 ~x349+65536 ~x348+32768 ~x347+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=106291275740
16.78/16.86	c 65536 ~x522127+32768 ~x522126+16384 ~x522125+8192 ~x522124+4096 ~x522123+2048 ~x522122+1024 ~x522121+512 ~x522120+256 ~x522119+128 ~x522118+64 ~x522117+32 ~x522116+16 ~x522115+8 ~x522114+4 ~x522113+2 ~x522112+1 ~x522111+65536 x1338+32768 x1337+16384 x1336+8192 x1335+4096 x1334+2048 x1333+1024 x1332+512 x1331+256 x1330+128 x1329+64 x1328+32 x1327+16 x1326+8 x1325+4 x1324+2 x1323+1 x1322-0=233471
16.87/16.99	c 68719476736 ~x527093+34359738368 ~x527092+17179869184 ~x527091+8589934592 ~x527090+4294967296 ~x527089+2147483648 ~x527088+1073741824 ~x527087+536870912 ~x527086+268435456 ~x527085+134217728 ~x527084+67108864 ~x527083+33554432 ~x527082+16777216 ~x527081+8388608 ~x527080+4194304 ~x527079+2097152 ~x527078+1048576 ~x527077+524288 ~x527076+262144 ~x527075+131072 ~x527074+65536 ~x527073+32768 ~x527072+16384 ~x527071+8192 ~x527070+4096 ~x527069+2048 ~x527068+1024 ~x527067+512 ~x527066+256 ~x527065+128 ~x527064+64 ~x527063+32 ~x527062+16 ~x527061+8 ~x527060+4 ~x527059+2 ~x527058+1 ~x527057+53687091200 ~x1861+26843545600 ~x1860+13421772800 ~x1859+6710886400 ~x1858+3355443200 ~x1857+1677721600 ~x1856+838860800 ~x1855+419430400 ~x1854+209715200 ~x1853+104857600 ~x1852+52428800 ~x1851+26214400 ~x1850+13107200 ~x1849+6553600 ~x1848+3276800 ~x1847+1638400 ~x1846+819200 ~x1845+409600 ~x1844+204800 ~x1843+102400 ~x1842+51200 ~x1841+25600 ~x1840+12800 ~x1839+6400 ~x1838+3200 ~x1837+1600 ~x1836+800 ~x1835+400 ~x1834+200 ~x1833+100 ~x1832+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+75497472000 x26+37748736000 x25+18874368000 x24+9437184000 x23+4718592000 x22+2359296000 x21+1179648000 x20+589824000 x19+294912000 x18+147456000 x17+73728000 x16+36864000 x15+18432000 x14+9216000 x13+4608000 x12+2304000 x11+1152000 x10+576000 x9+288000 x8+144000 x7+72000 x6+36000 x5+18000 x4+9000 x3+4500 x2-0=244812994459
18.78/18.80	c 68719476736 ~x607540+34359738368 ~x607539+17179869184 ~x607538+8589934592 ~x607537+4294967296 ~x607536+2147483648 ~x607535+1073741824 ~x607534+536870912 ~x607533+268435456 ~x607532+134217728 ~x607531+67108864 ~x607530+33554432 ~x607529+16777216 ~x607528+8388608 ~x607527+4194304 ~x607526+2097152 ~x607525+1048576 ~x607524+524288 ~x607523+262144 ~x607522+131072 ~x607521+65536 ~x607520+32768 ~x607519+16384 ~x607518+8192 ~x607517+4096 ~x607516+2048 ~x607515+1024 ~x607514+512 ~x607513+256 ~x607512+128 ~x607511+64 ~x607510+32 ~x607509+16 ~x607508+8 ~x607507+4 ~x607506+2 ~x607505+1 ~x607504+53687091200 ~x1891+26843545600 ~x1890+13421772800 ~x1889+6710886400 ~x1888+3355443200 ~x1887+1677721600 ~x1886+838860800 ~x1885+419430400 ~x1884+209715200 ~x1883+104857600 ~x1882+52428800 ~x1881+26214400 ~x1880+13107200 ~x1879+6553600 ~x1878+3276800 ~x1877+1638400 ~x1876+819200 ~x1875+409600 ~x1874+204800 ~x1873+102400 ~x1872+51200 ~x1871+25600 ~x1870+12800 ~x1869+6400 ~x1868+3200 ~x1867+1600 ~x1866+800 ~x1865+400 ~x1864+200 ~x1863+100 ~x1862+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000 x19+98304000 x18+49152000 x17+24576000 x16+12288000 x15+6144000 x14+3072000 x13+1536000 x12+768000 x11+384000 x10+192000 x9+96000 x8+48000 x7+24000 x6+12000 x5+6000 x4+3000 x3+1500 x2-0=244812993435
20.58/20.64	c 68719476736 ~x689079+34359738368 ~x689078+17179869184 ~x689077+8589934592 ~x689076+4294967296 ~x689075+2147483648 ~x689074+1073741824 ~x689073+536870912 ~x689072+268435456 ~x689071+134217728 ~x689070+67108864 ~x689069+33554432 ~x689068+16777216 ~x689067+8388608 ~x689066+4194304 ~x689065+2097152 ~x689064+1048576 ~x689063+524288 ~x689062+262144 ~x689061+131072 ~x689060+65536 ~x689059+32768 ~x689058+16384 ~x689057+8192 ~x689056+4096 ~x689055+2048 ~x689054+1024 ~x689053+512 ~x689052+256 ~x689051+128 ~x689050+64 ~x689049+32 ~x689048+16 ~x689047+8 ~x689046+4 ~x689045+2 ~x689044+1 ~x689043+53687091200 ~x1921+26843545600 ~x1920+13421772800 ~x1919+6710886400 ~x1918+3355443200 ~x1917+1677721600 ~x1916+838860800 ~x1915+419430400 ~x1914+209715200 ~x1913+104857600 ~x1912+52428800 ~x1911+26214400 ~x1910+13107200 ~x1909+6553600 ~x1908+3276800 ~x1907+1638400 ~x1906+819200 ~x1905+409600 ~x1904+204800 ~x1903+102400 ~x1902+51200 ~x1901+25600 ~x1900+12800 ~x1899+6400 ~x1898+3200 ~x1897+1600 ~x1896+800 ~x1895+400 ~x1894+200 ~x1893+100 ~x1892+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000 x19+98304000 x18+49152000 x17+24576000 x16+12288000 x15+6144000 x14+3072000 x13+1536000 x12+768000 x11+384000 x10+192000 x9+96000 x8+48000 x7+24000 x6+12000 x5+6000 x4+3000 x3+1500 x2-0=244812992411
22.38/22.48	c 68719476736 ~x770618+34359738368 ~x770617+17179869184 ~x770616+8589934592 ~x770615+4294967296 ~x770614+2147483648 ~x770613+1073741824 ~x770612+536870912 ~x770611+268435456 ~x770610+134217728 ~x770609+67108864 ~x770608+33554432 ~x770607+16777216 ~x770606+8388608 ~x770605+4194304 ~x770604+2097152 ~x770603+1048576 ~x770602+524288 ~x770601+262144 ~x770600+131072 ~x770599+65536 ~x770598+32768 ~x770597+16384 ~x770596+8192 ~x770595+4096 ~x770594+2048 ~x770593+1024 ~x770592+512 ~x770591+256 ~x770590+128 ~x770589+64 ~x770588+32 ~x770587+16 ~x770586+8 ~x770585+4 ~x770584+2 ~x770583+1 ~x770582+53687091200 ~x1951+26843545600 ~x1950+13421772800 ~x1949+6710886400 ~x1948+3355443200 ~x1947+1677721600 ~x1946+838860800 ~x1945+419430400 ~x1944+209715200 ~x1943+104857600 ~x1942+52428800 ~x1941+26214400 ~x1940+13107200 ~x1939+6553600 ~x1938+3276800 ~x1937+1638400 ~x1936+819200 ~x1935+409600 ~x1934+204800 ~x1933+102400 ~x1932+51200 ~x1931+25600 ~x1930+12800 ~x1929+6400 ~x1928+3200 ~x1927+1600 ~x1926+800 ~x1925+400 ~x1924+200 ~x1923+100 ~x1922+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000 x19+98304000 x18+49152000 x17+24576000 x16+12288000 x15+6144000 x14+3072000 x13+1536000 x12+768000 x11+384000 x10+192000 x9+96000 x8+48000 x7+24000 x6+12000 x5+6000 x4+3000 x3+1500 x2-0=244812991387
24.27/24.34	c 68719476736 ~x852157+34359738368 ~x852156+17179869184 ~x852155+8589934592 ~x852154+4294967296 ~x852153+2147483648 ~x852152+1073741824 ~x852151+536870912 ~x852150+268435456 ~x852149+134217728 ~x852148+67108864 ~x852147+33554432 ~x852146+16777216 ~x852145+8388608 ~x852144+4194304 ~x852143+2097152 ~x852142+1048576 ~x852141+524288 ~x852140+262144 ~x852139+131072 ~x852138+65536 ~x852137+32768 ~x852136+16384 ~x852135+8192 ~x852134+4096 ~x852133+2048 ~x852132+1024 ~x852131+512 ~x852130+256 ~x852129+128 ~x852128+64 ~x852127+32 ~x852126+16 ~x852125+8 ~x852124+4 ~x852123+2 ~x852122+1 ~x852121+53687091200 ~x1981+26843545600 ~x1980+13421772800 ~x1979+6710886400 ~x1978+3355443200 ~x1977+1677721600 ~x1976+838860800 ~x1975+419430400 ~x1974+209715200 ~x1973+104857600 ~x1972+52428800 ~x1971+26214400 ~x1970+13107200 ~x1969+6553600 ~x1968+3276800 ~x1967+1638400 ~x1966+819200 ~x1965+409600 ~x1964+204800 ~x1963+102400 ~x1962+51200 ~x1961+25600 ~x1960+12800 ~x1959+6400 ~x1958+3200 ~x1957+1600 ~x1956+800 ~x1955+400 ~x1954+200 ~x1953+100 ~x1952+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000 x19+98304000 x18+49152000 x17+24576000 x16+12288000 x15+6144000 x14+3072000 x13+1536000 x12+768000 x11+384000 x10+192000 x9+96000 x8+48000 x7+24000 x6+12000 x5+6000 x4+3000 x3+1500 x2-0=244812990363
26.07/26.17	c 68719476736 ~x933696+34359738368 ~x933695+17179869184 ~x933694+8589934592 ~x933693+4294967296 ~x933692+2147483648 ~x933691+1073741824 ~x933690+536870912 ~x933689+268435456 ~x933688+134217728 ~x933687+67108864 ~x933686+33554432 ~x933685+16777216 ~x933684+8388608 ~x933683+4194304 ~x933682+2097152 ~x933681+1048576 ~x933680+524288 ~x933679+262144 ~x933678+131072 ~x933677+65536 ~x933676+32768 ~x933675+16384 ~x933674+8192 ~x933673+4096 ~x933672+2048 ~x933671+1024 ~x933670+512 ~x933669+256 ~x933668+128 ~x933667+64 ~x933666+32 ~x933665+16 ~x933664+8 ~x933663+4 ~x933662+2 ~x933661+1 ~x933660+53687091200 ~x2011+26843545600 ~x2010+13421772800 ~x2009+6710886400 ~x2008+3355443200 ~x2007+1677721600 ~x2006+838860800 ~x2005+419430400 ~x2004+209715200 ~x2003+104857600 ~x2002+52428800 ~x2001+26214400 ~x2000+13107200 ~x1999+6553600 ~x1998+3276800 ~x1997+1638400 ~x1996+819200 ~x1995+409600 ~x1994+204800 ~x1993+102400 ~x1992+51200 ~x1991+25600 ~x1990+12800 ~x1989+6400 ~x1988+3200 ~x1987+1600 ~x1986+800 ~x1985+400 ~x1984+200 ~x1983+100 ~x1982+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000 x19+98304000 x18+49152000 x17+24576000 x16+12288000 x15+6144000 x14+3072000 x13+1536000 x12+768000 x11+384000 x10+192000 x9+96000 x8+48000 x7+24000 x6+12000 x5+6000 x4+3000 x3+1500 x2-0=244812989339
27.97/28.03	c 68719476736 ~x1015235+34359738368 ~x1015234+17179869184 ~x1015233+8589934592 ~x1015232+4294967296 ~x1015231+2147483648 ~x1015230+1073741824 ~x1015229+536870912 ~x1015228+268435456 ~x1015227+134217728 ~x1015226+67108864 ~x1015225+33554432 ~x1015224+16777216 ~x1015223+8388608 ~x1015222+4194304 ~x1015221+2097152 ~x1015220+1048576 ~x1015219+524288 ~x1015218+262144 ~x1015217+131072 ~x1015216+65536 ~x1015215+32768 ~x1015214+16384 ~x1015213+8192 ~x1015212+4096 ~x1015211+2048 ~x1015210+1024 ~x1015209+512 ~x1015208+256 ~x1015207+128 ~x1015206+64 ~x1015205+32 ~x1015204+16 ~x1015203+8 ~x1015202+4 ~x1015201+2 ~x1015200+1 ~x1015199+53687091200 ~x2041+26843545600 ~x2040+13421772800 ~x2039+6710886400 ~x2038+3355443200 ~x2037+1677721600 ~x2036+838860800 ~x2035+419430400 ~x2034+209715200 ~x2033+104857600 ~x2032+52428800 ~x2031+26214400 ~x2030+13107200 ~x2029+6553600 ~x2028+3276800 ~x2027+1638400 ~x2026+819200 ~x2025+409600 ~x2024+204800 ~x2023+102400 ~x2022+51200 ~x2021+25600 ~x2020+12800 ~x2019+6400 ~x2018+3200 ~x2017+1600 ~x2016+800 ~x2015+400 ~x2014+200 ~x2013+100 ~x2012+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x27+50331648000 x26+25165824000 x25+12582912000 x24+6291456000 x23+3145728000 x22+1572864000 x21+786432000 x20+393216000 x19+196608000 x18+98304000 x17+49152000 x16+24576000 x15+12288000 x14+6144000 x13+3072000 x12+1536000 x11+768000 x10+384000 x9+192000 x8+96000 x7+48000 x6+24000 x5+12000 x4+6000 x3+3000 x2-0=244812988315
29.77/29.86	c 68719476736 ~x1096228+34359738368 ~x1096227+17179869184 ~x1096226+8589934592 ~x1096225+4294967296 ~x1096224+2147483648 ~x1096223+1073741824 ~x1096222+536870912 ~x1096221+268435456 ~x1096220+134217728 ~x1096219+67108864 ~x1096218+33554432 ~x1096217+16777216 ~x1096216+8388608 ~x1096215+4194304 ~x1096214+2097152 ~x1096213+1048576 ~x1096212+524288 ~x1096211+262144 ~x1096210+131072 ~x1096209+65536 ~x1096208+32768 ~x1096207+16384 ~x1096206+8192 ~x1096205+4096 ~x1096204+2048 ~x1096203+1024 ~x1096202+512 ~x1096201+256 ~x1096200+128 ~x1096199+64 ~x1096198+32 ~x1096197+16 ~x1096196+8 ~x1096195+4 ~x1096194+2 ~x1096193+1 ~x1096192+53687091200 ~x2071+26843545600 ~x2070+13421772800 ~x2069+6710886400 ~x2068+3355443200 ~x2067+1677721600 ~x2066+838860800 ~x2065+419430400 ~x2064+209715200 ~x2063+104857600 ~x2062+52428800 ~x2061+26214400 ~x2060+13107200 ~x2059+6553600 ~x2058+3276800 ~x2057+1638400 ~x2056+819200 ~x2055+409600 ~x2054+204800 ~x2053+102400 ~x2052+51200 ~x2051+25600 ~x2050+12800 ~x2049+6400 ~x2048+3200 ~x2047+1600 ~x2046+800 ~x2045+400 ~x2044+200 ~x2043+100 ~x2042+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x27+50331648000 x26+25165824000 x25+12582912000 x24+6291456000 x23+3145728000 x22+1572864000 x21+786432000 x20+393216000 x19+196608000 x18+98304000 x17+49152000 x16+24576000 x15+12288000 x14+6144000 x13+3072000 x12+1536000 x11+768000 x10+384000 x9+192000 x8+96000 x7+48000 x6+24000 x5+12000 x4+6000 x3+3000 x2-0=244812987291
31.57/31.69	c 68719476736 ~x1177221+34359738368 ~x1177220+17179869184 ~x1177219+8589934592 ~x1177218+4294967296 ~x1177217+2147483648 ~x1177216+1073741824 ~x1177215+536870912 ~x1177214+268435456 ~x1177213+134217728 ~x1177212+67108864 ~x1177211+33554432 ~x1177210+16777216 ~x1177209+8388608 ~x1177208+4194304 ~x1177207+2097152 ~x1177206+1048576 ~x1177205+524288 ~x1177204+262144 ~x1177203+131072 ~x1177202+65536 ~x1177201+32768 ~x1177200+16384 ~x1177199+8192 ~x1177198+4096 ~x1177197+2048 ~x1177196+1024 ~x1177195+512 ~x1177194+256 ~x1177193+128 ~x1177192+64 ~x1177191+32 ~x1177190+16 ~x1177189+8 ~x1177188+4 ~x1177187+2 ~x1177186+1 ~x1177185+53687091200 ~x2101+26843545600 ~x2100+13421772800 ~x2099+6710886400 ~x2098+3355443200 ~x2097+1677721600 ~x2096+838860800 ~x2095+419430400 ~x2094+209715200 ~x2093+104857600 ~x2092+52428800 ~x2091+26214400 ~x2090+13107200 ~x2089+6553600 ~x2088+3276800 ~x2087+1638400 ~x2086+819200 ~x2085+409600 ~x2084+204800 ~x2083+102400 ~x2082+51200 ~x2081+25600 ~x2080+12800 ~x2079+6400 ~x2078+3200 ~x2077+1600 ~x2076+800 ~x2075+400 ~x2074+200 ~x2073+100 ~x2072+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+100663296000 x27+50331648000 x26+25165824000 x25+12582912000 x24+6291456000 x23+3145728000 x22+1572864000 x21+786432000 x20+393216000 x19+196608000 x18+98304000 x17+49152000 x16+24576000 x15+12288000 x14+6144000 x13+3072000 x12+1536000 x11+768000 x10+384000 x9+192000 x8+96000 x7+48000 x6+24000 x5+12000 x4+6000 x3+3000 x2-0=244812986267
33.47/33.54	c 68719476736 ~x1258214+34359738368 ~x1258213+17179869184 ~x1258212+8589934592 ~x1258211+4294967296 ~x1258210+2147483648 ~x1258209+1073741824 ~x1258208+536870912 ~x1258207+268435456 ~x1258206+134217728 ~x1258205+67108864 ~x1258204+33554432 ~x1258203+16777216 ~x1258202+8388608 ~x1258201+4194304 ~x1258200+2097152 ~x1258199+1048576 ~x1258198+524288 ~x1258197+262144 ~x1258196+131072 ~x1258195+65536 ~x1258194+32768 ~x1258193+16384 ~x1258192+8192 ~x1258191+4096 ~x1258190+2048 ~x1258189+1024 ~x1258188+512 ~x1258187+256 ~x1258186+128 ~x1258185+64 ~x1258184+32 ~x1258183+16 ~x1258182+8 ~x1258181+4 ~x1258180+2 ~x1258179+1 ~x1258178+53687091200 ~x2131+26843545600 ~x2130+13421772800 ~x2129+6710886400 ~x2128+3355443200 ~x2127+1677721600 ~x2126+838860800 ~x2125+419430400 ~x2124+209715200 ~x2123+104857600 ~x2122+52428800 ~x2121+26214400 ~x2120+13107200 ~x2119+6553600 ~x2118+3276800 ~x2117+1638400 ~x2116+819200 ~x2115+409600 ~x2114+204800 ~x2113+102400 ~x2112+51200 ~x2111+25600 ~x2110+12800 ~x2109+6400 ~x2108+3200 ~x2107+1600 ~x2106+800 ~x2105+400 ~x2104+200 ~x2103+100 ~x2102+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+62914560000 x26+31457280000 x25+15728640000 x24+7864320000 x23+3932160000 x22+1966080000 x21+983040000 x20+491520000 x19+245760000 x18+122880000 x17+61440000 x16+30720000 x15+15360000 x14+7680000 x13+3840000 x12+1920000 x11+960000 x10+480000 x9+240000 x8+120000 x7+60000 x6+30000 x5+15000 x4+7500 x3+3750 x2-0=244812985243
35.27/35.34	c 262144 ~x1338643+131072 ~x1338642+65536 ~x1338641+32768 ~x1338640+16384 ~x1338639+8192 ~x1338638+4096 ~x1338637+2048 ~x1338636+1024 ~x1338635+512 ~x1338634+256 ~x1338633+128 ~x1338632+64 ~x1338631+32 ~x1338630+16 ~x1338629+8 ~x1338628+4 ~x1338627+2 ~x1338626+1 ~x1338625+262144 x1370+131072 x1369+65536 x1368+32768 x1367+16384 x1366+8192 x1365+4096 x1364+2048 x1363+1024 x1362+512 x1361+256 x1360+128 x1359+64 x1358+32 x1357+16 x1356+8 x1355+4 x1354+2 x1353+1 x1352-0=933887
35.47/35.51	c 68719476736 ~x1345576+34359738368 ~x1345575+17179869184 ~x1345574+8589934592 ~x1345573+4294967296 ~x1345572+2147483648 ~x1345571+1073741824 ~x1345570+536870912 ~x1345569+268435456 ~x1345568+134217728 ~x1345567+67108864 ~x1345566+33554432 ~x1345565+16777216 ~x1345564+8388608 ~x1345563+4194304 ~x1345562+2097152 ~x1345561+1048576 ~x1345560+524288 ~x1345559+262144 ~x1345558+131072 ~x1345557+65536 ~x1345556+32768 ~x1345555+16384 ~x1345554+8192 ~x1345553+4096 ~x1345552+2048 ~x1345551+1024 ~x1345550+512 ~x1345549+256 ~x1345548+128 ~x1345547+64 ~x1345546+32 ~x1345545+16 ~x1345544+8 ~x1345543+4 ~x1345542+2 ~x1345541+1 ~x1345540+53687091200 ~x2161+26843545600 ~x2160+13421772800 ~x2159+6710886400 ~x2158+3355443200 ~x2157+1677721600 ~x2156+838860800 ~x2155+419430400 ~x2154+209715200 ~x2153+104857600 ~x2152+52428800 ~x2151+26214400 ~x2150+13107200 ~x2149+6553600 ~x2148+3276800 ~x2147+1638400 ~x2146+819200 ~x2145+409600 ~x2144+204800 ~x2143+102400 ~x2142+51200 ~x2141+25600 ~x2140+12800 ~x2139+6400 ~x2138+3200 ~x2137+1600 ~x2136+800 ~x2135+400 ~x2134+200 ~x2133+100 ~x2132+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+75497472000 x26+37748736000 x25+18874368000 x24+9437184000 x23+4718592000 x22+2359296000 x21+1179648000 x20+589824000 x19+294912000 x18+147456000 x17+73728000 x16+36864000 x15+18432000 x14+9216000 x13+4608000 x12+2304000 x11+1152000 x10+576000 x9+288000 x8+144000 x7+72000 x6+36000 x5+18000 x4+9000 x3+4500 x2-0=244812984219
37.27/37.32	c 1099511627776 ~x1426027+549755813888 ~x1426026+274877906944 ~x1426025+137438953472 ~x1426024+68719476736 ~x1426023+34359738368 ~x1426022+17179869184 ~x1426021+8589934592 ~x1426020+4294967296 ~x1426019+2147483648 ~x1426018+1073741824 ~x1426017+536870912 ~x1426016+268435456 ~x1426015+134217728 ~x1426014+67108864 ~x1426013+33554432 ~x1426012+16777216 ~x1426011+8388608 ~x1426010+4194304 ~x1426009+2097152 ~x1426008+1048576 ~x1426007+524288 ~x1426006+262144 ~x1426005+131072 ~x1426004+65536 ~x1426003+32768 ~x1426002+16384 ~x1426001+8192 ~x1426000+4096 ~x1425999+2048 ~x1425998+1024 ~x1425997+512 ~x1425996+256 ~x1425995+128 ~x1425994+64 ~x1425993+32 ~x1425992+16 ~x1425991+8 ~x1425990+4 ~x1425989+2 ~x1425988+1 ~x1425987+838860800000 x3447+419430400000 x3446+209715200000 x3445+104857600000 x3444+52428800000 x3443+26214400000 x3442+13107200000 x3441+6553600000 x3440+3276800000 x3439+1638400000 x3438+819200000 x3437+409600000 x3436+204800000 x3435+102400000 x3434+51200000 x3433+25600000 x3432+12800000 x3431+6400000 x3430+3200000 x3429+1600000 x3428+800000 x3427+400000 x3426+200000 x3425+100000 x3424+50000 x3423+25000 x3422+838860800000 x387+419430400000 x386+209715200000 x385+104857600000 x384+52428800000 x383+26214400000 x382+13107200000 x381+6553600000 x380+3276800000 x379+1638400000 x378+819200000 x377+409600000 x376+204800000 x375+102400000 x374+51200000 x373+25600000 x372+12800000 x371+6400000 x370+3200000 x369+1600000 x368+800000 x367+400000 x366+200000 x365+100000 x364+50000 x363+25000 x362+603979776000 ~x31+301989888000 ~x30+150994944000 ~x29+75497472000 ~x28+37748736000 ~x27+18874368000 ~x26+9437184000 ~x25+4718592000 ~x24+2359296000 ~x23+1179648000 ~x22+589824000 ~x21+294912000 ~x20+147456000 ~x19+73728000 ~x18+36864000 ~x17+18432000 ~x16+9216000 ~x15+4608000 ~x14+2304000 ~x13+1152000 ~x12+576000 ~x11+288000 ~x10+144000 ~x9+72000 ~x8+36000 ~x7+18000 ~x6+9000 ~x5+4500 ~x4+2250 ~x3+1125 ~x2-0=3406982768282
38.86/38.98	c 34359738368 ~x1500270+17179869184 ~x1500269+8589934592 ~x1500268+4294967296 ~x1500267+2147483648 ~x1500266+1073741824 ~x1500265+536870912 ~x1500264+268435456 ~x1500263+134217728 ~x1500262+67108864 ~x1500261+33554432 ~x1500260+16777216 ~x1500259+8388608 ~x1500258+4194304 ~x1500257+2097152 ~x1500256+1048576 ~x1500255+524288 ~x1500254+262144 ~x1500253+131072 ~x1500252+65536 ~x1500251+32768 ~x1500250+16384 ~x1500249+8192 ~x1500248+4096 ~x1500247+2048 ~x1500246+1024 ~x1500245+512 ~x1500244+256 ~x1500243+128 ~x1500242+64 ~x1500241+32 ~x1500240+16 ~x1500239+8 ~x1500238+4 ~x1500237+2 ~x1500236+1 ~x1500235+33554432000 x3477+16777216000 x3476+8388608000 x3475+4194304000 x3474+2097152000 x3473+1048576000 x3472+524288000 x3471+262144000 x3470+131072000 x3469+65536000 x3468+32768000 x3467+16384000 x3466+8192000 x3465+4096000 x3464+2048000 x3463+1024000 x3462+512000 x3461+256000 x3460+128000 x3459+64000 x3458+32000 x3457+16000 x3456+8000 x3455+4000 x3454+2000 x3453+1000 x3452+26843545600 x416+13421772800 x415+6710886400 x414+3355443200 x413+1677721600 x412+838860800 x411+419430400 x410+209715200 x409+104857600 x408+52428800 x407+26214400 x406+13107200 x405+6553600 x404+3276800 x403+1638400 x402+819200 x401+409600 x400+204800 x399+102400 x398+51200 x397+25600 x396+12800 x395+6400 x394+3200 x393+1600 x392+24159191040 ~x31+12079595520 ~x30+6039797760 ~x29+3019898880 ~x28+1509949440 ~x27+754974720 ~x26+377487360 ~x25+188743680 ~x24+94371840 ~x23+47185920 ~x22+23592960 ~x21+11796480 ~x20+5898240 ~x19+2949120 ~x18+1474560 ~x17+737280 ~x16+368640 ~x15+184320 ~x14+92160 ~x13+46080 ~x12+23040 ~x11+11520 ~x10+5760 ~x9+2880 ~x8+1440 ~x7+720 ~x6+360 ~x5+180 ~x4+90 ~x3+45 ~x2-0=117037857234
40.26/40.37	c 1099511627776 ~x1560519+549755813888 ~x1560518+274877906944 ~x1560517+137438953472 ~x1560516+68719476736 ~x1560515+34359738368 ~x1560514+17179869184 ~x1560513+8589934592 ~x1560512+4294967296 ~x1560511+2147483648 ~x1560510+1073741824 ~x1560509+536870912 ~x1560508+268435456 ~x1560507+134217728 ~x1560506+67108864 ~x1560505+33554432 ~x1560504+16777216 ~x1560503+8388608 ~x1560502+4194304 ~x1560501+2097152 ~x1560500+1048576 ~x1560499+524288 ~x1560498+262144 ~x1560497+131072 ~x1560496+65536 ~x1560495+32768 ~x1560494+16384 ~x1560493+8192 ~x1560492+4096 ~x1560491+2048 ~x1560490+1024 ~x1560489+512 ~x1560488+256 ~x1560487+128 ~x1560486+64 ~x1560485+32 ~x1560484+16 ~x1560483+8 ~x1560482+4 ~x1560481+2 ~x1560480+1 ~x1560479+838860800000 x3507+419430400000 x3506+209715200000 x3505+104857600000 x3504+52428800000 x3503+26214400000 x3502+13107200000 x3501+6553600000 x3500+3276800000 x3499+1638400000 x3498+819200000 x3497+409600000 x3496+204800000 x3495+102400000 x3494+51200000 x3493+25600000 x3492+12800000 x3491+6400000 x3490+3200000 x3489+1600000 x3488+800000 x3487+400000 x3486+200000 x3485+100000 x3484+50000 x3483+25000 x3482+1090519040000 x447+545259520000 x446+272629760000 x445+136314880000 x444+68157440000 x443+34078720000 x442+17039360000 x441+8519680000 x440+4259840000 x439+2129920000 x438+1064960000 x437+532480000 x436+266240000 x435+133120000 x434+66560000 x433+33280000 x432+16640000 x431+8320000 x430+4160000 x429+2080000 x428+1040000 x427+520000 x426+260000 x425+130000 x424+65000 x423+32500 x422+603979776000 ~x31+301989888000 ~x30+150994944000 ~x29+75497472000 ~x28+37748736000 ~x27+18874368000 ~x26+9437184000 ~x25+4718592000 ~x24+2359296000 ~x23+1179648000 ~x22+589824000 ~x21+294912000 ~x20+147456000 ~x19+73728000 ~x18+36864000 ~x17+18432000 ~x16+9216000 ~x15+4608000 ~x14+2304000 ~x13+1152000 ~x12+576000 ~x11+288000 ~x10+144000 ~x9+72000 ~x8+36000 ~x7+18000 ~x6+9000 ~x5+4500 ~x4+2250 ~x3+1125 ~x2-0=3406982767770
41.96/42.03	c 1099511627776 ~x1634767+549755813888 ~x1634766+274877906944 ~x1634765+137438953472 ~x1634764+68719476736 ~x1634763+34359738368 ~x1634762+17179869184 ~x1634761+8589934592 ~x1634760+4294967296 ~x1634759+2147483648 ~x1634758+1073741824 ~x1634757+536870912 ~x1634756+268435456 ~x1634755+134217728 ~x1634754+67108864 ~x1634753+33554432 ~x1634752+16777216 ~x1634751+8388608 ~x1634750+4194304 ~x1634749+2097152 ~x1634748+1048576 ~x1634747+524288 ~x1634746+262144 ~x1634745+131072 ~x1634744+65536 ~x1634743+32768 ~x1634742+16384 ~x1634741+8192 ~x1634740+4096 ~x1634739+2048 ~x1634738+1024 ~x1634737+512 ~x1634736+256 ~x1634735+128 ~x1634734+64 ~x1634733+32 ~x1634732+16 ~x1634731+8 ~x1634730+4 ~x1634729+2 ~x1634728+1 ~x1634727+838860800000 x3537+419430400000 x3536+209715200000 x3535+104857600000 x3534+52428800000 x3533+26214400000 x3532+13107200000 x3531+6553600000 x3530+3276800000 x3529+1638400000 x3528+819200000 x3527+409600000 x3526+204800000 x3525+102400000 x3524+51200000 x3523+25600000 x3522+12800000 x3521+6400000 x3520+3200000 x3519+1600000 x3518+800000 x3517+400000 x3516+200000 x3515+100000 x3514+50000 x3513+25000 x3512+1149239296000 x477+574619648000 x476+287309824000 x475+143654912000 x474+71827456000 x473+35913728000 x472+17956864000 x471+8978432000 x470+4489216000 x469+2244608000 x468+1122304000 x467+561152000 x466+280576000 x465+140288000 x464+70144000 x463+35072000 x462+17536000 x461+8768000 x460+4384000 x459+2192000 x458+1096000 x457+548000 x456+274000 x455+137000 x454+68500 x453+34250 x452+603979776000 ~x31+301989888000 ~x30+150994944000 ~x29+75497472000 ~x28+37748736000 ~x27+18874368000 ~x26+9437184000 ~x25+4718592000 ~x24+2359296000 ~x23+1179648000 ~x22+589824000 ~x21+294912000 ~x20+147456000 ~x19+73728000 ~x18+36864000 ~x17+18432000 ~x16+9216000 ~x15+4608000 ~x14+2304000 ~x13+1152000 ~x12+576000 ~x11+288000 ~x10+144000 ~x9+72000 ~x8+36000 ~x7+18000 ~x6+9000 ~x5+4500 ~x4+2250 ~x3+1125 ~x2-0=3406982767514
43.57/43.70	c 1099511627776 ~x1709015+549755813888 ~x1709014+274877906944 ~x1709013+137438953472 ~x1709012+68719476736 ~x1709011+34359738368 ~x1709010+17179869184 ~x1709009+8589934592 ~x1709008+4294967296 ~x1709007+2147483648 ~x1709006+1073741824 ~x1709005+536870912 ~x1709004+268435456 ~x1709003+134217728 ~x1709002+67108864 ~x1709001+33554432 ~x1709000+16777216 ~x1708999+8388608 ~x1708998+4194304 ~x1708997+2097152 ~x1708996+1048576 ~x1708995+524288 ~x1708994+262144 ~x1708993+131072 ~x1708992+65536 ~x1708991+32768 ~x1708990+16384 ~x1708989+8192 ~x1708988+4096 ~x1708987+2048 ~x1708986+1024 ~x1708985+512 ~x1708984+256 ~x1708983+128 ~x1708982+64 ~x1708981+32 ~x1708980+16 ~x1708979+8 ~x1708978+4 ~x1708977+2 ~x1708976+1 ~x1708975+838860800000 x3566+419430400000 x3565+209715200000 x3564+104857600000 x3563+52428800000 x3562+26214400000 x3561+13107200000 x3560+6553600000 x3559+3276800000 x3558+1638400000 x3557+819200000 x3556+409600000 x3555+204800000 x3554+102400000 x3553+51200000 x3552+25600000 x3551+12800000 x3550+6400000 x3549+3200000 x3548+1600000 x3547+800000 x3546+400000 x3545+200000 x3544+100000 x3543+50000 x3542+1006632960000 x506+503316480000 x505+251658240000 x504+125829120000 x503+62914560000 x502+31457280000 x501+15728640000 x500+7864320000 x499+3932160000 x498+1966080000 x497+983040000 x496+491520000 x495+245760000 x494+122880000 x493+61440000 x492+30720000 x491+15360000 x490+7680000 x489+3840000 x488+1920000 x487+960000 x486+480000 x485+240000 x484+120000 x483+60000 x482+603979776000 ~x31+301989888000 ~x30+150994944000 ~x29+75497472000 ~x28+37748736000 ~x27+18874368000 ~x26+9437184000 ~x25+4718592000 ~x24+2359296000 ~x23+1179648000 ~x22+589824000 ~x21+294912000 ~x20+147456000 ~x19+73728000 ~x18+36864000 ~x17+18432000 ~x16+9216000 ~x15+4608000 ~x14+2304000 ~x13+1152000 ~x12+576000 ~x11+288000 ~x10+144000 ~x9+72000 ~x8+36000 ~x7+18000 ~x6+9000 ~x5+4500 ~x4+2250 ~x3+1125 ~x2-0=3406982728090
45.27/45.35	c 35184372088832 ~x1781990+17592186044416 ~x1781989+8796093022208 ~x1781988+4398046511104 ~x1781987+2199023255552 ~x1781986+1099511627776 ~x1781985+549755813888 ~x1781984+274877906944 ~x1781983+137438953472 ~x1781982+68719476736 ~x1781981+34359738368 ~x1781980+17179869184 ~x1781979+8589934592 ~x1781978+4294967296 ~x1781977+2147483648 ~x1781976+1073741824 ~x1781975+536870912 ~x1781974+268435456 ~x1781973+134217728 ~x1781972+67108864 ~x1781971+33554432 ~x1781970+16777216 ~x1781969+8388608 ~x1781968+4194304 ~x1781967+2097152 ~x1781966+1048576 ~x1781965+524288 ~x1781964+262144 ~x1781963+131072 ~x1781962+65536 ~x1781961+32768 ~x1781960+16384 ~x1781959+8192 ~x1781958+4096 ~x1781957+2048 ~x1781956+1024 ~x1781955+512 ~x1781954+256 ~x1781953+128 ~x1781952+64 ~x1781951+32 ~x1781950+16 ~x1781949+8 ~x1781948+4 ~x1781947+2 ~x1781946+1 ~x1781945+13421772800000 ~x3451+6710886400000 ~x3450+3355443200000 ~x3449+1677721600000 ~x3448+838860800000 ~x3447+419430400000 ~x3446+209715200000 ~x3445+104857600000 ~x3444+52428800000 ~x3443+26214400000 ~x3442+13107200000 ~x3441+6553600000 ~x3440+3276800000 ~x3439+1638400000 ~x3438+819200000 ~x3437+409600000 ~x3436+204800000 ~x3435+102400000 ~x3434+51200000 ~x3433+25600000 ~x3432+12800000 ~x3431+6400000 ~x3430+3200000 ~x3429+1600000 ~x3428+800000 ~x3427+400000 ~x3426+200000 ~x3425+100000 ~x3424+50000 ~x3423+25000 ~x3422+13421772800000 ~x391+6710886400000 ~x390+3355443200000 ~x389+1677721600000 ~x388+838860800000 ~x387+419430400000 ~x386+209715200000 ~x385+104857600000 ~x384+52428800000 ~x383+26214400000 ~x382+13107200000 ~x381+6553600000 ~x380+3276800000 ~x379+1638400000 ~x378+819200000 ~x377+409600000 ~x376+204800000 ~x375+102400000 ~x374+51200000 ~x373+25600000 ~x372+12800000 ~x371+6400000 ~x370+3200000 ~x369+1600000 ~x368+800000 ~x367+400000 ~x366+200000 ~x365+100000 ~x364+50000 ~x363+25000 ~x362+201326592000 x61+100663296000 x60+50331648000 x59+25165824000 x58+12582912000 x57+6291456000 x56+3145728000 x55+1572864000 x54+786432000 x53+393216000 x52+196608000 x51+98304000 x50+49152000 x49+24576000 x48+12288000 x47+6144000 x46+3072000 x45+1536000 x44+768000 x43+384000 x42+192000 x41+96000 x40+48000 x39+24000 x38+12000 x37+6000 x36+3000 x35+1500 x34+750 x33+375 x32+1207959552000 x31+603979776000 x30+301989888000 x29+150994944000 x28+75497472000 x27+37748736000 x26+18874368000 x25+9437184000 x24+4718592000 x23+2359296000 x22+1179648000 x21+589824000 x20+294912000 x19+147456000 x18+73728000 x17+36864000 x16+18432000 x15+9216000 x14+4608000 x13+2304000 x12+1152000 x11+576000 x10+288000 x9+144000 x8+72000 x7+36000 x6+18000 x5+9000 x4+4500 x3+2250 x2-0=124055835288239
47.56/47.67	c 8796093022208 ~x1885651+4398046511104 ~x1885650+2199023255552 ~x1885649+1099511627776 ~x1885648+549755813888 ~x1885647+274877906944 ~x1885646+137438953472 ~x1885645+68719476736 ~x1885644+34359738368 ~x1885643+17179869184 ~x1885642+8589934592 ~x1885641+4294967296 ~x1885640+2147483648 ~x1885639+1073741824 ~x1885638+536870912 ~x1885637+268435456 ~x1885636+134217728 ~x1885635+67108864 ~x1885634+33554432 ~x1885633+16777216 ~x1885632+8388608 ~x1885631+4194304 ~x1885630+2097152 ~x1885629+1048576 ~x1885628+524288 ~x1885627+262144 ~x1885626+131072 ~x1885625+65536 ~x1885624+32768 ~x1885623+16384 ~x1885622+8192 ~x1885621+4096 ~x1885620+2048 ~x1885619+1024 ~x1885618+512 ~x1885617+256 ~x1885616+128 ~x1885615+64 ~x1885614+32 ~x1885613+16 ~x1885612+8 ~x1885611+4 ~x1885610+2 ~x1885609+1 ~x1885608+2684354560000 ~x3481+1342177280000 ~x3480+671088640000 ~x3479+335544320000 ~x3478+167772160000 ~x3477+83886080000 ~x3476+41943040000 ~x3475+20971520000 ~x3474+10485760000 ~x3473+5242880000 ~x3472+2621440000 ~x3471+1310720000 ~x3470+655360000 ~x3469+327680000 ~x3468+163840000 ~x3467+81920000 ~x3466+40960000 ~x3465+20480000 ~x3464+10240000 ~x3463+5120000 ~x3462+2560000 ~x3461+1280000 ~x3460+640000 ~x3459+320000 ~x3458+160000 ~x3457+80000 ~x3456+40000 ~x3455+20000 ~x3454+10000 ~x3453+5000 ~x3452+4294967296000 ~x421+2147483648000 ~x420+1073741824000 ~x419+536870912000 ~x418+268435456000 ~x417+134217728000 ~x416+67108864000 ~x415+33554432000 ~x414+16777216000 ~x413+8388608000 ~x412+4194304000 ~x411+2097152000 ~x410+1048576000 ~x409+524288000 ~x408+262144000 ~x407+131072000 ~x406+65536000 ~x405+32768000 ~x404+16384000 ~x403+8192000 ~x402+4096000 ~x401+2048000 ~x400+1024000 ~x399+512000 ~x398+256000 ~x397+128000 ~x396+64000 ~x395+32000 ~x394+16000 ~x393+8000 ~x392+40265318400 x61+20132659200 x60+10066329600 x59+5033164800 x58+2516582400 x57+1258291200 x56+629145600 x55+314572800 x54+157286400 x53+78643200 x52+39321600 x51+19660800 x50+9830400 x49+4915200 x48+2457600 x47+1228800 x46+614400 x45+307200 x44+153600 x43+76800 x42+38400 x41+19200 x40+9600 x39+4800 x38+2400 x37+1200 x36+600 x35+300 x34+150 x33+75 x32+241591910400 x31+120795955200 x30+60397977600 x29+30198988800 x28+15099494400 x27+7549747200 x26+3774873600 x25+1887436800 x24+943718400 x23+471859200 x22+235929600 x21+117964800 x20+58982400 x19+29491200 x18+14745600 x17+7372800 x16+3686400 x15+1843200 x14+921600 x13+460800 x12+230400 x11+115200 x10+57600 x9+28800 x8+14400 x7+7200 x6+3600 x5+1800 x4+900 x3+450 x2-0=31550829735479
49.87/49.95	c 35184372088832 ~x1986138+17592186044416 ~x1986137+8796093022208 ~x1986136+4398046511104 ~x1986135+2199023255552 ~x1986134+1099511627776 ~x1986133+549755813888 ~x1986132+274877906944 ~x1986131+137438953472 ~x1986130+68719476736 ~x1986129+34359738368 ~x1986128+17179869184 ~x1986127+8589934592 ~x1986126+4294967296 ~x1986125+2147483648 ~x1986124+1073741824 ~x1986123+536870912 ~x1986122+268435456 ~x1986121+134217728 ~x1986120+67108864 ~x1986119+33554432 ~x1986118+16777216 ~x1986117+8388608 ~x1986116+4194304 ~x1986115+2097152 ~x1986114+1048576 ~x1986113+524288 ~x1986112+262144 ~x1986111+131072 ~x1986110+65536 ~x1986109+32768 ~x1986108+16384 ~x1986107+8192 ~x1986106+4096 ~x1986105+2048 ~x1986104+1024 ~x1986103+512 ~x1986102+256 ~x1986101+128 ~x1986100+64 ~x1986099+32 ~x1986098+16 ~x1986097+8 ~x1986096+4 ~x1986095+2 ~x1986094+1 ~x1986093+13421772800000 ~x3511+6710886400000 ~x3510+3355443200000 ~x3509+1677721600000 ~x3508+838860800000 ~x3507+419430400000 ~x3506+209715200000 ~x3505+104857600000 ~x3504+52428800000 ~x3503+26214400000 ~x3502+13107200000 ~x3501+6553600000 ~x3500+3276800000 ~x3499+1638400000 ~x3498+819200000 ~x3497+409600000 ~x3496+204800000 ~x3495+102400000 ~x3494+51200000 ~x3493+25600000 ~x3492+12800000 ~x3491+6400000 ~x3490+3200000 ~x3489+1600000 ~x3488+800000 ~x3487+400000 ~x3486+200000 ~x3485+100000 ~x3484+50000 ~x3483+25000 ~x3482+17448304640000 ~x451+8724152320000 ~x450+4362076160000 ~x449+2181038080000 ~x448+1090519040000 ~x447+545259520000 ~x446+272629760000 ~x445+136314880000 ~x444+68157440000 ~x443+34078720000 ~x442+17039360000 ~x441+8519680000 ~x440+4259840000 ~x439+2129920000 ~x438+1064960000 ~x437+532480000 ~x436+266240000 ~x435+133120000 ~x434+66560000 ~x433+33280000 ~x432+16640000 ~x431+8320000 ~x430+4160000 ~x429+2080000 ~x428+1040000 ~x427+520000 ~x426+260000 ~x425+130000 ~x424+65000 ~x423+32500 ~x422+201326592000 x61+100663296000 x60+50331648000 x59+25165824000 x58+12582912000 x57+6291456000 x56+3145728000 x55+1572864000 x54+786432000 x53+393216000 x52+196608000 x51+98304000 x50+49152000 x49+24576000 x48+12288000 x47+6144000 x46+3072000 x45+1536000 x44+768000 x43+384000 x42+192000 x41+96000 x40+48000 x39+24000 x38+12000 x37+6000 x36+3000 x35+1500 x34+750 x33+375 x32+1207959552000 x31+603979776000 x30+301989888000 x29+150994944000 x28+75497472000 x27+37748736000 x26+18874368000 x25+9437184000 x24+4718592000 x23+2359296000 x22+1179648000 x21+589824000 x20+294912000 x19+147456000 x18+73728000 x17+36864000 x16+18432000 x15+9216000 x14+4608000 x13+2304000 x12+1152000 x11+576000 x10+288000 x9+144000 x8+72000 x7+36000 x6+18000 x5+9000 x4+4500 x3+2250 x2-0=132108898960227
52.17/52.27	c 35184372088832 ~x2089801+17592186044416 ~x2089800+8796093022208 ~x2089799+4398046511104 ~x2089798+2199023255552 ~x2089797+1099511627776 ~x2089796+549755813888 ~x2089795+274877906944 ~x2089794+137438953472 ~x2089793+68719476736 ~x2089792+34359738368 ~x2089791+17179869184 ~x2089790+8589934592 ~x2089789+4294967296 ~x2089788+2147483648 ~x2089787+1073741824 ~x2089786+536870912 ~x2089785+268435456 ~x2089784+134217728 ~x2089783+67108864 ~x2089782+33554432 ~x2089781+16777216 ~x2089780+8388608 ~x2089779+4194304 ~x2089778+2097152 ~x2089777+1048576 ~x2089776+524288 ~x2089775+262144 ~x2089774+131072 ~x2089773+65536 ~x2089772+32768 ~x2089771+16384 ~x2089770+8192 ~x2089769+4096 ~x2089768+2048 ~x2089767+1024 ~x2089766+512 ~x2089765+256 ~x2089764+128 ~x2089763+64 ~x2089762+32 ~x2089761+16 ~x2089760+8 ~x2089759+4 ~x2089758+2 ~x2089757+1 ~x2089756+13421772800000 ~x3541+6710886400000 ~x3540+3355443200000 ~x3539+1677721600000 ~x3538+838860800000 ~x3537+419430400000 ~x3536+209715200000 ~x3535+104857600000 ~x3534+52428800000 ~x3533+26214400000 ~x3532+13107200000 ~x3531+6553600000 ~x3530+3276800000 ~x3529+1638400000 ~x3528+819200000 ~x3527+409600000 ~x3526+204800000 ~x3525+102400000 ~x3524+51200000 ~x3523+25600000 ~x3522+12800000 ~x3521+6400000 ~x3520+3200000 ~x3519+1600000 ~x3518+800000 ~x3517+400000 ~x3516+200000 ~x3515+100000 ~x3514+50000 ~x3513+25000 ~x3512+18387828736000 ~x481+9193914368000 ~x480+4596957184000 ~x479+2298478592000 ~x478+1149239296000 ~x477+574619648000 ~x476+287309824000 ~x475+143654912000 ~x474+71827456000 ~x473+35913728000 ~x472+17956864000 ~x471+8978432000 ~x470+4489216000 ~x469+2244608000 ~x468+1122304000 ~x467+561152000 ~x466+280576000 ~x465+140288000 ~x464+70144000 ~x463+35072000 ~x462+17536000 ~x461+8768000 ~x460+4384000 ~x459+2192000 ~x458+1096000 ~x457+548000 ~x456+274000 ~x455+137000 ~x454+68500 ~x453+34250 ~x452+201326592000 x61+100663296000 x60+50331648000 x59+25165824000 x58+12582912000 x57+6291456000 x56+3145728000 x55+1572864000 x54+786432000 x53+393216000 x52+196608000 x51+98304000 x50+49152000 x49+24576000 x48+12288000 x47+6144000 x46+3072000 x45+1536000 x44+768000 x43+384000 x42+192000 x41+96000 x40+48000 x39+24000 x38+12000 x37+6000 x36+3000 x35+1500 x34+750 x33+375 x32+1207959552000 x31+603979776000 x30+301989888000 x29+150994944000 x28+75497472000 x27+37748736000 x26+18874368000 x25+9437184000 x24+4718592000 x23+2359296000 x22+1179648000 x21+589824000 x20+294912000 x19+147456000 x18+73728000 x17+36864000 x16+18432000 x15+9216000 x14+4608000 x13+2304000 x12+1152000 x11+576000 x10+288000 x9+144000 x8+72000 x7+36000 x6+18000 x5+9000 x4+4500 x3+2250 x2-0=133987947150221
54.47/54.59	c 4294967296 ~x2193451+2147483648 ~x2193450+1073741824 ~x2193449+536870912 ~x2193448+268435456 ~x2193447+134217728 ~x2193446+67108864 ~x2193445+33554432 ~x2193444+16777216 ~x2193443+8388608 ~x2193442+4194304 ~x2193441+2097152 ~x2193440+1048576 ~x2193439+524288 ~x2193438+262144 ~x2193437+131072 ~x2193436+65536 ~x2193435+32768 ~x2193434+16384 ~x2193433+8192 ~x2193432+4096 ~x2193431+2048 ~x2193430+1024 ~x2193429+512 ~x2193428+256 ~x2193427+128 ~x2193426+64 ~x2193425+32 ~x2193424+16 ~x2193423+8 ~x2193422+4 ~x2193421+2 ~x2193420+1 ~x2193419+536870912 x4111+268435456 x4110+134217728 x4109+67108864 x4108+33554432 x4107+16777216 x4106+8388608 x4105+4194304 x4104+2097152 x4103+1048576 x4102+524288 x4101+262144 x4100+131072 x4099+65536 x4098+32768 x4097+16384 x4096+8192 x4095+4096 x4094+2048 x4093+1024 x4092+512 x4091+256 x4090+128 x4089+64 x4088+32 x4087+16 x4086+8 x4085+4 x4084+2 x4083+1 x4082+536870912 x1441+268435456 x1440+134217728 x1439+67108864 x1438+33554432 x1437+16777216 x1436+8388608 x1435+4194304 x1434+2097152 x1433+1048576 x1432+524288 x1431+262144 x1430+131072 x1429+65536 x1428+32768 x1427+16384 x1426+8192 x1425+4096 x1424+2048 x1423+1024 x1422+512 x1421+256 x1420+128 x1419+64 x1418+32 x1417+16 x1416+8 x1415+4 x1414+2 x1413+1 x1412+2684354560 ~x811+1342177280 ~x810+671088640 ~x809+335544320 ~x808+167772160 ~x807+83886080 ~x806+41943040 ~x805+20971520 ~x804+10485760 ~x803+5242880 ~x802+2621440 ~x801+1310720 ~x800+655360 ~x799+327680 ~x798+163840 ~x797+81920 ~x796+40960 ~x795+20480 ~x794+10240 ~x793+5120 ~x792+2560 ~x791+1280 ~x790+640 ~x789+320 ~x788+160 ~x787+80 ~x786+40 ~x785+20 ~x784+10 ~x783+5 ~x782-0=13956851706
55.76/55.80	c 35184372088832 ~x2247001+17592186044416 ~x2247000+8796093022208 ~x2246999+4398046511104 ~x2246998+2199023255552 ~x2246997+1099511627776 ~x2246996+549755813888 ~x2246995+274877906944 ~x2246994+137438953472 ~x2246993+68719476736 ~x2246992+34359738368 ~x2246991+17179869184 ~x2246990+8589934592 ~x2246989+4294967296 ~x2246988+2147483648 ~x2246987+1073741824 ~x2246986+536870912 ~x2246985+268435456 ~x2246984+134217728 ~x2246983+67108864 ~x2246982+33554432 ~x2246981+16777216 ~x2246980+8388608 ~x2246979+4194304 ~x2246978+2097152 ~x2246977+1048576 ~x2246976+524288 ~x2246975+262144 ~x2246974+131072 ~x2246973+65536 ~x2246972+32768 ~x2246971+16384 ~x2246970+8192 ~x2246969+4096 ~x2246968+2048 ~x2246967+1024 ~x2246966+512 ~x2246965+256 ~x2246964+128 ~x2246963+64 ~x2246962+32 ~x2246961+16 ~x2246960+8 ~x2246959+4 ~x2246958+2 ~x2246957+1 ~x2246956+13421772800000 ~x3571+6710886400000 ~x3570+3355443200000 ~x3569+1677721600000 ~x3568+838860800000 ~x3567+419430400000 ~x3566+209715200000 ~x3565+104857600000 ~x3564+52428800000 ~x3563+26214400000 ~x3562+13107200000 ~x3561+6553600000 ~x3560+3276800000 ~x3559+1638400000 ~x3558+819200000 ~x3557+409600000 ~x3556+204800000 ~x3555+102400000 ~x3554+51200000 ~x3553+25600000 ~x3552+12800000 ~x3551+6400000 ~x3550+3200000 ~x3549+1600000 ~x3548+800000 ~x3547+400000 ~x3546+200000 ~x3545+100000 ~x3544+50000 ~x3543+25000 ~x3542+16106127360000 ~x511+8053063680000 ~x510+4026531840000 ~x509+2013265920000 ~x508+1006632960000 ~x507+503316480000 ~x506+251658240000 ~x505+125829120000 ~x504+62914560000 ~x503+31457280000 ~x502+15728640000 ~x501+7864320000 ~x500+3932160000 ~x499+1966080000 ~x498+983040000 ~x497+491520000 ~x496+245760000 ~x495+122880000 ~x494+61440000 ~x493+30720000 ~x492+15360000 ~x491+7680000 ~x490+3840000 ~x489+1920000 ~x488+960000 ~x487+480000 ~x486+240000 ~x485+120000 ~x484+60000 ~x483+30000 ~x482+201326592000 x61+100663296000 x60+50331648000 x59+25165824000 x58+12582912000 x57+6291456000 x56+3145728000 x55+1572864000 x54+786432000 x53+393216000 x52+196608000 x51+98304000 x50+49152000 x49+24576000 x48+12288000 x47+6144000 x46+3072000 x45+1536000 x44+768000 x43+384000 x42+192000 x41+96000 x40+48000 x39+24000 x38+12000 x37+6000 x36+3000 x35+1500 x34+750 x33+375 x32+603979776000 x31+301989888000 x30+150994944000 x29+75497472000 x28+37748736000 x27+18874368000 x26+9437184000 x25+4718592000 x24+2359296000 x23+1179648000 x22+589824000 x21+294912000 x20+147456000 x19+73728000 x18+36864000 x17+18432000 x16+9216000 x15+4608000 x14+2304000 x13+1152000 x12+576000 x11+288000 x10+144000 x9+72000 x8+36000 x7+18000 x6+9000 x5+4500 x4+2250 x3+1125 x2-0=129424544402215
58.06/58.12	c 35184372088832 ~x2350574+17592186044416 ~x2350573+8796093022208 ~x2350572+4398046511104 ~x2350571+2199023255552 ~x2350570+1099511627776 ~x2350569+549755813888 ~x2350568+274877906944 ~x2350567+137438953472 ~x2350566+68719476736 ~x2350565+34359738368 ~x2350564+17179869184 ~x2350563+8589934592 ~x2350562+4294967296 ~x2350561+2147483648 ~x2350560+1073741824 ~x2350559+536870912 ~x2350558+268435456 ~x2350557+134217728 ~x2350556+67108864 ~x2350555+33554432 ~x2350554+16777216 ~x2350553+8388608 ~x2350552+4194304 ~x2350551+2097152 ~x2350550+1048576 ~x2350549+524288 ~x2350548+262144 ~x2350547+131072 ~x2350546+65536 ~x2350545+32768 ~x2350544+16384 ~x2350543+8192 ~x2350542+4096 ~x2350541+2048 ~x2350540+1024 ~x2350539+512 ~x2350538+256 ~x2350537+128 ~x2350536+64 ~x2350535+32 ~x2350534+16 ~x2350533+8 ~x2350532+4 ~x2350531+2 ~x2350530+1 ~x2350529+26843545600000 ~x2911+13421772800000 ~x2910+6710886400000 ~x2909+3355443200000 ~x2908+1677721600000 ~x2907+838860800000 ~x2906+419430400000 ~x2905+209715200000 ~x2904+104857600000 ~x2903+52428800000 ~x2902+26214400000 ~x2901+13107200000 ~x2900+6553600000 ~x2899+3276800000 ~x2898+1638400000 ~x2897+819200000 ~x2896+409600000 ~x2895+204800000 ~x2894+102400000 ~x2893+51200000 ~x2892+25600000 ~x2891+12800000 ~x2890+6400000 ~x2889+3200000 ~x2888+1600000 ~x2887+800000 ~x2886+400000 ~x2885+200000 ~x2884+100000 ~x2883+50000 ~x2882+603979776000 x91+301989888000 x90+150994944000 x89+75497472000 x88+37748736000 x87+18874368000 x86+9437184000 x85+4718592000 x84+2359296000 x83+1179648000 x82+589824000 x81+294912000 x80+147456000 x79+73728000 x78+36864000 x77+18432000 x76+9216000 x75+4608000 x74+2304000 x73+1152000 x72+576000 x71+288000 x70+144000 x69+72000 x68+36000 x67+18000 x66+9000 x65+4500 x64+2250 x63+1125 x62+805306368000 x61+402653184000 x60+201326592000 x59+100663296000 x58+50331648000 x57+25165824000 x56+12582912000 x55+6291456000 x54+3145728000 x53+1572864000 x52+786432000 x51+393216000 x50+196608000 x49+98304000 x48+49152000 x47+24576000 x46+12288000 x45+6144000 x44+3072000 x43+1536000 x42+768000 x41+384000 x40+192000 x39+96000 x38+48000 x37+24000 x36+12000 x35+6000 x34+3000 x33+1500 x32+805306368000 x31+402653184000 x30+201326592000 x29+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000 x19+98304000 x18+49152000 x17+24576000 x16+12288000 x15+6144000 x14+3072000 x13+1536000 x12+768000 x11+384000 x10+192000 x9+96000 x8+48000 x7+24000 x6+12000 x5+6000 x4+3000 x3+1500 x2-0=124055835246255
60.37/60.48	c 8796093022208 ~x2453965+4398046511104 ~x2453964+2199023255552 ~x2453963+1099511627776 ~x2453962+549755813888 ~x2453961+274877906944 ~x2453960+137438953472 ~x2453959+68719476736 ~x2453958+34359738368 ~x2453957+17179869184 ~x2453956+8589934592 ~x2453955+4294967296 ~x2453954+2147483648 ~x2453953+1073741824 ~x2453952+536870912 ~x2453951+268435456 ~x2453950+134217728 ~x2453949+67108864 ~x2453948+33554432 ~x2453947+16777216 ~x2453946+8388608 ~x2453945+4194304 ~x2453944+2097152 ~x2453943+1048576 ~x2453942+524288 ~x2453941+262144 ~x2453940+131072 ~x2453939+65536 ~x2453938+32768 ~x2453937+16384 ~x2453936+8192 ~x2453935+4096 ~x2453934+2048 ~x2453933+1024 ~x2453932+512 ~x2453931+256 ~x2453930+128 ~x2453929+64 ~x2453928+32 ~x2453927+16 ~x2453926+8 ~x2453925+4 ~x2453924+2 ~x2453923+1 ~x2453922+5368709120000 ~x2941+2684354560000 ~x2940+1342177280000 ~x2939+671088640000 ~x2938+335544320000 ~x2937+167772160000 ~x2936+83886080000 ~x2935+41943040000 ~x2934+20971520000 ~x2933+10485760000 ~x2932+5242880000 ~x2931+2621440000 ~x2930+1310720000 ~x2929+655360000 ~x2928+327680000 ~x2927+163840000 ~x2926+81920000 ~x2925+40960000 ~x2924+20480000 ~x2923+10240000 ~x2922+5120000 ~x2921+2560000 ~x2920+1280000 ~x2919+640000 ~x2918+320000 ~x2917+160000 ~x2916+80000 ~x2915+40000 ~x2914+20000 ~x2913+10000 ~x2912+120795955200 x91+60397977600 x90+30198988800 x89+15099494400 x88+7549747200 x87+3774873600 x86+1887436800 x85+943718400 x84+471859200 x83+235929600 x82+117964800 x81+58982400 x80+29491200 x79+14745600 x78+7372800 x77+3686400 x76+1843200 x75+921600 x74+460800 x73+230400 x72+115200 x71+57600 x70+28800 x69+14400 x68+7200 x67+3600 x66+1800 x65+900 x64+450 x63+225 x62+120795955200 x61+60397977600 x60+30198988800 x59+15099494400 x58+7549747200 x57+3774873600 x56+1887436800 x55+943718400 x54+471859200 x53+235929600 x52+117964800 x51+58982400 x50+29491200 x49+14745600 x48+7372800 x47+3686400 x46+1843200 x45+921600 x44+460800 x43+230400 x42+115200 x41+57600 x40+28800 x39+14400 x38+7200 x37+3600 x36+1800 x35+900 x34+450 x33+225 x32+161061273600 x31+80530636800 x30+40265318400 x29+20132659200 x28+10066329600 x27+5033164800 x26+2516582400 x25+1258291200 x24+629145600 x23+314572800 x22+157286400 x21+78643200 x20+39321600 x19+19660800 x18+9830400 x17+4915200 x16+2457600 x15+1228800 x14+614400 x13+307200 x12+153600 x11+76800 x10+38400 x9+19200 x8+9600 x7+4800 x6+2400 x5+1200 x4+600 x3+300 x2-0=28329604258031
62.67/62.73	c 35184372088832 ~x2554452+17592186044416 ~x2554451+8796093022208 ~x2554450+4398046511104 ~x2554449+2199023255552 ~x2554448+1099511627776 ~x2554447+549755813888 ~x2554446+274877906944 ~x2554445+137438953472 ~x2554444+68719476736 ~x2554443+34359738368 ~x2554442+17179869184 ~x2554441+8589934592 ~x2554440+4294967296 ~x2554439+2147483648 ~x2554438+1073741824 ~x2554437+536870912 ~x2554436+268435456 ~x2554435+134217728 ~x2554434+67108864 ~x2554433+33554432 ~x2554432+16777216 ~x2554431+8388608 ~x2554430+4194304 ~x2554429+2097152 ~x2554428+1048576 ~x2554427+524288 ~x2554426+262144 ~x2554425+131072 ~x2554424+65536 ~x2554423+32768 ~x2554422+16384 ~x2554421+8192 ~x2554420+4096 ~x2554419+2048 ~x2554418+1024 ~x2554417+512 ~x2554416+256 ~x2554415+128 ~x2554414+64 ~x2554413+32 ~x2554412+16 ~x2554411+8 ~x2554410+4 ~x2554409+2 ~x2554408+1 ~x2554407+26843545600000 ~x2971+13421772800000 ~x2970+6710886400000 ~x2969+3355443200000 ~x2968+1677721600000 ~x2967+838860800000 ~x2966+419430400000 ~x2965+209715200000 ~x2964+104857600000 ~x2963+52428800000 ~x2962+26214400000 ~x2961+13107200000 ~x2960+6553600000 ~x2959+3276800000 ~x2958+1638400000 ~x2957+819200000 ~x2956+409600000 ~x2955+204800000 ~x2954+102400000 ~x2953+51200000 ~x2952+25600000 ~x2951+12800000 ~x2950+6400000 ~x2949+3200000 ~x2948+1600000 ~x2947+800000 ~x2946+400000 ~x2945+200000 ~x2944+100000 ~x2943+50000 ~x2942+603979776000 x91+301989888000 x90+150994944000 x89+75497472000 x88+37748736000 x87+18874368000 x86+9437184000 x85+4718592000 x84+2359296000 x83+1179648000 x82+589824000 x81+294912000 x80+147456000 x79+73728000 x78+36864000 x77+18432000 x76+9216000 x75+4608000 x74+2304000 x73+1152000 x72+576000 x71+288000 x70+144000 x69+72000 x68+36000 x67+18000 x66+9000 x65+4500 x64+2250 x63+1125 x62+603979776000 x61+301989888000 x60+150994944000 x59+75497472000 x58+37748736000 x57+18874368000 x56+9437184000 x55+4718592000 x54+2359296000 x53+1179648000 x52+589824000 x51+294912000 x50+147456000 x49+73728000 x48+36864000 x47+18432000 x46+9216000 x45+4608000 x44+2304000 x43+1152000 x42+576000 x41+288000 x40+144000 x39+72000 x38+36000 x37+18000 x36+9000 x35+4500 x34+2250 x33+1125 x32+805306368000 x31+402653184000 x30+201326592000 x29+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000 x19+98304000 x18+49152000 x17+24576000 x16+12288000 x15+6144000 x14+3072000 x13+1536000 x12+768000 x11+384000 x10+192000 x9+96000 x8+48000 x7+24000 x6+12000 x5+6000 x4+3000 x3+1500 x2-0=124055835245231
64.96/65.05	c 35184372088832 ~x2657935+17592186044416 ~x2657934+8796093022208 ~x2657933+4398046511104 ~x2657932+2199023255552 ~x2657931+1099511627776 ~x2657930+549755813888 ~x2657929+274877906944 ~x2657928+137438953472 ~x2657927+68719476736 ~x2657926+34359738368 ~x2657925+17179869184 ~x2657924+8589934592 ~x2657923+4294967296 ~x2657922+2147483648 ~x2657921+1073741824 ~x2657920+536870912 ~x2657919+268435456 ~x2657918+134217728 ~x2657917+67108864 ~x2657916+33554432 ~x2657915+16777216 ~x2657914+8388608 ~x2657913+4194304 ~x2657912+2097152 ~x2657911+1048576 ~x2657910+524288 ~x2657909+262144 ~x2657908+131072 ~x2657907+65536 ~x2657906+32768 ~x2657905+16384 ~x2657904+8192 ~x2657903+4096 ~x2657902+2048 ~x2657901+1024 ~x2657900+512 ~x2657899+256 ~x2657898+128 ~x2657897+64 ~x2657896+32 ~x2657895+16 ~x2657894+8 ~x2657893+4 ~x2657892+2 ~x2657891+1 ~x2657890+26843545600000 ~x3001+13421772800000 ~x3000+6710886400000 ~x2999+3355443200000 ~x2998+1677721600000 ~x2997+838860800000 ~x2996+419430400000 ~x2995+209715200000 ~x2994+104857600000 ~x2993+52428800000 ~x2992+26214400000 ~x2991+13107200000 ~x2990+6553600000 ~x2989+3276800000 ~x2988+1638400000 ~x2987+819200000 ~x2986+409600000 ~x2985+204800000 ~x2984+102400000 ~x2983+51200000 ~x2982+25600000 ~x2981+12800000 ~x2980+6400000 ~x2979+3200000 ~x2978+1600000 ~x2977+800000 ~x2976+400000 ~x2975+200000 ~x2974+100000 ~x2973+50000 ~x2972+603979776000 x91+301989888000 x90+150994944000 x89+75497472000 x88+37748736000 x87+18874368000 x86+9437184000 x85+4718592000 x84+2359296000 x83+1179648000 x82+589824000 x81+294912000 x80+147456000 x79+73728000 x78+36864000 x77+18432000 x76+9216000 x75+4608000 x74+2304000 x73+1152000 x72+576000 x71+288000 x70+144000 x69+72000 x68+36000 x67+18000 x66+9000 x65+4500 x64+2250 x63+1125 x62+603979776000 x61+301989888000 x60+150994944000 x59+75497472000 x58+37748736000 x57+18874368000 x56+9437184000 x55+4718592000 x54+2359296000 x53+1179648000 x52+589824000 x51+294912000 x50+147456000 x49+73728000 x48+36864000 x47+18432000 x46+9216000 x45+4608000 x44+2304000 x43+1152000 x42+576000 x41+288000 x40+144000 x39+72000 x38+36000 x37+18000 x36+9000 x35+4500 x34+2250 x33+1125 x32+805306368000 x31+402653184000 x30+201326592000 x29+100663296000 x28+50331648000 x27+25165824000 x26+12582912000 x25+6291456000 x24+3145728000 x23+1572864000 x22+786432000 x21+393216000 x20+196608000

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674115-1276799653/watcher-2674115-1276799653 -o /tmp/evaluation-result-2674115-1276799653/solver-2674115-1276799653 -C 1800 -W 2000 -M 1800 run HOME/instance-2674115-1276799653.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.81 0.97 0.98 3/106 24576
/proc/meminfo: memFree=1868340/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0

[startup+0.052373 s]
/proc/loadavg: 0.81 0.97 0.98 3/106 24576
/proc/meminfo: memFree=1868340/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101376 s]
/proc/loadavg: 0.81 0.97 0.98 3/106 24576
/proc/meminfo: memFree=1868340/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301411 s]
/proc/loadavg: 0.81 0.97 0.98 3/106 24576
/proc/meminfo: memFree=1868340/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701452 s]
/proc/loadavg: 0.81 0.97 0.98 3/106 24576
/proc/meminfo: memFree=1868340/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50152 s]
/proc/loadavg: 0.81 0.97 0.98 2/108 24579
/proc/meminfo: memFree=1707744/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
[pid=24578] ppid=24576 vsize=225284 CPUtime=1.48
/proc/24578/stat : 24578 (PBPASSolver) R 24576 24576 24457 0 -1 4202496 56038 0 0 0 56 92 0 0 25 0 1 0 55569233 230690816 55753 1992294400 134512640 134902295 4292460416 18446744073709551615 134586919 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24578/statm: 56321 55757 256 96 0 55533 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 233984

[startup+3.10168 s]
/proc/loadavg: 0.81 0.97 0.98 2/108 24579
/proc/meminfo: memFree=1552620/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
[pid=24578] ppid=24576 vsize=454340 CPUtime=3.08
/proc/24578/stat : 24578 (PBPASSolver) R 24576 24576 24457 0 -1 4202496 113934 0 0 0 131 177 0 0 25 0 1 0 55569233 465244160 112977 1992294400 134512640 134902295 4292460416 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24578/statm: 113585 112984 256 96 0 112797 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 463040

[startup+6.30101 s]
/proc/loadavg: 0.83 0.97 0.98 2/108 24579
/proc/meminfo: memFree=1167104/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
[pid=24578] ppid=24576 vsize=724432 CPUtime=6.28
/proc/24578/stat : 24578 (PBPASSolver) R 24576 24576 24457 0 -1 4202496 187743 0 0 0 355 273 0 0 25 0 1 0 55569233 741818368 180193 1992294400 134512640 134902295 4292460416 18446744073709551615 4160044351 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24578/statm: 181108 180193 262 96 0 180320 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 733132

[startup+12.7017 s]
/proc/loadavg: 0.84 0.97 0.98 2/108 24579
/proc/meminfo: memFree=1048932/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
[pid=24578] ppid=24576 vsize=837328 CPUtime=12.68
/proc/24578/stat : 24578 (PBPASSolver) R 24576 24576 24457 0 -1 4202496 218582 0 0 0 983 285 0 0 25 0 1 0 55569233 857423872 207422 1992294400 134512640 134902295 4292460416 18446744073709551615 4160045099 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24578/statm: 209332 207422 262 96 0 208544 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 846028

[startup+25.501 s]
/proc/loadavg: 0.88 0.97 0.98 2/108 24579
/proc/meminfo: memFree=846564/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
[pid=24578] ppid=24576 vsize=1042536 CPUtime=25.48
/proc/24578/stat : 24578 (PBPASSolver) R 24576 24576 24457 0 -1 4202496 281697 0 0 0 2234 314 0 0 25 0 1 0 55569233 1067556864 256286 1992294400 134512640 134902295 4292460416 18446744073709551615 134520353 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24578/statm: 260634 256286 262 96 0 259846 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1051236

[startup+51.1016 s]
/proc/loadavg: 0.92 0.97 0.98 2/108 24579
/proc/meminfo: memFree=375736/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
[pid=24578] ppid=24576 vsize=1537796 CPUtime=51.06
/proc/24578/stat : 24578 (PBPASSolver) R 24576 24576 24457 0 -1 4202496 407059 0 0 0 4739 367 0 0 25 0 1 0 55569233 1574703104 374996 1992294400 134512640 134902295 4292460416 18446744073709551615 134789742 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24578/statm: 384449 374996 262 96 0 383661 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1546496



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+65.201 s]
/proc/loadavg: 0.93 0.97 0.98 2/108 24581
/proc/meminfo: memFree=103308/2059040 swapFree=4135316/4192956
[pid=24576] ppid=24574 vsize=8700 CPUtime=0
/proc/24576/stat : 24576 (run) S 24574 24576 24457 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 55569232 8908800 250 1992294400 4194304 4922060 140737411578448 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24576/statm: 2175 250 211 178 0 68 0
[pid=24578] ppid=24576 vsize=1839680 CPUtime=65.17
/proc/24578/stat : 24578 (PBPASSolver) R 24576 24576 24457 0 -1 4202496 472676 0 0 0 6119 398 0 0 25 0 1 0 55569233 1883832320 440461 1992294400 134512640 134902295 4292460416 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24578/statm: 459920 440461 262 96 0 459132 0
Current children cumulated CPU time (s) 65.17
Current children cumulated vsize (KiB) 1848380

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 24576 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 65.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 65.2143
CPU time (s): 65.17
CPU user time (s): 61.19
CPU system time (s): 3.98
CPU usage (%): 99.932
Max. virtual memory (cumulated for all children) (KiB): 1848380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523
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.121981 second user time and 0.318951 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-17 20:34:13
IDJOB=2674115
IDBENCH=2379
IDSOLVER=1174
FILE ID=node002/2674115-1276799653
PBS_JOBID= 11176669
Free space on /tmp= 62568 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-israel.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674115-1276799653/watcher-2674115-1276799653 -o /tmp/evaluation-result-2674115-1276799653/solver-2674115-1276799653 -C 1800 -W 2000 -M 1800  run HOME/instance-2674115-1276799653.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= eda4269ba1a2bb6f24002a9139c11119
RANDOM SEED=1054738490

node002.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.242
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.48
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.242
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.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1868736 kB
Buffers:         14960 kB
Cached:          82148 kB
SwapCached:      10464 kB
Active:           9248 kB
Inactive:       100592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1868736 kB
SwapTotal:     4192956 kB
SwapFree:      4135316 kB
Dirty:            1604 kB
Writeback:           0 kB
AnonPages:       11052 kB
Mapped:           9176 kB
Slab:            58580 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182336 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= 62568 MiB
End job on node002 at 2010-06-17 20:35:20