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) | 294 | 2520.11 | 2495.91 |
| Name | SumColoring/ SumColoring-1-fullins-4_c18.xml |
| MD5SUM | ce812152122c21d5982c9c6047fc1378 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 73 |
| Best CPU time to get the best result obtained on this benchmark | 859.495 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 93 |
| Number of constraints | 593 |
| Number of domains | 1 |
| Minimum domain size | 93 |
| Maximum domain size | 93 |
| Distribution of domain sizes | [{"size":93,"count":93}] |
| Minimum variable degree | 7 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":7,"count":4},{"degree":8,"count":6},{"degree":9,"count":11},{"degree":10,"count":8},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":7},{"degree":14,"count":10},{"degree":15,"count":4},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":3},{"degree":23,"count":3},{"degree":24,"count":3},{"degree":33,"count":3}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":593}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 593 |
| Distribution of constraint types | [{"type":"intension","count":593}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.32/0.55 c version: 2018-08-14 0.32/0.65 c seed: 996712081 0.32/0.65 c timeout: 2520 0.32/0.65 c memlimit: 11000 0.32/0.65 c nbcore: 4 0.32/0.65 c Parsing instance... 2.03/1.21 c Parsing done, starting search... 2.03/1.29 o 4352 2.32/1.30 o 4340 2.32/1.31 o 4330 2.32/1.31 o 4293 2.32/1.31 o 4292 2.32/1.31 o 4291 2.32/1.31 o 4286 2.32/1.31 o 4276 2.32/1.31 o 4273 2.32/1.31 o 4271 2.32/1.31 o 4231 2.32/1.31 o 4230 2.32/1.31 o 4226 2.32/1.31 o 4225 2.32/1.31 o 4222 2.32/1.31 o 4220 2.32/1.31 o 4218 2.32/1.31 o 4217 2.32/1.32 o 4213 2.32/1.32 o 4212 2.32/1.32 o 4210 2.32/1.32 o 4209 2.32/1.32 o 4207 2.32/1.32 o 4206 2.32/1.32 o 4197 2.32/1.32 o 4181 2.32/1.32 o 4177 2.32/1.32 o 4175 2.32/1.32 o 4174 2.32/1.32 o 4156 2.32/1.32 o 4155 2.32/1.32 o 4151 2.32/1.32 o 4148 2.32/1.32 o 4140 2.32/1.32 o 4139 2.32/1.33 o 4137 2.32/1.33 o 4112 2.32/1.33 o 4111 2.32/1.33 o 4097 2.32/1.34 o 4096 2.32/1.34 o 4095 2.32/1.34 o 4094 2.32/1.34 o 4093 2.32/1.34 o 4091 2.32/1.34 o 4090 2.32/1.34 o 4089 2.32/1.34 o 4088 2.32/1.34 o 4086 2.32/1.34 o 4066 2.32/1.34 o 4064 2.32/1.34 o 4045 2.32/1.34 o 4016 2.32/1.34 o 4004 2.32/1.34 o 4002 2.32/1.34 o 4000 2.32/1.34 o 3999 2.32/1.34 o 3998 2.32/1.34 o 3997 2.32/1.34 o 3953 2.32/1.35 o 3914 2.32/1.35 o 3912 2.32/1.35 o 3911 2.32/1.35 o 3910 2.32/1.35 o 3909 2.32/1.35 o 3908 2.32/1.35 o 3907 2.32/1.35 o 3906 2.32/1.36 o 3905 2.32/1.36 o 3904 2.32/1.36 o 3903 2.32/1.36 o 3901 2.32/1.36 o 3900 2.32/1.36 o 3899 2.32/1.36 o 3898 2.32/1.36 o 3897 2.32/1.36 o 3895 2.32/1.36 o 3894 2.32/1.36 o 3890 2.32/1.36 o 3888 2.32/1.37 o 3887 2.32/1.37 o 3882 2.32/1.37 o 3881 2.32/1.37 o 3880 2.32/1.37 o 3876 2.32/1.37 o 3874 2.32/1.37 o 3873 2.32/1.37 o 3871 2.32/1.37 o 3865 2.32/1.37 o 3863 2.32/1.37 o 3862 2.32/1.37 o 3861 2.32/1.37 o 3860 2.32/1.37 o 3859 2.32/1.37 o 3857 2.32/1.37 o 3853 2.32/1.37 o 3852 2.32/1.37 o 3851 2.32/1.37 o 3850 2.32/1.37 o 3849 2.32/1.37 o 3846 2.32/1.37 o 3845 2.32/1.37 o 3844 2.32/1.37 o 3843 2.32/1.37 o 3842 2.32/1.37 o 3841 2.32/1.38 o 3839 2.32/1.38 o 3837 2.32/1.38 o 3835 2.32/1.38 o 3803 2.32/1.38 o 3801 2.32/1.38 o 3799 2.32/1.38 o 3797 2.32/1.38 o 3795 2.32/1.38 o 3794 2.32/1.38 o 3792 2.32/1.38 o 3789 2.32/1.38 o 3787 2.32/1.38 o 3786 2.32/1.39 o 3785 2.32/1.39 o 3784 2.32/1.39 o 3783 2.32/1.39 o 3782 2.32/1.39 o 3780 2.32/1.39 o 3779 2.32/1.39 o 3778 2.32/1.39 o 3774 2.32/1.39 o 3766 2.32/1.39 o 3765 2.32/1.39 o 3762 2.32/1.39 o 3761 2.32/1.39 o 3760 2.32/1.39 o 3759 2.32/1.39 o 3758 2.32/1.39 o 3757 2.32/1.39 o 3756 2.32/1.39 o 3755 2.32/1.39 o 3754 2.32/1.39 o 3753 2.32/1.39 o 3744 2.32/1.39 o 3742 2.32/1.39 o 3741 2.32/1.39 o 3740 2.32/1.39 o 3739 2.32/1.39 o 3722 2.32/1.39 o 3720 2.32/1.39 o 3718 2.32/1.39 o 3710 2.32/1.39 o 3707 2.32/1.40 o 3706 2.32/1.40 o 3705 2.32/1.40 o 3704 2.32/1.40 o 3703 2.32/1.40 o 3701 2.32/1.40 o 3699 2.32/1.40 o 3685 2.32/1.40 o 3677 2.32/1.40 o 3673 2.71/1.41 o 3669 2.71/1.41 o 3659 2.71/1.41 o 3654 2.71/1.41 o 3650 2.71/1.41 o 3648 2.71/1.41 o 3646 2.71/1.41 o 3642 2.71/1.41 o 3641 2.71/1.41 o 3640 2.71/1.41 o 3639 2.71/1.41 o 3638 2.71/1.41 o 3611 2.71/1.41 o 3578 2.71/1.41 o 3570 2.71/1.41 o 3562 2.71/1.41 o 3561 2.71/1.41 o 3559 2.71/1.41 o 3553 2.71/1.41 o 3552 2.71/1.41 o 3550 2.71/1.42 o 3549 2.71/1.42 o 3540 2.71/1.42 o 3538 2.71/1.43 o 3537 2.71/1.43 o 3536 2.71/1.45 o 3535 2.71/1.45 o 3534 2.71/1.45 o 3533 2.71/1.45 o 3532 2.71/1.46 o 3531 2.71/1.49 o 3530 3.01/1.52 o 3529 3.01/1.52 o 3528 3.01/1.52 o 3527 3.01/1.52 o 3526 3.01/1.52 o 3525 3.01/1.52 o 3524 3.01/1.52 o 3522 3.01/1.52 o 3518 3.01/1.52 o 3516 3.01/1.52 o 3515 3.01/1.52 o 3514 3.01/1.52 o 3503 3.01/1.52 o 3502 3.01/1.52 o 3501 3.01/1.52 o 3500 3.01/1.52 o 3499 3.01/1.52 o 3498 3.01/1.52 o 3497 3.01/1.52 o 3496 3.01/1.52 o 3495 3.01/1.52 o 3494 3.01/1.52 o 3493 3.01/1.52 o 3492 3.01/1.52 o 3491 3.01/1.52 o 3490 3.01/1.53 o 3489 3.01/1.53 o 3488 3.01/1.53 o 3487 3.01/1.53 o 3486 3.01/1.53 o 3485 3.01/1.53 o 3484 3.01/1.53 o 3483 3.01/1.53 o 3482 3.01/1.53 o 3481 3.01/1.54 o 3480 3.01/1.54 o 3479 3.01/1.55 o 3478 3.01/1.55 o 3476 3.01/1.55 o 3471 3.01/1.55 o 3469 3.01/1.55 o 3468 3.01/1.55 o 3467 3.01/1.56 o 3466 3.01/1.56 o 3465 3.01/1.56 o 3464 3.01/1.56 o 3446 3.01/1.56 o 3445 3.01/1.56 o 3434 3.01/1.56 o 3423 3.01/1.56 o 3422 3.01/1.56 o 3421 3.01/1.56 o 3420 3.01/1.56 o 3419 3.01/1.56 o 3418 3.01/1.56 o 3417 3.01/1.56 o 3416 3.01/1.56 o 3415 3.01/1.56 o 3414 3.01/1.57 o 3413 3.29/1.61 o 3412 3.29/1.61 o 3411 3.29/1.65 o 3399 3.29/1.65 o 3397 3.29/1.65 o 3395 3.29/1.65 o 3394 3.29/1.65 o 3392 3.29/1.65 o 3391 3.29/1.65 o 3389 3.29/1.65 o 3380 3.29/1.65 o 3378 3.29/1.65 o 3376 3.29/1.65 o 3375 3.29/1.65 o 3374 3.29/1.65 o 3373 3.29/1.65 o 3372 3.29/1.66 o 3371 3.29/1.66 o 3370 3.29/1.66 o 3369 3.29/1.68 o 3368 3.29/1.69 o 3367 3.29/1.69 o 3366 3.29/1.69 o 3365 3.88/1.81 o 3363 3.88/1.81 o 3362 3.88/1.81 o 3358 3.88/1.81 o 3357 3.88/1.81 o 3356 3.88/1.81 o 3355 3.88/1.81 o 3354 3.88/1.81 o 3352 3.88/1.81 o 3351 3.88/1.81 o 3343 3.88/1.82 o 3342 3.88/1.82 o 3341 3.88/1.86 o 3340 4.11/2.03 o 3339 4.11/2.03 o 3338 4.21/2.15 o 3337 4.31/2.22 o 3336 4.31/2.22 o 3335 4.31/2.22 o 3334 4.31/2.22 o 3333 4.31/2.22 o 3328 4.31/2.22 o 3327 4.31/2.22 o 3325 4.31/2.22 o 3324 4.31/2.22 o 3323 4.31/2.22 o 3322 4.31/2.22 o 3321 4.31/2.22 o 3320 4.31/2.23 o 3319 4.31/2.23 o 3318 4.31/2.23 o 3310 4.31/2.23 o 3309 4.31/2.23 o 3308 4.31/2.23 o 3307 4.31/2.23 o 3306 4.31/2.23 o 3305 4.31/2.23 o 3291 4.31/2.23 o 3290 4.31/2.23 o 3289 4.31/2.23 o 3286 4.31/2.23 o 3285 4.31/2.23 o 3284 4.31/2.23 o 3282 4.31/2.23 o 3281 4.31/2.23 o 3280 4.31/2.23 o 3275 4.31/2.23 o 3274 4.31/2.23 o 3273 4.31/2.23 o 3272 4.31/2.23 o 3271 4.31/2.24 o 3270 4.31/2.24 o 3269 4.31/2.24 o 3267 4.31/2.24 o 3265 4.31/2.24 o 3261 4.31/2.24 o 3260 4.31/2.24 o 3259 4.31/2.24 o 3258 4.31/2.24 o 3257 4.31/2.25 o 3256 4.31/2.25 o 3255 4.31/2.25 o 3253 4.31/2.26 o 3251 4.31/2.29 o 3249 4.31/2.29 o 3243 4.31/2.29 o 3242 4.31/2.29 o 3241 4.31/2.29 o 3240 4.31/2.29 o 3238 4.31/2.29 o 3237 4.31/2.29 o 3235 4.31/2.29 o 3234 4.31/2.29 o 3233 4.31/2.29 o 3230 4.31/2.29 o 3229 4.31/2.29 o 3228 4.31/2.29 o 3226 4.31/2.29 o 3219 4.31/2.29 o 3218 4.31/2.29 o 3217 4.31/2.29 o 3215 4.31/2.29 o 3213 4.31/2.29 o 3211 4.31/2.29 o 3210 4.31/2.29 o 3209 4.31/2.29 o 3207 4.31/2.29 o 3204 4.31/2.29 o 3203 4.31/2.29 o 3202 4.31/2.29 o 3201 4.31/2.29 o 3200 4.31/2.29 o 3199 4.31/2.29 o 3198 4.31/2.29 o 3197 4.31/2.29 o 3196 4.31/2.29 o 3194 4.31/2.29 o 3190 4.31/2.29 o 3187 4.31/2.29 o 3186 4.50/2.30 o 3184 4.50/2.30 o 3183 4.50/2.30 o 3180 4.50/2.30 o 3166 4.50/2.30 o 3162 4.50/2.30 o 3161 4.50/2.30 o 3160 4.50/2.30 o 3159 4.50/2.30 o 3156 4.50/2.30 o 3146 4.50/2.30 o 3129 4.50/2.31 o 3117 4.50/2.31 o 3110 4.50/2.31 o 3101 4.50/2.31 o 3096 4.50/2.32 o 3095 4.50/2.32 o 3094 4.50/2.32 o 3092 4.50/2.32 o 3090 4.50/2.32 o 3088 4.50/2.32 o 3070 4.50/2.33 o 3068 4.50/2.33 o 3067 4.50/2.33 o 3064 4.50/2.34 o 3063 4.50/2.34 o 3062 4.50/2.35 o 3061 4.50/2.36 o 3060 4.50/2.36 o 3053 4.50/2.36 o 3044 4.50/2.36 o 3038 4.50/2.36 o 3035 4.50/2.36 o 3034 4.50/2.37 o 3033 4.50/2.37 o 3031 4.50/2.37 o 3030 4.50/2.37 o 3028 4.50/2.39 o 3027 4.50/2.39 o 3018 4.50/2.39 o 3014 4.50/2.39 o 3012 4.50/2.39 o 3010 4.50/2.39 o 3006 4.50/2.39 o 3003 4.50/2.39 o 3002 4.50/2.39 o 2986 4.50/2.39 o 2985 4.50/2.39 o 2978 4.50/2.39 o 2977 4.50/2.40 o 2976 4.50/2.40 o 2975 4.83/2.41 o 2974 4.83/2.41 o 2973 4.83/2.42 o 2972 4.83/2.46 o 2950 4.83/2.46 o 2949 4.83/2.46 o 2922 4.83/2.46 o 2921 4.83/2.46 o 2913 4.83/2.46 o 2912 4.83/2.46 o 2911 4.83/2.46 o 2910 4.83/2.47 o 2909 4.83/2.50 o 2908 4.97/2.54 o 2906 4.97/2.54 o 2902 4.97/2.54 o 2901 4.97/2.54 o 2900 4.97/2.54 o 2899 4.97/2.54 o 2898 4.97/2.54 o 2897 4.97/2.54 o 2896 4.97/2.54 o 2895 4.97/2.54 o 2894 4.97/2.54 o 2893 4.97/2.54 o 2892 4.97/2.54 o 2890 4.97/2.54 o 2889 4.97/2.54 o 2888 4.97/2.54 o 2887 4.97/2.54 o 2886 4.97/2.54 o 2884 4.97/2.55 o 2883 4.97/2.56 o 2882 5.08/2.67 o 2880 5.08/2.67 o 2879 5.08/2.67 o 2878 5.08/2.67 o 2877 5.08/2.67 o 2876 5.08/2.67 o 2875 5.08/2.67 o 2874 5.08/2.67 o 2873 5.08/2.67 o 2872 5.08/2.68 o 2871 5.21/2.70 o 2870 5.21/2.70 o 2869 5.21/2.72 o 2868 5.39/2.83 o 2867 5.39/2.83 o 2866 5.39/2.86 o 2864 5.39/2.86 o 2859 5.39/2.86 o 2854 5.39/2.86 o 2852 5.39/2.86 o 2850 5.39/2.86 o 2848 5.39/2.86 o 2847 5.39/2.86 o 2836 5.39/2.86 o 2835 5.39/2.86 o 2834 5.39/2.86 o 2833 5.39/2.86 o 2832 5.39/2.86 o 2831 5.39/2.86 o 2830 5.39/2.86 o 2829 5.39/2.86 o 2828 5.39/2.87 o 2825 5.39/2.87 o 2822 5.39/2.87 o 2821 5.39/2.87 o 2818 5.39/2.87 o 2817 5.39/2.87 o 2795 5.39/2.87 o 2794 5.39/2.87 o 2793 5.39/2.87 o 2792 5.39/2.87 o 2791 5.39/2.87 o 2790 5.39/2.87 o 2789 5.39/2.87 o 2788 5.39/2.87 o 2787 5.39/2.87 o 2786 5.49/2.90 o 2785 5.49/2.90 o 2784 5.49/2.98 o 2783 5.70/3.18 o 2781 5.70/3.19 o 2780 5.80/3.27 o 2779 5.80/3.28 o 2778 5.80/3.28 o 2777 5.80/3.28 o 2775 5.80/3.28 o 2773 5.80/3.28 o 2771 5.80/3.28 o 2769 5.80/3.28 o 2766 5.80/3.28 o 2764 5.80/3.28 o 2754 5.80/3.28 o 2725 5.80/3.28 o 2717 5.80/3.28 o 2716 5.80/3.28 o 2715 5.80/3.28 o 2714 5.80/3.28 o 2712 5.80/3.28 o 2710 5.80/3.28 o 2707 6.48/3.81 o 2706 6.48/3.81 o 2705 6.48/3.81 o 2704 6.48/3.81 o 2703 6.48/3.81 o 2702 6.48/3.81 o 2701 6.48/3.81 o 2700 6.58/3.95 o 2699 6.58/3.95 o 2698 6.58/3.95 o 2697 6.58/3.98 o 2696 6.58/3.98 o 2695 6.99/4.36 o 2694 6.99/4.36 o 2693 7.61/4.81 o 2692 7.61/4.87 o 2691 7.61/4.89 o 2690 7.61/4.89 o 2689 7.61/4.89 o 2688 7.61/4.89 o 2687 7.61/4.89 o 2686 7.61/4.89 o 2685 7.61/4.89 o 2684 8.65/5.85 o 2683 8.65/5.85 o 2682 8.65/5.85 o 2681 8.65/5.85 o 2680 8.65/5.85 o 2679 8.65/5.85 o 2677 8.65/5.85 o 2676 8.65/5.86 o 2675 8.65/5.86 o 2674 8.65/5.86 o 2673 8.65/5.86 o 2672 8.65/5.86 o 2671 8.65/5.87 o 2670 8.65/5.87 o 2669 8.76/5.90 o 2668 8.76/5.90 o 2667 8.76/5.90 o 2666 8.76/5.96 o 2665 8.87/6.01 o 2664 8.87/6.03 o 2662 8.96/6.16 o 2661 8.96/6.19 o 2660 9.06/6.20 o 2659 9.06/6.20 o 2658 9.06/6.20 o 2657 9.06/6.25 o 2656 9.06/6.26 o 2655 9.06/6.26 o 2654 9.16/6.33 o 2653 9.27/6.44 o 2652 9.66/6.88 o 2643 9.66/6.88 o 2636 9.66/6.88 o 2632 9.66/6.88 o 2631 9.66/6.88 o 2629 9.66/6.88 o 2628 9.66/6.88 o 2627 9.66/6.88 o 2626 9.66/6.88 o 2625 9.66/6.88 o 2624 9.66/6.88 o 2623 9.66/6.88 o 2622 9.66/6.88 o 2621 9.66/6.88 o 2620 9.66/6.88 o 2617 9.66/6.88 o 2616 9.66/6.88 o 2615 9.66/6.88 o 2601 9.66/6.88 o 2600 9.66/6.88 o 2599 9.66/6.88 o 2594 9.66/6.88 o 2593 9.66/6.88 o 2592 9.66/6.88 o 2588 9.66/6.88 o 2587 9.66/6.88 o 2586 9.66/6.88 o 2584 9.66/6.88 o 2583 9.66/6.88 o 2582 9.66/6.88 o 2581 9.66/6.88 o 2580 9.66/6.88 o 2579 9.76/6.90 o 2578 9.76/6.90 o 2577 9.76/6.90 o 2575 9.76/6.90 o 2574 9.76/6.90 o 2573 9.76/6.91 o 2572 9.76/6.97 o 2571 9.76/6.97 o 2570 9.76/6.97 o 2569 9.86/7.01 o 2568 9.86/7.01 o 2567 10.28/7.49 o 2566 10.28/7.49 o 2564 10.28/7.50 o 2563 10.38/7.51 o 2562 10.38/7.52 o 2561 10.47/7.64 o 2560 10.47/7.64 o 2559 10.47/7.64 o 2558 10.47/7.64 o 2557 10.47/7.64 o 2555 10.47/7.64 o 2553 10.47/7.64 o 2552 10.47/7.64 o 2551 10.47/7.64 o 2549 10.47/7.64 o 2548 10.47/7.65 o 2546 10.47/7.65 o 2545 10.47/7.65 o 2544 10.47/7.65 o 2543 10.47/7.65 o 2542 10.67/7.84 o 2541 10.67/7.84 o 2539 10.98/8.10 o 2537 10.98/8.10 o 2536 10.98/8.10 o 2532 10.98/8.10 o 2530 10.98/8.10 o 2529 10.98/8.10 o 2528 10.98/8.10 o 2521 10.98/8.10 o 2520 10.98/8.10 o 2518 10.98/8.10 o 2515 10.98/8.10 o 2513 10.98/8.10 o 2511 10.98/8.10 o 2510 10.98/8.10 o 2473 10.98/8.10 o 2470 10.98/8.11 o 2469 10.98/8.11 o 2466 10.98/8.11 o 2465 10.98/8.11 o 2464 11.08/8.24 o 2463 11.08/8.24 o 2462 11.08/8.24 o 2461 11.08/8.24 o 2460 11.08/8.24 o 2459 11.59/8.79 o 2455 11.59/8.79 o 2453 11.59/8.79 o 2450 11.59/8.79 o 2448 11.59/8.79 o 2445 11.59/8.79 o 2442 11.59/8.79 o 2399 11.59/8.79 o 2381 11.59/8.79 o 2379 11.59/8.79 o 2377 11.59/8.79 o 2376 11.59/8.79 o 2375 11.59/8.79 o 2374 11.69/8.83 o 2373 11.69/8.83 o 2372 11.69/8.83 o 2371 11.69/8.83 o 2370 11.69/8.90 o 2369 11.69/8.90 o 2367 11.69/8.90 o 2362 11.69/8.90 o 2361 11.69/8.90 o 2355 11.69/8.90 o 2353 11.69/8.90 o 2351 11.79/8.90 o 2347 11.79/8.90 o 2346 11.79/8.90 o 2340 11.79/8.90 o 2338 11.79/8.90 o 2336 11.79/8.90 o 2334 11.79/8.90 o 2333 11.79/8.90 o 2332 11.79/8.90 o 2331 11.79/8.90 o 2330 11.79/8.91 o 2328 11.79/8.91 o 2327 11.79/8.92 o 2326 11.79/8.95 o 2325 11.79/8.95 o 2324 11.79/8.95 o 2322 11.79/8.95 o 2321 11.79/8.97 o 2320 11.89/9.03 o 2317 11.89/9.03 o 2316 11.89/9.03 o 2311 11.89/9.03 o 2310 11.89/9.03 o 2309 11.89/9.03 o 2308 11.89/9.03 o 2307 11.89/9.03 o 2305 11.89/9.03 o 2304 11.89/9.03 o 2302 11.89/9.03 o 2301 11.89/9.03 o 2300 11.89/9.03 o 2298 11.89/9.03 o 2297 11.89/9.03 o 2296 11.89/9.04 o 2263 11.89/9.04 o 2262 11.89/9.04 o 2261 11.89/9.04 o 2260 11.89/9.04 o 2259 11.89/9.04 o 2258 11.89/9.04 o 2257 11.89/9.04 o 2256 11.89/9.04 o 2255 11.89/9.04 o 2254 11.89/9.04 o 2253 11.89/9.05 o 2252 11.89/9.05 o 2251 11.99/9.20 o 2233 11.99/9.20 o 2231 12.09/9.20 o 2229 12.09/9.20 o 2225 12.09/9.20 o 2223 12.09/9.20 o 2221 12.09/9.20 o 2220 12.09/9.20 o 2218 12.09/9.20 o 2216 12.09/9.20 o 2194 12.09/9.20 o 2192 12.09/9.20 o 2190 12.09/9.20 o 2188 12.09/9.20 o 2186 12.09/9.20 o 2185 12.09/9.21 o 2184 12.09/9.21 o 2183 12.09/9.22 o 2182 12.09/9.22 o 2181 12.09/9.22 o 2180 12.09/9.23 o 2179 12.09/9.24 o 2178 12.19/9.38 o 2177 12.19/9.38 o 2174 12.19/9.38 o 2170 12.19/9.38 o 2169 12.19/9.38 o 2162 12.19/9.38 o 2161 12.19/9.38 o 2160 12.19/9.38 o 2159 12.19/9.38 o 2158 12.19/9.38 o 2157 12.19/9.38 o 2156 12.19/9.38 o 2155 12.19/9.39 o 2153 12.19/9.39 o 2152 12.19/9.40 o 2150 12.40/9.52 o 2149 12.40/9.52 o 2148 12.40/9.52 o 2147 12.49/9.62 o 2146 12.49/9.62 o 2145 12.49/9.62 o 2144 12.49/9.62 o 2143 12.49/9.62 o 2142 12.49/9.62 o 2140 12.49/9.62 o 2139 12.49/9.62 o 2138 12.49/9.62 o 2136 12.49/9.62 o 2131 12.49/9.62 o 2129 12.49/9.62 o 2126 12.49/9.64 o 2125 12.79/9.93 o 2124 12.89/10.00 o 2123 12.89/10.09 o 2122 12.89/10.09 o 2121 12.89/10.09 o 2120 12.89/10.09 o 2119 12.89/10.09 o 2117 12.89/10.09 o 2113 12.89/10.10 o 2111 12.89/10.10 o 2109 12.99/10.10 o 2108 12.99/10.17 o 2107 13.09/10.21 o 2106 13.09/10.26 o 2105 13.31/10.42 o 2104 13.31/10.42 o 2101 13.31/10.42 o 2092 13.31/10.42 o 2089 13.31/10.42 o 2086 13.31/10.42 o 2085 13.31/10.42 o 2078 13.31/10.42 o 2077 13.31/10.42 o 2075 13.31/10.42 o 2074 13.31/10.42 o 2073 13.31/10.42 o 2072 13.31/10.42 o 2060 13.31/10.42 o 2059 13.31/10.42 o 2055 13.31/10.42 o 2053 13.31/10.42 o 2052 13.31/10.43 o 2051 13.31/10.43 o 2049 13.41/10.52 o 2048 13.41/10.53 o 2047 13.60/10.80 o 2045 13.80/10.93 o 2044 14.10/11.20 o 2043 14.10/11.20 o 2042 14.10/11.23 o 2041 14.20/11.39 o 2040 14.20/11.40 o 2039 14.20/11.40 o 2038 14.31/11.41 o 2037 14.31/11.42 o 2036 14.31/11.42 o 2035 14.31/11.42 o 2034 14.31/11.44 o 2033 14.31/11.45 o 2032 14.31/11.46 o 2031 14.31/11.46 o 2030 14.31/11.46 o 2029 14.31/11.46 o 2028 14.31/11.47 o 2027 14.42/11.51 o 2026 14.51/11.61 o 2025 14.51/11.67 o 2020 14.51/11.67 o 2017 14.51/11.67 o 2016 14.51/11.67 o 2013 14.51/11.67 o 2011 14.51/11.67 o 2007 14.51/11.67 o 2005 14.51/11.67 o 1998 14.51/11.67 o 1996 14.51/11.67 o 1994 14.51/11.67 o 1993 14.51/11.67 o 1991 14.51/11.67 o 1990 14.51/11.67 o 1988 14.51/11.67 o 1987 14.51/11.67 o 1986 14.51/11.67 o 1985 14.51/11.68 o 1984 14.51/11.68 o 1983 14.51/11.68 o 1982 14.51/11.68 o 1981 14.51/11.68 o 1980 14.61/11.71 o 1979 14.61/11.71 o 1978 14.61/11.74 o 1977 14.61/11.75 o 1976 14.71/11.82 o 1975 14.71/11.82 o 1940 14.71/11.82 o 1938 14.71/11.82 o 1934 14.71/11.82 o 1926 14.71/11.82 o 1925 14.71/11.83 o 1924 14.71/11.83 o 1923 14.71/11.83 o 1921 14.71/11.83 o 1920 14.71/11.83 o 1918 14.71/11.83 o 1917 14.71/11.83 o 1916 14.71/11.83 o 1915 14.71/11.85 o 1914 14.71/11.85 o 1913 14.71/11.85 o 1912 14.71/11.88 o 1911 14.71/11.89 o 1910 14.71/11.90 o 1909 14.71/11.90 o 1908 14.81/11.94 o 1907 14.81/11.94 o 1906 14.81/11.96 o 1905 15.01/12.16 o 1904 15.11/12.20 o 1903 15.42/12.52 o 1879 15.42/12.52 o 1878 15.42/12.52 o 1858 15.42/12.52 o 1857 15.42/12.52 o 1851 15.42/12.52 o 1850 15.42/12.52 o 1849 15.42/12.52 o 1848 15.42/12.52 o 1847 15.42/12.58 o 1846 15.61/12.70 o 1845 15.61/12.70 o 1844 15.61/12.71 o 1843 15.61/12.71 o 1842 15.61/12.71 o 1841 15.61/12.71 o 1840 15.61/12.75 o 1839 15.61/12.76 o 1824 15.61/12.76 o 1822 15.61/12.77 o 1821 15.71/12.87 o 1819 15.71/12.87 o 1818 15.71/12.88 o 1817 15.81/12.95 o 1816 15.91/13.02 o 1814 15.91/13.02 o 1813 16.01/13.11 o 1812 16.82/13.99 o 1799 16.82/13.99 o 1769 16.82/13.99 o 1749 16.82/13.99 o 1748 16.82/13.99 o 1745 16.92/14.01 o 1733 16.92/14.01 o 1732 16.92/14.01 o 1689 16.92/14.01 o 1688 16.92/14.01 o 1679 16.92/14.01 o 1675 16.92/14.01 o 1673 16.92/14.01 o 1672 16.92/14.01 o 1671 16.92/14.01 o 1670 16.92/14.01 o 1669 16.92/14.01 o 1666 16.92/14.02 o 1665 16.92/14.03 o 1664 16.92/14.05 o 1663 17.22/14.30 o 1661 17.22/14.36 o 1659 17.22/14.37 o 1658 17.22/14.38 o 1656 17.22/14.39 o 1654 17.22/14.40 o 1653 17.22/14.40 o 1651 17.43/14.59 o 1649 21.24/18.34 o 1648 21.35/18.43 o 1647 21.35/18.43 o 1646 21.35/18.45 o 1645 21.35/18.47 o 1644 21.35/18.47 o 1643 21.35/18.48 o 1642 21.35/18.48 o 1641 21.35/18.48 o 1640 21.54/18.60 o 1639 21.54/18.66 o 1638 21.54/18.66 o 1637 21.64/18.70 o 1636 21.64/18.70 o 1635 21.64/18.70 o 1634 21.74/18.83 o 1633 21.74/18.83 o 1632 21.74/18.84 o 1631 21.74/18.86 o 1630 21.74/18.89 o 1629 21.74/18.89 o 1628 21.74/18.89 o 1627 21.84/18.91 o 1626 21.84/18.93 o 1625 21.84/18.93 o 1624 21.84/18.93 o 1623 21.84/18.93 o 1622 21.84/18.93 o 1621 21.84/18.93 o 1620 21.84/18.96 o 1619 21.84/18.96 o 1618 21.84/18.96 o 1617 21.84/18.97 o 1616 21.84/18.99 o 1615 21.94/19.01 o 1614 21.94/19.01 o 1613 21.94/19.01 o 1612 21.94/19.03 o 1611 21.94/19.06 o 1610 21.94/19.06 o 1609 21.94/19.06 o 1608 21.94/19.06 o 1607 23.45/20.51 o 1606 23.45/20.51 o 1604 23.45/20.51 o 1603 23.45/20.51 o 1602 23.45/20.52 o 1601 23.45/20.53 o 1600 23.45/20.54 o 1599 23.55/20.62 o 1598 23.55/20.62 o 1597 23.55/20.65 o 1596 23.55/20.66 o 1595 23.55/20.66 o 1593 23.65/20.76 o 1592 24.85/21.92 o 1591 24.85/21.92 o 1590 24.85/21.92 o 1589 24.85/21.92 o 1588 24.85/21.92 o 1587 24.85/21.92 o 1586 24.85/21.97 o 1585 25.26/22.34 o 1584 25.26/22.34 o 1583 25.26/22.36 o 1581 25.37/22.41 o 1579 25.37/22.49 o 1578 25.48/22.53 o 1576 25.48/22.53 o 1575 26.99/24.08 o 1573 27.09/24.15 o 1572 27.09/24.15 o 1570 27.09/24.16 o 1568 27.09/24.19 o 1566 27.09/24.19 o 1565 27.09/24.19 o 1564 27.09/24.19 o 1563 27.09/24.19 o 1560 27.09/24.19 o 1558 28.60/25.68 o 1528 28.60/25.68 o 1526 28.60/25.68 o 1524 28.60/25.70 o 1522 28.60/25.70 o 1521 28.70/25.70 o 1520 28.70/25.70 o 1519 28.70/25.74 o 1518 28.70/25.74 o 1517 28.70/25.78 o 1516 29.52/26.56 o 1515 29.52/26.56 o 1514 29.52/26.56 o 1513 29.52/26.56 o 1512 29.52/26.56 o 1511 29.52/26.56 o 1510 29.52/26.56 o 1506 29.52/26.56 o 1505 29.52/26.56 o 1493 29.52/26.56 o 1492 29.52/26.56 o 1491 29.52/26.57 o 1483 29.52/26.57 o 1482 29.52/26.57 o 1475 29.52/26.57 o 1474 29.52/26.57 o 1470 29.52/26.57 o 1469 29.52/26.57 o 1468 29.52/26.57 o 1467 29.52/26.57 o 1465 29.52/26.57 o 1464 29.52/26.57 o 1463 29.52/26.57 o 1462 29.52/26.57 o 1461 29.61/26.69 o 1460 29.61/26.69 o 1459 29.61/26.69 o 1458 29.71/26.70 o 1457 29.71/26.71 o 1455 29.71/26.77 o 1454 29.71/26.78 o 1453 29.71/26.78 o 1452 30.11/27.16 o 1451 30.31/27.32 o 1450 30.31/27.37 o 1446 30.31/27.37 o 1443 30.31/27.37 o 1437 30.31/27.37 o 1434 30.31/27.37 o 1428 30.31/27.37 o 1421 30.31/27.37 o 1413 30.31/27.37 o 1409 30.31/27.37 o 1407 30.31/27.37 o 1404 30.31/27.37 o 1400 30.31/27.37 o 1399 30.31/27.38 o 1398 30.31/27.38 o 1397 30.31/27.38 o 1396 30.52/27.56 o 1395 30.52/27.58 o 1394 30.82/27.86 o 1335 30.82/27.86 o 1326 30.82/27.86 o 1324 30.82/27.86 o 1323 30.82/27.86 o 1322 30.82/27.86 o 1321 30.82/27.87 o 1320 30.82/27.88 o 1319 30.92/27.92 o 1318 30.92/27.92 o 1317 30.92/27.96 o 1316 30.92/27.96 o 1315 31.02/28.09 o 1314 31.82/28.80 o 1312 31.82/28.80 o 1311 32.82/29.81 o 1310 32.82/29.81 o 1309 32.82/29.81 o 1308 32.82/29.85 o 1307 32.82/29.86 o 1306 32.92/29.96 o 1305 32.92/29.96 o 1304 33.02/30.01 o 1303 33.02/30.01 o 1302 33.12/30.11 o 1300 33.12/30.11 o 1299 33.12/30.11 o 1298 33.23/30.20 o 1296 33.23/30.21 o 1293 33.23/30.24 o 1292 33.54/30.51 o 1291 33.54/30.51 o 1288 33.54/30.51 o 1284 33.54/30.51 o 1283 33.54/30.51 o 1282 33.54/30.51 o 1281 33.54/30.51 o 1279 33.54/30.51 o 1275 33.54/30.51 o 1273 33.54/30.51 o 1272 33.54/30.51 o 1271 33.54/30.51 o 1270 33.54/30.51 o 1267 33.54/30.51 o 1266 33.54/30.51 o 1265 33.54/30.51 o 1263 33.54/30.51 o 1262 33.54/30.51 o 1261 33.54/30.51 o 1260 33.54/30.51 o 1259 33.54/30.51 o 1258 33.54/30.51 o 1257 33.54/30.51 o 1256 33.54/30.51 o 1233 33.54/30.51 o 1232 33.54/30.52 o 1231 33.54/30.52 o 1230 33.54/30.52 o 1229 33.54/30.52 o 1228 33.54/30.52 o 1227 33.54/30.52 o 1226 33.54/30.52 o 1225 33.54/30.53 o 1224 33.54/30.53 o 1223 33.54/30.53 o 1222 33.54/30.55 o 1221 33.54/30.55 o 1220 33.64/30.60 o 1219 33.64/30.60 o 1218 33.64/30.66 o 1217 33.64/30.66 o 1216 33.64/30.66 o 1215 33.64/30.66 o 1214 33.64/30.67 o 1213 34.04/31.08 o 1212 34.04/31.08 o 1211 34.14/31.10 o 1210 34.14/31.16 o 1209 34.14/31.16 o 1208 34.14/31.16 o 1207 34.24/31.27 o 1192 34.24/31.27 o 1191 34.24/31.27 o 1190 34.24/31.27 o 1188 34.24/31.27 o 1186 34.24/31.27 o 1185 34.24/31.27 o 1184 34.24/31.27 o 1181 34.24/31.28 o 1180 34.24/31.28 o 1179 34.24/31.29 o 1177 35.14/32.11 o 1175 35.14/32.12 o 1174 35.14/32.12 o 1173 35.65/32.65 o 1171 37.35/34.31 o 1167 37.35/34.31 o 1163 37.35/34.31 o 1160 37.35/34.31 o 1157 37.35/34.31 o 1152 37.35/34.31 o 1151 37.35/34.31 o 1150 37.35/34.31 o 1149 37.35/34.31 o 1148 37.35/34.31 o 1147 37.35/34.31 o 1146 37.35/34.31 o 1145 37.35/34.31 o 1144 37.35/34.31 o 1143 37.35/34.31 o 1142 37.35/34.31 o 1141 37.35/34.31 o 1140 37.35/34.31 o 1139 37.35/34.31 o 1138 37.35/34.31 o 1137 37.35/34.31 o 1136 37.35/34.32 o 1130 37.35/34.32 o 1128 37.35/34.32 o 1127 37.35/34.32 o 1123 37.35/34.32 o 1122 37.35/34.32 o 1121 37.35/34.32 o 1120 37.35/34.32 o 1119 37.35/34.32 o 1118 37.35/34.32 o 1117 37.35/34.32 o 1111 37.35/34.32 o 1110 37.35/34.32 o 1109 37.35/34.32 o 1108 37.35/34.32 o 1107 37.35/34.32 o 1106 37.35/34.32 o 1105 37.35/34.32 o 1104 37.35/34.32 o 1103 37.35/34.36 o 1102 37.35/34.36 o 1100 37.35/34.36 o 1097 37.35/34.36 o 1096 37.35/34.36 o 1094 37.35/34.36 o 1093 37.35/34.37 o 1092 37.35/34.38 o 1091 37.35/34.38 o 1090 37.47/34.49 o 1088 37.57/34.51 o 1087 37.57/34.57 o 1086 37.57/34.57 o 1085 38.06/35.04 o 1084 38.06/35.04 o 1083 38.06/35.05 o 1082 38.06/35.06 o 1081 38.06/35.06 o 1080 38.06/35.06 o 1079 38.66/35.64 o 1078 38.66/35.65 o 1077 38.86/35.80 o 1075 38.86/35.81 o 1074 38.86/35.83 o 1071 39.49/36.47 o 1070 39.59/36.51 o 1069 39.98/36.93 o 1068 39.98/36.93 o 1067 39.98/36.93 o 1066 39.98/36.93 o 1065 39.98/36.93 o 1063 39.98/36.93 o 1062 39.98/36.94 o 1060 39.98/36.94 o 1059 39.98/36.94 o 1048 39.98/36.94 o 1047 39.98/36.94 o 1036 39.98/36.94 o 1035 39.98/36.94 o 1034 39.98/36.94 o 1033 39.98/36.94 o 1032 39.98/36.94 o 1031 39.98/36.94 o 1030 39.98/36.94 o 1029 40.08/37.01 o 1028 40.08/37.01 o 1026 40.08/37.01 o 1025 40.08/37.06 o 1024 40.08/37.07 o 1023 40.08/37.07 o 1022 40.18/37.10 o 1020 40.18/37.10 o 1019 41.29/38.24 o 1018 41.29/38.24 o 1017 42.20/39.17 o 1016 42.20/39.17 o 1014 42.20/39.17 o 1013 42.20/39.17 o 1012 42.20/39.17 o 1011 42.20/39.17 o 1010 42.20/39.17 o 1009 42.20/39.17 o 1008 42.20/39.17 o 1007 42.20/39.17 o 1005 42.20/39.18 o 1004 42.20/39.18 o 1003 42.20/39.18 o 1002 42.20/39.18 o 1001 42.20/39.18 o 1000 42.20/39.18 o 999 42.20/39.19 o 996 42.20/39.19 o 995 42.20/39.19 o 994 42.20/39.19 o 993 42.20/39.19 o 992 42.20/39.19 o 990 42.30/39.20 o 989 42.30/39.24 o 987 42.30/39.24 o 986 42.30/39.24 o 984 42.30/39.24 o 983 42.62/39.51 o 943 42.62/39.51 o 942 42.62/39.51 o 940 42.62/39.51 o 938 42.62/39.51 o 937 42.62/39.51 o 933 42.62/39.51 o 932 42.81/39.71 o 931 42.81/39.71 o 930 42.81/39.71 o 929 43.12/40.03 o 928 43.12/40.03 o 927 43.12/40.09 o 926 43.12/40.09 o 925 43.22/40.14 o 923 43.22/40.14 o 922 43.32/40.21 o 921 43.32/40.21 o 920 43.32/40.22 o 919 43.32/40.22 o 918 43.42/40.40 o 916 43.42/40.40 o 915 43.42/40.40 o 914 43.42/40.40 o 911 43.42/40.40 o 910 43.42/40.40 o 909 43.42/40.40 o 908 43.42/40.40 o 907 43.42/40.41 o 896 43.42/40.41 o 895 43.53/40.41 o 894 43.53/40.41 o 892 43.53/40.41 o 891 43.53/40.44 o 889 43.53/40.44 o 888 43.53/40.45 o 887 43.53/40.45 o 886 43.53/40.47 o 885 43.53/40.49 o 884 43.63/40.51 o 881 43.63/40.59 o 880 43.63/40.59 o 879 43.63/40.59 o 878 43.72/40.60 o 875 43.72/40.61 o 874 43.82/40.72 o 873 43.82/40.78 o 871 43.82/40.78 o 870 43.82/40.78 o 868 43.82/40.78 o 867 43.82/40.78 o 865 43.82/40.78 o 864 44.03/40.90 o 862 44.03/40.91 o 860 44.03/40.95 o 859 44.03/40.97 o 857 44.03/40.97 o 852 44.03/40.97 o 851 44.33/41.21 o 847 44.33/41.21 o 846 44.33/41.21 o 844 44.33/41.22 o 843 44.33/41.25 o 841 44.33/41.25 o 838 44.33/41.26 o 837 44.43/41.39 o 836 44.43/41.39 o 835 44.54/41.45 o 834 44.54/41.45 o 833 44.54/41.45 o 831 44.54/41.45 o 830 44.54/41.45 o 828 44.54/41.45 o 827 44.73/41.66 o 826 45.23/42.16 o 825 45.23/42.16 o 824 45.23/42.16 o 823 45.23/42.16 o 822 45.23/42.16 o 821 45.23/42.16 o 820 45.23/42.17 o 819 45.23/42.17 o 818 45.23/42.17 o 817 45.23/42.17 o 816 45.23/42.17 o 815 45.23/42.17 o 814 45.23/42.18 o 813 45.23/42.18 o 811 45.23/42.18 o 810 45.23/42.18 o 809 45.23/42.18 o 808 45.23/42.18 o 807 45.23/42.18 o 805 45.23/42.18 o 804 45.33/42.20 o 802 47.35/44.28 o 801 47.35/44.28 o 800 47.35/44.29 o 799 47.35/44.29 o 798 47.35/44.29 o 796 47.56/44.41 o 795 47.56/44.41 o 794 47.56/44.44 o 793 48.85/45.78 o 792 49.26/46.19 o 791 49.36/46.23 o 790 49.76/46.69 o 789 49.76/46.69 o 788 49.76/46.69 o 787 51.69/48.56 o 786 51.69/48.56 o 783 51.69/48.56 o 780 51.69/48.56 o 778 51.69/48.56 o 777 51.69/48.57 o 720 51.69/48.57 o 719 51.69/48.57 o 716 51.69/48.57 o 715 51.69/48.57 o 699 51.69/48.57 o 698 51.69/48.57 o 696 51.69/48.57 o 695 51.69/48.59 o 693 51.69/48.59 o 692 51.78/48.66 o 690 51.78/48.69 o 689 51.78/48.70 o 687 51.88/48.73 o 686 51.88/48.74 o 684 52.18/49.02 o 683 53.60/50.43 o 682 53.60/50.46 o 681 54.09/50.91 o 680 54.20/51.06 o 677 54.20/51.06 o 675 54.20/51.06 o 674 54.20/51.06 o 663 54.20/51.06 o 662 54.20/51.07 o 658 54.20/51.07 o 657 54.20/51.07 o 655 54.20/51.07 o 654 54.20/51.07 o 653 54.20/51.07 o 652 54.20/51.09 o 649 54.30/51.13 o 648 54.30/51.16 o 646 54.40/51.20 o 643 54.61/51.48 o 642 54.61/51.48 o 638 54.61/51.49 o 636 54.61/51.49 o 635 55.10/51.91 o 634 55.30/52.16 o 633 55.30/52.16 o 632 55.30/52.16 o 631 55.62/52.49 o 630 55.72/52.51 o 629 56.01/52.86 o 628 56.11/52.91 o 627 56.11/52.95 o 626 56.82/53.66 o 625 56.92/53.71 o 624 57.22/54.05 o 621 57.22/54.05 o 618 57.22/54.05 o 615 57.22/54.05 o 614 57.22/54.05 o 613 57.22/54.05 o 612 57.22/54.05 o 611 57.22/54.05 o 608 57.22/54.05 o 607 57.22/54.05 o 606 57.22/54.05 o 605 57.22/54.05 o 604 57.22/54.05 o 603 57.22/54.05 o 602 57.22/54.05 o 601 57.22/54.06 o 600 57.22/54.06 o 599 57.22/54.06 o 597 57.22/54.06 o 596 57.22/54.06 o 594 57.22/54.06 o 593 57.32/54.16 o 592 57.32/54.16 o 591 57.32/54.16 o 587 57.32/54.17 o 586 57.32/54.19 o 585 57.32/54.19 o 584 57.42/54.20 o 583 57.42/54.20 o 582 57.42/54.20 o 581 57.42/54.20 o 579 57.42/54.21 o 578 57.52/54.30 o 564 57.52/54.30 o 547 57.52/54.30 o 541 57.52/54.30 o 540 57.52/54.30 o 539 57.63/54.45 o 538 57.63/54.50 o 537 57.73/54.54 o 536 57.83/54.64 o 535 57.83/54.64 o 534 57.83/54.69 o 533 57.93/54.74 o 532 57.93/54.74 o 531 57.93/54.74 o 530 57.93/54.74 o 529 57.93/54.76 o 528 58.03/54.81 o 527 58.03/54.86 o 526 58.03/54.87 o 525 58.03/54.88 o 524 66.72/63.50 o 523 66.72/63.50 o 522 66.72/63.50 o 520 66.72/63.50 o 505 66.72/63.50 o 504 66.72/63.50 o 503 66.72/63.50 o 502 66.72/63.50 o 501 66.72/63.50 o 500 66.72/63.50 o 498 66.72/63.50 o 496 66.72/63.50 o 495 66.72/63.50 o 493 66.72/63.50 o 454 66.72/63.50 o 452 66.72/63.50 o 450 66.72/63.50 o 441 66.72/63.50 o 438 66.81/63.54 o 437 66.81/63.55 o 436 67.11/63.85 o 435 67.82/64.54 o 434 67.82/64.54 o 432 68.42/65.14 o 431 69.12/65.84 o 429 69.43/66.12 o 428 69.53/66.22 o 426 70.43/67.18 o 425 70.53/67.27 o 424 70.75/67.43 o 423 70.75/67.45 o 422 70.75/67.50 o 421 70.75/67.50 o 420 76.78/73.44 o 419 83.02/79.65 o 418 2060.73/2041.26 o 417 2060.73/2041.26 o 416 2455.97/2432.55 o 415 2456.07/2432.60 o 414 2456.07/2432.62 o 412 2456.17/2432.72 o 411 2456.17/2432.72 o 410 2481.94/2458.28 o 409 2481.94/2458.28 o 408 2481.94/2458.28 o 407 2482.26/2458.55 o 406 2482.35/2458.67 o 405 2484.07/2460.30 o 404 2490.63/2466.83 o 403 2490.63/2466.83 o 401 2490.63/2466.83 o 400 2491.04/2467.26 o 399 2491.35/2467.57 o 398 2491.54/2467.75 o 396 2491.54/2467.77 o 395 2491.65/2467.80 o 394 2491.65/2467.80 o 393 2491.65/2467.84 o 392 2492.66/2468.81 o 391 2492.66/2468.81 o 390 2494.48/2470.69 o 389 2496.09/2472.26 o 387 2496.09/2472.26 o 383 2496.09/2472.26 o 382 2496.09/2472.26 o 375 2496.09/2472.26 o 374 2496.09/2472.26 o 372 2496.09/2472.26 o 371 2496.09/2472.26 o 370 2496.09/2472.26 o 369 2496.09/2472.26 o 364 2496.09/2472.26 o 363 2496.09/2472.26 o 353 2496.09/2472.26 o 352 2496.09/2472.26 o 340 2496.09/2472.26 o 339 2496.09/2472.26 o 338 2496.09/2472.26 o 337 2496.09/2472.26 o 336 2496.09/2472.26 o 335 2496.09/2472.26 o 334 2496.09/2472.26 o 333 2496.09/2472.27 o 332 2496.09/2472.27 o 331 2496.09/2472.27 o 329 2496.09/2472.27 o 327 2496.19/2472.39 o 326 2496.31/2472.43 o 325 2496.31/2472.43 o 324 2496.31/2472.45 o 323 2496.41/2472.53 o 322 2496.41/2472.54 o 321 2496.41/2472.56 o 320 2497.42/2473.58 o 319 2497.61/2473.74 o 318 2497.61/2473.76 o 317 2497.61/2473.76 o 316 2509.75/2485.71 o 314 2509.75/2485.71 o 313 2509.75/2485.71 o 311 2509.75/2485.71 o 310 2509.75/2485.71 o 309 2509.75/2485.71 o 308 2509.75/2485.71 o 306 2509.75/2485.71 o 305 2509.75/2485.72 o 304 2509.75/2485.73 o 303 2509.75/2485.73 o 302 2509.75/2485.73 o 301 2509.75/2485.73 o 300 2509.75/2485.73 o 299 2509.75/2485.77 o 298 2509.75/2485.79 o 297 2509.85/2485.80 o 296 2509.85/2485.80 o 295 2515.12/2491.07 o 294 2520.09/2495.90 s SATISFIABLE 2520.09/2495.90 v <instantiation> 2520.09/2495.90 v <list> 2520.09/2495.90 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] 2520.09/2495.90 v </list> 2520.09/2495.90 v <values> 2520.09/2495.90 v 3 2 0 0 3 2 0 2 4 1 1 1 1 2 2 5 2 1 0 0 0 0 0 0 0 0 0 2 0 4 3 2 62 5 3 3 6 7 1 1 1 1 1 3 1 52 3 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 3 2 4 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 0 2 1 4 68 2520.09/2495.90 v </values> 2520.09/2495.90 v </instantiation>
OK 294
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 (11126 MiB free)
memory of node 1: 16384 MiB (11087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308001-1534283141/watcher-4308001-1534283141 -o /tmp/evaluation-result-4308001-1534283141/solver-4308001-1534283141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30545 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 996712081 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308001-1534283141.xml
running on 4 cores: 0,2,4,6
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=31907, runsolver pid=31904
[startup+0.100164 s]*
/proc/loadavg: 1.26 1.42 1.41 3/219 31922
/proc/meminfo: memFree=22728216/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14082736 memory=31976 CPUtime=0.12 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 6403 0 0 0 11 1 0 0 20 0 15 0 245877251 14420721664 7994 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3520684 7994 3151 1 0 3482761 0
[pid=31907/tid=31909] ppid=31904 vsize=14082736 memory=-8701690554792054394 CPUtime=0.09 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 4441 0 0 0 9 0 0 0 20 0 15 0 245877251 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644975506176 140644955391356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14082736 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14082736 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877253 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245877253 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644443460512 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245877254 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644442407920 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14082736 memory=140263605720704 CPUtime=0.01 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) S 31904 31907 28719 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 245877256 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644438199024 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14082736 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 7994 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31976 KiB
[startup+0.213474 s]*
/proc/loadavg: 1.26 1.42 1.41 5/219 31922
/proc/meminfo: memFree=22692748/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14082736 memory=48024 CPUtime=0.32 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 10080 0 0 0 30 2 0 0 20 0 15 0 245877251 14420721664 12006 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3520684 12006 3401 1 0 3482761 0
[pid=31907/tid=31909] ppid=31904 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 7773 0 0 0 19 1 0 0 20 0 15 0 245877251 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644975529136 140644971322774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14082736 memory=288370639757432448 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877252 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14082736 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245877253 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245877253 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644443460512 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245877254 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644442407920 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 245877256 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 245877256 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14082736 memory=140263605720704 CPUtime=0.06 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) R 31904 31907 28719 0 -1 4202560 306 0 0 0 6 0 0 0 20 0 15 0 245877256 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644438199024 140644971322774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14082736 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877256 14420721664 12006 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48024 KiB
[startup+0.745166 s]*
/proc/loadavg: 1.26 1.42 1.41 3/219 31922
/proc/meminfo: memFree=22668248/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14086852 memory=92512 CPUtime=1.09 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 17479 0 0 0 104 5 0 0 20 0 15 0 245877251 14424936448 23128 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3521713 23128 3503 1 0 3483785 0
[pid=31907/tid=31909] ppid=31904 vsize=14086852 memory=7022364594140610616 CPUtime=0.73 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 14692 0 0 0 69 4 0 0 20 0 15 0 245877251 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644975539456 140644559432840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14086852 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14086852 memory=288370639757432448 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14086852 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245877253 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245877253 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644443460512 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245877254 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644442407920 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14086852 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 595 0 0 0 9 0 0 0 20 0 15 0 245877256 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14086852 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 363 0 0 0 7 0 0 0 20 0 15 0 245877256 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14086852 memory=140263605720704 CPUtime=0.18 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) R 31904 31907 28719 0 -1 4202560 449 0 0 0 18 0 0 0 20 0 15 0 245877256 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644438198944 140644964407540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14086852 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877256 14424936448 23128 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 92512 KiB
[startup+0.810411 s]*
/proc/loadavg: 1.26 1.42 1.41 4/219 31922
/proc/meminfo: memFree=22665332/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14086852 memory=95828 CPUtime=1.24 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 17741 0 0 0 119 5 0 0 20 0 15 0 245877251 14424936448 23957 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3521713 23957 3504 1 0 3483785 0
[pid=31907/tid=31909] ppid=31904 vsize=14086852 memory=7022364594140610616 CPUtime=0.8 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 14786 0 0 0 76 4 0 0 20 0 15 0 245877251 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644975543760 140644561701339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14086852 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14086852 memory=288370639757432448 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877252 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14086852 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245877253 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245877253 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644443460512 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245877254 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644442407920 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14086852 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 610 0 0 0 11 0 0 0 20 0 15 0 245877256 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14086852 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 369 0 0 0 8 0 0 0 20 0 15 0 245877256 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14086852 memory=140263605720704 CPUtime=0.23 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) R 31904 31907 28719 0 -1 4202560 594 0 0 0 23 0 0 0 20 0 15 0 245877256 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644438199024 140644955354469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14086852 memory=140263605720704 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877256 14424936448 23957 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 95828 KiB
[startup+1.51048 s]
/proc/loadavg: 1.26 1.42 1.41 6/219 31922
/proc/meminfo: memFree=22616988/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14090948 memory=155404 CPUtime=3.01 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 29201 0 0 0 293 8 0 0 20 0 15 0 245877251 14429130752 38851 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3522737 38851 3542 1 0 3484809 0
[pid=31907/tid=31909] ppid=31904 vsize=14090948 memory=274147762567508 CPUtime=1.47 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 20215 0 0 0 142 5 0 0 20 0 15 0 245877251 14429130752 38851 33554432000 4194304 4196468 140733023454672 140644975540080 140644566640464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14090948 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14429130752 38851 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14090948 memory=14133333755955770 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14429130752 38851 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245877252 14429130752 38851 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245877252 14429130752 38851 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14090948 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 15 0 245877253 14429130752 38851 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
################
# More data... #
################
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 42025 0 0 0 236650 23 0 0 20 0 15 0 245877251 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644975549040 140644566759517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14090948 memory=361300 CPUtime=7.26 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 7051 0 0 0 687 39 0 0 20 0 15 0 245877252 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14090948 memory=361300 CPUtime=7.25 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 6423 0 0 0 685 40 0 0 20 0 15 0 245877252 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14090948 memory=361300 CPUtime=7.27 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 6365 0 0 0 688 39 0 0 20 0 15 0 245877252 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14090948 memory=361300 CPUtime=7.28 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 6108 0 0 0 686 42 0 0 20 0 15 0 245877252 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14090948 memory=361300 CPUtime=5.2 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 6980 0 0 0 482 38 0 0 20 0 15 0 245877253 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14090948 memory=359252 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245877253 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644443460576 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14090948 memory=361300 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245877254 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644442407936 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14090948 memory=361300 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14090948 memory=924 CPUtime=1.01 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 2724 0 0 0 101 0 0 0 20 0 15 0 245877256 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14090948 memory=361300 CPUtime=1.17 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 3077 0 0 0 117 0 0 0 20 0 15 0 245877256 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14090948 memory=361300 CPUtime=0.72 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) S 31904 31907 28719 0 -1 1077944384 10363 0 0 0 70 2 0 0 20 0 15 0 245877256 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644438199024 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14090948 memory=361300 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14090948 memory=361300 CPUtime=1.26 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 964 0 0 0 66 60 0 0 20 0 15 0 245877256 14429130752 90325 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 2405.24 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 361300 KiB
[startup+2442.3 s]
/proc/loadavg: 1.31 1.23 1.28 3/219 32117
/proc/meminfo: memFree=24061672/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14090948 memory=367576 CPUtime=2465.87 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 95154 0 0 0 246348 239 0 0 20 0 15 0 245877251 14429130752 91894 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3522737 91894 3576 1 0 3484809 0
[pid=31907/tid=31909] ppid=31904 vsize=14090948 memory=367576 CPUtime=2426.29 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 42662 0 0 0 242606 23 0 0 20 0 15 0 245877251 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644975548928 140644566759710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14090948 memory=367520 CPUtime=7.49 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 7274 0 0 0 709 40 0 0 20 0 15 0 245877252 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14090948 memory=363348 CPUtime=7.48 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 6579 0 0 0 707 41 0 0 20 0 15 0 245877252 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14090948 memory=365396 CPUtime=7.49 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 6564 0 0 0 710 39 0 0 20 0 15 0 245877252 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14090948 memory=365396 CPUtime=7.51 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 6359 0 0 0 708 43 0 0 20 0 15 0 245877252 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14090948 memory=361300 CPUtime=5.33 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 7150 0 0 0 494 39 0 0 20 0 15 0 245877253 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14090948 memory=365396 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245877253 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644443460576 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14090948 memory=367576 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245877254 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644442407936 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14090948 memory=367576 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14090948 memory=367576 CPUtime=1.01 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 2726 0 0 0 101 0 0 0 20 0 15 0 245877256 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14090948 memory=367576 CPUtime=1.17 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 3079 0 0 0 117 0 0 0 20 0 15 0 245877256 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14090948 memory=752 CPUtime=0.72 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) S 31904 31907 28719 0 -1 1077944384 10365 0 0 0 70 2 0 0 20 0 15 0 245877256 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644438199024 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14090948 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14090948 memory=367576 CPUtime=1.29 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 979 0 0 0 67 62 0 0 20 0 15 0 245877256 14429130752 91894 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 2465.87 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 367576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.9 s]
/proc/loadavg: 1.27 1.24 1.28 3/219 32118
/proc/meminfo: memFree=24035172/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14090948 memory=377328 CPUtime=2520.09 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 96946 0 0 0 251764 245 0 0 20 0 15 0 245877251 14429130752 94332 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3522737 94332 3576 1 0 3484809 0
[pid=31907/tid=31909] ppid=31904 vsize=14090948 memory=361300 CPUtime=2479.48 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 43273 0 0 0 247924 24 0 0 20 0 15 0 245877251 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644975549040 140644566759916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14090948 memory=924 CPUtime=7.71 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 7698 0 0 0 730 41 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14090948 memory=363348 CPUtime=7.7 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 6786 0 0 0 728 42 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14090948 memory=361300 CPUtime=7.72 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 6731 0 0 0 731 41 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14090948 memory=365396 CPUtime=7.72 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 6549 0 0 0 729 43 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14090948 memory=373728 CPUtime=5.44 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 7322 0 0 0 505 39 0 0 20 0 15 0 245877253 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14090948 memory=375264 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245877253 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644443460576 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245877254 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644442407936 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14090948 memory=377312 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14090948 memory=377312 CPUtime=1.01 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 2728 0 0 0 101 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14090948 memory=377312 CPUtime=1.17 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 3081 0 0 0 117 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14090948 memory=377328 CPUtime=0.72 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) S 31904 31907 28719 0 -1 1077944384 10367 0 0 0 70 2 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644438199024 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14090948 memory=377312 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14090948 memory=752 CPUtime=1.33 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 994 0 0 0 69 64 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 377328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.91 s]
# the end of solver process 31907 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.65 s, system=2.45692 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2495.9 s]
/proc/loadavg: 1.27 1.24 1.28 3/219 32118
/proc/meminfo: memFree=24035172/32770624 swapFree=67108856/67108860
[pid=31907] ppid=31904 vsize=14090948 memory=377328 CPUtime=2520.09 cores=0,2,4,6
/proc/31907/stat : 31907 (java) S 31904 31907 28719 0 -1 1077944320 96946 0 0 0 251764 245 0 0 20 0 15 0 245877251 14429130752 94332 33554432000 4194304 4196468 140733023454672 140733023437216 140644971310839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
/proc/31907/statm: 3522737 94332 3576 1 0 3484809 0
[pid=31907/tid=31909] ppid=31904 vsize=14090948 memory=361300 CPUtime=2479.48 cores=0,2,4,6
/proc/31907/task/31909/stat : 31909 (java) R 31904 31907 28719 0 -1 4202560 43273 0 0 0 247924 24 0 0 20 0 15 0 245877251 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644975549040 140644566759916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31910] ppid=31904 vsize=14090948 memory=924 CPUtime=7.71 cores=0,2,4,6
/proc/31907/task/31910/stat : 31910 (java) S 31904 31907 28719 0 -1 1077944384 7698 0 0 0 730 41 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644886379280 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31911] ppid=31904 vsize=14090948 memory=363348 CPUtime=7.7 cores=0,2,4,6
/proc/31907/task/31911/stat : 31911 (java) S 31904 31907 28719 0 -1 1077944384 6786 0 0 0 728 42 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644885326736 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31912] ppid=31904 vsize=14090948 memory=361300 CPUtime=7.72 cores=0,2,4,6
/proc/31907/task/31912/stat : 31912 (java) S 31904 31907 28719 0 -1 1077944384 6731 0 0 0 731 41 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644884274192 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31913] ppid=31904 vsize=14090948 memory=365396 CPUtime=7.72 cores=0,2,4,6
/proc/31907/task/31913/stat : 31913 (java) S 31904 31907 28719 0 -1 1077944384 6549 0 0 0 729 43 0 0 20 0 15 0 245877252 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644883221648 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31914] ppid=31904 vsize=14090948 memory=373728 CPUtime=5.44 cores=0,2,4,6
/proc/31907/task/31914/stat : 31914 (java) S 31904 31907 28719 0 -1 1077944384 7322 0 0 0 505 39 0 0 20 0 15 0 245877253 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644444514288 140644971321986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31915] ppid=31904 vsize=14090948 memory=375264 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31915/stat : 31915 (java) S 31904 31907 28719 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245877253 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644443460576 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31916] ppid=31904 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31916/stat : 31916 (java) S 31904 31907 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245877254 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644442407936 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31917] ppid=31904 vsize=14090948 memory=377312 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31917/stat : 31917 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644441356496 140644971329435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31918] ppid=31904 vsize=14090948 memory=377312 CPUtime=1.01 cores=0,2,4,6
/proc/31907/task/31918/stat : 31918 (java) S 31904 31907 28719 0 -1 1077944384 2728 0 0 0 101 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644440304112 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31919] ppid=31904 vsize=14090948 memory=377312 CPUtime=1.17 cores=0,2,4,6
/proc/31907/task/31919/stat : 31919 (java) S 31904 31907 28719 0 -1 1077944384 3081 0 0 0 117 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644439251568 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31920] ppid=31904 vsize=14090948 memory=377328 CPUtime=0.72 cores=0,2,4,6
/proc/31907/task/31920/stat : 31920 (java) S 31904 31907 28719 0 -1 1077944384 10367 0 0 0 70 2 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644438199024 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31921] ppid=31904 vsize=14090948 memory=377312 CPUtime=0 cores=0,2,4,6
/proc/31907/task/31921/stat : 31921 (java) S 31904 31907 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644437146720 140644971321045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
[pid=31907/tid=31922] ppid=31904 vsize=14090948 memory=752 CPUtime=1.33 cores=0,2,4,6
/proc/31907/task/31922/stat : 31922 (java) S 31904 31907 28719 0 -1 1077944384 994 0 0 0 69 64 0 0 20 0 15 0 245877256 14429130752 94332 33554432000 4194304 4196468 140733023454672 140644436093232 140644971321986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32747520 140733023462473 140733023462665 140733023462665 140733023465423 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 377328 KiB
Child status: 143
Real time (s): 2495.91
CPU time (s): 2520.11
CPU user time (s): 2517.65
CPU system time (s): 2.45692
CPU usage (%): 100.97
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 377328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.65
system time used= 2.45692
maximum resident set size= 377892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203482
involuntary context switches= 7659
# summary of solver processes directly reported to runsolver:
# pid: 31907
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.65
# total CPU system time (s): 2.45692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9391 second user time and 24.3585 second system time
The end
Begin job on node132 at 2018-08-14 23:45:41 IDJOB=4308001 IDBENCH=141217 IDSOLVER=2791 FILE ID=node132/4308001-1534283141 RUNJOBID= node132-1534270652-30545 PBS_JOBID= 21038125 Free space on /tmp= 38864 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/SumColoring/SumColoring-1-fullins-4_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-4308001-1534283141/watcher-4308001-1534283141 -o /tmp/evaluation-result-4308001-1534283141/solver-4308001-1534283141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30545 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 996712081 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308001-1534283141.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ce812152122c21d5982c9c6047fc1378 RANDOM SEED=996712081 node132.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.65 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.65 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.65 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.65 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: 22747232 kB MemAvailable: 29859436 kB Buffers: 214456 kB Cached: 7123528 kB SwapCached: 4 kB Active: 5923524 kB Inactive: 3509644 kB Active(anon): 2044772 kB Inactive(anon): 102672 kB Active(file): 3878752 kB Inactive(file): 3406972 kB Unevictable: 6984 kB Mlocked: 6984 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 35668 kB Writeback: 0 kB AnonPages: 2179516 kB Mapped: 70908 kB Shmem: 49820 kB Slab: 283084 kB SReclaimable: 254940 kB SUnreclaim: 28144 kB KernelStack: 3856 kB PageTables: 11524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2704612 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2056192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 38832 MiB End job on node132 at 2018-08-15 00:27:17