Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.07 | 2412.41 |
| Name | rlfap/rlfapScens11/ scen11-f8.xml |
| MD5SUM | 704ab295d4263c6e677241b699aba547 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 4092 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Maximum constraint arity | 2 |
| Maximum domain size | 36 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 4103 |
| Global constraints used (with number of constraints) |
0.38 0.38 Abscon 109 (November, 2006) 0.38 0.38 configuration 0.38 name=epfc.xml 0.41 0.41 instance 0.41 name=/tmp/evaluation/275138-1169217670/unknown.xml 0.44 0.45 domains being loaded... 0.45 0.45 variables being loaded... 0.55 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=36 0.56 => wckTime=0.171 cpuTime=0.13 mem=8M828 0.56 0.56 predicates being loaded... 0.56 0.56 constraints being loaded... 1.30 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=159154 nbExtensionStructures=173 1.30 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930 1.30 nbSharedBinaryRepresentations=10022 maxDegree=62 maxArity=2 1.30 => wckTime=0.911 cpuTime=0.74 mem=28M331 1.37 1.37 solver LocalSearchSolver being built... 1.41 => wckTime=1.028 cpuTime=0.78 mem=8M292 1.43 1.43 s SATISFIABLE 1.43 o 3369 1.43 c 734 1.43 o 3377 1.43 c 726 1.44 o 3383 1.44 c 720 1.44 o 3389 1.44 c 714 1.44 o 3394 1.44 c 709 1.44 o 3400 1.44 c 703 1.44 o 3405 1.44 c 698 1.45 o 3409 1.45 c 694 1.45 o 3414 1.45 c 689 1.45 o 3419 1.45 c 684 1.45 o 3424 1.45 c 679 1.45 o 3428 1.45 c 675 1.45 o 3432 1.45 c 671 1.45 o 3435 1.45 c 668 1.46 o 3437 1.46 c 666 1.46 o 3441 1.46 c 662 1.46 o 3445 1.46 c 658 1.46 o 3446 1.46 c 657 1.46 o 3450 1.46 c 653 1.46 o 3454 1.46 c 649 1.47 o 3458 1.47 c 645 1.47 o 3462 1.47 c 641 1.47 o 3466 1.47 c 637 1.47 o 3470 1.47 c 633 1.47 o 3474 1.47 c 629 1.47 o 3478 1.47 c 625 1.47 o 3482 1.47 c 621 1.48 o 3486 1.48 c 617 1.48 o 3490 1.48 c 613 1.48 o 3493 1.48 c 610 1.48 o 3496 1.48 c 607 1.48 o 3499 1.48 c 604 1.48 o 3502 1.48 c 601 1.48 o 3505 1.48 c 598 1.48 o 3508 1.48 c 595 1.49 o 3511 1.49 c 592 1.49 o 3513 1.49 c 590 1.49 o 3516 1.49 c 587 1.49 o 3519 1.49 c 584 1.49 o 3520 1.49 c 583 1.49 o 3524 1.49 c 579 1.50 o 3525 1.50 c 578 1.50 o 3528 1.50 c 575 1.50 o 3531 1.50 c 572 1.50 o 3534 1.50 c 569 1.51 o 3537 1.51 c 566 1.51 o 3540 1.51 c 563 1.51 o 3543 1.51 c 560 1.51 o 3546 1.51 c 557 1.52 o 3549 1.52 c 554 1.52 o 3552 1.52 c 551 1.52 o 3555 1.52 c 548 1.52 o 3558 1.52 c 545 1.52 o 3561 1.52 c 542 1.53 o 3564 1.53 c 539 1.53 o 3567 1.53 c 536 1.53 o 3570 1.53 c 533 1.53 o 3573 1.53 c 530 1.53 o 3576 1.53 c 527 1.54 o 3579 1.54 c 524 1.54 o 3582 1.54 c 521 1.54 o 3585 1.54 c 518 1.54 o 3588 1.54 c 515 1.54 o 3591 1.54 c 512 1.54 o 3593 1.54 c 510 1.55 o 3595 1.55 c 508 1.55 o 3597 1.55 c 506 1.55 o 3599 1.55 c 504 1.55 o 3601 1.55 c 502 1.55 o 3603 1.55 c 500 1.56 o 3605 1.56 c 498 1.56 o 3607 1.56 c 496 1.56 o 3609 1.56 c 494 1.56 o 3611 1.56 c 492 1.56 o 3613 1.56 c 490 1.56 o 3615 1.56 c 488 1.57 o 3617 1.57 c 486 1.57 o 3619 1.57 c 484 1.57 o 3621 1.57 c 482 1.57 o 3623 1.57 c 480 1.57 o 3625 1.57 c 478 1.57 o 3627 1.57 c 476 1.57 o 3628 1.57 c 475 1.58 o 3629 1.58 c 474 1.58 o 3632 1.58 c 471 1.59 o 3633 1.59 c 470 1.59 o 3637 1.59 c 466 1.59 o 3638 1.59 c 465 1.59 o 3640 1.59 c 463 1.59 o 3641 1.59 c 462 1.59 o 3643 1.59 c 460 1.59 o 3646 1.59 c 457 1.60 o 3648 1.60 c 455 1.60 o 3650 1.60 c 453 1.60 o 3651 1.60 c 452 1.60 o 3654 1.60 c 449 1.60 o 3657 1.60 c 446 1.60 o 3658 1.60 c 445 1.60 o 3662 1.60 c 441 1.61 o 3664 1.61 c 439 1.61 o 3665 1.61 c 438 1.61 o 3667 1.61 c 436 1.61 o 3669 1.61 c 434 1.62 o 3671 1.62 c 432 1.62 o 3673 1.62 c 430 1.62 o 3675 1.62 c 428 1.63 o 3677 1.63 c 426 1.63 o 3679 1.63 c 424 1.63 o 3681 1.63 c 422 1.63 o 3683 1.63 c 420 1.64 o 3685 1.64 c 418 1.64 o 3687 1.64 c 416 1.64 o 3689 1.64 c 414 1.64 o 3691 1.64 c 412 1.65 o 3693 1.65 c 410 1.65 o 3695 1.65 c 408 1.65 o 3697 1.65 c 406 1.65 o 3699 1.65 c 404 1.66 o 3701 1.66 c 402 1.66 o 3703 1.66 c 400 1.66 o 3705 1.66 c 398 1.66 o 3707 1.66 c 396 1.67 o 3709 1.67 c 394 1.67 o 3711 1.67 c 392 1.67 o 3713 1.67 c 390 1.67 o 3715 1.67 c 388 1.67 o 3717 1.67 c 386 1.68 o 3719 1.68 c 384 1.68 o 3721 1.68 c 382 1.68 o 3723 1.68 c 380 1.68 o 3725 1.68 c 378 1.68 o 3727 1.68 c 376 1.69 o 3729 1.69 c 374 1.69 o 3731 1.69 c 372 1.69 o 3733 1.69 c 370 1.69 o 3735 1.69 c 368 1.69 o 3737 1.69 c 366 1.70 o 3738 1.70 c 365 1.70 o 3739 1.70 c 364 1.70 o 3740 1.70 c 363 1.70 o 3741 1.70 c 362 1.70 o 3742 1.70 c 361 1.71 o 3743 1.71 c 360 1.71 o 3744 1.71 c 359 1.71 o 3745 1.71 c 358 1.71 o 3746 1.71 c 357 1.71 o 3747 1.71 c 356 1.72 o 3748 1.72 c 355 1.72 o 3749 1.72 c 354 1.72 o 3750 1.72 c 353 1.72 o 3751 1.72 c 352 1.72 o 3752 1.72 c 351 1.73 o 3753 1.73 c 350 1.73 o 3754 1.73 c 349 1.73 o 3755 1.73 c 348 1.73 o 3756 1.73 c 347 1.74 o 3757 1.74 c 346 1.75 o 3758 1.75 c 345 1.75 o 3759 1.75 c 344 1.75 o 3761 1.75 c 342 1.76 o 3762 1.76 c 341 1.76 o 3763 1.76 c 340 1.76 o 3766 1.76 c 337 1.76 o 3767 1.76 c 336 1.76 o 3768 1.76 c 335 1.77 o 3769 1.77 c 334 1.77 o 3771 1.77 c 332 1.77 o 3773 1.77 c 330 1.77 o 3776 1.77 c 327 1.77 o 3777 1.77 c 326 1.77 o 3778 1.77 c 325 1.78 o 3779 1.78 c 324 1.78 o 3780 1.78 c 323 1.78 o 3782 1.78 c 321 1.78 o 3784 1.78 c 319 1.78 o 3785 1.78 c 318 1.79 o 3787 1.79 c 316 1.79 o 3788 1.79 c 315 1.79 o 3789 1.79 c 314 1.79 o 3791 1.79 c 312 1.79 o 3793 1.79 c 310 1.79 o 3796 1.79 c 307 1.80 o 3798 1.80 c 305 1.80 o 3800 1.80 c 303 1.80 o 3802 1.80 c 301 1.80 o 3803 1.80 c 300 1.80 o 3805 1.80 c 298 1.80 o 3806 1.80 c 297 1.80 o 3808 1.80 c 295 1.81 o 3809 1.81 c 294 1.81 o 3811 1.81 c 292 1.81 o 3812 1.81 c 291 1.81 o 3813 1.81 c 290 1.81 o 3815 1.81 c 288 1.82 o 3817 1.82 c 286 1.82 o 3818 1.82 c 285 1.82 o 3819 1.82 c 284 1.82 o 3821 1.82 c 282 1.82 o 3823 1.82 c 280 1.83 o 3825 1.83 c 278 1.83 o 3826 1.83 c 277 1.84 o 3827 1.84 c 276 1.84 o 3828 1.84 c 275 1.85 o 3829 1.85 c 274 1.85 o 3831 1.85 c 272 1.86 o 3832 1.86 c 271 1.86 o 3833 1.86 c 270 1.87 o 3834 1.87 c 269 1.87 o 3835 1.87 c 268 1.88 o 3836 1.88 c 267 1.88 o 3837 1.88 c 266 1.89 o 3838 1.89 c 265 1.89 o 3839 1.89 c 264 1.90 o 3840 1.90 c 263 1.90 o 3841 1.90 c 262 1.91 o 3842 1.91 c 261 1.91 o 3843 1.91 c 260 1.92 o 3844 1.92 c 259 1.92 o 3845 1.93 c 258 1.93 o 3846 1.93 c 257 1.93 o 3847 1.93 c 256 1.94 o 3848 1.94 c 255 1.94 o 3850 1.94 c 253 1.94 o 3851 1.94 c 252 1.94 o 3854 1.94 c 249 1.95 o 3855 1.95 c 248 1.95 o 3856 1.95 c 247 1.96 o 3857 1.96 c 246 1.96 o 3858 1.96 c 245 1.97 o 3859 1.97 c 244 1.97 o 3860 1.97 c 243 1.99 o 3861 1.99 c 242 1.99 o 3862 1.99 c 241 2.00 o 3863 2.00 c 240 2.00 o 3864 2.00 c 239 2.00 o 3865 2.00 c 238 2.01 o 3866 2.01 c 237 2.01 o 3867 2.01 c 236 2.02 o 3868 2.02 c 235 2.02 o 3869 2.02 c 234 2.02 o 3870 2.02 c 233 2.03 o 3871 2.03 c 232 2.03 o 3872 2.03 c 231 2.04 o 3873 2.04 c 230 2.04 o 3874 2.04 c 229 2.04 o 3875 2.04 c 228 2.05 o 3876 2.05 c 227 2.05 o 3877 2.05 c 226 2.06 o 3878 2.06 c 225 2.06 o 3879 2.06 c 224 2.06 o 3880 2.06 c 223 2.07 o 3881 2.07 c 222 2.07 o 3882 2.07 c 221 2.08 o 3883 2.08 c 220 2.08 o 3884 2.08 c 219 2.08 o 3885 2.08 c 218 2.09 o 3886 2.09 c 217 2.09 o 3887 2.09 c 216 2.09 o 3888 2.09 c 215 2.10 o 3889 2.10 c 214 2.10 o 3890 2.10 c 213 2.11 o 3891 2.11 c 212 2.11 o 3892 2.11 c 211 2.11 o 3893 2.11 c 210 2.11 o 3894 2.11 c 209 2.12 o 3895 2.12 c 208 2.12 o 3897 2.12 c 206 2.12 o 3898 2.12 c 205 2.12 o 3900 2.12 c 203 2.13 o 3901 2.13 c 202 2.13 o 3902 2.13 c 201 2.13 o 3903 2.14 c 200 2.14 o 3904 2.14 c 199 2.14 o 3905 2.14 c 198 2.15 o 3906 2.15 c 197 2.15 o 3907 2.15 c 196 2.16 o 3908 2.16 c 195 2.16 o 3909 2.16 c 194 2.16 o 3910 2.16 c 193 2.17 o 3911 2.17 c 192 2.17 o 3912 2.17 c 191 2.18 o 3913 2.18 c 190 2.18 o 3914 2.18 c 189 2.19 o 3915 2.19 c 188 2.19 o 3916 2.19 c 187 2.19 o 3917 2.19 c 186 2.19 o 3918 2.20 c 185 2.20 o 3919 2.20 c 184 2.20 o 3920 2.20 c 183 2.20 o 3921 2.20 c 182 2.21 o 3922 2.21 c 181 2.21 o 3923 2.21 c 180 2.21 o 3924 2.21 c 179 2.22 o 3925 2.22 c 178 2.22 o 3926 2.22 c 177 2.22 o 3927 2.22 c 176 2.22 o 3931 2.22 c 172 2.23 o 3932 2.23 c 171 2.23 o 3933 2.23 c 170 2.23 o 3934 2.23 c 169 2.23 o 3935 2.23 c 168 2.24 o 3936 2.24 c 167 2.24 o 3937 2.24 c 166 2.24 o 3938 2.24 c 165 2.25 o 3939 2.25 c 164 2.25 o 3940 2.25 c 163 2.25 o 3941 2.25 c 162 2.25 o 3942 2.25 c 161 2.26 o 3943 2.26 c 160 2.26 o 3944 2.27 c 159 2.27 o 3945 2.27 c 158 2.27 o 3946 2.27 c 157 2.27 o 3947 2.27 c 156 2.28 o 3948 2.28 c 155 2.28 o 3949 2.28 c 154 2.30 o 3950 2.30 c 153 2.31 o 3951 2.31 c 152 2.32 o 3953 2.32 c 150 2.32 o 3955 2.32 c 148 2.33 o 3956 2.33 c 147 2.38 o 3957 2.38 c 146 2.38 o 3958 2.38 c 145 2.38 o 3960 2.38 c 143 2.39 o 3961 2.39 c 142 2.39 o 3962 2.39 c 141 2.39 o 3965 2.39 c 138 2.40 o 3966 2.40 c 137 2.40 o 3968 2.40 c 135 2.40 o 3970 2.40 c 133 2.40 o 3971 2.40 c 132 2.40 o 3972 2.40 c 131 2.41 o 3973 2.41 c 130 2.41 o 3974 2.41 c 129 2.41 o 3976 2.41 c 127 2.42 o 3977 2.42 c 126 2.42 o 3978 2.42 c 125 2.42 o 3980 2.42 c 123 2.42 o 3982 2.42 c 121 2.43 o 3983 2.43 c 120 2.43 o 3984 2.43 c 119 2.44 o 3985 2.44 c 118 2.44 o 3986 2.44 c 117 2.45 o 3987 2.45 c 116 2.45 o 3988 2.45 c 115 2.45 o 3989 2.45 c 114 2.45 o 3990 2.45 c 113 2.46 o 3991 2.46 c 112 2.46 o 3992 2.46 c 111 2.46 o 3993 2.46 c 110 2.47 o 3994 2.47 c 109 2.47 o 3996 2.47 c 107 2.48 o 3998 2.48 c 105 2.48 o 4000 2.48 c 103 2.49 o 4002 2.49 c 101 2.50 o 4003 2.50 c 100 2.50 o 4004 2.50 c 99 2.50 o 4005 2.50 c 98 2.51 o 4006 2.51 c 97 2.52 o 4007 2.52 c 96 2.52 o 4008 2.52 c 95 2.52 o 4009 2.52 c 94 2.52 o 4010 2.53 c 93 2.53 o 4011 2.53 c 92 2.54 o 4012 2.54 c 91 2.54 o 4013 2.54 c 90 2.55 o 4014 2.55 c 89 2.55 o 4015 2.55 c 88 2.55 o 4016 2.55 c 87 2.56 o 4018 2.56 c 85 2.56 o 4019 2.56 c 84 2.57 o 4021 2.57 c 82 2.76 o 4022 2.76 c 81 2.90 o 4024 2.90 c 79 2.95 o 4026 2.95 c 77 2.96 o 4028 2.96 c 75 2.97 o 4031 2.97 c 72 3.04 o 4032 3.04 c 71 3.06 o 4033 3.06 c 70 3.07 o 4034 3.07 c 69 3.18 o 4035 3.18 c 68 3.19 o 4036 3.19 c 67 3.20 o 4037 3.20 c 66 3.22 o 4038 3.22 c 65 3.25 o 4039 3.25 c 64 3.26 o 4040 3.26 c 63 3.26 o 4041 3.26 c 62 3.27 o 4043 3.27 c 60 3.27 o 4044 3.27 c 59 3.28 o 4046 3.28 c 57 3.32 o 4047 3.32 c 56 3.32 o 4048 3.32 c 55 3.33 o 4049 3.33 c 54 3.33 o 4050 3.33 c 53 3.34 o 4051 3.34 c 52 3.34 o 4052 3.34 c 51 3.45 o 4053 3.45 c 50 3.45 o 4054 3.45 c 49 3.48 o 4055 3.48 c 48 3.50 o 4056 3.50 c 47 3.53 o 4057 3.53 c 46 3.59 o 4058 3.59 c 45 3.65 o 4059 3.65 c 44 3.65 o 4062 3.65 c 41 3.84 o 4063 3.84 c 40 3.89 o 4064 3.89 c 39 3.93 o 4065 3.93 c 38 3.95 o 4066 3.95 c 37 3.96 o 4067 3.96 c 36 4.29 o 4070 4.29 c 33 4.30 o 4071 4.30 c 32 4.30 o 4074 4.30 c 29 4.56 o 4075 4.56 c 28 4.60 o 4076 4.60 c 27 5.80 o 4077 5.80 c 26 7.59 o 4078 7.59 c 25 7.62 o 4079 7.62 c 24 8.19 o 4080 8.19 c 23 11.01 o 4082 11.01 c 21 11.59 o 4083 11.59 c 20 11.70 o 4084 11.70 c 19 17.60 o 4086 17.60 c 17 17.61 o 4088 17.61 c 15 18.00 o 4089 18.00 c 14 18.32 o 4091 18.32 c 12 19.64 o 4092 19.64 c 11 49.78 49.78 search 49.78 run=0 nbConstraintChecks=518470482 nbAssignments=8702 49.78 => wckTime=48.37 cpuTime=48.06 mem=8M292 49.78 49.78 global 49.78 nbConstraintChecks=518470482 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 49.78 solvingWckTime=48.368 solvingCpuTime=48.06 expiredTime=no totalExploration=no nbFoundSolutions=0 49.78 globalCpuTime=48.89 49.78 => wckTime=49.399 cpuTime=48.84 mem=8M292 49.78 49.78 solver IterativeSystematicSolver being built... 49.95 => wckTime=49.566 cpuTime=48.97 mem=23M138 66.80 66.80 preprocessing 66.80 nbConstraintChecks=19988867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 66.80 detectedInconsistency=no 66.80 => wckTime=16.848 cpuTime=16.72 mem=23M138 84.54 84.54 search 84.54 run=0 nbConstraintChecks=29339819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=407 84.54 nbFailedAssignments=119 nbBacktracks=10 nbVisitedNodes=537 nbRestartNogoods=0 84.54 => wckTime=34.592 cpuTime=34.38 mem=23M138 107.82 107.82 search 107.82 run=1 nbConstraintChecks=60788954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=834 107.82 nbFailedAssignments=260 nbBacktracks=25 nbVisitedNodes=1120 nbRestartNogoods=111 107.82 => wckTime=57.866 cpuTime=57.49 mem=23M138 140.77 140.77 search 140.77 run=2 nbConstraintChecks=96456234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1309 140.77 nbFailedAssignments=421 nbBacktracks=47 nbVisitedNodes=1778 nbRestartNogoods=237 140.77 => wckTime=90.82 cpuTime=90.29 mem=23M138 174.52 174.52 search 174.52 run=3 nbConstraintChecks=133333573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1800 174.52 nbFailedAssignments=583 nbBacktracks=81 nbVisitedNodes=2465 nbRestartNogoods=350 174.52 => wckTime=124.57 cpuTime=123.86 mem=23M138 218.95 218.95 search 218.95 run=4 nbConstraintChecks=166434441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2213 218.95 nbFailedAssignments=709 nbBacktracks=131 nbVisitedNodes=3054 nbRestartNogoods=458 218.95 => wckTime=168.993 cpuTime=168.07 mem=24M113 282.28 282.28 search 282.28 run=5 nbConstraintChecks=209641628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2740 282.28 nbFailedAssignments=908 nbBacktracks=206 nbVisitedNodes=3855 nbRestartNogoods=528 282.28 => wckTime=232.328 cpuTime=231.06 mem=24M113 368.34 368.34 search 368.35 run=6 nbConstraintChecks=270122811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3469 368.35 nbFailedAssignments=1191 nbBacktracks=319 nbVisitedNodes=4980 nbRestartNogoods=621 368.35 => wckTime=318.394 cpuTime=316.71 mem=24M113 380.58 380.58 search 380.58 run=7 nbConstraintChecks=297322507 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4108 380.58 nbFailedAssignments=1519 nbBacktracks=489 nbVisitedNodes=6110 nbRestartNogoods=758 380.58 => wckTime=330.631 cpuTime=328.85 mem=24M113 593.01 593.01 search 593.01 run=8 nbConstraintChecks=393245429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5037 593.01 nbFailedAssignments=1946 nbBacktracks=745 nbVisitedNodes=7722 nbRestartNogoods=762 593.01 => wckTime=543.061 cpuTime=540.24 mem=24M113 1055.12 1055.12 search 1055.12 run=9 nbConstraintChecks=616705422 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7361 1055.12 nbFailedAssignments=3744 nbBacktracks=1129 nbVisitedNodes=12222 nbRestartNogoods=844 1055.12 => wckTime=1005.167 cpuTime=1000.03 mem=24M113 1441.55 1441.55 search 1441.55 run=10 nbConstraintChecks=783985646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8997 1441.55 nbFailedAssignments=4568 nbBacktracks=1705 nbVisitedNodes=15258 nbRestartNogoods=865 1441.55 => wckTime=1391.595 cpuTime=1384.43 mem=24M113 2115.33 2115.33 search 2115.33 run=11 nbConstraintChecks=1130911653 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12416 2115.33 nbFailedAssignments=6801 nbBacktracks=2569 nbVisitedNodes=21774 nbRestartNogoods=972 2115.33 => wckTime=2065.377 cpuTime=2054.81 mem=24M113 2412.36 v 254 16 16 254 680 442 366 128 282 44 428 666 680 442 680 442 72 310 142 380 254 16 666 428 128 366 30 268 352 114 100 338 16 254 282 44 652 414 100 338 30 268 652 414 296 58 156 394 338 100 156 394 128 366 652 414 100 338 58 296 680 442 100 338 30 268 394 156 114 352 338 100 442 680 254 16 128 366 128 366 58 296 254 16 498 512 324 86 30 268 652 414 268 30 156 394 652 414 666 428 380 142 652 414 44 282 310 72 16 254 324 86 156 394 30 268 310 72 442 680 282 44 296 58 414 652 58 296 72 310 16 254 114 352 428 666 338 100 484 652 324 86 16 254 30 268 114 352 680 442 414 652 338 100 338 100 16 254 240 478 380 142 324 86 254 16 338 100 268 30 442 680 380 142 114 352 268 30 652 414 680 442 100 338 296 58 380 142 58 296 442 680 666 428 666 428 338 100 100 338 366 128 30 268 394 156 310 72 666 428 58 296 442 680 338 100 30 268 128 366 680 442 666 428 352 114 680 442 86 324 268 30 666 428 652 414 128 366 680 442 680 442 128 366 680 442 310 72 666 428 296 58 156 394 30 268 268 30 680 442 254 16 414 652 142 380 58 296 366 128 128 366 100 338 428 666 58 296 44 282 380 142 310 72 282 44 352 114 338 100 680 442 254 16 296 58 114 352 282 44 380 142 442 680 428 666 282 44 114 352 86 324 282 44 282 44 114 352 72 310 324 86 366 128 310 72 282 44 352 114 428 666 58 296 666 428 380 142 680 442 114 352 666 428 380 142 338 100 352 114 44 282 352 114 310 72 282 44 142 380 338 100 72 310 156 394 442 680 680 442 338 100 442 680 380 142 540 526 44 282 128 366 442 680 352 114 282 44 512 540 394 156 428 666 666 428 128 366 268 30 380 142 44 282 58 296 296 58 352 114 282 44 268 30 666 428 142 380 680 442 114 352 156 394 296 58 366 128 268 30 310 72 310 72 44 282 352 114 268 30 324 86 268 30 128 366 142 380 128 366 414 652 72 310 44 282 442 680 128 366 324 86 352 114 380 142 428 666 156 394 666 428 352 114 30 268 324 86 100 338 282 44 58 296 680 442 58 296 324 86 442 680 72 310 156 394 366 128 526 554 30 268 324 86 394 156 30 268 666 428 128 366 554 540 456 526 114 352 86 324 58 296 442 680 324 86 324 86 100 338 352 114 268 30 128 366 352 114 44 282 428 666 666 428 72 310 666 428 352 114 352 114 442 680 366 128 282 44 156 394 428 666 666 428 268 30 296 58 128 366 310 72 44 282 296 58 44 282 128 366 666 428 142 380 268 30 338 100 680 442 72 310 268 30 680 442 58 296 428 666 86 324 282 44 680 442 142 380 44 282 366 128 338 100 666 428 296 58 366 128 442 680 394 156 128 366 72 310 680 442 128 366 30 268 428 666 44 282 414 652 282 44 338 100 324 86 442 680 366 128 380 142 114 352 282 44 324 86 680 442 666 428 100 338 30 268 666 428 352 114 44 282 114 352 366 128 100 338 156 394
11 unsatisfied constraints, 4092 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-275138-1169217670 -o ROOT/results/node65/solver-275138-1169217670 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275138-1169217670/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.03 1.94 2/74 17227 /proc/meminfo: memFree=1407196/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=18540 CPUtime=0 /proc/17226/stat : 17226 (runsolver) R 17224 17226 16670 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 69264234 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 257203694887 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/17226/statm: 4635 279 244 17 0 2626 0 [startup+0.10263 s] /proc/loadavg: 2.12 2.03 1.94 2/74 17227 /proc/meminfo: memFree=1407196/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=906128 CPUtime=0.01 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 1921 0 1 0 1 0 0 0 17 0 1 0 69264234 927875072 1670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785555 0 4 0 7368 0 0 0 17 1 0 0 /proc/17226/statm: 226532 1670 972 14 0 214115 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 906128 [startup+0.510695 s] /proc/loadavg: 2.12 2.03 1.94 2/74 17227 /proc/meminfo: memFree=1407196/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=915332 CPUtime=0.42 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 6136 0 1 0 38 4 0 0 18 0 8 0 69264234 937299968 5875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17226/statm: 228833 5875 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 915332 [startup+1.33183 s] /proc/loadavg: 2.12 2.03 1.94 3/81 17234 /proc/meminfo: memFree=1373220/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=915768 CPUtime=1.23 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 11674 0 1 0 99 24 0 0 24 0 8 0 69264234 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17226/statm: 228942 11411 2185 14 0 215412 0 [pid=17226/tid=17228] ppid=17224 vsize=915768 CPUtime=0.02 /proc/17226/task/17228/stat : 17228 (java) R 17224 17226 16670 0 -1 64 33 0 0 0 2 0 0 0 16 0 8 0 69264245 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525278 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17229] ppid=17224 vsize=915768 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 69264245 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=915768 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 69264245 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=915768 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=915768 CPUtime=0.21 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 427 0 0 0 20 1 0 0 16 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17233] ppid=17224 vsize=915768 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=915768 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 915768 [startup+2.9851 s] /proc/loadavg: 2.12 2.03 1.94 3/81 17234 /proc/meminfo: memFree=1366500/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=915728 CPUtime=2.84 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12851 0 1 0 252 32 0 0 25 0 8 0 69264234 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17226/statm: 228932 12587 2499 14 0 215402 0 [pid=17226/tid=17228] ppid=17224 vsize=915728 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 17 0 8 0 69264245 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17229] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=915728 CPUtime=0.25 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 447 0 0 0 24 1 0 0 15 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17233] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.84 Current children cumulated vsize (KiB) 915728 [startup+6.27164 s] /proc/loadavg: 2.03 2.02 1.94 4/88 17316 /proc/meminfo: memFree=1362796/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=915728 CPUtime=6.1 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12853 0 1 0 573 37 0 0 25 0 8 0 69264234 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 228932 12588 2499 14 0 215402 0 [pid=17226/tid=17228] ppid=17224 vsize=915728 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 16 0 8 0 69264245 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17229] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=915728 CPUtime=0.25 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 448 0 0 0 24 1 0 0 15 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17233] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.1 Current children cumulated vsize (KiB) 915728 [startup+12.7475 s] /proc/loadavg: 2.11 2.03 1.94 3/88 17316 /proc/meminfo: memFree=1336108/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=915728 CPUtime=12.53 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12854 0 1 0 1210 43 0 0 25 0 8 0 69264234 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 228932 12589 2499 14 0 215402 0 [pid=17226/tid=17228] ppid=17224 vsize=915728 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 16 0 8 0 69264245 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17229] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=915728 CPUtime=0.25 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 449 0 0 0 24 1 0 0 16 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=915728 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 915728 [startup+25.6086 s] /proc/loadavg: 2.09 2.03 1.94 3/88 17316 /proc/meminfo: memFree=1321916/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=25.35 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12855 0 1 0 2480 55 0 0 25 0 8 0 69264234 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12590 2499 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.25 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 449 0 0 0 24 1 0 0 16 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 916752 [startup+51.2149 s] /proc/loadavg: 2.05 2.03 1.94 3/88 17316 /proc/meminfo: memFree=1321084/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=50.83 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12984 0 1 0 5005 78 0 0 25 0 8 0 69264234 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12718 2544 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 17 0 8 0 69264245 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.31 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 491 0 0 0 30 1 0 0 15 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.83 Current children cumulated vsize (KiB) 916752 [startup+102.423 s] /proc/loadavg: 2.23 2.07 1.96 3/88 17316 /proc/meminfo: memFree=1320956/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=101.76 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13018 0 1 0 10098 78 0 0 25 0 8 0 69264234 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12744 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.35 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.76 Current children cumulated vsize (KiB) 916752 [startup+162.479 s] /proc/loadavg: 2.08 2.05 1.96 3/88 17316 /proc/meminfo: memFree=1320764/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=161.52 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13030 0 1 0 16074 78 0 0 25 0 8 0 69264234 938754048 12752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074076995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2013.68 Current children cumulated vsize (KiB) 916752 [startup+2084.11 s] /proc/loadavg: 2.01 2.01 2.00 3/88 17514 /proc/meminfo: memFree=1320060/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=2073.42 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 207247 95 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12758 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 17 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2073.42 Current children cumulated vsize (KiB) 916752 [startup+2144.18 s] /proc/loadavg: 2.00 2.00 2.00 3/88 17514 /proc/meminfo: memFree=1320124/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=2133.18 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 213223 95 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12758 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2133.18 Current children cumulated vsize (KiB) 916752 [startup+2204.23 s] /proc/loadavg: 2.00 2.00 2.00 3/88 17514 /proc/meminfo: memFree=1320060/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=2192.94 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 219199 95 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12758 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2192.94 Current children cumulated vsize (KiB) 916752 [startup+2264.27 s] /proc/loadavg: 2.06 2.01 2.00 3/88 17514 /proc/meminfo: memFree=1320124/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=2252.67 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 225171 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074053035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12758 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2252.67 Current children cumulated vsize (KiB) 916752 [startup+2324.32 s] /proc/loadavg: 2.02 2.01 2.00 3/88 17516 /proc/meminfo: memFree=1319868/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=2312.41 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 231145 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12758 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2312.41 Current children cumulated vsize (KiB) 916752 [startup+2384.37 s] /proc/loadavg: 2.00 2.00 2.00 3/88 17516 /proc/meminfo: memFree=1319932/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=2372.17 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 237121 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12758 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2372.17 Current children cumulated vsize (KiB) 916752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2412.35 s] /proc/loadavg: 2.00 2.00 2.00 3/88 17516 /proc/meminfo: memFree=1319932/2055920 swapFree=4191892/4192956 [pid=17226] ppid=17224 vsize=916752 CPUtime=2400 /proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 239904 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17226/statm: 229188 12758 2549 14 0 215658 0 [pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06 /proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38 /proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0 /proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 916752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2412.41 CPU time (s): 2400.07 CPU user time (s): 2399.09 CPU system time (s): 0.976851 CPU usage (%): 99.4883 Max. virtual memory (cumulated for all children) (KiB): 916752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.09 system time used= 0.976851 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13068 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= 50439 involuntary context switches= 74561 runsolver used 2.81257 s user time and 6.92895 s system time The end
Begin job on node65 on Fri Jan 19 14:41:10 UTC 2007 IDJOB= 275138 IDBENCH= 3575 IDSOLVER= 68 FILE ID= node65/275138-1169217670 PBS_JOBID= 3589116 Free space on /tmp= 66560 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f8.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275138-1169217670/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-275138-1169217670 -o ROOT/results/node65/solver-275138-1169217670 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275138-1169217670/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 704ab295d4263c6e677241b699aba547 RANDOM SEED= 829942225 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.263 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.263 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: 1407676 kB Buffers: 40492 kB Cached: 516576 kB SwapCached: 396 kB Active: 107324 kB Inactive: 472180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1407676 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 2220 kB Writeback: 0 kB Mapped: 33244 kB Slab: 54144 kB Committed_AS: 490780 kB PageTables: 1856 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 node65 on Fri Jan 19 15:21:23 UTC 2007