Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.06 | 1800.62 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb |
MD5SUM | 3c0b9d73d67a301539707b5cf6d0db6d |
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 | 4.39433 |
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 | 1648 |
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 | 16 |
Maximum length of a constraint | 145 |
Number of terms in the objective function | 1600 |
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 | 53704560 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 126454 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 53704560 |
Number of bits of the biggest sum of numbers | 26 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
3.59/3.69 c 1648 150 0 0 0 0 0 0 3.59/3.69 c 8 ~x139829+4 ~x139828+2 ~x139827+1 ~x139826+1 ~x17+1 ~x16+1 ~x15+1 ~x14+1 ~x13+1 ~x12+1 ~x11+1 ~x10+1 ~x9+1 ~x8+1 ~x7+1 ~x6+1 ~x5+1 ~x4+1 ~x3+1 ~x2-0=30 3.59/3.69 c 8 ~x140381+4 ~x140380+2 ~x140379+1 ~x140378+1 ~x33+1 ~x32+1 ~x31+1 ~x30+1 ~x29+1 ~x28+1 ~x27+1 ~x26+1 ~x25+1 ~x24+1 ~x23+1 ~x22+1 ~x21+1 ~x20+1 ~x19+1 ~x18-0=30 3.68/3.72 c 8 ~x140933+4 ~x140932+2 ~x140931+1 ~x140930+1 ~x49+1 ~x48+1 ~x47+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42+1 ~x41+1 ~x40+1 ~x39+1 ~x38+1 ~x37+1 ~x36+1 ~x35+1 ~x34-0=30 3.68/3.72 c 8 ~x141485+4 ~x141484+2 ~x141483+1 ~x141482+1 ~x65+1 ~x64+1 ~x63+1 ~x62+1 ~x61+1 ~x60+1 ~x59+1 ~x58+1 ~x57+1 ~x56+1 ~x55+1 ~x54+1 ~x53+1 ~x52+1 ~x51+1 ~x50-0=30 3.68/3.73 c 8 ~x142037+4 ~x142036+2 ~x142035+1 ~x142034+1 ~x81+1 ~x80+1 ~x79+1 ~x78+1 ~x77+1 ~x76+1 ~x75+1 ~x74+1 ~x73+1 ~x72+1 ~x71+1 ~x70+1 ~x69+1 ~x68+1 ~x67+1 ~x66-0=30 3.68/3.76 c 8 ~x142589+4 ~x142588+2 ~x142587+1 ~x142586+1 ~x97+1 ~x96+1 ~x95+1 ~x94+1 ~x93+1 ~x92+1 ~x91+1 ~x90+1 ~x89+1 ~x88+1 ~x87+1 ~x86+1 ~x85+1 ~x84+1 ~x83+1 ~x82-0=30 3.68/3.76 c 8 ~x143141+4 ~x143140+2 ~x143139+1 ~x143138+1 ~x113+1 ~x112+1 ~x111+1 ~x110+1 ~x109+1 ~x108+1 ~x107+1 ~x106+1 ~x105+1 ~x104+1 ~x103+1 ~x102+1 ~x101+1 ~x100+1 ~x99+1 ~x98-0=30 3.68/3.78 c 8 ~x143693+4 ~x143692+2 ~x143691+1 ~x143690+1 ~x129+1 ~x128+1 ~x127+1 ~x126+1 ~x125+1 ~x124+1 ~x123+1 ~x122+1 ~x121+1 ~x120+1 ~x119+1 ~x118+1 ~x117+1 ~x116+1 ~x115+1 ~x114-0=30 3.78/3.81 c 8 ~x144245+4 ~x144244+2 ~x144243+1 ~x144242+1 ~x145+1 ~x144+1 ~x143+1 ~x142+1 ~x141+1 ~x140+1 ~x139+1 ~x138+1 ~x137+1 ~x136+1 ~x135+1 ~x134+1 ~x133+1 ~x132+1 ~x131+1 ~x130-0=30 3.78/3.81 c 8 ~x144797+4 ~x144796+2 ~x144795+1 ~x144794+1 ~x161+1 ~x160+1 ~x159+1 ~x158+1 ~x157+1 ~x156+1 ~x155+1 ~x154+1 ~x153+1 ~x152+1 ~x151+1 ~x150+1 ~x149+1 ~x148+1 ~x147+1 ~x146-0=30 3.78/3.82 c 8 ~x145349+4 ~x145348+2 ~x145347+1 ~x145346+1 ~x177+1 ~x176+1 ~x175+1 ~x174+1 ~x173+1 ~x172+1 ~x171+1 ~x170+1 ~x169+1 ~x168+1 ~x167+1 ~x166+1 ~x165+1 ~x164+1 ~x163+1 ~x162-0=30 3.78/3.84 c 8 ~x145901+4 ~x145900+2 ~x145899+1 ~x145898+1 ~x193+1 ~x192+1 ~x191+1 ~x190+1 ~x189+1 ~x188+1 ~x187+1 ~x186+1 ~x185+1 ~x184+1 ~x183+1 ~x182+1 ~x181+1 ~x180+1 ~x179+1 ~x178-0=30 3.78/3.86 c 8 ~x146453+4 ~x146452+2 ~x146451+1 ~x146450+1 ~x209+1 ~x208+1 ~x207+1 ~x206+1 ~x205+1 ~x204+1 ~x203+1 ~x202+1 ~x201+1 ~x200+1 ~x199+1 ~x198+1 ~x197+1 ~x196+1 ~x195+1 ~x194-0=30 3.78/3.86 c 8 ~x147005+4 ~x147004+2 ~x147003+1 ~x147002+1 ~x225+1 ~x224+1 ~x223+1 ~x222+1 ~x221+1 ~x220+1 ~x219+1 ~x218+1 ~x217+1 ~x216+1 ~x215+1 ~x214+1 ~x213+1 ~x212+1 ~x211+1 ~x210-0=30 3.78/3.88 c 8 ~x147557+4 ~x147556+2 ~x147555+1 ~x147554+1 ~x241+1 ~x240+1 ~x239+1 ~x238+1 ~x237+1 ~x236+1 ~x235+1 ~x234+1 ~x233+1 ~x232+1 ~x231+1 ~x230+1 ~x229+1 ~x228+1 ~x227+1 ~x226-0=30 3.88/3.91 c 8 ~x148109+4 ~x148108+2 ~x148107+1 ~x148106+1 ~x257+1 ~x256+1 ~x255+1 ~x254+1 ~x253+1 ~x252+1 ~x251+1 ~x250+1 ~x249+1 ~x248+1 ~x247+1 ~x246+1 ~x245+1 ~x244+1 ~x243+1 ~x242-0=30 3.88/3.91 c 8 ~x148661+4 ~x148660+2 ~x148659+1 ~x148658+1 ~x273+1 ~x272+1 ~x271+1 ~x270+1 ~x269+1 ~x268+1 ~x267+1 ~x266+1 ~x265+1 ~x264+1 ~x263+1 ~x262+1 ~x261+1 ~x260+1 ~x259+1 ~x258-0=30 3.88/3.92 c 8 ~x149213+4 ~x149212+2 ~x149211+1 ~x149210+1 ~x289+1 ~x288+1 ~x287+1 ~x286+1 ~x285+1 ~x284+1 ~x283+1 ~x282+1 ~x281+1 ~x280+1 ~x279+1 ~x278+1 ~x277+1 ~x276+1 ~x275+1 ~x274-0=30 3.88/3.95 c 8 ~x149765+4 ~x149764+2 ~x149763+1 ~x149762+1 ~x305+1 ~x304+1 ~x303+1 ~x302+1 ~x301+1 ~x300+1 ~x299+1 ~x298+1 ~x297+1 ~x296+1 ~x295+1 ~x294+1 ~x293+1 ~x292+1 ~x291+1 ~x290-0=30 3.88/3.95 c 8 ~x150317+4 ~x150316+2 ~x150315+1 ~x150314+1 ~x321+1 ~x320+1 ~x319+1 ~x318+1 ~x317+1 ~x316+1 ~x315+1 ~x314+1 ~x313+1 ~x312+1 ~x311+1 ~x310+1 ~x309+1 ~x308+1 ~x307+1 ~x306-0=30 3.88/3.97 c 8 ~x150869+4 ~x150868+2 ~x150867+1 ~x150866+1 ~x337+1 ~x336+1 ~x335+1 ~x334+1 ~x333+1 ~x332+1 ~x331+1 ~x330+1 ~x329+1 ~x328+1 ~x327+1 ~x326+1 ~x325+1 ~x324+1 ~x323+1 ~x322-0=30 3.88/3.98 c 8 ~x151421+4 ~x151420+2 ~x151419+1 ~x151418+1 ~x353+1 ~x352+1 ~x351+1 ~x350+1 ~x349+1 ~x348+1 ~x347+1 ~x346+1 ~x345+1 ~x344+1 ~x343+1 ~x342+1 ~x341+1 ~x340+1 ~x339+1 ~x338-0=30 3.99/4.01 c 8 ~x151973+4 ~x151972+2 ~x151971+1 ~x151970+1 ~x369+1 ~x368+1 ~x367+1 ~x366+1 ~x365+1 ~x364+1 ~x363+1 ~x362+1 ~x361+1 ~x360+1 ~x359+1 ~x358+1 ~x357+1 ~x356+1 ~x355+1 ~x354-0=30 3.99/4.01 c 8 ~x152525+4 ~x152524+2 ~x152523+1 ~x152522+1 ~x385+1 ~x384+1 ~x383+1 ~x382+1 ~x381+1 ~x380+1 ~x379+1 ~x378+1 ~x377+1 ~x376+1 ~x375+1 ~x374+1 ~x373+1 ~x372+1 ~x371+1 ~x370-0=30 3.99/4.03 c 8 ~x153077+4 ~x153076+2 ~x153075+1 ~x153074+1 ~x401+1 ~x400+1 ~x399+1 ~x398+1 ~x397+1 ~x396+1 ~x395+1 ~x394+1 ~x393+1 ~x392+1 ~x391+1 ~x390+1 ~x389+1 ~x388+1 ~x387+1 ~x386-0=30 3.99/4.06 c 8 ~x153629+4 ~x153628+2 ~x153627+1 ~x153626+1 ~x417+1 ~x416+1 ~x415+1 ~x414+1 ~x413+1 ~x412+1 ~x411+1 ~x410+1 ~x409+1 ~x408+1 ~x407+1 ~x406+1 ~x405+1 ~x404+1 ~x403+1 ~x402-0=30 3.99/4.06 c 8 ~x154181+4 ~x154180+2 ~x154179+1 ~x154178+1 ~x433+1 ~x432+1 ~x431+1 ~x430+1 ~x429+1 ~x428+1 ~x427+1 ~x426+1 ~x425+1 ~x424+1 ~x423+1 ~x422+1 ~x421+1 ~x420+1 ~x419+1 ~x418-0=30 3.99/4.07 c 8 ~x154733+4 ~x154732+2 ~x154731+1 ~x154730+1 ~x449+1 ~x448+1 ~x447+1 ~x446+1 ~x445+1 ~x444+1 ~x443+1 ~x442+1 ~x441+1 ~x440+1 ~x439+1 ~x438+1 ~x437+1 ~x436+1 ~x435+1 ~x434-0=30 4.09/4.10 c 8 ~x155285+4 ~x155284+2 ~x155283+1 ~x155282+1 ~x465+1 ~x464+1 ~x463+1 ~x462+1 ~x461+1 ~x460+1 ~x459+1 ~x458+1 ~x457+1 ~x456+1 ~x455+1 ~x454+1 ~x453+1 ~x452+1 ~x451+1 ~x450-0=30 4.09/4.10 c 8 ~x155837+4 ~x155836+2 ~x155835+1 ~x155834+1 ~x481+1 ~x480+1 ~x479+1 ~x478+1 ~x477+1 ~x476+1 ~x475+1 ~x474+1 ~x473+1 ~x472+1 ~x471+1 ~x470+1 ~x469+1 ~x468+1 ~x467+1 ~x466-0=30 4.09/4.12 c 8 ~x156389+4 ~x156388+2 ~x156387+1 ~x156386+1 ~x497+1 ~x496+1 ~x495+1 ~x494+1 ~x493+1 ~x492+1 ~x491+1 ~x490+1 ~x489+1 ~x488+1 ~x487+1 ~x486+1 ~x485+1 ~x484+1 ~x483+1 ~x482-0=30 4.09/4.13 c 8 ~x156941+4 ~x156940+2 ~x156939+1 ~x156938+1 ~x513+1 ~x512+1 ~x511+1 ~x510+1 ~x509+1 ~x508+1 ~x507+1 ~x506+1 ~x505+1 ~x504+1 ~x503+1 ~x502+1 ~x501+1 ~x500+1 ~x499+1 ~x498-0=30 4.09/4.16 c 8 ~x157493+4 ~x157492+2 ~x157491+1 ~x157490+1 ~x529+1 ~x528+1 ~x527+1 ~x526+1 ~x525+1 ~x524+1 ~x523+1 ~x522+1 ~x521+1 ~x520+1 ~x519+1 ~x518+1 ~x517+1 ~x516+1 ~x515+1 ~x514-0=30 4.09/4.16 c 8 ~x158045+4 ~x158044+2 ~x158043+1 ~x158042+1 ~x545+1 ~x544+1 ~x543+1 ~x542+1 ~x541+1 ~x540+1 ~x539+1 ~x538+1 ~x537+1 ~x536+1 ~x535+1 ~x534+1 ~x533+1 ~x532+1 ~x531+1 ~x530-0=30 4.09/4.18 c 8 ~x158597+4 ~x158596+2 ~x158595+1 ~x158594+1 ~x561+1 ~x560+1 ~x559+1 ~x558+1 ~x557+1 ~x556+1 ~x555+1 ~x554+1 ~x553+1 ~x552+1 ~x551+1 ~x550+1 ~x549+1 ~x548+1 ~x547+1 ~x546-0=30 4.19/4.21 c 8 ~x159149+4 ~x159148+2 ~x159147+1 ~x159146+1 ~x577+1 ~x576+1 ~x575+1 ~x574+1 ~x573+1 ~x572+1 ~x571+1 ~x570+1 ~x569+1 ~x568+1 ~x567+1 ~x566+1 ~x565+1 ~x564+1 ~x563+1 ~x562-0=30 4.19/4.21 c 8 ~x159701+4 ~x159700+2 ~x159699+1 ~x159698+1 ~x593+1 ~x592+1 ~x591+1 ~x590+1 ~x589+1 ~x588+1 ~x587+1 ~x586+1 ~x585+1 ~x584+1 ~x583+1 ~x582+1 ~x581+1 ~x580+1 ~x579+1 ~x578-0=30 4.19/4.22 c 8 ~x160253+4 ~x160252+2 ~x160251+1 ~x160250+1 ~x609+1 ~x608+1 ~x607+1 ~x606+1 ~x605+1 ~x604+1 ~x603+1 ~x602+1 ~x601+1 ~x600+1 ~x599+1 ~x598+1 ~x597+1 ~x596+1 ~x595+1 ~x594-0=30 4.19/4.25 c 8 ~x160805+4 ~x160804+2 ~x160803+1 ~x160802+1 ~x625+1 ~x624+1 ~x623+1 ~x622+1 ~x621+1 ~x620+1 ~x619+1 ~x618+1 ~x617+1 ~x616+1 ~x615+1 ~x614+1 ~x613+1 ~x612+1 ~x611+1 ~x610-0=30 4.19/4.25 c 8 ~x161357+4 ~x161356+2 ~x161355+1 ~x161354+1 ~x641+1 ~x640+1 ~x639+1 ~x638+1 ~x637+1 ~x636+1 ~x635+1 ~x634+1 ~x633+1 ~x632+1 ~x631+1 ~x630+1 ~x629+1 ~x628+1 ~x627+1 ~x626-0=30 4.19/4.27 c 8 ~x161909+4 ~x161908+2 ~x161907+1 ~x161906+1 ~x657+1 ~x656+1 ~x655+1 ~x654+1 ~x653+1 ~x652+1 ~x651+1 ~x650+1 ~x649+1 ~x648+1 ~x647+1 ~x646+1 ~x645+1 ~x644+1 ~x643+1 ~x642-0=30 4.19/4.28 c 8 ~x162461+4 ~x162460+2 ~x162459+1 ~x162458+1 ~x673+1 ~x672+1 ~x671+1 ~x670+1 ~x669+1 ~x668+1 ~x667+1 ~x666+1 ~x665+1 ~x664+1 ~x663+1 ~x662+1 ~x661+1 ~x660+1 ~x659+1 ~x658-0=30 4.29/4.31 c 8 ~x163013+4 ~x163012+2 ~x163011+1 ~x163010+1 ~x689+1 ~x688+1 ~x687+1 ~x686+1 ~x685+1 ~x684+1 ~x683+1 ~x682+1 ~x681+1 ~x680+1 ~x679+1 ~x678+1 ~x677+1 ~x676+1 ~x675+1 ~x674-0=30 4.29/4.31 c 8 ~x163565+4 ~x163564+2 ~x163563+1 ~x163562+1 ~x705+1 ~x704+1 ~x703+1 ~x702+1 ~x701+1 ~x700+1 ~x699+1 ~x698+1 ~x697+1 ~x696+1 ~x695+1 ~x694+1 ~x693+1 ~x692+1 ~x691+1 ~x690-0=30 4.29/4.32 c 8 ~x164117+4 ~x164116+2 ~x164115+1 ~x164114+1 ~x721+1 ~x720+1 ~x719+1 ~x718+1 ~x717+1 ~x716+1 ~x715+1 ~x714+1 ~x713+1 ~x712+1 ~x711+1 ~x710+1 ~x709+1 ~x708+1 ~x707+1 ~x706-0=30 4.29/4.35 c 8 ~x164669+4 ~x164668+2 ~x164667+1 ~x164666+1 ~x737+1 ~x736+1 ~x735+1 ~x734+1 ~x733+1 ~x732+1 ~x731+1 ~x730+1 ~x729+1 ~x728+1 ~x727+1 ~x726+1 ~x725+1 ~x724+1 ~x723+1 ~x722-0=30 4.29/4.35 c 8 ~x165221+4 ~x165220+2 ~x165219+1 ~x165218+1 ~x753+1 ~x752+1 ~x751+1 ~x750+1 ~x749+1 ~x748+1 ~x747+1 ~x746+1 ~x745+1 ~x744+1 ~x743+1 ~x742+1 ~x741+1 ~x740+1 ~x739+1 ~x738-0=30 4.29/4.37 c 8 ~x165773+4 ~x165772+2 ~x165771+1 ~x165770+1 ~x769+1 ~x768+1 ~x767+1 ~x766+1 ~x765+1 ~x764+1 ~x763+1 ~x762+1 ~x761+1 ~x760+1 ~x759+1 ~x758+1 ~x757+1 ~x756+1 ~x755+1 ~x754-0=30 4.29/4.40 c 8 ~x166325+4 ~x166324+2 ~x166323+1 ~x166322+1 ~x785+1 ~x784+1 ~x783+1 ~x782+1 ~x781+1 ~x780+1 ~x779+1 ~x778+1 ~x777+1 ~x776+1 ~x775+1 ~x774+1 ~x773+1 ~x772+1 ~x771+1 ~x770-0=30 4.29/4.40 c 8 ~x166877+4 ~x166876+2 ~x166875+1 ~x166874+1 ~x801+1 ~x800+1 ~x799+1 ~x798+1 ~x797+1 ~x796+1 ~x795+1 ~x794+1 ~x793+1 ~x792+1 ~x791+1 ~x790+1 ~x789+1 ~x788+1 ~x787+1 ~x786-0=30 4.40/4.41 c 8 ~x167429+4 ~x167428+2 ~x167427+1 ~x167426+1 ~x817+1 ~x816+1 ~x815+1 ~x814+1 ~x813+1 ~x812+1 ~x811+1 ~x810+1 ~x809+1 ~x808+1 ~x807+1 ~x806+1 ~x805+1 ~x804+1 ~x803+1 ~x802-0=30 4.40/4.43 c 8 ~x167981+4 ~x167980+2 ~x167979+1 ~x167978+1 ~x833+1 ~x832+1 ~x831+1 ~x830+1 ~x829+1 ~x828+1 ~x827+1 ~x826+1 ~x825+1 ~x824+1 ~x823+1 ~x822+1 ~x821+1 ~x820+1 ~x819+1 ~x818-0=30 4.40/4.46 c 8 ~x168533+4 ~x168532+2 ~x168531+1 ~x168530+1 ~x849+1 ~x848+1 ~x847+1 ~x846+1 ~x845+1 ~x844+1 ~x843+1 ~x842+1 ~x841+1 ~x840+1 ~x839+1 ~x838+1 ~x837+1 ~x836+1 ~x835+1 ~x834-0=30 4.40/4.46 c 8 ~x169085+4 ~x169084+2 ~x169083+1 ~x169082+1 ~x865+1 ~x864+1 ~x863+1 ~x862+1 ~x861+1 ~x860+1 ~x859+1 ~x858+1 ~x857+1 ~x856+1 ~x855+1 ~x854+1 ~x853+1 ~x852+1 ~x851+1 ~x850-0=30 4.40/4.48 c 8 ~x169637+4 ~x169636+2 ~x169635+1 ~x169634+1 ~x881+1 ~x880+1 ~x879+1 ~x878+1 ~x877+1 ~x876+1 ~x875+1 ~x874+1 ~x873+1 ~x872+1 ~x871+1 ~x870+1 ~x869+1 ~x868+1 ~x867+1 ~x866-0=30 4.49/4.51 c 8 ~x170189+4 ~x170188+2 ~x170187+1 ~x170186+1 ~x897+1 ~x896+1 ~x895+1 ~x894+1 ~x893+1 ~x892+1 ~x891+1 ~x890+1 ~x889+1 ~x888+1 ~x887+1 ~x886+1 ~x885+1 ~x884+1 ~x883+1 ~x882-0=30 4.49/4.51 c 8 ~x170741+4 ~x170740+2 ~x170739+1 ~x170738+1 ~x913+1 ~x912+1 ~x911+1 ~x910+1 ~x909+1 ~x908+1 ~x907+1 ~x906+1 ~x905+1 ~x904+1 ~x903+1 ~x902+1 ~x901+1 ~x900+1 ~x899+1 ~x898-0=30 4.49/4.52 c 8 ~x171293+4 ~x171292+2 ~x171291+1 ~x171290+1 ~x929+1 ~x928+1 ~x927+1 ~x926+1 ~x925+1 ~x924+1 ~x923+1 ~x922+1 ~x921+1 ~x920+1 ~x919+1 ~x918+1 ~x917+1 ~x916+1 ~x915+1 ~x914-0=30 4.49/4.55 c 8 ~x171845+4 ~x171844+2 ~x171843+1 ~x171842+1 ~x945+1 ~x944+1 ~x943+1 ~x942+1 ~x941+1 ~x940+1 ~x939+1 ~x938+1 ~x937+1 ~x936+1 ~x935+1 ~x934+1 ~x933+1 ~x932+1 ~x931+1 ~x930-0=30 4.49/4.55 c 8 ~x172397+4 ~x172396+2 ~x172395+1 ~x172394+1 ~x961+1 ~x960+1 ~x959+1 ~x958+1 ~x957+1 ~x956+1 ~x955+1 ~x954+1 ~x953+1 ~x952+1 ~x951+1 ~x950+1 ~x949+1 ~x948+1 ~x947+1 ~x946-0=30 4.49/4.57 c 8 ~x172949+4 ~x172948+2 ~x172947+1 ~x172946+1 ~x977+1 ~x976+1 ~x975+1 ~x974+1 ~x973+1 ~x972+1 ~x971+1 ~x970+1 ~x969+1 ~x968+1 ~x967+1 ~x966+1 ~x965+1 ~x964+1 ~x963+1 ~x962-0=30 4.49/4.58 c 8 ~x173501+4 ~x173500+2 ~x173499+1 ~x173498+1 ~x993+1 ~x992+1 ~x991+1 ~x990+1 ~x989+1 ~x988+1 ~x987+1 ~x986+1 ~x985+1 ~x984+1 ~x983+1 ~x982+1 ~x981+1 ~x980+1 ~x979+1 ~x978-0=30 4.59/4.61 c 8 ~x174053+4 ~x174052+2 ~x174051+1 ~x174050+1 ~x1009+1 ~x1008+1 ~x1007+1 ~x1006+1 ~x1005+1 ~x1004+1 ~x1003+1 ~x1002+1 ~x1001+1 ~x1000+1 ~x999+1 ~x998+1 ~x997+1 ~x996+1 ~x995+1 ~x994-0=30 4.59/4.61 c 8 ~x174605+4 ~x174604+2 ~x174603+1 ~x174602+1 ~x1025+1 ~x1024+1 ~x1023+1 ~x1022+1 ~x1021+1 ~x1020+1 ~x1019+1 ~x1018+1 ~x1017+1 ~x1016+1 ~x1015+1 ~x1014+1 ~x1013+1 ~x1012+1 ~x1011+1 ~x1010-0=30 4.59/4.62 c 8 ~x175157+4 ~x175156+2 ~x175155+1 ~x175154+1 ~x1041+1 ~x1040+1 ~x1039+1 ~x1038+1 ~x1037+1 ~x1036+1 ~x1035+1 ~x1034+1 ~x1033+1 ~x1032+1 ~x1031+1 ~x1030+1 ~x1029+1 ~x1028+1 ~x1027+1 ~x1026-0=30 4.59/4.64 c 8 ~x175709+4 ~x175708+2 ~x175707+1 ~x175706+1 ~x1057+1 ~x1056+1 ~x1055+1 ~x1054+1 ~x1053+1 ~x1052+1 ~x1051+1 ~x1050+1 ~x1049+1 ~x1048+1 ~x1047+1 ~x1046+1 ~x1045+1 ~x1044+1 ~x1043+1 ~x1042-0=30 4.59/4.67 c 8 ~x176261+4 ~x176260+2 ~x176259+1 ~x176258+1 ~x1073+1 ~x1072+1 ~x1071+1 ~x1070+1 ~x1069+1 ~x1068+1 ~x1067+1 ~x1066+1 ~x1065+1 ~x1064+1 ~x1063+1 ~x1062+1 ~x1061+1 ~x1060+1 ~x1059+1 ~x1058-0=30 4.59/4.67 c 8 ~x176813+4 ~x176812+2 ~x176811+1 ~x176810+1 ~x1089+1 ~x1088+1 ~x1087+1 ~x1086+1 ~x1085+1 ~x1084+1 ~x1083+1 ~x1082+1 ~x1081+1 ~x1080+1 ~x1079+1 ~x1078+1 ~x1077+1 ~x1076+1 ~x1075+1 ~x1074-0=30 4.59/4.68 c 8 ~x177365+4 ~x177364+2 ~x177363+1 ~x177362+1 ~x1105+1 ~x1104+1 ~x1103+1 ~x1102+1 ~x1101+1 ~x1100+1 ~x1099+1 ~x1098+1 ~x1097+1 ~x1096+1 ~x1095+1 ~x1094+1 ~x1093+1 ~x1092+1 ~x1091+1 ~x1090-0=30 4.69/4.70 c 8 ~x177917+4 ~x177916+2 ~x177915+1 ~x177914+1 ~x1121+1 ~x1120+1 ~x1119+1 ~x1118+1 ~x1117+1 ~x1116+1 ~x1115+1 ~x1114+1 ~x1113+1 ~x1112+1 ~x1111+1 ~x1110+1 ~x1109+1 ~x1108+1 ~x1107+1 ~x1106-0=30 4.69/4.73 c 8 ~x178469+4 ~x178468+2 ~x178467+1 ~x178466+1 ~x1137+1 ~x1136+1 ~x1135+1 ~x1134+1 ~x1133+1 ~x1132+1 ~x1131+1 ~x1130+1 ~x1129+1 ~x1128+1 ~x1127+1 ~x1126+1 ~x1125+1 ~x1124+1 ~x1123+1 ~x1122-0=30 4.69/4.73 c 8 ~x179021+4 ~x179020+2 ~x179019+1 ~x179018+1 ~x1153+1 ~x1152+1 ~x1151+1 ~x1150+1 ~x1149+1 ~x1148+1 ~x1147+1 ~x1146+1 ~x1145+1 ~x1144+1 ~x1143+1 ~x1142+1 ~x1141+1 ~x1140+1 ~x1139+1 ~x1138-0=30 4.69/4.74 c 8 ~x179573+4 ~x179572+2 ~x179571+1 ~x179570+1 ~x1169+1 ~x1168+1 ~x1167+1 ~x1166+1 ~x1165+1 ~x1164+1 ~x1163+1 ~x1162+1 ~x1161+1 ~x1160+1 ~x1159+1 ~x1158+1 ~x1157+1 ~x1156+1 ~x1155+1 ~x1154-0=30 4.69/4.76 c 8 ~x180125+4 ~x180124+2 ~x180123+1 ~x180122+1 ~x1185+1 ~x1184+1 ~x1183+1 ~x1182+1 ~x1181+1 ~x1180+1 ~x1179+1 ~x1178+1 ~x1177+1 ~x1176+1 ~x1175+1 ~x1174+1 ~x1173+1 ~x1172+1 ~x1171+1 ~x1170-0=30 4.69/4.79 c 8 ~x180677+4 ~x180676+2 ~x180675+1 ~x180674+1 ~x1201+1 ~x1200+1 ~x1199+1 ~x1198+1 ~x1197+1 ~x1196+1 ~x1195+1 ~x1194+1 ~x1193+1 ~x1192+1 ~x1191+1 ~x1190+1 ~x1189+1 ~x1188+1 ~x1187+1 ~x1186-0=30 4.69/4.79 c 8 ~x181229+4 ~x181228+2 ~x181227+1 ~x181226+1 ~x1217+1 ~x1216+1 ~x1215+1 ~x1214+1 ~x1213+1 ~x1212+1 ~x1211+1 ~x1210+1 ~x1209+1 ~x1208+1 ~x1207+1 ~x1206+1 ~x1205+1 ~x1204+1 ~x1203+1 ~x1202-0=30 4.79/4.80 c 8 ~x181781+4 ~x181780+2 ~x181779+1 ~x181778+1 ~x1233+1 ~x1232+1 ~x1231+1 ~x1230+1 ~x1229+1 ~x1228+1 ~x1227+1 ~x1226+1 ~x1225+1 ~x1224+1 ~x1223+1 ~x1222+1 ~x1221+1 ~x1220+1 ~x1219+1 ~x1218-0=30 4.79/4.82 c 8 ~x182333+4 ~x182332+2 ~x182331+1 ~x182330+1 ~x1249+1 ~x1248+1 ~x1247+1 ~x1246+1 ~x1245+1 ~x1244+1 ~x1243+1 ~x1242+1 ~x1241+1 ~x1240+1 ~x1239+1 ~x1238+1 ~x1237+1 ~x1236+1 ~x1235+1 ~x1234-0=30 4.79/4.85 c 8 ~x182885+4 ~x182884+2 ~x182883+1 ~x182882+1 ~x1265+1 ~x1264+1 ~x1263+1 ~x1262+1 ~x1261+1 ~x1260+1 ~x1259+1 ~x1258+1 ~x1257+1 ~x1256+1 ~x1255+1 ~x1254+1 ~x1253+1 ~x1252+1 ~x1251+1 ~x1250-0=30 4.79/4.85 c 8 ~x183437+4 ~x183436+2 ~x183435+1 ~x183434+1 ~x1281+1 ~x1280+1 ~x1279+1 ~x1278+1 ~x1277+1 ~x1276+1 ~x1275+1 ~x1274+1 ~x1273+1 ~x1272+1 ~x1271+1 ~x1270+1 ~x1269+1 ~x1268+1 ~x1267+1 ~x1266-0=30 4.79/4.86 c 8 ~x183989+4 ~x183988+2 ~x183987+1 ~x183986+1 ~x1297+1 ~x1296+1 ~x1295+1 ~x1294+1 ~x1293+1 ~x1292+1 ~x1291+1 ~x1290+1 ~x1289+1 ~x1288+1 ~x1287+1 ~x1286+1 ~x1285+1 ~x1284+1 ~x1283+1 ~x1282-0=30 4.79/4.88 c 8 ~x184541+4 ~x184540+2 ~x184539+1 ~x184538+1 ~x1313+1 ~x1312+1 ~x1311+1 ~x1310+1 ~x1309+1 ~x1308+1 ~x1307+1 ~x1306+1 ~x1305+1 ~x1304+1 ~x1303+1 ~x1302+1 ~x1301+1 ~x1300+1 ~x1299+1 ~x1298-0=30 4.88/4.91 c 8 ~x185093+4 ~x185092+2 ~x185091+1 ~x185090+1 ~x1329+1 ~x1328+1 ~x1327+1 ~x1326+1 ~x1325+1 ~x1324+1 ~x1323+1 ~x1322+1 ~x1321+1 ~x1320+1 ~x1319+1 ~x1318+1 ~x1317+1 ~x1316+1 ~x1315+1 ~x1314-0=30 4.88/4.92 c 8 ~x185645+4 ~x185644+2 ~x185643+1 ~x185642+1 ~x1345+1 ~x1344+1 ~x1343+1 ~x1342+1 ~x1341+1 ~x1340+1 ~x1339+1 ~x1338+1 ~x1337+1 ~x1336+1 ~x1335+1 ~x1334+1 ~x1333+1 ~x1332+1 ~x1331+1 ~x1330-0=30 4.88/4.92 c 8 ~x186197+4 ~x186196+2 ~x186195+1 ~x186194+1 ~x1361+1 ~x1360+1 ~x1359+1 ~x1358+1 ~x1357+1 ~x1356+1 ~x1355+1 ~x1354+1 ~x1353+1 ~x1352+1 ~x1351+1 ~x1350+1 ~x1349+1 ~x1348+1 ~x1347+1 ~x1346-0=30 4.88/4.94 c 8 ~x186749+4 ~x186748+2 ~x186747+1 ~x186746+1 ~x1377+1 ~x1376+1 ~x1375+1 ~x1374+1 ~x1373+1 ~x1372+1 ~x1371+1 ~x1370+1 ~x1369+1 ~x1368+1 ~x1367+1 ~x1366+1 ~x1365+1 ~x1364+1 ~x1363+1 ~x1362-0=30 4.88/4.95 c 8 ~x187301+4 ~x187300+2 ~x187299+1 ~x187298+1 ~x1393+1 ~x1392+1 ~x1391+1 ~x1390+1 ~x1389+1 ~x1388+1 ~x1387+1 ~x1386+1 ~x1385+1 ~x1384+1 ~x1383+1 ~x1382+1 ~x1381+1 ~x1380+1 ~x1379+1 ~x1378-0=30 4.88/4.98 c 8 ~x187853+4 ~x187852+2 ~x187851+1 ~x187850+1 ~x1409+1 ~x1408+1 ~x1407+1 ~x1406+1 ~x1405+1 ~x1404+1 ~x1403+1 ~x1402+1 ~x1401+1 ~x1400+1 ~x1399+1 ~x1398+1 ~x1397+1 ~x1396+1 ~x1395+1 ~x1394-0=30 4.88/4.98 c 8 ~x188405+4 ~x188404+2 ~x188403+1 ~x188402+1 ~x1425+1 ~x1424+1 ~x1423+1 ~x1422+1 ~x1421+1 ~x1420+1 ~x1419+1 ~x1418+1 ~x1417+1 ~x1416+1 ~x1415+1 ~x1414+1 ~x1413+1 ~x1412+1 ~x1411+1 ~x1410-0=30 4.98/5.00 c 8 ~x188957+4 ~x188956+2 ~x188955+1 ~x188954+1 ~x1441+1 ~x1440+1 ~x1439+1 ~x1438+1 ~x1437+1 ~x1436+1 ~x1435+1 ~x1434+1 ~x1433+1 ~x1432+1 ~x1431+1 ~x1430+1 ~x1429+1 ~x1428+1 ~x1427+1 ~x1426-0=30 4.98/5.01 c 8 ~x189509+4 ~x189508+2 ~x189507+1 ~x189506+1 ~x1457+1 ~x1456+1 ~x1455+1 ~x1454+1 ~x1453+1 ~x1452+1 ~x1451+1 ~x1450+1 ~x1449+1 ~x1448+1 ~x1447+1 ~x1446+1 ~x1445+1 ~x1444+1 ~x1443+1 ~x1442-0=30 4.98/5.04 c 8 ~x190061+4 ~x190060+2 ~x190059+1 ~x190058+1 ~x1473+1 ~x1472+1 ~x1471+1 ~x1470+1 ~x1469+1 ~x1468+1 ~x1467+1 ~x1466+1 ~x1465+1 ~x1464+1 ~x1463+1 ~x1462+1 ~x1461+1 ~x1460+1 ~x1459+1 ~x1458-0=30 4.98/5.04 c 8 ~x190613+4 ~x190612+2 ~x190611+1 ~x190610+1 ~x1489+1 ~x1488+1 ~x1487+1 ~x1486+1 ~x1485+1 ~x1484+1 ~x1483+1 ~x1482+1 ~x1481+1 ~x1480+1 ~x1479+1 ~x1478+1 ~x1477+1 ~x1476+1 ~x1475+1 ~x1474-0=30 4.98/5.06 c 8 ~x191165+4 ~x191164+2 ~x191163+1 ~x191162+1 ~x1505+1 ~x1504+1 ~x1503+1 ~x1502+1 ~x1501+1 ~x1500+1 ~x1499+1 ~x1498+1 ~x1497+1 ~x1496+1 ~x1495+1 ~x1494+1 ~x1493+1 ~x1492+1 ~x1491+1 ~x1490-0=30 4.98/5.07 c 8 ~x191717+4 ~x191716+2 ~x191715+1 ~x191714+1 ~x1521+1 ~x1520+1 ~x1519+1 ~x1518+1 ~x1517+1 ~x1516+1 ~x1515+1 ~x1514+1 ~x1513+1 ~x1512+1 ~x1511+1 ~x1510+1 ~x1509+1 ~x1508+1 ~x1507+1 ~x1506-0=30 5.08/5.10 c 8 ~x192269+4 ~x192268+2 ~x192267+1 ~x192266+1 ~x1537+1 ~x1536+1 ~x1535+1 ~x1534+1 ~x1533+1 ~x1532+1 ~x1531+1 ~x1530+1 ~x1529+1 ~x1528+1 ~x1527+1 ~x1526+1 ~x1525+1 ~x1524+1 ~x1523+1 ~x1522-0=30 5.08/5.10 c 8 ~x192821+4 ~x192820+2 ~x192819+1 ~x192818+1 ~x1553+1 ~x1552+1 ~x1551+1 ~x1550+1 ~x1549+1 ~x1548+1 ~x1547+1 ~x1546+1 ~x1545+1 ~x1544+1 ~x1543+1 ~x1542+1 ~x1541+1 ~x1540+1 ~x1539+1 ~x1538-0=30 5.08/5.12 c 8 ~x193373+4 ~x193372+2 ~x193371+1 ~x193370+1 ~x1569+1 ~x1568+1 ~x1567+1 ~x1566+1 ~x1565+1 ~x1564+1 ~x1563+1 ~x1562+1 ~x1561+1 ~x1560+1 ~x1559+1 ~x1558+1 ~x1557+1 ~x1556+1 ~x1555+1 ~x1554-0=30 5.08/5.13 c 8 ~x193925+4 ~x193924+2 ~x193923+1 ~x193922+1 ~x1585+1 ~x1584+1 ~x1583+1 ~x1582+1 ~x1581+1 ~x1580+1 ~x1579+1 ~x1578+1 ~x1577+1 ~x1576+1 ~x1575+1
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-2674907-1276818656/watcher-2674907-1276818656 -o /tmp/evaluation-result-2674907-1276818656/solver-2674907-1276818656 -C 1800 -W 2000 -M 1800 run HOME/instance-2674907-1276818656.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.92 0.98 0.99 3/106 23761 /proc/meminfo: memFree=1844692/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [startup+0.030594 s] /proc/loadavg: 0.92 0.98 0.99 3/106 23761 /proc/meminfo: memFree=1844692/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100604 s] /proc/loadavg: 0.92 0.98 0.99 3/106 23761 /proc/meminfo: memFree=1844692/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300632 s] /proc/loadavg: 0.92 0.98 0.99 3/106 23761 /proc/meminfo: memFree=1844692/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700689 s] /proc/loadavg: 0.92 0.98 0.99 3/106 23761 /proc/meminfo: memFree=1844692/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5008 s] /proc/loadavg: 0.92 0.98 0.99 2/108 23764 /proc/meminfo: memFree=1765564/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=91408 CPUtime=1.49 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 26262 0 0 0 123 26 0 0 25 0 1 0 23153696 93601792 22079 1992294400 134512640 134902295 4288818928 18446744073709551615 4160345842 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 22852 22079 262 96 0 22064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 100108 [startup+3.10103 s] /proc/loadavg: 0.92 0.98 0.99 2/108 23764 /proc/meminfo: memFree=1748080/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=119312 CPUtime=3.09 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 34019 0 0 0 278 31 0 0 25 0 1 0 23153696 122175488 28717 1992294400 134512640 134902295 4288818928 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 29828 28725 262 96 0 29040 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 128012 [startup+6.30148 s] /proc/loadavg: 0.93 0.98 0.99 2/108 23764 /proc/meminfo: memFree=1696992/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=152256 CPUtime=6.28 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 42669 0 0 0 594 34 0 0 25 0 1 0 23153696 155910144 37063 1992294400 134512640 134902295 4288818928 18446744073709551615 4160345055 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 38064 37063 269 96 0 37276 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 160956 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/108 23764 /proc/meminfo: memFree=1694636/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=154164 CPUtime=12.69 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 43142 0 0 0 1234 35 0 0 25 0 1 0 23153696 157863936 37536 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362834 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 38541 37536 269 96 0 37753 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 162864 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/108 23764 /proc/meminfo: memFree=1692776/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=155980 CPUtime=25.48 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 43590 0 0 0 2512 36 0 0 25 0 1 0 23153696 159723520 37984 1992294400 134512640 134902295 4288818928 18446744073709551615 4160351237 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 38995 37984 269 96 0 38207 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 164680 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/108 23766 /proc/meminfo: memFree=1684592/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=164292 CPUtime=51.07 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 45663 0 0 0 5070 37 0 0 25 0 1 0 23153696 168235008 40049 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362775 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 41073 40049 269 96 0 40285 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 172992 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 23766 /proc/meminfo: memFree=1669092/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=179420 CPUtime=102.26 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 49435 0 0 0 10186 40 0 0 25 0 1 0 23153696 183726080 43821 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362784 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 44855 43821 269 96 0 44067 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 188120 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 23768 /proc/meminfo: memFree=1659296/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=189352 CPUtime=162.24 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 51880 0 0 0 16182 42 0 0 25 0 1 0 23153696 193896448 46266 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362978 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 47338 46266 269 96 0 46550 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 198052 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 23770 /proc/meminfo: memFree=1653592/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=195004 CPUtime=222.22 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 53308 0 0 0 22179 43 0 0 25 0 1 0 23153696 199684096 47694 1992294400 134512640 134902295 4288818928 18446744073709551615 4160351555 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 48751 47694 269 96 0 47963 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 203704 [startup+282.301 s] /proc/loadavg: 1.12 1.02 1.00 2/108 23772 /proc/meminfo: memFree=1643548/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=205364 CPUtime=282.21 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 55830 0 0 0 28175 46 0 0 25 0 1 0 23153696 210292736 50216 1992294400 134512640 134902295 4288818928 18446744073709551615 4160365522 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 51341 50216 269 96 0 50553 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 214064 [startup+342.301 s] /proc/loadavg: 1.11 1.03 1.00 2/108 23774 /proc/meminfo: memFree=1635736/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=213064 CPUtime=342.19 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 57775 0 0 0 34172 47 0 0 25 0 1 0 23153696 218177536 52161 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362630 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 53266 52161 269 96 0 52478 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 221764 [startup+402.301 s] /proc/loadavg: 1.10 1.04 1.00 2/108 23774 /proc/meminfo: memFree=1629908/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=218848 CPUtime=402.16 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 59214 0 0 0 40168 48 0 0 25 0 1 0 23153696 224100352 53600 1992294400 134512640 134902295 4288818928 18446744073709551615 4160365577 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 54712 53600 269 96 0 53924 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 227548 [startup+462.301 s] ################ # More data... # ################ /proc/23763/statm: 65181 64007 269 96 0 64393 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 269424 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23805 /proc/meminfo: memFree=1586260/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=263144 CPUtime=1181.93 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 69997 0 0 0 118133 60 0 0 25 0 1 0 23153696 269459456 64383 1992294400 134512640 134902295 4288818928 18446744073709551615 4160367615 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 65786 64383 269 96 0 64998 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 271844 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23807 /proc/meminfo: memFree=1584524/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=264576 CPUtime=1241.91 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 70362 0 0 0 124131 60 0 0 25 0 1 0 23153696 270925824 64748 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 66144 64748 269 96 0 65356 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 273276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23807 /proc/meminfo: memFree=1583036/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=265984 CPUtime=1301.9 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 70716 0 0 0 130129 61 0 0 25 0 1 0 23153696 272367616 65102 1992294400 134512640 134902295 4288818928 18446744073709551615 4160332543 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 66496 65102 269 96 0 65708 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 274684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23809 /proc/meminfo: memFree=1581548/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=267436 CPUtime=1361.87 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 71085 0 0 0 136126 61 0 0 25 0 1 0 23153696 273854464 65471 1992294400 134512640 134902295 4288818928 18446744073709551615 4160332543 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 66859 65471 269 96 0 66071 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 276136 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23811 /proc/meminfo: memFree=1579564/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=269472 CPUtime=1421.86 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 71593 0 0 0 142124 62 0 0 25 0 1 0 23153696 275939328 65979 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 67368 65979 269 96 0 66580 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 278172 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23813 /proc/meminfo: memFree=1577580/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=271332 CPUtime=1481.84 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 72058 0 0 0 148121 63 0 0 25 0 1 0 23153696 277843968 66444 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 67833 66444 269 96 0 67045 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 280032 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23815 /proc/meminfo: memFree=1576340/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=272656 CPUtime=1541.82 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 72365 0 0 0 154119 63 0 0 25 0 1 0 23153696 279199744 66751 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 68164 66751 269 96 0 67376 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 281356 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23815 /proc/meminfo: memFree=1574852/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=273976 CPUtime=1601.81 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 72709 0 0 0 160117 64 0 0 25 0 1 0 23153696 280551424 67095 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 68494 67095 269 96 0 67706 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 282676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23817 /proc/meminfo: memFree=1573488/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=275308 CPUtime=1661.78 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 73050 0 0 0 166114 64 0 0 25 0 1 0 23153696 281915392 67436 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 68827 67436 269 96 0 68039 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 284008 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23819 /proc/meminfo: memFree=1572000/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=276644 CPUtime=1721.77 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 73404 0 0 0 172112 65 0 0 25 0 1 0 23153696 283283456 67790 1992294400 134512640 134902295 4288818928 18446744073709551615 4160365491 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 69161 67790 269 96 0 68373 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 285344 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23821 /proc/meminfo: memFree=1570388/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=278228 CPUtime=1781.75 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 73781 0 0 0 178110 65 0 0 25 0 1 0 23153696 284905472 68167 1992294400 134512640 134902295 4288818928 18446744073709551615 4160344746 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 69557 68167 269 96 0 68769 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 286928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23821 /proc/meminfo: memFree=1570016/2059040 swapFree=4140984/4192956 [pid=23761] ppid=23759 vsize=8700 CPUtime=0 /proc/23761/stat : 23761 (run) S 23759 23761 23481 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 23153696 8908800 250 1992294400 4194304 4922060 140733986818928 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23761/statm: 2175 250 211 178 0 68 0 [pid=23763] ppid=23761 vsize=278624 CPUtime=1800.06 /proc/23763/stat : 23763 (PBPASSolver) R 23761 23761 23481 0 -1 4202496 73892 0 0 0 179941 65 0 0 25 0 1 0 23153696 285310976 68278 1992294400 134512640 134902295 4288818928 18446744073709551615 4160362622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23763/statm: 69656 68278 269 96 0 68868 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 287324 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 23761 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.06 # # 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.06 CPU user time (s): 1799.41 CPU system time (s): 0.65 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 287324 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= 522 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 2.72159 second user time and 8.76167 second system time The end
Begin job on node049 at 2010-06-18 01:50:56 IDJOB=2674907 IDBENCH=71859 IDSOLVER=1174 FILE ID=node049/2674907-1276818656 PBS_JOBID= 11176730 Free space on /tmp= 62520 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__16.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674907-1276818656/watcher-2674907-1276818656 -o /tmp/evaluation-result-2674907-1276818656/solver-2674907-1276818656 -C 1800 -W 2000 -M 1800 run HOME/instance-2674907-1276818656.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3c0b9d73d67a301539707b5cf6d0db6d RANDOM SEED=1958502574 node049.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1845088 kB Buffers: 49628 kB Cached: 71516 kB SwapCached: 5660 kB Active: 56132 kB Inactive: 78176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845088 kB SwapTotal: 4192956 kB SwapFree: 4140984 kB Dirty: 756 kB Writeback: 0 kB AnonPages: 11768 kB Mapped: 13100 kB Slab: 57572 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182728 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-18 02:20:59