9.89/9.96	c 3100 120 0 0 0 0 0 0
9.89/9.96	c 2048 ~x420721+1024 ~x420720+512 ~x420719+256 ~x420718+128 ~x420717+64 ~x420716+32 ~x420715+16 ~x420714+8 ~x420713+4 ~x420712+2 ~x420711+1 ~x420710+3072 x3002+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=8190
9.99/10.02	c 8192 ~x423071+4096 ~x423070+2048 ~x423069+1024 ~x423068+512 ~x423067+256 ~x423066+128 ~x423065+64 ~x423064+32 ~x423063+16 ~x423062+8 ~x423061+4 ~x423060+2 ~x423059+1 ~x423058+15360 x3003+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-0=32766
10.08/10.11	c 2048 ~x426785+1024 ~x426784+512 ~x426783+256 ~x426782+128 ~x426781+64 ~x426780+32 ~x426779+16 ~x426778+8 ~x426777+4 ~x426776+2 ~x426775+1 ~x426774+3072 x3004+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=8190
10.08/10.16	c 4096 ~x429134+2048 ~x429133+1024 ~x429132+512 ~x429131+256 ~x429130+128 ~x429129+64 ~x429128+32 ~x429127+16 ~x429126+8 ~x429125+4 ~x429124+2 ~x429123+1 ~x429122+7168 x3005+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=16382
10.18/10.23	c 4096 ~x431834+2048 ~x431833+1024 ~x431832+512 ~x431831+256 ~x431830+128 ~x431829+64 ~x431828+32 ~x431827+16 ~x431826+8 ~x431825+4 ~x431824+2 ~x431823+1 ~x431822+6144 x3006+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=16382
10.18/10.29	c 4096 ~x434534+2048 ~x434533+1024 ~x434532+512 ~x434531+256 ~x434530+128 ~x434529+64 ~x434528+32 ~x434527+16 ~x434526+8 ~x434525+4 ~x434524+2 ~x434523+1 ~x434522+7168 x3007+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=16382
10.28/10.35	c 4096 ~x437234+2048 ~x437233+1024 ~x437232+512 ~x437231+256 ~x437230+128 ~x437229+64 ~x437228+32 ~x437227+16 ~x437226+8 ~x437225+4 ~x437224+2 ~x437223+1 ~x437222+7168 x3008+4096 ~x194+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=16382
10.38/10.42	c 2048 ~x439933+1024 ~x439932+512 ~x439931+256 ~x439930+128 ~x439929+64 ~x439928+32 ~x439927+16 ~x439926+8 ~x439925+4 ~x439924+2 ~x439923+1 ~x439922+3072 x3009+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=8190
10.38/10.47	c 4096 ~x442282+2048 ~x442281+1024 ~x442280+512 ~x442279+256 ~x442278+128 ~x442277+64 ~x442276+32 ~x442275+16 ~x442274+8 ~x442273+4 ~x442272+2 ~x442271+1 ~x442270+7168 x3010+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=16382
10.48/10.54	c 4096 ~x444982+2048 ~x444981+1024 ~x444980+512 ~x444979+256 ~x444978+128 ~x444977+64 ~x444976+32 ~x444975+16 ~x444974+8 ~x444973+4 ~x444972+2 ~x444971+1 ~x444970+7168 x3011+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=16382
10.59/10.60	c 1024 ~x447680+512 ~x447679+256 ~x447678+128 ~x447677+64 ~x447676+32 ~x447675+16 ~x447674+8 ~x447673+4 ~x447672+2 ~x447671+1 ~x447670+1024 x3012+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=4094
10.59/10.65	c 4096 ~x449795+2048 ~x449794+1024 ~x449793+512 ~x449792+256 ~x449791+128 ~x449790+64 ~x449789+32 ~x449788+16 ~x449787+8 ~x449786+4 ~x449785+2 ~x449784+1 ~x449783+7168 x3013+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
10.68/10.71	c 4096 ~x452495+2048 ~x452494+1024 ~x452493+512 ~x452492+256 ~x452491+128 ~x452490+64 ~x452489+32 ~x452488+16 ~x452487+8 ~x452486+4 ~x452485+2 ~x452484+1 ~x452483+6144 x3014+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
10.68/10.78	c 2048 ~x455194+1024 ~x455193+512 ~x455192+256 ~x455191+128 ~x455190+64 ~x455189+32 ~x455188+16 ~x455187+8 ~x455186+4 ~x455185+2 ~x455184+1 ~x455183+3072 x3015+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=8190
10.78/10.83	c 4096 ~x457543+2048 ~x457542+1024 ~x457541+512 ~x457540+256 ~x457539+128 ~x457538+64 ~x457537+32 ~x457536+16 ~x457535+8 ~x457534+4 ~x457533+2 ~x457532+1 ~x457531+4096 x3016+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=16382
10.88/10.90	c 4096 ~x460243+2048 ~x460242+1024 ~x460241+512 ~x460240+256 ~x460239+128 ~x460238+64 ~x460237+32 ~x460236+16 ~x460235+8 ~x460234+4 ~x460233+2 ~x460232+1 ~x460231+4096 x3017+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
10.88/10.96	c 4096 ~x462943+2048 ~x462942+1024 ~x462941+512 ~x462940+256 ~x462939+128 ~x462938+64 ~x462937+32 ~x462936+16 ~x462935+8 ~x462934+4 ~x462933+2 ~x462932+1 ~x462931+4096 x3018+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=16382
10.98/11.02	c 4096 ~x465643+2048 ~x465642+1024 ~x465641+512 ~x465640+256 ~x465639+128 ~x465638+64 ~x465637+32 ~x465636+16 ~x465635+8 ~x465634+4 ~x465633+2 ~x465632+1 ~x465631+4096 x3019+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=16382
10.98/11.09	c 2048 ~x468342+1024 ~x468341+512 ~x468340+256 ~x468339+128 ~x468338+64 ~x468337+32 ~x468336+16 ~x468335+8 ~x468334+4 ~x468333+2 ~x468332+1 ~x468331+3072 x3020+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=8190
11.09/11.14	c 4096 ~x470691+2048 ~x470690+1024 ~x470689+512 ~x470688+256 ~x470687+128 ~x470686+64 ~x470685+32 ~x470684+16 ~x470683+8 ~x470682+4 ~x470681+2 ~x470680+1 ~x470679+4096 x3021+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-0=16382
11.18/11.21	c 4096 ~x473391+2048 ~x473390+1024 ~x473389+512 ~x473388+256 ~x473387+128 ~x473386+64 ~x473385+32 ~x473384+16 ~x473383+8 ~x473382+4 ~x473381+2 ~x473380+1 ~x473379+4096 x3022+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=16382
11.18/11.27	c 1024 ~x476089+512 ~x476088+256 ~x476087+128 ~x476086+64 ~x476085+32 ~x476084+16 ~x476083+8 ~x476082+4 ~x476081+2 ~x476080+1 ~x476079+1024 x3023+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=4094
11.28/11.32	c 4096 ~x478204+2048 ~x478203+1024 ~x478202+512 ~x478201+256 ~x478200+128 ~x478199+64 ~x478198+32 ~x478197+16 ~x478196+8 ~x478195+4 ~x478194+2 ~x478193+1 ~x478192+4096 x3024+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=16382
11.28/11.39	c 16384 ~x480906+8192 ~x480905+4096 ~x480904+2048 ~x480903+1024 ~x480902+512 ~x480901+256 ~x480900+128 ~x480899+64 ~x480898+32 ~x480897+16 ~x480896+8 ~x480895+4 ~x480894+2 ~x480893+1 ~x480892+16384 x3025+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
11.38/11.48	c 2048 ~x484938+1024 ~x484937+512 ~x484936+256 ~x484935+128 ~x484934+64 ~x484933+32 ~x484932+16 ~x484931+8 ~x484930+4 ~x484929+2 ~x484928+1 ~x484927+3072 x3026+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=8190
11.48/11.54	c 8192 ~x487288+4096 ~x487287+2048 ~x487286+1024 ~x487285+512 ~x487284+256 ~x487283+128 ~x487282+64 ~x487281+32 ~x487280+16 ~x487279+8 ~x487278+4 ~x487277+2 ~x487276+1 ~x487275+15360 x3027+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-0=32766
11.58/11.62	c 4096 ~x491003+2048 ~x491002+1024 ~x491001+512 ~x491000+256 ~x490999+128 ~x490998+64 ~x490997+32 ~x490996+16 ~x490995+8 ~x490994+4 ~x490993+2 ~x490992+1 ~x490991+6144 x3028+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
11.58/11.69	c 16384 ~x493705+8192 ~x493704+4096 ~x493703+2048 ~x493702+1024 ~x493701+512 ~x493700+256 ~x493699+128 ~x493698+64 ~x493697+32 ~x493696+16 ~x493695+8 ~x493694+4 ~x493693+2 ~x493692+1 ~x493691+17408 x3029+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
11.68/11.78	c 16384 ~x497740+8192 ~x497739+4096 ~x497738+2048 ~x497737+1024 ~x497736+512 ~x497735+256 ~x497734+128 ~x497733+64 ~x497732+32 ~x497731+16 ~x497730+8 ~x497729+4 ~x497728+2 ~x497727+1 ~x497726+17408 x3030+16384 ~x856+8192 ~x855+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=65534
11.78/11.88	c 2048 ~x501772+1024 ~x501771+512 ~x501770+256 ~x501769+128 ~x501768+64 ~x501767+32 ~x501766+16 ~x501765+8 ~x501764+4 ~x501763+2 ~x501762+1 ~x501761+3072 x3031+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=8190
11.88/11.93	c 16384 ~x504123+8192 ~x504122+4096 ~x504121+2048 ~x504120+1024 ~x504119+512 ~x504118+256 ~x504117+128 ~x504116+64 ~x504115+32 ~x504114+16 ~x504113+8 ~x504112+4 ~x504111+2 ~x504110+1 ~x504109+17408 x3032+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
11.98/12.03	c 8192 ~x508157+4096 ~x508156+2048 ~x508155+1024 ~x508154+512 ~x508153+256 ~x508152+128 ~x508151+64 ~x508150+32 ~x508149+16 ~x508148+8 ~x508147+4 ~x508146+2 ~x508145+1 ~x508144+9216 x3033+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
12.09/12.12	c 1024 ~x511870+512 ~x511869+256 ~x511868+128 ~x511867+64 ~x511866+32 ~x511865+16 ~x511864+8 ~x511863+4 ~x511862+2 ~x511861+1 ~x511860+1024 x3034+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=4094
12.09/12.17	c 8192 ~x513986+4096 ~x513985+2048 ~x513984+1024 ~x513983+512 ~x513982+256 ~x513981+128 ~x513980+64 ~x513979+32 ~x513978+16 ~x513977+8 ~x513976+4 ~x513975+2 ~x513974+1 ~x513973+9216 x3035+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=32766
12.19/12.26	c 16384 ~x517703+8192 ~x517702+4096 ~x517701+2048 ~x517700+1024 ~x517699+512 ~x517698+256 ~x517697+128 ~x517696+64 ~x517695+32 ~x517694+16 ~x517693+8 ~x517692+4 ~x517691+2 ~x517690+1 ~x517689+16384 x3036+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-0=65534
12.28/12.35	c 2048 ~x521735+1024 ~x521734+512 ~x521733+256 ~x521732+128 ~x521731+64 ~x521730+32 ~x521729+16 ~x521728+8 ~x521727+4 ~x521726+2 ~x521725+1 ~x521724+3072 x3037+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=8190
12.38/12.41	c 4096 ~x524084+2048 ~x524083+1024 ~x524082+512 ~x524081+256 ~x524080+128 ~x524079+64 ~x524078+32 ~x524077+16 ~x524076+8 ~x524075+4 ~x524074+2 ~x524073+1 ~x524072+5120 x3038+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=16382
12.38/12.48	c 4096 ~x526784+2048 ~x526783+1024 ~x526782+512 ~x526781+256 ~x526780+128 ~x526779+64 ~x526778+32 ~x526777+16 ~x526776+8 ~x526775+4 ~x526774+2 ~x526773+1 ~x526772+5120 x3039+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=16382
12.48/12.54	c 4096 ~x529484+2048 ~x529483+1024 ~x529482+512 ~x529481+256 ~x529480+128 ~x529479+64 ~x529478+32 ~x529477+16 ~x529476+8 ~x529475+4 ~x529474+2 ~x529473+1 ~x529472+5120 x3040+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
12.58/12.60	c 4096 ~x532184+2048 ~x532183+1024 ~x532182+512 ~x532181+256 ~x532180+128 ~x532179+64 ~x532178+32 ~x532177+16 ~x532176+8 ~x532175+4 ~x532174+2 ~x532173+1 ~x532172+5120 x3041+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
12.58/12.67	c 2048 ~x534883+1024 ~x534882+512 ~x534881+256 ~x534880+128 ~x534879+64 ~x534878+32 ~x534877+16 ~x534876+8 ~x534875+4 ~x534874+2 ~x534873+1 ~x534872+3072 x3042+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=8190
12.68/12.72	c 4096 ~x537232+2048 ~x537231+1024 ~x537230+512 ~x537229+256 ~x537228+128 ~x537227+64 ~x537226+32 ~x537225+16 ~x537224+8 ~x537223+4 ~x537222+2 ~x537221+1 ~x537220+5120 x3043+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
12.68/12.78	c 4096 ~x539932+2048 ~x539931+1024 ~x539930+512 ~x539929+256 ~x539928+128 ~x539927+64 ~x539926+32 ~x539925+16 ~x539924+8 ~x539923+4 ~x539922+2 ~x539921+1 ~x539920+5120 x3044+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=16382
12.78/12.85	c 1024 ~x542630+512 ~x542629+256 ~x542628+128 ~x542627+64 ~x542626+32 ~x542625+16 ~x542624+8 ~x542623+4 ~x542622+2 ~x542621+1 ~x542620+1024 x3045+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=4094
12.88/12.90	c 4096 ~x544745+2048 ~x544744+1024 ~x544743+512 ~x544742+256 ~x544741+128 ~x544740+64 ~x544739+32 ~x544738+16 ~x544737+8 ~x544736+4 ~x544735+2 ~x544734+1 ~x544733+5120 x3046+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=16382
12.88/12.96	c 2048 ~x547444+1024 ~x547443+512 ~x547442+256 ~x547441+128 ~x547440+64 ~x547439+32 ~x547438+16 ~x547437+8 ~x547436+4 ~x547435+2 ~x547434+1 ~x547433+3072 x3047+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
12.98/13.02	c 2048 ~x549792+1024 ~x549791+512 ~x549790+256 ~x549789+128 ~x549788+64 ~x549787+32 ~x549786+16 ~x549785+8 ~x549784+4 ~x549783+2 ~x549782+1 ~x549781+3072 x3048+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=8190
12.98/13.08	c 8192 ~x552142+4096 ~x552141+2048 ~x552140+1024 ~x552139+512 ~x552138+256 ~x552137+128 ~x552136+64 ~x552135+32 ~x552134+16 ~x552133+8 ~x552132+4 ~x552131+2 ~x552130+1 ~x552129+12288 x3049+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
13.08/13.16	c 4096 ~x555857+2048 ~x555856+1024 ~x555855+512 ~x555854+256 ~x555853+128 ~x555852+64 ~x555851+32 ~x555850+16 ~x555849+8 ~x555848+4 ~x555847+2 ~x555846+1 ~x555845+6144 x3050+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=16382
13.19/13.23	c 8192 ~x558558+4096 ~x558557+2048 ~x558556+1024 ~x558555+512 ~x558554+256 ~x558553+128 ~x558552+64 ~x558551+32 ~x558550+16 ~x558549+8 ~x558548+4 ~x558547+2 ~x558546+1 ~x558545+12288 x3051+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
13.29/13.31	c 8192 ~x562274+4096 ~x562273+2048 ~x562272+1024 ~x562271+512 ~x562270+256 ~x562269+128 ~x562268+64 ~x562267+32 ~x562266+16 ~x562265+8 ~x562264+4 ~x562263+2 ~x562262+1 ~x562261+12288 x3052+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
13.38/13.40	c 2048 ~x565988+1024 ~x565987+512 ~x565986+256 ~x565985+128 ~x565984+64 ~x565983+32 ~x565982+16 ~x565981+8 ~x565980+4 ~x565979+2 ~x565978+1 ~x565977+3072 x3053+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=8190
13.38/13.46	c 8192 ~x568338+4096 ~x568337+2048 ~x568336+1024 ~x568335+512 ~x568334+256 ~x568333+128 ~x568332+64 ~x568331+32 ~x568330+16 ~x568329+8 ~x568328+4 ~x568327+2 ~x568326+1 ~x568325+12288 x3054+8192 ~x1575+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=32766
13.48/13.54	c 8192 ~x572054+4096 ~x572053+2048 ~x572052+1024 ~x572051+512 ~x572050+256 ~x572049+128 ~x572048+64 ~x572047+32 ~x572046+16 ~x572045+8 ~x572044+4 ~x572043+2 ~x572042+1 ~x572041+9216 x3055+8192 ~x1605+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=32766
13.59/13.63	c 1024 ~x575767+512 ~x575766+256 ~x575765+128 ~x575764+64 ~x575763+32 ~x575762+16 ~x575761+8 ~x575760+4 ~x575759+2 ~x575758+1 ~x575757+1024 x3056+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=4094
13.59/13.68	c 8192 ~x577883+4096 ~x577882+2048 ~x577881+1024 ~x577880+512 ~x577879+256 ~x577878+128 ~x577877+64 ~x577876+32 ~x577875+16 ~x577874+8 ~x577873+4 ~x577872+2 ~x577871+1 ~x577870+9216 x3057+8192 ~x1665+4096 ~x1664+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=32766
13.68/13.77	c 16384 ~x581600+8192 ~x581599+4096 ~x581598+2048 ~x581597+1024 ~x581596+512 ~x581595+256 ~x581594+128 ~x581593+64 ~x581592+32 ~x581591+16 ~x581590+8 ~x581589+4 ~x581588+2 ~x581587+1 ~x581586+16384 x3058+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
13.78/13.86	c 2048 ~x585632+1024 ~x585631+512 ~x585630+256 ~x585629+128 ~x585628+64 ~x585627+32 ~x585626+16 ~x585625+8 ~x585624+4 ~x585623+2 ~x585622+1 ~x585621+3072 x3059+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=8190
13.88/13.92	c 8192 ~x587982+4096 ~x587981+2048 ~x587980+1024 ~x587979+512 ~x587978+256 ~x587977+128 ~x587976+64 ~x587975+32 ~x587974+16 ~x587973+8 ~x587972+4 ~x587971+2 ~x587970+1 ~x587969+9216 x3060+8192 ~x1755+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=32766
13.98/14.01	c 4096 ~x591697+2048 ~x591696+1024 ~x591695+512 ~x591694+256 ~x591693+128 ~x591692+64 ~x591691+32 ~x591690+16 ~x591689+8 ~x591688+4 ~x591687+2 ~x591686+1 ~x591685+6144 x3061+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
13.98/14.07	c 8192 ~x594398+4096 ~x594397+2048 ~x594396+1024 ~x594395+512 ~x594394+256 ~x594393+128 ~x594392+64 ~x594391+32 ~x594390+16 ~x594389+8 ~x594388+4 ~x594387+2 ~x594386+1 ~x594385+9216 x3062+8192 ~x1815+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=32766
14.08/14.16	c 8192 ~x598114+4096 ~x598113+2048 ~x598112+1024 ~x598111+512 ~x598110+256 ~x598109+128 ~x598108+64 ~x598107+32 ~x598106+16 ~x598105+8 ~x598104+4 ~x598103+2 ~x598102+1 ~x598101+9216 x3063+8192 ~x1845+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=32766
14.18/14.25	c 2048 ~x601828+1024 ~x601827+512 ~x601826+256 ~x601825+128 ~x601824+64 ~x601823+32 ~x601822+16 ~x601821+8 ~x601820+4 ~x601819+2 ~x601818+1 ~x601817+3072 x3064+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=8190
14.28/14.30	c 8192 ~x604178+4096 ~x604177+2048 ~x604176+1024 ~x604175+512 ~x604174+256 ~x604173+128 ~x604172+64 ~x604171+32 ~x604170+16 ~x604169+8 ~x604168+4 ~x604167+2 ~x604166+1 ~x604165+9216 x3065+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=32766
14.28/14.39	c 8192 ~x607894+4096 ~x607893+2048 ~x607892+1024 ~x607891+512 ~x607890+256 ~x607889+128 ~x607888+64 ~x607887+32 ~x607886+16 ~x607885+8 ~x607884+4 ~x607883+2 ~x607882+1 ~x607881+9216 x3066+8192 ~x1935+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=32766
14.38/14.48	c 1024 ~x611607+512 ~x611606+256 ~x611605+128 ~x611604+64 ~x611603+32 ~x611602+16 ~x611601+8 ~x611600+4 ~x611599+2 ~x611598+1 ~x611597+1024 x3067+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=4094
14.48/14.53	c 8192 ~x613723+4096 ~x613722+2048 ~x613721+1024 ~x613720+512 ~x613719+256 ~x613718+128 ~x613717+64 ~x613716+32 ~x613715+16 ~x613714+8 ~x613713+4 ~x613712+2 ~x613711+1 ~x613710+9216 x3068+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=32766
14.58/14.62	c 8192 ~x617439+4096 ~x617438+2048 ~x617437+1024 ~x617436+512 ~x617435+256 ~x617434+128 ~x617433+64 ~x617432+32 ~x617431+16 ~x617430+8 ~x617429+4 ~x617428+2 ~x617427+1 ~x617426+9216 x3069+8192 ~x2025+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=32766
14.68/14.70	c 2048 ~x621153+1024 ~x621152+512 ~x621151+256 ~x621150+128 ~x621149+64 ~x621148+32 ~x621147+16 ~x621146+8 ~x621145+4 ~x621144+2 ~x621143+1 ~x621142+3072 x3070+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=8190
14.68/14.76	c 2048 ~x623501+1024 ~x623500+512 ~x623499+256 ~x623498+128 ~x623497+64 ~x623496+32 ~x623495+16 ~x623494+8 ~x623493+4 ~x623492+2 ~x623491+1 ~x623490+3072 x3071+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
14.78/14.82	c 2048 ~x625849+1024 ~x625848+512 ~x625847+256 ~x625846+128 ~x625845+64 ~x625844+32 ~x625843+16 ~x625842+8 ~x625841+4 ~x625840+2 ~x625839+1 ~x625838+3072 x3072+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=8190
14.78/14.87	c 2048 ~x628197+1024 ~x628196+512 ~x628195+256 ~x628194+128 ~x628193+64 ~x628192+32 ~x628191+16 ~x628190+8 ~x628189+4 ~x628188+2 ~x628187+1 ~x628186+3072 x3073+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=8190
14.88/14.93	c 2048 ~x630545+1024 ~x630544+512 ~x630543+256 ~x630542+128 ~x630541+64 ~x630540+32 ~x630539+16 ~x630538+8 ~x630537+4 ~x630536+2 ~x630535+1 ~x630534+3072 x3074+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=8190
14.88/14.99	c 2048 ~x632893+1024 ~x632892+512 ~x632891+256 ~x632890+128 ~x632889+64 ~x632888+32 ~x632887+16 ~x632886+8 ~x632885+4 ~x632884+2 ~x632883+1 ~x632882+3072 x3075+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=8190
14.98/15.04	c 2048 ~x635241+1024 ~x635240+512 ~x635239+256 ~x635238+128 ~x635237+64 ~x635236+32 ~x635235+16 ~x635234+8 ~x635233+4 ~x635232+2 ~x635231+1 ~x635230+3072 x3076+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=8190
15.08/15.10	c 2048 ~x637589+1024 ~x637588+512 ~x637587+256 ~x637586+128 ~x637585+64 ~x637584+32 ~x637583+16 ~x637582+8 ~x637581+4 ~x637580+2 ~x637579+1 ~x637578+3072 x3077+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=8190
15.08/15.16	c 1024 ~x639936+512 ~x639935+256 ~x639934+128 ~x639933+64 ~x639932+32 ~x639931+16 ~x639930+8 ~x639929+4 ~x639928+2 ~x639927+1 ~x639926+1024 x3078+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=4094
15.18/15.22	c 2048 ~x642050+1024 ~x642049+512 ~x642048+256 ~x642047+128 ~x642046+64 ~x642045+32 ~x642044+16 ~x642043+8 ~x642042+4 ~x642041+2 ~x642040+1 ~x642039+3072 x3079+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=8190
15.18/15.27	c 1024 ~x644397+512 ~x644396+256 ~x644395+128 ~x644394+64 ~x644393+32 ~x644392+16 ~x644391+8 ~x644390+4 ~x644389+2 ~x644388+1 ~x644387+1024 x3080+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=4094
15.28/15.32	c 2048 ~x646511+1024 ~x646510+512 ~x646509+256 ~x646508+128 ~x646507+64 ~x646506+32 ~x646505+16 ~x646504+8 ~x646503+4 ~x646502+2 ~x646501+1 ~x646500+3072 x3081+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=8190
15.28/15.38	c 4096 ~x648860+2048 ~x648859+1024 ~x648858+512 ~x648857+256 ~x648856+128 ~x648855+64 ~x648854+32 ~x648853+16 ~x648852+8 ~x648851+4 ~x648850+2 ~x648849+1 ~x648848+4096 x3082+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=16382
15.38/15.44	c 4096 ~x651560+2048 ~x651559+1024 ~x651558+512 ~x651557+256 ~x651556+128 ~x651555+64 ~x651554+32 ~x651553+16 ~x651552+8 ~x651551+4 ~x651550+2 ~x651549+1 ~x651548+4096 x3083+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=16382
15.49/15.51	c 4096 ~x654260+2048 ~x654259+1024 ~x654258+512 ~x654257+256 ~x654256+128 ~x654255+64 ~x654254+32 ~x654253+16 ~x654252+8 ~x654251+4 ~x654250+2 ~x654249+1 ~x654248+4096 x3084+4096 ~x2474+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=16382
15.49/15.57	c 4096 ~x656960+2048 ~x656959+1024 ~x656958+512 ~x656957+256 ~x656956+128 ~x656955+64 ~x656954+32 ~x656953+16 ~x656952+8 ~x656951+4 ~x656950+2 ~x656949+1 ~x656948+4096 x3085+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=16382
15.58/15.63	c 2048 ~x659659+1024 ~x659658+512 ~x659657+256 ~x659656+128 ~x659655+64 ~x659654+32 ~x659653+16 ~x659652+8 ~x659651+4 ~x659650+2 ~x659649+1 ~x659648+3072 x3086+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=8190
15.58/15.69	c 4096 ~x662008+2048 ~x662007+1024 ~x662006+512 ~x662005+256 ~x662004+128 ~x662003+64 ~x662002+32 ~x662001+16 ~x662000+8 ~x661999+4 ~x661998+2 ~x661997+1 ~x661996+4096 x3087+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=16382
15.68/15.75	c 4096 ~x664708+2048 ~x664707+1024 ~x664706+512 ~x664705+256 ~x664704+128 ~x664703+64 ~x664702+32 ~x664701+16 ~x664700+8 ~x664699+4 ~x664698+2 ~x664697+1 ~x664696+4096 x3088+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=16382
15.78/15.81	c 1024 ~x667406+512 ~x667405+256 ~x667404+128 ~x667403+64 ~x667402+32 ~x667401+16 ~x667400+8 ~x667399+4 ~x667398+2 ~x667397+1 ~x667396+1024 x3089+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=4094
15.78/15.87	c 4096 ~x669521+2048 ~x669520+1024 ~x669519+512 ~x669518+256 ~x669517+128 ~x669516+64 ~x669515+32 ~x669514+16 ~x669513+8 ~x669512+4 ~x669511+2 ~x669510+1 ~x669509+4096 x3090+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
15.88/15.93	c 8192 ~x672222+4096 ~x672221+2048 ~x672220+1024 ~x672219+512 ~x672218+256 ~x672217+128 ~x672216+64 ~x672215+32 ~x672214+16 ~x672213+8 ~x672212+4 ~x672211+2 ~x672210+1 ~x672209+9216 x3091+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=32766
15.98/16.02	c 2048 ~x675936+1024 ~x675935+512 ~x675934+256 ~x675933+128 ~x675932+64 ~x675931+32 ~x675930+16 ~x675929+8 ~x675928+4 ~x675927+2 ~x675926+1 ~x675925+3072 x3092+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=8190
15.98/16.07	c 8192 ~x678286+4096 ~x678285+2048 ~x678284+1024 ~x678283+512 ~x678282+256 ~x678281+128 ~x678280+64 ~x678279+32 ~x678278+16 ~x678277+8 ~x678276+4 ~x678275+2 ~x678274+1 ~x678273+15360 x3093+8192 ~x2745+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=32766
16.08/16.16	c 4096 ~x682001+2048 ~x682000+1024 ~x681999+512 ~x681998+256 ~x681997+128 ~x681996+64 ~x681995+32 ~x681994+16 ~x681993+8 ~x681992+4 ~x681991+2 ~x681990+1 ~x681989+6144 x3094+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
16.18/16.22	c 16384 ~x684703+8192 ~x684702+4096 ~x684701+2048 ~x684700+1024 ~x684699+512 ~x684698+256 ~x684697+128 ~x684696+64 ~x684695+32 ~x684694+16 ~x684693+8 ~x684692+4 ~x684691+2 ~x684690+1 ~x684689+18432 x3095+16384 ~x2806+8192 ~x2805+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=65534
16.28/16.32	c 16384 ~x688738+8192 ~x688737+4096 ~x688736+2048 ~x688735+1024 ~x688734+512 ~x688733+256 ~x688732+128 ~x688731+64 ~x688730+32 ~x688729+16 ~x688728+8 ~x688727+4 ~x688726+2 ~x688725+1 ~x688724+17408 x3096+16384 ~x2836+8192 ~x2835+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=65534
16.38/16.41	c 2048 ~x692770+1024 ~x692769+512 ~x692768+256 ~x692767+128 ~x692766+64 ~x692765+32 ~x692764+16 ~x692763+8 ~x692762+4 ~x692761+2 ~x692760+1 ~x692759+3072 x3097+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
16.38/16.47	c 16384 ~x695121+8192 ~x695120+4096 ~x695119+2048 ~x695118+1024 ~x695117+512 ~x695116+256 ~x695115+128 ~x695114+64 ~x695113+32 ~x695112+16 ~x695111+8 ~x695110+4 ~x695109+2 ~x695108+1 ~x695107+19456 x3098+16384 ~x2896+8192 ~x2895+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=65534
16.49/16.56	c 8192 ~x699155+4096 ~x699154+2048 ~x699153+1024 ~x699152+512 ~x699151+256 ~x699150+128 ~x699149+64 ~x699148+32 ~x699147+16 ~x699146+8 ~x699145+4 ~x699144+2 ~x699143+1 ~x699142+9216 x3099+8192 ~x2925+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=32766
16.58/16.65	c 1024 ~x702868+512 ~x702867+256 ~x702866+128 ~x702865+64 ~x702864+32 ~x702863+16 ~x702862+8 ~x702861+4 ~x702860+2 ~x702859+1 ~x702858+1024 x3100+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942-0=4094
16.67/16.70	c 8192 ~x704984+4096 ~x704983+2048 ~x704982+1024 ~x704981+512 ~x704980+256 ~x704979+128 ~x704978+64 ~x704977+32 ~x704976+16 ~x704975+8 ~x704974+4 ~x704973+2 ~x704972+1 ~x704971+9216 x3101+8192 ~x2985+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x29

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-2673922-1276798887/watcher-2673922-1276798887 -o /tmp/evaluation-result-2673922-1276798887/solver-2673922-1276798887 -C 1800 -W 2000 -M 1800 run HOME/instance-2673922-1276798887.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.90 0.96 2/105 25714
/proc/meminfo: memFree=1889448/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0

[startup+0.109275 s]
/proc/loadavg: 0.78 0.90 0.96 2/105 25714
/proc/meminfo: memFree=1889448/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201285 s]
/proc/loadavg: 0.78 0.90 0.96 2/105 25714
/proc/meminfo: memFree=1889448/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301296 s]
/proc/loadavg: 0.78 0.90 0.96 2/105 25714
/proc/meminfo: memFree=1889448/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701341 s]
/proc/loadavg: 0.78 0.90 0.96 2/105 25714
/proc/meminfo: memFree=1889448/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50143 s]
/proc/loadavg: 0.78 0.90 0.96 2/107 25717
/proc/meminfo: memFree=1761960/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=138456 CPUtime=1.49
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 41407 0 0 0 101 48 0 0 25 0 1 0 21182510 141778944 33841 1992294400 134512640 134902295 4291410496 18446744073709551615 134569471 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 34614 33841 262 96 0 33826 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147156

[startup+3.10161 s]
/proc/loadavg: 0.78 0.90 0.96 2/107 25717
/proc/meminfo: memFree=1741624/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=166740 CPUtime=3.08
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 49591 0 0 0 256 52 0 0 25 0 1 0 21182510 170741760 40790 1992294400 134512640 134902295 4291410496 18446744073709551615 4159668843 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 41685 40790 262 96 0 40897 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 175440

[startup+6.30197 s]
/proc/loadavg: 0.80 0.90 0.96 2/107 25717
/proc/meminfo: memFree=1679624/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=231688 CPUtime=6.28
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 65448 0 0 0 570 58 0 0 25 0 1 0 21182510 237248512 55983 1992294400 134512640 134902295 4291410496 18446744073709551615 4159665627 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 57930 55990 262 96 0 57142 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 240388

[startup+12.7017 s]
/proc/loadavg: 0.81 0.91 0.96 2/107 25717
/proc/meminfo: memFree=1555872/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=365480 CPUtime=12.68
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 97234 0 0 0 1197 71 0 0 25 0 1 0 21182510 374251520 87161 1992294400 134512640 134902295 4291410496 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 91370 87161 262 96 0 90582 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 374180

[startup+25.5011 s]
/proc/loadavg: 0.85 0.91 0.96 2/107 25719
/proc/meminfo: memFree=1467088/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=437648 CPUtime=25.48
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 116106 0 0 0 2469 79 0 0 25 0 1 0 21182510 448151552 105529 1992294400 134512640 134902295 4291410496 18446744073709551615 4159695340 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 109412 105529 269 96 0 108624 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 446348

[startup+51.101 s]
/proc/loadavg: 0.90 0.92 0.96 2/107 25719
/proc/meminfo: memFree=1460516/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=444296 CPUtime=51.07
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 117780 0 0 0 5027 80 0 0 25 0 1 0 21182510 454959104 107203 1992294400 134512640 134902295 4291410496 18446744073709551615 4159664750 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 111074 107203 269 96 0 110286 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 452996

[startup+102.301 s]
/proc/loadavg: 0.96 0.93 0.96 2/107 25721
/proc/meminfo: memFree=1451464/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=453080 CPUtime=102.27
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 119975 0 0 0 10145 82 0 0 25 0 1 0 21182510 463953920 109398 1992294400 134512640 134902295 4291410496 18446744073709551615 5645820 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 113270 109398 269 96 0 112482 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 461780

[startup+162.301 s]
/proc/loadavg: 0.98 0.94 0.96 2/107 25721
/proc/meminfo: memFree=1442288/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=462536 CPUtime=162.24
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 122290 0 0 0 16140 84 0 0 25 0 1 0 21182510 473636864 111713 1992294400 134512640 134902295 4291410496 18446744073709551615 4159678661 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 115634 111713 269 96 0 114846 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 471236

[startup+222.308 s]
/proc/loadavg: 0.99 0.95 0.96 2/107 25723
/proc/meminfo: memFree=1434972/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=469552 CPUtime=222.23
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 124095 0 0 0 22137 86 0 0 25 0 1 0 21182510 480821248 113518 1992294400 134512640 134902295 4291410496 18446744073709551615 4159683198 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 117388 113518 269 96 0 116600 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 478252

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.96 2/107 25725
/proc/meminfo: memFree=1426416/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=478456 CPUtime=282.21
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 126273 0 0 0 28133 88 0 0 25 0 1 0 21182510 489938944 115696 1992294400 134512640 134902295 4291410496 18446744073709551615 4159683470 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 119614 115696 269 96 0 118826 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 487156

[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.96 2/107 25727
/proc/meminfo: memFree=1415380/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=489200 CPUtime=342.19
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 128981 0 0 0 34128 91 0 0 25 0 1 0 21182510 500940800 118404 1992294400 134512640 134902295 4291410496 18446744073709551615 4159695133 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 122300 118404 269 96 0 121512 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 497900

[startup+402.301 s]
/proc/loadavg: 0.99 0.96 0.96 2/107 25729
/proc/meminfo: memFree=1405584/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=499048 CPUtime=402.18
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 131434 0 0 0 40124 94 0 0 25 0 1 0 21182510 511025152 120857 1992294400 134512640 134902295 4291410496 18446744073709551615 4159695340 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 124762 120857 269 96 0 123974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 507748

[startup+462.301 s]

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

/proc/25716/statm: 140492 136483 269 96 0 139704 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 570668

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/107 25752
/proc/meminfo: memFree=1296380/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=563780 CPUtime=1181.97
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 147505 0 0 0 118086 111 0 0 25 0 1 0 21182510 577310720 136928 1992294400 134512640 134902295 4291410496 18446744073709551615 4159676956 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 140945 136928 269 96 0 140157 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 572480

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/107 25754
/proc/meminfo: memFree=1293032/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=566852 CPUtime=1241.95
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 148297 0 0 0 124083 112 0 0 25 0 1 0 21182510 580456448 137720 1992294400 134512640 134902295 4291410496 18446744073709551615 4159684010 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 141713 137720 269 96 0 140925 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 575552

[startup+1302.3 s]
/proc/loadavg: 1.08 1.02 0.98 2/107 25756
/proc/meminfo: memFree=1284724/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=576012 CPUtime=1301.94
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 150371 0 0 0 130079 115 0 0 25 0 1 0 21182510 589836288 139794 1992294400 134512640 134902295 4291410496 18446744073709551615 4159683580 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 144003 139794 269 96 0 143215 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 584712

[startup+1362.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/107 25756
/proc/meminfo: memFree=1279764/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=580828 CPUtime=1361.92
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 151579 0 0 0 136076 116 0 0 25 0 1 0 21182510 594767872 141002 1992294400 134512640 134902295 4291410496 18446744073709551615 4159664763 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 145207 141002 269 96 0 144419 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 589528

[startup+1422.3 s]
/proc/loadavg: 1.12 1.04 0.99 2/107 25758
/proc/meminfo: memFree=1274308/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=586136 CPUtime=1421.91
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 152953 0 0 0 142074 117 0 0 25 0 1 0 21182510 600203264 142376 1992294400 134512640 134902295 4291410496 18446744073709551615 4159683910 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 146534 142376 269 96 0 145746 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 594836

[startup+1482.3 s]
/proc/loadavg: 1.12 1.04 0.99 2/107 25760
/proc/meminfo: memFree=1269968/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=590352 CPUtime=1481.89
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 154019 0 0 0 148071 118 0 0 25 0 1 0 21182510 604520448 143442 1992294400 134512640 134902295 4291410496 18446744073709551615 4159694974 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 147588 143442 269 96 0 146800 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 599052

[startup+1542.31 s]
/proc/loadavg: 1.11 1.05 1.00 2/107 25762
/proc/meminfo: memFree=1267116/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=593204 CPUtime=1541.89
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 154723 0 0 0 154070 119 0 0 25 0 1 0 21182510 607440896 144146 1992294400 134512640 134902295 4291410496 18446744073709551615 4159664768 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 148301 144146 269 96 0 147513 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 601904

[startup+1602.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 25764
/proc/meminfo: memFree=1260916/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=599416 CPUtime=1601.86
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 156264 0 0 0 160066 120 0 0 25 0 1 0 21182510 613801984 145687 1992294400 134512640 134902295 4291410496 18446744073709551615 4159694974 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 149854 145687 269 96 0 149066 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 608116

[startup+1662.3 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 25764
/proc/meminfo: memFree=1256080/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=604092 CPUtime=1661.84
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 157482 0 0 0 166063 121 0 0 25 0 1 0 21182510 618590208 146905 1992294400 134512640 134902295 4291410496 18446744073709551615 4159677248 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 151023 146905 269 96 0 150235 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 612792

[startup+1722.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 25766
/proc/meminfo: memFree=1251616/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=608632 CPUtime=1721.83
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 158579 0 0 0 172060 123 0 0 25 0 1 0 21182510 623239168 148002 1992294400 134512640 134902295 4291410496 18446744073709551615 4159694974 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 152158 148002 269 96 0 151370 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 617332

[startup+1782.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 25768
/proc/meminfo: memFree=1245044/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=614712 CPUtime=1781.81
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 160150 0 0 0 178057 124 0 0 25 0 1 0 21182510 629465088 149573 1992294400 134512640 134902295 4291410496 18446744073709551615 4159702746 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 153678 149573 269 96 0 152890 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 623412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 25768
/proc/meminfo: memFree=1243556/2059040 swapFree=4164936/4192956
[pid=25714] ppid=25712 vsize=8700 CPUtime=0
/proc/25714/stat : 25714 (run) S 25712 25714 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21182509 8908800 251 1992294400 4194304 4922060 140737282146848 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25714/statm: 2175 251 211 178 0 68 0
[pid=25716] ppid=25714 vsize=616184 CPUtime=1800.01
/proc/25716/stat : 25716 (PBPASSolver) R 25714 25714 25475 0 -1 4202496 160513 0 0 0 179877 124 0 0 25 0 1 0 21182510 630972416 149936 1992294400 134512640 134902295 4291410496 18446744073709551615 4159677104 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/25716/statm: 154046 149936 269 96 0 153258 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 624884

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 25714 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 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1798.77
CPU system time (s): 1.24
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 624884

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 2.81857 second user time and 8.65768 second system time

The end

Begin job on node085 at 2010-06-17 20:21:27
IDJOB=2673922
IDBENCH=2280
IDSOLVER=1174
FILE ID=node085/2673922-1276798887
PBS_JOBID= 11176641
Free space on /tmp= 121828 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-ran10x10b.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673922-1276798887/watcher-2673922-1276798887 -o /tmp/evaluation-result-2673922-1276798887/solver-2673922-1276798887 -C 1800 -W 2000 -M 1800  run HOME/instance-2673922-1276798887.opb

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

MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478
RANDOM SEED=346040808

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1889844 kB
Buffers:         16416 kB
Cached:          43008 kB
SwapCached:          0 kB
Active:           7820 kB
Inactive:        82996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1889844 kB
SwapTotal:     4192956 kB
SwapFree:      4164936 kB
Dirty:             992 kB
Writeback:           0 kB
AnonPages:       31384 kB
Mapped:          14352 kB
Slab:            56568 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182432 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= 121828 MiB
End job on node085 at 2010-06-17 20:51:29