Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.09 | 1800.82 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-afiro.opb |
MD5SUM | 87ce4656e5ef67028f049e81ca6b4c7e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -11897496 |
Best CPU time to get the best result obtained on this benchmark | 8.39272 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -11897496 |
Optimality of the best value was proved | YES |
Number of variables | 960 |
Total number of constraints | 27 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 134217728000 |
Number of bits for the biggest coefficient in the objective function | 37 |
Sum of the numbers in the objective function | 316753837785 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 1304059445248 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 20964809094075 |
Number of bits of the biggest sum of numbers | 45 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
9.89/9.97 c 960 27 0 0 0 0 0 0 9.89/9.97 c 536870912 ~x440447+268435456 ~x440446+134217728 ~x440445+67108864 ~x440444+33554432 ~x440443+16777216 ~x440442+8388608 ~x440441+4194304 ~x440440+2097152 ~x440439+1048576 ~x440438+524288 ~x440437+262144 ~x440436+131072 ~x440435+65536 ~x440434+32768 ~x440433+16384 ~x440432+8192 ~x440431+4096 ~x440430+2048 ~x440429+1024 ~x440428+512 ~x440427+256 ~x440426+128 ~x440425+64 ~x440424+32 ~x440423+16 ~x440422+8 ~x440421+4 ~x440420+2 ~x440419+1 ~x440418+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=2147401726 10.37/10.43 c 536870912 ~x460760+268435456 ~x460759+134217728 ~x460758+67108864 ~x460757+33554432 ~x460756+16777216 ~x460755+8388608 ~x460754+4194304 ~x460753+2097152 ~x460752+1048576 ~x460751+524288 ~x460750+262144 ~x460749+131072 ~x460748+65536 ~x460747+32768 ~x460746+16384 ~x460745+8192 ~x460744+4096 ~x460743+2048 ~x460742+1024 ~x460741+512 ~x460740+256 ~x460739+128 ~x460738+64 ~x460737+32 ~x460736+16 ~x460735+8 ~x460734+4 ~x460733+2 ~x460732+1 ~x460731+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x151+268435456 ~x150+134217728 ~x149+67108864 ~x148+33554432 ~x147+16777216 ~x146+8388608 ~x145+4194304 ~x144+2097152 ~x143+1048576 ~x142+524288 ~x141+262144 ~x140+131072 ~x139+65536 ~x138+32768 ~x137+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=2147401726 11.08/11.15 c 536870912 ~x492503+268435456 ~x492502+134217728 ~x492501+67108864 ~x492500+33554432 ~x492499+16777216 ~x492498+8388608 ~x492497+4194304 ~x492496+2097152 ~x492495+1048576 ~x492494+524288 ~x492493+262144 ~x492492+131072 ~x492491+65536 ~x492490+32768 ~x492489+16384 ~x492488+8192 ~x492487+4096 ~x492486+2048 ~x492485+1024 ~x492484+512 ~x492483+256 ~x492482+128 ~x492481+64 ~x492480+32 ~x492479+16 ~x492478+8 ~x492477+4 ~x492476+2 ~x492475+1 ~x492474+536870912 x301+268435456 x300+134217728 x299+67108864 x298+33554432 x297+16777216 x296+8388608 x295+4194304 x294+2097152 x293+1048576 x292+524288 x291+262144 x290+131072 x289+65536 x288+32768 x287+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=2147483646 11.77/11.87 c 536870912 ~x524246+268435456 ~x524245+134217728 ~x524244+67108864 ~x524243+33554432 ~x524242+16777216 ~x524241+8388608 ~x524240+4194304 ~x524239+2097152 ~x524238+1048576 ~x524237+524288 ~x524236+262144 ~x524235+131072 ~x524234+65536 ~x524233+32768 ~x524232+16384 ~x524231+8192 ~x524230+4096 ~x524229+2048 ~x524228+1024 ~x524227+512 ~x524226+256 ~x524225+128 ~x524224+64 ~x524223+32 ~x524222+16 ~x524221+8 ~x524220+4 ~x524219+2 ~x524218+1 ~x524217+536870912 x331+268435456 x330+134217728 x329+67108864 x328+33554432 x327+16777216 x326+8388608 x325+4194304 x324+2097152 x323+1048576 x322+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=2147483646 12.47/12.59 c 536870912 ~x555989+268435456 ~x555988+134217728 ~x555987+67108864 ~x555986+33554432 ~x555985+16777216 ~x555984+8388608 ~x555983+4194304 ~x555982+2097152 ~x555981+1048576 ~x555980+524288 ~x555979+262144 ~x555978+131072 ~x555977+65536 ~x555976+32768 ~x555975+16384 ~x555974+8192 ~x555973+4096 ~x555972+2048 ~x555971+1024 ~x555970+512 ~x555969+256 ~x555968+128 ~x555967+64 ~x555966+32 ~x555965+16 ~x555964+8 ~x555963+4 ~x555962+2 ~x555961+1 ~x555960+536870912 x361+268435456 x360+134217728 x359+67108864 x358+33554432 x357+16777216 x356+8388608 x355+4194304 x354+2097152 x353+1048576 x352+524288 x351+262144 x350+131072 x349+65536 x348+32768 x347+16384 x346+8192 x345+4096 x344+2048 x343+1024 x342+512 x341+256 x340+128 x339+64 x338+32 x337+16 x336+8 x335+4 x334+2 x333+1 x332+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=2147483646 13.27/13.31 c 4294967296 ~x587735+2147483648 ~x587734+1073741824 ~x587733+536870912 ~x587732+268435456 ~x587731+134217728 ~x587730+67108864 ~x587729+33554432 ~x587728+16777216 ~x587727+8388608 ~x587726+4194304 ~x587725+2097152 ~x587724+1048576 ~x587723+524288 ~x587722+262144 ~x587721+131072 ~x587720+65536 ~x587719+32768 ~x587718+16384 ~x587717+8192 ~x587716+4096 ~x587715+2048 ~x587714+1024 ~x587713+512 ~x587712+256 ~x587711+128 ~x587710+64 ~x587709+32 ~x587708+16 ~x587707+8 ~x587706+4 ~x587705+2 ~x587704+1 ~x587703+3758096384 ~x391+1879048192 ~x390+939524096 ~x389+469762048 ~x388+234881024 ~x387+117440512 ~x386+58720256 ~x385+29360128 ~x384+14680064 ~x383+7340032 ~x382+3670016 ~x381+1835008 ~x380+917504 ~x379+458752 ~x378+229376 ~x377+114688 ~x376+57344 ~x375+28672 ~x374+14336 ~x373+7168 ~x372+3584 ~x371+1792 ~x370+896 ~x369+448 ~x368+224 ~x367+112 ~x366+56 ~x365+28 ~x364+14 ~x363+7 ~x362+2684354560 x61+1342177280 x60+671088640 x59+335544320 x58+167772160 x57+83886080 x56+41943040 x55+20971520 x54+10485760 x53+5242880 x52+2621440 x51+1310720 x50+655360 x49+327680 x48+163840 x47+81920 x46+40960 x45+20480 x44+10240 x43+5120 x42+2560 x41+1280 x40+640 x39+320 x38+160 x37+80 x36+40 x35+20 x34+10 x33+5 x32-0=16106127352 14.07/14.19 c 536870912 ~x626823+268435456 ~x626822+134217728 ~x626821+67108864 ~x626820+33554432 ~x626819+16777216 ~x626818+8388608 ~x626817+4194304 ~x626816+2097152 ~x626815+1048576 ~x626814+524288 ~x626813+262144 ~x626812+131072 ~x626811+65536 ~x626810+32768 ~x626809+16384 ~x626808+8192 ~x626807+4096 ~x626806+2048 ~x626805+1024 ~x626804+512 ~x626803+256 ~x626802+128 ~x626801+64 ~x626800+32 ~x626799+16 ~x626798+8 ~x626797+4 ~x626796+2 ~x626795+1 ~x626794+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=2146971646 14.57/14.66 c 536870912 ~x647136+268435456 ~x647135+134217728 ~x647134+67108864 ~x647133+33554432 ~x647132+16777216 ~x647131+8388608 ~x647130+4194304 ~x647129+2097152 ~x647128+1048576 ~x647127+524288 ~x647126+262144 ~x647125+131072 ~x647124+65536 ~x647123+32768 ~x647122+16384 ~x647121+8192 ~x647120+4096 ~x647119+2048 ~x647118+1024 ~x647117+512 ~x647116+256 ~x647115+128 ~x647114+64 ~x647113+32 ~x647112+16 ~x647111+8 ~x647110+4 ~x647109+2 ~x647108+1 ~x647107+536870912 x751+268435456 x750+134217728 x749+67108864 x748+33554432 x747+16777216 x746+8388608 x745+4194304 x744+2097152 x743+1048576 x742+524288 x741+262144 x740+131072 x739+65536 x738+32768 x737+16384 x736+8192 x735+4096 x734+2048 x733+1024 x732+512 x731+256 x730+128 x729+64 x728+32 x727+16 x726+8 x725+4 x724+2 x723+1 x722+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=2146971646 15.29/15.38 c 536870912 ~x678879+268435456 ~x678878+134217728 ~x678877+67108864 ~x678876+33554432 ~x678875+16777216 ~x678874+8388608 ~x678873+4194304 ~x678872+2097152 ~x678871+1048576 ~x678870+524288 ~x678869+262144 ~x678868+131072 ~x678867+65536 ~x678866+32768 ~x678865+16384 ~x678864+8192 ~x678863+4096 ~x678862+2048 ~x678861+1024 ~x678860+512 ~x678859+256 ~x678858+128 ~x678857+64 ~x678856+32 ~x678855+16 ~x678854+8 ~x678853+4 ~x678852+2 ~x678851+1 ~x678850+536870912 x781+268435456 x780+134217728 x779+67108864 x778+33554432 x777+16777216 x776+8388608 x775+4194304 x774+2097152 x773+1048576 x772+524288 x771+262144 x770+131072 x769+65536 x768+32768 x767+16384 x766+8192 x765+4096 x764+2048 x763+1024 x762+512 x761+256 x760+128 x759+64 x758+32 x757+16 x756+8 x755+4 x754+2 x753+1 x752+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=2147483646 16.07/16.10 c 536870912 ~x710622+268435456 ~x710621+134217728 ~x710620+67108864 ~x710619+33554432 ~x710618+16777216 ~x710617+8388608 ~x710616+4194304 ~x710615+2097152 ~x710614+1048576 ~x710613+524288 ~x710612+262144 ~x710611+131072 ~x710610+65536 ~x710609+32768 ~x710608+16384 ~x710607+8192 ~x710606+4096 ~x710605+2048 ~x710604+1024 ~x710603+512 ~x710602+256 ~x710601+128 ~x710600+64 ~x710599+32 ~x710598+16 ~x710597+8 ~x710596+4 ~x710595+2 ~x710594+1 ~x710593+536870912 x811+268435456 x810+134217728 x809+67108864 x808+33554432 x807+16777216 x806+8388608 x805+4194304 x804+2097152 x803+1048576 x802+524288 x801+262144 x800+131072 x799+65536 x798+32768 x797+16384 x796+8192 x795+4096 x794+2048 x793+1024 x792+512 x791+256 x790+128 x789+64 x788+32 x787+16 x786+8 x785+4 x784+2 x783+1 x782+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=2147483646 16.78/16.82 c 536870912 ~x742365+268435456 ~x742364+134217728 ~x742363+67108864 ~x742362+33554432 ~x742361+16777216 ~x742360+8388608 ~x742359+4194304 ~x742358+2097152 ~x742357+1048576 ~x742356+524288 ~x742355+262144 ~x742354+131072 ~x742353+65536 ~x742352+32768 ~x742351+16384 ~x742350+8192 ~x742349+4096 ~x742348+2048 ~x742347+1024 ~x742346+512 ~x742345+256 ~x742344+128 ~x742343+64 ~x742342+32 ~x742341+16 ~x742340+8 ~x742339+4 ~x742338+2 ~x742337+1 ~x742336+536870912 x841+268435456 x840+134217728 x839+67108864 x838+33554432 x837+16777216 x836+8388608 x835+4194304 x834+2097152 x833+1048576 x832+524288 x831+262144 x830+131072 x829+65536 x828+32768 x827+16384 x826+8192 x825+4096 x824+2048 x823+1024 x822+512 x821+256 x820+128 x819+64 x818+32 x817+16 x816+8 x815+4 x814+2 x813+1 x812+536870912 ~x721+268435456 ~x720+134217728 ~x719+67108864 ~x718+33554432 ~x717+16777216 ~x716+8388608 ~x715+4194304 ~x714+2097152 ~x713+1048576 ~x712+524288 ~x711+262144 ~x710+131072 ~x709+65536 ~x708+32768 ~x707+16384 ~x706+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=2147483646 17.49/17.53 c 4294967296 ~x774111+2147483648 ~x774110+1073741824 ~x774109+536870912 ~x774108+268435456 ~x774107+134217728 ~x774106+67108864 ~x774105+33554432 ~x774104+16777216 ~x774103+8388608 ~x774102+4194304 ~x774101+2097152 ~x774100+1048576 ~x774099+524288 ~x774098+262144 ~x774097+131072 ~x774096+65536 ~x774095+32768 ~x774094+16384 ~x774093+8192 ~x774092+4096 ~x774091+2048 ~x774090+1024 ~x774089+512 ~x774088+256 ~x774087+128 ~x774086+64 ~x774085+32 ~x774084+16 ~x774083+8 ~x774082+4 ~x774081+2 ~x774080+1 ~x774079+3758096384 ~x871+1879048192 ~x870+939524096 ~x869+469762048 ~x868+234881024 ~x867+117440512 ~x866+58720256 ~x865+29360128 ~x864+14680064 ~x863+7340032 ~x862+3670016 ~x861+1835008 ~x860+917504 ~x859+458752 ~x858+229376 ~x857+114688 ~x856+57344 ~x855+28672 ~x854+14336 ~x853+7168 ~x852+3584 ~x851+1792 ~x850+896 ~x849+448 ~x848+224 ~x847+112 ~x846+56 ~x845+28 ~x844+14 ~x843+7 ~x842+2684354560 x511+1342177280 x510+671088640 x509+335544320 x508+167772160 x507+83886080 x506+41943040 x505+20971520 x504+10485760 x503+5242880 x502+2621440 x501+1310720 x500+655360 x499+327680 x498+163840 x497+81920 x496+40960 x495+20480 x494+10240 x493+5120 x492+2560 x491+1280 x490+640 x489+320 x488+160 x487+80 x486+40 x485+20 x484+10 x483+5 x482-0=16106127352 18.37/18.44 c 17592186044416 ~x813214+8796093022208 ~x813213+4398046511104 ~x813212+2199023255552 ~x813211+1099511627776 ~x813210+549755813888 ~x813209+274877906944 ~x813208+137438953472 ~x813207+68719476736 ~x813206+34359738368 ~x813205+17179869184 ~x813204+8589934592 ~x813203+4294967296 ~x813202+2147483648 ~x813201+1073741824 ~x813200+536870912 ~x813199+268435456 ~x813198+134217728 ~x813197+67108864 ~x813196+33554432 ~x813195+16777216 ~x813194+8388608 ~x813193+4194304 ~x813192+2097152 ~x813191+1048576 ~x813190+524288 ~x813189+262144 ~x813188+131072 ~x813187+65536 ~x813186+32768 ~x813185+16384 ~x813184+8192 ~x813183+4096 ~x813182+2048 ~x813181+1024 ~x813180+512 ~x813179+256 ~x813178+128 ~x813177+64 ~x813176+32 ~x813175+16 ~x813174+8 ~x813173+4 ~x813172+2 ~x813171+1 ~x813170+1223528808448 ~x841+611764404224 ~x840+305882202112 ~x839+152941101056 ~x838+76470550528 ~x837+38235275264 ~x836+19117637632 ~x835+9558818816 ~x834+4779409408 ~x833+2389704704 ~x832+1194852352 ~x831+597426176 ~x830+298713088 ~x829+149356544 ~x828+74678272 ~x827+37339136 ~x826+18669568 ~x825+9334784 ~x824+4667392 ~x823+2333696 ~x822+1166848 ~x821+583424 ~x820+291712 ~x819+145856 ~x818+72928 ~x817+36464 ~x816+18232 ~x815+9116 ~x814+4558 ~x813+2279 ~x812+1207422681088 ~x811+603711340544 ~x810+301855670272 ~x809+150927835136 ~x808+75463917568 ~x807+37731958784 ~x806+18865979392 ~x805+9432989696 ~x804+4716494848 ~x803+2358247424 ~x802+1179123712 ~x801+589561856 ~x800+294780928 ~x799+147390464 ~x798+73695232 ~x797+36847616 ~x796+18423808 ~x795+9211904 ~x794+4605952 ~x793+2302976 ~x792+1151488 ~x791+575744 ~x790+287872 ~x789+143936 ~x788+71968 ~x787+35984 ~x786+17992 ~x785+8996 ~x784+4498 ~x783+2249 ~x782+1191316553728 ~x781+595658276864 ~x780+297829138432 ~x779+148914569216 ~x778+74457284608 ~x777+37228642304 ~x776+18614321152 ~x775+9307160576 ~x774+4653580288 ~x773+2326790144 ~x772+1163395072 ~x771+581697536 ~x770+290848768 ~x769+145424384 ~x768+72712192 ~x767+36356096 ~x766+18178048 ~x765+9089024 ~x764+4544512 ~x763+2272256 ~x762+1136128 ~x761+568064 ~x760+284032 ~x759+142016 ~x758+71008 ~x757+35504 ~x756+17752 ~x755+8876 ~x754+4438 ~x753+2219 ~x752+1176284168192 ~x751+588142084096 ~x750+294071042048 ~x749+147035521024 ~x748+73517760512 ~x747+36758880256 ~x746+18379440128 ~x745+9189720064 ~x744+4594860032 ~x743+2297430016 ~x742+1148715008 ~x741+574357504 ~x740+287178752 ~x739+143589376 ~x738+71794688 ~x737+35897344 ~x736+17948672 ~x735+8974336 ~x734+4487168 ~x733+2243584 ~x732+1121792 ~x731+560896 ~x730+280448 ~x729+140224 ~x728+70112 ~x727+35056 ~x726+17528 ~x725+8764 ~x724+4382 ~x723+2191 ~x722+536870912000 x571+268435456000 x570+134217728000 x569+67108864000 x568+33554432000 x567+16777216000 x566+8388608000 x565+4194304000 x564+2097152000 x563+1048576000 x562+524288000 x561+262144000 x560+131072000 x559+65536000 x558+32768000 x557+16384000 x556+8192000 x555+4096000 x554+2048000 x553+1024000 x552+512000 x551+256000 x550+128000 x549+64000 x548+32000 x547+16000 x546+8000 x545+4000 x544+2000 x543+1000 x542+1304059445248 ~x361+652029722624 ~x360+326014861312 ~x359+163007430656 ~x358+81503715328 ~x357+40751857664 ~x356+20375928832 ~x355+10187964416 ~x354+5093982208 ~x353+2546991104 ~x352+1273495552 ~x351+636747776 ~x350+318373888 ~x349+159186944 ~x348+79593472 ~x347+39796736 ~x346+19898368 ~x345+9949184 ~x344+4974592 ~x343+2487296 ~x342+1243648 ~x341+621824 ~x340+310912 ~x339+155456 ~x338+77728 ~x337+38864 ~x336+19432 ~x335+9716 ~x334+4858 ~x333+2429 ~x332+1292785156096 ~x331+646392578048 ~x330+323196289024 ~x329+161598144512 ~x328+80799072256 ~x327+40399536128 ~x326+20199768064 ~x325+10099884032 ~x324+5049942016 ~x323+2524971008 ~x322+1262485504 ~x321+631242752 ~x320+315621376 ~x319+157810688 ~x318+78905344 ~x317+39452672 ~x316+19726336 ~x315+9863168 ~x314+4931584 ~x313+2465792 ~x312+1232896 ~x311+616448 ~x310+308224 ~x309+154112 ~x308+77056 ~x307+38528 ~x306+19264 ~x305+9632 ~x304+4816 ~x303+2408 ~x302+1280973996032 ~x301+640486998016 ~x300+320243499008 ~x299+160121749504 ~x298+80060874752 ~x297+40030437376 ~x296+20015218688 ~x295+10007609344 ~x294+5003804672 ~x293+2501902336 ~x292+1250951168 ~x291+625475584 ~x290+312737792 ~x289+156368896 ~x288+78184448 ~x287+39092224 ~x286+19546112 ~x285+9773056 ~x284+4886528 ~x283+2443264 ~x282+1221632 ~x281+610816 ~x280+305408 ~x279+152704 ~x278+76352 ~x277+38176 ~x276+19088 ~x275+9544 ~x274+4772 ~x273+2386 ~x272+1269162835968 ~x271+634581417984 ~x270+317290708992 ~x269+158645354496 ~x268+79322677248 ~x267+39661338624 ~x266+19830669312 ~x265+9915334656 ~x264+4957667328 ~x263+2478833664 ~x262+1239416832 ~x261+619708416 ~x260+309854208 ~x259+154927104 ~x258+77463552 ~x257+38731776 ~x256+19365888 ~x255+9682944 ~x254+4841472 ~x253+2420736 ~x252+1210368 ~x251+605184 ~x250+302592 ~x249+151296 ~x248+75648 ~x247+37824 ~x246+18912 ~x245+9456 ~x244+4728 ~x243+2364 ~x242-0=55075439359906 22.78/22.80 c 68719476736 ~x1010582+34359738368 ~x1010581+17179869184 ~x1010580+8589934592 ~x1010579+4294967296 ~x1010578+2147483648 ~x1010577+1073741824 ~x1010576+536870912 ~x1010575+268435456 ~x1010574+134217728 ~x1010573+67108864 ~x1010572+33554432 ~x1010571+16777216 ~x1010570+8388608 ~x1010569+4194304 ~x1010568+2097152 ~x1010567+1048576 ~x1010566+524288 ~x1010565+262144 ~x1010564+131072 ~x1010563+65536 ~x1010562+32768 ~x1010561+16384 ~x1010560+8192 ~x1010559+4096 ~x1010558+2048 ~x1010557+1024 ~x1010556+512 ~x1010555+256 ~x1010554+128 ~x1010553+64 ~x1010552+32 ~x1010551+16 ~x1010550+8 ~x1010549+4 ~x1010548+2 ~x1010547+1 ~x1010546+58518929408 ~x481+29259464704 ~x480+14629732352 ~x479+7314866176 ~x478+3657433088 ~x477+1828716544 ~x476+914358272 ~x475+457179136 ~x474+228589568 ~x473+114294784 ~x472+57147392 ~x471+28573696 ~x470+14286848 ~x469+7143424 ~x468+3571712 ~x467+1785856 ~x466+892928 ~x465+446464 ~x464+223232 ~x463+111616 ~x462+55808 ~x461+27904 ~x460+13952 ~x459+6976 ~x458+3488 ~x457+1744 ~x456+872 ~x455+436 ~x454+218 ~x453+109 ~x452+67108864000 x88+33554432000 x87+16777216000 x86+8388608000 x85+4194304000 x84+2097152000 x83+1048576000 x82+524288000 x81+262144000 x80+131072000 x79+65536000 x78+32768000 x77+16384000 x76+8192000 x75+4096000 x74+2048000 x73+1024000 x72+512000 x71+256000 x70+128000 x69+64000 x68+32000 x67+16000 x66+8000 x65+4000 x64+2000 x63+1000 x62-0=254476812178 23.77/23.86 c 274877906944 ~x1057639+137438953472 ~x1057638+68719476736 ~x1057637+34359738368 ~x1057636+17179869184 ~x1057635+8589934592 ~x1057634+4294967296 ~x1057633+2147483648 ~x1057632+1073741824 ~x1057631+536870912 ~x1057630+268435456 ~x1057629+134217728 ~x1057628+67108864 ~x1057627+33554432 ~x1057626+16777216 ~x1057625+8388608 ~x1057624+4194304 ~x1057623+2097152 ~x1057622+1048576 ~x1057621+524288 ~x1057620+262144 ~x1057619+131072 ~x1057618+65536 ~x1057617+32768 ~x1057616+16384 ~x1057615+8192 ~x1057614+4096 ~x1057613+2048 ~x1057612+1024 ~x1057611+512 ~x1057610+256 ~x1057609+128 ~x1057608+64 ~x1057607+32 ~x1057606+16 ~x1057605+8 ~x1057604+4 ~x1057603+2 ~x1057602+1 ~x1057601+57445187584 ~x721+28722593792 ~x720+14361296896 ~x719+7180648448 ~x718+3590324224 ~x717+1795162112 ~x716+897581056 ~x715+448790528 ~x714+224395264 ~x713+112197632 ~x712+56098816 ~x711+28049408 ~x710+14024704 ~x709+7012352 ~x708+3506176 ~x707+1753088 ~x706+876544 ~x705+438272 ~x704+219136 ~x703+109568 ~x702+54784 ~x701+27392 ~x700+13696 ~x699+6848 ~x698+3424 ~x697+1712 ~x696+856 ~x695+428 ~x694+214 ~x693+107 ~x692+57982058496 ~x691+28991029248 ~x690+14495514624 ~x689+7247757312 ~x688+3623878656 ~x687+1811939328 ~x686+905969664 ~x685+452984832 ~x684+226492416 ~x683+113246208 ~x682+56623104 ~x681+28311552 ~x680+14155776 ~x679+7077888 ~x678+3538944 ~x677+1769472 ~x676+884736 ~x675+442368 ~x674+221184 ~x673+110592 ~x672+55296 ~x671+27648 ~x670+13824 ~x669+6912 ~x668+3456 ~x667+1728 ~x666+864 ~x665+432 ~x664+216 ~x663+108 ~x662+57982058496 ~x661+28991029248 ~x660+14495514624 ~x659+7247757312 ~x658+3623878656 ~x657+1811939328 ~x656+905969664 ~x655+452984832 ~x654+226492416 ~x653+113246208 ~x652+56623104 ~x651+28311552 ~x650+14155776 ~x649+7077888 ~x648+3538944 ~x647+1769472 ~x646+884736 ~x645+442368 ~x644+221184 ~x643+110592 ~x642+55296 ~x641+27648 ~x640+13824 ~x639+6912 ~x638+3456 ~x637+1728 ~x636+864 ~x635+432 ~x634+216 ~x633+108 ~x632+58518929408 ~x631+29259464704 ~x630+14629732352 ~x629+7314866176 ~x628+3657433088 ~x627+1828716544 ~x626+914358272 ~x625+457179136 ~x624+228589568 ~x623+114294784 ~x622+57147392 ~x621+28573696 ~x620+14286848 ~x619+7143424 ~x618+3571712 ~x617+1785856 ~x616+892928 ~x615+446464 ~x614+223232 ~x613+111616 ~x612+55808 ~x611+27904 ~x610+13952 ~x609+6976 ~x608+3488 ~x607+1744 ~x606+872 ~x605+436 ~x604+218 ~x603+109 ~x602+268435456000 x420+134217728000 x419+67108864000 x418+33554432000 x417+16777216000 x416+8388608000 x415+4194304000 x414+2097152000 x413+1048576000 x412+524288000 x411+262144000 x410+131072000 x409+65536000 x408+32768000 x407+16384000 x406+8192000 x405+4096000 x404+2048000 x403+1024000 x402+512000 x401+256000 x400+128000 x399+64000 x398+32000 x397+16000 x396+8000 x395+4000 x394+2000 x393+1000 x392-0=1013612281423 25.97/26.08 c 274877906944 ~x1157666+137438953472 ~x1157665+68719476736 ~x1157664+34359738368 ~x1157663+17179869184 ~x1157662+8589934592 ~x1157661+4294967296 ~x1157660+2147483648 ~x1157659+1073741824 ~x1157658+536870912 ~x1157657+268435456 ~x1157656+134217728 ~x1157655+67108864 ~x1157654+33554432 ~x1157653+16777216 ~x1157652+8388608 ~x1157651+4194304 ~x1157650+2097152 ~x1157649+1048576 ~x1157648+524288 ~x1157647+262144 ~x1157646+131072 ~x1157645+65536 ~x1157644+32768 ~x1157643+16384 ~x1157642+8192 ~x1157641+4096 ~x1157640+2048 ~x1157639+1024 ~x1157638+512 ~x1157637+256 ~x1157636+128 ~x1157635+64 ~x1157634+32 ~x1157633+16 ~x1157632+8 ~x1157631+4 ~x1157630+2 ~x1157629+1 ~x1157628+268435456000 x540+134217728000 x539+67108864000 x538+33554432000 x537+16777216000 x536+8388608000 x535+4194304000 x534+2097152000 x533+1048576000 x532+524288000 x531+262144000 x530+131072000 x529+65536000 x528+32768000 x527+16384000 x526+8192000 x525+4096000 x524+2048000 x523+1024000 x522+512000 x521+256000 x520+128000 x519+64000 x518+32000 x517+16000 x516+8000 x515+4000 x514+2000 x513+1000 x512+161598144512 ~x31+80799072256 ~x30+40399536128 ~x29+20199768064 ~x28+10099884032 ~x27+5049942016 ~x26+2524971008 ~x25+1262485504 ~x24+631242752 ~x23+315621376 ~x22+157810688 ~x21+78905344 ~x20+39452672 ~x19+19726336 ~x18+9863168 ~x17+4931584 ~x16+2465792 ~x15+1232896 ~x14+616448 ~x13+308224 ~x12+154112 ~x11+77056 ~x10+38528 ~x9+19264 ~x8+9632 ~x7+4816 ~x6+2408 ~x5+1204 ~x4+602 ~x3+301 ~x2-0=872952102610 27.17/27.21 c 1099511627776 ~x1207553+549755813888 ~x1207552+274877906944 ~x1207551+137438953472 ~x1207550+68719476736 ~x1207549+34359738368 ~x1207548+17179869184 ~x1207547+8589934592 ~x1207546+4294967296 ~x1207545+2147483648 ~x1207544+1073741824 ~x1207543+536870912 ~x1207542+268435456 ~x1207541+134217728 ~x1207540+67108864 ~x1207539+33554432 ~x1207538+16777216 ~x1207537+8388608 ~x1207536+4194304 ~x1207535+2097152 ~x1207534+1048576 ~x1207533+524288 ~x1207532+262144 ~x1207531+131072 ~x1207530+65536 ~x1207529+32768 ~x1207528+16384 ~x1207527+8192 ~x1207526+4096 ~x1207525+2048 ~x1207524+1024 ~x1207523+512 ~x1207522+256 ~x1207521+128 ~x1207520+64 ~x1207519+32 ~x1207518+16 ~x1207517+8 ~x1207516+4 ~x1207515+2 ~x1207514+1 ~x1207513+536870912000 x901+268435456000 x900+134217728000 x899+67108864000 x898+33554432000 x897+16777216000 x896+8388608000 x895+4194304000 x894+2097152000 x893+1048576000 x892+524288000 x891+262144000 x890+131072000 x889+65536000 x888+32768000 x887+16384000 x886+8192000 x885+4096000 x884+2048000 x883+1024000 x882+512000 x881+256000 x880+128000 x879+64000 x878+32000 x877+16000 x876+8000 x875+4000 x874+2000 x873+1000 x872+175019917312 ~x241+87509958656 ~x240+43754979328 ~x239+21877489664 ~x238+10938744832 ~x237+5469372416 ~x236+2734686208 ~x235+1367343104 ~x234+683671552 ~x233+341835776 ~x232+170917888 ~x231+85458944 ~x230+42729472 ~x229+21364736 ~x228+10682368 ~x227+5341184 ~x226+2670592 ~x225+1335296 ~x224+667648 ~x223+333824 ~x222+166912 ~x221+83456 ~x220+41728 ~x219+20864 ~x218+10432 ~x217+5216 ~x216+2608 ~x215+1304 ~x214+652 ~x213+326 ~x212+168040595456 ~x211+84020297728 ~x210+42010148864 ~x209+21005074432 ~x208+10502537216 ~x207+5251268608 ~x206+2625634304 ~x205+1312817152 ~x204+656408576 ~x203+328204288 ~x202+164102144 ~x201+82051072 ~x200+41025536 ~x199+20512768 ~x198+10256384 ~x197+5128192 ~x196+2564096 ~x195+1282048 ~x194+641024 ~x193+320512 ~x192+160256 ~x191+80128 ~x190+40064 ~x189+20032 ~x188+10016 ~x187+5008 ~x186+2504 ~x185+1252 ~x184+626 ~x183+313 ~x182+168040595456 ~x181+84020297728 ~x180+42010148864 ~x179+21005074432 ~x178+10502537216 ~x177+5251268608 ~x176+2625634304 ~x175+1312817152 ~x174+656408576 ~x173+328204288 ~x172+164102144 ~x171+82051072 ~x170+41025536 ~x169+20512768 ~x168+10256384 ~x167+5128192 ~x166+2564096 ~x165+1282048 ~x164+641024 ~x163+320512 ~x162+160256 ~x161+80128 ~x160+40064 ~x159+20032 ~x158+10016 ~x157+5008 ~x156+2504 ~x155+1252 ~x154+626 ~x153+313 ~x152+161598144512 ~x151+80799072256 ~x150+40399536128 ~x149+20199768064 ~x148+10099884032 ~x147+5049942016 ~x146+2524971008 ~x145+1262485504 ~x144+631242752 ~x143+315621376 ~x142+157810688 ~x141+78905344 ~x140+39452672 ~x139+19726336 ~x138+9863168 ~x137+4931584 ~x136+2465792 ~x135+1232896 ~x134+616448 ~x133+308224 ~x132+154112 ~x131+77056 ~x130+38528 ~x129+19264 ~x128+9632 ~x127+4816 ~x126+2408 ~x125+1204 ~x124+602 ~x123+301 ~x122-0=3544421759770 29.37/29.48 c 1073741824 ~x1310061+536870912 ~x1310060+268435456 ~x1310059+134217728 ~x1310058+67108864 ~x1310057+33554432 ~x1310056+16777216 ~x1310055+8388608 ~x1310054+4194304 ~x1310053+2097152 ~x1310052+1048576 ~x1310051+524288 ~x1310050+262144 ~x1310049+131072 ~x1310048+65536 ~x1310047+32768 ~x1310046+16384 ~x1310045+8192 ~x1310044+4096 ~x1310043+2048 ~x1310042+1024 ~x1310041+512 ~x1310040+256 ~x1310039+128 ~x1310038+64 ~x1310037+32 ~x1310036+16 ~x1310035+8 ~x1310034+4 ~x1310033+2 ~x1310032+1 ~x1310031+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+536870912 ~x121+268435456 ~x120+134217728 ~x119+67108864 ~x118+33554432 ~x117+16777216 ~x116+8388608 ~x115+4194304 ~x114+2097152 ~x113+1048576 ~x112+524288 ~x111+262144 ~x110+131072 ~x109+65536 ~x108+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=3757778941 30.17/30.20 c 1073741824 ~x1342246+536870912 ~x1342245+268435456 ~x1342244+134217728 ~x1342243+67108864 ~x1342242+33554432 ~x1342241+16777216 ~x1342240+8388608 ~x1342239+4194304 ~x1342238+2097152 ~x1342237+1048576 ~x1342236+524288 ~x1342235+262144 ~x1342234+131072 ~x1342233+65536 ~x1342232+32768 ~x1342231+16384 ~x1342230+8192 ~x1342229+4096 ~x1342228+2048 ~x1342227+1024 ~x1342226+512 ~x1342225+256 ~x1342224+128 ~x1342223+64 ~x1342222+32 ~x1342221+16 ~x1342220+8 ~x1342219+4 ~x1342218+2 ~x1342217+1 ~x1342216+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+536870912 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192
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-2674744-1276799942/watcher-2674744-1276799942 -o /tmp/evaluation-result-2674744-1276799942/solver-2674744-1276799942 -C 1800 -W 2000 -M 1800 run HOME/instance-2674744-1276799942.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 0.99 0.99 3/106 18753 /proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [startup+0.085971 s] /proc/loadavg: 1.06 0.99 0.99 3/106 18753 /proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100969 s] /proc/loadavg: 1.06 0.99 0.99 3/106 18753 /proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301006 s] /proc/loadavg: 1.06 0.99 0.99 3/106 18753 /proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701084 s] /proc/loadavg: 1.06 0.99 0.99 3/106 18753 /proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50123 s] /proc/loadavg: 1.06 0.99 0.99 2/108 18756 /proc/meminfo: memFree=1829120/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=55320 CPUtime=1.48 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 13422 0 0 0 137 11 0 0 19 0 1 0 55597638 56647680 13119 1992294400 134512640 134902295 4288084944 18446744073709551615 134634832 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 13830 13119 262 96 0 13042 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 64020 [startup+3.10052 s] /proc/loadavg: 1.05 0.99 0.99 2/108 18756 /proc/meminfo: memFree=1808412/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=82200 CPUtime=3.08 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 21035 0 0 0 294 14 0 0 24 0 1 0 55597638 84172800 19707 1992294400 134512640 134902295 4288084944 18446744073709551615 2946556 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 20550 19707 262 96 0 19762 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 90900 [startup+6.30112 s] /proc/loadavg: 1.05 0.99 0.99 2/108 18756 /proc/meminfo: memFree=1752364/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=138708 CPUtime=6.28 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 37096 0 0 0 606 22 0 0 25 0 1 0 55597638 142036992 33058 1992294400 134512640 134902295 4288084944 18446744073709551615 134565166 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 34677 33058 262 96 0 33889 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 147408 [startup+12.7013 s] /proc/loadavg: 1.04 0.99 0.99 2/108 18756 /proc/meminfo: memFree=1634440/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=264016 CPUtime=12.68 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 68026 0 0 0 1233 35 0 0 25 0 1 0 55597638 270352384 62237 1992294400 134512640 134902295 4288084944 18446744073709551615 134588635 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 66012 62244 262 96 0 65224 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 272716 [startup+25.5007 s] /proc/loadavg: 1.04 0.99 0.99 2/108 18758 /proc/meminfo: memFree=1397972/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=495996 CPUtime=25.47 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 129375 0 0 0 2487 60 0 0 25 0 1 0 55597638 507899904 119620 1992294400 134512640 134902295 4288084944 18446744073709551615 4160504499 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 123999 119620 262 96 0 123211 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 504696 [startup+51.1014 s] /proc/loadavg: 1.02 0.99 0.99 2/108 18758 /proc/meminfo: memFree=1284016/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=611156 CPUtime=51.06 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 157063 0 0 0 5032 74 0 0 25 0 1 0 55597638 625823744 146796 1992294400 134512640 134902295 4288084944 18446744073709551615 4160523557 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 152789 146796 269 96 0 152001 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 619856 [startup+102.309 s] /proc/loadavg: 1.01 0.99 0.99 2/108 18760 /proc/meminfo: memFree=1277816/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=616928 CPUtime=102.25 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 158507 0 0 0 10149 76 0 0 25 0 1 0 55597638 631734272 148240 1992294400 134512640 134902295 4288084944 18446744073709551615 4160539594 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 154232 148240 269 96 0 153444 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 625628 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18760 /proc/meminfo: memFree=1270500/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=624416 CPUtime=162.22 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 160369 0 0 0 16144 78 0 0 25 0 1 0 55597638 639401984 150102 1992294400 134512640 134902295 4288084944 18446744073709551615 4160525375 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 156104 150102 269 96 0 155316 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 633116 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18762 /proc/meminfo: memFree=1261448/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=633264 CPUtime=222.2 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 162588 0 0 0 22139 81 0 0 25 0 1 0 55597638 648462336 152321 1992294400 134512640 134902295 4288084944 18446744073709551615 4160540357 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 158316 152321 269 96 0 157528 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 641964 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18764 /proc/meminfo: memFree=1251280/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=643460 CPUtime=282.17 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 165137 0 0 0 28134 83 0 0 25 0 1 0 55597638 658903040 154870 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 160865 154870 269 96 0 160077 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 652160 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18766 /proc/meminfo: memFree=1245824/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=648920 CPUtime=342.14 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 166444 0 0 0 34130 84 0 0 25 0 1 0 55597638 664494080 156177 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 162230 156177 269 96 0 161442 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 657620 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18768 /proc/meminfo: memFree=1243468/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=651176 CPUtime=402.12 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 167031 0 0 0 40127 85 0 0 25 0 1 0 55597638 666804224 156764 1992294400 134512640 134902295 4288084944 18446744073709551615 4160537544 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 162794 156764 269 96 0 162006 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 659876 [startup+462.301 s] ################ # More data... # ################ /proc/18755/statm: 176498 170402 269 96 0 175710 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 714692 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18788 /proc/meminfo: memFree=1182336/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=711864 CPUtime=1181.81 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 182127 0 0 0 118079 102 0 0 25 0 1 0 55597638 728948736 171860 1992294400 134512640 134902295 4288084944 18446744073709551615 4160504527 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 177966 171860 269 96 0 177178 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 720564 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18790 /proc/meminfo: memFree=1179236/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=714840 CPUtime=1241.8 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 182870 0 0 0 124077 103 0 0 25 0 1 0 55597638 731996160 172603 1992294400 134512640 134902295 4288084944 18446744073709551615 4160537541 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 178710 172603 269 96 0 177922 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 723540 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18792 /proc/meminfo: memFree=1177376/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=716580 CPUtime=1301.77 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 183326 0 0 0 130074 103 0 0 25 0 1 0 55597638 733777920 173059 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 179145 173059 269 96 0 178357 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 725280 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18801 /proc/meminfo: memFree=1170828/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=722052 CPUtime=1361.74 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 184678 0 0 0 136069 105 0 0 25 0 1 0 55597638 739381248 174411 1992294400 134512640 134902295 4288084944 18446744073709551615 4160527679 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 180513 174411 269 96 0 179725 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 730752 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18803 /proc/meminfo: memFree=1162520/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=730116 CPUtime=1421.73 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 186723 0 0 0 142065 108 0 0 25 0 1 0 55597638 747638784 176456 1992294400 134512640 134902295 4288084944 18446744073709551615 4160523434 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 182529 176456 269 96 0 181741 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 738816 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18805 /proc/meminfo: memFree=1153840/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=739320 CPUtime=1481.7 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 188875 0 0 0 148060 110 0 0 25 0 1 0 55597638 757063680 178608 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534662 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 184830 178608 269 96 0 184042 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 748020 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18807 /proc/meminfo: memFree=1145160/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=747912 CPUtime=1541.67 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 191029 0 0 0 154054 113 0 0 25 0 1 0 55597638 765861888 180762 1992294400 134512640 134902295 4288084944 18446744073709551615 4160523097 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 186978 180762 269 96 0 186190 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 756612 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18809 /proc/meminfo: memFree=1137100/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=755976 CPUtime=1601.65 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 193051 0 0 0 160050 115 0 0 25 0 1 0 55597638 774119424 182784 1992294400 134512640 134902295 4288084944 18446744073709551615 4160542426 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 188994 182784 269 96 0 188206 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 764676 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18809 /proc/meminfo: memFree=1131892/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=761140 CPUtime=1661.63 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 194354 0 0 0 166046 117 0 0 25 0 1 0 55597638 779407360 184087 1992294400 134512640 134902295 4288084944 18446744073709551615 4160504560 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 190285 184087 269 96 0 189497 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 769840 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18811 /proc/meminfo: memFree=1126684/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=766424 CPUtime=1721.61 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 195662 0 0 0 172042 119 0 0 25 0 1 0 55597638 784818176 185395 1992294400 134512640 134902295 4288084944 18446744073709551615 4160537609 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 191606 185395 269 96 0 190818 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 775124 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18813 /proc/meminfo: memFree=1123088/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=769848 CPUtime=1781.58 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 196520 0 0 0 178039 119 0 0 25 0 1 0 55597638 788324352 186253 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 192462 186253 269 96 0 191674 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 778548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18813 /proc/meminfo: memFree=1121972/2059040 swapFree=4140132/4192956 [pid=18753] ppid=18751 vsize=8700 CPUtime=0 /proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18753/statm: 2175 251 211 178 0 68 0 [pid=18755] ppid=18753 vsize=770904 CPUtime=1800.09 /proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 196802 0 0 0 179889 120 0 0 25 0 1 0 55597638 789405696 186535 1992294400 134512640 134902295 4288084944 18446744073709551615 4160539653 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18755/statm: 192726 186535 269 96 0 191938 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 779604 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 18753 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # 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.82 CPU time (s): 1800.09 CPU user time (s): 1798.89 CPU system time (s): 1.2 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 779604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 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= 3 involuntary context switches= 3 runsolver used 2.83557 second user time and 8.64968 second system time The end
Begin job on node007 at 2010-06-17 20:39:02 IDJOB=2674744 IDBENCH=2440 IDSOLVER=1174 FILE ID=node007/2674744-1276799942 PBS_JOBID= 11176671 Free space on /tmp= 62488 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674744-1276799942/watcher-2674744-1276799942 -o /tmp/evaluation-result-2674744-1276799942/solver-2674744-1276799942 -C 1800 -W 2000 -M 1800 run HOME/instance-2674744-1276799942.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87ce4656e5ef67028f049e81ca6b4c7e RANDOM SEED=358275961 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1872560 kB Buffers: 31208 kB Cached: 59908 kB SwapCached: 6616 kB Active: 8372 kB Inactive: 96404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1872560 kB SwapTotal: 4192956 kB SwapFree: 4140132 kB Dirty: 756 kB Writeback: 0 kB AnonPages: 12100 kB Mapped: 13016 kB Slab: 60052 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180884 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= 62488 MiB End job on node007 at 2010-06-17 21:09:05