11.09/11.15	c 2976 116 0 0 0 0 0 0
11.09/11.15	c 8192 ~x483148+4096 ~x483147+2048 ~x483146+1024 ~x483145+512 ~x483144+256 ~x483143+128 ~x483142+64 ~x483141+32 ~x483140+16 ~x483139+8 ~x483138+4 ~x483137+2 ~x483136+1 ~x483135+15360 x2882+8192 ~x15+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=32766
11.18/11.23	c 8192 ~x486864+4096 ~x486863+2048 ~x486862+1024 ~x486861+512 ~x486860+256 ~x486859+128 ~x486858+64 ~x486857+32 ~x486856+16 ~x486855+8 ~x486854+4 ~x486853+2 ~x486852+1 ~x486851+15360 x2883+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
11.28/11.32	c 8192 ~x490580+4096 ~x490579+2048 ~x490578+1024 ~x490577+512 ~x490576+256 ~x490575+128 ~x490574+64 ~x490573+32 ~x490572+16 ~x490571+8 ~x490570+4 ~x490569+2 ~x490568+1 ~x490567+10240 x2884+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=32766
11.38/11.41	c 4096 ~x494295+2048 ~x494294+1024 ~x494293+512 ~x494292+256 ~x494291+128 ~x494290+64 ~x494289+32 ~x494288+16 ~x494287+8 ~x494286+4 ~x494285+2 ~x494284+1 ~x494283+5120 x2885+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.38/11.47	c 16384 ~x496997+8192 ~x496996+4096 ~x496995+2048 ~x496994+1024 ~x496993+512 ~x496992+256 ~x496991+128 ~x496990+64 ~x496989+32 ~x496988+16 ~x496987+8 ~x496986+4 ~x496985+2 ~x496984+1 ~x496983+20480 x2886+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=65534
11.48/11.57	c 8192 ~x501288+4096 ~x501287+2048 ~x501286+1024 ~x501285+512 ~x501284+256 ~x501283+128 ~x501282+64 ~x501281+32 ~x501280+16 ~x501279+8 ~x501278+4 ~x501277+2 ~x501276+1 ~x501275+15360 x2887+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=32766
11.58/11.65	c 16384 ~x505005+8192 ~x505004+4096 ~x505003+2048 ~x505002+1024 ~x505001+512 ~x505000+256 ~x504999+128 ~x504998+64 ~x504997+32 ~x504996+16 ~x504995+8 ~x504994+4 ~x504993+2 ~x504992+1 ~x504991+20480 x2888+16384 ~x196+8192 ~x195+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=65534
11.68/11.75	c 8192 ~x509296+4096 ~x509295+2048 ~x509294+1024 ~x509293+512 ~x509292+256 ~x509291+128 ~x509290+64 ~x509289+32 ~x509288+16 ~x509287+8 ~x509286+4 ~x509285+2 ~x509284+1 ~x509283+15360 x2889+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=32766
11.78/11.85	c 4096 ~x513011+2048 ~x513010+1024 ~x513009+512 ~x513008+256 ~x513007+128 ~x513006+64 ~x513005+32 ~x513004+16 ~x513003+8 ~x513002+4 ~x513001+2 ~x513000+1 ~x512999+5120 x2890+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
11.88/11.91	c 16384 ~x515713+8192 ~x515712+4096 ~x515711+2048 ~x515710+1024 ~x515709+512 ~x515708+256 ~x515707+128 ~x515706+64 ~x515705+32 ~x515704+16 ~x515703+8 ~x515702+4 ~x515701+2 ~x515700+1 ~x515699+20480 x2891+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=65534
11.99/12.01	c 16384 ~x520005+8192 ~x520004+4096 ~x520003+2048 ~x520002+1024 ~x520001+512 ~x520000+256 ~x519999+128 ~x519998+64 ~x519997+32 ~x519996+16 ~x519995+8 ~x519994+4 ~x519993+2 ~x519992+1 ~x519991+20480 x2892+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=65534
12.09/12.11	c 8192 ~x524296+4096 ~x524295+2048 ~x524294+1024 ~x524293+512 ~x524292+256 ~x524291+128 ~x524290+64 ~x524289+32 ~x524288+16 ~x524287+8 ~x524286+4 ~x524285+2 ~x524284+1 ~x524283+10240 x2893+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=32766
12.09/12.20	c 8192 ~x528012+4096 ~x528011+2048 ~x528010+1024 ~x528009+512 ~x528008+256 ~x528007+128 ~x528006+64 ~x528005+32 ~x528004+16 ~x528003+8 ~x528002+4 ~x528001+2 ~x528000+1 ~x527999+15360 x2894+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=32766
12.18/12.28	c 16384 ~x531729+8192 ~x531728+4096 ~x531727+2048 ~x531726+1024 ~x531725+512 ~x531724+256 ~x531723+128 ~x531722+64 ~x531721+32 ~x531720+16 ~x531719+8 ~x531718+4 ~x531717+2 ~x531716+1 ~x531715+20480 x2895+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=65534
12.28/12.38	c 16384 ~x536021+8192 ~x536020+4096 ~x536019+2048 ~x536018+1024 ~x536017+512 ~x536016+256 ~x536015+128 ~x536014+64 ~x536013+32 ~x536012+16 ~x536011+8 ~x536010+4 ~x536009+2 ~x536008+1 ~x536007+20480 x2896+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=65534
12.38/12.48	c 8192 ~x540312+4096 ~x540311+2048 ~x540310+1024 ~x540309+512 ~x540308+256 ~x540307+128 ~x540306+64 ~x540305+32 ~x540304+16 ~x540303+8 ~x540302+4 ~x540301+2 ~x540300+1 ~x540299+10240 x2897+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=32766
12.48/12.57	c 4096 ~x544027+2048 ~x544026+1024 ~x544025+512 ~x544024+256 ~x544023+128 ~x544022+64 ~x544021+32 ~x544020+16 ~x544019+8 ~x544018+4 ~x544017+2 ~x544016+1 ~x544015+5120 x2898+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
12.58/12.63	c 16384 ~x546729+8192 ~x546728+4096 ~x546727+2048 ~x546726+1024 ~x546725+512 ~x546724+256 ~x546723+128 ~x546722+64 ~x546721+32 ~x546720+16 ~x546719+8 ~x546718+4 ~x546717+2 ~x546716+1 ~x546715+20480 x2899+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=65534
12.68/12.73	c 8192 ~x551020+4096 ~x551019+2048 ~x551018+1024 ~x551017+512 ~x551016+256 ~x551015+128 ~x551014+64 ~x551013+32 ~x551012+16 ~x551011+8 ~x551010+4 ~x551009+2 ~x551008+1 ~x551007+15360 x2900+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=32766
12.78/12.81	c 16384 ~x554737+8192 ~x554736+4096 ~x554735+2048 ~x554734+1024 ~x554733+512 ~x554732+256 ~x554731+128 ~x554730+64 ~x554729+32 ~x554728+16 ~x554727+8 ~x554726+4 ~x554725+2 ~x554724+1 ~x554723+20480 x2901+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=65534
12.88/12.91	c 8192 ~x559028+4096 ~x559027+2048 ~x559026+1024 ~x559025+512 ~x559024+256 ~x559023+128 ~x559022+64 ~x559021+32 ~x559020+16 ~x559019+8 ~x559018+4 ~x559017+2 ~x559016+1 ~x559015+15360 x2902+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=32766
12.98/13.00	c 4096 ~x562743+2048 ~x562742+1024 ~x562741+512 ~x562740+256 ~x562739+128 ~x562738+64 ~x562737+32 ~x562736+16 ~x562735+8 ~x562734+4 ~x562733+2 ~x562732+1 ~x562731+5120 x2903+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.98/13.06	c 16384 ~x565445+8192 ~x565444+4096 ~x565443+2048 ~x565442+1024 ~x565441+512 ~x565440+256 ~x565439+128 ~x565438+64 ~x565437+32 ~x565436+16 ~x565435+8 ~x565434+4 ~x565433+2 ~x565432+1 ~x565431+20480 x2904+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=65534
13.09/13.16	c 8192 ~x569736+4096 ~x569735+2048 ~x569734+1024 ~x569733+512 ~x569732+256 ~x569731+128 ~x569730+64 ~x569729+32 ~x569728+16 ~x569727+8 ~x569726+4 ~x569725+2 ~x569724+1 ~x569723+15360 x2905+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=32766
13.19/13.25	c 16384 ~x573453+8192 ~x573452+4096 ~x573451+2048 ~x573450+1024 ~x573449+512 ~x573448+256 ~x573447+128 ~x573446+64 ~x573445+32 ~x573444+16 ~x573443+8 ~x573442+4 ~x573441+2 ~x573440+1 ~x573439+30720 x2906+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=65534
13.28/13.34	c 8192 ~x577744+4096 ~x577743+2048 ~x577742+1024 ~x577741+512 ~x577740+256 ~x577739+128 ~x577738+64 ~x577737+32 ~x577736+16 ~x577735+8 ~x577734+4 ~x577733+2 ~x577732+1 ~x577731+10240 x2907+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
13.38/13.43	c 32768 ~x581462+16384 ~x581461+8192 ~x581460+4096 ~x581459+2048 ~x581458+1024 ~x581457+512 ~x581456+256 ~x581455+128 ~x581454+64 ~x581453+32 ~x581452+16 ~x581451+8 ~x581450+4 ~x581449+2 ~x581448+1 ~x581447+35840 x2908+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=131070
13.48/13.54	c 16384 ~x586090+8192 ~x586089+4096 ~x586088+2048 ~x586087+1024 ~x586086+512 ~x586085+256 ~x586084+128 ~x586083+64 ~x586082+32 ~x586081+16 ~x586080+8 ~x586079+4 ~x586078+2 ~x586077+1 ~x586076+25600 x2909+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
13.58/13.63	c 8192 ~x590381+4096 ~x590380+2048 ~x590379+1024 ~x590378+512 ~x590377+256 ~x590376+128 ~x590375+64 ~x590374+32 ~x590373+16 ~x590372+8 ~x590371+4 ~x590370+2 ~x590369+1 ~x590368+10240 x2910+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
13.68/13.72	c 4096 ~x594096+2048 ~x594095+1024 ~x594094+512 ~x594093+256 ~x594092+128 ~x594091+64 ~x594090+32 ~x594089+16 ~x594088+8 ~x594087+4 ~x594086+2 ~x594085+1 ~x594084+5120 x2911+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=16382
13.68/13.78	c 16384 ~x596798+8192 ~x596797+4096 ~x596796+2048 ~x596795+1024 ~x596794+512 ~x596793+256 ~x596792+128 ~x596791+64 ~x596790+32 ~x596789+16 ~x596788+8 ~x596787+4 ~x596786+2 ~x596785+1 ~x596784+20480 x2912+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
13.78/13.88	c 8192 ~x601089+4096 ~x601088+2048 ~x601087+1024 ~x601086+512 ~x601085+256 ~x601084+128 ~x601083+64 ~x601082+32 ~x601081+16 ~x601080+8 ~x601079+4 ~x601078+2 ~x601077+1 ~x601076+15360 x2913+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
13.88/13.97	c 16384 ~x604806+8192 ~x604805+4096 ~x604804+2048 ~x604803+1024 ~x604802+512 ~x604801+256 ~x604800+128 ~x604799+64 ~x604798+32 ~x604797+16 ~x604796+8 ~x604795+4 ~x604794+2 ~x604793+1 ~x604792+20480 x2914+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=65534
13.98/14.07	c 8192 ~x609097+4096 ~x609096+2048 ~x609095+1024 ~x609094+512 ~x609093+256 ~x609092+128 ~x609091+64 ~x609090+32 ~x609089+16 ~x609088+8 ~x609087+4 ~x609086+2 ~x609085+1 ~x609084+15360 x2915+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
14.08/14.15	c 4096 ~x612812+2048 ~x612811+1024 ~x612810+512 ~x612809+256 ~x612808+128 ~x612807+64 ~x612806+32 ~x612805+16 ~x612804+8 ~x612803+4 ~x612802+2 ~x612801+1 ~x612800+5120 x2916+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
14.19/14.22	c 4096 ~x615512+2048 ~x615511+1024 ~x615510+512 ~x615509+256 ~x615508+128 ~x615507+64 ~x615506+32 ~x615505+16 ~x615504+8 ~x615503+4 ~x615502+2 ~x615501+1 ~x615500+5120 x2917+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
14.19/14.28	c 16384 ~x618214+8192 ~x618213+4096 ~x618212+2048 ~x618211+1024 ~x618210+512 ~x618209+256 ~x618208+128 ~x618207+64 ~x618206+32 ~x618205+16 ~x618204+8 ~x618203+4 ~x618202+2 ~x618201+1 ~x618200+20480 x2918+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=65534
14.29/14.38	c 16384 ~x622506+8192 ~x622505+4096 ~x622504+2048 ~x622503+1024 ~x622502+512 ~x622501+256 ~x622500+128 ~x622499+64 ~x622498+32 ~x622497+16 ~x622496+8 ~x622495+4 ~x622494+2 ~x622493+1 ~x622492+30720 x2919+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=65534
14.38/14.48	c 8192 ~x626797+4096 ~x626796+2048 ~x626795+1024 ~x626794+512 ~x626793+256 ~x626792+128 ~x626791+64 ~x626790+32 ~x626789+16 ~x626788+8 ~x626787+4 ~x626786+2 ~x626785+1 ~x626784+10240 x2920+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
14.48/14.56	c 32768 ~x630515+16384 ~x630514+8192 ~x630513+4096 ~x630512+2048 ~x630511+1024 ~x630510+512 ~x630509+256 ~x630508+128 ~x630507+64 ~x630506+32 ~x630505+16 ~x630504+8 ~x630503+4 ~x630502+2 ~x630501+1 ~x630500+35840 x2921+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=131070
14.58/14.67	c 16384 ~x635143+8192 ~x635142+4096 ~x635141+2048 ~x635140+1024 ~x635139+512 ~x635138+256 ~x635137+128 ~x635136+64 ~x635135+32 ~x635134+16 ~x635133+8 ~x635132+4 ~x635131+2 ~x635130+1 ~x635129+25600 x2922+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=65534
14.68/14.78	c 8192 ~x639434+4096 ~x639433+2048 ~x639432+1024 ~x639431+512 ~x639430+256 ~x639429+128 ~x639428+64 ~x639427+32 ~x639426+16 ~x639425+8 ~x639424+4 ~x639423+2 ~x639422+1 ~x639421+10240 x2923+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=32766
14.78/14.86	c 4096 ~x643149+2048 ~x643148+1024 ~x643147+512 ~x643146+256 ~x643145+128 ~x643144+64 ~x643143+32 ~x643142+16 ~x643141+8 ~x643140+4 ~x643139+2 ~x643138+1 ~x643137+5120 x2924+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
14.88/14.93	c 16384 ~x645851+8192 ~x645850+4096 ~x645849+2048 ~x645848+1024 ~x645847+512 ~x645846+256 ~x645845+128 ~x645844+64 ~x645843+32 ~x645842+16 ~x645841+8 ~x645840+4 ~x645839+2 ~x645838+1 ~x645837+20480 x2925+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=65534
14.98/15.02	c 8192 ~x650142+4096 ~x650141+2048 ~x650140+1024 ~x650139+512 ~x650138+256 ~x650137+128 ~x650136+64 ~x650135+32 ~x650134+16 ~x650133+8 ~x650132+4 ~x650131+2 ~x650130+1 ~x650129+15360 x2926+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
15.08/15.11	c 8192 ~x653858+4096 ~x653857+2048 ~x653856+1024 ~x653855+512 ~x653854+256 ~x653853+128 ~x653852+64 ~x653851+32 ~x653850+16 ~x653849+8 ~x653848+4 ~x653847+2 ~x653846+1 ~x653845+15360 x2927+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=32766
15.18/15.20	c 16384 ~x657575+8192 ~x657574+4096 ~x657573+2048 ~x657572+1024 ~x657571+512 ~x657570+256 ~x657569+128 ~x657568+64 ~x657567+32 ~x657566+16 ~x657565+8 ~x657564+4 ~x657563+2 ~x657562+1 ~x657561+20480 x2928+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=65534
15.18/15.30	c 8192 ~x661866+4096 ~x661865+2048 ~x661864+1024 ~x661863+512 ~x661862+256 ~x661861+128 ~x661860+64 ~x661859+32 ~x661858+16 ~x661857+8 ~x661856+4 ~x661855+2 ~x661854+1 ~x661853+15360 x2929+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
15.29/15.38	c 4096 ~x665581+2048 ~x665580+1024 ~x665579+512 ~x665578+256 ~x665577+128 ~x665576+64 ~x665575+32 ~x665574+16 ~x665573+8 ~x665572+4 ~x665571+2 ~x665570+1 ~x665569+5120 x2930+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
15.39/15.44	c 16384 ~x668283+8192 ~x668282+4096 ~x668281+2048 ~x668280+1024 ~x668279+512 ~x668278+256 ~x668277+128 ~x668276+64 ~x668275+32 ~x668274+16 ~x668273+8 ~x668272+4 ~x668271+2 ~x668270+1 ~x668269+20480 x2931+16384 ~x1486+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=65534
15.48/15.54	c 16384 ~x672575+8192 ~x672574+4096 ~x672573+2048 ~x672572+1024 ~x672571+512 ~x672570+256 ~x672569+128 ~x672568+64 ~x672567+32 ~x672566+16 ~x672565+8 ~x672564+4 ~x672563+2 ~x672562+1 ~x672561+25600 x2932+16384 ~x1516+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=65534
15.58/15.64	c 8192 ~x676866+4096 ~x676865+2048 ~x676864+1024 ~x676863+512 ~x676862+256 ~x676861+128 ~x676860+64 ~x676859+32 ~x676858+16 ~x676857+8 ~x676856+4 ~x676855+2 ~x676854+1 ~x676853+10240 x2933+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=32766
15.68/15.73	c 16384 ~x680583+8192 ~x680582+4096 ~x680581+2048 ~x680580+1024 ~x680579+512 ~x680578+256 ~x680577+128 ~x680576+64 ~x680575+32 ~x680574+16 ~x680573+8 ~x680572+4 ~x680571+2 ~x680570+1 ~x680569+25600 x2934+16384 ~x1576+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=65534
15.78/15.83	c 16384 ~x684875+8192 ~x684874+4096 ~x684873+2048 ~x684872+1024 ~x684871+512 ~x684870+256 ~x684869+128 ~x684868+64 ~x684867+32 ~x684866+16 ~x684865+8 ~x684864+4 ~x684863+2 ~x684862+1 ~x684861+25600 x2935+16384 ~x1606+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=65534
15.88/15.92	c 8192 ~x689166+4096 ~x689165+2048 ~x689164+1024 ~x689163+512 ~x689162+256 ~x689161+128 ~x689160+64 ~x689159+32 ~x689158+16 ~x689157+8 ~x689156+4 ~x689155+2 ~x689154+1 ~x689153+10240 x2936+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
15.98/16.01	c 4096 ~x692881+2048 ~x692880+1024 ~x692879+512 ~x692878+256 ~x692877+128 ~x692876+64 ~x692875+32 ~x692874+16 ~x692873+8 ~x692872+4 ~x692871+2 ~x692870+1 ~x692869+5120 x2937+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=16382
15.98/16.07	c 8192 ~x695582+4096 ~x695581+2048 ~x695580+1024 ~x695579+512 ~x695578+256 ~x695577+128 ~x695576+64 ~x695575+32 ~x695574+16 ~x695573+8 ~x695572+4 ~x695571+2 ~x695570+1 ~x695569+15360 x2938+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=32766
16.08/16.16	c 16384 ~x699299+8192 ~x699298+4096 ~x699297+2048 ~x699296+1024 ~x699295+512 ~x699294+256 ~x699293+128 ~x699292+64 ~x699291+32 ~x699290+16 ~x699289+8 ~x699288+4 ~x699287+2 ~x699286+1 ~x699285+20480 x2939+16384 ~x1726+8192 ~x1725+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=65534
16.18/16.26	c 8192 ~x703590+4096 ~x703589+2048 ~x703588+1024 ~x703587+512 ~x703586+256 ~x703585+128 ~x703584+64 ~x703583+32 ~x703582+16 ~x703581+8 ~x703580+4 ~x703579+2 ~x703578+1 ~x703577+15360 x2940+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
16.28/16.35	c 16384 ~x707307+8192 ~x707306+4096 ~x707305+2048 ~x707304+1024 ~x707303+512 ~x707302+256 ~x707301+128 ~x707300+64 ~x707299+32 ~x707298+16 ~x707297+8 ~x707296+4 ~x707295+2 ~x707294+1 ~x707293+20480 x2941+16384 ~x1786+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=65534
16.38/16.44	c 8192 ~x711598+4096 ~x711597+2048 ~x711596+1024 ~x711595+512 ~x711594+256 ~x711593+128 ~x711592+64 ~x711591+32 ~x711590+16 ~x711589+8 ~x711588+4 ~x711587+2 ~x711586+1 ~x711585+15360 x2942+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
16.49/16.53	c 4096 ~x715313+2048 ~x715312+1024 ~x715311+512 ~x715310+256 ~x715309+128 ~x715308+64 ~x715307+32 ~x715306+16 ~x715305+8 ~x715304+4 ~x715303+2 ~x715302+1 ~x715301+5120 x2943+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=16382
16.49/16.59	c 16384 ~x718015+8192 ~x718014+4096 ~x718013+2048 ~x718012+1024 ~x718011+512 ~x718010+256 ~x718009+128 ~x718008+64 ~x718007+32 ~x718006+16 ~x718005+8 ~x718004+4 ~x718003+2 ~x718002+1 ~x718001+20480 x2944+16384 ~x1876+8192 ~x1875+4096 ~x1874+2048 ~x1873+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=65534
16.58/16.69	c 16384 ~x722307+8192 ~x722306+4096 ~x722305+2048 ~x722304+1024 ~x722303+512 ~x722302+256 ~x722301+128 ~x722300+64 ~x722299+32 ~x722298+16 ~x722297+8 ~x722296+4 ~x722295+2 ~x722294+1 ~x722293+30720 x2945+16384 ~x1906+8192 ~x1905+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=65534
16.68/16.79	c 8192 ~x726598+4096 ~x726597+2048 ~x726596+1024 ~x726595+512 ~x726594+256 ~x726593+128 ~x726592+64 ~x726591+32 ~x726590+16 ~x726589+8 ~x726588+4 ~x726587+2 ~x726586+1 ~x726585+10240 x2946+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
16.78/16.88	c 32768 ~x730316+16384 ~x730315+8192 ~x730314+4096 ~x730313+2048 ~x730312+1024 ~x730311+512 ~x730310+256 ~x730309+128 ~x730308+64 ~x730307+32 ~x730306+16 ~x730305+8 ~x730304+4 ~x730303+2 ~x730302+1 ~x730301+35840 x2947+32768 ~x1967+16384 ~x1966+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=131070
16.88/16.98	c 16384 ~x734944+8192 ~x734943+4096 ~x734942+2048 ~x734941+1024 ~x734940+512 ~x734939+256 ~x734938+128 ~x734937+64 ~x734936+32 ~x734935+16 ~x734934+8 ~x734933+4 ~x734932+2 ~x734931+1 ~x734930+25600 x2948+16384 ~x1996+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=65534
16.98/17.08	c 8192 ~x739235+4096 ~x739234+2048 ~x739233+1024 ~x739232+512 ~x739231+256 ~x739230+128 ~x739229+64 ~x739228+32 ~x739227+16 ~x739226+8 ~x739225+4 ~x739224+2 ~x739223+1 ~x739222+10240 x2949+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
17.08/17.17	c 8192 ~x742951+4096 ~x742950+2048 ~x742949+1024 ~x742948+512 ~x742947+256 ~x742946+128 ~x742945+64 ~x742944+32 ~x742943+16 ~x742942+8 ~x742941+4 ~x742940+2 ~x742939+1 ~x742938+10240 x2950+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=32766
17.18/17.25	c 4096 ~x746666+2048 ~x746665+1024 ~x746664+512 ~x746663+256 ~x746662+128 ~x746661+64 ~x746660+32 ~x746659+16 ~x746658+8 ~x746657+4 ~x746656+2 ~x746655+1 ~x746654+5120 x2951+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=16382
17.28/17.32	c 8192 ~x749367+4096 ~x749366+2048 ~x749365+1024 ~x749364+512 ~x749363+256 ~x749362+128 ~x749361+64 ~x749360+32 ~x749359+16 ~x749358+8 ~x749357+4 ~x749356+2 ~x749355+1 ~x749354+10240 x2952+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=32766
17.38/17.40	c 8192 ~x753083+4096 ~x753082+2048 ~x753081+1024 ~x753080+512 ~x753079+256 ~x753078+128 ~x753077+64 ~x753076+32 ~x753075+16 ~x753074+8 ~x753073+4 ~x753072+2 ~x753071+1 ~x753070+10240 x2953+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
17.38/17.49	c 8192 ~x756799+4096 ~x756798+2048 ~x756797+1024 ~x756796+512 ~x756795+256 ~x756794+128 ~x756793+64 ~x756792+32 ~x756791+16 ~x756790+8 ~x756789+4 ~x756788+2 ~x756787+1 ~x756786+10240 x2954+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
17.49/17.58	c 8192 ~x760515+4096 ~x760514+2048 ~x760513+1024 ~x760512+512 ~x760511+256 ~x760510+128 ~x760509+64 ~x760508+32 ~x760507+16 ~x760506+8 ~x760505+4 ~x760504+2 ~x760503+1 ~x760502+10240 x2955+8192 ~x2205+4096 ~x2204+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=32766
17.59/17.66	c 4096 ~x764230+2048 ~x764229+1024 ~x764228+512 ~x764227+256 ~x764226+128 ~x764225+64 ~x764224+32 ~x764223+16 ~x764222+8 ~x764221+4 ~x764220+2 ~x764219+1 ~x764218+5120 x2956+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=16382
17.68/17.73	c 8192 ~x766931+4096 ~x766930+2048 ~x766929+1024 ~x766928+512 ~x766927+256 ~x766926+128 ~x766925+64 ~x766924+32 ~x766923+16 ~x766922+8 ~x766921+4 ~x766920+2 ~x766919+1 ~x766918+10240 x2957+8192 ~x2265+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=32766
17.78/17.81	c 8192 ~x770647+4096 ~x770646+2048 ~x770645+1024 ~x770644+512 ~x770643+256 ~x770642+128 ~x770641+64 ~x770640+32 ~x770639+16 ~x770638+8 ~x770637+4 ~x770636+2 ~x770635+1 ~x770634+10240 x2958+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
17.88/17.90	c 8192 ~x774363+4096 ~x774362+2048 ~x774361+1024 ~x774360+512 ~x774359+256 ~x774358+128 ~x774357+64 ~x774356+32 ~x774355+16 ~x774354+8 ~x774353+4 ~x774352+2 ~x774351+1 ~x774350+10240 x2959+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=32766
17.88/17.99	c 8192 ~x778079+4096 ~x778078+2048 ~x778077+1024 ~x778076+512 ~x778075+256 ~x778074+128 ~x778073+64 ~x778072+32 ~x778071+16 ~x778070+8 ~x778069+4 ~x778068+2 ~x778067+1 ~x778066+15360 x2960+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=32766
17.98/18.07	c 8192 ~x781795+4096 ~x781794+2048 ~x781793+1024 ~x781792+512 ~x781791+256 ~x781790+128 ~x781789+64 ~x781788+32 ~x781787+16 ~x781786+8 ~x781785+4 ~x781784+2 ~x781783+1 ~x781782+10240 x2961+8192 ~x2385+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=32766
18.08/18.16	c 8192 ~x785511+4096 ~x785510+2048 ~x785509+1024 ~x785508+512 ~x785507+256 ~x785506+128 ~x785505+64 ~x785504+32 ~x785503+16 ~x785502+8 ~x785501+4 ~x785500+2 ~x785499+1 ~x785498+10240 x2962+8192 ~x2415+4096 ~x2414+2048 ~x2413+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=32766
18.18/18.25	c 8192 ~x789227+4096 ~x789226+2048 ~x789225+1024 ~x789224+512 ~x789223+256 ~x789222+128 ~x789221+64 ~x789220+32 ~x789219+16 ~x789218+8 ~x789217+4 ~x789216+2 ~x789215+1 ~x789214+10240 x2963+8192 ~x2445+4096 ~x2444+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=32766
18.28/18.34	c 4096 ~x792942+2048 ~x792941+1024 ~x792940+512 ~x792939+256 ~x792938+128 ~x792937+64 ~x792936+32 ~x792935+16 ~x792934+8 ~x792933+4 ~x792932+2 ~x792931+1 ~x792930+5120 x2964+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
18.38/18.40	c 16384 ~x795644+8192 ~x795643+4096 ~x795642+2048 ~x795641+1024 ~x795640+512 ~x795639+256 ~x795638+128 ~x795637+64 ~x795636+32 ~x795635+16 ~x795634+8 ~x795633+4 ~x795632+2 ~x795631+1 ~x795630+20480 x2965+16384 ~x2506+8192 ~x2505+4096 ~x2504+2048 ~x2503+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=65534
18.48/18.51	c 8192 ~x799935+4096 ~x799934+2048 ~x799933+1024 ~x799932+512 ~x799931+256 ~x799930+128 ~x799929+64 ~x799928+32 ~x799927+16 ~x799926+8 ~x799925+4 ~x799924+2 ~x799923+1 ~x799922+15360 x2966+8192 ~x2535+4096 ~x2534+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=32766
18.58/18.60	c 16384 ~x803652+8192 ~x803651+4096 ~x803650+2048 ~x803649+1024 ~x803648+512 ~x803647+256 ~x803646+128 ~x803645+64 ~x803644+32 ~x803643+16 ~x803642+8 ~x803641+4 ~x803640+2 ~x803639+1 ~x803638+20480 x2967+16384 ~x2566+8192 ~x2565+4096 ~x2564+2048 ~x2563+1024 ~x2562+512 ~x2561+256 ~x2560+128 ~x2559+64 ~x2558+32 ~x2557+16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552-0=65534
18.58/18.70	c 8192 ~x807943+4096 ~x807942+2048 ~x807941+1024 ~x807940+512 ~x807939+256 ~x807938+128 ~x807937+64 ~x807936+32 ~x807935+16 ~x807934+8 ~x807933+4 ~x807932+2 ~x807931+1 ~x807930+15360 x2968+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=32766
18.69/18.78	c 4096 ~x811658+2048 ~x811657+1024 ~x811656+512 ~x811655+256 ~x811654+128 ~x811653+64 ~x811652+32 ~x811651+16 ~x811650+8 ~x811649+4 ~x811648+2 ~x811647+1 ~x811646+5120 x2969+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
18.78/18.85	c 16384 ~x814360+8192 ~x814359+4096 ~x814358+2048 ~x814357+1024 ~x814356+512 ~x814355+256 ~x814354+128 ~x814353+64 ~x814352+32 ~x814351+16 ~x814350+8 ~x814349+4 ~x814348+2 ~x814347+1 ~x814346+20480 x2970+16384 ~x2656+8192 ~x2655+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=65534
18.88/18.94	c 8192 ~x818651+4096 ~x818650+2048 ~x818649+1024 ~x818648+512 ~x818647+256 ~x818646+128 ~x818645+64 ~x818644+32 ~x818643+16 ~x818642+8 ~x818641+4 ~x818640+2 ~x818639+1 ~x818638+15360 x2971+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
18.98/19.03	c 16384 ~x822368+8192 ~x822367+4096 ~x822366+2048 ~x822365+1024 ~x822364+512 ~x822363+256 ~x822362+128 ~x822361+64 ~x822360+32 ~x822359+16 ~x822358+8 ~x822357+4 ~x822356+2 ~x822355+1 ~x822354+25600 x2972+16384 ~x2716+8192 ~x2715+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=65534
19.08/19.13	c 8192 ~x826659+4096 ~x826658+2048 ~x826657+1024 ~x826656+512 ~x826655+256 ~x826654+128 ~x826653+64 ~x826652+32 ~x826651+16 ~x826650+8 ~x826649+4 ~x826648+2 ~x826647+1 ~x826646+10240 x2973+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
19.18/19.22	c 16384 ~x830376+8192 ~x830375+4096 ~x830374+2048 ~x830373+1024 ~x830372+512 ~x830371+256 ~x830370+128 ~x830369+64 ~x830368+32 ~x830367+16 ~x830366+8 ~x830365+4 ~x830364+2 ~x830363+1 ~x830362+25600 x2974+16384 ~x2776+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=65534
19.28/19.31	c 16384 ~x834668+8192 ~x834667+4096 ~x834666+2048 ~x834665+1024 ~x834664+512 ~x834663+256 ~x834662+128 ~x834661+64 ~x834660+32 ~x834659+16 ~x834658+8 ~x834657+4 ~x834656+2 ~x834655+1 ~x834654+25600 x2975+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
19.38/19.41	c 8192 ~x838959+4096 ~x838958+2048 ~x838957+1024 ~x838956+512 ~x838955+256 ~x838954+128 ~x838953+64 ~x838952+32 ~x838951+16 ~x838950+8 ~x838949+4 ~x838948+2 ~x838947+1 ~x838946+10240 x2976+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
19.48/19.50	c 4096 ~x842674+2048 ~x842673+1024 ~x842672+512 ~x842671+256 ~x842670+128 ~x842669+64 ~x842668+32 ~x842667+16 ~x842666+8 ~x842665+4 ~x842664+2 ~x842663+1 ~x842662+5120 x

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674124-1276799098/watcher-2674124-1276799098 -o /tmp/evaluation-result-2674124-1276799098/solver-2674124-1276799098 -C 1800 -W 2000 -M 1800 run HOME/instance-2674124-1276799098.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.89 0.94 0.97 2/105 24438
/proc/meminfo: memFree=1865948/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0

[startup+0.0507381 s]
/proc/loadavg: 0.89 0.94 0.97 2/105 24438
/proc/meminfo: memFree=1865948/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101742 s]
/proc/loadavg: 0.89 0.94 0.97 2/105 24438
/proc/meminfo: memFree=1865948/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300764 s]
/proc/loadavg: 0.89 0.94 0.97 2/105 24438
/proc/meminfo: memFree=1865948/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700807 s]
/proc/loadavg: 0.89 0.94 0.97 2/105 24438
/proc/meminfo: memFree=1865948/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50189 s]
/proc/loadavg: 0.90 0.94 0.97 2/107 24441
/proc/meminfo: memFree=1744164/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=134948 CPUtime=1.48
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 40209 0 0 0 105 43 0 0 25 0 1 0 21203348 138186752 32907 1992294400 134512640 134902295 4287676800 18446744073709551615 4160526695 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 33737 32907 262 96 0 32949 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 143648

[startup+3.10207 s]
/proc/loadavg: 0.90 0.94 0.97 2/107 24441
/proc/meminfo: memFree=1723952/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=163808 CPUtime=3.09
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 48026 0 0 0 262 47 0 0 25 0 1 0 21203348 167739392 40098 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488083 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 40952 40098 262 96 0 40164 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172508

[startup+6.30142 s]
/proc/loadavg: 0.91 0.94 0.97 2/107 24441
/proc/meminfo: memFree=1662820/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=226712 CPUtime=6.29
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 63960 0 0 0 575 54 0 0 25 0 1 0 21203348 232153088 54823 1992294400 134512640 134902295 4287676800 18446744073709551615 2196988 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 56678 54823 262 96 0 55890 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 235412

[startup+12.7011 s]
/proc/loadavg: 0.91 0.94 0.97 2/107 24441
/proc/meminfo: memFree=1532372/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=360352 CPUtime=12.68
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 97845 0 0 0 1201 67 0 0 25 0 1 0 21203348 369000448 86116 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488742 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 90088 86116 262 96 0 89300 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 369052

[startup+25.5015 s]
/proc/loadavg: 0.93 0.94 0.97 2/107 24441
/proc/meminfo: memFree=1392872/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=494180 CPUtime=25.48
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 134525 0 0 0 2466 82 0 0 25 0 1 0 21203348 506040320 118156 1992294400 134512640 134902295 4287676800 18446744073709551615 4160500241 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 123545 118156 269 96 0 122757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 502880

[startup+51.1013 s]
/proc/loadavg: 0.95 0.95 0.97 2/107 24443
/proc/meminfo: memFree=1387044/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=500308 CPUtime=51.07
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 136022 0 0 0 5024 83 0 0 25 0 1 0 21203348 512315392 119645 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 125077 119645 269 96 0 124289 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 509008

[startup+102.309 s]
/proc/loadavg: 0.98 0.95 0.97 2/107 24443
/proc/meminfo: memFree=1377868/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=509148 CPUtime=102.27
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 138219 0 0 0 10141 86 0 0 25 0 1 0 21203348 521367552 121842 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518357 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 127287 121842 269 96 0 126499 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 517848

[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/107 24445
/proc/meminfo: memFree=1366956/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=520052 CPUtime=162.24
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 140939 0 0 0 16135 89 0 0 25 0 1 0 21203348 532533248 124562 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 130013 124562 269 96 0 129225 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 528752

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/107 24447
/proc/meminfo: memFree=1356912/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=530096 CPUtime=222.23
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 143432 0 0 0 22131 92 0 0 25 0 1 0 21203348 542818304 127055 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488191 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 132524 127055 269 96 0 131736 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 538796

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24449
/proc/meminfo: memFree=1342528/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=544644 CPUtime=282.21
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 147026 0 0 0 28126 95 0 0 25 0 1 0 21203348 557715456 130649 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488048 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 136161 130649 269 96 0 135373 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 553344

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24449
/proc/meminfo: memFree=1330748/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=556276 CPUtime=342.2
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 149937 0 0 0 34122 98 0 0 25 0 1 0 21203348 569626624 133560 1992294400 134512640 134902295 4287676800 18446744073709551615 4160507516 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 139069 133560 269 96 0 138281 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 564976

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24451
/proc/meminfo: memFree=1320084/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=566892 CPUtime=402.18
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 152621 0 0 0 40117 101 0 0 25 0 1 0 21203348 580497408 136244 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 141723 136244 269 96 0 140935 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 575592

[startup+462.302 s]

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

/proc/24440/statm: 163928 158300 269 96 0 163140 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 664412

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24476
/proc/meminfo: memFree=1227580/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=658804 CPUtime=1241.96
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 175474 0 0 0 124071 125 0 0 25 0 1 0 21203348 674615296 159097 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488137 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 164701 159097 269 96 0 163913 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 667504

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24478
/proc/meminfo: memFree=1225100/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=661208 CPUtime=1301.95
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 176078 0 0 0 130069 126 0 0 25 0 1 0 21203348 677076992 159701 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 165302 159701 269 96 0 164514 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 669908

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24480
/proc/meminfo: memFree=1222000/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=664248 CPUtime=1361.92
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 176842 0 0 0 136065 127 0 0 25 0 1 0 21203348 680189952 160465 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 166062 160465 269 96 0 165274 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 672948

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24482
/proc/meminfo: memFree=1219148/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=667184 CPUtime=1421.91
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 177563 0 0 0 142064 127 0 0 25 0 1 0 21203348 683196416 161186 1992294400 134512640 134902295 4287676800 18446744073709551615 4160523559 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 166796 161186 269 96 0 166008 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 675884

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24484
/proc/meminfo: memFree=1215924/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=670300 CPUtime=1481.89
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 178367 0 0 0 148061 128 0 0 25 0 1 0 21203348 686387200 161990 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488262 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 167575 161990 269 96 0 166787 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 679000

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24484
/proc/meminfo: memFree=1210716/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=675400 CPUtime=1541.87
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 179648 0 0 0 154058 129 0 0 25 0 1 0 21203348 691609600 163271 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 168850 163271 269 96 0 168062 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 684100

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24486
/proc/meminfo: memFree=1204888/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=681220 CPUtime=1601.86
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 181116 0 0 0 160055 131 0 0 25 0 1 0 21203348 697569280 164739 1992294400 134512640 134902295 4287676800 18446744073709551615 4160500241 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 170305 164739 269 96 0 169517 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 689920

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24488
/proc/meminfo: memFree=1198564/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=688268 CPUtime=1661.84
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 182627 0 0 0 166051 133 0 0 25 0 1 0 21203348 704786432 166250 1992294400 134512640 134902295 4287676800 18446744073709551615 4160525748 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 172067 166250 269 96 0 171279 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 696968

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24490
/proc/meminfo: memFree=1191620/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=695140 CPUtime=1721.83
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 184374 0 0 0 172048 135 0 0 25 0 1 0 21203348 711823360 167997 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 173785 167997 269 96 0 172997 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 703840

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24492
/proc/meminfo: memFree=1185792/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=700700 CPUtime=1781.81
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 185775 0 0 0 178044 137 0 0 25 0 1 0 21203348 717516800 169398 1992294400 134512640 134902295 4287676800 18446744073709551615 4160518270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 175175 169398 269 96 0 174387 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 709400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24492
/proc/meminfo: memFree=1184304/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=702160 CPUtime=1800.01
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 186132 0 0 0 179863 138 0 0 25 0 1 0 21203348 719011840 169755 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488150 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 175540 169755 269 96 0 174752 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 710860

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 24492
/proc/meminfo: memFree=1184304/2059040 swapFree=4139740/4192956
[pid=24438] ppid=24436 vsize=8700 CPUtime=0
/proc/24438/stat : 24438 (run) S 24436 24438 24351 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21203347 8908800 250 1992294400 4194304 4922060 140736714584560 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24438/statm: 2175 250 211 178 0 68 0
[pid=24440] ppid=24438 vsize=702160 CPUtime=1800.01
/proc/24440/stat : 24440 (PBPASSolver) R 24438 24438 24351 0 -1 4202496 186132 0 0 0 179863 138 0 0 25 0 1 0 21203348 719011840 169755 1992294400 134512640 134902295 4287676800 18446744073709551615 4160488150 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24440/statm: 175540 169755 269 96 0 174752 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 710860

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24438 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002999
# 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.63
CPU system time (s): 1.38
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 710860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002999
system time used= 0
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 3.20051 second user time and 8.28174 second system time

The end

Begin job on node087 at 2010-06-17 20:24:58
IDJOB=2674124
IDBENCH=2309
IDSOLVER=1174
FILE ID=node087/2674124-1276799098
PBS_JOBID= 11176659
Free space on /tmp= 62556 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-bal8x12.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674124-1276799098/watcher-2674124-1276799098 -o /tmp/evaluation-result-2674124-1276799098/solver-2674124-1276799098 -C 1800 -W 2000 -M 1800  run HOME/instance-2674124-1276799098.opb

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

MD5SUM BENCH= a6e8ee977a9ad5045237a2abc87084b8
RANDOM SEED=1186317351

node087.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.213
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
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.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1866344 kB
Buffers:         20624 kB
Cached:          82752 kB
SwapCached:       5944 kB
Active:           6756 kB
Inactive:       109264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1866344 kB
SwapTotal:     4192956 kB
SwapFree:      4139740 kB
Dirty:            1076 kB
Writeback:           0 kB
AnonPages:       10904 kB
Mapped:          12884 kB
Slab:            54608 kB
PageTables:       4000 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= 62552 MiB
End job on node087 at 2010-06-17 20:55:01