Trace number 4311737

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-17SAT (TO)88 2520.04 2492.81

General information on the benchmark

NameSumColoring/
SumColoring-1-fullins-4_c18.xml
MD5SUMce812152122c21d5982c9c6047fc1378
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark859.495
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-17
0.67/0.56	c seed: 1306271232
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
2.04/1.21	c Parsing done, starting search...
2.04/1.29	o 4352
2.30/1.32	o 4340
2.30/1.32	o 4330
2.30/1.32	o 4293
2.30/1.32	o 4292
2.30/1.32	o 4291
2.30/1.32	o 4286
2.30/1.33	o 4276
2.30/1.33	o 4273
2.30/1.33	o 4271
2.30/1.33	o 4231
2.30/1.33	o 4230
2.30/1.33	o 4226
2.30/1.33	o 4225
2.30/1.33	o 4222
2.30/1.33	o 4220
2.30/1.33	o 4218
2.30/1.33	o 4217
2.30/1.33	o 4213
2.30/1.33	o 4212
2.30/1.33	o 4210
2.30/1.33	o 4209
2.30/1.33	o 4207
2.30/1.33	o 4206
2.30/1.33	o 4197
2.30/1.33	o 4181
2.30/1.33	o 4177
2.30/1.33	o 4175
2.30/1.33	o 4174
2.30/1.33	o 4156
2.30/1.33	o 4155
2.30/1.34	o 4151
2.30/1.34	o 4148
2.30/1.34	o 4140
2.30/1.34	o 4139
2.30/1.34	o 4137
2.30/1.34	o 4112
2.30/1.34	o 4111
2.30/1.34	o 4097
2.30/1.34	o 4096
2.30/1.34	o 4095
2.30/1.34	o 4094
2.30/1.34	o 4093
2.30/1.34	o 4091
2.30/1.34	o 4090
2.30/1.34	o 4089
2.30/1.34	o 4088
2.30/1.34	o 4086
2.30/1.34	o 4066
2.30/1.34	o 4064
2.30/1.35	o 4045
2.30/1.35	o 4016
2.30/1.35	o 4004
2.30/1.35	o 4002
2.30/1.35	o 4000
2.30/1.35	o 3999
2.30/1.35	o 3998
2.30/1.35	o 3997
2.30/1.35	o 3953
2.30/1.35	o 3914
2.30/1.36	o 3912
2.30/1.36	o 3911
2.30/1.36	o 3910
2.30/1.36	o 3909
2.30/1.36	o 3908
2.30/1.36	o 3907
2.30/1.36	o 3906
2.30/1.36	o 3905
2.30/1.36	o 3904
2.30/1.36	o 3903
2.30/1.36	o 3901
2.30/1.36	o 3900
2.30/1.36	o 3899
2.30/1.36	o 3898
2.30/1.36	o 3897
2.30/1.36	o 3895
2.30/1.36	o 3894
2.30/1.36	o 3890
2.30/1.36	o 3888
2.30/1.37	o 3887
2.30/1.37	o 3882
2.30/1.37	o 3881
2.30/1.37	o 3880
2.30/1.38	o 3876
2.30/1.38	o 3874
2.30/1.38	o 3873
2.30/1.38	o 3871
2.30/1.38	o 3865
2.30/1.38	o 3863
2.30/1.38	o 3862
2.30/1.38	o 3861
2.30/1.38	o 3860
2.30/1.38	o 3859
2.30/1.38	o 3857
2.30/1.38	o 3853
2.30/1.38	o 3852
2.30/1.38	o 3851
2.30/1.38	o 3850
2.30/1.38	o 3849
2.30/1.38	o 3846
2.30/1.38	o 3845
2.30/1.38	o 3844
2.30/1.38	o 3843
2.30/1.38	o 3842
2.30/1.38	o 3841
2.30/1.38	o 3839
2.30/1.38	o 3837
2.30/1.38	o 3835
2.30/1.38	o 3803
2.30/1.38	o 3801
2.30/1.38	o 3799
2.30/1.38	o 3797
2.30/1.38	o 3795
2.30/1.38	o 3794
2.30/1.38	o 3792
2.30/1.38	o 3789
2.30/1.39	o 3787
2.30/1.39	o 3786
2.30/1.39	o 3785
2.30/1.39	o 3784
2.30/1.39	o 3783
2.30/1.39	o 3782
2.30/1.39	o 3780
2.30/1.39	o 3779
2.30/1.39	o 3778
2.30/1.39	o 3774
2.30/1.39	o 3766
2.30/1.39	o 3765
2.30/1.39	o 3762
2.30/1.39	o 3761
2.30/1.39	o 3760
2.30/1.39	o 3759
2.30/1.39	o 3758
2.30/1.39	o 3757
2.30/1.39	o 3756
2.30/1.39	o 3755
2.30/1.39	o 3754
2.30/1.40	o 3753
2.30/1.40	o 3744
2.66/1.40	o 3742
2.66/1.40	o 3741
2.66/1.40	o 3740
2.66/1.40	o 3739
2.66/1.40	o 3722
2.66/1.40	o 3720
2.66/1.40	o 3718
2.66/1.40	o 3710
2.66/1.40	o 3707
2.66/1.40	o 3706
2.66/1.40	o 3705
2.66/1.40	o 3704
2.66/1.40	o 3703
2.66/1.40	o 3701
2.66/1.40	o 3699
2.66/1.40	o 3685
2.66/1.40	o 3677
2.66/1.40	o 3673
2.66/1.40	o 3669
2.66/1.41	o 3659
2.66/1.41	o 3654
2.66/1.41	o 3650
2.66/1.41	o 3648
2.66/1.41	o 3646
2.66/1.41	o 3642
2.66/1.41	o 3641
2.66/1.41	o 3640
2.66/1.41	o 3639
2.66/1.41	o 3638
2.66/1.41	o 3611
2.66/1.42	o 3578
2.66/1.42	o 3570
2.66/1.42	o 3562
2.66/1.42	o 3561
2.66/1.42	o 3559
2.66/1.42	o 3553
2.66/1.42	o 3552
2.66/1.42	o 3550
2.66/1.42	o 3549
2.66/1.43	o 3540
2.66/1.43	o 3538
2.66/1.43	o 3537
2.66/1.43	o 3536
2.66/1.45	o 3535
2.66/1.45	o 3534
2.66/1.45	o 3533
2.66/1.45	o 3532
2.66/1.46	o 3531
2.66/1.48	o 3530
2.97/1.51	o 3529
2.97/1.51	o 3528
2.97/1.51	o 3527
2.97/1.51	o 3526
2.97/1.52	o 3525
2.97/1.52	o 3524
2.97/1.52	o 3522
2.97/1.52	o 3518
2.97/1.52	o 3516
2.97/1.52	o 3515
2.97/1.52	o 3514
2.97/1.52	o 3503
2.97/1.52	o 3502
2.97/1.52	o 3501
2.97/1.52	o 3500
2.97/1.52	o 3499
2.97/1.52	o 3498
2.97/1.52	o 3497
2.97/1.52	o 3496
2.97/1.52	o 3495
2.97/1.52	o 3494
2.97/1.52	o 3493
2.97/1.52	o 3492
2.97/1.52	o 3491
2.97/1.52	o 3490
2.97/1.52	o 3489
2.97/1.52	o 3488
2.97/1.52	o 3487
2.97/1.52	o 3486
2.97/1.52	o 3485
2.97/1.52	o 3484
2.97/1.52	o 3483
2.97/1.52	o 3482
2.97/1.52	o 3481
2.97/1.53	o 3480
2.97/1.53	o 3479
2.97/1.54	o 3478
2.97/1.54	o 3476
2.97/1.54	o 3471
2.97/1.54	o 3469
2.97/1.54	o 3468
2.97/1.54	o 3467
2.97/1.54	o 3466
2.97/1.54	o 3465
2.97/1.54	o 3464
2.97/1.54	o 3446
2.97/1.54	o 3445
2.97/1.54	o 3434
2.97/1.54	o 3423
2.97/1.54	o 3422
2.97/1.54	o 3421
2.97/1.54	o 3420
2.97/1.55	o 3419
2.97/1.55	o 3418
2.97/1.55	o 3417
2.97/1.55	o 3416
2.97/1.55	o 3415
2.97/1.55	o 3414
2.97/1.56	o 3413
2.97/1.59	o 3412
2.97/1.60	o 3411
3.26/1.63	o 3399
3.26/1.63	o 3397
3.26/1.63	o 3395
3.26/1.63	o 3394
3.26/1.63	o 3392
3.26/1.63	o 3391
3.26/1.63	o 3389
3.26/1.63	o 3380
3.26/1.63	o 3378
3.26/1.63	o 3376
3.26/1.63	o 3375
3.26/1.63	o 3374
3.26/1.63	o 3373
3.26/1.63	o 3372
3.26/1.64	o 3371
3.26/1.64	o 3370
3.26/1.64	o 3369
3.26/1.65	o 3368
3.26/1.66	o 3367
3.26/1.66	o 3366
3.26/1.66	o 3365
3.52/1.77	o 3363
3.52/1.77	o 3362
3.52/1.77	o 3358
3.52/1.77	o 3357
3.52/1.77	o 3356
3.52/1.77	o 3355
3.52/1.77	o 3354
3.52/1.77	o 3352
3.52/1.77	o 3351
3.52/1.77	o 3343
3.52/1.78	o 3342
3.52/1.78	o 3341
3.63/1.82	o 3340
3.73/1.99	o 3339
3.73/2.00	o 3338
3.96/2.12	o 3337
3.96/2.19	o 3336
3.96/2.19	o 3335
3.96/2.19	o 3334
3.96/2.19	o 3333
3.96/2.19	o 3328
3.96/2.19	o 3327
3.96/2.19	o 3325
3.96/2.19	o 3324
3.96/2.19	o 3323
3.96/2.19	o 3322
3.96/2.20	o 3321
3.96/2.20	o 3320
3.96/2.20	o 3319
3.96/2.20	o 3318
3.96/2.20	o 3310
3.96/2.20	o 3309
3.96/2.20	o 3308
3.96/2.20	o 3307
3.96/2.20	o 3306
3.96/2.20	o 3305
3.96/2.20	o 3291
3.96/2.20	o 3290
3.96/2.20	o 3289
3.96/2.20	o 3286
3.96/2.20	o 3285
3.96/2.20	o 3284
3.96/2.20	o 3282
3.96/2.20	o 3281
3.96/2.20	o 3280
3.96/2.20	o 3275
3.96/2.20	o 3274
3.96/2.20	o 3273
3.96/2.20	o 3272
3.96/2.20	o 3271
4.08/2.21	o 3270
4.08/2.21	o 3269
4.08/2.21	o 3267
4.08/2.21	o 3265
4.08/2.21	o 3261
4.08/2.21	o 3260
4.08/2.21	o 3259
4.08/2.21	o 3258
4.08/2.21	o 3257
4.08/2.22	o 3256
4.08/2.22	o 3255
4.08/2.22	o 3253
4.08/2.23	o 3251
4.32/2.30	o 3250
4.32/2.30	o 3249
4.32/2.30	o 3248
4.32/2.30	o 3247
4.32/2.30	o 3246
4.32/2.30	o 3242
4.32/2.30	o 3234
4.32/2.30	o 3226
4.32/2.30	o 3223
4.32/2.30	o 3222
4.32/2.30	o 3221
4.32/2.30	o 3220
4.32/2.30	o 3219
4.32/2.30	o 3216
4.32/2.30	o 3208
4.32/2.30	o 3199
4.32/2.30	o 3197
4.32/2.30	o 3196
4.32/2.30	o 3195
4.32/2.31	o 3193
4.32/2.31	o 3191
4.32/2.31	o 3190
4.32/2.31	o 3189
4.32/2.31	o 3183
4.32/2.31	o 3182
4.32/2.31	o 3177
4.32/2.31	o 3176
4.32/2.31	o 3174
4.32/2.32	o 3173
4.32/2.32	o 3172
4.32/2.32	o 3171
4.32/2.35	o 3170
4.32/2.35	o 3169
4.32/2.35	o 3168
4.32/2.36	o 3151
4.32/2.36	o 3147
4.32/2.36	o 3145
4.32/2.36	o 3142
4.32/2.36	o 3141
4.32/2.36	o 3139
4.32/2.36	o 3138
4.32/2.36	o 3137
4.32/2.37	o 3136
4.32/2.38	o 3135
4.59/2.40	o 3117
4.59/2.40	o 3115
4.59/2.40	o 3113
4.59/2.40	o 3110
4.59/2.40	o 3109
4.59/2.40	o 3107
4.59/2.40	o 3106
4.59/2.40	o 3084
4.59/2.40	o 3083
4.59/2.40	o 3082
4.59/2.41	o 3081
4.59/2.41	o 3080
4.59/2.41	o 3079
4.59/2.41	o 3078
4.59/2.41	o 3077
4.59/2.44	o 3075
4.59/2.44	o 3074
4.59/2.44	o 3064
4.59/2.44	o 3063
4.59/2.44	o 3056
4.59/2.44	o 3055
4.59/2.44	o 3044
4.59/2.44	o 3041
4.59/2.44	o 3040
4.59/2.44	o 3030
4.59/2.44	o 3029
4.59/2.44	o 3028
4.59/2.44	o 3027
4.59/2.44	o 3026
4.59/2.44	o 3025
4.59/2.44	o 3024
4.59/2.44	o 3023
4.59/2.44	o 3022
4.59/2.44	o 3020
4.59/2.44	o 3019
4.59/2.45	o 3017
4.59/2.46	o 3016
4.59/2.46	o 3015
4.59/2.46	o 3014
4.59/2.46	o 3013
4.59/2.48	o 3012
4.59/2.48	o 3011
4.59/2.49	o 3010
4.59/2.49	o 3008
4.59/2.49	o 3004
4.59/2.49	o 3001
4.59/2.49	o 2999
4.59/2.49	o 2998
4.59/2.49	o 2996
4.59/2.49	o 2995
4.59/2.49	o 2993
4.59/2.49	o 2992
4.59/2.49	o 2991
4.59/2.49	o 2990
4.59/2.49	o 2989
4.81/2.50	o 2987
4.81/2.50	o 2986
4.81/2.50	o 2985
4.81/2.53	o 2984
4.81/2.53	o 2983
4.81/2.53	o 2982
4.81/2.53	o 2981
4.81/2.53	o 2979
4.81/2.53	o 2978
4.81/2.53	o 2977
4.81/2.53	o 2976
4.81/2.53	o 2975
4.81/2.53	o 2974
4.81/2.53	o 2973
4.81/2.54	o 2972
4.81/2.56	o 2971
4.93/2.60	o 2970
4.93/2.61	o 2969
4.93/2.65	o 2968
4.93/2.65	o 2967
4.93/2.65	o 2937
4.93/2.65	o 2936
4.93/2.65	o 2935
4.93/2.65	o 2933
4.93/2.65	o 2931
4.93/2.65	o 2929
4.93/2.65	o 2925
4.93/2.65	o 2923
4.93/2.65	o 2920
4.93/2.65	o 2919
4.93/2.65	o 2918
4.93/2.65	o 2916
4.93/2.65	o 2915
4.93/2.65	o 2914
4.93/2.65	o 2913
4.93/2.65	o 2912
4.93/2.65	o 2911
4.93/2.65	o 2910
4.93/2.65	o 2908
4.93/2.65	o 2907
4.93/2.65	o 2906
4.93/2.65	o 2905
4.93/2.65	o 2904
4.93/2.65	o 2903
4.93/2.65	o 2900
4.93/2.65	o 2899
4.93/2.65	o 2898
4.93/2.65	o 2897
4.93/2.65	o 2896
4.93/2.65	o 2895
4.93/2.65	o 2894
4.93/2.65	o 2893
4.93/2.66	o 2891
4.93/2.66	o 2889
4.93/2.66	o 2888
4.93/2.66	o 2887
4.93/2.69	o 2886
4.93/2.69	o 2885
5.03/2.71	o 2884
5.03/2.72	o 2883
5.03/2.76	o 2882
5.03/2.76	o 2881
5.03/2.76	o 2879
5.03/2.76	o 2863
5.03/2.76	o 2860
5.03/2.76	o 2858
5.03/2.76	o 2857
5.03/2.76	o 2855
5.03/2.76	o 2854
5.03/2.76	o 2853
5.03/2.77	o 2847
5.03/2.77	o 2846
5.03/2.77	o 2836
5.03/2.77	o 2835
5.03/2.77	o 2833
5.03/2.77	o 2832
5.03/2.77	o 2829
5.03/2.77	o 2826
5.03/2.79	o 2825
5.03/2.79	o 2824
5.03/2.79	o 2823
5.13/2.86	o 2822
5.13/2.86	o 2821
5.23/2.90	o 2820
5.23/2.90	o 2819
5.23/2.90	o 2818
5.23/2.96	o 2817
5.23/2.98	o 2816
5.23/2.98	o 2815
5.34/3.01	o 2814
5.34/3.02	o 2813
5.34/3.02	o 2812
5.34/3.04	o 2810
5.44/3.20	o 2809
5.53/3.20	o 2808
5.53/3.20	o 2807
5.53/3.20	o 2806
5.53/3.21	o 2805
5.53/3.21	o 2804
5.53/3.21	o 2803
5.66/3.31	o 2802
5.80/3.41	o 2800
5.80/3.41	o 2799
5.91/3.50	o 2798
5.91/3.56	o 2797
5.91/3.56	o 2796
6.01/3.66	o 2795
6.01/3.69	o 2794
6.21/3.83	o 2792
6.21/3.83	o 2790
6.21/3.83	o 2789
6.21/3.83	o 2788
6.21/3.83	o 2787
6.21/3.83	o 2761
6.21/3.83	o 2760
6.21/3.83	o 2759
6.21/3.83	o 2754
6.21/3.83	o 2752
6.21/3.83	o 2737
6.21/3.83	o 2725
6.21/3.83	o 2718
6.21/3.83	o 2715
6.21/3.83	o 2714
6.21/3.84	o 2713
6.21/3.84	o 2712
6.31/3.95	o 2711
6.31/3.95	o 2710
6.31/3.95	o 2709
6.31/3.95	o 2708
6.31/3.95	o 2707
7.19/4.74	o 2704
7.19/4.74	o 2703
7.19/4.74	o 2702
7.19/4.74	o 2701
7.19/4.74	o 2700
7.19/4.74	o 2699
7.19/4.74	o 2698
7.19/4.75	o 2696
7.19/4.75	o 2695
7.19/4.75	o 2693
7.19/4.75	o 2692
7.19/4.75	o 2682
7.19/4.75	o 2681
7.19/4.75	o 2680
7.19/4.75	o 2679
7.19/4.75	o 2650
7.19/4.76	o 2649
7.19/4.76	o 2645
7.19/4.76	o 2644
7.19/4.76	o 2643
7.19/4.76	o 2642
7.19/4.76	o 2641
7.19/4.76	o 2640
7.19/4.76	o 2639
7.19/4.76	o 2638
7.19/4.76	o 2637
7.19/4.78	o 2635
7.19/4.79	o 2634
7.19/4.79	o 2633
7.30/4.80	o 2632
7.30/4.84	o 2631
7.30/4.84	o 2630
7.30/4.84	o 2629
7.46/4.90	o 2627
7.46/4.90	o 2626
7.46/4.90	o 2623
7.46/4.90	o 2622
7.46/4.93	o 2620
7.46/4.93	o 2615
7.46/4.93	o 2609
7.46/4.93	o 2607
7.46/4.93	o 2606
7.46/4.93	o 2604
7.46/4.93	o 2603
7.46/4.94	o 2601
7.46/4.95	o 2600
7.57/5.01	o 2588
7.57/5.01	o 2582
7.57/5.01	o 2573
7.57/5.01	o 2572
7.57/5.02	o 2570
7.57/5.02	o 2565
7.57/5.02	o 2562
7.57/5.02	o 2561
7.57/5.02	o 2560
7.57/5.02	o 2543
7.57/5.02	o 2542
7.57/5.02	o 2540
7.57/5.02	o 2539
7.57/5.02	o 2538
7.57/5.02	o 2537
7.57/5.02	o 2536
7.57/5.02	o 2535
7.57/5.02	o 2533
7.57/5.02	o 2532
7.57/5.03	o 2531
7.57/5.03	o 2530
7.57/5.07	o 2529
7.67/5.12	o 2527
7.67/5.19	o 2526
7.87/5.38	o 2525
7.87/5.39	o 2524
7.87/5.39	o 2523
7.87/5.39	o 2522
7.87/5.39	o 2521
7.97/5.41	o 2520
8.69/6.17	o 2511
8.69/6.17	o 2510
8.69/6.17	o 2506
8.69/6.17	o 2505
8.69/6.17	o 2492
8.69/6.17	o 2475
8.69/6.17	o 2473
8.69/6.18	o 2472
8.69/6.18	o 2465
8.69/6.18	o 2463
8.69/6.18	o 2462
8.69/6.18	o 2461
8.69/6.18	o 2460
8.79/6.20	o 2459
8.79/6.20	o 2458
8.79/6.20	o 2456
8.79/6.20	o 2455
8.79/6.20	o 2454
8.79/6.20	o 2452
8.79/6.20	o 2451
8.79/6.21	o 2450
8.79/6.22	o 2449
8.79/6.22	o 2448
8.79/6.22	o 2447
8.79/6.25	o 2446
8.89/6.34	o 2439
8.89/6.34	o 2437
8.89/6.34	o 2436
8.89/6.34	o 2434
8.89/6.34	o 2433
8.89/6.35	o 2432
8.89/6.35	o 2430
8.89/6.35	o 2429
8.89/6.36	o 2427
8.89/6.36	o 2426
8.89/6.36	o 2425
8.89/6.37	o 2424
8.89/6.37	o 2423
8.89/6.38	o 2422
8.89/6.38	o 2420
8.99/6.40	o 2418
9.19/6.67	o 2417
9.29/6.71	o 2416
9.29/6.71	o 2415
9.29/6.72	o 2414
9.29/6.72	o 2413
9.29/6.72	o 2412
9.49/6.95	o 2411
9.49/6.95	o 2410
9.60/7.01	o 2409
9.60/7.09	o 2408
9.70/7.18	o 2407
9.70/7.19	o 2406
9.90/7.38	o 2405
10.50/7.91	o 2404
10.50/7.91	o 2403
10.50/8.00	o 2402
10.50/8.00	o 2401
10.71/8.11	o 2400
10.71/8.11	o 2399
10.71/8.19	o 2398
10.71/8.19	o 2397
11.40/8.80	o 2396
11.40/8.80	o 2395
11.40/8.80	o 2394
11.40/8.80	o 2393
11.40/8.80	o 2392
11.40/8.80	o 2391
11.40/8.80	o 2390
11.40/8.81	o 2389
11.40/8.81	o 2388
11.40/8.81	o 2387
11.40/8.81	o 2385
11.40/8.81	o 2384
11.40/8.81	o 2383
11.40/8.81	o 2382
11.40/8.81	o 2381
11.40/8.81	o 2380
11.40/8.81	o 2379
11.40/8.81	o 2370
11.40/8.81	o 2369
11.40/8.81	o 2368
11.40/8.81	o 2367
11.40/8.81	o 2366
11.40/8.81	o 2365
11.40/8.81	o 2364
11.40/8.81	o 2363
11.40/8.81	o 2361
11.40/8.81	o 2360
11.40/8.81	o 2359
11.40/8.81	o 2352
11.40/8.81	o 2351
11.40/8.81	o 2350
11.40/8.81	o 2346
11.40/8.81	o 2345
11.40/8.81	o 2344
11.40/8.81	o 2343
11.40/8.81	o 2342
11.40/8.81	o 2341
11.40/8.81	o 2340
11.40/8.81	o 2339
11.40/8.81	o 2338
11.40/8.81	o 2337
11.40/8.81	o 2336
11.40/8.81	o 2335
11.40/8.84	o 2334
11.40/8.84	o 2333
11.50/8.92	o 2332
11.50/8.94	o 2331
11.50/8.99	o 2330
11.50/8.99	o 2328
11.50/8.99	o 2327
11.50/8.99	o 2325
11.50/8.99	o 2324
11.50/8.99	o 2323
11.50/8.99	o 2321
11.50/8.99	o 2316
11.50/8.99	o 2302
11.50/8.99	o 2300
11.50/8.99	o 2299
11.50/8.99	o 2298
11.50/8.99	o 2297
11.50/8.99	o 2296
11.50/8.99	o 2295
11.50/8.99	o 2294
11.50/8.99	o 2293
11.50/8.99	o 2292
11.50/8.99	o 2291
11.50/8.99	o 2290
11.50/9.00	o 2289
11.50/9.00	o 2288
11.50/9.00	o 2287
11.50/9.00	o 2286
11.62/9.04	o 2285
11.62/9.05	o 2284
11.62/9.05	o 2283
11.62/9.06	o 2282
11.62/9.06	o 2281
11.62/9.06	o 2280
11.72/9.17	o 2278
11.72/9.17	o 2275
11.72/9.17	o 2274
11.72/9.17	o 2273
11.72/9.17	o 2271
11.72/9.17	o 2266
11.72/9.17	o 2264
11.72/9.17	o 2263
11.72/9.17	o 2262
11.72/9.17	o 2261
11.72/9.17	o 2221
11.72/9.17	o 2220
11.72/9.17	o 2219
11.72/9.17	o 2218
11.72/9.17	o 2215
11.72/9.17	o 2214
11.72/9.17	o 2213
11.72/9.17	o 2212
11.72/9.18	o 2211
11.72/9.18	o 2210
11.72/9.18	o 2209
11.72/9.18	o 2208
11.72/9.18	o 2207
11.72/9.19	o 2206
11.72/9.19	o 2205
11.72/9.19	o 2204
11.72/9.19	o 2203
11.72/9.20	o 2202
11.81/9.20	o 2201
11.81/9.20	o 2200
11.81/9.20	o 2199
11.91/9.37	o 2198
12.52/9.94	o 2196
12.52/9.94	o 2195
12.52/9.94	o 2194
12.52/9.94	o 2192
12.52/9.94	o 2190
12.52/9.95	o 2189
12.52/9.95	o 2188
12.52/9.95	o 2187
12.52/9.95	o 2186
12.52/9.95	o 2185
12.52/9.95	o 2184
12.52/9.97	o 2183
12.92/10.33	o 2182
12.92/10.35	o 2181
12.92/10.37	o 2180
12.92/10.39	o 2179
12.92/10.39	o 2178
12.92/10.39	o 2177
13.02/10.42	o 2176
13.02/10.42	o 2175
13.02/10.44	o 2174
13.02/10.44	o 2173
13.22/10.67	o 2172
13.22/10.67	o 2171
14.02/11.40	o 2161
14.02/11.40	o 2157
14.02/11.40	o 2156
14.02/11.40	o 2155
14.02/11.40	o 2154
14.02/11.40	o 2153
14.02/11.40	o 2152
14.02/11.41	o 2151
14.02/11.41	o 2149
14.02/11.41	o 2147
14.02/11.41	o 2146
14.02/11.41	o 2144
14.02/11.41	o 2143
14.02/11.41	o 2142
14.02/11.41	o 2141
14.02/11.41	o 2140
14.02/11.44	o 2139
14.02/11.44	o 2138
14.02/11.44	o 2137
14.02/11.44	o 2136
14.02/11.45	o 2135
14.02/11.49	o 2134
14.02/11.49	o 2133
14.12/11.52	o 2132
14.12/11.53	o 2131
14.22/11.69	o 2130
14.32/11.70	o 2129
14.32/11.70	o 2128
15.52/12.93	o 2127
15.52/12.93	o 2126
15.52/12.97	o 2125
16.13/13.54	o 2124
16.23/13.69	o 2123
16.63/14.03	o 2122
16.63/14.03	o 2121
16.63/14.03	o 2120
16.63/14.03	o 2118
16.63/14.03	o 2115
16.63/14.03	o 2113
16.63/14.04	o 2111
16.63/14.04	o 2109
16.63/14.04	o 2108
16.63/14.05	o 2106
16.63/14.05	o 2104
16.63/14.07	o 2103
16.63/14.07	o 2102
16.63/14.08	o 2101
16.63/14.08	o 2099
16.74/14.15	o 2098
16.74/14.16	o 2097
16.74/14.16	o 2095
16.74/14.17	o 2094
16.83/14.25	o 2057
16.83/14.25	o 2052
16.83/14.25	o 2046
16.83/14.25	o 2045
16.83/14.25	o 2043
16.83/14.25	o 2038
16.83/14.25	o 2037
16.83/14.25	o 2034
16.93/14.31	o 2033
16.93/14.31	o 2032
16.93/14.33	o 2031
16.93/14.33	o 2030
16.93/14.33	o 2029
16.93/14.33	o 2028
16.93/14.33	o 2027
16.93/14.35	o 2026
17.74/15.11	o 2025
17.74/15.11	o 2024
17.74/15.11	o 2023
17.74/15.11	o 2022
17.93/15.30	o 2020
17.93/15.30	o 2019
17.93/15.30	o 2017
17.93/15.30	o 2016
17.93/15.30	o 2015
17.93/15.30	o 2011
17.93/15.30	o 2007
17.93/15.30	o 2001
17.93/15.31	o 1999
17.93/15.31	o 1998
17.93/15.31	o 1997
17.93/15.31	o 1995
17.93/15.32	o 1993
17.93/15.32	o 1992
17.93/15.33	o 1991
17.93/15.33	o 1989
17.93/15.33	o 1988
17.93/15.33	o 1987
17.93/15.33	o 1982
17.93/15.33	o 1981
17.93/15.33	o 1975
17.93/15.33	o 1974
17.93/15.33	o 1973
17.93/15.33	o 1953
17.93/15.33	o 1952
17.93/15.33	o 1946
17.93/15.33	o 1945
17.93/15.33	o 1944
17.93/15.33	o 1943
17.93/15.33	o 1941
17.93/15.33	o 1940
17.93/15.34	o 1939
17.93/15.34	o 1938
17.93/15.34	o 1937
17.93/15.34	o 1936
17.93/15.34	o 1935
17.93/15.36	o 1934
17.93/15.38	o 1933
17.93/15.39	o 1932
18.24/15.66	o 1931
18.34/15.75	o 1929
18.75/16.12	o 1925
18.75/16.12	o 1916
18.75/16.12	o 1914
18.75/16.12	o 1910
18.75/16.12	o 1907
18.75/16.12	o 1902
18.75/16.12	o 1899
18.75/16.12	o 1896
18.75/16.12	o 1893
18.75/16.12	o 1890
18.75/16.12	o 1887
18.75/16.12	o 1883
18.75/16.12	o 1879
18.75/16.12	o 1877
18.75/16.12	o 1876
18.75/16.12	o 1873
18.75/16.13	o 1871
18.94/16.40	o 1870
19.04/16.43	o 1869
19.14/16.60	o 1868
19.24/16.60	o 1867
19.24/16.60	o 1866
19.24/16.60	o 1863
19.24/16.60	o 1862
19.24/16.60	o 1860
19.24/16.64	o 1857
19.24/16.64	o 1855
19.24/16.66	o 1853
19.44/16.84	o 1817
19.44/16.84	o 1816
19.44/16.84	o 1797
19.44/16.84	o 1796
19.44/16.84	o 1795
19.44/16.84	o 1794
19.44/16.86	o 1793
19.44/16.86	o 1792
19.44/16.89	o 1791
19.54/16.90	o 1790
19.54/16.90	o 1789
19.54/16.90	o 1787
19.54/16.91	o 1786
19.54/16.91	o 1784
19.54/16.97	o 1783
19.65/17.02	o 1782
19.65/17.02	o 1781
20.15/17.58	o 1779
20.25/17.60	o 1778
20.25/17.60	o 1777
20.25/17.62	o 1776
20.55/17.93	o 1774
20.55/17.93	o 1773
20.55/17.93	o 1772
20.55/17.93	o 1771
20.55/17.93	o 1769
20.55/17.93	o 1764
20.55/17.93	o 1760
20.55/17.93	o 1745
20.55/17.93	o 1742
20.55/17.93	o 1741
20.55/17.93	o 1740
20.55/17.93	o 1737
20.55/17.93	o 1734
20.55/17.93	o 1730
20.55/17.93	o 1728
20.55/17.93	o 1724
20.55/17.94	o 1722
20.55/17.94	o 1720
20.55/17.95	o 1718
20.55/17.96	o 1716
20.55/17.96	o 1714
20.55/17.96	o 1713
20.96/18.30	o 1712
20.96/18.30	o 1711
20.96/18.30	o 1710
20.96/18.30	o 1709
20.96/18.30	o 1704
20.96/18.30	o 1702
20.96/18.30	o 1697
20.96/18.30	o 1696
20.96/18.30	o 1695
20.96/18.30	o 1694
20.96/18.30	o 1692
20.96/18.30	o 1691
20.96/18.30	o 1690
20.96/18.30	o 1689
20.96/18.30	o 1688
20.96/18.30	o 1686
20.96/18.30	o 1685
20.96/18.30	o 1684
20.96/18.30	o 1683
20.96/18.30	o 1682
20.96/18.30	o 1681
20.96/18.30	o 1679
20.96/18.33	o 1678
20.96/18.34	o 1676
20.96/18.36	o 1675
20.96/18.40	o 1674
21.16/18.52	o 1673
21.26/18.60	o 1672
21.26/18.61	o 1671
21.87/19.21	o 1669
21.87/19.21	o 1668
21.87/19.21	o 1665
21.87/19.21	o 1660
21.87/19.21	o 1658
21.87/19.21	o 1656
21.87/19.21	o 1655
21.87/19.21	o 1654
21.87/19.21	o 1639
21.87/19.21	o 1636
21.87/19.21	o 1635
21.87/19.21	o 1633
21.87/19.21	o 1632
21.87/19.21	o 1630
21.87/19.21	o 1629
21.87/19.21	o 1628
21.87/19.21	o 1627
21.87/19.22	o 1626
21.87/19.22	o 1625
21.87/19.22	o 1623
21.87/19.22	o 1621
21.87/19.23	o 1620
21.87/19.23	o 1619
21.87/19.23	o 1618
21.87/19.23	o 1616
21.87/19.23	o 1613
21.87/19.23	o 1612
21.87/19.23	o 1610
21.87/19.23	o 1609
21.87/19.23	o 1608
21.87/19.23	o 1607
21.87/19.23	o 1606
21.87/19.23	o 1605
21.87/19.23	o 1604
21.87/19.23	o 1603
21.87/19.24	o 1602
21.87/19.24	o 1601
21.87/19.24	o 1600
21.87/19.24	o 1598
21.87/19.24	o 1595
21.97/19.30	o 1594
21.97/19.30	o 1589
21.97/19.31	o 1588
21.97/19.31	o 1587
21.97/19.31	o 1586
21.97/19.31	o 1584
21.97/19.32	o 1583
21.97/19.32	o 1579
21.97/19.34	o 1572
21.97/19.34	o 1571
21.97/19.34	o 1570
21.97/19.34	o 1569
21.97/19.34	o 1568
21.97/19.34	o 1567
21.97/19.34	o 1558
21.97/19.34	o 1556
21.97/19.34	o 1555
21.97/19.34	o 1554
21.97/19.34	o 1553
21.97/19.34	o 1548
21.97/19.34	o 1547
21.97/19.34	o 1546
21.97/19.34	o 1545
21.97/19.34	o 1544
21.97/19.34	o 1541
21.97/19.34	o 1539
21.97/19.34	o 1538
21.97/19.35	o 1537
21.97/19.35	o 1536
21.97/19.35	o 1533
21.97/19.36	o 1532
21.97/19.37	o 1531
21.97/19.37	o 1530
21.97/19.37	o 1528
22.07/19.40	o 1527
22.07/19.40	o 1526
22.07/19.40	o 1525
22.07/19.40	o 1524
22.07/19.40	o 1523
22.07/19.40	o 1522
22.07/19.40	o 1521
22.07/19.40	o 1520
22.07/19.40	o 1515
22.07/19.40	o 1514
22.07/19.40	o 1513
22.07/19.40	o 1512
22.07/19.40	o 1510
22.07/19.40	o 1509
22.07/19.40	o 1508
22.07/19.40	o 1507
22.07/19.40	o 1506
22.07/19.40	o 1505
22.07/19.40	o 1504
22.07/19.40	o 1503
22.07/19.41	o 1502
22.07/19.41	o 1501
22.07/19.41	o 1500
22.07/19.41	o 1499
22.07/19.41	o 1498
22.07/19.45	o 1497
22.07/19.45	o 1496
22.07/19.46	o 1495
22.07/19.47	o 1494
22.07/19.48	o 1491
22.07/19.48	o 1490
22.07/19.48	o 1489
22.07/19.48	o 1488
22.07/19.49	o 1487
22.17/19.50	o 1486
22.17/19.51	o 1485
22.17/19.51	o 1484
22.17/19.51	o 1483
22.17/19.51	o 1482
22.17/19.51	o 1481
22.17/19.53	o 1480
22.17/19.53	o 1479
22.17/19.53	o 1478
22.17/19.53	o 1477
22.17/19.54	o 1476
22.17/19.57	o 1474
22.17/19.57	o 1471
22.17/19.57	o 1470
22.17/19.57	o 1467
22.17/19.57	o 1466
22.17/19.57	o 1463
22.17/19.59	o 1461
22.27/19.61	o 1458
22.27/19.61	o 1457
22.27/19.61	o 1456
22.27/19.61	o 1455
22.27/19.61	o 1453
22.27/19.61	o 1452
22.27/19.62	o 1451
22.27/19.62	o 1448
22.27/19.62	o 1447
22.27/19.63	o 1445
22.27/19.63	o 1444
22.27/19.64	o 1443
22.27/19.64	o 1442
22.27/19.64	o 1440
22.27/19.64	o 1439
22.27/19.66	o 1437
22.47/19.84	o 1436
22.47/19.85	o 1435
22.47/19.89	o 1434
22.78/20.12	o 1432
23.38/20.77	o 1431
23.48/20.80	o 1429
23.48/20.84	o 1428
23.48/20.84	o 1426
23.48/20.84	o 1425
23.48/20.84	o 1423
23.48/20.86	o 1421
23.48/20.86	o 1420
23.48/20.86	o 1419
23.48/20.86	o 1416
23.48/20.86	o 1415
23.48/20.86	o 1410
23.48/20.86	o 1409
23.48/20.86	o 1407
23.48/20.86	o 1406
23.48/20.86	o 1405
23.48/20.86	o 1404
23.48/20.86	o 1398
23.48/20.86	o 1397
23.48/20.89	o 1396
23.58/20.91	o 1395
23.58/20.91	o 1393
23.58/20.96	o 1391
23.58/20.97	o 1388
23.58/20.98	o 1387
23.58/20.98	o 1384
23.69/21.02	o 1383
23.69/21.03	o 1382
23.69/21.03	o 1381
23.69/21.03	o 1378
23.69/21.07	o 1375
23.79/21.19	o 1373
23.88/21.20	o 1336
23.88/21.20	o 1332
23.88/21.20	o 1329
23.88/21.20	o 1328
23.88/21.20	o 1315
23.88/21.20	o 1314
23.88/21.20	o 1309
23.88/21.20	o 1308
23.88/21.23	o 1307
23.88/21.23	o 1306
23.88/21.23	o 1305
23.88/21.25	o 1304
23.88/21.25	o 1302
23.88/21.28	o 1301
23.88/21.28	o 1298
24.09/21.47	o 1297
24.09/21.47	o 1296
24.19/21.50	o 1295
24.19/21.54	o 1294
24.19/21.56	o 1291
25.49/22.84	o 1290
25.49/22.84	o 1289
25.49/22.84	o 1288
25.49/22.88	o 1287
30.92/28.21	o 1286
30.92/28.29	o 1285
30.92/28.29	o 1283
30.92/28.29	o 1282
30.92/28.29	o 1279
30.92/28.29	o 1278
30.92/28.29	o 1276
30.92/28.29	o 1273
30.92/28.29	o 1272
30.92/28.29	o 1269
30.92/28.30	o 1266
30.92/28.30	o 1263
30.92/28.30	o 1262
30.92/28.30	o 1258
31.02/28.30	o 1253
31.02/28.30	o 1250
31.02/28.30	o 1249
31.02/28.30	o 1246
31.02/28.30	o 1243
31.02/28.30	o 1237
31.02/28.30	o 1236
31.02/28.30	o 1235
31.02/28.31	o 1234
31.02/28.31	o 1233
31.02/28.31	o 1232
31.02/28.32	o 1231
31.02/28.32	o 1230
31.02/28.32	o 1228
31.02/28.32	o 1226
31.02/28.32	o 1225
31.02/28.32	o 1224
31.02/28.32	o 1223
31.02/28.32	o 1221
31.02/28.32	o 1216
31.02/28.32	o 1214
31.02/28.32	o 1213
31.02/28.32	o 1212
31.02/28.33	o 1210
31.02/28.33	o 1209
31.02/28.33	o 1207
31.02/28.33	o 1206
31.02/28.33	o 1205
31.02/28.33	o 1204
31.02/28.35	o 1203
31.02/28.36	o 1202
31.02/28.39	o 1186
31.02/28.39	o 1185
31.02/28.39	o 1180
31.02/28.39	o 1179
31.02/28.39	o 1178
31.02/28.39	o 1165
31.02/28.39	o 1164
31.02/28.39	o 1163
31.02/28.40	o 1162
31.02/28.40	o 1161
31.02/28.40	o 1160
31.12/28.40	o 1159
31.12/28.41	o 1158
31.12/28.41	o 1157
31.12/28.45	o 1156
31.12/28.45	o 1155
31.12/28.48	o 1154
31.12/28.48	o 1153
31.12/28.48	o 1152
31.23/28.50	o 1151
31.23/28.50	o 1150
31.23/28.52	o 1149
31.33/28.61	o 1148
31.33/28.67	o 1147
31.43/28.74	o 1146
31.43/28.74	o 1145
31.53/28.86	o 1144
31.53/28.87	o 1143
31.94/29.25	o 1142
31.94/29.25	o 1141
31.94/29.25	o 1140
31.94/29.26	o 1139
32.14/29.47	o 1138
32.14/29.47	o 1137
32.14/29.47	o 1136
32.24/29.59	o 1135
32.24/29.59	o 1134
32.24/29.59	o 1133
32.24/29.59	o 1132
32.24/29.59	o 1131
32.24/29.59	o 1128
32.24/29.59	o 1127
32.24/29.59	o 1126
32.24/29.59	o 1124
32.24/29.59	o 1123
32.24/29.59	o 1117
32.24/29.59	o 1116
32.24/29.59	o 1115
32.24/29.59	o 1114
32.24/29.59	o 1113
32.24/29.59	o 1112
32.24/29.59	o 1111
32.24/29.59	o 1110
32.24/29.59	o 1109
32.24/29.59	o 1105
32.24/29.59	o 1101
32.24/29.59	o 1100
32.24/29.60	o 1099
32.24/29.60	o 1098
32.24/29.60	o 1097
32.34/29.60	o 1096
32.34/29.60	o 1095
32.34/29.60	o 1094
32.34/29.60	o 1093
32.34/29.60	o 1092
32.34/29.60	o 1091
32.34/29.60	o 1088
32.34/29.60	o 1086
32.34/29.60	o 1085
32.34/29.60	o 1084
32.34/29.62	o 1083
32.34/29.65	o 1082
32.34/29.69	o 1081
32.44/29.70	o 1080
32.44/29.76	o 1079
32.44/29.76	o 1078
32.44/29.76	o 1077
40.08/37.39	o 1076
40.08/37.39	o 1075
40.08/37.39	o 1074
40.08/37.39	o 1073
40.08/37.39	o 1072
40.08/37.39	o 1071
40.08/37.39	o 1070
40.08/37.39	o 1069
40.08/37.39	o 1068
40.08/37.39	o 1066
40.18/37.40	o 1065
40.18/37.40	o 1060
40.18/37.40	o 1058
40.18/37.40	o 1056
40.18/37.40	o 1047
40.18/37.41	o 1045
40.18/37.41	o 1024
40.18/37.41	o 1021
40.18/37.41	o 1019
40.18/37.41	o 1017
40.18/37.41	o 1014
40.18/37.42	o 1013
40.18/37.42	o 1012
40.18/37.42	o 1011
40.18/37.43	o 1010
40.18/37.43	o 1009
40.18/37.45	o 1008
41.69/38.94	o 1005
41.69/38.94	o 1004
41.69/38.95	o 1003
41.69/38.95	o 1002
41.90/39.16	o 995
41.90/39.16	o 994
41.90/39.16	o 993
41.90/39.16	o 990
41.90/39.16	o 988
41.90/39.16	o 984
41.90/39.16	o 983
41.90/39.16	o 982
41.90/39.16	o 980
41.90/39.16	o 975
41.90/39.16	o 969
41.90/39.16	o 968
41.90/39.17	o 966
41.90/39.17	o 964
41.90/39.17	o 963
41.90/39.17	o 962
41.90/39.18	o 961
41.90/39.18	o 959
41.90/39.18	o 958
41.99/39.22	o 957
42.09/39.30	o 956
42.09/39.33	o 955
42.09/39.35	o 954
42.09/39.35	o 952
42.09/39.35	o 951
42.20/39.40	o 950
42.20/39.40	o 949
42.30/39.51	o 948
42.30/39.51	o 946
42.40/39.68	o 945
42.40/39.68	o 944
42.70/39.94	o 943
42.70/39.99	o 942
42.81/40.01	o 941
42.81/40.03	o 940
42.81/40.09	o 939
42.81/40.09	o 936
42.81/40.09	o 934
42.81/40.09	o 933
42.81/40.09	o 919
42.81/40.09	o 917
42.81/40.09	o 915
42.81/40.09	o 914
42.81/40.09	o 912
42.81/40.09	o 911
42.81/40.09	o 907
42.81/40.09	o 905
42.81/40.10	o 904
42.81/40.10	o 902
43.00/40.24	o 901
43.00/40.24	o 900
43.00/40.24	o 899
43.00/40.24	o 898
43.00/40.24	o 897
43.00/40.24	o 896
43.00/40.24	o 895
43.00/40.24	o 875
43.00/40.24	o 874
43.00/40.24	o 873
43.00/40.26	o 872
43.00/40.26	o 870
43.00/40.26	o 868
43.00/40.26	o 866
43.10/40.33	o 865
43.10/40.35	o 864
43.10/40.35	o 863
43.10/40.39	o 861
43.10/40.39	o 859
43.10/40.39	o 858
43.20/40.40	o 856
43.20/40.40	o 855
43.20/40.41	o 854
43.20/40.41	o 853
43.20/40.41	o 852
43.20/40.46	o 851
43.20/40.48	o 850
43.20/40.49	o 849
43.20/40.49	o 848
43.30/40.56	o 847
43.30/40.56	o 846
43.40/40.62	o 842
43.40/40.62	o 840
43.40/40.62	o 839
43.40/40.62	o 796
43.40/40.62	o 795
43.40/40.63	o 778
43.40/40.63	o 777
43.40/40.63	o 776
43.40/40.63	o 775
43.40/40.63	o 773
43.40/40.63	o 772
43.50/40.73	o 771
43.50/40.75	o 770
43.50/40.76	o 769
43.50/40.76	o 768
43.50/40.77	o 767
43.50/40.77	o 766
43.61/40.83	o 765
43.61/40.84	o 764
43.61/40.84	o 762
43.61/40.84	o 761
43.82/41.04	o 760
43.92/41.16	o 759
43.92/41.16	o 737
43.92/41.16	o 736
43.92/41.16	o 721
43.92/41.16	o 716
43.92/41.16	o 707
43.92/41.16	o 705
43.92/41.16	o 704
43.92/41.20	o 703
44.01/41.23	o 702
44.01/41.23	o 701
44.31/41.55	o 700
44.31/41.55	o 699
44.31/41.55	o 698
44.31/41.55	o 695
44.31/41.55	o 694
44.31/41.55	o 693
44.31/41.56	o 692
44.31/41.57	o 691
44.31/41.57	o 690
44.31/41.57	o 688
44.51/41.71	o 686
44.51/41.71	o 683
44.51/41.71	o 681
44.51/41.71	o 678
44.51/41.71	o 676
44.51/41.71	o 675
44.51/41.71	o 673
44.51/41.71	o 651
44.51/41.71	o 650
44.51/41.71	o 648
44.51/41.71	o 646
44.51/41.71	o 642
44.51/41.72	o 639
44.51/41.72	o 638
44.51/41.72	o 637
44.51/41.73	o 636
44.51/41.78	o 635
44.72/41.91	o 634
44.72/41.91	o 633
44.72/41.92	o 632
44.72/41.92	o 631
44.82/42.05	o 630
44.82/42.06	o 629
44.82/42.06	o 628
44.93/42.15	o 610
44.93/42.15	o 608
44.93/42.15	o 606
44.93/42.15	o 600
44.93/42.15	o 597
44.93/42.15	o 596
44.93/42.15	o 595
44.93/42.15	o 592
44.93/42.15	o 591
44.93/42.15	o 590
44.93/42.17	o 589
44.93/42.18	o 588
45.02/42.24	o 587
45.02/42.24	o 586
45.02/42.27	o 585
45.02/42.27	o 584
45.02/42.28	o 583
45.02/42.28	o 582
45.12/42.34	o 581
45.12/42.34	o 580
45.12/42.38	o 579
45.42/42.65	o 578
45.42/42.65	o 577
46.84/44.01	o 560
46.84/44.01	o 558
46.84/44.01	o 553
46.84/44.01	o 551
46.84/44.01	o 549
46.84/44.01	o 548
46.84/44.01	o 544
46.84/44.01	o 543
46.84/44.01	o 540
46.84/44.01	o 539
46.84/44.01	o 530
46.84/44.01	o 529
46.84/44.01	o 522
46.84/44.01	o 521
46.84/44.01	o 519
46.84/44.01	o 518
46.84/44.01	o 517
47.03/44.22	o 516
47.13/44.37	o 515
47.13/44.37	o 514
47.64/44.80	o 513
47.86/45.10	o 512
47.86/45.10	o 511
47.86/45.11	o 510
48.05/45.28	o 509
48.25/45.44	o 508
48.25/45.44	o 507
48.25/45.44	o 506
48.25/45.44	o 505
48.25/45.44	o 504
48.25/45.44	o 503
48.25/45.45	o 502
48.25/45.45	o 501
48.25/45.45	o 500
48.25/45.45	o 499
48.25/45.45	o 498
48.25/45.45	o 497
48.25/45.47	o 496
48.25/45.47	o 495
48.25/45.48	o 494
48.45/45.67	o 493
48.45/45.67	o 492
48.45/45.67	o 491
48.45/45.67	o 490
48.45/45.68	o 489
48.45/45.68	o 488
48.55/45.73	o 487
48.55/45.73	o 486
48.55/45.78	o 485
48.55/45.79	o 483
48.97/46.12	o 482
48.97/46.15	o 481
49.06/46.22	o 480
49.06/46.26	o 478
49.06/46.29	o 477
49.06/46.30	o 476
53.20/50.31	o 475
53.20/50.31	o 474
61.66/58.70	o 473
61.66/58.70	o 471
61.66/58.70	o 470
61.66/58.70	o 469
61.66/58.70	o 461
61.66/58.70	o 460
61.66/58.70	o 454
61.66/58.70	o 453
61.66/58.71	o 452
61.66/58.71	o 451
61.66/58.73	o 449
61.66/58.73	o 446
61.66/58.73	o 445
61.66/58.74	o 443
61.66/58.75	o 441
61.88/58.99	o 440
61.88/58.99	o 439
61.88/58.99	o 438
69.05/66.10	o 437
69.24/66.26	o 436
69.24/66.26	o 435
69.54/66.52	o 434
69.54/66.52	o 433
71.16/68.17	o 432
71.66/68.62	o 431
71.76/68.74	o 430
71.76/68.74	o 426
72.08/69.08	o 422
72.08/69.08	o 421
72.08/69.08	o 413
72.08/69.08	o 412
72.08/69.08	o 400
72.08/69.08	o 399
72.08/69.08	o 398
72.08/69.08	o 397
72.08/69.08	o 393
72.08/69.08	o 392
72.08/69.08	o 388
72.08/69.08	o 387
72.08/69.08	o 384
72.08/69.08	o 383
72.08/69.08	o 382
72.08/69.08	o 381
72.08/69.08	o 380
72.08/69.08	o 374
72.08/69.08	o 373
72.08/69.08	o 372
72.08/69.08	o 370
72.08/69.08	o 367
72.08/69.09	o 366
72.08/69.11	o 365
72.18/69.11	o 363
72.18/69.12	o 361
72.27/69.28	o 359
72.68/69.60	o 357
78.53/75.48	o 356
82.98/79.88	o 355
83.19/80.03	o 354
83.38/80.30	o 353
85.81/82.66	o 352
87.12/83.98	o 351
87.12/83.98	o 350
87.12/84.00	o 349
87.12/84.00	o 348
87.23/84.01	o 347
87.23/84.01	o 346
87.23/84.01	o 345
87.23/84.03	o 344
87.42/84.20	o 343
89.85/86.64	o 342
89.85/86.67	o 341
89.96/86.75	o 339
90.16/86.92	o 338
90.27/87.04	o 337
90.27/87.05	o 336
90.76/87.51	o 335
90.76/87.51	o 334
92.09/88.86	o 333
92.09/88.86	o 332
92.09/88.86	o 330
92.09/88.86	o 329
92.09/88.86	o 328
92.09/88.86	o 327
92.09/88.86	o 326
92.09/88.86	o 325
92.09/88.86	o 324
92.09/88.86	o 323
92.09/88.86	o 322
92.09/88.86	o 321
92.09/88.86	o 320
92.09/88.86	o 319
92.09/88.86	o 318
92.09/88.86	o 317
92.09/88.86	o 316
92.09/88.86	o 315
92.09/88.87	o 314
92.09/88.87	o 312
92.09/88.87	o 311
92.19/88.97	o 310
92.69/89.48	o 309
93.00/89.70	o 308
93.00/89.70	o 307
93.00/89.71	o 306
93.00/89.77	o 305
93.00/89.79	o 304
93.31/90.03	o 303
93.31/90.05	o 302
93.31/90.06	o 301
93.31/90.08	o 300
95.83/92.58	o 299
95.83/92.59	o 298
95.83/92.59	o 297
96.53/93.29	o 296
96.63/93.30	o 295
96.63/93.30	o 294
96.63/93.32	o 293
271.65/266.85	o 292
279.20/274.38	o 291
280.02/275.13	o 290
280.02/275.13	o 289
280.02/275.14	o 288
312.28/307.17	o 287
316.50/311.34	o 286
316.50/311.34	o 284
316.50/311.36	o 282
316.50/311.36	o 281
316.50/311.37	o 280
316.50/311.37	o 279
316.50/311.37	o 278
316.50/311.38	o 277
316.50/311.38	o 276
316.80/311.62	o 275
316.80/311.62	o 274
316.90/311.72	o 272
317.11/311.90	o 271
317.11/311.92	o 270
317.31/312.16	o 269
317.31/312.19	o 268
317.41/312.23	o 267
317.71/312.50	o 266
319.12/313.94	o 264
319.12/313.94	o 261
319.12/313.94	o 256
319.12/313.94	o 254
319.12/313.94	o 253
319.12/313.94	o 252
319.12/313.94	o 251
319.12/313.95	o 250
319.12/313.95	o 249
319.12/313.98	o 248
319.23/314.04	o 247
319.43/314.21	o 246
319.43/314.21	o 245
319.43/314.21	o 244
319.43/314.23	o 243
319.43/314.23	o 242
322.76/317.52	o 240
322.76/317.52	o 239
322.76/317.52	o 238
322.76/317.52	o 237
322.76/317.52	o 235
322.76/317.52	o 233
322.76/317.52	o 232
322.76/317.52	o 231
322.76/317.52	o 230
322.76/317.53	o 229
322.76/317.53	o 228
322.76/317.53	o 227
322.76/317.53	o 226
322.76/317.53	o 225
322.76/317.54	o 224
322.76/317.54	o 223
323.87/318.64	o 222
323.87/318.65	o 221
323.87/318.65	o 220
326.60/321.33	o 217
326.70/321.46	o 215
327.10/321.82	o 213
327.10/321.86	o 212
327.10/321.87	o 210
327.20/321.93	o 209
328.64/323.32	o 207
328.84/323.59	o 205
331.37/326.04	o 204
331.47/326.17	o 203
331.47/326.17	o 202
332.57/327.21	o 201
332.57/327.21	o 199
332.57/327.23	o 197
332.67/327.33	o 196
333.49/328.15	o 195
333.49/328.15	o 193
333.58/328.25	o 191
335.61/330.28	o 190
337.13/331.71	o 189
337.23/331.85	o 188
337.83/332.46	o 187
338.03/332.69	o 186
338.14/332.71	o 185
338.23/332.86	o 184
338.23/332.87	o 182
338.23/332.89	o 181
338.84/333.44	o 180
362.56/356.96	o 179
362.56/356.96	o 178
362.56/356.96	o 177
362.56/356.96	o 176
376.09/370.30	o 155
376.09/370.30	o 146
376.09/370.30	o 145
376.09/370.30	o 143
376.09/370.30	o 141
376.09/370.30	o 136
376.09/370.34	o 135
389.82/383.95	o 134
389.82/383.95	o 133
389.82/383.95	o 132
389.82/383.95	o 131
389.82/384.00	o 130
389.82/384.00	o 129
389.93/384.02	o 128
389.93/384.02	o 127
389.93/384.03	o 125
390.43/384.52	o 124
390.43/384.57	o 123
390.53/384.63	o 122
390.53/384.64	o 121
390.53/384.66	o 120
390.53/384.67	o 119
390.63/384.70	o 118
390.94/385.02	o 117
390.94/385.03	o 116
392.76/386.81	o 115
394.09/388.17	o 114
394.09/388.17	o 113
394.18/388.24	o 112
394.29/388.35	o 111
394.29/388.38	o 110
394.78/388.82	o 109
394.78/388.83	o 108
394.78/388.85	o 107
394.78/388.85	o 105
394.78/388.85	o 104
394.78/388.85	o 103
394.78/388.85	o 102
394.89/388.92	o 101
395.00/389.06	o 100
395.00/389.09	o 98
395.00/389.09	o 97
395.19/389.27	o 96
396.81/390.87	o 95
396.81/390.87	o 94
397.21/391.25	o 93
397.32/391.31	o 92
397.32/391.34	o 91
398.43/392.49	o 90
398.43/392.49	o 89
456.90/450.32	o 88
2520.01/2492.80	s SATISFIABLE
2520.01/2492.80	v <instantiation>
2520.01/2492.80	v 	<list>
2520.01/2492.80	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92]
2520.01/2492.80	v 	</list>
2520.01/2492.80	v 	<values>
2520.01/2492.80	v 		0 2 3 4 0 0 3 0 8 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 3 3 2 3 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 
2520.01/2492.80	v 	</values>
2520.01/2492.80	v </instantiation>

Verifier Data 

OK	88

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311737-1534548545/watcher-4311737-1534548545 -o /tmp/evaluation-result-4311737-1534548545/solver-4311737-1534548545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534541038-5587 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1306271232 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311737-1534548545.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6540, runsolver pid=6537

[startup+0.100143 s]*
/proc/loadavg: 1.55 1.57 1.50 3/215 6555
/proc/meminfo: memFree=20399836/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14082736 memory=31524 CPUtime=0.12 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 6784 0 0 0 10 2 0 0 20 0 15 0 272417689 14420721664 7881 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3520684 7881 3155 1 0 3482761 0
[pid=6540/tid=6542] ppid=6537 vsize=14082736 memory=-8681635479929320640 CPUtime=0.09 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 4822 0 0 0 8 1 0 0 20 0 15 0 272417689 14420721664 7881 33554432000 4194304 4196468 140735012720768 140055385157992 140055365035358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 7881 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 7881 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 7881 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 7881 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417691 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272417692 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054359430688 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272417692 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054358377840 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 272417694 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054355220720 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0.01 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) R 6537 6540 5555 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 272417694 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054354167920 140055380976218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417695 14420721664 7881 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31524 KiB

[startup+0.214875 s]*
/proc/loadavg: 1.55 1.57 1.50 5/215 6555
/proc/meminfo: memFree=20384332/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14082736 memory=47340 CPUtime=0.31 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 10465 0 0 0 28 3 0 0 20 0 15 0 272417689 14420721664 11835 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3520684 11835 3362 1 0 3482761 0
[pid=6540/tid=6542] ppid=6537 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 8172 0 0 0 18 2 0 0 20 0 15 0 272417689 14420721664 11835 33554432000 4194304 4196468 140735012720768 140055385180688 140055008130442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14082736 memory=342 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 11835 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14082736 memory=139907072256929 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 11835 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 11835 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 11835 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272417691 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272417692 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054359430688 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272417692 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054358377840 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 272417694 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) R 6537 6540 5555 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 272417694 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054355212224 140055380965077 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0.06 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6537 6540 5555 0 -1 1077944384 295 0 0 0 6 0 0 0 20 0 15 0 272417694 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054354163680 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417695 14420721664 11835 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47340 KiB

[startup+0.310645 s]*
/proc/loadavg: 1.55 1.57 1.50 3/215 6555
/proc/meminfo: memFree=20380796/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14082736 memory=50932 CPUtime=0.44 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 10820 0 0 0 41 3 0 0 20 0 15 0 272417689 14420721664 12733 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3520684 12733 3398 1 0 3482761 0
[pid=6540/tid=6542] ppid=6537 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 8497 0 0 0 28 2 0 0 20 0 15 0 272417689 14420721664 12733 33554432000 4194304 4196468 140735012720768 140055385164224 140055362518385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14082736 memory=290763875203416087 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 12733 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14082736 memory=15677334423848600 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 12733 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 12733 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14420721664 12733 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272417691 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272417692 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054359430688 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272417692 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054358377840 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 272417694 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6537 6540 5555 0 -1 1077944384 74 0 0 0 2 0 0 0 20 0 15 0 272417694 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054355220720 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0.07 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6537 6540 5555 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 15 0 272417694 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054354167920 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14082736 memory=139907072247424 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417695 14420721664 12733 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50932 KiB

[startup+0.700748 s]
/proc/loadavg: 1.55 1.57 1.50 3/215 6555
/proc/meminfo: memFree=20357108/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14084804 memory=88700 CPUtime=0.98 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 17633 0 0 0 93 5 0 0 20 0 15 0 272417689 14422839296 22175 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3521201 22175 3500 1 0 3483273 0
[pid=6540/tid=6542] ppid=6537 vsize=14084804 memory=1760 CPUtime=0.67 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 14922 0 0 0 63 4 0 0 20 0 15 0 272417689 14422839296 22175 33554432000 4194304 4196468 140735012720768 140055385169776 140055380976797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14084804 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14422839296 22175 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14422839296 22175 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14084804 memory=5356 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14422839296 22175 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14084804 memory=872 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14422839296 22175 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14084804 memory=8736 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272417691 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272417692 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054359430688 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14084804 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272417692 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054358377840 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14084804 memory=4639098309541127013 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14084804 memory=5938120801962453074 CPUtime=0.07 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 708 0 0 0 7 0 0 0 20 0 15 0 272417694 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14084804 memory=7523071198212214892 CPUtime=0.07 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6537 6540 5555 0 -1 1077944384 240 0 0 0 7 0 0 0 20 0 15 0 272417694 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054355220720 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6537 6540 5555 0 -1 1077944384 380 0 0 0 14 0 0 0 20 0 15 0 272417694 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054354167920 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417695 14422839296 22175 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88700 KiB

[startup+1.50074 s]
/proc/loadavg: 1.55 1.57 1.50 4/215 6555
/proc/meminfo: memFree=20324212/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14090948 memory=152500 CPUtime=2.97 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 28805 0 0 0 287 10 0 0 20 0 15 0 272417689 14429130752 38125 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3522737 38125 3544 1 0 3484809 0
[pid=6540/tid=6542] ppid=6537 vsize=14090948 memory=8112282956445269571 CPUtime=1.46 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 19562 0 0 0 140 6 0 0 20 0 15 0 272417689 14429130752 38125 33554432000 4194304 4196468 140735012720768 140055385184112 140055012016927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14090948 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14429130752 38125 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14090948 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14429130752 38125 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14090948 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272417690 14429130752 38125 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14090948 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272417690 14429130752 38125 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 272417691 14429130752 38125 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0

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

/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 42554 0 0 0 230678 25 0 0 20 0 15 0 272417689 14429130752 97367 33554432000 4194304 4196468 140735012720768 140055385192912 140055015488622 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14090948 memory=389468 CPUtime=7.96 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 10872 0 0 0 757 39 0 0 20 0 15 0 272417690 14429130752 97367 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14090948 memory=389468 CPUtime=7.95 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 6763 0 0 0 759 36 0 0 20 0 15 0 272417690 14429130752 97367 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14090948 memory=389468 CPUtime=7.96 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 6480 0 0 0 760 36 0 0 20 0 15 0 272417690 14429130752 97367 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14090948 memory=3872 CPUtime=7.94 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 7597 0 0 0 756 38 0 0 20 0 15 0 272417690 14429130752 97367 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14090948 memory=6568 CPUtime=4.9 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 7106 0 0 0 454 36 0 0 20 0 15 0 272417691 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14090948 memory=389388 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054359430752 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14090948 memory=389388 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054358377856 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14090948 memory=15312 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14090948 memory=14332 CPUtime=0.91 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 4395 0 0 0 90 1 0 0 20 0 15 0 272417694 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14090948 memory=389468 CPUtime=0.99 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6537 6540 5555 0 -1 1077944384 3740 0 0 0 99 0 0 0 20 0 15 0 272417694 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054355220720 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14090948 memory=389468 CPUtime=0.72 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6537 6540 5555 0 -1 1077944384 11081 0 0 0 70 2 0 0 20 0 15 0 272417694 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054354167920 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14090948 memory=389468 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14090948 memory=389468 CPUtime=1.16 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1536 0 0 0 50 66 0 0 20 0 15 0 272417695 14429130752 97367 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 2347.62 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 389468 KiB

[startup+2382.3 s]
/proc/loadavg: 1.81 1.45 1.37 3/215 6730
/proc/meminfo: memFree=21969120/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14090948 memory=393788 CPUtime=2408.3 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 105304 0 0 0 240587 243 0 0 20 0 15 0 272417689 14429130752 98447 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3522737 98447 3577 1 0 3484809 0
[pid=6540/tid=6542] ppid=6537 vsize=14090948 memory=393564 CPUtime=2366.6 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 43308 0 0 0 236635 25 0 0 20 0 15 0 272417689 14429130752 98447 33554432000 4194304 4196468 140735012720768 140055385192896 140055015655121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14090948 memory=393564 CPUtime=8.19 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 11173 0 0 0 780 39 0 0 20 0 15 0 272417690 14429130752 98447 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14090948 memory=393564 CPUtime=8.19 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 6820 0 0 0 782 37 0 0 20 0 15 0 272417690 14429130752 98447 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14090948 memory=393564 CPUtime=8.2 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 6604 0 0 0 783 37 0 0 20 0 15 0 272417690 14429130752 98447 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14090948 memory=393564 CPUtime=8.17 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 7925 0 0 0 778 39 0 0 20 0 15 0 272417690 14429130752 98447 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14090948 memory=393644 CPUtime=5.03 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 7279 0 0 0 466 37 0 0 20 0 15 0 272417691 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14090948 memory=393788 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054359430752 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14090948 memory=393564 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054358377856 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14090948 memory=9144 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14090948 memory=393564 CPUtime=0.91 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 4397 0 0 0 90 1 0 0 20 0 15 0 272417694 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14090948 memory=393564 CPUtime=1 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6537 6540 5555 0 -1 1077944384 3742 0 0 0 100 0 0 0 20 0 15 0 272417694 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054355220720 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14090948 memory=393644 CPUtime=0.72 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6537 6540 5555 0 -1 1077944384 11083 0 0 0 70 2 0 0 20 0 15 0 272417694 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054354167920 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14090948 memory=393644 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14090948 memory=3872 CPUtime=1.19 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1551 0 0 0 52 67 0 0 20 0 15 0 272417695 14429130752 98447 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 49 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 2408.3 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 393788 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.45 1.38 3/215 6731
/proc/meminfo: memFree=21962848/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14090948 memory=398068 CPUtime=2468.96 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 106545 0 0 0 246648 248 0 0 20 0 15 0 272417689 14429130752 99517 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3522737 99517 3577 1 0 3484809 0
[pid=6540/tid=6542] ppid=6537 vsize=14090948 memory=398012 CPUtime=2426.17 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 43744 0 0 0 242592 25 0 0 20 0 15 0 272417689 14429130752 99517 33554432000 4194304 4196468 140735012720768 140055385192944 140055015400455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14090948 memory=1616 CPUtime=8.43 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 11511 0 0 0 803 40 0 0 20 0 15 0 272417690 14429130752 99517 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14090948 memory=395964 CPUtime=8.42 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 6881 0 0 0 804 38 0 0 20 0 15 0 272417690 14429130752 99517 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14090948 memory=395836 CPUtime=8.44 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 6821 0 0 0 806 38 0 0 20 0 15 0 272417690 14429130752 99517 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14090948 memory=395964 CPUtime=8.4 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 8085 0 0 0 800 40 0 0 20 0 15 0 272417690 14429130752 99517 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14090948 memory=398012 CPUtime=5.16 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 7296 0 0 0 478 38 0 0 20 0 15 0 272417691 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14090948 memory=398012 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054359430752 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14090948 memory=395964 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054358377856 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14090948 memory=398068 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14090948 memory=398068 CPUtime=0.91 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 4399 0 0 0 90 1 0 0 20 0 15 0 272417694 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14090948 memory=279813899472752 CPUtime=1 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6537 6540 5555 0 -1 1077944384 3744 0 0 0 100 0 0 0 20 0 15 0 272417694 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054355220720 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14090948 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6537 6540 5555 0 -1 1077944384 11085 0 0 0 70 2 0 0 20 0 15 0 272417694 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054354167920 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14090948 memory=398012 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14090948 memory=398012 CPUtime=1.23 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1557 0 0 0 54 69 0 0 20 0 15 0 272417695 14429130752 99517 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 2468.96 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 398068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2492.8 s]
/proc/loadavg: 1.38 1.43 1.38 3/216 6740
/proc/meminfo: memFree=21957588/32770624 swapFree=67108836/67108860
[pid=6540] ppid=6537 vsize=14090948 memory=402184 CPUtime=2520.01 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6537 6540 5555 0 -1 1077944320 106986 0 0 0 251748 253 0 0 20 0 15 0 272417689 14429130752 100546 33554432000 4194304 4196468 140735012720768 140735012703312 140055380954871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
/proc/6540/statm: 3522737 100546 3577 1 0 3484809 0
[pid=6540/tid=6542] ppid=6537 vsize=14090948 memory=1760 CPUtime=2476.3 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) R 6537 6540 5555 0 -1 4202560 43972 0 0 0 247604 26 0 0 20 0 15 0 272417689 14429130752 100546 33554432000 4194304 4196468 140735012720768 140055385193008 140055015410389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6543] ppid=6537 vsize=14090948 memory=4126316290023845779 CPUtime=8.62 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6537 6540 5555 0 -1 1077944384 11532 0 0 0 822 40 0 0 20 0 15 0 272417690 14429130752 100546 33554432000 4194304 4196468 140735012720768 140055333575312 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6544] ppid=6537 vsize=14090948 memory=288230621803970871 CPUtime=8.62 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6537 6540 5555 0 -1 1077944384 6886 0 0 0 823 39 0 0 20 0 15 0 272417690 14429130752 100546 33554432000 4194304 4196468 140735012720768 140055332522512 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6545] ppid=6537 vsize=14090948 memory=16097091571157036 CPUtime=8.63 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6537 6540 5555 0 -1 1077944384 6826 0 0 0 825 38 0 0 20 0 15 0 272417690 14429130752 100546 33554432000 4194304 4196468 140735012720768 140055331469712 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6546] ppid=6537 vsize=14090948 memory=402184 CPUtime=8.6 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6537 6540 5555 0 -1 1077944384 8094 0 0 0 819 41 0 0 20 0 15 0 272417690 14429130752 100546 33554432000 4194304 4196468 140735012720768 140055330416912 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6547] ppid=6537 vsize=14090948 memory=3872 CPUtime=5.27 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6537 6540 5555 0 -1 1077944384 7450 0 0 0 488 39 0 0 20 0 15 0 272417691 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054360484720 140055380966018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6548] ppid=6537 vsize=14090948 memory=6596 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6537 6540 5555 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054359430752 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6549] ppid=6537 vsize=14090948 memory=84 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6537 6540 5555 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 272417692 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054358377856 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6550] ppid=6537 vsize=14090948 memory=-7593182583823749678 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417694 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054357326160 140055380973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6551] ppid=6537 vsize=14090948 memory=-6305710598773826688 CPUtime=0.91 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6537 6540 5555 0 -1 1077944384 4401 0 0 0 90 1 0 0 20 0 15 0 272417694 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054356273520 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6552] ppid=6537 vsize=14090948 memory=8112282956445269571 CPUtime=1 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6537 6540 5555 0 -1 1077944384 3746 0 0 0 100 0 0 0 20 0 15 0 272417694 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054355220720 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6553] ppid=6537 vsize=14090948 memory=1140 CPUtime=0.72 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6537 6540 5555 0 -1 1077944384 11087 0 0 0 70 2 0 0 20 0 15 0 272417694 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054354167920 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6554] ppid=6537 vsize=14090948 memory=9144 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6537 6540 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272417695 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054353115360 140055380965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
[pid=6540/tid=6555] ppid=6537 vsize=14090948 memory=4588 CPUtime=1.25 cores=1,3,5,7
/proc/6540/task/6555/stat : 6555 (java) S 6537 6540 5555 0 -1 1077944384 1570 0 0 0 55 70 0 0 20 0 15 0 272417695 14429130752 100546 33554432000 4194304 4196468 140735012720768 140054352063664 140055380966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 26447872 140735012725832 140735012726025 140735012726025 140735012728783 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 402184 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2492.81 s]
# the end of solver process 6540 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.5 s, system=2.54281 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2492.81
CPU time (s): 2520.04
CPU user time (s): 2517.5
CPU system time (s): 2.54281
CPU usage (%): 101.092
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 402184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.5
system time used= 2.54281
maximum resident set size= 402756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107383
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195791
involuntary context switches= 5650


# summary of solver processes directly reported to runsolver:
#   pid: 6540
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2517.5
#   total CPU system time (s): 2.54281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2563 second user time and 23.8466 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-18 01:29:05
IDJOB=4311737
IDBENCH=141217
IDSOLVER=2799
FILE ID=node139/4311737-1534548545
RUNJOBID= node139-1534541038-5587
PBS_JOBID= 21038632
Free space on /tmp= 44196 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
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 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311737-1534548545/watcher-4311737-1534548545 -o /tmp/evaluation-result-4311737-1534548545/solver-4311737-1534548545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534541038-5587 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1306271232 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311737-1534548545.xml

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

MD5SUM BENCH= ce812152122c21d5982c9c6047fc1378
RANDOM SEED=1306271232

node139.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.80
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.80
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.80
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.80
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:        20418508 kB
MemAvailable:   29513732 kB
Buffers:          242804 kB
Cached:          9058496 kB
SwapCached:           16 kB
Active:          7464292 kB
Inactive:        4258576 kB
Active(anon):    2400036 kB
Inactive(anon):    90468 kB
Active(file):    5064256 kB
Inactive(file):  4168108 kB
Unevictable:        7156 kB
Mlocked:            7156 kB
SwapTotal:      67108860 kB
SwapFree:       67108836 kB
Dirty:             35720 kB
Writeback:             0 kB
AnonPages:       2428788 kB
Mapped:            35916 kB
Shmem:             66164 kB
Slab:             319832 kB
SReclaimable:     291320 kB
SUnreclaim:        28512 kB
KernelStack:        3520 kB
PageTables:        10836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3167188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2355200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 44160 MiB
End job on node139 at 2018-08-18 02:10:38