10.78/10.85	c 3100 120 0 0 0 0 0 0
10.78/10.85	c 4096 ~x427941+2048 ~x427940+1024 ~x427939+512 ~x427938+256 ~x427937+128 ~x427936+64 ~x427935+32 ~x427934+16 ~x427933+8 ~x427932+4 ~x427931+2 ~x427930+1 ~x427929+4096 x3002+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
10.88/10.91	c 4096 ~x430641+2048 ~x430640+1024 ~x430639+512 ~x430638+256 ~x430637+128 ~x430636+64 ~x430635+32 ~x430634+16 ~x430633+8 ~x430632+4 ~x430631+2 ~x430630+1 ~x430629+7168 x3003+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
10.88/10.98	c 4096 ~x433341+2048 ~x433340+1024 ~x433339+512 ~x433338+256 ~x433337+128 ~x433336+64 ~x433335+32 ~x433334+16 ~x433333+8 ~x433332+4 ~x433331+2 ~x433330+1 ~x433329+4096 x3004+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=16382
10.99/11.05	c 4096 ~x436041+2048 ~x436040+1024 ~x436039+512 ~x436038+256 ~x436037+128 ~x436036+64 ~x436035+32 ~x436034+16 ~x436033+8 ~x436032+4 ~x436031+2 ~x436030+1 ~x436029+4096 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
11.09/11.12	c 4096 ~x438741+2048 ~x438740+1024 ~x438739+512 ~x438738+256 ~x438737+128 ~x438736+64 ~x438735+32 ~x438734+16 ~x438733+8 ~x438732+4 ~x438731+2 ~x438730+1 ~x438729+4096 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
11.09/11.18	c 4096 ~x441441+2048 ~x441440+1024 ~x441439+512 ~x441438+256 ~x441437+128 ~x441436+64 ~x441435+32 ~x441434+16 ~x441433+8 ~x441432+4 ~x441431+2 ~x441430+1 ~x441429+4096 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
11.18/11.25	c 4096 ~x444141+2048 ~x444140+1024 ~x444139+512 ~x444138+256 ~x444137+128 ~x444136+64 ~x444135+32 ~x444134+16 ~x444133+8 ~x444132+4 ~x444131+2 ~x444130+1 ~x444129+4096 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
11.28/11.31	c 2048 ~x446840+1024 ~x446839+512 ~x446838+256 ~x446837+128 ~x446836+64 ~x446835+32 ~x446834+16 ~x446833+8 ~x446832+4 ~x446831+2 ~x446830+1 ~x446829+2048 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
11.28/11.37	c 2048 ~x449188+1024 ~x449187+512 ~x449186+256 ~x449185+128 ~x449184+64 ~x449183+32 ~x449182+16 ~x449181+8 ~x449180+4 ~x449179+2 ~x449178+1 ~x449177+3072 x3010+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=8190
11.38/11.43	c 4096 ~x451537+2048 ~x451536+1024 ~x451535+512 ~x451534+256 ~x451533+128 ~x451532+64 ~x451531+32 ~x451530+16 ~x451529+8 ~x451528+4 ~x451527+2 ~x451526+1 ~x451525+4096 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
11.38/11.49	c 4096 ~x454237+2048 ~x454236+1024 ~x454235+512 ~x454234+256 ~x454233+128 ~x454232+64 ~x454231+32 ~x454230+16 ~x454229+8 ~x454228+4 ~x454227+2 ~x454226+1 ~x454225+4096 x3012+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=16382
11.47/11.56	c 4096 ~x456937+2048 ~x456936+1024 ~x456935+512 ~x456934+256 ~x456933+128 ~x456932+64 ~x456931+32 ~x456930+16 ~x456929+8 ~x456928+4 ~x456927+2 ~x456926+1 ~x456925+4096 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
11.57/11.62	c 4096 ~x459637+2048 ~x459636+1024 ~x459635+512 ~x459634+256 ~x459633+128 ~x459632+64 ~x459631+32 ~x459630+16 ~x459629+8 ~x459628+4 ~x459627+2 ~x459626+1 ~x459625+7168 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
11.57/11.68	c 4096 ~x462337+2048 ~x462336+1024 ~x462335+512 ~x462334+256 ~x462333+128 ~x462332+64 ~x462331+32 ~x462330+16 ~x462329+8 ~x462328+4 ~x462327+2 ~x462326+1 ~x462325+4096 x3015+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=16382
11.67/11.75	c 4096 ~x465037+2048 ~x465036+1024 ~x465035+512 ~x465034+256 ~x465033+128 ~x465032+64 ~x465031+32 ~x465030+16 ~x465029+8 ~x465028+4 ~x465027+2 ~x465026+1 ~x465025+7168 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
11.78/11.81	c 4096 ~x467737+2048 ~x467736+1024 ~x467735+512 ~x467734+256 ~x467733+128 ~x467732+64 ~x467731+32 ~x467730+16 ~x467729+8 ~x467728+4 ~x467727+2 ~x467726+1 ~x467725+7168 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
11.78/11.88	c 4096 ~x470437+2048 ~x470436+1024 ~x470435+512 ~x470434+256 ~x470433+128 ~x470432+64 ~x470431+32 ~x470430+16 ~x470429+8 ~x470428+4 ~x470427+2 ~x470426+1 ~x470425+7168 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
11.88/11.94	c 4096 ~x473137+2048 ~x473136+1024 ~x473135+512 ~x473134+256 ~x473133+128 ~x473132+64 ~x473131+32 ~x473130+16 ~x473129+8 ~x473128+4 ~x473127+2 ~x473126+1 ~x473125+7168 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
11.98/12.01	c 2048 ~x475836+1024 ~x475835+512 ~x475834+256 ~x475833+128 ~x475832+64 ~x475831+32 ~x475830+16 ~x475829+8 ~x475828+4 ~x475827+2 ~x475826+1 ~x475825+2048 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.98/12.06	c 2048 ~x478184+1024 ~x478183+512 ~x478182+256 ~x478181+128 ~x478180+64 ~x478179+32 ~x478178+16 ~x478177+8 ~x478176+4 ~x478175+2 ~x478174+1 ~x478173+3072 x3021+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
12.08/12.13	c 4096 ~x480533+2048 ~x480532+1024 ~x480531+512 ~x480530+256 ~x480529+128 ~x480528+64 ~x480527+32 ~x480526+16 ~x480525+8 ~x480524+4 ~x480523+2 ~x480522+1 ~x480521+7168 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
12.08/12.20	c 4096 ~x483233+2048 ~x483232+1024 ~x483231+512 ~x483230+256 ~x483229+128 ~x483228+64 ~x483227+32 ~x483226+16 ~x483225+8 ~x483224+4 ~x483223+2 ~x483222+1 ~x483221+7168 x3023+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=16382
12.18/12.26	c 4096 ~x485933+2048 ~x485932+1024 ~x485931+512 ~x485930+256 ~x485929+128 ~x485928+64 ~x485927+32 ~x485926+16 ~x485925+8 ~x485924+4 ~x485923+2 ~x485922+1 ~x485921+7168 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
12.27/12.33	c 4096 ~x488633+2048 ~x488632+1024 ~x488631+512 ~x488630+256 ~x488629+128 ~x488628+64 ~x488627+32 ~x488626+16 ~x488625+8 ~x488624+4 ~x488623+2 ~x488622+1 ~x488621+7168 x3025+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=16382
12.37/12.40	c 4096 ~x491333+2048 ~x491332+1024 ~x491331+512 ~x491330+256 ~x491329+128 ~x491328+64 ~x491327+32 ~x491326+16 ~x491325+8 ~x491324+4 ~x491323+2 ~x491322+1 ~x491321+4096 x3026+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
12.37/12.47	c 8192 ~x494034+4096 ~x494033+2048 ~x494032+1024 ~x494031+512 ~x494030+256 ~x494029+128 ~x494028+64 ~x494027+32 ~x494026+16 ~x494025+8 ~x494024+4 ~x494023+2 ~x494022+1 ~x494021+8192 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
12.48/12.56	c 8192 ~x497750+4096 ~x497749+2048 ~x497748+1024 ~x497747+512 ~x497746+256 ~x497745+128 ~x497744+64 ~x497743+32 ~x497742+16 ~x497741+8 ~x497740+4 ~x497739+2 ~x497738+1 ~x497737+9216 x3028+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=32766
12.57/12.66	c 8192 ~x501466+4096 ~x501465+2048 ~x501464+1024 ~x501463+512 ~x501462+256 ~x501461+128 ~x501460+64 ~x501459+32 ~x501458+16 ~x501457+8 ~x501456+4 ~x501455+2 ~x501454+1 ~x501453+9216 x3029+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=32766
12.67/12.75	c 8192 ~x505182+4096 ~x505181+2048 ~x505180+1024 ~x505179+512 ~x505178+256 ~x505177+128 ~x505176+64 ~x505175+32 ~x505174+16 ~x505173+8 ~x505172+4 ~x505171+2 ~x505170+1 ~x505169+9216 x3030+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=32766
12.78/12.84	c 2048 ~x508896+1024 ~x508895+512 ~x508894+256 ~x508893+128 ~x508892+64 ~x508891+32 ~x508890+16 ~x508889+8 ~x508888+4 ~x508887+2 ~x508886+1 ~x508885+2048 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
12.87/12.90	c 2048 ~x511244+1024 ~x511243+512 ~x511242+256 ~x511241+128 ~x511240+64 ~x511239+32 ~x511238+16 ~x511237+8 ~x511236+4 ~x511235+2 ~x511234+1 ~x511233+3072 x3032+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=8190
12.87/12.97	c 4096 ~x513593+2048 ~x513592+1024 ~x513591+512 ~x513590+256 ~x513589+128 ~x513588+64 ~x513587+32 ~x513586+16 ~x513585+8 ~x513584+4 ~x513583+2 ~x513582+1 ~x513581+7168 x3033+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=16382
12.97/13.04	c 8192 ~x516294+4096 ~x516293+2048 ~x516292+1024 ~x516291+512 ~x516290+256 ~x516289+128 ~x516288+64 ~x516287+32 ~x516286+16 ~x516285+8 ~x516284+4 ~x516283+2 ~x516282+1 ~x516281+9216 x3034+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=32766
13.08/13.14	c 8192 ~x520010+4096 ~x520009+2048 ~x520008+1024 ~x520007+512 ~x520006+256 ~x520005+128 ~x520004+64 ~x520003+32 ~x520002+16 ~x520001+8 ~x520000+4 ~x519999+2 ~x519998+1 ~x519997+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
13.18/13.23	c 4096 ~x523725+2048 ~x523724+1024 ~x523723+512 ~x523722+256 ~x523721+128 ~x523720+64 ~x523719+32 ~x523718+16 ~x523717+8 ~x523716+4 ~x523715+2 ~x523714+1 ~x523713+7168 x3036+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=16382
13.18/13.30	c 4096 ~x526425+2048 ~x526424+1024 ~x526423+512 ~x526422+256 ~x526421+128 ~x526420+64 ~x526419+32 ~x526418+16 ~x526417+8 ~x526416+4 ~x526415+2 ~x526414+1 ~x526413+4096 x3037+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
13.28/13.37	c 8192 ~x529126+4096 ~x529125+2048 ~x529124+1024 ~x529123+512 ~x529122+256 ~x529121+128 ~x529120+64 ~x529119+32 ~x529118+16 ~x529117+8 ~x529116+4 ~x529115+2 ~x529114+1 ~x529113+8192 x3038+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=32766
13.37/13.46	c 8192 ~x532842+4096 ~x532841+2048 ~x532840+1024 ~x532839+512 ~x532838+256 ~x532837+128 ~x532836+64 ~x532835+32 ~x532834+16 ~x532833+8 ~x532832+4 ~x532831+2 ~x532830+1 ~x532829+12288 x3039+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=32766
13.47/13.55	c 8192 ~x536558+4096 ~x536557+2048 ~x536556+1024 ~x536555+512 ~x536554+256 ~x536553+128 ~x536552+64 ~x536551+32 ~x536550+16 ~x536549+8 ~x536548+4 ~x536547+2 ~x536546+1 ~x536545+12288 x3040+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=32766
13.57/13.65	c 8192 ~x540274+4096 ~x540273+2048 ~x540272+1024 ~x540271+512 ~x540270+256 ~x540269+128 ~x540268+64 ~x540267+32 ~x540266+16 ~x540265+8 ~x540264+4 ~x540263+2 ~x540262+1 ~x540261+12288 x3041+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=32766
13.67/13.74	c 2048 ~x543988+1024 ~x543987+512 ~x543986+256 ~x543985+128 ~x543984+64 ~x543983+32 ~x543982+16 ~x543981+8 ~x543980+4 ~x543979+2 ~x543978+1 ~x543977+2048 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
13.77/13.80	c 2048 ~x546336+1024 ~x546335+512 ~x546334+256 ~x546333+128 ~x546332+64 ~x546331+32 ~x546330+16 ~x546329+8 ~x546328+4 ~x546327+2 ~x546326+1 ~x546325+3072 x3043+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=8190
13.77/13.86	c 4096 ~x548685+2048 ~x548684+1024 ~x548683+512 ~x548682+256 ~x548681+128 ~x548680+64 ~x548679+32 ~x548678+16 ~x548677+8 ~x548676+4 ~x548675+2 ~x548674+1 ~x548673+7168 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
13.88/13.93	c 8192 ~x551386+4096 ~x551385+2048 ~x551384+1024 ~x551383+512 ~x551382+256 ~x551381+128 ~x551380+64 ~x551379+32 ~x551378+16 ~x551377+8 ~x551376+4 ~x551375+2 ~x551374+1 ~x551373+12288 x3045+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
13.97/14.02	c 8192 ~x555102+4096 ~x555101+2048 ~x555100+1024 ~x555099+512 ~x555098+256 ~x555097+128 ~x555096+64 ~x555095+32 ~x555094+16 ~x555093+8 ~x555092+4 ~x555091+2 ~x555090+1 ~x555089+12288 x3046+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
14.07/14.12	c 2048 ~x558816+1024 ~x558815+512 ~x558814+256 ~x558813+128 ~x558812+64 ~x558811+32 ~x558810+16 ~x558809+8 ~x558808+4 ~x558807+2 ~x558806+1 ~x558805+2048 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
14.07/14.18	c 4096 ~x561165+2048 ~x561164+1024 ~x561163+512 ~x561162+256 ~x561161+128 ~x561160+64 ~x561159+32 ~x561158+16 ~x561157+8 ~x561156+4 ~x561155+2 ~x561154+1 ~x561153+4096 x3048+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
14.17/14.25	c 8192 ~x563866+4096 ~x563865+2048 ~x563864+1024 ~x563863+512 ~x563862+256 ~x563861+128 ~x563860+64 ~x563859+32 ~x563858+16 ~x563857+8 ~x563856+4 ~x563855+2 ~x563854+1 ~x563853+8192 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
14.27/14.34	c 8192 ~x567582+4096 ~x567581+2048 ~x567580+1024 ~x567579+512 ~x567578+256 ~x567577+128 ~x567576+64 ~x567575+32 ~x567574+16 ~x567573+8 ~x567572+4 ~x567571+2 ~x567570+1 ~x567569+11264 x3050+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
14.38/14.43	c 8192 ~x571298+4096 ~x571297+2048 ~x571296+1024 ~x571295+512 ~x571294+256 ~x571293+128 ~x571292+64 ~x571291+32 ~x571290+16 ~x571289+8 ~x571288+4 ~x571287+2 ~x571286+1 ~x571285+11264 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
14.48/14.53	c 8192 ~x575014+4096 ~x575013+2048 ~x575012+1024 ~x575011+512 ~x575010+256 ~x575009+128 ~x575008+64 ~x575007+32 ~x575006+16 ~x575005+8 ~x575004+4 ~x575003+2 ~x575002+1 ~x575001+11264 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
14.57/14.62	c 2048 ~x578728+1024 ~x578727+512 ~x578726+256 ~x578725+128 ~x578724+64 ~x578723+32 ~x578722+16 ~x578721+8 ~x578720+4 ~x578719+2 ~x578718+1 ~x578717+2048 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
14.57/14.68	c 2048 ~x581076+1024 ~x581075+512 ~x581074+256 ~x581073+128 ~x581072+64 ~x581071+32 ~x581070+16 ~x581069+8 ~x581068+4 ~x581067+2 ~x581066+1 ~x581065+3072 x3054+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=8190
14.67/14.74	c 4096 ~x583425+2048 ~x583424+1024 ~x583423+512 ~x583422+256 ~x583421+128 ~x583420+64 ~x583419+32 ~x583418+16 ~x583417+8 ~x583416+4 ~x583415+2 ~x583414+1 ~x583413+7168 x3055+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
14.77/14.81	c 8192 ~x586126+4096 ~x586125+2048 ~x586124+1024 ~x586123+512 ~x586122+256 ~x586121+128 ~x586120+64 ~x586119+32 ~x586118+16 ~x586117+8 ~x586116+4 ~x586115+2 ~x586114+1 ~x586113+11264 x3056+8192 ~x1635+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=32766
14.87/14.90	c 8192 ~x589842+4096 ~x589841+2048 ~x589840+1024 ~x589839+512 ~x589838+256 ~x589837+128 ~x589836+64 ~x589835+32 ~x589834+16 ~x589833+8 ~x589832+4 ~x589831+2 ~x589830+1 ~x589829+11264 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
14.97/15.00	c 2048 ~x593556+1024 ~x593555+512 ~x593554+256 ~x593553+128 ~x593552+64 ~x593551+32 ~x593550+16 ~x593549+8 ~x593548+4 ~x593547+2 ~x593546+1 ~x593545+3072 x3058+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=8190
14.97/15.06	c 4096 ~x595905+2048 ~x595904+1024 ~x595903+512 ~x595902+256 ~x595901+128 ~x595900+64 ~x595899+32 ~x595898+16 ~x595897+8 ~x595896+4 ~x595895+2 ~x595894+1 ~x595893+4096 x3059+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
15.07/15.13	c 8192 ~x598606+4096 ~x598605+2048 ~x598604+1024 ~x598603+512 ~x598602+256 ~x598601+128 ~x598600+64 ~x598599+32 ~x598598+16 ~x598597+8 ~x598596+4 ~x598595+2 ~x598594+1 ~x598593+8192 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
15.17/15.22	c 8192 ~x602322+4096 ~x602321+2048 ~x602320+1024 ~x602319+512 ~x602318+256 ~x602317+128 ~x602316+64 ~x602315+32 ~x602314+16 ~x602313+8 ~x602312+4 ~x602311+2 ~x602310+1 ~x602309+13312 x3061+8192 ~x1785+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=32766
15.27/15.31	c 8192 ~x606038+4096 ~x606037+2048 ~x606036+1024 ~x606035+512 ~x606034+256 ~x606033+128 ~x606032+64 ~x606031+32 ~x606030+16 ~x606029+8 ~x606028+4 ~x606027+2 ~x606026+1 ~x606025+13312 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
15.38/15.41	c 8192 ~x609754+4096 ~x609753+2048 ~x609752+1024 ~x609751+512 ~x609750+256 ~x609749+128 ~x609748+64 ~x609747+32 ~x609746+16 ~x609745+8 ~x609744+4 ~x609743+2 ~x609742+1 ~x609741+13312 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
15.38/15.50	c 2048 ~x613468+1024 ~x613467+512 ~x613466+256 ~x613465+128 ~x613464+64 ~x613463+32 ~x613462+16 ~x613461+8 ~x613460+4 ~x613459+2 ~x613458+1 ~x613457+2048 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
15.48/15.56	c 2048 ~x615816+1024 ~x615815+512 ~x615814+256 ~x615813+128 ~x615812+64 ~x615811+32 ~x615810+16 ~x615809+8 ~x615808+4 ~x615807+2 ~x615806+1 ~x615805+3072 x3065+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=8190
15.57/15.62	c 4096 ~x618165+2048 ~x618164+1024 ~x618163+512 ~x618162+256 ~x618161+128 ~x618160+64 ~x618159+32 ~x618158+16 ~x618157+8 ~x618156+4 ~x618155+2 ~x618154+1 ~x618153+7168 x3066+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
15.57/15.69	c 8192 ~x620866+4096 ~x620865+2048 ~x620864+1024 ~x620863+512 ~x620862+256 ~x620861+128 ~x620860+64 ~x620859+32 ~x620858+16 ~x620857+8 ~x620856+4 ~x620855+2 ~x620854+1 ~x620853+13312 x3067+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=32766
15.67/15.79	c 8192 ~x624582+4096 ~x624581+2048 ~x624580+1024 ~x624579+512 ~x624578+256 ~x624577+128 ~x624576+64 ~x624575+32 ~x624574+16 ~x624573+8 ~x624572+4 ~x624571+2 ~x624570+1 ~x624569+13312 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
15.78/15.88	c 4096 ~x628297+2048 ~x628296+1024 ~x628295+512 ~x628294+256 ~x628293+128 ~x628292+64 ~x628291+32 ~x628290+16 ~x628289+8 ~x628288+4 ~x628287+2 ~x628286+1 ~x628285+7168 x3069+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
15.87/15.95	c 4096 ~x630997+2048 ~x630996+1024 ~x630995+512 ~x630994+256 ~x630993+128 ~x630992+64 ~x630991+32 ~x630990+16 ~x630989+8 ~x630988+4 ~x630987+2 ~x630986+1 ~x630985+4096 x3070+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=16382
15.97/16.02	c 8192 ~x633698+4096 ~x633697+2048 ~x633696+1024 ~x633695+512 ~x633694+256 ~x633693+128 ~x633692+64 ~x633691+32 ~x633690+16 ~x633689+8 ~x633688+4 ~x633687+2 ~x633686+1 ~x633685+8192 x3071+8192 ~x2085+4096 ~x2084+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=32766
16.07/16.11	c 16384 ~x637415+8192 ~x637414+4096 ~x637413+2048 ~x637412+1024 ~x637411+512 ~x637410+256 ~x637409+128 ~x637408+64 ~x637407+32 ~x637406+16 ~x637405+8 ~x637404+4 ~x637403+2 ~x637402+1 ~x637401+16384 x3072+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
16.18/16.22	c 8192 ~x641449+4096 ~x641448+2048 ~x641447+1024 ~x641446+512 ~x641445+256 ~x641444+128 ~x641443+64 ~x641442+32 ~x641441+16 ~x641440+8 ~x641439+4 ~x641438+2 ~x641437+1 ~x641436+15360 x3073+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
16.28/16.31	c 8192 ~x645165+4096 ~x645164+2048 ~x645163+1024 ~x645162+512 ~x645161+256 ~x645160+128 ~x645159+64 ~x645158+32 ~x645157+16 ~x645156+8 ~x645155+4 ~x645154+2 ~x645153+1 ~x645152+13312 x3074+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=32766
16.37/16.41	c 2048 ~x648879+1024 ~x648878+512 ~x648877+256 ~x648876+128 ~x648875+64 ~x648874+32 ~x648873+16 ~x648872+8 ~x648871+4 ~x648870+2 ~x648869+1 ~x648868+2048 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
16.37/16.47	c 2048 ~x651227+1024 ~x651226+512 ~x651225+256 ~x651224+128 ~x651223+64 ~x651222+32 ~x651221+16 ~x651220+8 ~x651219+4 ~x651218+2 ~x651217+1 ~x651216+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
16.48/16.53	c 4096 ~x653576+2048 ~x653575+1024 ~x653574+512 ~x653573+256 ~x653572+128 ~x653571+64 ~x653570+32 ~x653569+16 ~x653568+8 ~x653567+4 ~x653566+2 ~x653565+1 ~x653564+7168 x3077+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
16.48/16.60	c 8192 ~x656277+4096 ~x656276+2048 ~x656275+1024 ~x656274+512 ~x656273+256 ~x656272+128 ~x656271+64 ~x656270+32 ~x656269+16 ~x656268+8 ~x656267+4 ~x656266+2 ~x656265+1 ~x656264+15360 x3078+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=32766
16.58/16.69	c 16384 ~x659994+8192 ~x659993+4096 ~x659992+2048 ~x659991+1024 ~x659990+512 ~x659989+256 ~x659988+128 ~x659987+64 ~x659986+32 ~x659985+16 ~x659984+8 ~x659983+4 ~x659982+2 ~x659981+1 ~x659980+16384 x3079+16384 ~x2326+8192 ~x2325+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=65534
16.67/16.79	c 4096 ~x664027+2048 ~x664026+1024 ~x664025+512 ~x664024+256 ~x664023+128 ~x664022+64 ~x664021+32 ~x664020+16 ~x664019+8 ~x664018+4 ~x664017+2 ~x664016+1 ~x664015+7168 x3080+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=16382
16.78/16.86	c 4096 ~x666727+2048 ~x666726+1024 ~x666725+512 ~x666724+256 ~x666723+128 ~x666722+64 ~x666721+32 ~x666720+16 ~x666719+8 ~x666718+4 ~x666717+2 ~x666716+1 ~x666715+4096 x3081+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=16382
16.88/16.93	c 4096 ~x669427+2048 ~x669426+1024 ~x669425+512 ~x669424+256 ~x669423+128 ~x669422+64 ~x669421+32 ~x669420+16 ~x669419+8 ~x669418+4 ~x669417+2 ~x669416+1 ~x669415+6144 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
16.88/16.99	c 4096 ~x672127+2048 ~x672126+1024 ~x672125+512 ~x672124+256 ~x672123+128 ~x672122+64 ~x672121+32 ~x672120+16 ~x672119+8 ~x672118+4 ~x672117+2 ~x672116+1 ~x672115+6144 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
16.98/17.06	c 4096 ~x674827+2048 ~x674826+1024 ~x674825+512 ~x674824+256 ~x674823+128 ~x674822+64 ~x674821+32 ~x674820+16 ~x674819+8 ~x674818+4 ~x674817+2 ~x674816+1 ~x674815+6144 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
17.07/17.13	c 4096 ~x677527+2048 ~x677526+1024 ~x677525+512 ~x677524+256 ~x677523+128 ~x677522+64 ~x677521+32 ~x677520+16 ~x677519+8 ~x677518+4 ~x677517+2 ~x677516+1 ~x677515+6144 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
17.17/17.20	c 2048 ~x680226+1024 ~x680225+512 ~x680224+256 ~x680223+128 ~x680222+64 ~x680221+32 ~x680220+16 ~x680219+8 ~x680218+4 ~x680217+2 ~x680216+1 ~x680215+2048 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
17.17/17.26	c 2048 ~x682574+1024 ~x682573+512 ~x682572+256 ~x682571+128 ~x682570+64 ~x682569+32 ~x682568+16 ~x682567+8 ~x682566+4 ~x682565+2 ~x682564+1 ~x682563+3072 x3087+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=8190
17.27/17.32	c 4096 ~x684923+2048 ~x684922+1024 ~x684921+512 ~x684920+256 ~x684919+128 ~x684918+64 ~x684917+32 ~x684916+16 ~x684915+8 ~x684914+4 ~x684913+2 ~x684912+1 ~x684911+6144 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
17.27/17.39	c 4096 ~x687623+2048 ~x687622+1024 ~x687621+512 ~x687620+256 ~x687619+128 ~x687618+64 ~x687617+32 ~x687616+16 ~x687615+8 ~x687614+4 ~x687613+2 ~x687612+1 ~x687611+6144 x3089+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
17.37/17.45	c 4096 ~x690323+2048 ~x690322+1024 ~x690321+512 ~x690320+256 ~x690319+128 ~x690318+64 ~x690317+32 ~x690316+16 ~x690315+8 ~x690314+4 ~x690313+2 ~x690312+1 ~x690311+6144 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
17.47/17.52	c 4096 ~x693023+2048 ~x693022+1024 ~x693021+512 ~x693020+256 ~x693019+128 ~x693018+64 ~x693017+32 ~x693016+16 ~x693015+8 ~x693014+4 ~x693013+2 ~x693012+1 ~x693011+7168 x3091+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=16382
17.47/17.59	c 4096 ~x695723+2048 ~x695722+1024 ~x695721+512 ~x695720+256 ~x695719+128 ~x695718+64 ~x695717+32 ~x695716+16 ~x695715+8 ~x695714+4 ~x695713+2 ~x695712+1 ~x695711+4096 x3092+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
17.57/17.66	c 8192 ~x698424+4096 ~x698423+2048 ~x698422+1024 ~x698421+512 ~x698420+256 ~x698419+128 ~x698418+64 ~x698417+32 ~x698416+16 ~x698415+8 ~x698414+4 ~x698413+2 ~x698412+1 ~x698411+8192 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
17.68/17.75	c 8192 ~x702140+4096 ~x702139+2048 ~x702138+1024 ~x702137+512 ~x702136+256 ~x702135+128 ~x702134+64 ~x702133+32 ~x702132+16 ~x702131+8 ~x702130+4 ~x702129+2 ~x702128+1 ~x702127+15360 x3094+8192 ~x2775+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=32766
17.77/17.85	c 8192 ~x705856+4096 ~x705855+2048 ~x705854+1024 ~x705853+512 ~x705852+256 ~x705851+128 ~x705850+64 ~x705849+32 ~x705848+16 ~x705847+8 ~x705846+4 ~x705845+2 ~x705844+1 ~x705843+15360 x3095+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=32766
17.87/17.94	c 8192 ~x709572+4096 ~x709571+2048 ~x709570+1024 ~x709569+512 ~x709568+256 ~x709567+128 ~x709566+64 ~x709565+32 ~x709564+16 ~x709563+8 ~x709562+4 ~x709561+2 ~x709560+1 ~x709559+13312 x3096+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=32766
17.97/18.04	c 2048 ~x713286+1024 ~x713285+512 ~x713284+256 ~x713283+128 ~x713282+64 ~x713281+32 ~x713280+16 ~x713279+8 ~x713278+4 ~x713277+2 ~x713276+1 ~x713275+2048 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
18.07/18.10	c 2048 ~x715634+1024 ~x715633+512 ~x715632+256 ~x715631+128 ~x715630+64 ~x715629+32 ~x715628+16 ~x715627+8 ~x715626+4 ~x715625+2 ~x715624+1 ~x715623+3072 x3098+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=8190
18.07/18.16	c 4096 ~x717983+2048 ~x717982+1024 ~x717981+512 ~x717980+256 ~x717979+128 ~x717978+64 ~x717977+32 ~x717976+16 ~x717975+8 ~x717974+4 ~x717973+2 ~x717972+1 ~x717971+7168 x3099+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
18.18/18.23	c 8192 ~x720684+4096 ~x720683+2048 ~x720682+1024 ~x720681+512 ~x720680+256 ~x720679+128 ~x720678+64 ~x720677+32 ~x720676+16 ~x720675+8 ~x720674+4 ~x720673+2 ~x720672+1 ~x720671+15360 x3100+8192 ~x2955+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=32766
18.27/18.32	c 8192 ~x724400+4096 ~x724399+2048 ~x724398+1024 ~x724397+512 ~x724396+256 ~x724395+128 ~x724394+64 ~x724393+32 ~x724392+16

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-2673876-1276798931/watcher-2673876-1276798931 -o /tmp/evaluation-result-2673876-1276798931/solver-2673876-1276798931 -C 1800 -W 2000 -M 1800 run HOME/instance-2673876-1276798931.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.94 0.98 0.99 2/106 22012
/proc/meminfo: memFree=1861420/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0

[startup+0.106468 s]
/proc/loadavg: 0.94 0.98 0.99 2/106 22012
/proc/meminfo: memFree=1861420/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201469 s]
/proc/loadavg: 0.94 0.98 0.99 2/106 22012
/proc/meminfo: memFree=1861420/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301475 s]
/proc/loadavg: 0.94 0.98 0.99 2/106 22012
/proc/meminfo: memFree=1861420/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701503 s]
/proc/loadavg: 0.94 0.98 0.99 2/106 22012
/proc/meminfo: memFree=1861420/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50056 s]
/proc/loadavg: 0.94 0.98 0.99 2/108 22015
/proc/meminfo: memFree=1735048/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=136928 CPUtime=1.48
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 40964 0 0 0 98 50 0 0 20 0 1 0 21188218 140214272 33398 1992294400 134512640 134902295 4293920768 18446744073709551615 134635543 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 34232 33398 262 96 0 33444 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 145628

[startup+3.10067 s]
/proc/loadavg: 0.94 0.98 0.99 2/108 22015
/proc/meminfo: memFree=1716696/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=164312 CPUtime=3.08
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 47930 0 0 0 255 53 0 0 24 0 1 0 21188218 168255488 40364 1992294400 134512640 134902295 4293920768 18446744073709551615 4159780193 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 41078 40364 262 96 0 40290 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 173012

[startup+6.30089 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 22015
/proc/meminfo: memFree=1657176/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=222224 CPUtime=6.28
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 62774 0 0 0 569 59 0 0 25 0 1 0 21188218 227557376 54330 1992294400 134512640 134902295 4293920768 18446744073709551615 4159784160 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 55556 54330 262 96 0 54768 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 230924

[startup+12.7013 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 22015
/proc/meminfo: memFree=1547684/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=330784 CPUtime=12.67
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 91217 0 0 0 1197 70 0 0 25 0 1 0 21188218 338722816 80582 1992294400 134512640 134902295 4293920768 18446744073709551615 134588696 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 82696 80582 262 96 0 81908 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 339484

[startup+25.5012 s]
/proc/loadavg: 0.96 0.98 0.99 2/108 22017
/proc/meminfo: memFree=1440052/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=435180 CPUtime=25.47
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 115991 0 0 0 2467 80 0 0 25 0 1 0 21188218 445624320 105324 1992294400 134512640 134902295 4293920768 18446744073709551615 4159784145 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 108795 105324 269 96 0 108007 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 443880

[startup+51.102 s]
/proc/loadavg: 0.97 0.98 0.99 2/108 22017
/proc/meminfo: memFree=1434720/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=440700 CPUtime=51.06
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 117349 0 0 0 5025 81 0 0 25 0 1 0 21188218 451276800 106682 1992294400 134512640 134902295 4293920768 18446744073709551615 4159783820 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 110175 106682 269 96 0 109387 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 449400

[startup+102.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 22019
/proc/meminfo: memFree=1424304/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=450816 CPUtime=102.26
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 119881 0 0 0 10143 83 0 0 25 0 1 0 21188218 461635584 109214 1992294400 134512640 134902295 4293920768 18446744073709551615 4159769488 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 112704 109214 269 96 0 111916 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 459516

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 22019
/proc/meminfo: memFree=1415996/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=459012 CPUtime=162.23
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 121910 0 0 0 16139 84 0 0 25 0 1 0 21188218 470028288 111243 1992294400 134512640 134902295 4293920768 18446744073709551615 4159750786 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 114753 111243 269 96 0 113965 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 467712

[startup+222.309 s]
/proc/loadavg: 1.11 1.02 1.01 2/108 22021
/proc/meminfo: memFree=1406820/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=468188 CPUtime=222.23
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 124202 0 0 0 22136 87 0 0 25 0 1 0 21188218 479424512 113535 1992294400 134512640 134902295 4293920768 18446744073709551615 4159750786 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 117047 113535 269 96 0 116259 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 476888

[startup+282.301 s]
/proc/loadavg: 1.11 1.03 1.00 2/108 22023
/proc/meminfo: memFree=1395908/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=479284 CPUtime=282.21
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 126937 0 0 0 28130 91 0 0 25 0 1 0 21188218 490786816 116270 1992294400 134512640 134902295 4293920768 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 119821 116270 269 96 0 119033 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 487984

[startup+342.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 22025
/proc/meminfo: memFree=1389088/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=486040 CPUtime=342.18
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 128624 0 0 0 34126 92 0 0 25 0 1 0 21188218 497704960 117957 1992294400 134512640 134902295 4293920768 18446744073709551615 4159764547 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 121510 117957 269 96 0 120722 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 494740

[startup+402.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/108 22027
/proc/meminfo: memFree=1382640/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=492404 CPUtime=402.17
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 130247 0 0 0 40123 94 0 0 25 0 1 0 21188218 504221696 119580 1992294400 134512640 134902295 4293920768 18446744073709551615 4159769433 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 123101 119580 269 96 0 122313 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 501104

[startup+462.302 s]

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

/proc/22014/statm: 144059 140430 269 96 0 143271 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 584936

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22052
/proc/meminfo: memFree=1293484/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=580204 CPUtime=1241.94
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 152106 0 0 0 124074 120 0 0 25 0 1 0 21188218 594128896 141439 1992294400 134512640 134902295 4293920768 18446744073709551615 4159750911 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 145051 141439 269 96 0 144263 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 588904

[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 22054
/proc/meminfo: memFree=1290384/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=583304 CPUtime=1301.92
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 152908 0 0 0 130071 121 0 0 25 0 1 0 21188218 597303296 142241 1992294400 134512640 134902295 4293920768 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 145826 142241 269 96 0 145038 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 592004

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 22054
/proc/meminfo: memFree=1287408/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=586192 CPUtime=1361.91
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 153615 0 0 0 136069 122 0 0 25 0 1 0 21188218 600260608 142948 1992294400 134512640 134902295 4293920768 18446744073709551615 4159781210 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 146548 142949 269 96 0 145760 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 594892

[startup+1422.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 22056
/proc/meminfo: memFree=1285176/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=588480 CPUtime=1421.9
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 154192 0 0 0 142067 123 0 0 25 0 1 0 21188218 602603520 143525 1992294400 134512640 134902295 4293920768 18446744073709551615 4159783911 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 147120 143525 269 96 0 146332 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 597180

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22058
/proc/meminfo: memFree=1283068/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=590488 CPUtime=1481.87
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 154697 0 0 0 148064 123 0 0 25 0 1 0 21188218 604659712 144030 1992294400 134512640 134902295 4293920768 18446744073709551615 4159781340 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 147622 144030 269 96 0 146834 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 599188

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22060
/proc/meminfo: memFree=1280712/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=592708 CPUtime=1541.86
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 155271 0 0 0 154063 123 0 0 25 0 1 0 21188218 606932992 144604 1992294400 134512640 134902295 4293920768 18446744073709551615 4159750911 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 148177 144604 269 96 0 147389 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 601408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22062
/proc/meminfo: memFree=1277984/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=595512 CPUtime=1601.85
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 155952 0 0 0 160061 124 0 0 25 0 1 0 21188218 609804288 145285 1992294400 134512640 134902295 4293920768 18446744073709551615 4159750854 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 148878 145285 269 96 0 148090 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 604212

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22062
/proc/meminfo: memFree=1271660/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=602680 CPUtime=1661.83
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 157522 0 0 0 166056 127 0 0 25 0 1 0 21188218 617144320 146855 1992294400 134512640 134902295 4293920768 18446744073709551615 4159781346 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 150670 146855 269 96 0 149882 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 611380

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22064
/proc/meminfo: memFree=1267692/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=606700 CPUtime=1721.81
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 158531 0 0 0 172053 128 0 0 25 0 1 0 21188218 621260800 147864 1992294400 134512640 134902295 4293920768 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 151675 147864 269 96 0 150887 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 615400

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22066
/proc/meminfo: memFree=1264220/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=609748 CPUtime=1781.79
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 159315 0 0 0 178051 128 0 0 25 0 1 0 21188218 624381952 148648 1992294400 134512640 134902295 4293920768 18446744073709551615 4159781176 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 152437 148648 269 96 0 151649 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 618448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22066
/proc/meminfo: memFree=1263476/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=610592 CPUtime=1800.09
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 159523 0 0 0 179881 128 0 0 25 0 1 0 21188218 625246208 148856 1992294400 134512640 134902295 4293920768 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 152648 148856 269 96 0 151860 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 619292

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22066
/proc/meminfo: memFree=1263476/2059040 swapFree=4139932/4192956
[pid=22012] ppid=22010 vsize=8700 CPUtime=0
/proc/22012/stat : 22012 (run) S 22010 22012 21957 0 -1 4202496 388 134 0 0 0 0 0 0 19 0 1 0 21188218 8908800 250 1992294400 4194304 4922060 140733907378176 18446744073709551615 260420770949 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22012/statm: 2175 250 211 178 0 68 0
[pid=22014] ppid=22012 vsize=610592 CPUtime=1800.09
/proc/22014/stat : 22014 (PBPASSolver) R 22012 22012 21957 0 -1 4202496 159523 0 0 0 179881 128 0 0 25 0 1 0 21188218 625246208 148856 1992294400 134512640 134902295 4293920768 18446744073709551615 4159780990 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22014/statm: 152648 148856 269 96 0 151860 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 619292

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22012 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=3999
# CPU time returned by wait4() is 0.003999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1798.81
CPU system time (s): 1.28
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 619292

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

The end

Begin job on node034 at 2010-06-17 20:22:12
IDJOB=2673876
IDBENCH=2291
IDSOLVER=1174
FILE ID=node034/2673876-1276798931
PBS_JOBID= 11176651
Free space on /tmp= 62488 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-ran10x10a.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673876-1276798931/watcher-2673876-1276798931 -o /tmp/evaluation-result-2673876-1276798931/solver-2673876-1276798931 -C 1800 -W 2000 -M 1800  run HOME/instance-2673876-1276798931.opb

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

MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920
RANDOM SEED=1719692134

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1861816 kB
Buffers:         20208 kB
Cached:          87048 kB
SwapCached:       5656 kB
Active:          26852 kB
Inactive:        92776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1861816 kB
SwapTotal:     4192956 kB
SwapFree:      4139932 kB
Dirty:             908 kB
Writeback:           0 kB
AnonPages:       10780 kB
Mapped:          13032 kB
Slab:            55676 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182184 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= 62488 MiB
End job on node034 at 2010-06-17 20:52:14