Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.1 | 2411.47 |
| Name | pseudoSeries/primesDimacs/ bf-0432-007.xml |
| MD5SUM | 75306e088ab36ae277fcdc644f384d6a |
| Bench Category | N-ARY-INT (n-ary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 4701 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2080 |
| Number of constraints | 4702 |
| Maximum constraint arity | 6 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 4702 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=epfc.xml 0.34 0.34 instance 0.34 name=/tmp/evaluation/275783-1169227140/unknown.xml 0.37 0.37 domains being loaded... 0.38 0.38 variables being loaded... 0.57 nbVariables=2080 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 0.57 => wckTime=0.261 cpuTime=0.17 mem=10M794 0.57 0.57 predicates being loaded... 0.58 0.58 constraints being loaded... 1.34 nbConstraints=4702 nbSingletonDomainVariables=252 nbConvertedConstraints=2835 nbConvertConstraintsChecks=1243 1.34 nbExtensionStructures=9 nbSharedExtensionStructures=2826 nbConflictsStructures=110 1.34 nbSharedConflictsStructures=4592 nbSharedBinaryRepresentations=21 nbEvaluationManagers=101 1.34 nbSharedEvaluationManagers=1766 maxDegree=27 maxArity=6 1.34 => wckTime=1.025 cpuTime=0.84 mem=40M50 1.43 1.43 solver LocalSearchSolver being built... 1.48 => wckTime=1.165 cpuTime=0.88 mem=11M404 1.50 1.50 s SATISFIABLE 1.50 o 3883 1.50 c 819 1.50 o 3894 1.50 c 808 1.51 o 3903 1.51 c 799 1.51 o 3911 1.51 c 791 1.51 o 3919 1.51 c 783 1.51 o 3926 1.51 c 776 1.51 o 3933 1.51 c 769 1.51 o 3939 1.51 c 763 1.51 o 3945 1.51 c 757 1.52 o 3951 1.52 c 751 1.52 o 3957 1.52 c 745 1.52 o 3963 1.52 c 739 1.52 o 3968 1.52 c 734 1.52 o 3973 1.52 c 729 1.52 o 3978 1.52 c 724 1.52 o 3983 1.52 c 719 1.52 o 3988 1.52 c 714 1.53 o 3993 1.53 c 709 1.53 o 3998 1.53 c 704 1.53 o 4003 1.53 c 699 1.53 o 4008 1.53 c 694 1.53 o 4013 1.53 c 689 1.53 o 4018 1.53 c 684 1.53 o 4022 1.53 c 680 1.53 o 4026 1.53 c 676 1.53 o 4030 1.54 c 672 1.54 o 4034 1.54 c 668 1.54 o 4038 1.54 c 664 1.54 o 4042 1.54 c 660 1.54 o 4046 1.54 c 656 1.54 o 4050 1.54 c 652 1.55 o 4054 1.55 c 648 1.55 o 4058 1.55 c 644 1.55 o 4062 1.55 c 640 1.55 o 4066 1.55 c 636 1.55 o 4070 1.55 c 632 1.55 o 4073 1.55 c 629 1.55 o 4076 1.55 c 626 1.55 o 4079 1.55 c 623 1.55 o 4082 1.55 c 620 1.56 o 4085 1.56 c 617 1.56 o 4088 1.56 c 614 1.56 o 4091 1.56 c 611 1.56 o 4094 1.56 c 608 1.56 o 4097 1.56 c 605 1.56 o 4100 1.56 c 602 1.56 o 4103 1.56 c 599 1.56 o 4106 1.56 c 596 1.56 o 4109 1.56 c 593 1.57 o 4112 1.57 c 590 1.57 o 4115 1.57 c 587 1.57 o 4118 1.57 c 584 1.57 o 4121 1.57 c 581 1.57 o 4124 1.57 c 578 1.57 o 4127 1.57 c 575 1.57 o 4130 1.57 c 572 1.57 o 4133 1.57 c 569 1.57 o 4136 1.57 c 566 1.58 o 4139 1.58 c 563 1.58 o 4142 1.58 c 560 1.58 o 4145 1.58 c 557 1.58 o 4148 1.58 c 554 1.58 o 4151 1.58 c 551 1.58 o 4154 1.58 c 548 1.58 o 4157 1.58 c 545 1.58 o 4160 1.58 c 542 1.58 o 4163 1.58 c 539 1.59 o 4166 1.59 c 536 1.59 o 4169 1.59 c 533 1.59 o 4172 1.59 c 530 1.59 o 4174 1.59 c 528 1.59 o 4176 1.59 c 526 1.59 o 4178 1.59 c 524 1.59 o 4180 1.59 c 522 1.59 o 4182 1.59 c 520 1.59 o 4184 1.59 c 518 1.59 o 4186 1.59 c 516 1.60 o 4188 1.60 c 514 1.60 o 4190 1.60 c 512 1.60 o 4192 1.60 c 510 1.60 o 4194 1.60 c 508 1.60 o 4196 1.60 c 506 1.60 o 4198 1.60 c 504 1.60 o 4200 1.60 c 502 1.60 o 4202 1.60 c 500 1.60 o 4204 1.60 c 498 1.61 o 4206 1.61 c 496 1.61 o 4208 1.61 c 494 1.61 o 4210 1.61 c 492 1.61 o 4212 1.61 c 490 1.61 o 4214 1.61 c 488 1.61 o 4216 1.61 c 486 1.61 o 4218 1.61 c 484 1.61 o 4220 1.61 c 482 1.62 o 4222 1.62 c 480 1.62 o 4224 1.62 c 478 1.62 o 4226 1.62 c 476 1.62 o 4228 1.62 c 474 1.62 o 4230 1.62 c 472 1.62 o 4232 1.62 c 470 1.62 o 4234 1.62 c 468 1.62 o 4236 1.62 c 466 1.63 o 4238 1.63 c 464 1.63 o 4240 1.63 c 462 1.63 o 4242 1.63 c 460 1.63 o 4244 1.63 c 458 1.63 o 4246 1.63 c 456 1.63 o 4248 1.63 c 454 1.63 o 4250 1.63 c 452 1.63 o 4252 1.63 c 450 1.64 o 4254 1.64 c 448 1.64 o 4256 1.64 c 446 1.64 o 4258 1.64 c 444 1.64 o 4260 1.64 c 442 1.64 o 4262 1.64 c 440 1.64 o 4264 1.64 c 438 1.64 o 4266 1.64 c 436 1.64 o 4268 1.64 c 434 1.65 o 4270 1.65 c 432 1.65 o 4272 1.65 c 430 1.65 o 4274 1.65 c 428 1.65 o 4276 1.65 c 426 1.65 o 4277 1.65 c 425 1.65 o 4278 1.65 c 424 1.65 o 4279 1.65 c 423 1.65 o 4280 1.65 c 422 1.66 o 4281 1.66 c 421 1.66 o 4282 1.66 c 420 1.66 o 4283 1.66 c 419 1.66 o 4284 1.66 c 418 1.66 o 4285 1.66 c 417 1.66 o 4286 1.66 c 416 1.66 o 4287 1.66 c 415 1.66 o 4288 1.66 c 414 1.66 o 4289 1.66 c 413 1.67 o 4290 1.67 c 412 1.67 o 4291 1.67 c 411 1.67 o 4292 1.67 c 410 1.67 o 4293 1.67 c 409 1.67 o 4294 1.67 c 408 1.67 o 4295 1.67 c 407 1.67 o 4296 1.67 c 406 1.67 o 4297 1.67 c 405 1.67 o 4298 1.67 c 404 1.68 o 4299 1.68 c 403 1.68 o 4300 1.68 c 402 1.68 o 4301 1.68 c 401 1.68 o 4302 1.68 c 400 1.68 o 4303 1.68 c 399 1.68 o 4304 1.68 c 398 1.68 o 4305 1.68 c 397 1.68 o 4306 1.68 c 396 1.69 o 4307 1.69 c 395 1.69 o 4308 1.69 c 394 1.69 o 4309 1.69 c 393 1.69 o 4310 1.69 c 392 1.69 o 4311 1.69 c 391 1.69 o 4312 1.69 c 390 1.69 o 4313 1.69 c 389 1.69 o 4314 1.69 c 388 1.69 o 4315 1.69 c 387 1.70 o 4316 1.70 c 386 1.70 o 4317 1.70 c 385 1.70 o 4318 1.70 c 384 1.70 o 4319 1.70 c 383 1.70 o 4320 1.70 c 382 1.70 o 4321 1.70 c 381 1.71 o 4322 1.71 c 380 1.71 o 4323 1.71 c 379 1.71 o 4324 1.71 c 378 1.71 o 4325 1.71 c 377 1.71 o 4326 1.71 c 376 1.72 o 4327 1.72 c 375 1.72 o 4328 1.72 c 374 1.72 o 4329 1.72 c 373 1.73 o 4330 1.73 c 372 1.73 o 4331 1.73 c 371 1.73 o 4332 1.73 c 370 1.73 o 4333 1.73 c 369 1.73 o 4334 1.73 c 368 1.74 o 4335 1.74 c 367 1.74 o 4336 1.74 c 366 1.74 o 4337 1.74 c 365 1.74 o 4338 1.74 c 364 1.74 o 4339 1.74 c 363 1.75 o 4340 1.75 c 362 1.75 o 4341 1.75 c 361 1.75 o 4342 1.75 c 360 1.75 o 4343 1.75 c 359 1.76 o 4344 1.76 c 358 1.76 o 4345 1.76 c 357 1.76 o 4346 1.76 c 356 1.76 o 4347 1.76 c 355 1.76 o 4348 1.76 c 354 1.77 o 4349 1.77 c 353 1.77 o 4350 1.77 c 352 1.77 o 4351 1.77 c 351 1.77 o 4352 1.77 c 350 1.77 o 4353 1.78 c 349 1.78 o 4354 1.78 c 348 1.78 o 4355 1.78 c 347 1.78 o 4356 1.78 c 346 1.78 o 4357 1.78 c 345 1.79 o 4358 1.79 c 344 1.79 o 4359 1.79 c 343 1.79 o 4360 1.79 c 342 1.79 o 4361 1.79 c 341 1.79 o 4362 1.79 c 340 1.80 o 4363 1.80 c 339 1.80 o 4364 1.80 c 338 1.80 o 4365 1.80 c 337 1.80 o 4366 1.80 c 336 1.80 o 4367 1.80 c 335 1.81 o 4368 1.81 c 334 1.81 o 4369 1.81 c 333 1.81 o 4370 1.81 c 332 1.81 o 4371 1.81 c 331 1.82 o 4372 1.82 c 330 1.82 o 4373 1.82 c 329 1.82 o 4374 1.82 c 328 1.82 o 4375 1.82 c 327 1.82 o 4376 1.82 c 326 1.82 o 4377 1.83 c 325 1.83 o 4378 1.83 c 324 1.83 o 4379 1.83 c 323 1.83 o 4380 1.83 c 322 1.83 o 4381 1.83 c 321 1.83 o 4382 1.83 c 320 1.84 o 4383 1.84 c 319 1.84 o 4384 1.84 c 318 1.84 o 4385 1.84 c 317 1.84 o 4386 1.84 c 316 1.85 o 4387 1.85 c 315 1.85 o 4388 1.85 c 314 1.85 o 4389 1.85 c 313 1.85 o 4390 1.85 c 312 1.85 o 4391 1.85 c 311 1.85 o 4392 1.85 c 310 1.86 o 4393 1.86 c 309 1.86 o 4394 1.86 c 308 1.86 o 4395 1.86 c 307 1.86 o 4396 1.86 c 306 1.86 o 4397 1.86 c 305 1.87 o 4398 1.87 c 304 1.87 o 4399 1.87 c 303 1.87 o 4400 1.87 c 302 1.87 o 4401 1.87 c 301 1.87 o 4402 1.87 c 300 1.87 o 4403 1.87 c 299 1.88 o 4404 1.88 c 298 1.88 o 4405 1.88 c 297 1.88 o 4406 1.88 c 296 1.88 o 4407 1.88 c 295 1.88 o 4408 1.88 c 294 1.89 o 4409 1.89 c 293 1.89 o 4410 1.89 c 292 1.89 o 4411 1.89 c 291 1.89 o 4412 1.89 c 290 1.89 o 4413 1.89 c 289 1.89 o 4414 1.89 c 288 1.90 o 4415 1.90 c 287 1.90 o 4416 1.90 c 286 1.90 o 4417 1.90 c 285 1.90 o 4418 1.90 c 284 1.90 o 4419 1.90 c 283 1.90 o 4420 1.90 c 282 1.91 o 4421 1.91 c 281 1.91 o 4422 1.91 c 280 1.91 o 4423 1.91 c 279 1.91 o 4424 1.91 c 278 1.91 o 4425 1.91 c 277 1.91 o 4426 1.91 c 276 1.92 o 4427 1.92 c 275 1.92 o 4428 1.92 c 274 1.92 o 4429 1.92 c 273 1.92 o 4430 1.92 c 272 1.92 o 4431 1.92 c 271 1.92 o 4432 1.92 c 270 1.93 o 4433 1.93 c 269 1.93 o 4434 1.93 c 268 1.93 o 4435 1.93 c 267 1.93 o 4436 1.93 c 266 1.93 o 4437 1.93 c 265 1.93 o 4438 1.93 c 264 1.94 o 4439 1.94 c 263 1.94 o 4440 1.94 c 262 1.94 o 4441 1.94 c 261 1.94 o 4442 1.94 c 260 1.94 o 4443 1.94 c 259 1.94 o 4444 1.94 c 258 1.94 o 4445 1.94 c 257 1.95 o 4446 1.95 c 256 1.95 o 4447 1.95 c 255 1.95 o 4448 1.95 c 254 1.95 o 4449 1.95 c 253 1.95 o 4450 1.95 c 252 1.95 o 4451 1.95 c 251 1.96 o 4452 1.96 c 250 1.96 o 4453 1.96 c 249 1.96 o 4454 1.96 c 248 1.96 o 4455 1.96 c 247 1.96 o 4456 1.96 c 246 1.96 o 4457 1.96 c 245 1.96 o 4458 1.96 c 244 1.97 o 4459 1.97 c 243 1.97 o 4460 1.97 c 242 1.97 o 4461 1.97 c 241 1.97 o 4462 1.97 c 240 1.97 o 4463 1.97 c 239 1.97 o 4464 1.97 c 238 1.98 o 4465 1.98 c 237 1.98 o 4466 1.98 c 236 1.98 o 4467 1.98 c 235 1.98 o 4468 1.98 c 234 1.98 o 4469 1.98 c 233 1.98 o 4470 1.98 c 232 1.98 o 4471 1.98 c 231 1.99 o 4472 1.99 c 230 1.99 o 4473 1.99 c 229 1.99 o 4474 1.99 c 228 1.99 o 4475 1.99 c 227 1.99 o 4476 1.99 c 226 1.99 o 4477 1.99 c 225 1.99 o 4478 1.99 c 224 2.00 o 4479 2.00 c 223 2.00 o 4480 2.00 c 222 2.00 o 4481 2.00 c 221 2.00 o 4482 2.00 c 220 2.00 o 4483 2.00 c 219 2.00 o 4484 2.00 c 218 2.00 o 4485 2.00 c 217 2.01 o 4486 2.01 c 216 2.01 o 4487 2.01 c 215 2.01 o 4488 2.01 c 214 2.01 o 4489 2.01 c 213 2.01 o 4490 2.01 c 212 2.02 o 4491 2.02 c 211 2.02 o 4492 2.02 c 210 2.02 o 4493 2.02 c 209 2.02 o 4494 2.02 c 208 2.02 o 4495 2.02 c 207 2.02 o 4496 2.02 c 206 2.02 o 4497 2.02 c 205 2.02 o 4498 2.02 c 204 2.02 o 4499 2.02 c 203 2.03 o 4500 2.03 c 202 2.03 o 4501 2.03 c 201 2.03 o 4502 2.03 c 200 2.03 o 4503 2.03 c 199 2.03 o 4504 2.03 c 198 2.03 o 4505 2.03 c 197 2.03 o 4506 2.03 c 196 2.03 o 4507 2.03 c 195 2.04 o 4508 2.04 c 194 2.04 o 4509 2.04 c 193 2.04 o 4510 2.04 c 192 2.05 o 4511 2.05 c 191 2.06 o 4512 2.06 c 190 2.06 o 4513 2.06 c 189 2.07 o 4514 2.07 c 188 2.12 o 4517 2.12 c 185 2.13 o 4518 2.13 c 184 2.13 o 4519 2.13 c 183 2.13 o 4520 2.13 c 182 2.14 o 4522 2.14 c 180 2.14 o 4523 2.14 c 179 2.14 o 4524 2.14 c 178 2.14 o 4525 2.14 c 177 2.14 o 4526 2.14 c 176 2.14 o 4527 2.14 c 175 2.14 o 4528 2.14 c 174 2.14 o 4529 2.14 c 173 2.15 o 4530 2.15 c 172 2.15 o 4534 2.15 c 168 2.15 o 4535 2.15 c 167 2.15 o 4536 2.15 c 166 2.15 o 4537 2.15 c 165 2.15 o 4538 2.15 c 164 2.15 o 4539 2.15 c 163 2.15 o 4542 2.15 c 160 2.16 o 4544 2.16 c 158 2.16 o 4545 2.16 c 157 2.16 o 4547 2.16 c 155 2.16 o 4549 2.16 c 153 2.16 o 4551 2.16 c 151 2.16 o 4552 2.16 c 150 2.17 o 4553 2.17 c 149 2.17 o 4554 2.17 c 148 2.17 o 4555 2.17 c 147 2.17 o 4556 2.17 c 146 2.17 o 4557 2.17 c 145 2.17 o 4560 2.17 c 142 2.17 o 4563 2.17 c 139 2.17 o 4564 2.17 c 138 2.18 o 4565 2.18 c 137 2.18 o 4566 2.18 c 136 2.18 o 4567 2.18 c 135 2.18 o 4568 2.18 c 134 2.18 o 4569 2.18 c 133 2.18 o 4570 2.18 c 132 2.18 o 4571 2.18 c 131 2.19 o 4572 2.19 c 130 2.19 o 4573 2.19 c 129 2.19 o 4574 2.19 c 128 2.19 o 4575 2.19 c 127 2.20 o 4576 2.20 c 126 2.20 o 4577 2.20 c 125 2.20 o 4578 2.20 c 124 2.20 o 4579 2.20 c 123 2.21 o 4580 2.21 c 122 2.21 o 4581 2.21 c 121 2.21 o 4582 2.21 c 120 2.21 o 4583 2.21 c 119 2.21 o 4584 2.21 c 118 2.21 o 4585 2.21 c 117 2.21 o 4586 2.21 c 116 2.22 o 4587 2.22 c 115 2.22 o 4588 2.22 c 114 2.22 o 4589 2.22 c 113 2.23 o 4590 2.23 c 112 2.23 o 4591 2.23 c 111 2.23 o 4592 2.23 c 110 2.23 o 4593 2.23 c 109 2.23 o 4594 2.23 c 108 2.24 o 4599 2.24 c 103 2.24 o 4600 2.24 c 102 2.24 o 4601 2.24 c 101 2.24 o 4602 2.24 c 100 2.27 o 4603 2.27 c 99 2.27 o 4604 2.27 c 98 2.27 o 4605 2.27 c 97 2.27 o 4606 2.27 c 96 2.27 o 4607 2.27 c 95 2.28 o 4608 2.28 c 94 2.28 o 4609 2.28 c 93 2.28 o 4610 2.28 c 92 2.33 o 4611 2.33 c 91 2.33 o 4613 2.33 c 89 2.33 o 4614 2.33 c 88 2.33 o 4615 2.33 c 87 2.35 o 4617 2.35 c 85 2.35 o 4618 2.35 c 84 2.35 o 4619 2.35 c 83 2.35 o 4620 2.35 c 82 2.44 o 4621 2.44 c 81 2.44 o 4622 2.44 c 80 2.45 o 4623 2.45 c 79 2.47 o 4624 2.47 c 78 2.47 o 4625 2.47 c 77 2.48 o 4626 2.48 c 76 2.48 o 4627 2.48 c 75 2.48 o 4629 2.48 c 73 2.49 o 4630 2.49 c 72 2.49 o 4631 2.49 c 71 2.49 o 4632 2.49 c 70 2.50 o 4633 2.50 c 69 2.53 o 4634 2.53 c 68 2.66 o 4635 2.66 c 67 2.67 o 4636 2.67 c 66 2.68 o 4637 2.68 c 65 2.68 o 4638 2.68 c 64 2.69 o 4639 2.69 c 63 2.70 o 4640 2.70 c 62 2.70 o 4641 2.70 c 61 2.70 o 4642 2.70 c 60 2.70 o 4643 2.70 c 59 2.70 o 4644 2.70 c 58 2.71 o 4645 2.71 c 57 2.71 o 4646 2.71 c 56 2.71 o 4647 2.71 c 55 2.71 o 4648 2.71 c 54 2.72 o 4649 2.72 c 53 2.77 o 4650 2.77 c 52 2.77 o 4651 2.77 c 51 2.78 o 4652 2.78 c 50 2.78 o 4653 2.78 c 49 2.81 o 4654 2.81 c 48 2.81 o 4655 2.81 c 47 2.81 o 4656 2.81 c 46 2.82 o 4657 2.82 c 45 2.83 o 4658 2.83 c 44 2.83 o 4659 2.83 c 43 2.83 o 4660 2.83 c 42 2.86 o 4661 2.86 c 41 2.86 o 4662 2.86 c 40 2.87 o 4663 2.87 c 39 3.04 o 4664 3.04 c 38 3.04 o 4665 3.04 c 37 3.04 o 4666 3.04 c 36 3.04 o 4667 3.04 c 35 3.05 o 4668 3.05 c 34 3.07 o 4669 3.07 c 33 3.08 o 4670 3.08 c 32 3.08 o 4671 3.08 c 31 3.08 o 4672 3.08 c 30 3.10 o 4673 3.10 c 29 3.13 o 4674 3.13 c 28 3.14 o 4675 3.14 c 27 3.14 o 4676 3.14 c 26 3.24 o 4677 3.24 c 25 3.24 o 4678 3.24 c 24 3.24 o 4679 3.24 c 23 3.24 o 4680 3.24 c 22 3.25 o 4681 3.25 c 21 3.25 o 4682 3.25 c 20 3.32 o 4683 3.32 c 19 3.56 o 4684 3.56 c 18 3.58 o 4685 3.58 c 17 3.59 o 4686 3.59 c 16 3.60 o 4687 3.60 c 15 3.61 o 4688 3.61 c 14 3.73 o 4689 3.73 c 13 3.81 o 4690 3.81 c 12 3.84 o 4691 3.84 c 11 3.87 o 4692 3.87 c 10 3.87 o 4693 3.87 c 9 3.88 o 4694 3.88 c 8 4.14 o 4695 4.14 c 7 4.16 o 4696 4.16 c 6 4.17 o 4697 4.17 c 5 4.31 4.31 search 4.31 run=0 nbConstraintChecks=3022597 nbAssignments=10000 4.31 => wckTime=2.836 cpuTime=2.74 mem=11M404 4.37 o 4698 4.37 c 4 4.57 o 4699 4.57 c 3 6.03 o 4700 6.03 c 2 11.17 11.17 search 11.17 run=1 nbConstraintChecks=14073002 nbAssignments=20000 11.17 => wckTime=9.696 cpuTime=9.56 mem=11M404 11.18 o 4701 11.18 c 1 11.18 11.18 search 11.18 run=2 nbConstraintChecks=14078633 nbAssignments=20040 11.18 => wckTime=9.704 cpuTime=9.56 mem=11M404 11.18 11.18 global 11.18 nbConstraintChecks=14078633 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 11.18 solvingWckTime=9.699 solvingCpuTime=9.55 expiredTime=no totalExploration=no nbFoundSolutions=0 11.18 globalCpuTime=10.51 11.18 => wckTime=10.87 cpuTime=10.44 mem=11M404 11.18 11.18 solver IterativeSystematicSolver being built... 11.48 => wckTime=11.165 cpuTime=10.68 mem=41M683 29.18 29.19 preprocessing 29.19 nbConstraintChecks=4300038 nbValidityChecks=3651873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 29.19 nbRemovedValues=0 detectedInconsistency=no 29.19 => wckTime=17.702 cpuTime=17.56 mem=41M683 31.42 31.42 search 31.42 run=0 nbConstraintChecks=400156 nbValidityChecks=306572 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 31.42 nbAssignments=277 nbFailedAssignments=5 nbBacktracks=45 nbVisitedNodes=283 nbRestartNogoods=0 31.42 => wckTime=19.94 cpuTime=19.78 mem=41M683 33.18 33.18 search 33.18 run=1 nbConstraintChecks=720452 nbValidityChecks=551819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 33.18 nbAssignments=516 nbFailedAssignments=8 nbBacktracks=72 nbVisitedNodes=525 nbRestartNogoods=1 33.18 => wckTime=21.701 cpuTime=21.51 mem=41M683 37.01 37.01 search 37.01 run=2 nbConstraintChecks=1818039 nbValidityChecks=1421343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 37.01 nbAssignments=1010 nbFailedAssignments=14 nbBacktracks=106 nbVisitedNodes=1025 nbRestartNogoods=2 37.01 => wckTime=25.53 cpuTime=25.32 mem=41M683 39.01 39.01 search 39.01 run=3 nbConstraintChecks=2173615 nbValidityChecks=1690020 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 39.01 nbAssignments=1267 nbFailedAssignments=20 nbBacktracks=140 nbVisitedNodes=1288 nbRestartNogoods=8 39.01 => wckTime=27.533 cpuTime=27.31 mem=41M683 41.36 41.36 search 41.36 run=4 nbConstraintChecks=2534885 nbValidityChecks=1972821 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 41.36 nbAssignments=1512 nbFailedAssignments=33 nbBacktracks=191 nbVisitedNodes=1546 nbRestartNogoods=10 41.36 => wckTime=29.886 cpuTime=29.64 mem=41M683 43.52 43.52 search 43.52 run=5 nbConstraintChecks=2874501 nbValidityChecks=2237874 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 43.52 nbAssignments=1748 nbFailedAssignments=47 nbBacktracks=271 nbVisitedNodes=1798 nbRestartNogoods=21 43.52 => wckTime=32.043 cpuTime=31.79 mem=41M683 49.23 49.23 search 49.23 run=6 nbConstraintChecks=4689491 nbValidityChecks=3652807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 49.23 nbAssignments=2465 nbFailedAssignments=63 nbBacktracks=394 nbVisitedNodes=2532 nbRestartNogoods=22 49.23 => wckTime=37.748 cpuTime=37.46 mem=41M683 53.39 53.39 search 53.39 run=7 nbConstraintChecks=5576942 nbValidityChecks=4337596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 53.39 nbAssignments=2913 nbFailedAssignments=95 nbBacktracks=565 nbVisitedNodes=3020 nbRestartNogoods=28 53.39 => wckTime=41.91 cpuTime=41.6 mem=41M683 59.35 59.35 search 59.35 run=8 nbConstraintChecks=6881789 nbValidityChecks=5398835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 59.35 nbAssignments=3528 nbFailedAssignments=137 nbBacktracks=821 nbVisitedNodes=3681 nbRestartNogoods=31 59.35 => wckTime=47.87 cpuTime=47.54 mem=41M683 64.79 64.79 search 64.79 run=9 nbConstraintChecks=7633730 nbValidityChecks=5982715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 64.79 nbAssignments=4026 nbFailedAssignments=157 nbBacktracks=1228 nbVisitedNodes=4204 nbRestartNogoods=37 64.79 => wckTime=53.307 cpuTime=52.95 mem=41M683 73.65 73.65 search 73.65 run=10 nbConstraintChecks=10403205 nbValidityChecks=8161568 nbPropagations=0 nbRevisions=0 73.65 nbUselessRevisions=0 nbAssignments=5092 nbFailedAssignments=196 nbBacktracks=1806 nbVisitedNodes=5310 73.65 nbRestartNogoods=39 73.65 => wckTime=62.176 cpuTime=61.77 mem=41M683 84.18 84.18 search 84.18 run=11 nbConstraintChecks=13753580 nbValidityChecks=10799012 nbPropagations=0 nbRevisions=0 84.18 nbUselessRevisions=0 nbAssignments=6388 nbFailedAssignments=256 nbBacktracks=2677 nbVisitedNodes=6673 84.18 nbRestartNogoods=46 84.18 => wckTime=72.701 cpuTime=72.24 mem=41M683 101.67 101.67 search 101.67 run=12 nbConstraintChecks=18699434 nbValidityChecks=14712459 nbPropagations=0 nbRevisions=0 101.67 nbUselessRevisions=0 nbAssignments=8127 nbFailedAssignments=350 nbBacktracks=3976 nbVisitedNodes=8507 101.67 nbRestartNogoods=51 101.67 => wckTime=90.188 cpuTime=89.65 mem=42M657 130.96 130.96 search 130.96 run=13 nbConstraintChecks=25576757 nbValidityChecks=19943515 nbPropagations=0 nbRevisions=0 130.96 nbUselessRevisions=0 nbAssignments=10534 nbFailedAssignments=504 nbBacktracks=5950 nbVisitedNodes=11075 130.96 nbRestartNogoods=55 130.96 => wckTime=119.48 cpuTime=118.8 mem=42M657 169.02 169.02 search 169.02 run=14 nbConstraintChecks=36127617 nbValidityChecks=28480871 nbPropagations=0 nbRevisions=0 169.02 nbUselessRevisions=0 nbAssignments=13984 nbFailedAssignments=738 nbBacktracks=8886 nbVisitedNodes=14776 169.02 nbRestartNogoods=59 169.02 => wckTime=157.543 cpuTime=156.68 mem=42M657 228.92 228.92 search 228.92 run=15 nbConstraintChecks=51591992 nbValidityChecks=40877574 nbPropagations=0 nbRevisions=0 228.92 nbUselessRevisions=0 nbAssignments=18972 nbFailedAssignments=1114 nbBacktracks=13269 nbVisitedNodes=20181 228.92 nbRestartNogoods=66 228.92 => wckTime=217.438 cpuTime=216.29 mem=42M657 322.09 322.09 search 322.09 run=16 nbConstraintChecks=76929119 nbValidityChecks=61792711 nbPropagations=0 nbRevisions=0 322.09 nbUselessRevisions=0 nbAssignments=26355 nbFailedAssignments=1722 nbBacktracks=19875 nbVisitedNodes=28228 322.09 nbRestartNogoods=71 322.09 => wckTime=310.608 cpuTime=309.02 mem=42M657 478.16 478.16 search 478.16 run=17 nbConstraintChecks=115101017 nbValidityChecks=97436061 nbPropagations=0 nbRevisions=0 478.16 nbUselessRevisions=0 nbAssignments=37221 nbFailedAssignments=2571 nbBacktracks=29736 nbVisitedNodes=40019 478.16 nbRestartNogoods=74 478.16 => wckTime=466.683 cpuTime=464.37 mem=42M657 741.26 741.26 search 741.26 run=18 nbConstraintChecks=172590544 nbValidityChecks=151978053 nbPropagations=0 nbRevisions=0 741.26 nbUselessRevisions=0 nbAssignments=53571 nbFailedAssignments=4049 nbBacktracks=44517 nbVisitedNodes=57989 741.26 nbRestartNogoods=79 741.26 => wckTime=729.783 cpuTime=726.23 mem=42M657 1137.52 1137.52 search 1137.52 run=19 nbConstraintChecks=253837876 nbValidityChecks=224064866 nbPropagations=0 nbRevisions=0 1137.52 nbUselessRevisions=0 nbAssignments=77948 nbFailedAssignments=6171 nbBacktracks=66723 nbVisitedNodes=84705 1137.52 nbRestartNogoods=89 1137.52 => wckTime=1126.041 cpuTime=1120.63 mem=42M657 1770.94 1770.94 search 1770.94 run=20 nbConstraintChecks=387724277 nbValidityChecks=350655724 nbPropagations=0 nbRevisions=0 1770.94 nbUselessRevisions=0 nbAssignments=114563 nbFailedAssignments=9423 nbBacktracks=99989 nbVisitedNodes=124805 1770.94 nbRestartNogoods=95 1770.94 => wckTime=1759.459 cpuTime=1751.08 mem=42M657 2411.42 v 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1
1 unsatisfied constraints, 4701 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-275783-1169227140 -o ROOT/results/node48/solver-275783-1169227140 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275783-1169227140/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.85 1.97 1.98 4/81 25631 /proc/meminfo: memFree=1344864/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=18540 CPUtime=0 /proc/25630/stat : 25630 (runsolver) R 25628 25630 25185 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 271112717 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/25630/statm: 4635 279 244 17 0 2626 0 [startup+0.10763 s] /proc/loadavg: 1.85 1.97 1.98 4/81 25631 /proc/meminfo: memFree=1344864/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=914988 CPUtime=0.09 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 3021 0 1 0 8 1 0 0 17 0 8 0 271112717 936947712 2767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155600150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228747 2767 1435 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.51567 s] /proc/loadavg: 1.85 1.97 1.98 4/81 25631 /proc/meminfo: memFree=1344864/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915332 CPUtime=0.5 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 6567 0 1 0 46 4 0 0 17 0 8 0 271112717 937299968 6306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073591226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228833 6306 2141 14 0 215303 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 915332 [startup+1.34075 s] /proc/loadavg: 1.85 1.97 1.98 3/88 25638 /proc/meminfo: memFree=1301288/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915640 CPUtime=1.32 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 14338 0 1 0 105 27 0 0 21 0 8 0 271112717 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228910 14076 2181 14 0 215380 0 [pid=25630/tid=25632] ppid=25628 vsize=915640 CPUtime=0 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271112721 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915640 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 271112722 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915640 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 271112722 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915640 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915640 CPUtime=0.21 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 433 0 0 0 20 1 0 0 16 0 8 0 271112725 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915640 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915640 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937615360 14076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 915640 [startup+2.98589 s] /proc/loadavg: 1.85 1.97 1.98 3/88 25638 /proc/meminfo: memFree=1287592/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2.9 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16313 0 1 0 248 42 0 0 25 0 8 0 271112717 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16049 2499 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1619 0 0 0 7 0 0 0 17 0 8 0 271112721 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.25 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 458 0 0 0 24 1 0 0 16 0 8 0 271112725 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 915740 [startup+6.2652 s] /proc/loadavg: 1.86 1.97 1.98 3/88 25638 /proc/meminfo: memFree=1287336/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=6.17 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16323 0 1 0 521 96 0 0 25 0 8 0 271112717 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16059 2499 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1619 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.26 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 468 0 0 0 25 1 0 0 17 0 8 0 271112725 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 915740 [startup+12.7598 s] /proc/loadavg: 1.87 1.97 1.98 3/88 25638 /proc/meminfo: memFree=1286824/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=12.62 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16476 0 1 0 1142 120 0 0 25 0 8 0 271112717 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16210 2547 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1619 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.35 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 526 0 0 0 34 1 0 0 15 0 8 0 271112725 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 915740 [startup+25.622 s] /proc/loadavg: 1.90 1.97 1.98 3/88 25638 /proc/meminfo: memFree=1286568/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=25.44 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16490 0 1 0 2423 121 0 0 25 0 8 0 271112717 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074209075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16220 2547 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1619 0 0 0 7 0 0 0 17 0 8 0 271112721 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.39 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 539 0 0 0 37 2 0 0 15 0 8 0 271112725 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 915740 [startup+51.2553 s] /proc/loadavg: 1.93 1.97 1.98 3/88 25638 /proc/meminfo: memFree=1286056/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=50.94 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16526 0 1 0 4973 121 0 0 25 0 8 0 271112717 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074206422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16247 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.42 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 560 0 0 0 40 2 0 0 16 0 8 0 271112725 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 915740 [startup+102.517 s] /proc/loadavg: 2.16 2.02 2.00 3/88 25640 /proc/meminfo: memFree=1284904/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=101.96 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16534 0 1 0 10075 121 0 0 25 0 8 0 271112717 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16251 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.43 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 566 0 0 0 41 2 0 0 17 0 8 0 271112725 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.96 Current children cumulated vsize (KiB) 915740 [startup+162.533 s] /proc/loadavg: 2.06 2.01 2.00 3/88 25640 /proc/meminfo: memFree=1283432/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=161.69 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16534 0 1 0 16048 121 0 0 25 0 8 0 271112717 937717760 16251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074208228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2013.36 Current children cumulated vsize (KiB) 915740 [startup+2082.95 s] /proc/loadavg: 2.05 2.03 2.00 3/88 25640 /proc/meminfo: memFree=1278760/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2073.09 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16537 0 1 0 207185 124 0 0 25 0 8 0 271112717 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074079201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16253 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.44 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 569 0 0 0 42 2 0 0 16 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2073.09 Current children cumulated vsize (KiB) 915740 [startup+2142.96 s] /proc/loadavg: 2.02 2.02 2.00 3/88 25640 /proc/meminfo: memFree=1278824/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2132.83 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16537 0 1 0 213159 124 0 0 25 0 8 0 271112717 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16253 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.44 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 569 0 0 0 42 2 0 0 16 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2132.83 Current children cumulated vsize (KiB) 915740 [startup+2202.98 s] /proc/loadavg: 2.00 2.01 2.00 3/88 25640 /proc/meminfo: memFree=1278760/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2192.56 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16537 0 1 0 219132 124 0 0 25 0 8 0 271112717 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074241226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16253 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.44 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 569 0 0 0 42 2 0 0 16 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2192.56 Current children cumulated vsize (KiB) 915740 [startup+2262.99 s] /proc/loadavg: 2.00 2.01 2.00 3/88 25640 /proc/meminfo: memFree=1278760/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2252.3 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16537 0 1 0 225105 125 0 0 25 0 8 0 271112717 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074235003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16253 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.44 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 569 0 0 0 42 2 0 0 16 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2252.3 Current children cumulated vsize (KiB) 915740 [startup+2323 s] /proc/loadavg: 2.05 2.02 2.00 3/88 25640 /proc/meminfo: memFree=1278760/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2312.03 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16537 0 1 0 231078 125 0 0 25 0 8 0 271112717 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074079167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16253 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.44 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 569 0 0 0 42 2 0 0 16 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2312.03 Current children cumulated vsize (KiB) 915740 [startup+2383.01 s] /proc/loadavg: 2.02 2.01 2.00 3/88 25640 /proc/meminfo: memFree=1278760/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2371.76 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16537 0 1 0 237051 125 0 0 25 0 8 0 271112717 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074208315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25630/statm: 228935 16253 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.44 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 569 0 0 0 42 2 0 0 16 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2371.76 Current children cumulated vsize (KiB) 915740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2411.41 s] /proc/loadavg: 2.09 2.03 2.01 3/79 25681 /proc/meminfo: memFree=1291952/2055920 swapFree=4192812/4192956 [pid=25630] ppid=25628 vsize=915740 CPUtime=2400.04 /proc/25630/stat : 25630 (java) R 25628 25630 25185 0 -1 0 16537 0 1 0 239875 129 0 0 25 0 8 0 271112717 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074331631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/25630/statm: 228935 16253 2552 14 0 215405 0 [pid=25630/tid=25632] ppid=25628 vsize=915740 CPUtime=0.07 /proc/25630/task/25632/stat : 25632 (java) S 25628 25630 25185 0 -1 64 1620 0 0 0 7 0 0 0 16 0 8 0 271112721 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25633] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25633/stat : 25633 (java) S 25628 25630 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25634] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25634/stat : 25634 (java) S 25628 25630 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271112722 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25635] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25635/stat : 25635 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25636] ppid=25628 vsize=915740 CPUtime=0.44 /proc/25630/task/25636/stat : 25636 (java) S 25628 25630 25185 0 -1 64 569 0 0 0 42 2 0 0 16 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25637] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25637/stat : 25637 (java) S 25628 25630 25185 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25630/tid=25638] ppid=25628 vsize=915740 CPUtime=0 /proc/25630/task/25638/stat : 25638 (java) S 25628 25630 25185 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271112725 937717760 16253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 915740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2411.47 CPU time (s): 2400.1 CPU user time (s): 2398.8 CPU system time (s): 1.3038 CPU usage (%): 99.5286 Max. virtual memory (cumulated for all children) (KiB): 915744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.8 system time used= 1.3038 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16560 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50445 involuntary context switches= 86977 runsolver used 3.33849 s user time and 7.38888 s system time The end
Begin job on node48 on Fri Jan 19 17:19:00 UTC 2007 IDJOB= 275783 IDBENCH= 4796 IDSOLVER= 68 FILE ID= node48/275783-1169227140 PBS_JOBID= 3589215 Free space on /tmp= 66562 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-0432-007.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275783-1169227140/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-275783-1169227140 -o ROOT/results/node48/solver-275783-1169227140 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275783-1169227140/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 75306e088ab36ae277fcdc644f384d6a RANDOM SEED= 794108553 TIME LIMIT= 2400 seconds MEMORY LIMIT= 900 MiB /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.218 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.218 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1345280 kB Buffers: 48540 kB Cached: 534560 kB SwapCached: 0 kB Active: 165048 kB Inactive: 469352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1345280 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3380 kB Writeback: 0 kB Mapped: 69468 kB Slab: 61516 kB Committed_AS: 5549864 kB PageTables: 1876 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66559 MiB End job on node48 on Fri Jan 19 17:59:12 UTC 2007