| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBPASSolver 2010-06-13 | ? (TO) | 1800.09 | 1800.62 |
| Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__8.opb |
| MD5SUM | e081014eca08bc4b36a0f98065960ec7 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 45008 |
| Best CPU time to get the best result obtained on this benchmark | 1.63975 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 848 |
| Total number of constraints | 150 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 102 |
| Number of constraints which are nor clauses,nor cardinality constraints | 48 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 73 |
| Number of terms in the objective function | 800 |
| Biggest coefficient in the objective function | 126454 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 26852280 |
| Number of bits of the sum of numbers in the objective function | 25 |
| Biggest number in a constraint | 126454 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 26852280 |
| Number of bits of the biggest sum of numbers | 25 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.39/1.48 c 848 150 0 0 0 0 0 0 1.39/1.48 c 4 ~x57396+2 ~x57395+1 ~x57394+1 ~x9+1 ~x8+1 ~x7+1 ~x6+1 ~x5+1 ~x4+1 ~x3+1 ~x2-0=14 1.39/1.48 c 4 ~x57633+2 ~x57632+1 ~x57631+1 ~x17+1 ~x16+1 ~x15+1 ~x14+1 ~x13+1 ~x12+1 ~x11+1 ~x10-0=14 1.39/1.48 c 4 ~x57870+2 ~x57869+1 ~x57868+1 ~x25+1 ~x24+1 ~x23+1 ~x22+1 ~x21+1 ~x20+1 ~x19+1 ~x18-0=14 1.49/1.50 c 4 ~x58107+2 ~x58106+1 ~x58105+1 ~x33+1 ~x32+1 ~x31+1 ~x30+1 ~x29+1 ~x28+1 ~x27+1 ~x26-0=14 1.49/1.50 c 4 ~x58344+2 ~x58343+1 ~x58342+1 ~x41+1 ~x40+1 ~x39+1 ~x38+1 ~x37+1 ~x36+1 ~x35+1 ~x34-0=14 1.49/1.50 c 4 ~x58581+2 ~x58580+1 ~x58579+1 ~x49+1 ~x48+1 ~x47+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42-0=14 1.49/1.52 c 4 ~x58818+2 ~x58817+1 ~x58816+1 ~x57+1 ~x56+1 ~x55+1 ~x54+1 ~x53+1 ~x52+1 ~x51+1 ~x50-0=14 1.49/1.52 c 4 ~x59055+2 ~x59054+1 ~x59053+1 ~x65+1 ~x64+1 ~x63+1 ~x62+1 ~x61+1 ~x60+1 ~x59+1 ~x58-0=14 1.49/1.52 c 4 ~x59292+2 ~x59291+1 ~x59290+1 ~x73+1 ~x72+1 ~x71+1 ~x70+1 ~x69+1 ~x68+1 ~x67+1 ~x66-0=14 1.49/1.53 c 4 ~x59529+2 ~x59528+1 ~x59527+1 ~x81+1 ~x80+1 ~x79+1 ~x78+1 ~x77+1 ~x76+1 ~x75+1 ~x74-0=14 1.49/1.53 c 4 ~x59766+2 ~x59765+1 ~x59764+1 ~x89+1 ~x88+1 ~x87+1 ~x86+1 ~x85+1 ~x84+1 ~x83+1 ~x82-0=14 1.49/1.55 c 4 ~x60003+2 ~x60002+1 ~x60001+1 ~x97+1 ~x96+1 ~x95+1 ~x94+1 ~x93+1 ~x92+1 ~x91+1 ~x90-0=14 1.49/1.55 c 4 ~x60240+2 ~x60239+1 ~x60238+1 ~x105+1 ~x104+1 ~x103+1 ~x102+1 ~x101+1 ~x100+1 ~x99+1 ~x98-0=14 1.49/1.55 c 4 ~x60477+2 ~x60476+1 ~x60475+1 ~x113+1 ~x112+1 ~x111+1 ~x110+1 ~x109+1 ~x108+1 ~x107+1 ~x106-0=14 1.49/1.57 c 4 ~x60714+2 ~x60713+1 ~x60712+1 ~x121+1 ~x120+1 ~x119+1 ~x118+1 ~x117+1 ~x116+1 ~x115+1 ~x114-0=14 1.49/1.57 c 4 ~x60951+2 ~x60950+1 ~x60949+1 ~x129+1 ~x128+1 ~x127+1 ~x126+1 ~x125+1 ~x124+1 ~x123+1 ~x122-0=14 1.49/1.57 c 4 ~x61188+2 ~x61187+1 ~x61186+1 ~x137+1 ~x136+1 ~x135+1 ~x134+1 ~x133+1 ~x132+1 ~x131+1 ~x130-0=14 1.49/1.58 c 4 ~x61425+2 ~x61424+1 ~x61423+1 ~x145+1 ~x144+1 ~x143+1 ~x142+1 ~x141+1 ~x140+1 ~x139+1 ~x138-0=14 1.49/1.58 c 4 ~x61662+2 ~x61661+1 ~x61660+1 ~x153+1 ~x152+1 ~x151+1 ~x150+1 ~x149+1 ~x148+1 ~x147+1 ~x146-0=14 1.59/1.60 c 4 ~x61899+2 ~x61898+1 ~x61897+1 ~x161+1 ~x160+1 ~x159+1 ~x158+1 ~x157+1 ~x156+1 ~x155+1 ~x154-0=14 1.59/1.60 c 4 ~x62136+2 ~x62135+1 ~x62134+1 ~x169+1 ~x168+1 ~x167+1 ~x166+1 ~x165+1 ~x164+1 ~x163+1 ~x162-0=14 1.59/1.60 c 4 ~x62373+2 ~x62372+1 ~x62371+1 ~x177+1 ~x176+1 ~x175+1 ~x174+1 ~x173+1 ~x172+1 ~x171+1 ~x170-0=14 1.59/1.61 c 4 ~x62610+2 ~x62609+1 ~x62608+1 ~x185+1 ~x184+1 ~x183+1 ~x182+1 ~x181+1 ~x180+1 ~x179+1 ~x178-0=14 1.59/1.61 c 4 ~x62847+2 ~x62846+1 ~x62845+1 ~x193+1 ~x192+1 ~x191+1 ~x190+1 ~x189+1 ~x188+1 ~x187+1 ~x186-0=14 1.59/1.63 c 4 ~x63084+2 ~x63083+1 ~x63082+1 ~x201+1 ~x200+1 ~x199+1 ~x198+1 ~x197+1 ~x196+1 ~x195+1 ~x194-0=14 1.59/1.63 c 4 ~x63321+2 ~x63320+1 ~x63319+1 ~x209+1 ~x208+1 ~x207+1 ~x206+1 ~x205+1 ~x204+1 ~x203+1 ~x202-0=14 1.59/1.63 c 4 ~x63558+2 ~x63557+1 ~x63556+1 ~x217+1 ~x216+1 ~x215+1 ~x214+1 ~x213+1 ~x212+1 ~x211+1 ~x210-0=14 1.59/1.64 c 4 ~x63795+2 ~x63794+1 ~x63793+1 ~x225+1 ~x224+1 ~x223+1 ~x222+1 ~x221+1 ~x220+1 ~x219+1 ~x218-0=14 1.59/1.64 c 4 ~x64032+2 ~x64031+1 ~x64030+1 ~x233+1 ~x232+1 ~x231+1 ~x230+1 ~x229+1 ~x228+1 ~x227+1 ~x226-0=14 1.59/1.66 c 4 ~x64269+2 ~x64268+1 ~x64267+1 ~x241+1 ~x240+1 ~x239+1 ~x238+1 ~x237+1 ~x236+1 ~x235+1 ~x234-0=14 1.59/1.66 c 4 ~x64506+2 ~x64505+1 ~x64504+1 ~x249+1 ~x248+1 ~x247+1 ~x246+1 ~x245+1 ~x244+1 ~x243+1 ~x242-0=14 1.59/1.66 c 4 ~x64743+2 ~x64742+1 ~x64741+1 ~x257+1 ~x256+1 ~x255+1 ~x254+1 ~x253+1 ~x252+1 ~x251+1 ~x250-0=14 1.59/1.67 c 4 ~x64980+2 ~x64979+1 ~x64978+1 ~x265+1 ~x264+1 ~x263+1 ~x262+1 ~x261+1 ~x260+1 ~x259+1 ~x258-0=14 1.59/1.67 c 4 ~x65217+2 ~x65216+1 ~x65215+1 ~x273+1 ~x272+1 ~x271+1 ~x270+1 ~x269+1 ~x268+1 ~x267+1 ~x266-0=14 1.59/1.69 c 4 ~x65454+2 ~x65453+1 ~x65452+1 ~x281+1 ~x280+1 ~x279+1 ~x278+1 ~x277+1 ~x276+1 ~x275+1 ~x274-0=14 1.59/1.69 c 4 ~x65691+2 ~x65690+1 ~x65689+1 ~x289+1 ~x288+1 ~x287+1 ~x286+1 ~x285+1 ~x284+1 ~x283+1 ~x282-0=14 1.59/1.69 c 4 ~x65928+2 ~x65927+1 ~x65926+1 ~x297+1 ~x296+1 ~x295+1 ~x294+1 ~x293+1 ~x292+1 ~x291+1 ~x290-0=14 1.69/1.71 c 4 ~x66165+2 ~x66164+1 ~x66163+1 ~x305+1 ~x304+1 ~x303+1 ~x302+1 ~x301+1 ~x300+1 ~x299+1 ~x298-0=14 1.69/1.71 c 4 ~x66402+2 ~x66401+1 ~x66400+1 ~x313+1 ~x312+1 ~x311+1 ~x310+1 ~x309+1 ~x308+1 ~x307+1 ~x306-0=14 1.69/1.73 c 4 ~x66639+2 ~x66638+1 ~x66637+1 ~x321+1 ~x320+1 ~x319+1 ~x318+1 ~x317+1 ~x316+1 ~x315+1 ~x314-0=14 1.69/1.73 c 4 ~x66876+2 ~x66875+1 ~x66874+1 ~x329+1 ~x328+1 ~x327+1 ~x326+1 ~x325+1 ~x324+1 ~x323+1 ~x322-0=14 1.69/1.73 c 4 ~x67113+2 ~x67112+1 ~x67111+1 ~x337+1 ~x336+1 ~x335+1 ~x334+1 ~x333+1 ~x332+1 ~x331+1 ~x330-0=14 1.69/1.74 c 4 ~x67350+2 ~x67349+1 ~x67348+1 ~x345+1 ~x344+1 ~x343+1 ~x342+1 ~x341+1 ~x340+1 ~x339+1 ~x338-0=14 1.69/1.74 c 4 ~x67587+2 ~x67586+1 ~x67585+1 ~x353+1 ~x352+1 ~x351+1 ~x350+1 ~x349+1 ~x348+1 ~x347+1 ~x346-0=14 1.69/1.76 c 4 ~x67824+2 ~x67823+1 ~x67822+1 ~x361+1 ~x360+1 ~x359+1 ~x358+1 ~x357+1 ~x356+1 ~x355+1 ~x354-0=14 1.69/1.76 c 4 ~x68061+2 ~x68060+1 ~x68059+1 ~x369+1 ~x368+1 ~x367+1 ~x366+1 ~x365+1 ~x364+1 ~x363+1 ~x362-0=14 1.69/1.76 c 4 ~x68298+2 ~x68297+1 ~x68296+1 ~x377+1 ~x376+1 ~x375+1 ~x374+1 ~x373+1 ~x372+1 ~x371+1 ~x370-0=14 1.69/1.77 c 4 ~x68535+2 ~x68534+1 ~x68533+1 ~x385+1 ~x384+1 ~x383+1 ~x382+1 ~x381+1 ~x380+1 ~x379+1 ~x378-0=14 1.69/1.77 c 4 ~x68772+2 ~x68771+1 ~x68770+1 ~x393+1 ~x392+1 ~x391+1 ~x390+1 ~x389+1 ~x388+1 ~x387+1 ~x386-0=14 1.69/1.79 c 4 ~x69009+2 ~x69008+1 ~x69007+1 ~x401+1 ~x400+1 ~x399+1 ~x398+1 ~x397+1 ~x396+1 ~x395+1 ~x394-0=14 1.69/1.79 c 4 ~x69246+2 ~x69245+1 ~x69244+1 ~x409+1 ~x408+1 ~x407+1 ~x406+1 ~x405+1 ~x404+1 ~x403+1 ~x402-0=14 1.69/1.79 c 4 ~x69483+2 ~x69482+1 ~x69481+1 ~x417+1 ~x416+1 ~x415+1 ~x414+1 ~x413+1 ~x412+1 ~x411+1 ~x410-0=14 1.78/1.81 c 4 ~x69720+2 ~x69719+1 ~x69718+1 ~x425+1 ~x424+1 ~x423+1 ~x422+1 ~x421+1 ~x420+1 ~x419+1 ~x418-0=14 1.78/1.81 c 4 ~x69957+2 ~x69956+1 ~x69955+1 ~x433+1 ~x432+1 ~x431+1 ~x430+1 ~x429+1 ~x428+1 ~x427+1 ~x426-0=14 1.78/1.81 c 4 ~x70194+2 ~x70193+1 ~x70192+1 ~x441+1 ~x440+1 ~x439+1 ~x438+1 ~x437+1 ~x436+1 ~x435+1 ~x434-0=14 1.78/1.82 c 4 ~x70431+2 ~x70430+1 ~x70429+1 ~x449+1 ~x448+1 ~x447+1 ~x446+1 ~x445+1 ~x444+1 ~x443+1 ~x442-0=14 1.78/1.82 c 4 ~x70668+2 ~x70667+1 ~x70666+1 ~x457+1 ~x456+1 ~x455+1 ~x454+1 ~x453+1 ~x452+1 ~x451+1 ~x450-0=14 1.78/1.84 c 4 ~x70905+2 ~x70904+1 ~x70903+1 ~x465+1 ~x464+1 ~x463+1 ~x462+1 ~x461+1 ~x460+1 ~x459+1 ~x458-0=14 1.78/1.84 c 4 ~x71142+2 ~x71141+1 ~x71140+1 ~x473+1 ~x472+1 ~x471+1 ~x470+1 ~x469+1 ~x468+1 ~x467+1 ~x466-0=14 1.78/1.84 c 4 ~x71379+2 ~x71378+1 ~x71377+1 ~x481+1 ~x480+1 ~x479+1 ~x478+1 ~x477+1 ~x476+1 ~x475+1 ~x474-0=14 1.78/1.85 c 4 ~x71616+2 ~x71615+1 ~x71614+1 ~x489+1 ~x488+1 ~x487+1 ~x486+1 ~x485+1 ~x484+1 ~x483+1 ~x482-0=14 1.78/1.85 c 4 ~x71853+2 ~x71852+1 ~x71851+1 ~x497+1 ~x496+1 ~x495+1 ~x494+1 ~x493+1 ~x492+1 ~x491+1 ~x490-0=14 1.78/1.87 c 4 ~x72090+2 ~x72089+1 ~x72088+1 ~x505+1 ~x504+1 ~x503+1 ~x502+1 ~x501+1 ~x500+1 ~x499+1 ~x498-0=14 1.78/1.87 c 4 ~x72327+2 ~x72326+1 ~x72325+1 ~x513+1 ~x512+1 ~x511+1 ~x510+1 ~x509+1 ~x508+1 ~x507+1 ~x506-0=14 1.78/1.87 c 4 ~x72564+2 ~x72563+1 ~x72562+1 ~x521+1 ~x520+1 ~x519+1 ~x518+1 ~x517+1 ~x516+1 ~x515+1 ~x514-0=14 1.78/1.88 c 4 ~x72801+2 ~x72800+1 ~x72799+1 ~x529+1 ~x528+1 ~x527+1 ~x526+1 ~x525+1 ~x524+1 ~x523+1 ~x522-0=14 1.78/1.88 c 4 ~x73038+2 ~x73037+1 ~x73036+1 ~x537+1 ~x536+1 ~x535+1 ~x534+1 ~x533+1 ~x532+1 ~x531+1 ~x530-0=14 1.89/1.90 c 4 ~x73275+2 ~x73274+1 ~x73273+1 ~x545+1 ~x544+1 ~x543+1 ~x542+1 ~x541+1 ~x540+1 ~x539+1 ~x538-0=14 1.89/1.90 c 4 ~x73512+2 ~x73511+1 ~x73510+1 ~x553+1 ~x552+1 ~x551+1 ~x550+1 ~x549+1 ~x548+1 ~x547+1 ~x546-0=14 1.89/1.90 c 4 ~x73749+2 ~x73748+1 ~x73747+1 ~x561+1 ~x560+1 ~x559+1 ~x558+1 ~x557+1 ~x556+1 ~x555+1 ~x554-0=14 1.89/1.92 c 4 ~x73986+2 ~x73985+1 ~x73984+1 ~x569+1 ~x568+1 ~x567+1 ~x566+1 ~x565+1 ~x564+1 ~x563+1 ~x562-0=14 1.89/1.92 c 4 ~x74223+2 ~x74222+1 ~x74221+1 ~x577+1 ~x576+1 ~x575+1 ~x574+1 ~x573+1 ~x572+1 ~x571+1 ~x570-0=14 1.89/1.94 c 4 ~x74460+2 ~x74459+1 ~x74458+1 ~x585+1 ~x584+1 ~x583+1 ~x582+1 ~x581+1 ~x580+1 ~x579+1 ~x578-0=14 1.89/1.94 c 4 ~x74697+2 ~x74696+1 ~x74695+1 ~x593+1 ~x592+1 ~x591+1 ~x590+1 ~x589+1 ~x588+1 ~x587+1 ~x586-0=14 1.89/1.94 c 4 ~x74934+2 ~x74933+1 ~x74932+1 ~x601+1 ~x600+1 ~x599+1 ~x598+1 ~x597+1 ~x596+1 ~x595+1 ~x594-0=14 1.89/1.95 c 4 ~x75171+2 ~x75170+1 ~x75169+1 ~x609+1 ~x608+1 ~x607+1 ~x606+1 ~x605+1 ~x604+1 ~x603+1 ~x602-0=14 1.89/1.95 c 4 ~x75408+2 ~x75407+1 ~x75406+1 ~x617+1 ~x616+1 ~x615+1 ~x614+1 ~x613+1 ~x612+1 ~x611+1 ~x610-0=14 1.89/1.97 c 4 ~x75645+2 ~x75644+1 ~x75643+1 ~x625+1 ~x624+1 ~x623+1 ~x622+1 ~x621+1 ~x620+1 ~x619+1 ~x618-0=14 1.89/1.97 c 4 ~x75882+2 ~x75881+1 ~x75880+1 ~x633+1 ~x632+1 ~x631+1 ~x630+1 ~x629+1 ~x628+1 ~x627+1 ~x626-0=14 1.89/1.97 c 4 ~x76119+2 ~x76118+1 ~x76117+1 ~x641+1 ~x640+1 ~x639+1 ~x638+1 ~x637+1 ~x636+1 ~x635+1 ~x634-0=14 1.89/1.98 c 4 ~x76356+2 ~x76355+1 ~x76354+1 ~x649+1 ~x648+1 ~x647+1 ~x646+1 ~x645+1 ~x644+1 ~x643+1 ~x642-0=14 1.89/1.98 c 4 ~x76593+2 ~x76592+1 ~x76591+1 ~x657+1 ~x656+1 ~x655+1 ~x654+1 ~x653+1 ~x652+1 ~x651+1 ~x650-0=14 1.99/2.00 c 4 ~x76830+2 ~x76829+1 ~x76828+1 ~x665+1 ~x664+1 ~x663+1 ~x662+1 ~x661+1 ~x660+1 ~x659+1 ~x658-0=14 1.99/2.00 c 4 ~x77067+2 ~x77066+1 ~x77065+1 ~x673+1 ~x672+1 ~x671+1 ~x670+1 ~x669+1 ~x668+1 ~x667+1 ~x666-0=14 1.99/2.00 c 4 ~x77304+2 ~x77303+1 ~x77302+1 ~x681+1 ~x680+1 ~x679+1 ~x678+1 ~x677+1 ~x676+1 ~x675+1 ~x674-0=14 1.99/2.02 c 4 ~x77541+2 ~x77540+1 ~x77539+1 ~x689+1 ~x688+1 ~x687+1 ~x686+1 ~x685+1 ~x684+1 ~x683+1 ~x682-0=14 1.99/2.02 c 4 ~x77778+2 ~x77777+1 ~x77776+1 ~x697+1 ~x696+1 ~x695+1 ~x694+1 ~x693+1 ~x692+1 ~x691+1 ~x690-0=14 1.99/2.02 c 4 ~x78015+2 ~x78014+1 ~x78013+1 ~x705+1 ~x704+1 ~x703+1 ~x702+1 ~x701+1 ~x700+1 ~x699+1 ~x698-0=14 1.99/2.03 c 4 ~x78252+2 ~x78251+1 ~x78250+1 ~x713+1 ~x712+1 ~x711+1 ~x710+1 ~x709+1 ~x708+1 ~x707+1 ~x706-0=14 1.99/2.03 c 4 ~x78489+2 ~x78488+1 ~x78487+1 ~x721+1 ~x720+1 ~x719+1 ~x718+1 ~x717+1 ~x716+1 ~x715+1 ~x714-0=14 1.99/2.05 c 4 ~x78726+2 ~x78725+1 ~x78724+1 ~x729+1 ~x728+1 ~x727+1 ~x726+1 ~x725+1 ~x724+1 ~x723+1 ~x722-0=14 1.99/2.05 c 4 ~x78963+2 ~x78962+1 ~x78961+1 ~x737+1 ~x736+1 ~x735+1 ~x734+1 ~x733+1 ~x732+1 ~x731+1 ~x730-0=14 1.99/2.05 c 4 ~x79200+2 ~x79199+1 ~x79198+1 ~x745+1 ~x744+1 ~x743+1 ~x742+1 ~x741+1 ~x740+1 ~x739+1 ~x738-0=14 1.99/2.06 c 4 ~x79437+2 ~x79436+1 ~x79435+1 ~x753+1 ~x752+1 ~x751+1 ~x750+1 ~x749+1 ~x748+1 ~x747+1 ~x746-0=14 1.99/2.06 c 4 ~x79674+2 ~x79673+1 ~x79672+1 ~x761+1 ~x760+1 ~x759+1 ~x758+1 ~x757+1 ~x756+1 ~x755+1 ~x754-0=14 1.99/2.08 c 4 ~x79911+2 ~x79910+1 ~x79909+1 ~x769+1 ~x768+1 ~x767+1 ~x766+1 ~x765+1 ~x764+1 ~x763+1 ~x762-0=14 1.99/2.08 c 4 ~x80148+2 ~x80147+1 ~x80146+1 ~x777+1 ~x776+1 ~x775+1 ~x774+1 ~x773+1 ~x772+1 ~x771+1 ~x770-0=14 1.99/2.08 c 4 ~x80385+2 ~x80384+1 ~x80383+1 ~x785+1 ~x784+1 ~x783+1 ~x782+1 ~x781+1 ~x780+1 ~x779+1 ~x778-0=14 1.99/2.09 c 4 ~x80622+2 ~x80621+1 ~x80620+1 ~x793+1 ~x792+1 ~x791+1 ~x790+1 ~x789+1 ~x788+1 ~x787+1 ~x786-0=14 1.99/2.09 c 4 ~x80859+2 ~x80858+1 ~x80857+1 ~x801+1 ~x800+1 ~x799+1 ~x798+1 ~x797+1 ~x796+1 ~x795+1 ~x794-0=14 251.11/251.24 o 1176373 251.11/251.24 c 16777216 ~x81118+8388608 ~x81117+4194304 ~x81116+2097152 ~x81115+1048576 ~x81114+524288 ~x81113+262144 ~x81112+131072 ~x81111+65536 ~x81110+32768 ~x81109+16384 ~x81108+8192 ~x81107+4096 ~x81106+2048 ~x81105+1024 ~x81104+512 ~x81103+256 ~x81102+128 ~x81101+64 ~x81100+32 ~x81099+16 ~x81098+8 ~x81097+4 ~x81096+2 ~x81095+1 ~x81094+4915 ~x801+4915 ~x800+4915 ~x799+4915 ~x798+4915 ~x797+4915 ~x796+4915 ~x795+4915 ~x794+31355 ~x793+31355 ~x792+31355 ~x791+31355 ~x790+31355 ~x789+31355 ~x788+31355 ~x787+31355 ~x786+67639 ~x785+67639 ~x784+67639 ~x783+67639 ~x782+67639 ~x781+67639 ~x780+67639 ~x779+67639 ~x778+36520 ~x777+36520 ~x776+36520 ~x775+36520 ~x774+36520 ~x773+36520 ~x772+36520 ~x771+36520 ~x770+33122 ~x769+33122 ~x768+33122 ~x767+33122 ~x766+33122 ~x765+33122 ~x764+33122 ~x763+33122 ~x762+18338 ~x761+18338 ~x760+18338 ~x759+18338 ~x758+18338 ~x757+18338 ~x756+18338 ~x755+18338 ~x754+61917 ~x753+61917 ~x752+61917 ~x751+61917 ~x750+61917 ~x749+61917 ~x748+61917 ~x747+61917 ~x746+21661 ~x745+21661 ~x744+21661 ~x743+21661 ~x742+21661 ~x741+21661 ~x740+21661 ~x739+21661 ~x738+57711 ~x737+57711 ~x736+57711 ~x735+57711 ~x734+57711 ~x733+57711 ~x732+57711 ~x731+57711 ~x730+42847 ~x729+42847 ~x728+42847 ~x727+42847 ~x726+42847 ~x725+42847 ~x724+42847 ~x723+42847 ~x722+62728 ~x721+62728 ~x720+62728 ~x719+62728 ~x718+62728 ~x717+62728 ~x716+62728 ~x715+62728 ~x714+5727 ~x713+5727 ~x712+5727 ~x711+5727 ~x710+5727 ~x709+5727 ~x708+5727 ~x707+5727 ~x706+61173 ~x705+61173 ~x704+61173 ~x703+61173 ~x702+61173 ~x701+61173 ~x700+61173 ~x699+61173 ~x698+10131 ~x697+10131 ~x696+10131 ~x695+10131 ~x694+10131 ~x693+10131 ~x692+10131 ~x691+10131 ~x690+32939 ~x689+32939 ~x688+32939 ~x687+32939 ~x686+32939 ~x685+32939 ~x684+32939 ~x683+32939 ~x682+12763 ~x681+12763 ~x680+12763 ~x679+12763 ~x678+12763 ~x677+12763 ~x676+12763 ~x675+12763 ~x674+9586 ~x673+9586 ~x672+9586 ~x671+9586 ~x670+9586 ~x669+9586 ~x668+9586 ~x667+9586 ~x666+19955 ~x665+19955 ~x664+19955 ~x663+19955 ~x662+19955 ~x661+19955 ~x660+19955 ~x659+19955 ~x658+32732 ~x657+32732 ~x656+32732 ~x655+32732 ~x654+32732 ~x653+32732 ~x652+32732 ~x651+32732 ~x650+60892 ~x649+60892 ~x648+60892 ~x647+60892 ~x646+60892 ~x645+60892 ~x644+60892 ~x643+60892 ~x642+20057 ~x641+20057 ~x640+20057 ~x639+20057 ~x638+20057 ~x637+20057 ~x636+20057 ~x635+20057 ~x634+10152 ~x633+10152 ~x632+10152 ~x631+10152 ~x630+10152 ~x629+10152 ~x628+10152 ~x627+10152 ~x626+48042 ~x625+48042 ~x624+48042 ~x623+48042 ~x622+48042 ~x621+48042 ~x620+48042 ~x619+48042 ~x618+60920 ~x617+60920 ~x616+60920 ~x615+60920 ~x614+60920 ~x613+60920 ~x612+60920 ~x611+60920 ~x610+40564 ~x609+40564 ~x608+40564 ~x607+40564 ~x606+40564 ~x605+40564 ~x604+40564 ~x603+40564 ~x602+17947 ~x601+17947 ~x600+17947 ~x599+17947 ~x598+17947 ~x597+17947 ~x596+17947 ~x595+17947 ~x594+51726 ~x593+51726 ~x592+51726 ~x591+51726 ~x590+51726 ~x589+51726 ~x588+51726 ~x587+51726 ~x586+62071 ~x585+62071 ~x584+62071 ~x583+62071 ~x582+62071 ~x581+62071 ~x580+62071 ~x579+62071 ~x578+22569 ~x577+22569 ~x576+22569 ~x575+22569 ~x574+22569 ~x573+22569 ~x572+22569 ~x571+22569 ~x570+21575 ~x569+21575 ~x568+21575 ~x567+21575 ~x566+21575 ~x565+21575 ~x564+21575 ~x563+21575 ~x562+34135 ~x561+34135 ~x560+34135 ~x559+34135 ~x558+34135 ~x557+34135 ~x556+34135 ~x555+34135 ~x554+47560 ~x553+47560 ~x552+47560 ~x551+47560 ~x550+47560 ~x549+47560 ~x548+47560 ~x547+47560 ~x546+7794 ~x545+7794 ~x544+7794 ~x543+7794 ~x542+7794 ~x541+7794 ~x540+7794 ~x539+7794 ~x538+48627 ~x537+48627 ~x536+48627 ~x535+48627 ~x534+48627 ~x533+48627 ~x532+48627 ~x531+48627 ~x530+9341 ~x529+9341 ~x528+9341 ~x527+9341 ~x526+9341 ~x525+9341 ~x524+9341 ~x523+9341 ~x522+49838 ~x521+49838 ~x520+49838 ~x519+49838 ~x518+49838 ~x517+49838 ~x516+49838 ~x515+49838 ~x514+38039 ~x513+38039 ~x512+38039 ~x511+38039 ~x510+38039 ~x509+38039 ~x508+38039 ~x507+38039 ~x506+17308 ~x505+17308 ~x504+17308 ~x503+17308 ~x502+17308 ~x501+17308 ~x500+17308 ~x499+17308 ~x498+29948 ~x497+29948 ~x496+29948 ~x495+29948 ~x494+29948 ~x493+29948 ~x492+29948 ~x491+29948 ~x490+12480 ~x489+12480 ~x488+12480 ~x487+12480 ~x486+12480 ~x485+12480 ~x484+12480 ~x483+12480 ~x482+50223 ~x481+50223 ~x480+50223 ~x479+50223 ~x478+50223 ~x477+50223 ~x476+50223 ~x475+50223 ~x474+10911 ~x473+10911 ~x472+10911 ~x471+10911 ~x470+10911 ~x469+10911 ~x468+10911 ~x467+10911 ~x466+21677 ~x465+21677 ~x464+21677 ~x463+21677 ~x462+21677 ~x461+21677 ~x460+21677 ~x459+21677 ~x458+11741 ~x457+11741 ~x456+11741 ~x455+11741 ~x454+11741 ~x453+11741 ~x452+11741 ~x451+11741 ~x450+36639 ~x449+36639 ~x448+36639 ~x447+36639 ~x446+36639 ~x445+36639 ~x444+36639 ~x443+36639 ~x442+5681 ~x441+5681 ~x440+5681 ~x439+5681 ~x438+5681 ~x437+5681 ~x436+5681 ~x435+5681 ~x434+9426 ~x433+9426 ~x432+9426 ~x431+9426 ~x430+9426 ~x429+9426 ~x428+9426 ~x427+9426 ~x426+16980 ~x425+16980 ~x424+16980 ~x423+16980 ~x422+16980 ~x421+16980 ~x420+16980 ~x419+16980 ~x418+33970 ~x417+33970 ~x416+33970 ~x415+33970 ~x414+33970 ~x413+33970 ~x412+33970 ~x411+33970 ~x410+21497 ~x409+21497 ~x408+21497 ~x407+21497 ~x406+21497 ~x405+21497 ~x404+21497 ~x403+21497 ~x402+16250 ~x401+16250 ~x400+16250 ~x399+16250 ~x398+16250 ~x397+16250 ~x396+16250 ~x395+16250 ~x394+29786 ~x393+29786 ~x392+29786 ~x391+29786 ~x390+29786 ~x389+29786 ~x388+29786 ~x387+29786 ~x386+17608 ~x385+17608 ~x384+17608 ~x383+17608 ~x382+17608 ~x381+17608 ~x380+17608 ~x379+17608 ~x378+9765 ~x377+9765 ~x376+9765 ~x375+9765 ~x374+9765 ~x373+9765 ~x372+9765 ~x371+9765 ~x370+39467 ~x369+39467 ~x368+39467 ~x367+39467 ~x366+39467 ~x365+39467 ~x364+39467 ~x363+39467 ~x362+40757 ~x361+40757 ~x360+40757 ~x359+40757 ~x358+40757 ~x357+40757 ~x356+40757 ~x355+40757 ~x354+13205 ~x353+13205 ~x352+13205 ~x351+13205 ~x350+13205 ~x349+13205 ~x348+13205 ~x347+13205 ~x346+30270 ~x345+30270 ~x344+30270 ~x343+30270 ~x342+30270 ~x341+30270 ~x340+30270 ~x339+30270 ~x338+48513 ~x337+48513 ~x336+48513 ~x335+48513 ~x334+48513 ~x333+48513 ~x332+48513 ~x331+48513 ~x330+13741 ~x329+13741 ~x328+13741 ~x327+13741 ~x326+13741 ~x325+13741 ~x324+13741 ~x323+13741 ~x322+14327 ~x321+14327 ~x320+14327 ~x319+14327 ~x318+14327 ~x317+14327 ~x316+14327 ~x315+14327 ~x314+10500 ~x313+10500 ~x312+10500 ~x311+10500 ~x310+10500 ~x309+10500 ~x308+10500 ~x307+10500 ~x306+45541 ~x305+45541 ~x304+45541 ~x303+45541 ~x302+45541 ~x301+45541 ~x300+45541 ~x299+45541 ~x298+3543 ~x297+3543 ~x296+3543 ~x295+3543 ~x294+3543 ~x293+3543 ~x292+3543 ~x291+3543 ~x290+58716 ~x289+58716 ~x288+58716 ~x287+58716 ~x286+58716 ~x285+58716 ~x284+58716 ~x283+58716 ~x282+34877 ~x281+34877 ~x280+34877 ~x279+34877 ~x278+34877 ~x277+34877 ~x276+34877 ~x275+34877 ~x274+27879 ~x273+27879 ~x272+27879 ~x271+27879 ~x270+27879 ~x269+27879 ~x268+27879 ~x267+27879 ~x266+5279 ~x265+5279 ~x264+5279 ~x263+5279 ~x262+5279 ~x261+5279 ~x260+5279 ~x259+5279 ~x258+22299 ~x257+22299 ~x256+22299 ~x255+22299 ~x254+22299 ~x253+22299 ~x252+22299 ~x251+22299 ~x250+14819 ~x249+14819 ~x248+14819 ~x247+14819 ~x246+14819 ~x245+14819 ~x244+14819 ~x243+14819 ~x242+54971 ~x241+54971 ~x240+54971 ~x239+54971 ~x238+54971 ~x237+54971 ~x236+54971 ~x235+54971 ~x234+23016 ~x233+23016 ~x232+23016 ~x231+23016 ~x230+23016 ~x229+23016 ~x228+23016 ~x227+23016 ~x226+16588 ~x225+16588 ~x224+16588 ~x223+16588 ~x222+16588 ~x221+16588 ~x220+16588 ~x219+16588 ~x218+126454 ~x217+126454 ~x216+126454 ~x215+126454 ~x214+126454 ~x213+126454 ~x212+126454 ~x211+126454 ~x210+30592 ~x209+30592 ~x208+30592 ~x207+30592 ~x206+30592 ~x205+30592 ~x204+30592 ~x203+30592 ~x202+30864 ~x201+30864 ~x200+30864 ~x199+30864 ~x198+30864 ~x197+30864 ~x196+30864 ~x195+30864 ~x194+29820 ~x193+29820 ~x192+29820 ~x191+29820 ~x190+29820 ~x189+29820 ~x188+29820 ~x187+29820 ~x186+27767 ~x185+27767 ~x184+27767 ~x183+27767 ~x182+27767 ~x181+27767 ~x180+27767 ~x179+27767 ~x178+57463 ~x177+57463 ~x176+57463 ~x175+57463 ~x174+57463 ~x173+57463 ~x172+57463 ~x171+57463 ~x170+77983 ~x169+77983 ~x168+77983 ~x167+77983 ~x166+77983 ~x165+77983 ~x164+77983 ~x163+77983 ~x162+37536 ~x161+37536 ~x160+37536 ~x159+37536 ~x158+37536 ~x157+37536 ~x156+37536 ~x155+37536 ~x154+48580 ~x153+48580 ~x152+48580 ~x151+48580 ~x150+48580 ~x149+48580 ~x148+48580 ~x147+48580 ~x146+6447 ~x145+6447 ~x144+6447 ~x143+6447 ~x142+6447 ~x141+6447 ~x140+6447 ~x139+6447 ~x138+42476 ~x137+42476 ~x136+42476 ~x135+42476 ~x134+42476 ~x133+42476 ~x132+42476 ~x131+42476 ~x130+3581 ~x129+3581 ~x128+3581 ~x127+3581 ~x126+3581 ~x125+3581 ~x124+3581 ~x123+3581 ~x122+35189 ~x121+35189 ~x120+35189 ~x119+35189 ~x118+35189 ~x117+35189 ~x116+35189 ~x115+35189 ~x114+20219 ~x113+20219 ~x112+20219 ~x111+20219 ~x110+20219 ~x109+20219 ~x108+20219 ~x107+20219 ~x106+31557 ~x105+31557 ~x104+31557 ~x103+31557 ~x102+31557 ~x101+31557 ~x100+31557 ~x99+31557 ~x98+44510 ~x97+44510 ~x96+44510 ~x95+44510 ~x94+44510 ~x93+44510 ~x92+44510 ~x91+44510 ~x90+39220 ~x89+39220 ~x88+39220 ~x87+39220 ~x86+39220 ~x85+39220 ~x84+39220 ~x83+39220 ~x82+32089 ~x81+32089 ~x80+32089 ~x79+32089 ~x78+32089 ~x77+32089 ~x76+32089 ~x75+32089 ~x74+75286 ~x73+75286 ~x72+75286 ~x71+75286 ~x70+75286 ~x69+75286 ~x68+75286 ~x67+75286 ~x66+35911 ~x65+35911 ~x64+35911 ~x63+35911 ~x62+35911 ~x61+35911 ~x60+35911 ~x59+35911 ~x58+52567 ~x57+52567 ~x56+52567 ~x55+52567 ~x54+52567 ~x53+52567 ~x52+52567 ~x51+52567 ~x50+88301 ~x49+88301 ~x48+88301 ~x47+88301 ~x46+88301 ~x45+88301 ~x44+88301 ~x43+88301 ~x42+29557 ~x41+29557 ~x40+29557 ~x39+29557 ~x38+29557 ~x37+29557 ~x36+29557 ~x35+29557 ~x34+63597 ~x33+63597 ~x32+63597 ~x31+63597 ~x30+63597 ~x29+63597 ~x28+63597 ~x27+63597 ~x26+19488 ~x25+19488 ~x24+19488 ~x23+19488 ~x22+19488 ~x21+19488 ~x20+19488 ~x19+19488 ~x18+80478 ~x17+80478 ~x16+80478 ~x15+80478 ~x14+80478 ~x13+80478 ~x12+80478 ~x11+80478 ~x10+43197 ~x9+43197 ~x8+43197 ~x7
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-2674956-1276819015/watcher-2674956-1276819015 -o /tmp/evaluation-result-2674956-1276819015/solver-2674956-1276819015 -C 1800 -W 2000 -M 1800 run HOME/instance-2674956-1276819015.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.87 0.97 0.99 3/105 27270 /proc/meminfo: memFree=1863376/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [startup+0.0438489 s] /proc/loadavg: 0.87 0.97 0.99 3/105 27270 /proc/meminfo: memFree=1863376/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100855 s] /proc/loadavg: 0.87 0.97 0.99 3/105 27270 /proc/meminfo: memFree=1863376/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300879 s] /proc/loadavg: 0.87 0.97 0.99 3/105 27270 /proc/meminfo: memFree=1863376/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700928 s] /proc/loadavg: 0.87 0.97 0.99 3/105 27270 /proc/meminfo: memFree=1863376/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50103 s] /proc/loadavg: 0.87 0.97 0.99 2/107 27273 /proc/meminfo: memFree=1811652/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=63408 CPUtime=1.49 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 18009 0 0 0 135 14 0 0 25 0 1 0 23194646 64929792 15155 1992294400 134512640 134902295 4294476816 18446744073709551615 4160096445 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 15852 15156 262 96 0 15064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 72108 [startup+3.10122 s] /proc/loadavg: 0.87 0.97 0.99 2/107 27273 /proc/meminfo: memFree=1793920/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=73612 CPUtime=3.09 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 21088 0 0 0 294 15 0 0 25 0 1 0 23194646 75378688 17538 1992294400 134512640 134902295 4294476816 18446744073709551615 10931079 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 18403 17538 269 96 0 17615 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 82312 [startup+6.30061 s] /proc/loadavg: 0.88 0.97 0.99 2/107 27273 /proc/meminfo: memFree=1792804/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=74536 CPUtime=6.28 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 21343 0 0 0 613 15 0 0 25 0 1 0 23194646 76324864 17793 1992294400 134512640 134902295 4294476816 18446744073709551615 10933756 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 18634 17793 269 96 0 17846 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 83236 [startup+12.7004 s] /proc/loadavg: 0.89 0.97 0.99 2/107 27273 /proc/meminfo: memFree=1790696/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=76392 CPUtime=12.69 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 21799 0 0 0 1253 16 0 0 25 0 1 0 23194646 78225408 18249 1992294400 134512640 134902295 4294476816 18446744073709551615 4160133032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 19098 18249 269 96 0 18310 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85092 [startup+25.501 s] /proc/loadavg: 0.91 0.97 0.99 2/107 27275 /proc/meminfo: memFree=1787596/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=79572 CPUtime=25.48 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 22546 0 0 0 2532 16 0 0 25 0 1 0 23194646 81481728 18996 1992294400 134512640 134902295 4294476816 18446744073709551615 4160132308 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 19893 18996 269 96 0 19105 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 88272 [startup+51.1011 s] /proc/loadavg: 0.94 0.97 0.99 2/107 27275 /proc/meminfo: memFree=1781892/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=85244 CPUtime=51.07 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 24001 0 0 0 5090 17 0 0 25 0 1 0 23194646 87289856 20451 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 21311 20451 269 96 0 20523 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93944 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 27277 /proc/meminfo: memFree=1772344/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=94752 CPUtime=102.26 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 26302 0 0 0 10208 18 0 0 25 0 1 0 23194646 97026048 22752 1992294400 134512640 134902295 4294476816 18446744073709551615 4160111418 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 23688 22752 269 96 0 22900 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 103452 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27277 /proc/meminfo: memFree=1763168/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=103728 CPUtime=162.24 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 28590 0 0 0 16204 20 0 0 25 0 1 0 23194646 106217472 25040 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129161 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 25932 25040 269 96 0 25144 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 112428 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27279 /proc/meminfo: memFree=1752876/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=114164 CPUtime=222.23 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 31148 0 0 0 22200 23 0 0 25 0 1 0 23194646 116903936 27598 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 28541 27598 269 96 0 27753 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 122864 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27290 /proc/meminfo: memFree=1723488/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=151500 CPUtime=282.2 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 58821 0 0 0 28184 36 0 0 25 0 1 0 23194646 155136000 34841 1992294400 134512640 134902295 4294476816 18446744073709551615 4160117964 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 37875 34841 269 96 0 37087 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 160200 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27292 /proc/meminfo: memFree=1714188/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=161200 CPUtime=342.19 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 61137 0 0 0 34181 38 0 0 25 0 1 0 23194646 165068800 37157 1992294400 134512640 134902295 4294476816 18446744073709551615 4160098937 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 40300 37157 269 96 0 39512 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 169900 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27294 /proc/meminfo: memFree=1702904/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=172388 CPUtime=402.16 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 63980 0 0 0 40176 40 0 0 25 0 1 0 23194646 176525312 40000 1992294400 134512640 134902295 4294476816 18446744073709551615 4160112338 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 43097 40000 269 96 0 42309 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 181088 [startup+462.301 s] ################ # More data... # ################ /proc/27272/statm: 54389 51175 269 96 0 53601 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 226256 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27314 /proc/meminfo: memFree=1655908/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=219148 CPUtime=1181.95 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 75566 0 0 0 118141 54 0 0 25 0 1 0 23194646 224407552 51586 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 54787 51586 269 96 0 53999 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 227848 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27316 /proc/meminfo: memFree=1653924/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=221472 CPUtime=1241.93 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 76004 0 0 0 124139 54 0 0 25 0 1 0 23194646 226787328 52024 1992294400 134512640 134902295 4294476816 18446744073709551615 4160117593 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 55368 52024 269 96 0 54580 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 230172 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27318 /proc/meminfo: memFree=1652312/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=222924 CPUtime=1301.92 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 76376 0 0 0 130137 55 0 0 25 0 1 0 23194646 228274176 52396 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 55731 52396 269 96 0 54943 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 231624 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27318 /proc/meminfo: memFree=1650452/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=224864 CPUtime=1361.89 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 76864 0 0 0 136134 55 0 0 25 0 1 0 23194646 230260736 52884 1992294400 134512640 134902295 4294476816 18446744073709551615 4160132002 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 56216 52884 269 96 0 55428 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 233564 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27320 /proc/meminfo: memFree=1649088/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=226072 CPUtime=1421.89 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 77191 0 0 0 142133 56 0 0 25 0 1 0 23194646 231497728 53211 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 56518 53211 269 96 0 55730 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 234772 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27322 /proc/meminfo: memFree=1647724/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=227540 CPUtime=1481.86 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 77546 0 0 0 148130 56 0 0 25 0 1 0 23194646 233000960 53566 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 56885 53566 269 96 0 56097 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 236240 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27324 /proc/meminfo: memFree=1645864/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=229388 CPUtime=1541.85 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 78017 0 0 0 154128 57 0 0 25 0 1 0 23194646 234893312 54037 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 57347 54037 269 96 0 56559 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 238088 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27326 /proc/meminfo: memFree=1643632/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=231444 CPUtime=1601.83 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 78556 0 0 0 160126 57 0 0 25 0 1 0 23194646 236998656 54576 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 57861 54576 269 96 0 57073 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 240144 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27326 /proc/meminfo: memFree=1641648/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=233408 CPUtime=1661.82 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 79037 0 0 0 166124 58 0 0 25 0 1 0 23194646 239009792 55057 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 58352 55057 269 96 0 57564 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 242108 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27328 /proc/meminfo: memFree=1640532/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=234600 CPUtime=1721.8 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 79313 0 0 0 172122 58 0 0 25 0 1 0 23194646 240230400 55333 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129148 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 58650 55333 269 96 0 57862 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 243300 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27330 /proc/meminfo: memFree=1639044/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=235904 CPUtime=1781.79 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 79617 0 0 0 178120 59 0 0 25 0 1 0 23194646 241565696 55637 1992294400 134512640 134902295 4294476816 18446744073709551615 4160129150 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 58976 55637 269 96 0 58188 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 244604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27330 /proc/meminfo: memFree=1638796/2059040 swapFree=4139492/4192956 [pid=27270] ppid=27268 vsize=8700 CPUtime=0 /proc/27270/stat : 27270 (run) S 27268 27270 26876 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 23194646 8908800 251 1992294400 4194304 4922060 140736333397824 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/27270/statm: 2175 251 211 178 0 68 0 [pid=27272] ppid=27270 vsize=236036 CPUtime=1800.09 /proc/27272/stat : 27272 (PBPASSolver) R 27270 27270 26876 0 -1 4202496 79683 0 0 0 179950 59 0 0 25 0 1 0 23194646 241700864 55703 1992294400 134512640 134902295 4294476816 18446744073709551615 4160098997 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/27272/statm: 59009 55703 269 96 0 58221 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 244736 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 27270 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.09 # # 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.09 CPU user time (s): 1799.5 CPU system time (s): 0.59 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 244736 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= 524 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 3.04354 second user time and 8.43972 second system time The end
Begin job on node080 at 2010-06-18 01:56:55 IDJOB=2674956 IDBENCH=71908 IDSOLVER=1174 FILE ID=node080/2674956-1276819015 PBS_JOBID= 11176700 Free space on /tmp= 62592 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__8.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674956-1276819015/watcher-2674956-1276819015 -o /tmp/evaluation-result-2674956-1276819015/solver-2674956-1276819015 -C 1800 -W 2000 -M 1800 run HOME/instance-2674956-1276819015.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e081014eca08bc4b36a0f98065960ec7 RANDOM SEED=989646403 node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1863772 kB Buffers: 36056 kB Cached: 67312 kB SwapCached: 6792 kB Active: 7228 kB Inactive: 109608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1863772 kB SwapTotal: 4192956 kB SwapFree: 4139492 kB Dirty: 932 kB Writeback: 0 kB AnonPages: 11608 kB Mapped: 12876 kB Slab: 56408 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183816 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= 62592 MiB End job on node080 at 2010-06-18 02:26:58