| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBPASSolver 2010-06-13 | ? (TO) | 1800.02 | 1800.62 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pk1.opb |
| MD5SUM | 064c172c08e0726f78b89fe587697d96 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 54272 |
| Best CPU time to get the best result obtained on this benchmark | 1800.24 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 50176 |
| Optimality of the best value was proved | NO |
| Number of variables | 985 |
| Total number of constraints | 45 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 45 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 115 |
| Number of terms in the objective function | 30 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 1073741823 |
| Number of bits of the sum of numbers in the objective function | 30 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 2150078462 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
6.19/6.22 c 985 45 0 0 0 0 0 0 6.19/6.22 c 536870912 ~x287036+268435456 ~x287035+134217728 ~x287034+67108864 ~x287033+33554432 ~x287032+16777216 ~x287031+8388608 ~x287030+4194304 ~x287029+2097152 ~x287028+1048576 ~x287027+524288 ~x287026+262144 ~x287025+131072 ~x287024+65536 ~x287023+32768 ~x287022+16384 ~x287021+8192 ~x287020+4096 ~x287019+2048 ~x287018+1024 ~x287017+512 ~x287016+256 ~x287015+128 ~x287014+64 ~x287013+32 ~x287012+16 ~x287011+8 ~x287010+4 ~x287009+2 ~x287008+1 ~x287007+536870912 ~x112+268435456 ~x111+134217728 ~x110+67108864 ~x109+33554432 ~x108+16777216 ~x107+8388608 ~x106+4194304 ~x105+2097152 ~x104+1048576 ~x103+524288 ~x102+262144 ~x101+131072 ~x100+65536 ~x99+32768 ~x98+16384 ~x97+8192 ~x96+4096 ~x95+2048 ~x94+1024 ~x93+512 ~x92+256 ~x91+128 ~x90+64 ~x89+32 ~x88+16 ~x87+8 ~x86+4 ~x85+2 ~x84+1 ~x83+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 6.79/6.89 c 536870912 ~x318779+268435456 ~x318778+134217728 ~x318777+67108864 ~x318776+33554432 ~x318775+16777216 ~x318774+8388608 ~x318773+4194304 ~x318772+2097152 ~x318771+1048576 ~x318770+524288 ~x318769+262144 ~x318768+131072 ~x318767+65536 ~x318766+32768 ~x318765+16384 ~x318764+8192 ~x318763+4096 ~x318762+2048 ~x318761+1024 ~x318760+512 ~x318759+256 ~x318758+128 ~x318757+64 ~x318756+32 ~x318755+16 ~x318754+8 ~x318753+4 ~x318752+2 ~x318751+1 ~x318750+536870912 ~x142+268435456 ~x141+134217728 ~x140+67108864 ~x139+33554432 ~x138+16777216 ~x137+8388608 ~x136+4194304 ~x135+2097152 ~x134+1048576 ~x133+524288 ~x132+262144 ~x131+131072 ~x130+65536 ~x129+32768 ~x128+16384 ~x127+8192 ~x126+4096 ~x125+2048 ~x124+1024 ~x123+512 ~x122+256 ~x121+128 ~x120+64 ~x119+32 ~x118+16 ~x117+8 ~x116+4 ~x115+2 ~x114+1 ~x113+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 7.49/7.57 c 536870912 ~x350522+268435456 ~x350521+134217728 ~x350520+67108864 ~x350519+33554432 ~x350518+16777216 ~x350517+8388608 ~x350516+4194304 ~x350515+2097152 ~x350514+1048576 ~x350513+524288 ~x350512+262144 ~x350511+131072 ~x350510+65536 ~x350509+32768 ~x350508+16384 ~x350507+8192 ~x350506+4096 ~x350505+2048 ~x350504+1024 ~x350503+512 ~x350502+256 ~x350501+128 ~x350500+64 ~x350499+32 ~x350498+16 ~x350497+8 ~x350496+4 ~x350495+2 ~x350494+1 ~x350493+536870912 ~x172+268435456 ~x171+134217728 ~x170+67108864 ~x169+33554432 ~x168+16777216 ~x167+8388608 ~x166+4194304 ~x165+2097152 ~x164+1048576 ~x163+524288 ~x162+262144 ~x161+131072 ~x160+65536 ~x159+32768 ~x158+16384 ~x157+8192 ~x156+4096 ~x155+2048 ~x154+1024 ~x153+512 ~x152+256 ~x151+128 ~x150+64 ~x149+32 ~x148+16 ~x147+8 ~x146+4 ~x145+2 ~x144+1 ~x143+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 8.19/8.25 c 536870912 ~x382265+268435456 ~x382264+134217728 ~x382263+67108864 ~x382262+33554432 ~x382261+16777216 ~x382260+8388608 ~x382259+4194304 ~x382258+2097152 ~x382257+1048576 ~x382256+524288 ~x382255+262144 ~x382254+131072 ~x382253+65536 ~x382252+32768 ~x382251+16384 ~x382250+8192 ~x382249+4096 ~x382248+2048 ~x382247+1024 ~x382246+512 ~x382245+256 ~x382244+128 ~x382243+64 ~x382242+32 ~x382241+16 ~x382240+8 ~x382239+4 ~x382238+2 ~x382237+1 ~x382236+536870912 ~x203+268435456 ~x202+134217728 ~x201+67108864 ~x200+33554432 ~x199+16777216 ~x198+8388608 ~x197+4194304 ~x196+2097152 ~x195+1048576 ~x194+524288 ~x193+262144 ~x192+131072 ~x191+65536 ~x190+32768 ~x189+16384 ~x188+8192 ~x187+4096 ~x186+2048 ~x185+1024 ~x184+512 ~x183+256 ~x182+128 ~x181+64 ~x180+32 ~x179+16 ~x178+8 ~x177+4 ~x176+2 ~x175+1 ~x174+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 9.68/9.78 c 536870912 ~x454904+268435456 ~x454903+134217728 ~x454902+67108864 ~x454901+33554432 ~x454900+16777216 ~x454899+8388608 ~x454898+4194304 ~x454897+2097152 ~x454896+1048576 ~x454895+524288 ~x454894+262144 ~x454893+131072 ~x454892+65536 ~x454891+32768 ~x454890+16384 ~x454889+8192 ~x454888+4096 ~x454887+2048 ~x454886+1024 ~x454885+512 ~x454884+256 ~x454883+128 ~x454882+64 ~x454881+32 ~x454880+16 ~x454879+8 ~x454878+4 ~x454877+2 ~x454876+1 ~x454875+536870912 ~x233+268435456 ~x232+134217728 ~x231+67108864 ~x230+33554432 ~x229+16777216 ~x228+8388608 ~x227+4194304 ~x226+2097152 ~x225+1048576 ~x224+524288 ~x223+262144 ~x222+131072 ~x221+65536 ~x220+32768 ~x219+16384 ~x218+8192 ~x217+4096 ~x216+2048 ~x215+1024 ~x214+512 ~x213+256 ~x212+128 ~x211+64 ~x210+32 ~x209+16 ~x208+8 ~x207+4 ~x206+2 ~x205+1 ~x204+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 10.39/10.45 c 536870912 ~x486647+268435456 ~x486646+134217728 ~x486645+67108864 ~x486644+33554432 ~x486643+16777216 ~x486642+8388608 ~x486641+4194304 ~x486640+2097152 ~x486639+1048576 ~x486638+524288 ~x486637+262144 ~x486636+131072 ~x486635+65536 ~x486634+32768 ~x486633+16384 ~x486632+8192 ~x486631+4096 ~x486630+2048 ~x486629+1024 ~x486628+512 ~x486627+256 ~x486626+128 ~x486625+64 ~x486624+32 ~x486623+16 ~x486622+8 ~x486621+4 ~x486620+2 ~x486619+1 ~x486618+536870912 ~x263+268435456 ~x262+134217728 ~x261+67108864 ~x260+33554432 ~x259+16777216 ~x258+8388608 ~x257+4194304 ~x256+2097152 ~x255+1048576 ~x254+524288 ~x253+262144 ~x252+131072 ~x251+65536 ~x250+32768 ~x249+16384 ~x248+8192 ~x247+4096 ~x246+2048 ~x245+1024 ~x244+512 ~x243+256 ~x242+128 ~x241+64 ~x240+32 ~x239+16 ~x238+8 ~x237+4 ~x236+2 ~x235+1 ~x234+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 11.09/11.14 c 536870912 ~x518390+268435456 ~x518389+134217728 ~x518388+67108864 ~x518387+33554432 ~x518386+16777216 ~x518385+8388608 ~x518384+4194304 ~x518383+2097152 ~x518382+1048576 ~x518381+524288 ~x518380+262144 ~x518379+131072 ~x518378+65536 ~x518377+32768 ~x518376+16384 ~x518375+8192 ~x518374+4096 ~x518373+2048 ~x518372+1024 ~x518371+512 ~x518370+256 ~x518369+128 ~x518368+64 ~x518367+32 ~x518366+16 ~x518365+8 ~x518364+4 ~x518363+2 ~x518362+1 ~x518361+536870912 ~x293+268435456 ~x292+134217728 ~x291+67108864 ~x290+33554432 ~x289+16777216 ~x288+8388608 ~x287+4194304 ~x286+2097152 ~x285+1048576 ~x284+524288 ~x283+262144 ~x282+131072 ~x281+65536 ~x280+32768 ~x279+16384 ~x278+8192 ~x277+4096 ~x276+2048 ~x275+1024 ~x274+512 ~x273+256 ~x272+128 ~x271+64 ~x270+32 ~x269+16 ~x268+8 ~x267+4 ~x266+2 ~x265+1 ~x264+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 11.79/11.81 c 536870912 ~x550133+268435456 ~x550132+134217728 ~x550131+67108864 ~x550130+33554432 ~x550129+16777216 ~x550128+8388608 ~x550127+4194304 ~x550126+2097152 ~x550125+1048576 ~x550124+524288 ~x550123+262144 ~x550122+131072 ~x550121+65536 ~x550120+32768 ~x550119+16384 ~x550118+8192 ~x550117+4096 ~x550116+2048 ~x550115+1024 ~x550114+512 ~x550113+256 ~x550112+128 ~x550111+64 ~x550110+32 ~x550109+16 ~x550108+8 ~x550107+4 ~x550106+2 ~x550105+1 ~x550104+536870912 ~x323+268435456 ~x322+134217728 ~x321+67108864 ~x320+33554432 ~x319+16777216 ~x318+8388608 ~x317+4194304 ~x316+2097152 ~x315+1048576 ~x314+524288 ~x313+262144 ~x312+131072 ~x311+65536 ~x310+32768 ~x309+16384 ~x308+8192 ~x307+4096 ~x306+2048 ~x305+1024 ~x304+512 ~x303+256 ~x302+128 ~x301+64 ~x300+32 ~x299+16 ~x298+8 ~x297+4 ~x296+2 ~x295+1 ~x294+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 12.39/12.48 c 536870912 ~x581876+268435456 ~x581875+134217728 ~x581874+67108864 ~x581873+33554432 ~x581872+16777216 ~x581871+8388608 ~x581870+4194304 ~x581869+2097152 ~x581868+1048576 ~x581867+524288 ~x581866+262144 ~x581865+131072 ~x581864+65536 ~x581863+32768 ~x581862+16384 ~x581861+8192 ~x581860+4096 ~x581859+2048 ~x581858+1024 ~x581857+512 ~x581856+256 ~x581855+128 ~x581854+64 ~x581853+32 ~x581852+16 ~x581851+8 ~x581850+4 ~x581849+2 ~x581848+1 ~x581847+536870912 ~x353+268435456 ~x352+134217728 ~x351+67108864 ~x350+33554432 ~x349+16777216 ~x348+8388608 ~x347+4194304 ~x346+2097152 ~x345+1048576 ~x344+524288 ~x343+262144 ~x342+131072 ~x341+65536 ~x340+32768 ~x339+16384 ~x338+8192 ~x337+4096 ~x336+2048 ~x335+1024 ~x334+512 ~x333+256 ~x332+128 ~x331+64 ~x330+32 ~x329+16 ~x328+8 ~x327+4 ~x326+2 ~x325+1 ~x324+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 13.09/13.16 c 536870912 ~x613619+268435456 ~x613618+134217728 ~x613617+67108864 ~x613616+33554432 ~x613615+16777216 ~x613614+8388608 ~x613613+4194304 ~x613612+2097152 ~x613611+1048576 ~x613610+524288 ~x613609+262144 ~x613608+131072 ~x613607+65536 ~x613606+32768 ~x613605+16384 ~x613604+8192 ~x613603+4096 ~x613602+2048 ~x613601+1024 ~x613600+512 ~x613599+256 ~x613598+128 ~x613597+64 ~x613596+32 ~x613595+16 ~x613594+8 ~x613593+4 ~x613592+2 ~x613591+1 ~x613590+536870912 ~x383+268435456 ~x382+134217728 ~x381+67108864 ~x380+33554432 ~x379+16777216 ~x378+8388608 ~x377+4194304 ~x376+2097152 ~x375+1048576 ~x374+524288 ~x373+262144 ~x372+131072 ~x371+65536 ~x370+32768 ~x369+16384 ~x368+8192 ~x367+4096 ~x366+2048 ~x365+1024 ~x364+512 ~x363+256 ~x362+128 ~x361+64 ~x360+32 ~x359+16 ~x358+8 ~x357+4 ~x356+2 ~x355+1 ~x354+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 13.79/13.84 c 536870912 ~x645362+268435456 ~x645361+134217728 ~x645360+67108864 ~x645359+33554432 ~x645358+16777216 ~x645357+8388608 ~x645356+4194304 ~x645355+2097152 ~x645354+1048576 ~x645353+524288 ~x645352+262144 ~x645351+131072 ~x645350+65536 ~x645349+32768 ~x645348+16384 ~x645347+8192 ~x645346+4096 ~x645345+2048 ~x645344+1024 ~x645343+512 ~x645342+256 ~x645341+128 ~x645340+64 ~x645339+32 ~x645338+16 ~x645337+8 ~x645336+4 ~x645335+2 ~x645334+1 ~x645333+536870912 ~x413+268435456 ~x412+134217728 ~x411+67108864 ~x410+33554432 ~x409+16777216 ~x408+8388608 ~x407+4194304 ~x406+2097152 ~x405+1048576 ~x404+524288 ~x403+262144 ~x402+131072 ~x401+65536 ~x400+32768 ~x399+16384 ~x398+8192 ~x397+4096 ~x396+2048 ~x395+1024 ~x394+512 ~x393+256 ~x392+128 ~x391+64 ~x390+32 ~x389+16 ~x388+8 ~x387+4 ~x386+2 ~x385+1 ~x384+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 14.48/14.51 c 536870912 ~x677105+268435456 ~x677104+134217728 ~x677103+67108864 ~x677102+33554432 ~x677101+16777216 ~x677100+8388608 ~x677099+4194304 ~x677098+2097152 ~x677097+1048576 ~x677096+524288 ~x677095+262144 ~x677094+131072 ~x677093+65536 ~x677092+32768 ~x677091+16384 ~x677090+8192 ~x677089+4096 ~x677088+2048 ~x677087+1024 ~x677086+512 ~x677085+256 ~x677084+128 ~x677083+64 ~x677082+32 ~x677081+16 ~x677080+8 ~x677079+4 ~x677078+2 ~x677077+1 ~x677076+536870912 ~x443+268435456 ~x442+134217728 ~x441+67108864 ~x440+33554432 ~x439+16777216 ~x438+8388608 ~x437+4194304 ~x436+2097152 ~x435+1048576 ~x434+524288 ~x433+262144 ~x432+131072 ~x431+65536 ~x430+32768 ~x429+16384 ~x428+8192 ~x427+4096 ~x426+2048 ~x425+1024 ~x424+512 ~x423+256 ~x422+128 ~x421+64 ~x420+32 ~x419+16 ~x418+8 ~x417+4 ~x416+2 ~x415+1 ~x414+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 15.08/15.19 c 536870912 ~x708848+268435456 ~x708847+134217728 ~x708846+67108864 ~x708845+33554432 ~x708844+16777216 ~x708843+8388608 ~x708842+4194304 ~x708841+2097152 ~x708840+1048576 ~x708839+524288 ~x708838+262144 ~x708837+131072 ~x708836+65536 ~x708835+32768 ~x708834+16384 ~x708833+8192 ~x708832+4096 ~x708831+2048 ~x708830+1024 ~x708829+512 ~x708828+256 ~x708827+128 ~x708826+64 ~x708825+32 ~x708824+16 ~x708823+8 ~x708822+4 ~x708821+2 ~x708820+1 ~x708819+536870912 ~x473+268435456 ~x472+134217728 ~x471+67108864 ~x470+33554432 ~x469+16777216 ~x468+8388608 ~x467+4194304 ~x466+2097152 ~x465+1048576 ~x464+524288 ~x463+262144 ~x462+131072 ~x461+65536 ~x460+32768 ~x459+16384 ~x458+8192 ~x457+4096 ~x456+2048 ~x455+1024 ~x454+512 ~x453+256 ~x452+128 ~x451+64 ~x450+32 ~x449+16 ~x448+8 ~x447+4 ~x446+2 ~x445+1 ~x444+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 15.78/15.87 c 536870912 ~x740591+268435456 ~x740590+134217728 ~x740589+67108864 ~x740588+33554432 ~x740587+16777216 ~x740586+8388608 ~x740585+4194304 ~x740584+2097152 ~x740583+1048576 ~x740582+524288 ~x740581+262144 ~x740580+131072 ~x740579+65536 ~x740578+32768 ~x740577+16384 ~x740576+8192 ~x740575+4096 ~x740574+2048 ~x740573+1024 ~x740572+512 ~x740571+256 ~x740570+128 ~x740569+64 ~x740568+32 ~x740567+16 ~x740566+8 ~x740565+4 ~x740564+2 ~x740563+1 ~x740562+536870912 ~x504+268435456 ~x503+134217728 ~x502+67108864 ~x501+33554432 ~x500+16777216 ~x499+8388608 ~x498+4194304 ~x497+2097152 ~x496+1048576 ~x495+524288 ~x494+262144 ~x493+131072 ~x492+65536 ~x491+32768 ~x490+16384 ~x489+8192 ~x488+4096 ~x487+2048 ~x486+1024 ~x485+512 ~x484+256 ~x483+128 ~x482+64 ~x481+32 ~x480+16 ~x479+8 ~x478+4 ~x477+2 ~x476+1 ~x475+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 17.38/17.41 c 536870912 ~x813125+268435456 ~x813124+134217728 ~x813123+67108864 ~x813122+33554432 ~x813121+16777216 ~x813120+8388608 ~x813119+4194304 ~x813118+2097152 ~x813117+1048576 ~x813116+524288 ~x813115+262144 ~x813114+131072 ~x813113+65536 ~x813112+32768 ~x813111+16384 ~x813110+8192 ~x813109+4096 ~x813108+2048 ~x813107+1024 ~x813106+512 ~x813105+256 ~x813104+128 ~x813103+64 ~x813102+32 ~x813101+16 ~x813100+8 ~x813099+4 ~x813098+2 ~x813097+1 ~x813096+536870912 ~x534+268435456 ~x533+134217728 ~x532+67108864 ~x531+33554432 ~x530+16777216 ~x529+8388608 ~x528+4194304 ~x527+2097152 ~x526+1048576 ~x525+524288 ~x524+262144 ~x523+131072 ~x522+65536 ~x521+32768 ~x520+16384 ~x519+8192 ~x518+4096 ~x517+2048 ~x516+1024 ~x515+512 ~x514+256 ~x513+128 ~x512+64 ~x511+32 ~x510+16 ~x509+8 ~x508+4 ~x507+2 ~x506+1 ~x505+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 17.98/18.08 c 536870912 ~x844868+268435456 ~x844867+134217728 ~x844866+67108864 ~x844865+33554432 ~x844864+16777216 ~x844863+8388608 ~x844862+4194304 ~x844861+2097152 ~x844860+1048576 ~x844859+524288 ~x844858+262144 ~x844857+131072 ~x844856+65536 ~x844855+32768 ~x844854+16384 ~x844853+8192 ~x844852+4096 ~x844851+2048 ~x844850+1024 ~x844849+512 ~x844848+256 ~x844847+128 ~x844846+64 ~x844845+32 ~x844844+16 ~x844843+8 ~x844842+4 ~x844841+2 ~x844840+1 ~x844839+536870912 ~x564+268435456 ~x563+134217728 ~x562+67108864 ~x561+33554432 ~x560+16777216 ~x559+8388608 ~x558+4194304 ~x557+2097152 ~x556+1048576 ~x555+524288 ~x554+262144 ~x553+131072 ~x552+65536 ~x551+32768 ~x550+16384 ~x549+8192 ~x548+4096 ~x547+2048 ~x546+1024 ~x545+512 ~x544+256 ~x543+128 ~x542+64 ~x541+32 ~x540+16 ~x539+8 ~x538+4 ~x537+2 ~x536+1 ~x535+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 18.69/18.75 c 536870912 ~x876611+268435456 ~x876610+134217728 ~x876609+67108864 ~x876608+33554432 ~x876607+16777216 ~x876606+8388608 ~x876605+4194304 ~x876604+2097152 ~x876603+1048576 ~x876602+524288 ~x876601+262144 ~x876600+131072 ~x876599+65536 ~x876598+32768 ~x876597+16384 ~x876596+8192 ~x876595+4096 ~x876594+2048 ~x876593+1024 ~x876592+512 ~x876591+256 ~x876590+128 ~x876589+64 ~x876588+32 ~x876587+16 ~x876586+8 ~x876585+4 ~x876584+2 ~x876583+1 ~x876582+536870912 ~x594+268435456 ~x593+134217728 ~x592+67108864 ~x591+33554432 ~x590+16777216 ~x589+8388608 ~x588+4194304 ~x587+2097152 ~x586+1048576 ~x585+524288 ~x584+262144 ~x583+131072 ~x582+65536 ~x581+32768 ~x580+16384 ~x579+8192 ~x578+4096 ~x577+2048 ~x576+1024 ~x575+512 ~x574+256 ~x573+128 ~x572+64 ~x571+32 ~x570+16 ~x569+8 ~x568+4 ~x567+2 ~x566+1 ~x565+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 19.38/19.43 c 536870912 ~x908354+268435456 ~x908353+134217728 ~x908352+67108864 ~x908351+33554432 ~x908350+16777216 ~x908349+8388608 ~x908348+4194304 ~x908347+2097152 ~x908346+1048576 ~x908345+524288 ~x908344+262144 ~x908343+131072 ~x908342+65536 ~x908341+32768 ~x908340+16384 ~x908339+8192 ~x908338+4096 ~x908337+2048 ~x908336+1024 ~x908335+512 ~x908334+256 ~x908333+128 ~x908332+64 ~x908331+32 ~x908330+16 ~x908329+8 ~x908328+4 ~x908327+2 ~x908326+1 ~x908325+536870912 ~x624+268435456 ~x623+134217728 ~x622+67108864 ~x621+33554432 ~x620+16777216 ~x619+8388608 ~x618+4194304 ~x617+2097152 ~x616+1048576 ~x615+524288 ~x614+262144 ~x613+131072 ~x612+65536 ~x611+32768 ~x610+16384 ~x609+8192 ~x608+4096 ~x607+2048 ~x606+1024 ~x605+512 ~x604+256 ~x603+128 ~x602+64 ~x601+32 ~x600+16 ~x599+8 ~x598+4 ~x597+2 ~x596+1 ~x595+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 20.08/20.10 c 536870912 ~x940097+268435456 ~x940096+134217728 ~x940095+67108864 ~x940094+33554432 ~x940093+16777216 ~x940092+8388608 ~x940091+4194304 ~x940090+2097152 ~x940089+1048576 ~x940088+524288 ~x940087+262144 ~x940086+131072 ~x940085+65536 ~x940084+32768 ~x940083+16384 ~x940082+8192 ~x940081+4096 ~x940080+2048 ~x940079+1024 ~x940078+512 ~x940077+256 ~x940076+128 ~x940075+64 ~x940074+32 ~x940073+16 ~x940072+8 ~x940071+4 ~x940070+2 ~x940069+1 ~x940068+536870912 ~x654+268435456 ~x653+134217728 ~x652+67108864 ~x651+33554432 ~x650+16777216 ~x649+8388608 ~x648+4194304 ~x647+2097152 ~x646+1048576 ~x645+524288 ~x644+262144 ~x643+131072 ~x642+65536 ~x641+32768 ~x640+16384 ~x639+8192 ~x638+4096 ~x637+2048 ~x636+1024 ~x635+512 ~x634+256 ~x633+128 ~x632+64 ~x631+32 ~x630+16 ~x629+8 ~x628+4 ~x627+2 ~x626+1 ~x625+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 20.68/20.78 c 536870912 ~x971840+268435456 ~x971839+134217728 ~x971838+67108864 ~x971837+33554432 ~x971836+16777216 ~x971835+8388608 ~x971834+4194304 ~x971833+2097152 ~x971832+1048576 ~x971831+524288 ~x971830+262144 ~x971829+131072 ~x971828+65536 ~x971827+32768 ~x971826+16384 ~x971825+8192 ~x971824+4096 ~x971823+2048 ~x971822+1024 ~x971821+512 ~x971820+256 ~x971819+128 ~x971818+64 ~x971817+32 ~x971816+16 ~x971815+8 ~x971814+4 ~x971813+2 ~x971812+1 ~x971811+536870912 ~x684+268435456 ~x683+134217728 ~x682+67108864 ~x681+33554432 ~x680+16777216 ~x679+8388608 ~x678+4194304 ~x677+2097152 ~x676+1048576 ~x675+524288 ~x674+262144 ~x673+131072 ~x672+65536 ~x671+32768 ~x670+16384 ~x669+8192 ~x668+4096 ~x667+2048 ~x666+1024 ~x665+512 ~x664+256 ~x663+128 ~x662+64 ~x661+32 ~x660+16 ~x659+8 ~x658+4 ~x657+2 ~x656+1 ~x655+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 21.38/21.46 c 536870912 ~x1003583+268435456 ~x1003582+134217728 ~x1003581+67108864 ~x1003580+33554432 ~x1003579+16777216 ~x1003578+8388608 ~x1003577+4194304 ~x1003576+2097152 ~x1003575+1048576 ~x1003574+524288 ~x1003573+262144 ~x1003572+131072 ~x1003571+65536 ~x1003570+32768 ~x1003569+16384 ~x1003568+8192 ~x1003567+4096 ~x1003566+2048 ~x1003565+1024 ~x1003564+512 ~x1003563+256 ~x1003562+128 ~x1003561+64 ~x1003560+32 ~x1003559+16 ~x1003558+8 ~x1003557+4 ~x1003556+2 ~x1003555+1 ~x1003554+536870912 ~x714+268435456 ~x713+134217728 ~x712+67108864 ~x711+33554432 ~x710+16777216 ~x709+8388608 ~x708+4194304 ~x707+2097152 ~x706+1048576 ~x705+524288 ~x704+262144 ~x703+131072 ~x702+65536 ~x701+32768 ~x700+16384 ~x699+8192 ~x698+4096 ~x697+2048 ~x696+1024 ~x695+512 ~x694+256 ~x693+128 ~x692+64 ~x691+32 ~x690+16 ~x689+8 ~x688+4 ~x687+2 ~x686+1 ~x685+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 22.08/22.13 c 536870912 ~x1035326+268435456 ~x1035325+134217728 ~x1035324+67108864 ~x1035323+33554432 ~x1035322+16777216 ~x1035321+8388608 ~x1035320+4194304 ~x1035319+2097152 ~x1035318+1048576 ~x1035317+524288 ~x1035316+262144 ~x1035315+131072 ~x1035314+65536 ~x1035313+32768 ~x1035312+16384 ~x1035311+8192 ~x1035310+4096 ~x1035309+2048 ~x1035308+1024 ~x1035307+512 ~x1035306+256 ~x1035305+128 ~x1035304+64 ~x1035303+32 ~x1035302+16 ~x1035301+8 ~x1035300+4 ~x1035299+2 ~x1035298+1 ~x1035297+536870912 ~x744+268435456 ~x743+134217728 ~x742+67108864 ~x741+33554432 ~x740+16777216 ~x739+8388608 ~x738+4194304 ~x737+2097152 ~x736+1048576 ~x735+524288 ~x734+262144 ~x733+131072 ~x732+65536 ~x731+32768 ~x730+16384 ~x729+8192 ~x728+4096 ~x727+2048 ~x726+1024 ~x725+512 ~x724+256 ~x723+128 ~x722+64 ~x721+32 ~x720+16 ~x719+8 ~x718+4 ~x717+2 ~x716+1 ~x715+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 22.78/22.81 c 536870912 ~x1067069+268435456 ~x1067068+134217728 ~x1067067+67108864 ~x1067066+33554432 ~x1067065+16777216 ~x1067064+8388608 ~x1067063+4194304 ~x1067062+2097152 ~x1067061+1048576 ~x1067060+524288 ~x1067059+262144 ~x1067058+131072 ~x1067057+65536 ~x1067056+32768 ~x1067055+16384 ~x1067054+8192 ~x1067053+4096 ~x1067052+2048 ~x1067051+1024 ~x1067050+512 ~x1067049+256 ~x1067048+128 ~x1067047+64 ~x1067046+32 ~x1067045+16 ~x1067044+8 ~x1067043+4 ~x1067042+2 ~x1067041+1 ~x1067040+536870912 ~x774+268435456 ~x773+134217728 ~x772+67108864 ~x771+33554432 ~x770+16777216 ~x769+8388608 ~x768+4194304 ~x767+2097152 ~x766+1048576 ~x765+524288 ~x764+262144 ~x763+131072 ~x762+65536 ~x761+32768 ~x760+16384 ~x759+8192 ~x758+4096 ~x757+2048 ~x756+1024 ~x755+512 ~x754+256 ~x753+128 ~x752+64 ~x751+32 ~x750+16 ~x749+8 ~x748+4 ~x747+2 ~x746+1 ~x745+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 23.38/23.48 c 536870912 ~x1098812+268435456 ~x1098811+134217728 ~x1098810+67108864 ~x1098809+33554432 ~x1098808+16777216 ~x1098807+8388608 ~x1098806+4194304 ~x1098805+2097152 ~x1098804+1048576 ~x1098803+524288 ~x1098802+262144 ~x1098801+131072 ~x1098800+65536 ~x1098799+32768 ~x1098798+16384 ~x1098797+8192 ~x1098796+4096 ~x1098795+2048 ~x1098794+1024 ~x1098793+512 ~x1098792+256 ~x1098791+128 ~x1098790+64 ~x1098789+32 ~x1098788+16 ~x1098787+8 ~x1098786+4 ~x1098785+2 ~x1098784+1 ~x1098783+536870912 ~x805+268435456 ~x804+134217728 ~x803+67108864 ~x802+33554432 ~x801+16777216 ~x800+8388608 ~x799+4194304 ~x798+2097152 ~x797+1048576 ~x796+524288 ~x795+262144 ~x794+131072 ~x793+65536 ~x792+32768 ~x791+16384 ~x790+8192 ~x789+4096 ~x788+2048 ~x787+1024 ~x786+512 ~x785+256 ~x784+128 ~x783+64 ~x782+32 ~x781+16 ~x780+8 ~x779+4 ~x778+2 ~x777+1 ~x776+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 24.98/25.01 c 536870912 ~x1171403+268435456 ~x1171402+134217728 ~x1171401+67108864 ~x1171400+33554432 ~x1171399+16777216 ~x1171398+8388608 ~x1171397+4194304 ~x1171396+2097152 ~x1171395+1048576 ~x1171394+524288 ~x1171393+262144 ~x1171392+131072 ~x1171391+65536 ~x1171390+32768 ~x1171389+16384 ~x1171388+8192 ~x1171387+4096 ~x1171386+2048 ~x1171385+1024 ~x1171384+512 ~x1171383+256 ~x1171382+128 ~x1171381+64 ~x1171380+32 ~x1171379+16 ~x1171378+8 ~x1171377+4 ~x1171376+2 ~x1171375+1 ~x1171374+536870912 ~x835+268435456 ~x834+134217728 ~x833+67108864 ~x832+33554432 ~x831+16777216 ~x830+8388608 ~x829+4194304 ~x828+2097152 ~x827+1048576 ~x826+524288 ~x825+262144 ~x824+131072 ~x823+65536 ~x822+32768 ~x821+16384 ~x820+8192 ~x819+4096 ~x818+2048 ~x817+1024 ~x816+512 ~x815+256 ~x814+128 ~x813+64 ~x812+32 ~x811+16 ~x810+8 ~x809+4 ~x808+2 ~x807+1 ~x806+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 25.58/25.68 c 536870912 ~x1203146+268435456 ~x1203145+134217728 ~x1203144+67108864 ~x1203143+33554432 ~x1203142+16777216 ~x1203141+8388608 ~x1203140+4194304 ~x1203139+2097152 ~x1203138+1048576 ~x1203137+524288 ~x1203136+262144 ~x1203135+131072 ~x1203134+65536 ~x1203133+32768 ~x1203132+16384 ~x1203131+8192 ~x1203130+4096 ~x1203129+2048 ~x1203128+1024 ~x1203127+512 ~x1203126+256 ~x1203125+128 ~x1203124+64 ~x1203123+32 ~x1203122+16 ~x1203121+8 ~x1203120+4 ~x1203119+2 ~x1203118+1 ~x1203117+536870912 ~x865+268435456 ~x864+134217728 ~x863+67108864 ~x862+33554432 ~x861+16777216 ~x860+8388608 ~x859+4194304 ~x858+2097152 ~x857+1048576 ~x856+524288 ~x855+262144 ~x854+131072 ~x853+65536 ~x852+32768 ~x851+16384 ~x850+8192 ~x849+4096 ~x848+2048 ~x847+1024 ~x846+512 ~x845+256 ~x844+128 ~x843+64 ~x842+32 ~x841+16 ~x840+8 ~x839+4 ~x838+2 ~x837+1 ~x836+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 26.28/26.36 c 536870912 ~x1234889+268435456 ~x1234888+134217728 ~x1234887+67108864 ~x1234886+33554432 ~x1234885+16777216 ~x1234884+8388608 ~x1234883+4194304 ~x1234882+2097152 ~x1234881+1048576 ~x1234880+524288 ~x1234879+262144 ~x1234878+131072 ~x1234877+65536 ~x1234876+32768 ~x1234875+16384 ~x1234874+8192 ~x1234873+4096 ~x1234872+2048 ~x1234871+1024 ~x1234870+512 ~x1234869+256 ~x1234868+128 ~x1234867+64 ~x1234866+32 ~x1234865+16 ~x1234864+8 ~x1234863+4 ~x1234862+2 ~x1234861+1 ~x1234860+536870912 ~x895+268435456 ~x894+134217728 ~x893+67108864 ~x892+33554432 ~x891+16777216 ~x890+8388608 ~x889+4194304 ~x888+2097152 ~x887+1048576 ~x886+524288 ~x885+262144 ~x884+131072 ~x883+65536 ~x882+32768 ~x881+16384 ~x880+8192 ~x879+4096 ~x878+2048 ~x877+1024 ~x876+512 ~x875+256 ~x874+128 ~x873+64 ~x872+32 ~x871+16 ~x870+8 ~x869+4 ~x868+2 ~x867+1 ~x866+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 26.98/27.05 c 536870912 ~x1266632+268435456 ~x1266631+134217728 ~x1266630+67108864 ~x1266629+33554432 ~x1266628+16777216 ~x1266627+8388608 ~x1266626+4194304 ~x1266625+2097152 ~x1266624+1048576 ~x1266623+524288 ~x1266622+262144 ~x1266621+131072 ~x1266620+65536 ~x1266619+32768 ~x1266618+16384 ~x1266617+8192 ~x1266616+4096 ~x1266615+2048 ~x1266614+1024 ~x1266613+512 ~x1266612+256 ~x1266611+128 ~x1266610+64 ~x1266609+32 ~x1266608+16 ~x1266607+8 ~x1266606+4 ~x1266605+2 ~x1266604+1 ~x1266603+536870912 ~x925+268435456 ~x924+134217728 ~x923+67108864 ~x922+33554432 ~x921+16777216 ~x920+8388608 ~x919+4194304 ~x918+2097152 ~x917+1048576 ~x916+524288 ~x915+262144 ~x914+131072 ~x913+65536 ~x912+32768 ~x911+16384 ~x910+8192 ~x909+4096 ~x908+2048 ~x907+1024 ~x906+512 ~x905+256 ~x904+128 ~x903+64 ~x902+32 ~x901+16 ~x900+8 ~x899+4 ~x898+2 ~x897+1 ~x896+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 27.68/27.72 c 536870912 ~x1298375+268435456 ~x1298374+134217728 ~x1298373+67108864 ~x1298372+33554432 ~x1298371+16777216 ~x1298370+8388608 ~x1298369+4194304 ~x1298368+2097152 ~x1298367+1048576 ~x1298366+524288 ~x1298365+262144 ~x1298364+131072 ~x1298363+65536 ~x1298362+32768 ~x1298361+16384 ~x1298360+8192 ~x1298359+4096 ~x1298358+2048 ~x1298357+1024 ~x1298356+512 ~x1298355+256 ~x1298354+128 ~x1298353+64 ~x1298352+32 ~x1298351+16 ~x1298350+8 ~x1298349+4 ~x1298348+2 ~x1298347+1 ~x1298346+536870912 ~x955+268435456 ~x954+134217728 ~x953+67108864 ~x952+33554432 ~x951+16777216 ~x950+8388608 ~x949+4194304 ~x948+2097152 ~x947+1048576 ~x946+524288 ~x945+262144 ~x944+131072 ~x943+65536 ~x942+32768 ~x941+16384 ~x940+8192 ~x939+4096 ~x938+2048 ~x937+1024 ~x936+512 ~x935+256 ~x934+128 ~x933+64 ~x932+32 ~x931+16 ~x930+8 ~x929+4 ~x928+2 ~x927+1 ~x926+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=2147483646 28.28/28.39 c 536870912 ~x1330118+268435456 ~x1330117+134217728 ~x1330116+67108864 ~x1330115+33554432 ~x1330114+16777216 ~x1330113+8388608 ~x1330112+4194304 ~x1330111+2097152 ~x1330110+1048576 ~x1330109+524288 ~x1330108+262144 ~x1330107+131072 ~x1330106+65536 ~x1330105+32768 ~x1330104+16384 ~x1330103+8192 ~x1330102+4096 ~x1330101+2048 ~x1330100+1024 ~x1330099+512 ~x1330098+256 ~x1330097+128 ~x1330096+64 ~x1330095+32 ~x1330094+16 ~x1330093+8 ~x1330092+4 ~x1330091+2 ~x1330090+1 ~x1330089+536870912 ~x985+268435456 ~x984+134217728 ~x983+67108864 ~x982+33554432 ~x981+16777216 ~x980+8388608 ~x979+4194304 ~x978+2097152 ~x977+1048576 ~x976+524288 ~x975+262144 ~x974+131072 ~x973+65536 ~x972+32768 ~x971+16384 ~x970+8192 ~x969+4096 ~x968+2048 ~x967+1024 ~x966+512 ~x965+256 ~x964+128 ~x963+64 ~x962+32 ~x961+16 ~x960+8 ~x959+4 ~x958+2 ~x957+1 ~x956+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+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=214
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-2674170-1276800373/watcher-2674170-1276800373 -o /tmp/evaluation-result-2674170-1276800373/solver-2674170-1276800373 -C 1800 -W 2000 -M 1800 run HOME/instance-2674170-1276800373.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.26 1.21 1.06 3/105 24367 /proc/meminfo: memFree=1963444/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [startup+0.090547 s] /proc/loadavg: 1.26 1.21 1.06 3/105 24367 /proc/meminfo: memFree=1963444/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101539 s] /proc/loadavg: 1.26 1.21 1.06 3/105 24367 /proc/meminfo: memFree=1963444/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301561 s] /proc/loadavg: 1.26 1.21 1.06 3/105 24367 /proc/meminfo: memFree=1963444/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701607 s] /proc/loadavg: 1.26 1.21 1.06 3/105 24367 /proc/meminfo: memFree=1963444/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5017 s] /proc/loadavg: 1.24 1.20 1.06 2/107 24370 /proc/meminfo: memFree=1910480/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=66640 CPUtime=1.49 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 16022 0 0 0 133 16 0 0 25 0 1 0 21330825 68239360 15671 1992294400 134512640 134902295 4294925600 18446744073709551615 134789757 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/24369/statm: 16660 15671 262 96 0 15872 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75340 [startup+3.10188 s] /proc/loadavg: 1.24 1.20 1.06 2/107 24370 /proc/meminfo: memFree=1890144/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=97496 CPUtime=3.09 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 24605 0 0 0 290 19 0 0 25 0 1 0 21330825 99835904 23006 1992294400 134512640 134902295 4294925600 18446744073709551615 134630994 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/24369/statm: 24374 23006 262 96 0 23586 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106196 [startup+6.30124 s] /proc/loadavg: 1.24 1.20 1.06 2/107 24370 /proc/meminfo: memFree=1830624/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=154684 CPUtime=6.29 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 41271 0 0 0 603 26 0 0 25 0 1 0 21330825 158396416 37234 1992294400 134512640 134902295 4294925600 18446744073709551615 1967612 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/24369/statm: 38671 37234 262 96 0 37883 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 163384 [startup+12.702 s] /proc/loadavg: 1.20 1.20 1.06 2/107 24370 /proc/meminfo: memFree=1703400/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=284948 CPUtime=12.68 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 73782 0 0 0 1230 38 0 0 25 0 1 0 21330825 291786752 67978 1992294400 134512640 134902295 4294925600 18446744073709551615 1967612 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/24369/statm: 71237 67978 262 96 0 70449 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 293648 [startup+25.5014 s] /proc/loadavg: 1.17 1.19 1.06 2/107 24370 /proc/meminfo: memFree=1461972/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=540036 CPUtime=25.48 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 138850 0 0 0 2479 69 0 0 25 0 1 0 21330825 552996864 126520 1992294400 134512640 134902295 4294925600 18446744073709551615 4160591689 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/24369/statm: 135009 126520 262 96 0 134221 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 548736 [startup+51.1013 s] /proc/loadavg: 1.11 1.17 1.06 2/107 24372 /proc/meminfo: memFree=1283352/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=694148 CPUtime=51.06 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 183080 0 2 0 5020 86 0 0 25 0 1 0 21330825 710807552 169746 1992294400 134512640 134902295 4294925600 18446744073709551615 4160584026 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 173537 169746 269 96 0 172749 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 702848 [startup+102.308 s] /proc/loadavg: 1.04 1.14 1.05 2/107 24374 /proc/meminfo: memFree=1278392/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=698908 CPUtime=102.25 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 184243 0 2 0 10138 87 0 0 25 0 1 0 21330825 715681792 170909 1992294400 134512640 134902295 4294925600 18446744073709551615 4160567496 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 174727 170909 269 96 0 173939 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 707608 [startup+162.301 s] /proc/loadavg: 1.01 1.11 1.05 2/107 24374 /proc/meminfo: memFree=1277276/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=699832 CPUtime=162.22 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 184482 0 2 0 16135 87 0 0 25 0 1 0 21330825 716627968 171148 1992294400 134512640 134902295 4294925600 18446744073709551615 4160553607 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 174958 171148 269 96 0 174170 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 708532 [startup+222.302 s] /proc/loadavg: 1.00 1.09 1.04 2/107 24376 /proc/meminfo: memFree=1271572/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=705416 CPUtime=222.21 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 185906 0 2 0 22132 89 0 0 25 0 1 0 21330825 722345984 172572 1992294400 134512640 134902295 4294925600 18446744073709551615 4160586699 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 176354 172572 269 96 0 175566 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 714116 [startup+282.301 s] /proc/loadavg: 1.00 1.07 1.04 2/107 24378 /proc/meminfo: memFree=1270704/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=706372 CPUtime=282.18 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 186113 0 2 0 28129 89 0 0 25 0 1 0 21330825 723324928 172779 1992294400 134512640 134902295 4294925600 18446744073709551615 4160584957 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 176593 172779 269 96 0 175805 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 715072 [startup+342.301 s] /proc/loadavg: 1.00 1.06 1.03 2/107 24380 /proc/meminfo: memFree=1269588/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=707440 CPUtime=342.17 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 186385 0 2 0 34127 90 0 0 25 0 1 0 21330825 724418560 173051 1992294400 134512640 134902295 4294925600 18446744073709551615 4160583806 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 176860 173051 269 96 0 176072 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 716140 [startup+402.301 s] /proc/loadavg: 1.00 1.04 1.02 2/107 24382 /proc/meminfo: memFree=1268100/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=708920 CPUtime=402.14 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 186758 0 2 0 40124 90 0 0 25 0 1 0 21330825 725934080 173424 1992294400 134512640 134902295 4294925600 18446744073709551615 4160584162 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 177230 173424 269 96 0 176442 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 717620 [startup+462.301 s] ################ # More data... # ################ /proc/24369/statm: 183663 179770 269 96 0 182875 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 743352 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24411 /proc/meminfo: memFree=1237856/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=735876 CPUtime=1181.89 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 193419 0 2 0 118088 101 0 0 25 0 1 0 21330825 753537024 180085 1992294400 134512640 134902295 4294925600 18446744073709551615 4160572249 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 183969 180085 269 96 0 183181 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 744576 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24413 /proc/meminfo: memFree=1234384/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=739648 CPUtime=1241.88 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 194315 0 2 0 124086 102 0 0 25 0 1 0 21330825 757399552 180981 1992294400 134512640 134902295 4294925600 18446744073709551615 4160572604 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 184912 180981 269 96 0 184124 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 748348 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24415 /proc/meminfo: memFree=1222976/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=750772 CPUtime=1301.86 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 197103 0 2 0 130082 104 0 0 25 0 1 0 21330825 768790528 183769 1992294400 134512640 134902295 4294925600 18446744073709551615 4160584172 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 187693 183769 269 96 0 186905 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 759472 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24415 /proc/meminfo: memFree=1212312/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=761560 CPUtime=1361.84 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 199811 0 2 0 136076 108 0 0 25 0 1 0 21330825 779837440 186477 1992294400 134512640 134902295 4294925600 18446744073709551615 4160583806 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 190390 186477 269 96 0 189602 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 770260 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24417 /proc/meminfo: memFree=1204872/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=769000 CPUtime=1421.82 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 201638 0 2 0 142072 110 0 0 25 0 1 0 21330825 787456000 188304 1992294400 134512640 134902295 4294925600 18446744073709551615 4160553624 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 192250 188304 269 96 0 191462 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 777700 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24419 /proc/meminfo: memFree=1199540/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=774428 CPUtime=1481.8 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 202978 0 2 0 148068 112 0 0 25 0 1 0 21330825 793014272 189644 1992294400 134512640 134902295 4294925600 18446744073709551615 4160586923 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 193607 189644 269 96 0 192819 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 783128 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24421 /proc/meminfo: memFree=1194828/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=778964 CPUtime=1541.78 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 204140 0 2 0 154065 113 0 0 25 0 1 0 21330825 797659136 190806 1992294400 134512640 134902295 4294925600 18446744073709551615 4160586653 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 194741 190806 269 96 0 193953 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 787664 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24421 /proc/meminfo: memFree=1190364/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=783344 CPUtime=1601.76 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 205239 0 2 0 160061 115 0 0 25 0 1 0 21330825 802144256 191905 1992294400 134512640 134902295 4294925600 18446744073709551615 4160591578 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 195836 191905 269 96 0 195048 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 792044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24423 /proc/meminfo: memFree=1186520/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=787188 CPUtime=1661.75 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 206207 0 2 0 166058 117 0 0 25 0 1 0 21330825 806080512 192873 1992294400 134512640 134902295 4294925600 18446744073709551615 4160553698 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 196797 192873 269 96 0 196009 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 795888 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24425 /proc/meminfo: memFree=1184784/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=788796 CPUtime=1721.72 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 206619 0 2 0 172055 117 0 0 25 0 1 0 21330825 807727104 193285 1992294400 134512640 134902295 4294925600 18446744073709551615 4160586746 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 197199 193285 269 96 0 196411 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 797496 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24427 /proc/meminfo: memFree=1183668/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=789720 CPUtime=1781.71 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 206852 0 2 0 178053 118 0 0 25 0 1 0 21330825 808673280 193518 1992294400 134512640 134902295 4294925600 18446744073709551615 4160553727 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 197430 193518 269 96 0 196642 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 798420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24427 /proc/meminfo: memFree=1183544/2059040 swapFree=4138720/4192956 [pid=24367] ppid=24365 vsize=8700 CPUtime=0 /proc/24367/stat : 24367 (run) S 24365 24367 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21330825 8908800 251 1992294400 4194304 4922060 140734587122768 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24367/statm: 2175 251 211 178 0 68 0 [pid=24369] ppid=24367 vsize=789984 CPUtime=1800.02 /proc/24369/stat : 24369 (PBPASSolver) R 24367 24367 23411 0 -1 4202496 206906 0 2 0 179884 118 0 0 25 0 1 0 21330825 808943616 193572 1992294400 134512640 134902295 4294925600 18446744073709551615 4160572628 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/24369/statm: 197496 193572 269 96 0 196708 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 798684 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 24367 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1798.84 CPU system time (s): 1.18 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 798684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 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= 4 runsolver used 2.91056 second user time and 8.5767 second system time The end
Begin job on node088 at 2010-06-17 20:46:13 IDJOB=2674170 IDBENCH=2502 IDSOLVER=1174 FILE ID=node088/2674170-1276800373 PBS_JOBID= 11176666 Free space on /tmp= 62560 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674170-1276800373/watcher-2674170-1276800373 -o /tmp/evaluation-result-2674170-1276800373/solver-2674170-1276800373 -C 1800 -W 2000 -M 1800 run HOME/instance-2674170-1276800373.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 064c172c08e0726f78b89fe587697d96 RANDOM SEED=1126202775 node088.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.217 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.43 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.217 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1963964 kB Buffers: 884 kB Cached: 14028 kB SwapCached: 4348 kB Active: 8644 kB Inactive: 16460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1963964 kB SwapTotal: 4192956 kB SwapFree: 4138720 kB Dirty: 656 kB Writeback: 0 kB AnonPages: 10068 kB Mapped: 7956 kB Slab: 48352 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180656 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= 62560 MiB End job on node088 at 2010-06-17 21:16:15