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.04 | 2421.13 |
| Name | rlfap/rlfapScens11/ scen11-f7.xml |
| MD5SUM | e4658453aeec06ccf8a04dbfac7676d7 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 4095 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Maximum constraint arity | 2 |
| Maximum domain size | 37 |
| 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.29 0.29 Abscon 109 (November, 2006) 0.29 0.29 configuration 0.29 name=epfc.xml 0.32 0.32 instance 0.32 name=/tmp/evaluation/275150-1169217770/unknown.xml 0.35 0.35 domains being loaded... 0.36 0.36 variables being loaded... 0.45 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=37 0.45 => wckTime=0.161 cpuTime=0.13 mem=8M828 0.45 0.45 predicates being loaded... 0.46 0.46 constraints being loaded... 1.15 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=168061 nbExtensionStructures=173 1.15 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930 1.15 nbSharedBinaryRepresentations=10303 maxDegree=62 maxArity=2 1.15 => wckTime=0.855 cpuTime=0.69 mem=28M331 1.22 1.22 solver LocalSearchSolver being built... 1.26 => wckTime=0.971 cpuTime=0.74 mem=8M313 1.28 1.28 s SATISFIABLE 1.28 o 3351 1.28 c 752 1.28 o 3358 1.28 c 745 1.28 o 3365 1.28 c 738 1.29 o 3371 1.29 c 732 1.29 o 3375 1.29 c 728 1.29 o 3381 1.29 c 722 1.29 o 3387 1.29 c 716 1.29 o 3393 1.29 c 710 1.29 o 3397 1.29 c 706 1.29 o 3402 1.29 c 701 1.30 o 3407 1.30 c 696 1.30 o 3412 1.30 c 691 1.30 o 3417 1.30 c 686 1.30 o 3422 1.30 c 681 1.30 o 3426 1.30 c 677 1.30 o 3430 1.30 c 673 1.30 o 3433 1.30 c 670 1.30 o 3438 1.30 c 665 1.31 o 3442 1.31 c 661 1.31 o 3446 1.31 c 657 1.31 o 3450 1.31 c 653 1.31 o 3454 1.31 c 649 1.31 o 3458 1.31 c 645 1.31 o 3462 1.31 c 641 1.31 o 3466 1.31 c 637 1.32 o 3470 1.32 c 633 1.32 o 3473 1.32 c 630 1.32 o 3476 1.32 c 627 1.32 o 3479 1.32 c 624 1.32 o 3482 1.32 c 621 1.32 o 3485 1.32 c 618 1.32 o 3488 1.32 c 615 1.33 o 3491 1.33 c 612 1.33 o 3493 1.33 c 610 1.33 o 3495 1.33 c 608 1.33 o 3496 1.33 c 607 1.33 o 3497 1.33 c 606 1.33 o 3500 1.33 c 603 1.33 o 3504 1.33 c 599 1.34 o 3508 1.34 c 595 1.34 o 3511 1.34 c 592 1.34 o 3513 1.34 c 590 1.34 o 3516 1.34 c 587 1.34 o 3519 1.34 c 584 1.35 o 3522 1.35 c 581 1.35 o 3524 1.35 c 579 1.35 o 3527 1.35 c 576 1.35 o 3530 1.35 c 573 1.35 o 3533 1.35 c 570 1.36 o 3536 1.36 c 567 1.36 o 3539 1.36 c 564 1.36 o 3542 1.36 c 561 1.36 o 3545 1.36 c 558 1.36 o 3548 1.36 c 555 1.37 o 3551 1.37 c 552 1.37 o 3554 1.37 c 549 1.37 o 3557 1.37 c 546 1.37 o 3560 1.37 c 543 1.37 o 3563 1.37 c 540 1.37 o 3566 1.37 c 537 1.38 o 3569 1.38 c 534 1.38 o 3572 1.38 c 531 1.38 o 3575 1.38 c 528 1.38 o 3578 1.38 c 525 1.38 o 3581 1.38 c 522 1.38 o 3584 1.38 c 519 1.39 o 3587 1.39 c 516 1.39 o 3590 1.39 c 513 1.39 o 3593 1.39 c 510 1.39 o 3596 1.39 c 507 1.39 o 3599 1.39 c 504 1.39 o 3602 1.39 c 501 1.40 o 3604 1.40 c 499 1.40 o 3606 1.40 c 497 1.40 o 3608 1.40 c 495 1.40 o 3610 1.40 c 493 1.40 o 3612 1.40 c 491 1.41 o 3614 1.41 c 489 1.41 o 3616 1.41 c 487 1.41 o 3618 1.41 c 485 1.41 o 3620 1.41 c 483 1.41 o 3621 1.41 c 482 1.41 o 3622 1.41 c 481 1.42 o 3623 1.42 c 480 1.42 o 3624 1.42 c 479 1.42 o 3625 1.42 c 478 1.42 o 3627 1.42 c 476 1.42 o 3628 1.42 c 475 1.42 o 3629 1.42 c 474 1.42 o 3630 1.42 c 473 1.43 o 3631 1.43 c 472 1.43 o 3632 1.43 c 471 1.43 o 3633 1.43 c 470 1.43 o 3634 1.43 c 469 1.44 o 3637 1.44 c 466 1.44 o 3640 1.44 c 463 1.44 o 3642 1.44 c 461 1.44 o 3643 1.44 c 460 1.44 o 3645 1.44 c 458 1.45 o 3648 1.45 c 455 1.45 o 3651 1.45 c 452 1.45 o 3653 1.45 c 450 1.45 o 3654 1.45 c 449 1.45 o 3655 1.45 c 448 1.45 o 3656 1.45 c 447 1.46 o 3659 1.46 c 444 1.46 o 3662 1.46 c 441 1.46 o 3664 1.46 c 439 1.46 o 3666 1.46 c 437 1.47 o 3668 1.47 c 435 1.47 o 3670 1.47 c 433 1.47 o 3672 1.47 c 431 1.48 o 3674 1.48 c 429 1.48 o 3677 1.48 c 426 1.48 o 3678 1.48 c 425 1.48 o 3680 1.48 c 423 1.49 o 3682 1.49 c 421 1.49 o 3684 1.49 c 419 1.49 o 3686 1.49 c 417 1.49 o 3688 1.49 c 415 1.50 o 3690 1.50 c 413 1.50 o 3693 1.50 c 410 1.50 o 3695 1.50 c 408 1.50 o 3697 1.50 c 406 1.51 o 3699 1.51 c 404 1.51 o 3701 1.51 c 402 1.51 o 3703 1.51 c 400 1.51 o 3705 1.51 c 398 1.52 o 3707 1.52 c 396 1.52 o 3709 1.52 c 394 1.52 o 3711 1.52 c 392 1.52 o 3713 1.52 c 390 1.53 o 3715 1.53 c 388 1.53 o 3717 1.53 c 386 1.53 o 3719 1.53 c 384 1.53 o 3721 1.53 c 382 1.54 o 3723 1.54 c 380 1.54 o 3725 1.54 c 378 1.54 o 3727 1.54 c 376 1.54 o 3729 1.54 c 374 1.55 o 3731 1.55 c 372 1.55 o 3733 1.55 c 370 1.55 o 3735 1.55 c 368 1.55 o 3737 1.55 c 366 1.55 o 3739 1.55 c 364 1.56 o 3741 1.56 c 362 1.56 o 3743 1.56 c 360 1.56 o 3745 1.56 c 358 1.56 o 3747 1.56 c 356 1.57 o 3749 1.57 c 354 1.57 o 3751 1.57 c 352 1.57 o 3753 1.57 c 350 1.57 o 3755 1.57 c 348 1.57 o 3757 1.57 c 346 1.58 o 3759 1.58 c 344 1.58 o 3761 1.58 c 342 1.58 o 3763 1.58 c 340 1.58 o 3765 1.58 c 338 1.58 o 3767 1.58 c 336 1.59 o 3769 1.59 c 334 1.59 o 3771 1.59 c 332 1.59 o 3772 1.59 c 331 1.59 o 3774 1.59 c 329 1.59 o 3775 1.59 c 328 1.59 o 3776 1.59 c 327 1.60 o 3777 1.60 c 326 1.60 o 3778 1.60 c 325 1.60 o 3779 1.60 c 324 1.60 o 3780 1.60 c 323 1.60 o 3781 1.60 c 322 1.61 o 3782 1.61 c 321 1.61 o 3783 1.61 c 320 1.61 o 3785 1.61 c 318 1.61 o 3786 1.61 c 317 1.61 o 3787 1.61 c 316 1.61 o 3788 1.61 c 315 1.62 o 3789 1.62 c 314 1.62 o 3790 1.62 c 313 1.62 o 3791 1.62 c 312 1.62 o 3792 1.62 c 311 1.63 o 3794 1.63 c 309 1.63 o 3795 1.63 c 308 1.63 o 3796 1.63 c 307 1.64 o 3798 1.64 c 305 1.64 o 3799 1.64 c 304 1.64 o 3801 1.64 c 302 1.64 o 3802 1.64 c 301 1.64 o 3805 1.64 c 298 1.64 o 3806 1.64 c 297 1.64 o 3808 1.64 c 295 1.65 o 3809 1.65 c 294 1.65 o 3810 1.65 c 293 1.65 o 3811 1.65 c 292 1.65 o 3813 1.65 c 290 1.65 o 3815 1.65 c 288 1.65 o 3817 1.65 c 286 1.65 o 3818 1.65 c 285 1.66 o 3819 1.66 c 284 1.66 o 3820 1.66 c 283 1.66 o 3822 1.66 c 281 1.66 o 3823 1.66 c 280 1.66 o 3824 1.66 c 279 1.66 o 3826 1.66 c 277 1.66 o 3829 1.66 c 274 1.66 o 3830 1.66 c 273 1.67 o 3832 1.67 c 271 1.67 o 3834 1.67 c 269 1.67 o 3836 1.67 c 267 1.67 o 3838 1.67 c 265 1.67 o 3840 1.67 c 263 1.67 o 3842 1.67 c 261 1.67 o 3844 1.67 c 259 1.67 o 3845 1.67 c 258 1.67 o 3847 1.67 c 256 1.68 o 3848 1.68 c 255 1.68 o 3850 1.68 c 253 1.68 o 3852 1.68 c 251 1.68 o 3853 1.68 c 250 1.68 o 3854 1.68 c 249 1.68 o 3855 1.68 c 248 1.69 o 3857 1.69 c 246 1.69 o 3858 1.69 c 245 1.70 o 3859 1.70 c 244 1.70 o 3860 1.70 c 243 1.71 o 3861 1.71 c 242 1.71 o 3862 1.71 c 241 1.72 o 3863 1.72 c 240 1.72 o 3864 1.72 c 239 1.72 o 3865 1.72 c 238 1.73 o 3866 1.73 c 237 1.73 o 3867 1.73 c 236 1.74 o 3868 1.74 c 235 1.74 o 3869 1.74 c 234 1.74 o 3870 1.74 c 233 1.75 o 3871 1.75 c 232 1.76 o 3872 1.76 c 231 1.76 o 3873 1.76 c 230 1.76 o 3874 1.76 c 229 1.77 o 3875 1.77 c 228 1.77 o 3876 1.77 c 227 1.78 o 3877 1.78 c 226 1.78 o 3878 1.78 c 225 1.78 o 3879 1.78 c 224 1.79 o 3880 1.79 c 223 1.79 o 3881 1.79 c 222 1.79 o 3882 1.79 c 221 1.80 o 3883 1.80 c 220 1.80 o 3884 1.80 c 219 1.80 o 3885 1.80 c 218 1.81 o 3886 1.81 c 217 1.81 o 3887 1.81 c 216 1.81 o 3888 1.81 c 215 1.82 o 3889 1.82 c 214 1.82 o 3890 1.82 c 213 1.82 o 3891 1.82 c 212 1.83 o 3892 1.83 c 211 1.83 o 3893 1.83 c 210 1.83 o 3894 1.83 c 209 1.84 o 3895 1.84 c 208 1.84 o 3896 1.84 c 207 1.85 o 3897 1.85 c 206 1.85 o 3898 1.85 c 205 1.85 o 3899 1.85 c 204 1.86 o 3900 1.86 c 203 1.86 o 3901 1.86 c 202 1.86 o 3902 1.86 c 201 1.87 o 3903 1.87 c 200 1.87 o 3904 1.87 c 199 1.87 o 3905 1.87 c 198 1.87 o 3906 1.87 c 197 1.88 o 3907 1.88 c 196 1.88 o 3908 1.88 c 195 1.88 o 3909 1.88 c 194 1.89 o 3910 1.89 c 193 1.89 o 3911 1.89 c 192 1.89 o 3912 1.89 c 191 1.90 o 3913 1.90 c 190 1.90 o 3914 1.90 c 189 1.90 o 3915 1.90 c 188 1.91 o 3916 1.91 c 187 1.91 o 3917 1.91 c 186 1.91 o 3918 1.91 c 185 1.91 o 3919 1.91 c 184 1.92 o 3920 1.92 c 183 1.92 o 3921 1.92 c 182 1.92 o 3922 1.92 c 181 1.93 o 3923 1.93 c 180 1.93 o 3924 1.93 c 179 1.93 o 3926 1.93 c 177 1.93 o 3927 1.93 c 176 1.93 o 3928 1.93 c 175 1.94 o 3929 1.94 c 174 1.94 o 3930 1.94 c 173 1.94 o 3931 1.94 c 172 1.95 o 3932 1.95 c 171 1.95 o 3933 1.95 c 170 1.95 o 3934 1.95 c 169 1.95 o 3935 1.95 c 168 1.96 o 3936 1.96 c 167 1.96 o 3937 1.96 c 166 1.96 o 3938 1.96 c 165 1.96 o 3939 1.96 c 164 1.97 o 3940 1.97 c 163 1.97 o 3941 1.97 c 162 1.97 o 3942 1.97 c 161 1.97 o 3943 1.97 c 160 1.98 o 3944 1.98 c 159 1.98 o 3945 1.98 c 158 1.98 o 3946 1.98 c 157 1.98 o 3947 1.98 c 156 1.99 o 3948 1.99 c 155 1.99 o 3949 1.99 c 154 1.99 o 3950 1.99 c 153 1.99 o 3951 1.99 c 152 2.00 o 3952 2.00 c 151 2.00 o 3953 2.00 c 150 2.00 o 3954 2.00 c 149 2.00 o 3955 2.00 c 148 2.01 o 3956 2.01 c 147 2.01 o 3957 2.01 c 146 2.01 o 3958 2.01 c 145 2.01 o 3959 2.01 c 144 2.02 o 3960 2.02 c 143 2.02 o 3961 2.02 c 142 2.02 o 3962 2.02 c 141 2.02 o 3963 2.02 c 140 2.03 o 3964 2.03 c 139 2.03 o 3965 2.03 c 138 2.03 o 3966 2.03 c 137 2.03 o 3967 2.03 c 136 2.03 o 3968 2.03 c 135 2.04 o 3969 2.04 c 134 2.04 o 3970 2.04 c 133 2.04 o 3971 2.04 c 132 2.05 o 3972 2.05 c 131 2.05 o 3973 2.05 c 130 2.05 o 3974 2.05 c 129 2.05 o 3975 2.05 c 128 2.05 o 3976 2.05 c 127 2.07 o 3977 2.07 c 126 2.07 o 3979 2.07 c 124 2.08 o 3980 2.08 c 123 2.08 o 3982 2.08 c 121 2.09 o 3984 2.09 c 119 2.10 o 3985 2.10 c 118 2.10 o 3987 2.11 c 116 2.12 o 3989 2.12 c 114 2.12 o 3990 2.12 c 113 2.12 o 3991 2.12 c 112 2.13 o 3992 2.13 c 111 2.13 o 3994 2.13 c 109 2.13 o 3995 2.13 c 108 2.13 o 3996 2.13 c 107 2.13 o 3998 2.13 c 105 2.14 o 4000 2.14 c 103 2.14 o 4001 2.14 c 102 2.15 o 4002 2.15 c 101 2.15 o 4003 2.15 c 100 2.15 o 4004 2.15 c 99 2.16 o 4005 2.16 c 98 2.16 o 4006 2.16 c 97 2.16 o 4007 2.17 c 96 2.17 o 4009 2.17 c 94 2.18 o 4010 2.18 c 93 2.19 o 4011 2.19 c 92 2.19 o 4012 2.19 c 91 2.19 o 4014 2.19 c 89 2.20 o 4015 2.20 c 88 2.20 o 4017 2.20 c 86 2.21 o 4018 2.21 c 85 2.21 o 4019 2.21 c 84 2.21 o 4020 2.21 c 83 2.21 o 4022 2.21 c 81 2.22 o 4023 2.22 c 80 2.22 o 4024 2.22 c 79 2.23 o 4025 2.23 c 78 2.23 o 4026 2.23 c 77 2.23 o 4029 2.23 c 74 2.24 o 4030 2.24 c 73 2.24 o 4032 2.24 c 71 2.24 o 4033 2.24 c 70 2.24 o 4035 2.24 c 68 2.25 o 4036 2.25 c 67 2.25 o 4037 2.25 c 66 2.26 o 4038 2.26 c 65 2.27 o 4041 2.27 c 62 2.27 o 4042 2.27 c 61 2.28 o 4043 2.28 c 60 2.28 o 4045 2.28 c 58 2.29 o 4046 2.29 c 57 2.29 o 4047 2.29 c 56 2.29 o 4048 2.29 c 55 2.30 o 4049 2.30 c 54 2.42 o 4050 2.42 c 53 2.74 o 4052 2.74 c 51 2.74 o 4053 2.74 c 50 2.75 o 4054 2.75 c 49 2.88 o 4056 2.88 c 47 2.88 o 4058 2.88 c 45 2.89 o 4059 2.89 c 44 2.90 o 4060 2.90 c 43 2.92 o 4061 2.92 c 42 2.92 o 4062 2.92 c 41 2.93 o 4063 2.93 c 40 2.94 o 4064 2.94 c 39 2.94 o 4065 2.94 c 38 3.08 o 4066 3.08 c 37 3.11 o 4067 3.11 c 36 3.12 o 4068 3.12 c 35 3.14 o 4069 3.14 c 34 3.15 o 4070 3.15 c 33 3.15 o 4071 3.15 c 32 3.15 o 4072 3.15 c 31 3.20 o 4073 3.20 c 30 3.39 o 4074 3.39 c 29 3.40 o 4075 3.40 c 28 3.40 o 4077 3.40 c 26 3.40 o 4078 3.40 c 25 4.04 o 4079 4.04 c 24 4.04 o 4081 4.04 c 22 4.04 o 4083 4.04 c 20 4.36 o 4084 4.36 c 19 4.36 o 4085 4.36 c 18 4.49 o 4086 4.49 c 17 6.06 o 4087 6.06 c 16 6.71 o 4089 6.71 c 14 17.36 o 4090 17.36 c 13 17.36 o 4091 17.36 c 12 29.61 o 4092 29.61 c 11 30.30 o 4094 30.30 c 9 30.31 o 4095 30.31 c 8 60.58 60.58 search 60.58 run=0 nbConstraintChecks=643608546 nbAssignments=9019 60.58 => wckTime=59.321 cpuTime=58.72 mem=8M313 60.59 60.59 global 60.59 nbConstraintChecks=643608546 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 60.59 solvingWckTime=59.319 solvingCpuTime=58.72 expiredTime=no totalExploration=no nbFoundSolutions=0 60.59 globalCpuTime=59.51 60.59 => wckTime=60.292 cpuTime=59.47 mem=8M313 60.59 60.59 solver IterativeSystematicSolver being built... 60.75 => wckTime=60.461 cpuTime=59.59 mem=23M330 78.76 78.76 preprocessing 78.76 nbConstraintChecks=19976932 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 78.76 detectedInconsistency=no 78.76 => wckTime=18.003 cpuTime=17.82 mem=23M330 115.34 115.34 search 115.34 run=0 nbConstraintChecks=39890002 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=496 115.34 nbFailedAssignments=193 nbBacktracks=10 nbVisitedNodes=700 nbRestartNogoods=0 115.34 => wckTime=54.584 cpuTime=54.07 mem=23M330 121.71 121.71 search 121.71 run=1 nbConstraintChecks=51356589 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=856 121.71 nbFailedAssignments=223 nbBacktracks=25 nbVisitedNodes=1105 nbRestartNogoods=180 121.71 => wckTime=60.959 cpuTime=60.37 mem=23M330 128.13 128.13 search 128.13 run=2 nbConstraintChecks=63695923 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1204 128.13 nbFailedAssignments=283 nbBacktracks=47 nbVisitedNodes=1534 nbRestartNogoods=184 128.13 => wckTime=67.376 cpuTime=66.73 mem=23M330 132.72 132.72 search 132.72 run=3 nbConstraintChecks=72233814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1361 132.72 nbFailedAssignments=345 nbBacktracks=81 nbVisitedNodes=1787 nbRestartNogoods=186 132.72 => wckTime=71.967 cpuTime=71.28 mem=23M330 191.47 191.47 search 191.47 run=4 nbConstraintChecks=119790792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1918 191.47 nbFailedAssignments=579 nbBacktracks=131 nbVisitedNodes=2628 nbRestartNogoods=202 191.47 => wckTime=130.716 cpuTime=129.51 mem=23M330 251.56 251.56 search 251.57 run=5 nbConstraintChecks=172010242 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2557 251.57 nbFailedAssignments=834 nbBacktracks=206 nbVisitedNodes=3587 nbRestartNogoods=356 251.57 => wckTime=190.81 cpuTime=189.08 mem=23M330 326.59 326.59 search 326.59 run=6 nbConstraintChecks=249461399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3314 326.59 nbFailedAssignments=1303 nbBacktracks=319 nbVisitedNodes=4926 nbRestartNogoods=529 326.59 => wckTime=265.838 cpuTime=263.43 mem=23M330 469.04 469.04 search 469.04 run=7 nbConstraintChecks=320156742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4012 469.04 nbFailedAssignments=1648 nbBacktracks=489 nbVisitedNodes=6139 nbRestartNogoods=586 469.04 => wckTime=408.286 cpuTime=404.65 mem=24M304 699.28 699.28 search 699.28 run=8 nbConstraintChecks=434801158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5140 699.28 nbFailedAssignments=2215 nbBacktracks=745 nbVisitedNodes=8090 nbRestartNogoods=652 699.28 => wckTime=638.529 cpuTime=632.95 mem=24M304 728.42 728.42 search 728.42 run=9 nbConstraintChecks=507860798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6566 728.43 nbFailedAssignments=3158 nbBacktracks=1129 nbVisitedNodes=10836 nbRestartNogoods=806 728.43 => wckTime=667.67 cpuTime=661.82 mem=24M304 1207.69 1207.69 search 1207.69 run=10 nbConstraintChecks=708596522 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8301 1207.69 nbFailedAssignments=4170 nbBacktracks=1705 nbVisitedNodes=14158 nbRestartNogoods=812 1207.69 => wckTime=1146.933 cpuTime=1136.81 mem=24M304 1885.91 1885.91 search 1885.91 run=11 nbConstraintChecks=1023838885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11224 1885.91 nbFailedAssignments=5944 nbBacktracks=2570 nbVisitedNodes=19720 nbRestartNogoods=867 1885.91 => wckTime=1825.155 cpuTime=1809.23 mem=24M304 1978.02 1978.02 search 1978.02 run=12 nbConstraintChecks=1245190831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15495 1978.02 nbFailedAssignments=8819 nbBacktracks=3867 nbVisitedNodes=27948 nbRestartNogoods=1006 1978.02 => wckTime=1917.269 cpuTime=1900.49 mem=24M304 2421.11 v 128 366 72 310 456 694 680 442 16 254 142 380 114 352 380 142 16 254 44 282 128 366 428 666 296 58 442 680 310 72 394 156 442 680 366 128 254 16 254 16 456 694 30 268 156 394 128 366 30 268 652 414 142 380 694 456 666 428 666 428 310 72 254 16 114 352 114 352 694 456 296 58 380 142 254 16 142 380 156 394 380 142 282 44 652 414 324 86 30 268 254 16 114 352 352 114 666 428 324 86 86 324 310 72 680 442 16 254 324 86 338 100 72 310 296 58 114 352 680 442 100 338 338 100 86 324 114 352 428 666 296 58 366 128 442 680 296 58 254 16 394 156 512 554 428 666 128 366 680 442 30 268 652 414 666 428 142 380 240 478 44 282 58 296 100 338 456 694 58 296 156 394 380 142 128 366 254 16 442 680 680 442 310 72 694 456 72 310 338 100 442 680 156 394 428 666 352 114 442 680 442 680 554 554 414 652 338 100 680 442 30 268 268 30 296 58 540 526 282 44 694 456 128 366 72 310 142 380 296 58 456 694 442 680 282 44 666 428 268 30 72 310 296 58 268 30 142 380 30 268 456 694 100 338 380 142 680 442 442 680 296 58 338 100 526 526 324 86 114 352 86 324 100 338 380 142 142 380 666 428 268 30 442 680 156 394 44 282 680 442 694 456 380 142 86 324 666 428 310 72 352 114 142 380 128 366 86 324 666 428 680 442 666 428 268 30 694 456 694 456 128 366 680 442 100 338 680 442 282 44 442 680 428 666 428 666 128 366 310 72 680 442 380 142 456 694 58 296 456 694 282 44 30 268 694 456 694 456 86 324 72 310 366 128 72 310 100 338 114 352 44 282 30 268 366 128 268 30 338 100 310 72 442 680 338 100 666 428 128 366 380 142 324 86 268 30 128 366 128 366 310 72 428 666 680 442 58 296 268 30 666 428 30 268 114 352 282 44 58 296 282 44 254 16 310 72 30 268 30 268 680 442 380 142 694 456 428 666 72 310 282 44 694 456 282 44 114 352 694 456 58 296 86 324 666 428 30 268 282 44 380 142 414 652 456 694 268 30 414 652 296 58 114 352 58 296 366 128 666 428 352 114 268 30 142 380 428 666 44 282 666 428 666 428 366 128 44 282 268 30 156 394 324 86 456 694 114 352 666 428 456 694 128 366 310 72 380 142 366 128 114 352 428 666 142 380 428 666 366 128 666 428 442 680 324 86 338 100 428 666 44 282 86 324 268 30 338 100 86 324 58 296 156 394 72 310 268 30 114 352 338 100 666 428 694 456 680 442 72 310 456 694 352 114 456 694 142 380 694 456 72 310 694 456 44 282 694 456 156 394 352 114 58 296 666 428 456 694 338 100 142 380 680 442 310 72 86 324 680 442 16 254 30 268 114 352 694 456 254 16 30 268 366 128 156 394 694 456 44 282 310 72 680 442 366 128 680 442 428 666 44 282 310 72 324 86 380 142 310 72 114 352 30 268 694 456 310 72 442 680 268 30 72 310 296 58 666 428 128 366 114 352 296 58 282 44 86 324 156 394
8 unsatisfied constraints, 4095 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node75/watcher-275150-1169217770 -o ROOT/results/node75/solver-275150-1169217770 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275150-1169217770/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.86 1.97 1.91 5/80 30151 /proc/meminfo: memFree=1102520/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=906644 CPUtime=0.02 /proc/30150/stat : 30150 (java) S 30148 30150 29689 0 -1 0 2069 0 1 0 1 1 0 0 19 0 2 0 270176376 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 226661 1818 1036 14 0 214244 0 [pid=30150/tid=30152] ppid=30148 vsize=906644 CPUtime=0 /proc/30150/task/30152/stat : 30152 (java) R 30148 30150 29689 0 -1 64 4 0 0 0 0 0 0 0 20 0 2 0 270176379 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 0 0 0 [startup+0.102661 s] /proc/loadavg: 1.86 1.97 1.91 5/80 30151 /proc/meminfo: memFree=1102520/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=914988 CPUtime=0.08 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 3020 0 1 0 6 2 0 0 24 0 8 0 270176376 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155441071 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228747 2766 1435 14 0 215242 0 [pid=30150/tid=30152] ppid=30148 vsize=914988 CPUtime=0 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 7 0 0 0 0 0 0 0 19 0 8 0 270176379 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.514709 s] /proc/loadavg: 1.86 1.97 1.91 5/80 30151 /proc/meminfo: memFree=1102520/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915332 CPUtime=0.5 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 6648 0 1 0 45 5 0 0 25 0 8 0 270176376 937299968 6387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228833 6387 2152 14 0 215303 0 [pid=30150/tid=30152] ppid=30148 vsize=915332 CPUtime=0 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 7 0 0 0 0 0 0 0 19 0 8 0 270176379 937299968 6387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 915332 [startup+1.3428 s] /proc/loadavg: 1.86 1.97 1.91 4/87 30158 /proc/meminfo: memFree=1065728/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=1.3 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 12856 0 1 0 106 24 0 0 25 0 8 0 270176376 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12593 2500 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 862 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.21 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 438 0 0 0 20 1 0 0 15 0 8 0 270176382 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 915728 [startup+2.98 s] /proc/loadavg: 1.86 1.97 1.91 4/87 30158 /proc/meminfo: memFree=1061760/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2.9 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 12866 0 1 0 261 29 0 0 25 0 8 0 270176376 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903323 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12602 2500 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 862 0 0 0 5 0 0 0 17 0 8 0 270176379 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.22 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 447 0 0 0 21 1 0 0 15 0 8 0 270176382 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 915728 [startup+6.26039 s] /proc/loadavg: 1.87 1.97 1.91 3/87 30158 /proc/meminfo: memFree=1061696/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=6.16 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 12867 0 1 0 583 33 0 0 25 0 8 0 270176376 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906742 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12603 2500 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 862 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.22 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 448 0 0 0 21 1 0 0 15 0 8 0 270176382 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 915728 [startup+12.7462 s] /proc/loadavg: 1.88 1.97 1.91 3/87 30158 /proc/meminfo: memFree=1061720/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=12.56 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 12868 0 1 0 1218 38 0 0 25 0 8 0 270176376 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12604 2500 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 862 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.23 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 449 0 0 0 22 1 0 0 16 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 915728 [startup+25.6037 s] /proc/loadavg: 1.91 1.97 1.91 3/87 30158 /proc/meminfo: memFree=1061720/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=25.31 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 12868 0 1 0 2479 52 0 0 25 0 8 0 270176376 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12604 2500 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 862 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.23 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 449 0 0 0 22 1 0 0 16 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 915728 [startup+51.2107 s] /proc/loadavg: 1.94 1.97 1.91 3/87 30158 /proc/meminfo: memFree=1061464/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=50.7 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 12868 0 1 0 4996 74 0 0 25 0 8 0 270176376 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073905584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12604 2500 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 862 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.23 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 449 0 0 0 22 1 0 0 16 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 915728 [startup+102.418 s] /proc/loadavg: 1.97 1.97 1.91 4/87 30158 /proc/meminfo: memFree=1061208/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=101.46 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13013 0 1 0 10063 83 0 0 25 0 8 0 270176376 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12742 2547 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 862 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.31 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 270176382 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 101.46 Current children cumulated vsize (KiB) 915728 ################ # More data... # ################ Current children cumulated CPU time (s) 2006.41 Current children cumulated vsize (KiB) 915728 [startup+2084.14 s] /proc/loadavg: 2.00 2.00 1.95 3/87 30356 /proc/meminfo: memFree=1060568/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2065.92 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13063 0 1 0 206497 95 0 0 25 0 8 0 270176376 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12772 2550 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 863 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.36 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2065.92 Current children cumulated vsize (KiB) 915728 [startup+2144.19 s] /proc/loadavg: 2.00 2.00 1.95 3/87 30356 /proc/meminfo: memFree=1060632/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2125.46 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13063 0 1 0 212451 95 0 0 25 0 8 0 270176376 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074100596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12772 2550 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 863 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.36 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2125.46 Current children cumulated vsize (KiB) 915728 [startup+2204.24 s] /proc/loadavg: 2.06 2.02 1.95 3/87 30356 /proc/meminfo: memFree=1060632/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2185.02 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13063 0 1 0 218406 96 0 0 25 0 8 0 270176376 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074174922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12772 2550 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 863 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.36 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0.01 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2185.02 Current children cumulated vsize (KiB) 915728 [startup+2264.29 s] /proc/loadavg: 2.02 2.01 1.95 3/87 30356 /proc/meminfo: memFree=1060568/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2244.55 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13063 0 1 0 224359 96 0 0 25 0 8 0 270176376 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074053291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12772 2550 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 863 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.36 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0.01 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2244.55 Current children cumulated vsize (KiB) 915728 [startup+2324.34 s] /proc/loadavg: 2.01 2.00 1.95 3/87 30358 /proc/meminfo: memFree=1060440/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2304.09 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13063 0 1 0 230313 96 0 0 25 0 8 0 270176376 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074078068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12772 2550 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 863 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.36 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0.01 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2304.09 Current children cumulated vsize (KiB) 915728 [startup+2384.39 s] /proc/loadavg: 1.92 1.98 1.95 2/75 30373 /proc/meminfo: memFree=1103928/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2363.64 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13063 0 1 0 236268 96 0 0 25 0 8 0 270176376 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074129212 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30150/statm: 228932 12772 2550 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 863 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.36 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0.01 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2363.64 Current children cumulated vsize (KiB) 915728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2421.1 s] /proc/loadavg: 1.95 1.98 1.95 3/87 30418 /proc/meminfo: memFree=1076128/2055920 swapFree=4184548/4192956 [pid=30150] ppid=30148 vsize=915728 CPUtime=2400.01 /proc/30150/stat : 30150 (java) R 30148 30150 29689 0 -1 0 13063 0 1 0 239904 97 0 0 25 0 8 0 270176376 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/30150/statm: 228932 12772 2550 14 0 215402 0 [pid=30150/tid=30152] ppid=30148 vsize=915728 CPUtime=0.05 /proc/30150/task/30152/stat : 30152 (java) S 30148 30150 29689 0 -1 64 863 0 0 0 5 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30153] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30153/stat : 30153 (java) S 30148 30150 29689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30154] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30154/stat : 30154 (java) S 30148 30150 29689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270176379 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30155] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30155/stat : 30155 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30156] ppid=30148 vsize=915728 CPUtime=0.36 /proc/30150/task/30156/stat : 30156 (java) S 30148 30150 29689 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30157] ppid=30148 vsize=915728 CPUtime=0 /proc/30150/task/30157/stat : 30157 (java) S 30148 30150 29689 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30150/tid=30158] ppid=30148 vsize=915728 CPUtime=0.01 /proc/30150/task/30158/stat : 30158 (java) S 30148 30150 29689 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270176382 937705472 12772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 915728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2421.13 CPU time (s): 2400.04 CPU user time (s): 2399.05 CPU system time (s): 0.986849 CPU usage (%): 99.1288 Max. virtual memory (cumulated for all children) (KiB): 915732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.05 system time used= 0.986849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13086 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= 50635 involuntary context switches= 124958 runsolver used 2.22466 s user time and 6.93095 s system time The end
Begin job on node75 on Fri Jan 19 14:42:50 UTC 2007 IDJOB= 275150 IDBENCH= 3579 IDSOLVER= 68 FILE ID= node75/275150-1169217770 PBS_JOBID= 3589125 Free space on /tmp= 66560 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f7.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275150-1169217770/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-275150-1169217770 -o ROOT/results/node75/solver-275150-1169217770 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275150-1169217770/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= e4658453aeec06ccf8a04dbfac7676d7 RANDOM SEED= 386179606 TIME LIMIT= 2400 seconds MEMORY LIMIT= 900 MiB /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1102936 kB Buffers: 48128 kB Cached: 776300 kB SwapCached: 2452 kB Active: 427888 kB Inactive: 452412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1102936 kB SwapTotal: 4192956 kB SwapFree: 4184548 kB Dirty: 4500 kB Writeback: 0 kB Mapped: 72416 kB Slab: 57880 kB Committed_AS: 6025540 kB PageTables: 1932 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= 66561 MiB End job on node75 on Fri Jan 19 15:23:11 UTC 2007