Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.02 | 1800.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb |
MD5SUM | 1d0806e8d2a90a81262a0ea6810fc3cb |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.357945 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 169 |
Total number of constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1171 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c 169 101 0 0 0 0 0 0 0.00/0.08 c 8 ~x174+4 ~x173+2 ~x172+1 ~x171+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=27 0.00/0.08 c 8 ~x590+4 ~x589+2 ~x588+1 ~x587+1 ~x27+1 ~x26+1 ~x25+1 ~x24+1 ~x23+1 ~x22+1 ~x21+1 ~x20+1 ~x19+1 ~x18+1 ~x17+1 ~x16+1 ~x15-0=27 0.00/0.11 c 8 ~x1006+4 ~x1005+2 ~x1004+1 ~x1003+1 ~x40+1 ~x39+1 ~x38+1 ~x37+1 ~x36+1 ~x35+1 ~x34+1 ~x33+1 ~x32+1 ~x31+1 ~x30+1 ~x29+1 ~x28-0=27 0.00/0.11 c 8 ~x1422+4 ~x1421+2 ~x1420+1 ~x1419+1 ~x53+1 ~x52+1 ~x51+1 ~x50+1 ~x49+1 ~x48+1 ~x47+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42+1 ~x41-0=27 0.00/0.13 c 8 ~x1838+4 ~x1837+2 ~x1836+1 ~x1835+1 ~x66+1 ~x65+1 ~x64+1 ~x63+1 ~x62+1 ~x61+1 ~x60+1 ~x59+1 ~x58+1 ~x57+1 ~x56+1 ~x55+1 ~x54-0=27 0.00/0.13 c 8 ~x2254+4 ~x2253+2 ~x2252+1 ~x2251+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-0=27 0.00/0.15 c 8 ~x2670+4 ~x2669+2 ~x2668+1 ~x2667+1 ~x92+1 ~x91+1 ~x90+1 ~x89+1 ~x88+1 ~x87+1 ~x86+1 ~x85+1 ~x84+1 ~x83+1 ~x82+1 ~x81+1 ~x80-0=27 0.00/0.15 c 8 ~x3086+4 ~x3085+2 ~x3084+1 ~x3083+1 ~x105+1 ~x104+1 ~x103+1 ~x102+1 ~x101+1 ~x100+1 ~x99+1 ~x98+1 ~x97+1 ~x96+1 ~x95+1 ~x94+1 ~x93-0=27 0.00/0.17 c 8 ~x3502+4 ~x3501+2 ~x3500+1 ~x3499+1 ~x118+1 ~x117+1 ~x116+1 ~x115+1 ~x114+1 ~x113+1 ~x112+1 ~x111+1 ~x110+1 ~x109+1 ~x108+1 ~x107+1 ~x106-0=27 0.00/0.17 c 8 ~x3918+4 ~x3917+2 ~x3916+1 ~x3915+1 ~x131+1 ~x130+1 ~x129+1 ~x128+1 ~x127+1 ~x126+1 ~x125+1 ~x124+1 ~x123+1 ~x122+1 ~x121+1 ~x120+1 ~x119-0=27 0.00/0.20 c 8 ~x4334+4 ~x4333+2 ~x4332+1 ~x4331+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-0=27 0.00/0.20 c 8 ~x4750+4 ~x4749+2 ~x4748+1 ~x4747+1 ~x157+1 ~x156+1 ~x155+1 ~x154+1 ~x153+1 ~x152+1 ~x151+1 ~x150+1 ~x149+1 ~x148+1 ~x147+1 ~x146+1 ~x145-0=27 0.00/0.21 c 8 ~x5166+4 ~x5165+2 ~x5164+1 ~x5163+1 ~x170+1 ~x169+1 ~x168+1 ~x167+1 ~x166+1 ~x165+1 ~x164+1 ~x163+1 ~x162+1 ~x161+1 ~x160+1 ~x159+1 ~x158-0=27 0.00/0.23 c 8 ~x5582+4 ~x5581+2 ~x5580+1 ~x5579+1 ~x158+1 ~x145+1 ~x132+1 ~x119+1 ~x106+1 ~x93+1 ~x80+1 ~x67+1 ~x54+1 ~x41+1 ~x28+1 ~x15+1 ~x2-0=27 0.00/0.23 c 8 ~x5998+4 ~x5997+2 ~x5996+1 ~x5995+1 ~x159+1 ~x146+1 ~x133+1 ~x120+1 ~x107+1 ~x94+1 ~x81+1 ~x68+1 ~x55+1 ~x42+1 ~x29+1 ~x16+1 ~x3-0=27 0.00/0.26 c 8 ~x6414+4 ~x6413+2 ~x6412+1 ~x6411+1 ~x160+1 ~x147+1 ~x134+1 ~x121+1 ~x108+1 ~x95+1 ~x82+1 ~x69+1 ~x56+1 ~x43+1 ~x30+1 ~x17+1 ~x4-0=27 0.00/0.26 c 8 ~x6830+4 ~x6829+2 ~x6828+1 ~x6827+1 ~x161+1 ~x148+1 ~x135+1 ~x122+1 ~x109+1 ~x96+1 ~x83+1 ~x70+1 ~x57+1 ~x44+1 ~x31+1 ~x18+1 ~x5-0=27 0.00/0.28 c 8 ~x7246+4 ~x7245+2 ~x7244+1 ~x7243+1 ~x162+1 ~x149+1 ~x136+1 ~x123+1 ~x110+1 ~x97+1 ~x84+1 ~x71+1 ~x58+1 ~x45+1 ~x32+1 ~x19+1 ~x6-0=27 0.00/0.28 c 8 ~x7662+4 ~x7661+2 ~x7660+1 ~x7659+1 ~x163+1 ~x150+1 ~x137+1 ~x124+1 ~x111+1 ~x98+1 ~x85+1 ~x72+1 ~x59+1 ~x46+1 ~x33+1 ~x20+1 ~x7-0=27 0.00/0.30 c 8 ~x8078+4 ~x8077+2 ~x8076+1 ~x8075+1 ~x164+1 ~x151+1 ~x138+1 ~x125+1 ~x112+1 ~x99+1 ~x86+1 ~x73+1 ~x60+1 ~x47+1 ~x34+1 ~x21+1 ~x8-0=27 0.00/0.30 c 8 ~x8494+4 ~x8493+2 ~x8492+1 ~x8491+1 ~x165+1 ~x152+1 ~x139+1 ~x126+1 ~x113+1 ~x100+1 ~x87+1 ~x74+1 ~x61+1 ~x48+1 ~x35+1 ~x22+1 ~x9-0=27 0.00/0.32 c 8 ~x8910+4 ~x8909+2 ~x8908+1 ~x8907+1 ~x166+1 ~x153+1 ~x140+1 ~x127+1 ~x114+1 ~x101+1 ~x88+1 ~x75+1 ~x62+1 ~x49+1 ~x36+1 ~x23+1 ~x10-0=27 0.00/0.32 c 8 ~x9326+4 ~x9325+2 ~x9324+1 ~x9323+1 ~x167+1 ~x154+1 ~x141+1 ~x128+1 ~x115+1 ~x102+1 ~x89+1 ~x76+1 ~x63+1 ~x50+1 ~x37+1 ~x24+1 ~x11-0=27 0.00/0.34 c 8 ~x9742+4 ~x9741+2 ~x9740+1 ~x9739+1 ~x168+1 ~x155+1 ~x142+1 ~x129+1 ~x116+1 ~x103+1 ~x90+1 ~x77+1 ~x64+1 ~x51+1 ~x38+1 ~x25+1 ~x12-0=27 0.00/0.36 c 8 ~x10158+4 ~x10157+2 ~x10156+1 ~x10155+1 ~x169+1 ~x156+1 ~x143+1 ~x130+1 ~x117+1 ~x104+1 ~x91+1 ~x78+1 ~x65+1 ~x52+1 ~x39+1 ~x26+1 ~x13-0=27 0.00/0.36 c 8 ~x10574+4 ~x10573+2 ~x10572+1 ~x10571+1 ~x170+1 ~x157+1 ~x144+1 ~x131+1 ~x118+1 ~x105+1 ~x92+1 ~x79+1 ~x66+1 ~x53+1 ~x40+1 ~x27+1 ~x14-0=27 0.00/0.38 c 8 ~x10990+4 ~x10989+2 ~x10988+1 ~x10987+1 ~x170+1 ~x156+1 ~x142+1 ~x128+1 ~x114+1 ~x100+1 ~x86+1 ~x72+1 ~x58+1 ~x44+1 ~x30+1 ~x16+1 ~x2-0=27 0.00/0.38 c 8 ~x11405+4 ~x11404+2 ~x11403+1 ~x11402+1 ~x169+1 ~x155+1 ~x141+1 ~x127+1 ~x113+1 ~x99+1 ~x85+1 ~x71+1 ~x57+1 ~x43+1 ~x29+1 ~x15-0=26 0.00/0.40 c 8 ~x11790+4 ~x11789+2 ~x11788+1 ~x11787+1 ~x168+1 ~x154+1 ~x140+1 ~x126+1 ~x112+1 ~x98+1 ~x84+1 ~x70+1 ~x56+1 ~x42+1 ~x28-0=25 0.00/0.40 c 8 ~x12145+4 ~x12144+2 ~x12143+1 ~x12142+1 ~x167+1 ~x153+1 ~x139+1 ~x125+1 ~x111+1 ~x97+1 ~x83+1 ~x69+1 ~x55+1 ~x41-0=24 0.00/0.42 c 8 ~x12470+4 ~x12469+2 ~x12468+1 ~x12467+1 ~x166+1 ~x152+1 ~x138+1 ~x124+1 ~x110+1 ~x96+1 ~x82+1 ~x68+1 ~x54-0=23 0.00/0.42 c 4 ~x12764+2 ~x12763+1 ~x12762+1 ~x165+1 ~x151+1 ~x137+1 ~x123+1 ~x109+1 ~x95+1 ~x81+1 ~x67-0=14 0.00/0.43 c 4 ~x13001+2 ~x13000+1 ~x12999+1 ~x164+1 ~x150+1 ~x136+1 ~x122+1 ~x108+1 ~x94+1 ~x80-0=13 0.00/0.43 c 4 ~x13163+2 ~x13162+1 ~x13161+1 ~x163+1 ~x149+1 ~x135+1 ~x121+1 ~x107+1 ~x93-0=12 0.00/0.43 c 4 ~x13301+2 ~x13300+1 ~x13299+1 ~x162+1 ~x148+1 ~x134+1 ~x120+1 ~x106-0=11 0.00/0.45 c 2 ~x13414+1 ~x13413+1 ~x161+1 ~x147+1 ~x133+1 ~x119-0=6 0.00/0.45 c 2 ~x13479+1 ~x13478+1 ~x160+1 ~x146+1 ~x132-0=5 0.00/0.45 c 2 ~x13524+1 ~x13523+1 ~x28+1 ~x16+1 ~x4-0=5 0.00/0.45 c 2 ~x13567+1 ~x13566+1 ~x41+1 ~x29+1 ~x17+1 ~x5-0=6 0.00/0.45 c 4 ~x13633+2 ~x13632+1 ~x13631+1 ~x54+1 ~x42+1 ~x30+1 ~x18+1 ~x6-0=11 0.00/0.46 c 4 ~x13747+2 ~x13746+1 ~x13745+1 ~x67+1 ~x55+1 ~x43+1 ~x31+1 ~x19+1 ~x7-0=12 0.00/0.46 c 4 ~x13885+2 ~x13884+1 ~x13883+1 ~x80+1 ~x68+1 ~x56+1 ~x44+1 ~x32+1 ~x20+1 ~x8-0=13 0.00/0.46 c 4 ~x14047+2 ~x14046+1 ~x14045+1 ~x93+1 ~x81+1 ~x69+1 ~x57+1 ~x45+1 ~x33+1 ~x21+1 ~x9-0=14 0.00/0.48 c 8 ~x14285+4 ~x14284+2 ~x14283+1 ~x14282+1 ~x106+1 ~x94+1 ~x82+1 ~x70+1 ~x58+1 ~x46+1 ~x34+1 ~x22+1 ~x10-0=23 0.00/0.48 c 8 ~x14580+4 ~x14579+2 ~x14578+1 ~x14577+1 ~x119+1 ~x107+1 ~x95+1 ~x83+1 ~x71+1 ~x59+1 ~x47+1 ~x35+1 ~x23+1 ~x11-0=24 0.00/0.50 c 8 ~x14905+4 ~x14904+2 ~x14903+1 ~x14902+1 ~x132+1 ~x120+1 ~x108+1 ~x96+1 ~x84+1 ~x72+1 ~x60+1 ~x48+1 ~x36+1 ~x24+1 ~x12-0=25 0.00/0.50 c 8 ~x15260+4 ~x15259+2 ~x15258+1 ~x15257+1 ~x145+1 ~x133+1 ~x121+1 ~x109+1 ~x97+1 ~x85+1 ~x73+1 ~x61+1 ~x49+1 ~x37+1 ~x25+1 ~x13-0=26 0.00/0.52 c 8 ~x15645+4 ~x15644+2 ~x15643+1 ~x15642+1 ~x158+1 ~x146+1 ~x134+1 ~x122+1 ~x110+1 ~x98+1 ~x86+1 ~x74+1 ~x62+1 ~x50+1 ~x38+1 ~x26+1 ~x14-0=27 0.00/0.52 c 8 ~x16060+4 ~x16059+2 ~x16058+1 ~x16057+1 ~x170+1 ~x156+1 ~x142+1 ~x128+1 ~x114+1 ~x100+1 ~x86+1 ~x72+1 ~x58+1 ~x44+1 ~x30+1 ~x16+1 ~x2-0=27 0.00/0.54 c 8 ~x16475+4 ~x16474+2 ~x16473+1 ~x16472+1 ~x157+1 ~x143+1 ~x129+1 ~x115+1 ~x101+1 ~x87+1 ~x73+1 ~x59+1 ~x45+1 ~x31+1 ~x17+1 ~x3-0=26 0.00/0.54 c 8 ~x16860+4 ~x16859+2 ~x16858+1 ~x16857+1 ~x144+1 ~x130+1 ~x116+1 ~x102+1 ~x88+1 ~x74+1 ~x60+1 ~x46+1 ~x32+1 ~x18+1 ~x4-0=25 0.00/0.56 c 8 ~x17215+4 ~x17214+2 ~x17213+1 ~x17212+1 ~x131+1 ~x117+1 ~x103+1 ~x89+1 ~x75+1 ~x61+1 ~x47+1 ~x33+1 ~x19+1 ~x5-0=24 0.00/0.56 c 8 ~x17540+4 ~x17539+2 ~x17538+1 ~x17537+1 ~x118+1 ~x104+1 ~x90+1 ~x76+1 ~x62+1 ~x48+1 ~x34+1 ~x20+1 ~x6-0=23 0.00/0.58 c 4 ~x17834+2 ~x17833+1 ~x17832+1 ~x105+1 ~x91+1 ~x77+1 ~x63+1 ~x49+1 ~x35+1 ~x21+1 ~x7-0=14 0.00/0.58 c 4 ~x18071+2 ~x18070+1 ~x18069+1 ~x92+1 ~x78+1 ~x64+1 ~x50+1 ~x36+1 ~x22+1 ~x8-0=13 0.00/0.58 c 4 ~x18233+2 ~x18232+1 ~x18231+1 ~x79+1 ~x65+1 ~x51+1 ~x37+1 ~x23+1 ~x9-0=12 0.00/0.59 c 4 ~x18371+2 ~x18370+1 ~x18369+1 ~x66+1 ~x52+1 ~x38+1 ~x24+1 ~x10-0=11 0.00/0.59 c 2 ~x18484+1 ~x18483+1 ~x53+1 ~x39+1 ~x25+1 ~x11-0=6 0.00/0.59 c 2 ~x18549+1 ~x18548+1 ~x40+1 ~x26+1 ~x12-0=5 0.00/0.59 c 8 ~x18595+4 ~x18594+2 ~x18593+1 ~x18592+1 ~x158+1 ~x146+1 ~x134+1 ~x122+1 ~x110+1 ~x98+1 ~x86+1 ~x74+1 ~x62+1 ~x50+1 ~x38+1 ~x26+1 ~x14-0=27 0.00/0.61 c 8 ~x19010+4 ~x19009+2 ~x19008+1 ~x19007+1 ~x159+1 ~x147+1 ~x135+1 ~x123+1 ~x111+1 ~x99+1 ~x87+1 ~x75+1 ~x63+1 ~x51+1 ~x39+1 ~x27-0=26 0.00/0.61 c 8 ~x19395+4 ~x19394+2 ~x19393+1 ~x19392+1 ~x160+1 ~x148+1 ~x136+1 ~x124+1 ~x112+1 ~x100+1 ~x88+1 ~x76+1 ~x64+1 ~x52+1 ~x40-0=25 0.00/0.63 c 8 ~x19750+4 ~x19749+2 ~x19748+1 ~x19747+1 ~x161+1 ~x149+1 ~x137+1 ~x125+1 ~x113+1 ~x101+1 ~x89+1 ~x77+1 ~x65+1 ~x53-0=24 0.00/0.63 c 8 ~x20075+4 ~x20074+2 ~x20073+1 ~x20072+1 ~x162+1 ~x150+1 ~x138+1 ~x126+1 ~x114+1 ~x102+1 ~x90+1 ~x78+1 ~x66-0=23 0.00/0.65 c 4 ~x20369+2 ~x20368+1 ~x20367+1 ~x163+1 ~x151+1 ~x139+1 ~x127+1 ~x115+1 ~x103+1 ~x91+1 ~x79-0=14 0.00/0.65 c 4 ~x20606+2 ~x20605+1 ~x20604+1 ~x164+1 ~x152+1 ~x140+1 ~x128+1 ~x116+1 ~x104+1 ~x92-0=13 0.00/0.66 c 4 ~x20768+2 ~x20767+1 ~x20766+1 ~x165+1 ~x153+1 ~x141+1 ~x129+1 ~x117+1 ~x105-0=12 0.00/0.66 c 4 ~x20906+2 ~x20905+1 ~x20904+1 ~x166+1 ~x154+1 ~x142+1 ~x130+1 ~x118-0=11 0.00/0.66 c 2 ~x21019+1 ~x21018+1 ~x167+1 ~x155+1 ~x143+1 ~x131-0=6 0.00/0.66 c 2 ~x21084+1 ~x21083+1 ~x168+1 ~x156+1 ~x144-0=5 0.00/0.67 c 1024 ~x21137+512 ~x21136+256 ~x21135+128 ~x21134+64 ~x21133+32 ~x21132+16 ~x21131+8 ~x21130+4 ~x21129+2 ~x21128+1 ~x21127+9 ~x170+5 ~x169+3 ~x168+2 ~x167+4 ~x166+12 ~x165+9 ~x164+3 ~x163+5 ~x162+2 ~x161+6 ~x160+12 ~x159+12 ~x158+5 ~x157+11 ~x156+3 ~x155+9 ~x154+7 ~x153+12 ~x152+7 ~x151+1 ~x150+8 ~x149+7 ~x148+8 ~x147+8 ~x146+13 ~x145+10 ~x144+13 ~x143+3 ~x142+3 ~x141+3 ~x140+3 ~x139+9 ~x138+1 ~x137+1 ~x136+7 ~x135+5 ~x134+9 ~x133+6 ~x132+13 ~x131+9 ~x130+8 ~x129+8 ~x128+12 ~x127+2 ~x126+4 ~x125+1 ~x124+5 ~x123+8 ~x122+4 ~x121+2 ~x120+2 ~x119+12 ~x118+12 ~x117+2 ~x116+4 ~x115+9 ~x114+6 ~x113+9 ~x112+4 ~x111+7 ~x110+10 ~x109+11 ~x108+7 ~x107+11 ~x106+11 ~x105+1 ~x104+6 ~x103+2 ~x102+3 ~x101+13 ~x100+11 ~x99+2 ~x98+6 ~x97+4 ~x96+7 ~x95+1 ~x94+3 ~x93+9 ~x92+10 ~x91+6 ~x90+11 ~x89+11 ~x88+13 ~x87+7 ~x86+1 ~x85+7 ~x84+13 ~x83+13 ~x82+5 ~x81+1 ~x80+8 ~x79+13 ~x78+1 ~x77+1 ~x76+7 ~x75+11 ~x74+3 ~x73+7 ~x72+11 ~x71+5 ~x70+6 ~x69+1 ~x68+5 ~x67+12 ~x66+2 ~x65+9 ~x64+3 ~x63+4 ~x62+2 ~x61+2 ~x60+13 ~x59+6 ~x58+11 ~x57+2 ~x56+12 ~x55+13 ~x54+13 ~x53+9 ~x52+6 ~x51+8 ~x50+3 ~x49+2 ~x48+1 ~x47+6 ~x46+8 ~x45+1 ~x44+1 ~x43+1 ~x42+8 ~x41+8 ~x40+8 ~x39+12 ~x38+10 ~x37+11 ~x36+7 ~x35+13 ~x34+6 ~x33+6 ~x32+1 ~x31+3 ~x30+2 ~x29+4 ~x28+13 ~x27+2 ~x26+
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-2674335-1276786368/watcher-2674335-1276786368 -o /tmp/evaluation-result-2674335-1276786368/solver-2674335-1276786368 -C 1800 -W 2000 -M 1800 run HOME/instance-2674335-1276786368.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 15627 /proc/meminfo: memFree=1753728/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [startup+0.0240621 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15627 /proc/meminfo: memFree=1753728/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101071 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15627 /proc/meminfo: memFree=1753728/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301096 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15627 /proc/meminfo: memFree=1753728/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701149 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15627 /proc/meminfo: memFree=1753728/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50125 s] /proc/loadavg: 0.92 0.98 0.99 2/108 15630 /proc/meminfo: memFree=1720604/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=36120 CPUtime=1.49 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 9047 0 0 0 144 5 0 0 25 0 1 0 54238291 36986880 8131 1992294400 134512640 134902295 4290256464 18446744073709551615 4159859885 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 9030 8131 269 96 0 8242 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44820 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 0.99 2/108 15630 /proc/meminfo: memFree=1721348/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=36384 CPUtime=3.09 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 9144 0 0 0 304 5 0 0 25 0 1 0 54238291 37257216 8228 1992294400 134512640 134902295 4290256464 18446744073709551615 4159876526 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 9096 8228 269 96 0 8308 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45084 [startup+6.30188 s] /proc/loadavg: 0.93 0.98 0.99 2/108 15630 /proc/meminfo: memFree=1720852/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=37064 CPUtime=6.28 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 9295 0 0 0 623 5 0 0 25 0 1 0 54238291 37953536 8379 1992294400 134512640 134902295 4290256464 18446744073709551615 4159864448 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 9266 8379 269 96 0 8478 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 45764 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/108 15630 /proc/meminfo: memFree=1719240/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=38404 CPUtime=12.69 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 9633 0 0 0 1263 6 0 0 25 0 1 0 54238291 39325696 8717 1992294400 134512640 134902295 4290256464 18446744073709551615 4159874210 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 9601 8717 269 96 0 8813 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47104 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/108 15630 /proc/meminfo: memFree=1716760/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=40812 CPUtime=25.48 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 10235 0 0 0 2542 6 0 0 25 0 1 0 54238291 41791488 9319 1992294400 134512640 134902295 4290256464 18446744073709551615 4159878874 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 10203 9319 269 96 0 9415 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49512 [startup+51.1007 s] /proc/loadavg: 1.08 1.01 1.00 2/108 15632 /proc/meminfo: memFree=1711924/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=45812 CPUtime=51.07 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 11459 0 0 0 5100 7 0 0 25 0 1 0 54238291 46911488 10543 1992294400 134512640 134902295 4290256464 18446744073709551615 4159873933 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 11453 10543 269 96 0 10665 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 54512 [startup+102.308 s] /proc/loadavg: 1.16 1.04 1.01 2/108 15632 /proc/meminfo: memFree=1704484/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=52812 CPUtime=102.26 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 13248 0 0 0 10216 10 0 0 25 0 1 0 54238291 54079488 12332 1992294400 134512640 134902295 4290256464 18446744073709551615 4159860154 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 13203 12332 269 96 0 12415 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 61512 [startup+162.3 s] /proc/loadavg: 1.11 1.05 1.01 2/108 15634 /proc/meminfo: memFree=1696052/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=61248 CPUtime=162.23 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 15331 0 0 0 16211 12 0 0 25 0 1 0 54238291 62717952 14415 1992294400 134512640 134902295 4290256464 18446744073709551615 4159859627 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 15312 14415 269 96 0 14524 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 69948 [startup+222.301 s] /proc/loadavg: 1.09 1.05 1.01 2/108 15636 /proc/meminfo: memFree=1688364/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=68792 CPUtime=222.21 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 17224 0 0 0 22207 14 0 0 25 0 1 0 54238291 70443008 16308 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871452 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 17198 16308 269 96 0 16410 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 77492 [startup+282.301 s] /proc/loadavg: 1.03 1.04 1.00 2/108 15638 /proc/meminfo: memFree=1679560/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=77708 CPUtime=282.19 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 19440 0 0 0 28203 16 0 0 25 0 1 0 54238291 79572992 18524 1992294400 134512640 134902295 4290256464 18446744073709551615 4159878874 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 19427 18524 269 96 0 18639 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 86408 [startup+342.301 s] /proc/loadavg: 1.04 1.04 1.00 2/108 15638 /proc/meminfo: memFree=1671376/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=85760 CPUtime=342.17 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 21464 0 0 0 34198 19 0 0 25 0 1 0 54238291 87818240 20548 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871102 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 21440 20548 269 96 0 20652 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 94460 [startup+402.301 s] /proc/loadavg: 1.01 1.03 1.00 2/108 15640 /proc/meminfo: memFree=1664432/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=92628 CPUtime=402.15 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 23189 0 0 0 40194 21 0 0 25 0 1 0 54238291 94851072 22273 1992294400 134512640 134902295 4290256464 18446744073709551615 4159841023 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 23157 22273 269 96 0 22369 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 101328 [startup+462.3 s] ################ # More data... # ################ /proc/15629/statm: 39605 38692 269 96 0 38817 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 167120 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15671 /proc/meminfo: memFree=1595116/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=161736 CPUtime=1181.9 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 40340 0 0 0 118149 41 0 0 25 0 1 0 54238291 165617664 39424 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871102 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 40434 39424 269 96 0 39646 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 170436 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15671 /proc/meminfo: memFree=1592512/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=164252 CPUtime=1241.89 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 40965 0 0 0 124147 42 0 0 25 0 1 0 54238291 168194048 40049 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871102 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 41063 40049 269 96 0 40275 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 172952 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 1.00 2/108 15676 /proc/meminfo: memFree=1589164/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=166892 CPUtime=1301.87 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 41650 0 0 0 130144 43 0 0 25 0 1 0 54238291 170897408 40734 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871102 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 41723 40734 269 96 0 40935 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 175592 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 15678 /proc/meminfo: memFree=1586684/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169320 CPUtime=1361.84 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42261 0 0 0 136141 43 0 0 25 0 1 0 54238291 173383680 41345 1992294400 134512640 134902295 4290256464 18446744073709551615 4159873733 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42330 41345 269 96 0 41542 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 178020 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15680 /proc/meminfo: memFree=1586436/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1421.83 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42326 0 0 0 142140 43 0 0 25 0 1 0 54238291 173654016 41410 1992294400 134512640 134902295 4290256464 18446744073709551615 4159860138 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41410 269 96 0 41608 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 178284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 3/108 15682 /proc/meminfo: memFree=1586436/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1481.8 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42326 0 0 0 148137 43 0 0 25 0 1 0 54238291 173654016 41410 1992294400 134512640 134902295 4290256464 18446744073709551615 4159861790 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41410 269 96 0 41608 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 178284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15682 /proc/meminfo: memFree=1586312/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1541.78 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42327 0 0 0 154135 43 0 0 25 0 1 0 54238291 173654016 41411 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871102 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41411 269 96 0 41608 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 178284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15684 /proc/meminfo: memFree=1586312/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1601.76 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42327 0 0 0 160133 43 0 0 25 0 1 0 54238291 173654016 41411 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871102 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41411 269 96 0 41608 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 178284 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15686 /proc/meminfo: memFree=1586312/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1661.74 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42327 0 0 0 166131 43 0 0 25 0 1 0 54238291 173654016 41411 1992294400 134512640 134902295 4290256464 18446744073709551615 4159871102 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41411 269 96 0 41608 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 178284 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15688 /proc/meminfo: memFree=1586312/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1721.73 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42327 0 0 0 172129 44 0 0 25 0 1 0 54238291 173654016 41411 1992294400 134512640 134902295 4290256464 18446744073709551615 4159853032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41411 269 96 0 41608 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 178284 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15690 /proc/meminfo: memFree=1586312/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1781.71 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42327 0 0 0 178127 44 0 0 25 0 1 0 54238291 173654016 41411 1992294400 134512640 134902295 4290256464 18446744073709551615 4159853432 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41411 269 96 0 41608 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 178284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 15690 /proc/meminfo: memFree=1586312/2059040 swapFree=4139252/4192956 [pid=15627] ppid=15625 vsize=8700 CPUtime=0 /proc/15627/stat : 15627 (run) S 15625 15627 15524 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 54238291 8908800 250 1992294400 4194304 4922060 140734463306272 18446744073709551615 237802986629 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15627/statm: 2175 250 211 178 0 68 0 [pid=15629] ppid=15627 vsize=169584 CPUtime=1800.02 /proc/15629/stat : 15629 (PBPASSolver) R 15627 15627 15524 0 -1 4202496 42327 0 0 0 179958 44 0 0 25 0 1 0 54238291 173654016 41411 1992294400 134512640 134902295 4290256464 18446744073709551615 4159840875 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/15629/statm: 42396 41411 269 96 0 41608 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 178284 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 15627 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1799.58 CPU system time (s): 0.44 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 178284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 523 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 4 runsolver used 2.97655 second user time and 8.5147 second system time The end
Begin job on node013 at 2010-06-17 16:52:48 IDJOB=2674335 IDBENCH=1251 IDSOLVER=1174 FILE ID=node013/2674335-1276786368 PBS_JOBID= 11176612 Free space on /tmp= 62548 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227418.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674335-1276786368/watcher-2674335-1276786368 -o /tmp/evaluation-result-2674335-1276786368/solver-2674335-1276786368 -C 1800 -W 2000 -M 1800 run HOME/instance-2674335-1276786368.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d0806e8d2a90a81262a0ea6810fc3cb RANDOM SEED=869162558 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1754248 kB Buffers: 85476 kB Cached: 125732 kB SwapCached: 6164 kB Active: 91568 kB Inactive: 132464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1754248 kB SwapTotal: 4192956 kB SwapFree: 4139252 kB Dirty: 664 kB Writeback: 0 kB AnonPages: 11476 kB Mapped: 12876 kB Slab: 58944 kB PageTables: 3900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181976 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= 62548 MiB End job on node013 at 2010-06-17 17:22:51