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.12 | 2402.69 |
| Name | rlfap/rlfapGraphsMod/ graph14-f28.xml |
| MD5SUM | 20f9358485fb6b663286405b27294657 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 4568 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 916 |
| Number of constraints | 4638 |
| Maximum constraint arity | 2 |
| Maximum domain size | 18 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 4638 |
| Global constraints used (with number of constraints) |
0.29 0.29 Abscon 109 (November, 2006) 0.29 0.29 configuration 0.29 name=pfc.xml 0.33 0.33 instance 0.33 name=/tmp/evaluation/275067-1169216437/unknown.xml 0.36 0.36 domains being loaded... 0.36 0.36 variables being loaded... 0.48 nbVariables=916 nbDomainTypes=5 minDomainSize=8 maxDomainSize=18 0.48 => wckTime=0.185 cpuTime=0.13 mem=8M860 0.48 0.48 predicates being loaded... 0.48 0.48 constraints being loaded... 1.22 nbConstraints=4638 nbConvertedConstraints=4638 nbConvertConstraintsChecks=101610 nbExtensionStructures=396 1.22 nbSharedExtensionStructures=4242 nbConflictsStructures=396 nbSharedConflictsStructures=4242 1.22 nbSharedBinaryRepresentations=12469 maxDegree=26 maxArity=2 1.22 => wckTime=0.92 cpuTime=0.75 mem=32M314 1.30 1.30 solver LocalSearchSolver being built... 1.33 => wckTime=1.037 cpuTime=0.79 mem=8M527 1.35 1.35 s SATISFIABLE 1.35 o 3523 1.35 c 1115 1.35 o 3530 1.35 c 1108 1.36 o 3537 1.36 c 1101 1.36 o 3544 1.36 c 1094 1.36 o 3550 1.36 c 1088 1.36 o 3556 1.36 c 1082 1.36 o 3562 1.36 c 1076 1.37 o 3567 1.37 c 1071 1.37 o 3572 1.37 c 1066 1.37 o 3576 1.37 c 1062 1.37 o 3579 1.37 c 1059 1.37 o 3584 1.37 c 1054 1.37 o 3589 1.37 c 1049 1.37 o 3594 1.37 c 1044 1.38 o 3599 1.38 c 1039 1.38 o 3604 1.38 c 1034 1.38 o 3608 1.38 c 1030 1.38 o 3613 1.38 c 1025 1.38 o 3617 1.38 c 1021 1.38 o 3621 1.38 c 1017 1.38 o 3625 1.38 c 1013 1.38 o 3629 1.38 c 1009 1.38 o 3632 1.38 c 1006 1.39 o 3635 1.39 c 1003 1.39 o 3637 1.39 c 1001 1.39 o 3639 1.39 c 999 1.39 o 3643 1.39 c 995 1.39 o 3647 1.39 c 991 1.39 o 3651 1.39 c 987 1.39 o 3655 1.39 c 983 1.40 o 3659 1.40 c 979 1.40 o 3663 1.40 c 975 1.40 o 3667 1.40 c 971 1.40 o 3671 1.40 c 967 1.40 o 3675 1.40 c 963 1.40 o 3679 1.40 c 959 1.40 o 3683 1.40 c 955 1.41 o 3687 1.41 c 951 1.41 o 3691 1.41 c 947 1.41 o 3695 1.41 c 943 1.41 o 3699 1.41 c 939 1.41 o 3703 1.41 c 935 1.41 o 3707 1.41 c 931 1.41 o 3711 1.41 c 927 1.42 o 3714 1.42 c 924 1.42 o 3717 1.42 c 921 1.42 o 3720 1.42 c 918 1.42 o 3723 1.42 c 915 1.42 o 3726 1.42 c 912 1.42 o 3729 1.42 c 909 1.42 o 3732 1.42 c 906 1.43 o 3735 1.43 c 903 1.43 o 3738 1.43 c 900 1.43 o 3741 1.43 c 897 1.43 o 3744 1.43 c 894 1.43 o 3746 1.43 c 892 1.43 o 3748 1.43 c 890 1.43 o 3750 1.43 c 888 1.43 o 3752 1.43 c 886 1.44 o 3754 1.44 c 884 1.44 o 3755 1.44 c 883 1.44 o 3756 1.44 c 882 1.44 o 3757 1.44 c 881 1.44 o 3760 1.44 c 878 1.44 o 3761 1.44 c 877 1.44 o 3763 1.44 c 875 1.45 o 3766 1.45 c 872 1.45 o 3767 1.45 c 871 1.45 o 3770 1.45 c 868 1.45 o 3773 1.45 c 865 1.46 o 3776 1.46 c 862 1.46 o 3779 1.46 c 859 1.46 o 3782 1.46 c 856 1.46 o 3785 1.46 c 853 1.46 o 3788 1.46 c 850 1.47 o 3791 1.47 c 847 1.47 o 3794 1.47 c 844 1.47 o 3797 1.47 c 841 1.47 o 3800 1.47 c 838 1.47 o 3803 1.47 c 835 1.48 o 3806 1.48 c 832 1.48 o 3809 1.48 c 829 1.48 o 3812 1.48 c 826 1.48 o 3815 1.48 c 823 1.49 o 3818 1.49 c 820 1.49 o 3821 1.49 c 817 1.49 o 3824 1.49 c 814 1.49 o 3827 1.49 c 811 1.49 o 3830 1.49 c 808 1.50 o 3833 1.50 c 805 1.50 o 3836 1.50 c 802 1.50 o 3839 1.50 c 799 1.50 o 3842 1.50 c 796 1.50 o 3845 1.50 c 793 1.50 o 3848 1.50 c 790 1.51 o 3851 1.51 c 787 1.51 o 3854 1.51 c 784 1.51 o 3857 1.51 c 781 1.51 o 3860 1.51 c 778 1.51 o 3863 1.51 c 775 1.52 o 3866 1.52 c 772 1.52 o 3869 1.52 c 769 1.52 o 3872 1.52 c 766 1.52 o 3875 1.52 c 763 1.52 o 3878 1.52 c 760 1.52 o 3881 1.53 c 757 1.53 o 3884 1.53 c 754 1.53 o 3887 1.53 c 751 1.53 o 3890 1.53 c 748 1.53 o 3893 1.53 c 745 1.53 o 3896 1.53 c 742 1.53 o 3898 1.53 c 740 1.54 o 3900 1.54 c 738 1.54 o 3902 1.54 c 736 1.54 o 3904 1.54 c 734 1.54 o 3906 1.54 c 732 1.54 o 3908 1.54 c 730 1.54 o 3910 1.54 c 728 1.55 o 3912 1.55 c 726 1.55 o 3914 1.55 c 724 1.55 o 3916 1.55 c 722 1.55 o 3918 1.55 c 720 1.55 o 3920 1.55 c 718 1.55 o 3922 1.55 c 716 1.56 o 3924 1.56 c 714 1.56 o 3926 1.56 c 712 1.56 o 3928 1.56 c 710 1.56 o 3930 1.56 c 708 1.56 o 3932 1.56 c 706 1.56 o 3934 1.56 c 704 1.57 o 3936 1.57 c 702 1.57 o 3938 1.57 c 700 1.57 o 3940 1.57 c 698 1.57 o 3942 1.57 c 696 1.57 o 3944 1.57 c 694 1.57 o 3946 1.57 c 692 1.57 o 3948 1.57 c 690 1.57 o 3950 1.57 c 688 1.58 o 3951 1.58 c 687 1.58 o 3952 1.58 c 686 1.58 o 3953 1.58 c 685 1.58 o 3954 1.58 c 684 1.58 o 3955 1.58 c 683 1.58 o 3956 1.58 c 682 1.58 o 3957 1.58 c 681 1.59 o 3958 1.59 c 680 1.59 o 3959 1.59 c 679 1.59 o 3961 1.59 c 677 1.59 o 3964 1.59 c 674 1.60 o 3965 1.60 c 673 1.60 o 3967 1.60 c 671 1.60 o 3970 1.60 c 668 1.60 o 3972 1.60 c 666 1.60 o 3976 1.60 c 662 1.60 o 3978 1.60 c 660 1.61 o 3981 1.61 c 657 1.61 o 3984 1.61 c 654 1.61 o 3986 1.61 c 652 1.61 o 3989 1.61 c 649 1.61 o 3991 1.61 c 647 1.61 o 3992 1.61 c 646 1.61 o 3995 1.61 c 643 1.61 o 3998 1.61 c 640 1.62 o 4000 1.62 c 638 1.62 o 4002 1.62 c 636 1.62 o 4003 1.62 c 635 1.62 o 4005 1.62 c 633 1.62 o 4007 1.62 c 631 1.62 o 4010 1.62 c 628 1.63 o 4012 1.63 c 626 1.63 o 4014 1.63 c 624 1.63 o 4016 1.63 c 622 1.63 o 4018 1.63 c 620 1.64 o 4020 1.64 c 618 1.64 o 4022 1.64 c 616 1.64 o 4024 1.64 c 614 1.65 o 4026 1.65 c 612 1.65 o 4028 1.65 c 610 1.65 o 4030 1.65 c 608 1.65 o 4032 1.65 c 606 1.66 o 4034 1.66 c 604 1.66 o 4036 1.66 c 602 1.66 o 4038 1.66 c 600 1.66 o 4040 1.66 c 598 1.67 o 4042 1.67 c 596 1.67 o 4044 1.67 c 594 1.67 o 4046 1.67 c 592 1.67 o 4048 1.67 c 590 1.68 o 4050 1.68 c 588 1.68 o 4052 1.68 c 586 1.68 o 4054 1.68 c 584 1.68 o 4056 1.68 c 582 1.69 o 4058 1.69 c 580 1.69 o 4060 1.69 c 578 1.69 o 4062 1.69 c 576 1.69 o 4064 1.69 c 574 1.69 o 4067 1.69 c 571 1.70 o 4070 1.70 c 568 1.70 o 4072 1.70 c 566 1.70 o 4074 1.70 c 564 1.70 o 4076 1.70 c 562 1.70 o 4078 1.70 c 560 1.71 o 4080 1.71 c 558 1.71 o 4082 1.71 c 556 1.71 o 4084 1.71 c 554 1.71 o 4086 1.71 c 552 1.72 o 4088 1.72 c 550 1.72 o 4090 1.72 c 548 1.72 o 4092 1.72 c 546 1.72 o 4094 1.72 c 544 1.73 o 4096 1.73 c 542 1.73 o 4098 1.73 c 540 1.73 o 4100 1.73 c 538 1.73 o 4102 1.73 c 536 1.73 o 4104 1.73 c 534 1.74 o 4106 1.74 c 532 1.74 o 4108 1.74 c 530 1.74 o 4110 1.74 c 528 1.74 o 4111 1.74 c 527 1.75 o 4112 1.75 c 526 1.75 o 4113 1.75 c 525 1.75 o 4114 1.75 c 524 1.75 o 4115 1.75 c 523 1.75 o 4116 1.75 c 522 1.76 o 4117 1.76 c 521 1.76 o 4118 1.76 c 520 1.76 o 4119 1.76 c 519 1.76 o 4120 1.76 c 518 1.76 o 4121 1.76 c 517 1.77 o 4122 1.77 c 516 1.77 o 4125 1.77 c 513 1.77 o 4126 1.77 c 512 1.77 o 4127 1.77 c 511 1.77 o 4128 1.77 c 510 1.78 o 4129 1.78 c 509 1.78 o 4130 1.78 c 508 1.78 o 4131 1.78 c 507 1.78 o 4132 1.78 c 506 1.78 o 4133 1.78 c 505 1.78 o 4134 1.79 c 504 1.79 o 4135 1.79 c 503 1.79 o 4136 1.79 c 502 1.79 o 4137 1.79 c 501 1.79 o 4138 1.79 c 500 1.79 o 4139 1.79 c 499 1.80 o 4140 1.80 c 498 1.80 o 4141 1.80 c 497 1.80 o 4142 1.80 c 496 1.80 o 4144 1.80 c 494 1.80 o 4145 1.80 c 493 1.80 o 4146 1.80 c 492 1.81 o 4147 1.81 c 491 1.81 o 4148 1.81 c 490 1.81 o 4151 1.81 c 487 1.82 o 4152 1.82 c 486 1.84 o 4155 1.84 c 483 1.84 o 4156 1.84 c 482 1.84 o 4157 1.84 c 481 1.84 o 4158 1.84 c 480 1.84 o 4160 1.84 c 478 1.84 o 4162 1.84 c 476 1.84 o 4164 1.84 c 474 1.84 o 4165 1.84 c 473 1.85 o 4167 1.85 c 471 1.85 o 4168 1.85 c 470 1.85 o 4169 1.85 c 469 1.85 o 4170 1.85 c 468 1.85 o 4173 1.85 c 465 1.85 o 4174 1.85 c 464 1.85 o 4175 1.85 c 463 1.85 o 4176 1.85 c 462 1.86 o 4177 1.86 c 461 1.86 o 4178 1.86 c 460 1.86 o 4179 1.86 c 459 1.86 o 4180 1.86 c 458 1.86 o 4182 1.86 c 456 1.86 o 4183 1.86 c 455 1.87 o 4184 1.87 c 454 1.87 o 4186 1.87 c 452 1.87 o 4188 1.87 c 450 1.87 o 4190 1.87 c 448 1.87 o 4191 1.87 c 447 1.87 o 4192 1.87 c 446 1.88 o 4193 1.88 c 445 1.88 o 4195 1.88 c 443 1.88 o 4197 1.88 c 441 1.88 o 4198 1.88 c 440 1.88 o 4199 1.88 c 439 1.88 o 4201 1.88 c 437 1.88 o 4202 1.88 c 436 1.89 o 4205 1.89 c 433 1.89 o 4206 1.89 c 432 1.89 o 4208 1.89 c 430 1.89 o 4209 1.89 c 429 1.89 o 4210 1.89 c 428 1.89 o 4212 1.89 c 426 1.89 o 4214 1.89 c 424 1.90 o 4216 1.90 c 422 1.90 o 4217 1.90 c 421 1.90 o 4218 1.90 c 420 1.90 o 4220 1.90 c 418 1.90 o 4221 1.90 c 417 1.91 o 4223 1.91 c 415 1.91 o 4224 1.91 c 414 1.91 o 4226 1.91 c 412 1.91 o 4227 1.91 c 411 1.91 o 4228 1.91 c 410 1.92 o 4230 1.92 c 408 1.92 o 4232 1.92 c 406 1.92 o 4234 1.92 c 404 1.93 o 4235 1.93 c 403 1.93 o 4237 1.93 c 401 1.93 o 4238 1.93 c 400 1.93 o 4240 1.93 c 398 1.94 o 4241 1.94 c 397 1.95 o 4242 1.95 c 396 1.95 o 4244 1.95 c 394 1.95 o 4245 1.95 c 393 1.96 o 4246 1.96 c 392 1.96 o 4247 1.96 c 391 1.97 o 4248 1.97 c 390 1.97 o 4249 1.97 c 389 1.97 o 4250 1.97 c 388 1.98 o 4251 1.98 c 387 1.98 o 4252 1.98 c 386 1.98 o 4253 1.98 c 385 1.99 o 4254 1.99 c 384 1.99 o 4255 1.99 c 383 1.99 o 4257 1.99 c 381 1.99 o 4258 1.99 c 380 2.00 o 4259 2.00 c 379 2.00 o 4260 2.00 c 378 2.00 o 4261 2.00 c 377 2.01 o 4262 2.01 c 376 2.01 o 4263 2.01 c 375 2.01 o 4264 2.01 c 374 2.02 o 4265 2.02 c 373 2.02 o 4266 2.02 c 372 2.02 o 4267 2.02 c 371 2.03 o 4269 2.03 c 369 2.03 o 4270 2.03 c 368 2.03 o 4271 2.03 c 367 2.04 o 4272 2.04 c 366 2.04 o 4273 2.04 c 365 2.04 o 4274 2.04 c 364 2.05 o 4275 2.05 c 363 2.05 o 4276 2.05 c 362 2.05 o 4277 2.05 c 361 2.06 o 4278 2.06 c 360 2.06 o 4279 2.06 c 359 2.06 o 4280 2.06 c 358 2.06 o 4282 2.06 c 356 2.07 o 4283 2.07 c 355 2.07 o 4285 2.07 c 353 2.07 o 4286 2.07 c 352 2.07 o 4287 2.07 c 351 2.08 o 4288 2.08 c 350 2.08 o 4289 2.08 c 349 2.08 o 4290 2.08 c 348 2.09 o 4291 2.09 c 347 2.09 o 4292 2.09 c 346 2.09 o 4293 2.10 c 345 2.10 o 4294 2.10 c 344 2.11 o 4295 2.11 c 343 2.11 o 4296 2.11 c 342 2.11 o 4297 2.11 c 341 2.11 o 4298 2.11 c 340 2.12 o 4299 2.12 c 339 2.12 o 4300 2.12 c 338 2.12 o 4301 2.12 c 337 2.15 o 4302 2.15 c 336 2.15 o 4303 2.15 c 335 2.15 o 4304 2.15 c 334 2.16 o 4305 2.16 c 333 2.18 o 4306 2.18 c 332 2.19 o 4308 2.19 c 330 2.20 o 4309 2.20 c 329 2.21 o 4310 2.21 c 328 2.22 o 4311 2.22 c 327 2.40 o 4312 2.40 c 326 2.41 o 4313 2.41 c 325 2.41 o 4314 2.41 c 324 2.42 o 4315 2.42 c 323 2.42 o 4316 2.43 c 322 2.43 o 4317 2.43 c 321 2.43 o 4319 2.43 c 319 2.43 o 4321 2.43 c 317 2.44 o 4322 2.44 c 316 2.44 o 4323 2.44 c 315 2.44 o 4324 2.44 c 314 2.45 o 4325 2.45 c 313 2.45 o 4326 2.45 c 312 2.54 o 4327 2.54 c 311 2.54 o 4328 2.54 c 310 2.55 o 4329 2.55 c 309 2.55 o 4330 2.55 c 308 2.60 o 4331 2.60 c 307 2.61 o 4332 2.61 c 306 2.61 o 4334 2.61 c 304 2.61 o 4336 2.61 c 302 2.62 o 4337 2.62 c 301 2.63 o 4338 2.63 c 300 2.63 o 4339 2.63 c 299 2.64 o 4341 2.64 c 297 2.64 o 4343 2.64 c 295 2.64 o 4344 2.64 c 294 2.64 o 4345 2.64 c 293 2.65 o 4346 2.65 c 292 2.66 o 4347 2.66 c 291 2.66 o 4348 2.66 c 290 2.67 o 4349 2.67 c 289 2.67 o 4350 2.67 c 288 2.68 o 4353 2.68 c 285 2.68 o 4354 2.68 c 284 2.69 o 4355 2.69 c 283 2.69 o 4357 2.69 c 281 2.69 o 4359 2.69 c 279 2.71 o 4360 2.71 c 278 2.72 o 4361 2.72 c 277 2.73 o 4362 2.73 c 276 2.73 o 4363 2.73 c 275 2.81 o 4366 2.81 c 272 2.82 o 4367 2.82 c 271 2.88 o 4368 2.88 c 270 2.94 o 4369 2.94 c 269 2.95 o 4370 2.95 c 268 2.96 o 4371 2.96 c 267 2.96 o 4372 2.96 c 266 2.97 o 4373 2.97 c 265 2.98 o 4375 2.98 c 263 2.98 o 4376 2.98 c 262 3.01 o 4377 3.01 c 261 3.01 o 4379 3.01 c 259 3.02 o 4380 3.02 c 258 3.02 o 4381 3.02 c 257 3.02 o 4382 3.02 c 256 3.03 o 4383 3.03 c 255 3.04 o 4384 3.04 c 254 3.05 o 4385 3.05 c 253 3.05 o 4386 3.05 c 252 3.09 o 4387 3.09 c 251 3.09 o 4388 3.09 c 250 3.09 o 4390 3.09 c 248 3.10 o 4391 3.10 c 247 3.11 o 4392 3.11 c 246 3.11 o 4394 3.11 c 244 3.12 o 4395 3.12 c 243 3.12 o 4396 3.12 c 242 3.23 o 4397 3.23 c 241 3.24 o 4398 3.24 c 240 3.30 o 4399 3.30 c 239 3.30 o 4400 3.30 c 238 3.31 o 4401 3.31 c 237 3.32 o 4403 3.32 c 235 3.33 o 4404 3.33 c 234 3.34 o 4405 3.34 c 233 3.35 o 4406 3.35 c 232 3.35 o 4407 3.35 c 231 3.36 o 4408 3.36 c 230 3.37 o 4409 3.37 c 229 3.38 o 4410 3.38 c 228 3.38 o 4411 3.38 c 227 3.43 o 4412 3.43 c 226 3.44 o 4414 3.44 c 224 3.44 o 4415 3.44 c 223 3.45 o 4416 3.45 c 222 3.51 o 4417 3.51 c 221 3.59 o 4418 3.59 c 220 3.60 o 4420 3.60 c 218 3.62 o 4422 3.62 c 216 3.62 o 4425 3.62 c 213 3.65 o 4426 3.65 c 212 3.70 o 4427 3.70 c 211 3.71 o 4428 3.71 c 210 3.71 o 4429 3.71 c 209 3.72 o 4431 3.72 c 207 3.73 o 4433 3.73 c 205 3.73 o 4435 3.73 c 203 4.21 o 4437 4.21 c 201 4.21 o 4438 4.21 c 200 4.22 o 4439 4.22 c 199 4.25 o 4440 4.25 c 198 4.26 o 4441 4.26 c 197 4.30 o 4442 4.30 c 196 4.34 o 4443 4.34 c 195 4.34 o 4444 4.34 c 194 4.35 o 4445 4.35 c 193 4.35 o 4446 4.35 c 192 4.35 o 4447 4.35 c 191 4.36 o 4450 4.36 c 188 4.37 o 4451 4.37 c 187 4.38 o 4452 4.38 c 186 4.38 o 4453 4.38 c 185 4.39 o 4454 4.39 c 184 4.40 o 4455 4.40 c 183 4.51 o 4456 4.51 c 182 4.52 o 4457 4.52 c 181 4.52 o 4458 4.52 c 180 4.53 o 4459 4.53 c 179 4.53 o 4461 4.53 c 177 4.54 o 4462 4.54 c 176 4.54 o 4463 4.54 c 175 4.55 o 4464 4.55 c 174 4.58 o 4465 4.58 c 173 4.59 o 4466 4.59 c 172 4.60 o 4467 4.60 c 171 4.62 o 4468 4.62 c 170 4.68 o 4469 4.68 c 169 4.70 o 4470 4.70 c 168 4.71 o 4471 4.71 c 167 5.02 o 4472 5.02 c 166 5.03 o 4473 5.03 c 165 5.04 o 4474 5.04 c 164 5.04 o 4475 5.04 c 163 5.05 o 4476 5.05 c 162 5.06 o 4478 5.06 c 160 5.16 o 4479 5.16 c 159 5.16 o 4480 5.16 c 158 5.17 o 4482 5.17 c 156 5.17 o 4486 5.17 c 152 5.25 o 4487 5.25 c 151 5.26 o 4488 5.26 c 150 5.31 o 4489 5.31 c 149 5.36 o 4490 5.36 c 148 5.43 o 4491 5.43 c 147 5.62 o 4492 5.62 c 146 5.63 o 4493 5.63 c 145 5.66 o 4495 5.66 c 143 5.67 o 4496 5.67 c 142 5.88 o 4497 5.88 c 141 6.14 o 4498 6.14 c 140 6.15 o 4499 6.15 c 139 6.16 o 4500 6.16 c 138 6.32 o 4501 6.32 c 137 6.38 o 4502 6.38 c 136 6.40 o 4504 6.40 c 134 6.78 o 4505 6.78 c 133 6.78 o 4508 6.78 c 130 6.79 o 4509 6.79 c 129 7.35 o 4510 7.35 c 128 7.36 o 4511 7.36 c 127 7.38 o 4512 7.38 c 126 7.42 o 4513 7.42 c 125 7.56 o 4514 7.56 c 124 7.57 o 4515 7.57 c 123 7.71 o 4516 7.71 c 122 7.72 o 4517 7.72 c 121 7.73 o 4518 7.73 c 120 8.18 o 4519 8.18 c 119 8.18 o 4520 8.18 c 118 8.23 o 4521 8.23 c 117 8.24 o 4522 8.24 c 116 8.25 o 4523 8.25 c 115 8.31 o 4524 8.31 c 114 8.32 o 4525 8.32 c 113 8.32 o 4526 8.32 c 112 8.32 o 4527 8.32 c 111 8.33 o 4528 8.33 c 110 8.77 o 4529 8.77 c 109 8.93 o 4530 8.93 c 108 8.94 o 4531 8.94 c 107 9.04 o 4532 9.04 c 106 9.63 o 4533 9.63 c 105 10.90 o 4534 10.90 c 104 11.04 o 4536 11.04 c 102 11.07 o 4537 11.07 c 101 12.39 o 4538 12.39 c 100 12.61 o 4539 12.61 c 99 14.37 o 4540 14.37 c 98 15.72 o 4541 15.72 c 97 16.23 o 4542 16.23 c 96 16.79 o 4543 16.79 c 95 16.87 o 4544 16.87 c 94 16.88 o 4545 16.88 c 93 16.93 o 4546 16.93 c 92 17.03 o 4547 17.03 c 91 17.09 o 4548 17.09 c 90 17.14 o 4549 17.14 c 89 17.15 o 4550 17.15 c 88 19.92 19.92 search 19.92 run=0 nbConstraintChecks=163264982 nbAssignments=10000 19.92 => wckTime=18.588 cpuTime=18.5 mem=8M527 23.07 o 4551 23.07 c 87 23.23 o 4552 23.23 c 86 28.39 o 4553 28.39 c 85 28.56 o 4554 28.56 c 84 28.91 o 4555 28.91 c 83 28.91 o 4556 28.91 c 82 30.13 o 4557 30.13 c 81 33.13 o 4558 33.13 c 80 33.22 o 4559 33.22 c 79 34.60 34.61 search 34.61 run=1 nbConstraintChecks=299483956 nbAssignments=20000 34.61 => wckTime=33.272 cpuTime=33.17 mem=8M527 35.79 o 4560 35.79 c 78 35.85 o 4561 35.85 c 77 35.86 o 4562 35.86 c 76 35.90 o 4563 35.90 c 75 35.90 o 4564 35.90 c 74 36.96 o 4565 36.96 c 73 37.07 o 4566 37.07 c 72 37.25 o 4567 37.25 c 71 37.63 o 4568 37.63 c 70 47.19 47.19 search 47.19 run=2 nbConstraintChecks=415897237 nbAssignments=30000 47.19 => wckTime=45.861 cpuTime=45.73 mem=8M527 61.54 61.54 search 61.54 run=3 nbConstraintChecks=548571860 nbAssignments=40000 61.54 => wckTime=60.206 cpuTime=60.06 mem=8M527 67.66 67.66 search 67.66 run=4 nbConstraintChecks=605436500 nbAssignments=44192 67.66 => wckTime=66.327 cpuTime=66.18 mem=8M527 67.66 67.66 global 67.66 nbConstraintChecks=605436500 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 67.66 solvingWckTime=66.324 solvingCpuTime=66.18 expiredTime=no totalExploration=no nbFoundSolutions=0 67.66 globalCpuTime=67.02 67.66 => wckTime=67.365 cpuTime=66.97 mem=8M527 67.66 67.66 solver IterativeSystematicSolver being built... 67.84 => wckTime=67.545 cpuTime=67.11 mem=24M311 67.88 67.88 preprocessing 67.88 nbConstraintChecks=15122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 67.88 detectedInconsistency=no 67.88 => wckTime=0.035 cpuTime=0.02 mem=24M311 97.14 97.14 search 97.14 run=0 nbConstraintChecks=25672702 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=493 97.14 nbFailedAssignments=106 nbBacktracks=10 nbVisitedNodes=610 nbRestartNogoods=0 97.14 => wckTime=29.292 cpuTime=29.22 mem=24M311 121.32 121.32 search 121.32 run=1 nbConstraintChecks=53640461 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1018 121.32 nbFailedAssignments=230 nbBacktracks=25 nbVisitedNodes=1274 nbRestartNogoods=5 121.32 => wckTime=53.478 cpuTime=53.37 mem=24M311 144.76 144.76 search 144.76 run=2 nbConstraintChecks=80113166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1527 144.76 nbFailedAssignments=333 nbBacktracks=47 nbVisitedNodes=1908 nbRestartNogoods=19 144.76 => wckTime=76.914 cpuTime=76.76 mem=24M311 188.62 188.62 search 188.62 run=3 nbConstraintChecks=117271085 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2151 188.62 nbFailedAssignments=544 nbBacktracks=80 nbVisitedNodes=2776 nbRestartNogoods=22 188.62 => wckTime=120.778 cpuTime=120.58 mem=24M311 264.21 264.21 search 264.21 run=4 nbConstraintChecks=164724404 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2880 264.21 nbFailedAssignments=849 nbBacktracks=130 nbVisitedNodes=3860 nbRestartNogoods=27 264.21 => wckTime=196.367 cpuTime=196.08 mem=24M311 382.09 382.10 search 382.10 run=5 nbConstraintChecks=233387850 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3852 382.10 nbFailedAssignments=1361 nbBacktracks=205 nbVisitedNodes=5419 nbRestartNogoods=32 382.10 => wckTime=314.252 cpuTime=313.86 mem=24M311 513.46 513.46 search 513.46 run=6 nbConstraintChecks=305861488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4877 513.46 nbFailedAssignments=1880 nbBacktracks=318 nbVisitedNodes=7076 nbRestartNogoods=72 513.46 => wckTime=445.618 cpuTime=445.09 mem=24M311 651.16 651.16 search 651.16 run=7 nbConstraintChecks=380372916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5939 651.16 nbFailedAssignments=2367 nbBacktracks=489 nbVisitedNodes=8796 nbRestartNogoods=84 651.16 => wckTime=583.318 cpuTime=582.66 mem=24M311 869.12 869.12 search 869.12 run=8 nbConstraintChecks=494612524 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7436 869.12 nbFailedAssignments=3205 nbBacktracks=747 nbVisitedNodes=11389 nbRestartNogoods=101 869.12 => wckTime=801.277 cpuTime=800.39 mem=24M311 1441.00 1441.00 search 1441.00 run=9 nbConstraintChecks=751615489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10516 1441.00 nbFailedAssignments=5500 nbBacktracks=1131 nbVisitedNodes=17142 nbRestartNogoods=121 1441.00 => wckTime=1373.156 cpuTime=1371.6 mem=24M311 1967.26 1967.26 search 1967.26 run=10 nbConstraintChecks=1015731926 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13651 1967.26 nbFailedAssignments=7677 nbBacktracks=1709 nbVisitedNodes=23032 nbRestartNogoods=144 1967.26 => wckTime=1899.413 cpuTime=1897.32 mem=24M311 2402.63 v 156 156 100 338 268 30 100 338 254 16 44 282 16 254 254 16 156 114 58 296 282 44 324 86 156 142 310 72 268 30 16 254 156 156 44 282 16 254 268 30 114 142 296 58 156 142 16 254 254 16 310 72 156 156 16 254 254 16 100 338 310 72 114 142 58 296 72 310 324 86 16 254 282 44 296 58 44 282 338 100 128 128 324 86 156 156 72 310 30 268 142 156 268 30 100 338 282 44 338 100 72 310 142 156 254 16 310 72 44 282 100 338 156 156 324 86 254 16 100 338 100 338 254 16 100 338 338 100 338 100 72 310 268 30 128 128 100 338 100 338 86 324 324 86 324 86 324 86 100 338 282 44 58 296 254 16 58 296 72 310 100 338 30 268 16 254 254 16 254 16 310 72 142 16 324 86 338 100 338 100 58 296 100 338 324 86 338 100 282 44 156 156 268 30 156 128 128 156 156 156 100 338 58 296 156 156 30 268 86 324 16 254 86 128 44 282 114 114 44 282 156 114 58 296 268 30 100 338 86 324 16 254 86 324 142 156 296 58 114 156 16 254 86 324 268 30 338 100 58 296 310 72 86 324 282 44 324 86 156 156 30 268 156 156 338 100 282 44 44 282 254 16 338 100 338 100 100 338 282 44 156 156 16 254 72 310 30 268 254 16 254 16 324 86 100 338 30 268 324 86 114 142 30 268 72 310 16 254 254 16 72 310 128 142 16 254 268 30 282 44 100 338 156 156 100 338 338 100 86 324 268 30 16 254 44 282 338 100 100 338 296 58 156 142 16 254 142 156 100 338 44 282 16 254 338 100 282 44 254 16 72 310 100 338 72 310 16 254 16 254 338 100 254 16 100 338 338 100 296 58 16 254 310 72 338 100 310 72 100 338 310 72 324 86 142 128 44 282 156 128 114 142 254 16 58 296 156 156 142 142 72 310 156 128 310 72 296 58 268 30 254 16 156 156 16 254 72 310 338 100 324 86 100 338 156 142 86 324 156 114 58 296 324 86 142 128 282 44 254 16 16 254 268 30 324 86 30 268 296 58 296 58 296 58 16 254 268 30 282 44 86 324 100 338 114 114 296 58 324 86 16 338 268 30 156 156 282 44 296 58 30 268 338 100 44 282 44 282 72 310 254 16 72 310 100 338 100 338 310 72 156 156 254 16 86 324 16 254 86 324 296 58 30 268 44 282 268 30 268 30 86 324 324 86 282 44 296 58 30 268 44 282 310 72 100 338 338 100 324 86 72 310 44 282 30 268 100 338 254 16 324 86 338 100 268 30 268 30 310 72 254 16 72 310 100 338 72 310 324 86 142 142 100 338 156 156 44 282 338 100 282 44 338 100 338 100 100 338 282 44 72 310 16 254 156 156 254 16 254 16 268 30 44 282 338 100 86 324 44 282 310 72 254 16 156 142 58 296 30 268 142 156 72 310 268 30 114 142 72 310 254 16 156 156 86 324 254 16 282 44 16 254 254 16 44 282 58 296 268 30 296 58 338 100 338 100 44 282 282 44 338 100 16 254 310 72 128 156 268 30 268 30 338 100 100 338 254 16 282 44 296 142 44 282 338 100 324 86 268 30 296 58 338 100 100 338 282 44 58 296 86 324 58 296 338 100 338 100 282 44 338 100 310 72 282 44 128 156 338 100 16 254 338 100 86 324 310 72 338 100 44 282 338 100 156 156 338 100 86 324 324 86 58 296 310 72 338 100 324 86 86 324 324 86 156 156 72 310 268 30 310 72 86 324 156 156 44 282 324 86 296 58 44 282 100 338 100 338 268 30 30 268 16 254 310 72 58 296 296 58 324 86 310 72 58 296 324 86 58 296 310 72 72 310 58 296 86 324 338 100 268 30 16 254 310 72 30 268 30 268 310 72 100 338 268 30 86 324 100 338 58 296 44 282 296 58 16 254 310 72 282 44 254 16 86 324 114 142 30 268 72 310 58 296 16 254 268 30 338 100 30 268 254 16 128 128 86 324 72 310 310 72 86 324 338 100 296 58 296 58 142 156 44 282 128 324 16 254 142 296 310 72 58 296 16 254 324 86 16 254 86 324 16 254 324 86
70 unsatisfied constraints, 4568 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-275067-1169216437 -o ROOT/results/node18/solver-275067-1169216437 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275067-1169216437/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.09 2.03 1.83 4/87 349 /proc/meminfo: memFree=1339496/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=172 CPUtime=0 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 270038399 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0 /proc/348/statm: 43 24 18 14 0 3 0 [startup+0.108271 s] /proc/loadavg: 2.09 2.03 1.83 4/87 349 /proc/meminfo: memFree=1339496/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=914988 CPUtime=0.09 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 3035 0 1 0 7 2 0 0 23 0 8 0 270038399 936947712 2781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228747 2782 1442 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.516311 s] /proc/loadavg: 2.09 2.03 1.83 4/87 349 /proc/meminfo: memFree=1339496/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915332 CPUtime=0.49 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 6606 0 1 0 45 4 0 0 25 0 8 0 270038399 937299968 6345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228833 6345 2149 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33939 s] /proc/loadavg: 2.08 2.03 1.83 3/94 356 /proc/meminfo: memFree=1301104/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=1.31 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13698 0 1 0 105 26 0 0 25 0 8 0 270038399 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13435 2493 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.2 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 442 0 0 0 19 1 0 0 15 0 8 0 270038407 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915736 [startup+2.99255 s] /proc/loadavg: 2.08 2.03 1.83 3/94 356 /proc/meminfo: memFree=1295344/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2.94 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13719 0 1 0 261 33 0 0 25 0 8 0 270038399 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940065 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13455 2497 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 920 0 0 0 6 0 0 0 17 0 8 0 270038403 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.23 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 459 0 0 0 22 1 0 0 15 0 8 0 270038407 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 915736 [startup+6.27586 s] /proc/loadavg: 2.08 2.03 1.83 3/94 356 /proc/meminfo: memFree=1295280/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=6.21 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13720 0 1 0 581 40 0 0 25 0 8 0 270038399 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073944058 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13456 2497 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.23 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 460 0 0 0 22 1 0 0 16 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 915736 [startup+12.7675 s] /proc/loadavg: 2.07 2.03 1.84 3/94 356 /proc/meminfo: memFree=1295288/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=12.7 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13720 0 1 0 1212 58 0 0 25 0 8 0 270038399 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13456 2497 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.23 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 460 0 0 0 22 1 0 0 16 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 915736 [startup+25.6087 s] /proc/loadavg: 2.06 2.03 1.84 3/94 356 /proc/meminfo: memFree=1295352/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=25.52 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13723 0 1 0 2460 92 0 0 25 0 8 0 270038399 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940053 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13459 2497 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.23 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 463 0 0 0 22 1 0 0 17 0 8 0 270038407 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.52 Current children cumulated vsize (KiB) 915736 [startup+51.2242 s] /proc/loadavg: 2.03 2.02 1.84 3/94 358 /proc/meminfo: memFree=1295224/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=51.11 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13727 0 1 0 4937 174 0 0 25 0 8 0 270038399 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13463 2497 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915740 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937717760 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.24 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 467 0 0 0 23 1 0 0 16 0 8 0 270038407 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.11 Current children cumulated vsize (KiB) 915736 [startup+102.449 s] /proc/loadavg: 2.01 2.02 1.84 3/101 440 /proc/meminfo: memFree=1286136/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=102.28 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13881 0 1 0 10006 222 0 0 25 0 8 0 270038399 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13609 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.34 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 525 0 0 0 32 2 0 0 16 0 8 0 270038407 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 915736 [startup+162.547 s] /proc/loadavg: 2.00 2.01 1.85 3/101 440 /proc/meminfo: memFree=1285432/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=162.32 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13899 0 1 0 16010 222 0 0 25 0 8 0 270038399 937713664 13619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074233734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2022.38 Current children cumulated vsize (KiB) 915736 [startup+2084.67 s] /proc/loadavg: 2.00 2.00 1.96 3/101 440 /proc/meminfo: memFree=1285240/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2082.42 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13911 0 1 0 208014 228 0 0 25 0 8 0 270038399 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13625 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.37 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 550 0 0 0 35 2 0 0 17 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2082.42 Current children cumulated vsize (KiB) 915736 [startup+2144.76 s] /proc/loadavg: 2.04 2.01 1.96 3/101 440 /proc/meminfo: memFree=1285240/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2142.44 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13911 0 1 0 214016 228 0 0 25 0 8 0 270038399 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156442 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13625 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.37 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 550 0 0 0 35 2 0 0 17 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2142.44 Current children cumulated vsize (KiB) 915736 [startup+2204.85 s] /proc/loadavg: 2.01 2.01 1.96 3/101 440 /proc/meminfo: memFree=1285240/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2202.46 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13911 0 1 0 220018 228 0 0 25 0 8 0 270038399 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074132487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13625 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.37 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 550 0 0 0 35 2 0 0 17 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2202.46 Current children cumulated vsize (KiB) 915736 [startup+2264.95 s] /proc/loadavg: 2.00 2.00 1.96 3/101 440 /proc/meminfo: memFree=1285240/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2262.51 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13911 0 1 0 226022 229 0 0 25 0 8 0 270038399 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13625 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.37 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 550 0 0 0 35 2 0 0 17 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2262.51 Current children cumulated vsize (KiB) 915736 [startup+2325.03 s] /proc/loadavg: 2.00 2.00 1.96 3/101 440 /proc/meminfo: memFree=1285240/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2322.53 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13911 0 1 0 232024 229 0 0 25 0 8 0 270038399 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13625 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.37 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 550 0 0 0 35 2 0 0 17 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2322.53 Current children cumulated vsize (KiB) 915736 [startup+2385.12 s] /proc/loadavg: 2.04 2.01 1.97 3/101 440 /proc/meminfo: memFree=1285240/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2382.55 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13911 0 1 0 238026 229 0 0 25 0 8 0 270038399 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074133527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13625 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.37 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 550 0 0 0 35 2 0 0 17 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2382.55 Current children cumulated vsize (KiB) 915736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2402.62 s] /proc/loadavg: 2.02 2.01 1.97 3/101 440 /proc/meminfo: memFree=1285176/2055920 swapFree=4192812/4192956 [pid=348] ppid=346 vsize=915736 CPUtime=2400.04 /proc/348/stat : 348 (java) R 346 348 32320 0 -1 0 13911 0 1 0 239775 229 0 0 25 0 8 0 270038399 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/348/statm: 228934 13625 2545 14 0 215404 0 [pid=348/tid=350] ppid=346 vsize=915736 CPUtime=0.06 /proc/348/task/350/stat : 350 (java) S 346 348 32320 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038403 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=351] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/351/stat : 351 (java) S 346 348 32320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=352] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/352/stat : 352 (java) S 346 348 32320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038404 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=353] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/353/stat : 353 (java) S 346 348 32320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=354] ppid=346 vsize=915736 CPUtime=0.37 /proc/348/task/354/stat : 354 (java) S 346 348 32320 0 -1 64 550 0 0 0 35 2 0 0 17 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=355] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/355/stat : 355 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=348/tid=356] ppid=346 vsize=915736 CPUtime=0 /proc/348/task/356/stat : 356 (java) S 346 348 32320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270038407 937713664 13625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 915736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2402.69 CPU time (s): 2400.12 CPU user time (s): 2397.82 CPU system time (s): 2.30365 CPU usage (%): 99.893 Max. virtual memory (cumulated for all children) (KiB): 915776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.82 system time used= 2.30365 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13934 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= 50359 involuntary context switches= 69444 runsolver used 2.99654 s user time and 7.72483 s system time The end
Begin job on node18 on Fri Jan 19 14:20:37 UTC 2007 IDJOB= 275067 IDBENCH= 3264 IDSOLVER= 69 FILE ID= node18/275067-1169216437 PBS_JOBID= 3588904 Free space on /tmp= 66560 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphsMod/graph14-f28.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275067-1169216437/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-275067-1169216437 -o ROOT/results/node18/solver-275067-1169216437 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275067-1169216437/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 20f9358485fb6b663286405b27294657 RANDOM SEED= 990979795 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.231 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.231 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: 1339912 kB Buffers: 49492 kB Cached: 524088 kB SwapCached: 0 kB Active: 210960 kB Inactive: 425836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1339912 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2328 kB Writeback: 0 kB Mapped: 84212 kB Slab: 64072 kB Committed_AS: 7878740 kB PageTables: 2088 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= 66562 MiB End job on node18 on Fri Jan 19 15:00:40 UTC 2007