Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.08 | 1801.02 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j605_10-unsat.opb |
MD5SUM | ce969cddb569a85677747111590221bd |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 7.2269 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9638 |
Total number of constraints | 30220 |
Number of constraints which are clauses | 29908 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 312 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 38 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 20 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 254 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
36.56/36.61 c 9638 30220 0 0 0 0 0 0 36.56/36.61 c 2 ~x25298+1 ~x25297+9 ~x5533+7 ~x4980+5 ~x4901-0=5 36.56/36.61 c 4 ~x25313+2 ~x25312+1 ~x25311+10 ~x5380-0=14 36.56/36.61 c 4 ~x25343+2 ~x25342+1 ~x25341+10 ~x5381-0=14 36.56/36.61 c 8 ~x25374+4 ~x25373+2 ~x25372+1 ~x25371+2 ~x5777+10 ~x5382+7 ~x4987-0=24 36.56/36.61 c 16 ~x25456+8 ~x25455+4 ~x25454+2 ~x25453+1 ~x25452+2 ~x5778+10 ~x5620+10 ~x5462+10 ~x5383+4 ~x5304-0=57 36.76/36.85 c 16 ~x25699+8 ~x25698+4 ~x25697+2 ~x25696+1 ~x25695+8 ~x6174+6 ~x5858+2 ~x5779+10 ~x5621+10 ~x5463+10 ~x5384+4 ~x5305-0=62 36.76/36.85 c 32 ~x26033+16 ~x26032+8 ~x26031+4 ~x26030+2 ~x26029+1 ~x26028+7 ~x6886+1 ~x6412+8 ~x6175+6 ~x5859+2 ~x5780+10 ~x5622+10 ~x5464+10 ~x5385+4 ~x5306-0=102 36.76/36.87 c 32 ~x26547+16 ~x26546+8 ~x26545+4 ~x26544+2 ~x26543+1 ~x26542+7 ~x6887+1 ~x6413+8 ~x6176+6 ~x5860+2 ~x5781+10 ~x5623+10 ~x5465+10 ~x5386+4 ~x5307-0=102 36.86/36.92 c 32 ~x27061+16 ~x27060+8 ~x27059+4 ~x27058+2 ~x27057+1 ~x27056+9 ~x7362+7 ~x6888+1 ~x6414+8 ~x6177+6 ~x5861+2 ~x5782+10 ~x5624+10 ~x5466+10 ~x5387+4 ~x5308-0=111 36.86/36.92 c 32 ~x27626+16 ~x27625+8 ~x27624+4 ~x27623+2 ~x27622+1 ~x27621+9 ~x7363+7 ~x6889+1 ~x6415+8 ~x6178+6 ~x5862+2 ~x5783+10 ~x5625+10 ~x5467+10 ~x5388+4 ~x5309-0=111 36.86/36.96 c 64 ~x28192+32 ~x28191+16 ~x28190+8 ~x28189+4 ~x28188+2 ~x28187+1 ~x28186+1 ~x9023+4 ~x8154+2 ~x7443+9 ~x7364+7 ~x6890+1 ~x6416+8 ~x6179+6 ~x5863+2 ~x5784+10 ~x5705+10 ~x5626+10 ~x5468+10 ~x5389+4 ~x5310-0=192 37.16/37.29 c 64 ~x29081+32 ~x29080+16 ~x29079+8 ~x29078+4 ~x29077+2 ~x29076+1 ~x29075+1 ~x9024+4 ~x8155+2 ~x7444+9 ~x7365+7 ~x6891+1 ~x6417+8 ~x6180+6 ~x5864+2 ~x5785+10 ~x5706+10 ~x5627+10 ~x5469+10 ~x5390+4 ~x5311-0=192 37.16/37.29 c 64 ~x29970+32 ~x29969+16 ~x29968+8 ~x29967+4 ~x29966+2 ~x29965+1 ~x29964+1 ~x9025+4 ~x8156+2 ~x7445+9 ~x7366+7 ~x6892+1 ~x6418+8 ~x6181+6 ~x5865+2 ~x5786+10 ~x5707+10 ~x5628+10 ~x5470+10 ~x5391+4 ~x5312-0=192 37.27/37.35 c 64 ~x30859+32 ~x30858+16 ~x30857+8 ~x30856+4 ~x30855+2 ~x30854+1 ~x30853+1 ~x9026+4 ~x8157+7 ~x7762+2 ~x7446+9 ~x7367+6 ~x7288+7 ~x6893+1 ~x6498+1 ~x6419+8 ~x6182+6 ~x5866+2 ~x5787+10 ~x5708+10 ~x5629+10 ~x5471+10 ~x5392+4 ~x5313-0=206 37.27/37.38 c 64 ~x31919+32 ~x31918+16 ~x31917+8 ~x31916+4 ~x31915+2 ~x31914+1 ~x31913+1 ~x9027+4 ~x8158+7 ~x7763+2 ~x7447+9 ~x7368+6 ~x7289+9 ~x6973+7 ~x6894+1 ~x6499+1 ~x6420+8 ~x6183+6 ~x5867+2 ~x5788+10 ~x5709+10 ~x5630+10 ~x5472+10 ~x5393+4 ~x5314-0=215 37.37/37.41 c 64 ~x33036+32 ~x33035+16 ~x33034+8 ~x33033+4 ~x33032+2 ~x33031+1 ~x33030+1 ~x9028+4 ~x8159+3 ~x7922+7 ~x7764+2 ~x7448+9 ~x7369+6 ~x7290+9 ~x6974+7 ~x6895+1 ~x6500+1 ~x6421+8 ~x6184+6 ~x5868+2 ~x5789+10 ~x5710+10 ~x5631+10 ~x5473+10 ~x5394-0=214 37.37/37.44 c 64 ~x34147+32 ~x34146+16 ~x34145+8 ~x34144+4 ~x34143+2 ~x34142+1 ~x34141+8 ~x9424+1 ~x9029+4 ~x8160+3 ~x7923+7 ~x7765+2 ~x7449+9 ~x7370+6 ~x7291+9 ~x6975+7 ~x6896+1 ~x6501+1 ~x6422+8 ~x6185+6 ~x5869+2 ~x5790+10 ~x5711+10 ~x5632+10 ~x5474+10 ~x5395-0=222 37.37/37.48 c 64 ~x35315+32 ~x35314+16 ~x35313+8 ~x35312+4 ~x35311+2 ~x35310+1 ~x35309+8 ~x9425+1 ~x9030+4 ~x8161+3 ~x7924+7 ~x7766+2 ~x7450+9 ~x7371+6 ~x7292+9 ~x6976+7 ~x6897+1 ~x6502+1 ~x6423+8 ~x6186+6 ~x5870+2 ~x5791+10 ~x5712+10 ~x5633+10 ~x5475+10 ~x5396-0=222 37.47/37.51 c 64 ~x36483+32 ~x36482+16 ~x36481+8 ~x36480+4 ~x36479+2 ~x36478+1 ~x36477+8 ~x9426+1 ~x9031+8 ~x8241+4 ~x8162+3 ~x7925+7 ~x7767+2 ~x7451+9 ~x7372+6 ~x7293+9 ~x6977+7 ~x6898+1 ~x6503+1 ~x6424+8 ~x6187+6 ~x5871+2 ~x5792+10 ~x5713+10 ~x5634+10 ~x5476+10 ~x5397-0=230 37.47/37.55 c 64 ~x37929+32 ~x37928+16 ~x37927+8 ~x37926+4 ~x37925+2 ~x37924+1 ~x37923+8 ~x9427+1 ~x9032+9 ~x8479+8 ~x8242+4 ~x8163+3 ~x7926+7 ~x7768+9 ~x7610+2 ~x7452+9 ~x7373+6 ~x7294+9 ~x6978+7 ~x6899+1 ~x6504+1 ~x6425+8 ~x6188+6 ~x5872+2 ~x5793+10 ~x5714+10 ~x5635+10 ~x5477+10 ~x5398-0=248 37.47/37.59 c 128 ~x39508+64 ~x39507+32 ~x39506+16 ~x39505+8 ~x39504+4 ~x39503+2 ~x39502+1 ~x39501+8 ~x9428+1 ~x9033+6 ~x8875+9 ~x8480+8 ~x8243+4 ~x8164+3 ~x7927+7 ~x7769+9 ~x7611+2 ~x7453+9 ~x7374+6 ~x7295+9 ~x6979+7 ~x6900+2 ~x6742+1 ~x6505+1 ~x6426+8 ~x6189+6 ~x5873+2 ~x5794+10 ~x5715+10 ~x5636+10 ~x5478+10 ~x5399-0=384 37.57/37.64 c 128 ~x41285+64 ~x41284+32 ~x41283+16 ~x41282+8 ~x41281+4 ~x41280+2 ~x41279+1 ~x41278+8 ~x9429+1 ~x9034+6 ~x8876+9 ~x8481+8 ~x8244+4 ~x8165+3 ~x7928+7 ~x7770+9 ~x7612+2 ~x7454+9 ~x7375+6 ~x7296+9 ~x6980+7 ~x6901+2 ~x6743+1 ~x6506+1 ~x6427+8 ~x6190+6 ~x5874+2 ~x5795+10 ~x5716+10 ~x5637+10 ~x5479+10 ~x5400-0=384 37.57/37.68 c 128 ~x43062+64 ~x43061+32 ~x43060+16 ~x43059+8 ~x43058+4 ~x43057+2 ~x43056+1 ~x43055+8 ~x9430+1 ~x9035+6 ~x8877+9 ~x8482+10 ~x8403+8 ~x8245+4 ~x8166+3 ~x7929+7 ~x7771+9 ~x7613+2 ~x7455+9 ~x7376+6 ~x7297+9 ~x6981+7 ~x6902+2 ~x6744+1 ~x6507+1 ~x6428+8 ~x6191+6 ~x5875+2 ~x5796+10 ~x5717+10 ~x5638+10 ~x5480+10 ~x5401-0=394 37.67/37.73 c 128 ~x44905+64 ~x44904+32 ~x44903+16 ~x44902+8 ~x44901+4 ~x44900+2 ~x44899+1 ~x44898+8 ~x9431+1 ~x9194+1 ~x9036+6 ~x8878+9 ~x8483+10 ~x8404+8 ~x8246+4 ~x8167+3 ~x7930+7 ~x7772+9 ~x7614+2 ~x7456+9 ~x7377+6 ~x7298+9 ~x6982+7 ~x6903+2 ~x6745+1 ~x6508+1 ~x6429+8 ~x6192+6 ~x5876+2 ~x5797+10 ~x5718+10 ~x5639+10 ~x5481+10 ~x5402-0=395 37.67/37.79 c 128 ~x46814+64 ~x46813+32 ~x46812+16 ~x46811+8 ~x46810+4 ~x46809+2 ~x46808+1 ~x46807+8 ~x9432+1 ~x9195+1 ~x9037+6 ~x8879+9 ~x8484+10 ~x8405+8 ~x8247+4 ~x8168+3 ~x7931+7 ~x7773+9 ~x7615+2 ~x7457+9 ~x7378+6 ~x7299+9 ~x6983+7 ~x6904+2 ~x6746+1 ~x6509+1 ~x6430+8 ~x6193+6 ~x5877+2 ~x5798+10 ~x5719+10 ~x5640+10 ~x5482+10 ~x5403-0=395 37.77/37.84 c 128 ~x48723+64 ~x48722+32 ~x48721+16 ~x48720+8 ~x48719+4 ~x48718+2 ~x48717+1 ~x48716+8 ~x9433+1 ~x9196+1 ~x9038+6 ~x8880+9 ~x8485+10 ~x8406+8 ~x8248+4 ~x8169+3 ~x7932+7 ~x7774+9 ~x7616+2 ~x7458+9 ~x7379+6 ~x7300+9 ~x6984+7 ~x6905+2 ~x6747+1 ~x6510+1 ~x6431+8 ~x6194+6 ~x5878+2 ~x5799+10 ~x5720+10 ~x5641+10 ~x5483+10 ~x5404-0=395 37.77/37.89 c 128 ~x50632+64 ~x50631+32 ~x50630+16 ~x50629+8 ~x50628+4 ~x50627+2 ~x50626+1 ~x50625+8 ~x9434+1 ~x9197+1 ~x9039+6 ~x8881+9 ~x8486+10 ~x8407+8 ~x8249+4 ~x8170+3 ~x7933+7 ~x7775+9 ~x7617+2 ~x7459+9 ~x7380+6 ~x7301+9 ~x6985+7 ~x6906+2 ~x6748+1 ~x6511+1 ~x6432+8 ~x6195+6 ~x5879+2 ~x5800+10 ~x5721+10 ~x5642+10 ~x5484+10 ~x5405-0=395 37.86/37.94 c 128 ~x52541+64 ~x52540+32 ~x52539+16 ~x52538+8 ~x52537+4 ~x52536+2 ~x52535+1 ~x52534+8 ~x9435+1 ~x9198+1 ~x9040+6 ~x8882+9 ~x8487+10 ~x8408+8 ~x8250+4 ~x8171+3 ~x7934+7 ~x7776+9 ~x7618+2 ~x7460+9 ~x7381+6 ~x7302+9 ~x6986+7 ~x6907+2 ~x6749+1 ~x6512+1 ~x6433+8 ~x6196+6 ~x5880+2 ~x5801+10 ~x5722+10 ~x5643+10 ~x5485-0=385 37.86/37.99 c 128 ~x54408+64 ~x54407+32 ~x54406+16 ~x54405+8 ~x54404+4 ~x54403+2 ~x54402+1 ~x54401+8 ~x9436+1 ~x9199+1 ~x9041+6 ~x8883+9 ~x8488+10 ~x8409+8 ~x8251+4 ~x8172+3 ~x7935+7 ~x7777+9 ~x7619+2 ~x7461+9 ~x7382+6 ~x7303+9 ~x6987+7 ~x6908+2 ~x6750+1 ~x6513+1 ~x6434+8 ~x6197+6 ~x5881+2 ~x5802+10 ~x5723+10 ~x5644+10 ~x5486-0=385 37.96/38.03 c 128 ~x56275+64 ~x56274+32 ~x56273+16 ~x56272+8 ~x56271+4 ~x56270+2 ~x56269+1 ~x56268+8 ~x9437+1 ~x9200+1 ~x9042+6 ~x8884+9 ~x8489+10 ~x8410+8 ~x8252+4 ~x8173+3 ~x7936+7 ~x7778+8 ~x7699+9 ~x7620+2 ~x7462+9 ~x7383+6 ~x7304+9 ~x6988+7 ~x6909+2 ~x6751+1 ~x6514+1 ~x6435+8 ~x6198+6 ~x5882+2 ~x5803+10 ~x5724+10 ~x5645+10 ~x5487-0=393 37.96/38.10 c 128 ~x58208+64 ~x58207+32 ~x58206+16 ~x58205+8 ~x58204+4 ~x58203+2 ~x58202+1 ~x58201+8 ~x9438+1 ~x9201+1 ~x9043+6 ~x8885+9 ~x8490+10 ~x8411+8 ~x8253+4 ~x8174+3 ~x7937+7 ~x7779+8 ~x7700+9 ~x7621+2 ~x7463+9 ~x7384+6 ~x7305+9 ~x6989+7 ~x6910+2 ~x6752+1 ~x6515+1 ~x6436+6 ~x5883+2 ~x5804+10 ~x5725+10 ~x5646+10 ~x5488-0=385 38.07/38.14 c 128 ~x60075+64 ~x60074+32 ~x60073+16 ~x60072+8 ~x60071+4 ~x60070+2 ~x60069+1 ~x60068+8 ~x9439+1 ~x9202+1 ~x9044+6 ~x8886+9 ~x8491+10 ~x8412+8 ~x8254+4 ~x8175+3 ~x7938+7 ~x7780+8 ~x7701+9 ~x7622+2 ~x7464+9 ~x7385+6 ~x7306+9 ~x6990+7 ~x6911+2 ~x6753+1 ~x6516+1 ~x6437+6 ~x5884+2 ~x5805+10 ~x5726+10 ~x5647+10 ~x5489-0=385 38.07/38.19 c 128 ~x61942+64 ~x61941+32 ~x61940+16 ~x61939+8 ~x61938+4 ~x61937+2 ~x61936+1 ~x61935+8 ~x9440+1 ~x9203+1 ~x9045+6 ~x8887+9 ~x8492+10 ~x8413+8 ~x8255+4 ~x8176+3 ~x7939+7 ~x7781+8 ~x7702+9 ~x7623+2 ~x7465+9 ~x7386+6 ~x7307+9 ~x6991+7 ~x6912+2 ~x6754+1 ~x6517+1 ~x6438+6 ~x5885+2 ~x5806+10 ~x5727+10 ~x5648+10 ~x5490-0=385 38.17/38.24 c 128 ~x63809+64 ~x63808+32 ~x63807+16 ~x63806+8 ~x63805+4 ~x63804+2 ~x63803+1 ~x63802+8 ~x9441+1 ~x9204+1 ~x9046+6 ~x8888+9 ~x8493+10 ~x8414+8 ~x8256+4 ~x8177+7 ~x8098+3 ~x7940+7 ~x7782+8 ~x7703+9 ~x7624+2 ~x7466+9 ~x7387+6 ~x7308+9 ~x6992+7 ~x6913+2 ~x6755+1 ~x6518+1 ~x6439+6 ~x5886+2 ~x5807+10 ~x5728+10 ~x5649+10 ~x5491-0=392 38.27/38.32 c 128 ~x65742+64 ~x65741+32 ~x65740+16 ~x65739+8 ~x65738+4 ~x65737+2 ~x65736+1 ~x65735+8 ~x9442+1 ~x9205+1 ~x9047+6 ~x8889+9 ~x8494+10 ~x8415+8 ~x8257+4 ~x8178+7 ~x8099+3 ~x7941+7 ~x7783+8 ~x7704+9 ~x7625+2 ~x7467+9 ~x7388+6 ~x7309+9 ~x6993+7 ~x6914+2 ~x6756+1 ~x6519+1 ~x6440+6 ~x5887+2 ~x5808+10 ~x5729+10 ~x5650+10 ~x5492-0=392 38.27/38.40 c 128 ~x67675+64 ~x67674+32 ~x67673+16 ~x67672+8 ~x67671+4 ~x67670+2 ~x67669+1 ~x67668+8 ~x9443+1 ~x9206+1 ~x9048+6 ~x8890+9 ~x8495+10 ~x8416+8 ~x8258+4 ~x8179+7 ~x8100+3 ~x7942+7 ~x7784+8 ~x7705+9 ~x7626+2 ~x7468+9 ~x7389+6 ~x7310+9 ~x6994+7 ~x6915+2 ~x6757+1 ~x6520+1 ~x6441+6 ~x5888+2 ~x5809+10 ~x5730+10 ~x5651+10 ~x5493-0=392 38.47/38.52 c 128 ~x69608+64 ~x69607+32 ~x69606+16 ~x69605+8 ~x69604+4 ~x69603+2 ~x69602+1 ~x69601+8 ~x9444+1 ~x9207+1 ~x9049+6 ~x8891+9 ~x8496+10 ~x8417+8 ~x8259+4 ~x8180+7 ~x8101+3 ~x7943+7 ~x7785+8 ~x7706+9 ~x7627+9 ~x7390+6 ~x7311+9 ~x6995+7 ~x6916+2 ~x6758+1 ~x6521+1 ~x6442+6 ~x5889+2 ~x5810+10 ~x5731+10 ~x5652+10 ~x5494-0=390 38.56/38.61 c 128 ~x71475+64 ~x71474+32 ~x71473+16 ~x71472+8 ~x71471+4 ~x71470+2 ~x71469+1 ~x71468+8 ~x9445+1 ~x9208+1 ~x9050+6 ~x8892+9 ~x8497+10 ~x8418+8 ~x8260+4 ~x8181+7 ~x8102+3 ~x7944+7 ~x7786+8 ~x7707+9 ~x7628+9 ~x7391+6 ~x7312+9 ~x6996+7 ~x6917+1 ~x6522+1 ~x6443+6 ~x5890+2 ~x5811+10 ~x5732+10 ~x5653+10 ~x5495-0=388 38.56/38.67 c 128 ~x73276+64 ~x73275+32 ~x73274+16 ~x73273+8 ~x73272+4 ~x73271+2 ~x73270+1 ~x73269+8 ~x9446+1 ~x9209+1 ~x9051+6 ~x8893+9 ~x8735+9 ~x8498+10 ~x8419+2 ~x8340+8 ~x8261+4 ~x8182+7 ~x8103+3 ~x7945+7 ~x7787+8 ~x7708+9 ~x7629+9 ~x7392+6 ~x7313+9 ~x6997+7 ~x6918+1 ~x6523+1 ~x6444+6 ~x5891+2 ~x5812+10 ~x5733+10 ~x5654+10 ~x5496-0=399 38.66/38.72 c 128 ~x75209+64 ~x75208+32 ~x75207+16 ~x75206+8 ~x75205+4 ~x75204+2 ~x75203+1 ~x75202+8 ~x9447+1 ~x9210+1 ~x9052+7 ~x8973+6 ~x8894+9 ~x8736+9 ~x8657+9 ~x8499+10 ~x8420+2 ~x8341+8 ~x8262+4 ~x8183+7 ~x8104+3 ~x7946+7 ~x7788+8 ~x7709+9 ~x7630+9 ~x7393+6 ~x7314+9 ~x6998+7 ~x6919+1 ~x6524+1 ~x6445+6 ~x5892+2 ~x5813+10 ~x5734+10 ~x5655+10 ~x5497-0=415 38.76/38.86 c 128 ~x77274+64 ~x77273+32 ~x77272+16 ~x77271+8 ~x77270+4 ~x77269+2 ~x77268+1 ~x77267+8 ~x9448+1 ~x9211+1 ~x9053+7 ~x8974+6 ~x8895+9 ~x8737+9 ~x8658+9 ~x8500+10 ~x8421+2 ~x8342+8 ~x8263+4 ~x8184+7 ~x8105+3 ~x7947+7 ~x7789+8 ~x7710+9 ~x7631+9 ~x7394+6 ~x7315+9 ~x6999+7 ~x6920+1 ~x6525+1 ~x6446+6 ~x5893+2 ~x5814+10 ~x5735+10 ~x5656+10 ~x5498-0=415 39.07/39.11 c 128 ~x79339+64 ~x79338+32 ~x79337+16 ~x79336+8 ~x79335+4 ~x79334+2 ~x79333+1 ~x79332+8 ~x9449+1 ~x9212+1 ~x9054+7 ~x8975+6 ~x8896+9 ~x8738+9 ~x8659+9 ~x8501+10 ~x8422+2 ~x8343+8 ~x8264+4 ~x8185+7 ~x8106+3 ~x7948+7 ~x7790+8 ~x7711+9 ~x7632+9 ~x7395+6 ~x7316+9 ~x7000+7 ~x6921+1 ~x6526+1 ~x6447+6 ~x5894+2 ~x5815+10 ~x5736+10 ~x5657+10 ~x5499-0=415 39.37/39.45 c 128 ~x81404+64 ~x81403+32 ~x81402+16 ~x81401+8 ~x81400+4 ~x81399+2 ~x81398+1 ~x81397+8 ~x9450+1 ~x9213+1 ~x9055+7 ~x8976+6 ~x8897+9 ~x8739+9 ~x8660+9 ~x8502+10 ~x8423+2 ~x8344+8 ~x8265+4 ~x8186+7 ~x8107+3 ~x7949+7 ~x7791+8 ~x7712+9 ~x7633+6 ~x7317+9 ~x7001+7 ~x6922+1 ~x6527+1 ~x6448+6 ~x5895+10 ~x5737+10 ~x5658+10 ~x5500-0=404 39.67/39.71 c 128 ~x83325+64 ~x83324+32 ~x83323+16 ~x83322+8 ~x83321+4 ~x83320+2 ~x83319+1 ~x83318+8 ~x9451+1 ~x9214+1 ~x9056+7 ~x8977+6 ~x8898+9 ~x8740+9 ~x8661+9 ~x8503+10 ~x8424+2 ~x8345+8 ~x8266+4 ~x8187+7 ~x8108+3 ~x7950+7 ~x7792+8 ~x7713+9 ~x7634+6 ~x7318+9 ~x7002+7 ~x6923+1 ~x6528+1 ~x6449+6 ~x5896+10 ~x5738+10 ~x5659+10 ~x5501-0=404 40.06/40.10 c 128 ~x85246+64 ~x85245+32 ~x85244+16 ~x85243+8 ~x85242+4 ~x85241+2 ~x85240+1 ~x85239+8 ~x9452+1 ~x9215+1 ~x9057+7 ~x8978+6 ~x8899+9 ~x8741+9 ~x8662+9 ~x8504+10 ~x8425+2 ~x8346+8 ~x8267+4 ~x8188+7 ~x8109+3 ~x7951+7 ~x7793+8 ~x7714+9 ~x7635+6 ~x7319+9 ~x7003+7 ~x6924+1 ~x6529+1 ~x6450+6 ~x5897+10 ~x5660+10 ~x5502-0=394 40.26/40.36 c 128 ~x87125+64 ~x87124+32 ~x87123+16 ~x87122+8 ~x87121+4 ~x87120+2 ~x87119+1 ~x87118+8 ~x9453+1 ~x9216+1 ~x9058+7 ~x8979+6 ~x8900+9 ~x8742+9 ~x8663+9 ~x8505+10 ~x8426+2 ~x8347+8 ~x8268+4 ~x8189+7 ~x8110+3 ~x7952+7 ~x7794+8 ~x7715+9 ~x7636+6 ~x7320+9 ~x7004+7 ~x6925+1 ~x6530+10 ~x5661+10 ~x5503-0=387 40.36/40.46 c 64 ~x88865+32 ~x88864+16 ~x88863+8 ~x88862+4 ~x88861+2 ~x88860+1 ~x88859+8 ~x9454+2 ~x9296+1 ~x9217+1 ~x9059+7 ~x8980+6 ~x8901+9 ~x8743+9 ~x8664+9 ~x8506+10 ~x8427+2 ~x8348+8 ~x8269+4 ~x8190+7 ~x8111+3 ~x7953+7 ~x7795+8 ~x7716+6 ~x7321+9 ~x7005+7 ~x6926+1 ~x6531+10 ~x5504-0=242 40.47/40.50 c 64 ~x90497+32 ~x90496+16 ~x90495+8 ~x90494+4 ~x90493+2 ~x90492+1 ~x90491+8 ~x9455+2 ~x9297+1 ~x9218+1 ~x9060+7 ~x8981+6 ~x8902+9 ~x8744+9 ~x8665+9 ~x8507+10 ~x8428+2 ~x8349+8 ~x8270+4 ~x8191+7 ~x8112+3 ~x7954+7 ~x7796+8 ~x7717+6 ~x7322+9 ~x7006+7 ~x6927+1 ~x6532+10 ~x5505-0=242 40.47/40.54 c 64 ~x92129+32 ~x92128+16 ~x92127+8 ~x92126+4 ~x92125+2 ~x92124+1 ~x92123+8 ~x9456+2 ~x9298+1 ~x9219+1 ~x9061+7 ~x8982+6 ~x8903+9 ~x8745+9 ~x8666+9 ~x8508+10 ~x8429+2 ~x8350+8 ~x8271+7 ~x8113+3 ~x7955+7 ~x7797+6 ~x7323+9 ~x7007+7 ~x6928+1 ~x6533+10 ~x5506-0=230 40.47/40.58 c 64 ~x93629+32 ~x93628+16 ~x93627+8 ~x93626+4 ~x93625+2 ~x93624+1 ~x93623+8 ~x9457+2 ~x9299+1 ~x9220+1 ~x9062+7 ~x8983+6 ~x8904+9 ~x8746+9 ~x8667+9 ~x8509+10 ~x8430+2 ~x8351+8 ~x8272+3 ~x7956+7 ~x7798+6 ~x7324+9 ~x7008+7 ~x6929+1 ~x6534+10 ~x5507-0=223 40.57/40.61 c 64 ~x94851+32 ~x94850+16 ~x94849+8 ~x94848+4 ~x94847+2 ~x94846+1 ~x94845+8 ~x9458+2 ~x9300+1 ~x9221+1 ~x9063+7 ~x8984+6 ~x8905+9 ~x8747+9 ~x8668+9 ~x8510+10 ~x8431+2 ~x8352+8 ~x8273+3 ~x7957+7 ~x7799+6 ~x7325+9 ~x7009+7 ~x6930+1 ~x6535+10 ~x5508-0=223 40.57/40.64 c 64 ~x96073+32 ~x96072+16 ~x96071+8 ~x96070+4 ~x96069+2 ~x96068+1 ~x96067+8 ~x9459+2 ~x9301+1 ~x9222+1 ~x9064+7 ~x8985+6 ~x8906+9 ~x8748+9 ~x8669+9 ~x8511+10 ~x8432+2 ~x8353+8 ~x8274+3 ~x7958+7 ~x7800+6 ~x7326+9 ~x7010+7 ~x6931+1 ~x6536+10 ~x5509-0=223 40.57/40.68 c 64 ~x97295+32 ~x97294+16 ~x97293+8 ~x97292+4 ~x97291+2 ~x97290+1 ~x97289+8 ~x9460+2 ~x9302+1 ~x9223+1 ~x9065+7 ~x8986+6 ~x8907+9 ~x8749+9 ~x8670+9 ~x8512+10 ~x8433+2 ~x8354+3 ~x7959+7 ~x7801+6 ~x7327+9 ~x7011+7 ~x6932+1 ~x6537+10 ~x5510-0=215 40.67/40.71 c 64 ~x98460+32 ~x98459+16 ~x98458+8 ~x98457+4 ~x98456+2 ~x98455+1 ~x98454+7 ~x9540+8 ~x9461+2 ~x9303+1 ~x9224+1 ~x9066+7 ~x8987+6 ~x8908+9 ~x8750+9 ~x8671+9 ~x8513+10 ~x8434+2 ~x8355+3 ~x7960+7 ~x7802+9 ~x7012+7 ~x6933+1 ~x6538+10 ~x5511-0=216 40.67/40.74 c 64 ~x99625+32 ~x99624+16 ~x99623+8 ~x99622+4 ~x99621+2 ~x99620+1 ~x99619+7 ~x9541+8 ~x9462+2 ~x9304+1 ~x9225+1 ~x9067+7 ~x8988+6 ~x8909+9 ~x8751+9 ~x8672+9 ~x8514+10 ~x8435+2 ~x8356+3 ~x7961+9 ~x7013+7 ~x6934+1 ~x6539+10 ~x5512-0=209 40.67/40.77 c 64 ~x100733+32 ~x100732+16 ~x100731+8 ~x100730+4 ~x100729+2 ~x100728+1 ~x100727+7 ~x9542+8 ~x9463+2 ~x9305+1 ~x9226+1 ~x9068+7 ~x8989+6 ~x8910+9 ~x8752+9 ~x8673+9 ~x8515+10 ~x8436+2 ~x8357+3 ~x7962+9 ~x7014+7 ~x6935+1 ~x6540+10 ~x5513-0=209 40.76/40.83 c 64 ~x101841+32 ~x101840+16 ~x101839+8 ~x101838+4 ~x101837+2 ~x101836+1 ~x101835+7 ~x9543+8 ~x9464+2 ~x9306+1 ~x9227+1 ~x9069+7 ~x8990+6 ~x8911+9 ~x8753+9 ~x8674+9 ~x8516+10 ~x8437+3 ~x7963+7 ~x6936+1 ~x6541+10 ~x5514-0=198 40.76/40.83 c 64 ~x102817+32 ~x102816+16 ~x102815+8 ~x102814+4 ~x102813+2 ~x102812+1 ~x102811+7 ~x9544+8 ~x9465+2 ~x9307+1 ~x9228+1 ~x9070+7 ~x8991+6 ~x8912+9 ~x8754+9 ~x8675+9 ~x8517+10 ~x8438+3 ~x7964+7 ~x6937+1 ~x6542+10 ~x5515-0=198 40.76/40.86 c 64 ~x103793+32 ~x103792+16 ~x103791+8 ~x103790+4 ~x103789+2 ~x103788+1 ~x103787+7 ~x9545+8 ~x9466+2 ~x9308+1 ~x9229+1 ~x9071+7 ~x8992+6 ~x8913+9 ~x8755+9 ~x8676+9 ~x8518+10 ~x8439+3 ~x7965+7 ~x6938+1 ~x6543+10 ~x5516-0=198 40.76/40.89 c 32 ~x104768+16 ~x104767+8 ~x104766+4 ~x104765+2 ~x104764+1 ~x104763+7 ~x9546+8 ~x9467+2 ~x9309+1 ~x9230+1 ~x9072+7 ~x8993+6 ~x8914+9 ~x8756+9 ~x8519+10 ~x8440+3 ~x7966+7 ~x6939+1 ~x6544+10 ~x5517-0=125 40.86/40.91 c 32 ~x105570+16 ~x105569+8 ~x105568+4 ~x105567+2 ~x105566+1 ~x105565+7 ~x9547+8 ~x9468+2 ~x9310+1 ~x9231+1 ~x9073+7 ~x8994+6 ~x8915+9 ~x8757+3 ~x7967+7 ~x6940+1 ~x6545+10 ~x5518-0=106 40.86/40.95 c 32 ~x106273+16 ~x106272+8 ~x106271+4 ~x106270+2 ~x106269+1 ~x106268+7 ~x9548+8 ~x9469+2 ~x9311+1 ~x9232+1 ~x9074+7 ~x8995+6 ~x8916+9 ~x8758+3 ~x7968+7 ~x6941+1 ~x6546+10 ~x5519-0=106 40.86/40.95 c 32 ~x106976+16 ~x106975+8 ~x106974+4 ~x106973+2 ~x106972+1 ~x106971+7 ~x9549+8 ~x9470+2 ~x9312+1 ~x9233+1 ~x9075+7 ~x8996+6 ~x8917+9 ~x8759+3 ~x7969+7 ~x6942+1 ~x6547+10 ~x5520-0=106 40.86/40.97 c 32 ~x107679+16 ~x107678+8 ~x107677+4 ~x107676+2 ~x107675+1 ~x107674+7 ~x9550+8 ~x9471+2 ~x9313+1 ~x9234+1 ~x9076+6 ~x8918+9 ~x8760+3 ~x7970+7 ~x6943+1 ~x6548+10 ~x5521-0=99 40.86/40.99 c 32 ~x108331+16 ~x108330+8 ~x108329+4 ~x108328+2 ~x108327+1 ~x108326+7 ~x9551+8 ~x9472+2 ~x9314+1 ~x9235+1 ~x9077+6 ~x8919+9 ~x8761+3 ~x7971+7 ~x6944+1 ~x6549+10 ~x5522-0=99 40.96/41.02 c 16 ~x108982+8 ~x108981+4 ~x108980+2 ~x108979+1 ~x108978+7 ~x9552+8 ~x9473+2 ~x9315+1 ~x9236+1 ~x9078+6 ~x8920+9 ~x8762+3 ~x7972+7 ~x6945-0=56 40.96/41.02 c 16 ~x109420+8 ~x109419+4 ~x109418+2 ~x109417+1 ~x109416+7 ~x9553+8 ~x9474+2 ~x9316+1 ~x9237+1 ~x9079+6 ~x8921+9 ~x8763+3 ~x7973+7 ~x6946-0=56 40.96/41.07 c 8 ~x109857+4 ~x109856+2 ~x109855+1 ~x109854+7 ~x9554+8 ~x9475+2 ~x9317+1 ~x9238+1 ~x9080+9 ~x8764+3 ~x7974-0=27 40.96/41.07 c 8 ~x110177+4 ~x110176+2 ~x110175+1 ~x110174+7 ~x9555+8 ~x9476+2 ~x9318+1 ~x9239+9 ~x8765-0=23 40.96/41.07 c 8 ~x110407+4 ~x110406+2 ~x110405+1 ~x110404+7 ~x9556+8 ~x9477+2 ~x9319+1 ~x9240+9 ~x8766-0=23 40.96/41.09 c 8 ~x110637+4 ~x110636+2 ~x110635+1 ~x110634+8 ~x5777+5 ~x5382+9 ~x5224+3 ~x5066+4 ~x4829-0=30 40.96/41.09 c 16 ~x110868+8 ~x110867+4 ~x110866+2 ~x110865+1 ~x110864+8 ~x5778+1 ~x5462+5 ~x5383+9 ~x5304+9 ~x5225+3 ~x5067+4 ~x4830-0=56 41.07/41.12 c 16 ~x111231+8 ~x111230+4 ~x111229+2 ~x111228+1 ~x111227+6 ~x5937+8 ~x5779+1 ~x5463+5 ~x5384+9 ~x5305+9 ~x5226+3 ~x5068+4 ~x4831-0=62 41.07/41.12 c 32 ~x111640+16 ~x111639+8 ~x111638+4 ~x111637+2 ~x111636+1 ~x111635+2 ~x6886+6 ~x5938+8 ~x5780+1 ~x5464+5 ~x5385+9 ~x5306+9 ~x5227+3 ~x5069+4 ~x4832-0=96 41.07/41.15 c 32 ~x112202+16 ~x112201+8 ~x112200+4 ~x112199+2 ~x112198+1 ~x112197+2 ~x6887+6 ~x5939+8 ~x5781+1 ~x5465+5 ~x5386+9 ~x5307+9 ~x5228+3 ~x5070+4 ~x4833-0=96 41.07/41.15 c 32 ~x112764+16 ~x112763+8 ~x112762+4 ~x112761+2 ~x112760+1 ~x112759+2 ~x6888+6 ~x5940+8 ~x5782+1 ~x5466+5 ~x5387+9 ~x5308+9 ~x5229+3 ~x5071+4 ~x4834-0=96 41.07/41.16 c 32 ~x113326+16 ~x113325+8 ~x113324+4 ~x113323+2 ~x113322+1 ~x113321+2 ~x6889+6 ~x5941+8 ~x5783+1 ~x5467+5 ~x5388+9 ~x5309+9 ~x5230+3 ~x5072+4 ~x4835-0=96 41.16/41.20 c 32 ~x113888+16 ~x113887+8 ~x113886+4 ~x113885+2 ~x113884+1 ~x113883+6 ~x9023+3 ~x8154+2 ~x6890+9 ~x6100+1 ~x6021+6 ~x5942+8 ~x5784+1 ~x5468+5 ~x5389+9 ~x5310+9 ~x5231+3 ~x5073+4 ~x4836-0=115 41.16/41.20 c 32 ~x114654+16 ~x114653+8 ~x114652+4 ~x114651+2 ~x114650+1 ~x114649+6 ~x9024+3 ~x8155+2 ~x6891+9 ~x6101+1 ~x6022+6 ~x5943+8 ~x5785+1 ~x5469+5 ~x5390+9 ~x5311+9 ~x5232+3 ~x5074+4 ~x4837-0=115 41.16/41.22 c 32 ~x115420+16 ~x115419+8 ~x115418+4 ~x115417+2 ~x115416+1 ~x115415+6 ~x9025+3 ~x8156+2 ~x6892+9 ~x6102+1 ~x6023+6 ~x5944+8 ~x5786+1 ~x5470+5 ~x5391+9 ~x5312+9 ~x5233+3 ~x5075+4 ~x4838-0=115 41.16/41.24 c 32 ~x116186+16 ~x116185+8 ~x116184+4 ~x116183+2 ~x116182+1 ~x116181+6 ~x9026+3 ~x8157+2 ~x6893+8 ~x6577+3 ~x6498+9 ~x6103+1 ~x6024+6 ~x5945+8 ~x5787+1 ~x5471+5 ~x5392+9 ~x5313+9 ~x5234+3 ~x5076+4 ~x4839-0=126 41.16/41.27 c 32 ~x117054+16 ~x117053+8 ~x117052+4 ~x117051+2 ~x117050+1 ~x117049+6 ~x9027+3 ~x8158+2 ~x6894+8 ~x6578+3 ~x6499+9 ~x6104+1 ~x6025+6 ~x5946+8 ~x5788+1 ~x5472+5 ~x5393+9 ~x5314+3 ~x5077+4 ~x4840-0=117 41.26/41.31 c 32 ~x117874+16 ~x117873+8 ~x117872+4 ~x117871+2 ~x117870+1 ~x117869+6 ~x9028+3 ~x8159+2 ~x6895+3 ~x6658+8 ~x6579+3 ~x6500+9 ~x6105+1 ~x6026+6 ~x5947+8 ~x5789+1 ~x5473+5 ~x5394+3 ~x5078+4 ~x4841-0=111 41.26/41.31 c 32 ~x118694+16 ~x118693+8 ~x118692+4 ~x118691+2 ~x118690+1 ~x118689+1 ~x9424+6 ~x9029+3 ~x8160+2 ~x6896+3 ~x6659+8 ~x6580+3 ~x6501+9 ~x6106+1 ~x6027+6 ~x5948+8 ~x5790+1 ~x5474+5 ~x5395+3 ~x5079+4 ~x4842-0=112 41.26/41.34 c 32 ~x119565+16 ~x119564+8 ~x119563+4 ~x119562+2 ~x119561+1 ~x119560+1 ~x9425+6 ~x9030+3 ~x8161+2 ~x6897+3 ~x6660+8 ~x6581+3 ~x6502+9 ~x6107+1 ~x6028+6 ~x5949+8 ~x5791+1 ~x5475+5 ~x5396+3 ~x5080+4 ~x4843-0=112 41.26/41.36 c 32 ~x120436+16 ~x120435+8 ~x120434+4 ~x120433+2 ~x120432+1 ~x120431+1 ~x9426+6 ~x9031+3 ~x8162+2 ~x6898+3 ~x6661+8 ~x6582+3 ~x6503+9 ~x6108+1 ~x6029+6 ~x5950+8 ~x5792+1 ~x5476+5 ~x5397+3 ~x5081+4 ~x4844-0=112 41.26/41.38 c 32 ~x121307+16 ~x121306+8 ~x121305+4 ~x121304+2 ~x121303+1 ~x121302+1 ~x9427+6 ~x9032+3 ~x8163+2 ~x6899+3 ~x6662+8 ~x6583+3 ~x6504+9 ~x6109+1 ~x6030+6 ~x5951+8 ~x5793+1 ~x5477+5 ~x5398+3 ~x5082+4 ~x4845-0=112 41.37/41.43 c 32 ~x122178+16 ~x122177+8 ~x122176+4 ~x122175+2 ~x122174+1 ~x122173+1 ~x9428+6 ~x9033+3 ~x8164+2 ~x6900+3 ~x6663+8 ~x6584+3 ~x6505+9 ~x6110+1 ~x6031+6 ~x5952+8 ~x5794+1 ~x5478+5 ~x5399+3 ~x5083-0=108 41.37/41.43 c 32 ~x122998+16 ~x122997+8 ~x122996+4 ~x122995+2 ~x122994+1 ~x122993+1 ~x9429+6 ~x9034+3 ~x8165+2 ~x6901+3 ~x6664+8 ~x6585+3 ~x6506+9 ~x6111+1 ~x6032+6 ~x5953+8 ~x5795+1 ~x5479+5 ~x5400+3 ~x5084-0=108 41.37/41.45 c 32 ~x123818+16 ~x123817+8 ~x123816+4 ~x123815+2 ~x123814+1 ~x123813+1 ~x9430+6 ~x9035+3 ~x8166+2 ~x6902+3 ~x6665+8 ~x6586+3 ~x6507+9 ~x6112+1 ~x6033+6 ~x5954+8 ~x5796+1 ~x5480+5 ~x5401+3 ~x5085-0=108 41.37/41.47 c 32 ~x124638+16 ~x124637+8 ~x124636+4 ~x124635+2 ~x124634+1 ~x124633+1 ~x9431+10 ~x9194+6 ~x9036+3 ~x8167+2 ~x6903+3 ~x6666+8 ~x6587+3 ~x6508+9 ~x6113+1 ~x6034+6 ~x5955+8 ~x5797+1 ~x5481+5 ~x5402+3 ~x5086-0=118 41.47/41.50 c 32 ~x125509+16 ~x125508+8 ~x125507+4 ~x125506+2 ~x125505+1 ~x125504+1 ~x9432+10 ~x9195+6 ~x9037+3 ~x8168+2 ~x6904+3 ~x6667+8 ~x6588+3 ~x6509+9 ~x6114+1 ~x6035+6 ~x5956+8 ~x5798+1 ~x5482+5 ~x5403+3 ~x5087-0=118 41.47/41.55 c 32 ~x126380+16 ~x126379+8 ~x126378+4 ~x126377+2 ~x126376+1 ~x126375+1 ~x9433+10 ~x9196+6 ~x9038+3 ~x8169+2 ~x6905+3 ~x6668+8 ~x6589+3 ~x6510+9 ~x6115+1 ~x6036+8 ~x5799+1 ~x5483+5 ~x5404+3 ~x5088-0=112 41.47/41.55 c 32 ~x127200+16 ~x127199+8 ~x127198+4 ~x127197+2 ~x127196+1 ~x127195+1 ~x9434+10 ~x9197+6 ~x9039+3 ~x8170+2 ~x6906+3 ~x6669+8 ~x6590+3 ~x6511+9 ~x6116+1 ~x6037+8 ~x5800+1 ~x5484+5 ~x5405+3 ~x5089-0=112 41.47/41.57 c 32 ~x128020+16 ~x128019+8 ~x128018+4 ~x128017+2 ~x128016+1 ~x128015+1 ~x9435+10 ~x9198+6 ~x9040+3 ~x8171+5 ~x7223+2 ~x6907+3 ~x6670+8 ~x6591+3 ~x6512+9 ~x6117+1 ~x6038+8 ~x5801+1 ~x5485+3 ~x5090-0=112 41.47/41.59 c 32 ~x128846+16 ~x128845+8 ~x128844+4 ~x128843+2 ~x128842+1 ~x128841+1 ~x9436+10 ~x9199+6 ~x9041+3 ~x8172+5 ~x7224+2 ~x6908+3 ~x6671+8 ~x6592+3 ~x6513+9 ~x6118+1 ~x6039+8 ~x5802+1 ~x5486+3 ~x5091-0=112 41.57/41.61 c 32 ~x129672+16 ~x129671+8 ~x129670+4 ~x129669+2 ~x129668+1 ~x129667+1 ~x9437+10 ~x9200+6 ~x9042+3 ~x8173+5 ~x7225+2 ~x6909+3 ~x6672+8 ~x6593+3 ~x6514+9 ~x6119+1 ~x6040+8 ~x5803+1 ~x5487+3 ~x5092-0=112 41.57/41.66 c 32 ~x130498+16 ~x130497+8 ~x130496+4 ~x130495+2 ~x130494+1 ~x130493+1 ~x9438+10 ~x9201+6 ~x9043+3 ~x8174+5 ~x7226+2 ~x6910+8 ~x6594+3 ~x6515+9 ~x6120+1 ~x6041+8 ~x5804+1 ~x5488+3 ~x5093-0=109 41.57/41.66 c 32 ~x131273+16 ~x131272+8 ~x131271+4 ~x131270+2 ~x131269+1 ~x131268+1 ~x9439+10 ~x9202+6 ~x9044+3 ~x8175+1 ~x8017+5 ~x7227+2 ~x6911+8 ~x6595+3 ~x6516+9 ~x6121+1 ~x6042+8 ~x5805+1 ~x5489+3 ~x5094-0=110 41.57/41.68 c 32 ~x132099+16 ~x132098+8 ~x132097+4 ~x132096+2 ~x132095+1 ~x132094+1 ~x9440+10 ~x9203+6 ~x9045+3 ~x8176+1 ~x8018+5 ~x7228+2 ~x6912+8 ~x6596+3 ~x6517+9 ~x6122+1 ~x6043+8 ~x5806+1 ~x5490+3 ~x5095-0=110 41.67/41.70 c 32 ~x132925+16 ~x132924+8 ~x132923+4 ~x132922+2 ~x132921+1 ~x132920+1 ~x9441+10 ~x9204+6 ~x9046+3 ~x8177+1 ~x8019+10 ~x7545+5 ~x7229+2 ~x6913+8 ~x6597+3 ~x6518+9 ~x6123+1 ~x6044+8 ~x5807+1 ~x5491+3 ~x5096-0=120 41.67/41.72 c 32 ~x133802+16 ~x133801+8 ~x133800+4 ~x133799+2 ~x133798+1 ~x133797+1 ~x9442+10 ~x9205+6 ~x9047+3 ~x8178+1 ~x8020+10 ~x7546+5 ~x7230+2 ~x6914+8 ~x6598+3 ~x6519+9 ~x6124+1 ~x6045+8 ~x5808+1 ~x5492+3 ~x5097-0=120 41.67/41.77 c 32 ~x134679+16 ~x134678+8 ~x134677+4 ~x134676+2 ~x134675+1 ~x134674+1 ~x9443+10 ~x9206+6 ~x9048+3 ~x8179+1 ~x8021+10 ~x7547+5 ~x7231+2 ~x6915+8 ~x6599+3 ~x6520+9 ~x6125+1 ~x6046+8 ~x5809+1 ~x5493+3 ~x5098-0=120 41.67/41.77 c 32 ~x135556+16 ~x135555+8 ~x135554+4 ~x135553+2 ~x135552+1 ~x135551+1 ~x9444+10 ~x9207+6 ~x9049+3 ~x8180+1 ~x8022+10 ~x7548+5 ~x7232+2 ~x6916+8 ~x6600+3 ~x6521+9 ~x6126+1 ~x6047+8 ~x5810+1 ~x5494+3 ~x5099-0=120 41.67/41.79 c 32 ~x136433+16 ~x136432+8 ~x136431+4 ~x136430+2 ~x136429+1 ~x136428+1 ~x9445+10 ~x9208+6 ~x9050+3 ~x8181+1 ~x8023+10 ~x7549+5 ~x7233+2 ~x6917+8 ~x6601+3 ~x6522+9 ~x6127+1 ~x6048+8 ~x5811+1 ~x5495+3 ~x5100-0=120 41.78/41.83 c 64 ~x137311+32 ~x137310+16 ~x137309+8 ~x137308+4 ~x137307+2 ~x137306+1 ~x137305+1 ~x9446+10 ~x9209+6 ~x9051+7 ~x8735+10 ~x8340+3 ~x8182+1 ~x8024+10 ~x7550+5 ~x7234+2 ~x6918+8 ~x6602+3 ~x6523+9 ~x6128+1 ~x6049+8 ~x5812+1 ~x5496-0=198 41.78/41.86 c 64 ~x138362+32 ~x138361+16 ~x138360+8 ~x138359+4 ~x138358+2 ~x138357+1 ~x138356+1 ~x9447+10 ~x9210+6 ~x9052+7 ~x8736+3 ~x8657+10 ~x8341+3 ~x8183+1 ~x8025+10 ~x7551+5 ~x7235+2 ~x6919+8 ~x6603+3 ~x6524+9 ~x6129+1 ~x6050+8 ~x5813+1 ~x5497-0=201 41.78/41.89 c 64 ~x139470+32 ~x139469+16 ~x139468+8 ~x139467+4 ~x139466+2 ~x139465+1 ~x139464+1 ~x9448+10 ~x9211+6 ~x9053+7 ~x8737+3 ~x8658+10 ~x8342+3 ~x8184+1 ~x8026+10 ~x7552+5 ~x7236+2 ~x6920+8 ~x6604+3 ~x6525+9 ~x6130+1 ~x6051+8 ~x5814+1 ~x5498-0=201 41.86/41.92 c 64 ~x140578+32 ~x140577+16 ~x140576+8 ~x140575+4 ~x140574+2 ~x140573+1 ~x140572+1 ~x9449+10 ~x9212+6 ~x9054+7 ~x8738+3 ~x8659+10 ~x8343+3 ~x8185+1 ~x8027+10 ~x7553+5 ~x7237+2 ~x6921+8 ~x6605+3 ~x6526+9 ~x6131+1 ~x6052+8 ~x5815+1 ~x5499-0=201 41.86/41.95 c 64 ~x141686+32 ~x141685+16 ~x141684+8 ~x141683+4 ~x141682+2 ~x141681+1 ~x141680+1 ~x9450+10 ~x9213+6 ~x9055+7 ~x8739+3 ~x8660+10 ~x8344+3 ~x8186+1 ~x8028+10 ~x7554+5 ~x7238+2 ~x6922+8 ~x6606+3 ~x6527+9 ~x6132+1 ~x6053+1 ~x5500-0=193 41.86/41.98 c 32 ~x142656+16 ~x142655+8 ~x142654+4 ~x142653+2 ~x142652+1 ~x142651+1 ~x9451+10 ~x9214+6 ~x9056+7 ~x8740+3 ~x8661+10 ~x8345+3 ~x8187+1 ~x8029+10 ~x7555+2 ~x6923+8 ~x6607+3 ~x6528+9 ~x6133+1 ~x6054+1 ~x5501-0=124 41.96/42.02 c 32 ~x143527+16 ~x143526+8 ~x143525+4 ~x143524+2 ~x143523+1 ~x143522+1 ~x9452+10 ~x9215+6 ~x9057+7 ~x8741+3 ~x8662+10 ~x8346+3 ~x8188+1 ~x8030+10 ~x7556+2 ~x6924+8 ~x6608+3 ~x6529+9 ~x6134+1 ~x6055+1 ~x5502-0=124 41.96/42.02 c 32 ~x144398+16 ~x144397+8 ~x144396+4 ~x144395+2 ~x144394+1 ~x144393+1 ~x9453+10 ~x9216+6 ~x9058+7 ~x8742+3 ~x8663+10 ~x8347+3 ~x8189+1 ~x8031+10 ~x7557+2 ~x6925+8 ~x6609+3 ~x6530+9 ~x6135+1 ~x6056+1 ~x5503-0=124 41.96/42.05 c 32 ~x145269+16 ~x145268+8 ~x145267+4 ~x145266+2 ~x145265+1 ~x145264+1 ~x9454+10 ~x9217+6 ~x9059+7 ~x8743+3 ~x8664+10 ~x8348+3 ~x8190+1 ~x8032+10 ~x7558+2 ~x6926+8 ~x6610+3 ~x6531+9 ~x6136+1 ~x5504-0=123 41.96/42.07 c 32 ~x146095+16 ~x146094+8 ~x146093+4 ~x146092+2 ~x146091+1 ~x146090+1 ~x9455+10 ~x9218+6 ~x9060+7 ~x8744+3 ~x8665+10 ~x8349+3 ~x8191+1 ~x8033+10 ~x7559+2 ~x6927+8 ~x6611+3 ~x6532+9 ~x6137+1 ~x5505-0=123 41.96/42.09 c 32 ~x146921+16 ~x146920+8 ~x146919+4 ~x146918+2 ~x146917+1 ~x146916+1 ~x9456+10 ~x9219+6 ~x9061+7 ~x8745+3 ~x8666+10 ~x8350+1 ~x8034+10 ~x7560+2 ~x6928+8 ~x6612+3 ~x6533+1 ~x5506-0=111 42.06/42.13 c 32 ~x147648+16 ~x147647+8 ~x147646+4 ~x147645+2 ~x147644+1 ~x147643+1 ~x9457+10 ~x9220+6 ~x9141+6 ~x9062+7 ~x8746+3 ~x8667+10 ~x8351+1 ~x8035+10 ~x7561+2 ~x6929+8 ~x6613+3 ~x6534+1 ~x5507-0=117 42.06/42.13 c 32 ~x148426+16 ~x148425+8 ~x148424+4 ~x148423+2 ~x148422+1 ~x148421+1 ~x9458+10 ~x9221+6 ~x9142+6 ~x9063+7 ~x8747+3 ~x8668+10 ~x8352+1 ~x8036+10 ~x7562+2 ~x6930+8 ~x6614+3 ~x6535+1 ~x5508-0=117 42.06/42.15 c 32 ~x149204+16 ~x149203+8 ~x149202+4 ~x149201+2 ~x149200+1 ~x149199+1 ~x9459+10 ~x9222+6 ~x9143+6 ~x9064+7 ~x8748+3 ~x8669+10 ~x8353+1 ~x8037+10 ~x7563+2 ~x6931+8 ~x6615+3 ~x6536+1 ~x5509-0=117 42.06/42.18 c 32 ~x149982+16 ~x149981+8 ~x149980+4 ~x149979+2 ~x149978+1 ~x149977+1 ~x9460+10 ~x9223+6 ~x9144+6 ~x9065+7 ~x8749+3 ~x8670+10 ~x8354+1 ~x8038+10 ~x7564+2 ~x6932+8 ~x6616+3 ~x6537+1 ~x5510-0=117 42.16/42.20 c 32 ~x150760+16 ~x150759+8 ~x150758+4 ~x150757+2 ~x150756+1 ~x150755+1 ~x9461+6 ~x9382+10 ~x9224+6 ~x9145+6 ~x9066+7 ~x8750+3 ~x8671+10 ~x8355+1 ~x8039+10 ~x7565+2 ~x6933+8 ~x6617+3 ~x6538+1 ~x5511-0=123 42.16/42.24 c 32 ~x151589+16 ~x151588+8 ~x151587+4 ~x151586+2 ~x151585+1 ~x151584+1 ~x9462+6 ~x9383+10 ~x9225+6 ~x9146+6 ~x9067+7 ~x8751+3 ~x8672+10 ~x8356+1 ~x8040+10 ~x7566+2 ~x6934+8 ~x6618+3 ~x6539+1 ~x5512-0=123 42.16/42.24 c 32 ~x152418+16 ~x152417+8 ~x152416+4 ~x152415+2 ~x152414+1 ~x152413+1 ~x9463+6 ~x9384+10 ~x9226+6 ~x9147+6 ~x9068+7 ~x8752+3 ~x8673+10 ~x8357+10 ~x7567+2 ~x6935+8 ~x6619+3 ~x6540+1 ~x5513-0=122 42.16/42.26 c 32 ~x153196+16 ~x153195+8 ~x153194+4 ~x153193+2 ~x153192+1 ~x153191+1 ~x9464+6 ~x9385+10 ~x9227+6 ~x9148+6 ~x9069+7 ~x8753+3 ~x8674+10 ~x7568+2 ~x6936+8 ~x6620+3 ~x6541+1 ~x5514-0=112 42.16/42.29 c 32 ~x153923+16 ~x153922+8 ~x153921+4 ~x153920+2 ~x153919+1 ~x153918+1 ~x9465+6 ~x9386+10 ~x9228+6 ~x9149+6 ~x9070+7 ~x8754+3 ~x8675+10 ~x7569+2 ~x6937+8 ~x6621+3 ~x6542+1 ~x5515-0=112 42.27/42.33 c 32 ~x154650+16 ~x154649+8 ~x154648+4 ~x154647+2 ~x154646+1 ~x154645+1 ~x9466+6 ~x9387+10 ~x9229+6 ~x9150+6 ~x9071+7 ~x8755+3 ~x8676+10 ~x7570+2 ~x6938+8 ~x6622+3 ~x6543+1 ~x5516-0=112 42.27/42.33 c 32 ~x155377+16 ~x155376+8 ~x155375+4 ~x155374+2 ~x155373+1 ~x155372+1 ~x9467+6 ~x9388+10 ~x9230+6 ~x9151+6 ~x9072+7 ~x8756+10 ~x7571+2 ~x6939+8 ~x6623+3 ~x6544+1 ~x5517-0=109 42.27/42.34 c 32 ~x156053+16 ~x156052+8 ~x156051+4 ~x156050+2 ~x156049+1 ~x156048+1 ~x9468+6 ~x9389+10 ~x9231+6 ~x9152+6 ~x9073+7 ~x8757+2 ~x6940+8 ~x6624+3 ~x6545+1 ~x5518-0=99 42.27/42.38 c 32 ~x156678+16 ~x156677+8 ~x156676+4 ~x156675+2 ~x156674+1 ~x156673+1 ~x9469+6 ~x9390+10 ~x9232+6 ~x9153+6 ~x9074+7 ~x8758+2 ~x6941+8 ~x6625+3 ~x6546+1 ~x5519-0=99 42.27/42.38 c 32 ~x157303+16 ~x157302+8 ~x157301+4 ~x157300+2 ~x157299+1 ~x157298+1 ~x9470+6 ~x9391+10 ~x9233+6 ~x9154+6 ~x9075+7 ~x8759+2 ~x6942+8 ~x6626+3 ~x6547+1 ~x5520-0=99 42.37/42.41 c 16 ~x157927+8 ~x157926+4 ~x157925+2 ~x157924+1 ~x157923+1 ~x9471+6 ~x9392+10 ~x9234+6 ~x9076+7 ~x8760+2 ~x6943+3 ~x6548+1 ~x5521-0=53 42.37/42.41 c 16 ~x158347+8 ~x158346+4 ~x158345+2 ~x158344+1 ~x158343+1 ~x9472+6 ~x9393+10 ~x9235+6 ~x9077+7 ~x8761+2 ~x6944+3 ~x6549+1 ~x5522-0=53 42.37/42.43 c 16 ~x158767+8 ~x158766+4 ~x158765+2 ~x158764+1 ~x158763+1 ~x9473+6 ~x9394+10 ~x9236+6 ~x9078+7 ~x8762+2 ~x6945-0=49 42.37/42.43 c 16 ~x159082+8 ~x159081+4 ~x159080+2 ~x159079+1 ~x159078+1 ~x9474+6 ~x9395+10 ~x9237+6 ~x9079+7 ~x8763+2 ~x6946-0=49 42.37/42.45 c 16 ~x159397+8 ~x159396+4 ~x159395+2 ~x159394+1 ~x159393+1 ~x9475+6 ~x9396+10 ~x9238+6 ~x9080+7 ~x8764-0=47 42.37/42.45 c 8 ~x159657+4 ~x159656+2 ~x159655+1 ~x159654+1 ~x9476+6 ~x9397+10 ~x9239+7 ~x8765-0=25 42.37/42.48 c 8 ~x159824+4 ~x159823+2 ~x159822+1 ~x159821+1 ~x9477+6 ~x9398+10 ~x9240+7 ~x8766-0=25 42.37/42.48 c 4 ~x159990+2 ~x159989+1 ~x159988+1 ~x6251+10 ~x5382+5 ~x5066+10 ~x4987-0=14 42.37/42.48 c 2 ~x160061+1 ~x160060+1 ~x6252+6 ~x5620+10 ~x5383+5 ~x5067-0=6 42.37/42.50 c 16 ~x160117+8 ~x160116+4 ~x160115+2 ~x160114+1 ~x160113+1 ~x6253+9 ~x6174+4 ~x5858+6 ~x5621+5 ~x5068-0=47 42.37/42.50 c 32 ~x160385+16 ~x160384+8 ~x160383+4 ~x160382+2 ~x160381+1 ~x160380+8 ~x7123+5 ~x6886+8 ~x6412+1 ~x6254+9 ~x6175+4 ~x5859+6 ~x5622+5 ~x5069-0=100 42.46/42.52 c 32 ~x160893+16 ~x160892+8 ~x160891+4 ~x160890+2 ~x160889+1 ~x160888+8 ~x7124+5 ~x6887+8 ~x6413+1 ~x6255+9 ~x6176+4 ~x5860+6 ~x5623+5 ~x5070-0=100 42.46/42.52 c 32 ~x161401+16 ~x161400+8 ~x161399+4 ~x161398+2 ~x161397+1 ~x161396+8 ~x7125+5 ~x6888+8 ~x6414+1 ~x6256+9 ~x6177+4 ~x5861+6 ~x5624+5 ~x5071-0=100 42.46/42.56 c 32 ~x161909+16 ~x161908+8 ~x161907+4 ~x161906+2 ~x161905+1 ~x161904+8 ~x7126+5 ~x6889+8 ~x6415+1 ~x6257+9 ~x6178+4 ~x5862+6 ~x5625+5 ~x5072-0=100 42.46/42.56 c 32 ~x162417+16 ~x162416+8 ~x162415+4 ~x162414+2 ~x162413+1 ~x162412+6 ~x8154+8 ~x7127+5 ~x6890+8 ~x6416+1 ~x6258+9 ~x6179+4 ~x5863+6 ~x5626+10 ~x5389+5 ~x5073-0=106 42.46/42.57 c 32 ~x163018+16 ~x163017+8 ~x163016+4 ~x163015+2 ~x163014+1 ~x163013+6 ~x8155+8 ~x7128+5 ~x6891+8 ~x6417+1 ~x6259+9 ~x6180+4 ~x5864+6 ~x5627+5 ~x5074-0=96 42.56/42.60 c 32 ~x163577+16 ~x163576+8 ~x163575+4 ~x163574+2 ~x163573+1 ~x163572+6 ~x8156+8 ~x7129+5 ~x6892+8 ~x6418+1 ~x6260+9 ~x6181+4 ~x5865+6 ~x5628+5 ~x5075-0=96 42.56/42.60 c 32 ~x164136+16 ~x164135+8 ~x164134+4 ~x164133+2 ~x164132+1 ~x164131+6 ~x8157+3 ~x7762+8 ~x7130+5 ~x6893+7 ~x6498+8 ~x6419+1 ~x6261+9 ~x6182+4 ~x5866+6 ~x5629+5 ~x5076-0=106 42.56/42.62 c 32 ~x164797+16 ~x164796+8 ~x164795+4 ~x164794+2 ~x164793+1 ~x164792+6 ~x8158+3 ~x7763+8 ~x7131+5 ~x6894+7 ~x6499+8 ~x6420+2 ~x6341+1 ~x6262+9 ~x6183+4 ~x5867+6 ~x5630+5 ~x5077-0=108 42.56/42.67 c 32 ~x165509+16 ~x165508+8 ~x165507+4 ~x165506+2 ~x165505+1 ~x165504+6 ~x8159+7 ~x7922+3 ~x7764+8 ~x7132+5 ~x6895+1 ~x6658+7 ~x6500+8 ~x6421+2 ~x6342+1 ~x6263+9 ~x6184+4 ~x5868+6 ~x5631+5 ~x5078-0=116 42.56/42.67 c 32 ~x166323+16 ~x166322+8 ~x166321+4 ~x166320+2 ~x166319+1 ~x166318+8 ~x9424+6 ~x8160+7 ~x7923+3 ~x7765+8 ~x7133+5 ~x6896+1 ~x6659+7 ~x6501+8 ~x6422+2 ~x6343+1 ~x6264+9 ~x6185+4 ~x5869+6 ~x5632+5 ~x5079-0=124 42.56/42.69 c 64 ~x167189+32 ~x167188+16 ~x167187+8 ~x167186+4 ~x167185+2 ~x167184+1 ~x167183+8 ~x9425+6 ~x8161+7 ~x7924+3 ~x7766+8 ~x7134+5 ~x6897+3 ~x6818+1 ~x6660+7 ~x6502+8 ~x6423+2 ~x6344+1 ~x6265+9 ~x6186+4 ~x5870+6 ~x5633+5 ~x5080-0=191 42.66/42.72 c 64 ~x168252+32 ~x168251+16 ~x168250+8 ~x168249+4 ~x168248+2 ~x168247+1 ~x168246+8 ~x9426+6 ~x8162+7 ~x7925+3 ~x7767+8 ~x7135+5 ~x6898+3 ~x6819+1 ~x6661+7 ~x6503+8 ~x6424+2 ~x6345+1 ~x6266+9 ~x6187+4 ~x5871+6 ~x5634+5 ~x5081-0=191 42.66/42.75 c 64 ~x169315+32 ~x169314+16 ~x169313+8 ~x169312+4 ~x169311+2 ~x169310+1 ~x169309+8 ~x9427+6 ~x8163+7 ~x7926+3 ~x7768+8 ~x7136+5 ~x6899+3 ~x6820+1 ~x6662+7 ~x6504+8 ~x6425+2 ~x6346+1 ~x6267+9 ~x6188+4 ~x5872+6 ~x5635+5 ~x5082-0=191 42.66/42.79 c 64 ~x170378+32 ~x170377+16 ~x170376+8 ~x170375+4 ~x170374+2 ~x170373+1 ~x170372+8 ~x9428+5 ~x8875+6 ~x8164+7 ~x7927+10 ~x7848+3 ~x7769+8 ~x7137+5 ~x6900+3 ~x6821+1 ~x6663+7 ~x6505+8 ~x6426+2 ~x6347+1 ~x6268+9 ~x6189+4 ~x5873+6 ~x5636+5 ~x5083-0=206 42.78/42.82 c 64 ~x171555+32 ~x171554+16 ~x171553+8 ~x171552+4 ~x171551+2 ~x171550+1 ~x171549+8 ~x9429+5 ~x8876+6 ~x8165+7 ~x7928+10 ~x7849+3 ~x7770+8 ~x7138+5 ~x6901+3 ~x6822+1 ~x6664+7 ~x6506+8 ~x6427+2 ~x6348+1 ~x6269+9 ~x6190+4 ~x5874+6 ~x5637+5 ~x5084-0=206 42.78/42.86 c 64 ~x172732+32 ~x172731+16 ~x172730+8 ~x172729+4 ~x172728+2 ~x172727+1 ~x172726+8 ~x9430+5 ~x8877+7 ~x8561+5 ~x8403+6 ~x8166+7 ~x7929+10 ~x7850+3 ~x7771+8 ~x7139+5 ~x6902+3 ~x6823+1 ~x6665+7 ~x6507+8 ~x6428+2 ~x6349+1 ~x6270+9 ~x6191+4 ~x5875+6 ~x5638+5 ~x5085-0=218 42.78/42.89 c 64 ~x174023+32 ~x174022+16 ~x174021+8 ~x174020+4 ~x174019+2 ~x174018+1 ~x174017+8 ~x9431+7 ~x9194+5 ~x8878+7 ~x8562+5 ~x8404+6 ~x8167+7 ~x7930+10 ~x7851+3 ~x7772+8 ~x7140+5 ~x6903+3 ~x6824+1 ~x6666+7 ~x6508+8 ~x6429+2 ~x6350+1 ~x6271+9 ~x6192+4 ~x5876+6 ~x5639+5 ~x5086-0=225 42.88/42.93 c 64 ~x175371+32 ~x175370+16 ~x175369+8 ~x175368+4 ~x175367+2 ~x175366+1 ~x175365+8 ~x9432+7 ~x9195+5 ~x8879+7 ~x8563+5 ~x8405+6 ~x8168+7 ~x7931+10 ~x7852+3 ~x7773+8 ~x7141+5 ~x6904+3 ~x6825+1 ~x6667+7 ~x6509+8 ~x6430+2 ~x6351+1 ~x6272+9 ~x6193+4 ~x5877+6 ~x5640+5 ~x5087-0=225 42.88/42.96 c 64 ~x176719+32 ~x176718+16 ~x176717+8 ~x176716+4 ~x176715+2 ~x176714+1 ~x176713+8 ~x9433+7 ~x9196+5 ~x8880+7 ~x8564+5 ~x8406+6 ~x8169+7 ~x7932+10 ~x7853+3 ~x7774+8 ~x7142+5 ~x6905+3 ~x6826+1 ~x6668+7 ~x6510+8 ~x6431+2 ~x6352+1 ~x6273+9 ~x6194+4 ~x5878+6 ~x5641+5 ~x5088-0=225 42.96/43.00 c 64 ~x178067+32 ~x178066+16 ~x178065+8 ~x178064+4 ~x178063+2 ~x178062+1 ~x178061+8 ~x9434+7 ~x9197+5 ~x8881+7 ~x8565+5 ~x8407+6 ~x8170+7 ~x7933+10 ~x7854+3 ~x7775+8 ~x7143+5 ~x6906+3 ~x6827+1 ~x6669+7 ~x6511+8 ~x6432+2 ~x6353+1 ~x6274+9 ~x6195+4 ~x5879+6 ~x5642+5 ~x5089-0=225 42.96/43.04 c 64 ~x179415+32 ~x179414+16 ~x179413+8 ~x179412+4 ~x179411+2 ~x179410+1 ~x179409+8 ~x9435+7 ~x9198+5 ~x8882+7 ~x8566+5 ~x8408+6 ~x8171+7 ~x7934+10 ~x7855+3 ~x7776+10 ~x7223+8 ~x7144+5 ~x6907+3 ~x6828+1 ~x6670+7 ~x6512+8 ~x6433+2 ~x6354+1 ~x6275+9 ~x6196+4 ~x5880+6 ~x5643+5 ~x5090-0=235 42.96/43.08 c 64 ~x181056+32 ~x181055+16 ~x181054+8 ~x181053+4 ~x181052+2 ~x181051+1 ~x181050+8 ~x9436+7 ~x9199+5 ~x8883+7 ~x8567+5 ~x8409+6 ~x8172+7 ~x7935+10 ~x7856+3 ~x7777+10 ~x7224+8 ~x7145+5 ~x6908+3 ~x6829+1 ~x6671+7 ~x6513+8 ~x6434+2 ~x6355+1 ~x6276+9 ~x6197+4 ~x5881+6 ~x5644+5 ~x5091-0=235 43.06/43.12 c 64 ~x182697+32 ~x182696+16 ~x182695+8 ~x182694+4 ~x182693+2 ~x182692+1 ~x182691+8 ~x9437+7 ~x9200+5 ~x8884+7 ~x8568+5 ~x8410+6 ~x8173+7 ~x7936+10 ~x7857+3 ~x7778+10 ~x7225+8 ~x7146+5 ~x6909+3 ~x6830+1 ~x6672+7 ~x6514+8 ~x6435+2 ~x6356+1 ~x6277+9 ~x6198+4 ~x5882+6 ~x5645+5 ~x5092-0=235 43.06/43.16 c 64 ~x184338+32 ~x184337+16 ~x184336+8 ~x184335+4 ~x184334+2 ~x184333+1 ~x184332+8 ~x9438+7 ~x9201+5 ~x8885+7 ~x8569+5 ~x8411+6 ~x8174+7 ~x7937+10 ~x7858+3 ~x7779+10 ~x7226+8 ~x7147+5 ~x6910+3 ~x6831+7 ~x6515+8 ~x6436+2 ~x6357+1 ~x6278+4 ~x5883+6 ~x5646+5 ~x5093-0=225 43.17/43.20 c 64 ~x185629+32 ~x185628+16 ~x185627+8 ~x185626+4 ~x185625+2 ~x185624+1 ~x185623+8 ~x9439+7 ~x9202+5 ~x8886+7 ~x8570+5 ~x8412+6 ~x8175+7 ~x7938+10 ~x7859+3 ~x7780+10 ~x7227+8 ~x7148+5 ~x6911+3 ~x6832+7 ~x6516+8 ~x6437+2 ~x6358+1 ~x6279+4 ~x5884+6 ~x5647+5 ~x5094-0=225 43.17/43.23 c 64 ~x186920+32 ~x186919+16 ~x186918+8 ~x186917+4 ~x186916+2 ~x186915+1 ~x186914+8 ~x9440+7 ~x9203+5 ~x8887+7 ~x8571+5 ~x8413+6 ~x8176+7 ~x7939+10 ~x7860+3 ~x7781+10 ~x7228+8 ~x7149+5 ~x6912+3 ~x6833+7 ~x6517+8 ~x6438+2 ~x6359+1 ~x6280+4 ~x5885+6 ~x5648+5 ~x5095-0=225 43.17/43.27 c 64 ~x188211+32 ~x188210+16 ~x188209+8 ~x188208+4 ~x188207+2 ~x188206+1 ~x188205+8 ~x9441+7 ~x9204+5 ~x8888+7 ~x8572+5 ~x8414+6 ~x8177+7 ~x7940+10 ~x7861+3 ~x7782+6 ~x7545+10 ~x7229+8 ~x7150+5 ~x6913+3 ~x6834+7 ~x6518+8 ~x6439+2 ~x6360+1 ~x6281+4 ~x5886+6 ~x5649+5 ~x5096-0=231 43.26/43.31 c 64 ~x189786+32 ~x189785+16 ~x189784+8 ~x189783+4 ~x189782+2 ~x189781+1 ~x189780+8 ~x9442+7 ~x9205+5 ~x8889+7 ~x8573+5 ~x8415+6 ~x8178+7 ~x7941+10 ~x7862+3 ~x7783+6 ~x7546+10 ~x7230+8 ~x7151+5 ~x6914+3 ~x6835+7 ~x6519+8 ~x6440+2 ~x6361+1 ~x6282+4 ~x5887+6 ~x5650+5 ~x5097-0=231 43.26/43.35 c 64 ~x191361+32 ~x191360+16 ~x191359+8 ~x191358+4 ~x191357+2 ~x191356+1 ~x191355+8 ~x9443+7 ~x9206+5 ~x8890+7 ~x8574+5 ~x8416+6 ~x8179+7 ~x7942+10 ~x7863+3 ~x7784+6 ~x7547+10 ~x7231+8 ~x7152+5 ~x6915+3 ~x6836+7 ~x6520+8 ~x6441+2 ~x6362+1 ~x6283+4 ~x5888+6 ~x5651+5 ~x5098-0=231 43.26/43.39 c 64 ~x192936+32 ~x192935+16 ~x192934+8 ~x192933+4 ~x192932+2 ~x192931+1 ~x192930+8 ~x9444+7 ~x9207+5 ~x8891+7 ~x8575+5 ~x8417+6 ~x8180+7 ~x7943+10 ~x7864+3 ~x7785+6 ~x7548+10 ~x7232+8 ~x7153+5 ~x6916+3 ~x6837+7 ~x6521+8 ~x6442+2 ~x6363+4 ~x5889+6 ~x5652+5 ~x5099-0=230 43.36/43.43 c 64 ~x194448+32 ~x194447+16 ~x194446+8 ~x194445+4 ~x194444+2 ~x194443+1 ~x194442+8 ~x9445+7 ~x9208+5 ~x8892+7 ~x8576+5 ~x8418+6 ~x8181+7 ~x7944+10 ~x7865+3 ~x7786+6 ~x7549+10 ~x7233+8 ~x7154+5 ~x6917+3 ~x6838+7 ~x6522+8 ~x6443+2 ~x6364+4 ~x5890+6 ~x5653+5 ~x5100-0=230 43.36/43.47 c 64 ~x195960+32 ~x195959+16 ~x195958+8 ~x195957+4 ~x195956+2 ~x195955+1 ~x195954+8 ~x9446+7 ~x9209+5 ~x8893+7 ~x8577+5 ~x8419+6 ~x8182+7 ~x7945+10 ~x7866+3 ~x7787+6 ~x7550+10 ~x7234+8 ~x7155+5 ~x6918+3 ~x6839+7 ~x6523+8 ~x6444+2 ~x6365+4 ~x5891+6 ~x5654-0=225 43.46/43.51 c 64 ~x197209+32 ~x197208+16 ~x197207+8 ~x197206+4 ~x197205+2 ~x197204+1 ~x197203+8 ~x9447+7 ~x9210+5 ~x8894+7 ~x8578+5 ~x8420+6 ~x8183+7 ~x7946+10 ~x7867+3 ~x7788+6 ~x7551+10 ~x7235+8 ~x7156+5 ~x6919+3 ~x6840+7 ~x6524+8 ~x6445+2 ~x6366+4 ~x5892+6 ~x5655-0=225 43.46/43.54 c 64 ~x198458+32 ~x198457+16 ~x198456+8 ~x198455+4 ~x198454+2 ~x198453+1 ~x198452+8 ~x9448+7 ~x9211+5 ~x8895+7 ~x8579+5 ~x8421+6 ~x8184+7 ~x7947+10 ~x7868+3 ~x7789+6 ~x7552+10 ~x7236+5 ~x6920+3 ~x6841+7 ~x6525+8 ~x6446+2 ~x6367+4 ~x5893+6 ~x5656-0=217 43.46/43.57 c 64 ~x199650+32 ~x199649+16 ~x199648+8 ~x199647+4 ~x199646+2 ~x199645+1 ~x199644+8 ~x9449+7 ~x9212+5 ~x8896+7 ~x8580+5 ~x8422+6 ~x8185+7 ~x7948+10 ~x7869+3 ~x7790+6 ~x7553+10 ~x7237+5 ~x6921+3 ~x6842+7 ~x6526+8 ~x6447+2 ~x6368+4 ~x5894+6 ~x5657-0=217 43.56/43.60 c 64 ~x200842+32 ~x200841+16 ~x200840+8 ~x200839+4 ~x200838+2 ~x200837+1 ~x200836+8 ~x9450+7 ~x9213+5 ~x8897+7 ~x8581+5 ~x8423+6 ~x8186+7 ~x7949+10 ~x7870+3 ~x7791+6 ~x7554+10 ~x7238+5 ~x6922+3 ~x6843+7 ~x6527+8 ~x6448+2 ~x6369+4 ~x5895+6 ~x5658-0=217 43.56/43.64 c 64 ~x202034+32 ~x202033+16 ~x202032+8 ~x202031+4 ~x202030+2 ~x202029+1 ~x202028+8 ~x9451+7 ~x9214+5 ~x8898+7 ~x8582+5 ~x8424+6 ~x8187+7 ~x7950+10 ~x7871+3 ~x7792+6 ~x7555+5 ~x6923+3 ~x6844+7 ~x6528+8 ~x6449+2 ~x6370+4 ~x5896+6 ~x5659-0=207 43.56/43.66 c 64 ~x203169+32 ~x203168+16 ~x203167+8 ~x203166+4 ~x203165+2 ~x203164+1 ~x203163+8 ~x9452+7 ~x9215+5 ~x8899+7 ~x8583+5 ~x8425+6 ~x8188+7 ~x7951+10 ~x7872+3 ~x7793+6 ~x7556+5 ~x6924+3 ~x6845+7 ~x6529+8 ~x6450+2 ~x6371+4 ~x5897+6 ~x5660-0=207 43.67/43.70 c 64 ~x204304+32 ~x204303+16 ~x204302+8 ~x204301+4 ~x204300+2 ~x204299+1 ~x204298+8 ~x9453+7 ~x9216+5 ~x8900+7 ~x8584+5 ~x8426+6 ~x8189+7 ~x7952+10 ~x7873+3 ~x7794+6 ~x7557+5 ~x6925+3 ~x6846+7 ~x6530+2 ~x6372+6 ~x5661-0=195 43.67/43.73 c 32 ~x205309+16 ~x205308+8 ~x205307+4 ~x205306+2 ~x205305+1 ~x205304+8 ~x9454+7 ~x9217+5 ~x8901+7 ~x8585+5 ~x8427+6 ~x8190+7 ~x7953+10 ~x7874+3 ~x7795+6 ~x7558+5 ~x6926+3 ~x6847+7 ~x6531+2 ~x6373-0=125 43.67/43.75 c 32 ~x206111+16 ~x206110+8 ~x206109+4 ~x206108+2 ~x206107+1 ~x206106+8 ~x9455+7 ~x9218+5 ~x8902+7 ~x8586+5 ~x8428+6 ~x8191+7 ~x7954+10 ~x7875+3 ~x7796+6 ~x7559+5 ~x6927+3 ~x6848+7 ~x6532+2 ~x6374-0=125 43.67/43.79 c 32 ~x206913+16 ~x206912+8 ~x206911+4 ~x206910+2 ~x206909+1 ~x206908+8 ~x9456+7 ~x9219+5 ~x8903+7 ~x8587+5 ~x8429+7 ~x7955+10 ~x7876+3 ~x7797+6 ~x7560+5 ~x6928+3 ~x6849+7 ~x6533-0=117 43.67/43.79 c 32 ~x207616+16 ~x207615+8 ~x207614+4 ~x207613+2 ~x207612+1 ~x207611+8 ~x9457+7 ~x9220+6 ~x9141+5 ~x8904+7 ~x8588+5 ~x8430+7 ~x7956+10 ~x7877+3 ~x7798+6 ~x7561+5 ~x6929+3 ~x6850+7 ~x6534-0=123 43.76/43.81 c 32 ~x208370+16 ~x208369+8 ~x208368+4 ~x208367+2 ~x208366+1 ~x208365+8 ~x9458+7 ~x9221+6 ~x9142+5 ~x8905+7 ~x8589+5 ~x8431+7 ~x7957+10 ~x7878+3 ~x7799+6 ~x7562+5 ~x6930+3 ~x6851+7 ~x6535-0=123 43.76/43.83 c 32 ~x209124+16 ~x209123+8 ~x209122+4 ~x209121+2 ~x209120+1 ~x209119+8 ~x9459+7 ~x9222+6 ~x9143+5 ~x8906+7 ~x8590+5 ~x8432+7 ~x7958+10 ~x7879+3 ~x7800+6 ~x7563+5 ~x6931+3 ~x6852+7 ~x6536-0=123 43.76/43.87 c 32 ~x209878+16 ~x209877+8 ~x209876+4 ~x209875+2 ~x209874+1 ~x209873+8 ~x9460+7 ~x9223+6 ~x9144+5 ~x8907+7 ~x8591+5 ~x8433+7 ~x7959+10 ~x7880+3 ~x7801+6 ~x7564+5 ~x6932+3 ~x6853+7 ~x6537-0=123 43.76/43.87 c 32 ~x210632+16 ~x210631+8 ~x210630+4 ~x210629+2 ~x210628+1 ~x210627+8 ~x9461+3 ~x9382+7 ~x9224+6 ~x9145+5 ~x8908+7 ~x8592+5 ~x8434+7 ~x7960+10 ~x7881+3 ~x7802+6 ~x7565+5 ~x6933+3 ~x6854+7 ~x6538-0=126 43.76/43.89 c 32 ~x211437+16 ~x211436+8 ~x211435+4 ~x211434+2 ~x211433+1 ~x211432+8 ~x9462+3 ~x9383+7 ~x9225+6 ~x9146+5 ~x8909+7 ~x8593+5 ~x8435+7 ~x7961+10 ~x7882+6 ~x7566+5 ~x6934+3 ~x6855+7 ~x6539-0=123 43.87/43.94 c 32 ~x212191+16 ~x212190+8 ~x212189+4 ~x212188+2 ~x212187+1 ~x212186+8 ~x9463+3 ~x9384+7 ~x9226+6 ~x9147+5 ~x8910+7 ~x8594+5 ~x8436+7 ~x7962+6 ~x7567+5 ~x6935+3 ~x6856+7 ~x6540-0=113 43.87/43.97 c 32 ~x212894+16 ~x212893+8 ~x212892+4 ~x212891+2 ~x212890+1 ~x212889+8 ~x9464+3 ~x9385+7 ~x9227+6 ~x9148+5 ~x8911+7 ~x8595+5 ~x8437+7 ~x7963+6 ~x7568+5 ~x6936+3 ~x6857+7 ~x6541-0=113 43.87/43.97 c 32 ~x213597+16 ~x213596+8 ~x213595+4 ~x213594+2 ~x213593+1 ~x213592+8 ~x9465+3 ~x9386+7 ~x9228+6 ~x9149+5 ~x8912+7 ~x8596+5 ~x8438+7 ~x7964+6 ~x7569+5 ~x6937+3 ~x6858+7 ~x6542-0=113 43.87/43.99 c 32 ~x214300+16 ~x214299+8 ~x214298+4 ~x214297+2 ~x214296+1 ~x214295+8 ~x9466+3 ~x9387+7 ~x9229+6 ~x9150+5 ~x8913+7 ~x8597+5 ~x8439+7 ~x7965+6 ~x7570+5 ~x6938+3 ~x6859+7 ~x6543-0=113 43.97/44.03 c 32 ~x215003+16 ~x215002+8 ~x215001+4 ~x215000+2 ~x214999+1 ~x214998+8 ~x9467+3 ~x9388+7 ~x9230+6 ~x9151+5 ~x8914+7 ~x8598+5 ~x8440+7 ~x7966+6 ~x7571+5 ~x6939+3 ~x6860+7 ~x6544-0=113 43.97/44.03 c 32 ~x215706+16 ~x215705+8 ~x215704+4 ~x215703+2 ~x215702+1 ~x215701+8 ~x9468+3 ~x9389+7 ~x9231+6 ~x9152+5 ~x8915+7 ~x8599+7 ~x7967+5 ~x6940+3 ~x6861+7 ~x6545-0=102 43.97/44.05 c 32 ~x216280+16 ~x216279+8 ~x216278+4 ~x216277+2 ~x216276+1 ~x216275+8 ~x9469+3 ~x9390+7 ~x9232+6 ~x9153+5 ~x8916+7 ~x8600+7 ~x7968+5 ~x6941+3 ~x6862+7 ~x6546-0=102 43.97/44.08 c 32 ~x216854+16 ~x216853+8 ~x216852+4 ~x216851+2 ~x216850+1 ~x216849+8 ~x9470+3 ~x9391+7 ~x9233+6 ~x9154+5 ~x8917+7 ~x8601+7 ~x7969+5 ~x6942+3 ~x6863+7 ~x6547-0=102 43.97/44.08 c 16 ~x217427+8 ~x217426+4 ~x217425+2 ~x217424+1 ~x217423+8 ~x9471+3 ~x9392+7 ~x9234+5 ~x8918+7 ~x7970+5 ~x6943+3 ~x6864+7 ~x6548-0=57 44.06/44.11 c 16 ~x217793+8 ~x217792+4 ~x217791+2 ~x217790+1 ~x217789+8 ~x9472+3 ~x9393+7 ~x9235+5 ~x8919+7 ~x7971+5 ~x6944+3 ~x6865+7 ~x6549-0=57 44.06/44.11 c 16 ~x218159+8 ~x218158+4 ~x218157+2 ~x218156+1 ~x218155+8 ~x9473+3 ~x9394+7 ~x9236+5 ~x8920+7 ~x7972+5 ~x6945+3 ~x6866-0=50 44.06/44.13 c 16 ~x218489+8 ~x218488+4 ~x218487+2 ~x218486+1 ~x218485+8 ~x9474+3 ~x9395+7 ~x9237+5 ~x8921+7 ~x7973+5 ~x6946+3 ~x6867-0=50 44.06/44.13 c 4 ~x218817+2 ~x218816+1 ~x218815+8 ~x9475+3 ~x9396+7 ~x9238+7 ~x7974-0=13 44.06/44.16 c 8 ~x218889+4 ~x218888+2 ~x218887+1 ~x218886+7 ~x6174+9 ~x5937+4 ~x5305+3 ~x5147+2 ~x5068-0=24 44.06/44.16 c 16 ~x219123+8 ~x219122+4 ~x219121+2 ~x219120+1 ~x219119+8 ~x6886+10 ~x6412+7 ~x6175+9 ~x5938+4 ~x5306+3 ~x5148+2 ~x5069-0=58 44.06/44.18 c 16 ~x219492+8 ~x219491+4 ~x219490+2 ~x219489+1 ~x219488+8 ~x6887+10 ~x6413+7 ~x6176+9 ~x5939+4 ~x5307+3 ~x5149+2 ~x5070-0=58 44.06/44.18 c 32 ~x219862+16 ~x219861+8 ~x219860+4 ~x219859+2 ~x219858+1 ~x219857+9 ~x7362+8 ~x6888+10 ~x6414+7 ~x6177+9 ~x5940+4 ~x5308+3 ~x5150+2 ~x5071-0=99 44.16/44.21 c 32 ~x220379+16 ~x220378+8 ~x220377+4 ~x220376+2 ~x220375+1 ~x220374+9 ~x7363+8 ~x6889+10 ~x6415+7 ~x6178+9 ~x5941+4 ~x5309+3 ~x5151+2 ~x5072-0=99 44.16/44.21 c 32 ~x220896+16 ~x220895+8 ~x220894+4 ~x220893+2 ~x220892+1 ~x220891+9 ~x7364+8 ~x6890+10 ~x6416+7 ~x6179+8 ~x6100+9 ~x5942+1 ~x5705+4 ~x5389+4 ~x5310+3 ~x5152+2 ~x5073-0=108 44.16/44.23 c 32 ~x221566+16 ~x221565+8 ~x221564+4 ~x221563+2 ~x221562+1 ~x221561+9 ~x7365+8 ~x6891+10 ~x6417+7 ~x6180+8 ~x6101+9 ~x5943+1 ~x5706+4 ~x5311+3 ~x5153+2 ~x5074-0=104 44.16/44.26 c 32 ~x222185+16 ~x222184+8 ~x222183+4 ~x222182+2 ~x222181+1 ~x222180+9 ~x7366+8 ~x6892+10 ~x6418+7 ~x6181+8 ~x6102+9 ~x5944+1 ~x5707+4 ~x5312+3 ~x5154+2 ~x5075-0=104 44.16/44.26 c 32 ~x222804+16 ~x222803+8 ~x222802+4 ~x222801+2 ~x222800+1 ~x222799+4 ~x7762+9 ~x7367+6 ~x7288+8 ~x6893+1 ~x6577+6 ~x6498+10 ~x6419+7 ~x6182+8 ~x6103+9 ~x5945+1 ~x5708+4 ~x5313+3 ~x5155+2 ~x5076-0=121 44.16/44.29 c 64 ~x223628+32 ~x223627+16 ~x223626+8 ~x223625+4 ~x223624+2 ~x223623+1 ~x223622+4 ~x7763+9 ~x7368+6 ~x7289+3 ~x6973+8 ~x6894+1 ~x6578+6 ~x6499+10 ~x6420+5 ~x6341+7 ~x6183+8 ~x6104+9 ~x5946+1 ~x5709+4 ~x5314+3 ~x5156+2 ~x5077-0=193 44.26/44.32 c 64 ~x224700+32 ~x224699+16 ~x224698+8 ~x224697+4 ~x224696+2 ~x224695+1 ~x224694+4 ~x7764+9 ~x7369+6 ~x7290+3 ~x7053+3 ~x6974+8 ~x6895+1 ~x6579+6 ~x6500+10 ~x6421+5 ~x6342+7 ~x6184+8 ~x6105+9 ~x5947+1 ~x5710+3 ~x5157+2 ~x5078-0=192 44.26/44.35 c 64 ~x225778+32 ~x225777+16 ~x225776+8 ~x225775+4 ~x225774+2 ~x225773+1 ~x225772+4 ~x7765+9 ~x7370+6 ~x7291+3 ~x7054+3 ~x6975+8 ~x6896+1 ~x6580+6 ~x6501+10 ~x6422+5 ~x6343+7 ~x6185+8 ~x6106+9 ~x5948+1 ~x5711+3 ~x5158+2 ~x5079-0=192 44.26/44.37 c 64 ~x226856+32 ~x226855+16 ~x226854+8 ~x226853+4 ~x226852+2 ~x226851+1 ~x226850+4 ~x7766+9 ~x7371+6 ~x7292+3 ~x7055+3 ~x6976+8 ~x6897+1 ~x6581+6 ~x6502+10 ~x6423+5 ~x6344+7 ~x6186+8 ~x6107+9 ~x5949+1 ~x5712+3 ~x5159+2 ~x5080-0=192 44.37/44.40 c 64 ~x227934+32 ~x227933+16 ~x227932+8 ~x227931+4 ~x227930+2 ~x227929+1 ~x227928+6 ~x8241+4 ~x7767+9 ~x7372+6 ~x7293+3 ~x7056+3 ~x6977+8 ~x6898+1 ~x6582+6 ~x6503+10 ~x6424+5 ~x6345+7 ~x6187+8 ~x6108+9 ~x5950+1 ~x5713+3 ~x5160+2 ~x5081-0=198 44.37/44.44 c 64 ~x229069+32 ~x229068+16 ~x229067+8 ~x229066+4 ~x229065+2 ~x229064+1 ~x229063+6 ~x8242+4 ~x7768+1 ~x7610+9 ~x7373+6 ~x7294+3 ~x7057+3 ~x6978+8 ~x6899+1 ~x6583+6 ~x6504+10 ~x6425+5 ~x6346+7 ~x6188+8 ~x6109+9 ~x5951+1 ~x5714+3 ~x5161+2 ~x5082-0=199 44.37/44.47 c 64 ~x230261+32 ~x230260+16 ~x230259+8 ~x230258+4 ~x230257+2 ~x230256+1 ~x230255+8 ~x8875+6 ~x8243+9 ~x7848+4 ~x7769+1 ~x7611+9 ~x7374+6 ~x7295+3 ~x7058+3 ~x6979+8 ~x6900+1 ~x6584+6 ~x6505+10 ~x6426+5 ~x6347+7 ~x6189+8 ~x6110+9 ~x5952+1 ~x5715+3 ~x5162+2 ~x5083-0=216 44.46/44.50 c 64 ~x231567+32 ~x231566+16 ~x231565+8 ~x231564+4 ~x231563+2 ~x231562+1 ~x231561+8 ~x8876+6 ~x8244+9 ~x7849+4 ~x7770+1 ~x7612+9 ~x7375+6 ~x7296+3 ~x7059+3 ~x6980+8 ~x6901+1 ~x6585+6 ~x6506+10 ~x6427+5 ~x6348+7 ~x6190+8 ~x6111+9 ~x5953+1 ~x5716+3 ~x5163+2 ~x5084-0=216 44.46/44.54 c 64 ~x232873+32 ~x232872+16 ~x232871+8 ~x232870+4 ~x232869+2 ~x232868+1 ~x232867+8 ~x8877+4 ~x8561+2 ~x8403+6 ~x8245+9 ~x7850+4 ~x7771+1 ~x7613+9 ~x7376+6 ~x7297+3 ~x7060+3 ~x6981+8 ~x6902+1 ~x6586+6 ~x6507+10 ~x6428+5 ~x6349+7 ~x6191+8 ~x6112+9 ~x5954+1 ~x5717+3 ~x5164+2 ~x5085-0=222 44.46/44.58 c 64 ~x234293+32 ~x234292+16 ~x234291+8 ~x234290+4 ~x234289+2 ~x234288+1 ~x234287+8 ~x8878+4 ~x8562+2 ~x8404+6 ~x8246+9 ~x7851+4 ~x7772+1 ~x7614+9 ~x7377+6 ~x7298+3 ~x7061+3 ~x6982+8 ~x6903+1 ~x6587+6 ~x6508+10 ~x6429+5 ~x6350+7 ~x6192+8 ~x6113+9 ~x5955+1 ~x5718+3 ~x5165+2 ~x5086-0=222 44.56/44.61 c 64 ~x235713+32 ~x235712+16 ~x235711+8 ~x235710+4 ~x235709+2 ~x235708+1 ~x235707+8 ~x8879+4 ~x8563+2 ~x8405+6 ~x8247+9 ~x7852+4 ~x7773+1 ~x7615+9 ~x7378+6 ~x7299+3 ~x7062+3 ~x6983+8 ~x6904+1 ~x6588+6 ~x6509+10 ~x6430+5 ~x6351+7 ~x6193+8 ~x6114+9 ~x5956+1 ~x5719+3 ~x5166+2 ~x5087-0=222 44.56/44.65 c 64 ~x237133+32 ~x237132+16 ~x237131+8 ~x237130+4 ~x237129+2 ~x237128+1 ~x237127+8 ~x8880+4 ~x8564+2 ~x8406+6 ~x8248+9 ~x7853+4 ~x7774+1 ~x7616+9 ~x7379+6 ~x7300+3 ~x7063+3 ~x6984+8 ~x6905+1 ~x6589+6 ~x6510+10 ~x6431+5 ~x6352+7 ~x6194+8 ~x6115+1 ~x5720+3 ~x5167+2 ~x5088-0=213 44.56/44.69 c 64 ~x238496+32 ~x238495+16 ~x238494+8 ~x238493+4 ~x238492+2 ~x238491+1 ~x238490+8 ~x8881+4 ~x8565+2 ~x8407+6 ~x8249+9 ~x7854+4 ~x7775+1 ~x7617+9 ~x7380+6 ~x7301+3 ~x7064+3 ~x6985+8 ~x6906+1 ~x6590+6 ~x6511+10 ~x6432+5 ~x6353+7 ~x6195+8 ~x6116+1 ~x5721+3 ~x5168+2 ~x5089-0=213 44.66/44.72 c 64 ~x239859+32 ~x239858+16 ~x239857+8 ~x239856+4 ~x239855+2 ~x239854+1 ~x239853+8 ~x8882+4 ~x8566+2 ~x8408+6 ~x8250+9 ~x7855+4 ~x7776+1 ~x7618+9 ~x7381+6 ~x7302+3 ~x7065+3 ~x6986+8 ~x6907+1 ~x6591+6 ~x6512+10 ~x6433+5 ~x6354+7 ~x6196+8 ~x6117+1 ~x5722+3 ~x5169+2 ~x5090-0=213 44.66/44.76 c 64 ~x241222+32 ~x241221+16 ~x241220+8 ~x241219+4 ~x241218+2 ~x241217+1 ~x241216+8 ~x8883+4 ~x8567+2 ~x8409+6 ~x8251+9 ~x7856+4 ~x7777+1 ~x7619+9 ~x7382+6 ~x7303+3 ~x7066+3 ~x6987+8 ~x6908+1 ~x6592+6 ~x6513+10 ~x6434+5 ~x6355+7 ~x6197+8 ~x6118+1 ~x5723+3 ~x5170+2 ~x5091-0=213 44.66/44.80 c 64 ~x242585+32 ~x242584+16 ~x242583+8 ~x242582+4 ~x242581+2 ~x242580+1 ~x242579+8 ~x8884+4 ~x8568+2 ~x8410+6 ~x8252+9 ~x7857+4 ~x7778+1 ~x7620+9 ~x7383+6 ~x7304+3 ~x7067+3 ~x6988+8 ~x6909+1 ~x6593+6 ~x6514+10 ~x6435+5 ~x6356+7 ~x6198+8 ~x6119+1 ~x5724+3 ~x5171+2 ~x5092-0=213 44.77/44.83 c 64 ~x243948+32 ~x243947+16 ~x243946+8 ~x243945+4 ~x243944+2 ~x243943+1 ~x243942+8 ~x8885+4 ~x8569+2 ~x8411+6 ~x8253+9 ~x7858+4 ~x7779+1 ~x7621+9 ~x7384+6 ~x7305+3 ~x7068+3 ~x6989+8 ~x6910+1 ~x6594+6 ~x6515+10 ~x6436+5 ~x6357+8 ~x6120+1 ~x5725+3 ~x5172+2 ~x5093-0=206 44.77/44.87 c 64 ~x245254+32 ~x245253+16 ~x245252+8 ~x245251+4 ~x245250+2 ~x245249+1 ~x245248+8 ~x8886+4 ~x8570+2 ~x8412+6 ~x8254+9 ~x7859+4 ~x7780+1 ~x7622+9 ~x7385+6 ~x7306+3 ~x7069+3 ~x6990+8 ~x6911+1 ~x6595+6 ~x6516+10 ~x6437+5 ~x6358+8 ~x6121+1 ~x5726+3 ~x5173+2 ~x5094-0=206 44.86/44.90 c 64 ~x246560+32 ~x246559+16 ~x246558+8 ~x246557+4 ~x246556+2 ~x246555+1 ~x246554+8 ~x8887+4 ~x8571+2 ~x8413+6 ~x8255+9 ~x7860+4 ~x7781+1 ~x7623+9 ~x7386+6 ~x7307+3 ~x7070+3 ~x6991+8 ~x6912+1 ~x6596+6 ~x6517+10 ~x6438+5 ~x6359+8 ~x6122+1 ~x5727+3 ~x5174+2 ~x5095-0=206 44.86/44.94 c 64 ~x247866+32 ~x247865+16 ~x247864+8 ~x247863+4 ~x247862+2 ~x247861+1 ~x247860+8 ~x8888+4 ~x8572+2 ~x8414+6 ~x8256+9 ~x7861+4 ~x7782+1 ~x7624+9 ~x7387+6 ~x7308+3 ~x7071+3 ~x6992+8 ~x6913+1 ~x6597+6 ~x6518+10 ~x6439+5 ~x6360+8 ~x6123+1 ~x5728+3 ~x5175+2 ~x5096-0=206 44.86/44.97 c 64 ~x249172+32 ~x249171+16 ~x249170+8 ~x249169+4 ~x249168+2 ~x249167+1 ~x249166+8 ~x8889+4 ~x8573+2 ~x8415+6 ~x8257+9 ~x7862+4 ~x7783+1 ~x7625+9 ~x7388+6 ~x7309+3 ~x7072+3 ~x6993+8 ~x6914+1 ~x6598+6 ~x6519+10 ~x6440+5 ~x6361+8 ~x6124+1 ~x5729+3 ~x5176+2 ~x5097-0=206 44.97/45.01 c 64 ~x250478+32 ~x250477+16 ~x250476+8 ~x250475+4 ~x250474+2 ~x250473+1 ~x250472+8 ~x8890+4 ~x8574+2 ~x8416+6 ~x8258+9 ~x7863+4 ~x7784+1 ~x7626+9 ~x7389+6 ~x7310+3 ~x7073+3 ~x6994+8 ~x6915+1 ~x6599+6 ~x6520+10 ~x6441+5 ~x6362+8 ~x6125+1 ~x5730+3 ~x5177+2 ~x5098-0=206 44.97/45.04 c 64 ~x251784+32 ~x251783+16 ~x251782+8 ~x251781+4 ~x251780+2 ~x251779+1 ~x251778+8 ~x8891+4 ~x8575+2 ~x8417+6 ~x8259+9 ~x7864+4 ~x7785+1 ~x7627+9 ~x7390+6 ~x7311+3 ~x7074+3 ~x6995+8 ~x6916+1 ~x6600+6 ~x6521+10 ~x6442+5 ~x6363+8 ~x6126+1 ~x5731+3 ~x5178+2 ~x5099-0=206 44.97/45.08 c 64 ~x253090+32 ~x253089+16 ~x253088+8 ~x253087+4 ~x253086+2 ~x253085+1 ~x253084+8 ~x8892+4 ~x8576+2 ~x8418+6 ~x8260+9 ~x7865+4 ~x7786+1 ~x7628+9 ~x7391+6 ~x7312+3 ~x7075+3 ~x6996+8 ~x6917+1 ~x6601+6 ~x6522+10 ~x6443+5 ~x6364+8 ~x6127+1 ~x5732+3 ~x5179+2 ~x5100-0=206 45.07/45.11 c 64 ~x254396+32 ~x254395+16 ~x254394+8 ~x254393+4 ~x254392+2 ~x254391+1 ~x254390+8 ~x8893+1 ~x8735+4 ~x8577+2 ~x8419+6 ~x8261+9 ~x7866+4 ~x7787+1 ~x7629+9 ~x7392+6 ~x7313+3 ~x7076+3 ~x6997+8 ~x6918+1 ~x6602+6 ~x6523+10 ~x6444+5 ~x6365+8 ~x6128+1 ~x5733+3 ~x5180-0=205 45.07/45.15 c 64 ~x255699+32 ~x255698+16 ~x255697+8 ~x255696+4 ~x255695+2 ~x255694+1 ~x255693+8 ~x8973+8 ~x8894+1 ~x8736+4 ~x8578+2 ~x8420+6 ~x8262+9 ~x7867+4 ~x7788+1 ~x7630+9 ~x7393+6 ~x7314+3 ~x7077+3 ~x6998+8 ~x6919+1 ~x6603+6 ~x6524+10 ~x6445+5 ~x6366+8 ~x6129+1 ~x5734+3 ~x5181-0=213 45.07/45.18 c 64 ~x257059+32 ~x257058+16 ~x257057+8 ~x257056+4 ~x257055+2 ~x257054+1 ~x257053+8 ~x8974+8 ~x8895+1 ~x8737+4 ~x8579+2 ~x8421+6 ~x8263+9 ~x7868+4 ~x7789+1 ~x7631+9 ~x7394+6 ~x7315+3 ~x7078+3 ~x6999+8 ~x6920+1 ~x6604+6 ~x6525+10 ~x6446+5 ~x6367+8 ~x6130+1 ~x5735+3 ~x5182-0=213 45.17/45.22 c 64 ~x258419+32 ~x258418+16 ~x258417+8 ~x258416+4 ~x258415+2 ~x258414+1 ~x258413+8 ~x8975+8 ~x8896+1 ~x8738+4 ~x8580+2 ~x8422+6 ~x8264+9 ~x7869+4 ~x7790+1 ~x7632+9 ~x7395+6 ~x7316+3 ~x7079+3 ~x7000+8 ~x6921+1 ~x6605+6 ~x6526+10 ~x6447+5 ~x6368+8 ~x6131+1 ~x5736+3 ~x5183-0=213 45.17/45.26 c 64 ~x259779+32 ~x259778+16 ~x259777+8 ~x259776+4 ~x259775+2 ~x259774+1 ~x259773+8 ~x8976+8 ~x8897+1 ~x8739+4 ~x8581+2 ~x8423+6 ~x8265+9 ~x7870+4 ~x7791+1 ~x7633+6 ~x7317+3 ~x7080+3 ~x7001+8 ~x6922+1 ~x6606+6 ~x6527+10 ~x6448+5 ~x6369+8 ~x6132+1 ~x5737+3 ~x5184-0=204 45.17/45.29 c 64 ~x261082+32 ~x261081+16 ~x261080+8 ~x261079+4 ~x261078+2 ~x261077+1 ~x261076+8 ~x8977+8 ~x8898+1 ~x8740+4 ~x8582+2 ~x8424+6 ~x8266+9 ~x7871+4 ~x7792+1 ~x7634+6 ~x7318+3 ~x7081+3 ~x7002+8 ~x6923+1 ~x6607+6 ~x6528+10 ~x6449+5 ~x6370+8 ~x6133+1 ~x5738+3 ~x5185-0=204 45.27/45.33 c 64 ~x262385+32 ~x262384+16 ~x262383+8 ~x262382+4 ~x262381+2 ~x262380+1 ~x262379+8 ~x8978+8 ~x8899+1 ~x8741+4 ~x8583+2 ~x8425+6 ~x8267+9 ~x7872+4 ~x7793+1 ~x7635+6 ~x7319+3 ~x7082+3 ~x7003+8 ~x6924+1 ~x6608+6 ~x6529+10 ~x6450+5 ~x6371+8 ~x6134+3 ~x5186-0=203 45.27/45.36 c 32 ~x263621+16 ~x263620+8 ~x263619+4 ~x263618+2 ~x263617+1 ~x263616+8 ~x8979+8 ~x8900+1 ~x8742+4 ~x8584+2 ~x8426+6 ~x8268+9 ~x7873+4 ~x7794+1 ~x7636+6 ~x7320+3 ~x7083+3 ~x7004+8 ~x6925+1 ~x6609+6 ~x6530+5 ~x6372+8 ~x6135-0=126 45.37/45.41 c 64 ~x264589+32 ~x264588+16 ~x264587+8 ~x264586+4 ~x264585+2 ~x264584+1 ~x264583+5 ~x9296+8 ~x8980+8 ~x8901+1 ~x8743+4 ~x8585+2 ~x8427+6 ~x8269+9 ~x7874+4 ~x7795+6 ~x7321+3 ~x7084+3 ~x7005+8 ~x6926+1 ~x6610+6 ~x6531+5 ~x6373+8 ~x6136-0=194 45.37/45.44 c 64 ~x265700+32 ~x265699+16 ~x265698+8 ~x265697+4 ~x265696+2 ~x265695+1 ~x265694+5 ~x9297+8 ~x8981+8 ~x8902+1 ~x8744+4 ~x8586+2 ~x8428+6 ~x8270+9 ~x7875+4 ~x7796+6 ~x7322+3 ~x7085+3 ~x7006+8 ~x6927+1 ~x6611+6 ~x6532+5 ~x6374+8 ~x6137-0=194 45.37/45.47 c 32 ~x266810+16 ~x266809+8 ~x266808+4 ~x266807+2 ~x266806+1 ~x266805+5 ~x9298+8 ~x8982+8 ~x8903+1 ~x8745+4 ~x8587+2 ~x8429+6 ~x8271+9 ~x7876+4 ~x7797+6 ~x7323+3 ~x7007+8 ~x6928+1 ~x6612+6 ~x6533-0=114 45.37/45.49 c 32 ~x267621+16 ~x267620+8 ~x267619+4 ~x267618+2 ~x267617+1 ~x267616+5 ~x9299+8 ~x8983+8 ~x8904+5 ~x8825+1 ~x8746+4 ~x8588+2 ~x8430+6 ~x8272+9 ~x7877+4 ~x7798+6 ~x7324+3 ~x7008+8 ~x6929+1 ~x6613+6 ~x6534-0=119 45.46/45.51 c 32 ~x268483+16 ~x268482+8 ~x268481+4 ~x268480+2 ~x268479+1 ~x268478+5 ~x9300+8 ~x8984+8 ~x8905+5 ~x8826+1 ~x8747+4 ~x8589+2 ~x8431+6 ~x8273+9 ~x7878+4 ~x7799+6 ~x7325+3 ~x7009+8 ~x6930+1 ~x6614+6 ~x6535-0=119 45.46/45.56 c 32 ~x269345+16 ~x269344+8 ~x269343+4 ~x269342+2 ~x269341+1 ~x269340+5 ~x9301+8 ~x8985+8 ~x8906+5 ~x8827+1 ~x8748+4 ~x8590+2 ~x8432+6 ~x8274+9 ~x7879+4 ~x7800+6 ~x7326+3 ~x7010+8 ~x6931+1 ~x6615+6 ~x6536-0=119 45.46/45.56 c 32 ~x270207+16 ~x270206+8 ~x270205+4 ~x270204+2 ~x270203+1 ~x270202+5 ~x9302+8 ~x8986+8 ~x8907+5 ~x8828+1 ~x8749+4 ~x8591+2 ~x8433+9 ~x7880+4 ~x7801+6 ~x7327+3 ~x7011+8 ~x6932+1 ~x6616+6 ~x6537-0=113 45.46/45.58 c 32 ~x271018+16 ~x271017+8 ~x271016+4 ~x271015+2 ~x271014+1 ~x271013+4 ~x9540+5 ~x9303+8 ~x8987+8 ~x8908+5 ~x8829+1 ~x8750+4 ~x8592+2 ~x8434+9 ~x7881+4 ~x7802+3 ~x7012+8 ~x6933+1 ~x6617+6 ~x6538-0=111 45.56/45.60 c 32 ~x271829+16 ~x271828+8 ~x271827+4 ~x271826+2 ~x271825+1 ~x271824+4 ~x9541+5 ~x9304+8 ~x8988+8 ~x8909+5 ~x8830+1 ~x8751+4 ~x8593+2 ~x8435+9 ~x7882+3 ~x7013+8 ~x6934+1 ~x6618+6 ~x6539-0=107 45.56/45.65 c 32 ~x272589+16 ~x272588+8 ~x272587+4 ~x272586+2 ~x272585+1 ~x272584+4 ~x9542+5 ~x9305+8 ~x8989+8 ~x8910+5 ~x8831+1 ~x8752+4 ~x8594+2 ~x8436+3 ~x7014+8 ~x6935+1 ~x6619+6 ~x6540-0=98 45.56/45.65 c 32 ~x273298+16 ~x273297+8 ~x273296+4 ~x273295+2 ~x273294+1 ~x273293+4 ~x9543+5 ~x9306+8 ~x8990+8 ~x8911+5 ~x8832+1 ~x8753+4 ~x8595+2 ~x8437+8 ~x6936+1 ~x6620+6 ~x6541-0=95 45.56/45.66 c 32 ~x273953+16 ~x273952+8 ~x273951+4 ~x273950+2 ~x273949+1 ~x273948+4 ~x9544+5 ~x9307+8 ~x8991+8 ~x8912+5 ~x8833+1 ~x8754+4 ~x8596+2 ~x8438+8 ~x6937+1 ~x6621+6 ~x6542-0=95 45.66/45.70 c 32 ~x274608+16 ~x274607+8 ~x274606+4 ~x274605+2 ~x274604+1 ~x274603+4 ~x9545+5 ~x9308+8 ~x8992+8 ~x8913+5 ~x8834+1 ~x8755+4 ~x8597+2 ~x8439+8 ~x6938+1 ~x6622+6 ~x6543-0=95 45.66/45.70 c 32 ~x275263+16 ~x275262+8 ~x275261+4 ~x275260+2 ~x275259+1 ~x275258+4 ~x9546+5 ~x9309+8 ~x8993+8 ~x8914+5 ~x8835+1 ~x8756+4 ~x8598+2 ~x8440+8 ~x6939+1 ~x6623+6 ~x6544-0=95 45.66/45.72 c 16 ~x275917+8 ~x275916+4 ~x275915+2 ~x275914+1 ~x275913+4 ~x9547+5 ~x9310+8 ~x8994+8 ~x8915+5 ~x8836+1 ~x8757+4 ~x8599+8 ~x6940+1 ~x6624+6 ~x6545-0=61 45.66/45.75 c 16 ~x276409+8 ~x276408+4 ~x276407+2 ~x276406+1 ~x276405+4 ~x9548+5 ~x9311+8 ~x8995+8 ~x8916+5 ~x8837+1 ~x8758+4 ~x8600+8 ~x6941+1 ~x6625+6 ~x6546-0=61 45.66/45.75 c 16 ~x276901+8 ~x276900+4 ~x276899+2 ~x276898+1 ~x276897+4 ~x9549+5 ~x9312+8 ~x8996+8 ~x8917+5 ~x8838+1 ~x8759+4 ~x8601+8 ~x6942+1 ~x6626+6 ~x6547-0=61 45.66/45.77 c 8 ~x277392+4 ~x277391+2 ~x277390+1 ~x277389+4 ~x9550+5 ~x9313+8 ~x8918+1 ~x8760+8 ~x6943+6 ~x6548-0=27 45.66/45.77 c 8 ~x277655+4 ~x277654+2 ~x277653+1 ~x277652+4 ~x95
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-2685421-1278441123/watcher-2685421-1278441123 -o /tmp/evaluation-result-2685421-1278441123/solver-2685421-1278441123 -C 1800 -W 2000 -M 1800 run HOME/instance-2685421-1278441123.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: 1.01 1.00 1.00 3/106 21594 /proc/meminfo: memFree=1455788/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [startup+0.0943179 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21594 /proc/meminfo: memFree=1455788/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101313 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21594 /proc/meminfo: memFree=1455788/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30134 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21594 /proc/meminfo: memFree=1455788/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701397 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21594 /proc/meminfo: memFree=1455788/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50151 s] /proc/loadavg: 1.01 1.00 1.00 2/108 21597 /proc/meminfo: memFree=1244652/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=308512 CPUtime=1.48 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 76553 0 4 0 62 86 0 0 25 0 1 0 12315611 315916288 76495 1992294400 134512640 134902295 4287591600 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 77128 76495 256 96 0 76318 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 317212 [startup+3.10174 s] /proc/loadavg: 1.01 1.00 1.00 2/108 21597 /proc/meminfo: memFree=1038812/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=586944 CPUtime=3.07 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 146197 0 4 0 143 164 0 0 25 0 1 0 12315611 601030656 146139 1992294400 134512640 134902295 4287591600 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 146800 146142 256 96 0 145990 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 595644 [startup+6.3012 s] /proc/loadavg: 1.01 1.00 1.00 2/108 21597 /proc/meminfo: memFree=521112/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1056640 CPUtime=6.27 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 263622 0 4 0 329 298 0 0 25 0 1 0 12315611 1081999360 263564 1992294400 134512640 134902295 4287591600 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 264160 263564 256 96 0 263350 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 1065340 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21597 /proc/meminfo: memFree=58716/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1405180 CPUtime=12.68 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 350736 0 4 0 880 388 0 0 25 0 1 0 12315611 1438904320 350678 1992294400 134512640 134902295 4287591600 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 351295 350678 261 96 0 350485 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1413880 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21598 /proc/meminfo: memFree=10108/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1532096 CPUtime=25.47 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 382369 0 4 0 2148 399 0 0 25 0 1 0 12315611 1568866304 382311 1992294400 134512640 134902295 4287591600 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 383024 382311 261 96 0 382214 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1540796 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21598 /proc/meminfo: memFree=9596/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1721240 CPUtime=51.07 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 436985 0 4 0 4684 423 0 0 25 0 1 0 12315611 1762549760 428394 1992294400 134512640 134902295 4287591600 18446744073709551615 4159843580 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 430310 428394 266 96 0 429500 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1729940 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21600 /proc/meminfo: memFree=10164/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1722448 CPUtime=102.26 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 437236 0 4 0 9803 423 0 0 25 0 1 0 12315611 1763786752 428645 1992294400 134512640 134902295 4287591600 18446744073709551615 4159812336 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 430612 428645 269 96 0 429802 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1731148 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21601 /proc/meminfo: memFree=9988/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1724224 CPUtime=162.23 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 437675 0 4 0 15800 423 0 0 25 0 1 0 12315611 1765605376 429084 1992294400 134512640 134902295 4287591600 18446744073709551615 1668604 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 431056 429084 269 96 0 430246 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1732924 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21603 /proc/meminfo: memFree=9256/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1726500 CPUtime=222.21 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 438250 0 4 0 21797 424 0 0 25 0 1 0 12315611 1767936000 429659 1992294400 134512640 134902295 4287591600 18446744073709551615 4159847359 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 431625 429659 269 96 0 430815 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1735200 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21605 /proc/meminfo: memFree=9960/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1728824 CPUtime=282.2 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 438826 0 4 0 27795 425 0 0 25 0 1 0 12315611 1770315776 430235 1992294400 134512640 134902295 4287591600 18446744073709551615 4159812292 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 432206 430235 269 96 0 431396 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1737524 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21606 /proc/meminfo: memFree=9784/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1730540 CPUtime=342.18 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 439274 0 4 0 33793 425 0 0 25 0 1 0 12315611 1772072960 430683 1992294400 134512640 134902295 4287591600 18446744073709551615 4159843181 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 432635 430683 269 96 0 431825 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 1739240 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21608 /proc/meminfo: memFree=10488/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1732916 CPUtime=402.16 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 439885 0 4 0 39791 425 0 0 25 0 1 0 12315611 1774505984 431294 1992294400 134512640 134902295 4287591600 18446744073709551615 4159843580 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21596/statm: 433229 431294 269 96 0 432419 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1741616 [startup+462.301 s] ################ # More data... # ################ /proc/21596/statm: 439879 437915 269 96 0 439069 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 1768216 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21629 /proc/meminfo: memFree=9744/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1761496 CPUtime=1181.77 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 447012 0 4 0 117740 437 0 0 25 0 1 0 12315611 1803771904 438421 1992294400 134512640 134902295 4287591600 18446744073709551615 4159845264 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 440374 438421 269 96 0 439564 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 1770196 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21630 /proc/meminfo: memFree=9320/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1763348 CPUtime=1241.73 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 447476 0 4 0 123734 439 0 0 25 0 1 0 12315611 1805668352 438885 1992294400 134512640 134902295 4287591600 18446744073709551615 4159845277 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 440837 438885 269 96 0 440027 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 1772048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21632 /proc/meminfo: memFree=10264/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1765996 CPUtime=1301.69 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 448043 0 4 0 129730 439 0 0 25 0 1 0 12315611 1808379904 439452 1992294400 134512640 134902295 4287591600 18446744073709551615 4159824401 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 441499 439452 269 96 0 440689 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 1774696 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21633 /proc/meminfo: memFree=9468/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1768248 CPUtime=1361.65 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 448630 0 4 0 135725 440 0 0 25 0 1 0 12315611 1810685952 440039 1992294400 134512640 134902295 4287591600 18446744073709551615 4159842643 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 442062 440039 269 96 0 441252 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 1776948 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21635 /proc/meminfo: memFree=10668/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1769968 CPUtime=1421.62 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 449071 0 4 0 141721 441 0 0 25 0 1 0 12315611 1812447232 440480 1992294400 134512640 134902295 4287591600 18446744073709551615 4159831300 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 442492 440480 269 96 0 441682 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 1778668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21637 /proc/meminfo: memFree=9996/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1772104 CPUtime=1481.58 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 449613 0 4 0 147716 442 0 0 25 0 1 0 12315611 1814634496 441022 1992294400 134512640 134902295 4287591600 18446744073709551615 4159843580 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 443026 441022 269 96 0 442216 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 1780804 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21638 /proc/meminfo: memFree=9760/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1773820 CPUtime=1541.55 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 450053 0 4 0 153712 443 0 0 25 0 1 0 12315611 1816391680 441462 1992294400 134512640 134902295 4287591600 18446744073709551615 4159842430 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 443455 441462 269 96 0 442645 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 1782520 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21640 /proc/meminfo: memFree=9336/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1775844 CPUtime=1601.5 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 450566 0 4 0 159707 443 0 0 25 0 1 0 12315611 1818464256 441975 1992294400 134512640 134902295 4287591600 18446744073709551615 4159842639 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 443961 441975 269 96 0 443151 0 Current children cumulated CPU time (s) 1601.5 Current children cumulated vsize (KiB) 1784544 [startup+1662.3 s] /proc/loadavg: 1.14 1.04 1.01 2/108 21641 /proc/meminfo: memFree=10164/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1777976 CPUtime=1661.46 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 451100 0 4 0 165702 444 0 0 25 0 1 0 12315611 1820647424 442509 1992294400 134512640 134902295 4287591600 18446744073709551615 4159845320 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 444494 442509 269 96 0 443684 0 Current children cumulated CPU time (s) 1661.46 Current children cumulated vsize (KiB) 1786676 [startup+1722.3 s] /proc/loadavg: 1.16 1.06 1.02 2/108 21643 /proc/meminfo: memFree=10228/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1779572 CPUtime=1721.43 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 451510 0 4 0 171698 445 0 0 25 0 1 0 12315611 1822281728 442919 1992294400 134512640 134902295 4287591600 18446744073709551615 4159831655 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 444893 442919 269 96 0 444083 0 Current children cumulated CPU time (s) 1721.43 Current children cumulated vsize (KiB) 1788272 [startup+1782.3 s] /proc/loadavg: 1.13 1.07 1.02 2/108 21654 /proc/meminfo: memFree=10388/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1781472 CPUtime=1781.38 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 451983 0 4 0 177692 446 0 0 25 0 1 0 12315611 1824227328 443392 1992294400 134512640 134902295 4287591600 18446744073709551615 4159835854 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 445368 443392 269 96 0 444558 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (KiB) 1790172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.09 1.06 1.01 2/108 21654 /proc/meminfo: memFree=9768/2059040 swapFree=4192956/4192956 [pid=21594] ppid=21592 vsize=8700 CPUtime=0 /proc/21594/stat : 21594 (run) S 21592 21594 21163 0 -1 4202496 391 134 0 0 0 0 0 0 19 0 1 0 12315610 8908800 251 1992294400 4194304 4922060 140737130812160 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21594/statm: 2175 251 211 178 0 68 0 [pid=21596] ppid=21594 vsize=1782132 CPUtime=1800.08 /proc/21596/stat : 21596 (PBPASSolver) R 21594 21594 21163 0 -1 4202496 452152 0 4 0 179562 446 0 0 25 0 1 0 12315611 1824903168 443561 1992294400 134512640 134902295 4287591600 18446744073709551615 4159824544 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/21596/statm: 445533 443561 269 96 0 444723 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1790832 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21594 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=999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1801.02 CPU time (s): 1800.08 CPU user time (s): 1795.62 CPU system time (s): 4.46 CPU usage (%): 99.948 Max. virtual memory (cumulated for all children) (KiB): 1790832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 525 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= 4 involuntary context switches= 3 runsolver used 3.44848 second user time and 9.13661 second system time The end
Begin job on node049 at 2010-07-06 20:32:03 IDJOB=2685421 IDBENCH=75765 IDSOLVER=1174 FILE ID=node049/2685421-1278441123 PBS_JOBID= 11233473 Free space on /tmp= 62484 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_10-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685421-1278441123/watcher-2685421-1278441123 -o /tmp/evaluation-result-2685421-1278441123/solver-2685421-1278441123 -C 1800 -W 2000 -M 1800 run HOME/instance-2685421-1278441123.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ce969cddb569a85677747111590221bd RANDOM SEED=1457371622 node049.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.266 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.53 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.266 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1456308 kB Buffers: 108628 kB Cached: 361004 kB SwapCached: 0 kB Active: 177148 kB Inactive: 352324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1456308 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1504 kB Writeback: 0 kB AnonPages: 59712 kB Mapped: 14424 kB Slab: 51148 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182016 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62480 MiB End job on node049 at 2010-07-06 21:02:06