Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.07 | 1800.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976157.opb |
MD5SUM | 235312dfda333014b070014ae56a469d |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.032994 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 1294 |
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.10 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.10 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.12 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.12 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.14 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.14 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.19 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.19 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.20 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.22 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.22 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.24 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.24 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.26 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.26 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.29 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.29 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.31 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.31 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.32 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.34 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.34 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.36 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.36 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.38 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.38 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.40 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.40 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.41 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.41 c 4 ~x13163+2 ~x13162+1 ~x13161+1 ~x163+1 ~x149+1 ~x135+1 ~x121+1 ~x107+1 ~x93-0=12 0.00/0.41 c 4 ~x13301+2 ~x13300+1 ~x13299+1 ~x162+1 ~x148+1 ~x134+1 ~x120+1 ~x106-0=11 0.00/0.42 c 2 ~x13414+1 ~x13413+1 ~x161+1 ~x147+1 ~x133+1 ~x119-0=6 0.00/0.42 c 2 ~x13479+1 ~x13478+1 ~x160+1 ~x146+1 ~x132-0=5 0.00/0.42 c 2 ~x13524+1 ~x13523+1 ~x28+1 ~x16+1 ~x4-0=5 0.00/0.42 c 2 ~x13567+1 ~x13566+1 ~x41+1 ~x29+1 ~x17+1 ~x5-0=6 0.00/0.42 c 4 ~x13633+2 ~x13632+1 ~x13631+1 ~x54+1 ~x42+1 ~x30+1 ~x18+1 ~x6-0=11 0.00/0.44 c 4 ~x13747+2 ~x13746+1 ~x13745+1 ~x67+1 ~x55+1 ~x43+1 ~x31+1 ~x19+1 ~x7-0=12 0.00/0.44 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.44 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.45 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.45 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.47 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.47 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.49 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.49 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.51 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.51 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.53 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.53 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.55 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.55 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.55 c 4 ~x18233+2 ~x18232+1 ~x18231+1 ~x79+1 ~x65+1 ~x51+1 ~x37+1 ~x23+1 ~x9-0=12 0.00/0.56 c 4 ~x18371+2 ~x18370+1 ~x18369+1 ~x66+1 ~x52+1 ~x38+1 ~x24+1 ~x10-0=11 0.00/0.56 c 2 ~x18484+1 ~x18483+1 ~x53+1 ~x39+1 ~x25+1 ~x11-0=6 0.00/0.56 c 2 ~x18549+1 ~x18548+1 ~x40+1 ~x26+1 ~x12-0=5 0.00/0.56 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.58 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.58 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.60 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.60 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.61 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.61 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.63 c 4 ~x20768+2 ~x20767+1 ~x20766+1 ~x165+1 ~x153+1 ~x141+1 ~x129+1 ~x117+1 ~x105-0=12 0.00/0.63 c 4 ~x20906+2 ~x20905+1 ~x20904+1 ~x166+1 ~x154+1 ~x142+1 ~x130+1 ~x118-0=11 0.00/0.63 c 2 ~x21019+1 ~x21018+1 ~x167+1 ~x155+1 ~x143+1 ~x131-0=6 0.00/0.63 c 2 ~x21084+1 ~x21083+1 ~x168+1 ~x156+1 ~x144-0=5 0.00/0.64 c 1024 ~x21137+512 ~x21136+256 ~x21135+128 ~x21134+64 ~x21133+32 ~x21132+16 ~x21131+8 ~x21130+4 ~x21129+2 ~x21128+1 ~x21127+2 ~x170+5 ~x169+3 ~x168+4 ~x167+4 ~x166+3 ~x165+3 ~x164+8 ~x163+12 ~x162+12 ~x161+10 ~x160+8 ~x159+6 ~x158+7 ~x157+10 ~x156+9 ~x155+13 ~x154+4 ~x153+8 ~x152+4 ~x151+13 ~x150+1 ~x149+3 ~x148+11 ~x147+13 ~x146+8 ~x145+5 ~x144+10 ~x143+11 ~x142+9 ~x141+5 ~x140+12 ~x139+8 ~x138+1 ~x137+10 ~x136+12 ~x135+8 ~x134+10 ~x133+4 ~x132+9 ~x131+6 ~x130+7 ~x129+12 ~x128+12 ~x127+2 ~x126+12 ~x125+3 ~x124+9 ~x123+12 ~x122+10 ~x121+4 ~x120+11 ~x119+8 ~x118+8 ~x117+12 ~x116+6 ~x115+1 ~x114+1 ~x113+7 ~x112+2 ~x111+2 ~x110+12 ~x109+11 ~x108+10 ~x107+12 ~x106+10 ~x105+9 ~x104+9 ~x103+11 ~x102+6 ~x101+11 ~x100+13 ~x99+11 ~x98+3 ~x97+11 ~x96+5 ~x95+12 ~x94+7 ~x93+7 ~x92+1 ~x91+1 ~x90+7 ~x89+4 ~x88+7 ~x87+11 ~x86+9 ~x85+6 ~x84+4 ~x83+13 ~x82+10 ~x81+2 ~x80+12 ~x79+4 ~x78+4 ~x77+5 ~x76+10 ~x75+2 ~x74+3 ~x73+3 ~x72+5 ~x71+7 ~x70+12 ~x69+3 ~x68+9 ~x67+10 ~x66+2 ~x65+6 ~x64+9 ~x63+12 ~x62+7 ~x61+5 ~x60+12 ~x59+1 ~x58+11 ~x57+13 ~x56+5 ~x55+5 ~x54+4 ~x53+8 ~x52+9 ~x51+9 ~x50+12 ~x49+13 ~x48+10 ~x47+4 ~x46+1 ~x45+12 ~x44+12 ~x43+1 ~x42+6 ~x41+5 ~x40+3 ~x39+9 ~x38+6 ~x37+9 ~x36+13 ~x35+3 ~x34+11 ~x33+7 ~x32+10 ~x31+4 ~x30+4 ~x29+6 ~x28+2
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-2674321-1276786267/watcher-2674321-1276786267 -o /tmp/evaluation-result-2674321-1276786267/solver-2674321-1276786267 -C 1800 -W 2000 -M 1800 run HOME/instance-2674321-1276786267.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 13607 /proc/meminfo: memFree=1591368/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [startup+0.0149509 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13607 /proc/meminfo: memFree=1591368/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100938 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13607 /proc/meminfo: memFree=1591368/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300952 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13607 /proc/meminfo: memFree=1591368/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700986 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13607 /proc/meminfo: memFree=1591368/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50104 s] /proc/loadavg: 0.92 0.98 0.99 2/108 13610 /proc/meminfo: memFree=1557120/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=36096 CPUtime=1.48 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 9042 0 0 0 143 5 0 0 25 0 1 0 54230593 36962304 8125 1992294400 134512640 134902295 4287300016 18446744073709551615 4160562096 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 9024 8125 269 96 0 8236 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 44796 [startup+3.10117 s] /proc/loadavg: 0.92 0.98 0.99 2/108 13612 /proc/meminfo: memFree=1558856/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=36368 CPUtime=3.08 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 9134 0 0 0 303 5 0 0 25 0 1 0 54230593 37240832 8217 1992294400 134512640 134902295 4287300016 18446744073709551615 4160547324 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 9092 8217 269 96 0 8304 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 45068 [startup+6.30043 s] /proc/loadavg: 0.93 0.98 0.99 2/108 13612 /proc/meminfo: memFree=1557988/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=37688 CPUtime=6.28 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 9470 0 0 0 622 6 0 0 25 0 1 0 54230593 38592512 8553 1992294400 134512640 134902295 4287300016 18446744073709551615 4160529118 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 9422 8553 269 96 0 8634 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 46388 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/108 13612 /proc/meminfo: memFree=1555888/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=39296 CPUtime=12.68 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 9867 0 0 0 1262 6 0 0 25 0 1 0 54230593 40239104 8950 1992294400 134512640 134902295 4287300016 18446744073709551615 4160541288 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 9824 8950 269 96 0 9036 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47996 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/108 13612 /proc/meminfo: memFree=1551300/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=43796 CPUtime=25.47 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 10979 0 0 0 2540 7 0 0 25 0 1 0 54230593 44847104 10062 1992294400 134512640 134902295 4287300016 18446744073709551615 4160541369 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 10949 10062 269 96 0 10161 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 52496 [startup+51.1011 s] /proc/loadavg: 1.02 1.00 1.00 2/108 13612 /proc/meminfo: memFree=1546464/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=48812 CPUtime=51.07 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 12217 0 0 0 5099 8 0 0 25 0 1 0 54230593 49983488 11300 1992294400 134512640 134902295 4287300016 18446744073709551615 4160562064 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 12203 11300 269 96 0 11415 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 57512 [startup+102.308 s] /proc/loadavg: 1.07 1.02 1.00 2/108 13614 /proc/meminfo: memFree=1535428/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=59420 CPUtime=102.26 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 14863 0 0 0 10216 10 0 0 25 0 1 0 54230593 60846080 13946 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559383 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 14855 13946 269 96 0 14067 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 68120 [startup+162.301 s] /proc/loadavg: 1.16 1.04 1.01 2/108 13616 /proc/meminfo: memFree=1525012/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=69928 CPUtime=162.24 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 17492 0 0 0 16210 14 0 0 25 0 1 0 54230593 71606272 16575 1992294400 134512640 134902295 4287300016 18446744073709551615 4160567002 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 17482 16575 269 96 0 16694 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 78628 [startup+222.301 s] /proc/loadavg: 1.06 1.03 1.00 2/108 13616 /proc/meminfo: memFree=1517200/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=77840 CPUtime=222.22 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 19470 0 0 0 22205 17 0 0 25 0 1 0 54230593 79708160 18553 1992294400 134512640 134902295 4287300016 18446744073709551615 4160548155 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 19460 18553 269 96 0 18672 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 86540 [startup+282.301 s] /proc/loadavg: 1.02 1.02 1.00 2/108 13618 /proc/meminfo: memFree=1510380/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=84576 CPUtime=282.2 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 21174 0 0 0 28201 19 0 0 25 0 1 0 54230593 86605824 20257 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559581 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 21144 20257 269 96 0 20356 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 93276 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/108 13620 /proc/meminfo: memFree=1503436/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=91492 CPUtime=342.19 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 22878 0 0 0 34198 21 0 0 25 0 1 0 54230593 93687808 21961 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559450 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 22873 21961 269 96 0 22085 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 100192 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 13622 /proc/meminfo: memFree=1496368/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=98664 CPUtime=402.17 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 24668 0 0 0 40194 23 0 0 25 0 1 0 54230593 101031936 23751 1992294400 134512640 134902295 4287300016 18446744073709551615 4160561861 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 24666 23751 269 96 0 23878 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 107364 [startup+462.301 s] ################ # More data... # ################ /proc/13609/statm: 36750 35800 269 96 0 35962 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 155700 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13651 /proc/meminfo: memFree=1443668/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=150704 CPUtime=1181.92 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 37659 0 0 0 118153 39 0 0 25 0 1 0 54230593 154320896 36742 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559230 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 37676 36742 269 96 0 36888 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 159404 [startup+1242.3 s] /proc/loadavg: 1.06 1.01 1.00 2/108 13653 /proc/meminfo: memFree=1439328/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=155084 CPUtime=1241.9 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 38737 0 0 0 124150 40 0 0 25 0 1 0 54230593 158806016 37820 1992294400 134512640 134902295 4287300016 18446744073709551615 4160562133 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 38771 37820 269 96 0 37983 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 163784 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 13655 /proc/meminfo: memFree=1436476/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=157856 CPUtime=1301.9 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 39429 0 0 0 130149 41 0 0 25 0 1 0 54230593 161644544 38512 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559230 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 39464 38512 269 96 0 38676 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 166556 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13660 /proc/meminfo: memFree=1433128/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=160496 CPUtime=1361.86 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 40113 0 0 0 136145 41 0 0 25 0 1 0 54230593 164347904 39196 1992294400 134512640 134902295 4287300016 18446744073709551615 4160548005 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 40124 39196 269 96 0 39336 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 169196 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13660 /proc/meminfo: memFree=1430400/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=163164 CPUtime=1421.86 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 40783 0 0 0 142144 42 0 0 25 0 1 0 54230593 167079936 39866 1992294400 134512640 134902295 4287300016 18446744073709551615 4160548471 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 40791 39866 269 96 0 40003 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 171864 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13662 /proc/meminfo: memFree=1427920/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=165816 CPUtime=1481.83 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 41439 0 0 0 148140 43 0 0 25 0 1 0 54230593 169795584 40522 1992294400 134512640 134902295 4287300016 18446744073709551615 4160552427 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 41454 40522 269 96 0 40666 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 174516 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13664 /proc/meminfo: memFree=1425440/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=168216 CPUtime=1541.81 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 42041 0 0 0 154137 44 0 0 25 0 1 0 54230593 172253184 41124 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559230 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 42054 41124 269 96 0 41266 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 176916 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13666 /proc/meminfo: memFree=1423208/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=170460 CPUtime=1601.8 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 42611 0 0 0 160134 46 0 0 25 0 1 0 54230593 174551040 41694 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559230 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 42615 41694 269 96 0 41827 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 179160 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13668 /proc/meminfo: memFree=1421100/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=172848 CPUtime=1661.78 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 43189 0 0 0 166132 46 0 0 25 0 1 0 54230593 176996352 42272 1992294400 134512640 134902295 4287300016 18446744073709551615 4160547915 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 43212 42272 269 96 0 42424 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 181548 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13668 /proc/meminfo: memFree=1418248/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=175752 CPUtime=1721.77 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 43912 0 0 0 172130 47 0 0 25 0 1 0 54230593 179970048 42995 1992294400 134512640 134902295 4287300016 18446744073709551615 4160559389 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 43938 42995 269 96 0 43150 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 184452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13670 /proc/meminfo: memFree=1414776/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=179052 CPUtime=1781.76 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 44761 0 0 0 178128 48 0 0 25 0 1 0 54230593 183349248 43844 1992294400 134512640 134902295 4287300016 18446744073709551615 4160548263 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 44763 43844 269 96 0 43975 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 187752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13670 /proc/meminfo: memFree=1413660/2059040 swapFree=4140244/4192956 [pid=13607] ppid=13605 vsize=8700 CPUtime=0 /proc/13607/stat : 13607 (run) S 13605 13607 13504 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 54230593 8908800 251 1992294400 4194304 4922060 140733200495040 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13607/statm: 2175 251 211 178 0 68 0 [pid=13609] ppid=13607 vsize=180240 CPUtime=1800.07 /proc/13609/stat : 13609 (PBPASSolver) R 13607 13607 13504 0 -1 4202496 45049 0 0 0 179959 48 0 0 25 0 1 0 54230593 184565760 44132 1992294400 134512640 134902295 4287300016 18446744073709551615 4160548280 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13609/statm: 45060 44132 269 96 0 44272 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 188940 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 13607 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.07 # # 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.07 CPU user time (s): 1799.59 CPU system time (s): 0.48 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 188940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 4 runsolver used 2.94455 second user time and 8.5457 second system time The end
Begin job on node003 at 2010-06-17 16:51:07 IDJOB=2674321 IDBENCH=1237 IDSOLVER=1174 FILE ID=node003/2674321-1276786267 PBS_JOBID= 11176598 Free space on /tmp= 62524 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976157.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674321-1276786267/watcher-2674321-1276786267 -o /tmp/evaluation-result-2674321-1276786267/solver-2674321-1276786267 -C 1800 -W 2000 -M 1800 run HOME/instance-2674321-1276786267.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 235312dfda333014b070014ae56a469d RANDOM SEED=1474207668 node003.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.251 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1591888 kB Buffers: 143300 kB Cached: 225692 kB SwapCached: 6060 kB Active: 149532 kB Inactive: 232724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1591888 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 640 kB Writeback: 0 kB AnonPages: 11672 kB Mapped: 13072 kB Slab: 63244 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183484 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= 62524 MiB End job on node003 at 2010-06-17 17:21:09