Trace number 4311748

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-17SAT (TO)311 2520.04 2493.12

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 benchmark98
Best CPU time to get the best result obtained on this benchmark2520.12
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.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1307659030
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
2.08/1.25	c Parsing done, starting search...
2.32/1.34	o 4632
2.99/1.67	o 4629
2.99/1.67	o 4628
2.99/1.67	o 4624
2.99/1.67	o 4623
2.99/1.67	o 4622
2.99/1.67	o 4614
2.99/1.67	o 4613
2.99/1.67	o 4609
2.99/1.67	o 4608
2.99/1.67	o 4607
2.99/1.67	o 4590
2.99/1.67	o 4589
2.99/1.67	o 4586
2.99/1.67	o 4545
2.99/1.67	o 4524
2.99/1.67	o 4518
2.99/1.67	o 4516
2.99/1.67	o 4515
2.99/1.67	o 4514
2.99/1.67	o 4507
2.99/1.67	o 4497
2.99/1.67	o 4496
2.99/1.67	o 4495
2.99/1.67	o 4486
2.99/1.67	o 4467
2.99/1.67	o 4466
2.99/1.67	o 4461
2.99/1.67	o 4460
2.99/1.67	o 4458
2.99/1.67	o 4457
2.99/1.67	o 4454
2.99/1.67	o 4453
2.99/1.67	o 4452
2.99/1.67	o 4391
2.99/1.67	o 4390
2.99/1.67	o 4389
2.99/1.67	o 4388
2.99/1.67	o 4387
2.99/1.67	o 4386
2.99/1.67	o 4382
2.99/1.67	o 4381
2.99/1.67	o 4379
2.99/1.67	o 4378
2.99/1.67	o 4377
2.99/1.67	o 4376
2.99/1.67	o 4371
2.99/1.67	o 4362
2.99/1.67	o 4361
2.99/1.67	o 4360
2.99/1.67	o 4359
2.99/1.67	o 4358
2.99/1.67	o 4355
2.99/1.67	o 4331
2.99/1.67	o 4321
2.99/1.67	o 4320
2.99/1.67	o 4318
2.99/1.67	o 4317
2.99/1.67	o 4316
2.99/1.67	o 4292
2.99/1.67	o 4290
2.99/1.67	o 4289
2.99/1.67	o 4288
2.99/1.67	o 4286
2.99/1.67	o 4285
2.99/1.67	o 4275
2.99/1.67	o 4253
2.99/1.67	o 4243
2.99/1.67	o 4235
2.99/1.67	o 4234
2.99/1.67	o 4233
2.99/1.67	o 4232
2.99/1.67	o 4224
2.99/1.67	o 4221
2.99/1.67	o 4220
2.99/1.67	o 4219
2.99/1.67	o 4218
2.99/1.67	o 4217
2.99/1.67	o 4216
2.99/1.67	o 4215
2.99/1.67	o 4214
2.99/1.67	o 4213
2.99/1.67	o 4211
2.99/1.67	o 4185
2.99/1.67	o 4180
2.99/1.67	o 4166
2.99/1.67	o 4161
2.99/1.67	o 4159
2.99/1.67	o 4158
2.99/1.67	o 4157
2.99/1.67	o 4156
2.99/1.67	o 4155
2.99/1.67	o 4153
2.99/1.67	o 4152
2.99/1.67	o 4151
2.99/1.67	o 4150
2.99/1.67	o 4149
2.99/1.67	o 4148
2.99/1.67	o 4147
2.99/1.67	o 4146
2.99/1.67	o 4145
2.99/1.67	o 4144
2.99/1.67	o 4143
2.99/1.67	o 4142
2.99/1.67	o 4141
2.99/1.67	o 4139
2.99/1.67	o 4138
2.99/1.67	o 4137
2.99/1.67	o 4129
2.99/1.67	o 4127
2.99/1.67	o 4126
2.99/1.67	o 4124
2.99/1.67	o 4123
2.99/1.67	o 4096
2.99/1.67	o 4093
2.99/1.67	o 4092
2.99/1.67	o 4083
2.99/1.67	o 4082
2.99/1.67	o 4081
2.99/1.67	o 4080
2.99/1.67	o 4079
2.99/1.67	o 4054
2.99/1.67	o 4053
2.99/1.67	o 4052
2.99/1.67	o 4048
2.99/1.67	o 4047
2.99/1.67	o 4046
2.99/1.67	o 4045
2.99/1.67	o 4033
2.99/1.67	o 4023
2.99/1.67	o 4021
2.99/1.67	o 3992
2.99/1.67	o 3990
2.99/1.67	o 3989
2.99/1.67	o 3988
2.99/1.67	o 3987
2.99/1.67	o 3986
2.99/1.67	o 3976
2.99/1.67	o 3975
2.99/1.67	o 3964
2.99/1.67	o 3963
2.99/1.67	o 3954
2.99/1.67	o 3953
2.99/1.67	o 3946
2.99/1.67	o 3945
2.99/1.67	o 3941
2.99/1.67	o 3939
2.99/1.67	o 3937
2.99/1.67	o 3936
2.99/1.67	o 3935
2.99/1.67	o 3934
2.99/1.67	o 3925
2.99/1.67	o 3923
2.99/1.67	o 3922
2.99/1.67	o 3921
2.99/1.67	o 3920
2.99/1.67	o 3919
2.99/1.67	o 3918
2.99/1.67	o 3916
2.99/1.67	o 3915
2.99/1.67	o 3913
2.99/1.67	o 3912
2.99/1.67	o 3911
2.99/1.67	o 3910
2.99/1.67	o 3909
2.99/1.67	o 3908
2.99/1.67	o 3907
2.99/1.67	o 3890
2.99/1.67	o 3889
2.99/1.67	o 3888
2.99/1.67	o 3882
2.99/1.67	o 3881
2.99/1.67	o 3880
2.99/1.67	o 3879
2.99/1.67	o 3876
2.99/1.67	o 3875
2.99/1.67	o 3874
2.99/1.67	o 3873
2.99/1.67	o 3872
2.99/1.67	o 3871
2.99/1.67	o 3867
2.99/1.67	o 3864
2.99/1.67	o 3861
2.99/1.67	o 3860
2.99/1.67	o 3859
2.99/1.67	o 3850
2.99/1.67	o 3849
2.99/1.67	o 3848
2.99/1.67	o 3847
2.99/1.67	o 3846
2.99/1.67	o 3845
2.99/1.67	o 3844
2.99/1.67	o 3843
2.99/1.67	o 3842
2.99/1.67	o 3841
2.99/1.67	o 3840
2.99/1.67	o 3839
2.99/1.67	o 3838
2.99/1.67	o 3837
2.99/1.67	o 3836
2.99/1.67	o 3822
2.99/1.67	o 3821
2.99/1.67	o 3820
2.99/1.67	o 3819
2.99/1.67	o 3818
2.99/1.67	o 3816
2.99/1.67	o 3815
2.99/1.67	o 3814
2.99/1.67	o 3813
2.99/1.67	o 3812
2.99/1.67	o 3811
2.99/1.67	o 3810
2.99/1.67	o 3809
2.99/1.67	o 3808
2.99/1.67	o 3807
2.99/1.67	o 3806
2.99/1.67	o 3805
2.99/1.67	o 3804
2.99/1.67	o 3803
2.99/1.67	o 3802
2.99/1.67	o 3801
2.99/1.69	o 3800
2.99/1.69	o 3799
2.99/1.74	o 3798
2.99/1.75	o 3797
3.82/1.79	o 3796
3.89/1.87	o 3795
4.16/1.91	o 3794
4.39/2.01	o 3793
4.39/2.01	o 3792
4.39/2.01	o 3790
4.39/2.01	o 3789
4.39/2.01	o 3788
4.39/2.01	o 3787
4.39/2.02	o 3784
4.39/2.02	o 3783
4.39/2.02	o 3782
4.39/2.02	o 3781
4.39/2.02	o 3778
4.39/2.02	o 3771
4.39/2.02	o 3770
4.39/2.02	o 3769
4.39/2.02	o 3757
4.39/2.02	o 3756
4.39/2.02	o 3755
4.39/2.02	o 3745
4.39/2.02	o 3743
4.39/2.02	o 3739
4.39/2.02	o 3738
4.39/2.02	o 3737
4.39/2.02	o 3736
4.39/2.02	o 3735
4.39/2.02	o 3734
4.39/2.02	o 3733
4.39/2.02	o 3732
4.39/2.02	o 3731
4.39/2.02	o 3722
4.39/2.02	o 3719
4.39/2.02	o 3718
4.39/2.02	o 3717
4.39/2.03	o 3716
4.39/2.03	o 3715
4.39/2.03	o 3714
4.39/2.03	o 3713
4.39/2.03	o 3712
4.39/2.03	o 3711
4.39/2.04	o 3710
4.39/2.04	o 3709
4.39/2.05	o 3708
4.39/2.07	o 3707
4.39/2.07	o 3706
4.39/2.07	o 3705
4.58/2.11	o 3704
4.70/2.26	o 3703
4.70/2.26	o 3702
4.70/2.26	o 3701
4.70/2.26	o 3700
4.70/2.26	o 3699
4.70/2.26	o 3698
4.70/2.26	o 3697
4.70/2.26	o 3696
4.70/2.26	o 3694
4.70/2.26	o 3693
4.70/2.26	o 3690
4.70/2.26	o 3689
4.70/2.26	o 3688
4.70/2.26	o 3685
4.70/2.26	o 3684
4.70/2.26	o 3679
4.70/2.26	o 3674
4.70/2.26	o 3671
4.70/2.27	o 3670
4.70/2.27	o 3663
4.70/2.27	o 3662
4.70/2.27	o 3660
4.70/2.27	o 3659
4.70/2.27	o 3658
4.70/2.27	o 3657
4.70/2.27	o 3656
4.70/2.27	o 3655
4.70/2.27	o 3654
4.70/2.27	o 3653
4.70/2.27	o 3652
4.70/2.27	o 3651
4.70/2.27	o 3650
4.70/2.27	o 3649
4.70/2.28	o 3648
4.93/2.41	o 3647
4.93/2.41	o 3646
4.93/2.42	o 3645
4.93/2.42	o 3644
4.93/2.42	o 3642
4.93/2.42	o 3641
4.93/2.42	o 3640
4.93/2.42	o 3639
4.93/2.42	o 3636
4.93/2.42	o 3635
4.93/2.42	o 3634
4.93/2.42	o 3633
4.93/2.42	o 3631
4.93/2.42	o 3630
4.93/2.42	o 3629
4.93/2.47	o 3628
5.10/2.56	o 3627
5.10/2.56	o 3626
5.20/2.66	o 3625
5.30/2.78	o 3624
5.51/2.97	o 3623
5.51/2.99	o 3622
5.61/3.04	o 3621
5.61/3.04	o 3620
5.61/3.04	o 3617
5.61/3.05	o 3615
5.61/3.05	o 3614
5.61/3.05	o 3612
5.61/3.05	o 3609
5.61/3.05	o 3607
5.61/3.05	o 3606
5.61/3.05	o 3605
5.61/3.05	o 3604
5.61/3.06	o 3601
5.61/3.06	o 3596
5.61/3.06	o 3595
5.61/3.06	o 3594
5.61/3.06	o 3593
5.61/3.06	o 3592
5.61/3.07	o 3591
5.74/3.20	o 3590
5.74/3.20	o 3589
5.85/3.21	o 3588
5.85/3.25	o 3587
5.94/3.37	o 3586
6.24/3.65	o 3585
6.24/3.65	o 3584
6.24/3.65	o 3583
6.24/3.65	o 3582
6.24/3.65	o 3581
6.24/3.66	o 3580
6.24/3.66	o 3579
6.24/3.66	o 3578
6.24/3.67	o 3577
6.24/3.67	o 3576
6.24/3.67	o 3575
6.24/3.67	o 3574
6.35/3.73	o 3573
6.35/3.73	o 3572
6.35/3.74	o 3569
6.35/3.74	o 3564
6.35/3.74	o 3555
6.35/3.74	o 3551
6.35/3.74	o 3550
6.35/3.74	o 3547
6.35/3.74	o 3546
6.35/3.74	o 3542
6.35/3.74	o 3541
6.35/3.74	o 3540
6.35/3.74	o 3539
6.35/3.74	o 3534
6.35/3.74	o 3533
6.35/3.74	o 3532
6.35/3.74	o 3528
6.35/3.74	o 3527
6.35/3.74	o 3525
6.35/3.74	o 3524
6.35/3.74	o 3523
6.35/3.74	o 3522
6.35/3.74	o 3521
6.35/3.74	o 3520
6.35/3.74	o 3519
6.35/3.74	o 3518
6.35/3.74	o 3513
6.35/3.74	o 3512
6.35/3.74	o 3511
6.35/3.74	o 3510
6.35/3.74	o 3508
6.35/3.74	o 3507
6.35/3.74	o 3506
6.35/3.74	o 3505
6.35/3.74	o 3504
6.35/3.75	o 3503
6.35/3.75	o 3502
6.35/3.75	o 3501
6.35/3.75	o 3500
6.35/3.75	o 3499
6.35/3.75	o 3498
6.35/3.75	o 3497
6.35/3.75	o 3496
6.35/3.75	o 3495
6.35/3.75	o 3494
6.35/3.75	o 3492
6.35/3.75	o 3491
6.35/3.75	o 3490
6.35/3.75	o 3489
6.35/3.75	o 3487
6.35/3.75	o 3486
6.35/3.76	o 3485
6.35/3.79	o 3484
6.48/3.81	o 3483
6.48/3.82	o 3475
6.48/3.82	o 3472
6.48/3.82	o 3467
6.48/3.82	o 3464
6.48/3.82	o 3461
6.48/3.82	o 3460
6.48/3.82	o 3459
6.48/3.82	o 3458
6.48/3.82	o 3439
6.48/3.82	o 3437
6.48/3.82	o 3436
6.48/3.82	o 3430
6.48/3.82	o 3416
6.48/3.82	o 3411
6.48/3.82	o 3409
6.48/3.82	o 3408
6.48/3.82	o 3407
6.48/3.82	o 3406
6.48/3.82	o 3405
6.48/3.83	o 3404
6.48/3.83	o 3403
6.48/3.83	o 3402
6.48/3.83	o 3401
6.48/3.85	o 3400
6.48/3.86	o 3399
6.62/3.95	o 3398
6.92/4.20	o 3397
7.03/4.26	o 3396
7.03/4.27	o 3395
7.03/4.28	o 3345
7.03/4.28	o 3343
7.03/4.28	o 3340
7.03/4.28	o 3328
7.03/4.28	o 3327
7.03/4.28	o 3316
7.03/4.28	o 3313
7.03/4.28	o 3309
7.03/4.28	o 3307
7.03/4.28	o 3305
7.03/4.28	o 3304
7.03/4.28	o 3303
7.51/4.73	o 3302
7.51/4.73	o 3301
7.51/4.73	o 3300
7.51/4.73	o 3299
7.51/4.78	o 3297
7.51/4.78	o 3291
7.51/4.78	o 3290
7.51/4.79	o 3289
7.51/4.79	o 3286
7.51/4.79	o 3285
7.51/4.79	o 3284
7.51/4.79	o 3280
7.51/4.79	o 3279
7.51/4.79	o 3278
7.51/4.79	o 3277
7.51/4.79	o 3276
7.51/4.79	o 3274
7.51/4.79	o 3273
7.61/4.82	o 3272
7.61/4.84	o 3270
7.61/4.84	o 3269
7.72/4.92	o 3268
7.82/5.07	o 3265
7.82/5.07	o 3264
7.82/5.07	o 3263
7.82/5.07	o 3261
7.82/5.07	o 3260
7.82/5.07	o 3258
7.82/5.07	o 3257
7.82/5.07	o 3256
7.82/5.07	o 3255
7.82/5.07	o 3223
7.82/5.07	o 3222
7.82/5.07	o 3215
7.82/5.07	o 3214
7.82/5.07	o 3212
7.82/5.07	o 3211
7.82/5.07	o 3210
7.82/5.07	o 3209
7.82/5.07	o 3206
7.82/5.07	o 3205
7.82/5.08	o 3204
7.82/5.08	o 3203
7.82/5.09	o 3202
7.82/5.09	o 3201
7.82/5.10	o 3200
7.93/5.13	o 3199
7.93/5.13	o 3198
7.93/5.14	o 3197
7.93/5.15	o 3196
8.03/5.27	o 3195
8.03/5.27	o 3194
8.03/5.28	o 3193
8.03/5.28	o 3192
8.03/5.28	o 3191
8.03/5.28	o 3189
8.03/5.28	o 3188
8.13/5.30	o 3187
8.13/5.30	o 3186
8.13/5.33	o 3185
8.13/5.34	o 3184
8.85/6.05	o 3183
8.96/6.13	o 3182
8.96/6.13	o 3181
8.96/6.13	o 3180
8.96/6.13	o 3179
8.96/6.14	o 3176
8.96/6.14	o 3171
8.96/6.14	o 3169
8.96/6.14	o 3168
8.96/6.14	o 3164
8.96/6.14	o 3163
8.96/6.14	o 3162
8.96/6.14	o 3161
8.96/6.14	o 3137
8.96/6.14	o 3136
8.96/6.14	o 3135
8.96/6.14	o 3130
8.96/6.14	o 3129
8.96/6.14	o 3128
8.96/6.14	o 3127
8.96/6.14	o 3126
8.96/6.14	o 3125
8.96/6.14	o 3124
8.96/6.14	o 3123
8.96/6.15	o 3122
8.96/6.15	o 3121
8.96/6.20	o 3120
9.06/6.25	o 3114
9.06/6.25	o 3103
9.06/6.25	o 3101
9.06/6.25	o 3098
9.06/6.25	o 3097
9.06/6.25	o 3096
9.06/6.25	o 3095
9.06/6.25	o 3091
9.06/6.25	o 3090
9.06/6.25	o 3087
9.06/6.25	o 3086
9.06/6.25	o 3082
9.06/6.25	o 3071
9.06/6.25	o 3068
9.06/6.25	o 3066
9.06/6.25	o 3065
9.06/6.25	o 3064
9.20/6.30	o 3063
9.20/6.30	o 3060
9.20/6.31	o 3059
9.20/6.31	o 3058
9.20/6.31	o 3057
9.20/6.31	o 3056
9.20/6.31	o 3055
9.20/6.36	o 3054
9.47/6.54	o 3053
9.47/6.54	o 3052
9.47/6.54	o 3051
9.47/6.54	o 3050
9.47/6.55	o 3049
9.47/6.55	o 3048
9.47/6.55	o 3047
9.47/6.55	o 3046
9.47/6.58	o 3045
9.47/6.59	o 3044
9.57/6.60	o 3043
9.57/6.60	o 3042
9.57/6.63	o 3041
9.67/6.79	o 3040
9.77/6.84	o 3038
9.77/6.84	o 3037
9.77/6.84	o 3036
9.77/6.84	o 3033
9.77/6.84	o 3030
9.77/6.84	o 3029
9.77/6.84	o 3023
9.77/6.84	o 3022
9.77/6.85	o 3021
9.77/6.85	o 3020
9.77/6.85	o 3019
9.77/6.85	o 3017
9.87/6.91	o 3016
9.87/6.91	o 3015
9.87/6.91	o 3014
10.08/7.11	o 3010
10.08/7.11	o 3009
10.08/7.11	o 3008
10.08/7.11	o 3007
10.08/7.11	o 3001
10.08/7.11	o 3000
10.08/7.11	o 2999
10.08/7.11	o 2998
10.08/7.11	o 2996
10.08/7.11	o 2980
10.08/7.11	o 2970
10.08/7.11	o 2961
10.08/7.11	o 2959
10.08/7.11	o 2958
10.08/7.11	o 2957
10.08/7.17	o 2956
10.21/7.25	o 2955
10.21/7.25	o 2954
10.21/7.25	o 2953
10.21/7.25	o 2952
10.21/7.25	o 2951
10.21/7.25	o 2950
10.21/7.25	o 2949
10.21/7.25	o 2948
10.21/7.25	o 2947
10.21/7.25	o 2945
10.21/7.25	o 2944
10.21/7.25	o 2943
10.21/7.25	o 2942
10.21/7.25	o 2941
10.21/7.25	o 2940
10.21/7.25	o 2936
10.21/7.25	o 2935
10.21/7.25	o 2934
10.21/7.25	o 2930
10.21/7.25	o 2929
10.21/7.26	o 2928
10.21/7.26	o 2927
10.21/7.26	o 2924
10.21/7.26	o 2923
10.21/7.26	o 2922
10.21/7.26	o 2910
10.21/7.26	o 2909
10.21/7.26	o 2908
10.21/7.26	o 2907
10.21/7.26	o 2906
10.21/7.26	o 2905
10.21/7.26	o 2904
10.21/7.26	o 2902
10.21/7.26	o 2901
10.21/7.26	o 2900
10.21/7.26	o 2899
10.21/7.26	o 2898
10.21/7.26	o 2897
10.21/7.26	o 2896
10.21/7.26	o 2895
10.21/7.26	o 2894
10.21/7.26	o 2893
10.21/7.28	o 2892
10.21/7.28	o 2891
10.21/7.28	o 2890
10.62/7.56	o 2889
10.62/7.57	o 2888
10.62/7.57	o 2887
10.62/7.57	o 2886
10.62/7.57	o 2885
10.62/7.57	o 2884
10.62/7.57	o 2883
10.62/7.57	o 2882
10.62/7.57	o 2863
10.62/7.57	o 2862
10.62/7.57	o 2861
10.62/7.57	o 2836
10.62/7.57	o 2835
10.62/7.57	o 2834
10.62/7.57	o 2833
10.62/7.57	o 2832
10.62/7.57	o 2831
10.62/7.57	o 2830
10.62/7.57	o 2829
10.62/7.57	o 2828
10.62/7.59	o 2826
10.62/7.59	o 2825
10.72/7.63	o 2824
10.72/7.63	o 2823
10.72/7.63	o 2822
10.72/7.63	o 2821
10.72/7.63	o 2820
10.72/7.63	o 2815
10.72/7.63	o 2814
10.72/7.63	o 2813
10.72/7.63	o 2812
10.72/7.63	o 2810
10.72/7.63	o 2809
10.72/7.63	o 2808
10.72/7.63	o 2806
10.72/7.63	o 2805
10.72/7.63	o 2804
10.72/7.63	o 2803
10.72/7.64	o 2802
10.72/7.64	o 2801
10.72/7.64	o 2800
10.72/7.64	o 2799
10.72/7.66	o 2795
10.72/7.66	o 2793
10.72/7.66	o 2791
10.72/7.66	o 2790
10.72/7.66	o 2786
10.72/7.66	o 2785
10.72/7.66	o 2783
10.72/7.66	o 2782
10.72/7.66	o 2781
10.72/7.66	o 2780
10.72/7.66	o 2779
10.72/7.66	o 2778
10.72/7.66	o 2777
10.72/7.66	o 2776
10.72/7.66	o 2774
10.72/7.66	o 2773
10.72/7.66	o 2772
10.72/7.67	o 2771
10.72/7.67	o 2770
10.72/7.67	o 2769
10.72/7.67	o 2767
10.72/7.67	o 2766
10.72/7.67	o 2765
10.72/7.67	o 2764
10.72/7.67	o 2760
10.72/7.67	o 2759
10.72/7.67	o 2758
10.72/7.67	o 2752
10.72/7.67	o 2751
10.72/7.68	o 2750
10.72/7.68	o 2749
10.72/7.68	o 2748
10.72/7.68	o 2747
10.72/7.68	o 2746
10.72/7.68	o 2745
10.72/7.68	o 2744
10.72/7.68	o 2743
10.72/7.68	o 2742
10.72/7.68	o 2741
10.72/7.68	o 2740
10.72/7.68	o 2739
10.72/7.68	o 2738
10.72/7.68	o 2737
10.72/7.68	o 2736
10.72/7.68	o 2735
10.82/7.71	o 2734
10.82/7.76	o 2733
10.82/7.76	o 2732
10.82/7.76	o 2731
10.82/7.78	o 2729
10.82/7.78	o 2713
10.82/7.78	o 2712
10.82/7.78	o 2711
10.82/7.78	o 2710
10.82/7.78	o 2709
10.82/7.78	o 2708
10.82/7.78	o 2707
10.82/7.78	o 2706
10.82/7.78	o 2705
10.82/7.78	o 2704
10.82/7.78	o 2703
10.82/7.79	o 2701
10.82/7.79	o 2700
10.82/7.80	o 2698
10.92/7.80	o 2697
10.92/7.80	o 2696
10.92/7.80	o 2695
11.14/8.03	o 2694
11.14/8.03	o 2693
11.14/8.03	o 2692
11.14/8.07	o 2679
11.14/8.07	o 2675
11.14/8.07	o 2672
11.14/8.07	o 2648
11.14/8.07	o 2641
11.14/8.07	o 2613
11.14/8.07	o 2612
11.14/8.07	o 2611
11.14/8.07	o 2610
11.14/8.07	o 2609
11.14/8.07	o 2608
11.14/8.07	o 2607
11.14/8.08	o 2606
11.14/8.08	o 2605
11.14/8.08	o 2604
11.14/8.08	o 2603
11.14/8.08	o 2602
11.14/8.10	o 2601
11.14/8.10	o 2600
11.24/8.20	o 2599
11.24/8.20	o 2598
11.34/8.23	o 2597
11.34/8.24	o 2596
11.34/8.24	o 2595
11.34/8.24	o 2594
11.34/8.24	o 2593
11.34/8.25	o 2592
11.34/8.25	o 2549
11.34/8.25	o 2548
11.34/8.25	o 2538
11.34/8.25	o 2537
11.34/8.27	o 2536
11.34/8.27	o 2535
11.34/8.28	o 2534
11.44/8.30	o 2532
11.44/8.30	o 2531
11.44/8.38	o 2530
11.44/8.38	o 2529
11.44/8.38	o 2528
11.54/8.41	o 2527
11.54/8.42	o 2526
11.54/8.42	o 2525
11.54/8.46	o 2524
11.54/8.46	o 2523
11.54/8.46	o 2522
11.54/8.46	o 2521
11.54/8.46	o 2520
11.54/8.46	o 2519
11.54/8.46	o 2518
11.54/8.46	o 2515
11.54/8.47	o 2513
11.54/8.47	o 2512
11.54/8.47	o 2511
11.54/8.47	o 2510
11.54/8.48	o 2509
11.54/8.48	o 2508
11.54/8.49	o 2507
11.54/8.49	o 2506
11.54/8.49	o 2504
11.54/8.49	o 2503
11.64/8.52	o 2502
11.64/8.56	o 2500
11.64/8.56	o 2499
11.74/8.64	o 2495
11.74/8.64	o 2493
11.74/8.64	o 2492
11.74/8.64	o 2491
11.74/8.64	o 2490
11.74/8.64	o 2488
11.74/8.64	o 2487
11.74/8.64	o 2472
11.74/8.64	o 2471
11.74/8.64	o 2467
11.74/8.64	o 2466
11.74/8.64	o 2465
11.74/8.64	o 2464
11.74/8.64	o 2461
11.74/8.64	o 2460
11.74/8.64	o 2459
11.74/8.65	o 2458
11.74/8.65	o 2457
11.74/8.65	o 2456
11.74/8.65	o 2455
11.74/8.66	o 2454
11.74/8.67	o 2453
11.74/8.68	o 2452
11.74/8.68	o 2451
11.74/8.69	o 2450
11.74/8.70	o 2449
11.74/8.70	o 2448
11.74/8.70	o 2447
11.84/8.75	o 2446
11.84/8.75	o 2445
11.84/8.75	o 2444
11.84/8.75	o 2443
11.94/8.89	o 2442
12.04/8.90	o 2439
12.04/8.90	o 2438
12.04/8.90	o 2437
12.04/8.90	o 2434
12.04/8.90	o 2433
12.04/8.90	o 2432
12.04/8.90	o 2426
12.04/8.90	o 2424
12.04/8.90	o 2423
12.04/8.90	o 2422
12.04/8.90	o 2421
12.04/8.90	o 2420
12.04/8.90	o 2419
12.04/8.90	o 2417
12.04/8.90	o 2416
12.04/8.90	o 2415
12.04/8.90	o 2391
12.04/8.90	o 2378
12.04/8.90	o 2371
12.04/8.90	o 2370
12.04/8.90	o 2369
12.04/8.90	o 2368
12.04/8.90	o 2367
12.04/8.90	o 2366
12.04/8.90	o 2365
12.04/8.90	o 2364
12.04/8.91	o 2363
12.04/8.91	o 2362
12.04/8.91	o 2361
12.04/8.91	o 2360
12.04/8.91	o 2359
12.04/8.91	o 2358
12.04/8.95	o 2357
12.04/8.95	o 2356
12.04/8.95	o 2355
12.04/8.95	o 2354
12.04/8.98	o 2353
12.14/9.07	o 2351
12.24/9.15	o 2350
12.24/9.15	o 2349
12.24/9.15	o 2341
12.24/9.15	o 2340
12.24/9.15	o 2318
12.24/9.15	o 2317
12.24/9.15	o 2301
12.24/9.15	o 2295
12.24/9.15	o 2294
12.24/9.16	o 2293
12.24/9.17	o 2292
12.24/9.17	o 2291
12.24/9.17	o 2290
12.24/9.17	o 2289
12.24/9.17	o 2288
12.24/9.20	o 2287
12.24/9.20	o 2285
12.35/9.21	o 2283
12.35/9.23	o 2282
12.35/9.23	o 2281
12.35/9.23	o 2280
12.35/9.25	o 2279
12.35/9.28	o 2278
12.35/9.28	o 2276
12.54/9.44	o 2275
12.54/9.44	o 2274
12.54/9.44	o 2273
12.64/9.57	o 2266
12.64/9.57	o 2249
12.64/9.57	o 2246
12.64/9.57	o 2244
12.64/9.57	o 2242
12.64/9.57	o 2241
12.64/9.57	o 2239
12.64/9.57	o 2236
12.74/9.65	o 2235
12.74/9.65	o 2234
12.74/9.68	o 2233
12.74/9.68	o 2232
12.94/9.88	o 2231
12.94/9.88	o 2230
12.94/9.88	o 2229
13.04/10.00	o 2227
13.25/10.13	o 2225
13.44/10.33	o 2214
13.44/10.33	o 2212
13.44/10.33	o 2208
13.44/10.33	o 2207
13.44/10.34	o 2206
13.44/10.34	o 2204
13.44/10.35	o 2203
13.44/10.39	o 2202
13.44/10.39	o 2201
13.54/10.41	o 2200
13.54/10.46	o 2199
13.64/10.51	o 2198
13.64/10.52	o 2197
13.64/10.54	o 2195
14.14/11.02	o 2193
14.14/11.03	o 2192
14.54/11.45	o 2186
14.54/11.45	o 2184
14.54/11.45	o 2183
14.54/11.45	o 2182
14.54/11.45	o 2181
14.54/11.45	o 2180
14.54/11.45	o 2179
14.54/11.45	o 2178
14.54/11.45	o 2176
14.54/11.45	o 2175
14.54/11.45	o 2174
14.54/11.45	o 2173
14.54/11.45	o 2172
14.54/11.45	o 2171
14.54/11.45	o 2170
14.54/11.46	o 2169
14.54/11.46	o 2168
14.54/11.46	o 2167
14.54/11.46	o 2151
14.54/11.46	o 2150
14.54/11.46	o 2149
14.54/11.46	o 2135
14.54/11.46	o 2134
14.54/11.46	o 2128
14.54/11.46	o 2127
14.54/11.46	o 2126
14.54/11.46	o 2125
14.75/11.68	o 2124
14.75/11.68	o 2123
14.75/11.69	o 2122
15.26/12.14	o 2121
15.26/12.14	o 2120
15.26/12.14	o 2119
15.26/12.14	o 2118
15.26/12.16	o 2117
15.26/12.16	o 2116
15.26/12.16	o 2115
15.26/12.16	o 2114
15.26/12.18	o 2108
15.26/12.18	o 2107
15.26/12.18	o 2106
15.26/12.18	o 2104
15.26/12.18	o 2103
15.26/12.18	o 2102
15.26/12.18	o 2101
15.26/12.18	o 2100
15.26/12.19	o 2086
15.26/12.19	o 2085
15.26/12.19	o 2077
15.26/12.19	o 2076
15.26/12.19	o 2075
15.26/12.19	o 2072
15.26/12.19	o 2071
15.26/12.19	o 2070
15.26/12.19	o 2069
15.26/12.19	o 2068
15.26/12.19	o 2067
15.26/12.19	o 2066
15.26/12.19	o 2065
15.26/12.19	o 2064
15.26/12.19	o 2063
15.26/12.20	o 2062
15.37/12.21	o 2061
15.37/12.22	o 2060
15.37/12.24	o 2059
16.47/13.32	o 2058
16.47/13.32	o 2057
16.47/13.32	o 2056
16.47/13.32	o 2055
16.47/13.32	o 2054
16.47/13.32	o 2053
16.47/13.32	o 2052
16.47/13.32	o 2042
16.47/13.32	o 2014
16.47/13.32	o 2013
16.47/13.33	o 2002
16.47/13.33	o 1998
16.67/13.59	o 1996
16.77/13.61	o 1995
16.87/13.72	o 1994
16.97/13.80	o 1993
17.07/13.98	o 1992
17.17/14.05	o 1991
17.17/14.06	o 1990
17.17/14.06	o 1989
17.29/14.19	o 1988
17.29/14.19	o 1987
17.29/14.19	o 1986
17.29/14.20	o 1985
17.29/14.20	o 1984
17.29/14.20	o 1983
17.29/14.20	o 1982
17.29/14.20	o 1981
17.39/14.21	o 1980
18.49/15.36	o 1979
18.49/15.37	o 1978
18.59/15.44	o 1977
18.59/15.47	o 1976
18.69/15.56	o 1975
18.69/15.56	o 1974
18.69/15.56	o 1973
18.69/15.56	o 1972
18.69/15.56	o 1971
18.69/15.56	o 1970
18.69/15.56	o 1967
18.69/15.56	o 1964
18.69/15.56	o 1963
18.69/15.56	o 1959
18.69/15.56	o 1958
18.69/15.56	o 1957
18.69/15.56	o 1956
18.69/15.56	o 1932
18.69/15.56	o 1931
18.69/15.56	o 1930
18.69/15.56	o 1929
18.69/15.56	o 1928
18.69/15.56	o 1927
18.69/15.56	o 1926
18.69/15.57	o 1921
18.69/15.57	o 1920
18.69/15.57	o 1919
18.69/15.57	o 1918
18.69/15.57	o 1917
18.69/15.57	o 1912
18.69/15.57	o 1911
18.69/15.57	o 1910
18.69/15.57	o 1909
18.69/15.57	o 1908
18.69/15.57	o 1907
18.69/15.57	o 1906
18.69/15.57	o 1905
18.69/15.57	o 1904
18.69/15.58	o 1903
18.69/15.58	o 1902
18.79/15.60	o 1901
18.79/15.60	o 1900
18.79/15.62	o 1899
18.79/15.66	o 1897
18.79/15.66	o 1896
19.30/16.16	o 1875
19.30/16.16	o 1874
19.30/16.16	o 1872
19.30/16.16	o 1871
19.30/16.16	o 1870
19.30/16.16	o 1869
19.30/16.17	o 1868
19.30/16.20	o 1867
19.40/16.23	o 1866
19.40/16.23	o 1865
19.40/16.24	o 1864
19.40/16.24	o 1863
19.49/16.33	o 1861
19.49/16.34	o 1860
19.79/16.69	o 1859
19.79/16.69	o 1858
19.90/16.71	o 1857
19.90/16.71	o 1856
19.90/16.74	o 1855
19.90/16.74	o 1854
20.00/16.81	o 1853
20.00/16.84	o 1852
20.00/16.84	o 1851
20.31/17.15	o 1850
20.31/17.15	o 1847
20.31/17.15	o 1843
20.31/17.15	o 1841
20.31/17.15	o 1840
20.31/17.15	o 1838
20.31/17.16	o 1837
20.31/17.18	o 1836
20.31/17.18	o 1834
20.31/17.18	o 1833
20.31/17.18	o 1832
20.31/17.18	o 1831
20.31/17.18	o 1830
20.31/17.18	o 1829
20.31/17.20	o 1828
20.41/17.26	o 1826
20.41/17.26	o 1825
20.41/17.26	o 1824
20.41/17.29	o 1823
20.41/17.29	o 1822
20.50/17.37	o 1821
20.70/17.55	o 1820
20.70/17.55	o 1819
20.70/17.55	o 1818
20.80/17.69	o 1817
20.91/17.75	o 1816
20.91/17.76	o 1815
20.91/17.76	o 1814
20.91/17.76	o 1813
21.01/17.83	o 1812
21.01/17.83	o 1811
21.01/17.83	o 1810
21.01/17.83	o 1809
21.11/17.97	o 1808
21.11/17.97	o 1807
21.11/17.97	o 1806
21.61/18.44	o 1805
21.61/18.47	o 1803
21.61/18.47	o 1802
21.71/18.53	o 1797
21.71/18.53	o 1795
21.71/18.53	o 1781
21.71/18.53	o 1768
21.71/18.53	o 1766
21.71/18.53	o 1765
21.71/18.53	o 1762
21.71/18.53	o 1754
21.71/18.53	o 1753
21.71/18.53	o 1748
21.71/18.53	o 1747
21.71/18.53	o 1746
21.71/18.53	o 1745
21.71/18.53	o 1738
21.71/18.53	o 1737
21.71/18.53	o 1736
21.71/18.54	o 1735
21.71/18.55	o 1733
21.71/18.56	o 1732
21.71/18.56	o 1731
21.71/18.56	o 1730
21.71/18.57	o 1729
21.71/18.57	o 1727
21.71/18.57	o 1726
21.71/18.57	o 1725
21.71/18.59	o 1723
21.71/18.59	o 1721
21.71/18.59	o 1720
21.91/18.72	o 1717
21.91/18.72	o 1716
22.11/18.97	o 1715
22.11/18.97	o 1714
22.11/18.97	o 1713
22.11/18.97	o 1712
22.11/18.98	o 1711
22.11/18.98	o 1710
22.11/18.98	o 1708
22.11/18.98	o 1707
22.11/18.99	o 1706
22.21/19.01	o 1704
22.21/19.01	o 1703
22.21/19.03	o 1702
22.21/19.04	o 1701
22.21/19.04	o 1700
22.21/19.04	o 1699
22.21/19.04	o 1698
22.32/19.17	o 1697
22.32/19.17	o 1696
22.32/19.17	o 1695
22.32/19.17	o 1694
22.32/19.17	o 1690
22.42/19.21	o 1689
22.42/19.22	o 1688
22.42/19.22	o 1687
22.81/19.60	o 1686
22.81/19.60	o 1685
22.81/19.60	o 1684
22.81/19.68	o 1683
22.81/19.68	o 1682
22.92/19.72	o 1681
25.13/21.91	o 1680
25.13/21.92	o 1679
26.23/23.00	o 1678
26.84/23.64	o 1677
26.84/23.65	o 1676
26.84/23.66	o 1675
27.04/23.81	o 1674
27.54/24.36	o 1673
27.54/24.36	o 1672
27.54/24.37	o 1671
28.05/24.81	o 1670
28.05/24.82	o 1669
29.47/26.29	o 1668
30.16/26.94	o 1667
30.26/27.00	o 1666
30.77/27.54	o 1665
30.77/27.54	o 1664
30.77/27.54	o 1663
30.87/27.63	o 1662
31.07/27.84	o 1661
31.07/27.84	o 1660
31.07/27.84	o 1658
31.07/27.84	o 1657
31.17/27.91	o 1656
31.17/27.91	o 1655
31.17/27.99	o 1654
31.17/27.99	o 1653
31.48/28.25	o 1652
36.00/32.79	o 1651
36.00/32.79	o 1646
36.00/32.79	o 1645
36.00/32.79	o 1644
36.00/32.79	o 1642
36.00/32.79	o 1637
36.00/32.79	o 1635
36.00/32.79	o 1634
36.00/32.79	o 1633
36.00/32.79	o 1630
36.00/32.79	o 1629
36.00/32.79	o 1627
36.00/32.79	o 1626
36.00/32.79	o 1620
36.00/32.79	o 1619
36.00/32.79	o 1617
36.00/32.79	o 1616
36.00/32.79	o 1615
36.00/32.79	o 1612
36.00/32.79	o 1611
36.00/32.79	o 1610
36.00/32.79	o 1609
36.00/32.79	o 1608
36.00/32.79	o 1607
36.00/32.80	o 1606
36.10/32.80	o 1605
36.10/32.80	o 1603
36.10/32.80	o 1602
36.10/32.83	o 1601
36.10/32.83	o 1600
36.21/32.94	o 1599
36.21/32.99	o 1598
36.31/33.09	o 1597
36.41/33.12	o 1596
36.41/33.20	o 1595
36.61/33.31	o 1594
36.61/33.37	o 1593
36.71/33.48	o 1592
36.71/33.49	o 1591
37.21/33.97	o 1590
37.21/33.98	o 1588
37.31/34.00	o 1587
38.12/34.82	o 1586
38.32/35.05	o 1585
38.82/35.56	o 1584
38.82/35.57	o 1583
39.13/35.83	o 1582
39.13/35.83	o 1580
39.13/35.86	o 1579
39.23/35.95	o 1578
39.23/35.99	o 1577
39.23/35.99	o 1576
39.33/36.08	o 1574
39.33/36.08	o 1573
39.33/36.08	o 1572
39.83/36.53	o 1571
39.83/36.53	o 1565
39.83/36.53	o 1561
39.83/36.53	o 1558
39.83/36.53	o 1556
39.83/36.53	o 1554
39.83/36.53	o 1552
39.83/36.54	o 1551
39.83/36.54	o 1550
39.93/36.66	o 1549
40.03/36.75	o 1548
40.55/37.22	o 1547
40.64/37.34	o 1546
40.64/37.34	o 1545
40.64/37.36	o 1543
40.64/37.38	o 1542
40.74/37.41	o 1541
40.74/37.41	o 1540
40.84/37.51	o 1539
40.84/37.54	o 1537
40.84/37.59	o 1536
40.84/37.59	o 1533
40.84/37.59	o 1526
40.84/37.59	o 1525
40.84/37.59	o 1524
40.84/37.59	o 1522
40.84/37.59	o 1520
40.84/37.60	o 1519
41.04/37.74	o 1518
41.25/37.98	o 1517
41.35/38.01	o 1516
41.35/38.01	o 1515
41.46/38.17	o 1514
41.56/38.22	o 1513
41.56/38.22	o 1511
41.56/38.23	o 1510
41.56/38.24	o 1508
41.56/38.24	o 1507
41.56/38.24	o 1488
41.56/38.24	o 1487
41.56/38.24	o 1464
41.56/38.24	o 1463
41.56/38.24	o 1460
41.56/38.25	o 1459
41.56/38.25	o 1458
41.56/38.25	o 1457
42.76/39.42	o 1449
42.76/39.42	o 1448
42.76/39.42	o 1447
42.76/39.42	o 1446
42.76/39.42	o 1445
42.76/39.42	o 1440
42.76/39.42	o 1439
42.76/39.42	o 1438
42.76/39.42	o 1437
42.76/39.43	o 1436
42.76/39.43	o 1435
42.76/39.44	o 1433
42.76/39.44	o 1432
42.76/39.44	o 1431
42.76/39.45	o 1430
42.76/39.46	o 1429
42.86/39.52	o 1428
42.86/39.53	o 1427
42.86/39.53	o 1426
42.86/39.53	o 1425
42.86/39.53	o 1423
44.18/40.82	o 1421
44.18/40.83	o 1420
44.18/40.83	o 1419
44.18/40.83	o 1418
44.18/40.83	o 1414
44.18/40.83	o 1413
44.18/40.83	o 1412
44.18/40.83	o 1411
44.18/40.83	o 1410
44.18/40.83	o 1409
44.18/40.83	o 1408
44.18/40.84	o 1407
44.18/40.84	o 1406
44.18/40.84	o 1405
44.18/40.84	o 1404
44.18/40.86	o 1403
44.18/40.89	o 1402
44.18/40.89	o 1401
44.18/40.89	o 1400
44.28/40.92	o 1399
45.38/42.00	o 1398
45.49/42.19	o 1397
45.68/42.39	o 1396
47.51/44.15	o 1395
47.51/44.16	o 1391
47.51/44.16	o 1390
47.51/44.16	o 1389
47.51/44.16	o 1388
47.51/44.16	o 1387
47.51/44.16	o 1383
47.51/44.16	o 1382
47.51/44.16	o 1381
47.51/44.16	o 1380
47.51/44.16	o 1379
47.51/44.16	o 1378
47.51/44.16	o 1377
47.51/44.16	o 1376
47.51/44.16	o 1375
47.51/44.16	o 1374
47.51/44.16	o 1365
47.51/44.16	o 1364
47.51/44.16	o 1363
47.51/44.16	o 1362
47.51/44.16	o 1350
47.51/44.16	o 1349
47.51/44.16	o 1348
47.51/44.16	o 1347
47.51/44.16	o 1346
47.51/44.16	o 1345
47.51/44.16	o 1344
47.51/44.16	o 1343
47.51/44.16	o 1342
47.51/44.16	o 1341
47.51/44.16	o 1340
47.51/44.16	o 1339
47.51/44.16	o 1338
47.51/44.16	o 1337
47.51/44.16	o 1336
47.51/44.17	o 1335
47.51/44.20	o 1334
47.61/44.25	o 1333
47.61/44.27	o 1332
47.61/44.27	o 1331
47.61/44.27	o 1330
47.70/44.31	o 1329
47.70/44.31	o 1328
47.70/44.31	o 1327
47.70/44.35	o 1326
47.70/44.39	o 1325
47.70/44.39	o 1324
47.80/44.43	o 1323
47.80/44.47	o 1322
47.80/44.47	o 1321
47.80/44.48	o 1320
48.00/44.67	o 1319
48.00/44.68	o 1318
48.10/44.73	o 1314
48.10/44.73	o 1311
48.10/44.73	o 1310
48.10/44.73	o 1307
48.10/44.73	o 1306
48.10/44.73	o 1305
48.10/44.73	o 1304
48.10/44.73	o 1302
48.10/44.73	o 1301
48.10/44.73	o 1280
48.10/44.73	o 1279
48.10/44.73	o 1274
48.10/44.73	o 1273
48.10/44.73	o 1272
48.10/44.74	o 1271
48.10/44.74	o 1270
49.41/46.00	o 1269
49.41/46.03	o 1267
49.41/46.03	o 1265
49.41/46.03	o 1264
49.41/46.03	o 1262
49.41/46.03	o 1258
49.41/46.03	o 1257
49.41/46.03	o 1256
49.41/46.03	o 1248
49.41/46.03	o 1246
49.41/46.03	o 1244
49.41/46.03	o 1243
49.41/46.03	o 1242
49.41/46.03	o 1234
49.41/46.03	o 1233
49.41/46.03	o 1232
49.41/46.03	o 1231
49.41/46.03	o 1230
49.41/46.04	o 1229
49.41/46.05	o 1228
49.41/46.05	o 1227
49.41/46.06	o 1224
49.41/46.06	o 1222
49.41/46.06	o 1221
49.41/46.07	o 1220
49.62/46.22	o 1219
49.71/46.37	o 1218
49.71/46.37	o 1217
49.81/46.48	o 1216
49.81/46.48	o 1215
50.02/46.66	o 1214
50.23/46.89	o 1213
50.23/46.89	o 1212
50.33/46.93	o 1211
50.33/46.93	o 1210
50.64/47.21	o 1209
51.13/47.73	o 1208
51.13/47.73	o 1207
51.13/47.76	o 1206
51.13/47.76	o 1205
51.13/47.79	o 1204
51.13/47.79	o 1203
51.13/47.79	o 1202
51.13/47.79	o 1201
51.13/47.79	o 1200
51.13/47.79	o 1199
51.13/47.79	o 1198
51.13/47.79	o 1196
51.13/47.79	o 1195
51.13/47.80	o 1194
51.13/47.80	o 1193
51.13/47.80	o 1192
51.13/47.80	o 1191
51.13/47.80	o 1190
51.13/47.80	o 1189
51.23/47.80	o 1188
51.23/47.80	o 1187
51.23/47.80	o 1186
51.23/47.80	o 1185
51.23/47.80	o 1184
51.23/47.80	o 1183
51.23/47.81	o 1181
51.23/47.81	o 1180
51.23/47.84	o 1179
51.23/47.84	o 1178
51.33/47.96	o 1177
51.43/48.06	o 1176
51.43/48.06	o 1175
51.43/48.08	o 1174
51.43/48.08	o 1173
51.54/48.14	o 1172
51.54/48.14	o 1171
51.54/48.14	o 1170
51.54/48.14	o 1169
51.54/48.19	o 1168
51.54/48.19	o 1167
51.64/48.22	o 1166
51.74/48.36	o 1165
51.74/48.36	o 1164
51.74/48.37	o 1163
51.74/48.38	o 1161
51.74/48.38	o 1160
51.84/48.40	o 1159
51.84/48.41	o 1158
51.84/48.41	o 1157
51.84/48.41	o 1156
51.84/48.46	o 1155
51.94/48.58	o 1154
51.94/48.58	o 1153
51.94/48.58	o 1152
52.04/48.61	o 1151
52.04/48.61	o 1150
52.04/48.69	o 1149
52.04/48.69	o 1148
52.14/48.79	o 1147
52.14/48.79	o 1146
52.24/48.88	o 1145
52.24/48.88	o 1144
52.34/48.96	o 1143
52.44/49.02	o 1142
52.44/49.02	o 1141
52.44/49.09	o 1140
52.66/49.28	o 1139
52.66/49.28	o 1138
52.66/49.28	o 1137
52.66/49.28	o 1136
52.66/49.28	o 1135
52.66/49.28	o 1134
52.85/49.45	o 1133
52.85/49.45	o 1132
52.85/49.48	o 1131
52.85/49.48	o 1130
52.85/49.48	o 1129
52.85/49.48	o 1128
52.85/49.48	o 1126
52.85/49.48	o 1125
52.85/49.48	o 1122
52.85/49.48	o 1121
52.85/49.48	o 1120
52.85/49.48	o 1119
52.85/49.49	o 1118
52.85/49.49	o 1117
52.85/49.49	o 1116
52.85/49.49	o 1115
52.95/49.50	o 1114
52.95/49.52	o 1113
52.95/49.52	o 1112
52.95/49.52	o 1111
52.95/49.52	o 1110
52.95/49.52	o 1109
53.35/49.96	o 1108
53.35/49.97	o 1107
53.35/49.97	o 1106
53.35/49.97	o 1105
53.35/49.97	o 1104
53.56/50.11	o 1103
53.56/50.11	o 1102
53.56/50.11	o 1101
53.56/50.11	o 1098
53.56/50.11	o 1097
53.56/50.11	o 1096
53.56/50.12	o 1094
53.56/50.12	o 1093
53.56/50.12	o 1092
53.56/50.12	o 1091
53.56/50.13	o 1089
53.56/50.17	o 1088
53.56/50.19	o 1087
53.56/50.19	o 1086
53.56/50.19	o 1085
53.56/50.20	o 1084
53.56/50.20	o 1083
53.76/50.31	o 1082
54.26/50.81	o 1081
54.26/50.82	o 1080
54.26/50.82	o 1079
54.36/50.90	o 1078
54.36/50.90	o 1077
58.41/54.99	o 1076
58.41/55.00	o 1075
59.42/55.92	o 1074
59.42/55.95	o 1073
59.42/55.95	o 1072
62.94/59.41	o 1071
63.05/59.54	o 1070
63.05/59.56	o 1069
63.05/59.56	o 1068
63.05/59.59	o 1067
63.05/59.59	o 1066
63.05/59.59	o 1065
63.05/59.59	o 1064
63.05/59.59	o 1063
63.05/59.60	o 1062
63.15/59.60	o 1061
63.25/59.74	o 1060
63.55/60.00	o 1059
64.16/60.62	o 1058
64.16/60.64	o 1057
68.50/64.92	o 1056
68.50/64.92	o 1055
68.50/64.92	o 1054
68.50/64.93	o 1051
68.50/64.93	o 1050
68.50/64.93	o 1009
68.50/64.93	o 1008
68.50/64.93	o 1006
68.50/64.93	o 1004
68.50/64.93	o 1003
68.50/64.93	o 1002
68.50/64.93	o 1001
68.50/64.93	o 1000
68.50/64.93	o 999
68.50/64.93	o 998
68.50/64.94	o 997
68.50/64.94	o 996
68.50/64.94	o 995
68.50/64.95	o 994
68.50/64.95	o 993
68.50/64.98	o 992
68.60/65.00	o 991
68.60/65.01	o 990
68.60/65.04	o 987
68.60/65.05	o 986
68.60/65.06	o 985
68.60/65.06	o 984
68.60/65.08	o 983
68.71/65.17	o 982
68.71/65.18	o 981
69.00/65.44	o 980
69.00/65.45	o 979
69.00/65.46	o 978
69.00/65.48	o 976
69.10/65.52	o 975
69.30/65.77	o 973
69.30/65.77	o 971
69.30/65.77	o 969
69.30/65.77	o 964
69.30/65.77	o 962
69.30/65.77	o 959
69.30/65.77	o 957
69.30/65.77	o 956
69.30/65.77	o 952
69.30/65.77	o 949
69.30/65.77	o 948
69.30/65.77	o 947
69.30/65.77	o 946
69.30/65.77	o 945
69.30/65.78	o 942
69.30/65.78	o 941
69.30/65.78	o 940
69.30/65.78	o 939
69.30/65.78	o 930
69.30/65.78	o 929
69.30/65.78	o 928
69.30/65.78	o 927
69.30/65.78	o 925
69.30/65.78	o 924
69.30/65.78	o 923
69.30/65.78	o 922
69.30/65.78	o 921
69.30/65.78	o 920
69.30/65.78	o 919
69.30/65.78	o 915
69.30/65.78	o 914
69.30/65.79	o 911
69.30/65.79	o 910
69.30/65.79	o 909
69.30/65.79	o 908
69.30/65.79	o 904
69.30/65.79	o 903
69.40/65.80	o 902
69.40/65.80	o 901
69.61/66.05	o 900
69.61/66.05	o 899
69.61/66.05	o 898
69.61/66.08	o 897
69.82/66.22	o 896
69.82/66.22	o 895
69.82/66.25	o 894
69.82/66.25	o 893
69.82/66.26	o 892
69.91/66.36	o 891
69.91/66.36	o 890
70.01/66.43	o 889
70.01/66.43	o 888
70.11/66.56	o 887
70.11/66.56	o 886
70.21/66.60	o 885
70.21/66.60	o 884
70.91/67.36	o 883
71.12/67.51	o 881
71.12/67.53	o 880
71.12/67.53	o 879
71.12/67.54	o 877
71.52/67.93	o 876
71.52/67.94	o 875
71.52/67.95	o 874
71.62/68.02	o 873
71.62/68.02	o 872
71.62/68.02	o 871
71.73/68.11	o 870
71.73/68.11	o 869
71.73/68.11	o 868
71.73/68.11	o 859
71.73/68.11	o 858
71.73/68.11	o 855
71.73/68.11	o 854
71.73/68.11	o 851
71.73/68.12	o 850
71.73/68.12	o 841
71.73/68.12	o 840
71.73/68.12	o 839
71.73/68.12	o 838
71.73/68.12	o 837
71.92/68.34	o 836
71.92/68.36	o 835
72.13/68.51	o 834
72.13/68.53	o 833
72.23/68.66	o 832
72.23/68.66	o 831
72.23/68.66	o 830
72.23/68.66	o 829
72.23/68.66	o 828
72.23/68.66	o 827
72.53/68.96	o 826
72.75/69.13	o 825
72.75/69.13	o 824
73.25/69.68	o 823
73.25/69.68	o 822
73.25/69.68	o 821
73.25/69.68	o 820
73.25/69.68	o 818
73.25/69.68	o 817
73.25/69.68	o 816
73.25/69.68	o 815
73.35/69.70	o 813
73.35/69.77	o 812
73.35/69.77	o 811
73.35/69.78	o 810
73.45/69.85	o 808
74.77/71.19	o 807
75.58/71.99	o 806
75.58/71.99	o 805
75.58/71.99	o 804
75.58/71.99	o 803
75.58/71.99	o 802
75.58/72.00	o 801
75.68/72.00	o 799
75.68/72.00	o 798
75.68/72.00	o 797
75.68/72.00	o 796
75.68/72.00	o 795
75.68/72.00	o 794
75.68/72.01	o 792
75.68/72.01	o 791
75.68/72.01	o 790
75.68/72.01	o 789
75.68/72.01	o 788
75.68/72.01	o 787
75.68/72.03	o 786
75.68/72.03	o 785
75.68/72.03	o 784
75.68/72.03	o 783
75.68/72.03	o 782
75.68/72.03	o 781
75.68/72.04	o 780
75.68/72.04	o 779
75.68/72.04	o 778
75.68/72.04	o 777
75.68/72.06	o 776
75.68/72.06	o 775
75.68/72.06	o 774
75.79/72.15	o 773
75.79/72.16	o 772
75.79/72.16	o 771
75.79/72.16	o 770
75.79/72.16	o 769
75.79/72.16	o 768
75.89/72.23	o 767
75.89/72.23	o 766
75.89/72.23	o 765
76.99/73.31	o 764
77.40/73.71	o 763
77.40/73.71	o 762
78.00/74.33	o 761
78.71/75.06	o 760
78.71/75.06	o 759
78.82/75.16	o 758
78.82/75.16	o 757
78.82/75.16	o 756
78.82/75.20	o 755
78.82/75.20	o 753
78.82/75.20	o 751
78.82/75.20	o 750
78.82/75.20	o 749
78.82/75.20	o 744
78.82/75.20	o 743
78.82/75.20	o 742
78.82/75.20	o 741
78.82/75.20	o 740
78.82/75.20	o 739
78.82/75.21	o 736
78.82/75.21	o 735
78.82/75.21	o 734
78.92/75.21	o 733
78.92/75.21	o 732
78.92/75.21	o 731
78.92/75.21	o 730
78.92/75.21	o 729
78.92/75.21	o 728
78.92/75.23	o 727
78.92/75.25	o 726
78.92/75.25	o 725
78.92/75.26	o 724
78.92/75.26	o 723
78.92/75.26	o 722
78.92/75.26	o 721
79.01/75.33	o 720
79.01/75.38	o 719
79.01/75.38	o 718
79.01/75.38	o 717
79.42/75.71	o 716
79.42/75.71	o 715
79.52/75.86	o 714
79.62/75.97	o 713
79.72/76.01	o 712
79.72/76.01	o 711
79.72/76.02	o 709
79.72/76.05	o 708
79.72/76.06	o 706
81.85/78.20	o 704
83.47/79.79	o 703
83.47/79.79	o 701
83.47/79.79	o 699
83.57/79.80	o 677
83.57/79.80	o 676
83.57/79.80	o 630
83.57/79.80	o 629
83.57/79.81	o 627
83.57/79.81	o 626
83.57/79.81	o 622
83.57/79.81	o 621
83.57/79.81	o 618
83.57/79.81	o 617
83.57/79.81	o 616
83.57/79.81	o 615
83.57/79.82	o 614
83.57/79.82	o 601
83.57/79.83	o 600
83.57/79.83	o 580
83.57/79.83	o 579
83.57/79.83	o 566
83.57/79.83	o 565
83.57/79.83	o 560
83.57/79.83	o 559
83.57/79.83	o 552
83.57/79.84	o 551
83.57/79.84	o 550
83.57/79.84	o 548
83.57/79.84	o 547
83.57/79.84	o 546
83.57/79.85	o 545
83.57/79.85	o 544
83.57/79.87	o 543
83.57/79.87	o 542
83.67/79.99	o 541
83.77/80.10	o 540
83.98/80.29	o 539
83.98/80.29	o 538
84.18/80.49	o 537
84.18/80.49	o 536
84.90/81.18	o 534
84.90/81.18	o 533
85.00/81.22	o 532
90.23/86.40	o 531
90.23/86.40	o 530
95.79/91.97	o 529
95.79/91.97	o 528
95.79/91.97	o 526
95.79/91.97	o 522
95.79/91.97	o 515
95.79/91.97	o 514
95.79/91.97	o 513
95.79/91.97	o 511
95.79/91.97	o 510
95.79/91.97	o 509
95.79/91.97	o 508
95.79/91.97	o 507
95.79/91.97	o 493
95.79/91.97	o 492
95.79/91.97	o 491
95.79/91.97	o 490
95.79/91.97	o 489
95.79/91.97	o 488
95.79/91.98	o 484
95.79/91.98	o 483
95.79/91.98	o 481
95.79/91.98	o 480
95.79/91.98	o 479
95.79/91.98	o 478
95.79/91.98	o 476
95.79/91.98	o 475
95.90/92.00	o 474
144.02/139.71	o 473
148.46/144.17	o 472
148.46/144.17	o 471
148.46/144.17	o 470
175.69/171.13	o 469
175.69/171.13	o 466
175.69/171.13	o 465
175.69/171.13	o 464
175.69/171.13	o 460
175.69/171.13	o 459
175.69/171.13	o 458
175.69/171.13	o 455
175.69/171.13	o 454
175.69/171.13	o 452
175.69/171.13	o 451
175.69/171.13	o 450
175.69/171.13	o 446
175.69/171.13	o 443
175.69/171.13	o 442
175.69/171.13	o 441
175.69/171.13	o 439
175.69/171.13	o 438
175.69/171.13	o 437
175.69/171.14	o 436
175.69/171.18	o 435
175.69/171.18	o 434
175.69/171.18	o 433
175.69/171.18	o 432
176.39/171.86	o 431
176.59/172.07	o 430
176.90/172.30	o 429
176.90/172.31	o 428
178.21/173.60	o 427
181.75/177.14	o 426
181.75/177.20	o 425
182.96/178.37	o 423
182.96/178.37	o 422
182.96/178.37	o 419
182.96/178.37	o 418
183.66/179.05	o 417
183.87/179.28	o 416
183.96/179.31	o 415
184.46/179.85	o 414
184.46/179.85	o 413
184.88/180.23	o 411
189.61/184.92	o 410
189.61/184.92	o 409
189.61/184.95	o 408
189.61/184.95	o 407
189.61/184.95	o 406
189.61/184.95	o 403
189.61/184.95	o 402
189.61/184.98	o 401
189.71/185.03	o 400
189.71/185.03	o 399
189.71/185.05	o 370
189.71/185.06	o 366
189.71/185.06	o 360
189.71/185.06	o 352
189.71/185.06	o 346
189.71/185.06	o 343
189.71/185.06	o 339
189.71/185.06	o 338
189.71/185.07	o 337
189.83/185.17	o 336
189.83/185.17	o 335
189.83/185.17	o 334
189.83/185.17	o 333
189.83/185.17	o 332
189.94/185.24	o 331
191.03/186.38	o 330
191.03/186.39	o 329
191.03/186.39	o 328
191.03/186.39	o 327
191.54/186.87	o 326
191.54/186.87	o 325
209.15/204.29	o 324
209.15/204.29	o 323
209.24/204.32	o 322
209.24/204.37	o 321
209.45/204.58	o 320
209.55/204.63	o 319
209.55/204.63	o 318
209.55/204.65	o 316
209.55/204.66	o 315
209.65/204.78	o 314
209.75/204.81	o 313
209.75/204.81	o 312
210.55/205.68	o 311
2520.01/2493.11	s SATISFIABLE
2520.01/2493.11	v <instantiation>
2520.01/2493.11	v 	<list>
2520.01/2493.11	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]
2520.01/2493.11	v 	</list>
2520.01/2493.11	v 	<values>
2520.01/2493.11	v 		3 2 3 7 2 3 2 3 5 5 6 1 2 6 6 2 1 2 1 5 2 6 79 3 0 0 0 0 5 0 0 0 2 0 0 0 0 0 0 0 0 0 0 5 0 0 70 4 4 1 4 2 4 2 3 4 1 4 1 1 1 1 1 1 1 1 1 2 1 3 1 0 3 0 2 3 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 1 6 
2520.01/2493.11	v 	</values>
2520.01/2493.11	v </instantiation>

Verifier Data 

OK	311

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311748-1534548558/watcher-4311748-1534548558 -o /tmp/evaluation-result-4311748-1534548558/solver-4311748-1534548558 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534541041-5719 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1307659030 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311748-1534548558.xml 

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

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


[startup+0.100095 s]*
/proc/loadavg: 1.18 1.33 1.38 3/215 6692
/proc/meminfo: memFree=24104380/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14082736 memory=31036 CPUtime=0.12 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 6659 0 0 0 11 1 0 0 20 0 15 0 272419024 14420721664 7759 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3520684 7759 3159 1 0 3482761 0
[pid=6677/tid=6679] ppid=6674 vsize=14082736 memory=-8537244314434892992 CPUtime=0.09 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 4715 0 0 0 9 0 0 0 20 0 15 0 272419024 14420721664 7759 33554432000 4194304 4196468 140730885567360 140161811301120 140161791186270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 7759 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 7759 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 7759 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 7759 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272419026 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272419027 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272419027 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) S 6674 6677 5687 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160714078576 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0.01 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) S 6674 6677 5687 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 272419029 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160713025520 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419030 14420721664 7759 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31036 KiB

[startup+0.213679 s]*
/proc/loadavg: 1.18 1.33 1.38 5/215 6692
/proc/meminfo: memFree=24088876/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14082736 memory=47112 CPUtime=0.31 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 10399 0 0 0 30 1 0 0 20 0 15 0 272419024 14420721664 11778 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3520684 11778 3373 1 0 3482761 0
[pid=6677/tid=6679] ppid=6674 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 8098 0 0 0 19 1 0 0 20 0 15 0 272419024 14420721664 11778 33554432000 4194304 4196468 140730885567360 140161811323280 140161807127130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 11778 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14082736 memory=140054411624922 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 11778 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 11778 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 11778 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272419026 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272419027 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272419027 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) R 6674 6677 5687 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 272419029 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) R 6674 6677 5687 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 15 0 272419029 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160714078672 140161788616704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0.06 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) R 6674 6677 5687 0 -1 4202560 316 0 0 0 6 0 0 0 20 0 15 0 272419029 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160713021248 140161807117718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419030 14420721664 11778 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47112 KiB

[startup+0.310503 s]*
/proc/loadavg: 1.18 1.33 1.38 4/215 6692
/proc/meminfo: memFree=24085324/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14082736 memory=50720 CPUtime=0.44 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 10780 0 0 0 43 1 0 0 20 0 15 0 272419024 14420721664 12680 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3520684 12680 3384 1 0 3482761 0
[pid=6677/tid=6679] ppid=6674 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 8445 0 0 0 29 1 0 0 20 0 15 0 272419024 14420721664 12680 33554432000 4194304 4196468 140730885567360 140161811317296 140161788669836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14082736 memory=290763883793350679 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 12680 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14082736 memory=13703862686328472 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 12680 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 12680 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272419025 14420721664 12680 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272419026 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272419027 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272419027 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) S 6674 6677 5687 0 -1 1077944384 520 0 0 0 3 0 0 0 20 0 15 0 272419029 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) S 6674 6677 5687 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 272419029 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160714078576 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0.08 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) S 6674 6677 5687 0 -1 1077944384 334 0 0 0 8 0 0 0 20 0 15 0 272419029 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160713025520 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14082736 memory=140054411617920 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419030 14420721664 12680 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50720 KiB

[startup+0.700718 s]
/proc/loadavg: 1.18 1.33 1.38 3/215 6692
/proc/meminfo: memFree=24071180/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14084804 memory=89116 CPUtime=0.99 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 17640 0 0 0 95 4 0 0 20 0 15 0 272419024 14422839296 22279 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3521201 22279 3505 1 0 3483273 0
[pid=6677/tid=6679] ppid=6674 vsize=14084804 memory=1740 CPUtime=0.67 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 14894 0 0 0 64 3 0 0 20 0 15 0 272419024 14422839296 22279 33554432000 4194304 4196468 140730885567360 140161811320688 140161807127709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14084804 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14422839296 22279 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14422839296 22279 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14422839296 22279 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14084804 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272419025 14422839296 22279 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14084804 memory=6132 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272419026 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272419027 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14084804 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272419027 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14084804 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) S 6674 6677 5687 0 -1 1077944384 661 0 0 0 7 0 0 0 20 0 15 0 272419029 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14084804 memory=5787213848606435153 CPUtime=0.07 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) S 6674 6677 5687 0 -1 1077944384 276 0 0 0 7 0 0 0 20 0 15 0 272419029 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160714078576 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) S 6674 6677 5687 0 -1 1077944384 428 0 0 0 15 0 0 0 20 0 15 0 272419029 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160713025520 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419030 14422839296 22279 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89116 KiB

[startup+1.50107 s]
/proc/loadavg: 1.18 1.33 1.38 4/215 6692
/proc/meminfo: memFree=24039752/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14090948 memory=154820 CPUtime=2.99 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 24759 0 0 0 291 8 0 0 20 0 15 0 272419024 14429130752 38705 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3522737 38705 3537 1 0 3484809 0
[pid=6677/tid=6679] ppid=6674 vsize=14090948 memory=8112282956445269571 CPUtime=1.46 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 17793 0 0 0 141 5 0 0 20 0 15 0 272419024 14429130752 38705 33554432000 4194304 4196468 140730885567360 140161811335024 140161450059397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14090948 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14429130752 38705 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14090948 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14429130752 38705 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14090948 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272419025 14429130752 38705 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14090948 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272419025 14429130752 38705 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 272419026 14429130752 38705 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0

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

/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 39843 0 0 0 230852 21 0 0 20 0 15 0 272419024 14429130752 103979 33554432000 4194304 4196468 140730885567360 140161811343984 140161443775375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14090948 memory=2588 CPUtime=7.39 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 7176 0 0 0 709 30 0 0 20 0 15 0 272419025 14429130752 103979 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14090948 memory=2588 CPUtime=7.4 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 6538 0 0 0 702 38 0 0 20 0 15 0 272419025 14429130752 103979 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14090948 memory=1408 CPUtime=7.33 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 7514 0 0 0 696 37 0 0 20 0 15 0 272419025 14429130752 103979 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14090948 memory=288230574492221466 CPUtime=7.43 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 7598 0 0 0 704 39 0 0 20 0 15 0 272419025 14429130752 103979 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14090948 memory=288230596050944315 CPUtime=4.76 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 5553 0 0 0 445 31 0 0 20 0 15 0 272419026 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14090948 memory=15258134151170443 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14090948 memory=3228 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14090948 memory=415916 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14090948 memory=4104 CPUtime=1.27 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) S 6674 6677 5687 0 -1 1077944384 6809 0 0 0 126 1 0 0 20 0 15 0 272419029 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14090948 memory=-6733704525061579059 CPUtime=1.13 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) S 6674 6677 5687 0 -1 1077944384 3307 0 0 0 112 1 0 0 20 0 15 0 272419029 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160714078576 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14090948 memory=4126316290023845779 CPUtime=0.75 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) S 6674 6677 5687 0 -1 1077944384 10613 0 0 0 74 1 0 0 20 0 15 0 272419029 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160713025520 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14090948 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14090948 memory=14888 CPUtime=0.95 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1280 0 0 0 48 47 0 0 20 0 15 0 272419030 14429130752 103979 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 2347.24 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 415916 KiB

[startup+2382.3 s]
/proc/loadavg: 1.38 1.36 1.39 3/215 6791
/proc/meminfo: memFree=23661396/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14090948 memory=422076 CPUtime=2407.94 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 98609 0 0 0 240574 220 0 0 20 0 15 0 272419024 14429130752 105519 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3522737 105519 3581 1 0 3484809 0
[pid=6677/tid=6679] ppid=6674 vsize=14090948 memory=288230596050944315 CPUtime=2368.33 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 40237 0 0 0 236812 21 0 0 20 0 15 0 272419024 14429130752 105519 33554432000 4194304 4196468 140730885567360 140161811343824 140161450542354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14090948 memory=15258134151170443 CPUtime=7.64 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 7409 0 0 0 733 31 0 0 20 0 15 0 272419025 14429130752 105519 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14090948 memory=420028 CPUtime=7.63 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 6581 0 0 0 724 39 0 0 20 0 15 0 272419025 14429130752 105519 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14090948 memory=2180 CPUtime=7.56 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 7686 0 0 0 718 38 0 0 20 0 15 0 272419025 14429130752 105519 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14090948 memory=924 CPUtime=7.68 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 7614 0 0 0 728 40 0 0 20 0 15 0 272419025 14429130752 105519 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14090948 memory=1576 CPUtime=4.88 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 5570 0 0 0 456 32 0 0 20 0 15 0 272419026 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14090948 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14090948 memory=1932 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14090948 memory=7288 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14090948 memory=804 CPUtime=1.27 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) S 6674 6677 5687 0 -1 1077944384 6811 0 0 0 126 1 0 0 20 0 15 0 272419029 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14090948 memory=1796 CPUtime=1.13 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) S 6674 6677 5687 0 -1 1077944384 3309 0 0 0 112 1 0 0 20 0 15 0 272419029 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160714078576 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14090948 memory=916 CPUtime=0.75 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) S 6674 6677 5687 0 -1 1077944384 10615 0 0 0 74 1 0 0 20 0 15 0 272419029 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160713025520 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14090948 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14090948 memory=288230574492221466 CPUtime=0.97 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1285 0 0 0 49 48 0 0 20 0 15 0 272419030 14429130752 105519 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 2407.94 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 422076 KiB

[startup+2442.3 s]
/proc/loadavg: 1.38 1.36 1.39 3/215 6792
/proc/meminfo: memFree=23656988/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14090948 memory=426212 CPUtime=2468.62 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 99726 0 0 0 246638 224 0 0 20 0 15 0 272419024 14429130752 106553 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3522737 106553 3581 1 0 3484809 0
[pid=6677/tid=6679] ppid=6674 vsize=14090948 memory=288230596050944315 CPUtime=2427.95 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 40543 0 0 0 242773 22 0 0 20 0 15 0 272419024 14429130752 106553 33554432000 4194304 4196468 140730885567360 140161811343824 140161450166638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14090948 memory=15258134151170443 CPUtime=7.87 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 7479 0 0 0 755 32 0 0 20 0 15 0 272419025 14429130752 106553 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14090948 memory=1724 CPUtime=7.86 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 6694 0 0 0 746 40 0 0 20 0 15 0 272419025 14429130752 106553 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14090948 memory=4004 CPUtime=7.79 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 7913 0 0 0 741 38 0 0 20 0 15 0 272419025 14429130752 106553 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14090948 memory=3516 CPUtime=7.91 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 7842 0 0 0 751 40 0 0 20 0 15 0 272419025 14429130752 106553 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14090948 memory=872 CPUtime=5.01 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 5728 0 0 0 468 33 0 0 20 0 15 0 272419026 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14090948 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14090948 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14090948 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14090948 memory=3608 CPUtime=1.27 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) S 6674 6677 5687 0 -1 1077944384 6811 0 0 0 126 1 0 0 20 0 15 0 272419029 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14090948 memory=3312 CPUtime=1.13 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) S 6674 6677 5687 0 -1 1077944384 3309 0 0 0 112 1 0 0 20 0 15 0 272419029 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160714078576 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14090948 memory=15708 CPUtime=0.76 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) S 6674 6677 5687 0 -1 1077944384 10615 0 0 0 74 2 0 0 20 0 15 0 272419029 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160713025520 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14090948 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14090948 memory=7522251010000633956 CPUtime=0.99 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1300 0 0 0 50 49 0 0 20 0 15 0 272419030 14429130752 106553 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 2468.62 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 426212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493.1 s]*
/proc/loadavg: 1.67 1.43 1.41 3/215 6876
/proc/meminfo: memFree=22474924/32770624 swapFree=67108524/67108860
[pid=6677] ppid=6674 vsize=14090948 memory=432356 CPUtime=2520.01 cores=1,3,5,7
/proc/6677/stat : 6677 (java) S 6674 6677 5687 0 -1 1077944320 100997 0 0 0 251773 228 0 0 20 0 15 0 272419024 14429130752 108089 33554432000 4194304 4196468 140730885567360 140730885549904 140161807105783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
/proc/6677/statm: 3522737 108089 3581 1 0 3484809 0
[pid=6677/tid=6679] ppid=6674 vsize=14090948 memory=8112282956445269571 CPUtime=2478.44 cores=1,3,5,7
/proc/6677/task/6679/stat : 6679 (java) R 6674 6677 5687 0 -1 4202560 40972 0 0 0 247822 22 0 0 20 0 15 0 272419024 14429130752 108089 33554432000 4194304 4196468 140730885567360 140161811343952 140161450540949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6680] ppid=6674 vsize=14090948 memory=4126316290023845779 CPUtime=8.07 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) S 6674 6677 5687 0 -1 1077944384 7561 0 0 0 775 32 0 0 20 0 15 0 272419025 14429130752 108089 33554432000 4194304 4196468 140730885567360 140161763658256 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6681] ppid=6674 vsize=14090948 memory=504 CPUtime=8.05 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) S 6674 6677 5687 0 -1 1077944384 6861 0 0 0 764 41 0 0 20 0 15 0 272419025 14429130752 108089 33554432000 4194304 4196468 140730885567360 140161762605712 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6682] ppid=6674 vsize=14090948 memory=924 CPUtime=7.99 cores=1,3,5,7
/proc/6677/task/6682/stat : 6682 (java) S 6674 6677 5687 0 -1 1077944384 8169 0 0 0 760 39 0 0 20 0 15 0 272419025 14429130752 108089 33554432000 4194304 4196468 140730885567360 140161401153808 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6683] ppid=6674 vsize=14090948 memory=1168 CPUtime=8.1 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) S 6674 6677 5687 0 -1 1077944384 7991 0 0 0 770 40 0 0 20 0 15 0 272419025 14429130752 108089 33554432000 4194304 4196468 140730885567360 140161400101264 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6684] ppid=6674 vsize=14090948 memory=2132 CPUtime=5.1 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) S 6674 6677 5687 0 -1 1077944384 5895 0 0 0 476 34 0 0 20 0 15 0 272419026 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160719342320 140161807116930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6685] ppid=6674 vsize=14090948 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6685/stat : 6685 (java) S 6674 6677 5687 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160718288544 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6686] ppid=6674 vsize=14090948 memory=924 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) S 6674 6677 5687 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 272419027 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160717235440 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6687] ppid=6674 vsize=14090948 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160716184016 140161807124379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6688] ppid=6674 vsize=14090948 memory=1408 CPUtime=1.27 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) S 6674 6677 5687 0 -1 1077944384 6813 0 0 0 126 1 0 0 20 0 15 0 272419029 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160715131120 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6689] ppid=6674 vsize=14090948 memory=2776 CPUtime=1.13 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) S 6674 6677 5687 0 -1 1077944384 3311 0 0 0 112 1 0 0 20 0 15 0 272419029 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160714078576 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6690] ppid=6674 vsize=14090948 memory=1284916 CPUtime=0.76 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) S 6674 6677 5687 0 -1 1077944384 10617 0 0 0 74 2 0 0 20 0 15 0 272419029 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160713025520 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6691] ppid=6674 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) S 6674 6677 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272419029 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160711973216 140161807115989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
[pid=6677/tid=6692] ppid=6674 vsize=14090948 memory=4126316290023845779 CPUtime=1.01 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) S 6674 6677 5687 0 -1 1077944384 1315 0 0 0 51 50 0 0 20 0 15 0 272419030 14429130752 108089 33554432000 4194304 4196468 140730885567360 140160710921264 140161807116930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30732288 140730885575752 140730885575945 140730885575945 140730885578703 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 432356 KiB

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

[startup+2493.12 s]
# the end of solver process 6677 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.75 s, system=2.29275 s

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

Child status: 143
Real time (s): 2493.12
CPU time (s): 2520.04
CPU user time (s): 2517.75
CPU system time (s): 2.29275
CPU usage (%): 101.08
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 432356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.75
system time used= 2.29275
maximum resident set size= 432696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195003
involuntary context switches= 3448


# summary of solver processes directly reported to runsolver:
#   pid: 6677
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2517.75
#   total CPU system time (s): 2.29275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9522 second user time and 23.4875 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-18 01:29:18
IDJOB=4311748
IDBENCH=141226
IDSOLVER=2799
FILE ID=node107/4311748-1534548558
RUNJOBID= node107-1534541041-5719
PBS_JOBID= 21038640
Free space on /tmp= 54628 MiB

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

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

MD5SUM BENCH= 12e75aa9ea5684230fdaa5ddf97691cc
RANDOM SEED=1307659030

node107.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.40
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.40
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.40
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.40
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:        24123076 kB
MemAvailable:   31624288 kB
Buffers:          242220 kB
Cached:          7534568 kB
SwapCached:           20 kB
Active:          4892000 kB
Inactive:        3208072 kB
Active(anon):     296536 kB
Inactive(anon):    95204 kB
Active(file):    4595464 kB
Inactive(file):  3112868 kB
Unevictable:        6972 kB
Mlocked:            6972 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             35964 kB
Writeback:             0 kB
AnonPages:        329756 kB
Mapped:            31892 kB
Shmem:             66016 kB
Slab:             246316 kB
SReclaimable:     217428 kB
SUnreclaim:        28888 kB
KernelStack:        3568 kB
PageTables:         5788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1346532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54592 MiB
End job on node107 at 2018-08-18 02:10:52