Trace number 4310109

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT109 251.906 247.363

General information on the benchmark

NameSumColoring/
SumColoring-1-fullins-4_c18.xml
MD5SUMce812152122c21d5982c9c6047fc1378
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark252.06
Satisfiable
(Un)Satisfiability was proved
Number of variables93
Number of constraints593
Number of domains1
Minimum domain size93
Maximum domain size93
Distribution of domain sizes[{"size":93,"count":93}]
Minimum variable degree7
Maximum variable degree33
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 arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":593}]
Number of extensional constraints0
Number of intensional constraints593
Distribution of constraint types[{"type":"intension","count":593}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 558333426
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
1.82/1.20	c Parsing done, starting search...
2.03/1.28	o 4352
2.03/1.30	o 4340
2.03/1.30	o 4330
2.29/1.31	o 4293
2.29/1.31	o 4292
2.29/1.31	o 4291
2.29/1.31	o 4286
2.29/1.31	o 4276
2.29/1.31	o 4273
2.29/1.31	o 4271
2.29/1.31	o 4231
2.29/1.31	o 4230
2.29/1.31	o 4226
2.29/1.31	o 4225
2.29/1.31	o 4222
2.29/1.31	o 4220
2.29/1.31	o 4218
2.29/1.31	o 4217
2.29/1.31	o 4213
2.29/1.31	o 4212
2.29/1.31	o 4210
2.29/1.31	o 4209
2.29/1.31	o 4207
2.29/1.31	o 4206
2.29/1.31	o 4197
2.29/1.31	o 4181
2.29/1.31	o 4177
2.29/1.31	o 4175
2.29/1.31	o 4174
2.29/1.31	o 4156
2.29/1.31	o 4155
2.29/1.32	o 4151
2.29/1.32	o 4148
2.29/1.32	o 4140
2.29/1.32	o 4139
2.29/1.32	o 4137
2.29/1.32	o 4112
2.29/1.32	o 4111
2.29/1.32	o 4097
2.29/1.32	o 4096
2.29/1.32	o 4095
2.29/1.32	o 4094
2.29/1.32	o 4093
2.29/1.32	o 4091
2.29/1.33	o 4090
2.29/1.33	o 4089
2.29/1.33	o 4088
2.29/1.33	o 4086
2.29/1.33	o 4066
2.29/1.33	o 4064
2.29/1.33	o 4045
2.29/1.33	o 4016
2.29/1.33	o 4004
2.29/1.33	o 4002
2.29/1.33	o 4000
2.29/1.33	o 3999
2.29/1.33	o 3998
2.29/1.33	o 3997
2.29/1.33	o 3953
2.29/1.33	o 3914
2.29/1.34	o 3912
2.29/1.34	o 3911
2.29/1.34	o 3910
2.29/1.34	o 3909
2.29/1.34	o 3908
2.29/1.34	o 3907
2.29/1.35	o 3906
2.29/1.35	o 3905
2.29/1.35	o 3904
2.29/1.35	o 3903
2.29/1.35	o 3901
2.29/1.35	o 3900
2.29/1.35	o 3899
2.29/1.35	o 3898
2.29/1.35	o 3897
2.29/1.35	o 3895
2.29/1.35	o 3894
2.29/1.35	o 3890
2.29/1.35	o 3888
2.29/1.35	o 3887
2.29/1.35	o 3882
2.29/1.35	o 3881
2.29/1.35	o 3880
2.29/1.35	o 3876
2.29/1.35	o 3874
2.29/1.35	o 3873
2.29/1.35	o 3871
2.29/1.35	o 3865
2.29/1.35	o 3863
2.29/1.35	o 3862
2.29/1.35	o 3861
2.29/1.35	o 3860
2.29/1.35	o 3859
2.29/1.35	o 3857
2.29/1.36	o 3853
2.29/1.36	o 3852
2.29/1.36	o 3851
2.29/1.36	o 3850
2.29/1.36	o 3849
2.29/1.36	o 3846
2.29/1.36	o 3845
2.29/1.36	o 3844
2.29/1.36	o 3843
2.29/1.36	o 3842
2.29/1.36	o 3841
2.29/1.36	o 3839
2.29/1.37	o 3837
2.29/1.37	o 3835
2.29/1.37	o 3803
2.29/1.37	o 3801
2.29/1.37	o 3799
2.29/1.37	o 3797
2.29/1.37	o 3795
2.29/1.37	o 3794
2.29/1.37	o 3792
2.29/1.37	o 3789
2.29/1.37	o 3787
2.29/1.37	o 3786
2.29/1.38	o 3785
2.29/1.38	o 3784
2.29/1.38	o 3783
2.29/1.38	o 3782
2.29/1.38	o 3780
2.29/1.38	o 3779
2.29/1.38	o 3778
2.29/1.38	o 3774
2.29/1.38	o 3766
2.29/1.38	o 3765
2.29/1.38	o 3762
2.29/1.38	o 3761
2.29/1.38	o 3760
2.29/1.38	o 3759
2.29/1.38	o 3758
2.29/1.38	o 3757
2.29/1.38	o 3756
2.29/1.38	o 3755
2.29/1.38	o 3754
2.29/1.38	o 3753
2.29/1.38	o 3744
2.29/1.38	o 3742
2.29/1.38	o 3741
2.29/1.38	o 3740
2.29/1.38	o 3739
2.29/1.38	o 3722
2.29/1.38	o 3720
2.29/1.38	o 3718
2.29/1.38	o 3710
2.29/1.38	o 3707
2.29/1.38	o 3706
2.29/1.38	o 3705
2.29/1.38	o 3704
2.29/1.38	o 3703
2.29/1.38	o 3701
2.29/1.38	o 3699
2.29/1.38	o 3685
2.29/1.38	o 3677
2.29/1.38	o 3673
2.29/1.39	o 3669
2.29/1.39	o 3659
2.29/1.39	o 3654
2.29/1.39	o 3650
2.29/1.39	o 3648
2.29/1.39	o 3646
2.29/1.39	o 3642
2.29/1.39	o 3641
2.29/1.39	o 3640
2.29/1.39	o 3639
2.64/1.40	o 3638
2.64/1.40	o 3611
2.64/1.40	o 3578
2.64/1.40	o 3570
2.64/1.40	o 3562
2.64/1.40	o 3561
2.64/1.40	o 3559
2.64/1.40	o 3553
2.64/1.40	o 3552
2.64/1.40	o 3550
2.64/1.40	o 3549
2.64/1.41	o 3540
2.64/1.41	o 3538
2.64/1.41	o 3537
2.64/1.41	o 3536
2.64/1.43	o 3535
2.64/1.43	o 3534
2.64/1.43	o 3533
2.64/1.43	o 3532
2.64/1.44	o 3531
2.64/1.46	o 3530
2.64/1.49	o 3529
2.64/1.49	o 3528
2.64/1.49	o 3527
2.64/1.49	o 3526
2.64/1.49	o 3525
2.64/1.49	o 3524
2.64/1.49	o 3522
2.64/1.49	o 3518
2.64/1.49	o 3516
2.64/1.49	o 3515
2.64/1.49	o 3514
2.64/1.49	o 3503
2.64/1.49	o 3502
2.64/1.49	o 3501
2.64/1.49	o 3500
2.64/1.49	o 3499
2.64/1.49	o 3498
2.64/1.49	o 3497
2.64/1.49	o 3496
2.64/1.49	o 3495
2.64/1.49	o 3494
2.64/1.49	o 3493
2.64/1.49	o 3492
2.64/1.49	o 3491
2.64/1.50	o 3490
2.64/1.50	o 3489
2.95/1.50	o 3488
2.95/1.50	o 3487
2.95/1.50	o 3486
2.95/1.50	o 3485
2.95/1.50	o 3484
2.95/1.50	o 3483
2.95/1.50	o 3482
2.95/1.50	o 3481
2.95/1.51	o 3480
2.95/1.51	o 3479
2.95/1.52	o 3478
2.95/1.52	o 3476
2.95/1.52	o 3471
2.95/1.52	o 3469
2.95/1.52	o 3468
2.95/1.52	o 3467
2.95/1.52	o 3466
2.95/1.52	o 3465
2.95/1.52	o 3464
2.95/1.52	o 3446
2.95/1.52	o 3445
2.95/1.52	o 3434
2.95/1.52	o 3423
2.95/1.52	o 3422
2.95/1.53	o 3421
2.95/1.53	o 3420
2.95/1.53	o 3419
2.95/1.53	o 3418
2.95/1.53	o 3417
2.95/1.53	o 3416
2.95/1.53	o 3415
2.95/1.53	o 3414
2.95/1.54	o 3413
2.95/1.57	o 3412
2.95/1.58	o 3411
3.25/1.61	o 3399
3.25/1.61	o 3397
3.25/1.61	o 3395
3.25/1.61	o 3394
3.25/1.61	o 3392
3.25/1.61	o 3391
3.25/1.61	o 3389
3.25/1.61	o 3380
3.25/1.61	o 3378
3.25/1.61	o 3376
3.25/1.61	o 3375
3.25/1.61	o 3374
3.25/1.61	o 3373
3.25/1.61	o 3372
3.25/1.62	o 3371
3.25/1.62	o 3370
3.25/1.62	o 3369
3.25/1.63	o 3368
3.25/1.64	o 3367
3.25/1.64	o 3366
3.25/1.64	o 3365
3.49/1.75	o 3363
3.49/1.75	o 3362
3.49/1.75	o 3358
3.49/1.75	o 3357
3.49/1.76	o 3356
3.49/1.76	o 3355
3.49/1.76	o 3354
3.49/1.76	o 3352
3.49/1.76	o 3351
3.49/1.76	o 3343
3.49/1.77	o 3342
3.49/1.77	o 3341
3.60/1.80	o 3340
3.73/1.98	o 3339
3.73/1.99	o 3338
3.94/2.11	o 3337
3.94/2.18	o 3336
3.94/2.18	o 3335
3.94/2.19	o 3334
3.94/2.19	o 3333
3.94/2.19	o 3328
3.94/2.19	o 3327
3.94/2.19	o 3325
3.94/2.19	o 3324
3.94/2.19	o 3323
3.94/2.19	o 3322
3.94/2.19	o 3321
3.94/2.19	o 3320
3.94/2.19	o 3319
3.94/2.19	o 3318
3.94/2.19	o 3310
3.94/2.19	o 3309
3.94/2.19	o 3308
3.94/2.19	o 3307
3.94/2.19	o 3306
3.94/2.19	o 3305
3.94/2.19	o 3291
3.94/2.19	o 3290
3.94/2.19	o 3289
3.94/2.19	o 3286
3.94/2.19	o 3285
3.94/2.19	o 3284
3.94/2.20	o 3282
3.94/2.20	o 3281
3.94/2.20	o 3280
3.94/2.20	o 3275
3.94/2.20	o 3274
3.94/2.20	o 3273
3.94/2.20	o 3272
3.94/2.20	o 3271
4.05/2.20	o 3270
4.05/2.20	o 3269
4.05/2.20	o 3267
4.05/2.21	o 3265
4.05/2.21	o 3261
4.05/2.21	o 3260
4.05/2.21	o 3259
4.05/2.21	o 3258
4.05/2.21	o 3257
4.05/2.21	o 3256
4.05/2.21	o 3255
4.05/2.22	o 3253
4.05/2.22	o 3251
4.05/2.28	o 3249
4.05/2.28	o 3248
4.05/2.28	o 3247
4.05/2.28	o 3246
4.05/2.28	o 3245
4.05/2.28	o 3244
4.05/2.28	o 3242
4.05/2.28	o 3241
4.05/2.28	o 3240
4.05/2.28	o 3238
4.05/2.28	o 3237
4.05/2.28	o 3236
4.05/2.28	o 3235
4.05/2.28	o 3224
4.05/2.29	o 3223
4.05/2.29	o 3222
4.05/2.29	o 3221
4.05/2.29	o 3217
4.05/2.29	o 3216
4.05/2.29	o 3215
4.05/2.29	o 3214
4.05/2.29	o 3213
4.05/2.29	o 3212
4.05/2.29	o 3211
4.05/2.29	o 3210
4.05/2.29	o 3199
4.05/2.29	o 3189
4.05/2.29	o 3188
4.05/2.29	o 3187
4.05/2.29	o 3185
4.05/2.29	o 3184
4.05/2.29	o 3182
4.05/2.29	o 3181
4.05/2.29	o 3180
4.05/2.29	o 3179
4.05/2.29	o 3178
4.05/2.29	o 3177
4.05/2.29	o 3176
4.05/2.29	o 3175
4.05/2.29	o 3174
4.05/2.29	o 3173
4.05/2.29	o 3172
4.05/2.29	o 3171
4.32/2.30	o 3169
4.32/2.30	o 3168
4.32/2.30	o 3167
4.32/2.30	o 3166
4.32/2.30	o 3163
4.32/2.30	o 3162
4.32/2.30	o 3159
4.32/2.30	o 3158
4.32/2.30	o 3157
4.32/2.30	o 3156
4.32/2.30	o 3155
4.32/2.30	o 3154
4.32/2.30	o 3153
4.32/2.30	o 3152
4.32/2.30	o 3146
4.32/2.30	o 3144
4.32/2.30	o 3143
4.32/2.30	o 3141
4.32/2.30	o 3140
4.32/2.30	o 3135
4.32/2.30	o 3134
4.32/2.30	o 3125
4.32/2.30	o 3124
4.32/2.30	o 3123
4.32/2.30	o 3094
4.32/2.30	o 3093
4.32/2.30	o 3087
4.32/2.30	o 3086
4.32/2.30	o 3085
4.32/2.30	o 3084
4.32/2.30	o 3083
4.32/2.30	o 3082
4.32/2.31	o 3081
4.32/2.31	o 3080
4.32/2.32	o 3079
4.32/2.34	o 3078
4.32/2.34	o 3077
4.32/2.34	o 3076
4.32/2.34	o 3074
4.32/2.34	o 3073
4.32/2.34	o 3072
4.32/2.34	o 3071
4.32/2.34	o 3070
4.32/2.34	o 3069
4.32/2.34	o 3068
4.32/2.34	o 3067
4.32/2.34	o 3066
4.32/2.34	o 3065
4.32/2.34	o 3064
4.32/2.34	o 3056
4.32/2.34	o 3055
4.32/2.34	o 3054
4.32/2.34	o 3053
4.32/2.34	o 3052
4.32/2.34	o 3051
4.32/2.34	o 3050
4.32/2.34	o 3049
4.32/2.34	o 3048
4.32/2.34	o 3047
4.32/2.34	o 3046
4.32/2.37	o 3037
4.32/2.37	o 3036
4.32/2.37	o 3035
4.32/2.37	o 3034
4.32/2.37	o 3033
4.32/2.37	o 3032
4.32/2.37	o 3028
4.32/2.37	o 3022
4.32/2.37	o 3021
4.32/2.37	o 3009
4.32/2.37	o 3008
4.32/2.37	o 3003
4.32/2.37	o 3002
4.32/2.37	o 2998
4.32/2.37	o 2997
4.32/2.37	o 2996
4.32/2.37	o 2995
4.32/2.37	o 2994
4.32/2.37	o 2993
4.32/2.38	o 2992
4.32/2.38	o 2991
4.32/2.38	o 2990
4.32/2.38	o 2988
4.32/2.39	o 2987
4.32/2.39	o 2986
4.32/2.39	o 2985
4.32/2.39	o 2984
4.32/2.39	o 2983
4.32/2.39	o 2956
4.32/2.39	o 2955
4.32/2.39	o 2952
4.32/2.39	o 2951
4.32/2.39	o 2950
4.32/2.40	o 2948
4.32/2.40	o 2939
4.32/2.40	o 2938
4.32/2.40	o 2937
4.57/2.40	o 2935
4.57/2.40	o 2934
4.57/2.40	o 2933
4.57/2.40	o 2932
4.57/2.40	o 2931
4.57/2.40	o 2930
4.57/2.40	o 2929
4.57/2.40	o 2928
4.57/2.40	o 2927
4.57/2.40	o 2926
4.57/2.40	o 2925
4.57/2.40	o 2924
4.57/2.42	o 2923
4.57/2.42	o 2920
4.57/2.42	o 2917
4.57/2.42	o 2916
4.57/2.42	o 2915
4.57/2.42	o 2914
4.57/2.42	o 2911
4.57/2.42	o 2910
4.57/2.42	o 2907
4.57/2.42	o 2906
4.57/2.42	o 2905
4.57/2.43	o 2904
4.57/2.43	o 2903
4.57/2.43	o 2902
4.57/2.43	o 2901
4.57/2.44	o 2900
4.57/2.44	o 2898
4.57/2.48	o 2896
4.57/2.48	o 2895
4.57/2.48	o 2894
4.57/2.48	o 2893
4.57/2.48	o 2892
4.57/2.48	o 2890
4.57/2.49	o 2889
4.57/2.49	o 2888
4.57/2.50	o 2887
4.76/2.50	o 2886
4.76/2.51	o 2885
4.76/2.51	o 2884
4.76/2.51	o 2882
4.76/2.51	o 2881
4.76/2.52	o 2880
4.76/2.54	o 2872
4.76/2.54	o 2871
4.76/2.54	o 2870
4.76/2.54	o 2868
4.76/2.54	o 2865
4.76/2.54	o 2864
4.76/2.54	o 2861
4.76/2.54	o 2860
4.76/2.54	o 2858
4.76/2.54	o 2857
4.76/2.54	o 2856
4.76/2.54	o 2855
4.76/2.54	o 2853
4.76/2.54	o 2852
4.76/2.55	o 2851
4.76/2.55	o 2850
4.76/2.55	o 2849
4.76/2.56	o 2847
4.76/2.57	o 2845
4.76/2.58	o 2844
4.76/2.58	o 2843
4.76/2.59	o 2842
4.76/2.59	o 2841
4.76/2.59	o 2840
4.76/2.59	o 2837
4.76/2.59	o 2836
4.76/2.59	o 2834
4.76/2.59	o 2833
4.76/2.59	o 2831
4.76/2.59	o 2830
4.76/2.59	o 2828
4.76/2.59	o 2827
4.76/2.59	o 2826
4.76/2.59	o 2823
4.76/2.59	o 2819
4.76/2.59	o 2818
4.76/2.59	o 2813
4.76/2.59	o 2811
4.76/2.59	o 2810
4.76/2.59	o 2809
4.76/2.59	o 2808
4.88/2.64	o 2807
4.88/2.65	o 2806
4.88/2.69	o 2805
4.98/2.74	o 2804
4.98/2.74	o 2803
4.98/2.77	o 2802
4.98/2.77	o 2800
4.98/2.77	o 2799
4.98/2.79	o 2797
5.08/2.80	o 2796
5.08/2.84	o 2795
5.39/3.27	o 2794
5.39/3.27	o 2791
5.39/3.27	o 2788
5.39/3.27	o 2774
5.39/3.27	o 2773
5.39/3.27	o 2772
5.39/3.27	o 2770
5.39/3.27	o 2752
5.39/3.27	o 2750
5.39/3.27	o 2743
5.39/3.27	o 2741
5.39/3.27	o 2739
5.39/3.27	o 2737
5.39/3.27	o 2735
5.39/3.27	o 2734
5.39/3.27	o 2732
5.39/3.27	o 2730
5.39/3.27	o 2727
5.39/3.27	o 2726
5.39/3.27	o 2724
5.39/3.27	o 2723
5.39/3.27	o 2721
5.39/3.27	o 2720
5.39/3.27	o 2718
5.39/3.27	o 2717
5.39/3.27	o 2716
5.39/3.28	o 2714
5.71/3.39	o 2713
5.75/3.40	o 2712
5.75/3.40	o 2711
5.75/3.41	o 2710
5.75/3.41	o 2709
5.75/3.41	o 2708
5.75/3.43	o 2707
5.75/3.43	o 2706
6.05/3.75	o 2700
6.05/3.75	o 2696
6.05/3.75	o 2691
6.05/3.75	o 2682
6.05/3.75	o 2680
6.05/3.75	o 2679
6.05/3.75	o 2678
6.05/3.75	o 2677
6.05/3.75	o 2676
6.05/3.75	o 2674
6.05/3.75	o 2673
6.05/3.76	o 2665
6.05/3.76	o 2664
6.05/3.76	o 2662
6.05/3.76	o 2661
6.05/3.76	o 2657
6.05/3.76	o 2656
6.05/3.76	o 2654
6.05/3.76	o 2653
6.05/3.76	o 2650
6.05/3.76	o 2649
6.05/3.76	o 2648
6.05/3.76	o 2644
6.05/3.76	o 2643
6.05/3.76	o 2641
6.05/3.76	o 2640
6.05/3.76	o 2639
6.05/3.76	o 2638
6.05/3.76	o 2637
6.05/3.76	o 2635
6.05/3.77	o 2633
6.05/3.79	o 2631
6.05/3.79	o 2630
6.25/3.99	o 2629
6.25/3.99	o 2628
6.57/4.22	o 2627
6.57/4.22	o 2626
6.57/4.24	o 2625
6.77/4.47	o 2624
6.87/4.52	o 2623
7.15/4.77	o 2622
7.15/4.77	o 2621
7.15/4.77	o 2620
7.41/4.90	o 2619
7.41/4.95	o 2559
7.41/4.95	o 2558
7.41/4.95	o 2557
7.41/4.95	o 2555
7.41/4.95	o 2553
7.41/4.95	o 2550
7.41/4.95	o 2549
7.41/4.95	o 2546
7.41/4.95	o 2545
7.41/4.95	o 2544
7.41/4.95	o 2542
7.41/4.96	o 2541
7.41/4.96	o 2540
7.41/4.96	o 2539
7.41/4.96	o 2536
7.51/5.01	o 2534
7.51/5.03	o 2533
7.51/5.03	o 2532
7.51/5.03	o 2525
7.51/5.03	o 2523
7.51/5.03	o 2521
7.51/5.03	o 2516
7.51/5.05	o 2515
7.51/5.07	o 2514
7.51/5.08	o 2513
7.51/5.08	o 2512
7.62/5.11	o 2469
7.62/5.11	o 2451
7.62/5.11	o 2445
7.62/5.11	o 2443
7.62/5.11	o 2438
7.62/5.11	o 2437
7.62/5.11	o 2436
7.62/5.11	o 2435
7.62/5.11	o 2434
7.62/5.19	o 2432
7.81/5.32	o 2425
7.81/5.32	o 2412
7.81/5.32	o 2410
7.81/5.32	o 2404
7.81/5.32	o 2399
7.81/5.32	o 2396
7.81/5.32	o 2388
7.81/5.32	o 2381
7.81/5.32	o 2371
7.81/5.32	o 2367
7.81/5.33	o 2364
7.81/5.33	o 2362
7.81/5.33	o 2360
7.81/5.33	o 2359
8.12/5.62	o 2358
8.12/5.62	o 2355
8.12/5.62	o 2350
8.12/5.62	o 2345
8.12/5.62	o 2344
8.12/5.62	o 2343
8.12/5.62	o 2342
8.12/5.62	o 2341
8.12/5.63	o 2340
8.12/5.65	o 2339
8.12/5.65	o 2338
8.12/5.65	o 2337
8.12/5.65	o 2336
8.12/5.67	o 2334
8.12/5.67	o 2333
8.32/5.89	o 2332
8.42/5.93	o 2331
8.42/5.97	o 2330
8.42/5.97	o 2328
8.42/5.98	o 2326
8.54/6.00	o 2325
8.54/6.01	o 2323
8.54/6.02	o 2321
8.54/6.02	o 2319
8.54/6.03	o 2318
8.54/6.09	o 2317
8.65/6.15	o 2316
8.65/6.18	o 2315
8.65/6.19	o 2314
8.65/6.19	o 2313
8.94/6.43	o 2311
8.94/6.43	o 2310
9.94/7.40	o 2309
9.94/7.40	o 2308
9.94/7.40	o 2306
9.94/7.41	o 2295
9.94/7.41	o 2284
9.94/7.41	o 2282
9.94/7.41	o 2278
9.94/7.41	o 2277
9.94/7.41	o 2276
9.94/7.41	o 2275
9.94/7.43	o 2274
9.94/7.44	o 2273
9.94/7.44	o 2272
9.94/7.48	o 2271
9.94/7.49	o 2270
9.94/7.49	o 2269
10.14/7.62	o 2267
10.24/7.78	o 2266
10.34/7.83	o 2265
10.34/7.84	o 2264
10.34/7.88	o 2263
10.54/8.10	o 2262
10.54/8.10	o 2261
10.75/8.22	o 2260
11.14/8.64	o 2259
11.14/8.67	o 2258
11.24/8.77	o 2257
11.34/8.80	o 2254
11.34/8.80	o 2252
11.34/8.80	o 2251
11.34/8.80	o 2248
11.34/8.80	o 2237
11.34/8.80	o 2234
11.34/8.80	o 2225
11.34/8.80	o 2222
11.34/8.80	o 2216
11.34/8.80	o 2214
11.34/8.80	o 2213
11.34/8.80	o 2212
11.34/8.80	o 2211
11.34/8.80	o 2209
11.34/8.81	o 2208
11.34/8.81	o 2207
11.34/8.81	o 2206
11.34/8.81	o 2205
11.34/8.81	o 2204
11.34/8.81	o 2203
11.34/8.81	o 2202
11.34/8.81	o 2201
11.34/8.81	o 2200
11.34/8.81	o 2199
11.34/8.81	o 2198
11.34/8.81	o 2197
11.34/8.81	o 2196
11.34/8.81	o 2195
11.34/8.82	o 2194
11.34/8.84	o 2193
11.34/8.85	o 2192
11.45/8.97	o 2188
11.45/8.97	o 2169
11.45/8.97	o 2163
11.45/8.97	o 2161
11.45/8.97	o 2160
11.45/8.97	o 2148
11.45/8.97	o 2147
11.45/8.97	o 2146
11.45/8.97	o 2145
11.45/8.98	o 2144
11.45/8.98	o 2141
11.45/8.98	o 2140
11.45/8.98	o 2139
11.45/8.98	o 2138
11.45/8.98	o 2137
11.55/9.01	o 2136
11.55/9.01	o 2135
11.55/9.03	o 2134
11.55/9.03	o 2132
11.55/9.04	o 2131
11.55/9.04	o 2129
11.65/9.18	o 2128
11.65/9.18	o 2127
11.65/9.19	o 2126
11.65/9.19	o 2124
12.76/10.25	o 2123
12.76/10.25	o 2122
12.95/10.40	o 2121
13.35/10.88	o 2120
13.35/10.88	o 2119
14.16/11.60	o 2118
14.16/11.60	o 2116
14.16/11.60	o 2114
14.16/11.60	o 2113
14.16/11.60	o 2112
14.16/11.60	o 2110
14.16/11.60	o 2109
14.16/11.60	o 2108
14.16/11.60	o 2097
14.16/11.60	o 2096
14.16/11.60	o 2092
14.16/11.60	o 2091
14.16/11.60	o 2089
14.16/11.60	o 2088
14.16/11.60	o 2087
14.16/11.60	o 2086
14.16/11.60	o 2085
14.16/11.60	o 2084
14.16/11.61	o 2083
14.16/11.61	o 2082
14.16/11.61	o 2081
14.16/11.61	o 2080
14.16/11.67	o 2078
14.16/11.67	o 2077
14.26/11.71	o 2076
14.26/11.72	o 2075
14.26/11.72	o 2074
14.26/11.72	o 2072
14.36/11.89	o 2071
14.36/11.89	o 2070
14.36/11.90	o 2069
14.56/12.04	o 2068
14.56/12.04	o 2067
14.56/12.04	o 2065
14.56/12.05	o 2064
14.56/12.06	o 2063
14.56/12.06	o 2062
14.56/12.07	o 2061
14.56/12.08	o 2059
14.77/12.22	o 2058
15.36/12.80	o 2056
15.36/12.82	o 2055
15.36/12.84	o 2054
15.36/12.88	o 2053
15.36/12.88	o 2052
15.36/12.88	o 2051
15.36/12.88	o 2050
15.36/12.88	o 2049
15.36/12.88	o 2048
15.36/12.88	o 2046
15.36/12.88	o 2045
15.36/12.88	o 2044
15.46/12.90	o 2043
15.46/12.90	o 2042
15.46/12.90	o 2041
15.46/12.91	o 2040
15.46/12.94	o 2038
15.56/13.01	o 2037
15.56/13.01	o 2036
15.56/13.02	o 2035
15.56/13.05	o 2034
15.56/13.08	o 2033
15.56/13.10	o 2032
15.68/13.15	o 2031
15.68/13.15	o 2030
15.68/13.15	o 2029
15.68/13.15	o 2028
15.68/13.17	o 2027
15.68/13.17	o 2026
15.87/13.31	o 2025
15.87/13.31	o 2024
15.87/13.31	o 2023
15.87/13.31	o 2022
15.87/13.31	o 2021
15.87/13.31	o 2020
15.87/13.31	o 2019
15.87/13.31	o 2013
15.87/13.31	o 2012
15.87/13.31	o 2009
15.87/13.31	o 2008
15.87/13.31	o 2007
15.87/13.31	o 2006
15.87/13.31	o 2005
15.87/13.31	o 2004
15.87/13.31	o 2003
15.87/13.31	o 2002
15.87/13.31	o 2001
15.87/13.31	o 2000
15.87/13.31	o 1999
15.87/13.31	o 1998
15.87/13.31	o 1997
15.87/13.34	o 1996
15.87/13.36	o 1995
15.87/13.37	o 1994
15.87/13.37	o 1993
15.87/13.37	o 1992
15.87/13.37	o 1991
15.87/13.37	o 1990
15.97/13.42	o 1989
16.07/13.50	o 1988
16.07/13.50	o 1987
16.07/13.50	o 1986
16.07/13.51	o 1985
16.07/13.52	o 1984
16.07/13.52	o 1983
16.07/13.52	o 1982
16.07/13.53	o 1981
16.07/13.53	o 1980
16.07/13.53	o 1979
16.07/13.55	o 1978
16.07/13.55	o 1977
16.07/13.55	o 1976
16.07/13.55	o 1975
16.07/13.56	o 1974
16.07/13.56	o 1973
16.07/13.56	o 1972
16.07/13.56	o 1971
16.07/13.59	o 1970
16.07/13.59	o 1969
16.07/13.59	o 1968
16.27/13.70	o 1967
16.27/13.70	o 1966
16.27/13.78	o 1965
16.37/13.80	o 1964
16.37/13.82	o 1963
16.37/13.82	o 1962
16.37/13.83	o 1961
16.37/13.83	o 1960
16.37/13.83	o 1959
16.37/13.85	o 1958
16.37/13.85	o 1957
16.37/13.87	o 1956
16.37/13.87	o 1955
16.37/13.87	o 1954
16.37/13.88	o 1953
16.47/13.91	o 1951
16.47/13.91	o 1950
16.47/13.91	o 1949
16.47/13.91	o 1947
16.47/13.91	o 1946
16.47/13.91	o 1945
16.47/13.91	o 1944
16.47/13.91	o 1941
16.47/13.91	o 1940
16.47/13.91	o 1938
16.47/13.91	o 1937
16.47/13.91	o 1936
16.47/13.91	o 1935
16.47/13.91	o 1934
16.47/13.91	o 1915
16.47/13.91	o 1914
16.47/13.91	o 1913
16.47/13.92	o 1912
16.47/13.92	o 1911
16.47/13.92	o 1910
16.47/13.93	o 1909
16.47/13.93	o 1908
16.47/13.93	o 1907
16.47/13.93	o 1906
16.47/13.93	o 1905
16.47/13.93	o 1904
16.47/13.96	o 1903
16.47/13.96	o 1902
16.47/13.96	o 1901
16.88/14.32	o 1900
16.88/14.32	o 1899
16.98/14.40	o 1891
16.98/14.40	o 1890
16.98/14.40	o 1882
16.98/14.40	o 1881
16.98/14.40	o 1880
16.98/14.40	o 1879
16.98/14.40	o 1878
16.98/14.40	o 1877
16.98/14.40	o 1875
16.98/14.40	o 1874
16.98/14.41	o 1873
16.98/14.41	o 1872
16.98/14.43	o 1871
16.98/14.43	o 1870
16.98/14.46	o 1869
16.98/14.46	o 1868
16.98/14.46	o 1866
16.98/14.49	o 1865
17.08/14.58	o 1864
17.08/14.58	o 1863
17.38/14.89	o 1862
17.58/15.06	o 1857
17.58/15.06	o 1856
17.58/15.06	o 1849
17.58/15.06	o 1825
17.58/15.06	o 1822
17.58/15.06	o 1820
17.58/15.06	o 1819
17.58/15.07	o 1818
17.58/15.07	o 1817
17.58/15.09	o 1816
17.58/15.09	o 1815
17.69/15.11	o 1814
17.69/15.11	o 1813
17.69/15.12	o 1811
17.69/15.12	o 1810
18.08/15.57	o 1809
18.18/15.65	o 1807
18.18/15.67	o 1806
18.38/15.84	o 1805
18.38/15.85	o 1804
18.49/15.93	o 1803
18.49/15.94	o 1802
18.59/16.00	o 1801
18.59/16.02	o 1800
18.59/16.04	o 1799
18.59/16.04	o 1798
18.59/16.05	o 1797
18.59/16.09	o 1796
18.99/16.41	o 1795
18.99/16.43	o 1794
19.09/16.53	o 1793
19.09/16.53	o 1792
19.09/16.58	o 1791
19.09/16.58	o 1788
19.09/16.59	o 1787
19.09/16.59	o 1786
19.09/16.59	o 1784
19.09/16.59	o 1783
19.09/16.59	o 1781
19.09/16.59	o 1779
19.09/16.59	o 1778
19.09/16.59	o 1754
19.09/16.59	o 1753
19.09/16.59	o 1752
19.09/16.59	o 1751
19.09/16.59	o 1750
19.19/16.60	o 1749
19.19/16.63	o 1748
19.19/16.64	o 1747
19.19/16.64	o 1746
19.19/16.64	o 1745
19.19/16.64	o 1744
19.19/16.65	o 1743
19.19/16.65	o 1742
19.19/16.65	o 1741
19.19/16.65	o 1740
19.19/16.65	o 1739
19.19/16.65	o 1738
19.19/16.66	o 1737
19.50/16.91	o 1736
19.50/16.91	o 1735
19.50/16.91	o 1732
19.50/16.91	o 1730
19.50/16.91	o 1725
19.50/16.91	o 1722
19.50/16.91	o 1703
19.50/16.91	o 1700
19.50/16.91	o 1699
19.50/16.91	o 1698
19.50/16.91	o 1697
19.50/16.92	o 1696
19.50/16.94	o 1695
19.60/17.03	o 1694
19.60/17.03	o 1693
19.60/17.03	o 1692
19.60/17.03	o 1691
19.60/17.04	o 1690
19.60/17.06	o 1689
19.60/17.06	o 1688
19.71/17.12	o 1687
19.71/17.19	o 1686
19.90/17.37	o 1685
19.90/17.37	o 1684
20.00/17.43	o 1682
20.00/17.43	o 1677
20.00/17.43	o 1674
20.00/17.43	o 1671
20.00/17.44	o 1670
20.00/17.44	o 1667
20.00/17.46	o 1665
20.10/17.51	o 1664
20.10/17.52	o 1663
20.10/17.55	o 1662
20.10/17.55	o 1661
20.10/17.56	o 1660
20.10/17.58	o 1655
20.10/17.58	o 1654
20.10/17.58	o 1653
20.10/17.58	o 1652
20.10/17.58	o 1650
20.10/17.58	o 1647
20.10/17.58	o 1646
20.10/17.58	o 1643
20.10/17.58	o 1640
20.10/17.58	o 1639
20.10/17.58	o 1638
20.10/17.59	o 1637
20.30/17.74	o 1636
20.30/17.74	o 1635
20.30/17.79	o 1610
20.30/17.79	o 1605
20.30/17.79	o 1600
20.30/17.79	o 1599
20.30/17.79	o 1595
20.30/17.79	o 1592
20.30/17.79	o 1589
20.30/17.79	o 1585
20.30/17.79	o 1577
20.30/17.79	o 1576
20.30/17.79	o 1573
20.30/17.79	o 1570
20.30/17.79	o 1569
20.30/17.79	o 1567
20.40/17.80	o 1565
20.40/17.80	o 1564
20.40/17.80	o 1563
20.40/17.81	o 1562
20.40/17.81	o 1561
20.40/17.82	o 1560
20.40/17.86	o 1559
20.50/17.92	o 1558
20.50/17.92	o 1557
20.50/17.92	o 1556
20.50/17.92	o 1555
20.50/17.93	o 1526
20.50/17.93	o 1513
20.50/17.93	o 1509
20.50/17.93	o 1506
20.50/17.94	o 1505
20.50/17.94	o 1504
20.50/17.94	o 1503
20.50/17.94	o 1502
21.30/18.79	o 1501
21.61/19.05	o 1499
21.61/19.05	o 1497
21.61/19.05	o 1496
21.91/19.34	o 1495
22.01/19.44	o 1494
22.32/19.70	o 1493
22.52/19.92	o 1491
22.62/20.05	o 1489
22.62/20.05	o 1488
22.73/20.18	o 1487
22.83/20.26	o 1486
22.83/20.26	o 1483
22.83/20.26	o 1479
22.83/20.26	o 1473
22.83/20.26	o 1471
22.83/20.26	o 1470
22.83/20.26	o 1468
22.83/20.26	o 1465
22.83/20.26	o 1463
22.83/20.26	o 1462
22.83/20.27	o 1461
22.83/20.29	o 1460
22.83/20.29	o 1459
22.92/20.30	o 1458
22.92/20.30	o 1457
22.92/20.31	o 1456
22.92/20.33	o 1455
22.92/20.33	o 1454
22.92/20.35	o 1453
23.02/20.40	o 1452
23.02/20.42	o 1451
23.02/20.49	o 1450
23.02/20.49	o 1449
23.02/20.49	o 1448
23.02/20.49	o 1447
23.12/20.50	o 1446
23.12/20.50	o 1445
23.12/20.51	o 1444
23.12/20.51	o 1443
23.42/20.82	o 1442
23.52/20.97	o 1441
23.62/21.03	o 1440
23.62/21.03	o 1439
25.12/22.53	o 1437
25.12/22.53	o 1436
25.12/22.53	o 1435
25.12/22.53	o 1434
25.12/22.53	o 1433
25.12/22.59	o 1432
25.12/22.59	o 1431
25.43/22.84	o 1430
25.63/23.01	o 1429
25.63/23.01	o 1428
25.63/23.04	o 1427
25.63/23.09	o 1390
25.63/23.09	o 1382
25.63/23.09	o 1381
25.63/23.09	o 1377
25.63/23.09	o 1376
25.63/23.09	o 1375
25.63/23.09	o 1372
25.63/23.09	o 1363
25.63/23.09	o 1362
25.63/23.09	o 1360
25.63/23.09	o 1358
25.63/23.09	o 1355
25.63/23.09	o 1354
25.63/23.09	o 1345
25.63/23.10	o 1344
25.63/23.10	o 1339
25.63/23.10	o 1330
25.63/23.10	o 1318
25.63/23.10	o 1317
25.73/23.11	o 1311
25.73/23.11	o 1310
25.73/23.11	o 1307
25.73/23.11	o 1306
25.73/23.11	o 1304
25.73/23.11	o 1263
25.73/23.12	o 1261
25.73/23.12	o 1254
25.73/23.12	o 1250
25.73/23.12	o 1246
25.73/23.13	o 1245
25.73/23.13	o 1244
25.73/23.13	o 1242
25.73/23.13	o 1240
25.73/23.13	o 1238
25.73/23.13	o 1235
25.73/23.15	o 1234
25.73/23.15	o 1233
25.73/23.17	o 1232
25.73/23.17	o 1230
25.83/23.21	o 1228
25.83/23.22	o 1227
25.83/23.22	o 1226
25.92/23.39	o 1175
25.92/23.39	o 1169
25.92/23.39	o 1167
25.92/23.39	o 1156
25.92/23.39	o 1155
26.03/23.40	o 1154
26.03/23.41	o 1153
26.03/23.41	o 1152
26.03/23.45	o 1151
26.03/23.45	o 1149
26.03/23.45	o 1148
26.13/23.57	o 1147
26.13/23.57	o 1146
26.13/23.59	o 1145
26.43/23.82	o 1144
26.43/23.82	o 1143
26.53/23.97	o 1142
26.53/23.97	o 1141
26.53/23.98	o 1140
26.63/24.01	o 1139
26.63/24.01	o 1138
26.63/24.01	o 1137
26.74/24.11	o 1134
26.84/24.24	o 1133
26.84/24.24	o 1131
26.93/24.39	o 1128
26.93/24.39	o 1125
26.93/24.39	o 1123
26.93/24.40	o 1120
27.03/24.40	o 1119
27.03/24.40	o 1113
27.03/24.40	o 1109
27.03/24.40	o 1108
27.03/24.40	o 1104
27.03/24.41	o 1101
27.24/24.66	o 1099
27.24/24.66	o 1097
27.24/24.66	o 1096
27.24/24.66	o 1094
27.24/24.67	o 1093
27.24/24.67	o 1092
27.24/24.68	o 1091
27.24/24.68	o 1090
27.24/24.68	o 1089
27.24/24.69	o 1088
27.24/24.69	o 1087
27.24/24.69	o 1086
27.34/24.70	o 1085
27.34/24.70	o 1077
27.34/24.70	o 1076
27.34/24.70	o 1075
27.34/24.70	o 1074
27.34/24.71	o 1073
27.34/24.71	o 1072
27.34/24.71	o 1071
27.34/24.71	o 1070
27.34/24.71	o 1069
27.34/24.72	o 1068
27.34/24.72	o 1067
27.34/24.72	o 1066
27.34/24.72	o 1065
27.34/24.72	o 1064
27.34/24.73	o 1063
27.34/24.73	o 1062
27.34/24.74	o 1061
27.34/24.74	o 1060
27.34/24.75	o 1059
27.34/24.75	o 1058
27.34/24.75	o 1057
27.34/24.76	o 1056
27.34/24.77	o 1055
27.34/24.77	o 1054
27.44/24.81	o 1053
27.44/24.83	o 1052
27.44/24.85	o 1051
27.44/24.87	o 1050
27.54/24.95	o 1047
27.64/25.01	o 1046
27.64/25.04	o 1045
27.64/25.09	o 1043
27.64/25.09	o 1042
28.05/25.46	o 1041
28.05/25.46	o 1040
28.05/25.47	o 1039
28.35/25.73	o 1037
28.35/25.73	o 1036
28.45/25.83	o 1035
28.45/25.83	o 1034
28.45/25.83	o 1033
28.45/25.83	o 1032
28.55/25.91	o 1031
28.55/25.91	o 1029
28.55/25.91	o 1028
28.55/25.91	o 1025
28.55/25.91	o 1023
28.55/25.91	o 1020
28.55/25.91	o 1019
28.55/25.91	o 1001
28.55/25.91	o 997
28.55/25.91	o 995
28.55/25.91	o 994
28.55/25.91	o 993
28.55/25.92	o 992
28.55/25.92	o 990
28.55/25.92	o 989
28.55/25.92	o 972
28.55/25.92	o 971
28.55/25.92	o 970
28.55/25.92	o 969
28.55/25.92	o 968
28.55/25.93	o 967
28.55/25.93	o 966
28.55/25.93	o 965
28.55/25.93	o 964
28.55/25.93	o 963
28.55/25.93	o 962
28.55/25.94	o 961
28.55/25.99	o 959
28.55/25.99	o 957
28.66/26.00	o 956
29.56/26.99	o 955
29.56/26.99	o 954
29.56/26.99	o 953
29.56/26.99	o 951
29.56/26.99	o 948
29.56/26.99	o 947
29.56/26.99	o 946
29.56/26.99	o 945
29.56/26.99	o 943
29.56/26.99	o 942
29.56/26.99	o 941
29.56/27.00	o 938
29.56/27.00	o 937
29.56/27.00	o 936
29.66/27.00	o 935
29.66/27.00	o 934
29.66/27.00	o 933
29.66/27.02	o 932
29.66/27.02	o 931
29.66/27.02	o 930
29.66/27.02	o 929
30.67/28.03	o 928
30.67/28.03	o 927
30.67/28.03	o 926
30.67/28.03	o 925
30.77/28.20	o 922
30.87/28.23	o 921
31.07/28.43	o 920
31.07/28.47	o 919
31.07/28.49	o 918
31.07/28.49	o 917
31.47/28.84	o 916
31.47/28.84	o 915
31.47/28.84	o 913
31.47/28.84	o 911
31.47/28.84	o 910
31.47/28.84	o 909
31.47/28.84	o 908
31.47/28.84	o 907
31.47/28.84	o 906
31.57/28.95	o 905
31.57/28.95	o 904
31.78/29.11	o 901
31.78/29.11	o 899
31.78/29.11	o 894
31.78/29.11	o 891
31.78/29.11	o 890
31.78/29.11	o 874
31.78/29.11	o 873
31.78/29.12	o 863
31.78/29.12	o 862
31.78/29.12	o 860
31.78/29.12	o 859
32.48/29.82	o 858
32.89/30.23	o 857
33.18/30.54	o 855
33.58/30.94	o 815
33.58/30.94	o 813
33.58/30.94	o 802
33.58/30.95	o 799
33.58/30.95	o 795
33.58/30.95	o 790
33.58/30.95	o 787
33.58/30.95	o 778
33.58/30.95	o 771
33.58/30.96	o 770
33.58/30.96	o 769
33.58/30.96	o 768
33.58/30.96	o 766
33.68/31.09	o 762
33.68/31.09	o 761
33.68/31.09	o 760
33.68/31.09	o 759
33.68/31.09	o 758
33.68/31.09	o 756
33.68/31.09	o 755
33.68/31.10	o 754
33.68/31.10	o 753
33.79/31.12	o 752
33.89/31.27	o 751
33.89/31.27	o 750
34.09/31.41	o 749
34.09/31.41	o 748
34.49/31.81	o 747
34.49/31.87	o 746
37.82/35.18	o 721
37.82/35.18	o 718
37.82/35.18	o 716
37.82/35.18	o 714
37.82/35.18	o 711
37.82/35.18	o 705
37.82/35.19	o 703
37.82/35.19	o 701
37.82/35.19	o 700
37.82/35.19	o 698
37.82/35.20	o 697
37.82/35.20	o 696
38.52/35.82	o 695
38.52/35.87	o 693
38.52/35.87	o 692
38.94/36.22	o 677
38.94/36.22	o 633
38.94/36.22	o 632
38.94/36.22	o 626
38.94/36.22	o 619
38.94/36.23	o 618
38.94/36.23	o 617
38.94/36.24	o 615
38.94/36.24	o 614
38.94/36.24	o 613
38.94/36.25	o 610
38.94/36.28	o 608
39.23/36.58	o 606
40.03/37.34	o 605
40.03/37.34	o 604
40.03/37.34	o 603
40.03/37.34	o 602
40.03/37.34	o 601
40.03/37.34	o 600
40.03/37.34	o 599
40.03/37.35	o 597
40.03/37.35	o 596
40.03/37.35	o 595
40.03/37.35	o 594
40.03/37.35	o 593
40.03/37.35	o 585
40.03/37.35	o 584
40.03/37.35	o 583
40.03/37.35	o 582
40.03/37.35	o 581
40.03/37.35	o 580
40.03/37.35	o 579
40.03/37.35	o 578
40.03/37.35	o 577
40.03/37.36	o 576
40.03/37.36	o 575
40.03/37.37	o 574
40.03/37.37	o 573
40.13/37.44	o 572
40.13/37.44	o 571
40.33/37.62	o 570
40.33/37.63	o 569
40.43/37.71	o 568
40.43/37.72	o 567
40.43/37.78	o 566
40.53/37.84	o 565
40.53/37.85	o 564
40.53/37.85	o 563
40.53/37.87	o 562
40.53/37.87	o 561
40.64/37.97	o 560
40.74/38.04	o 559
40.74/38.05	o 558
40.74/38.05	o 557
40.74/38.07	o 556
40.74/38.07	o 555
40.74/38.07	o 554
40.85/38.13	o 553
40.85/38.13	o 552
40.85/38.13	o 551
40.95/38.22	o 550
40.95/38.22	o 549
40.95/38.22	o 548
40.95/38.22	o 547
40.95/38.22	o 546
40.95/38.22	o 545
40.95/38.27	o 544
41.04/38.32	o 543
41.04/38.32	o 542
41.64/38.92	o 541
41.96/39.25	o 539
41.96/39.26	o 538
42.04/39.30	o 537
42.04/39.36	o 536
42.04/39.37	o 535
44.06/41.30	o 534
44.06/41.31	o 533
44.66/41.95	o 530
44.66/41.95	o 529
44.66/41.95	o 528
44.66/41.95	o 519
44.66/41.95	o 518
44.66/41.95	o 515
44.66/41.95	o 514
44.66/41.97	o 513
44.66/41.97	o 512
44.76/42.02	o 511
44.76/42.02	o 510
44.76/42.02	o 509
44.76/42.03	o 508
44.87/42.17	o 484
44.87/42.17	o 481
44.87/42.17	o 480
44.87/42.17	o 479
44.87/42.17	o 478
44.87/42.17	o 473
44.87/42.17	o 472
44.87/42.17	o 471
44.87/42.17	o 470
44.87/42.18	o 469
44.87/42.18	o 468
44.87/42.19	o 467
44.87/42.19	o 466
44.98/42.26	o 464
44.98/42.26	o 463
44.98/42.26	o 462
45.08/42.30	o 460
45.08/42.31	o 459
45.08/42.31	o 458
45.08/42.31	o 457
45.08/42.31	o 456
45.08/42.36	o 455
45.18/42.41	o 454
45.28/42.58	o 453
45.28/42.58	o 452
45.38/42.66	o 451
45.58/42.87	o 450
45.68/42.94	o 449
45.89/43.19	o 448
45.99/43.26	o 447
49.12/46.34	o 446
50.04/47.30	o 445
50.13/47.30	o 444
50.13/47.30	o 443
50.13/47.33	o 442
50.13/47.38	o 441
50.13/47.38	o 440
50.13/47.38	o 439
51.34/48.54	o 438
51.34/48.55	o 437
74.23/71.26	o 436
74.23/71.26	o 435
74.23/71.26	o 433
74.23/71.27	o 425
74.23/71.27	o 419
74.23/71.27	o 418
74.23/71.27	o 417
74.23/71.27	o 416
79.68/76.64	o 415
79.68/76.66	o 414
79.68/76.67	o 413
79.78/76.70	o 412
79.78/76.74	o 411
80.08/77.10	o 410
80.89/77.82	o 409
81.69/78.63	o 408
81.99/78.96	o 407
81.99/78.99	o 406
83.82/80.76	o 405
83.82/80.76	o 404
83.82/80.76	o 403
83.82/80.76	o 402
83.82/80.76	o 401
83.82/80.76	o 400
83.82/80.76	o 399
83.82/80.77	o 398
83.82/80.77	o 397
83.82/80.77	o 396
83.82/80.77	o 395
83.82/80.77	o 394
83.82/80.77	o 393
83.82/80.77	o 392
83.82/80.77	o 391
83.82/80.77	o 390
83.82/80.77	o 389
83.82/80.77	o 388
83.82/80.77	o 383
83.82/80.78	o 382
83.82/80.79	o 381
83.92/80.86	o 380
84.12/81.08	o 379
84.12/81.08	o 378
84.52/81.44	o 377
84.72/81.69	o 376
84.72/81.69	o 375
84.72/81.69	o 374
84.82/81.70	o 373
84.82/81.71	o 372
84.82/81.71	o 371
85.53/82.46	o 370
85.53/82.46	o 369
85.53/82.46	o 368
85.53/82.46	o 367
85.53/82.46	o 366
85.53/82.47	o 365
85.53/82.47	o 364
85.53/82.47	o 362
85.53/82.47	o 360
85.53/82.48	o 359
86.73/83.61	o 358
87.74/84.69	o 357
87.74/84.69	o 356
88.95/85.83	o 345
88.95/85.83	o 343
88.95/85.83	o 342
88.95/85.83	o 323
88.95/85.83	o 317
88.95/85.83	o 314
88.95/85.83	o 309
88.95/85.83	o 306
88.95/85.84	o 304
88.95/85.89	o 303
88.95/85.89	o 302
89.05/85.90	o 301
89.05/85.91	o 299
89.05/85.91	o 298
89.05/85.92	o 297
90.06/86.99	o 292
90.06/86.99	o 290
90.06/86.99	o 289
90.06/86.99	o 288
90.06/86.99	o 284
90.06/86.99	o 283
90.06/86.99	o 282
90.06/86.99	o 278
90.06/86.99	o 277
90.16/87.00	o 275
90.16/87.00	o 273
90.16/87.00	o 271
90.16/87.00	o 269
90.16/87.02	o 268
90.27/87.11	o 267
90.27/87.11	o 264
90.27/87.11	o 262
90.27/87.12	o 261
90.27/87.12	o 259
90.87/87.79	o 258
90.87/87.79	o 257
90.97/87.80	o 256
90.97/87.86	o 255
91.98/88.87	o 254
91.98/88.89	o 253
92.08/88.90	o 252
92.18/89.09	o 251
92.29/89.16	o 250
92.59/89.47	o 248
92.59/89.49	o 247
92.79/89.68	o 246
98.75/95.52	o 245
99.56/96.35	o 244
99.56/96.35	o 243
99.86/96.68	o 242
100.27/97.08	o 241
104.60/101.35	o 240
104.60/101.35	o 239
104.60/101.35	o 237
104.60/101.35	o 236
104.60/101.35	o 235
104.60/101.36	o 234
104.60/101.37	o 233
104.70/101.42	o 231
104.70/101.42	o 230
104.70/101.42	o 228
104.70/101.42	o 227
104.70/101.44	o 226
104.70/101.44	o 225
121.54/118.20	o 224
121.64/118.23	o 223
121.84/118.49	o 222
121.84/118.49	o 221
121.84/118.49	o 220
121.84/118.49	o 219
121.94/118.55	o 218
125.68/122.25	o 217
126.68/123.25	o 216
129.10/125.60	o 207
129.10/125.60	o 203
129.10/125.64	o 200
129.30/125.81	o 198
129.30/125.81	o 197
129.30/125.84	o 195
129.30/125.84	o 194
129.61/126.16	o 192
129.61/126.16	o 191
130.72/127.26	o 190
130.72/127.26	o 189
130.72/127.26	o 188
130.92/127.43	o 186
130.92/127.49	o 185
130.92/127.49	o 184
145.15/141.50	o 183
145.46/141.85	o 182
145.87/142.26	o 180
145.87/142.26	o 179
145.96/142.36	o 178
146.06/142.47	o 177
146.47/142.80	o 176
146.78/143.20	o 175
146.78/143.20	o 174
146.78/143.20	o 173
146.88/143.29	o 172
146.88/143.29	o 171
146.88/143.29	o 170
147.78/144.18	o 169
147.88/144.22	o 168
148.58/144.91	o 166
148.58/144.91	o 165
148.58/144.99	o 164
150.81/147.14	o 163
150.81/147.19	o 162
215.79/211.62	o 161
215.79/211.62	o 160
215.79/211.62	o 159
215.79/211.62	o 158
215.79/211.62	o 157
215.79/211.62	o 155
215.79/211.65	o 154
215.79/211.66	o 153
215.79/211.66	o 151
222.53/218.35	o 150
222.53/218.36	o 149
223.34/219.14	o 146
225.86/221.63	o 144
227.78/223.52	o 143
227.78/223.52	o 141
230.01/225.78	o 140
232.84/228.50	o 139
238.60/234.23	o 138
238.99/234.61	o 137
239.09/234.76	o 136
239.51/235.15	o 135
239.51/235.15	o 134
240.20/235.87	o 133
240.30/235.94	o 132
240.30/235.97	o 131
240.30/235.97	o 130
240.52/236.13	o 129
240.52/236.13	o 128
240.52/236.13	o 126
240.52/236.14	o 125
241.01/236.68	o 124
241.12/236.73	o 123
241.33/236.92	o 122
241.43/237.08	o 121
241.54/237.17	o 120
241.54/237.17	o 118
241.54/237.18	o 117
241.64/237.28	o 116
242.44/238.01	o 115
242.44/238.01	o 114
242.44/238.03	o 113
242.84/238.47	o 112
244.06/239.62	o 110
244.06/239.62	o 109
251.83/247.35	s SATISFIABLE
251.83/247.35	v <instantiation>
251.83/247.35	v 	<list>
251.83/247.35	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]
251.83/247.35	v 	</list>
251.83/247.35	v 	<values>
251.83/247.35	v 		0 4 2 2 0 0 6 0 7 1 4 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 3 0 1 3 3 2 2 0 0 2 0 3 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 4 0 3 0 1 0 0 2 2 0 0 2 0 3 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 2 0 1 7 8 4 
251.83/247.35	v 	</values>
251.83/247.35	v </instantiation>

Verifier Data

OK	109

Watcher Data

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 (6902 MiB free)
  memory of node 1: 16384 MiB (11036 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310109-1534330080/watcher-4310109-1534330080 -o /tmp/evaluation-result-4310109-1534330080/solver-4310109-1534330080 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534329088-25482 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 558333426 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310109-1534330080.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=26113, runsolver pid=26110
Current StackSize limit: 8192 KiB


[startup+0.108064 s]*
/proc/loadavg: 1.59 1.64 1.53 6/214 26128
/proc/meminfo: memFree=18331444/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14082736 memory=33844 CPUtime=0.13 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 6810 0 0 0 11 2 0 0 20 0 15 0 250571284 14420721664 8395 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3520684 8461 3163 1 0 3482761 0
[pid=26113/tid=26115] ppid=26110 vsize=14082736 memory=-8253362762721552001 CPUtime=0.1 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 4897 0 0 0 9 1 0 0 20 0 15 0 250571284 14420721664 8461 33554432000 4194304 4196468 140733118584688 140565246344112 140565222415184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14082736 memory=3472467866502223056 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 8461 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 8461 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 8461 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 8461 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571286 14420721664 8461 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571287 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564355576992 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571287 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564354523888 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) S 26110 26113 25450 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564352420592 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564351368048 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0.01 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) S 26110 26113 25450 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 250571289 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564350314992 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571290 14420721664 8527 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33844 KiB

[startup+0.210221 s]*
/proc/loadavg: 1.59 1.64 1.53 7/214 26128
/proc/meminfo: memFree=18293104/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14082736 memory=47540 CPUtime=0.29 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 9968 0 0 0 27 2 0 0 20 0 15 0 250571284 14420721664 11885 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3520684 11885 3339 1 0 3482761 0
[pid=26113/tid=26115] ppid=26110 vsize=14082736 memory=-6966717417093883519 CPUtime=0.2 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 7767 0 0 0 18 2 0 0 20 0 15 0 250571284 14420721664 11885 33554432000 4194304 4196468 140733118584688 140565246368096 140564834102400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14082736 memory=5793854988616964537 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 11885 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 11885 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 11885 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 11885 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571286 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571287 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564355576992 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571287 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564354523888 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) R 26110 26113 25450 0 -1 4202560 507 0 0 0 1 0 0 0 20 0 15 0 250571289 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564352420592 140565227018077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) R 26110 26113 25450 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564351366448 140565242148565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0.05 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) R 26110 26113 25450 0 -1 4202560 295 0 0 0 5 0 0 0 20 0 15 0 250571289 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564350314992 140565242152208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571290 14420721664 11885 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47540 KiB

[startup+0.310431 s]*
/proc/loadavg: 1.59 1.64 1.53 6/214 26128
/proc/meminfo: memFree=18260848/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14082736 memory=50920 CPUtime=0.44 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 10406 0 0 0 41 3 0 0 20 0 15 0 250571284 14420721664 12730 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3520684 12730 3367 1 0 3482761 0
[pid=26113/tid=26115] ppid=26110 vsize=14082736 memory=-6966717417093883519 CPUtime=0.3 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 8102 0 0 0 28 2 0 0 20 0 15 0 250571284 14420721664 12782 33554432000 4194304 4196468 140733118584688 140565246346192 140565226218846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14082736 memory=5793854988616964537 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 12782 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14082736 memory=279475106357888 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 12782 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14082736 memory=279474998600704 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 12782 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14082736 memory=139737499286543 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14420721664 12782 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14082736 memory=279475106364800 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571286 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14082736 memory=139737499291151 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571287 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564355576992 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14082736 memory=139737499318938 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571287 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564354523888 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14082736 memory=139737499321794 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) S 26110 26113 25450 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 250571289 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564352420592 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) S 26110 26113 25450 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 15 0 250571289 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564351368048 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14082736 memory=139737607071360 CPUtime=0.08 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) S 26110 26113 25450 0 -1 1077944384 306 0 0 0 8 0 0 0 20 0 15 0 250571289 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564350314992 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14082736 memory=139737607105204 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571290 14420721664 12782 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50920 KiB

[startup+0.700717 s]
/proc/loadavg: 1.59 1.64 1.53 3/196 26144
/proc/meminfo: memFree=18372268/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14084804 memory=88788 CPUtime=0.98 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 17119 0 0 0 93 5 0 0 20 0 15 0 250571284 14422839296 22197 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3521201 22197 3504 1 0 3483273 0
[pid=26113/tid=26115] ppid=26110 vsize=14084804 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 14434 0 0 0 63 4 0 0 20 0 15 0 250571284 14422839296 22197 33554432000 4194304 4196468 140733118584688 140565246361616 140565226218846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571285 14422839296 22197 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14084804 memory=79 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14422839296 22197 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14084804 memory=1 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14422839296 22197 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14084804 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14422839296 22197 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14084804 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571286 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14084804 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571287 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564355576992 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14084804 memory=7740683254267203940 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571287 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564354523888 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14084804 memory=7957689449132282197 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14084804 memory=7300704776819335744 CPUtime=0.07 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) S 26110 26113 25450 0 -1 1077944384 677 0 0 0 7 0 0 0 20 0 15 0 250571289 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564352420592 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14084804 memory=8564 CPUtime=0.07 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) S 26110 26113 25450 0 -1 1077944384 257 0 0 0 7 0 0 0 20 0 15 0 250571289 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564351368048 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14084804 memory=1800 CPUtime=0.14 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) S 26110 26113 25450 0 -1 1077944384 371 0 0 0 14 0 0 0 20 0 15 0 250571289 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564350314992 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14084804 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14084804 memory=7200 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571290 14422839296 22197 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88788 KiB

[startup+1.50074 s]
/proc/loadavg: 1.59 1.64 1.53 4/215 26174
/proc/meminfo: memFree=18303380/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14090948 memory=154292 CPUtime=2.95 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 23751 0 0 0 287 8 0 0 20 0 15 0 250571284 14429130752 38573 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3522737 38573 3541 1 0 3484809 0
[pid=26113/tid=26115] ppid=26110 vsize=14090948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 17207 0 0 0 141 5 0 0 20 0 15 0 250571284 14429130752 38573 33554432000 4194304 4196468 140733118584688 140565246367600 140565242160189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14090948 memory=127 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571285 14429130752 38573 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14429130752 38573 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14429130752 38573 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571285 14429130752 38573 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14090948 memory=88788 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 250571286 14429130752 38573 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0

################
# More data... #
################

[pid=26113/tid=26127] ppid=26110 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48366 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14090948 memory=68284 CPUtime=0.1 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 745 0 0 0 5 5 0 0 20 0 15 0 250571290 14429130752 48366 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 247.8 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 193464 KiB

[startup+244.901 s]
/proc/loadavg: 1.22 1.50 1.51 3/215 26185
/proc/meminfo: memFree=17511996/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14090948 memory=193368 CPUtime=249.41 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 54677 0 0 0 24905 36 0 0 20 0 15 0 250571284 14429130752 48342 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3522737 48342 3577 1 0 3484809 0
[pid=26113/tid=26115] ppid=26110 vsize=14090948 memory=1220 CPUtime=243.53 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 23782 0 0 0 24344 9 0 0 20 0 15 0 250571284 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565246376528 140564842009278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14090948 memory=193464 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2050 0 0 0 62 5 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14090948 memory=193464 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 3097 0 0 0 62 5 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14090948 memory=6791534058613427641 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 2757 0 0 0 63 4 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14090948 memory=1408 CPUtime=0.66 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 2832 0 0 0 62 4 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14090948 memory=3048 CPUtime=0.51 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 1987 0 0 0 47 4 0 0 20 0 15 0 250571286 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14090948 memory=746224 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564355577056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564354523904 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14090948 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14090948 memory=14133342345897820 CPUtime=0.91 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) S 26110 26113 25450 0 -1 1077944384 4632 0 0 0 91 0 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564352420592 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14090948 memory=4744 CPUtime=0.92 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) S 26110 26113 25450 0 -1 1077944384 3961 0 0 0 91 1 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564351368048 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14090948 memory=193464 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) S 26110 26113 25450 0 -1 1077944384 7419 0 0 0 67 1 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564350314992 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14090948 memory=193464 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14090948 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 745 0 0 0 5 5 0 0 20 0 15 0 250571290 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 249.41 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 193368 KiB

[startup+246.501 s]
/proc/loadavg: 1.22 1.50 1.51 2/196 26195
/proc/meminfo: memFree=18251468/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14090948 memory=193368 CPUtime=251.02 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 54683 0 0 0 25066 36 0 0 20 0 15 0 250571284 14429130752 48342 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3522737 48342 3577 1 0 3484809 0
[pid=26113/tid=26115] ppid=26110 vsize=14090948 memory=872 CPUtime=245.12 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 23788 0 0 0 24503 9 0 0 20 0 15 0 250571284 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565246376528 140564841515376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14090948 memory=1800 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2050 0 0 0 62 5 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14090948 memory=1408 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 3097 0 0 0 63 5 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14090948 memory=-7175204567652784766 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 2757 0 0 0 64 4 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14090948 memory=187376 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 2832 0 0 0 63 4 0 0 20 0 15 0 250571285 14429130752 48342 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14090948 memory=193368 CPUtime=0.51 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 1987 0 0 0 47 4 0 0 20 0 15 0 250571286 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14090948 memory=193368 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564355577056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14090948 memory=193464 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564354523904 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14090948 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14090948 memory=68284 CPUtime=0.91 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) S 26110 26113 25450 0 -1 1077944384 4632 0 0 0 91 0 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564352420592 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14090948 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) S 26110 26113 25450 0 -1 1077944384 3961 0 0 0 91 1 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564351368048 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14090948 memory=6656426216303648864 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) S 26110 26113 25450 0 -1 1077944384 7419 0 0 0 67 1 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564350314992 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14090948 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14090948 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 745 0 0 0 5 5 0 0 20 0 15 0 250571290 14429130752 48342 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 251.02 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 193368 KiB

[startup+246.901 s]
/proc/loadavg: 1.22 1.50 1.51 2/196 26195
/proc/meminfo: memFree=18251468/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14090948 memory=195416 CPUtime=251.43 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 54689 0 0 0 25107 36 0 0 20 0 15 0 250571284 14429130752 48854 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3522737 48854 3577 1 0 3484809 0
[pid=26113/tid=26115] ppid=26110 vsize=14090948 memory=0 CPUtime=245.52 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 23790 0 0 0 24543 9 0 0 20 0 15 0 250571284 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565246376512 140564842009416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14090948 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2051 0 0 0 63 5 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14090948 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 3097 0 0 0 63 5 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14090948 memory=193368 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 2758 0 0 0 64 4 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14090948 memory=496 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 2834 0 0 0 63 4 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14090948 memory=1616 CPUtime=0.51 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 1987 0 0 0 47 4 0 0 20 0 15 0 250571286 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14090948 memory=673 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564355577056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564354523904 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14090948 memory=1 CPUtime=0.91 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) S 26110 26113 25450 0 -1 1077944384 4632 0 0 0 91 0 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564352420592 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14090948 memory=748 CPUtime=0.92 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) S 26110 26113 25450 0 -1 1077944384 3961 0 0 0 91 1 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564351368048 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14090948 memory=872 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) S 26110 26113 25450 0 -1 1077944384 7419 0 0 0 67 1 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564350314992 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14090948 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14090948 memory=1108 CPUtime=0.1 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 745 0 0 0 5 5 0 0 20 0 15 0 250571290 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 251.43 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 195416 KiB

[startup+247.301 s]
/proc/loadavg: 1.22 1.50 1.51 2/213 26216
/proc/meminfo: memFree=18081556/32770624 swapFree=67108792/67108860
[pid=26113] ppid=26110 vsize=14090948 memory=195416 CPUtime=251.83 cores=1,3,5,7
/proc/26113/stat : 26113 (java) S 26110 26113 25450 0 -1 1077944320 54690 0 0 0 25147 36 0 0 20 0 15 0 250571284 14429130752 48854 33554432000 4194304 4196468 140733118584688 140733118567232 140565242138359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
/proc/26113/statm: 3522737 48854 3577 1 0 3484809 0
[pid=26113/tid=26115] ppid=26110 vsize=14090948 memory=8564 CPUtime=245.92 cores=1,3,5,7
/proc/26113/task/26115/stat : 26115 (java) R 26110 26113 25450 0 -1 4202560 23791 0 0 0 24583 9 0 0 20 0 15 0 250571284 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565246376400 140564841265446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26116] ppid=26110 vsize=14090948 memory=187376 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26116/stat : 26116 (java) S 26110 26113 25450 0 -1 1077944384 2051 0 0 0 63 5 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565157207056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26117] ppid=26110 vsize=14090948 memory=1220 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26117/stat : 26117 (java) S 26110 26113 25450 0 -1 1077944384 3097 0 0 0 63 5 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565156154512 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26118] ppid=26110 vsize=14090948 memory=187376 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26118/stat : 26118 (java) S 26110 26113 25450 0 -1 1077944384 2758 0 0 0 64 4 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565155101456 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26119] ppid=26110 vsize=14090948 memory=6791534058613427641 CPUtime=0.67 cores=1,3,5,7
/proc/26113/task/26119/stat : 26119 (java) S 26110 26113 25450 0 -1 1077944384 2834 0 0 0 63 4 0 0 20 0 15 0 250571285 14429130752 48854 33554432000 4194304 4196468 140733118584688 140565154048912 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26120] ppid=26110 vsize=14090948 memory=1264 CPUtime=0.51 cores=1,3,5,7
/proc/26113/task/26120/stat : 26120 (java) S 26110 26113 25450 0 -1 1077944384 1987 0 0 0 47 4 0 0 20 0 15 0 250571286 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564356630768 140565242149506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26121] ppid=26110 vsize=14090948 memory=7200 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26121/stat : 26121 (java) S 26110 26113 25450 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564355577056 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26122] ppid=26110 vsize=14090948 memory=748 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26122/stat : 26122 (java) S 26110 26113 25450 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250571287 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564354523904 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26123] ppid=26110 vsize=14090948 memory=872 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26123/stat : 26123 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564353472464 140565242156955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26124] ppid=26110 vsize=14090948 memory=6791534058613427641 CPUtime=0.91 cores=1,3,5,7
/proc/26113/task/26124/stat : 26124 (java) S 26110 26113 25450 0 -1 1077944384 4632 0 0 0 91 0 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564352420592 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26125] ppid=26110 vsize=14090948 memory=1108 CPUtime=0.92 cores=1,3,5,7
/proc/26113/task/26125/stat : 26125 (java) S 26110 26113 25450 0 -1 1077944384 3961 0 0 0 91 1 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564351368048 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26126] ppid=26110 vsize=14090948 memory=15336 CPUtime=0.68 cores=1,3,5,7
/proc/26113/task/26126/stat : 26126 (java) S 26110 26113 25450 0 -1 1077944384 7419 0 0 0 67 1 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564350314992 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26127] ppid=26110 vsize=14090948 memory=15840 CPUtime=0 cores=1,3,5,7
/proc/26113/task/26127/stat : 26127 (java) S 26110 26113 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571289 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564349262688 140565242148565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
[pid=26113/tid=26128] ppid=26110 vsize=14090948 memory=38408 CPUtime=0.1 cores=1,3,5,7
/proc/26113/task/26128/stat : 26128 (java) S 26110 26113 25450 0 -1 1077944384 745 0 0 0 5 5 0 0 20 0 15 0 250571290 14429130752 48854 33554432000 4194304 4196468 140733118584688 140564280371760 140565242149506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26738688 140733118587983 140733118588174 140733118588174 140733118590927 0
Current children cumulated CPU time: 251.83 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 195416 KiB

Child status: 0
Real time (s): 247.363
CPU time (s): 251.906
CPU user time (s): 251.532
CPU system time (s): 0.37393
CPU usage (%): 101.837
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 241028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.532
system time used= 0.37393
maximum resident set size= 242140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21483
involuntary context switches= 295


# summary of solver processes directly reported to runsolver:
#   pid: 26113
#   total CPU time (s): 251.906
#   total CPU user time (s): 251.532
#   total CPU system time (s): 0.37393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50439 second user time and 2.4086 second system time

The end

Launcher Data

Begin job on node150 at 2018-08-15 12:48:00
IDJOB=4310109
IDBENCH=141217
IDSOLVER=2795
FILE ID=node150/4310109-1534330080
RUNJOBID= node150-1534329088-25482
PBS_JOBID= 21038155
Free space on /tmp= 37896 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-4310109-1534330080/watcher-4310109-1534330080 -o /tmp/evaluation-result-4310109-1534330080/solver-4310109-1534330080 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534329088-25482 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 558333426 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310109-1534330080.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ce812152122c21d5982c9c6047fc1378
RANDOM SEED=558333426

node150.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.76
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.76
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.76
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.76
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:        18372276 kB
MemAvailable:   31836456 kB
Buffers:          249320 kB
Cached:         13382260 kB
SwapCached:           32 kB
Active:          6482700 kB
Inactive:        7264908 kB
Active(anon):      67476 kB
Inactive(anon):   109136 kB
Active(file):    6415224 kB
Inactive(file):  7155772 kB
Unevictable:        7740 kB
Mlocked:            7740 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             36000 kB
Writeback:             0 kB
AnonPages:        117556 kB
Mapped:            67884 kB
Shmem:             57924 kB
Slab:             350176 kB
SReclaimable:     321644 kB
SUnreclaim:        28532 kB
KernelStack:        3520 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1314008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 37896 MiB
End job on node150 at 2018-08-15 12:52:08