Trace number 4310120

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)285 252.112 246.616

General information on the benchmark

NameSumColoring/
SumColoring-myciel6_c18.xml
MD5SUM12e75aa9ea5684230fdaa5ddf97691cc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark252.061
Satisfiable
(Un)Satisfiability was proved
Number of variables95
Number of constraints755
Number of domains1
Minimum domain size95
Maximum domain size95
Distribution of domain sizes[{"size":95,"count":95}]
Minimum variable degree7
Maximum variable degree48
Distribution of variable degrees[{"degree":7,"count":5},{"degree":8,"count":5},{"degree":9,"count":6},{"degree":10,"count":5},{"degree":11,"count":10},{"degree":12,"count":5},{"degree":13,"count":6},{"degree":14,"count":7},{"degree":15,"count":6},{"degree":17,"count":5},{"degree":18,"count":5},{"degree":19,"count":5},{"degree":21,"count":5},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":25,"count":8},{"degree":33,"count":5},{"degree":41,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":755}]
Number of extensional constraints0
Number of intensional constraints755
Distribution of constraint types[{"type":"intension","count":755}]
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.68/0.55	c version: 2018-08-14
0.68/0.56	c seed: 1637516420
0.68/0.56	c timeout: 252
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
2.07/1.25	c Parsing done, starting search...
2.31/1.35	o 4632
2.31/1.36	o 4629
2.31/1.36	o 4628
2.31/1.36	o 4624
2.31/1.36	o 4623
2.31/1.36	o 4622
2.31/1.37	o 4614
2.31/1.37	o 4613
2.31/1.37	o 4609
2.31/1.37	o 4608
2.31/1.37	o 4607
2.31/1.37	o 4590
2.31/1.37	o 4589
2.31/1.37	o 4586
2.31/1.37	o 4545
2.31/1.37	o 4524
2.31/1.37	o 4518
2.31/1.37	o 4516
2.31/1.37	o 4515
2.31/1.38	o 4514
2.31/1.38	o 4507
2.31/1.38	o 4497
2.31/1.38	o 4496
2.31/1.38	o 4495
2.31/1.38	o 4486
2.31/1.38	o 4467
2.31/1.38	o 4466
2.31/1.38	o 4461
2.31/1.38	o 4460
2.31/1.38	o 4458
2.31/1.38	o 4457
2.31/1.38	o 4454
2.31/1.39	o 4453
2.31/1.39	o 4452
2.31/1.39	o 4391
2.31/1.39	o 4390
2.31/1.39	o 4389
2.31/1.39	o 4388
2.31/1.39	o 4387
2.31/1.39	o 4386
2.31/1.39	o 4382
2.31/1.39	o 4381
2.31/1.39	o 4379
2.31/1.39	o 4378
2.31/1.39	o 4377
2.31/1.39	o 4376
2.31/1.39	o 4371
2.31/1.39	o 4362
2.31/1.40	o 4361
2.31/1.40	o 4360
2.63/1.40	o 4359
2.63/1.40	o 4358
2.63/1.40	o 4355
2.63/1.40	o 4331
2.63/1.40	o 4321
2.63/1.40	o 4320
2.63/1.40	o 4318
2.63/1.40	o 4317
2.63/1.40	o 4316
2.63/1.41	o 4292
2.63/1.42	o 4290
2.63/1.42	o 4289
2.63/1.42	o 4288
2.63/1.42	o 4286
2.63/1.42	o 4285
2.63/1.42	o 4275
2.63/1.42	o 4253
2.63/1.42	o 4243
2.63/1.42	o 4235
2.63/1.42	o 4234
2.63/1.42	o 4233
2.63/1.42	o 4232
2.63/1.42	o 4224
2.63/1.42	o 4221
2.63/1.42	o 4220
2.63/1.42	o 4219
2.63/1.43	o 4218
2.63/1.43	o 4217
2.63/1.43	o 4216
2.63/1.43	o 4215
2.63/1.43	o 4214
2.63/1.43	o 4213
2.63/1.44	o 4211
2.63/1.44	o 4185
2.63/1.44	o 4180
2.63/1.44	o 4166
2.63/1.44	o 4161
2.63/1.44	o 4159
2.63/1.44	o 4158
2.63/1.44	o 4157
2.63/1.44	o 4156
2.63/1.45	o 4155
2.63/1.45	o 4153
2.63/1.45	o 4152
2.63/1.45	o 4151
2.63/1.45	o 4150
2.63/1.45	o 4149
2.63/1.45	o 4148
2.63/1.45	o 4147
2.63/1.45	o 4146
2.63/1.45	o 4145
2.63/1.46	o 4144
2.63/1.47	o 4143
2.63/1.47	o 4142
2.63/1.47	o 4141
2.63/1.47	o 4139
2.63/1.47	o 4138
2.63/1.47	o 4137
2.63/1.47	o 4129
2.63/1.47	o 4127
2.63/1.48	o 4126
2.63/1.48	o 4124
2.63/1.48	o 4123
2.63/1.48	o 4096
2.63/1.48	o 4093
2.63/1.48	o 4092
2.63/1.48	o 4083
2.63/1.48	o 4082
2.63/1.48	o 4081
2.63/1.48	o 4080
2.63/1.48	o 4079
2.63/1.48	o 4054
2.63/1.48	o 4053
2.63/1.48	o 4052
2.63/1.48	o 4048
2.63/1.49	o 4047
2.63/1.49	o 4046
2.63/1.49	o 4045
2.63/1.49	o 4033
2.63/1.49	o 4023
2.63/1.49	o 4021
2.63/1.49	o 3992
2.63/1.50	o 3990
2.63/1.50	o 3989
2.96/1.50	o 3988
2.96/1.50	o 3987
2.96/1.50	o 3986
2.96/1.51	o 3976
2.96/1.51	o 3975
2.96/1.51	o 3964
2.96/1.51	o 3963
2.96/1.51	o 3954
2.96/1.51	o 3953
2.96/1.51	o 3946
2.96/1.51	o 3945
2.96/1.51	o 3941
2.96/1.51	o 3939
2.96/1.51	o 3937
2.96/1.51	o 3936
2.96/1.51	o 3935
2.96/1.51	o 3934
2.96/1.52	o 3925
2.96/1.52	o 3923
2.96/1.52	o 3922
2.96/1.52	o 3921
2.96/1.52	o 3920
2.96/1.52	o 3919
2.96/1.52	o 3918
2.96/1.52	o 3916
2.96/1.52	o 3915
2.96/1.52	o 3913
2.96/1.52	o 3912
2.96/1.52	o 3911
2.96/1.53	o 3910
2.96/1.53	o 3909
2.96/1.53	o 3908
2.96/1.54	o 3907
2.96/1.55	o 3890
2.96/1.55	o 3889
2.96/1.55	o 3888
2.96/1.55	o 3882
2.96/1.55	o 3881
2.96/1.55	o 3880
2.96/1.55	o 3879
2.96/1.55	o 3876
2.96/1.55	o 3875
2.96/1.55	o 3874
2.96/1.55	o 3873
2.96/1.55	o 3872
2.96/1.55	o 3871
2.96/1.55	o 3867
2.96/1.56	o 3864
2.96/1.56	o 3861
2.96/1.56	o 3860
2.96/1.56	o 3859
2.96/1.56	o 3850
2.96/1.56	o 3849
2.96/1.56	o 3848
2.96/1.56	o 3847
2.96/1.56	o 3846
2.96/1.56	o 3845
2.96/1.56	o 3844
2.96/1.56	o 3843
2.96/1.56	o 3842
2.96/1.56	o 3841
2.96/1.57	o 3840
2.96/1.57	o 3839
2.96/1.58	o 3838
2.96/1.59	o 3837
3.27/1.61	o 3836
3.27/1.64	o 3822
3.27/1.64	o 3821
3.27/1.64	o 3820
3.27/1.64	o 3819
3.27/1.64	o 3818
3.27/1.64	o 3816
3.27/1.64	o 3815
3.27/1.64	o 3814
3.27/1.64	o 3813
3.27/1.64	o 3812
3.27/1.64	o 3811
3.27/1.64	o 3810
3.27/1.64	o 3809
3.27/1.64	o 3808
3.27/1.64	o 3807
3.27/1.65	o 3806
3.27/1.65	o 3805
3.27/1.65	o 3804
3.27/1.65	o 3803
3.27/1.65	o 3802
3.27/1.65	o 3801
3.27/1.69	o 3800
3.27/1.69	o 3799
3.58/1.74	o 3798
3.58/1.74	o 3797
3.58/1.78	o 3796
3.88/1.86	o 3795
3.88/1.89	o 3794
4.16/1.99	o 3793
4.16/1.99	o 3792
4.16/1.99	o 3790
4.16/2.00	o 3789
4.16/2.00	o 3788
4.16/2.00	o 3787
4.16/2.00	o 3784
4.16/2.00	o 3783
4.16/2.00	o 3782
4.16/2.00	o 3781
4.16/2.00	o 3778
4.16/2.00	o 3771
4.16/2.00	o 3770
4.16/2.01	o 3769
4.16/2.01	o 3757
4.16/2.01	o 3756
4.16/2.01	o 3755
4.16/2.01	o 3745
4.16/2.01	o 3743
4.16/2.01	o 3739
4.16/2.01	o 3738
4.16/2.01	o 3737
4.16/2.01	o 3736
4.16/2.01	o 3735
4.16/2.01	o 3734
4.16/2.01	o 3733
4.16/2.01	o 3732
4.16/2.01	o 3731
4.16/2.01	o 3722
4.16/2.01	o 3719
4.16/2.01	o 3718
4.16/2.01	o 3717
4.16/2.01	o 3716
4.16/2.01	o 3715
4.16/2.01	o 3714
4.16/2.01	o 3713
4.16/2.01	o 3712
4.16/2.01	o 3711
4.30/2.03	o 3710
4.30/2.03	o 3709
4.30/2.03	o 3708
4.30/2.05	o 3707
4.30/2.05	o 3706
4.30/2.05	o 3705
4.30/2.10	o 3704
4.58/2.25	o 3703
4.58/2.25	o 3702
4.58/2.25	o 3701
4.58/2.25	o 3700
4.58/2.25	o 3699
4.58/2.25	o 3698
4.58/2.25	o 3697
4.58/2.25	o 3696
4.58/2.25	o 3694
4.58/2.25	o 3693
4.58/2.25	o 3690
4.58/2.25	o 3689
4.58/2.25	o 3688
4.58/2.25	o 3685
4.58/2.25	o 3684
4.58/2.25	o 3679
4.58/2.25	o 3674
4.58/2.25	o 3671
4.58/2.25	o 3670
4.58/2.25	o 3663
4.58/2.25	o 3662
4.58/2.25	o 3660
4.58/2.25	o 3659
4.58/2.25	o 3658
4.58/2.25	o 3657
4.58/2.25	o 3656
4.58/2.25	o 3655
4.58/2.25	o 3654
4.58/2.25	o 3653
4.58/2.25	o 3652
4.58/2.25	o 3651
4.58/2.25	o 3650
4.58/2.25	o 3649
4.58/2.26	o 3648
4.68/2.35	o 3644
4.68/2.35	o 3643
4.68/2.35	o 3642
4.68/2.35	o 3641
4.68/2.35	o 3640
4.68/2.35	o 3639
4.68/2.36	o 3638
4.68/2.36	o 3637
4.68/2.36	o 3636
4.68/2.36	o 3633
4.68/2.36	o 3632
4.68/2.36	o 3563
4.68/2.36	o 3562
4.68/2.36	o 3558
4.68/2.36	o 3557
4.68/2.36	o 3548
4.68/2.36	o 3547
4.68/2.36	o 3545
4.68/2.36	o 3544
4.68/2.36	o 3530
4.68/2.36	o 3529
4.68/2.36	o 3528
4.68/2.36	o 3527
4.68/2.36	o 3506
4.68/2.36	o 3505
4.68/2.36	o 3501
4.68/2.36	o 3500
4.68/2.36	o 3480
4.68/2.36	o 3479
4.68/2.37	o 3478
4.68/2.37	o 3477
4.68/2.37	o 3476
4.68/2.37	o 3475
4.68/2.37	o 3474
4.68/2.37	o 3473
4.68/2.37	o 3470
4.68/2.37	o 3469
4.68/2.37	o 3468
4.68/2.37	o 3465
4.68/2.37	o 3464
4.68/2.37	o 3463
4.68/2.37	o 3462
4.68/2.37	o 3461
4.68/2.38	o 3460
4.68/2.38	o 3459
4.68/2.38	o 3458
4.68/2.38	o 3457
4.68/2.38	o 3456
4.68/2.38	o 3455
4.68/2.38	o 3452
4.68/2.38	o 3449
4.68/2.38	o 3447
4.68/2.38	o 3445
4.68/2.38	o 3442
4.68/2.38	o 3440
4.68/2.38	o 3439
4.68/2.38	o 3438
4.68/2.38	o 3437
4.68/2.39	o 3436
4.68/2.39	o 3435
4.68/2.39	o 3434
4.68/2.39	o 3433
4.68/2.39	o 3432
4.68/2.39	o 3431
4.68/2.39	o 3430
4.68/2.39	o 3429
4.68/2.39	o 3428
4.68/2.39	o 3422
4.68/2.39	o 3421
4.68/2.39	o 3419
4.68/2.39	o 3418
4.68/2.39	o 3417
4.68/2.40	o 3416
4.82/2.40	o 3415
4.82/2.40	o 3414
4.82/2.40	o 3413
4.82/2.40	o 3412
4.82/2.40	o 3410
4.82/2.40	o 3409
4.82/2.41	o 3407
4.82/2.41	o 3344
4.82/2.41	o 3338
4.82/2.41	o 3336
4.82/2.41	o 3335
4.82/2.41	o 3329
4.82/2.41	o 3324
4.82/2.41	o 3322
4.82/2.42	o 3320
4.82/2.42	o 3318
4.82/2.42	o 3317
4.82/2.42	o 3315
4.82/2.42	o 3310
4.82/2.42	o 3307
4.82/2.42	o 3306
4.82/2.42	o 3305
4.82/2.43	o 3304
4.82/2.43	o 3303
4.82/2.43	o 3302
4.82/2.43	o 3301
4.82/2.44	o 3300
4.82/2.44	o 3299
4.82/2.44	o 3298
4.82/2.44	o 3294
4.82/2.44	o 3293
4.82/2.44	o 3285
4.82/2.44	o 3284
4.82/2.45	o 3282
4.82/2.45	o 3281
4.82/2.45	o 3270
4.82/2.45	o 3269
4.82/2.45	o 3268
4.82/2.45	o 3267
4.82/2.45	o 3266
4.82/2.46	o 3265
4.82/2.46	o 3264
4.82/2.46	o 3262
4.82/2.47	o 3261
4.98/2.50	o 3260
4.98/2.53	o 3257
4.98/2.53	o 3254
4.98/2.53	o 3252
4.98/2.55	o 3251
4.98/2.55	o 3250
4.98/2.55	o 3249
4.98/2.55	o 3248
4.98/2.55	o 3247
4.98/2.58	o 3246
4.98/2.58	o 3245
4.98/2.60	o 3244
4.98/2.60	o 3239
4.98/2.60	o 3228
4.98/2.60	o 3227
5.08/2.60	o 3225
5.08/2.60	o 3224
5.08/2.60	o 3223
5.08/2.60	o 3222
5.08/2.60	o 3188
5.08/2.60	o 3180
5.08/2.60	o 3178
5.08/2.61	o 3177
5.08/2.61	o 3176
5.08/2.61	o 3175
5.08/2.61	o 3174
5.08/2.62	o 3173
5.08/2.63	o 3172
5.08/2.66	o 3171
5.08/2.68	o 3170
5.08/2.68	o 3168
5.08/2.68	o 3167
5.08/2.68	o 3165
5.08/2.68	o 3163
5.08/2.69	o 3162
5.08/2.69	o 3161
5.08/2.69	o 3160
5.18/2.70	o 3159
5.18/2.72	o 3158
5.18/2.73	o 3157
5.18/2.73	o 3156
5.18/2.74	o 3117
5.18/2.74	o 3116
5.18/2.74	o 3115
5.18/2.74	o 3108
5.18/2.74	o 3107
5.18/2.74	o 3106
5.18/2.76	o 3105
5.18/2.77	o 3104
5.18/2.77	o 3103
5.30/2.82	o 3102
5.30/2.89	o 3101
5.30/2.89	o 3100
5.40/2.93	o 3099
5.40/2.93	o 3098
5.40/2.94	o 3097
5.40/2.98	o 3089
5.40/2.98	o 3088
5.40/2.98	o 3087
5.40/2.98	o 3086
5.40/2.98	o 3085
5.40/2.98	o 3084
5.40/2.98	o 3057
5.40/2.98	o 3056
5.40/2.98	o 3055
5.40/2.98	o 3054
5.40/2.98	o 3051
5.40/2.98	o 3050
5.40/2.98	o 3049
5.40/2.98	o 3048
5.40/2.98	o 3047
5.40/2.98	o 3046
5.40/2.99	o 3045
5.40/2.99	o 3044
5.40/3.00	o 3043
5.51/3.08	o 3042
5.51/3.08	o 3041
5.51/3.08	o 3040
5.61/3.12	o 3038
5.61/3.12	o 3036
5.61/3.12	o 3035
5.61/3.12	o 3034
5.61/3.12	o 3031
5.61/3.12	o 3030
5.61/3.12	o 3029
5.61/3.12	o 3027
5.61/3.12	o 3026
5.61/3.12	o 3025
5.61/3.12	o 3024
5.61/3.12	o 3023
5.61/3.12	o 3022
5.61/3.13	o 3021
5.61/3.13	o 3020
5.61/3.13	o 3019
5.61/3.13	o 3018
5.61/3.13	o 3017
5.61/3.13	o 3016
5.61/3.15	o 3015
5.61/3.17	o 3014
5.71/3.20	o 3013
6.02/3.59	o 3012
6.13/3.65	o 3011
6.13/3.65	o 3010
6.13/3.66	o 3009
6.13/3.66	o 3008
6.13/3.66	o 3006
6.13/3.66	o 3003
6.13/3.66	o 3002
6.13/3.66	o 2997
6.13/3.66	o 2996
6.13/3.66	o 2981
6.13/3.66	o 2980
6.13/3.66	o 2977
6.13/3.66	o 2976
6.13/3.67	o 2973
6.13/3.67	o 2972
6.13/3.67	o 2971
6.13/3.67	o 2970
6.13/3.67	o 2965
6.13/3.67	o 2964
6.13/3.67	o 2963
6.13/3.67	o 2962
6.13/3.67	o 2960
6.13/3.67	o 2959
6.13/3.67	o 2958
6.13/3.67	o 2957
6.13/3.67	o 2956
6.13/3.67	o 2954
6.13/3.67	o 2952
6.23/3.70	o 2951
6.23/3.70	o 2950
6.23/3.70	o 2949
6.23/3.75	o 2948
6.23/3.75	o 2947
6.23/3.79	o 2945
6.23/3.79	o 2942
6.23/3.79	o 2941
6.23/3.79	o 2940
6.23/3.79	o 2939
6.23/3.79	o 2938
6.23/3.79	o 2937
6.23/3.79	o 2936
6.23/3.79	o 2935
6.23/3.79	o 2934
6.23/3.79	o 2933
6.23/3.79	o 2932
6.23/3.79	o 2931
6.23/3.79	o 2930
6.23/3.79	o 2929
6.23/3.79	o 2928
6.23/3.79	o 2927
6.23/3.79	o 2926
6.23/3.79	o 2925
6.23/3.79	o 2924
6.23/3.80	o 2923
6.34/3.80	o 2922
6.34/3.86	o 2921
6.34/3.86	o 2920
6.34/3.87	o 2918
6.34/3.87	o 2917
6.34/3.87	o 2913
6.34/3.87	o 2912
6.34/3.87	o 2911
6.34/3.87	o 2888
6.34/3.87	o 2887
6.34/3.87	o 2886
6.34/3.87	o 2880
6.34/3.87	o 2878
6.34/3.88	o 2877
6.34/3.89	o 2876
6.34/3.89	o 2875
6.34/3.89	o 2874
6.34/3.89	o 2873
6.54/3.90	o 2872
6.54/3.90	o 2871
6.54/3.91	o 2870
6.54/3.91	o 2869
6.75/4.12	o 2868
6.75/4.12	o 2867
6.75/4.12	o 2866
6.84/4.25	o 2865
6.84/4.25	o 2864
6.84/4.25	o 2863
6.84/4.25	o 2862
6.84/4.25	o 2861
6.84/4.25	o 2860
6.84/4.25	o 2859
6.84/4.25	o 2858
6.84/4.25	o 2851
6.84/4.25	o 2850
6.84/4.25	o 2849
6.84/4.25	o 2848
6.84/4.25	o 2847
6.84/4.25	o 2846
6.84/4.25	o 2845
6.84/4.25	o 2844
6.84/4.25	o 2843
6.84/4.25	o 2842
6.84/4.26	o 2825
6.84/4.26	o 2824
6.84/4.26	o 2823
6.84/4.26	o 2822
6.84/4.26	o 2819
6.84/4.26	o 2817
6.84/4.26	o 2816
6.84/4.26	o 2815
6.84/4.26	o 2814
6.84/4.26	o 2813
6.84/4.26	o 2812
6.97/4.39	o 2811
7.17/4.50	o 2810
7.17/4.51	o 2809
7.17/4.54	o 2808
7.17/4.58	o 2807
7.17/4.58	o 2806
7.17/4.58	o 2805
7.48/4.78	o 2804
7.89/5.10	o 2803
7.89/5.11	o 2802
8.18/5.31	o 2801
8.18/5.31	o 2800
8.28/5.46	o 2798
8.28/5.46	o 2796
8.28/5.46	o 2795
8.28/5.46	o 2793
8.28/5.46	o 2792
8.28/5.46	o 2791
8.28/5.46	o 2790
8.28/5.46	o 2789
8.28/5.46	o 2788
8.28/5.46	o 2787
8.28/5.46	o 2786
8.28/5.46	o 2785
8.28/5.46	o 2784
8.28/5.47	o 2772
8.28/5.47	o 2771
8.28/5.47	o 2762
8.28/5.47	o 2761
8.28/5.47	o 2759
8.28/5.49	o 2758
8.28/5.49	o 2757
8.42/5.54	o 2756
8.91/5.96	o 2755
8.91/5.96	o 2754
8.91/5.97	o 2753
9.02/6.06	o 2705
9.02/6.06	o 2698
9.02/6.06	o 2697
9.02/6.06	o 2696
9.02/6.07	o 2695
9.02/6.07	o 2694
9.02/6.07	o 2693
9.02/6.08	o 2691
9.02/6.09	o 2690
9.02/6.09	o 2689
9.02/6.10	o 2688
9.02/6.10	o 2687
9.02/6.10	o 2686
9.02/6.10	o 2685
9.22/6.23	o 2684
9.22/6.23	o 2683
9.22/6.23	o 2682
9.22/6.25	o 2681
9.22/6.25	o 2680
9.22/6.26	o 2679
9.22/6.26	o 2678
9.22/6.28	o 2677
9.22/6.29	o 2676
9.22/6.29	o 2675
9.32/6.32	o 2674
9.32/6.32	o 2673
9.85/6.84	o 2672
10.36/7.33	o 2671
10.36/7.33	o 2670
10.36/7.33	o 2669
10.36/7.33	o 2668
10.36/7.33	o 2667
10.36/7.33	o 2666
10.36/7.33	o 2665
10.36/7.33	o 2664
10.36/7.33	o 2662
10.36/7.33	o 2659
10.36/7.33	o 2657
10.36/7.33	o 2656
10.36/7.33	o 2655
10.36/7.33	o 2654
10.36/7.33	o 2653
10.36/7.33	o 2652
10.36/7.33	o 2641
10.36/7.33	o 2640
10.36/7.33	o 2639
10.36/7.33	o 2638
10.36/7.33	o 2637
10.36/7.33	o 2636
10.36/7.33	o 2635
10.36/7.34	o 2634
10.36/7.34	o 2633
10.36/7.34	o 2632
10.36/7.34	o 2631
10.36/7.34	o 2630
10.36/7.34	o 2629
10.36/7.34	o 2628
10.36/7.34	o 2627
10.36/7.34	o 2626
10.36/7.34	o 2624
10.36/7.34	o 2623
10.36/7.35	o 2622
10.36/7.35	o 2621
10.46/7.40	o 2620
10.56/7.50	o 2619
10.56/7.52	o 2618
10.56/7.52	o 2617
10.56/7.55	o 2615
10.56/7.55	o 2598
10.56/7.55	o 2596
10.56/7.55	o 2595
10.56/7.55	o 2594
10.56/7.55	o 2593
10.56/7.55	o 2590
10.56/7.55	o 2589
10.56/7.55	o 2588
10.56/7.55	o 2584
10.56/7.55	o 2583
10.56/7.56	o 2582
10.56/7.56	o 2581
10.56/7.56	o 2580
10.56/7.56	o 2572
10.56/7.56	o 2571
10.56/7.56	o 2570
10.56/7.56	o 2569
10.56/7.56	o 2568
10.56/7.56	o 2567
10.56/7.56	o 2566
10.56/7.56	o 2565
10.56/7.56	o 2564
10.56/7.56	o 2563
10.56/7.56	o 2562
10.66/7.60	o 2561
10.66/7.60	o 2560
10.66/7.61	o 2559
10.66/7.61	o 2558
10.76/7.75	o 2557
10.76/7.75	o 2556
10.76/7.75	o 2555
10.76/7.75	o 2554
10.76/7.75	o 2553
10.76/7.75	o 2552
10.76/7.75	o 2549
10.76/7.75	o 2548
10.76/7.76	o 2546
10.76/7.76	o 2545
10.87/7.82	o 2544
10.87/7.83	o 2543
10.87/7.83	o 2542
10.87/7.83	o 2541
10.97/7.96	o 2540
10.97/7.96	o 2539
10.97/7.96	o 2533
10.97/7.96	o 2529
10.97/7.96	o 2527
10.97/7.96	o 2517
10.97/7.96	o 2510
10.97/7.96	o 2506
10.97/7.96	o 2505
10.97/7.96	o 2504
10.97/7.97	o 2503
10.97/7.97	o 2502
10.97/7.97	o 2501
10.97/7.97	o 2500
10.97/7.97	o 2499
10.97/7.97	o 2498
10.97/7.97	o 2497
11.08/8.02	o 2496
11.08/8.02	o 2495
11.08/8.02	o 2491
11.08/8.02	o 2489
11.08/8.02	o 2488
11.08/8.02	o 2487
11.08/8.02	o 2484
11.08/8.02	o 2483
11.08/8.02	o 2482
11.08/8.02	o 2481
11.08/8.02	o 2480
11.08/8.02	o 2479
11.08/8.02	o 2469
11.08/8.02	o 2468
11.08/8.02	o 2467
11.08/8.02	o 2466
11.08/8.02	o 2465
11.08/8.02	o 2463
11.08/8.02	o 2462
11.08/8.05	o 2461
11.08/8.05	o 2459
11.08/8.05	o 2458
11.08/8.07	o 2457
11.08/8.10	o 2456
11.18/8.12	o 2455
11.27/8.29	o 2454
11.27/8.29	o 2453
11.27/8.29	o 2452
11.37/8.30	o 2451
11.37/8.30	o 2450
11.57/8.57	o 2449
11.67/8.62	o 2448
11.67/8.63	o 2447
11.88/8.85	o 2446
11.88/8.85	o 2445
11.88/8.85	o 2444
11.88/8.86	o 2443
11.88/8.86	o 2442
11.88/8.86	o 2441
11.88/8.86	o 2440
11.88/8.86	o 2439
11.88/8.86	o 2438
11.88/8.86	o 2437
11.88/8.86	o 2436
11.88/8.86	o 2435
11.88/8.86	o 2434
11.88/8.86	o 2433
11.88/8.86	o 2432
11.88/8.86	o 2431
11.88/8.86	o 2430
11.88/8.86	o 2429
11.88/8.86	o 2428
11.88/8.86	o 2427
11.88/8.86	o 2426
11.88/8.86	o 2425
11.88/8.86	o 2424
11.88/8.86	o 2423
11.88/8.87	o 2422
11.88/8.87	o 2421
11.88/8.87	o 2420
11.88/8.88	o 2419
11.88/8.88	o 2418
11.88/8.88	o 2417
11.88/8.88	o 2416
11.88/8.88	o 2415
11.88/8.88	o 2414
11.88/8.88	o 2413
11.88/8.89	o 2412
11.88/8.90	o 2411
11.88/8.90	o 2410
11.98/8.90	o 2409
11.98/8.90	o 2408
11.98/8.91	o 2407
11.98/8.91	o 2406
11.98/8.92	o 2405
11.98/8.92	o 2404
11.98/8.94	o 2403
11.98/8.94	o 2402
11.98/8.94	o 2401
11.98/8.95	o 2400
11.98/8.95	o 2399
11.98/8.95	o 2397
11.98/8.95	o 2396
11.98/8.95	o 2385
11.98/8.95	o 2383
11.98/8.95	o 2382
11.98/8.95	o 2381
11.98/8.95	o 2380
11.98/8.95	o 2379
11.98/8.95	o 2374
11.98/8.95	o 2373
11.98/8.95	o 2372
11.98/8.95	o 2368
11.98/8.95	o 2367
11.98/8.95	o 2366
11.98/8.95	o 2365
11.98/8.95	o 2364
11.98/8.95	o 2363
11.98/8.96	o 2349
11.98/8.96	o 2346
11.98/8.96	o 2345
11.98/8.96	o 2344
11.98/8.96	o 2343
11.98/8.96	o 2342
11.98/8.98	o 2341
11.98/8.99	o 2340
11.98/8.99	o 2339
12.09/9.01	o 2338
12.09/9.04	o 2337
12.09/9.04	o 2336
12.09/9.06	o 2335
12.09/9.06	o 2334
12.09/9.07	o 2333
12.09/9.10	o 2332
12.09/9.10	o 2331
12.09/9.10	o 2330
12.19/9.12	o 2329
12.19/9.12	o 2328
12.19/9.12	o 2327
12.19/9.15	o 2326
12.19/9.15	o 2325
12.19/9.16	o 2324
12.28/9.28	o 2322
12.38/9.37	o 2321
12.48/9.46	o 2320
12.48/9.47	o 2319
12.68/9.60	o 2318
12.68/9.60	o 2315
12.68/9.61	o 2314
12.68/9.61	o 2312
12.68/9.61	o 2310
12.68/9.61	o 2308
12.68/9.61	o 2305
12.68/9.61	o 2304
12.68/9.62	o 2303
12.68/9.63	o 2298
12.68/9.63	o 2295
12.68/9.63	o 2293
12.68/9.63	o 2291
12.68/9.63	o 2290
12.68/9.63	o 2288
12.68/9.63	o 2287
12.68/9.63	o 2286
12.68/9.63	o 2285
12.68/9.63	o 2283
12.68/9.63	o 2280
12.68/9.63	o 2279
12.68/9.63	o 2278
12.68/9.63	o 2276
12.68/9.63	o 2274
12.68/9.65	o 2273
12.78/9.76	o 2272
12.78/9.76	o 2271
12.78/9.79	o 2270
12.78/9.79	o 2269
12.88/9.85	o 2268
12.88/9.88	o 2267
12.88/9.88	o 2266
13.19/10.15	o 2265
13.19/10.16	o 2264
13.19/10.19	o 2263
13.19/10.19	o 2260
13.19/10.19	o 2259
13.19/10.19	o 2258
13.19/10.19	o 2256
13.19/10.19	o 2255
13.19/10.19	o 2252
13.19/10.19	o 2251
13.19/10.19	o 2250
13.19/10.19	o 2249
13.19/10.19	o 2247
13.19/10.19	o 2246
13.19/10.19	o 2245
13.19/10.19	o 2244
13.19/10.19	o 2242
13.19/10.19	o 2241
13.19/10.19	o 2240
13.19/10.19	o 2239
13.19/10.20	o 2238
13.19/10.20	o 2237
13.19/10.20	o 2234
13.19/10.20	o 2233
13.19/10.20	o 2232
13.28/10.20	o 2231
13.28/10.21	o 2230
13.28/10.22	o 2229
13.28/10.22	o 2228
13.28/10.22	o 2227
13.28/10.22	o 2226
13.28/10.22	o 2225
13.28/10.22	o 2224
13.28/10.22	o 2223
13.28/10.22	o 2222
13.28/10.22	o 2221
13.38/10.31	o 2220
13.38/10.31	o 2219
13.38/10.32	o 2218
13.38/10.32	o 2217
14.20/11.11	o 2216
14.20/11.14	o 2215
14.30/11.29	o 2214
14.50/11.46	o 2211
14.50/11.46	o 2210
14.50/11.46	o 2209
14.50/11.46	o 2208
14.50/11.46	o 2207
14.50/11.46	o 2206
14.50/11.46	o 2205
14.50/11.46	o 2204
14.50/11.46	o 2203
14.50/11.48	o 2202
15.00/11.94	o 2201
15.40/12.30	o 2200
15.40/12.30	o 2199
16.30/13.24	o 2196
16.30/13.24	o 2195
16.30/13.24	o 2193
16.30/13.24	o 2192
16.30/13.24	o 2191
16.30/13.24	o 2190
16.30/13.24	o 2187
16.30/13.24	o 2186
16.30/13.25	o 2185
16.30/13.25	o 2175
16.30/13.25	o 2174
16.30/13.25	o 2173
16.30/13.26	o 2172
16.30/13.29	o 2171
16.30/13.29	o 2170
16.30/13.29	o 2169
16.30/13.29	o 2168
16.30/13.29	o 2167
16.30/13.29	o 2166
16.30/13.29	o 2165
16.41/13.32	o 2164
16.41/13.33	o 2163
17.01/13.99	o 2162
17.32/14.30	o 2161
17.52/14.43	o 2160
17.52/14.43	o 2159
17.52/14.43	o 2158
17.52/14.43	o 2157
17.52/14.43	o 2156
17.52/14.43	o 2155
17.52/14.43	o 2154
17.52/14.43	o 2153
17.52/14.43	o 2152
17.52/14.43	o 2151
17.52/14.43	o 2150
17.52/14.43	o 2149
17.52/14.44	o 2145
17.52/14.44	o 2144
17.52/14.44	o 2143
17.52/14.44	o 2142
17.52/14.44	o 2141
17.52/14.44	o 2140
17.52/14.44	o 2131
17.52/14.44	o 2130
17.52/14.44	o 2129
17.52/14.44	o 2128
17.52/14.44	o 2127
17.52/14.44	o 2126
17.52/14.44	o 2125
17.52/14.44	o 2124
17.52/14.44	o 2123
17.52/14.44	o 2122
17.52/14.44	o 2101
17.52/14.44	o 2100
17.52/14.44	o 2099
17.52/14.44	o 2098
17.52/14.44	o 2097
17.52/14.44	o 2096
17.52/14.44	o 2095
17.52/14.44	o 2093
17.52/14.44	o 2092
17.52/14.44	o 2091
17.52/14.44	o 2090
17.52/14.44	o 2089
17.52/14.44	o 2088
17.52/14.45	o 2087
17.52/14.45	o 2086
17.52/14.45	o 2085
17.52/14.45	o 2084
17.52/14.46	o 2083
17.52/14.46	o 2082
17.62/14.52	o 2081
17.62/14.52	o 2080
17.62/14.52	o 2079
17.62/14.52	o 2078
17.72/14.62	o 2077
17.72/14.62	o 2076
17.82/14.76	o 2075
17.82/14.76	o 2074
18.23/15.12	o 2073
18.23/15.13	o 2072
18.72/15.63	o 2071
18.92/15.85	o 2070
19.02/16.00	o 2069
19.13/16.09	o 2068
19.13/16.09	o 2067
19.13/16.09	o 2066
19.13/16.09	o 2065
19.13/16.09	o 2064
19.13/16.09	o 2063
19.13/16.09	o 2062
19.13/16.09	o 2061
19.13/16.09	o 2060
19.13/16.09	o 2059
19.13/16.09	o 2058
19.13/16.10	o 2057
19.13/16.10	o 2055
19.13/16.10	o 2054
19.13/16.10	o 2053
19.13/16.10	o 2051
19.23/16.14	o 2050
19.23/16.14	o 2049
19.23/16.15	o 2048
19.52/16.44	o 2045
19.52/16.49	o 2044
19.52/16.49	o 2043
19.62/16.50	o 2041
19.72/16.66	o 2040
19.72/16.66	o 2039
19.72/16.66	o 2038
19.72/16.66	o 2037
19.92/16.81	o 2036
20.03/16.90	o 2035
20.14/17.05	o 2034
22.34/19.29	o 2033
22.34/19.29	o 2032
22.45/19.30	o 2031
22.45/19.30	o 2030
22.55/19.44	o 2028
22.55/19.44	o 2027
22.55/19.44	o 2026
22.55/19.44	o 2025
22.55/19.44	o 2024
22.55/19.45	o 2023
22.55/19.45	o 2022
22.55/19.45	o 2021
22.55/19.45	o 2020
22.55/19.45	o 2019
22.55/19.45	o 2018
22.55/19.45	o 2017
22.55/19.45	o 2016
22.55/19.45	o 2014
22.55/19.45	o 2013
22.55/19.45	o 2012
22.55/19.45	o 2011
22.55/19.45	o 2010
22.55/19.46	o 2009
22.55/19.46	o 2008
22.65/19.52	o 2007
22.65/19.52	o 2006
22.65/19.52	o 2005
22.65/19.53	o 2004
22.65/19.54	o 2003
22.65/19.55	o 2002
22.65/19.56	o 2001
23.56/20.41	o 1992
23.56/20.41	o 1931
23.56/20.41	o 1927
23.56/20.41	o 1925
23.56/20.42	o 1924
23.56/20.42	o 1923
23.56/20.42	o 1922
23.56/20.42	o 1921
23.56/20.43	o 1920
23.56/20.43	o 1919
23.56/20.44	o 1918
23.76/20.68	o 1917
24.27/21.11	o 1916
24.27/21.14	o 1915
24.46/21.37	o 1914
24.86/21.70	o 1913
24.86/21.76	o 1912
25.06/21.93	o 1911
25.06/21.93	o 1910
25.06/21.93	o 1909
25.06/21.93	o 1908
25.27/22.16	o 1907
25.36/22.25	o 1906
25.36/22.25	o 1905
25.36/22.26	o 1904
25.36/22.26	o 1903
25.36/22.28	o 1902
25.36/22.28	o 1901
25.36/22.28	o 1900
25.46/22.33	o 1896
25.46/22.33	o 1895
25.46/22.33	o 1893
25.46/22.33	o 1892
25.46/22.33	o 1889
25.46/22.33	o 1888
25.46/22.33	o 1872
25.46/22.33	o 1871
25.46/22.33	o 1864
25.46/22.33	o 1863
25.46/22.33	o 1860
25.46/22.34	o 1858
25.46/22.34	o 1856
25.46/22.34	o 1854
25.46/22.34	o 1853
25.46/22.35	o 1852
25.46/22.35	o 1850
25.56/22.44	o 1849
25.77/22.68	o 1840
25.77/22.68	o 1839
25.77/22.68	o 1838
25.77/22.68	o 1837
25.77/22.68	o 1836
25.77/22.68	o 1835
25.77/22.68	o 1834
25.77/22.69	o 1833
25.77/22.69	o 1832
25.77/22.69	o 1830
25.77/22.69	o 1829
25.77/22.70	o 1828
25.97/22.89	o 1826
26.18/23.01	o 1825
26.18/23.02	o 1824
26.37/23.21	o 1822
26.37/23.21	o 1821
26.37/23.21	o 1820
26.37/23.21	o 1817
26.37/23.21	o 1816
26.37/23.21	o 1815
26.37/23.22	o 1804
26.37/23.22	o 1803
26.37/23.22	o 1802
26.37/23.22	o 1800
26.37/23.22	o 1799
26.37/23.22	o 1798
26.37/23.22	o 1787
26.37/23.22	o 1786
26.37/23.22	o 1785
26.37/23.22	o 1769
26.37/23.22	o 1768
26.37/23.22	o 1767
26.37/23.22	o 1766
26.37/23.22	o 1765
26.37/23.22	o 1764
26.37/23.22	o 1763
26.37/23.22	o 1762
26.37/23.23	o 1761
26.37/23.23	o 1759
26.37/23.23	o 1758
26.37/23.23	o 1757
26.37/23.23	o 1756
26.37/23.23	o 1755
26.37/23.25	o 1754
26.57/23.40	o 1753
26.67/23.52	o 1752
26.67/23.52	o 1751
26.67/23.56	o 1749
26.67/23.59	o 1748
26.77/23.60	o 1746
27.98/24.85	o 1697
27.98/24.85	o 1694
27.98/24.85	o 1690
27.98/24.85	o 1689
27.98/24.85	o 1688
27.98/24.85	o 1687
27.98/24.85	o 1686
27.98/24.86	o 1685
27.98/24.86	o 1684
28.08/24.92	o 1683
29.30/26.16	o 1681
29.30/26.16	o 1679
29.30/26.16	o 1676
29.30/26.16	o 1675
29.30/26.16	o 1674
29.30/26.16	o 1673
29.30/26.16	o 1667
29.30/26.16	o 1663
29.30/26.16	o 1662
29.30/26.16	o 1661
29.30/26.17	o 1660
29.30/26.17	o 1659
29.30/26.17	o 1658
29.30/26.17	o 1657
29.30/26.17	o 1656
29.30/26.17	o 1655
29.30/26.17	o 1650
29.30/26.17	o 1648
29.30/26.17	o 1646
29.30/26.17	o 1645
29.30/26.17	o 1644
29.30/26.17	o 1643
29.30/26.17	o 1642
29.30/26.17	o 1641
29.30/26.17	o 1640
29.30/26.17	o 1639
29.30/26.17	o 1638
29.30/26.17	o 1637
29.30/26.17	o 1636
29.30/26.18	o 1635
29.30/26.18	o 1634
29.30/26.18	o 1633
29.30/26.18	o 1632
30.40/27.25	o 1631
30.50/27.37	o 1630
31.01/27.80	o 1629
31.01/27.84	o 1628
31.22/28.08	o 1627
31.32/28.19	o 1626
31.72/28.55	o 1625
31.72/28.55	o 1624
31.72/28.56	o 1623
31.72/28.56	o 1622
31.72/28.56	o 1621
31.92/28.75	o 1620
31.92/28.75	o 1619
31.92/28.75	o 1618
31.92/28.75	o 1617
31.92/28.75	o 1616
31.92/28.75	o 1615
31.92/28.75	o 1610
31.92/28.75	o 1609
31.92/28.75	o 1606
31.92/28.75	o 1605
31.92/28.75	o 1600
31.92/28.75	o 1599
31.92/28.75	o 1598
31.92/28.75	o 1597
31.92/28.75	o 1596
31.92/28.75	o 1595
31.92/28.75	o 1594
31.92/28.76	o 1593
31.92/28.76	o 1590
31.92/28.76	o 1589
31.92/28.76	o 1588
31.92/28.76	o 1587
31.92/28.76	o 1586
31.92/28.76	o 1585
31.92/28.76	o 1584
31.92/28.77	o 1583
31.92/28.77	o 1582
31.92/28.77	o 1581
31.92/28.77	o 1580
31.92/28.78	o 1579
31.92/28.78	o 1578
31.92/28.78	o 1577
31.92/28.78	o 1576
31.92/28.78	o 1575
31.92/28.78	o 1574
31.92/28.79	o 1573
31.92/28.79	o 1572
31.92/28.79	o 1571
31.92/28.79	o 1570
31.92/28.79	o 1569
32.02/28.80	o 1568
32.02/28.80	o 1567
32.02/28.80	o 1566
32.02/28.80	o 1565
32.02/28.81	o 1564
32.02/28.81	o 1563
32.02/28.88	o 1562
33.24/30.05	o 1561
33.24/30.06	o 1560
33.24/30.06	o 1559
33.24/30.06	o 1558
33.24/30.07	o 1557
33.43/30.28	o 1556
33.74/30.57	o 1555
34.35/31.11	o 1554
34.74/31.54	o 1553
34.74/31.55	o 1552
34.74/31.60	o 1551
36.26/33.06	o 1549
36.26/33.06	o 1546
36.26/33.06	o 1545
36.26/33.06	o 1544
36.26/33.06	o 1539
36.26/33.06	o 1537
36.26/33.06	o 1536
36.26/33.06	o 1535
36.26/33.06	o 1534
36.26/33.06	o 1533
36.26/33.06	o 1532
36.26/33.06	o 1531
36.26/33.06	o 1530
36.26/33.06	o 1528
36.26/33.06	o 1527
36.26/33.06	o 1526
36.26/33.06	o 1525
36.26/33.06	o 1524
36.26/33.06	o 1523
36.26/33.06	o 1522
36.26/33.06	o 1521
36.26/33.06	o 1520
36.26/33.06	o 1519
36.26/33.06	o 1518
36.26/33.06	o 1516
36.26/33.06	o 1515
36.26/33.06	o 1514
36.26/33.06	o 1513
36.26/33.06	o 1512
36.26/33.06	o 1511
36.26/33.06	o 1510
36.26/33.06	o 1509
36.26/33.06	o 1508
36.26/33.06	o 1507
36.26/33.06	o 1482
36.26/33.06	o 1481
36.26/33.06	o 1480
36.26/33.06	o 1479
36.26/33.06	o 1478
36.26/33.06	o 1477
36.26/33.06	o 1476
36.26/33.06	o 1475
36.26/33.06	o 1474
36.26/33.06	o 1473
36.26/33.07	o 1472
36.26/33.07	o 1471
36.26/33.07	o 1470
36.26/33.07	o 1469
36.26/33.09	o 1468
36.26/33.10	o 1467
36.66/33.49	o 1466
36.76/33.55	o 1465
36.76/33.58	o 1464
36.76/33.58	o 1463
36.86/33.60	o 1462
37.77/34.52	o 1461
37.87/34.64	o 1460
38.07/34.86	o 1459
38.47/35.27	o 1458
38.47/35.28	o 1457
39.78/36.55	o 1456
39.78/36.55	o 1455
39.78/36.55	o 1454
39.78/36.55	o 1453
39.78/36.55	o 1452
39.78/36.55	o 1451
39.78/36.55	o 1450
39.78/36.55	o 1449
39.78/36.55	o 1448
39.78/36.55	o 1447
39.78/36.55	o 1446
39.78/36.55	o 1445
39.78/36.55	o 1444
39.78/36.55	o 1443
39.78/36.55	o 1442
39.78/36.55	o 1441
39.78/36.55	o 1440
39.78/36.55	o 1439
39.78/36.55	o 1438
39.78/36.56	o 1437
39.78/36.56	o 1436
39.78/36.56	o 1435
39.78/36.56	o 1434
39.78/36.56	o 1433
39.78/36.58	o 1431
39.78/36.58	o 1430
39.78/36.59	o 1429
39.88/36.67	o 1428
39.88/36.67	o 1424
39.88/36.67	o 1423
39.88/36.67	o 1419
39.88/36.68	o 1418
39.88/36.68	o 1417
39.88/36.68	o 1415
39.88/36.68	o 1413
39.88/36.68	o 1411
39.88/36.68	o 1410
39.88/36.68	o 1409
39.88/36.68	o 1408
39.88/36.69	o 1407
39.99/36.70	o 1406
39.99/36.70	o 1405
39.99/36.70	o 1404
39.99/36.71	o 1403
40.09/36.80	o 1402
40.09/36.81	o 1401
40.09/36.81	o 1400
40.09/36.81	o 1399
40.09/36.81	o 1398
40.09/36.82	o 1397
40.09/36.83	o 1396
40.09/36.85	o 1395
40.09/36.85	o 1394
40.09/36.87	o 1393
40.09/36.89	o 1392
40.19/36.91	o 1391
40.69/37.46	o 1390
40.69/37.46	o 1389
40.69/37.49	o 1388
41.20/37.90	o 1387
41.31/38.05	o 1386
41.31/38.05	o 1385
41.31/38.05	o 1384
41.31/38.05	o 1383
41.31/38.05	o 1382
41.31/38.05	o 1381
41.31/38.05	o 1363
41.31/38.05	o 1362
41.31/38.05	o 1356
41.31/38.05	o 1355
41.31/38.05	o 1344
41.31/38.05	o 1343
41.31/38.05	o 1340
41.31/38.05	o 1338
41.31/38.05	o 1336
41.31/38.06	o 1335
41.31/38.06	o 1334
41.31/38.06	o 1333
41.31/38.06	o 1332
41.31/38.06	o 1331
41.31/38.06	o 1330
41.31/38.06	o 1329
41.31/38.06	o 1328
41.31/38.06	o 1327
41.31/38.06	o 1326
41.31/38.06	o 1325
41.31/38.06	o 1324
41.31/38.07	o 1323
41.31/38.07	o 1322
41.31/38.08	o 1321
41.31/38.10	o 1320
41.42/38.12	o 1319
41.51/38.25	o 1318
41.71/38.43	o 1317
41.71/38.45	o 1316
41.81/38.53	o 1315
41.91/38.63	o 1314
42.11/38.89	o 1313
42.52/39.23	o 1312
42.62/39.36	o 1311
42.62/39.36	o 1310
42.62/39.37	o 1309
42.72/39.49	o 1308
42.72/39.50	o 1307
43.02/39.75	o 1306
43.02/39.75	o 1305
43.02/39.75	o 1304
43.02/39.75	o 1303
43.02/39.75	o 1302
43.02/39.75	o 1301
43.02/39.75	o 1298
43.02/39.75	o 1297
43.02/39.75	o 1296
43.02/39.75	o 1293
43.02/39.75	o 1292
43.02/39.75	o 1291
43.02/39.75	o 1289
43.02/39.75	o 1288
43.02/39.75	o 1287
43.02/39.75	o 1274
43.02/39.75	o 1273
43.02/39.75	o 1272
43.02/39.75	o 1271
43.02/39.78	o 1270
43.02/39.78	o 1269
43.02/39.78	o 1267
43.12/39.81	o 1266
43.12/39.81	o 1265
43.12/39.81	o 1264
43.12/39.86	o 1263
43.12/39.86	o 1261
46.75/43.48	o 1260
46.75/43.48	o 1259
46.75/43.48	o 1258
46.75/43.48	o 1255
46.75/43.48	o 1254
46.75/43.48	o 1253
46.75/43.48	o 1250
46.75/43.48	o 1249
46.75/43.48	o 1248
46.75/43.48	o 1247
46.75/43.48	o 1246
46.75/43.48	o 1236
46.75/43.48	o 1235
46.75/43.48	o 1234
46.75/43.48	o 1233
46.75/43.49	o 1232
46.75/43.49	o 1229
46.75/43.49	o 1228
46.75/43.49	o 1227
46.75/43.49	o 1225
46.85/43.51	o 1224
46.85/43.53	o 1223
46.85/43.58	o 1222
46.95/43.63	o 1221
46.95/43.65	o 1220
46.95/43.65	o 1219
46.95/43.65	o 1218
46.95/43.65	o 1217
49.98/46.65	o 1216
50.28/46.94	o 1213
50.28/46.94	o 1210
50.28/46.94	o 1209
50.28/46.94	o 1208
50.28/46.94	o 1207
50.28/46.94	o 1206
50.28/46.94	o 1205
50.28/46.94	o 1204
50.28/46.95	o 1203
50.28/46.95	o 1202
50.28/46.96	o 1201
50.28/46.96	o 1199
50.28/46.96	o 1198
50.28/46.97	o 1197
50.28/46.99	o 1196
50.39/47.01	o 1195
50.39/47.01	o 1194
50.39/47.02	o 1193
50.39/47.09	o 1192
50.69/47.32	o 1191
51.40/48.03	o 1190
51.90/48.58	o 1189
52.00/48.66	o 1188
53.53/50.16	o 1187
53.53/50.16	o 1186
53.53/50.16	o 1185
53.72/50.36	o 1184
53.72/50.40	o 1183
53.92/50.59	o 1182
57.05/53.62	o 1181
57.15/53.78	o 1180
63.70/60.24	o 1179
67.34/63.86	o 1118
67.34/63.86	o 1117
67.34/63.86	o 1114
67.34/63.86	o 1113
67.34/63.86	o 1111
67.34/63.86	o 1105
67.34/63.87	o 1103
67.34/63.87	o 1102
67.34/63.87	o 1101
67.34/63.87	o 1100
67.34/63.88	o 1099
67.34/63.88	o 1098
67.34/63.88	o 1097
67.34/63.88	o 1096
67.34/63.88	o 1095
67.34/63.88	o 1094
67.34/63.89	o 1093
67.34/63.89	o 1092
67.34/63.89	o 1091
67.34/63.89	o 1090
67.34/63.89	o 1089
67.34/63.89	o 1088
67.94/64.49	o 1087
67.94/64.49	o 1081
67.94/64.49	o 1080
67.94/64.49	o 1079
67.94/64.49	o 1078
67.94/64.49	o 1077
67.94/64.49	o 1076
67.94/64.49	o 1074
67.94/64.49	o 1073
67.94/64.49	o 1072
67.94/64.49	o 1071
67.94/64.49	o 1070
67.94/64.49	o 1069
67.94/64.49	o 1068
67.94/64.49	o 1062
67.94/64.49	o 1061
67.94/64.49	o 1060
67.94/64.49	o 1059
67.94/64.49	o 1058
67.94/64.49	o 1057
67.94/64.49	o 1056
67.94/64.50	o 1055
68.04/64.50	o 1054
68.04/64.50	o 1053
68.04/64.50	o 1052
68.04/64.50	o 1051
68.04/64.50	o 1050
68.04/64.50	o 1049
68.04/64.50	o 1048
68.04/64.50	o 1047
68.04/64.51	o 1046
68.04/64.52	o 1045
68.04/64.53	o 1044
68.04/64.53	o 1043
68.04/64.53	o 1042
72.59/69.01	o 1041
72.78/69.23	o 1040
73.28/69.74	o 1039
73.28/69.75	o 1038
73.28/69.75	o 1037
73.28/69.75	o 1036
73.60/70.09	o 1035
74.82/71.28	o 1034
80.15/76.59	o 1033
80.25/76.61	o 1032
80.25/76.62	o 1031
80.25/76.62	o 1030
80.25/76.62	o 1029
80.25/76.62	o 1028
80.25/76.67	o 1027
80.36/76.70	o 1026
80.36/76.72	o 1025
81.47/77.84	o 1024
83.08/79.40	o 1023
83.08/79.40	o 1022
83.08/79.41	o 1021
83.08/79.41	o 1020
83.08/79.41	o 1019
83.08/79.41	o 1018
83.08/79.41	o 1017
83.08/79.41	o 1016
83.08/79.41	o 1014
83.08/79.41	o 1013
83.08/79.41	o 1012
83.08/79.41	o 1011
83.08/79.42	o 1010
83.08/79.45	o 1009
83.08/79.45	o 1008
83.28/79.62	o 1007
84.20/80.50	o 1006
84.30/80.60	o 1005
84.82/81.16	o 1004
85.51/81.87	o 1003
85.51/81.87	o 1002
86.02/82.37	o 1001
86.02/82.38	o 1000
89.96/86.26	o 999
90.06/86.30	o 998
91.57/87.88	o 997
93.08/89.37	o 996
93.08/89.37	o 995
93.08/89.37	o 994
93.08/89.37	o 991
93.08/89.37	o 988
93.08/89.37	o 977
93.08/89.37	o 976
93.08/89.37	o 969
93.08/89.37	o 965
93.08/89.37	o 960
93.08/89.37	o 959
93.08/89.37	o 958
93.08/89.37	o 956
93.08/89.39	o 955
93.19/89.41	o 954
93.29/89.51	o 953
99.15/95.38	o 949
99.15/95.38	o 947
99.15/95.38	o 946
99.15/95.38	o 945
99.15/95.39	o 944
99.15/95.39	o 943
99.15/95.39	o 942
99.15/95.39	o 940
99.15/95.39	o 939
99.15/95.39	o 935
99.15/95.39	o 932
99.15/95.40	o 931
99.24/95.40	o 921
99.24/95.40	o 920
99.24/95.40	o 918
99.24/95.40	o 917
99.24/95.40	o 915
99.24/95.40	o 914
99.24/95.41	o 913
99.24/95.43	o 912
99.24/95.45	o 911
99.75/95.95	o 910
100.07/96.29	o 909
100.25/96.40	o 908
101.57/97.72	o 907
101.67/97.82	o 902
101.67/97.82	o 901
101.67/97.82	o 900
101.67/97.83	o 899
101.67/97.83	o 898
101.67/97.83	o 897
101.67/97.83	o 896
101.67/97.83	o 894
101.67/97.83	o 893
101.67/97.83	o 892
101.67/97.83	o 891
101.67/97.83	o 890
101.67/97.83	o 889
101.67/97.83	o 887
101.67/97.83	o 886
101.67/97.83	o 885
101.67/97.83	o 883
101.67/97.83	o 882
101.67/97.83	o 881
101.67/97.83	o 880
101.67/97.83	o 879
101.67/97.85	o 878
101.67/97.85	o 877
101.67/97.89	o 876
101.77/97.92	o 875
101.77/97.92	o 874
101.77/97.93	o 873
102.99/99.12	o 872
102.99/99.13	o 871
103.39/99.54	o 870
103.39/99.54	o 869
103.39/99.55	o 868
103.39/99.55	o 867
103.39/99.55	o 865
103.39/99.57	o 864
103.49/99.61	o 863
103.49/99.61	o 862
103.49/99.61	o 861
103.59/99.74	o 860
103.69/99.82	o 859
109.25/105.35	o 858
109.25/105.35	o 856
109.25/105.35	o 855
109.25/105.35	o 852
109.25/105.35	o 851
109.25/105.35	o 850
109.25/105.35	o 848
109.25/105.35	o 847
109.25/105.35	o 846
109.25/105.36	o 845
109.25/105.36	o 844
109.25/105.36	o 843
109.25/105.36	o 842
109.25/105.36	o 841
109.25/105.36	o 829
109.25/105.37	o 828
109.25/105.37	o 827
109.25/105.37	o 821
109.25/105.37	o 820
109.25/105.37	o 818
109.25/105.37	o 817
109.25/105.37	o 813
109.25/105.37	o 812
109.25/105.37	o 810
109.25/105.37	o 809
109.25/105.37	o 808
109.25/105.37	o 807
109.25/105.38	o 806
109.25/105.38	o 805
109.25/105.39	o 804
109.25/105.39	o 803
109.25/105.39	o 802
109.35/105.40	o 801
109.35/105.40	o 800
109.35/105.40	o 799
109.35/105.40	o 798
109.35/105.41	o 797
109.35/105.46	o 796
109.45/105.50	o 795
109.45/105.50	o 794
109.45/105.51	o 793
109.45/105.51	o 792
109.45/105.58	o 791
112.38/108.43	o 790
112.38/108.43	o 789
112.38/108.43	o 788
112.38/108.48	o 787
112.38/108.48	o 786
112.78/108.80	o 785
119.07/115.10	o 784
119.07/115.10	o 783
119.07/115.11	o 782
119.17/115.11	o 781
119.17/115.11	o 780
119.26/115.22	o 779
119.36/115.34	o 778
119.47/115.40	o 777
120.08/116.05	o 776
120.08/116.06	o 775
121.09/117.06	o 774
121.09/117.07	o 773
121.69/117.66	o 772
121.69/117.66	o 771
121.69/117.67	o 770
123.00/118.96	o 769
125.13/121.07	o 768
126.05/121.91	o 767
126.05/121.97	o 766
162.99/158.56	o 765
162.99/158.56	o 764
162.99/158.56	o 763
162.99/158.59	o 762
162.99/158.59	o 761
162.99/158.60	o 760
163.09/158.60	o 759
163.09/158.60	o 758
163.09/158.60	o 757
165.64/161.14	o 756
165.64/161.14	o 755
165.64/161.14	o 754
165.64/161.14	o 753
165.64/161.14	o 752
165.64/161.14	o 751
165.64/161.14	o 750
165.64/161.14	o 749
165.64/161.14	o 748
165.64/161.14	o 747
165.64/161.14	o 746
165.64/161.14	o 745
165.64/161.14	o 740
165.64/161.14	o 739
165.64/161.14	o 738
165.64/161.14	o 737
165.64/161.14	o 736
165.64/161.14	o 735
165.64/161.14	o 734
165.64/161.14	o 733
165.64/161.14	o 732
165.64/161.14	o 731
165.64/161.14	o 730
165.64/161.15	o 729
165.64/161.15	o 728
165.64/161.16	o 727
165.64/161.16	o 726
165.93/161.47	o 725
166.94/162.45	o 724
181.40/176.76	o 723
185.03/180.38	o 722
186.95/182.20	o 721
188.57/183.86	o 720
198.78/194.00	o 719
198.78/194.00	o 718
198.78/194.00	o 717
198.89/194.02	o 716
198.89/194.02	o 715
198.89/194.08	o 714
199.59/194.79	o 713
200.60/195.73	o 712
200.60/195.73	o 711
201.81/196.94	o 700
201.81/196.94	o 699
201.81/196.94	o 698
201.81/196.94	o 697
201.81/196.94	o 695
201.81/196.94	o 694
201.81/196.94	o 693
201.81/196.94	o 692
201.81/196.94	o 676
201.81/196.94	o 675
201.81/196.94	o 674
201.81/196.94	o 673
201.81/196.94	o 672
201.81/196.94	o 671
201.81/196.94	o 670
201.81/196.94	o 669
201.81/196.94	o 668
201.81/196.94	o 666
201.81/196.94	o 665
201.81/196.94	o 664
201.81/196.94	o 663
201.81/196.94	o 662
201.81/196.95	o 661
201.92/197.04	o 659
201.92/197.04	o 657
201.92/197.05	o 656
201.92/197.05	o 655
201.92/197.06	o 654
201.92/197.06	o 653
202.12/197.26	o 652
202.12/197.26	o 651
203.54/198.69	o 650
203.54/198.69	o 649
203.63/198.70	o 648
204.23/199.38	o 647
204.23/199.39	o 646
204.44/199.51	o 644
204.44/199.51	o 643
204.44/199.51	o 641
204.44/199.51	o 640
204.44/199.52	o 639
204.44/199.52	o 637
204.44/199.52	o 635
204.44/199.54	o 633
204.44/199.54	o 632
204.44/199.54	o 631
204.44/199.56	o 630
204.44/199.56	o 629
204.54/199.66	o 626
204.64/199.75	o 625
205.75/200.85	o 624
205.75/200.85	o 623
205.75/200.86	o 622
205.85/200.99	o 621
205.85/200.99	o 620
205.85/200.99	o 618
205.85/200.99	o 617
206.07/201.18	o 616
206.17/201.25	o 615
207.08/202.11	o 613
207.08/202.11	o 611
207.08/202.11	o 610
207.08/202.11	o 609
207.08/202.11	o 608
207.08/202.11	o 607
207.08/202.11	o 606
207.08/202.11	o 605
207.08/202.11	o 604
207.08/202.15	o 603
207.08/202.15	o 602
207.08/202.15	o 600
207.08/202.16	o 598
207.08/202.16	o 597
207.08/202.18	o 595
207.08/202.18	o 594
207.17/202.21	o 593
207.17/202.21	o 592
207.17/202.21	o 591
207.17/202.24	o 590
207.17/202.24	o 589
207.27/202.38	o 588
207.27/202.38	o 587
207.38/202.41	o 586
208.79/203.89	o 585
208.89/203.97	o 584
208.89/204.00	o 583
209.20/204.25	o 582
209.20/204.25	o 581
210.91/206.00	o 580
210.91/206.00	o 579
210.91/206.00	o 578
211.02/206.08	o 577
211.02/206.08	o 576
211.02/206.08	o 575
211.02/206.10	o 574
211.22/206.23	o 573
211.22/206.24	o 572
211.22/206.24	o 571
211.22/206.24	o 568
211.22/206.24	o 564
211.22/206.25	o 563
211.22/206.25	o 562
211.22/206.25	o 561
211.22/206.25	o 552
211.22/206.25	o 551
211.22/206.25	o 550
211.22/206.25	o 549
211.22/206.25	o 548
211.22/206.25	o 547
211.22/206.25	o 546
211.22/206.25	o 545
211.22/206.25	o 544
211.22/206.25	o 543
211.22/206.25	o 542
211.22/206.25	o 540
211.22/206.25	o 539
211.22/206.25	o 538
211.22/206.25	o 537
211.22/206.25	o 536
211.22/206.25	o 535
211.22/206.25	o 534
211.22/206.25	o 533
211.22/206.25	o 532
211.22/206.27	o 531
211.22/206.27	o 530
211.22/206.28	o 529
211.22/206.28	o 528
211.22/206.28	o 527
211.32/206.33	o 526
211.32/206.37	o 525
211.42/206.41	o 524
211.42/206.43	o 523
211.52/206.58	o 522
211.52/206.59	o 521
211.83/206.84	o 520
211.83/206.87	o 519
212.33/207.30	o 518
212.53/207.54	o 517
212.63/207.62	o 516
212.63/207.62	o 515
213.05/208.04	o 514
214.76/209.79	o 513
214.86/209.84	o 512
214.86/209.85	o 511
214.96/209.91	o 509
214.96/209.91	o 507
214.96/209.91	o 504
214.96/209.91	o 503
214.96/209.91	o 502
214.96/209.91	o 501
214.96/209.91	o 500
214.96/209.91	o 499
214.96/209.91	o 498
214.96/209.91	o 480
214.96/209.92	o 479
214.96/209.92	o 472
214.96/209.92	o 471
214.96/209.92	o 469
214.96/209.92	o 468
214.96/209.92	o 463
214.96/209.92	o 462
214.96/209.92	o 457
214.96/209.92	o 456
214.96/209.93	o 455
215.07/210.08	o 454
215.27/210.24	o 453
215.27/210.24	o 452
216.48/211.46	o 451
217.69/212.68	o 450
217.69/212.68	o 449
217.69/212.68	o 448
217.69/212.68	o 447
217.79/212.75	o 446
217.79/212.75	o 445
217.89/212.83	o 444
217.89/212.86	o 443
217.89/212.86	o 442
218.20/213.12	o 441
218.20/213.13	o 440
218.20/213.16	o 439
218.20/213.16	o 438
218.50/213.49	o 437
218.60/213.58	o 436
218.60/213.58	o 435
218.60/213.59	o 434
218.60/213.59	o 433
218.60/213.59	o 432
218.60/213.59	o 431
218.60/213.59	o 430
218.70/213.68	o 429
218.70/213.68	o 428
218.70/213.68	o 427
218.70/213.68	o 426
218.70/213.68	o 425
218.70/213.68	o 424
218.80/213.79	o 423
218.80/213.79	o 422
218.80/213.79	o 421
218.90/213.80	o 420
218.90/213.80	o 419
218.90/213.81	o 418
218.90/213.81	o 417
218.90/213.83	o 416
220.32/215.26	o 414
220.32/215.26	o 413
220.32/215.26	o 412
220.32/215.26	o 411
220.32/215.27	o 407
220.32/215.27	o 406
220.32/215.27	o 405
220.32/215.27	o 404
220.32/215.27	o 403
220.32/215.27	o 402
220.32/215.28	o 398
220.32/215.28	o 397
220.32/215.28	o 396
220.32/215.28	o 391
220.32/215.28	o 390
220.32/215.28	o 389
220.32/215.28	o 388
220.32/215.29	o 387
220.32/215.29	o 386
220.32/215.29	o 385
220.32/215.29	o 384
220.42/215.32	o 383
220.42/215.32	o 382
220.42/215.33	o 381
220.42/215.39	o 380
220.52/215.48	o 379
220.62/215.53	o 378
220.62/215.57	o 377
221.03/215.93	o 376
221.03/215.98	o 375
221.03/215.99	o 374
221.14/216.07	o 373
222.15/217.09	o 372
222.35/217.20	o 371
232.04/226.82	o 370
232.04/226.86	o 367
232.04/226.86	o 366
232.04/226.86	o 365
232.04/226.86	o 354
232.04/226.87	o 353
232.04/226.87	o 352
232.04/226.88	o 351
232.04/226.88	o 350
232.04/226.88	o 349
232.04/226.88	o 348
232.14/226.90	o 347
232.14/226.90	o 346
232.14/226.92	o 345
232.45/227.24	o 344
232.45/227.24	o 343
234.47/229.20	o 342
234.77/229.52	o 341
234.77/229.55	o 340
234.77/229.55	o 339
234.77/229.56	o 338
235.68/230.45	o 337
235.78/230.55	o 336
235.78/230.58	o 335
236.90/231.60	o 334
238.72/233.42	o 333
238.93/233.70	o 332
239.13/233.89	o 331
240.45/235.12	o 330
240.45/235.12	o 329
240.45/235.12	o 328
240.45/235.15	o 327
240.64/235.34	o 326
240.85/235.54	o 325
240.85/235.55	o 324
240.85/235.55	o 323
241.66/236.31	o 322
241.96/236.64	o 321
244.60/239.21	o 320
245.11/239.78	o 319
246.43/241.05	o 318
246.82/241.40	o 317
246.82/241.40	o 316
246.82/241.41	o 315
246.82/241.41	o 314
246.82/241.41	o 313
246.82/241.43	o 312
247.12/241.77	o 311
247.22/241.85	o 310
247.22/241.85	o 309
247.22/241.85	o 308
247.22/241.85	o 307
250.47/245.05	o 306
250.47/245.05	o 305
250.77/245.30	o 304
250.97/245.54	o 303
251.18/245.76	o 302
251.18/245.76	o 301
251.18/245.76	o 300
251.68/246.28	o 298
251.68/246.28	o 297
251.68/246.28	o 296
251.68/246.29	o 293
251.68/246.29	o 292
251.68/246.29	o 291
251.68/246.29	o 290
251.78/246.34	o 289
251.99/246.52	o 288
251.99/246.52	o 287
251.99/246.55	o 286
251.99/246.55	o 285
252.09/246.60	s SATISFIABLE
252.09/246.60	v <instantiation>
252.09/246.60	v 	<list>
252.09/246.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] c[93] c[94]
252.09/246.60	v 	</list>
252.09/246.60	v 	<values>
252.09/246.60	v 		2 4 2 8 5 2 8 2 3 13 14 1 1 3 3 1 1 1 1 1 1 9 79 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 2 2 4 2 4 4 2 8 2 7 1 6 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 56 
252.09/246.60	v 	</values>
252.09/246.60	v </instantiation>

Verifier Data 

OK	285

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310120-1534330326/watcher-4310120-1534330326 -o /tmp/evaluation-result-4310120-1534330326/solver-4310120-1534330326 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20217 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1637516420 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310120-1534330326.xml 

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

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

solver pid=21022, runsolver pid=21019

[startup+0.100148 s]*
/proc/loadavg: 1.78 1.78 1.68 5/220 21037
/proc/meminfo: memFree=24590860/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14082736 memory=31444 CPUtime=0.13 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 6773 0 0 0 12 1 0 0 20 0 15 0 250595811 14420721664 7861 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3520684 7861 3160 1 0 3482761 0
[pid=21022/tid=21024] ppid=21019 vsize=14082736 memory=-6368264061618273104 CPUtime=0.09 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 4826 0 0 0 9 0 0 0 20 0 15 0 250595812 14420721664 7861 33554432000 4194304 4196468 140726828756560 139863034263952 139863014118750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) S 21019 21022 20185 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) S 21019 21022 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862499665904 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0.01 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) S 21019 21022 20185 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 250595817 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862498613616 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 7861 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31444 KiB

[startup+0.210892 s]*
/proc/loadavg: 1.78 1.78 1.68 8/220 21037
/proc/meminfo: memFree=24540044/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14082736 memory=47240 CPUtime=0.31 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 10404 0 0 0 30 1 0 0 20 0 15 0 250595811 14420721664 11810 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3520684 11810 3366 1 0 3482761 0
[pid=21022/tid=21024] ppid=21019 vsize=14082736 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 8143 0 0 0 19 1 0 0 20 0 15 0 250595812 14420721664 11810 33554432000 4194304 4196468 140726828756560 139863034258016 139863014081893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14082736 memory=288370212763547264 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) R 21019 21022 20185 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 250595817 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) R 21019 21022 20185 0 -1 4202560 245 0 0 0 2 0 0 0 20 0 15 0 250595817 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862499665904 139863030059610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0.06 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) R 21019 21022 20185 0 -1 4202560 295 0 0 0 6 0 0 0 20 0 15 0 250595817 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862498608688 139863022056556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 11810 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47240 KiB

[startup+0.311117 s]*
/proc/loadavg: 1.78 1.78 1.68 5/220 21037
/proc/meminfo: memFree=24519504/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14082736 memory=50660 CPUtime=0.44 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 10799 0 0 0 43 1 0 0 20 0 15 0 250595811 14420721664 12665 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3520684 12665 3369 1 0 3482761 0
[pid=21022/tid=21024] ppid=21019 vsize=14082736 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 8498 0 0 0 29 1 0 0 20 0 15 0 250595812 14420721664 12665 33554432000 4194304 4196468 140726828756560 139863034249776 139863011601815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14082736 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14082736 memory=288370212763547264 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250595812 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250595814 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) S 21019 21022 20185 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 250595817 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) S 21019 21022 20185 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 15 0 250595817 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862499665904 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0.08 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) S 21019 21022 20185 0 -1 1077944384 312 0 0 0 8 0 0 0 20 0 15 0 250595817 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862498613616 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14082736 memory=139836611835520 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595817 14420721664 12665 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50660 KiB

[startup+0.700788 s]
/proc/loadavg: 1.78 1.78 1.68 6/220 21037
/proc/meminfo: memFree=24467892/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14084804 memory=88792 CPUtime=0.99 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 17607 0 0 0 94 5 0 0 20 0 15 0 250595811 14422839296 22198 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3521201 22198 3499 1 0 3483273 0
[pid=21022/tid=21024] ppid=21019 vsize=14084804 memory=230155352040836 CPUtime=0.68 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 14952 0 0 0 64 4 0 0 20 0 15 0 250595812 14422839296 22198 33554432000 4194304 4196468 140726828756560 139863034249040 139863022354772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14084804 memory=1285007 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14084804 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250595812 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250595814 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14084804 memory=-6439125508584595811 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250595814 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250595814 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14084804 memory=6655300316396806240 CPUtime=0.06 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) S 21019 21022 20185 0 -1 1077944384 524 0 0 0 6 0 0 0 20 0 15 0 250595817 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14084804 memory=-2605811476043407915 CPUtime=0.08 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) S 21019 21022 20185 0 -1 1077944384 385 0 0 0 8 0 0 0 20 0 15 0 250595817 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862499665904 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) S 21019 21022 20185 0 -1 1077944384 365 0 0 0 15 0 0 0 20 0 15 0 250595817 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862498613616 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595817 14422839296 22198 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88792 KiB

[startup+1.50073 s]
/proc/loadavg: 1.78 1.78 1.68 5/220 21037
/proc/meminfo: memFree=24403416/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14090948 memory=153940 CPUtime=2.96 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 29384 0 0 0 288 8 0 0 20 0 15 0 250595811 14429130752 38485 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3522737 38485 3543 1 0 3484809 0
[pid=21022/tid=21024] ppid=21019 vsize=14090948 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 19783 0 0 0 141 5 0 0 20 0 15 0 250595812 14429130752 38485 33554432000 4194304 4196468 140726828756560 139863034267504 139863030060093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14429130752 38485 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14429130752 38485 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250595812 14429130752 38485 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250595812 14429130752 38485 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 38485 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0

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

/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 25012 0 0 0 10154 9 0 0 20 0 15 0 250595812 14429130752 45257 33554432000 4194304 4196468 140726828756560 139863034276176 139862675284917 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14090948 memory=68220 CPUtime=0.3 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 2635 0 0 0 28 2 0 0 20 0 15 0 250595812 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14090948 memory=181028 CPUtime=0.3 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 3076 0 0 0 28 2 0 0 20 0 15 0 250595812 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14090948 memory=181028 CPUtime=0.3 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 1950 0 0 0 28 2 0 0 20 0 15 0 250595812 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14090948 memory=178980 CPUtime=0.3 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 1115 0 0 0 28 2 0 0 20 0 15 0 250595812 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14090948 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 1641 0 0 0 22 1 0 0 20 0 15 0 250595814 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14090948 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14090948 memory=4548 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14090948 memory=181028 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14090948 memory=181028 CPUtime=1.17 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) S 21019 21022 20185 0 -1 1077944384 3387 0 0 0 117 0 0 0 20 0 15 0 250595817 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14090948 memory=181028 CPUtime=1.12 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) S 21019 21022 20185 0 -1 1077944384 6245 0 0 0 112 0 0 0 20 0 15 0 250595817 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862499665904 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14090948 memory=3500 CPUtime=0.74 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) S 21019 21022 20185 0 -1 1077944384 10150 0 0 0 73 1 0 0 20 0 15 0 250595817 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862498613616 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14090948 memory=176932 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14090948 memory=1828 CPUtime=0.04 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 598 0 0 0 1 3 0 0 20 0 15 0 250595817 14429130752 45257 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 106.21 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 181028 KiB

[startup+162.301 s]
/proc/loadavg: 1.55 1.60 1.62 3/221 21085
/proc/meminfo: memFree=24354292/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14090948 memory=187164 CPUtime=166.84 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 60240 0 0 0 16655 29 0 0 20 0 15 0 250595811 14429130752 46791 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3522737 46791 3577 1 0 3484809 0
[pid=21022/tid=21024] ppid=21019 vsize=14090948 memory=183076 CPUtime=161.23 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 25926 0 0 0 16114 9 0 0 20 0 15 0 250595812 14429130752 46791 33554432000 4194304 4196468 140726828756560 139863034276448 139862675047757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14090948 memory=185116 CPUtime=0.5 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 3580 0 0 0 47 3 0 0 20 0 15 0 250595812 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14090948 memory=185116 CPUtime=0.51 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 3440 0 0 0 49 2 0 0 20 0 15 0 250595812 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14090948 memory=183068 CPUtime=0.51 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 2166 0 0 0 48 3 0 0 20 0 15 0 250595812 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14090948 memory=187164 CPUtime=0.5 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 1401 0 0 0 47 3 0 0 20 0 15 0 250595812 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14090948 memory=187164 CPUtime=0.38 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 1897 0 0 0 36 2 0 0 20 0 15 0 250595814 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14090948 memory=187164 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14090948 memory=187164 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14090948 memory=187164 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14090948 memory=187164 CPUtime=1.17 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) S 21019 21022 20185 0 -1 1077944384 3389 0 0 0 117 0 0 0 20 0 15 0 250595817 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14090948 memory=164 CPUtime=1.12 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) S 21019 21022 20185 0 -1 1077944384 6248 0 0 0 112 0 0 0 20 0 15 0 250595817 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862499665904 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14090948 memory=185116 CPUtime=0.74 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) S 21019 21022 20185 0 -1 1077944384 10153 0 0 0 73 1 0 0 20 0 15 0 250595817 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862498613616 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14090948 memory=187164 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14090948 memory=187164 CPUtime=0.07 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 620 0 0 0 3 4 0 0 20 0 15 0 250595817 14429130752 46791 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 166.84 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 187164 KiB

[startup+222.301 s]
/proc/loadavg: 1.49 1.60 1.63 3/219 21087
/proc/meminfo: memFree=24343800/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14090948 memory=192784 CPUtime=227.5 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 62190 0 0 0 22715 35 0 0 20 0 15 0 250595811 14429130752 48196 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3522737 48196 3577 1 0 3484809 0
[pid=21022/tid=21024] ppid=21019 vsize=14090948 memory=191248 CPUtime=220.82 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 26213 0 0 0 22072 10 0 0 20 0 15 0 250595812 14429130752 48196 33554432000 4194304 4196468 140726828756560 139863034276448 139862675290356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14090948 memory=191248 CPUtime=0.74 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 3755 0 0 0 69 5 0 0 20 0 15 0 250595812 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14090948 memory=191248 CPUtime=0.75 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 3614 0 0 0 71 4 0 0 20 0 15 0 250595812 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14090948 memory=190736 CPUtime=0.73 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 2429 0 0 0 69 4 0 0 20 0 15 0 250595812 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14090948 memory=192784 CPUtime=0.73 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 1614 0 0 0 69 4 0 0 20 0 15 0 250595812 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14090948 memory=192784 CPUtime=0.52 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 1908 0 0 0 49 3 0 0 20 0 15 0 250595814 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14090948 memory=192784 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14090948 memory=194844 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14090948 memory=191764 CPUtime=1.17 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) S 21019 21022 20185 0 -1 1077944384 3389 0 0 0 117 0 0 0 20 0 15 0 250595817 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14090948 memory=192784 CPUtime=1.12 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) S 21019 21022 20185 0 -1 1077944384 6468 0 0 0 112 0 0 0 20 0 15 0 250595817 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862499665904 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14090948 memory=192784 CPUtime=0.75 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) S 21019 21022 20185 0 -1 1077944384 10757 0 0 0 74 1 0 0 20 0 15 0 250595817 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862498613616 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14090948 memory=192784 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14090948 memory=3500 CPUtime=0.1 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 623 0 0 0 5 5 0 0 20 0 15 0 250595817 14429130752 48196 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 227.5 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 192784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.601 s]
/proc/loadavg: 1.53 1.60 1.62 3/219 21088
/proc/meminfo: memFree=24336824/32770624 swapFree=67108840/67108860
[pid=21022] ppid=21019 vsize=14090948 memory=200064 CPUtime=252.09 cores=1,3,5,7
/proc/21022/stat : 21022 (java) S 21019 21022 20185 0 -1 1077944320 64708 0 0 0 25172 37 0 0 20 0 15 0 250595811 14429130752 50016 33554432000 4194304 4196468 140726828756560 140726828739104 139863030038263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
/proc/21022/statm: 3522737 50016 3577 1 0 3484809 0
[pid=21022/tid=21024] ppid=21019 vsize=14090948 memory=752 CPUtime=244.95 cores=1,3,5,7
/proc/21022/task/21024/stat : 21024 (java) R 21019 21022 20185 0 -1 4202560 27012 0 0 0 24485 10 0 0 20 0 15 0 250595812 14429130752 50016 33554432000 4194304 4196468 140726828756560 139863034268048 139862675205784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21025] ppid=21019 vsize=14090948 memory=1224 CPUtime=0.83 cores=1,3,5,7
/proc/21022/task/21025/stat : 21025 (java) S 21019 21022 20185 0 -1 1077944384 3869 0 0 0 78 5 0 0 20 0 15 0 250595812 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862625937808 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21026] ppid=21019 vsize=14090948 memory=6791534058613427641 CPUtime=0.84 cores=1,3,5,7
/proc/21022/task/21026/stat : 21026 (java) S 21019 21022 20185 0 -1 1077944384 3627 0 0 0 80 4 0 0 20 0 15 0 250595812 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862624885008 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21027] ppid=21019 vsize=14090948 memory=1828 CPUtime=0.82 cores=1,3,5,7
/proc/21022/task/21027/stat : 21027 (java) S 21019 21022 20185 0 -1 1077944384 2749 0 0 0 78 4 0 0 20 0 15 0 250595812 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862623832720 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21028] ppid=21019 vsize=14090948 memory=5728 CPUtime=0.83 cores=1,3,5,7
/proc/21022/task/21028/stat : 21028 (java) S 21019 21022 20185 0 -1 1077944384 1719 0 0 0 79 4 0 0 20 0 15 0 250595812 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862622779920 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21029] ppid=21019 vsize=14090948 memory=1408 CPUtime=0.58 cores=1,3,5,7
/proc/21022/task/21029/stat : 21029 (java) S 21019 21022 20185 0 -1 1077944384 2150 0 0 0 54 4 0 0 20 0 15 0 250595814 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862504929904 139863030049410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21030] ppid=21019 vsize=14090948 memory=924 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21030/stat : 21030 (java) S 21019 21022 20185 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862503875872 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21031] ppid=21019 vsize=14090948 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21031/stat : 21031 (java) S 21019 21022 20185 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250595814 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862502823536 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21032] ppid=21019 vsize=14090948 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21032/stat : 21032 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862501771856 139863030056859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21033] ppid=21019 vsize=14090948 memory=928 CPUtime=1.17 cores=1,3,5,7
/proc/21022/task/21033/stat : 21033 (java) S 21019 21022 20185 0 -1 1077944384 3448 0 0 0 117 0 0 0 20 0 15 0 250595817 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862500718704 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21034] ppid=21019 vsize=14090948 memory=2216 CPUtime=1.12 cores=1,3,5,7
/proc/21022/task/21034/stat : 21034 (java) S 21019 21022 20185 0 -1 1077944384 6468 0 0 0 112 0 0 0 20 0 15 0 250595817 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862499665904 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21035] ppid=21019 vsize=14090948 memory=4548 CPUtime=0.75 cores=1,3,5,7
/proc/21022/task/21035/stat : 21035 (java) S 21019 21022 20185 0 -1 1077944384 11598 0 0 0 74 1 0 0 20 0 15 0 250595817 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862498613616 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21036] ppid=21019 vsize=14090948 memory=15188 CPUtime=0 cores=1,3,5,7
/proc/21022/task/21036/stat : 21036 (java) S 21019 21022 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250595817 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862497561056 139863030048469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
[pid=21022/tid=21037] ppid=21019 vsize=14090948 memory=4008 CPUtime=0.1 cores=1,3,5,7
/proc/21022/task/21037/stat : 21037 (java) S 21019 21022 20185 0 -1 1077944384 648 0 0 0 5 5 0 0 20 0 15 0 250595817 14429130752 50016 33554432000 4194304 4196468 140726828756560 139862496508848 139863030049410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17526784 140726828758094 140726828758286 140726828758286 140726828761039 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 200064 KiB

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

[startup+246.616 s]
# the end of solver process 21022 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.727 s, system=0.385018 s

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

Child status: 143
Real time (s): 246.616
CPU time (s): 252.112
CPU user time (s): 251.727
CPU system time (s): 0.385018
CPU usage (%): 102.229
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 248988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.727
system time used= 0.385018
maximum resident set size= 249460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21468
involuntary context switches= 605


# summary of solver processes directly reported to runsolver:
#   pid: 21022
#   total CPU time (s): 252.112
#   total CPU user time (s): 251.727
#   total CPU system time (s): 0.385018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81031 second user time and 2.19552 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 12:52:06
IDJOB=4310120
IDBENCH=141226
IDSOLVER=2795
FILE ID=node135/4310120-1534330326
RUNJOBID= node135-1534329094-20217
PBS_JOBID= 21038158
Free space on /tmp= 47172 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-myciel6_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310120-1534330326/watcher-4310120-1534330326 -o /tmp/evaluation-result-4310120-1534330326/solver-4310120-1534330326 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20217 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1637516420 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310120-1534330326.xml

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

MD5SUM BENCH= 12e75aa9ea5684230fdaa5ddf97691cc
RANDOM SEED=1637516420

node135.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:        24632760 kB
MemAvailable:   31841792 kB
Buffers:          160896 kB
Cached:          7282484 kB
SwapCached:           20 kB
Active:          4090260 kB
Inactive:        3464412 kB
Active(anon):      60648 kB
Inactive(anon):   111464 kB
Active(file):    4029612 kB
Inactive(file):  3352948 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             35772 kB
Writeback:             0 kB
AnonPages:        213292 kB
Mapped:            68292 kB
Shmem:             57996 kB
Slab:             282996 kB
SReclaimable:     254932 kB
SUnreclaim:        28064 kB
KernelStack:        3600 kB
PageTables:         4528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1311744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 47136 MiB
End job on node135 at 2018-08-15 12:56:13