Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 353 | 2520.07 | 2494.12 |
| Name | SumColoring/ SumColoring-myciel6_c18.xml |
| MD5SUM | 12e75aa9ea5684230fdaa5ddf97691cc |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 98 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 95 |
| Number of constraints | 755 |
| Number of domains | 1 |
| Minimum domain size | 95 |
| Maximum domain size | 95 |
| Distribution of domain sizes | [{"size":95,"count":95}] |
| Minimum variable degree | 7 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":7,"count":5},{"degree":8,"count":5},{"degree":9,"count":6},{"degree":10,"count":5},{"degree":11,"count":10},{"degree":12,"count":5},{"degree":13,"count":6},{"degree":14,"count":7},{"degree":15,"count":6},{"degree":17,"count":5},{"degree":18,"count":5},{"degree":19,"count":5},{"degree":21,"count":5},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":25,"count":8},{"degree":33,"count":5},{"degree":41,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":755}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 755 |
| Distribution of constraint types | [{"type":"intension","count":755}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-08-14 0.68/0.55 c seed: 483729080 0.68/0.56 c timeout: 2520 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 2.07/1.24 c Parsing done, starting search... 2.32/1.34 o 4632 2.32/1.35 o 4629 2.32/1.35 o 4628 2.32/1.35 o 4624 2.32/1.35 o 4623 2.32/1.36 o 4622 2.32/1.36 o 4614 2.32/1.36 o 4613 2.32/1.36 o 4609 2.32/1.36 o 4608 2.32/1.36 o 4607 2.32/1.36 o 4590 2.32/1.36 o 4589 2.32/1.36 o 4586 2.32/1.36 o 4545 2.32/1.36 o 4524 2.32/1.36 o 4518 2.32/1.36 o 4516 2.32/1.36 o 4515 2.32/1.37 o 4514 2.32/1.37 o 4507 2.32/1.37 o 4497 2.32/1.37 o 4496 2.32/1.37 o 4495 2.32/1.37 o 4486 2.32/1.37 o 4467 2.32/1.37 o 4466 2.32/1.37 o 4461 2.32/1.37 o 4460 2.32/1.38 o 4458 2.32/1.38 o 4457 2.32/1.38 o 4454 2.32/1.38 o 4453 2.32/1.38 o 4452 2.32/1.38 o 4391 2.32/1.38 o 4390 2.32/1.38 o 4389 2.32/1.38 o 4388 2.32/1.38 o 4387 2.32/1.38 o 4386 2.32/1.38 o 4382 2.32/1.38 o 4381 2.32/1.38 o 4379 2.32/1.38 o 4378 2.32/1.38 o 4377 2.32/1.38 o 4376 2.32/1.39 o 4371 2.32/1.39 o 4362 2.32/1.39 o 4361 2.32/1.39 o 4360 2.32/1.39 o 4359 2.32/1.39 o 4358 2.32/1.39 o 4355 2.32/1.39 o 4331 2.32/1.39 o 4321 2.32/1.39 o 4320 2.32/1.39 o 4318 2.32/1.40 o 4317 2.65/1.40 o 4316 2.65/1.40 o 4292 2.65/1.40 o 4290 2.65/1.40 o 4289 2.65/1.40 o 4288 2.65/1.40 o 4286 2.65/1.40 o 4285 2.65/1.40 o 4275 2.65/1.40 o 4253 2.65/1.41 o 4243 2.65/1.41 o 4235 2.65/1.41 o 4234 2.65/1.41 o 4233 2.65/1.41 o 4232 2.65/1.41 o 4224 2.65/1.41 o 4221 2.65/1.41 o 4220 2.65/1.42 o 4219 2.65/1.42 o 4218 2.65/1.42 o 4217 2.65/1.42 o 4216 2.65/1.42 o 4215 2.65/1.42 o 4214 2.65/1.43 o 4213 2.65/1.43 o 4211 2.65/1.43 o 4185 2.65/1.43 o 4180 2.65/1.43 o 4166 2.65/1.43 o 4161 2.65/1.43 o 4159 2.65/1.43 o 4158 2.65/1.43 o 4157 2.65/1.43 o 4156 2.65/1.44 o 4155 2.65/1.44 o 4153 2.65/1.44 o 4152 2.65/1.44 o 4151 2.65/1.44 o 4150 2.65/1.44 o 4149 2.65/1.44 o 4148 2.65/1.44 o 4147 2.65/1.44 o 4146 2.65/1.44 o 4145 2.65/1.45 o 4144 2.65/1.45 o 4143 2.65/1.45 o 4142 2.65/1.45 o 4141 2.65/1.45 o 4139 2.65/1.46 o 4138 2.65/1.46 o 4137 2.65/1.46 o 4129 2.65/1.46 o 4127 2.65/1.47 o 4126 2.65/1.47 o 4124 2.65/1.47 o 4123 2.65/1.47 o 4096 2.65/1.47 o 4093 2.65/1.47 o 4092 2.65/1.47 o 4083 2.65/1.47 o 4082 2.65/1.47 o 4081 2.65/1.47 o 4080 2.65/1.47 o 4079 2.65/1.47 o 4054 2.65/1.47 o 4053 2.65/1.47 o 4052 2.65/1.47 o 4048 2.65/1.48 o 4047 2.65/1.48 o 4046 2.65/1.48 o 4045 2.65/1.48 o 4033 2.65/1.48 o 4023 2.65/1.48 o 4021 2.65/1.48 o 3992 2.65/1.48 o 3990 2.65/1.48 o 3989 2.65/1.48 o 3988 2.65/1.48 o 3987 2.65/1.49 o 3986 2.65/1.49 o 3976 2.65/1.49 o 3975 2.65/1.49 o 3964 2.65/1.49 o 3963 2.65/1.50 o 3954 2.65/1.50 o 3953 2.98/1.50 o 3946 2.98/1.50 o 3945 2.98/1.50 o 3941 2.98/1.50 o 3939 2.98/1.50 o 3937 2.98/1.50 o 3936 2.98/1.50 o 3935 2.98/1.50 o 3934 2.98/1.50 o 3925 2.98/1.50 o 3923 2.98/1.50 o 3922 2.98/1.50 o 3921 2.98/1.50 o 3920 2.98/1.50 o 3919 2.98/1.50 o 3918 2.98/1.50 o 3916 2.98/1.51 o 3915 2.98/1.51 o 3913 2.98/1.51 o 3912 2.98/1.51 o 3911 2.98/1.51 o 3910 2.98/1.51 o 3909 2.98/1.51 o 3908 2.98/1.53 o 3907 2.98/1.53 o 3890 2.98/1.53 o 3889 2.98/1.53 o 3888 2.98/1.53 o 3882 2.98/1.53 o 3881 2.98/1.53 o 3880 2.98/1.53 o 3879 2.98/1.54 o 3876 2.98/1.54 o 3875 2.98/1.54 o 3874 2.98/1.54 o 3873 2.98/1.54 o 3872 2.98/1.54 o 3871 2.98/1.54 o 3867 2.98/1.54 o 3864 2.98/1.54 o 3861 2.98/1.54 o 3860 2.98/1.54 o 3859 2.98/1.54 o 3850 2.98/1.54 o 3849 2.98/1.54 o 3848 2.98/1.54 o 3847 2.98/1.54 o 3846 2.98/1.54 o 3845 2.98/1.54 o 3844 2.98/1.54 o 3843 2.98/1.54 o 3842 2.98/1.54 o 3841 2.98/1.55 o 3840 2.98/1.55 o 3839 2.98/1.56 o 3838 2.98/1.56 o 3837 2.98/1.58 o 3836 3.29/1.60 o 3822 3.29/1.60 o 3821 3.29/1.60 o 3820 3.29/1.60 o 3819 3.29/1.60 o 3818 3.29/1.60 o 3816 3.29/1.60 o 3815 3.29/1.60 o 3814 3.29/1.60 o 3813 3.29/1.60 o 3812 3.29/1.60 o 3811 3.29/1.60 o 3810 3.29/1.60 o 3809 3.29/1.60 o 3808 3.29/1.60 o 3807 3.29/1.60 o 3806 3.29/1.60 o 3805 3.29/1.60 o 3804 3.29/1.61 o 3803 3.29/1.61 o 3802 3.29/1.61 o 3801 3.29/1.64 o 3800 3.29/1.64 o 3799 3.29/1.67 o 3798 3.29/1.68 o 3797 3.58/1.71 o 3796 3.58/1.77 o 3795 3.75/1.80 o 3794 3.87/1.90 o 3793 3.87/1.90 o 3792 3.87/1.90 o 3790 3.87/1.90 o 3789 3.87/1.90 o 3788 3.87/1.90 o 3787 3.87/1.90 o 3784 3.87/1.90 o 3783 3.87/1.90 o 3782 3.87/1.90 o 3781 3.87/1.90 o 3778 3.87/1.90 o 3771 3.87/1.90 o 3770 3.87/1.90 o 3769 3.87/1.90 o 3757 3.87/1.90 o 3756 3.87/1.90 o 3755 3.87/1.90 o 3745 3.87/1.90 o 3743 3.87/1.90 o 3739 3.87/1.90 o 3738 3.87/1.90 o 3737 3.87/1.90 o 3736 3.87/1.90 o 3735 3.87/1.90 o 3734 3.87/1.90 o 3733 3.87/1.91 o 3732 3.87/1.91 o 3731 3.87/1.91 o 3722 3.87/1.91 o 3719 3.87/1.91 o 3718 3.87/1.91 o 3717 3.87/1.91 o 3716 3.87/1.91 o 3715 3.87/1.91 o 3714 3.87/1.91 o 3713 3.87/1.91 o 3712 3.87/1.91 o 3711 3.87/1.92 o 3710 3.87/1.92 o 3709 3.87/1.93 o 3708 3.87/1.95 o 3707 3.87/1.95 o 3706 3.87/1.95 o 3705 3.87/2.00 o 3704 4.17/2.14 o 3703 4.17/2.14 o 3702 4.17/2.14 o 3701 4.17/2.14 o 3700 4.17/2.14 o 3699 4.17/2.14 o 3698 4.17/2.14 o 3697 4.17/2.14 o 3696 4.17/2.14 o 3694 4.17/2.14 o 3693 4.17/2.14 o 3690 4.17/2.14 o 3689 4.17/2.14 o 3688 4.17/2.14 o 3685 4.17/2.14 o 3684 4.17/2.14 o 3679 4.17/2.14 o 3674 4.17/2.14 o 3671 4.17/2.14 o 3670 4.17/2.14 o 3663 4.17/2.14 o 3662 4.17/2.14 o 3660 4.17/2.14 o 3659 4.17/2.14 o 3658 4.17/2.14 o 3657 4.17/2.14 o 3656 4.17/2.14 o 3655 4.17/2.14 o 3654 4.17/2.14 o 3653 4.17/2.14 o 3652 4.17/2.15 o 3651 4.17/2.15 o 3650 4.17/2.15 o 3649 4.17/2.15 o 3648 4.39/2.30 o 3641 4.39/2.30 o 3639 4.39/2.30 o 3638 4.39/2.30 o 3637 4.39/2.30 o 3636 4.39/2.30 o 3635 4.39/2.30 o 3634 4.39/2.30 o 3633 4.39/2.31 o 3632 4.39/2.31 o 3631 4.39/2.31 o 3630 4.39/2.31 o 3629 4.39/2.31 o 3628 4.39/2.33 o 3627 4.39/2.34 o 3626 4.39/2.34 o 3625 4.39/2.34 o 3624 4.39/2.34 o 3622 4.39/2.34 o 3621 4.39/2.34 o 3620 4.39/2.34 o 3619 4.39/2.34 o 3618 4.39/2.34 o 3617 4.39/2.34 o 3616 4.39/2.34 o 3615 4.39/2.34 o 3614 4.39/2.34 o 3613 4.39/2.34 o 3612 4.39/2.34 o 3611 4.39/2.35 o 3610 4.39/2.35 o 3609 4.39/2.35 o 3608 4.39/2.35 o 3607 4.39/2.35 o 3606 4.39/2.35 o 3605 4.39/2.35 o 3604 4.39/2.35 o 3603 4.39/2.35 o 3602 4.39/2.35 o 3601 4.39/2.35 o 3600 4.39/2.35 o 3599 4.39/2.35 o 3598 4.39/2.35 o 3597 4.39/2.35 o 3596 4.39/2.35 o 3595 4.39/2.35 o 3594 4.39/2.35 o 3593 4.39/2.35 o 3592 4.39/2.35 o 3591 4.39/2.35 o 3590 4.39/2.36 o 3589 4.39/2.36 o 3588 4.39/2.36 o 3587 4.39/2.36 o 3586 4.39/2.36 o 3585 4.39/2.36 o 3584 4.39/2.37 o 3583 4.39/2.37 o 3582 4.39/2.37 o 3581 4.39/2.37 o 3580 4.39/2.37 o 3579 4.39/2.37 o 3578 4.39/2.37 o 3577 4.39/2.37 o 3576 4.39/2.37 o 3575 4.39/2.37 o 3571 4.39/2.37 o 3570 4.39/2.37 o 3569 4.39/2.37 o 3568 4.39/2.37 o 3567 4.39/2.37 o 3566 4.39/2.37 o 3565 4.39/2.37 o 3564 4.50/2.49 o 3563 5.75/3.64 o 3562 5.75/3.64 o 3561 5.75/3.64 o 3560 5.75/3.64 o 3559 5.75/3.64 o 3558 5.75/3.64 o 3557 5.75/3.65 o 3556 5.75/3.65 o 3555 5.75/3.65 o 3554 5.75/3.65 o 3553 5.75/3.65 o 3552 5.75/3.65 o 3551 5.75/3.65 o 3550 5.75/3.65 o 3549 5.75/3.65 o 3548 5.75/3.65 o 3547 5.75/3.66 o 3546 5.75/3.66 o 3541 5.75/3.66 o 3539 5.75/3.66 o 3538 5.75/3.66 o 3537 5.75/3.66 o 3536 5.75/3.66 o 3535 5.75/3.66 o 3534 5.75/3.66 o 3532 5.75/3.66 o 3531 5.75/3.66 o 3530 5.75/3.67 o 3528 5.75/3.67 o 3527 5.75/3.68 o 3525 5.75/3.69 o 3524 5.75/3.69 o 3523 5.85/3.72 o 3522 5.85/3.72 o 3520 5.85/3.72 o 3518 5.85/3.72 o 3516 5.85/3.72 o 3515 5.85/3.72 o 3513 5.85/3.72 o 3512 5.85/3.72 o 3511 5.85/3.73 o 3510 5.85/3.73 o 3509 5.85/3.74 o 3508 6.22/4.05 o 3507 6.22/4.05 o 3501 6.22/4.05 o 3500 6.22/4.05 o 3497 6.22/4.05 o 3496 6.22/4.05 o 3494 6.22/4.05 o 3493 6.22/4.05 o 3492 6.22/4.05 o 3491 6.22/4.05 o 3488 6.22/4.05 o 3487 6.22/4.05 o 3486 6.22/4.05 o 3473 6.22/4.05 o 3472 6.22/4.05 o 3467 6.22/4.05 o 3466 6.22/4.05 o 3457 6.22/4.05 o 3456 6.22/4.05 o 3455 6.22/4.05 o 3454 6.22/4.05 o 3453 6.22/4.05 o 3452 6.22/4.05 o 3451 6.22/4.06 o 3450 6.22/4.06 o 3449 6.22/4.06 o 3448 6.22/4.06 o 3447 6.22/4.06 o 3445 6.22/4.06 o 3444 6.22/4.07 o 3443 6.37/4.11 o 3442 6.37/4.18 o 3441 6.46/4.21 o 3440 6.46/4.21 o 3439 6.46/4.27 o 3438 6.46/4.28 o 3437 6.46/4.28 o 3436 6.76/4.50 o 3435 7.17/4.94 o 3434 7.17/4.94 o 3433 7.17/4.94 o 3431 7.17/4.94 o 3430 7.17/4.94 o 3429 7.17/4.94 o 3427 7.17/4.94 o 3426 7.17/4.94 o 3425 7.17/4.94 o 3424 7.17/4.94 o 3423 7.17/4.95 o 3422 7.17/4.95 o 3421 7.17/4.95 o 3420 7.17/4.95 o 3419 7.17/4.95 o 3418 7.17/4.95 o 3417 7.17/4.96 o 3415 7.17/4.96 o 3412 7.17/4.96 o 3407 7.17/4.96 o 3406 7.17/4.96 o 3405 7.17/4.96 o 3404 7.17/4.96 o 3400 7.17/4.96 o 3399 7.17/4.96 o 3398 7.17/4.96 o 3397 7.17/4.96 o 3396 7.17/4.96 o 3372 7.17/4.96 o 3370 7.17/4.96 o 3369 7.17/4.96 o 3368 7.17/4.97 o 3364 7.17/4.97 o 3363 7.17/4.97 o 3362 7.17/4.97 o 3361 7.17/4.97 o 3360 7.17/4.97 o 3358 7.17/5.00 o 3357 7.17/5.00 o 3356 7.17/5.00 o 3355 7.28/5.10 o 3354 7.38/5.11 o 3353 7.47/5.27 o 3352 7.58/5.37 o 3351 8.58/6.37 o 3350 8.58/6.37 o 3349 8.58/6.37 o 3346 8.58/6.37 o 3345 8.58/6.38 o 3344 8.69/6.41 o 3343 8.69/6.43 o 3342 8.69/6.47 o 3340 8.80/6.57 o 3339 8.80/6.57 o 3338 8.80/6.58 o 3337 8.80/6.58 o 3336 8.90/6.65 o 3333 8.90/6.65 o 3332 8.90/6.65 o 3329 8.90/6.65 o 3328 8.90/6.65 o 3326 8.90/6.65 o 3324 8.90/6.65 o 3323 8.90/6.65 o 3322 8.90/6.65 o 3321 8.90/6.65 o 3308 8.90/6.65 o 3297 8.90/6.65 o 3295 8.90/6.66 o 3293 8.90/6.66 o 3292 8.90/6.66 o 3291 8.90/6.66 o 3290 8.90/6.66 o 3289 8.90/6.66 o 3288 8.90/6.66 o 3287 8.90/6.66 o 3286 8.90/6.66 o 3285 8.90/6.66 o 3284 8.90/6.66 o 3283 8.90/6.66 o 3282 8.90/6.66 o 3281 8.90/6.67 o 3280 9.31/7.03 o 3279 9.31/7.03 o 3278 9.51/7.21 o 3277 9.51/7.21 o 3275 9.51/7.21 o 3273 9.51/7.21 o 3272 9.51/7.21 o 3270 9.51/7.21 o 3269 9.51/7.21 o 3266 9.51/7.21 o 3261 9.51/7.21 o 3256 9.51/7.21 o 3253 9.51/7.21 o 3250 9.51/7.21 o 3243 9.51/7.21 o 3237 9.51/7.21 o 3235 9.51/7.21 o 3234 9.51/7.21 o 3231 9.51/7.22 o 3230 9.51/7.22 o 3229 9.51/7.22 o 3228 9.51/7.23 o 3227 9.51/7.26 o 3226 9.51/7.26 o 3225 9.51/7.26 o 3224 9.51/7.27 o 3223 9.51/7.28 o 3222 10.01/7.62 o 3221 10.01/7.70 o 3220 10.11/7.70 o 3219 10.11/7.70 o 3218 10.11/7.70 o 3217 10.11/7.70 o 3216 10.11/7.70 o 3214 10.11/7.70 o 3213 10.11/7.70 o 3212 10.11/7.70 o 3208 10.11/7.70 o 3207 10.11/7.70 o 3206 10.11/7.70 o 3205 10.11/7.70 o 3204 10.11/7.70 o 3203 10.11/7.70 o 3202 10.11/7.70 o 3201 10.11/7.71 o 3200 10.11/7.72 o 3199 10.11/7.72 o 3198 10.11/7.75 o 3197 10.11/7.75 o 3196 10.11/7.76 o 3195 10.11/7.77 o 3194 10.11/7.77 o 3193 10.11/7.78 o 3192 10.11/7.78 o 3191 10.11/7.79 o 3190 10.11/7.79 o 3189 10.11/7.79 o 3188 10.42/8.08 o 3187 10.42/8.08 o 3186 10.42/8.08 o 3185 10.42/8.08 o 3184 10.42/8.08 o 3183 10.52/8.13 o 3178 10.52/8.13 o 3174 10.52/8.13 o 3171 10.52/8.13 o 3169 10.52/8.13 o 3168 10.52/8.13 o 3166 10.52/8.13 o 3164 10.52/8.13 o 3162 10.52/8.13 o 3161 10.52/8.13 o 3160 10.52/8.13 o 3159 10.52/8.13 o 3158 10.52/8.13 o 3157 10.52/8.13 o 3156 10.52/8.13 o 3155 10.52/8.13 o 3154 10.52/8.13 o 3153 10.52/8.13 o 3152 10.52/8.13 o 3151 10.52/8.13 o 3150 10.52/8.13 o 3149 10.52/8.13 o 3148 10.52/8.13 o 3147 10.52/8.13 o 3146 10.52/8.13 o 3145 10.52/8.13 o 3143 10.52/8.13 o 3142 10.52/8.13 o 3141 10.52/8.14 o 3140 10.52/8.14 o 3139 10.52/8.14 o 3138 10.52/8.15 o 3137 10.52/8.15 o 3136 10.52/8.15 o 3135 10.52/8.16 o 3134 10.52/8.16 o 3133 10.65/8.25 o 3132 10.65/8.28 o 3131 10.65/8.28 o 3130 10.65/8.29 o 3129 10.75/8.32 o 3128 11.47/9.03 o 3127 11.66/9.23 o 3126 11.76/9.37 o 3125 11.76/9.37 o 3124 11.76/9.37 o 3123 11.76/9.37 o 3122 11.76/9.38 o 3121 11.76/9.38 o 3120 11.76/9.38 o 3119 11.76/9.38 o 3118 11.76/9.38 o 3117 11.76/9.38 o 3116 11.76/9.38 o 3114 11.76/9.38 o 3113 11.76/9.38 o 3112 11.88/9.41 o 3111 11.88/9.43 o 3110 12.07/9.54 o 3109 12.07/9.54 o 3108 12.07/9.58 o 3107 12.07/9.58 o 3106 12.07/9.58 o 3105 12.07/9.59 o 3104 12.17/9.62 o 3103 12.37/9.84 o 3102 12.77/10.29 o 3101 12.77/10.29 o 3100 12.77/10.29 o 3099 12.77/10.29 o 3098 12.77/10.29 o 3097 12.77/10.29 o 3095 12.77/10.29 o 3094 12.77/10.29 o 3093 12.77/10.29 o 3092 12.77/10.30 o 3091 12.77/10.30 o 3090 12.77/10.30 o 3089 12.77/10.30 o 3088 12.77/10.30 o 3078 12.87/10.30 o 3077 12.87/10.30 o 3076 12.87/10.30 o 3072 12.87/10.30 o 3071 12.87/10.30 o 3070 12.87/10.30 o 3069 12.87/10.30 o 3068 12.87/10.30 o 3067 12.87/10.30 o 3066 12.87/10.30 o 3065 12.87/10.30 o 3064 12.87/10.30 o 3063 12.87/10.30 o 3062 12.87/10.30 o 3061 12.87/10.31 o 3060 12.87/10.31 o 3059 12.87/10.31 o 3058 12.87/10.33 o 3057 12.87/10.33 o 3056 12.87/10.33 o 3055 12.87/10.33 o 3054 12.87/10.33 o 3053 12.87/10.34 o 3052 12.87/10.35 o 3051 12.87/10.35 o 3050 12.97/10.40 o 3049 12.97/10.42 o 3048 12.97/10.42 o 3047 12.97/10.42 o 3046 12.97/10.42 o 3045 13.18/10.62 o 3044 13.18/10.62 o 3043 13.18/10.62 o 3042 13.18/10.62 o 3041 13.18/10.62 o 3040 13.18/10.62 o 3039 13.18/10.62 o 3037 13.18/10.62 o 3009 13.18/10.62 o 3005 13.18/10.62 o 3002 13.18/10.62 o 3000 13.18/10.62 o 2999 13.18/10.62 o 2998 13.18/10.62 o 2997 13.18/10.62 o 2996 13.18/10.62 o 2995 13.18/10.62 o 2994 13.18/10.62 o 2992 13.18/10.62 o 2991 13.18/10.62 o 2990 13.18/10.62 o 2989 13.18/10.62 o 2988 13.18/10.62 o 2987 13.18/10.62 o 2986 13.18/10.62 o 2985 13.18/10.63 o 2984 13.18/10.63 o 2983 13.18/10.63 o 2982 13.18/10.65 o 2981 13.18/10.65 o 2980 13.48/10.91 o 2979 13.69/11.14 o 2978 13.78/11.21 o 2977 13.88/11.34 o 2976 13.88/11.34 o 2975 13.88/11.34 o 2974 13.88/11.34 o 2973 13.88/11.34 o 2972 13.88/11.34 o 2971 13.88/11.34 o 2970 13.88/11.34 o 2969 13.88/11.34 o 2968 13.88/11.34 o 2967 13.88/11.34 o 2966 13.88/11.34 o 2965 13.88/11.34 o 2964 13.88/11.34 o 2963 13.88/11.34 o 2962 13.88/11.34 o 2961 13.88/11.34 o 2960 13.88/11.34 o 2959 13.88/11.34 o 2958 13.88/11.34 o 2957 13.88/11.34 o 2956 13.88/11.34 o 2955 13.88/11.34 o 2954 13.88/11.34 o 2953 13.88/11.34 o 2952 13.88/11.34 o 2951 13.88/11.34 o 2950 13.88/11.34 o 2949 13.88/11.34 o 2948 13.88/11.34 o 2947 13.88/11.34 o 2946 13.88/11.34 o 2945 13.88/11.34 o 2944 13.88/11.34 o 2943 13.88/11.35 o 2942 13.88/11.35 o 2941 13.88/11.35 o 2940 13.99/11.41 o 2939 13.99/11.41 o 2938 13.99/11.42 o 2937 13.99/11.42 o 2936 13.99/11.46 o 2935 14.09/11.52 o 2934 14.79/12.26 o 2933 14.79/12.26 o 2932 14.79/12.26 o 2927 14.79/12.26 o 2925 14.79/12.26 o 2923 14.79/12.26 o 2922 14.79/12.26 o 2921 14.79/12.26 o 2920 14.79/12.26 o 2919 14.79/12.26 o 2918 14.79/12.26 o 2917 14.79/12.26 o 2916 14.79/12.26 o 2915 14.79/12.26 o 2914 14.79/12.26 o 2913 14.79/12.26 o 2912 14.79/12.26 o 2911 14.79/12.26 o 2910 14.79/12.26 o 2909 14.79/12.26 o 2897 14.79/12.26 o 2896 14.79/12.26 o 2895 14.79/12.26 o 2894 14.79/12.26 o 2893 14.79/12.26 o 2892 14.79/12.26 o 2891 14.79/12.26 o 2890 14.79/12.26 o 2881 14.79/12.26 o 2880 14.79/12.26 o 2879 14.79/12.26 o 2878 14.79/12.26 o 2877 14.79/12.26 o 2876 14.79/12.26 o 2875 14.79/12.26 o 2874 14.79/12.26 o 2873 14.79/12.26 o 2872 14.89/12.30 o 2871 14.89/12.34 o 2870 14.89/12.34 o 2869 14.89/12.34 o 2868 14.89/12.34 o 2866 14.89/12.34 o 2865 14.89/12.34 o 2864 14.89/12.36 o 2862 14.89/12.39 o 2861 15.29/12.83 o 2860 15.29/12.83 o 2859 15.29/12.83 o 2858 15.29/12.83 o 2857 15.29/12.83 o 2855 15.29/12.83 o 2854 15.29/12.83 o 2853 15.29/12.83 o 2852 15.29/12.83 o 2850 15.29/12.83 o 2849 15.29/12.83 o 2848 15.29/12.83 o 2847 15.29/12.83 o 2846 15.29/12.83 o 2845 15.29/12.83 o 2843 15.29/12.83 o 2842 15.29/12.83 o 2841 15.29/12.84 o 2840 15.29/12.84 o 2839 15.44/12.85 o 2838 15.49/12.90 o 2837 15.49/12.90 o 2836 15.49/12.91 o 2835 15.60/13.06 o 2834 15.60/13.06 o 2832 15.60/13.06 o 2831 15.60/13.06 o 2830 15.60/13.06 o 2829 15.60/13.06 o 2812 15.60/13.06 o 2811 15.60/13.06 o 2810 15.60/13.07 o 2809 15.60/13.07 o 2791 15.60/13.07 o 2790 15.60/13.07 o 2789 15.60/13.07 o 2788 15.60/13.07 o 2787 15.60/13.07 o 2786 15.60/13.07 o 2785 15.60/13.07 o 2784 15.60/13.07 o 2783 15.60/13.07 o 2782 15.60/13.07 o 2781 15.60/13.07 o 2780 15.60/13.07 o 2779 15.60/13.08 o 2778 15.60/13.08 o 2777 15.60/13.08 o 2776 15.79/13.21 o 2775 15.79/13.21 o 2774 15.79/13.22 o 2773 15.79/13.22 o 2772 15.79/13.22 o 2771 15.79/13.22 o 2770 15.79/13.22 o 2769 15.79/13.22 o 2768 15.79/13.22 o 2767 15.79/13.22 o 2766 15.79/13.22 o 2765 15.79/13.22 o 2764 15.79/13.22 o 2763 15.79/13.22 o 2762 15.79/13.22 o 2761 16.00/13.41 o 2760 16.00/13.49 o 2759 16.10/13.50 o 2758 16.10/13.52 o 2757 16.20/13.68 o 2756 16.20/13.68 o 2755 16.20/13.68 o 2754 16.20/13.68 o 2753 16.20/13.68 o 2751 16.20/13.68 o 2750 16.20/13.68 o 2749 16.20/13.68 o 2742 16.20/13.68 o 2741 16.20/13.69 o 2734 16.20/13.69 o 2733 16.20/13.69 o 2732 16.20/13.69 o 2731 16.20/13.69 o 2730 16.20/13.69 o 2729 16.20/13.69 o 2726 16.20/13.69 o 2725 16.20/13.69 o 2706 16.20/13.69 o 2705 16.20/13.69 o 2701 16.20/13.69 o 2700 16.20/13.69 o 2697 16.20/13.69 o 2696 16.20/13.69 o 2695 16.20/13.69 o 2694 16.20/13.69 o 2693 16.20/13.69 o 2692 16.30/13.70 o 2691 16.30/13.70 o 2690 16.30/13.70 o 2689 16.30/13.71 o 2688 16.40/13.85 o 2687 16.40/13.86 o 2686 16.50/13.90 o 2685 16.50/13.91 o 2684 16.50/13.98 o 2683 16.61/14.04 o 2682 16.61/14.05 o 2681 16.61/14.05 o 2680 16.61/14.05 o 2679 16.61/14.05 o 2678 16.61/14.05 o 2677 16.61/14.05 o 2668 16.61/14.05 o 2666 16.61/14.05 o 2665 16.61/14.05 o 2664 16.61/14.05 o 2663 16.61/14.05 o 2662 16.61/14.05 o 2661 16.61/14.05 o 2660 16.61/14.05 o 2659 16.61/14.05 o 2658 16.61/14.05 o 2657 16.61/14.06 o 2656 16.61/14.06 o 2655 16.61/14.06 o 2654 16.61/14.06 o 2653 16.61/14.06 o 2652 16.61/14.07 o 2651 16.61/14.08 o 2644 16.61/14.08 o 2643 16.61/14.08 o 2642 16.61/14.08 o 2632 16.61/14.08 o 2620 16.61/14.08 o 2611 16.61/14.08 o 2606 16.61/14.08 o 2605 16.61/14.08 o 2602 16.61/14.08 o 2601 16.61/14.08 o 2600 16.61/14.08 o 2599 16.61/14.08 o 2598 16.61/14.08 o 2597 16.61/14.08 o 2594 16.61/14.08 o 2593 16.61/14.08 o 2592 16.61/14.08 o 2591 16.61/14.08 o 2590 16.61/14.08 o 2589 16.61/14.08 o 2588 16.61/14.08 o 2586 16.61/14.08 o 2585 16.61/14.08 o 2584 16.61/14.09 o 2583 16.61/14.09 o 2582 16.61/14.09 o 2581 16.61/14.09 o 2580 16.80/14.24 o 2579 16.80/14.24 o 2578 16.80/14.29 o 2577 16.90/14.32 o 2576 17.00/14.40 o 2570 17.00/14.40 o 2569 17.00/14.40 o 2568 17.00/14.40 o 2567 17.00/14.40 o 2566 17.00/14.40 o 2564 17.00/14.40 o 2563 17.00/14.40 o 2549 17.00/14.40 o 2548 17.00/14.40 o 2545 17.00/14.40 o 2541 17.00/14.40 o 2536 17.00/14.40 o 2533 17.00/14.41 o 2532 17.00/14.41 o 2531 17.00/14.43 o 2530 17.00/14.45 o 2529 17.00/14.45 o 2528 17.20/14.60 o 2527 17.20/14.65 o 2526 17.20/14.69 o 2525 17.20/14.69 o 2524 17.30/14.73 o 2509 17.30/14.73 o 2504 17.30/14.73 o 2502 17.30/14.73 o 2499 17.30/14.73 o 2498 17.30/14.73 o 2497 17.30/14.73 o 2496 17.30/14.73 o 2495 17.30/14.73 o 2494 17.30/14.73 o 2493 18.93/16.39 o 2492 19.23/16.65 o 2491 19.23/16.65 o 2490 19.23/16.65 o 2489 19.23/16.65 o 2486 19.23/16.65 o 2485 19.23/16.65 o 2484 19.23/16.65 o 2483 19.23/16.65 o 2482 19.23/16.65 o 2448 19.23/16.65 o 2447 19.23/16.65 o 2439 19.23/16.65 o 2438 19.23/16.65 o 2437 19.23/16.65 o 2436 19.23/16.65 o 2434 19.23/16.65 o 2432 19.23/16.65 o 2431 19.23/16.65 o 2430 19.23/16.65 o 2427 19.23/16.65 o 2422 19.23/16.65 o 2419 19.23/16.65 o 2415 19.23/16.65 o 2414 19.23/16.65 o 2413 19.23/16.65 o 2412 19.23/16.65 o 2410 19.23/16.65 o 2409 19.23/16.65 o 2406 19.23/16.65 o 2405 19.23/16.65 o 2404 19.23/16.66 o 2403 19.23/16.66 o 2402 19.23/16.66 o 2362 19.23/16.66 o 2361 19.23/16.66 o 2360 19.23/16.66 o 2359 19.23/16.66 o 2357 19.23/16.66 o 2355 19.23/16.66 o 2354 19.23/16.66 o 2353 19.23/16.66 o 2352 19.23/16.67 o 2351 19.23/16.67 o 2350 19.23/16.68 o 2349 19.33/16.72 o 2348 19.43/16.80 o 2347 19.43/16.81 o 2346 19.43/16.83 o 2345 19.43/16.83 o 2344 19.43/16.83 o 2342 19.43/16.83 o 2341 19.43/16.83 o 2339 19.43/16.83 o 2338 19.43/16.83 o 2334 19.43/16.83 o 2333 19.43/16.83 o 2314 19.43/16.83 o 2313 19.43/16.83 o 2311 19.43/16.83 o 2310 19.43/16.84 o 2309 19.43/16.84 o 2308 19.43/16.84 o 2307 19.43/16.86 o 2306 19.43/16.87 o 2305 19.43/16.88 o 2304 19.53/16.94 o 2303 19.53/16.94 o 2302 19.53/16.94 o 2301 19.53/16.94 o 2300 19.53/16.94 o 2299 19.53/16.94 o 2298 19.64/17.02 o 2297 19.83/17.27 o 2296 20.03/17.41 o 2295 20.03/17.42 o 2294 20.03/17.43 o 2293 20.03/17.43 o 2292 20.03/17.43 o 2291 20.03/17.47 o 2290 20.03/17.47 o 2289 20.03/17.47 o 2288 20.03/17.47 o 2285 20.03/17.47 o 2282 20.03/17.47 o 2281 20.03/17.47 o 2279 20.03/17.47 o 2278 20.03/17.47 o 2275 20.03/17.47 o 2274 20.03/17.47 o 2273 20.03/17.47 o 2272 20.03/17.48 o 2271 20.03/17.48 o 2270 20.03/17.48 o 2269 20.03/17.48 o 2268 20.13/17.56 o 2267 20.13/17.57 o 2266 20.23/17.62 o 2265 20.23/17.62 o 2263 20.23/17.62 o 2262 20.23/17.62 o 2261 20.23/17.62 o 2260 20.23/17.63 o 2259 20.23/17.63 o 2258 20.23/17.63 o 2257 20.23/17.63 o 2256 20.23/17.63 o 2255 20.23/17.63 o 2254 20.23/17.63 o 2253 20.23/17.63 o 2252 20.23/17.63 o 2251 20.23/17.63 o 2250 20.23/17.64 o 2249 20.23/17.64 o 2248 20.23/17.64 o 2247 20.23/17.65 o 2246 20.23/17.66 o 2245 20.23/17.66 o 2244 20.23/17.66 o 2243 20.23/17.66 o 2242 20.23/17.66 o 2241 20.23/17.67 o 2240 20.43/17.81 o 2239 20.43/17.81 o 2238 20.43/17.81 o 2237 20.43/17.81 o 2236 20.43/17.81 o 2235 20.43/17.81 o 2231 20.43/17.81 o 2229 20.43/17.81 o 2227 20.43/17.81 o 2202 20.43/17.81 o 2200 20.43/17.81 o 2199 20.43/17.81 o 2196 20.43/17.81 o 2195 20.43/17.81 o 2194 20.43/17.81 o 2193 20.43/17.81 o 2192 20.43/17.81 o 2191 20.43/17.82 o 2190 20.43/17.82 o 2189 20.43/17.83 o 2188 20.43/17.83 o 2187 20.43/17.83 o 2186 20.43/17.84 o 2185 20.53/17.93 o 2184 21.65/19.08 o 2183 21.65/19.08 o 2182 21.84/19.25 o 2181 21.84/19.25 o 2180 21.84/19.25 o 2179 21.84/19.25 o 2178 21.84/19.25 o 2177 21.84/19.25 o 2162 21.84/19.25 o 2161 21.84/19.25 o 2160 21.84/19.25 o 2159 21.84/19.25 o 2158 21.84/19.25 o 2157 21.84/19.25 o 2156 21.84/19.25 o 2155 21.84/19.25 o 2154 21.84/19.25 o 2153 21.84/19.25 o 2152 21.84/19.25 o 2150 21.84/19.25 o 2148 21.84/19.25 o 2147 21.84/19.25 o 2146 21.84/19.25 o 2145 21.84/19.25 o 2143 21.84/19.25 o 2142 21.84/19.25 o 2141 21.84/19.25 o 2140 21.84/19.26 o 2128 21.84/19.26 o 2127 21.84/19.26 o 2126 21.84/19.26 o 2125 21.84/19.26 o 2118 21.84/19.26 o 2117 21.84/19.26 o 2116 21.84/19.26 o 2115 21.84/19.26 o 2112 21.84/19.26 o 2111 21.84/19.26 o 2110 21.84/19.26 o 2109 21.84/19.27 o 2108 21.84/19.27 o 2107 21.84/19.27 o 2106 21.84/19.28 o 2105 21.84/19.29 o 2104 22.04/19.44 o 2073 22.04/19.44 o 2072 22.04/19.44 o 2071 22.04/19.44 o 2070 22.04/19.44 o 2061 22.04/19.44 o 2060 22.04/19.44 o 2059 22.04/19.44 o 2058 22.04/19.44 o 2057 22.04/19.44 o 2056 22.04/19.44 o 2046 22.04/19.44 o 2042 22.04/19.44 o 2038 22.04/19.44 o 2037 22.04/19.44 o 2036 22.04/19.44 o 2035 22.04/19.46 o 2034 22.04/19.49 o 2033 22.15/19.55 o 2032 22.35/19.76 o 2031 22.35/19.76 o 2030 22.35/19.76 o 2029 22.35/19.77 o 2028 22.35/19.77 o 2027 22.35/19.77 o 2026 22.35/19.77 o 2025 22.55/19.96 o 2024 22.66/20.02 o 2023 22.95/20.34 o 2022 22.95/20.34 o 2021 22.95/20.34 o 2020 23.15/20.54 o 2019 23.15/20.55 o 2006 23.15/20.55 o 2005 23.15/20.55 o 2004 23.15/20.55 o 2003 23.15/20.55 o 2002 23.15/20.55 o 2001 23.15/20.55 o 2000 23.15/20.55 o 1999 23.15/20.55 o 1981 23.15/20.55 o 1980 23.15/20.55 o 1979 23.15/20.55 o 1978 23.15/20.55 o 1977 23.15/20.55 o 1976 23.15/20.55 o 1975 23.15/20.55 o 1974 23.15/20.55 o 1973 23.15/20.55 o 1970 23.15/20.55 o 1969 23.15/20.55 o 1968 23.15/20.55 o 1967 23.15/20.55 o 1966 23.15/20.55 o 1965 23.15/20.55 o 1964 23.15/20.55 o 1963 23.15/20.55 o 1959 23.15/20.55 o 1958 23.15/20.55 o 1957 23.15/20.55 o 1956 23.15/20.55 o 1955 23.15/20.55 o 1954 23.15/20.55 o 1953 23.15/20.55 o 1952 23.15/20.55 o 1903 23.15/20.55 o 1902 23.15/20.55 o 1901 23.15/20.55 o 1900 23.15/20.55 o 1888 23.15/20.55 o 1887 23.15/20.55 o 1886 23.15/20.55 o 1885 23.15/20.55 o 1878 23.15/20.55 o 1877 23.15/20.55 o 1876 23.15/20.55 o 1875 23.15/20.55 o 1874 23.15/20.55 o 1873 23.15/20.55 o 1872 23.15/20.55 o 1871 23.15/20.55 o 1870 23.15/20.56 o 1869 23.15/20.56 o 1868 23.15/20.56 o 1867 23.15/20.56 o 1866 23.15/20.56 o 1865 23.15/20.56 o 1864 23.15/20.56 o 1863 23.15/20.56 o 1862 23.15/20.56 o 1861 23.15/20.56 o 1860 23.15/20.56 o 1859 23.15/20.56 o 1858 23.15/20.57 o 1857 23.15/20.57 o 1856 23.15/20.60 o 1855 23.25/20.62 o 1854 23.25/20.62 o 1853 23.25/20.67 o 1852 23.25/20.67 o 1850 23.25/20.67 o 1849 23.25/20.67 o 1848 23.25/20.67 o 1847 23.25/20.67 o 1846 23.25/20.67 o 1845 23.25/20.68 o 1844 23.25/20.68 o 1843 23.25/20.68 o 1842 23.25/20.68 o 1841 23.25/20.68 o 1840 23.25/20.68 o 1839 23.25/20.68 o 1838 23.25/20.68 o 1837 23.35/20.71 o 1836 23.35/20.75 o 1835 23.35/20.75 o 1834 23.35/20.75 o 1833 23.35/20.75 o 1832 23.35/20.76 o 1831 23.35/20.76 o 1830 23.35/20.76 o 1829 23.35/20.77 o 1828 23.35/20.77 o 1827 23.35/20.77 o 1826 23.35/20.78 o 1825 23.35/20.78 o 1824 23.35/20.78 o 1823 23.46/20.80 o 1822 23.46/20.80 o 1821 23.46/20.81 o 1805 23.46/20.81 o 1804 23.46/20.81 o 1798 23.46/20.81 o 1797 23.46/20.81 o 1791 23.46/20.81 o 1790 23.46/20.81 o 1789 23.46/20.81 o 1788 23.46/20.81 o 1787 23.46/20.81 o 1786 23.46/20.82 o 1785 23.46/20.82 o 1784 23.46/20.82 o 1783 23.46/20.82 o 1782 23.46/20.82 o 1781 23.46/20.82 o 1780 23.46/20.82 o 1779 23.46/20.82 o 1778 23.46/20.82 o 1777 23.46/20.82 o 1776 23.46/20.82 o 1775 23.46/20.82 o 1774 23.46/20.82 o 1773 23.46/20.82 o 1772 23.46/20.82 o 1771 23.46/20.82 o 1770 23.46/20.82 o 1769 23.46/20.82 o 1768 23.46/20.82 o 1767 23.46/20.82 o 1766 23.46/20.82 o 1765 23.46/20.82 o 1764 23.46/20.82 o 1763 23.46/20.85 o 1730 23.46/20.85 o 1729 23.46/20.85 o 1728 23.46/20.85 o 1727 23.46/20.85 o 1726 23.46/20.85 o 1725 23.46/20.85 o 1724 23.46/20.85 o 1723 23.46/20.85 o 1722 23.46/20.85 o 1721 23.46/20.85 o 1720 23.46/20.85 o 1719 23.46/20.85 o 1718 23.46/20.85 o 1717 23.46/20.85 o 1716 23.46/20.85 o 1715 23.46/20.85 o 1714 23.46/20.85 o 1713 23.46/20.85 o 1712 23.46/20.85 o 1711 23.46/20.85 o 1690 23.46/20.85 o 1689 23.46/20.85 o 1688 23.46/20.85 o 1687 23.46/20.85 o 1686 23.46/20.85 o 1685 23.46/20.85 o 1684 23.46/20.85 o 1683 23.46/20.86 o 1682 23.46/20.86 o 1681 23.46/20.86 o 1680 23.46/20.86 o 1679 23.46/20.86 o 1678 23.46/20.86 o 1677 23.46/20.86 o 1676 23.46/20.88 o 1675 23.46/20.88 o 1674 23.46/20.88 o 1673 23.46/20.89 o 1672 23.56/20.92 o 1671 23.56/20.93 o 1670 23.56/20.94 o 1669 23.56/20.94 o 1668 23.56/20.94 o 1667 23.56/20.94 o 1666 23.56/20.94 o 1665 23.56/20.94 o 1664 23.56/20.94 o 1663 23.56/20.94 o 1662 23.56/20.94 o 1661 23.56/20.94 o 1660 23.56/20.95 o 1659 23.56/20.95 o 1658 23.56/20.95 o 1657 23.56/20.99 o 1656 23.56/20.99 o 1655 23.56/20.99 o 1654 23.56/20.99 o 1653 23.56/21.00 o 1652 23.56/21.00 o 1651 23.67/21.01 o 1650 23.67/21.02 o 1649 23.67/21.03 o 1648 23.67/21.04 o 1647 23.67/21.04 o 1646 23.67/21.04 o 1645 23.67/21.04 o 1644 23.67/21.04 o 1643 23.67/21.04 o 1642 23.67/21.04 o 1641 23.67/21.04 o 1640 23.67/21.04 o 1639 23.67/21.04 o 1638 23.67/21.04 o 1637 23.67/21.05 o 1636 23.67/21.05 o 1635 23.67/21.05 o 1634 23.67/21.05 o 1633 23.67/21.05 o 1632 23.67/21.05 o 1631 23.67/21.05 o 1630 23.67/21.07 o 1629 23.67/21.07 o 1628 23.67/21.07 o 1627 23.67/21.07 o 1626 23.67/21.09 o 1625 23.67/21.09 o 1624 23.67/21.10 o 1623 23.77/21.11 o 1596 23.77/21.11 o 1595 23.77/21.11 o 1594 23.77/21.11 o 1593 23.77/21.11 o 1592 23.77/21.11 o 1591 23.77/21.11 o 1590 23.77/21.11 o 1589 23.77/21.11 o 1556 23.77/21.11 o 1555 23.77/21.11 o 1554 23.77/21.11 o 1553 23.77/21.11 o 1552 23.77/21.12 o 1551 23.77/21.12 o 1550 23.77/21.12 o 1549 23.77/21.12 o 1548 23.77/21.12 o 1547 23.77/21.12 o 1546 23.77/21.12 o 1545 23.77/21.12 o 1544 23.77/21.12 o 1543 23.77/21.12 o 1542 23.77/21.12 o 1541 23.77/21.12 o 1540 23.77/21.12 o 1539 23.77/21.13 o 1538 23.77/21.15 o 1537 23.77/21.15 o 1536 23.86/21.23 o 1535 23.86/21.24 o 1534 23.86/21.25 o 1531 23.86/21.25 o 1530 23.86/21.25 o 1529 23.86/21.25 o 1528 23.86/21.25 o 1527 23.86/21.25 o 1526 23.86/21.25 o 1525 23.86/21.25 o 1524 23.86/21.25 o 1523 23.86/21.25 o 1522 23.86/21.25 o 1509 23.86/21.25 o 1506 23.86/21.25 o 1505 23.86/21.25 o 1504 23.86/21.25 o 1503 23.86/21.25 o 1473 23.86/21.25 o 1472 23.86/21.25 o 1471 23.86/21.25 o 1470 23.86/21.26 o 1461 23.86/21.26 o 1460 23.86/21.26 o 1459 23.86/21.26 o 1458 23.86/21.26 o 1457 23.86/21.26 o 1456 23.86/21.26 o 1455 23.86/21.26 o 1454 23.86/21.26 o 1453 23.86/21.26 o 1452 23.86/21.26 o 1451 23.86/21.26 o 1450 23.86/21.26 o 1449 23.86/21.26 o 1448 23.86/21.26 o 1447 23.86/21.27 o 1446 23.86/21.27 o 1445 23.86/21.27 o 1444 23.86/21.27 o 1443 23.86/21.28 o 1442 23.86/21.28 o 1441 23.96/21.30 o 1437 23.96/21.30 o 1435 23.96/21.30 o 1434 23.96/21.30 o 1433 23.96/21.30 o 1432 23.96/21.30 o 1431 23.96/21.31 o 1430 23.96/21.31 o 1429 23.96/21.31 o 1428 23.96/21.31 o 1424 23.96/21.31 o 1423 23.96/21.31 o 1422 23.96/21.31 o 1421 23.96/21.31 o 1420 23.96/21.31 o 1419 23.96/21.31 o 1418 23.96/21.31 o 1417 23.96/21.31 o 1416 23.96/21.31 o 1415 23.96/21.31 o 1414 23.96/21.31 o 1413 23.96/21.31 o 1399 23.96/21.31 o 1398 23.96/21.31 o 1397 23.96/21.31 o 1396 23.96/21.31 o 1395 23.96/21.31 o 1394 23.96/21.31 o 1393 23.96/21.31 o 1380 23.96/21.31 o 1379 23.96/21.31 o 1378 23.96/21.31 o 1377 23.96/21.31 o 1376 23.96/21.32 o 1375 23.96/21.32 o 1374 23.96/21.32 o 1373 23.96/21.32 o 1372 23.96/21.32 o 1371 23.96/21.32 o 1370 23.96/21.32 o 1369 23.96/21.32 o 1368 23.96/21.32 o 1367 23.96/21.32 o 1366 23.96/21.32 o 1365 23.96/21.32 o 1364 23.96/21.32 o 1363 24.06/21.40 o 1362 24.06/21.41 o 1361 24.06/21.44 o 1360 24.06/21.44 o 1359 24.06/21.44 o 1358 24.16/21.56 o 1356 24.16/21.56 o 1354 24.16/21.56 o 1353 24.16/21.56 o 1352 24.16/21.56 o 1348 24.16/21.56 o 1347 24.16/21.56 o 1346 24.16/21.56 o 1345 24.16/21.56 o 1344 24.16/21.56 o 1343 24.16/21.56 o 1324 24.16/21.56 o 1323 24.16/21.56 o 1322 24.16/21.56 o 1321 24.16/21.56 o 1320 24.16/21.56 o 1319 24.16/21.56 o 1318 24.16/21.56 o 1317 24.16/21.56 o 1316 24.16/21.57 o 1315 24.16/21.57 o 1314 24.16/21.58 o 1313 24.16/21.58 o 1312 24.16/21.58 o 1311 24.16/21.58 o 1310 24.16/21.58 o 1309 24.16/21.58 o 1308 24.16/21.59 o 1307 24.16/21.59 o 1306 24.36/21.71 o 1305 24.36/21.72 o 1304 24.46/21.81 o 1302 24.46/21.81 o 1301 24.46/21.81 o 1300 24.46/21.81 o 1299 24.46/21.81 o 1298 24.46/21.81 o 1297 24.46/21.81 o 1292 24.46/21.81 o 1291 24.46/21.81 o 1290 24.46/21.81 o 1289 24.46/21.81 o 1288 24.46/21.81 o 1287 24.46/21.81 o 1286 24.46/21.81 o 1285 24.46/21.81 o 1284 24.46/21.81 o 1283 24.46/21.81 o 1282 24.46/21.81 o 1281 24.46/21.81 o 1280 24.46/21.81 o 1279 24.46/21.81 o 1246 24.46/21.81 o 1245 24.46/21.81 o 1244 24.46/21.82 o 1243 24.46/21.82 o 1242 24.46/21.82 o 1235 24.46/21.82 o 1234 24.46/21.82 o 1233 24.46/21.82 o 1232 24.46/21.82 o 1231 24.46/21.82 o 1230 24.46/21.82 o 1229 24.46/21.82 o 1228 24.46/21.82 o 1227 24.46/21.82 o 1226 24.46/21.82 o 1225 24.46/21.82 o 1224 24.46/21.82 o 1223 24.46/21.82 o 1222 24.46/21.83 o 1221 24.46/21.83 o 1220 24.46/21.83 o 1219 24.70/22.09 o 1194 24.70/22.09 o 1193 24.70/22.09 o 1192 24.70/22.09 o 1191 24.70/22.09 o 1190 24.70/22.09 o 1189 24.70/22.09 o 1188 24.70/22.09 o 1187 24.70/22.09 o 1186 24.70/22.09 o 1185 24.70/22.09 o 1184 24.70/22.09 o 1183 24.70/22.09 o 1182 24.70/22.09 o 1181 24.70/22.09 o 1180 24.70/22.09 o 1179 24.70/22.09 o 1178 24.80/22.11 o 1177 24.80/22.15 o 1176 24.80/22.15 o 1175 24.80/22.15 o 1174 24.80/22.15 o 1173 24.80/22.15 o 1172 24.80/22.17 o 1171 24.80/22.17 o 1170 24.80/22.18 o 1169 24.89/22.23 o 1168 24.89/22.23 o 1167 24.89/22.25 o 1166 24.89/22.25 o 1165 24.89/22.25 o 1164 24.89/22.25 o 1163 24.89/22.26 o 1162 24.89/22.30 o 1161 24.89/22.30 o 1160 25.40/22.78 o 1159 25.40/22.78 o 1158 25.50/22.81 o 1157 25.50/22.81 o 1156 25.90/23.28 o 1155 25.90/23.29 o 1154 25.90/23.29 o 1153 26.51/23.82 o 1152 26.51/23.82 o 1151 26.51/23.82 o 1145 26.51/23.82 o 1144 26.51/23.82 o 1143 26.51/23.82 o 1141 26.51/23.82 o 1140 26.51/23.82 o 1139 26.51/23.82 o 1138 26.51/23.82 o 1137 26.51/23.82 o 1136 26.51/23.82 o 1135 26.51/23.82 o 1134 26.51/23.82 o 1133 26.51/23.82 o 1132 26.51/23.82 o 1131 26.51/23.82 o 1130 26.51/23.82 o 1127 26.51/23.82 o 1126 26.51/23.82 o 1125 26.51/23.82 o 1124 26.51/23.83 o 1123 26.51/23.83 o 1122 26.51/23.83 o 1121 26.51/23.83 o 1120 26.51/23.83 o 1119 26.51/23.83 o 1118 26.51/23.83 o 1117 26.51/23.84 o 1116 27.11/24.45 o 1115 27.11/24.45 o 1114 27.11/24.45 o 1113 27.11/24.45 o 1112 27.11/24.45 o 1107 27.11/24.45 o 1106 27.11/24.45 o 1105 27.11/24.45 o 1104 27.11/24.45 o 1103 27.11/24.45 o 1102 27.11/24.45 o 1101 27.11/24.45 o 1100 27.11/24.45 o 1099 27.11/24.45 o 1098 27.11/24.45 o 1097 27.11/24.45 o 1096 27.11/24.45 o 1095 27.11/24.45 o 1094 27.11/24.45 o 1093 27.11/24.45 o 1092 27.11/24.45 o 1091 27.11/24.45 o 1090 27.11/24.45 o 1089 27.11/24.45 o 1088 27.11/24.45 o 1087 27.11/24.45 o 1086 27.11/24.45 o 1085 27.11/24.45 o 1084 27.11/24.45 o 1083 27.11/24.45 o 1082 27.11/24.45 o 1081 27.11/24.45 o 1080 27.11/24.46 o 1079 27.11/24.46 o 1078 27.11/24.46 o 1077 27.21/24.50 o 1076 27.21/24.50 o 1075 27.21/24.51 o 1074 27.21/24.58 o 1073 27.21/24.58 o 1072 28.12/25.45 o 1071 28.12/25.46 o 1070 29.13/26.44 o 1069 29.23/26.53 o 1068 29.23/26.54 o 1067 29.43/26.70 o 1066 30.13/27.46 o 1065 30.53/27.86 o 1064 32.35/29.65 o 1049 32.35/29.65 o 1048 32.35/29.65 o 1047 32.35/29.65 o 1046 32.35/29.65 o 1045 32.35/29.65 o 1044 32.35/29.65 o 1043 32.35/29.65 o 1042 32.35/29.65 o 1041 32.35/29.65 o 1040 32.35/29.65 o 1039 32.35/29.66 o 1038 32.35/29.66 o 1037 32.45/29.72 o 1036 32.45/29.73 o 1035 32.45/29.73 o 1034 32.45/29.73 o 1033 32.45/29.77 o 1032 32.76/30.09 o 1031 33.05/30.32 o 1030 33.05/30.32 o 1028 33.05/30.33 o 1026 33.05/30.36 o 1025 33.05/30.38 o 1023 33.25/30.57 o 1022 33.35/30.68 o 1021 33.45/30.76 o 1020 33.56/30.80 o 1018 34.66/31.95 o 1014 34.66/31.95 o 1013 34.66/31.95 o 1012 34.66/31.95 o 1009 34.66/31.95 o 1002 34.66/31.95 o 1000 34.66/31.95 o 997 34.66/31.96 o 991 34.66/31.96 o 989 34.66/31.96 o 988 34.66/31.96 o 986 34.66/31.96 o 984 34.66/31.96 o 983 34.66/31.96 o 982 34.66/31.96 o 981 34.66/31.96 o 980 34.66/31.96 o 979 35.08/32.39 o 978 37.09/34.35 o 976 37.09/34.35 o 975 37.09/34.35 o 974 37.09/34.35 o 972 37.09/34.36 o 971 37.09/34.36 o 968 37.09/34.36 o 967 38.60/35.88 o 966 38.60/35.88 o 965 38.60/35.88 o 964 38.60/35.89 o 962 38.60/35.89 o 961 38.71/35.91 o 960 38.71/35.91 o 959 38.82/36.08 o 958 39.21/36.45 o 957 39.93/37.11 o 956 41.03/38.23 o 955 41.03/38.24 o 954 43.66/40.83 o 952 43.66/40.83 o 949 43.66/40.83 o 947 43.66/40.83 o 946 43.66/40.83 o 945 43.66/40.83 o 944 43.66/40.83 o 938 43.66/40.83 o 937 43.66/40.84 o 936 43.66/40.84 o 935 43.66/40.84 o 934 43.66/40.84 o 933 43.66/40.85 o 932 43.66/40.85 o 931 43.66/40.85 o 930 43.66/40.89 o 929 43.66/40.90 o 928 43.97/41.11 o 927 43.97/41.11 o 926 44.17/41.32 o 925 44.27/41.46 o 924 45.27/42.45 o 923 45.27/42.49 o 922 45.37/42.50 o 921 45.37/42.53 o 920 45.37/42.53 o 918 45.37/42.53 o 917 45.37/42.54 o 915 45.37/42.59 o 914 45.47/42.61 o 913 45.47/42.63 o 912 45.47/42.64 o 911 45.47/42.66 o 910 45.47/42.66 o 909 45.68/42.86 o 908 45.68/42.86 o 907 45.68/42.89 o 906 45.99/43.13 o 905 45.99/43.13 o 904 45.99/43.13 o 903 46.49/43.62 o 902 46.59/43.78 o 901 49.62/46.79 o 900 49.62/46.79 o 899 49.62/46.79 o 898 49.82/46.91 o 897 51.04/48.13 o 896 51.04/48.13 o 895 51.04/48.13 o 894 52.35/49.43 o 893 52.35/49.43 o 892 52.35/49.45 o 891 52.35/49.45 o 890 52.35/49.48 o 889 52.35/49.48 o 888 52.76/49.85 o 887 52.76/49.85 o 886 52.76/49.85 o 885 52.76/49.86 o 884 52.76/49.86 o 883 52.76/49.86 o 882 52.76/49.86 o 881 52.87/49.91 o 880 52.87/49.94 o 879 52.87/49.95 o 878 52.97/50.05 o 877 52.97/50.07 o 876 53.07/50.18 o 875 53.36/50.46 o 874 53.36/50.47 o 873 53.36/50.47 o 872 53.88/50.93 o 871 53.88/50.98 o 870 53.88/50.98 o 869 55.49/52.55 o 868 55.49/52.55 o 867 56.20/53.25 o 866 57.02/54.02 o 865 57.82/54.80 o 864 57.92/55.00 o 863 58.03/55.01 o 862 59.44/56.46 o 861 60.25/57.22 o 860 60.25/57.25 o 859 60.25/57.25 o 855 60.25/57.25 o 854 60.25/57.25 o 853 60.25/57.25 o 852 60.25/57.25 o 851 60.25/57.25 o 850 60.25/57.25 o 849 60.25/57.26 o 844 60.25/57.26 o 843 60.25/57.26 o 842 60.25/57.26 o 841 60.25/57.26 o 824 60.25/57.26 o 823 60.25/57.26 o 822 60.25/57.26 o 821 60.25/57.26 o 820 60.25/57.26 o 819 60.25/57.26 o 818 60.25/57.26 o 814 60.25/57.26 o 813 60.25/57.26 o 812 60.25/57.26 o 811 60.25/57.26 o 808 60.25/57.26 o 807 60.25/57.26 o 806 60.25/57.26 o 805 60.25/57.26 o 804 60.25/57.26 o 803 60.25/57.26 o 802 60.25/57.26 o 801 60.25/57.26 o 800 60.25/57.26 o 797 60.25/57.26 o 794 60.25/57.26 o 792 60.25/57.26 o 791 60.25/57.26 o 790 60.25/57.26 o 789 60.25/57.26 o 788 60.25/57.26 o 787 60.25/57.26 o 786 60.25/57.26 o 785 60.25/57.27 o 784 60.25/57.27 o 783 60.25/57.27 o 782 60.25/57.27 o 781 60.25/57.27 o 780 60.25/57.27 o 779 60.25/57.27 o 778 60.25/57.27 o 777 60.25/57.27 o 776 60.25/57.28 o 775 60.25/57.28 o 774 60.35/57.30 o 725 60.35/57.30 o 724 60.35/57.30 o 723 60.35/57.30 o 722 60.35/57.30 o 721 60.35/57.30 o 720 60.35/57.30 o 716 60.35/57.30 o 715 60.35/57.30 o 714 60.35/57.30 o 713 60.35/57.30 o 712 60.35/57.30 o 711 60.35/57.30 o 710 60.35/57.31 o 709 60.35/57.31 o 708 60.35/57.31 o 707 60.35/57.31 o 706 60.35/57.31 o 705 60.35/57.31 o 704 60.35/57.31 o 703 60.35/57.31 o 702 61.66/58.62 o 701 62.88/59.89 o 700 65.50/62.42 o 699 65.50/62.42 o 698 65.50/62.42 o 697 65.50/62.42 o 696 65.50/62.43 o 695 65.50/62.43 o 694 65.50/62.43 o 693 65.50/62.43 o 692 65.50/62.43 o 691 65.50/62.44 o 690 65.50/62.44 o 689 65.60/62.56 o 688 65.60/62.59 o 687 65.70/62.64 o 686 65.70/62.64 o 685 65.70/62.69 o 684 65.70/62.69 o 683 65.80/62.75 o 682 66.01/62.94 o 681 70.04/66.92 o 680 70.04/66.93 o 679 70.04/66.93 o 678 70.35/67.28 o 677 71.56/68.40 o 671 71.56/68.40 o 670 71.56/68.40 o 669 71.56/68.40 o 668 71.56/68.40 o 667 71.56/68.40 o 666 71.56/68.40 o 656 71.56/68.40 o 655 71.56/68.40 o 654 71.56/68.40 o 653 71.56/68.40 o 640 71.56/68.40 o 639 71.56/68.40 o 638 71.56/68.40 o 637 71.56/68.40 o 633 71.56/68.40 o 632 71.56/68.40 o 631 71.56/68.40 o 630 71.56/68.40 o 629 71.56/68.40 o 628 71.56/68.40 o 627 71.56/68.40 o 626 71.56/68.40 o 625 71.56/68.40 o 624 71.56/68.40 o 623 71.56/68.40 o 622 71.56/68.41 o 621 71.56/68.41 o 619 71.56/68.41 o 617 71.56/68.41 o 616 71.56/68.41 o 614 71.56/68.41 o 613 71.56/68.41 o 580 71.56/68.41 o 579 71.56/68.41 o 565 71.56/68.41 o 564 71.56/68.42 o 563 71.56/68.42 o 562 71.56/68.42 o 557 71.56/68.42 o 556 71.56/68.42 o 553 71.56/68.42 o 552 71.56/68.42 o 551 71.56/68.42 o 550 71.56/68.42 o 549 71.56/68.42 o 548 71.56/68.42 o 546 71.56/68.42 o 545 71.56/68.42 o 544 71.56/68.42 o 543 71.56/68.43 o 542 71.56/68.43 o 498 71.56/68.43 o 491 71.56/68.43 o 487 71.56/68.43 o 486 71.56/68.43 o 485 71.56/68.45 o 484 71.56/68.45 o 483 71.56/68.45 o 482 71.56/68.45 o 481 71.56/68.45 o 478 71.56/68.45 o 477 71.56/68.45 o 476 71.56/68.45 o 475 71.86/68.79 o 474 71.86/68.79 o 473 71.86/68.79 o 472 71.86/68.79 o 471 71.96/68.82 o 470 71.96/68.82 o 469 71.96/68.82 o 468 73.38/70.27 o 467 75.91/72.76 o 466 75.91/72.78 o 465 76.01/72.80 o 464 76.01/72.80 o 463 76.01/72.80 o 462 76.01/72.80 o 461 76.41/73.27 o 460 76.41/73.27 o 459 76.51/73.38 o 458 76.51/73.38 o 457 76.51/73.38 o 455 76.51/73.38 o 453 76.51/73.38 o 452 76.51/73.38 o 451 76.51/73.38 o 450 76.51/73.38 o 449 77.02/73.88 o 448 77.02/73.89 o 447 77.52/74.31 o 446 77.52/74.35 o 445 77.52/74.35 o 444 77.52/74.35 o 443 77.52/74.35 o 442 77.82/74.66 o 441 78.54/75.31 o 440 78.54/75.32 o 439 78.54/75.32 o 438 78.54/75.38 o 437 78.54/75.38 o 436 78.64/75.47 o 435 78.64/75.47 o 434 78.84/75.63 o 433 78.84/75.67 o 432 78.84/75.68 o 431 78.84/75.68 o 430 78.84/75.68 o 429 78.84/75.68 o 428 78.84/75.68 o 427 79.05/75.82 o 426 79.05/75.82 o 425 79.05/75.83 o 424 79.05/75.83 o 423 79.05/75.83 o 422 79.05/75.84 o 421 79.05/75.84 o 420 79.26/76.03 o 419 79.26/76.05 o 418 79.26/76.05 o 417 79.26/76.06 o 416 79.26/76.06 o 415 79.26/76.06 o 414 79.26/76.08 o 413 79.26/76.08 o 412 79.26/76.08 o 411 79.26/76.08 o 410 79.26/76.08 o 409 79.26/76.08 o 408 79.36/76.12 o 407 79.36/76.12 o 406 79.36/76.13 o 405 79.36/76.13 o 404 79.36/76.13 o 403 79.36/76.20 o 402 79.55/76.31 o 401 79.55/76.32 o 400 79.75/76.57 o 399 79.75/76.57 o 398 79.75/76.57 o 397 81.17/78.00 o 396 81.17/78.00 o 395 81.17/78.00 o 394 81.17/78.00 o 393 81.17/78.00 o 392 81.17/78.00 o 391 81.17/78.00 o 390 81.17/78.00 o 389 81.17/78.00 o 388 81.28/78.01 o 387 81.28/78.01 o 386 81.28/78.05 o 385 81.68/78.43 o 384 81.68/78.45 o 383 82.88/79.70 o 382 82.88/79.70 o 381 83.08/79.85 o 380 83.08/79.85 o 379 83.08/79.85 o 378 83.08/79.86 o 377 83.08/79.86 o 376 83.08/79.87 o 375 83.08/79.88 o 374 83.29/80.02 o 373 83.49/80.28 o 372 83.49/80.28 o 371 84.20/80.91 o 370 84.31/81.06 o 369 84.31/81.09 o 368 84.71/81.42 o 367 84.71/81.43 o 366 84.71/81.43 o 365 85.21/81.93 o 364 85.21/81.99 o 363 94.54/91.11 o 362 99.28/95.90 o 361 104.34/100.88 o 360 104.44/100.90 o 359 104.44/100.90 o 358 104.75/101.28 o 357 104.75/101.28 o 356 104.85/101.30 o 355 104.85/101.30 o 354 106.16/102.63 o 353 2520.04/2494.11 s SATISFIABLE 2520.04/2494.11 v <instantiation> 2520.04/2494.11 v <list> 2520.04/2494.11 v c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] 2520.04/2494.11 v </list> 2520.04/2494.11 v <values> 2520.04/2494.11 v 4 5 2 2 3 1 5 1 2 1 4 0 0 2 2 0 0 0 1 2 0 0 79 1 5 2 2 0 1 1 1 1 1 84 0 0 0 0 0 0 0 0 0 0 0 24 4 3 3 2 2 3 3 3 1 2 1 4 0 0 2 2 0 0 0 1 2 0 0 4 1 3 2 2 0 1 1 1 1 1 6 0 0 0 0 0 0 0 0 1 0 0 44 3 5 2520.04/2494.11 v </values> 2520.04/2494.11 v </instantiation>
OK 353
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13296 MiB free)
memory of node 1: 16384 MiB (10507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308012-1534283612/watcher-4308012-1534283612 -o /tmp/evaluation-result-4308012-1534283612/solver-4308012-1534283612 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534271084-19496 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 483729080 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308012-1534283612.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20705, runsolver pid=20702
[startup+0.106299 s]*
/proc/loadavg: 1.70 1.87 1.87 4/216 20720
/proc/meminfo: memFree=24356372/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14082736 memory=31788 CPUtime=0.13 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 6846 0 0 0 11 2 0 0 20 0 15 0 245924383 14420721664 7947 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3520684 7947 3162 1 0 3482761 0
[pid=20705/tid=20707] ppid=20702 vsize=14082736 memory=-8701690554791923068 CPUtime=0.09 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 4948 0 0 0 8 1 0 0 20 0 15 0 245924383 14420721664 8013 33554432000 4194304 4196468 140733428251344 139706159826520 139706135877362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 8013 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 8013 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 8013 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 8013 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245924385 14420721664 8013 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245924386 14420721664 8013 33554432000 4194304 4196468 140733428251344 139705066804384 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245924386 14420721664 8013 33554432000 4194304 4196468 140733428251344 139705065751280 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 8079 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 8079 33554432000 4194304 4196468 140733428251344 139705063647984 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 8079 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0.01 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 245924388 14420721664 8079 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 8079 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 8079 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31788 KiB
[startup+0.215098 s]*
/proc/loadavg: 1.70 1.87 1.87 5/216 20720
/proc/meminfo: memFree=24340604/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14082736 memory=47320 CPUtime=0.32 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 10396 0 0 0 29 3 0 0 20 0 15 0 245924383 14420721664 11830 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3520684 11830 3409 1 0 3482761 0
[pid=20705/tid=20707] ppid=20702 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 8097 0 0 0 18 2 0 0 20 0 15 0 245924383 14420721664 11830 33554432000 4194304 4196468 140733428251344 139706159825424 139706139645285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14082736 memory=3835294130560382624 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245924385 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245924386 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705066804384 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245924386 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705065751280 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 245924388 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705063641008 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) R 20702 20705 17869 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 245924388 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0.06 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 320 0 0 0 6 0 0 0 20 0 15 0 245924388 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 11830 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47320 KiB
[startup+0.31051 s]*
/proc/loadavg: 1.70 1.87 1.87 3/216 20720
/proc/meminfo: memFree=24337192/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14082736 memory=50984 CPUtime=0.45 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 10788 0 0 0 41 4 0 0 20 0 15 0 245924383 14420721664 12746 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3520684 12746 3423 1 0 3482761 0
[pid=20705/tid=20707] ppid=20702 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 8447 0 0 0 27 2 0 0 20 0 15 0 245924383 14420721664 12746 33554432000 4194304 4196468 140733428251344 139706159813168 139706137165224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14082736 memory=4294977828 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14082736 memory=3473598785487189664 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245924384 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245924385 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245924386 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705066804384 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245924386 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705065751280 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 245924388 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705063647984 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20705 17869 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 245924388 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0.08 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 339 0 0 0 8 0 0 0 20 0 15 0 245924388 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14082736 memory=140152637568640 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924388 14420721664 12746 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50984 KiB
[startup+0.70077 s]
/proc/loadavg: 1.70 1.87 1.87 3/216 20720
/proc/meminfo: memFree=24312752/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14084804 memory=89128 CPUtime=0.99 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 17650 0 0 0 94 5 0 0 20 0 15 0 245924383 14422839296 22282 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3521201 22282 3499 1 0 3483273 0
[pid=20705/tid=20707] ppid=20702 vsize=14084804 memory=229109863048263 CPUtime=0.67 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 14907 0 0 0 64 3 0 0 20 0 15 0 245924383 14422839296 22282 33554432000 4194304 4196468 140733428251344 139706159812528 139706155623581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14084804 memory=1299296 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14084804 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245924384 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245924385 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245924386 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705066804384 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245924386 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705065751280 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14084804 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 552 0 0 0 7 0 0 0 20 0 15 0 245924388 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705063647984 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14084804 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20705 17869 0 -1 1077944384 378 0 0 0 7 0 0 0 20 0 15 0 245924388 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 431 0 0 0 14 0 0 0 20 0 15 0 245924388 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14084804 memory=12552 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924388 14422839296 22282 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89128 KiB
[startup+1.50076 s]
/proc/loadavg: 1.70 1.87 1.87 4/216 20720
/proc/meminfo: memFree=24279444/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14090948 memory=156756 CPUtime=2.98 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 25806 0 0 0 290 8 0 0 20 0 15 0 245924383 14429130752 39189 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3522737 39189 3538 1 0 3484809 0
[pid=20705/tid=20707] ppid=20702 vsize=14090948 memory=10759 CPUtime=1.46 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 18755 0 0 0 141 5 0 0 20 0 15 0 245924383 14429130752 39189 33554432000 4194304 4196468 140733428251344 139706159837552 139706155623485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14429130752 39189 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14429130752 39189 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245924384 14429130752 39189 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245924384 14429130752 39189 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 245924385 14429130752 39189 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
################
# More data... #
################
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 43053 0 0 0 236742 22 0 0 20 0 15 0 245924383 14429130752 106561 33554432000 4194304 4196468 140733428251344 139706159839840 139705782185332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14090948 memory=424196 CPUtime=7.52 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 5701 0 0 0 713 39 0 0 20 0 15 0 245924384 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14090948 memory=426244 CPUtime=7.57 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 5344 0 0 0 721 36 0 0 20 0 15 0 245924384 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14090948 memory=424196 CPUtime=7.6 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 7164 0 0 0 718 42 0 0 20 0 15 0 245924384 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14090948 memory=420100 CPUtime=7.57 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 6559 0 0 0 719 38 0 0 20 0 15 0 245924384 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14090948 memory=280305002772544 CPUtime=5.13 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 5558 0 0 0 477 36 0 0 20 0 15 0 245924385 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14090948 memory=424196 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705066804448 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14090948 memory=426244 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705065751296 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14090948 memory=426244 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14090948 memory=426244 CPUtime=0.81 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 3362 0 0 0 80 1 0 0 20 0 15 0 245924388 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705063647984 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14090948 memory=426244 CPUtime=1.04 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20705 17869 0 -1 1077944384 5876 0 0 0 103 1 0 0 20 0 15 0 245924388 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14090948 memory=424196 CPUtime=0.76 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 9628 0 0 0 74 2 0 0 20 0 15 0 245924388 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14090948 memory=426244 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14090948 memory=426244 CPUtime=1.12 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1332 0 0 0 50 62 0 0 20 0 15 0 245924388 14429130752 106561 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 2406.87 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 426244 KiB
[startup+2442.3 s]
/proc/loadavg: 1.28 1.32 1.40 3/216 20900
/proc/meminfo: memFree=23943520/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14090948 memory=432388 CPUtime=2467.6 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 96025 0 0 0 246522 238 0 0 20 0 15 0 245924383 14429130752 108097 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3522737 108097 3575 1 0 3484809 0
[pid=20705/tid=20707] ppid=20702 vsize=14090948 memory=432388 CPUtime=2427.22 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 43371 0 0 0 242699 23 0 0 20 0 15 0 245924383 14429130752 108097 33554432000 4194304 4196468 140733428251344 139706159839840 139705782185945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14090948 memory=432388 CPUtime=7.78 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 5865 0 0 0 737 41 0 0 20 0 15 0 245924384 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14090948 memory=432388 CPUtime=7.82 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 5439 0 0 0 745 37 0 0 20 0 15 0 245924384 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14090948 memory=432388 CPUtime=7.85 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 7243 0 0 0 742 43 0 0 20 0 15 0 245924384 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14090948 memory=430340 CPUtime=7.81 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 6769 0 0 0 742 39 0 0 20 0 15 0 245924384 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14090948 memory=430340 CPUtime=5.27 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 5718 0 0 0 490 37 0 0 20 0 15 0 245924385 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14090948 memory=430340 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705066804448 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14090948 memory=13940 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705065751296 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14090948 memory=432388 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14090948 memory=432388 CPUtime=0.81 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 3362 0 0 0 80 1 0 0 20 0 15 0 245924388 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705063647984 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14090948 memory=432388 CPUtime=1.04 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20705 17869 0 -1 1077944384 5876 0 0 0 103 1 0 0 20 0 15 0 245924388 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14090948 memory=432388 CPUtime=0.76 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 9628 0 0 0 74 2 0 0 20 0 15 0 245924388 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14090948 memory=432388 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14090948 memory=1964 CPUtime=1.14 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1338 0 0 0 51 63 0 0 20 0 15 0 245924388 14429130752 108097 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 2467.6 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 432388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.11 s]
/proc/loadavg: 1.32 1.33 1.40 3/215 20901
/proc/meminfo: memFree=23935572/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14090948 memory=438532 CPUtime=2520.04 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 97383 0 0 0 251761 243 0 0 20 0 15 0 245924383 14429130752 109633 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3522737 109633 3575 1 0 3484809 0
[pid=20705/tid=20707] ppid=20702 vsize=14090948 memory=438532 CPUtime=2478.66 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 43922 0 0 0 247843 23 0 0 20 0 15 0 245924383 14429130752 109633 33554432000 4194304 4196468 140733428251344 139706159839840 139705780815820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14090948 memory=438532 CPUtime=7.99 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 5981 0 0 0 758 41 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14090948 memory=436484 CPUtime=8.03 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 5463 0 0 0 765 38 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14090948 memory=438532 CPUtime=8.06 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 7509 0 0 0 763 43 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14090948 memory=797 CPUtime=8.02 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 6982 0 0 0 763 39 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14090948 memory=436484 CPUtime=5.38 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 5887 0 0 0 500 38 0 0 20 0 15 0 245924385 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14090948 memory=436484 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705066804448 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14090948 memory=436484 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705065751296 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14090948 memory=438532 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14090948 memory=438532 CPUtime=0.81 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 3364 0 0 0 80 1 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705063647984 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14090948 memory=438532 CPUtime=1.04 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20705 17869 0 -1 1077944384 5878 0 0 0 103 1 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14090948 memory=756 CPUtime=0.76 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 9630 0 0 0 74 2 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14090948 memory=438532 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14090948 memory=5660 CPUtime=1.17 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1351 0 0 0 52 65 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 438532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.12 s]
# the end of solver process 20705 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.63 s, system=2.4357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.11 s]
/proc/loadavg: 1.32 1.33 1.40 3/215 20901
/proc/meminfo: memFree=23935572/32770624 swapFree=67108172/67108860
[pid=20705] ppid=20702 vsize=14090948 memory=438532 CPUtime=2520.04 cores=1,3,5,7
/proc/20705/stat : 20705 (java) S 20702 20705 17869 0 -1 1077944320 97383 0 0 0 251761 243 0 0 20 0 15 0 245924383 14429130752 109633 33554432000 4194304 4196468 140733428251344 140733428233888 139706155601655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
/proc/20705/statm: 3522737 109633 3575 1 0 3484809 0
[pid=20705/tid=20707] ppid=20702 vsize=14090948 memory=438532 CPUtime=2478.66 cores=1,3,5,7
/proc/20705/task/20707/stat : 20707 (java) R 20702 20705 17869 0 -1 4202560 43922 0 0 0 247843 23 0 0 20 0 15 0 245924383 14429130752 109633 33554432000 4194304 4196468 140733428251344 139706159839840 139705780815820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20708] ppid=20702 vsize=14090948 memory=438532 CPUtime=7.99 cores=1,3,5,7
/proc/20705/task/20708/stat : 20708 (java) S 20702 20705 17869 0 -1 1077944384 5981 0 0 0 758 41 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705750920208 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20709] ppid=20702 vsize=14090948 memory=436484 CPUtime=8.03 cores=1,3,5,7
/proc/20705/task/20709/stat : 20709 (java) S 20702 20705 17869 0 -1 1077944384 5463 0 0 0 765 38 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705749867664 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20710] ppid=20702 vsize=14090948 memory=438532 CPUtime=8.06 cores=1,3,5,7
/proc/20705/task/20710/stat : 20710 (java) S 20702 20705 17869 0 -1 1077944384 7509 0 0 0 763 43 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705748814608 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20711] ppid=20702 vsize=14090948 memory=797 CPUtime=8.02 cores=1,3,5,7
/proc/20705/task/20711/stat : 20711 (java) S 20702 20705 17869 0 -1 1077944384 6982 0 0 0 763 39 0 0 20 0 15 0 245924384 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705747762064 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20712] ppid=20702 vsize=14090948 memory=436484 CPUtime=5.38 cores=1,3,5,7
/proc/20705/task/20712/stat : 20712 (java) S 20702 20705 17869 0 -1 1077944384 5887 0 0 0 500 38 0 0 20 0 15 0 245924385 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705067858160 139706155612802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20713] ppid=20702 vsize=14090948 memory=436484 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20713/stat : 20713 (java) S 20702 20705 17869 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705066804448 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20714] ppid=20702 vsize=14090948 memory=436484 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20714/stat : 20714 (java) S 20702 20705 17869 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 245924386 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705065751296 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20715] ppid=20702 vsize=14090948 memory=438532 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20715/stat : 20715 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705064699856 139706155620251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20716] ppid=20702 vsize=14090948 memory=438532 CPUtime=0.81 cores=1,3,5,7
/proc/20705/task/20716/stat : 20716 (java) S 20702 20705 17869 0 -1 1077944384 3364 0 0 0 80 1 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705063647984 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20717] ppid=20702 vsize=14090948 memory=438532 CPUtime=1.04 cores=1,3,5,7
/proc/20705/task/20717/stat : 20717 (java) S 20702 20705 17869 0 -1 1077944384 5878 0 0 0 103 1 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705062595440 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20718] ppid=20702 vsize=14090948 memory=756 CPUtime=0.76 cores=1,3,5,7
/proc/20705/task/20718/stat : 20718 (java) S 20702 20705 17869 0 -1 1077944384 9630 0 0 0 74 2 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705061542384 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20719] ppid=20702 vsize=14090948 memory=438532 CPUtime=0 cores=1,3,5,7
/proc/20705/task/20719/stat : 20719 (java) S 20702 20705 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705060490080 139706155611861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
[pid=20705/tid=20720] ppid=20702 vsize=14090948 memory=5660 CPUtime=1.17 cores=1,3,5,7
/proc/20705/task/20720/stat : 20720 (java) S 20702 20705 17869 0 -1 1077944384 1351 0 0 0 52 65 0 0 20 0 15 0 245924388 14429130752 109633 33554432000 4194304 4196468 140733428251344 139705059437104 139706155612802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20869120 140733428253769 140733428253961 140733428253961 140733428256719 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 438532 KiB
Child status: 143
Real time (s): 2494.12
CPU time (s): 2520.07
CPU user time (s): 2517.63
CPU system time (s): 2.4357
CPU usage (%): 101.04
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 438532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.63
system time used= 2.4357
maximum resident set size= 439096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204279
involuntary context switches= 3904
# summary of solver processes directly reported to runsolver:
# pid: 20705
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.63
# total CPU system time (s): 2.4357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9669 second user time and 19.6673 second system time
The end
Begin job on node136 at 2018-08-14 23:53:32 IDJOB=4308012 IDBENCH=141226 IDSOLVER=2791 FILE ID=node136/4308012-1534283612 RUNJOBID= node136-1534271084-19496 PBS_JOBID= 21038121 Free space on /tmp= 38992 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/SumColoring/SumColoring-myciel6_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308012-1534283612/watcher-4308012-1534283612 -o /tmp/evaluation-result-4308012-1534283612/solver-4308012-1534283612 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534271084-19496 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 483729080 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308012-1534283612.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 12e75aa9ea5684230fdaa5ddf97691cc RANDOM SEED=483729080 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24374880 kB MemAvailable: 31634404 kB Buffers: 114348 kB Cached: 7365048 kB SwapCached: 16 kB Active: 4100420 kB Inactive: 3702856 kB Active(anon): 275264 kB Inactive(anon): 100900 kB Active(file): 3825156 kB Inactive(file): 3601956 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108860 kB SwapFree: 67108172 kB Dirty: 35992 kB Writeback: 0 kB AnonPages: 331260 kB Mapped: 67516 kB Shmem: 49576 kB Slab: 289328 kB SReclaimable: 260872 kB SUnreclaim: 28456 kB KernelStack: 3536 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1458004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 38956 MiB End job on node136 at 2018-08-15 00:35:06