Trace number 4312330

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)133 252.034 246.716

General information on the benchmark

NameSumColoring/
SumColoring-myciel6_c18.xml
MD5SUM12e75aa9ea5684230fdaa5ddf97691cc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark252.061
Satisfiable
(Un)Satisfiability was proved
Number of variables95
Number of constraints755
Number of domains1
Minimum domain size95
Maximum domain size95
Distribution of domain sizes[{"size":95,"count":95}]
Minimum variable degree7
Maximum variable degree48
Distribution of variable degrees[{"degree":7,"count":5},{"degree":8,"count":5},{"degree":9,"count":6},{"degree":10,"count":5},{"degree":11,"count":10},{"degree":12,"count":5},{"degree":13,"count":6},{"degree":14,"count":7},{"degree":15,"count":6},{"degree":17,"count":5},{"degree":18,"count":5},{"degree":19,"count":5},{"degree":21,"count":5},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":25,"count":8},{"degree":33,"count":5},{"degree":41,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":755}]
Number of extensional constraints0
Number of intensional constraints755
Distribution of constraint types[{"type":"intension","count":755}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.66/0.57	c version: 2018-08-17
0.66/0.57	c seed: 2130584196
0.66/0.57	c timeout: 252
0.66/0.57	c memlimit: 11000
0.66/0.57	c nbcore: 1
0.66/0.59	c Parsing instance...
2.04/1.26	c Parsing done, starting search...
2.29/1.35	o 4632
2.29/1.37	o 4629
2.29/1.37	o 4628
2.29/1.37	o 4624
2.29/1.37	o 4623
2.29/1.37	o 4622
2.29/1.37	o 4614
2.29/1.37	o 4613
2.29/1.37	o 4609
2.29/1.37	o 4608
2.29/1.37	o 4607
2.29/1.38	o 4590
2.29/1.38	o 4589
2.29/1.38	o 4586
2.29/1.38	o 4545
2.29/1.38	o 4524
2.29/1.38	o 4518
2.29/1.38	o 4516
2.29/1.38	o 4515
2.29/1.39	o 4514
2.29/1.39	o 4507
2.29/1.39	o 4497
2.29/1.39	o 4496
2.29/1.39	o 4495
2.29/1.39	o 4486
2.29/1.39	o 4467
2.29/1.39	o 4466
2.29/1.39	o 4461
2.29/1.39	o 4460
2.29/1.39	o 4458
2.29/1.39	o 4457
2.29/1.39	o 4454
2.29/1.39	o 4453
2.29/1.39	o 4452
2.29/1.39	o 4391
2.29/1.39	o 4390
2.29/1.39	o 4389
2.61/1.40	o 4388
2.61/1.40	o 4387
2.61/1.40	o 4386
2.61/1.40	o 4382
2.61/1.40	o 4381
2.61/1.40	o 4379
2.61/1.40	o 4378
2.61/1.40	o 4377
2.61/1.40	o 4376
2.61/1.40	o 4371
2.61/1.40	o 4362
2.61/1.40	o 4361
2.61/1.40	o 4360
2.61/1.40	o 4359
2.61/1.40	o 4358
2.61/1.40	o 4355
2.61/1.41	o 4331
2.61/1.41	o 4321
2.61/1.41	o 4320
2.61/1.41	o 4318
2.61/1.41	o 4317
2.61/1.41	o 4316
2.61/1.41	o 4292
2.61/1.42	o 4290
2.61/1.42	o 4289
2.61/1.42	o 4288
2.61/1.42	o 4286
2.61/1.42	o 4285
2.61/1.42	o 4275
2.61/1.42	o 4253
2.61/1.42	o 4243
2.61/1.42	o 4235
2.61/1.42	o 4234
2.61/1.42	o 4233
2.61/1.42	o 4232
2.61/1.43	o 4224
2.61/1.43	o 4221
2.61/1.43	o 4220
2.61/1.43	o 4219
2.61/1.43	o 4218
2.61/1.43	o 4217
2.61/1.43	o 4216
2.61/1.44	o 4215
2.61/1.44	o 4214
2.61/1.44	o 4213
2.61/1.44	o 4211
2.61/1.44	o 4185
2.61/1.45	o 4180
2.61/1.45	o 4166
2.61/1.45	o 4161
2.61/1.45	o 4159
2.61/1.45	o 4158
2.61/1.45	o 4157
2.61/1.45	o 4156
2.61/1.46	o 4155
2.61/1.46	o 4153
2.61/1.46	o 4152
2.61/1.46	o 4151
2.61/1.46	o 4150
2.61/1.46	o 4149
2.61/1.46	o 4148
2.61/1.46	o 4147
2.61/1.47	o 4146
2.61/1.47	o 4145
2.61/1.47	o 4144
2.61/1.47	o 4143
2.61/1.47	o 4142
2.61/1.47	o 4141
2.61/1.47	o 4139
2.61/1.48	o 4138
2.61/1.48	o 4137
2.61/1.49	o 4129
2.61/1.49	o 4127
2.61/1.49	o 4126
2.61/1.49	o 4124
2.61/1.49	o 4123
2.61/1.49	o 4096
2.94/1.50	o 4093
2.94/1.50	o 4092
2.94/1.50	o 4083
2.94/1.50	o 4082
2.94/1.50	o 4081
2.94/1.50	o 4080
2.94/1.50	o 4079
2.94/1.50	o 4054
2.94/1.50	o 4053
2.94/1.50	o 4052
2.94/1.50	o 4048
2.94/1.50	o 4047
2.94/1.50	o 4046
2.94/1.50	o 4045
2.94/1.50	o 4033
2.94/1.50	o 4023
2.94/1.51	o 4021
2.94/1.51	o 3992
2.94/1.51	o 3990
2.94/1.51	o 3989
2.94/1.51	o 3988
2.94/1.51	o 3987
2.94/1.51	o 3986
2.94/1.52	o 3976
2.94/1.52	o 3975
2.94/1.52	o 3964
2.94/1.52	o 3963
2.94/1.52	o 3954
2.94/1.52	o 3953
2.94/1.52	o 3946
2.94/1.52	o 3945
2.94/1.52	o 3941
2.94/1.53	o 3939
2.94/1.53	o 3937
2.94/1.53	o 3936
2.94/1.53	o 3935
2.94/1.53	o 3934
2.94/1.53	o 3925
2.94/1.53	o 3923
2.94/1.53	o 3922
2.94/1.53	o 3921
2.94/1.53	o 3920
2.94/1.53	o 3919
2.94/1.53	o 3918
2.94/1.53	o 3916
2.94/1.53	o 3915
2.94/1.53	o 3913
2.94/1.53	o 3912
2.94/1.53	o 3911
2.94/1.54	o 3910
2.94/1.54	o 3909
2.94/1.54	o 3908
2.94/1.55	o 3907
2.94/1.56	o 3890
2.94/1.56	o 3889
2.94/1.56	o 3888
2.94/1.56	o 3882
2.94/1.56	o 3881
2.94/1.56	o 3880
2.94/1.56	o 3879
2.94/1.56	o 3876
2.94/1.56	o 3875
2.94/1.56	o 3874
2.94/1.56	o 3873
2.94/1.56	o 3872
2.94/1.56	o 3871
2.94/1.57	o 3867
2.94/1.57	o 3864
2.94/1.57	o 3861
2.94/1.57	o 3860
2.94/1.57	o 3859
2.94/1.57	o 3850
2.94/1.57	o 3849
2.94/1.57	o 3848
2.94/1.57	o 3847
2.94/1.57	o 3846
2.94/1.57	o 3845
2.94/1.57	o 3844
2.94/1.57	o 3843
2.94/1.57	o 3842
2.94/1.57	o 3841
2.94/1.58	o 3840
2.94/1.58	o 3839
2.94/1.59	o 3838
3.26/1.60	o 3837
3.26/1.62	o 3836
3.26/1.65	o 3822
3.26/1.65	o 3821
3.26/1.65	o 3820
3.26/1.65	o 3819
3.26/1.65	o 3818
3.26/1.65	o 3816
3.26/1.65	o 3815
3.26/1.65	o 3814
3.26/1.66	o 3813
3.26/1.66	o 3812
3.26/1.66	o 3811
3.26/1.66	o 3810
3.26/1.66	o 3809
3.26/1.66	o 3808
3.26/1.66	o 3807
3.26/1.66	o 3806
3.26/1.66	o 3805
3.26/1.66	o 3804
3.26/1.66	o 3803
3.26/1.66	o 3802
3.26/1.66	o 3801
3.56/1.70	o 3800
3.56/1.70	o 3799
3.56/1.75	o 3798
3.56/1.76	o 3797
3.86/1.80	o 3796
3.86/1.87	o 3795
4.15/1.90	o 3794
4.15/2.01	o 3793
4.15/2.01	o 3792
4.15/2.01	o 3790
4.29/2.01	o 3789
4.29/2.01	o 3788
4.29/2.01	o 3787
4.29/2.01	o 3784
4.29/2.01	o 3783
4.29/2.01	o 3782
4.29/2.01	o 3781
4.29/2.01	o 3778
4.29/2.01	o 3771
4.29/2.01	o 3770
4.29/2.01	o 3769
4.29/2.01	o 3757
4.29/2.01	o 3756
4.29/2.01	o 3755
4.29/2.01	o 3745
4.29/2.01	o 3743
4.29/2.01	o 3739
4.29/2.01	o 3738
4.29/2.02	o 3737
4.29/2.02	o 3736
4.29/2.02	o 3735
4.29/2.02	o 3734
4.29/2.02	o 3733
4.29/2.02	o 3732
4.29/2.02	o 3731
4.29/2.02	o 3722
4.29/2.02	o 3719
4.29/2.02	o 3718
4.29/2.02	o 3717
4.29/2.02	o 3716
4.29/2.02	o 3715
4.29/2.02	o 3714
4.29/2.02	o 3713
4.29/2.02	o 3712
4.29/2.02	o 3711
4.29/2.03	o 3710
4.29/2.03	o 3709
4.29/2.04	o 3708
4.29/2.05	o 3707
4.29/2.06	o 3706
4.29/2.06	o 3705
4.29/2.10	o 3704
4.58/2.25	o 3703
4.58/2.25	o 3702
4.58/2.25	o 3701
4.58/2.25	o 3700
4.58/2.25	o 3699
4.58/2.25	o 3698
4.58/2.25	o 3697
4.58/2.25	o 3696
4.58/2.25	o 3694
4.58/2.25	o 3693
4.58/2.25	o 3690
4.58/2.25	o 3689
4.58/2.25	o 3688
4.58/2.25	o 3685
4.58/2.25	o 3684
4.58/2.25	o 3679
4.58/2.25	o 3674
4.58/2.25	o 3671
4.58/2.25	o 3670
4.58/2.25	o 3663
4.58/2.25	o 3662
4.58/2.25	o 3660
4.58/2.25	o 3659
4.58/2.26	o 3658
4.58/2.26	o 3657
4.58/2.26	o 3656
4.58/2.26	o 3655
4.58/2.26	o 3654
4.58/2.26	o 3653
4.58/2.26	o 3652
4.58/2.26	o 3651
4.58/2.26	o 3650
4.58/2.26	o 3649
4.58/2.26	o 3648
4.69/2.36	o 3647
4.69/2.36	o 3646
4.69/2.36	o 3645
4.69/2.36	o 3644
4.69/2.36	o 3642
4.69/2.36	o 3641
4.69/2.36	o 3640
4.69/2.36	o 3639
4.69/2.36	o 3601
4.69/2.36	o 3600
4.69/2.36	o 3597
4.69/2.36	o 3596
4.69/2.36	o 3595
4.69/2.36	o 3594
4.69/2.36	o 3548
4.69/2.36	o 3546
4.69/2.36	o 3540
4.69/2.36	o 3538
4.69/2.36	o 3534
4.69/2.36	o 3533
4.69/2.36	o 3532
4.69/2.36	o 3531
4.69/2.37	o 3523
4.69/2.37	o 3508
4.69/2.37	o 3507
4.69/2.37	o 3506
4.69/2.37	o 3505
4.69/2.37	o 3499
4.69/2.37	o 3497
4.69/2.37	o 3493
4.69/2.37	o 3492
4.69/2.37	o 3491
4.69/2.37	o 3490
4.69/2.37	o 3489
4.69/2.37	o 3488
4.69/2.37	o 3487
4.69/2.37	o 3486
4.69/2.37	o 3485
4.69/2.37	o 3484
4.69/2.37	o 3483
4.69/2.37	o 3482
4.69/2.38	o 3481
4.69/2.38	o 3480
4.69/2.38	o 3479
4.69/2.38	o 3478
4.69/2.38	o 3475
4.69/2.38	o 3474
4.69/2.38	o 3472
4.69/2.38	o 3471
4.69/2.38	o 3470
4.69/2.38	o 3469
4.69/2.38	o 3468
4.69/2.38	o 3467
4.69/2.38	o 3466
4.69/2.39	o 3465
4.69/2.39	o 3464
4.69/2.39	o 3463
4.69/2.39	o 3462
4.69/2.39	o 3460
4.69/2.39	o 3459
4.69/2.39	o 3457
4.69/2.39	o 3456
4.69/2.39	o 3452
4.69/2.39	o 3451
4.69/2.39	o 3449
4.69/2.39	o 3448
4.69/2.39	o 3443
4.69/2.39	o 3442
4.69/2.39	o 3440
4.69/2.39	o 3439
4.69/2.39	o 3438
4.69/2.39	o 3436
4.69/2.39	o 3435
4.69/2.39	o 3434
4.69/2.39	o 3433
4.69/2.39	o 3430
4.69/2.39	o 3429
4.69/2.40	o 3428
4.69/2.40	o 3427
4.69/2.40	o 3426
4.69/2.40	o 3425
4.69/2.40	o 3423
4.69/2.40	o 3422
4.81/2.40	o 3421
4.81/2.40	o 3420
4.81/2.40	o 3419
4.81/2.40	o 3418
4.81/2.40	o 3417
4.81/2.40	o 3416
4.81/2.41	o 3415
4.81/2.41	o 3414
4.81/2.41	o 3413
4.81/2.41	o 3412
4.81/2.41	o 3411
4.81/2.42	o 3344
4.81/2.42	o 3341
4.81/2.42	o 3338
4.81/2.42	o 3334
4.81/2.42	o 3329
4.81/2.42	o 3328
4.81/2.42	o 3327
4.81/2.42	o 3326
4.81/2.42	o 3325
4.81/2.42	o 3324
4.81/2.42	o 3323
4.81/2.42	o 3322
4.81/2.43	o 3321
4.81/2.43	o 3320
4.81/2.43	o 3319
4.81/2.43	o 3317
4.81/2.43	o 3316
4.81/2.43	o 3315
4.81/2.43	o 3314
4.81/2.43	o 3313
4.81/2.43	o 3312
4.81/2.43	o 3311
4.81/2.43	o 3310
4.81/2.43	o 3309
4.81/2.43	o 3308
4.81/2.43	o 3307
4.81/2.43	o 3306
4.81/2.43	o 3305
4.81/2.44	o 3304
4.81/2.47	o 3303
4.81/2.49	o 3302
4.81/2.49	o 3301
4.81/2.49	o 3300
4.81/2.49	o 3299
4.81/2.50	o 3297
4.81/2.50	o 3294
4.81/2.50	o 3287
4.81/2.50	o 3286
4.81/2.50	o 3284
4.81/2.50	o 3283
4.81/2.50	o 3282
4.81/2.50	o 3281
4.98/2.50	o 3280
4.98/2.50	o 3276
4.98/2.50	o 3275
4.98/2.50	o 3274
4.98/2.50	o 3273
4.98/2.50	o 3272
4.98/2.50	o 3271
4.98/2.50	o 3270
4.98/2.50	o 3268
4.98/2.50	o 3267
4.98/2.50	o 3266
4.98/2.50	o 3265
4.98/2.51	o 3264
5.08/2.62	o 3263
5.08/2.67	o 3262
5.08/2.67	o 3261
5.08/2.67	o 3260
5.08/2.67	o 3259
5.08/2.67	o 3258
5.08/2.67	o 3257
5.08/2.67	o 3256
5.08/2.67	o 3255
5.08/2.67	o 3254
5.08/2.67	o 3253
5.08/2.67	o 3252
5.08/2.67	o 3251
5.08/2.67	o 3250
5.08/2.67	o 3249
5.08/2.67	o 3248
5.08/2.67	o 3247
5.08/2.67	o 3246
5.18/2.70	o 3245
5.18/2.71	o 3244
5.18/2.71	o 3243
5.18/2.71	o 3240
5.18/2.71	o 3212
5.18/2.71	o 3197
5.18/2.71	o 3183
5.18/2.71	o 3181
5.18/2.71	o 3180
5.18/2.71	o 3179
5.18/2.71	o 3178
5.18/2.71	o 3177
5.18/2.71	o 3176
5.18/2.74	o 3175
5.18/2.74	o 3174
5.30/2.81	o 3173
5.30/2.81	o 3172
5.30/2.81	o 3171
5.30/2.82	o 3170
5.30/2.82	o 3169
5.30/2.82	o 3168
5.30/2.82	o 3167
5.30/2.83	o 3166
5.30/2.83	o 3165
5.30/2.83	o 3164
5.30/2.83	o 3163
5.30/2.83	o 3162
5.30/2.83	o 3161
5.30/2.83	o 3160
5.30/2.83	o 3159
5.30/2.83	o 3158
5.30/2.83	o 3157
5.30/2.85	o 3156
5.30/2.86	o 3155
5.30/2.86	o 3153
5.30/2.86	o 3152
5.30/2.86	o 3149
5.30/2.86	o 3148
5.30/2.86	o 3144
5.30/2.86	o 3143
5.30/2.86	o 3142
5.30/2.86	o 3141
5.30/2.86	o 3137
5.30/2.86	o 3136
5.30/2.86	o 3135
5.30/2.86	o 3134
5.30/2.86	o 3133
5.30/2.86	o 3132
5.30/2.86	o 3131
5.30/2.86	o 3130
5.30/2.86	o 3128
5.30/2.86	o 3127
5.30/2.86	o 3126
5.30/2.86	o 3124
5.30/2.86	o 3123
5.30/2.86	o 3122
5.30/2.86	o 3121
5.30/2.86	o 3120
5.30/2.86	o 3116
5.30/2.86	o 3115
5.30/2.86	o 3114
5.30/2.86	o 3113
5.30/2.87	o 3112
5.30/2.87	o 3111
5.30/2.87	o 3110
5.30/2.89	o 3109
5.30/2.89	o 3108
5.30/2.90	o 3107
5.30/2.90	o 3106
5.30/2.90	o 3105
5.41/2.92	o 3104
5.41/2.97	o 3102
5.41/2.97	o 3100
5.41/2.98	o 3098
5.52/3.01	o 3097
5.52/3.02	o 3096
5.52/3.02	o 3095
5.52/3.02	o 3094
5.52/3.02	o 3091
5.52/3.02	o 3088
5.52/3.02	o 3087
5.52/3.02	o 3086
5.52/3.02	o 3085
5.52/3.02	o 3084
5.52/3.02	o 3083
5.52/3.02	o 3064
5.52/3.02	o 3063
5.52/3.02	o 3062
5.52/3.02	o 3061
5.52/3.02	o 3060
5.52/3.02	o 3059
5.52/3.02	o 3058
5.52/3.02	o 3057
5.52/3.02	o 3056
5.52/3.02	o 3055
5.52/3.03	o 3054
5.52/3.05	o 3053
5.52/3.05	o 3052
5.52/3.05	o 3051
5.52/3.06	o 3050
5.52/3.08	o 3049
5.52/3.10	o 3048
5.52/3.10	o 3047
5.70/3.15	o 3046
5.70/3.15	o 3045
5.70/3.15	o 3044
5.82/3.20	o 3043
5.93/3.31	o 3042
5.93/3.31	o 3041
5.93/3.37	o 3040
5.93/3.37	o 3036
5.93/3.37	o 3034
5.93/3.37	o 3031
5.93/3.37	o 3026
5.93/3.37	o 3025
5.93/3.37	o 3020
5.93/3.37	o 3018
5.93/3.37	o 3017
5.93/3.37	o 3016
5.93/3.37	o 3015
5.93/3.40	o 3014
5.93/3.40	o 3012
6.03/3.40	o 3011
6.03/3.40	o 3009
6.14/3.52	o 3008
6.14/3.52	o 3007
6.14/3.52	o 3006
6.14/3.52	o 3005
6.14/3.52	o 3004
6.14/3.52	o 3003
6.14/3.52	o 3002
6.14/3.52	o 3000
6.14/3.52	o 2999
6.14/3.52	o 2998
6.14/3.52	o 2997
6.14/3.52	o 2996
6.14/3.52	o 2995
6.14/3.52	o 2994
6.14/3.53	o 2981
6.14/3.53	o 2980
6.14/3.53	o 2977
6.14/3.53	o 2967
6.14/3.53	o 2966
6.14/3.53	o 2965
6.14/3.53	o 2964
6.14/3.53	o 2963
6.14/3.53	o 2962
6.14/3.53	o 2961
6.14/3.53	o 2960
6.14/3.53	o 2959
6.14/3.54	o 2958
6.27/3.62	o 2957
6.27/3.66	o 2956
6.68/4.10	o 2955
6.68/4.10	o 2954
6.68/4.10	o 2953
6.68/4.10	o 2952
6.68/4.10	o 2951
6.68/4.10	o 2950
6.68/4.10	o 2949
6.68/4.10	o 2947
6.68/4.10	o 2946
6.68/4.10	o 2945
6.68/4.10	o 2944
6.68/4.10	o 2943
6.68/4.10	o 2942
6.68/4.10	o 2941
6.68/4.10	o 2940
6.68/4.10	o 2939
6.68/4.10	o 2938
6.68/4.10	o 2937
6.68/4.10	o 2936
6.68/4.10	o 2935
6.68/4.10	o 2934
6.68/4.10	o 2933
7.00/4.21	o 2932
7.00/4.21	o 2931
7.00/4.22	o 2930
7.00/4.22	o 2929
7.09/4.30	o 2928
7.09/4.30	o 2927
7.09/4.34	o 2926
7.09/4.34	o 2925
7.09/4.38	o 2924
7.09/4.38	o 2923
7.09/4.38	o 2922
7.09/4.38	o 2921
8.08/5.12	o 2916
8.08/5.12	o 2912
8.08/5.12	o 2911
8.08/5.12	o 2910
8.08/5.12	o 2909
8.08/5.12	o 2908
8.08/5.12	o 2907
8.08/5.12	o 2906
8.08/5.12	o 2905
8.08/5.12	o 2904
8.08/5.12	o 2903
8.08/5.12	o 2902
8.08/5.12	o 2898
8.08/5.12	o 2895
8.08/5.12	o 2894
8.08/5.12	o 2893
8.08/5.12	o 2892
8.08/5.12	o 2891
8.08/5.12	o 2890
8.08/5.12	o 2887
8.08/5.12	o 2886
8.08/5.12	o 2881
8.08/5.12	o 2880
8.08/5.12	o 2879
8.08/5.13	o 2878
8.08/5.13	o 2877
8.08/5.13	o 2876
8.18/5.21	o 2875
8.18/5.21	o 2874
8.18/5.21	o 2873
8.18/5.21	o 2872
8.18/5.26	o 2871
8.28/5.37	o 2870
8.28/5.37	o 2869
8.37/5.47	o 2868
8.37/5.47	o 2867
8.79/5.85	o 2866
9.10/6.11	o 2864
9.10/6.11	o 2862
9.10/6.16	o 2861
9.10/6.16	o 2855
9.10/6.16	o 2852
9.10/6.16	o 2840
9.10/6.16	o 2837
9.10/6.16	o 2834
9.10/6.16	o 2829
9.10/6.16	o 2825
9.10/6.16	o 2821
9.10/6.17	o 2818
9.10/6.17	o 2813
9.10/6.17	o 2812
9.10/6.17	o 2811
9.10/6.17	o 2810
9.10/6.17	o 2809
9.10/6.17	o 2807
9.10/6.17	o 2806
9.10/6.17	o 2805
9.10/6.17	o 2804
9.10/6.17	o 2803
9.10/6.18	o 2802
9.10/6.18	o 2801
9.19/6.26	o 2800
9.19/6.26	o 2798
9.19/6.26	o 2796
9.19/6.27	o 2795
9.19/6.27	o 2794
9.19/6.27	o 2793
9.19/6.27	o 2791
9.19/6.27	o 2790
9.19/6.27	o 2787
9.19/6.27	o 2786
9.41/6.46	o 2785
9.61/6.61	o 2780
9.61/6.61	o 2779
9.61/6.61	o 2775
9.61/6.61	o 2774
9.61/6.61	o 2761
9.61/6.61	o 2760
9.61/6.61	o 2759
9.61/6.61	o 2758
9.61/6.61	o 2757
9.61/6.61	o 2753
9.61/6.61	o 2735
9.61/6.61	o 2733
9.61/6.61	o 2732
9.61/6.61	o 2731
9.61/6.61	o 2730
9.61/6.61	o 2729
9.61/6.61	o 2728
9.61/6.62	o 2727
9.61/6.63	o 2726
9.61/6.63	o 2725
9.71/6.70	o 2724
9.71/6.70	o 2723
9.71/6.70	o 2722
9.71/6.70	o 2721
10.02/7.02	o 2720
10.12/7.13	o 2719
10.31/7.31	o 2718
10.31/7.31	o 2716
10.31/7.31	o 2711
10.31/7.31	o 2704
10.31/7.31	o 2700
10.31/7.32	o 2691
10.31/7.32	o 2690
10.31/7.32	o 2689
10.31/7.32	o 2688
10.31/7.32	o 2687
10.31/7.32	o 2686
10.31/7.38	o 2685
10.31/7.38	o 2684
10.31/7.38	o 2683
10.31/7.38	o 2682
10.52/7.52	o 2681
10.52/7.52	o 2680
10.52/7.52	o 2679
10.52/7.53	o 2678
10.52/7.53	o 2677
10.52/7.56	o 2674
10.52/7.56	o 2672
10.52/7.56	o 2669
10.52/7.56	o 2668
10.52/7.56	o 2662
10.52/7.56	o 2660
10.52/7.56	o 2657
10.52/7.57	o 2640
10.52/7.57	o 2639
10.52/7.57	o 2638
10.52/7.57	o 2637
10.52/7.57	o 2635
10.52/7.57	o 2634
10.52/7.57	o 2633
10.52/7.57	o 2632
10.52/7.57	o 2631
10.52/7.57	o 2630
10.52/7.58	o 2629
10.52/7.59	o 2628
10.62/7.62	o 2627
10.62/7.68	o 2626
10.82/7.82	o 2625
10.82/7.85	o 2624
11.13/8.18	o 2623
11.22/8.26	o 2622
11.32/8.34	o 2621
11.42/8.41	o 2618
11.42/8.41	o 2612
11.42/8.41	o 2611
11.42/8.41	o 2607
11.42/8.41	o 2606
11.42/8.41	o 2605
11.42/8.41	o 2604
11.42/8.41	o 2603
11.42/8.41	o 2602
11.42/8.41	o 2600
11.42/8.41	o 2599
11.42/8.41	o 2598
11.42/8.41	o 2597
11.42/8.41	o 2596
11.42/8.41	o 2595
11.42/8.41	o 2594
11.42/8.41	o 2591
11.42/8.41	o 2590
11.42/8.41	o 2589
11.42/8.41	o 2588
11.42/8.41	o 2587
11.42/8.41	o 2586
11.42/8.42	o 2582
11.42/8.42	o 2581
11.42/8.42	o 2580
11.42/8.42	o 2576
11.42/8.42	o 2575
11.42/8.42	o 2574
11.42/8.42	o 2573
11.42/8.42	o 2572
11.42/8.42	o 2571
11.42/8.42	o 2570
11.42/8.42	o 2569
11.42/8.42	o 2568
11.42/8.42	o 2567
11.42/8.42	o 2566
11.42/8.43	o 2565
11.42/8.43	o 2564
11.42/8.43	o 2563
11.42/8.44	o 2562
11.42/8.44	o 2561
11.42/8.44	o 2560
11.42/8.44	o 2559
11.52/8.50	o 2558
11.52/8.50	o 2557
11.52/8.53	o 2556
11.52/8.53	o 2555
11.52/8.53	o 2554
11.52/8.55	o 2553
11.52/8.56	o 2552
11.62/8.66	o 2551
11.62/8.67	o 2550
11.62/8.67	o 2549
11.62/8.67	o 2548
11.72/8.74	o 2545
11.72/8.74	o 2540
11.72/8.74	o 2537
11.72/8.74	o 2536
11.72/8.74	o 2535
11.72/8.74	o 2534
11.72/8.74	o 2533
11.72/8.74	o 2532
11.72/8.74	o 2531
11.72/8.74	o 2530
11.72/8.74	o 2529
11.72/8.75	o 2528
11.72/8.75	o 2527
11.72/8.78	o 2526
11.72/8.78	o 2525
11.72/8.79	o 2524
11.72/8.79	o 2523
12.04/9.01	o 2522
12.14/9.18	o 2509
12.14/9.18	o 2507
12.14/9.18	o 2506
12.14/9.18	o 2503
12.14/9.18	o 2502
12.14/9.18	o 2500
12.14/9.18	o 2499
12.14/9.18	o 2475
12.14/9.18	o 2474
12.14/9.18	o 2472
12.14/9.18	o 2471
12.14/9.19	o 2469
12.23/9.21	o 2468
12.23/9.22	o 2467
12.23/9.22	o 2465
12.23/9.28	o 2464
12.33/9.32	o 2463
12.33/9.38	o 2462
12.33/9.38	o 2461
12.33/9.38	o 2460
12.33/9.38	o 2458
12.33/9.38	o 2455
12.33/9.38	o 2452
12.33/9.38	o 2451
12.33/9.38	o 2450
12.33/9.38	o 2449
12.33/9.39	o 2448
12.33/9.39	o 2447
12.43/9.44	o 2446
12.43/9.45	o 2445
12.43/9.49	o 2444
12.64/9.67	o 2439
12.64/9.67	o 2435
12.64/9.67	o 2434
12.64/9.67	o 2433
12.64/9.67	o 2432
12.64/9.67	o 2431
12.64/9.67	o 2430
12.64/9.67	o 2426
12.64/9.67	o 2404
12.64/9.67	o 2383
12.64/9.67	o 2379
12.64/9.67	o 2375
12.64/9.67	o 2370
12.64/9.67	o 2369
12.64/9.68	o 2368
12.74/9.77	o 2366
12.74/9.77	o 2365
12.74/9.77	o 2364
12.94/9.98	o 2362
12.94/9.99	o 2361
12.94/9.99	o 2360
12.94/9.99	o 2359
12.94/9.99	o 2358
12.94/9.99	o 2357
12.94/9.99	o 2356
12.94/9.99	o 2355
12.94/9.99	o 2353
12.94/9.99	o 2352
12.94/9.99	o 2351
12.94/9.99	o 2350
12.94/9.99	o 2349
13.05/10.06	o 2348
13.05/10.06	o 2347
13.15/10.17	o 2345
13.15/10.17	o 2339
13.15/10.17	o 2337
13.15/10.17	o 2335
13.15/10.17	o 2333
13.15/10.18	o 2331
13.24/10.21	o 2329
13.24/10.21	o 2322
13.24/10.21	o 2317
13.24/10.21	o 2316
13.34/10.37	o 2315
13.46/10.41	o 2314
13.46/10.43	o 2313
14.17/11.17	o 2312
14.17/11.17	o 2311
14.17/11.17	o 2308
14.17/11.17	o 2307
14.17/11.17	o 2306
14.17/11.17	o 2305
14.17/11.17	o 2293
14.17/11.17	o 2292
14.17/11.17	o 2282
14.17/11.17	o 2281
14.17/11.17	o 2280
14.17/11.17	o 2279
14.17/11.17	o 2278
14.17/11.19	o 2277
14.17/11.19	o 2276
14.17/11.19	o 2274
14.17/11.20	o 2272
14.17/11.20	o 2271
14.17/11.20	o 2269
14.17/11.20	o 2268
14.27/11.20	o 2262
14.27/11.20	o 2261
14.27/11.20	o 2260
14.27/11.20	o 2259
14.27/11.20	o 2258
14.27/11.20	o 2257
14.27/11.20	o 2256
14.27/11.20	o 2255
14.27/11.20	o 2254
14.27/11.24	o 2253
14.27/11.27	o 2252
14.27/11.28	o 2251
14.27/11.28	o 2250
14.37/11.31	o 2249
14.37/11.32	o 2248
14.37/11.32	o 2247
14.37/11.39	o 2246
14.77/11.73	o 2245
15.27/12.23	o 2244
15.27/12.23	o 2230
15.27/12.23	o 2220
15.27/12.23	o 2219
15.27/12.23	o 2214
15.27/12.23	o 2213
15.27/12.23	o 2210
15.27/12.23	o 2209
15.27/12.23	o 2208
15.27/12.23	o 2207
15.27/12.23	o 2196
15.27/12.23	o 2195
15.27/12.24	o 2194
15.27/12.24	o 2193
15.27/12.24	o 2192
15.27/12.24	o 2191
15.27/12.24	o 2190
15.27/12.24	o 2183
15.27/12.24	o 2182
15.27/12.24	o 2181
15.27/12.24	o 2180
15.27/12.24	o 2178
15.27/12.24	o 2177
15.27/12.24	o 2176
15.27/12.24	o 2175
15.27/12.24	o 2174
15.27/12.24	o 2173
15.27/12.24	o 2172
15.27/12.24	o 2171
15.27/12.24	o 2170
15.27/12.24	o 2169
15.27/12.24	o 2168
15.27/12.25	o 2167
15.27/12.25	o 2166
15.27/12.25	o 2165
15.27/12.26	o 2164
15.27/12.27	o 2162
15.27/12.28	o 2160
15.39/12.31	o 2158
15.39/12.33	o 2157
15.39/12.34	o 2156
15.39/12.36	o 2155
15.79/12.71	o 2154
15.89/12.83	o 2153
17.10/14.06	o 2151
17.10/14.06	o 2150
17.10/14.06	o 2146
17.10/14.06	o 2145
17.10/14.06	o 2144
17.10/14.07	o 2142
17.10/14.07	o 2140
17.10/14.07	o 2138
17.10/14.07	o 2134
17.10/14.07	o 2132
17.10/14.07	o 2131
17.10/14.08	o 2130
17.10/14.08	o 2129
17.10/14.10	o 2128
17.20/14.12	o 2127
17.49/14.45	o 2126
17.89/14.81	o 2125
17.89/14.81	o 2124
17.89/14.81	o 2123
17.89/14.81	o 2122
17.89/14.81	o 2121
17.89/14.81	o 2120
17.89/14.81	o 2119
17.89/14.81	o 2116
17.89/14.81	o 2115
17.89/14.81	o 2114
17.89/14.82	o 2113
17.89/14.82	o 2111
17.89/14.82	o 2110
17.89/14.82	o 2109
17.89/14.82	o 2108
17.89/14.82	o 2107
17.89/14.82	o 2104
17.89/14.82	o 2103
17.89/14.82	o 2102
17.89/14.82	o 2101
17.89/14.82	o 2100
17.89/14.82	o 2095
17.89/14.82	o 2094
17.89/14.82	o 2093
17.89/14.83	o 2092
17.89/14.84	o 2091
17.89/14.85	o 2090
17.89/14.85	o 2089
17.89/14.85	o 2088
17.89/14.85	o 2087
17.89/14.88	o 2086
18.40/15.39	o 2085
18.90/15.89	o 2084
19.00/15.93	o 2083
19.00/15.94	o 2082
19.60/16.50	o 2081
19.60/16.50	o 2080
19.60/16.50	o 2079
19.60/16.50	o 2078
19.60/16.50	o 2077
19.60/16.53	o 2076
19.60/16.55	o 2075
19.60/16.56	o 2074
19.60/16.56	o 2073
19.60/16.56	o 2072
19.60/16.57	o 2071
19.60/16.57	o 2070
19.70/16.66	o 2069
19.70/16.66	o 2068
19.70/16.66	o 2067
19.70/16.66	o 2066
19.70/16.66	o 2065
19.70/16.66	o 2063
19.70/16.66	o 2062
19.70/16.66	o 2061
19.70/16.66	o 2057
19.70/16.66	o 2056
19.70/16.66	o 2017
19.70/16.66	o 2016
19.70/16.67	o 2015
19.70/16.67	o 2010
19.70/16.67	o 2009
19.70/16.67	o 2008
19.70/16.67	o 2006
19.70/16.67	o 2002
19.70/16.67	o 2001
19.70/16.67	o 2000
19.70/16.67	o 1999
19.70/16.68	o 1998
19.70/16.68	o 1997
19.70/16.68	o 1996
19.70/16.68	o 1994
19.70/16.69	o 1993
19.80/16.72	o 1992
19.80/16.72	o 1991
20.11/17.09	o 1990
20.11/17.09	o 1989
20.11/17.09	o 1988
20.11/17.09	o 1987
20.11/17.09	o 1986
20.11/17.09	o 1983
20.11/17.09	o 1981
20.11/17.09	o 1980
20.11/17.09	o 1979
20.11/17.09	o 1960
20.11/17.09	o 1959
20.11/17.09	o 1941
20.11/17.09	o 1940
20.11/17.09	o 1939
20.11/17.09	o 1938
20.11/17.10	o 1937
20.11/17.10	o 1936
20.22/17.13	o 1935
20.22/17.14	o 1934
20.22/17.14	o 1933
20.22/17.17	o 1932
20.22/17.17	o 1931
20.22/17.18	o 1930
20.22/17.18	o 1929
20.31/17.24	o 1928
20.41/17.35	o 1927
20.41/17.38	o 1926
20.61/17.50	o 1925
20.81/17.76	o 1924
20.81/17.78	o 1923
21.01/17.96	o 1911
21.01/17.96	o 1910
21.01/17.96	o 1909
21.01/17.96	o 1908
21.01/17.96	o 1900
21.01/17.96	o 1876
21.01/17.96	o 1875
21.01/17.96	o 1874
21.01/17.96	o 1873
21.01/17.96	o 1872
21.01/17.96	o 1871
21.01/17.96	o 1870
21.01/17.97	o 1869
21.01/17.97	o 1868
21.01/17.97	o 1867
21.01/17.98	o 1866
21.01/17.98	o 1865
21.01/17.98	o 1864
21.01/17.98	o 1863
21.01/17.98	o 1862
21.01/17.98	o 1861
21.01/17.98	o 1860
21.01/17.98	o 1859
21.01/17.99	o 1858
21.01/17.99	o 1857
21.01/17.99	o 1856
21.01/17.99	o 1855
21.01/17.99	o 1854
21.01/17.99	o 1853
21.01/17.99	o 1852
21.01/17.99	o 1851
21.01/17.99	o 1850
21.01/17.99	o 1849
21.01/17.99	o 1848
21.01/17.99	o 1843
21.01/17.99	o 1842
21.01/17.99	o 1841
21.01/17.99	o 1840
21.01/17.99	o 1839
21.01/17.99	o 1838
21.01/17.99	o 1837
21.01/17.99	o 1836
21.01/17.99	o 1835
21.01/17.99	o 1834
21.01/18.00	o 1833
21.01/18.00	o 1832
21.01/18.00	o 1831
21.01/18.00	o 1830
21.01/18.00	o 1829
21.12/18.01	o 1828
21.12/18.09	o 1824
21.12/18.09	o 1823
21.12/18.09	o 1821
21.12/18.09	o 1820
21.12/18.09	o 1819
21.12/18.09	o 1818
21.12/18.09	o 1817
21.12/18.09	o 1816
21.12/18.09	o 1805
21.12/18.09	o 1803
21.12/18.09	o 1801
21.12/18.09	o 1800
21.12/18.09	o 1798
21.12/18.09	o 1797
21.12/18.09	o 1796
21.12/18.09	o 1795
21.12/18.09	o 1794
21.12/18.09	o 1793
21.12/18.09	o 1791
21.12/18.09	o 1790
21.12/18.09	o 1789
21.12/18.09	o 1788
21.12/18.10	o 1787
21.12/18.10	o 1786
21.12/18.10	o 1785
21.12/18.10	o 1784
21.12/18.10	o 1783
21.12/18.10	o 1782
21.12/18.10	o 1781
21.12/18.10	o 1780
21.22/18.11	o 1779
21.22/18.11	o 1778
21.22/18.13	o 1777
21.22/18.13	o 1776
21.22/18.13	o 1775
21.22/18.13	o 1774
21.32/18.22	o 1773
21.32/18.23	o 1772
21.32/18.23	o 1771
21.32/18.24	o 1770
21.32/18.24	o 1769
21.32/18.24	o 1768
21.32/18.24	o 1767
21.32/18.24	o 1766
21.32/18.24	o 1765
21.32/18.24	o 1764
21.32/18.24	o 1760
21.32/18.24	o 1759
21.32/18.24	o 1758
21.32/18.24	o 1757
21.32/18.24	o 1756
21.32/18.24	o 1755
21.32/18.24	o 1754
21.32/18.24	o 1753
21.32/18.24	o 1751
21.32/18.24	o 1750
21.32/18.24	o 1749
21.32/18.24	o 1748
21.32/18.24	o 1738
21.32/18.24	o 1737
21.32/18.24	o 1736
21.32/18.25	o 1735
21.32/18.25	o 1734
21.32/18.25	o 1733
21.32/18.25	o 1732
21.32/18.25	o 1731
21.32/18.26	o 1730
21.32/18.26	o 1729
21.32/18.26	o 1728
21.32/18.28	o 1727
21.32/18.30	o 1726
21.42/18.32	o 1725
21.52/18.41	o 1724
21.52/18.41	o 1723
21.52/18.45	o 1722
21.72/18.69	o 1721
21.72/18.69	o 1720
21.82/18.79	o 1719
21.92/18.83	o 1718
22.02/18.97	o 1717
22.02/18.97	o 1716
22.02/18.97	o 1715
22.02/18.97	o 1714
22.02/18.97	o 1713
22.02/18.97	o 1711
22.02/18.97	o 1710
22.02/18.97	o 1672
22.02/18.97	o 1671
22.02/18.97	o 1670
22.02/18.97	o 1669
22.02/18.98	o 1668
22.02/18.98	o 1667
22.02/18.98	o 1666
22.02/18.98	o 1665
22.02/18.98	o 1664
22.02/18.98	o 1663
22.13/19.04	o 1662
22.13/19.09	o 1661
22.23/19.19	o 1653
22.23/19.19	o 1651
22.23/19.19	o 1648
22.23/19.19	o 1641
22.23/19.19	o 1640
22.23/19.19	o 1636
22.23/19.19	o 1633
22.23/19.19	o 1630
22.23/19.19	o 1617
22.23/19.20	o 1616
22.32/19.20	o 1615
22.32/19.20	o 1614
22.32/19.21	o 1613
22.32/19.27	o 1612
22.32/19.27	o 1611
22.32/19.29	o 1610
22.83/19.72	o 1609
22.83/19.73	o 1608
23.63/20.53	o 1607
25.04/21.90	o 1606
25.04/21.93	o 1605
25.15/22.07	o 1604
25.15/22.07	o 1603
25.25/22.16	o 1602
25.65/22.58	o 1601
25.65/22.58	o 1600
25.65/22.58	o 1599
25.65/22.58	o 1598
25.65/22.58	o 1596
25.65/22.58	o 1595
25.65/22.58	o 1594
25.65/22.58	o 1593
25.65/22.58	o 1592
25.65/22.58	o 1591
25.65/22.58	o 1590
25.65/22.58	o 1589
25.65/22.58	o 1588
25.65/22.59	o 1586
25.65/22.59	o 1584
25.75/22.61	o 1582
25.75/22.61	o 1581
25.75/22.61	o 1580
25.75/22.61	o 1579
26.65/23.57	o 1578
26.65/23.57	o 1577
26.65/23.57	o 1576
26.65/23.57	o 1575
26.65/23.57	o 1574
26.65/23.57	o 1573
26.65/23.57	o 1572
26.65/23.57	o 1571
26.65/23.57	o 1570
26.65/23.57	o 1569
26.65/23.57	o 1568
26.65/23.57	o 1566
26.65/23.57	o 1565
26.65/23.57	o 1564
26.65/23.58	o 1563
26.76/23.61	o 1562
26.76/23.61	o 1561
26.76/23.61	o 1560
26.76/23.61	o 1559
26.76/23.64	o 1558
26.76/23.64	o 1557
26.76/23.65	o 1556
26.76/23.65	o 1555
26.85/23.71	o 1554
26.85/23.71	o 1553
26.85/23.74	o 1552
26.85/23.74	o 1551
26.85/23.80	o 1550
27.96/24.85	o 1548
27.96/24.85	o 1547
27.96/24.85	o 1542
27.96/24.85	o 1541
27.96/24.85	o 1540
27.96/24.85	o 1536
27.96/24.85	o 1535
27.96/24.85	o 1534
27.96/24.85	o 1533
27.96/24.85	o 1530
27.96/24.85	o 1529
27.96/24.85	o 1528
27.96/24.86	o 1527
27.96/24.86	o 1526
27.96/24.86	o 1525
27.96/24.86	o 1513
27.96/24.86	o 1512
27.96/24.86	o 1511
28.27/25.19	o 1510
28.76/25.66	o 1509
28.96/25.85	o 1508
29.07/25.91	o 1507
29.07/25.91	o 1506
30.58/27.46	o 1504
30.58/27.46	o 1503
30.58/27.46	o 1502
30.58/27.46	o 1501
30.58/27.46	o 1500
30.58/27.46	o 1499
30.58/27.46	o 1498
30.58/27.46	o 1497
30.58/27.46	o 1496
30.58/27.46	o 1494
30.58/27.46	o 1493
30.58/27.46	o 1492
30.58/27.46	o 1491
30.58/27.46	o 1490
30.58/27.46	o 1489
30.58/27.46	o 1488
30.58/27.46	o 1486
30.58/27.46	o 1485
30.58/27.46	o 1484
30.58/27.46	o 1483
30.58/27.46	o 1482
30.58/27.46	o 1481
30.58/27.46	o 1480
30.58/27.47	o 1479
30.58/27.47	o 1478
30.58/27.47	o 1477
30.58/27.47	o 1476
30.58/27.48	o 1475
30.58/27.48	o 1474
30.68/27.50	o 1473
31.08/27.97	o 1472
32.69/29.53	o 1471
32.69/29.53	o 1470
32.69/29.53	o 1465
32.69/29.53	o 1463
32.69/29.53	o 1462
32.69/29.53	o 1428
32.69/29.53	o 1427
32.69/29.53	o 1425
32.69/29.53	o 1424
32.69/29.53	o 1422
32.69/29.53	o 1421
32.69/29.53	o 1409
32.69/29.53	o 1407
32.69/29.53	o 1406
32.69/29.53	o 1404
32.69/29.53	o 1403
32.69/29.53	o 1402
32.69/29.53	o 1401
32.69/29.53	o 1399
32.69/29.53	o 1397
32.69/29.53	o 1396
32.69/29.53	o 1395
32.69/29.53	o 1394
32.69/29.53	o 1393
32.69/29.54	o 1392
32.69/29.54	o 1391
32.69/29.54	o 1390
32.69/29.54	o 1389
32.69/29.55	o 1388
32.69/29.55	o 1387
32.69/29.55	o 1386
32.79/29.68	o 1385
32.79/29.69	o 1384
32.79/29.70	o 1383
32.89/29.70	o 1382
32.89/29.70	o 1381
33.39/30.20	o 1380
34.11/30.99	o 1379
34.11/30.99	o 1378
34.11/30.99	o 1377
34.11/30.99	o 1373
34.11/30.99	o 1372
34.11/30.99	o 1371
34.11/30.99	o 1370
34.11/30.99	o 1369
34.11/30.99	o 1363
34.11/30.99	o 1362
34.11/30.99	o 1361
34.11/30.99	o 1360
34.11/30.99	o 1359
34.11/30.99	o 1358
34.11/30.99	o 1357
34.11/30.99	o 1356
34.22/31.01	o 1355
34.22/31.01	o 1354
34.22/31.10	o 1353
34.32/31.15	o 1352
34.32/31.16	o 1351
34.41/31.22	o 1350
34.41/31.25	o 1349
34.41/31.30	o 1348
34.51/31.35	o 1347
34.61/31.48	o 1346
34.61/31.48	o 1345
34.61/31.48	o 1344
34.71/31.53	o 1343
34.71/31.53	o 1342
34.71/31.59	o 1341
34.81/31.61	o 1340
37.13/33.92	o 1331
37.13/33.92	o 1330
37.13/33.92	o 1322
37.13/33.92	o 1321
37.13/33.92	o 1319
37.13/33.92	o 1318
37.13/33.92	o 1317
37.13/33.92	o 1316
37.13/33.92	o 1301
37.13/33.92	o 1300
37.13/33.92	o 1299
37.13/33.92	o 1298
37.13/33.92	o 1297
37.13/33.92	o 1296
37.13/33.92	o 1295
37.13/33.92	o 1294
37.13/33.92	o 1293
37.13/33.96	o 1292
37.13/33.96	o 1291
37.13/33.96	o 1290
37.13/33.96	o 1289
37.13/33.96	o 1288
37.24/34.01	o 1287
37.24/34.03	o 1286
37.93/34.75	o 1285
37.93/34.75	o 1284
37.93/34.75	o 1283
37.93/34.76	o 1282
37.93/34.76	o 1281
37.93/34.76	o 1280
37.93/34.76	o 1279
37.93/34.76	o 1278
37.93/34.76	o 1277
37.93/34.76	o 1276
37.93/34.77	o 1275
37.93/34.77	o 1274
37.93/34.77	o 1272
37.93/34.77	o 1271
37.93/34.77	o 1261
37.93/34.78	o 1260
37.93/34.78	o 1258
37.93/34.78	o 1257
37.93/34.78	o 1255
37.93/34.78	o 1254
37.93/34.78	o 1253
37.93/34.78	o 1252
37.93/34.78	o 1238
37.93/34.78	o 1237
37.93/34.78	o 1235
37.93/34.78	o 1234
37.93/34.78	o 1233
37.93/34.78	o 1232
37.93/34.78	o 1231
37.93/34.78	o 1223
37.93/34.78	o 1222
37.93/34.78	o 1221
37.93/34.78	o 1220
37.93/34.78	o 1219
37.93/34.78	o 1208
37.93/34.78	o 1207
37.93/34.79	o 1206
37.93/34.79	o 1203
37.93/34.79	o 1202
37.93/34.79	o 1199
37.93/34.79	o 1198
37.93/34.79	o 1197
37.93/34.79	o 1196
37.93/34.79	o 1195
37.93/34.79	o 1194
37.93/34.79	o 1193
37.93/34.80	o 1192
38.03/34.82	o 1191
38.03/34.82	o 1190
38.03/34.82	o 1189
38.03/34.82	o 1188
38.03/34.82	o 1187
38.03/34.83	o 1178
38.03/34.83	o 1176
38.03/34.83	o 1173
38.03/34.83	o 1172
38.03/34.83	o 1171
38.03/34.83	o 1170
38.03/34.83	o 1156
38.03/34.83	o 1155
38.03/34.83	o 1154
38.03/34.83	o 1153
38.03/34.83	o 1149
38.03/34.83	o 1148
38.03/34.83	o 1147
38.03/34.83	o 1146
38.03/34.83	o 1131
38.03/34.83	o 1130
38.03/34.83	o 1129
38.03/34.84	o 1128
38.03/34.84	o 1127
38.03/34.84	o 1126
38.03/34.84	o 1125
38.03/34.84	o 1124
38.03/34.84	o 1123
38.03/34.84	o 1121
38.03/34.84	o 1120
38.03/34.84	o 1119
38.03/34.85	o 1118
38.03/34.86	o 1117
38.13/34.92	o 1116
38.13/34.92	o 1115
40.95/37.73	o 1114
40.95/37.78	o 1113
40.95/37.79	o 1112
40.95/37.79	o 1111
41.05/37.86	o 1110
41.05/37.86	o 1109
41.05/37.87	o 1108
41.46/38.29	o 1107
41.56/38.30	o 1106
41.56/38.36	o 1105
48.43/45.13	o 1104
48.43/45.13	o 1103
48.43/45.13	o 1102
48.43/45.13	o 1100
48.43/45.13	o 1099
48.43/45.13	o 1098
48.43/45.13	o 1097
48.43/45.14	o 1096
48.43/45.14	o 1095
48.43/45.14	o 1094
48.43/45.14	o 1093
48.43/45.14	o 1092
48.43/45.14	o 1091
48.43/45.14	o 1090
48.52/45.22	o 1089
48.82/45.52	o 1088
49.53/46.23	o 1087
50.54/47.22	o 1086
51.75/48.44	o 1085
51.85/48.52	o 1084
56.09/52.78	o 1083
56.20/52.81	o 1082
56.20/52.86	o 1081
56.20/52.86	o 1080
58.21/54.86	o 1079
58.21/54.86	o 1078
58.21/54.86	o 1077
58.21/54.86	o 1076
58.21/54.86	o 1075
58.21/54.86	o 1074
58.21/54.86	o 1073
58.21/54.86	o 1072
58.21/54.86	o 1070
58.21/54.86	o 1069
58.21/54.87	o 1067
58.21/54.87	o 1066
58.21/54.87	o 1062
58.21/54.87	o 1061
58.21/54.87	o 1060
58.21/54.89	o 1059
58.31/54.90	o 1058
58.31/54.90	o 1057
58.31/54.90	o 1056
58.31/54.94	o 1053
58.31/54.94	o 1052
58.31/54.94	o 1051
58.31/54.94	o 1050
58.31/54.95	o 1049
58.31/54.95	o 1048
58.31/54.95	o 1047
58.31/54.95	o 1046
58.31/54.95	o 1045
58.31/54.95	o 1044
58.31/54.95	o 1043
58.31/54.95	o 1042
58.31/54.95	o 1041
58.31/54.95	o 1040
58.31/54.95	o 1039
58.31/54.95	o 1038
58.31/54.95	o 1037
58.31/54.96	o 1036
58.31/54.97	o 1035
58.31/54.97	o 1034
58.31/54.97	o 1033
60.83/57.46	o 1020
60.83/57.46	o 1017
60.83/57.46	o 1016
60.83/57.46	o 1015
60.83/57.46	o 1014
60.83/57.46	o 1013
60.83/57.46	o 1012
60.83/57.46	o 1011
60.83/57.46	o 1010
60.83/57.46	o 1009
60.83/57.46	o 1008
60.83/57.46	o 1007
60.83/57.46	o 1006
60.83/57.46	o 1005
60.83/57.46	o 1004
60.83/57.46	o 1003
60.83/57.46	o 1002
60.83/57.46	o 1001
60.83/57.47	o 1000
60.83/57.47	o 999
61.34/57.91	o 998
61.34/57.97	o 997
62.56/59.16	o 996
62.56/59.16	o 994
62.56/59.16	o 993
62.56/59.16	o 980
62.56/59.16	o 979
62.56/59.17	o 973
62.56/59.17	o 972
62.56/59.17	o 970
62.56/59.17	o 969
62.56/59.17	o 968
62.56/59.17	o 967
62.56/59.17	o 966
62.56/59.17	o 965
62.56/59.17	o 960
62.56/59.17	o 959
62.65/59.22	o 958
62.65/59.22	o 957
63.05/59.65	o 956
63.05/59.65	o 955
63.05/59.65	o 954
63.05/59.65	o 953
63.05/59.65	o 952
63.05/59.65	o 951
63.57/60.16	o 932
63.57/60.16	o 931
63.57/60.16	o 930
63.57/60.16	o 922
63.57/60.16	o 921
63.57/60.16	o 920
63.57/60.16	o 901
63.57/60.16	o 900
63.57/60.16	o 899
63.57/60.16	o 898
63.57/60.17	o 897
63.57/60.17	o 896
63.57/60.17	o 895
63.57/60.17	o 894
63.57/60.17	o 893
63.57/60.17	o 892
63.57/60.17	o 891
63.57/60.17	o 890
63.57/60.17	o 889
63.57/60.17	o 888
63.57/60.17	o 887
64.17/60.76	o 886
64.17/60.76	o 885
64.67/61.28	o 884
65.79/62.38	o 883
65.79/62.38	o 882
65.79/62.38	o 881
65.89/62.46	o 880
66.10/62.62	o 879
66.10/62.62	o 878
66.10/62.62	o 877
66.10/62.62	o 876
66.10/62.62	o 875
66.10/62.62	o 874
66.10/62.62	o 873
66.10/62.62	o 872
66.10/62.62	o 871
66.10/62.62	o 870
66.10/62.67	o 869
66.10/62.67	o 868
66.10/62.67	o 866
66.10/62.67	o 865
66.20/62.72	o 864
66.40/62.91	o 863
66.40/62.92	o 862
66.40/62.96	o 861
66.51/63.05	o 860
66.51/63.05	o 859
66.51/63.05	o 858
66.51/63.05	o 857
66.51/63.05	o 856
66.51/63.05	o 855
66.51/63.05	o 854
66.51/63.05	o 853
66.51/63.05	o 852
66.51/63.05	o 851
66.51/63.07	o 850
66.51/63.07	o 849
66.61/63.15	o 848
66.61/63.15	o 847
66.61/63.15	o 846
66.61/63.15	o 845
66.61/63.15	o 844
66.70/63.25	o 843
66.70/63.25	o 842
67.91/64.41	o 841
70.43/66.95	o 835
70.43/66.95	o 834
70.43/66.95	o 826
70.43/66.95	o 825
70.43/66.95	o 824
70.43/66.95	o 798
70.43/66.95	o 797
70.43/66.95	o 796
70.43/66.95	o 795
70.43/66.95	o 794
70.43/66.95	o 792
70.43/66.95	o 790
70.43/66.95	o 789
70.43/66.95	o 788
70.43/66.95	o 787
70.43/66.95	o 786
70.43/66.95	o 785
70.43/66.95	o 784
70.43/66.95	o 783
70.43/66.95	o 782
70.43/66.95	o 781
70.43/66.95	o 780
70.43/66.96	o 779
70.43/66.96	o 778
70.43/66.96	o 777
70.43/66.96	o 776
70.43/66.96	o 775
70.43/66.96	o 774
70.43/66.96	o 773
70.43/66.99	o 772
70.43/66.99	o 771
70.43/66.99	o 770
70.43/66.99	o 769
70.43/66.99	o 768
70.43/66.99	o 767
70.43/67.00	o 766
70.54/67.02	o 765
70.54/67.02	o 764
70.54/67.02	o 763
70.54/67.02	o 762
70.54/67.02	o 761
70.54/67.02	o 760
70.54/67.02	o 759
70.54/67.02	o 758
70.54/67.02	o 757
70.54/67.02	o 756
70.54/67.02	o 755
70.54/67.02	o 754
70.54/67.02	o 753
70.54/67.02	o 752
70.54/67.02	o 737
70.54/67.02	o 735
70.54/67.02	o 734
70.54/67.02	o 733
70.54/67.02	o 707
70.54/67.02	o 706
70.54/67.02	o 704
70.54/67.02	o 703
70.54/67.04	o 702
70.54/67.04	o 701
70.54/67.04	o 700
70.54/67.04	o 699
70.54/67.04	o 698
70.54/67.04	o 697
70.54/67.06	o 696
70.54/67.07	o 695
70.54/67.07	o 694
70.54/67.07	o 693
70.54/67.07	o 692
70.54/67.07	o 691
70.54/67.08	o 690
70.54/67.08	o 689
70.54/67.08	o 688
70.54/67.09	o 687
70.54/67.09	o 686
70.54/67.09	o 685
70.54/67.09	o 684
70.65/67.12	o 683
70.65/67.13	o 682
70.65/67.18	o 681
70.65/67.19	o 680
70.74/67.21	o 679
71.75/68.21	o 678
72.45/69.00	o 668
72.45/69.00	o 664
72.45/69.00	o 663
72.45/69.00	o 662
72.45/69.00	o 661
72.45/69.00	o 658
72.45/69.00	o 657
72.45/69.00	o 656
72.45/69.00	o 655
72.45/69.00	o 654
72.45/69.00	o 653
72.45/69.00	o 652
72.45/69.00	o 651
72.45/69.00	o 650
72.56/69.02	o 649
72.56/69.04	o 648
72.56/69.06	o 647
72.66/69.11	o 646
72.66/69.11	o 645
72.66/69.11	o 644
72.66/69.11	o 643
72.66/69.11	o 642
74.37/70.81	o 641
74.47/70.95	o 640
77.00/73.49	o 639
81.34/77.71	o 638
81.34/77.74	o 637
81.34/77.75	o 636
82.04/78.43	o 635
82.14/78.58	o 634
82.44/78.84	o 633
82.75/79.16	o 632
82.75/79.16	o 631
83.66/80.09	o 630
83.66/80.09	o 629
83.66/80.10	o 628
83.66/80.10	o 627
83.66/80.10	o 626
83.66/80.10	o 624
83.66/80.10	o 620
83.76/80.11	o 618
83.76/80.11	o 617
83.76/80.12	o 616
83.76/80.12	o 615
83.76/80.13	o 614
83.85/80.23	o 613
83.85/80.29	o 612
83.85/80.29	o 611
83.96/80.31	o 610
86.18/82.52	o 586
86.18/82.52	o 580
86.18/82.53	o 578
86.18/82.53	o 577
86.18/82.53	o 561
86.18/82.53	o 560
86.18/82.54	o 554
86.18/82.54	o 553
86.18/82.54	o 550
86.18/82.54	o 549
86.18/82.56	o 548
86.28/82.69	o 547
86.48/82.81	o 546
86.48/82.87	o 542
86.48/82.87	o 541
86.48/82.88	o 540
86.48/82.88	o 539
86.48/82.88	o 538
86.48/82.89	o 537
86.48/82.89	o 536
86.48/82.89	o 535
86.69/83.01	o 534
86.69/83.01	o 533
86.69/83.01	o 532
86.69/83.01	o 531
86.69/83.01	o 530
86.69/83.01	o 529
86.69/83.03	o 528
86.88/83.22	o 527
86.88/83.25	o 526
86.88/83.26	o 525
86.88/83.27	o 524
86.88/83.28	o 523
86.88/83.30	o 522
86.88/83.30	o 521
86.98/83.32	o 520
86.98/83.34	o 519
86.98/83.34	o 518
87.09/83.40	o 511
87.09/83.40	o 505
87.09/83.40	o 499
87.09/83.40	o 498
87.09/83.42	o 496
87.09/83.42	o 494
87.09/83.42	o 490
87.09/83.45	o 487
87.09/83.45	o 486
87.09/83.45	o 485
87.09/83.45	o 484
88.31/84.61	o 483
89.01/85.31	o 482
89.01/85.34	o 481
89.01/85.34	o 480
89.01/85.34	o 479
89.01/85.35	o 478
89.12/85.45	o 477
90.23/86.60	o 476
90.33/86.61	o 475
90.33/86.61	o 474
90.33/86.61	o 473
90.33/86.61	o 472
109.59/105.71	o 471
113.52/109.67	o 470
115.33/111.44	o 469
115.33/111.44	o 468
117.86/113.91	o 467
117.86/113.91	o 466
117.97/114.01	o 464
117.97/114.01	o 463
117.97/114.01	o 462
117.97/114.01	o 458
117.97/114.02	o 457
117.97/114.02	o 441
117.97/114.03	o 440
117.97/114.03	o 432
117.97/114.03	o 428
117.97/114.05	o 427
117.97/114.07	o 426
117.97/114.07	o 425
117.97/114.07	o 424
117.97/114.07	o 423
117.97/114.08	o 422
117.97/114.08	o 419
117.97/114.09	o 418
117.97/114.09	o 417
117.97/114.09	o 416
118.07/114.12	o 415
118.07/114.12	o 414
118.07/114.14	o 413
118.07/114.14	o 412
118.07/114.15	o 411
119.08/115.12	o 410
119.17/115.22	o 408
119.17/115.22	o 407
119.37/115.49	o 406
119.37/115.49	o 405
119.37/115.49	o 404
119.47/115.55	o 403
121.80/117.80	o 402
121.80/117.82	o 401
121.80/117.82	o 400
121.80/117.82	o 399
122.01/118.03	o 398
122.01/118.03	o 397
122.01/118.09	o 396
122.01/118.09	o 395
123.02/119.06	o 393
123.02/119.06	o 385
123.02/119.06	o 384
123.02/119.06	o 383
123.02/119.06	o 382
123.02/119.06	o 381
123.02/119.06	o 380
123.02/119.06	o 379
123.02/119.10	o 378
123.92/119.99	o 377
123.92/119.99	o 376
123.92/119.99	o 375
123.92/119.99	o 374
123.92/119.99	o 373
123.92/120.00	o 372
123.92/120.00	o 371
124.33/120.36	o 370
124.33/120.36	o 369
124.33/120.36	o 366
124.33/120.36	o 365
124.33/120.36	o 364
124.44/120.40	o 363
124.44/120.42	o 362
124.44/120.43	o 361
124.44/120.43	o 360
124.44/120.43	o 359
124.44/120.43	o 358
124.44/120.43	o 357
124.44/120.44	o 356
124.44/120.46	o 355
124.94/121.00	o 354
125.45/121.47	o 353
125.85/121.82	o 352
125.95/121.90	o 351
125.95/121.91	o 350
125.95/121.97	o 349
126.06/122.02	o 348
126.06/122.04	o 347
126.06/122.04	o 346
126.06/122.04	o 345
126.06/122.05	o 344
126.06/122.07	o 343
126.25/122.21	o 342
126.56/122.58	o 341
126.86/122.88	o 340
126.86/122.89	o 339
127.07/123.08	o 338
127.07/123.09	o 337
127.17/123.12	o 336
127.17/123.12	o 335
127.17/123.12	o 334
127.17/123.13	o 333
127.47/123.41	o 332
127.47/123.45	o 331
140.89/136.75	o 330
141.20/137.03	o 329
141.31/137.13	o 328
141.31/137.13	o 327
148.97/144.76	o 326
148.97/144.76	o 325
148.97/144.76	o 324
148.97/144.76	o 323
148.97/144.76	o 315
148.97/144.76	o 314
148.97/144.76	o 313
148.97/144.77	o 312
148.97/144.77	o 311
148.97/144.77	o 310
148.97/144.77	o 309
148.97/144.77	o 308
148.97/144.77	o 307
148.97/144.77	o 306
148.97/144.77	o 305
148.97/144.77	o 304
148.97/144.78	o 303
148.97/144.78	o 302
148.97/144.78	o 301
148.97/144.79	o 300
148.97/144.79	o 299
148.97/144.79	o 298
149.07/144.82	o 297
149.07/144.82	o 296
149.17/144.98	o 295
149.17/144.98	o 294
156.74/152.43	o 293
156.74/152.44	o 292
156.74/152.45	o 291
156.74/152.45	o 290
158.36/154.07	o 289
158.76/154.44	o 288
158.76/154.44	o 287
158.76/154.44	o 286
158.76/154.44	o 285
158.96/154.64	o 283
158.96/154.64	o 281
158.96/154.64	o 279
158.96/154.64	o 276
158.96/154.64	o 275
158.96/154.65	o 274
158.96/154.65	o 273
158.96/154.65	o 262
158.96/154.65	o 261
158.96/154.65	o 260
158.96/154.65	o 257
158.96/154.65	o 256
158.96/154.65	o 254
158.96/154.65	o 253
158.96/154.65	o 248
158.96/154.65	o 247
158.96/154.65	o 242
158.96/154.66	o 241
158.96/154.66	o 240
158.96/154.66	o 239
158.96/154.66	o 238
158.96/154.67	o 237
158.96/154.67	o 236
158.96/154.68	o 235
158.96/154.68	o 234
159.47/155.13	o 233
159.66/155.36	o 232
159.66/155.36	o 231
161.08/156.70	o 230
161.08/156.77	o 229
162.70/158.36	o 221
162.70/158.36	o 220
162.70/158.37	o 208
162.70/158.37	o 207
162.70/158.37	o 188
162.70/158.37	o 187
162.70/158.37	o 186
162.70/158.39	o 185
162.70/158.39	o 184
162.70/158.39	o 183
162.70/158.39	o 182
162.70/158.39	o 181
162.70/158.39	o 180
162.70/158.39	o 179
162.80/158.40	o 178
162.80/158.40	o 177
163.10/158.77	o 176
165.32/160.93	o 175
166.13/161.78	o 174
166.13/161.79	o 173
166.23/161.89	o 172
166.33/161.93	o 171
166.54/162.11	o 170
166.73/162.39	o 169
167.57/163.15	o 168
167.87/163.41	o 167
167.87/163.41	o 166
167.87/163.41	o 165
168.68/164.28	o 164
168.78/164.33	o 163
168.78/164.37	o 162
168.78/164.38	o 161
168.78/164.38	o 160
168.78/164.38	o 159
168.78/164.38	o 158
168.78/164.38	o 157
168.78/164.38	o 156
168.88/164.40	o 155
169.08/164.64	o 154
169.08/164.69	o 153
169.18/164.73	o 152
169.18/164.75	o 151
169.18/164.76	o 150
169.79/165.31	o 149
169.79/165.31	o 148
169.79/165.31	o 147
169.79/165.37	o 146
169.79/165.37	o 145
173.75/169.22	o 144
173.75/169.22	o 143
173.75/169.24	o 142
173.75/169.25	o 141
173.75/169.25	o 140
173.75/169.25	o 139
173.75/169.25	o 138
173.75/169.25	o 137
173.75/169.26	o 136
173.75/169.27	o 135
173.95/169.40	o 134
174.46/169.91	o 133
252.00/246.70	s SATISFIABLE
252.00/246.70	v <instantiation>
252.00/246.70	v 	<list>
252.00/246.70	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94]
252.00/246.70	v 	</list>
252.00/246.70	v 	<values>
252.00/246.70	v 		4 3 4 3 6 4 2 4 3 2 5 0 0 0 0 0 0 0 0 0 0 0 9 5 2 5 5 2 2 2 2 2 2 5 0 0 0 0 0 0 0 0 0 0 0 2 4 1 1 1 1 1 1 2 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 11 1 1 1 1 1 1 3 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 4 
252.00/246.70	v 	</values>
252.00/246.70	v </instantiation>

Verifier Data 

OK	133

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312330-1534569407/watcher-4312330-1534569407 -o /tmp/evaluation-result-4312330-1534569407/solver-4312330-1534569407 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534568568-26365 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2130584196 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312330-1534569407.xml 

running on 4 cores: 0,2,4,6

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

solver pid=27126, runsolver pid=27123

[startup+0.107994 s]*
/proc/loadavg: 1.86 1.97 1.57 4/215 27141
/proc/meminfo: memFree=21399572/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14082736 memory=34352 CPUtime=0.13 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 6968 0 0 0 12 1 0 0 20 0 15 0 274503925 14420721664 8588 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3520684 8588 3159 1 0 3482761 0
[pid=27126/tid=27128] ppid=27123 vsize=14082736 memory=-8485517772678533248 CPUtime=0.1 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 5088 0 0 0 9 1 0 0 20 0 15 0 274503925 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984692743088 139984672617822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) S 27123 27126 22827 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984158296176 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0.01 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) R 27123 27126 22827 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 274503931 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984156191088 139984667183909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 8654 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34352 KiB

[startup+0.21023 s]*
/proc/loadavg: 1.86 1.97 1.57 5/215 27141
/proc/meminfo: memFree=21385184/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14082736 memory=47536 CPUtime=0.29 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 10012 0 0 0 27 2 0 0 20 0 15 0 274503925 14420721664 11884 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3520684 11884 3312 1 0 3482761 0
[pid=27126/tid=27128] ppid=27123 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) S 27123 27126 22827 0 -1 1077944384 7756 0 0 0 18 1 0 0 20 0 15 0 274503925 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984692762400 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14082736 memory=140105768935448 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) R 27123 27126 22827 0 -1 4202560 517 0 0 0 2 0 0 0 20 0 15 0 274503931 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984158296176 139984671924608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) R 27123 27126 22827 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0.05 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) S 27123 27126 22827 0 -1 1077944384 297 0 0 0 5 0 0 0 20 0 15 0 274503931 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984156191088 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 11884 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47536 KiB

[startup+0.310259 s]*
/proc/loadavg: 1.86 1.97 1.57 3/215 27141
/proc/meminfo: memFree=21381896/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14082736 memory=50928 CPUtime=0.44 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 10359 0 0 0 42 2 0 0 20 0 15 0 274503925 14420721664 12732 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3520684 12732 3361 1 0 3482761 0
[pid=27126/tid=27128] ppid=27123 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 8071 0 0 0 28 1 0 0 20 0 15 0 274503925 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984692746688 139984672617822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14082736 memory=140105768932932 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274503928 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) S 27123 27126 22827 0 -1 1077944384 539 0 0 0 3 0 0 0 20 0 15 0 274503931 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984158296176 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) S 27123 27126 22827 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 15 0 274503931 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0.08 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) S 27123 27126 22827 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 15 0 274503931 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984156191088 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14082736 memory=140105767491200 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503931 14420721664 12732 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50928 KiB

[startup+0.700625 s]
/proc/loadavg: 1.86 1.97 1.57 3/215 27141
/proc/meminfo: memFree=21362340/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14084804 memory=88796 CPUtime=0.98 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 17068 0 0 0 95 3 0 0 20 0 15 0 274503925 14422839296 22199 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3521201 22199 3500 1 0 3483273 0
[pid=27126/tid=27128] ppid=27123 vsize=14084804 memory=1752 CPUtime=0.66 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 14393 0 0 0 64 2 0 0 20 0 15 0 274503925 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984692752240 139984672617822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14084804 memory=1820 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14084804 memory=4296 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14084804 memory=3480 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14084804 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274503928 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14084804 memory=10212 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274503928 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274503928 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14084804 memory=6412 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14084804 memory=6297835844906604903 CPUtime=0.1 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) S 27123 27126 22827 0 -1 1077944384 694 0 0 0 10 0 0 0 20 0 15 0 274503931 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984158296176 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14084804 memory=8099279071866868840 CPUtime=0.05 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) S 27123 27126 22827 0 -1 1077944384 236 0 0 0 5 0 0 0 20 0 15 0 274503931 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14084804 memory=4641330296368681047 CPUtime=0.14 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) R 27123 27126 22827 0 -1 4202560 363 0 0 0 14 0 0 0 20 0 15 0 274503931 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984156191088 139984673184113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503931 14422839296 22199 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88796 KiB

[startup+1.50069 s]
/proc/loadavg: 1.86 1.97 1.57 4/215 27141
/proc/meminfo: memFree=21327104/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14090948 memory=153880 CPUtime=2.94 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 30850 0 0 0 287 7 0 0 20 0 15 0 274503925 14429130752 38470 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3522737 38470 3543 1 0 3484809 0
[pid=27126/tid=27128] ppid=27123 vsize=14090948 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 20846 0 0 0 141 5 0 0 20 0 15 0 274503925 14429130752 38470 33554432000 4194304 4196468 140730597587232 139984692766528 139984688559165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14090948 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14429130752 38470 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14090948 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14429130752 38470 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14090948 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274503926 14429130752 38470 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14090948 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274503926 14429130752 38470 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 38470 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0

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

/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 25852 0 0 0 16116 10 0 0 20 0 15 0 274503925 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984692775488 139984283026083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14090948 memory=176216 CPUtime=0.48 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 2586 0 0 0 45 3 0 0 20 0 15 0 274503926 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14090948 memory=178264 CPUtime=0.49 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 1683 0 0 0 46 3 0 0 20 0 15 0 274503926 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14090948 memory=176216 CPUtime=0.49 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 2775 0 0 0 46 3 0 0 20 0 15 0 274503926 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14090948 memory=178264 CPUtime=0.48 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 2715 0 0 0 45 3 0 0 20 0 15 0 274503926 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14090948 memory=178264 CPUtime=0.35 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 1803 0 0 0 32 3 0 0 20 0 15 0 274503928 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14090948 memory=178264 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14090948 memory=178264 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14090948 memory=178264 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14090948 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) S 27123 27126 22827 0 -1 1077944384 4423 0 0 0 117 0 0 0 20 0 15 0 274503931 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984158296176 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14090948 memory=178264 CPUtime=1.12 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) S 27123 27126 22827 0 -1 1077944384 4074 0 0 0 111 1 0 0 20 0 15 0 274503931 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14090948 memory=178264 CPUtime=0.74 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) S 27123 27126 22827 0 -1 1077944384 9794 0 0 0 73 1 0 0 20 0 15 0 274503931 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984156191088 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14090948 memory=178264 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14090948 memory=1168 CPUtime=0.07 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 448 0 0 0 3 4 0 0 20 0 15 0 274503931 14429130752 44566 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 166.73 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 178264 KiB

[startup+222.301 s]
/proc/loadavg: 1.83 1.88 1.62 3/216 27229
/proc/meminfo: memFree=21151960/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14090948 memory=190552 CPUtime=227.37 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 60469 0 0 0 22700 37 0 0 20 0 15 0 274503925 14429130752 47638 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3522737 47638 3577 1 0 3484809 0
[pid=27126/tid=27128] ppid=27123 vsize=14090948 memory=190552 CPUtime=220.82 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 26512 0 0 0 22072 10 0 0 20 0 15 0 274503925 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984692775376 139984282764192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14090948 memory=188296 CPUtime=0.7 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 2924 0 0 0 67 3 0 0 20 0 15 0 274503926 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14090948 memory=33 CPUtime=0.71 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 1925 0 0 0 67 4 0 0 20 0 15 0 274503926 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14090948 memory=190552 CPUtime=0.71 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 3664 0 0 0 67 4 0 0 20 0 15 0 274503926 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14090948 memory=190552 CPUtime=0.71 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 3028 0 0 0 67 4 0 0 20 0 15 0 274503926 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14090948 memory=190552 CPUtime=0.49 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 2068 0 0 0 45 4 0 0 20 0 15 0 274503928 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14090948 memory=190552 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14090948 memory=190552 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14090948 memory=190552 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14090948 memory=3816 CPUtime=1.17 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) S 27123 27126 22827 0 -1 1077944384 4425 0 0 0 117 0 0 0 20 0 15 0 274503931 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984158296176 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14090948 memory=6864 CPUtime=1.12 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) S 27123 27126 22827 0 -1 1077944384 4077 0 0 0 111 1 0 0 20 0 15 0 274503931 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14090948 memory=190552 CPUtime=0.74 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) S 27123 27126 22827 0 -1 1077944384 9961 0 0 0 73 1 0 0 20 0 15 0 274503931 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984156191088 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14090948 memory=190552 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14090948 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 469 0 0 0 4 6 0 0 20 0 15 0 274503931 14429130752 47638 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 227.37 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 190552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.701 s]
/proc/loadavg: 1.77 1.86 1.61 3/216 27229
/proc/meminfo: memFree=20228748/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14090948 memory=194648 CPUtime=252 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 61022 0 0 0 25161 39 0 0 20 0 15 0 274503925 14429130752 48662 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3522737 48662 3577 1 0 3484809 0
[pid=27126/tid=27128] ppid=27123 vsize=14090948 memory=194648 CPUtime=245.03 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 26602 0 0 0 24493 10 0 0 20 0 15 0 274503925 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984692775488 139984282848303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14090948 memory=194648 CPUtime=0.79 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 3051 0 0 0 75 4 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.8 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 2031 0 0 0 76 4 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.8 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 3781 0 0 0 76 4 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.8 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 3135 0 0 0 75 5 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.54 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 2072 0 0 0 50 4 0 0 20 0 15 0 274503928 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14090948 memory=192600 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14090948 memory=190552 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14090948 memory=192600 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14090948 memory=192600 CPUtime=1.17 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) S 27123 27126 22827 0 -1 1077944384 4425 0 0 0 117 0 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984158296176 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14090948 memory=194648 CPUtime=1.12 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) S 27123 27126 22827 0 -1 1077944384 4077 0 0 0 111 1 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.74 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) S 27123 27126 22827 0 -1 1077944384 9961 0 0 0 73 1 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984156191088 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14090948 memory=192600 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14090948 memory=3816 CPUtime=0.11 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 471 0 0 0 5 6 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 194648 KiB

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

[startup+246.716 s]
# the end of solver process 27126 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.626 s, system=0.408012 s

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

[startup+246.701 s]
/proc/loadavg: 1.77 1.86 1.61 3/216 27229
/proc/meminfo: memFree=20228748/32770624 swapFree=67108500/67108860
[pid=27126] ppid=27123 vsize=14090948 memory=194648 CPUtime=252 cores=0,2,4,6
/proc/27126/stat : 27126 (java) S 27123 27126 22827 0 -1 1077944320 61022 0 0 0 25161 39 0 0 20 0 15 0 274503925 14429130752 48662 33554432000 4194304 4196468 140730597587232 140730597569776 139984688537335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
/proc/27126/statm: 3522737 48662 3577 1 0 3484809 0
[pid=27126/tid=27128] ppid=27123 vsize=14090948 memory=194648 CPUtime=245.03 cores=0,2,4,6
/proc/27126/task/27128/stat : 27128 (java) R 27123 27126 22827 0 -1 4202560 26602 0 0 0 24493 10 0 0 20 0 15 0 274503925 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984692775488 139984282848303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27129] ppid=27123 vsize=14090948 memory=194648 CPUtime=0.79 cores=0,2,4,6
/proc/27126/task/27129/stat : 27129 (java) S 27123 27126 22827 0 -1 1077944384 3051 0 0 0 75 4 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984603605392 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27130] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.8 cores=0,2,4,6
/proc/27126/task/27130/stat : 27130 (java) S 27123 27126 22827 0 -1 1077944384 2031 0 0 0 76 4 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984602552592 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27131] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.8 cores=0,2,4,6
/proc/27126/task/27131/stat : 27131 (java) S 27123 27126 22827 0 -1 1077944384 3781 0 0 0 76 4 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984601500304 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27132] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.8 cores=0,2,4,6
/proc/27126/task/27132/stat : 27132 (java) S 27123 27126 22827 0 -1 1077944384 3135 0 0 0 75 5 0 0 20 0 15 0 274503926 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984600447504 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27133] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.54 cores=0,2,4,6
/proc/27126/task/27133/stat : 27133 (java) S 27123 27126 22827 0 -1 1077944384 2072 0 0 0 50 4 0 0 20 0 15 0 274503928 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984162507376 139984688548482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27134] ppid=27123 vsize=14090948 memory=192600 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27134/stat : 27134 (java) S 27123 27126 22827 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984161453344 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27135] ppid=27123 vsize=14090948 memory=190552 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27135/stat : 27135 (java) S 27123 27126 22827 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274503928 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984160401008 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27136] ppid=27123 vsize=14090948 memory=192600 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27136/stat : 27136 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984159349328 139984688555931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27137] ppid=27123 vsize=14090948 memory=192600 CPUtime=1.17 cores=0,2,4,6
/proc/27126/task/27137/stat : 27137 (java) S 27123 27126 22827 0 -1 1077944384 4425 0 0 0 117 0 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984158296176 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27138] ppid=27123 vsize=14090948 memory=194648 CPUtime=1.12 cores=0,2,4,6
/proc/27126/task/27138/stat : 27138 (java) S 27123 27126 22827 0 -1 1077944384 4077 0 0 0 111 1 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984157243376 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27139] ppid=27123 vsize=14090948 memory=192600 CPUtime=0.74 cores=0,2,4,6
/proc/27126/task/27139/stat : 27139 (java) S 27123 27126 22827 0 -1 1077944384 9961 0 0 0 73 1 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984156191088 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27140] ppid=27123 vsize=14090948 memory=192600 CPUtime=0 cores=0,2,4,6
/proc/27126/task/27140/stat : 27140 (java) S 27123 27126 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984155138528 139984688547541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
[pid=27126/tid=27141] ppid=27123 vsize=14090948 memory=3816 CPUtime=0.11 cores=0,2,4,6
/proc/27126/task/27141/stat : 27141 (java) S 27123 27126 22827 0 -1 1077944384 471 0 0 0 5 6 0 0 20 0 15 0 274503931 14429130752 48662 33554432000 4194304 4196468 140730597587232 139984154086320 139984688548482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30158848 140730597594190 140730597594382 140730597594382 140730597597135 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 194648 KiB

Child status: 143
Real time (s): 246.716
CPU time (s): 252.034
CPU user time (s): 251.626
CPU system time (s): 0.408012
CPU usage (%): 102.155
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 243244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.626
system time used= 0.408012
maximum resident set size= 243756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20643
involuntary context switches= 703


# summary of solver processes directly reported to runsolver:
#   pid: 27126
#   total CPU time (s): 252.034
#   total CPU user time (s): 251.626
#   total CPU system time (s): 0.408012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57533 second user time and 2.3331 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-18 07:16:47
IDJOB=4312330
IDBENCH=141226
IDSOLVER=2800
FILE ID=node104/4312330-1534569407
RUNJOBID= node104-1534568568-26365
PBS_JOBID= 21038643
Free space on /tmp= 47320 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-4312330-1534569407/watcher-4312330-1534569407 -o /tmp/evaluation-result-4312330-1534569407/solver-4312330-1534569407 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534568568-26365 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2130584196 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312330-1534569407.xml

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

MD5SUM BENCH= 12e75aa9ea5684230fdaa5ddf97691cc
RANDOM SEED=2130584196

node104.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.11
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.11
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.11
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.11
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:        21420280 kB
MemAvailable:   29107208 kB
Buffers:          216984 kB
Cached:          7718640 kB
SwapCached:            4 kB
Active:          6876900 kB
Inactive:        3891224 kB
Active(anon):    2808104 kB
Inactive(anon):    92888 kB
Active(file):    4068796 kB
Inactive(file):  3798336 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108500 kB
Dirty:             35972 kB
Writeback:             0 kB
AnonPages:       3021740 kB
Mapped:            32376 kB
Shmem:             66020 kB
Slab:             277628 kB
SReclaimable:     248256 kB
SUnreclaim:        29372 kB
KernelStack:        3808 kB
PageTables:        10544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4967196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2842624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47284 MiB
End job on node104 at 2018-08-18 07:20:54