Trace number 4290457

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-07-02SAT (TO)86 2400.04 2374.61

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.55	c version: 2018-07-02
0.67/0.55	c seed: 1864666102
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
1.99/1.25	c Parsing done, starting search...
2.22/1.33	o 4352
2.22/1.35	o 4340
2.22/1.35	o 4330
2.22/1.35	o 4293
2.22/1.35	o 4292
2.22/1.35	o 4291
2.22/1.35	o 4286
2.22/1.35	o 4276
2.22/1.35	o 4273
2.22/1.35	o 4271
2.22/1.35	o 4231
2.22/1.35	o 4230
2.22/1.35	o 4226
2.22/1.35	o 4225
2.22/1.36	o 4222
2.22/1.36	o 4220
2.22/1.36	o 4218
2.22/1.36	o 4217
2.22/1.36	o 4213
2.22/1.36	o 4212
2.22/1.36	o 4210
2.22/1.36	o 4209
2.22/1.36	o 4207
2.22/1.36	o 4206
2.22/1.36	o 4197
2.22/1.37	o 4181
2.22/1.37	o 4177
2.22/1.37	o 4175
2.22/1.37	o 4174
2.22/1.37	o 4156
2.22/1.37	o 4155
2.22/1.37	o 4151
2.22/1.37	o 4148
2.22/1.37	o 4140
2.22/1.37	o 4139
2.22/1.37	o 4137
2.22/1.37	o 4112
2.22/1.37	o 4111
2.22/1.38	o 4097
2.22/1.38	o 4096
2.22/1.38	o 4095
2.22/1.38	o 4094
2.22/1.38	o 4093
2.22/1.38	o 4091
2.22/1.38	o 4090
2.22/1.38	o 4089
2.22/1.38	o 4088
2.22/1.38	o 4086
2.22/1.38	o 4066
2.22/1.38	o 4064
2.22/1.38	o 4045
2.22/1.38	o 4016
2.22/1.38	o 4004
2.22/1.38	o 4002
2.22/1.38	o 4000
2.22/1.38	o 3999
2.22/1.38	o 3998
2.22/1.38	o 3997
2.22/1.38	o 3953
2.22/1.38	o 3914
2.22/1.39	o 3912
2.22/1.39	o 3911
2.22/1.39	o 3910
2.22/1.39	o 3909
2.22/1.39	o 3908
2.22/1.39	o 3907
2.22/1.39	o 3906
2.22/1.39	o 3905
2.22/1.39	o 3904
2.22/1.39	o 3903
2.22/1.39	o 3901
2.22/1.39	o 3900
2.22/1.39	o 3899
2.22/1.39	o 3898
2.22/1.39	o 3897
2.22/1.39	o 3895
2.22/1.39	o 3894
2.22/1.39	o 3890
2.22/1.39	o 3888
2.57/1.40	o 3887
2.57/1.40	o 3882
2.57/1.40	o 3881
2.57/1.40	o 3880
2.57/1.40	o 3876
2.57/1.40	o 3874
2.57/1.40	o 3873
2.57/1.40	o 3871
2.57/1.40	o 3865
2.57/1.40	o 3863
2.57/1.40	o 3862
2.57/1.41	o 3861
2.57/1.41	o 3860
2.57/1.41	o 3859
2.57/1.41	o 3857
2.57/1.41	o 3853
2.57/1.41	o 3852
2.57/1.41	o 3851
2.57/1.41	o 3850
2.57/1.41	o 3849
2.57/1.41	o 3846
2.57/1.41	o 3845
2.57/1.41	o 3844
2.57/1.41	o 3843
2.57/1.41	o 3842
2.57/1.41	o 3841
2.57/1.41	o 3839
2.57/1.41	o 3837
2.57/1.41	o 3835
2.57/1.41	o 3803
2.57/1.41	o 3801
2.57/1.41	o 3799
2.57/1.41	o 3797
2.57/1.41	o 3795
2.57/1.41	o 3794
2.57/1.41	o 3792
2.57/1.42	o 3789
2.57/1.42	o 3787
2.57/1.42	o 3786
2.57/1.42	o 3785
2.57/1.42	o 3784
2.57/1.42	o 3783
2.57/1.42	o 3782
2.57/1.42	o 3780
2.57/1.42	o 3779
2.57/1.42	o 3778
2.57/1.42	o 3774
2.57/1.42	o 3766
2.57/1.42	o 3765
2.57/1.42	o 3762
2.57/1.42	o 3761
2.57/1.42	o 3760
2.57/1.42	o 3759
2.57/1.42	o 3758
2.57/1.42	o 3757
2.57/1.42	o 3756
2.57/1.42	o 3755
2.57/1.42	o 3754
2.57/1.42	o 3753
2.57/1.43	o 3744
2.57/1.43	o 3742
2.57/1.43	o 3741
2.57/1.43	o 3740
2.57/1.43	o 3739
2.57/1.43	o 3722
2.57/1.43	o 3720
2.57/1.43	o 3718
2.57/1.43	o 3710
2.57/1.43	o 3707
2.57/1.43	o 3706
2.57/1.43	o 3705
2.57/1.43	o 3704
2.57/1.43	o 3703
2.57/1.43	o 3701
2.57/1.43	o 3699
2.57/1.43	o 3685
2.57/1.43	o 3677
2.57/1.43	o 3673
2.57/1.43	o 3669
2.57/1.44	o 3659
2.57/1.44	o 3654
2.57/1.44	o 3650
2.57/1.44	o 3648
2.57/1.44	o 3646
2.57/1.44	o 3642
2.57/1.44	o 3641
2.57/1.44	o 3640
2.57/1.44	o 3639
2.57/1.44	o 3638
2.57/1.44	o 3611
2.57/1.45	o 3578
2.57/1.45	o 3570
2.57/1.45	o 3562
2.57/1.45	o 3561
2.57/1.45	o 3559
2.57/1.45	o 3553
2.57/1.45	o 3552
2.57/1.45	o 3550
2.57/1.45	o 3549
2.57/1.46	o 3540
2.57/1.46	o 3538
2.57/1.46	o 3537
2.57/1.46	o 3536
2.57/1.47	o 3535
2.57/1.47	o 3534
2.57/1.47	o 3533
2.57/1.47	o 3532
2.57/1.48	o 3531
2.90/1.50	o 3530
2.90/1.52	o 3529
2.90/1.52	o 3528
2.90/1.52	o 3527
2.90/1.52	o 3526
2.90/1.52	o 3525
2.90/1.52	o 3524
2.90/1.52	o 3522
2.90/1.52	o 3518
2.90/1.52	o 3516
2.90/1.52	o 3515
2.90/1.52	o 3514
2.90/1.53	o 3503
2.90/1.53	o 3502
2.90/1.53	o 3501
2.90/1.53	o 3500
2.90/1.53	o 3499
2.90/1.53	o 3498
2.90/1.53	o 3497
2.90/1.53	o 3496
2.90/1.53	o 3495
2.90/1.53	o 3494
2.90/1.53	o 3493
2.90/1.53	o 3492
2.90/1.53	o 3491
2.90/1.53	o 3490
2.90/1.53	o 3489
2.90/1.53	o 3488
2.90/1.53	o 3487
2.90/1.53	o 3486
2.90/1.53	o 3485
2.90/1.53	o 3484
2.90/1.54	o 3483
2.90/1.54	o 3482
2.90/1.54	o 3481
2.90/1.54	o 3480
2.90/1.54	o 3479
2.90/1.55	o 3478
2.90/1.55	o 3476
2.90/1.55	o 3471
2.90/1.55	o 3469
2.90/1.55	o 3468
2.90/1.55	o 3467
2.90/1.55	o 3466
2.90/1.55	o 3465
2.90/1.55	o 3464
2.90/1.56	o 3446
2.90/1.56	o 3445
2.90/1.56	o 3434
2.90/1.56	o 3423
2.90/1.56	o 3422
2.90/1.56	o 3421
2.90/1.56	o 3420
2.90/1.56	o 3419
2.90/1.56	o 3418
2.90/1.56	o 3417
2.90/1.56	o 3416
2.90/1.56	o 3415
2.90/1.56	o 3414
2.90/1.57	o 3413
3.20/1.60	o 3412
3.20/1.61	o 3411
3.20/1.64	o 3399
3.20/1.64	o 3397
3.20/1.64	o 3395
3.20/1.64	o 3394
3.20/1.64	o 3392
3.20/1.64	o 3391
3.20/1.64	o 3389
3.20/1.64	o 3380
3.20/1.64	o 3378
3.20/1.64	o 3376
3.20/1.64	o 3375
3.20/1.64	o 3374
3.20/1.64	o 3373
3.20/1.64	o 3372
3.20/1.65	o 3371
3.20/1.65	o 3370
3.20/1.65	o 3369
3.20/1.66	o 3368
3.20/1.67	o 3367
3.20/1.67	o 3366
3.20/1.67	o 3365
3.42/1.77	o 3363
3.42/1.77	o 3362
3.42/1.77	o 3358
3.42/1.77	o 3357
3.42/1.78	o 3356
3.42/1.78	o 3355
3.42/1.78	o 3354
3.42/1.78	o 3352
3.42/1.78	o 3351
3.42/1.78	o 3343
3.42/1.79	o 3342
3.42/1.79	o 3341
3.54/1.82	o 3340
3.66/1.99	o 3339
3.66/2.00	o 3338
3.87/2.12	o 3337
3.87/2.19	o 3336
3.87/2.19	o 3335
3.87/2.19	o 3334
3.87/2.19	o 3333
3.87/2.20	o 3328
3.87/2.20	o 3327
3.87/2.20	o 3325
3.87/2.20	o 3324
3.87/2.20	o 3323
3.87/2.20	o 3322
3.87/2.20	o 3321
3.87/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
3.96/2.21	o 3270
3.96/2.21	o 3269
3.96/2.21	o 3267
3.96/2.21	o 3265
3.96/2.21	o 3261
3.96/2.21	o 3260
3.96/2.21	o 3259
3.96/2.22	o 3258
3.96/2.22	o 3257
3.96/2.22	o 3256
3.96/2.22	o 3255
3.96/2.23	o 3253
3.96/2.23	o 3251
4.17/2.30	o 3250
4.17/2.32	o 3249
4.32/2.43	o 3248
4.32/2.44	o 3247
4.32/2.44	o 3246
4.32/2.44	o 3245
4.51/2.58	o 3244
4.51/2.58	o 3242
4.51/2.58	o 3241
4.51/2.58	o 3239
4.51/2.58	o 3238
4.51/2.58	o 3237
4.51/2.58	o 3236
4.51/2.58	o 3235
4.51/2.58	o 3209
4.51/2.59	o 3208
4.51/2.59	o 3205
4.51/2.59	o 3204
4.51/2.59	o 3203
4.51/2.59	o 3202
4.51/2.59	o 3201
4.51/2.59	o 3200
4.51/2.59	o 3199
4.51/2.59	o 3198
4.51/2.59	o 3197
4.51/2.59	o 3196
4.51/2.59	o 3195
4.51/2.59	o 3194
4.51/2.59	o 3193
4.51/2.59	o 3192
4.51/2.59	o 3191
4.51/2.59	o 3190
4.51/2.59	o 3189
4.66/2.69	o 3188
4.76/2.76	o 3186
4.76/2.76	o 3185
4.76/2.76	o 3184
4.76/2.76	o 3183
4.76/2.76	o 3163
4.76/2.76	o 3162
4.76/2.76	o 3160
4.76/2.76	o 3159
4.76/2.76	o 3158
4.76/2.76	o 3156
4.76/2.76	o 3155
4.76/2.76	o 3154
4.76/2.76	o 3153
4.76/2.76	o 3152
4.76/2.76	o 3151
4.76/2.76	o 3150
4.76/2.76	o 3149
4.76/2.76	o 3148
4.76/2.76	o 3147
4.76/2.76	o 3146
4.76/2.76	o 3145
4.76/2.76	o 3144
4.76/2.76	o 3143
4.76/2.76	o 3142
4.76/2.76	o 3140
4.76/2.76	o 3139
4.76/2.76	o 3136
4.76/2.76	o 3135
4.76/2.79	o 3134
4.76/2.79	o 3133
4.76/2.79	o 3132
4.76/2.79	o 3131
4.90/2.80	o 3129
4.90/2.84	o 3128
4.90/2.88	o 3127
4.90/2.88	o 3126
4.90/2.88	o 3124
5.17/3.06	o 3123
5.17/3.06	o 3122
5.17/3.06	o 3121
5.17/3.06	o 3120
5.17/3.07	o 3119
5.17/3.07	o 3118
5.17/3.07	o 3117
5.17/3.10	o 3115
5.17/3.10	o 3114
5.17/3.10	o 3113
5.17/3.10	o 3112
5.17/3.10	o 3111
5.17/3.10	o 3110
5.17/3.10	o 3109
5.17/3.10	o 3108
5.33/3.12	o 3107
5.33/3.13	o 3106
5.33/3.13	o 3105
5.33/3.19	o 3104
5.43/3.20	o 3103
5.43/3.22	o 3102
5.43/3.22	o 3101
5.43/3.23	o 3100
5.43/3.23	o 3099
5.54/3.34	o 3098
5.54/3.34	o 3097
5.84/3.65	o 3096
5.84/3.65	o 3095
5.84/3.65	o 3093
5.84/3.65	o 3092
5.84/3.65	o 3091
5.84/3.65	o 3090
5.84/3.65	o 3089
5.84/3.65	o 3088
5.84/3.65	o 3087
5.84/3.65	o 3086
5.84/3.65	o 3085
5.84/3.65	o 3084
6.04/3.80	o 3083
6.04/3.80	o 3082
6.15/3.91	o 3048
6.15/3.91	o 3022
6.15/3.92	o 3021
6.15/3.92	o 3017
6.15/3.92	o 3015
6.15/3.92	o 3012
6.15/3.92	o 3011
6.15/3.92	o 3010
6.15/3.92	o 3009
6.15/3.92	o 3008
6.15/3.94	o 3007
6.15/3.94	o 3006
6.15/3.94	o 3005
6.15/3.95	o 3004
6.15/3.96	o 3003
6.15/3.96	o 3002
6.25/4.11	o 3001
6.57/4.37	o 3000
6.57/4.38	o 2999
6.67/4.43	o 2998
6.67/4.47	o 2997
6.77/4.55	o 2996
6.84/4.89	o 2995
6.84/4.89	o 2980
6.84/4.89	o 2974
6.84/4.89	o 2973
6.84/4.89	o 2970
6.84/4.89	o 2963
6.84/4.89	o 2962
6.84/4.89	o 2959
6.84/4.89	o 2958
6.84/4.89	o 2956
6.84/4.89	o 2955
6.84/4.89	o 2954
6.84/4.89	o 2952
6.84/4.90	o 2951
6.84/4.90	o 2950
6.84/4.90	o 2949
6.84/4.90	o 2948
6.84/4.90	o 2947
6.84/4.90	o 2946
6.99/4.90	o 2945
6.99/4.90	o 2944
6.99/4.90	o 2943
6.99/4.90	o 2942
6.99/4.90	o 2941
6.99/4.90	o 2940
6.99/4.91	o 2939
6.99/4.91	o 2937
6.99/4.91	o 2936
6.99/4.94	o 2935
6.99/4.94	o 2934
6.99/4.95	o 2933
6.99/4.95	o 2932
6.99/5.00	o 2930
7.15/5.08	o 2929
7.29/5.15	o 2928
7.38/5.22	o 2927
7.38/5.24	o 2926
7.78/5.68	o 2925
7.78/5.68	o 2924
7.78/5.69	o 2923
7.98/5.84	o 2922
7.98/5.86	o 2921
8.19/6.01	o 2920
8.40/6.25	o 2918
8.40/6.25	o 2917
8.40/6.25	o 2916
8.40/6.25	o 2915
8.40/6.25	o 2914
8.40/6.25	o 2913
8.40/6.26	o 2912
8.40/6.26	o 2911
8.40/6.26	o 2910
8.40/6.26	o 2908
8.40/6.26	o 2907
8.40/6.26	o 2906
8.40/6.26	o 2903
8.40/6.26	o 2902
8.40/6.26	o 2901
8.40/6.27	o 2900
8.40/6.28	o 2898
8.51/6.31	o 2896
8.51/6.35	o 2895
8.51/6.35	o 2894
8.51/6.38	o 2892
8.51/6.39	o 2866
8.51/6.39	o 2858
8.51/6.39	o 2855
8.51/6.39	o 2853
8.51/6.39	o 2852
8.51/6.39	o 2850
8.51/6.39	o 2846
8.51/6.39	o 2845
8.51/6.39	o 2844
8.51/6.39	o 2842
8.61/6.41	o 2841
8.61/6.41	o 2840
8.61/6.41	o 2839
8.61/6.41	o 2838
8.61/6.41	o 2837
8.61/6.42	o 2836
8.61/6.42	o 2835
8.61/6.43	o 2834
8.61/6.46	o 2833
8.61/6.46	o 2832
8.61/6.46	o 2831
8.91/6.71	o 2830
8.91/6.79	o 2829
8.91/6.79	o 2828
8.91/6.79	o 2827
9.01/6.82	o 2826
9.01/6.82	o 2825
9.01/6.83	o 2824
9.01/6.83	o 2821
9.01/6.83	o 2820
9.01/6.83	o 2819
9.11/6.90	o 2818
9.11/6.90	o 2817
9.11/6.90	o 2816
9.11/6.95	o 2814
9.11/6.95	o 2813
9.11/6.95	o 2811
9.11/6.95	o 2810
9.11/6.95	o 2809
9.11/6.95	o 2807
9.11/6.95	o 2806
9.11/6.95	o 2804
9.11/6.95	o 2803
9.11/6.95	o 2802
9.11/6.95	o 2801
9.11/6.95	o 2800
9.11/6.95	o 2799
9.11/6.95	o 2798
9.11/6.95	o 2797
9.11/6.95	o 2796
9.11/6.95	o 2794
9.11/6.95	o 2793
9.11/6.95	o 2792
9.11/6.95	o 2791
9.11/6.95	o 2790
9.11/6.95	o 2787
9.11/6.95	o 2786
9.11/6.95	o 2785
9.11/6.96	o 2783
9.11/6.96	o 2782
9.11/6.96	o 2781
9.11/6.96	o 2780
9.11/6.96	o 2770
9.11/6.96	o 2769
9.11/6.96	o 2766
9.11/6.96	o 2765
9.11/6.97	o 2764
9.11/6.97	o 2763
9.11/6.97	o 2761
9.11/6.97	o 2760
9.22/7.04	o 2759
9.22/7.04	o 2758
9.32/7.12	o 2757
9.32/7.15	o 2756
9.32/7.16	o 2755
9.32/7.16	o 2754
9.32/7.16	o 2753
9.32/7.16	o 2752
9.32/7.16	o 2751
9.32/7.16	o 2750
9.32/7.19	o 2749
9.32/7.19	o 2748
9.41/7.23	o 2747
9.41/7.24	o 2746
9.51/7.33	o 2745
9.51/7.34	o 2744
9.51/7.36	o 2742
9.51/7.37	o 2740
9.61/7.41	o 2739
9.61/7.41	o 2738
9.61/7.41	o 2736
9.61/7.41	o 2735
9.61/7.41	o 2734
9.61/7.41	o 2733
9.61/7.41	o 2732
9.61/7.41	o 2731
9.81/7.64	o 2730
9.81/7.65	o 2729
9.81/7.66	o 2728
9.81/7.68	o 2727
9.81/7.69	o 2726
9.91/7.70	o 2725
10.01/7.84	o 2724
10.32/8.16	o 2723
10.32/8.16	o 2722
10.32/8.16	o 2721
10.32/8.16	o 2720
10.32/8.16	o 2719
10.32/8.16	o 2718
10.32/8.16	o 2717
10.32/8.17	o 2716
10.32/8.17	o 2715
10.32/8.17	o 2714
10.32/8.18	o 2713
10.32/8.18	o 2712
10.32/8.18	o 2711
10.32/8.18	o 2710
10.32/8.20	o 2709
10.42/8.20	o 2708
10.62/8.48	o 2706
11.01/8.86	o 2705
11.01/8.89	o 2704
11.12/8.94	o 2703
11.22/9.01	o 2702
11.32/9.12	o 2701
11.32/9.12	o 2700
11.32/9.12	o 2699
11.32/9.12	o 2697
11.32/9.12	o 2694
11.32/9.12	o 2692
11.32/9.12	o 2671
11.32/9.12	o 2669
11.32/9.12	o 2668
11.32/9.12	o 2664
11.32/9.12	o 2661
11.32/9.12	o 2660
11.32/9.12	o 2658
11.32/9.12	o 2657
11.32/9.12	o 2656
11.32/9.13	o 2640
11.32/9.13	o 2632
11.32/9.13	o 2631
11.32/9.13	o 2630
11.32/9.13	o 2629
11.32/9.15	o 2627
11.32/9.15	o 2626
11.32/9.15	o 2625
11.41/9.22	o 2624
11.41/9.22	o 2623
11.51/9.30	o 2622
11.61/9.48	o 2618
11.61/9.48	o 2617
11.61/9.48	o 2616
11.61/9.48	o 2615
11.61/9.48	o 2610
11.61/9.48	o 2609
11.61/9.49	o 2605
11.61/9.49	o 2602
11.61/9.49	o 2601
11.61/9.49	o 2600
11.61/9.49	o 2590
11.61/9.49	o 2589
11.61/9.49	o 2588
11.61/9.49	o 2586
11.61/9.49	o 2585
11.61/9.49	o 2584
11.61/9.49	o 2583
11.61/9.49	o 2582
11.61/9.49	o 2581
11.61/9.49	o 2580
11.61/9.49	o 2579
11.61/9.49	o 2578
11.71/9.54	o 2577
11.71/9.54	o 2574
11.82/9.68	o 2573
12.33/10.13	o 2562
12.33/10.13	o 2561
12.33/10.13	o 2560
12.33/10.13	o 2559
12.33/10.13	o 2558
12.33/10.13	o 2557
12.33/10.13	o 2556
12.33/10.13	o 2555
12.33/10.13	o 2553
12.33/10.14	o 2552
12.33/10.14	o 2551
12.33/10.14	o 2550
12.33/10.14	o 2530
12.33/10.14	o 2527
12.33/10.14	o 2526
12.33/10.14	o 2525
12.33/10.14	o 2520
12.33/10.14	o 2519
12.33/10.14	o 2516
12.33/10.14	o 2493
12.33/10.14	o 2489
12.33/10.14	o 2487
12.33/10.14	o 2486
12.33/10.15	o 2485
12.33/10.19	o 2484
12.33/10.19	o 2483
12.43/10.20	o 2482
12.43/10.24	o 2481
12.63/10.41	o 2461
12.63/10.41	o 2454
12.63/10.41	o 2427
12.63/10.41	o 2422
12.63/10.42	o 2421
12.63/10.45	o 2416
12.63/10.45	o 2415
12.63/10.46	o 2414
12.73/10.52	o 2413
12.83/10.63	o 2412
12.83/10.68	o 2411
12.93/10.77	o 2410
12.93/10.77	o 2409
12.93/10.78	o 2408
13.24/11.02	o 2407
13.24/11.02	o 2406
13.24/11.02	o 2405
13.34/11.17	o 2404
13.34/11.18	o 2403
13.34/11.18	o 2402
13.63/11.45	o 2401
13.73/11.55	o 2400
13.73/11.56	o 2399
13.73/11.56	o 2398
13.83/11.65	o 2397
14.43/12.21	o 2396
14.93/12.71	o 2395
15.83/13.64	o 2394
15.83/13.64	o 2393
15.83/13.65	o 2392
15.83/13.66	o 2391
15.83/13.66	o 2390
15.83/13.69	o 2389
16.13/13.93	o 2388
16.24/14.04	o 2387
16.24/14.04	o 2386
16.24/14.04	o 2385
16.24/14.04	o 2384
16.24/14.04	o 2383
16.35/14.13	o 2382
16.35/14.14	o 2381
16.54/14.32	o 2380
16.54/14.32	o 2379
16.74/14.59	o 2378
17.84/15.68	o 2377
17.84/15.68	o 2376
17.84/15.68	o 2374
17.84/15.68	o 2373
17.84/15.68	o 2371
17.84/15.68	o 2367
17.84/15.68	o 2366
17.84/15.68	o 2365
17.84/15.68	o 2364
17.84/15.68	o 2361
17.84/15.68	o 2343
17.84/15.68	o 2338
17.84/15.68	o 2336
17.84/15.69	o 2335
17.84/15.69	o 2334
17.84/15.69	o 2333
17.84/15.69	o 2332
17.84/15.69	o 2330
17.84/15.69	o 2329
17.84/15.69	o 2328
17.84/15.69	o 2327
17.84/15.69	o 2326
17.84/15.69	o 2325
17.84/15.69	o 2324
17.84/15.69	o 2323
17.94/15.70	o 2322
17.94/15.70	o 2321
17.94/15.76	o 2320
17.94/15.76	o 2319
18.05/15.81	o 2318
18.05/15.81	o 2317
18.05/15.81	o 2316
18.15/15.90	o 2315
18.15/15.91	o 2314
18.15/15.92	o 2313
18.15/15.98	o 2312
18.15/15.98	o 2311
18.26/16.02	o 2310
18.26/16.04	o 2309
18.26/16.04	o 2308
18.26/16.05	o 2307
18.95/16.76	o 2306
18.95/16.76	o 2305
18.95/16.78	o 2304
19.26/17.02	o 2303
19.26/17.10	o 2302
19.26/17.10	o 2301
19.26/17.10	o 2300
20.26/18.05	o 2290
20.26/18.05	o 2285
20.26/18.05	o 2283
20.26/18.05	o 2282
20.26/18.07	o 2280
20.26/18.08	o 2278
20.26/18.09	o 2277
20.26/18.09	o 2276
20.36/18.14	o 2275
20.36/18.15	o 2274
20.36/18.16	o 2273
20.96/18.73	o 2251
20.96/18.73	o 2249
20.96/18.73	o 2247
20.96/18.73	o 2244
20.96/18.73	o 2237
20.96/18.73	o 2236
20.96/18.77	o 2234
21.06/18.81	o 2232
21.06/18.83	o 2231
21.06/18.84	o 2229
21.06/18.88	o 2228
21.06/18.88	o 2227
21.06/18.89	o 2226
21.06/18.89	o 2225
21.46/19.24	o 2224
21.46/19.25	o 2223
21.76/19.57	o 2222
21.76/19.57	o 2221
21.96/19.78	o 2220
22.16/19.91	o 2219
22.16/19.92	o 2218
22.16/19.93	o 2217
22.37/20.16	o 2216
22.37/20.16	o 2215
22.37/20.16	o 2214
22.37/20.16	o 2213
22.86/20.66	o 2212
22.86/20.66	o 2211
22.86/20.66	o 2210
22.86/20.66	o 2204
22.86/20.66	o 2202
22.86/20.66	o 2201
22.86/20.67	o 2198
22.86/20.67	o 2191
22.86/20.67	o 2177
22.86/20.67	o 2176
22.86/20.67	o 2175
22.86/20.67	o 2174
22.86/20.67	o 2173
22.86/20.69	o 2172
22.86/20.69	o 2171
22.86/20.70	o 2170
22.86/20.70	o 2169
22.86/20.70	o 2168
22.96/20.71	o 2167
22.96/20.72	o 2166
22.96/20.72	o 2165
22.96/20.75	o 2164
23.07/20.84	o 2162
23.07/20.89	o 2161
23.07/20.89	o 2160
23.27/21.02	o 2159
23.27/21.08	o 2158
23.37/21.13	o 2157
23.37/21.13	o 2156
23.37/21.13	o 2155
23.37/21.13	o 2151
23.37/21.13	o 2150
23.37/21.13	o 2147
23.37/21.13	o 2146
23.37/21.13	o 2145
23.37/21.13	o 2144
23.37/21.13	o 2142
23.37/21.13	o 2141
23.37/21.13	o 2140
23.37/21.17	o 2139
23.37/21.19	o 2138
23.37/21.19	o 2137
23.37/21.19	o 2135
23.37/21.19	o 2134
23.37/21.20	o 2133
23.37/21.20	o 2132
23.47/21.22	o 2131
23.47/21.22	o 2130
23.47/21.24	o 2129
23.47/21.24	o 2128
23.47/21.25	o 2126
23.47/21.27	o 2125
23.47/21.27	o 2123
23.57/21.37	o 2122
23.57/21.37	o 2121
23.77/21.50	o 2119
23.77/21.50	o 2118
23.77/21.50	o 2117
23.77/21.50	o 2116
23.77/21.50	o 2113
23.77/21.50	o 2112
23.77/21.50	o 2111
23.77/21.50	o 2110
23.77/21.50	o 2109
23.77/21.50	o 2108
23.77/21.50	o 2107
23.77/21.51	o 2106
23.77/21.51	o 2105
23.77/21.51	o 2104
23.77/21.51	o 2103
23.77/21.51	o 2102
23.77/21.51	o 2101
23.77/21.51	o 2099
23.77/21.51	o 2098
23.77/21.51	o 2097
23.77/21.51	o 2096
23.77/21.51	o 2095
23.77/21.51	o 2090
23.77/21.51	o 2089
23.77/21.51	o 2088
23.77/21.51	o 2087
23.77/21.51	o 2086
23.77/21.53	o 2085
23.77/21.53	o 2083
23.77/21.53	o 2082
23.77/21.55	o 2081
23.77/21.55	o 2080
23.77/21.56	o 2079
23.77/21.56	o 2078
23.77/21.56	o 2077
23.77/21.56	o 2076
23.77/21.56	o 2072
23.77/21.56	o 2071
23.97/21.73	o 2070
23.97/21.73	o 2069
23.97/21.73	o 2068
23.97/21.73	o 2067
23.97/21.79	o 2066
23.97/21.79	o 2065
24.28/22.02	o 2064
24.28/22.02	o 2063
24.28/22.02	o 2062
24.28/22.02	o 2060
24.28/22.02	o 2059
24.28/22.02	o 2058
24.28/22.02	o 2057
24.28/22.03	o 2056
24.28/22.03	o 2053
24.28/22.03	o 2050
24.28/22.03	o 2049
24.28/22.08	o 2048
24.28/22.08	o 2046
24.38/22.14	o 2023
24.38/22.14	o 2021
24.38/22.14	o 2015
24.38/22.14	o 2008
24.38/22.14	o 2006
24.38/22.14	o 2003
24.38/22.15	o 2002
24.38/22.15	o 2001
24.38/22.15	o 2000
24.38/22.18	o 1999
24.38/22.18	o 1998
24.38/22.19	o 1996
24.47/22.21	o 1995
24.47/22.22	o 1994
24.47/22.22	o 1993
24.47/22.26	o 1992
24.47/22.26	o 1991
24.47/22.26	o 1989
24.47/22.26	o 1988
24.47/22.26	o 1987
24.47/22.26	o 1986
24.47/22.26	o 1985
24.47/22.26	o 1984
24.47/22.26	o 1982
24.47/22.26	o 1980
24.47/22.26	o 1979
24.47/22.27	o 1978
24.47/22.27	o 1977
24.47/22.27	o 1976
24.47/22.27	o 1975
24.47/22.27	o 1974
24.47/22.29	o 1973
24.47/22.29	o 1972
24.47/22.29	o 1971
24.47/22.29	o 1970
24.47/22.29	o 1969
24.57/22.36	o 1968
24.57/22.36	o 1967
24.57/22.36	o 1966
24.57/22.36	o 1964
24.57/22.36	o 1963
24.57/22.36	o 1962
24.57/22.36	o 1955
24.57/22.36	o 1953
24.57/22.36	o 1951
24.57/22.36	o 1950
24.57/22.36	o 1949
24.57/22.36	o 1948
24.57/22.36	o 1947
24.57/22.36	o 1946
24.57/22.36	o 1945
24.57/22.36	o 1944
24.57/22.39	o 1943
24.57/22.39	o 1942
24.57/22.39	o 1941
24.57/22.39	o 1940
24.57/22.39	o 1939
24.68/22.40	o 1934
24.68/22.40	o 1932
24.68/22.40	o 1929
24.68/22.40	o 1928
24.68/22.40	o 1927
24.68/22.40	o 1926
24.68/22.40	o 1925
24.68/22.41	o 1924
24.68/22.41	o 1901
24.68/22.41	o 1898
24.68/22.41	o 1892
24.68/22.41	o 1889
24.68/22.41	o 1887
24.78/22.51	o 1886
24.78/22.51	o 1884
24.78/22.55	o 1883
24.78/22.58	o 1882
24.88/22.62	o 1880
24.88/22.65	o 1879
25.08/22.88	o 1878
25.08/22.88	o 1877
25.08/22.88	o 1876
25.08/22.88	o 1875
25.08/22.88	o 1873
25.08/22.88	o 1872
25.18/22.91	o 1871
25.18/22.94	o 1870
25.18/22.94	o 1869
25.18/22.97	o 1867
25.29/23.03	o 1865
25.29/23.03	o 1863
25.39/23.18	o 1862
25.39/23.19	o 1861
25.39/23.19	o 1857
25.39/23.19	o 1856
25.39/23.19	o 1854
25.39/23.19	o 1853
25.39/23.19	o 1851
25.39/23.19	o 1847
25.39/23.19	o 1846
25.39/23.19	o 1845
25.39/23.19	o 1844
25.48/23.20	o 1843
25.48/23.20	o 1842
25.48/23.20	o 1841
25.48/23.21	o 1840
25.48/23.21	o 1838
25.48/23.22	o 1837
25.48/23.23	o 1835
25.48/23.23	o 1834
25.48/23.27	o 1833
25.48/23.28	o 1831
25.58/23.34	o 1821
25.58/23.34	o 1811
25.58/23.34	o 1807
25.58/23.34	o 1801
25.58/23.34	o 1800
25.58/23.34	o 1799
25.58/23.34	o 1798
25.58/23.35	o 1797
25.58/23.35	o 1796
25.58/23.35	o 1795
25.58/23.35	o 1793
25.58/23.36	o 1792
25.58/23.36	o 1791
25.58/23.36	o 1790
25.58/23.39	o 1788
25.68/23.41	o 1787
25.68/23.44	o 1786
25.68/23.44	o 1784
25.68/23.45	o 1783
25.78/23.57	o 1781
25.98/23.71	o 1780
25.98/23.73	o 1778
25.98/23.77	o 1767
25.98/23.77	o 1758
25.98/23.77	o 1748
25.98/23.77	o 1747
25.98/23.77	o 1743
25.98/23.77	o 1741
25.98/23.77	o 1740
25.98/23.77	o 1739
25.98/23.77	o 1725
25.98/23.77	o 1724
25.98/23.77	o 1723
25.98/23.78	o 1722
25.98/23.78	o 1721
25.98/23.78	o 1720
25.98/23.78	o 1719
25.98/23.78	o 1718
26.09/23.83	o 1717
26.09/23.84	o 1715
26.09/23.85	o 1714
26.19/23.91	o 1713
26.79/24.50	o 1712
26.79/24.50	o 1711
26.99/24.77	o 1710
26.99/24.77	o 1709
26.99/24.78	o 1708
26.99/24.78	o 1707
26.99/24.78	o 1706
26.99/24.78	o 1705
26.99/24.79	o 1704
27.09/24.83	o 1703
27.09/24.83	o 1702
27.09/24.83	o 1701
27.30/25.05	o 1700
27.30/25.05	o 1699
27.30/25.05	o 1698
27.69/25.50	o 1697
28.20/25.94	o 1689
28.20/25.94	o 1688
28.20/25.94	o 1685
28.20/25.94	o 1684
28.20/25.94	o 1680
28.20/25.94	o 1679
28.20/25.94	o 1676
28.20/25.94	o 1675
28.20/25.94	o 1674
28.20/25.94	o 1670
28.20/25.94	o 1669
28.20/25.94	o 1668
28.20/25.94	o 1667
28.20/25.94	o 1666
28.20/25.94	o 1665
28.20/25.94	o 1664
28.20/25.94	o 1663
28.20/25.94	o 1662
28.20/25.95	o 1661
28.20/25.95	o 1660
28.20/25.95	o 1659
28.20/25.96	o 1658
28.20/25.97	o 1657
28.20/25.97	o 1656
28.20/25.99	o 1655
28.20/25.99	o 1654
28.32/26.08	o 1653
28.32/26.08	o 1652
28.42/26.11	o 1651
28.42/26.17	o 1650
28.51/26.21	o 1649
28.51/26.21	o 1648
28.51/26.24	o 1647
28.51/26.26	o 1646
28.51/26.27	o 1645
28.81/26.51	o 1644
28.81/26.52	o 1643
28.81/26.52	o 1642
28.81/26.52	o 1641
28.81/26.52	o 1640
28.81/26.52	o 1639
28.81/26.52	o 1637
28.81/26.52	o 1627
28.81/26.52	o 1626
28.81/26.52	o 1625
28.81/26.52	o 1624
28.81/26.52	o 1623
28.81/26.52	o 1622
28.81/26.52	o 1621
28.81/26.52	o 1620
28.81/26.52	o 1619
28.81/26.52	o 1618
28.81/26.52	o 1617
28.81/26.52	o 1616
28.81/26.52	o 1615
28.81/26.52	o 1614
28.81/26.52	o 1613
28.81/26.52	o 1612
28.81/26.52	o 1611
28.81/26.53	o 1610
28.81/26.53	o 1609
28.81/26.53	o 1607
28.81/26.53	o 1606
28.81/26.55	o 1605
28.81/26.55	o 1604
28.91/26.61	o 1603
28.91/26.61	o 1602
28.91/26.65	o 1601
28.91/26.69	o 1600
29.01/26.71	o 1599
29.01/26.71	o 1598
29.21/26.90	o 1597
29.21/26.90	o 1596
29.21/26.90	o 1595
29.21/26.90	o 1594
29.21/26.90	o 1592
29.21/26.90	o 1591
29.21/26.90	o 1590
29.32/27.04	o 1589
29.52/27.27	o 1588
30.62/28.34	o 1586
30.62/28.34	o 1585
30.62/28.35	o 1584
30.62/28.37	o 1582
30.62/28.38	o 1581
30.72/28.40	o 1580
30.72/28.43	o 1578
30.72/28.43	o 1577
30.82/28.53	o 1576
30.82/28.54	o 1574
30.82/28.56	o 1573
30.92/28.60	o 1572
31.12/28.87	o 1571
31.12/28.88	o 1570
31.63/29.32	o 1569
31.93/29.65	o 1565
31.93/29.65	o 1564
31.93/29.65	o 1563
31.93/29.66	o 1562
31.93/29.66	o 1561
31.93/29.66	o 1560
31.93/29.66	o 1559
31.93/29.66	o 1558
32.03/29.70	o 1557
32.03/29.70	o 1556
32.03/29.70	o 1555
32.03/29.70	o 1554
32.73/30.43	o 1553
32.73/30.43	o 1549
32.73/30.43	o 1547
32.73/30.43	o 1545
32.73/30.44	o 1544
32.73/30.49	o 1542
32.73/30.49	o 1541
32.73/30.49	o 1540
33.45/31.19	o 1539
33.54/31.20	o 1538
33.54/31.27	o 1537
33.54/31.27	o 1536
33.54/31.27	o 1535
33.64/31.33	o 1534
33.74/31.46	o 1533
33.84/31.59	o 1532
33.94/31.67	o 1531
34.24/31.90	o 1530
35.36/33.05	o 1529
35.36/33.06	o 1528
35.55/33.23	o 1527
35.75/33.46	o 1526
35.75/33.46	o 1525
35.75/33.46	o 1524
35.75/33.46	o 1523
35.75/33.46	o 1522
35.75/33.46	o 1521
35.75/33.46	o 1520
35.75/33.46	o 1519
35.75/33.46	o 1518
35.75/33.46	o 1517
35.75/33.46	o 1516
35.75/33.46	o 1515
35.75/33.46	o 1514
35.75/33.46	o 1509
35.75/33.46	o 1508
35.75/33.46	o 1507
35.75/33.46	o 1506
35.75/33.46	o 1505
35.75/33.46	o 1503
35.75/33.46	o 1496
35.75/33.46	o 1492
35.75/33.47	o 1487
35.75/33.47	o 1475
35.75/33.47	o 1474
35.75/33.47	o 1473
35.75/33.47	o 1472
35.75/33.48	o 1471
35.75/33.48	o 1470
35.86/33.54	o 1469
35.86/33.54	o 1468
35.86/33.55	o 1467
35.86/33.58	o 1466
35.86/33.58	o 1465
35.86/33.58	o 1464
35.86/33.58	o 1463
35.96/33.63	o 1462
35.96/33.65	o 1461
36.26/33.92	o 1460
36.86/34.53	o 1459
36.86/34.54	o 1458
36.86/34.54	o 1457
36.86/34.54	o 1456
37.16/34.84	o 1455
37.16/34.85	o 1454
37.16/34.85	o 1453
37.16/34.85	o 1452
37.16/34.85	o 1451
37.16/34.85	o 1450
37.16/34.85	o 1449
38.57/36.22	o 1447
38.57/36.28	o 1446
38.68/36.31	o 1445
38.68/36.31	o 1442
38.68/36.31	o 1441
38.68/36.31	o 1440
38.68/36.31	o 1439
38.78/36.41	o 1438
39.18/36.82	o 1437
39.28/37.00	o 1436
39.78/37.40	o 1434
39.78/37.40	o 1433
39.78/37.40	o 1431
39.78/37.40	o 1430
39.78/37.40	o 1429
39.78/37.40	o 1428
39.78/37.40	o 1419
39.78/37.40	o 1417
39.78/37.40	o 1415
39.78/37.40	o 1411
39.78/37.40	o 1410
39.78/37.40	o 1407
39.78/37.40	o 1406
39.78/37.41	o 1405
39.78/37.41	o 1404
39.78/37.41	o 1403
39.78/37.41	o 1401
39.78/37.41	o 1400
39.78/37.41	o 1399
39.78/37.41	o 1398
39.78/37.41	o 1396
39.78/37.41	o 1395
39.78/37.41	o 1394
39.99/37.66	o 1393
40.19/37.83	o 1392
40.19/37.83	o 1391
40.19/37.83	o 1390
40.29/37.91	o 1389
40.29/37.91	o 1388
40.29/37.99	o 1387
40.49/38.16	o 1369
40.49/38.16	o 1364
40.49/38.16	o 1362
40.49/38.16	o 1361
40.49/38.16	o 1354
40.49/38.16	o 1353
40.49/38.16	o 1352
40.49/38.16	o 1351
40.49/38.17	o 1345
40.49/38.17	o 1343
40.49/38.17	o 1342
40.49/38.17	o 1330
40.49/38.17	o 1328
40.49/38.17	o 1327
40.49/38.17	o 1325
40.49/38.17	o 1324
40.49/38.17	o 1323
40.49/38.17	o 1320
40.49/38.17	o 1319
40.59/38.24	o 1318
40.59/38.27	o 1317
40.59/38.27	o 1316
40.69/38.30	o 1315
40.69/38.31	o 1314
40.69/38.32	o 1313
40.69/38.32	o 1312
40.69/38.32	o 1311
40.79/38.42	o 1310
40.79/38.42	o 1309
40.79/38.42	o 1308
40.79/38.42	o 1307
40.79/38.42	o 1306
40.89/38.52	o 1305
41.19/38.83	o 1304
41.19/38.85	o 1303
41.19/38.85	o 1302
41.29/38.91	o 1301
41.29/38.91	o 1300
41.29/38.94	o 1299
41.29/38.94	o 1298
41.29/38.94	o 1297
41.50/39.17	o 1296
41.50/39.17	o 1295
41.50/39.17	o 1294
41.50/39.18	o 1293
41.50/39.18	o 1292
41.50/39.18	o 1291
41.50/39.18	o 1290
41.59/39.22	o 1289
43.11/40.78	o 1288
43.92/41.58	o 1286
44.32/41.92	o 1221
44.32/41.92	o 1220
44.32/41.92	o 1217
44.32/41.92	o 1216
44.32/41.92	o 1213
44.32/41.92	o 1212
44.32/41.93	o 1211
44.32/41.93	o 1210
44.32/41.93	o 1209
44.32/41.95	o 1208
44.32/41.96	o 1207
44.32/41.96	o 1206
44.32/42.00	o 1204
44.43/42.01	o 1202
44.43/42.02	o 1201
44.43/42.02	o 1200
44.53/42.11	o 1199
44.62/42.28	o 1198
46.03/43.64	o 1196
46.03/43.64	o 1171
46.03/43.64	o 1169
46.03/43.64	o 1166
46.03/43.64	o 1164
46.03/43.64	o 1163
46.03/43.64	o 1162
46.03/43.64	o 1161
46.03/43.64	o 1158
46.03/43.64	o 1157
46.03/43.64	o 1156
46.03/43.64	o 1155
46.03/43.64	o 1154
46.03/43.64	o 1153
46.03/43.64	o 1152
46.03/43.64	o 1151
46.03/43.65	o 1149
46.03/43.65	o 1148
46.03/43.65	o 1147
46.03/43.65	o 1146
46.03/43.69	o 1145
46.44/44.08	o 1144
46.44/44.08	o 1143
46.44/44.08	o 1142
46.44/44.08	o 1140
46.44/44.09	o 1138
46.54/44.19	o 1137
46.63/44.24	o 1134
46.63/44.24	o 1133
46.63/44.27	o 1130
46.83/44.41	o 1128
46.83/44.42	o 1126
46.83/44.42	o 1122
46.83/44.44	o 1120
46.83/44.45	o 1119
46.83/44.48	o 1118
46.94/44.51	o 1116
46.94/44.52	o 1115
46.94/44.52	o 1114
47.14/44.75	o 1111
47.45/45.02	o 1110
48.04/45.66	o 1104
48.04/45.66	o 1102
48.04/45.66	o 1094
48.14/45.70	o 1093
48.14/45.72	o 1092
48.14/45.79	o 1091
48.14/45.79	o 1090
48.24/45.83	o 1088
48.24/45.88	o 1087
48.34/45.92	o 1086
48.34/45.92	o 1085
48.34/45.97	o 1083
48.45/46.02	o 1082
48.65/46.21	o 1081
48.65/46.23	o 1080
48.65/46.24	o 1078
48.75/46.32	o 1077
48.95/46.60	o 1076
49.05/46.60	o 1075
49.05/46.60	o 1074
49.05/46.68	o 1073
49.05/46.68	o 1072
49.15/46.70	o 1071
49.35/46.91	o 1069
49.35/46.91	o 1068
49.46/47.06	o 1067
49.56/47.13	o 1066
49.56/47.13	o 1065
49.56/47.13	o 1064
49.56/47.13	o 1063
49.56/47.13	o 1062
49.56/47.13	o 1061
49.56/47.14	o 1060
49.56/47.14	o 1059
49.56/47.14	o 1058
49.56/47.14	o 1057
49.56/47.15	o 1053
49.56/47.15	o 1052
49.56/47.15	o 1050
49.56/47.15	o 1049
49.56/47.15	o 1048
49.56/47.15	o 1047
49.56/47.15	o 1046
49.56/47.16	o 1044
49.56/47.18	o 1043
49.56/47.19	o 1040
49.65/47.21	o 1039
49.65/47.25	o 1038
49.65/47.27	o 1037
49.75/47.31	o 1036
49.85/47.43	o 1033
49.85/47.43	o 1032
49.85/47.43	o 1030
49.85/47.43	o 1028
49.85/47.43	o 1027
49.85/47.43	o 1022
49.85/47.43	o 1020
49.85/47.43	o 1019
49.85/47.43	o 1018
49.85/47.43	o 1017
49.85/47.44	o 1016
49.85/47.44	o 1015
49.85/47.44	o 1014
49.85/47.44	o 1013
49.85/47.44	o 1012
49.85/47.44	o 1011
49.85/47.44	o 1010
49.95/47.52	o 1009
49.95/47.52	o 1008
49.95/47.53	o 1007
49.95/47.53	o 1006
49.95/47.56	o 1005
49.95/47.56	o 1004
49.95/47.56	o 1003
49.95/47.56	o 1002
50.05/47.64	o 1001
50.05/47.67	o 1000
50.15/47.71	o 999
50.15/47.71	o 998
50.15/47.71	o 997
50.25/47.82	o 996
50.25/47.82	o 995
50.25/47.86	o 994
50.25/47.86	o 993
50.25/47.88	o 992
50.25/47.88	o 991
50.25/47.88	o 990
50.25/47.88	o 989
50.25/47.88	o 988
50.25/47.90	o 987
50.35/47.90	o 986
50.35/47.98	o 982
50.35/47.98	o 981
50.35/47.98	o 924
50.35/47.98	o 923
50.35/47.98	o 918
50.35/47.98	o 917
50.35/47.98	o 916
50.35/47.99	o 915
50.35/47.99	o 914
50.35/48.00	o 913
50.35/48.00	o 912
50.35/48.00	o 911
50.47/48.03	o 910
50.47/48.03	o 908
50.47/48.04	o 907
50.47/48.04	o 906
50.47/48.04	o 905
50.47/48.08	o 904
50.47/48.10	o 903
50.57/48.12	o 902
50.57/48.12	o 901
50.67/48.25	o 900
50.77/48.34	o 899
50.97/48.57	o 897
51.17/48.71	o 896
51.17/48.72	o 895
51.17/48.72	o 894
51.17/48.73	o 893
51.17/48.74	o 892
51.17/48.74	o 891
51.17/48.74	o 890
51.17/48.74	o 889
51.17/48.74	o 888
51.17/48.75	o 886
51.17/48.75	o 885
51.17/48.75	o 884
51.17/48.75	o 883
51.17/48.75	o 882
51.17/48.75	o 881
51.27/48.82	o 878
51.27/48.85	o 877
51.27/48.85	o 876
51.37/48.94	o 875
51.37/48.95	o 873
51.47/49.02	o 872
51.47/49.06	o 870
51.66/49.29	o 869
51.66/49.29	o 868
51.76/49.30	o 867
51.76/49.31	o 866
51.76/49.31	o 865
51.76/49.31	o 864
51.76/49.32	o 863
51.76/49.32	o 862
51.76/49.34	o 861
51.76/49.34	o 860
51.76/49.34	o 859
51.76/49.39	o 858
51.86/49.48	o 857
51.86/49.48	o 829
51.86/49.48	o 828
51.86/49.48	o 827
51.86/49.48	o 822
51.86/49.48	o 821
51.86/49.48	o 820
51.86/49.48	o 819
51.86/49.49	o 818
51.86/49.49	o 817
51.86/49.49	o 816
51.86/49.49	o 815
51.86/49.49	o 814
51.86/49.49	o 813
51.86/49.49	o 812
51.86/49.49	o 811
51.96/49.50	o 810
51.96/49.50	o 809
51.96/49.53	o 808
51.96/49.53	o 807
51.96/49.53	o 806
51.96/49.56	o 805
51.96/49.56	o 804
51.96/49.58	o 803
51.96/49.58	o 802
51.96/49.59	o 801
51.96/49.59	o 800
51.96/49.59	o 799
52.07/49.63	o 798
52.17/49.74	o 797
52.17/49.74	o 796
52.17/49.79	o 757
52.17/49.79	o 756
52.17/49.79	o 755
52.17/49.79	o 754
52.17/49.79	o 753
52.17/49.79	o 751
52.17/49.79	o 750
52.17/49.79	o 749
52.17/49.79	o 748
52.17/49.79	o 747
52.17/49.79	o 746
52.17/49.79	o 745
52.17/49.79	o 744
52.17/49.79	o 743
52.17/49.79	o 742
52.17/49.79	o 741
52.17/49.79	o 740
52.17/49.80	o 739
52.27/49.82	o 738
52.27/49.82	o 737
52.27/49.82	o 736
52.27/49.82	o 735
52.27/49.82	o 734
52.27/49.82	o 733
52.27/49.87	o 732
52.37/49.95	o 731
52.37/50.00	o 725
52.37/50.00	o 724
52.37/50.00	o 723
52.37/50.00	o 722
52.37/50.00	o 721
52.37/50.00	o 719
52.37/50.00	o 718
52.37/50.00	o 713
52.37/50.00	o 712
52.37/50.00	o 711
52.37/50.00	o 705
52.37/50.00	o 704
52.37/50.00	o 703
52.37/50.00	o 702
52.37/50.00	o 701
52.37/50.00	o 700
52.37/50.00	o 699
52.37/50.00	o 698
52.37/50.00	o 697
52.37/50.00	o 681
52.37/50.00	o 680
52.37/50.00	o 679
52.37/50.00	o 678
52.37/50.00	o 677
52.37/50.00	o 676
52.37/50.00	o 675
52.37/50.00	o 674
52.37/50.00	o 673
52.37/50.00	o 672
52.37/50.01	o 669
52.37/50.01	o 668
52.48/50.01	o 666
52.48/50.08	o 607
52.48/50.08	o 603
52.48/50.08	o 599
52.48/50.08	o 597
52.48/50.08	o 596
52.48/50.09	o 595
52.48/50.09	o 593
52.48/50.09	o 592
52.48/50.10	o 591
52.48/50.10	o 590
52.48/50.10	o 589
52.48/50.10	o 588
52.58/50.15	o 587
52.58/50.15	o 586
52.58/50.18	o 585
52.58/50.18	o 584
52.77/50.37	o 583
52.97/50.53	o 580
52.97/50.53	o 579
52.97/50.53	o 578
52.97/50.53	o 577
52.97/50.53	o 576
52.97/50.53	o 575
52.97/50.53	o 574
52.97/50.53	o 573
52.97/50.53	o 570
52.97/50.53	o 569
52.97/50.53	o 566
52.97/50.53	o 565
52.97/50.53	o 564
52.97/50.53	o 563
52.97/50.53	o 562
52.97/50.53	o 555
52.97/50.53	o 554
52.97/50.54	o 553
52.97/50.54	o 552
52.97/50.54	o 551
52.97/50.54	o 550
52.97/50.55	o 549
52.97/50.55	o 548
52.97/50.55	o 547
52.97/50.56	o 546
52.97/50.57	o 545
53.08/50.62	o 544
53.08/50.62	o 543
53.08/50.63	o 542
53.08/50.64	o 541
53.08/50.69	o 540
53.28/50.82	o 539
53.28/50.82	o 538
53.68/51.26	o 537
54.28/51.85	o 536
54.28/51.85	o 535
54.28/51.85	o 533
54.28/51.85	o 532
54.28/51.85	o 531
54.28/51.85	o 530
54.28/51.85	o 529
54.28/51.85	o 528
54.28/51.85	o 525
54.28/51.85	o 524
54.28/51.85	o 523
54.28/51.87	o 522
54.28/51.87	o 521
54.28/51.87	o 520
54.28/51.88	o 519
54.28/51.88	o 518
54.38/51.92	o 517
54.38/51.92	o 516
54.38/51.94	o 515
54.38/51.94	o 514
54.38/51.98	o 513
54.49/52.03	o 512
54.49/52.03	o 511
54.49/52.05	o 510
54.49/52.05	o 509
54.68/52.24	o 508
54.68/52.26	o 507
54.68/52.26	o 506
54.68/52.26	o 505
54.78/52.39	o 504
54.78/52.39	o 503
54.99/52.51	o 502
54.99/52.51	o 501
55.51/53.07	o 500
55.51/53.07	o 499
55.51/53.07	o 498
55.51/53.07	o 497
55.51/53.07	o 496
55.51/53.07	o 495
55.51/53.07	o 493
55.51/53.07	o 492
55.51/53.07	o 491
55.51/53.07	o 490
55.51/53.07	o 489
55.51/53.07	o 487
55.80/53.38	o 484
55.90/53.44	o 483
55.90/53.44	o 480
56.01/53.50	o 479
56.01/53.52	o 478
56.01/53.52	o 477
56.01/53.52	o 476
56.21/53.72	o 475
56.21/53.72	o 474
56.21/53.75	o 473
56.21/53.76	o 472
56.21/53.76	o 471
56.52/54.09	o 470
56.52/54.09	o 469
56.52/54.09	o 468
56.71/54.29	o 467
56.81/54.33	o 466
56.81/54.33	o 464
57.53/55.07	o 463
57.53/55.07	o 462
57.53/55.07	o 461
58.02/55.58	o 460
60.43/57.95	o 412
60.43/57.95	o 409
60.43/57.96	o 400
60.43/57.96	o 399
61.25/58.73	o 398
62.46/59.95	o 397
63.76/61.24	o 396
63.76/61.24	o 395
63.76/61.25	o 394
63.76/61.27	o 393
63.76/61.27	o 392
63.76/61.27	o 391
63.76/61.27	o 390
63.76/61.28	o 389
63.86/61.31	o 388
63.86/61.31	o 387
63.86/61.33	o 386
63.86/61.34	o 385
63.86/61.34	o 384
63.96/61.41	o 383
63.96/61.42	o 382
63.96/61.44	o 381
63.96/61.44	o 380
63.96/61.44	o 379
64.06/61.51	o 378
64.06/61.60	o 377
64.16/61.62	o 376
64.16/61.68	o 375
64.16/61.68	o 374
64.16/61.68	o 373
65.78/63.21	o 372
65.98/63.46	o 371
65.98/63.46	o 370
66.69/64.15	o 368
66.69/64.15	o 367
66.69/64.15	o 366
66.69/64.15	o 365
66.69/64.15	o 364
66.69/64.15	o 363
66.69/64.15	o 362
66.69/64.15	o 361
66.69/64.15	o 360
66.69/64.15	o 359
66.69/64.15	o 358
66.69/64.15	o 357
66.69/64.15	o 356
66.69/64.15	o 355
66.69/64.15	o 354
66.69/64.15	o 352
66.69/64.15	o 351
66.69/64.15	o 350
66.69/64.15	o 349
66.69/64.15	o 348
66.69/64.15	o 347
66.69/64.15	o 346
66.69/64.15	o 345
66.78/64.20	o 344
66.78/64.23	o 343
66.78/64.23	o 342
66.78/64.23	o 341
66.78/64.23	o 340
66.98/64.49	o 339
67.29/64.71	o 338
68.62/66.07	o 337
69.31/66.72	o 336
69.31/66.74	o 335
69.31/66.75	o 334
69.31/66.76	o 333
69.31/66.76	o 332
69.31/66.76	o 331
69.31/66.76	o 330
69.72/67.15	o 329
69.72/67.15	o 328
69.72/67.18	o 327
69.72/67.18	o 326
71.93/69.33	o 325
71.93/69.33	o 323
71.93/69.33	o 322
71.93/69.33	o 321
71.93/69.33	o 320
71.93/69.33	o 319
71.93/69.33	o 318
71.93/69.33	o 317
71.93/69.33	o 316
71.93/69.33	o 315
71.93/69.33	o 314
71.93/69.33	o 313
71.93/69.34	o 312
72.03/69.43	o 311
72.03/69.43	o 310
72.03/69.43	o 309
72.13/69.50	o 308
72.13/69.54	o 307
72.23/69.66	o 306
72.23/69.66	o 305
72.75/70.15	o 304
73.54/70.90	o 303
73.54/70.90	o 301
73.54/70.90	o 300
73.54/70.90	o 298
73.54/70.90	o 295
73.54/70.90	o 291
73.54/70.90	o 285
73.54/70.90	o 283
73.54/70.90	o 282
73.54/70.90	o 280
73.54/70.90	o 279
73.54/70.90	o 278
73.54/70.90	o 277
73.54/70.91	o 276
73.54/70.91	o 275
73.54/70.91	o 269
73.54/70.91	o 268
73.54/70.91	o 267
73.54/70.91	o 266
73.54/70.91	o 265
73.54/70.91	o 264
73.54/70.91	o 263
73.54/70.91	o 262
73.54/70.91	o 261
73.54/70.92	o 260
73.54/70.92	o 259
73.54/70.95	o 258
73.54/70.95	o 257
73.54/70.95	o 256
73.54/70.96	o 255
73.65/71.07	o 254
73.65/71.07	o 253
73.65/71.07	o 252
73.65/71.09	o 251
73.94/71.30	o 250
73.94/71.31	o 249
74.35/71.71	o 248
74.76/72.13	o 247
76.06/73.40	o 246
76.06/73.40	o 245
76.06/73.40	o 244
76.06/73.40	o 243
76.06/73.40	o 242
76.26/73.67	o 241
76.26/73.69	o 240
76.26/73.69	o 239
76.36/73.77	o 238
76.68/74.05	o 237
76.78/74.18	o 236
77.57/74.97	o 235
77.57/74.97	o 234
77.57/74.97	o 233
77.57/74.97	o 232
77.57/74.97	o 231
77.57/74.97	o 230
77.57/74.97	o 229
77.57/74.97	o 228
77.57/74.97	o 210
77.57/74.98	o 209
77.57/74.98	o 208
77.57/74.98	o 207
77.57/74.98	o 197
77.57/74.98	o 196
77.57/74.98	o 195
77.57/74.98	o 194
77.57/74.98	o 187
77.57/74.98	o 186
77.57/74.98	o 174
77.57/74.98	o 173
77.57/74.98	o 171
77.57/74.98	o 170
77.87/75.20	o 169
77.87/75.27	o 167
77.87/75.27	o 166
78.88/76.22	o 165
78.88/76.22	o 164
79.08/76.41	o 163
79.99/77.39	o 162
79.99/77.39	o 161
79.99/77.39	o 160
80.71/78.09	o 159
80.71/78.09	o 158
81.61/79.00	o 157
81.61/79.00	o 156
81.61/79.00	o 155
81.61/79.00	o 152
81.61/79.00	o 151
82.12/79.45	o 150
82.62/79.97	o 149
82.74/80.03	o 148
82.74/80.03	o 147
82.93/80.27	o 146
83.94/81.24	o 145
83.94/81.24	o 144
86.90/84.11	o 143
87.49/84.77	o 142
89.82/87.05	o 141
99.92/97.06	o 140
100.32/97.44	o 138
101.12/98.20	o 137
112.73/109.70	o 136
112.73/109.75	o 135
114.76/111.71	o 134
118.90/115.89	o 133
119.91/116.83	o 132
121.23/118.19	o 131
121.74/118.65	o 130
121.74/118.65	o 129
121.74/118.67	o 128
122.04/118.94	o 127
122.04/118.94	o 126
122.15/119.06	o 125
128.21/125.07	o 124
128.21/125.07	o 123
128.21/125.08	o 122
128.31/125.18	o 121
130.41/127.29	o 120
132.64/129.45	o 119
132.64/129.46	o 118
138.31/135.02	o 117
138.31/135.03	o 116
138.41/135.12	o 115
145.07/141.75	o 114
145.07/141.75	o 113
145.07/141.75	o 112
145.07/141.76	o 111
153.37/149.91	o 110
153.67/150.22	o 109
153.67/150.22	o 108
153.67/150.23	o 107
154.17/150.75	o 106
154.17/150.75	o 105
154.17/150.76	o 104
154.17/150.78	o 103
154.17/150.78	o 102
154.17/150.79	o 101
169.13/165.59	o 100
177.92/174.25	o 99
177.92/174.29	o 98
178.22/174.50	o 97
184.10/180.39	o 96
185.92/182.13	o 95
185.92/182.19	o 94
186.01/182.24	o 93
198.36/194.41	o 92
198.36/194.47	o 91
198.76/194.80	o 90
199.99/196.01	o 89
199.99/196.01	o 88
200.80/196.85	o 87
202.02/198.08	o 86
2400.02/2374.60	s SATISFIABLE
2400.02/2374.60	v <instantiation>
2400.02/2374.60	v 	<list>
2400.02/2374.60	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]
2400.02/2374.60	v 	</list>
2400.02/2374.60	v 	<values>
2400.02/2374.60	v 		0 3 0 3 4 3 5 4 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 3 4 2 
2400.02/2374.60	v 	</values>
2400.02/2374.60	v </instantiation>

Verifier Data 

OK	86

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290457-1532236500/watcher-4290457-1532236500 -o /tmp/evaluation-result-4290457-1532236500/solver-4290457-1532236500 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532226530-28755 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1864666102 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290457-1532236500.xml 

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

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


[startup+0.100095 s]*
/proc/loadavg: 1.38 1.32 1.33 3/216 30050
/proc/meminfo: memFree=21788744/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14082740 memory=31604 CPUtime=0.12 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 6832 0 0 0 11 1 0 0 20 0 15 0 41213223 14420725760 7901 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3520685 7901 3152 1 0 3482761 0
[pid=30035/tid=30037] ppid=30032 vsize=14082740 memory=-8701690554792187261 CPUtime=0.09 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 4870 0 0 0 8 1 0 0 20 0 15 0 41213223 14420725760 7901 33554432000 4194304 4196468 140726774164336 140139031475792 140139027293341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138500428704 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138499376112 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 7901 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 7966 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0.01 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) S 30032 30035 28723 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 41213229 14420725760 7966 33554432000 4194304 4196468 140726774164336 140138495167216 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 7966 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 7966 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31604 KiB

[startup+0.211997 s]*
/proc/loadavg: 1.35 1.32 1.33 5/216 30050
/proc/meminfo: memFree=21773612/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14082740 memory=47404 CPUtime=0.32 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 10493 0 0 0 30 2 0 0 20 0 15 0 41213223 14420725760 11851 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3520685 11851 3364 1 0 3482761 0
[pid=30035/tid=30037] ppid=30032 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 8194 0 0 0 19 1 0 0 20 0 15 0 41213223 14420725760 11851 33554432000 4194304 4196468 140726774164336 140139031498528 140139011315045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14082740 memory=140060472834012 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138500428704 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138499376112 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 41213229 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) R 30032 30035 28723 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 41213229 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0.06 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) R 30032 30035 28723 0 -1 4202560 306 0 0 0 6 0 0 0 20 0 15 0 41213229 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138495162944 140139011518113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 11851 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47404 KiB

[startup+0.310473 s]*
/proc/loadavg: 1.35 1.32 1.33 3/216 30050
/proc/meminfo: memFree=21770448/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14082740 memory=50732 CPUtime=0.44 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 10837 0 0 0 42 2 0 0 20 0 15 0 41213223 14420725760 12683 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3520685 12683 3367 1 0 3482761 0
[pid=30035/tid=30037] ppid=30032 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 8519 0 0 0 28 2 0 0 20 0 15 0 41213223 14420725760 12683 33554432000 4194304 4196468 140726774164336 140139031489328 140139008834962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14082740 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14082740 memory=140060472834004 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41213224 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138500428704 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41213226 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138499376112 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 521 0 0 0 3 0 0 0 20 0 15 0 41213229 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) S 30032 30035 28723 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 41213229 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0.08 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) S 30032 30035 28723 0 -1 1077944384 314 0 0 0 8 0 0 0 20 0 15 0 41213229 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138495167216 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14082740 memory=140060472804992 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213229 14420725760 12683 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50732 KiB

[startup+0.700707 s]
/proc/loadavg: 1.35 1.32 1.33 3/216 30050
/proc/meminfo: memFree=21746140/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14084808 memory=88976 CPUtime=0.99 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 17636 0 0 0 95 4 0 0 20 0 15 0 41213223 14422843392 22244 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3521202 22244 3501 1 0 3483273 0
[pid=30035/tid=30037] ppid=30032 vsize=14084808 memory=8956 CPUtime=0.67 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 14937 0 0 0 64 3 0 0 20 0 15 0 41213223 14422843392 22244 33554432000 4194304 4196468 140726774164336 140139031495520 140139027293341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14084808 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14084808 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14084808 memory=644 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14084808 memory=956 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41213224 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14084808 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41213226 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14084808 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41213226 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138500428704 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14084808 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41213226 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138499376112 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14084808 memory=7013340940837610608 CPUtime=0.09 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 672 0 0 0 9 0 0 0 20 0 15 0 41213229 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14084808 memory=6220993253238723945 CPUtime=0.05 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) S 30032 30035 28723 0 -1 1077944384 257 0 0 0 5 0 0 0 20 0 15 0 41213229 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) S 30032 30035 28723 0 -1 1077944384 388 0 0 0 15 0 0 0 20 0 15 0 41213229 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138495167216 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14084808 memory=800 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213229 14422843392 22244 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88976 KiB

[startup+1.50166 s]
/proc/loadavg: 1.35 1.32 1.33 4/216 30050
/proc/meminfo: memFree=21712836/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14090952 memory=153752 CPUtime=2.9 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 32756 0 0 0 282 8 0 0 20 0 15 0 41213223 14429134848 38438 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3522738 38438 3543 1 0 3484809 0
[pid=30035/tid=30037] ppid=30032 vsize=14090952 memory=133992 CPUtime=1.46 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 23953 0 0 0 141 5 0 0 20 0 15 0 41213223 14429134848 38438 33554432000 4194304 4196468 140726774164336 140139031500608 140138633050593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14090952 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14429134848 38438 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14429134848 38438 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41213224 14429134848 38438 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41213224 14429134848 38438 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 38438 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0

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

/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 46287 0 0 0 218626 20 0 0 20 0 15 0 41213223 14429134848 98012 33554432000 4194304 4196468 140726774164336 140139031509584 140138633476954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14090952 memory=390000 CPUtime=7.83 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 8893 0 0 0 748 35 0 0 20 0 15 0 41213224 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14090952 memory=390000 CPUtime=7.8 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 6572 0 0 0 746 34 0 0 20 0 15 0 41213224 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14090952 memory=390000 CPUtime=7.8 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 7512 0 0 0 746 34 0 0 20 0 15 0 41213224 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14090952 memory=0 CPUtime=7.81 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 8933 0 0 0 750 31 0 0 20 0 15 0 41213224 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14090952 memory=392048 CPUtime=4.54 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 6897 0 0 0 425 29 0 0 20 0 15 0 41213226 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14090952 memory=392048 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138500428768 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138499376128 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14090952 memory=390000 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14090952 memory=392048 CPUtime=0.91 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 2858 0 0 0 90 1 0 0 20 0 15 0 41213229 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14090952 memory=6791534058613427641 CPUtime=0.86 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) S 30032 30035 28723 0 -1 1077944384 2523 0 0 0 86 0 0 0 20 0 15 0 41213229 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14090952 memory=392048 CPUtime=0.73 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) S 30032 30035 28723 0 -1 1077944384 11178 0 0 0 71 2 0 0 20 0 15 0 41213229 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138495167216 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14090952 memory=390000 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14090952 memory=6944656592455097440 CPUtime=1.04 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 800 0 0 0 50 54 0 0 20 0 15 0 41213229 14429134848 98012 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 2225.89 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 392048 KiB

[startup+2262.3 s]
/proc/loadavg: 1.21 1.26 1.31 4/216 30197
/proc/meminfo: memFree=21409608/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14090952 memory=396144 CPUtime=2286.52 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 105438 0 0 0 228441 211 0 0 20 0 15 0 41213223 14429134848 99036 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3522738 99036 3574 1 0 3484809 0
[pid=30035/tid=30037] ppid=30032 vsize=14090952 memory=396144 CPUtime=2245.97 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 46753 0 0 0 224576 21 0 0 20 0 15 0 41213223 14429134848 99036 33554432000 4194304 4196468 140726774164336 140139031509472 140138632990380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14090952 memory=396144 CPUtime=8.07 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 9003 0 0 0 771 36 0 0 20 0 15 0 41213224 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14090952 memory=396144 CPUtime=8.04 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 6916 0 0 0 769 35 0 0 20 0 15 0 41213224 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14090952 memory=396144 CPUtime=8.04 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 7865 0 0 0 769 35 0 0 20 0 15 0 41213224 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14090952 memory=280120720752992 CPUtime=8.06 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 9028 0 0 0 774 32 0 0 20 0 15 0 41213224 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14090952 memory=0 CPUtime=4.67 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 7071 0 0 0 437 30 0 0 20 0 15 0 41213226 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14090952 memory=396144 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138500428768 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14090952 memory=396144 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138499376128 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14090952 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14090952 memory=396144 CPUtime=0.91 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 2860 0 0 0 90 1 0 0 20 0 15 0 41213229 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14090952 memory=396144 CPUtime=0.86 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) S 30032 30035 28723 0 -1 1077944384 2525 0 0 0 86 0 0 0 20 0 15 0 41213229 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14090952 memory=2436 CPUtime=0.73 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) S 30032 30035 28723 0 -1 1077944384 11180 0 0 0 71 2 0 0 20 0 15 0 41213229 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138495167216 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14090952 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14090952 memory=396144 CPUtime=1.06 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 815 0 0 0 51 55 0 0 20 0 15 0 41213229 14429134848 99036 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 2286.52 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 396144 KiB

[startup+2322.3 s]
/proc/loadavg: 1.49 1.33 1.33 3/216 30198
/proc/meminfo: memFree=21397468/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14090952 memory=402288 CPUtime=2347.14 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 107053 0 0 0 234499 215 0 0 20 0 15 0 41213223 14429134848 100572 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3522738 100572 3574 1 0 3484809 0
[pid=30035/tid=30037] ppid=30032 vsize=14090952 memory=402288 CPUtime=2305.5 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 47218 0 0 0 230529 21 0 0 20 0 15 0 41213223 14429134848 100572 33554432000 4194304 4196468 140726774164336 140139031509568 140138633103936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14090952 memory=400240 CPUtime=8.3 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 9276 0 0 0 794 36 0 0 20 0 15 0 41213224 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14090952 memory=3472328296227679313 CPUtime=8.28 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 7230 0 0 0 792 36 0 0 20 0 15 0 41213224 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14090952 memory=400240 CPUtime=8.28 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 8067 0 0 0 793 35 0 0 20 0 15 0 41213224 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14090952 memory=402288 CPUtime=8.29 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 9193 0 0 0 797 32 0 0 20 0 15 0 41213224 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14090952 memory=396144 CPUtime=4.8 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 7244 0 0 0 449 31 0 0 20 0 15 0 41213226 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14090952 memory=400240 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138500428768 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14090952 memory=400240 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138499376128 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14090952 memory=258067405007540 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14090952 memory=402288 CPUtime=0.91 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 2862 0 0 0 90 1 0 0 20 0 15 0 41213229 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14090952 memory=402288 CPUtime=0.87 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) S 30032 30035 28723 0 -1 1077944384 2527 0 0 0 87 0 0 0 20 0 15 0 41213229 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14090952 memory=402288 CPUtime=0.73 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) S 30032 30035 28723 0 -1 1077944384 11182 0 0 0 71 2 0 0 20 0 15 0 41213229 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138495167216 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14090952 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14090952 memory=402288 CPUtime=1.1 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 832 0 0 0 53 57 0 0 20 0 15 0 41213229 14429134848 100572 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 2347.14 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 402288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2374.6 s]
/proc/loadavg: 1.38 1.33 1.33 3/216 30199
/proc/meminfo: memFree=21387148/32770624 swapFree=67108860/67108860
[pid=30035] ppid=30032 vsize=14090952 memory=406384 CPUtime=2400.02 cores=1,3,5,7
/proc/30035/stat : 30035 (java) S 30032 30035 28723 0 -1 1077944320 108628 0 0 0 239781 221 0 0 20 0 15 0 41213223 14429134848 101596 33554432000 4194304 4196468 140726774164336 140726774146880 140139027271415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
/proc/30035/statm: 3522738 101596 3574 1 0 3484809 0
[pid=30035/tid=30037] ppid=30032 vsize=14090952 memory=1696 CPUtime=2357.39 cores=1,3,5,7
/proc/30035/task/30037/stat : 30037 (java) R 30032 30035 28723 0 -1 4202560 47662 0 0 0 235718 21 0 0 20 0 15 0 41213223 14429134848 101596 33554432000 4194304 4196468 140726774164336 140139031509472 140138633224488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30038] ppid=30032 vsize=14090952 memory=1232 CPUtime=8.52 cores=1,3,5,7
/proc/30035/task/30038/stat : 30038 (java) S 30032 30035 28723 0 -1 1077944384 9626 0 0 0 815 37 0 0 20 0 15 0 41213224 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138957359888 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30039] ppid=30032 vsize=14090952 memory=6791534058613427641 CPUtime=8.5 cores=1,3,5,7
/proc/30035/task/30039/stat : 30039 (java) S 30032 30035 28723 0 -1 1077944384 7413 0 0 0 812 38 0 0 20 0 15 0 41213224 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138956307344 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30040] ppid=30032 vsize=14090952 memory=1200 CPUtime=8.49 cores=1,3,5,7
/proc/30035/task/30040/stat : 30040 (java) S 30032 30035 28723 0 -1 1077944384 8404 0 0 0 813 36 0 0 20 0 15 0 41213224 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138955254800 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30041] ppid=30032 vsize=14090952 memory=8364 CPUtime=8.51 cores=1,3,5,7
/proc/30035/task/30041/stat : 30041 (java) S 30032 30035 28723 0 -1 1077944384 9260 0 0 0 818 33 0 0 20 0 15 0 41213224 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138954202256 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30042] ppid=30032 vsize=14090952 memory=800 CPUtime=4.91 cores=1,3,5,7
/proc/30035/task/30042/stat : 30042 (java) S 30032 30035 28723 0 -1 1077944384 7418 0 0 0 459 32 0 0 20 0 15 0 41213226 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138501482480 140139027282562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30043] ppid=30032 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30043/stat : 30043 (java) S 30032 30035 28723 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138500428768 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30044] ppid=30032 vsize=14090952 memory=3834306215836677881 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30044/stat : 30044 (java) S 30032 30035 28723 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 41213226 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138499376128 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30045] ppid=30032 vsize=14090952 memory=7306916055891837009 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30045/stat : 30045 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138498324688 140139027290011 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30046] ppid=30032 vsize=14090952 memory=288285571665910947 CPUtime=0.91 cores=1,3,5,7
/proc/30035/task/30046/stat : 30046 (java) S 30032 30035 28723 0 -1 1077944384 2864 0 0 0 90 1 0 0 20 0 15 0 41213229 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138497272304 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30047] ppid=30032 vsize=14090952 memory=3834306215836677881 CPUtime=0.87 cores=1,3,5,7
/proc/30035/task/30047/stat : 30047 (java) S 30032 30035 28723 0 -1 1077944384 2529 0 0 0 87 0 0 0 20 0 15 0 41213229 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138496219760 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30048] ppid=30032 vsize=14090952 memory=7306916055891837009 CPUtime=0.73 cores=1,3,5,7
/proc/30035/task/30048/stat : 30048 (java) S 30032 30035 28723 0 -1 1077944384 11184 0 0 0 71 2 0 0 20 0 15 0 41213229 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138495167216 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30049] ppid=30032 vsize=14090952 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/30035/task/30049/stat : 30049 (java) S 30032 30035 28723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41213229 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138494114912 140139027281621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
[pid=30035/tid=30050] ppid=30032 vsize=14090952 memory=1008 CPUtime=1.12 cores=1,3,5,7
/proc/30035/task/30050/stat : 30050 (java) S 30032 30035 28723 0 -1 1077944384 846 0 0 0 54 58 0 0 20 0 15 0 41213229 14429134848 101596 33554432000 4194304 4196468 140726774164336 140138493061424 140139027282562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 28999680 140726774166600 140726774166793 140726774166793 140726774169551 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 406384 KiB

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

[startup+2374.61 s]
# the end of solver process 30035 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.82 s, system=2.21773 s

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

Child status: 143
Real time (s): 2374.61
CPU time (s): 2400.04
CPU user time (s): 2397.82
CPU system time (s): 2.21773
CPU usage (%): 101.071
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 406384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.82
system time used= 2.21773
maximum resident set size= 406960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182961
involuntary context switches= 6810


# summary of solver processes directly reported to runsolver:
#   pid: 30035
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2397.82
#   total CPU system time (s): 2.21773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5809 second user time and 22.2978 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-22 07:15:00
IDJOB=4290457
IDBENCH=141217
IDSOLVER=2743
FILE ID=node136/4290457-1532236500
RUNJOBID= node136-1532226530-28755
PBS_JOBID= 21018949
Free space on /tmp= 57076 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/SumColoring/SumColoring-1-fullins-4_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290457-1532236500/watcher-4290457-1532236500 -o /tmp/evaluation-result-4290457-1532236500/solver-4290457-1532236500 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532226530-28755 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1864666102 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290457-1532236500.xml

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

MD5SUM BENCH= ce812152122c21d5982c9c6047fc1378
RANDOM SEED=1864666102

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21808112 kB
MemAvailable:   31764720 kB
Buffers:          231796 kB
Cached:          9930520 kB
SwapCached:            0 kB
Active:          1348752 kB
Inactive:        9043228 kB
Active(anon):     232092 kB
Inactive(anon):    16916 kB
Active(file):    1116660 kB
Inactive(file):  9026312 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35848 kB
Writeback:             0 kB
AnonPages:        246280 kB
Mapped:            48808 kB
Shmem:             17036 kB
Slab:             269244 kB
SReclaimable:     242096 kB
SUnreclaim:        27148 kB
KernelStack:        3808 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1193472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 57040 MiB
End job on node136 at 2018-07-22 07:54:35