Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.14 | 2402.87 |
| 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.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.36 0.36 instance 0.36 name=/tmp/evaluation/275151-1169217776/unknown.xml 0.40 0.40 domains being loaded... 0.40 0.40 variables being loaded... 0.50 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=37 0.50 => wckTime=0.19 cpuTime=0.13 mem=8M860 0.50 0.50 predicates being loaded... 0.50 0.50 constraints being loaded... 1.19 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=168061 nbExtensionStructures=173 1.19 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930 1.19 nbSharedBinaryRepresentations=10303 maxDegree=62 maxArity=2 1.19 => wckTime=0.882 cpuTime=0.7 mem=28M364 1.27 1.27 solver LocalSearchSolver being built... 1.31 => wckTime=0.995 cpuTime=0.74 mem=8M311 1.32 1.32 s SATISFIABLE 1.32 o 3351 1.32 c 752 1.32 o 3358 1.32 c 745 1.33 o 3365 1.33 c 738 1.33 o 3371 1.33 c 732 1.33 o 3375 1.33 c 728 1.33 o 3381 1.33 c 722 1.33 o 3387 1.33 c 716 1.34 o 3393 1.34 c 710 1.34 o 3397 1.34 c 706 1.34 o 3402 1.34 c 701 1.34 o 3407 1.34 c 696 1.34 o 3412 1.34 c 691 1.34 o 3417 1.34 c 686 1.34 o 3422 1.34 c 681 1.34 o 3426 1.34 c 677 1.35 o 3430 1.35 c 673 1.35 o 3433 1.35 c 670 1.35 o 3438 1.35 c 665 1.35 o 3442 1.35 c 661 1.35 o 3446 1.35 c 657 1.35 o 3450 1.35 c 653 1.35 o 3454 1.35 c 649 1.36 o 3458 1.36 c 645 1.36 o 3462 1.36 c 641 1.36 o 3466 1.36 c 637 1.36 o 3470 1.36 c 633 1.36 o 3473 1.36 c 630 1.36 o 3476 1.36 c 627 1.36 o 3479 1.36 c 624 1.37 o 3482 1.37 c 621 1.37 o 3485 1.37 c 618 1.37 o 3488 1.37 c 615 1.37 o 3491 1.37 c 612 1.37 o 3493 1.37 c 610 1.37 o 3495 1.37 c 608 1.37 o 3496 1.37 c 607 1.37 o 3497 1.37 c 606 1.38 o 3500 1.38 c 603 1.38 o 3504 1.38 c 599 1.38 o 3508 1.38 c 595 1.38 o 3511 1.38 c 592 1.38 o 3513 1.38 c 590 1.38 o 3516 1.38 c 587 1.39 o 3519 1.39 c 584 1.39 o 3522 1.39 c 581 1.39 o 3524 1.39 c 579 1.39 o 3527 1.39 c 576 1.39 o 3530 1.39 c 573 1.40 o 3533 1.40 c 570 1.40 o 3536 1.40 c 567 1.40 o 3539 1.40 c 564 1.40 o 3542 1.40 c 561 1.40 o 3545 1.40 c 558 1.41 o 3548 1.41 c 555 1.41 o 3551 1.41 c 552 1.41 o 3554 1.41 c 549 1.41 o 3557 1.41 c 546 1.41 o 3560 1.41 c 543 1.42 o 3563 1.42 c 540 1.42 o 3566 1.42 c 537 1.42 o 3569 1.42 c 534 1.42 o 3572 1.42 c 531 1.42 o 3575 1.42 c 528 1.43 o 3578 1.43 c 525 1.43 o 3581 1.43 c 522 1.43 o 3584 1.43 c 519 1.43 o 3587 1.43 c 516 1.43 o 3590 1.43 c 513 1.43 o 3593 1.43 c 510 1.44 o 3596 1.44 c 507 1.44 o 3599 1.44 c 504 1.44 o 3602 1.44 c 501 1.44 o 3604 1.44 c 499 1.44 o 3606 1.44 c 497 1.44 o 3608 1.44 c 495 1.45 o 3610 1.45 c 493 1.45 o 3612 1.45 c 491 1.45 o 3614 1.45 c 489 1.45 o 3616 1.45 c 487 1.45 o 3618 1.45 c 485 1.45 o 3620 1.45 c 483 1.46 o 3621 1.46 c 482 1.46 o 3622 1.46 c 481 1.46 o 3623 1.46 c 480 1.46 o 3624 1.46 c 479 1.46 o 3625 1.46 c 478 1.46 o 3627 1.46 c 476 1.47 o 3628 1.47 c 475 1.47 o 3629 1.47 c 474 1.47 o 3630 1.47 c 473 1.47 o 3631 1.47 c 472 1.47 o 3632 1.47 c 471 1.47 o 3633 1.47 c 470 1.48 o 3634 1.48 c 469 1.48 o 3637 1.48 c 466 1.48 o 3640 1.48 c 463 1.48 o 3642 1.48 c 461 1.49 o 3643 1.49 c 460 1.49 o 3645 1.49 c 458 1.49 o 3648 1.49 c 455 1.49 o 3651 1.49 c 452 1.49 o 3653 1.49 c 450 1.49 o 3654 1.49 c 449 1.49 o 3655 1.49 c 448 1.50 o 3656 1.50 c 447 1.50 o 3659 1.50 c 444 1.50 o 3662 1.50 c 441 1.50 o 3664 1.50 c 439 1.51 o 3666 1.51 c 437 1.51 o 3668 1.51 c 435 1.51 o 3670 1.51 c 433 1.52 o 3672 1.52 c 431 1.52 o 3674 1.52 c 429 1.52 o 3677 1.52 c 426 1.52 o 3678 1.52 c 425 1.53 o 3680 1.53 c 423 1.53 o 3682 1.53 c 421 1.53 o 3684 1.53 c 419 1.54 o 3686 1.54 c 417 1.54 o 3688 1.54 c 415 1.54 o 3690 1.54 c 413 1.54 o 3693 1.54 c 410 1.55 o 3695 1.55 c 408 1.55 o 3697 1.55 c 406 1.55 o 3699 1.55 c 404 1.55 o 3701 1.55 c 402 1.56 o 3703 1.56 c 400 1.56 o 3705 1.56 c 398 1.56 o 3707 1.56 c 396 1.56 o 3709 1.56 c 394 1.57 o 3711 1.57 c 392 1.57 o 3713 1.57 c 390 1.57 o 3715 1.57 c 388 1.57 o 3717 1.57 c 386 1.58 o 3719 1.58 c 384 1.58 o 3721 1.58 c 382 1.58 o 3723 1.58 c 380 1.58 o 3725 1.58 c 378 1.59 o 3727 1.59 c 376 1.59 o 3729 1.59 c 374 1.59 o 3731 1.59 c 372 1.59 o 3733 1.59 c 370 1.60 o 3735 1.60 c 368 1.60 o 3737 1.60 c 366 1.60 o 3739 1.60 c 364 1.60 o 3741 1.60 c 362 1.60 o 3743 1.60 c 360 1.61 o 3745 1.61 c 358 1.61 o 3747 1.61 c 356 1.61 o 3749 1.61 c 354 1.61 o 3751 1.61 c 352 1.61 o 3753 1.61 c 350 1.62 o 3755 1.62 c 348 1.62 o 3757 1.62 c 346 1.62 o 3759 1.62 c 344 1.62 o 3761 1.62 c 342 1.63 o 3763 1.63 c 340 1.63 o 3765 1.63 c 338 1.63 o 3767 1.63 c 336 1.63 o 3769 1.63 c 334 1.63 o 3771 1.63 c 332 1.63 o 3772 1.63 c 331 1.64 o 3774 1.64 c 329 1.64 o 3775 1.64 c 328 1.64 o 3776 1.64 c 327 1.64 o 3777 1.64 c 326 1.64 o 3778 1.64 c 325 1.65 o 3779 1.65 c 324 1.65 o 3780 1.65 c 323 1.65 o 3781 1.65 c 322 1.65 o 3782 1.65 c 321 1.65 o 3783 1.65 c 320 1.65 o 3785 1.65 c 318 1.66 o 3786 1.66 c 317 1.66 o 3787 1.66 c 316 1.66 o 3788 1.66 c 315 1.66 o 3789 1.66 c 314 1.66 o 3790 1.66 c 313 1.67 o 3791 1.67 c 312 1.67 o 3792 1.67 c 311 1.67 o 3794 1.67 c 309 1.68 o 3795 1.68 c 308 1.68 o 3796 1.68 c 307 1.68 o 3798 1.68 c 305 1.68 o 3799 1.68 c 304 1.69 o 3801 1.69 c 302 1.69 o 3802 1.69 c 301 1.69 o 3805 1.69 c 298 1.69 o 3806 1.69 c 297 1.69 o 3808 1.69 c 295 1.69 o 3809 1.69 c 294 1.69 o 3810 1.69 c 293 1.70 o 3811 1.70 c 292 1.70 o 3813 1.70 c 290 1.70 o 3815 1.70 c 288 1.70 o 3817 1.70 c 286 1.70 o 3818 1.70 c 285 1.70 o 3819 1.70 c 284 1.70 o 3820 1.70 c 283 1.70 o 3822 1.70 c 281 1.70 o 3823 1.71 c 280 1.71 o 3824 1.71 c 279 1.71 o 3826 1.71 c 277 1.71 o 3829 1.71 c 274 1.71 o 3830 1.71 c 273 1.71 o 3832 1.71 c 271 1.71 o 3834 1.71 c 269 1.71 o 3836 1.71 c 267 1.72 o 3838 1.72 c 265 1.72 o 3840 1.72 c 263 1.72 o 3842 1.72 c 261 1.72 o 3844 1.72 c 259 1.72 o 3845 1.72 c 258 1.72 o 3847 1.72 c 256 1.72 o 3848 1.72 c 255 1.72 o 3850 1.72 c 253 1.73 o 3852 1.73 c 251 1.73 o 3853 1.73 c 250 1.73 o 3854 1.73 c 249 1.73 o 3855 1.73 c 248 1.73 o 3857 1.73 c 246 1.74 o 3858 1.74 c 245 1.74 o 3859 1.75 c 244 1.75 o 3860 1.75 c 243 1.76 o 3861 1.76 c 242 1.76 o 3862 1.76 c 241 1.76 o 3863 1.76 c 240 1.77 o 3864 1.77 c 239 1.77 o 3865 1.77 c 238 1.78 o 3866 1.78 c 237 1.78 o 3867 1.78 c 236 1.78 o 3868 1.78 c 235 1.79 o 3869 1.79 c 234 1.79 o 3870 1.79 c 233 1.80 o 3871 1.80 c 232 1.80 o 3872 1.80 c 231 1.81 o 3873 1.81 c 230 1.81 o 3874 1.81 c 229 1.81 o 3875 1.81 c 228 1.82 o 3876 1.82 c 227 1.82 o 3877 1.82 c 226 1.83 o 3878 1.83 c 225 1.83 o 3879 1.83 c 224 1.83 o 3880 1.83 c 223 1.84 o 3881 1.84 c 222 1.84 o 3882 1.84 c 221 1.84 o 3883 1.84 c 220 1.85 o 3884 1.85 c 219 1.85 o 3885 1.85 c 218 1.85 o 3886 1.86 c 217 1.86 o 3887 1.86 c 216 1.86 o 3888 1.86 c 215 1.87 o 3889 1.87 c 214 1.87 o 3890 1.87 c 213 1.87 o 3891 1.87 c 212 1.88 o 3892 1.88 c 211 1.88 o 3893 1.88 c 210 1.88 o 3894 1.88 c 209 1.89 o 3895 1.89 c 208 1.89 o 3896 1.89 c 207 1.89 o 3897 1.89 c 206 1.90 o 3898 1.90 c 205 1.90 o 3899 1.90 c 204 1.90 o 3900 1.90 c 203 1.91 o 3901 1.91 c 202 1.91 o 3902 1.91 c 201 1.91 o 3903 1.91 c 200 1.92 o 3904 1.92 c 199 1.92 o 3905 1.92 c 198 1.92 o 3906 1.92 c 197 1.92 o 3907 1.92 c 196 1.93 o 3908 1.93 c 195 1.93 o 3909 1.93 c 194 1.93 o 3910 1.94 c 193 1.94 o 3911 1.94 c 192 1.94 o 3912 1.94 c 191 1.94 o 3913 1.94 c 190 1.95 o 3914 1.95 c 189 1.95 o 3915 1.95 c 188 1.95 o 3916 1.95 c 187 1.96 o 3917 1.96 c 186 1.96 o 3918 1.96 c 185 1.96 o 3919 1.96 c 184 1.96 o 3920 1.96 c 183 1.97 o 3921 1.97 c 182 1.97 o 3922 1.97 c 181 1.97 o 3923 1.97 c 180 1.98 o 3924 1.98 c 179 1.98 o 3926 1.98 c 177 1.98 o 3927 1.98 c 176 1.98 o 3928 1.98 c 175 1.99 o 3929 1.99 c 174 1.99 o 3930 1.99 c 173 1.99 o 3931 1.99 c 172 1.99 o 3932 1.99 c 171 2.00 o 3933 2.00 c 170 2.00 o 3934 2.00 c 169 2.00 o 3935 2.00 c 168 2.00 o 3936 2.00 c 167 2.01 o 3937 2.01 c 166 2.01 o 3938 2.01 c 165 2.01 o 3939 2.01 c 164 2.01 o 3940 2.01 c 163 2.02 o 3941 2.02 c 162 2.02 o 3942 2.02 c 161 2.02 o 3943 2.02 c 160 2.02 o 3944 2.02 c 159 2.03 o 3945 2.03 c 158 2.03 o 3946 2.03 c 157 2.03 o 3947 2.03 c 156 2.03 o 3948 2.03 c 155 2.04 o 3949 2.04 c 154 2.04 o 3950 2.04 c 153 2.04 o 3951 2.04 c 152 2.04 o 3952 2.04 c 151 2.05 o 3953 2.05 c 150 2.05 o 3954 2.05 c 149 2.05 o 3955 2.05 c 148 2.05 o 3956 2.05 c 147 2.06 o 3957 2.06 c 146 2.06 o 3958 2.06 c 145 2.06 o 3959 2.06 c 144 2.06 o 3960 2.06 c 143 2.07 o 3961 2.07 c 142 2.07 o 3962 2.07 c 141 2.07 o 3963 2.07 c 140 2.07 o 3964 2.07 c 139 2.08 o 3965 2.08 c 138 2.08 o 3966 2.08 c 137 2.08 o 3967 2.08 c 136 2.08 o 3968 2.08 c 135 2.08 o 3969 2.08 c 134 2.09 o 3970 2.09 c 133 2.09 o 3971 2.09 c 132 2.09 o 3972 2.09 c 131 2.10 o 3973 2.10 c 130 2.10 o 3974 2.10 c 129 2.10 o 3975 2.10 c 128 2.10 o 3976 2.10 c 127 2.12 o 3977 2.12 c 126 2.12 o 3979 2.12 c 124 2.13 o 3980 2.13 c 123 2.13 o 3982 2.13 c 121 2.14 o 3984 2.14 c 119 2.15 o 3985 2.15 c 118 2.15 o 3987 2.15 c 116 2.17 o 3989 2.17 c 114 2.17 o 3990 2.17 c 113 2.17 o 3991 2.17 c 112 2.17 o 3992 2.17 c 111 2.18 o 3994 2.18 c 109 2.18 o 3995 2.18 c 108 2.18 o 3996 2.18 c 107 2.18 o 3998 2.18 c 105 2.19 o 4000 2.19 c 103 2.19 o 4001 2.19 c 102 2.20 o 4002 2.20 c 101 2.20 o 4003 2.20 c 100 2.20 o 4004 2.20 c 99 2.20 o 4005 2.20 c 98 2.21 o 4006 2.21 c 97 2.21 o 4007 2.22 c 96 2.22 o 4009 2.22 c 94 2.22 o 4010 2.22 c 93 2.24 o 4011 2.24 c 92 2.24 o 4012 2.24 c 91 2.24 o 4014 2.24 c 89 2.25 o 4015 2.25 c 88 2.25 o 4017 2.25 c 86 2.26 o 4018 2.26 c 85 2.26 o 4019 2.26 c 84 2.26 o 4020 2.26 c 83 2.26 o 4022 2.26 c 81 2.27 o 4023 2.27 c 80 2.27 o 4024 2.27 c 79 2.28 o 4025 2.28 c 78 2.28 o 4026 2.28 c 77 2.28 o 4029 2.28 c 74 2.29 o 4030 2.29 c 73 2.29 o 4032 2.29 c 71 2.29 o 4033 2.29 c 70 2.29 o 4035 2.29 c 68 2.30 o 4036 2.30 c 67 2.30 o 4037 2.30 c 66 2.31 o 4038 2.31 c 65 2.31 o 4041 2.31 c 62 2.32 o 4042 2.32 c 61 2.32 o 4043 2.32 c 60 2.33 o 4045 2.33 c 58 2.33 o 4046 2.33 c 57 2.34 o 4047 2.34 c 56 2.34 o 4048 2.34 c 55 2.34 o 4049 2.34 c 54 2.46 o 4050 2.46 c 53 2.77 o 4052 2.77 c 51 2.78 o 4053 2.78 c 50 2.78 o 4054 2.78 c 49 2.91 o 4056 2.91 c 47 2.92 o 4058 2.92 c 45 2.93 o 4059 2.93 c 44 2.93 o 4060 2.93 c 43 2.95 o 4061 2.95 c 42 2.96 o 4062 2.96 c 41 2.96 o 4063 2.96 c 40 2.97 o 4064 2.97 c 39 2.98 o 4065 2.98 c 38 3.11 o 4066 3.11 c 37 3.14 o 4067 3.14 c 36 3.15 o 4068 3.15 c 35 3.17 o 4069 3.17 c 34 3.18 o 4070 3.18 c 33 3.18 o 4071 3.18 c 32 3.18 o 4072 3.18 c 31 3.23 o 4073 3.23 c 30 3.42 o 4074 3.42 c 29 3.42 o 4075 3.42 c 28 3.42 o 4077 3.42 c 26 3.42 o 4078 3.42 c 25 4.08 o 4079 4.08 c 24 4.08 o 4081 4.08 c 22 4.08 o 4083 4.08 c 20 4.39 o 4084 4.39 c 19 4.40 o 4085 4.40 c 18 4.52 o 4086 4.52 c 17 6.07 o 4087 6.07 c 16 6.71 o 4089 6.71 c 14 17.40 o 4090 17.40 c 13 17.40 o 4091 17.40 c 12 29.80 o 4092 29.80 c 11 30.50 o 4094 30.50 c 9 30.51 o 4095 30.51 c 8 60.57 60.57 search 60.57 run=0 nbConstraintChecks=636879144 nbAssignments=8936 60.57 => wckTime=59.262 cpuTime=59.13 mem=8M311 60.57 60.57 global 60.57 nbConstraintChecks=636879144 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 60.57 solvingWckTime=59.26 solvingCpuTime=59.12 expiredTime=no totalExploration=no nbFoundSolutions=0 60.57 globalCpuTime=59.9 60.57 => wckTime=60.258 cpuTime=59.86 mem=8M311 60.57 60.57 solver IterativeSystematicSolver being built... 60.74 => wckTime=60.427 cpuTime=60.0 mem=23M360 60.78 60.78 preprocessing 60.78 nbConstraintChecks=22296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0 60.78 detectedInconsistency=no 60.78 => wckTime=0.036 cpuTime=0.02 mem=23M360 99.50 99.50 search 99.50 run=0 nbConstraintChecks=40134754 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=500 99.50 nbFailedAssignments=193 nbBacktracks=10 nbVisitedNodes=704 nbRestartNogoods=0 99.50 => wckTime=38.76 cpuTime=38.68 mem=23M360 140.78 140.78 search 140.78 run=1 nbConstraintChecks=82632618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1021 140.78 nbFailedAssignments=397 nbBacktracks=25 nbVisitedNodes=1444 nbRestartNogoods=170 140.78 => wckTime=80.038 cpuTime=79.89 mem=23M360 223.14 223.14 search 223.14 run=2 nbConstraintChecks=157109168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1739 223.14 nbFailedAssignments=880 nbBacktracks=47 nbVisitedNodes=2667 nbRestartNogoods=347 223.14 => wckTime=162.401 cpuTime=162.16 mem=23M360 344.77 344.77 search 344.77 run=3 nbConstraintChecks=254563933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2636 344.77 nbFailedAssignments=1532 nbBacktracks=80 nbVisitedNodes=4249 nbRestartNogoods=446 344.77 => wckTime=284.026 cpuTime=283.65 mem=23M360 390.66 390.66 search 390.66 run=4 nbConstraintChecks=296876736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3152 390.66 nbFailedAssignments=1701 nbBacktracks=130 nbVisitedNodes=4984 nbRestartNogoods=566 390.66 => wckTime=329.917 cpuTime=329.49 mem=23M360 455.25 455.25 search 455.25 run=5 nbConstraintChecks=339973279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3630 455.25 nbFailedAssignments=1875 nbBacktracks=205 nbVisitedNodes=5711 nbRestartNogoods=689 455.25 => wckTime=394.514 cpuTime=394.0 mem=24M333 539.29 539.29 search 539.29 run=6 nbConstraintChecks=398817704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4292 539.29 nbFailedAssignments=2125 nbBacktracks=318 nbVisitedNodes=6736 nbRestartNogoods=771 539.29 => wckTime=478.552 cpuTime=477.96 mem=24M333 656.26 656.26 search 656.26 run=7 nbConstraintChecks=467372444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5032 656.26 nbFailedAssignments=2396 nbBacktracks=488 nbVisitedNodes=7917 nbRestartNogoods=891 656.26 => wckTime=595.516 cpuTime=594.79 mem=24M333 846.81 846.81 search 846.81 run=8 nbConstraintChecks=600884920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6373 846.81 nbFailedAssignments=3185 nbBacktracks=744 nbVisitedNodes=10303 nbRestartNogoods=978 846.81 => wckTime=786.067 cpuTime=785.15 mem=24M333 1099.70 1099.70 search 1099.70 run=9 nbConstraintChecks=735047621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7664 1099.70 nbFailedAssignments=3824 nbBacktracks=1128 nbVisitedNodes=12617 nbRestartNogoods=1116 1099.70 => wckTime=1038.963 cpuTime=1037.74 mem=24M333 1605.81 1605.81 search 1605.81 run=10 nbConstraintChecks=1014358958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10250 1605.81 nbFailedAssignments=5764 nbBacktracks=1704 nbVisitedNodes=17692 nbRestartNogoods=1193 1605.81 => wckTime=1545.068 cpuTime=1543.26 mem=24M333 2161.36 2161.36 search 2161.36 run=11 nbConstraintChecks=1488881543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14627 2161.36 nbFailedAssignments=8991 nbBacktracks=2568 nbVisitedNodes=26160 nbRestartNogoods=1217 2161.36 => wckTime=2100.617 cpuTime=2098.23 mem=24M333 2402.82 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/node33/watcher-275151-1169217776 -o ROOT/results/node33/solver-275151-1169217776 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275151-1169217776/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.93 1.99 1.92 4/81 20907 /proc/meminfo: memFree=1565136/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=1788 CPUtime=0 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 270171453 1830912 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/20906/statm: 447 159 123 14 0 92 0 [startup+0.107594 s] /proc/loadavg: 1.93 1.99 1.92 4/81 20907 /proc/meminfo: memFree=1565136/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=914988 CPUtime=0.09 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 3122 0 1 0 8 1 0 0 23 0 8 0 270171453 936947712 2868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228747 2868 1470 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.515677 s] /proc/loadavg: 1.93 1.99 1.92 4/81 20907 /proc/meminfo: memFree=1565136/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915332 CPUtime=0.45 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 6467 0 11 0 41 4 0 0 23 0 8 0 270171453 937299968 6216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228833 6217 2149 14 0 215303 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 915332 [startup+1.34585 s] /proc/loadavg: 1.93 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1526168/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=1.28 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 12836 0 11 0 104 24 0 0 25 0 8 0 270171453 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073909012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12583 2494 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 861 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.2 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 438 0 0 0 20 0 0 0 15 0 8 0 270171460 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 915728 [startup+2.98619 s] /proc/loadavg: 1.93 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1521304/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2.91 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 12849 0 11 0 263 28 0 0 25 0 8 0 270171453 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073922372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12595 2496 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 861 0 0 0 6 0 0 0 17 0 8 0 270171456 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.22 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 450 0 0 0 22 0 0 0 15 0 8 0 270171460 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12595 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 915728 [startup+6.28388 s] /proc/loadavg: 1.93 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1521112/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=6.17 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 12850 0 11 0 586 31 0 0 25 0 8 0 270171453 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073903209 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12596 2496 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 861 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.22 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 451 0 0 0 22 0 0 0 15 0 8 0 270171460 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 915728 [startup+12.7682 s] /proc/loadavg: 1.94 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1520984/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=12.65 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 12851 0 11 0 1229 36 0 0 25 0 8 0 270171453 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073903265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12597 2496 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 861 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915732 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937709568 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.22 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 452 0 0 0 22 0 0 0 16 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 915728 [startup+25.6309 s] /proc/loadavg: 1.95 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1521112/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=25.51 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 12851 0 11 0 2504 47 0 0 25 0 8 0 270171453 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073903270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12597 2496 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 861 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.22 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 452 0 0 0 22 0 0 0 16 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.51 Current children cumulated vsize (KiB) 915728 [startup+51.2673 s] /proc/loadavg: 1.97 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1521112/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=51.11 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 12851 0 11 0 5043 68 0 0 25 0 8 0 270171453 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073903189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12597 2496 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 861 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.22 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 452 0 0 0 22 0 0 0 16 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.11 Current children cumulated vsize (KiB) 915728 [startup+102.53 s] /proc/loadavg: 1.98 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1520984/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=102.32 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13004 0 11 0 10155 77 0 0 25 0 8 0 270171453 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074079484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12743 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.32 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 508 0 0 0 31 1 0 0 15 0 8 0 270171460 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 915728 [startup+162.535 s] /proc/loadavg: 1.99 1.99 1.92 3/88 20914 /proc/meminfo: memFree=1520920/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=162.27 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13012 0 11 0 16150 77 0 0 25 0 8 0 270171453 937705472 12748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074072278 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2020.95 Current children cumulated vsize (KiB) 915728 [startup+2083.27 s] /proc/loadavg: 2.01 2.02 1.98 3/88 21112 /proc/meminfo: memFree=1520280/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2080.87 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13036 0 11 0 207994 93 0 0 25 0 8 0 270171453 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12759 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.35 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2080.87 Current children cumulated vsize (KiB) 915728 [startup+2143.28 s] /proc/loadavg: 2.03 2.03 1.98 3/88 21112 /proc/meminfo: memFree=1520280/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2140.83 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13036 0 11 0 213989 94 0 0 25 0 8 0 270171453 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12759 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.35 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2140.83 Current children cumulated vsize (KiB) 915728 [startup+2203.29 s] /proc/loadavg: 2.01 2.02 1.98 3/88 21112 /proc/meminfo: memFree=1520280/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2200.79 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13037 0 11 0 219985 94 0 0 25 0 8 0 270171453 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12760 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.35 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2200.79 Current children cumulated vsize (KiB) 915728 [startup+2263.34 s] /proc/loadavg: 2.00 2.02 1.98 3/88 21112 /proc/meminfo: memFree=1520216/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2260.75 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13037 0 11 0 225981 94 0 0 25 0 8 0 270171453 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073902208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12760 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.35 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2260.75 Current children cumulated vsize (KiB) 915728 [startup+2323.35 s] /proc/loadavg: 2.00 2.01 1.98 3/88 21112 /proc/meminfo: memFree=1520280/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2320.7 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13037 0 11 0 231976 94 0 0 25 0 8 0 270171453 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12760 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.35 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2320.7 Current children cumulated vsize (KiB) 915728 [startup+2383.36 s] /proc/loadavg: 2.07 2.02 1.99 3/88 21114 /proc/meminfo: memFree=1520024/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2380.65 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13037 0 11 0 237971 94 0 0 25 0 8 0 270171453 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078900 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12760 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.35 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2380.65 Current children cumulated vsize (KiB) 915728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2402.81 s] /proc/loadavg: 2.05 2.02 1.99 3/88 21114 /proc/meminfo: memFree=1520024/2055920 swapFree=4192224/4192956 [pid=20906] ppid=20904 vsize=915728 CPUtime=2400.07 /proc/20906/stat : 20906 (java) R 20904 20906 20647 0 -1 0 13037 0 11 0 239913 94 0 0 25 0 8 0 270171453 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/20906/statm: 228932 12760 2544 14 0 215402 0 [pid=20906/tid=20908] ppid=20904 vsize=915728 CPUtime=0.06 /proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20647 0 -1 64 862 0 0 0 6 0 0 0 16 0 8 0 270171456 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20909] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20910] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270171457 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20911] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20647 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20912] ppid=20904 vsize=915728 CPUtime=0.35 /proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20647 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20913] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20906/tid=20914] ppid=20904 vsize=915728 CPUtime=0 /proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270171460 937705472 12760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 915728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2402.87 CPU time (s): 2400.14 CPU user time (s): 2399.18 CPU system time (s): 0.955854 CPU usage (%): 99.8862 Max. virtual memory (cumulated for all children) (KiB): 915768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.18 system time used= 0.955854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13061 page faults= 11 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50264 involuntary context switches= 58728 runsolver used 2.95255 s user time and 7.95079 s system time The end
Begin job on node33 on Fri Jan 19 14:42:56 UTC 2007 IDJOB= 275151 IDBENCH= 3579 IDSOLVER= 69 FILE ID= node33/275151-1169217776 PBS_JOBID= 3589128 Free space on /tmp= 66562 MiB SOLVER NAME= AbsconMax 109 PFC 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 pfc.xml 1 XSax /tmp/evaluation/275151-1169217776/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-275151-1169217776 -o ROOT/results/node33/solver-275151-1169217776 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275151-1169217776/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= e4658453aeec06ccf8a04dbfac7676d7 RANDOM SEED= 723394301 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.281 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.281 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: 1565616 kB Buffers: 41644 kB Cached: 309852 kB SwapCached: 268 kB Active: 184564 kB Inactive: 237116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1565616 kB SwapTotal: 4192956 kB SwapFree: 4192224 kB Dirty: 3288 kB Writeback: 0 kB Mapped: 87680 kB Slab: 53840 kB Committed_AS: 4390272 kB PageTables: 1952 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 node33 on Fri Jan 19 15:22:59 UTC 2007