Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.16 | 2417.09 |
| 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.32 0.32 Abscon 109 (November, 2006) 0.32 0.32 configuration 0.32 name=pfc.xml 0.36 0.36 instance 0.36 name=/tmp/evaluation/275784-1169227156/unknown.xml 0.39 0.39 domains being loaded... 0.39 0.40 variables being loaded... 0.59 nbVariables=2080 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 0.59 => wckTime=0.263 cpuTime=0.18 mem=10M795 0.59 0.59 predicates being loaded... 0.60 0.60 constraints being loaded... 1.36 nbConstraints=4702 nbSingletonDomainVariables=252 nbConvertedConstraints=2835 nbConvertConstraintsChecks=1243 1.36 nbExtensionStructures=9 nbSharedExtensionStructures=2826 nbConflictsStructures=110 1.36 nbSharedConflictsStructures=4592 nbSharedBinaryRepresentations=21 nbEvaluationManagers=101 1.36 nbSharedEvaluationManagers=1766 maxDegree=27 maxArity=6 1.36 => wckTime=1.035 cpuTime=0.84 mem=40M51 1.46 1.46 solver LocalSearchSolver being built... 1.50 => wckTime=1.177 cpuTime=0.9 mem=11M404 1.53 1.53 s SATISFIABLE 1.53 o 3883 1.53 c 819 1.53 o 3894 1.53 c 808 1.54 o 3903 1.54 c 799 1.54 o 3911 1.54 c 791 1.54 o 3919 1.54 c 783 1.54 o 3926 1.54 c 776 1.54 o 3933 1.54 c 769 1.54 o 3939 1.54 c 763 1.54 o 3945 1.54 c 757 1.54 o 3951 1.54 c 751 1.55 o 3957 1.55 c 745 1.55 o 3963 1.55 c 739 1.55 o 3968 1.55 c 734 1.55 o 3973 1.55 c 729 1.55 o 3978 1.55 c 724 1.55 o 3983 1.55 c 719 1.55 o 3988 1.55 c 714 1.55 o 3993 1.55 c 709 1.56 o 3998 1.56 c 704 1.56 o 4003 1.56 c 699 1.56 o 4008 1.56 c 694 1.56 o 4013 1.56 c 689 1.56 o 4018 1.56 c 684 1.56 o 4022 1.56 c 680 1.56 o 4026 1.56 c 676 1.56 o 4030 1.56 c 672 1.57 o 4034 1.57 c 668 1.57 o 4038 1.57 c 664 1.57 o 4042 1.57 c 660 1.57 o 4046 1.57 c 656 1.57 o 4050 1.57 c 652 1.57 o 4054 1.57 c 648 1.57 o 4058 1.58 c 644 1.58 o 4062 1.58 c 640 1.58 o 4066 1.58 c 636 1.58 o 4070 1.58 c 632 1.58 o 4073 1.58 c 629 1.58 o 4076 1.58 c 626 1.58 o 4079 1.58 c 623 1.58 o 4082 1.58 c 620 1.58 o 4085 1.58 c 617 1.58 o 4088 1.58 c 614 1.59 o 4091 1.59 c 611 1.59 o 4094 1.59 c 608 1.59 o 4097 1.59 c 605 1.59 o 4100 1.59 c 602 1.59 o 4103 1.59 c 599 1.59 o 4106 1.59 c 596 1.59 o 4109 1.59 c 593 1.59 o 4112 1.59 c 590 1.60 o 4115 1.60 c 587 1.60 o 4118 1.60 c 584 1.60 o 4121 1.60 c 581 1.60 o 4124 1.60 c 578 1.60 o 4127 1.60 c 575 1.60 o 4130 1.60 c 572 1.60 o 4133 1.60 c 569 1.60 o 4136 1.60 c 566 1.60 o 4139 1.60 c 563 1.61 o 4142 1.61 c 560 1.61 o 4145 1.61 c 557 1.61 o 4148 1.61 c 554 1.61 o 4151 1.61 c 551 1.61 o 4154 1.61 c 548 1.61 o 4157 1.61 c 545 1.61 o 4160 1.61 c 542 1.61 o 4163 1.61 c 539 1.61 o 4166 1.61 c 536 1.62 o 4169 1.62 c 533 1.62 o 4172 1.62 c 530 1.62 o 4174 1.62 c 528 1.62 o 4176 1.62 c 526 1.62 o 4178 1.62 c 524 1.62 o 4180 1.62 c 522 1.62 o 4182 1.62 c 520 1.62 o 4184 1.62 c 518 1.62 o 4186 1.62 c 516 1.63 o 4188 1.63 c 514 1.63 o 4190 1.63 c 512 1.63 o 4192 1.63 c 510 1.63 o 4194 1.63 c 508 1.63 o 4196 1.63 c 506 1.63 o 4198 1.63 c 504 1.63 o 4200 1.63 c 502 1.63 o 4202 1.63 c 500 1.63 o 4204 1.63 c 498 1.64 o 4206 1.64 c 496 1.64 o 4208 1.64 c 494 1.64 o 4210 1.64 c 492 1.64 o 4212 1.64 c 490 1.64 o 4214 1.64 c 488 1.64 o 4216 1.64 c 486 1.64 o 4218 1.64 c 484 1.65 o 4220 1.65 c 482 1.65 o 4222 1.65 c 480 1.65 o 4224 1.65 c 478 1.65 o 4226 1.65 c 476 1.65 o 4228 1.65 c 474 1.65 o 4230 1.65 c 472 1.65 o 4232 1.65 c 470 1.65 o 4234 1.65 c 468 1.66 o 4236 1.66 c 466 1.66 o 4238 1.66 c 464 1.66 o 4240 1.66 c 462 1.66 o 4242 1.66 c 460 1.66 o 4244 1.66 c 458 1.66 o 4246 1.66 c 456 1.66 o 4248 1.66 c 454 1.67 o 4250 1.67 c 452 1.67 o 4252 1.67 c 450 1.67 o 4254 1.67 c 448 1.67 o 4256 1.67 c 446 1.67 o 4258 1.67 c 444 1.67 o 4260 1.67 c 442 1.67 o 4262 1.67 c 440 1.67 o 4264 1.67 c 438 1.67 o 4266 1.67 c 436 1.68 o 4268 1.68 c 434 1.68 o 4270 1.68 c 432 1.68 o 4272 1.68 c 430 1.68 o 4274 1.68 c 428 1.68 o 4276 1.68 c 426 1.68 o 4277 1.68 c 425 1.68 o 4278 1.68 c 424 1.68 o 4279 1.68 c 423 1.69 o 4280 1.69 c 422 1.69 o 4281 1.69 c 421 1.69 o 4282 1.69 c 420 1.69 o 4283 1.69 c 419 1.69 o 4284 1.69 c 418 1.69 o 4285 1.69 c 417 1.69 o 4286 1.69 c 416 1.69 o 4287 1.69 c 415 1.69 o 4288 1.69 c 414 1.70 o 4289 1.70 c 413 1.70 o 4290 1.70 c 412 1.70 o 4291 1.70 c 411 1.70 o 4292 1.70 c 410 1.70 o 4293 1.70 c 409 1.70 o 4294 1.70 c 408 1.70 o 4295 1.70 c 407 1.70 o 4296 1.70 c 406 1.70 o 4297 1.70 c 405 1.71 o 4298 1.71 c 404 1.71 o 4299 1.71 c 403 1.71 o 4300 1.71 c 402 1.71 o 4301 1.71 c 401 1.71 o 4302 1.71 c 400 1.71 o 4303 1.71 c 399 1.71 o 4304 1.71 c 398 1.71 o 4305 1.72 c 397 1.72 o 4306 1.72 c 396 1.72 o 4307 1.72 c 395 1.72 o 4308 1.72 c 394 1.72 o 4309 1.72 c 393 1.72 o 4310 1.72 c 392 1.72 o 4311 1.72 c 391 1.72 o 4312 1.72 c 390 1.73 o 4313 1.73 c 389 1.73 o 4314 1.73 c 388 1.73 o 4315 1.73 c 387 1.73 o 4316 1.73 c 386 1.73 o 4317 1.73 c 385 1.73 o 4318 1.73 c 384 1.73 o 4319 1.73 c 383 1.73 o 4320 1.73 c 382 1.74 o 4321 1.74 c 381 1.74 o 4322 1.74 c 380 1.74 o 4323 1.74 c 379 1.74 o 4324 1.74 c 378 1.75 o 4325 1.75 c 377 1.75 o 4326 1.75 c 376 1.75 o 4327 1.75 c 375 1.75 o 4328 1.75 c 374 1.76 o 4329 1.76 c 373 1.76 o 4330 1.76 c 372 1.76 o 4331 1.76 c 371 1.76 o 4332 1.76 c 370 1.77 o 4333 1.77 c 369 1.77 o 4334 1.77 c 368 1.77 o 4335 1.77 c 367 1.77 o 4336 1.77 c 366 1.77 o 4337 1.78 c 365 1.78 o 4338 1.78 c 364 1.78 o 4339 1.78 c 363 1.78 o 4340 1.78 c 362 1.78 o 4341 1.78 c 361 1.79 o 4342 1.79 c 360 1.79 o 4343 1.79 c 359 1.79 o 4344 1.79 c 358 1.79 o 4345 1.79 c 357 1.79 o 4346 1.79 c 356 1.80 o 4347 1.80 c 355 1.80 o 4348 1.80 c 354 1.80 o 4349 1.80 c 353 1.80 o 4350 1.80 c 352 1.81 o 4351 1.81 c 351 1.81 o 4352 1.81 c 350 1.81 o 4353 1.81 c 349 1.81 o 4354 1.81 c 348 1.81 o 4355 1.81 c 347 1.82 o 4356 1.82 c 346 1.82 o 4357 1.82 c 345 1.82 o 4358 1.82 c 344 1.82 o 4359 1.82 c 343 1.82 o 4360 1.82 c 342 1.83 o 4361 1.83 c 341 1.83 o 4362 1.83 c 340 1.83 o 4363 1.83 c 339 1.83 o 4364 1.83 c 338 1.84 o 4365 1.84 c 337 1.84 o 4366 1.84 c 336 1.84 o 4367 1.84 c 335 1.84 o 4368 1.84 c 334 1.85 o 4369 1.85 c 333 1.85 o 4370 1.85 c 332 1.85 o 4371 1.85 c 331 1.85 o 4372 1.85 c 330 1.85 o 4373 1.85 c 329 1.86 o 4374 1.86 c 328 1.86 o 4375 1.86 c 327 1.86 o 4376 1.86 c 326 1.86 o 4377 1.86 c 325 1.86 o 4378 1.86 c 324 1.87 o 4379 1.87 c 323 1.87 o 4380 1.87 c 322 1.87 o 4381 1.87 c 321 1.87 o 4382 1.87 c 320 1.87 o 4383 1.87 c 319 1.88 o 4384 1.88 c 318 1.88 o 4385 1.88 c 317 1.88 o 4386 1.88 c 316 1.88 o 4387 1.88 c 315 1.88 o 4388 1.88 c 314 1.89 o 4389 1.89 c 313 1.89 o 4390 1.89 c 312 1.89 o 4391 1.89 c 311 1.89 o 4392 1.89 c 310 1.89 o 4393 1.89 c 309 1.89 o 4394 1.89 c 308 1.90 o 4395 1.90 c 307 1.90 o 4396 1.90 c 306 1.90 o 4397 1.90 c 305 1.90 o 4398 1.90 c 304 1.90 o 4399 1.90 c 303 1.91 o 4400 1.91 c 302 1.91 o 4401 1.91 c 301 1.91 o 4402 1.91 c 300 1.91 o 4403 1.91 c 299 1.91 o 4404 1.91 c 298 1.91 o 4405 1.91 c 297 1.92 o 4406 1.92 c 296 1.92 o 4407 1.92 c 295 1.92 o 4408 1.92 c 294 1.92 o 4409 1.92 c 293 1.92 o 4410 1.92 c 292 1.93 o 4411 1.93 c 291 1.93 o 4412 1.93 c 290 1.93 o 4413 1.93 c 289 1.93 o 4414 1.93 c 288 1.93 o 4415 1.93 c 287 1.93 o 4416 1.93 c 286 1.94 o 4417 1.94 c 285 1.94 o 4418 1.94 c 284 1.94 o 4419 1.94 c 283 1.94 o 4420 1.94 c 282 1.94 o 4421 1.94 c 281 1.94 o 4422 1.94 c 280 1.95 o 4423 1.95 c 279 1.95 o 4424 1.95 c 278 1.95 o 4425 1.95 c 277 1.95 o 4426 1.95 c 276 1.95 o 4427 1.95 c 275 1.96 o 4428 1.96 c 274 1.96 o 4429 1.96 c 273 1.96 o 4430 1.96 c 272 1.96 o 4431 1.96 c 271 1.96 o 4432 1.96 c 270 1.96 o 4433 1.96 c 269 1.97 o 4434 1.97 c 268 1.97 o 4435 1.97 c 267 1.97 o 4436 1.97 c 266 1.97 o 4437 1.97 c 265 1.97 o 4438 1.97 c 264 1.97 o 4439 1.97 c 263 1.98 o 4440 1.98 c 262 1.98 o 4441 1.98 c 261 1.98 o 4442 1.98 c 260 1.98 o 4443 1.98 c 259 1.98 o 4444 1.98 c 258 1.98 o 4445 1.98 c 257 1.98 o 4446 1.98 c 256 1.99 o 4447 1.99 c 255 1.99 o 4448 1.99 c 254 1.99 o 4449 1.99 c 253 1.99 o 4450 1.99 c 252 1.99 o 4451 1.99 c 251 1.99 o 4452 1.99 c 250 2.00 o 4453 2.00 c 249 2.00 o 4454 2.00 c 248 2.00 o 4455 2.00 c 247 2.00 o 4456 2.00 c 246 2.00 o 4457 2.00 c 245 2.00 o 4458 2.00 c 244 2.00 o 4459 2.00 c 243 2.01 o 4460 2.01 c 242 2.01 o 4461 2.01 c 241 2.01 o 4462 2.01 c 240 2.01 o 4463 2.01 c 239 2.01 o 4464 2.01 c 238 2.01 o 4465 2.01 c 237 2.02 o 4466 2.02 c 236 2.02 o 4467 2.02 c 235 2.02 o 4468 2.02 c 234 2.02 o 4469 2.02 c 233 2.02 o 4470 2.02 c 232 2.02 o 4471 2.02 c 231 2.02 o 4472 2.02 c 230 2.03 o 4473 2.03 c 229 2.03 o 4474 2.03 c 228 2.03 o 4475 2.03 c 227 2.03 o 4476 2.03 c 226 2.03 o 4477 2.03 c 225 2.03 o 4478 2.03 c 224 2.04 o 4479 2.04 c 223 2.04 o 4480 2.04 c 222 2.04 o 4481 2.04 c 221 2.04 o 4482 2.04 c 220 2.04 o 4483 2.04 c 219 2.04 o 4484 2.04 c 218 2.04 o 4485 2.04 c 217 2.05 o 4486 2.05 c 216 2.05 o 4487 2.05 c 215 2.05 o 4488 2.05 c 214 2.05 o 4489 2.05 c 213 2.05 o 4490 2.05 c 212 2.06 o 4491 2.06 c 211 2.06 o 4492 2.06 c 210 2.06 o 4493 2.06 c 209 2.06 o 4494 2.06 c 208 2.06 o 4495 2.06 c 207 2.06 o 4496 2.06 c 206 2.06 o 4497 2.06 c 205 2.06 o 4498 2.06 c 204 2.07 o 4499 2.07 c 203 2.07 o 4500 2.07 c 202 2.07 o 4501 2.07 c 201 2.07 o 4502 2.07 c 200 2.07 o 4503 2.07 c 199 2.07 o 4504 2.07 c 198 2.07 o 4505 2.07 c 197 2.07 o 4506 2.07 c 196 2.07 o 4507 2.08 c 195 2.08 o 4508 2.08 c 194 2.08 o 4509 2.08 c 193 2.08 o 4510 2.08 c 192 2.09 o 4511 2.09 c 191 2.10 o 4512 2.10 c 190 2.10 o 4513 2.10 c 189 2.11 o 4514 2.11 c 188 2.16 o 4517 2.16 c 185 2.17 o 4518 2.17 c 184 2.17 o 4519 2.17 c 183 2.17 o 4520 2.17 c 182 2.18 o 4522 2.18 c 180 2.18 o 4523 2.18 c 179 2.18 o 4524 2.18 c 178 2.18 o 4525 2.18 c 177 2.18 o 4526 2.18 c 176 2.18 o 4527 2.18 c 175 2.19 o 4528 2.19 c 174 2.19 o 4529 2.19 c 173 2.19 o 4530 2.19 c 172 2.19 o 4534 2.19 c 168 2.19 o 4535 2.19 c 167 2.19 o 4536 2.19 c 166 2.19 o 4537 2.19 c 165 2.19 o 4538 2.19 c 164 2.20 o 4539 2.20 c 163 2.20 o 4542 2.20 c 160 2.20 o 4544 2.20 c 158 2.20 o 4545 2.20 c 157 2.20 o 4547 2.20 c 155 2.20 o 4549 2.20 c 153 2.21 o 4551 2.21 c 151 2.21 o 4552 2.21 c 150 2.21 o 4553 2.21 c 149 2.21 o 4554 2.21 c 148 2.21 o 4555 2.21 c 147 2.21 o 4556 2.21 c 146 2.21 o 4557 2.21 c 145 2.22 o 4560 2.22 c 142 2.22 o 4563 2.22 c 139 2.22 o 4564 2.22 c 138 2.22 o 4565 2.22 c 137 2.22 o 4566 2.22 c 136 2.22 o 4567 2.22 c 135 2.22 o 4568 2.22 c 134 2.22 o 4569 2.22 c 133 2.23 o 4570 2.23 c 132 2.23 o 4571 2.23 c 131 2.23 o 4572 2.23 c 130 2.23 o 4573 2.23 c 129 2.23 o 4574 2.23 c 128 2.23 o 4575 2.23 c 127 2.24 o 4576 2.24 c 126 2.24 o 4577 2.24 c 125 2.25 o 4578 2.25 c 124 2.25 o 4579 2.25 c 123 2.25 o 4580 2.25 c 122 2.25 o 4581 2.25 c 121 2.25 o 4582 2.25 c 120 2.26 o 4583 2.26 c 119 2.26 o 4584 2.26 c 118 2.26 o 4585 2.26 c 117 2.27 o 4586 2.27 c 116 2.27 o 4587 2.27 c 115 2.27 o 4588 2.27 c 114 2.27 o 4589 2.27 c 113 2.28 o 4590 2.28 c 112 2.28 o 4591 2.28 c 111 2.28 o 4592 2.28 c 110 2.28 o 4593 2.28 c 109 2.28 o 4594 2.28 c 108 2.29 o 4599 2.29 c 103 2.29 o 4600 2.29 c 102 2.29 o 4601 2.29 c 101 2.30 o 4602 2.30 c 100 2.31 o 4603 2.31 c 99 2.32 o 4604 2.32 c 98 2.32 o 4605 2.32 c 97 2.32 o 4606 2.32 c 96 2.32 o 4607 2.32 c 95 2.32 o 4608 2.32 c 94 2.33 o 4609 2.33 c 93 2.33 o 4610 2.33 c 92 2.38 o 4611 2.38 c 91 2.38 o 4613 2.38 c 89 2.38 o 4614 2.38 c 88 2.39 o 4615 2.39 c 87 2.40 o 4617 2.40 c 85 2.40 o 4618 2.40 c 84 2.40 o 4619 2.40 c 83 2.40 o 4620 2.40 c 82 2.50 o 4621 2.50 c 81 2.50 o 4622 2.50 c 80 2.50 o 4623 2.50 c 79 2.53 o 4624 2.53 c 78 2.53 o 4625 2.53 c 77 2.54 o 4626 2.54 c 76 2.54 o 4627 2.54 c 75 2.54 o 4629 2.54 c 73 2.55 o 4630 2.55 c 72 2.55 o 4631 2.55 c 71 2.55 o 4632 2.55 c 70 2.56 o 4633 2.56 c 69 2.59 o 4634 2.59 c 68 2.72 o 4635 2.72 c 67 2.73 o 4636 2.73 c 66 2.74 o 4637 2.74 c 65 2.74 o 4638 2.74 c 64 2.75 o 4639 2.75 c 63 2.76 o 4640 2.76 c 62 2.76 o 4641 2.76 c 61 2.76 o 4642 2.76 c 60 2.76 o 4643 2.76 c 59 2.76 o 4644 2.76 c 58 2.77 o 4645 2.77 c 57 2.77 o 4646 2.77 c 56 2.77 o 4647 2.77 c 55 2.77 o 4648 2.77 c 54 2.78 o 4649 2.78 c 53 2.83 o 4650 2.83 c 52 2.83 o 4651 2.83 c 51 2.84 o 4652 2.84 c 50 2.85 o 4653 2.85 c 49 2.87 o 4654 2.87 c 48 2.87 o 4655 2.87 c 47 2.87 o 4656 2.87 c 46 2.88 o 4657 2.88 c 45 2.89 o 4658 2.89 c 44 2.89 o 4659 2.89 c 43 2.89 o 4660 2.89 c 42 2.92 o 4661 2.92 c 41 2.92 o 4662 2.92 c 40 2.93 o 4663 2.93 c 39 3.11 o 4664 3.11 c 38 3.11 o 4665 3.11 c 37 3.11 o 4666 3.11 c 36 3.11 o 4667 3.11 c 35 3.12 o 4668 3.12 c 34 3.14 o 4669 3.14 c 33 3.15 o 4670 3.15 c 32 3.15 o 4671 3.15 c 31 3.15 o 4672 3.15 c 30 3.17 o 4673 3.17 c 29 3.20 o 4674 3.20 c 28 3.21 o 4675 3.21 c 27 3.21 o 4676 3.21 c 26 3.31 o 4677 3.31 c 25 3.31 o 4678 3.31 c 24 3.31 o 4679 3.31 c 23 3.32 o 4680 3.32 c 22 3.32 o 4681 3.32 c 21 3.32 o 4682 3.32 c 20 3.40 o 4683 3.40 c 19 3.66 o 4684 3.66 c 18 3.67 o 4685 3.67 c 17 3.69 o 4686 3.69 c 16 3.70 o 4687 3.70 c 15 3.70 o 4688 3.70 c 14 3.83 o 4689 3.83 c 13 3.92 o 4690 3.92 c 12 3.95 o 4691 3.95 c 11 3.98 o 4692 3.98 c 10 3.98 o 4693 3.98 c 9 3.99 o 4694 3.99 c 8 4.26 o 4695 4.26 c 7 4.29 o 4696 4.29 c 6 4.30 o 4697 4.30 c 5 4.45 4.45 search 4.45 run=0 nbConstraintChecks=3022597 nbAssignments=10000 4.45 => wckTime=2.944 cpuTime=2.85 mem=11M404 4.51 o 4698 4.51 c 4 4.72 o 4699 4.72 c 3 6.24 o 4700 6.24 c 2 11.61 11.61 search 11.61 run=1 nbConstraintChecks=14073002 nbAssignments=20000 11.61 => wckTime=10.106 cpuTime=9.93 mem=11M404 11.62 o 4701 11.62 c 1 11.62 11.62 search 11.62 run=2 nbConstraintChecks=14078633 nbAssignments=20040 11.62 => wckTime=10.115 cpuTime=9.93 mem=11M404 11.62 11.62 global 11.62 nbConstraintChecks=14078633 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 11.62 solvingWckTime=10.11 solvingCpuTime=9.94 expiredTime=no totalExploration=no nbFoundSolutions=0 11.62 globalCpuTime=10.89 11.62 => wckTime=11.293 cpuTime=10.84 mem=11M404 11.62 11.62 solver IterativeSystematicSolver being built... 11.92 => wckTime=11.591 cpuTime=11.06 mem=41M846 11.96 11.96 preprocessing 11.96 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 11.96 detectedInconsistency=no 11.96 => wckTime=0.041 cpuTime=0.03 mem=41M846 14.23 14.24 search 14.24 run=0 nbConstraintChecks=406468 nbValidityChecks=308724 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 14.24 nbAssignments=281 nbFailedAssignments=4 nbBacktracks=50 nbVisitedNodes=286 nbRestartNogoods=0 14.24 => wckTime=2.314 cpuTime=2.24 mem=41M846 16.19 16.19 search 16.19 run=1 nbConstraintChecks=739087 nbValidityChecks=565133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 16.19 nbAssignments=528 nbFailedAssignments=8 nbBacktracks=86 nbVisitedNodes=537 nbRestartNogoods=1 16.19 => wckTime=4.273 cpuTime=4.16 mem=41M846 18.14 18.14 search 18.14 run=2 nbConstraintChecks=1074209 nbValidityChecks=824038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 18.14 nbAssignments=776 nbFailedAssignments=12 nbBacktracks=118 nbVisitedNodes=789 nbRestartNogoods=2 18.14 => wckTime=6.223 cpuTime=6.09 mem=41M846 19.70 19.70 search 19.70 run=3 nbConstraintChecks=1329455 nbValidityChecks=1029847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 19.70 nbAssignments=971 nbFailedAssignments=17 nbBacktracks=151 nbVisitedNodes=989 nbRestartNogoods=3 19.70 => wckTime=7.779 cpuTime=7.63 mem=41M846 21.40 21.40 search 21.40 run=4 nbConstraintChecks=1612790 nbValidityChecks=1256777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 21.40 nbAssignments=1186 nbFailedAssignments=23 nbBacktracks=203 nbVisitedNodes=1210 nbRestartNogoods=5 21.40 => wckTime=9.478 cpuTime=9.32 mem=41M846 23.39 23.39 search 23.39 run=5 nbConstraintChecks=1942693 nbValidityChecks=1517977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 23.39 nbAssignments=1432 nbFailedAssignments=32 nbBacktracks=282 nbVisitedNodes=1465 nbRestartNogoods=8 23.39 => wckTime=11.468 cpuTime=11.28 mem=41M846 28.76 28.76 search 28.76 run=6 nbConstraintChecks=3328979 nbValidityChecks=2610306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 28.76 nbAssignments=2062 nbFailedAssignments=52 nbBacktracks=403 nbVisitedNodes=2115 nbRestartNogoods=11 28.76 => wckTime=16.839 cpuTime=16.58 mem=41M846 34.59 34.59 search 34.59 run=7 nbConstraintChecks=5278583 nbValidityChecks=4132992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 34.59 nbAssignments=2836 nbFailedAssignments=64 nbBacktracks=579 nbVisitedNodes=2902 nbRestartNogoods=16 34.59 => wckTime=22.672 cpuTime=22.34 mem=41M846 39.46 39.46 search 39.46 run=8 nbConstraintChecks=6679095 nbValidityChecks=5239394 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 39.46 nbAssignments=3429 nbFailedAssignments=75 nbBacktracks=845 nbVisitedNodes=3506 nbRestartNogoods=22 39.46 => wckTime=27.543 cpuTime=27.15 mem=41M846 46.84 46.84 search 46.84 run=9 nbConstraintChecks=8821177 nbValidityChecks=6907400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 46.84 nbAssignments=4243 nbFailedAssignments=103 nbBacktracks=1232 nbVisitedNodes=4350 nbRestartNogoods=24 46.84 => wckTime=34.921 cpuTime=34.43 mem=41M846 55.46 55.46 search 55.46 run=10 nbConstraintChecks=11349477 nbValidityChecks=8872920 nbPropagations=0 nbRevisions=0 55.46 nbUselessRevisions=0 nbAssignments=5207 nbFailedAssignments=131 nbBacktracks=1839 nbVisitedNodes=5342 55.46 nbRestartNogoods=26 55.46 => wckTime=43.545 cpuTime=42.96 mem=41M846 68.01 68.01 search 68.01 run=11 nbConstraintChecks=14629993 nbValidityChecks=11480222 nbPropagations=0 nbRevisions=0 68.01 nbUselessRevisions=0 nbAssignments=6432 nbFailedAssignments=186 nbBacktracks=2712 nbVisitedNodes=6624 68.01 nbRestartNogoods=30 68.01 => wckTime=56.087 cpuTime=55.35 mem=41M846 85.31 85.31 search 85.31 run=12 nbConstraintChecks=19272514 nbValidityChecks=15189131 nbPropagations=0 nbRevisions=0 85.31 nbUselessRevisions=0 nbAssignments=8131 nbFailedAssignments=256 nbBacktracks=4016 nbVisitedNodes=8395 85.31 nbRestartNogoods=33 85.31 => wckTime=73.393 cpuTime=72.44 mem=41M846 110.77 110.77 search 110.77 run=13 nbConstraintChecks=25676007 nbValidityChecks=20108698 nbPropagations=0 nbRevisions=0 110.77 nbUselessRevisions=0 nbAssignments=10586 nbFailedAssignments=378 nbBacktracks=5985 nbVisitedNodes=10975 110.77 nbRestartNogoods=36 110.77 => wckTime=98.854 cpuTime=97.67 mem=41M846 140.26 140.26 search 140.26 run=14 nbConstraintChecks=35751538 nbValidityChecks=27769440 nbPropagations=0 nbRevisions=0 140.26 nbUselessRevisions=0 nbAssignments=13935 nbFailedAssignments=538 nbBacktracks=8906 nbVisitedNodes=14496 140.26 nbRestartNogoods=47 140.26 => wckTime=128.344 cpuTime=126.89 mem=41M846 191.55 191.55 search 191.55 run=15 nbConstraintChecks=51085815 nbValidityChecks=39287129 nbPropagations=0 nbRevisions=0 191.55 nbUselessRevisions=0 nbAssignments=18883 nbFailedAssignments=773 nbBacktracks=13356 nbVisitedNodes=19682 191.55 nbRestartNogoods=50 191.55 => wckTime=179.629 cpuTime=177.71 mem=41M846 272.05 272.05 search 272.05 run=16 nbConstraintChecks=72660934 nbValidityChecks=56499350 nbPropagations=0 nbRevisions=0 272.05 nbUselessRevisions=0 nbAssignments=26118 nbFailedAssignments=1088 nbBacktracks=19993 nbVisitedNodes=27237 272.05 nbRestartNogoods=54 272.05 => wckTime=260.129 cpuTime=257.32 mem=41M846 395.94 395.94 search 395.94 run=17 nbConstraintChecks=106827755 nbValidityChecks=82969622 nbPropagations=0 nbRevisions=0 395.94 nbUselessRevisions=0 nbAssignments=36844 nbFailedAssignments=1611 nbBacktracks=29891 nbVisitedNodes=38488 395.94 nbRestartNogoods=56 395.94 => wckTime=384.016 cpuTime=379.71 mem=41M846 575.68 575.68 search 575.68 run=18 nbConstraintChecks=154481997 nbValidityChecks=120858492 nbPropagations=0 nbRevisions=0 575.68 nbUselessRevisions=0 nbAssignments=52794 nbFailedAssignments=2494 nbBacktracks=44669 nbVisitedNodes=55331 575.68 nbRestartNogoods=59 575.68 => wckTime=563.764 cpuTime=557.66 mem=41M846 853.29 853.29 search 853.29 run=19 nbConstraintChecks=226044729 nbValidityChecks=178960808 nbPropagations=0 nbRevisions=0 853.29 nbUselessRevisions=0 nbAssignments=76281 nbFailedAssignments=3542 nbBacktracks=66852 nbVisitedNodes=79885 853.29 nbRestartNogoods=68 853.29 => wckTime=841.372 cpuTime=832.41 mem=41M846 1301.30 1301.30 search 1301.30 run=20 nbConstraintChecks=350830338 nbValidityChecks=291577978 nbPropagations=0 nbRevisions=0 1301.30 nbUselessRevisions=0 nbAssignments=111796 nbFailedAssignments=5629 nbBacktracks=100108 nbVisitedNodes=117519 1301.30 nbRestartNogoods=74 1301.30 => wckTime=1289.379 cpuTime=1275.81 mem=41M846 2087.03 2087.03 search 2087.03 run=21 nbConstraintChecks=507390507 nbValidityChecks=418066053 nbPropagations=0 nbRevisions=0 2087.03 nbUselessRevisions=0 nbAssignments=164551 nbFailedAssignments=8423 nbBacktracks=150001 nbVisitedNodes=173099 2087.03 nbRestartNogoods=77 2087.03 => wckTime=2075.107 cpuTime=2058.6 mem=41M846 2417.03 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/node2/watcher-275784-1169227156 -o ROOT/results/node2/solver-275784-1169227156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275784-1169227156/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: 2.12 2.06 2.02 2/94 12013 /proc/meminfo: memFree=1245280/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=18540 CPUtime=0 /proc/12012/stat : 12012 (runsolver) R 12010 12012 11612 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271111220 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/12012/statm: 4635 279 244 17 0 2626 0 [startup+0.102141 s] /proc/loadavg: 2.12 2.06 2.02 2/94 12013 /proc/meminfo: memFree=1245280/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=912432 CPUtime=0.08 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 2744 0 1 0 6 2 0 0 20 0 8 0 271111220 934330368 2491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228108 2491 1379 14 0 215091 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 912432 [startup+0.510215 s] /proc/loadavg: 2.12 2.06 2.02 2/94 12013 /proc/meminfo: memFree=1245280/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915332 CPUtime=0.48 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 6412 0 1 0 43 5 0 0 18 0 8 0 271111220 937299968 6151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228833 6151 2138 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.33337 s] /proc/loadavg: 2.12 2.06 2.02 3/101 12020 /proc/meminfo: memFree=1204456/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915640 CPUtime=1.29 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 14114 0 1 0 101 28 0 0 25 0 8 0 271111220 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228910 13852 2178 14 0 215380 0 [pid=12012/tid=12014] ppid=12010 vsize=915640 CPUtime=0 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271111224 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915640 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 271111225 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915640 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 271111225 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915640 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915640 CPUtime=0.2 /proc/12012/task/12018/stat : 12018 (java) R 12010 12012 11612 0 -1 64 426 0 0 0 19 1 0 0 16 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153158131 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915640 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915640 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915640 [startup+2.98271 s] /proc/loadavg: 2.11 2.06 2.02 3/101 12020 /proc/meminfo: memFree=1190632/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2.89 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16301 0 1 0 244 45 0 0 25 0 8 0 271111220 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228935 16037 2496 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.07 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1619 0 0 0 7 0 0 0 17 0 8 0 271111224 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.25 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 457 0 0 0 24 1 0 0 15 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 915740 [startup+6.27028 s] /proc/loadavg: 2.11 2.06 2.02 3/101 12020 /proc/meminfo: memFree=1190568/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=6.15 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16312 0 1 0 517 98 0 0 25 0 8 0 271111220 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228935 16048 2496 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.07 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1619 0 0 0 7 0 0 0 16 0 8 0 271111224 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.26 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 467 0 0 0 25 1 0 0 17 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 915740 [startup+12.7665 s] /proc/loadavg: 2.09 2.06 2.02 3/101 12020 /proc/meminfo: memFree=1190120/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=12.58 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16463 0 1 0 1132 126 0 0 25 0 8 0 271111220 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228935 16198 2544 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.07 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1619 0 0 0 7 0 0 0 17 0 8 0 271111224 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.37 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 526 0 0 0 36 1 0 0 15 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 915740 [startup+25.6218 s] /proc/loadavg: 2.08 2.06 2.02 3/101 12020 /proc/meminfo: memFree=1190184/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=25.32 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16497 0 1 0 2406 126 0 0 25 0 8 0 271111220 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074298360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228935 16225 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.42 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.32 Current children cumulated vsize (KiB) 915740 [startup+51.2761 s] /proc/loadavg: 2.05 2.05 2.01 3/101 12020 /proc/meminfo: memFree=1190184/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=50.65 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16504 0 1 0 4938 127 0 0 25 0 8 0 271111220 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074213231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228935 16228 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.43 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 555 0 0 0 41 2 0 0 15 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 915740 [startup+102.567 s] /proc/loadavg: 2.02 2.04 2.01 3/101 12020 /proc/meminfo: memFree=1190248/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=101.39 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16510 0 1 0 10010 129 0 0 25 0 8 0 271111220 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12012/statm: 228935 16230 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 559 0 0 0 42 2 0 0 15 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.39 Current children cumulated vsize (KiB) 915740 [startup+162.583 s] /proc/loadavg: 2.00 2.03 2.00 3/101 12022 /proc/meminfo: memFree=1190120/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=160.86 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16511 0 1 0 15956 130 0 0 25 0 8 0 271111220 937717760 16231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073471040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2007.39 Current children cumulated vsize (KiB) 915740 [startup+2083.94 s] /proc/loadavg: 2.00 2.01 2.00 4/93 12128 /proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2067.37 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 206576 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074209252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12012/statm: 228935 16232 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2067.37 Current children cumulated vsize (KiB) 915740 [startup+2143.99 s] /proc/loadavg: 2.00 2.01 2.00 3/93 12128 /proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2127.35 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 212574 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074079585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12012/statm: 228935 16232 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2127.35 Current children cumulated vsize (KiB) 915740 [startup+2204.04 s] /proc/loadavg: 2.00 2.00 2.00 3/93 12128 /proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2187.35 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 218574 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074252874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12012/statm: 228935 16232 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2187.35 Current children cumulated vsize (KiB) 915740 [startup+2264.1 s] /proc/loadavg: 2.10 2.03 2.01 3/93 12128 /proc/meminfo: memFree=1214568/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2247.34 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 224573 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074209248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12012/statm: 228935 16232 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) R 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2247.34 Current children cumulated vsize (KiB) 915740 [startup+2324.16 s] /proc/loadavg: 2.03 2.02 2.00 3/93 12128 /proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2307.32 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 230571 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074190942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12012/statm: 228935 16232 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2307.32 Current children cumulated vsize (KiB) 915740 [startup+2384.21 s] /proc/loadavg: 2.01 2.02 2.00 3/93 12128 /proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2367.32 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 236571 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12012/statm: 228935 16232 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2367.32 Current children cumulated vsize (KiB) 915740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2417.02 s] /proc/loadavg: 2.00 2.01 2.00 4/93 12128 /proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956 [pid=12012] ppid=12010 vsize=915740 CPUtime=2400.09 /proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 239848 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074079490 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/12012/statm: 228935 16232 2547 14 0 215405 0 [pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08 /proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44 /proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0 /proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 915740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2417.09 CPU time (s): 2400.16 CPU user time (s): 2398.53 CPU system time (s): 1.62775 CPU usage (%): 99.2994 Max. virtual memory (cumulated for all children) (KiB): 915772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.53 system time used= 1.62775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16535 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= 50716 involuntary context switches= 96907 runsolver used 3.87641 s user time and 8.48671 s system time The end
Begin job on node2 on Fri Jan 19 17:19:16 UTC 2007 IDJOB= 275784 IDBENCH= 4796 IDSOLVER= 69 FILE ID= node2/275784-1169227156 PBS_JOBID= 3588972 Free space on /tmp= 66562 MiB SOLVER NAME= AbsconMax 109 PFC 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 pfc.xml 1 XSax /tmp/evaluation/275784-1169227156/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-275784-1169227156 -o ROOT/results/node2/solver-275784-1169227156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275784-1169227156/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 75306e088ab36ae277fcdc644f384d6a RANDOM SEED= 244437409 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.259 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 : 5931.00 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.259 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: 1245760 kB Buffers: 44356 kB Cached: 611840 kB SwapCached: 548 kB Active: 183484 kB Inactive: 553520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1245760 kB SwapTotal: 4192956 kB SwapFree: 4180552 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 100080 kB Slab: 57672 kB Committed_AS: 7016228 kB PageTables: 2532 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= 66560 MiB End job on node2 on Fri Jan 19 17:59:33 UTC 2007