17.28/17.30	c 4464 168 0 0 0 0 0 0
17.28/17.30	c 4096 ~x679836+2048 ~x679835+1024 ~x679834+512 ~x679833+256 ~x679832+128 ~x679831+64 ~x679830+32 ~x679829+16 ~x679828+8 ~x679827+4 ~x679826+2 ~x679825+1 ~x679824+7168 x4322+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=16382
17.28/17.37	c 4096 ~x682536+2048 ~x682535+1024 ~x682534+512 ~x682533+256 ~x682532+128 ~x682531+64 ~x682530+32 ~x682529+16 ~x682528+8 ~x682527+4 ~x682526+2 ~x682525+1 ~x682524+6144 x4323+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-0=16382
17.38/17.44	c 16384 ~x685238+8192 ~x685237+4096 ~x685236+2048 ~x685235+1024 ~x685234+512 ~x685233+256 ~x685232+128 ~x685231+64 ~x685230+32 ~x685229+16 ~x685228+8 ~x685227+4 ~x685226+2 ~x685225+1 ~x685224+19456 x4324+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-0=65534
17.49/17.54	c 16384 ~x689273+8192 ~x689272+4096 ~x689271+2048 ~x689270+1024 ~x689269+512 ~x689268+256 ~x689267+128 ~x689266+64 ~x689265+32 ~x689264+16 ~x689263+8 ~x689262+4 ~x689261+2 ~x689260+1 ~x689259+24576 x4325+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=65534
17.59/17.65	c 16384 ~x693565+8192 ~x693564+4096 ~x693563+2048 ~x693562+1024 ~x693561+512 ~x693560+256 ~x693559+128 ~x693558+64 ~x693557+32 ~x693556+16 ~x693555+8 ~x693554+4 ~x693553+2 ~x693552+1 ~x693551+20480 x4326+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=65534
17.68/17.75	c 8192 ~x697856+4096 ~x697855+2048 ~x697854+1024 ~x697853+512 ~x697852+256 ~x697851+128 ~x697850+64 ~x697849+32 ~x697848+16 ~x697847+8 ~x697846+4 ~x697845+2 ~x697844+1 ~x697843+11264 x4327+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=32766
17.78/17.85	c 2048 ~x701570+1024 ~x701569+512 ~x701568+256 ~x701567+128 ~x701566+64 ~x701565+32 ~x701564+16 ~x701563+8 ~x701562+4 ~x701561+2 ~x701560+1 ~x701559+3072 x4328+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=8190
17.88/17.91	c 16384 ~x703921+8192 ~x703920+4096 ~x703919+2048 ~x703918+1024 ~x703917+512 ~x703916+256 ~x703915+128 ~x703914+64 ~x703913+32 ~x703912+16 ~x703911+8 ~x703910+4 ~x703909+2 ~x703908+1 ~x703907+24576 x4329+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=65534
17.98/18.02	c 8192 ~x708212+4096 ~x708211+2048 ~x708210+1024 ~x708209+512 ~x708208+256 ~x708207+128 ~x708206+64 ~x708205+32 ~x708204+16 ~x708203+8 ~x708202+4 ~x708201+2 ~x708200+1 ~x708199+10240 x4330+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-0=32766
18.08/18.11	c 16384 ~x711929+8192 ~x711928+4096 ~x711927+2048 ~x711926+1024 ~x711925+512 ~x711924+256 ~x711923+128 ~x711922+64 ~x711921+32 ~x711920+16 ~x711919+8 ~x711918+4 ~x711917+2 ~x711916+1 ~x711915+19456 x4331+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-0=65534
18.18/18.21	c 16384 ~x715964+8192 ~x715963+4096 ~x715962+2048 ~x715961+1024 ~x715960+512 ~x715959+256 ~x715958+128 ~x715957+64 ~x715956+32 ~x715955+16 ~x715954+8 ~x715953+4 ~x715952+2 ~x715951+1 ~x715950+24576 x4332+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-0=65534
18.28/18.32	c 4096 ~x720254+2048 ~x720253+1024 ~x720252+512 ~x720251+256 ~x720250+128 ~x720249+64 ~x720248+32 ~x720247+16 ~x720246+8 ~x720245+4 ~x720244+2 ~x720243+1 ~x720242+7168 x4333+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-0=16382
18.28/18.39	c 4096 ~x722954+2048 ~x722953+1024 ~x722952+512 ~x722951+256 ~x722950+128 ~x722949+64 ~x722948+32 ~x722947+16 ~x722946+8 ~x722945+4 ~x722944+2 ~x722943+1 ~x722942+6144 x4334+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-0=16382
18.38/18.46	c 16384 ~x725656+8192 ~x725655+4096 ~x725654+2048 ~x725653+1024 ~x725652+512 ~x725651+256 ~x725650+128 ~x725649+64 ~x725648+32 ~x725647+16 ~x725646+8 ~x725645+4 ~x725644+2 ~x725643+1 ~x725642+23552 x4335+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-0=65534
18.48/18.56	c 16384 ~x729948+8192 ~x729947+4096 ~x729946+2048 ~x729945+1024 ~x729944+512 ~x729943+256 ~x729942+128 ~x729941+64 ~x729940+32 ~x729939+16 ~x729938+8 ~x729937+4 ~x729936+2 ~x729935+1 ~x729934+17408 x4336+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-0=65534
18.59/18.66	c 4096 ~x733981+2048 ~x733980+1024 ~x733979+512 ~x733978+256 ~x733977+128 ~x733976+64 ~x733975+32 ~x733974+16 ~x733973+8 ~x733972+4 ~x733971+2 ~x733970+1 ~x733969+6144 x4337+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-0=16382
18.68/18.73	c 16384 ~x736683+8192 ~x736682+4096 ~x736681+2048 ~x736680+1024 ~x736679+512 ~x736678+256 ~x736677+128 ~x736676+64 ~x736675+32 ~x736674+16 ~x736673+8 ~x736672+4 ~x736671+2 ~x736670+1 ~x736669+17408 x4338+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-0=65534
18.78/18.83	c 16384 ~x740718+8192 ~x740717+4096 ~x740716+2048 ~x740715+1024 ~x740714+512 ~x740713+256 ~x740712+128 ~x740711+64 ~x740710+32 ~x740709+16 ~x740708+8 ~x740707+4 ~x740706+2 ~x740705+1 ~x740704+17408 x4339+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-0=65534
18.88/18.94	c 8192 ~x744752+4096 ~x744751+2048 ~x744750+1024 ~x744749+512 ~x744748+256 ~x744747+128 ~x744746+64 ~x744745+32 ~x744744+16 ~x744743+8 ~x744742+4 ~x744741+2 ~x744740+1 ~x744739+11264 x4340+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-0=32766
18.98/19.03	c 2048 ~x748466+1024 ~x748465+512 ~x748464+256 ~x748463+128 ~x748462+64 ~x748461+32 ~x748460+16 ~x748459+8 ~x748458+4 ~x748457+2 ~x748456+1 ~x748455+3072 x4341+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=8190
18.98/19.09	c 16384 ~x750817+8192 ~x750816+4096 ~x750815+2048 ~x750814+1024 ~x750813+512 ~x750812+256 ~x750811+128 ~x750810+64 ~x750809+32 ~x750808+16 ~x750807+8 ~x750806+4 ~x750805+2 ~x750804+1 ~x750803+17408 x4342+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=65534
19.08/19.19	c 8192 ~x754851+4096 ~x754850+2048 ~x754849+1024 ~x754848+512 ~x754847+256 ~x754846+128 ~x754845+64 ~x754844+32 ~x754843+16 ~x754842+8 ~x754841+4 ~x754840+2 ~x754839+1 ~x754838+10240 x4343+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=32766
19.18/19.29	c 16384 ~x758568+8192 ~x758567+4096 ~x758566+2048 ~x758565+1024 ~x758564+512 ~x758563+256 ~x758562+128 ~x758561+64 ~x758560+32 ~x758559+16 ~x758558+8 ~x758557+4 ~x758556+2 ~x758555+1 ~x758554+17408 x4344+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=65534
19.28/19.39	c 16384 ~x762603+8192 ~x762602+4096 ~x762601+2048 ~x762600+1024 ~x762599+512 ~x762598+256 ~x762597+128 ~x762596+64 ~x762595+32 ~x762594+16 ~x762593+8 ~x762592+4 ~x762591+2 ~x762590+1 ~x762589+17408 x4345+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-0=65534
19.38/19.49	c 4096 ~x766636+2048 ~x766635+1024 ~x766634+512 ~x766633+256 ~x766632+128 ~x766631+64 ~x766630+32 ~x766629+16 ~x766628+8 ~x766627+4 ~x766626+2 ~x766625+1 ~x766624+5120 x4346+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-0=16382
19.48/19.56	c 4096 ~x769336+2048 ~x769335+1024 ~x769334+512 ~x769333+256 ~x769332+128 ~x769331+64 ~x769330+32 ~x769329+16 ~x769328+8 ~x769327+4 ~x769326+2 ~x769325+1 ~x769324+7168 x4347+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-0=16382
19.58/19.63	c 4096 ~x772036+2048 ~x772035+1024 ~x772034+512 ~x772033+256 ~x772032+128 ~x772031+64 ~x772030+32 ~x772029+16 ~x772028+8 ~x772027+4 ~x772026+2 ~x772025+1 ~x772024+6144 x4348+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-0=16382
19.58/19.69	c 16384 ~x774738+8192 ~x774737+4096 ~x774736+2048 ~x774735+1024 ~x774734+512 ~x774733+256 ~x774732+128 ~x774731+64 ~x774730+32 ~x774729+16 ~x774728+8 ~x774727+4 ~x774726+2 ~x774725+1 ~x774724+17408 x4349+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-0=65534
19.69/19.79	c 4096 ~x778771+2048 ~x778770+1024 ~x778769+512 ~x778768+256 ~x778767+128 ~x778766+64 ~x778765+32 ~x778764+16 ~x778763+8 ~x778762+4 ~x778761+2 ~x778760+1 ~x778759+6144 x4350+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=16382
19.79/19.86	c 16384 ~x781473+8192 ~x781472+4096 ~x781471+2048 ~x781470+1024 ~x781469+512 ~x781468+256 ~x781467+128 ~x781466+64 ~x781465+32 ~x781464+16 ~x781463+8 ~x781462+4 ~x781461+2 ~x781460+1 ~x781459+19456 x4351+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-0=65534
19.88/19.96	c 16384 ~x785508+8192 ~x785507+4096 ~x785506+2048 ~x785505+1024 ~x785504+512 ~x785503+256 ~x785502+128 ~x785501+64 ~x785500+32 ~x785499+16 ~x785498+8 ~x785497+4 ~x785496+2 ~x785495+1 ~x785494+19456 x4352+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=65534
19.98/20.07	c 8192 ~x789542+4096 ~x789541+2048 ~x789540+1024 ~x789539+512 ~x789538+256 ~x789537+128 ~x789536+64 ~x789535+32 ~x789534+16 ~x789533+8 ~x789532+4 ~x789531+2 ~x789530+1 ~x789529+11264 x4353+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-0=32766
20.08/20.16	c 2048 ~x793256+1024 ~x793255+512 ~x793254+256 ~x793253+128 ~x793252+64 ~x793251+32 ~x793250+16 ~x793249+8 ~x793248+4 ~x793247+2 ~x793246+1 ~x793245+3072 x4354+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=8190
20.18/20.22	c 16384 ~x795607+8192 ~x795606+4096 ~x795605+2048 ~x795604+1024 ~x795603+512 ~x795602+256 ~x795601+128 ~x795600+64 ~x795599+32 ~x795598+16 ~x795597+8 ~x795596+4 ~x795595+2 ~x795594+1 ~x795593+19456 x4355+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-0=65534
20.28/20.34	c 8192 ~x799641+4096 ~x799640+2048 ~x799639+1024 ~x799638+512 ~x799637+256 ~x799636+128 ~x799635+64 ~x799634+32 ~x799633+16 ~x799632+8 ~x799631+4 ~x799630+2 ~x799629+1 ~x799628+10240 x4356+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-0=32766
20.38/20.43	c 4096 ~x803356+2048 ~x803355+1024 ~x803354+512 ~x803353+256 ~x803352+128 ~x803351+64 ~x803350+32 ~x803349+16 ~x803348+8 ~x803347+4 ~x803346+2 ~x803345+1 ~x803344+5120 x4357+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-0=16382
20.48/20.50	c 16384 ~x806058+8192 ~x806057+4096 ~x806056+2048 ~x806055+1024 ~x806054+512 ~x806053+256 ~x806052+128 ~x806051+64 ~x806050+32 ~x806049+16 ~x806048+8 ~x806047+4 ~x806046+2 ~x806045+1 ~x806044+19456 x4358+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-0=65534
20.58/20.60	c 16384 ~x810093+8192 ~x810092+4096 ~x810091+2048 ~x810090+1024 ~x810089+512 ~x810088+256 ~x810087+128 ~x810086+64 ~x810085+32 ~x810084+16 ~x810083+8 ~x810082+4 ~x810081+2 ~x810080+1 ~x810079+19456 x4359+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-0=65534
20.68/20.70	c 4096 ~x814126+2048 ~x814125+1024 ~x814124+512 ~x814123+256 ~x814122+128 ~x814121+64 ~x814120+32 ~x814119+16 ~x814118+8 ~x814117+4 ~x814116+2 ~x814115+1 ~x814114+7168 x4360+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-0=16382
20.68/20.77	c 4096 ~x816826+2048 ~x816825+1024 ~x816824+512 ~x816823+256 ~x816822+128 ~x816821+64 ~x816820+32 ~x816819+16 ~x816818+8 ~x816817+4 ~x816816+2 ~x816815+1 ~x816814+6144 x4361+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-0=16382
20.79/20.84	c 8192 ~x819527+4096 ~x819526+2048 ~x819525+1024 ~x819524+512 ~x819523+256 ~x819522+128 ~x819521+64 ~x819520+32 ~x819519+16 ~x819518+8 ~x819517+4 ~x819516+2 ~x819515+1 ~x819514+14336 x4362+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-0=32766
20.89/20.93	c 4096 ~x823242+2048 ~x823241+1024 ~x823240+512 ~x823239+256 ~x823238+128 ~x823237+64 ~x823236+32 ~x823235+16 ~x823234+8 ~x823233+4 ~x823232+2 ~x823231+1 ~x823230+6144 x4363+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-0=16382
20.98/21.00	c 8192 ~x825943+4096 ~x825942+2048 ~x825941+1024 ~x825940+512 ~x825939+256 ~x825938+128 ~x825937+64 ~x825936+32 ~x825935+16 ~x825934+8 ~x825933+4 ~x825932+2 ~x825931+1 ~x825930+14336 x4364+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-0=32766
20.98/21.09	c 8192 ~x829659+4096 ~x829658+2048 ~x829657+1024 ~x829656+512 ~x829655+256 ~x829654+128 ~x829653+64 ~x829652+32 ~x829651+16 ~x829650+8 ~x829649+4 ~x829648+2 ~x829647+1 ~x829646+14336 x4365+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-0=32766
21.08/21.19	c 8192 ~x833375+4096 ~x833374+2048 ~x833373+1024 ~x833372+512 ~x833371+256 ~x833370+128 ~x833369+64 ~x833368+32 ~x833367+16 ~x833366+8 ~x833365+4 ~x833364+2 ~x833363+1 ~x833362+11264 x4366+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=32766
21.18/21.28	c 2048 ~x837089+1024 ~x837088+512 ~x837087+256 ~x837086+128 ~x837085+64 ~x837084+32 ~x837083+16 ~x837082+8 ~x837081+4 ~x837080+2 ~x837079+1 ~x837078+3072 x4367+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=8190
21.28/21.34	c 4096 ~x839438+2048 ~x839437+1024 ~x839436+512 ~x839435+256 ~x839434+128 ~x839433+64 ~x839432+32 ~x839431+16 ~x839430+8 ~x839429+4 ~x839428+2 ~x839427+1 ~x839426+5120 x4368+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-0=16382
21.38/21.41	c 8192 ~x842139+4096 ~x842138+2048 ~x842137+1024 ~x842136+512 ~x842135+256 ~x842134+128 ~x842133+64 ~x842132+32 ~x842131+16 ~x842130+8 ~x842129+4 ~x842128+2 ~x842127+1 ~x842126+14336 x4369+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-0=32766
21.48/21.50	c 8192 ~x845855+4096 ~x845854+2048 ~x845853+1024 ~x845852+512 ~x845851+256 ~x845850+128 ~x845849+64 ~x845848+32 ~x845847+16 ~x845846+8 ~x845845+4 ~x845844+2 ~x845843+1 ~x845842+10240 x4370+8192 ~x1455+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=32766
21.48/21.60	c 8192 ~x849571+4096 ~x849570+2048 ~x849569+1024 ~x849568+512 ~x849567+256 ~x849566+128 ~x849565+64 ~x849564+32 ~x849563+16 ~x849562+8 ~x849561+4 ~x849560+2 ~x849559+1 ~x849558+14336 x4371+8192 ~x1485+4096 ~x1484+2048 ~x1483+1024 ~x1482+512 ~x1481+256 ~x1480+128 ~x1479+64 ~x1478+32 ~x1477+16 ~x1476+8 ~x1475+4 ~x1474+2 ~x1473+1 ~x1472-0=32766
21.58/21.69	c 8192 ~x853287+4096 ~x853286+2048 ~x853285+1024 ~x853284+512 ~x853283+256 ~x853282+128 ~x853281+64 ~x853280+32 ~x853279+16 ~x853278+8 ~x853277+4 ~x853276+2 ~x853275+1 ~x853274+14336 x4372+8192 ~x1515+4096 ~x1514+2048 ~x1513+1024 ~x1512+512 ~x1511+256 ~x1510+128 ~x1509+64 ~x1508+32 ~x1507+16 ~x1506+8 ~x1505+4 ~x1504+2 ~x1503+1 ~x1502-0=32766
21.68/21.78	c 4096 ~x857002+2048 ~x857001+1024 ~x857000+512 ~x856999+256 ~x856998+128 ~x856997+64 ~x856996+32 ~x856995+16 ~x856994+8 ~x856993+4 ~x856992+2 ~x856991+1 ~x856990+5120 x4373+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=16382
21.78/21.85	c 4096 ~x859702+2048 ~x859701+1024 ~x859700+512 ~x859699+256 ~x859698+128 ~x859697+64 ~x859696+32 ~x859695+16 ~x859694+8 ~x859693+4 ~x859692+2 ~x859691+1 ~x859690+5120 x4374+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=16382
21.88/21.92	c 4096 ~x862402+2048 ~x862401+1024 ~x862400+512 ~x862399+256 ~x862398+128 ~x862397+64 ~x862396+32 ~x862395+16 ~x862394+8 ~x862393+4 ~x862392+2 ~x862391+1 ~x862390+5120 x4375+4096 ~x1604+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=16382
21.88/21.99	c 4096 ~x865102+2048 ~x865101+1024 ~x865100+512 ~x865099+256 ~x865098+128 ~x865097+64 ~x865096+32 ~x865095+16 ~x865094+8 ~x865093+4 ~x865092+2 ~x865091+1 ~x865090+5120 x4376+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=16382
21.98/22.06	c 2048 ~x867801+1024 ~x867800+512 ~x867799+256 ~x867798+128 ~x867797+64 ~x867796+32 ~x867795+16 ~x867794+8 ~x867793+4 ~x867792+2 ~x867791+1 ~x867790+3072 x4377+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=8190
22.08/22.12	c 16384 ~x870152+8192 ~x870151+4096 ~x870150+2048 ~x870149+1024 ~x870148+512 ~x870147+256 ~x870146+128 ~x870145+64 ~x870144+32 ~x870143+16 ~x870142+8 ~x870141+4 ~x870140+2 ~x870139+1 ~x870138+17408 x4378+16384 ~x1696+8192 ~x1695+4096 ~x1694+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=65534
22.18/22.22	c 4096 ~x874185+2048 ~x874184+1024 ~x874183+512 ~x874182+256 ~x874181+128 ~x874180+64 ~x874179+32 ~x874178+16 ~x874177+8 ~x874176+4 ~x874175+2 ~x874174+1 ~x874173+5120 x4379+4096 ~x1724+2048 ~x1723+1024 ~x1722+512 ~x1721+256 ~x1720+128 ~x1719+64 ~x1718+32 ~x1717+16 ~x1716+8 ~x1715+4 ~x1714+2 ~x1713+1 ~x1712-0=16382
22.18/22.29	c 4096 ~x876885+2048 ~x876884+1024 ~x876883+512 ~x876882+256 ~x876881+128 ~x876880+64 ~x876879+32 ~x876878+16 ~x876877+8 ~x876876+4 ~x876875+2 ~x876874+1 ~x876873+5120 x4380+4096 ~x1754+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=16382
22.28/22.35	c 4096 ~x879585+2048 ~x879584+1024 ~x879583+512 ~x879582+256 ~x879581+128 ~x879580+64 ~x879579+32 ~x879578+16 ~x879577+8 ~x879576+4 ~x879575+2 ~x879574+1 ~x879573+5120 x4381+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=16382
22.38/22.42	c 4096 ~x882285+2048 ~x882284+1024 ~x882283+512 ~x882282+256 ~x882281+128 ~x882280+64 ~x882279+32 ~x882278+16 ~x882277+8 ~x882276+4 ~x882275+2 ~x882274+1 ~x882273+5120 x4382+4096 ~x1814+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=16382
22.38/22.49	c 4096 ~x884985+2048 ~x884984+1024 ~x884983+512 ~x884982+256 ~x884981+128 ~x884980+64 ~x884979+32 ~x884978+16 ~x884977+8 ~x884976+4 ~x884975+2 ~x884974+1 ~x884973+7168 x4383+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=16382
22.48/22.56	c 4096 ~x887685+2048 ~x887684+1024 ~x887683+512 ~x887682+256 ~x887681+128 ~x887680+64 ~x887679+32 ~x887678+16 ~x887677+8 ~x887676+4 ~x887675+2 ~x887674+1 ~x887673+6144 x4384+4096 ~x1874+2048 ~x1873+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=16382
22.58/22.63	c 16384 ~x890387+8192 ~x890386+4096 ~x890385+2048 ~x890384+1024 ~x890383+512 ~x890382+256 ~x890381+128 ~x890380+64 ~x890379+32 ~x890378+16 ~x890377+8 ~x890376+4 ~x890375+2 ~x890374+1 ~x890373+17408 x4385+16384 ~x1906+8192 ~x1905+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=65534
22.67/22.73	c 4096 ~x894420+2048 ~x894419+1024 ~x894418+512 ~x894417+256 ~x894416+128 ~x894415+64 ~x894414+32 ~x894413+16 ~x894412+8 ~x894411+4 ~x894410+2 ~x894409+1 ~x894408+6144 x4386+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=16382
22.78/22.80	c 16384 ~x897122+8192 ~x897121+4096 ~x897120+2048 ~x897119+1024 ~x897118+512 ~x897117+256 ~x897116+128 ~x897115+64 ~x897114+32 ~x897113+16 ~x897112+8 ~x897111+4 ~x897110+2 ~x897109+1 ~x897108+19456 x4387+16384 ~x1966+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=65534
22.88/22.90	c 16384 ~x901157+8192 ~x901156+4096 ~x901155+2048 ~x901154+1024 ~x901153+512 ~x901152+256 ~x901151+128 ~x901150+64 ~x901149+32 ~x901148+16 ~x901147+8 ~x901146+4 ~x901145+2 ~x901144+1 ~x901143+19456 x4388+16384 ~x1996+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=65534
22.88/23.00	c 4096 ~x905190+2048 ~x905189+1024 ~x905188+512 ~x905187+256 ~x905186+128 ~x905185+64 ~x905184+32 ~x905183+16 ~x905182+8 ~x905181+4 ~x905180+2 ~x905179+1 ~x905178+6144 x4389+4096 ~x2024+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=16382
22.99/23.07	c 8192 ~x907891+4096 ~x907890+2048 ~x907889+1024 ~x907888+512 ~x907887+256 ~x907886+128 ~x907885+64 ~x907884+32 ~x907883+16 ~x907882+8 ~x907881+4 ~x907880+2 ~x907879+1 ~x907878+11264 x4390+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=32766
23.08/23.16	c 2048 ~x911605+1024 ~x911604+512 ~x911603+256 ~x911602+128 ~x911601+64 ~x911600+32 ~x911599+16 ~x911598+8 ~x911597+4 ~x911596+2 ~x911595+1 ~x911594+3072 x4391+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=8190
23.18/23.22	c 16384 ~x913956+8192 ~x913955+4096 ~x913954+2048 ~x913953+1024 ~x913952+512 ~x913951+256 ~x913950+128 ~x913949+64 ~x913948+32 ~x913947+16 ~x913946+8 ~x913945+4 ~x913944+2 ~x913943+1 ~x913942+19456 x4392+16384 ~x2116+8192 ~x2115+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=65534
23.28/23.32	c 8192 ~x917990+4096 ~x917989+2048 ~x917988+1024 ~x917987+512 ~x917986+256 ~x917985+128 ~x917984+64 ~x917983+32 ~x917982+16 ~x917981+8 ~x917980+4 ~x917979+2 ~x917978+1 ~x917977+10240 x4393+8192 ~x2145+4096 ~x2144+2048 ~x2143+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=32766
23.38/23.42	c 16384 ~x921707+8192 ~x921706+4096 ~x921705+2048 ~x921704+1024 ~x921703+512 ~x921702+256 ~x921701+128 ~x921700+64 ~x921699+32 ~x921698+16 ~x921697+8 ~x921696+4 ~x921695+2 ~x921694+1 ~x921693+19456 x4394+16384 ~x2176+8192 ~x2175+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=65534
23.48/23.52	c 16384 ~x925742+8192 ~x925741+4096 ~x925740+2048 ~x925739+1024 ~x925738+512 ~x925737+256 ~x925736+128 ~x925735+64 ~x925734+32 ~x925733+16 ~x925732+8 ~x925731+4 ~x925730+2 ~x925729+1 ~x925728+19456 x4395+16384 ~x2206+8192 ~x2205+4096 ~x2204+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=65534
23.58/23.62	c 4096 ~x929775+2048 ~x929774+1024 ~x929773+512 ~x929772+256 ~x929771+128 ~x929770+64 ~x929769+32 ~x929768+16 ~x929767+8 ~x929766+4 ~x929765+2 ~x929764+1 ~x929763+7168 x4396+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=16382
23.58/23.69	c 4096 ~x932475+2048 ~x932474+1024 ~x932473+512 ~x932472+256 ~x932471+128 ~x932470+64 ~x932469+32 ~x932468+16 ~x932467+8 ~x932466+4 ~x932465+2 ~x932464+1 ~x932463+6144 x4397+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=16382
23.67/23.76	c 16384 ~x935177+8192 ~x935176+4096 ~x935175+2048 ~x935174+1024 ~x935173+512 ~x935172+256 ~x935171+128 ~x935170+64 ~x935169+32 ~x935168+16 ~x935167+8 ~x935166+4 ~x935165+2 ~x935164+1 ~x935163+17408 x4398+16384 ~x2296+8192 ~x2295+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=65534
23.78/23.86	c 4096 ~x939210+2048 ~x939209+1024 ~x939208+512 ~x939207+256 ~x939206+128 ~x939205+64 ~x939204+32 ~x939203+16 ~x939202+8 ~x939201+4 ~x939200+2 ~x939199+1 ~x939198+6144 x4399+4096 ~x2324+2048 ~x2323+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=16382
23.88/23.93	c 16384 ~x941912+8192 ~x941911+4096 ~x941910+2048 ~x941909+1024 ~x941908+512 ~x941907+256 ~x941906+128 ~x941905+64 ~x941904+32 ~x941903+16 ~x941902+8 ~x941901+4 ~x941900+2 ~x941899+1 ~x941898+23552 x4400+16384 ~x2356+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=65534
23.98/24.03	c 16384 ~x946204+8192 ~x946203+4096 ~x946202+2048 ~x946201+1024 ~x946200+512 ~x946199+256 ~x946198+128 ~x946197+64 ~x946196+32 ~x946195+16 ~x946194+8 ~x946193+4 ~x946192+2 ~x946191+1 ~x946190+26624 x4401+16384 ~x2386+8192 ~x2385+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=65534
24.09/24.14	c 16384 ~x950496+8192 ~x950495+4096 ~x950494+2048 ~x950493+1024 ~x950492+512 ~x950491+256 ~x950490+128 ~x950489+64 ~x950488+32 ~x950487+16 ~x950486+8 ~x950485+4 ~x950484+2 ~x950483+1 ~x950482+20480 x4402+16384 ~x2416+8192 ~x2415+4096 ~x2414+2048 ~x2413+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=65534
24.18/24.25	c 8192 ~x954787+4096 ~x954786+2048 ~x954785+1024 ~x954784+512 ~x954783+256 ~x954782+128 ~x954781+64 ~x954780+32 ~x954779+16 ~x954778+8 ~x954777+4 ~x954776+2 ~x954775+1 ~x954774+11264 x4403+8192 ~x2445+4096 ~x2444+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=32766
24.28/24.34	c 2048 ~x958501+1024 ~x958500+512 ~x958499+256 ~x958498+128 ~x958497+64 ~x958496+32 ~x958495+16 ~x958494+8 ~x958493+4 ~x958492+2 ~x958491+1 ~x958490+3072 x4404+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=8190
24.38/24.40	c 16384 ~x960852+8192 ~x960851+4096 ~x960850+2048 ~x960849+1024 ~x960848+512 ~x960847+256 ~x960846+128 ~x960845+64 ~x960844+32 ~x960843+16 ~x960842+8 ~x960841+4 ~x960840+2 ~x960839+1 ~x960838+26624 x4405+16384 ~x2506+8192 ~x2505+4096 ~x2504+2048 ~x2503+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=65534
24.47/24.51	c 8192 ~x965143+4096 ~x965142+2048 ~x965141+1024 ~x965140+512 ~x965139+256 ~x965138+128 ~x965137+64 ~x965136+32 ~x965135+16 ~x965134+8 ~x965133+4 ~x965132+2 ~x965131+1 ~x965130+10240 x4406+8192 ~x2535+4096 ~x2534+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=32766
24.57/24.60	c 16384 ~x968860+8192 ~x968859+4096 ~x968858+2048 ~x968857+1024 ~x968856+512 ~x968855+256 ~x968854+128 ~x968853+64 ~x968852+32 ~x968851+16 ~x968850+8 ~x968849+4 ~x968848+2 ~x968847+1 ~x968846+19456 x4407+16384 ~x2566+8192 ~x2565+4096 ~x2564+2048 ~x2563+1024 ~x2562+512 ~x2561+256 ~x2560+128 ~x2559+64 ~x2558+32 ~x2557+16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552-0=65534
24.67/24.70	c 16384 ~x972895+8192 ~x972894+4096 ~x972893+2048 ~x972892+1024 ~x972891+512 ~x972890+256 ~x972889+128 ~x972888+64 ~x972887+32 ~x972886+16 ~x972885+8 ~x972884+4 ~x972883+2 ~x972882+1 ~x972881+25600 x4408+16384 ~x2596+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=65534
24.78/24.81	c 4096 ~x977185+2048 ~x977184+1024 ~x977183+512 ~x977182+256 ~x977181+128 ~x977180+64 ~x977179+32 ~x977178+16 ~x977177+8 ~x977176+4 ~x977175+2 ~x977174+1 ~x977173+4096 x4409+4096 ~x2624+2048 ~x2623+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=16382
24.78/24.88	c 4096 ~x979885+2048 ~x979884+1024 ~x979883+512 ~x979882+256 ~x979881+128 ~x979880+64 ~x979879+32 ~x979878+16 ~x979877+8 ~x979876+4 ~x979875+2 ~x979874+1 ~x979873+4096 x4410+4096 ~x2654+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=16382
24.88/24.94	c 16384 ~x982587+8192 ~x982586+4096 ~x982585+2048 ~x982584+1024 ~x982583+512 ~x982582+256 ~x982581+128 ~x982580+64 ~x982579+32 ~x982578+16 ~x982577+8 ~x982576+4 ~x982575+2 ~x982574+1 ~x982573+20480 x4411+16384 ~x2686+8192 ~x2685+4096 ~x2684+2048 ~x2683+1024 ~x2682+512 ~x2681+256 ~x2680+128 ~x2679+64 ~x2678+32 ~x2677+16 ~x2676+8 ~x2675+4 ~x2674+2 ~x2673+1 ~x2672-0=65534
24.98/25.05	c 4096 ~x986877+2048 ~x986876+1024 ~x986875+512 ~x986874+256 ~x986873+128 ~x986872+64 ~x986871+32 ~x986870+16 ~x986869+8 ~x986868+4 ~x986867+2 ~x986866+1 ~x986865+4096 x4412+4096 ~x2714+2048 ~x2713+1024 ~x2712+512 ~x2711+256 ~x2710+128 ~x2709+64 ~x2708+32 ~x2707+16 ~x2706+8 ~x2705+4 ~x2704+2 ~x2703+1 ~x2702-0=16382
25.08/25.12	c 4096 ~x989577+2048 ~x989576+1024 ~x989575+512 ~x989574+256 ~x989573+128 ~x989572+64 ~x989571+32 ~x989570+16 ~x989569+8 ~x989568+4 ~x989567+2 ~x989566+1 ~x989565+4096 x4413+4096 ~x2744+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=16382
25.08/25.19	c 4096 ~x992277+2048 ~x992276+1024 ~x992275+512 ~x992274+256 ~x992273+128 ~x992272+64 ~x992271+32 ~x992270+16 ~x992269+8 ~x992268+4 ~x992267+2 ~x992266+1 ~x992265+4096 x4414+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=16382
25.19/25.26	c 4096 ~x994977+2048 ~x994976+1024 ~x994975+512 ~x994974+256 ~x994973+128 ~x994972+64 ~x994971+32 ~x994970+16 ~x994969+8 ~x994968+4 ~x994967+2 ~x994966+1 ~x994965+4096 x4415+4096 ~x2804+2048 ~x2803+1024 ~x2802+512 ~x2801+256 ~x2800+128 ~x2799+64 ~x2798+32 ~x2797+16 ~x2796+8 ~x2795+4 ~x2794+2 ~x2793+1 ~x2792-0=16382
25.29/25.32	c 4096 ~x997677+2048 ~x997676+1024 ~x997675+512 ~x997674+256 ~x997673+128 ~x997672+64 ~x997671+32 ~x997670+16 ~x997669+8 ~x997668+4 ~x997667+2 ~x997666+1 ~x997665+4096 x4416+4096 ~x2834+2048 ~x2833+1024 ~x2832+512 ~x2831+256 ~x2830+128 ~x2829+64 ~x2828+32 ~x2827+16 ~x2826+8 ~x2825+4 ~x2824+2 ~x2823+1 ~x2822-0=16382
25.38/25.41	c 2048 ~x1000376+1024 ~x1000375+512 ~x1000374+256 ~x1000373+128 ~x1000372+64 ~x1000371+32 ~x1000370+16 ~x1000369+8 ~x1000368+4 ~x1000367+2 ~x1000366+1 ~x1000365+3072 x4417+2048 ~x2863+1024 ~x2862+512 ~x2861+256 ~x2860+128 ~x2859+64 ~x2858+32 ~x2857+16 ~x2856+8 ~x2855+4 ~x2854+2 ~x2853+1 ~x2852-0=8190
25.38/25.47	c 4096 ~x1002725+2048 ~x1002724+1024 ~x1002723+512 ~x1002722+256 ~x1002721+128 ~x1002720+64 ~x1002719+32 ~x1002718+16 ~x1002717+8 ~x1002716+4 ~x1002715+2 ~x1002714+1 ~x1002713+4096 x4418+4096 ~x2894+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=16382
25.48/25.54	c 4096 ~x1005425+2048 ~x1005424+1024 ~x1005423+512 ~x1005422+256 ~x1005421+128 ~x1005420+64 ~x1005419+32 ~x1005418+16 ~x1005417+8 ~x1005416+4 ~x1005415+2 ~x1005414+1 ~x1005413+4096 x4419+4096 ~x2924+2048 ~x2923+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912-0=16382
25.57/25.60	c 4096 ~x1008125+2048 ~x1008124+1024 ~x1008123+512 ~x1008122+256 ~x1008121+128 ~x1008120+64 ~x1008119+32 ~x1008118+16 ~x1008117+8 ~x1008116+4 ~x1008115+2 ~x1008114+1 ~x1008113+4096 x4420+4096 ~x2954+2048 ~x2953+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942-0=16382
25.57/25.67	c 4096 ~x1010825+2048 ~x1010824+1024 ~x1010823+512 ~x1010822+256 ~x1010821+128 ~x1010820+64 ~x1010819+32 ~x1010818+16 ~x1010817+8 ~x1010816+4 ~x1010815+2 ~x1010814+1 ~x1010813+4096 x4421+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=16382
25.67/25.74	c 8192 ~x1013526+4096 ~x1013525+2048 ~x1013524+1024 ~x1013523+512 ~x1013522+256 ~x1013521+128 ~x1013520+64 ~x1013519+32 ~x1013518+16 ~x1013517+8 ~x1013516+4 ~x1013515+2 ~x1013514+1 ~x1013513+11264 x4422+8192 ~x3015+4096 ~x3014+2048 ~x3013+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=32766
25.77/25.83	c 4096 ~x1017241+2048 ~x1017240+1024 ~x1017239+512 ~x1017238+256 ~x1017237+128 ~x1017236+64 ~x1017235+32 ~x1017234+16 ~x1017233+8 ~x1017232+4 ~x1017231+2 ~x1017230+1 ~x1017229+7168 x4423+4096 ~x3044+2048 ~x3043+1024 ~x3042+512 ~x3041+256 ~x3040+128 ~x3039+64 ~x3038+32 ~x3037+16 ~x3036+8 ~x3035+4 ~x3034+2 ~x3033+1 ~x3032-0=16382
25.88/25.90	c 4096 ~x1019941+2048 ~x1019940+1024 ~x1019939+512 ~x1019938+256 ~x1019937+128 ~x1019936+64 ~x1019935+32 ~x1019934+16 ~x1019933+8 ~x1019932+4 ~x1019931+2 ~x1019930+1 ~x1019929+6144 x4424+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=16382
25.88/25.97	c 16384 ~x1022643+8192 ~x1022642+4096 ~x1022641+2048 ~x1022640+1024 ~x1022639+512 ~x1022638+256 ~x1022637+128 ~x1022636+64 ~x1022635+32 ~x1022634+16 ~x1022633+8 ~x1022632+4 ~x1022631+2 ~x1022630+1 ~x1022629+17408 x4425+16384 ~x3106+8192 ~x3105+4096 ~x3104+2048 ~x3103+1024 ~x3102+512 ~x3101+256 ~x3100+128 ~x3099+64 ~x3098+32 ~x3097+16 ~x3096+8 ~x3095+4 ~x3094+2 ~x3093+1 ~x3092-0=65534
25.98/26.07	c 4096 ~x1026676+2048 ~x1026675+1024 ~x1026674+512 ~x1026673+256 ~x1026672+128 ~x1026671+64 ~x1026670+32 ~x1026669+16 ~x1026668+8 ~x1026667+4 ~x1026666+2 ~x1026665+1 ~x1026664+6144 x4426+4096 ~x3134+2048 ~x3133+1024 ~x3132+512 ~x3131+256 ~x3130+128 ~x3129+64 ~x3128+32 ~x3127+16 ~x3126+8 ~x3125+4 ~x3124+2 ~x3123+1 ~x3122-0=16382
26.07/26.14	c 16384 ~x1029378+8192 ~x1029377+4096 ~x1029376+2048 ~x1029375+1024 ~x1029374+512 ~x1029373+256 ~x1029372+128 ~x1029371+64 ~x1029370+32 ~x1029369+16 ~x1029368+8 ~x1029367+4 ~x1029366+2 ~x1029365+1 ~x1029364+21504 x4427+16384 ~x3166+8192 ~x3165+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=65534
26.18/26.24	c 16384 ~x1033670+8192 ~x1033669+4096 ~x1033668+2048 ~x1033667+1024 ~x1033666+512 ~x1033665+256 ~x1033664+128 ~x1033663+64 ~x1033662+32 ~x1033661+16 ~x1033660+8 ~x1033659+4 ~x1033658+2 ~x1033657+1 ~x1033656+20480 x4428+16384 ~x3196+8192 ~x3195+4096 ~x3194+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=65534
26.29/26.35	c 8192 ~x1037961+4096 ~x1037960+2048 ~x1037959+1024 ~x1037958+512 ~x1037957+256 ~x1037956+128 ~x1037955+64 ~x1037954+32 ~x1037953+16 ~x1037952+8 ~x1037951+4 ~x1037950+2 ~x1037949+1 ~x1037948+11264 x4429+8192 ~x3225+4096 ~x3224+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=32766
26.39/26.44	c 2048 ~x1041675+1024 ~x1041674+512 ~x1041673+256 ~x1041672+128 ~x1041671+64 ~x1041670+32 ~x1041669+16 ~x1041668+8 ~x1041667+4 ~x1041666+2 ~x1041665+1 ~x1041664+3072 x4430+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=8190
26.48/26.50	c 16384 ~x1044026+8192 ~x1044025+4096 ~x1044024+2048 ~x1044023+1024 ~x1044022+512 ~x1044021+256 ~x1044020+128 ~x1044019+64 ~x1044018+32 ~x1044017+16 ~x1044016+8 ~x1044015+4 ~x1044014+2 ~x1044013+1 ~x1044012+21504 x4431+16384 ~x3286+8192 ~x3285+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=65534
26.57/26.61	c 8192 ~x1048317+4096 ~x1048316+2048 ~x1048315+1024 ~x1048314+512 ~x1048313+256 ~x1048312+128 ~x1048311+64 ~x1048310+32 ~x1048309+16 ~x1048308+8 ~x1048307+4 ~x1048306+2 ~x1048305+1 ~x1048304+10240 x4432+8192 ~x3315+4096 ~x3314+2048 ~x3313+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302-0=32766
26.68/26.70	c 2048 ~x1052031+1024 ~x1052030+512 ~x1052029+256 ~x1052028+128 ~x1052027+64 ~x1052026+32 ~x1052025+16 ~x1052024+8 ~x1052023+4 ~x1052022+2 ~x1052021+1 ~x1052020+3072 x4433+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332-0=8190
26.68/26.77	c 16384 ~x1054382+8192 ~x1054381+4096 ~x1054380+2048 ~x1054379+1024 ~x1054378+512 ~x1054377+256 ~x1054376+128 ~x1054375+64 ~x1054374+32 ~x1054373+16 ~x1054372+8 ~x1054371+4 ~x1054370+2 ~x1054369+1 ~x1054368+19456 x4434+16384 ~x3376+8192 ~x3375+4096 ~x3374+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=65534
26.78/26.87	c 16384 ~x1058417+8192 ~x1058416+4096 ~x1058415+2048 ~x1058414+1024 ~x1058413+512 ~x1058412+256 ~x1058411+128 ~x1058410+64 ~x1058409+32 ~x1058408+16 ~x1058407+8 ~x1058406+4 ~x1058405+2 ~x1058404+1 ~x1058403+21504 x4435+16384 ~x3406+8192 ~x3405+4096 ~x3404+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=65534
26.87/26.97	c 4096 ~x1062707+2048 ~x1062706+1024 ~x1062705+512 ~x1062704+256 ~x1062703+128 ~x1062702+64 ~x1062701+32 ~x1062700+16 ~x1062699+8 ~x1062698+4 ~x1062697+2 ~x1062696+1 ~x1062695+7168 x4436+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=16382
26.98/27.04	c 4096 ~x1065407+2048 ~x1065406+1024 ~x1065405+512 ~x1065404+256 ~x1065403+128 ~x1065402+64 ~x1065401+32 ~x1065400+16 ~x1065399+8 ~x1065398+4 ~x1065397+2 ~x1065396+1 ~x1065395+6144 x4437+4096 ~x3464+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452-0=16382
27.08/27.11	c 8192 ~x1068108+4096 ~x1068107+2048 ~x1068106+1024 ~x1068105+512 ~x1068104+256 ~x1068103+128 ~x1068102+64 ~x1068101+32 ~x1068100+16 ~x1068099+8 ~x1068098+4 ~x1068097+2 ~x1068096+1 ~x1068095+12288 x4438+8192 ~x3495+4096 ~x3494+2048 ~x3493+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482-0=32766
27.18/27.20	c 4096 ~x1071823+2048 ~x1071822+1024 ~x1071821+512 ~x1071820+256 ~x1071819+128 ~x1071818+64 ~x1071817+32 ~x1071816+16 ~x1071815+8 ~x1071814+4 ~x1071813+2 ~x1071812+1 ~x1071811+6144 x4439+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=16382
27.18/27.27	c 8192 ~x1074524+4096 ~x1074523+2048 ~x1074522+1024 ~x1074521+512 ~x1074520+256 ~x1074519+128 ~x1074518+64 ~x1074517+32 ~x1074516+16 ~x1074515+8 ~x1074514+4 ~x1074513+2 ~x1074512+1 ~x1074511+12288 x4440+8192 ~x3555+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=32766
27.27/27.36	c 8192 ~x1078240+4096 ~x1078239+2048 ~x1078238+1024 ~x1078237+512 ~x1078236+256 ~x1078235+128 ~x1078234+64 ~x1078233+32 ~x1078232+16 ~x1078231+8 ~x1078230+4 ~x1078229+2 ~x1078228+1 ~x1078227+12288 x4441+8192 ~x3585+4096 ~x3584+2048 ~x3583+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572-0=32766
27.39/27.46	c 8192 ~x1081956+4096 ~x1081955+2048 ~x1081954+1024 ~x1081953+512 ~x1081952+256 ~x1081951+128 ~x1081950+64 ~x1081949+32 ~x1081948+16 ~x1081947+8 ~x1081946+4 ~x1081945+2 ~x1081944+1 ~x1081943+11264 x4442+8192 ~x3615+4096 ~x3614+2048 ~x3613+1024 ~x3612+512 ~x3611+256 ~x3610+128 ~x3609+64 ~x3608+32 ~x3607+16 ~x3606+8 ~x3605+4 ~x3604+2 ~x3603+1 ~x3602-0=32766
27.49/27.55	c 2048 ~x1085670+1024 ~x1085669+512 ~x1085668+256 ~x1085667+128 ~x1085666+64 ~x1085665+32 ~x1085664+16 ~x1085663+8 ~x1085662+4 ~x1085661+2 ~x1085660+1 ~x1085659+3072 x4443+2048 ~x3643+1024 ~x3642+512 ~x3641+256 ~x3640+128 ~x3639+64 ~x3638+32 ~x3637+16 ~x3636+8 ~x3635+4 ~x3634+2 ~x3633+1 ~x3632-0=8190
27.58/27.61	c 16384 ~x1088021+8192 ~x1088020+4096 ~x1088019+2048 ~x1088018+1024 ~x1088017+512 ~x1088016+256 ~x1088015+128 ~x1088014+64 ~x1088013+32 ~x1088012+16 ~x1088011+8 ~x1088010+4 ~x1088009+2 ~x1088008+1 ~x1088007+23552 x4444+16384 ~x3676+8192 ~x3675+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=65534
27.68/27.72	c 8192 ~x1092312+4096 ~x1092311+2048 ~x1092310+1024 ~x1092309+512 ~x1092308+256 ~x1092307+128 ~x1092306+64 ~x1092305+32 ~x1092304+16 ~x1092303+8 ~x1092302+4 ~x1092301+2 ~x1092300+1 ~x1092299+12288 x4445+8192 ~x3705+4096 ~x3704+2048 ~x3703+1024 ~x3702+512 ~x3701+256 ~x3700+128 ~x3699+64 ~x3698+32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692-0=32766
27.77/27.81	c 8192 ~x1096028+4096 ~x1096027+2048 ~x1096026+1024 ~x1096025+512 ~x1096024+256 ~x1096023+128 ~x1096022+64 ~x1096021+32 ~x1096020+16 ~x1096019+8 ~x1096018+4 ~x1096017+2 ~x1096016+1 ~x1096015+10240 x4446+8192 ~x3735+4096 ~x3734+2048 ~x3733+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=32766
27.87/27.91	c 8192 ~x1099744+4096 ~x1099743+2048 ~x1099742+1024 ~x1099741+512 ~x1099740+256 ~x1099739+128 ~x1099738+64 ~x1099737+32 ~x1099736+16 ~x1099735+8 ~x1099734+4 ~x1099733+2 ~x1099732+1 ~x1099731+12288 x4447+8192 ~x3765+4096 ~x3764+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752-0=32766
27.98/28.00	c 8192 ~x1103460+4096 ~x1103459+2048 ~x1103458+1024 ~x1103457+512 ~x1103456+256 ~x1103455+128 ~x1103454+64 ~x1103453+32 ~x1103452+16 ~x1103451+8 ~x1103450+4 ~x1103449+2 ~x1103448+1 ~x1103447+12288 x4448+8192 ~x3795+4096 ~x3794+2048 ~x3793+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782-0=32766
28.08/28.10	c 4096 ~x1107175+2048 ~x1107174+1024 ~x1107173+512 ~x1107172+256 ~x1107171+128 ~x1107170+64 ~x1107169+32 ~x1107168+16 ~x1107167+8 ~x1107166+4 ~x1107165+2 ~x1107164+1 ~x1107163+7168 x4449+4096 ~x3824+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=16382
28.08/28.17	c 4096 ~x1109875+2048 ~x1109874+1024 ~x1109873+512 ~x1109872+256 ~x1109871+128 ~x1109870+64 ~x1109869+32 ~x1109868+16 ~x1109867+8 ~x1109866+4 ~x1109865+2 ~x1109864+1 ~x1109863+6144 x4450+4096 ~x3854+2048 ~x3853+1024 ~x3852+512 ~x3851+256 ~x3850+128 ~x3849+64 ~x3848+32 ~x3847+16 ~x3846+8 ~x3845+4 ~x3844+2 ~x3843+1 ~x3842-0=16382
28.18/28.23	c 16384 ~x1112577+8192 ~x1112576+4096 ~x1112575+2048 ~x1112574+1024 ~x1112573+512 ~x1112572+256 ~x1112571+128 ~x1112570+64 ~x1112569+32 ~x1112568+16 ~x1112567+8 ~x1112566+4 ~x1112565+2 ~x1112564+1 ~x1112563+16384 x4451+16384 ~x3886+8192 ~x3885+4096 ~x3884+2048 ~x3883+1024 ~x3882+512 ~x3881+256 ~x3880+128 ~x3879+64 ~x3878+32 ~x3877+16 ~x3876+8 ~x3875+4 ~x3874+2 ~x3873+1 ~x3872-0=65534
28.28/28.33	c 4096 ~x1116610+2048 ~x1116609+1024 ~x1116608+512 ~x1116607+256 ~x1116606+128 ~x1116605+64 ~x1116604+32 ~x1116603+16 ~x1116602+8 ~x1116601+4 ~x1116600+2 ~x1116599+1 ~x1116598+6144 x4452+4096 ~x3914+2048 ~x3913+1024 ~x3912+512 ~x3911+256 ~x3910+128 ~x3909+64 ~x3908+32 ~x3907+16 ~x3906+8 ~x3905+4 ~x3904+2 ~x3903+1 ~x3902-0=16382
28.38/28.40	c 16384 ~x1119312+8192 ~x1119311+4096 ~x1119310+2048 ~x1119309+1024 ~x1119308+512 ~x1119307+256 ~x1119306+128 ~x1119305+64 ~x1119304+32 ~x1119303+16 ~x1119302+8 ~x1119301+4 ~x1119300+2 ~x1119299+1 ~x1119298+16384 x4453+16384 ~x3946+8192 ~x3945+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=65534
28.48/28.50	c 16384 ~x1123347+8192 ~x1123346+4096 ~x1123345+2048 ~x1123344+1024 ~x1123343+512 ~x1123342+256 ~x1123341+128 ~x1123340+64 ~x1123339+32 ~x1123338+16 ~x1123337+8 ~x1123336+4 ~x1123335+2 ~x1123334+1 ~x1123333+16384 x4454+16384 ~x3976+8192 ~x3975+4096 ~x3974+2048 ~x3973+1024 ~x3972+512 ~x3971+256 ~x3970+128 ~x3969+64 ~x3968+32 ~x3967+16 ~x3966+8 ~x3965+4 ~x3964+2 ~x3963+1 ~x3962-0=65534
28.59/28.61	c 8192 ~x1127381+4096 ~x1127380+2048 ~x1127379+1024 ~x1127378+512 ~x1127377+256 ~x1127376+128 ~x1127375+64 ~x1127374+32 ~x1127373+16 ~x1127372+8 ~x1127371+4 ~x1127370+2 ~x1127369+1 ~x1127368+10240 x4455+8192 ~x4005+4096 ~x4004+2048 ~x4003+1024 ~x4002+512 ~x4001+256 ~x4000+128 ~x3999+64 ~x3998+32 ~x3997+16 ~x3996+8 ~x3995+4 ~x3994+2 ~x3993+1 ~x3992-0=32766
28.68/28.70	c 8192 ~x1131097+4096 ~x1131096+2048 ~x1131095+1024 ~x1131094+512 ~x1131093+256 ~x1131092+128 ~x1131091+64 ~x1131090+32 ~x1131089+16 ~x1131088+8 ~x1131087+4 ~x1131086+2 ~x1131085+1 ~x1131084+11264 x4456+8192 ~x4035+4096 ~x4034+2048 ~x4033+1024 ~x4032+512 ~x4031+256 ~x4030+128 ~x4029+64 ~x4028+32 ~x4027+16 ~x4026+8 ~x4025+4 ~x4024+2 ~x4023+1 ~x4022-0=32766
28.68/28.79	c 2048 ~x1134811+1024 ~x1134810+512 ~x1134809+256 ~x1134808+128 ~x1134807+64 ~x1134806+32 ~x1134805+16 ~x1134804+8 ~x1134803+4 ~x1134802+2 ~x1134801+1 ~x1134800+3072 x4457+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052-0=8190
28.78/28.86	c 16384 ~x1137162+8192 ~x1137161+4096 ~x1137160+2048 ~x1137159+1024 ~x1137158+512 ~x1137157+256 ~x1137156+128 ~x1137155+64 ~x1137154+32 ~x1137153+16 ~x1137152+8 ~x1137151+4 ~x1137150+2 ~x1137149+1 ~x1137148+16384 x4458+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-0=65534
28.88/28.96	c 8192 ~x1141196+4096 ~x1141195+2048 ~x1141194+1024 ~x1141193+512 ~x1141192+256 ~x1141191+128 ~x1141190+64 ~x1141189+32 ~x1141188+16 ~x1141187+8 ~x1141186+4 ~x1141185+2 ~x1141184+1 ~x1141183+10240 x4459+8192 ~x4125+4096 ~x4124+2048 ~x4123+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=32766
28.98/29.05	c 16384 ~x1144913+8192 ~x1144912+4096 ~x1144911+2048 ~x1144910+1024 ~x1144909+512 ~x1144908+256 ~x1144907+128 ~x1144906+64 ~x1144905+32 ~x1144904+16 ~x1144903+8 ~x1144902+4 ~x1144901+2 ~x1144900+1 ~x1144899+16384 x4460+16384 ~x4156+8192 ~x4155+4096 ~x4154+2048 ~x4153+1024 ~x4152+512 ~x4151+256 ~x4150+128 ~x4149+64 ~x4148+32 ~x4147+16 ~x4146+8 ~x4145+4 ~x4144+2 ~x4143+1 ~x4142-0=65534
29.08/29.15	c 16384 ~x1148948+8192 ~x1148947+4096 ~x1148946+2048 ~x1148945+1024 ~x1148944+512 ~x1148943+256 ~x1148942+128 ~x1148941+64 ~x1148940+32 ~x1148939+16 ~x1148938+8 ~x1148937+4 ~x1148936+2 ~x1148935+1 ~x1148934+16384 x4461+16384 ~x4186+8192 ~x4185+4096 ~x4184+2048 ~x4183+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=65534
29.17/29.26	c 4096 ~x1152981+2048 ~x1152980+1024 ~x1152979+512 ~x1152978+256 ~x1152977+128 ~x1152976+64 ~x1152975+32 ~x1152974+16 ~x1152973+8 ~x1152972+4 ~x1152971+2 ~x1152970+1 ~x1152969+7168 x4462+4096 ~x4214+2048 ~x4213+1024 ~x4212+512 ~x4211+256 ~x4210+128 ~x4209+64 ~x4208+32 ~x4207+16 ~x4206+8 ~x4205+4 ~x4204+2 ~x4203+1 ~x4202-0=16382
29.27/29.32	c 4096 ~x1155681+2048 ~x1155680+1024 ~x1155679+512 ~x1155678+256 ~x1155677+128 ~x1155676+64 ~x1155675+32 ~x1155674+16 ~x1155673+8 ~x1155672+4 ~x1155671+2 ~x1155670+1 ~x1155669+6144 x4463+4096 ~x4244+2048 ~x4243+1024 ~x4242+512 ~x4241+256 ~x4240+128 ~x4239+64 ~x4238+32 ~x4237+16 ~x4236+8 ~x4235+4 ~x4234+2 ~x4233+1 ~x4232-0=16382
29.27/29.39	c 16384 ~x1158383+8192 ~x1158382+4096 ~x1158381+2048 ~x1158380+1024 ~x1158379+512 ~x1158378+256 ~x1158377+128 ~x1158376+64 ~x1158375+32 ~x1158374+16 ~x1158373+8 ~x1158372+4 ~x1158371+2 ~x1158370+1 ~x1158369+17408 x4464+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-0=65534
29.38/29.49	c 4096 ~x1162416+2048 ~x1162415+1024 ~x1162414+512 ~x1162413+256 ~x1162412+128 ~x1162411+64 ~x1162410+32 ~x1162409+16 ~x1162408+8 ~x1162407+4 ~x1162406+2 ~x1162405+1 ~x1162404+6144 x4465+4096 ~x4304+2048 ~x4303+1024 ~x4302+512 ~x

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-2674105-1276798944/watcher-2674105-1276798944 -o /tmp/evaluation-result-2674105-1276798944/solver-2674105-1276798944 -C 1800 -W 2000 -M 1800 run HOME/instance-2674105-1276798944.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.78 0.93 0.97 3/106 23617
/proc/meminfo: memFree=1860188/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0

[startup+0.047841 s]
/proc/loadavg: 0.78 0.93 0.97 3/106 23617
/proc/meminfo: memFree=1860188/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100847 s]
/proc/loadavg: 0.78 0.93 0.97 3/106 23617
/proc/meminfo: memFree=1860188/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300871 s]
/proc/loadavg: 0.78 0.93 0.97 3/106 23617
/proc/meminfo: memFree=1860188/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700917 s]
/proc/loadavg: 0.78 0.93 0.97 3/106 23617
/proc/meminfo: memFree=1860188/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50101 s]
/proc/loadavg: 0.78 0.93 0.97 2/108 23620
/proc/meminfo: memFree=1694880/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=225252 CPUtime=1.49
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 55912 0 0 0 78 71 0 0 25 0 1 0 21189553 230658048 55665 1992294400 134512640 134902295 4287594064 18446744073709551615 134893847 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 56313 55665 259 96 0 55525 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 233952

[startup+3.1012 s]
/proc/loadavg: 0.78 0.93 0.97 2/108 23620
/proc/meminfo: memFree=1673800/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=206420 CPUtime=3.09
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 62105 0 0 0 235 74 0 0 25 0 1 0 21189553 211374080 50683 1992294400 134512640 134902295 4287594064 18446744073709551615 9059752 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 51605 50683 262 96 0 50817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215120

[startup+6.30057 s]
/proc/loadavg: 0.80 0.93 0.97 2/108 23620
/proc/meminfo: memFree=1619984/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=261184 CPUtime=6.29
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 76832 0 0 0 549 80 0 0 25 0 1 0 21189553 267452416 64249 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678204 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 65296 64249 262 96 0 64508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 269884

[startup+12.7013 s]
/proc/loadavg: 0.81 0.94 0.97 2/108 23622
/proc/meminfo: memFree=1501812/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=380232 CPUtime=12.69
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 106336 0 0 0 1177 92 0 0 25 0 1 0 21189553 389357568 92362 1992294400 134512640 134902295 4287594064 18446744073709551615 134631605 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 95058 92363 262 96 0 94270 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 388932

[startup+25.5008 s]
/proc/loadavg: 0.85 0.94 0.97 2/108 23622
/proc/meminfo: memFree=1276132/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=600660 CPUtime=25.48
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 164391 0 0 0 2433 115 0 0 25 0 1 0 21189553 615075840 146891 1992294400 134512640 134902295 4287594064 18446744073709551615 9061884 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 150165 146891 262 96 0 149377 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 609360

[startup+51.1008 s]
/proc/loadavg: 0.90 0.94 0.97 2/108 23622
/proc/meminfo: memFree=1206320/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=668552 CPUtime=51.07
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 181114 0 0 0 4984 123 0 0 25 0 1 0 21189553 684597248 163262 1992294400 134512640 134902295 4287594064 18446744073709551615 9061884 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 167138 163262 269 96 0 166350 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 677252

[startup+102.309 s]
/proc/loadavg: 0.96 0.95 0.97 2/108 23624
/proc/meminfo: memFree=1199128/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=675524 CPUtime=102.26
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 182848 0 0 0 10102 124 0 0 25 0 1 0 21189553 691736576 164996 1992294400 134512640 134902295 4287594064 18446744073709551615 4159682982 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 168881 164996 269 96 0 168093 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 684224

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.97 2/108 23626
/proc/meminfo: memFree=1190200/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=684324 CPUtime=162.23
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 185060 0 0 0 16097 126 0 0 25 0 1 0 21189553 700747776 167208 1992294400 134512640 134902295 4287594064 18446744073709551615 4159666858 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 171081 167208 269 96 0 170293 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 693024

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/108 23626
/proc/meminfo: memFree=1183008/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=691456 CPUtime=222.22
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 186848 0 0 0 22093 129 0 0 25 0 1 0 21189553 708050944 168996 1992294400 134512640 134902295 4287594064 18446744073709551615 4159667115 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 172864 168996 269 96 0 172076 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 700156

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23628
/proc/meminfo: memFree=1172716/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=702008 CPUtime=282.2
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 189453 0 0 0 28089 131 0 0 25 0 1 0 21189553 718856192 171601 1992294400 134512640 134902295 4287594064 18446744073709551615 4159660663 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 175502 171601 269 96 0 174714 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 710708

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23630
/proc/meminfo: memFree=1163912/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=710788 CPUtime=342.18
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 191619 0 0 0 34084 134 0 0 25 0 1 0 21189553 727846912 173767 1992294400 134512640 134902295 4287594064 18446744073709551615 4159667185 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 177697 173767 269 96 0 176909 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 719488

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23632
/proc/meminfo: memFree=1151016/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=723652 CPUtime=402.16
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 194829 0 0 0 40078 138 0 0 25 0 1 0 21189553 741019648 176977 1992294400 134512640 134902295 4287594064 18446744073709551615 4159648511 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 180913 176977 269 96 0 180125 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 732352

[startup+462.301 s]

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

/proc/23619/statm: 203360 199288 269 96 0 202572 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 822140

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23655
/proc/meminfo: memFree=1055040/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=819396 CPUtime=1181.92
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 218620 0 0 0 118030 162 0 0 25 0 1 0 21189553 839061504 200768 1992294400 134512640 134902295 4287594064 18446744073709551615 4159679346 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 204849 200768 269 96 0 204061 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 828096

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23657
/proc/meminfo: memFree=1048468/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=825732 CPUtime=1241.91
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 220234 0 0 0 124026 165 0 0 25 0 1 0 21189553 845549568 202382 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678590 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 206433 202382 269 96 0 205645 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 834432

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23659
/proc/meminfo: memFree=1043136/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=830896 CPUtime=1301.89
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 221520 0 0 0 130023 166 0 0 25 0 1 0 21189553 850837504 203668 1992294400 134512640 134902295 4287594064 18446744073709551615 4159648549 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 207724 203668 269 96 0 206936 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 839596

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23661
/proc/meminfo: memFree=1037804/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=836320 CPUtime=1361.87
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 222881 0 0 0 136020 167 0 0 25 0 1 0 21189553 856391680 205029 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678590 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 209080 205029 269 96 0 208292 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 845020

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23661
/proc/meminfo: memFree=1031976/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=842136 CPUtime=1421.86
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 224330 0 0 0 142017 169 0 0 25 0 1 0 21189553 862347264 206478 1992294400 134512640 134902295 4287594064 18446744073709551615 4159667033 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 210534 206478 269 96 0 209746 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 850836

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23663
/proc/meminfo: memFree=1028504/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=845568 CPUtime=1481.83
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 225211 0 0 0 148014 169 0 0 25 0 1 0 21189553 865861632 207359 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678590 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 211392 207359 269 96 0 210604 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 854268

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23665
/proc/meminfo: memFree=1024536/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=849416 CPUtime=1541.81
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 226169 0 0 0 154011 170 0 0 25 0 1 0 21189553 869801984 208317 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678590 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 212354 208317 269 96 0 211566 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 858116

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23667
/proc/meminfo: memFree=1020692/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=853152 CPUtime=1601.8
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 227110 0 0 0 160008 172 0 0 25 0 1 0 21189553 873627648 209258 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678759 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 213288 209258 269 96 0 212500 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 861852

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23669
/proc/meminfo: memFree=1014740/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=859116 CPUtime=1661.78
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 228601 0 0 0 166004 174 0 0 25 0 1 0 21189553 879734784 210749 1992294400 134512640 134902295 4287594064 18446744073709551615 4159667446 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 214779 210749 269 96 0 213991 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 867816

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23669
/proc/meminfo: memFree=1010152/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=863756 CPUtime=1721.76
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 229789 0 0 0 172000 176 0 0 25 0 1 0 21189553 884486144 211937 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678590 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 215939 211937 269 96 0 215151 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 872456

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23671
/proc/meminfo: memFree=1005440/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=868160 CPUtime=1781.74
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 230883 0 0 0 177997 177 0 0 25 0 1 0 21189553 888995840 213031 1992294400 134512640 134902295 4287594064 18446744073709551615 4159667326 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 217040 213031 269 96 0 216252 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 876860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 23671
/proc/meminfo: memFree=1004448/2059040 swapFree=4139900/4192956
[pid=23617] ppid=23615 vsize=8700 CPUtime=0
/proc/23617/stat : 23617 (run) S 23615 23617 23532 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21189553 8908800 251 1992294400 4194304 4922060 140737300260384 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23617/statm: 2175 251 211 178 0 68 0
[pid=23619] ppid=23617 vsize=869216 CPUtime=1800.04
/proc/23619/stat : 23619 (PBPASSolver) R 23617 23617 23532 0 -1 4202496 231155 0 0 0 179827 177 0 0 25 0 1 0 21189553 890077184 213303 1992294400 134512640 134902295 4287594064 18446744073709551615 4159678810 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23619/statm: 217304 213303 269 96 0 216516 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 877916

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 23617 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=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1798.27
CPU system time (s): 1.77
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 877916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 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 3.09753 second user time and 8.39172 second system time

The end

Begin job on node033 at 2010-06-17 20:22:24
IDJOB=2674105
IDBENCH=2294
IDSOLVER=1174
FILE ID=node033/2674105-1276798944
PBS_JOBID= 11176650
Free space on /tmp= 62576 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674105-1276798944/watcher-2674105-1276798944 -o /tmp/evaluation-result-2674105-1276798944/solver-2674105-1276798944 -C 1800 -W 2000 -M 1800  run HOME/instance-2674105-1276798944.opb

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

MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e
RANDOM SEED=1383947334

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1860708 kB
Buffers:         28088 kB
Cached:          80020 kB
SwapCached:       6844 kB
Active:          20136 kB
Inactive:       101452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1860708 kB
SwapTotal:     4192956 kB
SwapFree:      4139900 kB
Dirty:             948 kB
Writeback:           0 kB
AnonPages:       10904 kB
Mapped:          13048 kB
Slab:            54816 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182528 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= 62576 MiB
End job on node033 at 2010-06-17 20:52:27