Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800 | 1800.51 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb |
MD5SUM | 405dbc2a6d00bd8f8eb32b58f88b8706 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 5.40018 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5380 |
Total number of constraints | 584 |
Number of constraints which are clauses | 32 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 54 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 133143986052 |
Number of bits of the sum of numbers in the objective function | 37 |
Biggest number in a constraint | 8388608000000 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 17124187591735 |
Number of bits of the biggest sum of numbers | 44 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.10/1.17 c 5380 584 0 0 0 0 0 0 1.10/1.17 c 2 ~x5395+1 ~x5394+2 ~x20+1 ~x19-0=6 1.10/1.17 c 2 ~x5423+1 ~x5422+2 ~x61+1 ~x60-0=6 1.10/1.17 c 2 ~x5452+1 ~x5451+2 ~x114+1 ~x113-0=6 1.10/1.17 c 2 ~x5481+1 ~x5480+2 ~x159+1 ~x158-0=6 1.10/1.17 c 2 ~x5513+1 ~x5512+2 ~x28+1 ~x27-0=6 1.10/1.17 c 2 ~x5541+1 ~x5540+2 ~x65+1 ~x64-0=6 1.10/1.17 c 2 ~x5570+1 ~x5569+2 ~x122+1 ~x121-0=6 1.10/1.19 c 2 ~x5599+1 ~x5598+2 ~x167+1 ~x166-0=6 1.10/1.19 c 2 ~x5645+1 ~x5644+2 ~x204+1 ~x203-0=6 1.10/1.19 c 2 ~x5683+1 ~x5682+2 ~x208+1 ~x207-0=6 1.10/1.19 c 4 ~x5716+2 ~x5715+1 ~x5714+4 ~x270+2 ~x269+1 ~x268-0=12 1.10/1.19 c 2 ~x5800+1 ~x5799+2 ~x214+1 ~x213-0=6 1.19/1.21 c 4 ~x5833+2 ~x5832+1 ~x5831+4 ~x277+2 ~x276+1 ~x275-0=12 1.19/1.21 c 4 ~x5906+2 ~x5905+1 ~x5904+4 ~x286+2 ~x285+1 ~x284-0=12 1.19/1.21 c 2 ~x5987+1 ~x5986+2 ~x4016+1 ~x4015-0=6 1.19/1.21 c 2 ~x6015+1 ~x6014+2 ~x4019+1 ~x4018-0=6 1.19/1.21 c 2 ~x6043+1 ~x6042+2 ~x4040+1 ~x4039-0=6 1.19/1.21 c 2 ~x6071+1 ~x6070+2 ~x4022+1 ~x4021-0=6 1.19/1.22 c 2 ~x6099+1 ~x6098+2 ~x4043+1 ~x4042-0=6 1.19/1.22 c 2 ~x6127+1 ~x6126+2 ~x4061+1 ~x4060-0=6 1.19/1.22 c 2 ~x6155+1 ~x6154+2 ~x4025+1 ~x4024-0=6 1.19/1.22 c 2 ~x6183+1 ~x6182+2 ~x4046+1 ~x4045-0=6 1.19/1.22 c 2 ~x6211+1 ~x6210+2 ~x4064+1 ~x4063-0=6 1.19/1.22 c 2 ~x6239+1 ~x6238+2 ~x4079+1 ~x4078-0=6 1.19/1.23 c 2 ~x6267+1 ~x6266+2 ~x4028+1 ~x4027-0=6 1.19/1.23 c 2 ~x6295+1 ~x6294+2 ~x4049+1 ~x4048-0=6 1.19/1.23 c 2 ~x6323+1 ~x6322+2 ~x4067+1 ~x4066-0=6 1.19/1.23 c 2 ~x6351+1 ~x6350+2 ~x4082+1 ~x4081-0=6 1.19/1.23 c 2 ~x6379+1 ~x6378+2 ~x4094+1 ~x4093-0=6 1.19/1.23 c 2 ~x6407+1 ~x6406+2 ~x4031+1 ~x4030-0=6 1.19/1.24 c 2 ~x6435+1 ~x6434+2 ~x4052+1 ~x4051-0=6 1.19/1.24 c 2 ~x6463+1 ~x6462+2 ~x4070+1 ~x4069-0=6 1.19/1.24 c 2 ~x6491+1 ~x6490+2 ~x4085+1 ~x4084-0=6 1.19/1.24 c 2 ~x6519+1 ~x6518+2 ~x4097+1 ~x4096-0=6 1.19/1.24 c 2 ~x6547+1 ~x6546+2 ~x4109+1 ~x4108-0=6 1.19/1.24 c 2 ~x6575+1 ~x6574+2 ~x4034+1 ~x4033-0=6 1.19/1.25 c 2 ~x6603+1 ~x6602+2 ~x4055+1 ~x4054-0=6 1.19/1.25 c 2 ~x6631+1 ~x6630+2 ~x4073+1 ~x4072-0=6 1.19/1.25 c 2 ~x6659+1 ~x6658+2 ~x4088+1 ~x4087-0=6 1.19/1.25 c 2 ~x6687+1 ~x6686+2 ~x4100+1 ~x4099-0=6 1.19/1.25 c 2 ~x6715+1 ~x6714+2 ~x4112+1 ~x4111-0=6 1.19/1.25 c 2 ~x6743+1 ~x6742+2 ~x4118+1 ~x4117-0=6 1.19/1.27 c 2 ~x6771+1 ~x6770+2 ~x4103+1 ~x4102-0=6 1.19/1.27 c 2 ~x6799+1 ~x6798+2 ~x4037+1 ~x4036-0=6 1.19/1.27 c 2 ~x6827+1 ~x6826+2 ~x4058+1 ~x4057-0=6 1.19/1.27 c 2 ~x6855+1 ~x6854+2 ~x4076+1 ~x4075-0=6 1.19/1.27 c 2 ~x6883+1 ~x6882+2 ~x4091+1 ~x4090-0=6 1.19/1.27 c 2 ~x6911+1 ~x6910+2 ~x4106+1 ~x4105-0=6 2.39/2.41 c 2 ~x6939+1 ~x6938+2 ~x4115+1 ~x4114-0=6 2.39/2.41 c 2 ~x6967+1 ~x6966+2 ~x4121+1 ~x4120-0=6 2.39/2.41 c 2 ~x6995+1 ~x6994+2 ~x4124+1 ~x4123-0=6 2.39/2.41 c 128 ~x49225+64 ~x49224+32 ~x49223+16 ~x49222+8 ~x49221+4 ~x49220+2 ~x49219+1 ~x49218+1 ~x5332+1 ~x5325+3 ~x5275+3 ~x5268+1 ~x5231+1 ~x5225+1 ~x5175+1 ~x5168+1 ~x5118+1 ~x5111+1 ~x5061+1 ~x5054+25 ~x5017+1 ~x4969+1 ~x4954+1 ~x4912+1 ~x4897+2 ~x4840+15 ~x4797+1 ~x4740+6 ~x4697+2 ~x4640+1 ~x4583+5 ~x4540+2 ~x4483+1 ~x4426+3 ~x4383+9 ~x4340+1 ~x4283+16 ~x4240+2 ~x4184+39 ~x4127+96 x4020+48 x4019+24 x4018+8 x12+4 x11+2 x10+1 x9-0=405 2.39/2.49 c 2 ~x52540+1 ~x52539+1 ~x5068+1 ~x4284+1 x13-0=5 2.39/2.49 c 128 ~x52590+64 ~x52589+32 ~x52588+16 ~x52587+8 ~x52586+4 ~x52585+2 ~x52584+1 ~x52583+1 ~x5339+1 ~x5326+3 ~x5282+3 ~x5269+1 ~x5237+1 ~x5226+1 ~x5182+1 ~x5125+1 ~x5055+25 ~x5011+1 ~x4955+1 ~x4919+1 ~x4898+2 ~x4841+15 ~x4798+1 ~x4741+6 ~x4698+2 ~x4641+1 ~x4584+5 ~x4541+2 ~x4484+1 ~x4427+3 ~x4384+9 ~x4341+1 ~x4285+16 ~x4241+2 ~x4185+39 ~x4128+96 x4023+48 x4022+24 x4021+8 x18+4 x17+2 x16+1 x15-0=401 2.49/2.56 c 128 ~x55599+64 ~x55598+32 ~x55597+16 ~x55596+8 ~x55595+4 ~x55594+2 ~x55593+1 ~x55592+1 ~x5346+1 ~x5327+3 ~x5289+1 ~x5243+1 ~x5190+1 ~x5169+1 ~x5133+1 ~x5112+1 ~x5076+1 ~x5056+25 ~x5024+25 ~x5012+1 ~x4976+1 ~x4956+1 ~x4899+2 ~x4842+15 ~x4799+1 ~x4742+6 ~x4699+2 ~x4642+1 ~x4585+5 ~x4542+2 ~x4485+1 ~x4428+3 ~x4385+9 ~x4342+1 ~x4286+16 ~x4242+2 ~x4186+39 ~x4129+96 x4026+48 x4025+24 x4024+8 x22+4 x21+2 x20+1 x19-0=425 2.58/2.64 c 128 ~x58767+64 ~x58766+32 ~x58765+16 ~x58764+8 ~x58763+4 ~x58762+2 ~x58761+1 ~x58760+1 ~x5353+3 ~x5297+3 ~x5270+1 ~x5227+1 ~x5197+1 ~x5170+1 ~x5140+1 ~x5114+1 ~x5083+1 ~x5057+25 ~x5030+25 ~x5013+1 ~x4983+1 ~x4957+1 ~x4926+1 ~x4900+2 ~x4843+15 ~x4800+1 ~x4743+6 ~x4700+2 ~x4643+1 ~x4586+5 ~x4543+2 ~x4487+1 ~x4430+3 ~x4386+9 ~x4343+1 ~x4287+16 ~x4243+2 ~x4187+39 ~x4130+96 x4029+48 x4028+24 x4027+8 x30+4 x29+2 x28+1 x27-0=428 2.69/2.73 c 2 ~x62004+1 ~x62003+1 ~x5171+1 ~x4587+1 x31-0=5 2.69/2.73 c 128 ~x62055+64 ~x62054+32 ~x62053+16 ~x62052+8 ~x62051+4 ~x62050+2 ~x62049+1 ~x62048+1 ~x5361+1 ~x5328+3 ~x5304+3 ~x5271+1 ~x5250+1 ~x5228+1 ~x5204+1 ~x5172+1 ~x5147+1 ~x5115+1 ~x5090+1 ~x5058+25 ~x5036+25 ~x5014+1 ~x4990+1 ~x4958+1 ~x4933+1 ~x4901+2 ~x4844+15 ~x4801+1 ~x4744+6 ~x4701+2 ~x4645+1 ~x4588+5 ~x4544+2 ~x4488+1 ~x4431+3 ~x4387+9 ~x4344+1 ~x4288+16 ~x4244+2 ~x4188+39 ~x4131+96 x4032+48 x4031+24 x4030+8 x38+4 x37+2 x36+1 x35-0=430 2.79/2.80 c 128 ~x65454+64 ~x65453+32 ~x65452+16 ~x65451+8 ~x65450+4 ~x65449+2 ~x65448+1 ~x65447+1 ~x5368+1 ~x5329+3 ~x5311+3 ~x5272+1 ~x5256+1 ~x5229+1 ~x5211+1 ~x5173+1 ~x5154+1 ~x5116+1 ~x5097+1 ~x5059+25 ~x5042+25 ~x5015+1 ~x4997+1 ~x4959+1 ~x4940+1 ~x4902+2 ~x4845+15 ~x4802+1 ~x4745+6 ~x4702+2 ~x4646+1 ~x4589+5 ~x4545+2 ~x4489+1 ~x4432+3 ~x4388+9 ~x4345+1 ~x4289+16 ~x4245+2 ~x4189+39 ~x4132+96 x4035+48 x4034+24 x4033+8 x42+4 x41+2 x40+1 x39-0=430 2.79/2.88 c 4 ~x68848+2 ~x68847+1 ~x68846+1 ~x5330+3 ~x5273+1 ~x4746+4 x45+2 x44+1 x43-0=12 2.79/2.88 c 128 ~x69036+64 ~x69035+32 ~x69034+16 ~x69033+8 ~x69032+4 ~x69031+2 ~x69030+1 ~x69029+1 ~x5375+1 ~x5331+3 ~x5318+3 ~x5274+1 ~x5262+1 ~x5230+1 ~x5218+1 ~x5174+1 ~x5161+1 ~x5117+1 ~x5104+1 ~x5060+25 ~x5048+25 ~x5016+1 ~x5004+1 ~x4960+1 ~x4947+1 ~x4903+2 ~x4846+15 ~x4803+1 ~x4747+6 ~x4703+2 ~x4647+1 ~x4590+5 ~x4546+2 ~x4490+1 ~x4433+3 ~x4389+9 ~x4346+1 ~x4290+16 ~x4246+2 ~x4190+39 ~x4133+96 x4038+48 x4037+24 x4036+8 x49+4 x48+2 x47+1 x46-0=430 2.89/2.98 c 32 ~x72434+16 ~x72433+8 ~x72432+4 ~x72431+2 ~x72430+1 ~x72429+24 x4039+8 x55+4 x54+2 x53+1 x52-0=102 2.89/2.98 c 32 ~x72769+16 ~x72768+8 ~x72767+4 ~x72766+2 ~x72765+1 ~x72764+24 x4042+8 x59+4 x58+2 x57+1 x56-0=102 2.89/2.98 c 32 ~x73104+16 ~x73103+8 ~x73102+4 ~x73101+2 ~x73100+1 ~x73099+24 x4045+8 x63+4 x62+2 x61+1 x60-0=102 2.98/3.00 c 32 ~x73439+16 ~x73438+8 ~x73437+4 ~x73436+2 ~x73435+1 ~x73434+24 x4048+8 x67+4 x66+2 x65+1 x64-0=102 2.98/3.00 c 32 ~x73774+16 ~x73773+8 ~x73772+4 ~x73771+2 ~x73770+1 ~x73769+24 x4051+8 x71+4 x70+2 x69+1 x68-0=102 2.98/3.03 c 32 ~x74109+16 ~x74108+8 ~x74107+4 ~x74106+2 ~x74105+1 ~x74104+24 x4054+8 x75+4 x74+2 x73+1 x72-0=102 2.98/3.03 c 32 ~x74444+16 ~x74443+8 ~x74442+4 ~x74441+2 ~x74440+1 ~x74439+24 x4057+8 x79+4 x78+2 x77+1 x76-0=102 2.98/3.03 c 2 ~x74796+1 ~x74795+1 ~x5069+1 ~x4291+1 x108-0=5 2.98/3.03 c 128 ~x74846+64 ~x74845+32 ~x74844+16 ~x74843+8 ~x74842+4 ~x74841+2 ~x74840+1 ~x74839+1 ~x5340+1 ~x5333+3 ~x5283+3 ~x5276+1 ~x5238+1 ~x5232+1 ~x5183+1 ~x5126+1 ~x5062+25 ~x5018+1 ~x4970+1 ~x4920+1 ~x4913+2 ~x4855+2 ~x4848+15 ~x4810+15 ~x4804+1 ~x4755+1 ~x4748+6 ~x4710+6 ~x4704+2 ~x4655+2 ~x4648+1 ~x4598+1 ~x4591+5 ~x4553+5 ~x4547+2 ~x4498+2 ~x4491+1 ~x4441+1 ~x4434+3 ~x4396+3 ~x4390+9 ~x4347+1 ~x4298+1 ~x4292+16 ~x4247+2 ~x4199+2 ~x4192+39 ~x4142+39 ~x4135+96 x4062+48 x4061+24 x4060+4 x112+2 x111+1 x110-0=481 3.09/3.12 c 128 ~x78788+64 ~x78787+32 ~x78786+16 ~x78785+8 ~x78784+4 ~x78783+2 ~x78782+1 ~x78781+1 ~x5347+1 ~x5334+3 ~x5290+1 ~x5244+1 ~x5191+1 ~x5176+1 ~x5134+1 ~x5119+1 ~x5077+1 ~x5063+25 ~x5019+1 ~x4977+1 ~x4971+1 ~x4914+2 ~x4862+2 ~x4849+15 ~x4816+15 ~x4805+1 ~x4762+1 ~x4749+6 ~x4716+6 ~x4705+2 ~x4662+2 ~x4649+1 ~x4605+1 ~x4592+5 ~x4559+5 ~x4548+2 ~x4505+2 ~x4492+1 ~x4448+1 ~x4435+3 ~x4391+9 ~x4353+9 ~x4348+1 ~x4305+1 ~x4293+16 ~x4253+2 ~x4206+2 ~x4193+39 ~x4149+39 ~x4136+96 x4065+48 x4064+24 x4063+8 x116+4 x115+2 x114+1 x113-0=486 3.19/3.22 c 128 ~x82892+64 ~x82891+32 ~x82890+16 ~x82889+8 ~x82888+4 ~x82887+2 ~x82886+1 ~x82885+1 ~x5354+3 ~x5298+3 ~x5277+1 ~x5233+1 ~x5198+1 ~x5177+1 ~x5141+1 ~x5121+1 ~x5084+1 ~x5064+25 ~x5020+1 ~x4984+1 ~x4972+1 ~x4927+1 ~x4915+2 ~x4869+2 ~x4850+15 ~x4822+15 ~x4806+1 ~x4769+1 ~x4750+6 ~x4722+6 ~x4706+2 ~x4669+2 ~x4650+1 ~x4612+1 ~x4593+5 ~x4549+2 ~x4512+2 ~x4494+1 ~x4455+1 ~x4437+3 ~x4402+3 ~x4392+9 ~x4359+9 ~x4349+1 ~x4312+1 ~x4294+16 ~x4259+2 ~x4213+2 ~x4194+39 ~x4156+39 ~x4137+96 x4068+48 x4067+24 x4066+8 x124+4 x123+2 x122+1 x121-0=487 3.29/3.32 c 2 ~x87065+1 ~x87064+1 ~x5178+1 ~x4594+1 x125-0=5 3.29/3.32 c 128 ~x87116+64 ~x87115+32 ~x87114+16 ~x87113+8 ~x87112+4 ~x87111+2 ~x87110+1 ~x87109+1 ~x5362+1 ~x5335+3 ~x5305+3 ~x5278+1 ~x5251+1 ~x5234+1 ~x5205+1 ~x5179+1 ~x5148+1 ~x5122+1 ~x5091+1 ~x5065+25 ~x5021+1 ~x4991+1 ~x4973+1 ~x4934+1 ~x4916+2 ~x4876+2 ~x4851+15 ~x4828+15 ~x4807+1 ~x4776+1 ~x4751+6 ~x4707+2 ~x4676+2 ~x4652+1 ~x4619+1 ~x4595+5 ~x4565+5 ~x4550+2 ~x4519+2 ~x4495+1 ~x4462+1 ~x4438+3 ~x4408+3 ~x4393+9 ~x4365+9 ~x4350+1 ~x4319+1 ~x4295+16 ~x4265+2 ~x4220+2 ~x4195+39 ~x4163+39 ~x4138+96 x4071+48 x4070+24 x4069+8 x132+4 x131+2 x130+1 x129-0=488 3.38/3.41 c 128 ~x91451+64 ~x91450+32 ~x91449+16 ~x91448+8 ~x91447+4 ~x91446+2 ~x91445+1 ~x91444+1 ~x5369+1 ~x5336+3 ~x5312+3 ~x5279+1 ~x5257+1 ~x5235+1 ~x5212+1 ~x5180+1 ~x5155+1 ~x5123+1 ~x5098+1 ~x5066+25 ~x5022+1 ~x4998+1 ~x4974+1 ~x4941+1 ~x4917+2 ~x4883+2 ~x4852+15 ~x4834+15 ~x4808+1 ~x4783+1 ~x4752+6 ~x4728+6 ~x4708+2 ~x4683+2 ~x4653+1 ~x4626+1 ~x4596+5 ~x4571+5 ~x4551+2 ~x4526+2 ~x4496+1 ~x4469+1 ~x4439+3 ~x4414+3 ~x4394+9 ~x4371+9 ~x4351+1 ~x4326+1 ~x4296+16 ~x4271+2 ~x4227+2 ~x4196+39 ~x4170+39 ~x4139+96 x4074+48 x4073+24 x4072+8 x136+4 x135+2 x134+1 x133-0=494 3.49/3.51 c 4 ~x95859+2 ~x95858+1 ~x95857+1 ~x5337+3 ~x5280+1 ~x4753+4 x139+2 x138+1 x137-0=12 3.49/3.52 c 128 ~x96047+64 ~x96046+32 ~x96045+16 ~x96044+8 ~x96043+4 ~x96042+2 ~x96041+1 ~x96040+1 ~x5376+1 ~x5338+3 ~x5319+3 ~x5281+1 ~x5263+1 ~x5236+1 ~x5219+1 ~x5181+1 ~x5162+1 ~x5124+1 ~x5105+1 ~x5067+25 ~x5023+1 ~x5005+1 ~x4975+1 ~x4948+1 ~x4918+2 ~x4890+2 ~x4853+15 ~x4809+1 ~x4790+1 ~x4754+6 ~x4734+6 ~x4709+2 ~x4690+2 ~x4654+1 ~x4633+1 ~x4597+5 ~x4577+5 ~x4552+2 ~x4533+2 ~x4497+1 ~x4476+1 ~x4440+3 ~x4420+3 ~x4395+9 ~x4377+9 ~x4352+1 ~x4333+1 ~x4297+16 ~x4277+2 ~x4234+2 ~x4197+39 ~x4177+39 ~x4140+96 x4077+48 x4076+24 x4075+8 x143+4 x142+2 x141+1 x140-0=479 3.59/3.62 c 2 ~x100377+1 ~x100376+1 ~x5070+1 ~x4299+1 x146-0=5 3.59/3.62 c 2 ~x100421+1 ~x100420+1 ~x5071+1 ~x4306+1 x148-0=5 3.59/3.62 c 2 ~x100465+1 ~x100464+1 ~x5072+1 ~x4313+1 x150-0=5 3.59/3.62 c 2 ~x100509+1 ~x100508+1 ~x5073+1 ~x4320+1 x152-0=5 3.59/3.63 c 2 ~x100553+1 ~x100552+1 ~x5074+1 ~x4327+1 x154-0=5 3.59/3.63 c 2 ~x100597+1 ~x100596+1 ~x5075+1 ~x4334+1 x156-0=5 3.59/3.63 c 128 ~x100647+64 ~x100646+32 ~x100645+16 ~x100644+8 ~x100643+4 ~x100642+2 ~x100641+1 ~x100640+1 ~x5348+1 ~x5341+3 ~x5291+1 ~x5245+1 ~x5184+1 ~x5127+1 ~x5078+25 ~x5025+1 ~x4978+1 ~x4921+2 ~x4863+2 ~x4856+15 ~x4817+15 ~x4811+1 ~x4763+1 ~x4756+6 ~x4717+6 ~x4711+2 ~x4663+2 ~x4656+1 ~x4606+1 ~x4599+5 ~x4560+5 ~x4554+2 ~x4506+2 ~x4499+1 ~x4449+1 ~x4442+3 ~x4397+9 ~x4354+1 ~x4307+1 ~x4300+16 ~x4254+16 ~x4248+2 ~x4207+2 ~x4200+39 ~x4150+39 ~x4143+96 x4080+48 x4079+24 x4078+8 x161+4 x160+2 x159+1 x158-0=489 3.68/3.71 c 128 ~x104439+64 ~x104438+32 ~x104437+16 ~x104436+8 ~x104435+4 ~x104434+2 ~x104433+1 ~x104432+1 ~x5355+3 ~x5299+3 ~x5284+1 ~x5239+1 ~x5185+1 ~x5129+1 ~x5085+25 ~x5031+1 ~x4985+1 ~x4928+1 ~x4922+2 ~x4870+2 ~x4857+15 ~x4823+15 ~x4812+1 ~x4770+1 ~x4757+6 ~x4723+6 ~x4712+2 ~x4670+2 ~x4657+1 ~x4613+1 ~x4600+5 ~x4555+2 ~x4513+2 ~x4501+1 ~x4456+1 ~x4444+3 ~x4403+3 ~x4398+9 ~x4360+1 ~x4314+1 ~x4301+16 ~x4260+16 ~x4249+2 ~x4214+2 ~x4201+39 ~x4157+39 ~x4144+96 x4083+48 x4082+24 x4081+8 x169+4 x168+2 x167+1 x166-0=490 3.78/3.80 c 2 ~x108300+1 ~x108299+1 ~x5186+1 ~x4601+1 x170-0=5 3.78/3.80 c 128 ~x108351+64 ~x108350+32 ~x108349+16 ~x108348+8 ~x108347+4 ~x108346+2 ~x108345+1 ~x108344+1 ~x5363+1 ~x5342+3 ~x5306+3 ~x5285+1 ~x5252+1 ~x5240+1 ~x5187+1 ~x5130+1 ~x5092+25 ~x5037+1 ~x4992+1 ~x4935+1 ~x4923+2 ~x4877+2 ~x4858+15 ~x4829+15 ~x4813+1 ~x4777+1 ~x4758+6 ~x4713+2 ~x4677+2 ~x4659+1 ~x4620+1 ~x4602+5 ~x4566+5 ~x4556+2 ~x4520+2 ~x4502+1 ~x4463+1 ~x4445+3 ~x4409+3 ~x4399+9 ~x4366+1 ~x4321+1 ~x4302+16 ~x4266+16 ~x4250+2 ~x4221+2 ~x4202+39 ~x4164+39 ~x4145+96 x4086+48 x4085+24 x4084+8 x177+4 x176+2 x175+1 x174-0=491 3.78/3.89 c 128 ~x112374+64 ~x112373+32 ~x112372+16 ~x112371+8 ~x112370+4 ~x112369+2 ~x112368+1 ~x112367+1 ~x5370+1 ~x5343+3 ~x5313+3 ~x5286+1 ~x5258+1 ~x5241+1 ~x5188+1 ~x5131+1 ~x5099+25 ~x5043+1 ~x4999+1 ~x4942+1 ~x4924+2 ~x4884+2 ~x4859+15 ~x4835+15 ~x4814+1 ~x4784+1 ~x4759+6 ~x4729+6 ~x4714+2 ~x4684+2 ~x4660+1 ~x4627+1 ~x4603+5 ~x4572+5 ~x4557+2 ~x4527+2 ~x4503+1 ~x4470+1 ~x4446+3 ~x4415+3 ~x4400+9 ~x4372+1 ~x4328+1 ~x4303+16 ~x4272+16 ~x4251+2 ~x4228+2 ~x4203+39 ~x4171+39 ~x4146+96 x4089+48 x4088+24 x4087+8 x181+4 x180+2 x179+1 x178-0=497 3.89/3.98 c 4 ~x116470+2 ~x116469+1 ~x116468+1 ~x5344+3 ~x5287+1 ~x4760+4 x184+2 x183+1 x182-0=12 3.89/3.99 c 128 ~x116658+64 ~x116657+32 ~x116656+16 ~x116655+8 ~x116654+4 ~x116653+2 ~x116652+1 ~x116651+1 ~x5377+1 ~x5345+3 ~x5320+3 ~x5288+1 ~x5264+1 ~x5242+1 ~x5189+1 ~x5132+1 ~x5106+25 ~x5049+1 ~x5006+1 ~x4949+1 ~x4925+2 ~x4891+2 ~x4860+15 ~x4815+1 ~x4791+1 ~x4761+6 ~x4735+6 ~x4715+2 ~x4691+2 ~x4661+1 ~x4634+1 ~x4604+5 ~x4578+5 ~x4558+2 ~x4534+2 ~x4504+1 ~x4477+1 ~x4447+3 ~x4421+3 ~x4401+9 ~x4378+1 ~x4335+1 ~x4304+16 ~x4278+16 ~x4252+2 ~x4235+2 ~x4204+39 ~x4178+39 ~x4147+96 x4092+48 x4091+24 x4090+8 x188+4 x187+2 x186+1 x185-0=482 3.99/4.08 c 256 ~x120686+128 ~x120685+64 ~x120684+32 ~x120683+16 ~x120682+8 ~x120681+4 ~x120680+2 ~x120679+1 ~x120678+1 ~x5356+3 ~x5292+1 ~x5246+1 ~x5199+1 ~x5192+1 ~x5142+1 ~x5136+1 ~x5086+1 ~x5079+25 ~x5032+25 ~x5026+1 ~x4986+1 ~x4979+1 ~x4929+2 ~x4871+2 ~x4864+15 ~x4824+15 ~x4818+1 ~x4771+1 ~x4764+6 ~x4724+6 ~x4718+2 ~x4671+2 ~x4664+1 ~x4614+1 ~x4607+5 ~x4561+2 ~x4514+2 ~x4508+1 ~x4457+1 ~x4451+3 ~x4404+9 ~x4361+9 ~x4355+1 ~x4315+1 ~x4308+16 ~x4261+16 ~x4255+2 ~x4215+2 ~x4208+39 ~x4158+39 ~x4151+96 x4095+48 x4094+24 x4093+8 x198+4 x197+2 x196+1 x195-0=777 4.09/4.17 c 2 ~x124859+1 ~x124858+1 ~x5193+1 ~x4608+1 x199-0=5 4.09/4.17 c 256 ~x124911+128 ~x124910+64 ~x124909+32 ~x124908+16 ~x124907+8 ~x124906+4 ~x124905+2 ~x124904+1 ~x124903+1 ~x5364+1 ~x5349+3 ~x5293+1 ~x5247+1 ~x5206+1 ~x5194+1 ~x5149+1 ~x5137+1 ~x5093+1 ~x5080+25 ~x5038+25 ~x5027+1 ~x4993+1 ~x4980+1 ~x4936+2 ~x4878+2 ~x4865+15 ~x4830+15 ~x4819+1 ~x4778+1 ~x4765+6 ~x4719+2 ~x4678+2 ~x4666+1 ~x4621+1 ~x4609+5 ~x4567+5 ~x4562+2 ~x4521+2 ~x4509+1 ~x4464+1 ~x4452+3 ~x4410+9 ~x4367+9 ~x4356+1 ~x4322+1 ~x4309+16 ~x4267+16 ~x4256+2 ~x4222+2 ~x4209+39 ~x4165+39 ~x4152+96 x4098+48 x4097+24 x4096+8 x206+4 x205+2 x204+1 x203-0=777 4.18/4.27 c 256 ~x129169+128 ~x129168+64 ~x129167+32 ~x129166+16 ~x129165+8 ~x129164+4 ~x129163+2 ~x129162+1 ~x129161+1 ~x5371+1 ~x5350+3 ~x5294+1 ~x5248+1 ~x5213+1 ~x5195+1 ~x5156+1 ~x5138+1 ~x5100+1 ~x5081+25 ~x5044+25 ~x5028+1 ~x5000+1 ~x4981+1 ~x4943+2 ~x4885+2 ~x4866+15 ~x4836+15 ~x4820+1 ~x4785+1 ~x4766+6 ~x4730+6 ~x4720+2 ~x4685+2 ~x4667+1 ~x4628+1 ~x4610+5 ~x4573+5 ~x4563+2 ~x4528+2 ~x4510+1 ~x4471+1 ~x4453+3 ~x4416+9 ~x4373+9 ~x4357+1 ~x4329+1 ~x4310+16 ~x4273+16 ~x4257+2 ~x4229+2 ~x4210+39 ~x4172+39 ~x4153+96 x4101+48 x4100+24 x4099+8 x210+4 x209+2 x208+1 x207-0=783 4.29/4.37 c 4 ~x133499+2 ~x133498+1 ~x133497+1 ~x5351+3 ~x5295+1 ~x4767+2 x212+1 x211-0=12 4.29/4.37 c 256 ~x133659+128 ~x133658+64 ~x133657+32 ~x133656+16 ~x133655+8 ~x133654+4 ~x133653+2 ~x133652+1 ~x133651+1 ~x5378+1 ~x5352+3 ~x5296+1 ~x5249+1 ~x5220+1 ~x5196+1 ~x5163+1 ~x5139+1 ~x5107+1 ~x5082+25 ~x5050+25 ~x5029+1 ~x5007+1 ~x4982+1 ~x4950+2 ~x4892+2 ~x4867+15 ~x4821+1 ~x4792+1 ~x4768+6 ~x4736+6 ~x4721+2 ~x4692+2 ~x4668+1 ~x4635+1 ~x4611+5 ~x4579+5 ~x4564+2 ~x4535+2 ~x4511+1 ~x4478+1 ~x4454+3 ~x4422+9 ~x4379+9 ~x4358+1 ~x4336+1 ~x4311+16 ~x4279+16 ~x4258+2 ~x4236+2 ~x4211+39 ~x4179+39 ~x4154+96 x4107+48 x4106+24 x4105+8 x216+4 x215+2 x214+1 x213-0=768 4.40/4.47 c 2 ~x137923+1 ~x137922+1 ~x5200+1 ~x4615+1 x235-0=5 4.40/4.47 c 256 ~x137975+128 ~x137974+64 ~x137973+32 ~x137972+16 ~x137971+8 ~x137970+4 ~x137969+2 ~x137968+1 ~x137967+1 ~x5357+3 ~x5307+3 ~x5300+1 ~x5253+1 ~x5207+1 ~x5201+1 ~x5151+1 ~x5144+1 ~x5094+1 ~x5087+25 ~x5039+25 ~x5033+1 ~x4994+1 ~x4987+1 ~x4937+1 ~x4930+2 ~x4879+2 ~x4872+15 ~x4831+15 ~x4825+1 ~x4779+1 ~x4772+6 ~x4725+2 ~x4679+2 ~x4673+1 ~x4622+1 ~x4616+5 ~x4568+2 ~x4523+2 ~x4516+1 ~x4466+1 ~x4459+3 ~x4411+3 ~x4405+9 ~x4368+9 ~x4362+1 ~x4323+1 ~x4316+16 ~x4268+16 ~x4262+2 ~x4223+2 ~x4216+39 ~x4166+39 ~x4159+96 x4110+48 x4109+24 x4108+8 x242+4 x241+2 x240+1 x239-0=778 4.49/4.57 c 256 ~x142311+128 ~x142310+64 ~x142309+32 ~x142308+16 ~x142307+8 ~x142306+4 ~x142305+2 ~x142304+1 ~x142303+1 ~x5358+3 ~x5314+3 ~x5301+1 ~x5259+1 ~x5214+1 ~x5202+1 ~x5158+1 ~x5145+1 ~x5101+1 ~x5088+25 ~x5045+25 ~x5034+1 ~x5001+1 ~x4988+1 ~x4944+1 ~x4931+2 ~x4886+2 ~x4873+15 ~x4837+15 ~x4826+1 ~x4786+1 ~x4773+6 ~x4731+6 ~x4726+2 ~x4686+2 ~x4674+1 ~x4629+1 ~x4617+5 ~x4574+2 ~x4530+2 ~x4517+1 ~x4473+1 ~x4460+3 ~x4417+3 ~x4406+9 ~x4374+9 ~x4363+1 ~x4330+1 ~x4317+16 ~x4274+16 ~x4263+2 ~x4230+2 ~x4217+39 ~x4173+39 ~x4160+96 x4113+48 x4112+24 x4111+8 x246+4 x245+2 x244+1 x243-0=784 4.58/4.67 c 4 ~x146719+2 ~x146718+1 ~x146717+1 ~x5359+3 ~x5302+1 ~x4774+4 x249+2 x248+1 x247-0=12 4.58/4.67 c 256 ~x146908+128 ~x146907+64 ~x146906+32 ~x146905+16 ~x146904+8 ~x146903+4 ~x146902+2 ~x146901+1 ~x146900+1 ~x5360+3 ~x5321+3 ~x5303+1 ~x5265+1 ~x5221+1 ~x5203+1 ~x5165+1 ~x5146+1 ~x5108+1 ~x5089+25 ~x5051+25 ~x5035+1 ~x5008+1 ~x4989+1 ~x4951+1 ~x4932+2 ~x4893+2 ~x4874+15 ~x4827+1 ~x4793+1 ~x4775+6 ~x4737+6 ~x4727+2 ~x4693+2 ~x4675+1 ~x4636+1 ~x4618+5 ~x4580+2 ~x4537+2 ~x4518+1 ~x4480+1 ~x4461+3 ~x4423+3 ~x4407+9 ~x4380+9 ~x4364+1 ~x4337+1 ~x4318+16 ~x4280+16 ~x4264+2 ~x4237+2 ~x4218+39 ~x4180+39 ~x4161+96 x4116+48 x4115+24 x4114+8 x253+4 x252+2 x251+1 x250-0=769 4.68/4.77 c 2 ~x151238+1 ~x151237+1 ~x5208+1 ~x4623+1 x256-0=5 4.68/4.77 c 2 ~x151282+1 ~x151281+1 ~x5215+1 ~x4630+1 x258-0=5 4.68/4.77 c 2 ~x151326+1 ~x151325+1 ~x5222+1 ~x4637+1 x260-0=5 4.68/4.77 c 256 ~x151380+128 ~x151379+64 ~x151378+32 ~x151377+16 ~x151376+8 ~x151375+4 ~x151374+2 ~x151373+1 ~x151372+1 ~x5372+1 ~x5365+3 ~x5315+3 ~x5308+1 ~x5260+1 ~x5254+1 ~x5216+1 ~x5209+1 ~x5159+1 ~x5152+1 ~x5102+1 ~x5095+25 ~x5046+25 ~x5040+1 ~x5002+1 ~x4995+1 ~x4945+1 ~x4938+2 ~x4887+2 ~x4880+15 ~x4838+15 ~x4832+1 ~x4787+1 ~x4780+6 ~x4732+2 ~x4688+2 ~x4681+1 ~x4631+1 ~x4624+5 ~x4575+5 ~x4569+2 ~x4531+2 ~x4524+1 ~x4474+1 ~x4467+3 ~x4418+3 ~x4412+9 ~x4375+9 ~x4369+1 ~x4331+1 ~x4324+16 ~x4275+16 ~x4269+2 ~x4231+2 ~x4224+39 ~x4174+39 ~x4167+96 x4119+48 x4118+24 x4117+8 x271+4 x270+2 x269+1 x268-0=785 4.79/4.88 c 4 ~x155944+2 ~x155943+1 ~x155942+1 ~x5366+3 ~x5309+1 ~x4781+4 x274+2 x273+1 x272-0=12 4.79/4.88 c 256 ~x156133+128 ~x156132+64 ~x156131+32 ~x156130+16 ~x156129+8 ~x156128+4 ~x156127+2 ~x156126+1 ~x156125+1 ~x5379+1 ~x5367+3 ~x5322+3 ~x5310+1 ~x5266+1 ~x5255+1 ~x5223+1 ~x5210+1 ~x5166+1 ~x5153+1 ~x5109+1 ~x5096+25 ~x5052+25 ~x5041+1 ~x5009+1 ~x4996+1 ~x4952+1 ~x4939+2 ~x4894+2 ~x4881+15 ~x4833+1 ~x4794+1 ~x4782+6 ~x4738+2 ~x4695+2 ~x4682+1 ~x4638+1 ~x4625+5 ~x4581+5 ~x4570+2 ~x4538+2 ~x4525+1 ~x4481+1 ~x4468+3 ~x4424+3 ~x4413+9 ~x4381+9 ~x4370+1 ~x4338+1 ~x4325+16 ~x4281+16 ~x4270+2 ~x4238+2 ~x4225+39 ~x4181+39 ~x4168+96 x4122+48 x4121+24 x4120+8 x278+4 x277+2 x276+1 x275-0=770 4.89/4.99 c 4 ~x160620+2 ~x160619+1 ~x160618+1 ~x5373+3 ~x5316+1 ~x4788+4 x283+2 x282+1 x281-0=12 4.89/4.99 c 256 ~x160809+128 ~x160808+64 ~x160807+32 ~x160806+16 ~x160805+8 ~x160804+4 ~x160803+2 ~x160802+1 ~x160801+1 ~x5380+1 ~x5374+3 ~x5323+3 ~x5317+1 ~x5267+1 ~x5261+1 ~x5224+1 ~x5217+1 ~x5167+1 ~x5160+1 ~x5110+1 ~x5103+25 ~x5053+25 ~x5047+1 ~x5010+1 ~x5003+1 ~x4953+1 ~x4946+2 ~x4895+2 ~x4888+15 ~x4839+1 ~x4795+1 ~x4789+6 ~x4739+6 ~x4733+2 ~x4696+2 ~x4689+1 ~x4639+1 ~x4632+5 ~x4582+5 ~x4576+2 ~x4539+2 ~x4532+1 ~x4482+1 ~x4475+3 ~x4425+3 ~x4419+9 ~x4382+9 ~x4376+1 ~x4339+1 ~x4332+16 ~x4282+16 ~x4276+2 ~x4239+2 ~x
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-2674767-1276800690/watcher-2674767-1276800690 -o /tmp/evaluation-result-2674767-1276800690/solver-2674767-1276800690 -C 1800 -W 2000 -M 1800 run HOME/instance-2674767-1276800690.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 1.06 1.00 3/105 25795 /proc/meminfo: memFree=1844168/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [startup+0.0784009 s] /proc/loadavg: 1.06 1.06 1.00 3/105 25795 /proc/meminfo: memFree=1844168/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101402 s] /proc/loadavg: 1.06 1.06 1.00 3/105 25795 /proc/meminfo: memFree=1844168/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301425 s] /proc/loadavg: 1.06 1.06 1.00 3/105 25795 /proc/meminfo: memFree=1844168/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70147 s] /proc/loadavg: 1.06 1.06 1.00 3/105 25795 /proc/meminfo: memFree=1844168/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50056 s] /proc/loadavg: 1.06 1.06 1.00 2/107 25798 /proc/meminfo: memFree=1672164/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=144044 CPUtime=1.49 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 44581 0 0 0 102 47 0 0 25 0 1 0 21362786 147501056 35432 1992294400 134512640 134902295 4293352304 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 36011 35432 262 96 0 35223 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 152744 [startup+3.10074 s] /proc/loadavg: 1.05 1.05 1.00 2/107 25798 /proc/meminfo: memFree=1693120/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=172228 CPUtime=3.09 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 52706 0 0 0 258 51 0 0 25 0 1 0 21362786 176361472 42086 1992294400 134512640 134902295 4293352304 18446744073709551615 134897397 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 43057 42086 262 96 0 42269 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180928 [startup+6.3011 s] /proc/loadavg: 1.05 1.05 1.00 2/107 25798 /proc/meminfo: memFree=1632484/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=232668 CPUtime=6.28 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 69412 0 0 0 570 58 0 0 20 0 1 0 21362786 238252032 56677 1992294400 134512640 134902295 4293352304 18446744073709551615 134897060 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 58167 56677 262 96 0 57379 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 241368 [startup+12.7008 s] /proc/loadavg: 1.04 1.05 1.00 2/107 25800 /proc/meminfo: memFree=1508732/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=354848 CPUtime=12.68 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 100153 0 0 0 1197 71 0 0 25 0 1 0 21362786 363364352 86674 1992294400 134512640 134902295 4293352304 18446744073709551615 5645820 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 88712 86674 262 96 0 87924 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 363548 [startup+25.5013 s] /proc/loadavg: 1.04 1.05 1.00 2/107 25800 /proc/meminfo: memFree=1264576/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=604728 CPUtime=25.48 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 164492 0 0 0 2449 99 0 0 25 0 1 0 21362786 619241472 145895 1992294400 134512640 134902295 4293352304 18446744073709551615 134813288 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 151182 145895 262 96 0 150394 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 613428 [startup+51.1012 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25800 /proc/meminfo: memFree=1071136/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=783460 CPUtime=51.08 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 212984 0 0 0 4991 117 0 0 25 0 1 0 21362786 802263040 192978 1992294400 134512640 134902295 4293352304 18446744073709551615 4160588055 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 195865 192978 269 96 0 195077 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 792160 [startup+102.309 s] /proc/loadavg: 1.01 1.04 1.00 2/107 25802 /proc/meminfo: memFree=1059604/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=794752 CPUtime=102.27 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 215790 0 0 0 10108 119 0 0 25 0 1 0 21362786 813826048 195784 1992294400 134512640 134902295 4293352304 18446744073709551615 4160590813 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 198688 195784 269 96 0 197900 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 803452 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25804 /proc/meminfo: memFree=1053156/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=801316 CPUtime=162.25 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 217438 0 0 0 16104 121 0 0 25 0 1 0 21362786 820547584 197432 1992294400 134512640 134902295 4293352304 18446744073709551615 4160590810 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 200329 197432 269 96 0 199541 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 810016 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25804 /proc/meminfo: memFree=1040508/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=813740 CPUtime=222.23 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 220542 0 0 0 22099 124 0 0 25 0 1 0 21362786 833269760 200536 1992294400 134512640 134902295 4293352304 18446744073709551615 4160569873 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 203435 200536 269 96 0 202647 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 822440 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25806 /proc/meminfo: memFree=1033316/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=821184 CPUtime=282.22 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 222369 0 0 0 28096 126 0 0 25 0 1 0 21362786 840892416 202363 1992294400 134512640 134902295 4293352304 18446744073709551615 4160587902 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 205296 202363 269 96 0 204508 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 829884 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25808 /proc/meminfo: memFree=1028108/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=826208 CPUtime=342.2 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 223655 0 0 0 34092 128 0 0 25 0 1 0 21362786 846036992 203649 1992294400 134512640 134902295 4293352304 18446744073709551615 4160570165 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 206552 203649 269 96 0 205764 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 834908 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25810 /proc/meminfo: memFree=1018684/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=835740 CPUtime=402.18 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 226015 0 0 0 40088 130 0 0 25 0 1 0 21362786 855797760 206009 1992294400 134512640 134902295 4293352304 18446744073709551615 4160569820 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 208935 206009 269 96 0 208147 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 844440 [startup+462.302 s] ################ # More data... # ################ /proc/25797/statm: 219367 216434 269 96 0 218579 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 886168 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25841 /proc/meminfo: memFree=973200/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=879316 CPUtime=1241.95 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 236925 0 0 0 124050 145 0 0 25 0 1 0 21362786 900419584 216919 1992294400 134512640 134902295 4293352304 18446744073709551615 4160576758 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 219829 216919 269 96 0 219041 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 888016 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25843 /proc/meminfo: memFree=970844/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=881624 CPUtime=1301.94 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 237490 0 0 0 130049 145 0 0 25 0 1 0 21362786 902782976 217484 1992294400 134512640 134902295 4293352304 18446744073709551615 4160587902 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 220406 217484 269 96 0 219618 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 890324 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25845 /proc/meminfo: memFree=968612/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=884548 CPUtime=1361.92 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 238074 0 0 0 136046 146 0 0 25 0 1 0 21362786 905777152 218068 1992294400 134512640 134902295 4293352304 18446744073709551615 4160587902 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 221137 218068 269 96 0 220349 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 893248 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25845 /proc/meminfo: memFree=966256/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=886924 CPUtime=1421.91 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 238660 0 0 0 142044 147 0 0 25 0 1 0 21362786 908210176 218654 1992294400 134512640 134902295 4293352304 18446744073709551615 4160569873 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 221731 218654 269 96 0 220943 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 895624 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25847 /proc/meminfo: memFree=964644/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=888516 CPUtime=1481.88 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 239059 0 0 0 148041 147 0 0 25 0 1 0 21362786 909840384 219053 1992294400 134512640 134902295 4293352304 18446744073709551615 4160557696 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 222129 219053 269 96 0 221341 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 897216 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25849 /proc/meminfo: memFree=963032/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=890156 CPUtime=1541.86 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 239457 0 0 0 154039 147 0 0 25 0 1 0 21362786 911519744 219451 1992294400 134512640 134902295 4293352304 18446744073709551615 4160579715 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 222539 219451 269 96 0 221751 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 898856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25851 /proc/meminfo: memFree=961172/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=891872 CPUtime=1601.85 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 239904 0 0 0 160037 148 0 0 25 0 1 0 21362786 913276928 219898 1992294400 134512640 134902295 4293352304 18446744073709551615 4160569876 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 222968 219898 269 96 0 222180 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 900572 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25853 /proc/meminfo: memFree=959312/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=893624 CPUtime=1661.83 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 240353 0 0 0 166035 148 0 0 25 0 1 0 21362786 915070976 220347 1992294400 134512640 134902295 4293352304 18446744073709551615 4160587902 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 223406 220347 269 96 0 222618 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 902324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25853 /proc/meminfo: memFree=957824/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=895108 CPUtime=1721.82 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 240713 0 0 0 172033 149 0 0 25 0 1 0 21362786 916590592 220707 1992294400 134512640 134902295 4293352304 18446744073709551615 4160572408 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 223777 220707 269 96 0 222989 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 903808 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25855 /proc/meminfo: memFree=955592/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=897244 CPUtime=1781.81 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 241223 0 0 0 178031 150 0 0 25 0 1 0 21362786 918777856 221217 1992294400 134512640 134902295 4293352304 18446744073709551615 4160576935 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 224311 221217 269 96 0 223523 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 905944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25855 /proc/meminfo: memFree=953732/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=899104 CPUtime=1800 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 241689 0 0 0 179850 150 0 0 25 0 1 0 21362786 920682496 221683 1992294400 134512640 134902295 4293352304 18446744073709551615 4160589052 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 224776 221683 269 96 0 223988 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 907804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25855 /proc/meminfo: memFree=953732/2059040 swapFree=4164936/4192956 [pid=25795] ppid=25793 vsize=8700 CPUtime=0 /proc/25795/stat : 25795 (run) S 25793 25795 25475 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21362786 8908800 251 1992294400 4194304 4922060 140736310546784 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25795/statm: 2175 251 211 178 0 68 0 [pid=25797] ppid=25795 vsize=899104 CPUtime=1800 /proc/25797/stat : 25797 (PBPASSolver) R 25795 25795 25475 0 -1 4202496 241689 0 0 0 179850 150 0 0 25 0 1 0 21362786 920682496 221683 1992294400 134512640 134902295 4293352304 18446744073709551615 4160589052 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25797/statm: 224776 221683 269 96 0 223988 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 907804 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25795 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=1999 # CPU time returned by wait4() is 0.001999 # while last known CPU time is 1800 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.51 CPU time (s): 1800 CPU user time (s): 1798.5 CPU system time (s): 1.5 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 907804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 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= 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= 3 involuntary context switches= 3 runsolver used 2.80857 second user time and 8.67768 second system time The end
Begin job on node085 at 2010-06-17 20:51:30 IDJOB=2674767 IDBENCH=2540 IDSOLVER=1174 FILE ID=node085/2674767-1276800690 PBS_JOBID= 11176641 Free space on /tmp= 121828 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674767-1276800690/watcher-2674767-1276800690 -o /tmp/evaluation-result-2674767-1276800690/solver-2674767-1276800690 -C 1800 -W 2000 -M 1800 run HOME/instance-2674767-1276800690.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 405dbc2a6d00bd8f8eb32b58f88b8706 RANDOM SEED=540459496 node085.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.221 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.44 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.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844688 kB Buffers: 18552 kB Cached: 85188 kB SwapCached: 1376 kB Active: 20904 kB Inactive: 115716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844688 kB SwapTotal: 4192956 kB SwapFree: 4164936 kB Dirty: 760 kB Writeback: 0 kB AnonPages: 31532 kB Mapped: 14272 kB Slab: 56116 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182284 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= 121828 MiB End job on node085 at 2010-06-17 21:21:32