0.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=epfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/275735-1169226262/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.72	     nbVariables=8937  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.72	       =>  wckTime=0.359  cpuTime=0.25  mem=21M507
0.72	   
0.72	   predicates being loaded...
0.72	   
0.72	   constraints being loaded...
3.99	     nbConstraints=26318  nbSingletonDomainVariables=48  nbConvertedConstraints=17498  nbConvertConstraintsChecks=6212
3.99	     nbExtensionStructures=11  nbSharedExtensionStructures=17487  nbConflictsStructures=32
3.99	     nbSharedConflictsStructures=26286  nbSharedBinaryRepresentations=27  nbEvaluationManagers=21
3.99	     nbSharedEvaluationManagers=8799  maxDegree=332  maxArity=9
3.99	       =>  wckTime=3.633  cpuTime=3.09  mem=35M384
4.17	   
4.17	   solver LocalSearchSolver being built... 
4.22	       =>  wckTime=3.858  cpuTime=3.13  mem=38M316
4.26	
4.26	s SATISFIABLE
4.26	o 20883
4.26	c 5435
4.28	o 20927
4.28	c 5391
4.28	o 20964
4.28	c 5354
4.29	o 20989
4.29	c 5329
4.30	o 21012
4.30	c 5306
4.31	o 21019
4.31	c 5299
4.32	o 21037
4.32	c 5281
4.36	o 21046
4.36	c 5272
4.36	o 21062
4.36	c 5256
4.38	o 21082
4.38	c 5236
4.40	o 21092
4.40	c 5226
4.43	o 21093
4.43	c 5225
4.44	o 21106
4.44	c 5212
4.44	o 21119
4.44	c 5199
4.45	o 21130
4.45	c 5188
4.45	o 21144
4.45	c 5174
4.46	o 21155
4.46	c 5163
4.47	o 21211
4.47	c 5107
4.48	o 21250
4.48	c 5068
4.48	o 21260
4.48	c 5058
4.49	o 21267
4.49	c 5051
4.50	o 21273
4.50	c 5045
4.51	o 21280
4.51	c 5038
4.52	o 21285
4.52	c 5033
4.53	o 21288
4.53	c 5030
4.54	o 21294
4.54	c 5024
4.57	o 21298
4.57	c 5020
4.58	o 21309
4.58	c 5009
4.59	o 21315
4.59	c 5003
4.59	o 21320
4.59	c 4998
4.60	o 21324
4.60	c 4994
5.10	o 21335
5.10	c 4983
6.22	o 21369
6.22	c 4949
7.30	o 21410
7.30	c 4908
7.32	o 21429
7.32	c 4889
7.34	o 21443
7.34	c 4875
7.36	o 21445
7.36	c 4873
7.39	o 21453
7.39	c 4865
7.40	o 21466
7.40	c 4852
7.43	o 21477
7.43	c 4841
7.48	o 21486
7.48	c 4832
7.49	o 21505
7.49	c 4813
7.61	o 21525
7.61	c 4793
7.63	o 21527
7.63	c 4791
7.64	o 21532
7.64	c 4786
7.66	o 21538
7.66	c 4780
9.38	o 21539
9.38	c 4779
9.39	o 21542
9.39	c 4776
9.40	o 21545
9.40	c 4773
9.45	o 21561
9.45	c 4757
9.47	o 21564
9.47	c 4754
9.54	o 21568
9.54	c 4750
9.55	o 21571
9.55	c 4747
9.56	o 21574
9.56	c 4744
9.61	o 21582
9.61	c 4736
9.89	o 21583
9.89	c 4735
9.93	o 21623
9.93	c 4695
9.94	o 21626
9.94	c 4692
9.95	o 21629
9.95	c 4689
9.97	o 21631
9.97	c 4687
10.00	o 21633
10.00	c 4685
10.02	o 21645
10.02	c 4673
10.03	o 21648
10.03	c 4670
10.09	o 21649
10.09	c 4669
10.10	o 21652
10.10	c 4666
10.12	o 21654
10.12	c 4664
10.13	o 21681
10.13	c 4637
10.14	o 21683
10.14	c 4635
10.16	o 21685
10.16	c 4633
10.17	o 21687
10.17	c 4631
10.25	o 21705
10.25	c 4613
10.26	o 21706
10.26	c 4612
10.27	o 21707
10.27	c 4611
10.32	o 21716
10.32	c 4602
10.34	o 21760
10.34	c 4558
10.36	o 21763
10.36	c 4555
10.47	o 21768
10.47	c 4550
12.32	o 21781
12.32	c 4537
12.33	o 21796
12.33	c 4522
12.34	o 21810
12.34	c 4508
12.37	o 21811
12.37	c 4507
12.43	o 21812
12.43	c 4506
12.45	o 21815
12.45	c 4503
12.46	o 21834
12.46	c 4484
12.48	o 21837
12.48	c 4481
12.50	o 21838
12.50	c 4480
12.52	o 21841
12.52	c 4477
12.53	o 21844
12.53	c 4474
12.55	o 21847
12.55	c 4471
12.56	o 21850
12.56	c 4468
12.57	o 21853
12.57	c 4465
12.66	o 21856
12.66	c 4462
12.67	o 21857
12.67	c 4461
12.69	o 21860
12.69	c 4458
12.70	o 21863
12.70	c 4455
12.72	o 21866
12.72	c 4452
12.73	o 21875
12.73	c 4443
12.74	o 21878
12.74	c 4440
12.76	o 21881
12.76	c 4437
12.77	o 21884
12.77	c 4434
12.79	o 21887
12.79	c 4431
13.05	o 21891
13.05	c 4427
13.55	o 21893
13.55	c 4425
13.57	o 21895
13.58	c 4423
13.59	o 21898
13.60	c 4420
13.61	o 21901
13.61	c 4417
13.62	o 21904
13.62	c 4414
13.64	o 21905
13.64	c 4413
13.65	o 21908
13.65	c 4410
13.66	o 21911
13.66	c 4407
13.68	o 21914
13.68	c 4404
13.87	o 21916
13.87	c 4402
13.88	o 21922
13.88	c 4396
13.90	o 21945
13.90	c 4373
13.91	o 21948
13.91	c 4370
13.92	o 21951
13.92	c 4367
13.94	o 21954
13.94	c 4364
14.15	o 21955
14.15	c 4363
14.51	o 21956
14.51	c 4362
14.52	o 21960
14.52	c 4358
14.54	o 21963
14.54	c 4355
14.55	o 21966
14.55	c 4352
14.57	o 21968
14.57	c 4350
14.76	o 21970
14.76	c 4348
14.87	o 21989
14.87	c 4329
14.88	o 21992
14.88	c 4326
14.90	o 22037
14.90	c 4281
14.92	o 22041
14.92	c 4277
14.95	o 22042
14.95	c 4276
15.03	o 22046
15.03	c 4272
15.07	o 22054
15.07	c 4264
15.18	o 22067
15.18	c 4251
15.19	o 22070
15.19	c 4248
15.21	o 22073
15.21	c 4245
15.22	o 22075
15.22	c 4243
15.23	o 22078
15.23	c 4240
15.25	o 22082
15.25	c 4236
15.26	o 22085
15.26	c 4233
15.28	o 22088
15.28	c 4230
15.29	o 22091
15.29	c 4227
15.30	o 22094
15.30	c 4224
15.32	o 22097
15.32	c 4221
15.33	o 22100
15.33	c 4218
15.35	o 22102
15.35	c 4216
15.37	o 22104
15.37	c 4214
15.38	o 22106
15.38	c 4212
15.39	o 22113
15.39	c 4205
15.45	o 22132
15.45	c 4186
15.47	o 22178
15.47	c 4140
15.55	o 22186
15.55	c 4132
15.57	o 22189
15.57	c 4129
15.58	o 22192
15.58	c 4126
15.67	o 22193
15.67	c 4125
15.69	o 22196
15.69	c 4122
15.70	o 22199
15.70	c 4119
15.72	o 22202
15.72	c 4116
15.73	o 22205
15.73	c 4113
15.75	o 22208
15.75	c 4110
15.76	o 22211
15.76	c 4107
15.77	o 22214
15.77	c 4104
15.79	o 22217
15.79	c 4101
15.80	o 22220
15.80	c 4098
15.82	o 22223
15.82	c 4095
15.83	o 22226
15.83	c 4092
15.84	o 22229
15.84	c 4089
15.86	o 22230
15.86	c 4088
15.88	o 22235
15.88	c 4083
15.89	o 22238
15.89	c 4080
15.91	o 22241
15.91	c 4077
15.92	o 22243
15.92	c 4075
16.03	o 22244
16.03	c 4074
16.05	o 22246
16.05	c 4072
16.06	o 22247
16.06	c 4071
16.08	o 22249
16.08	c 4069
16.09	o 22251
16.09	c 4067
16.11	o 22253
16.11	c 4065
16.12	o 22255
16.12	c 4063
16.14	o 22257
16.14	c 4061
16.15	o 22259
16.15	c 4059
16.17	o 22261
16.17	c 4057
16.29	o 22263
16.29	c 4055
16.30	o 22265
16.30	c 4053
16.32	o 22267
16.32	c 4051
17.00	o 22279
17.00	c 4039
17.01	o 22282
17.01	c 4036
17.03	o 22285
17.03	c 4033
17.04	o 22288
17.04	c 4030
17.08	o 22289
17.08	c 4029
17.09	o 22291
17.09	c 4027
17.11	o 22294
17.11	c 4024
17.12	o 22297
17.12	c 4021
17.14	o 22300
17.14	c 4018
17.15	o 22302
17.15	c 4016
17.17	o 22304
17.17	c 4014
17.18	o 22306
17.18	c 4012
17.20	o 22308
17.20	c 4010
17.21	o 22310
17.21	c 4008
17.23	o 22312
17.23	c 4006
17.24	o 22314
17.24	c 4004
17.26	o 22316
17.26	c 4002
17.27	o 22318
17.27	c 4000
17.56	o 22326
17.56	c 3992
17.58	o 22328
17.58	c 3990
17.60	o 22330
17.60	c 3988
17.62	o 22342
17.62	c 3976
17.65	o 22344
17.65	c 3974
17.67	o 22346
17.67	c 3972
17.69	o 22348
17.69	c 3970
17.70	o 22350
17.70	c 3968
17.72	o 22352
17.72	c 3966
17.73	o 22354
17.73	c 3964
17.75	o 22356
17.75	c 3962
17.76	o 22358
17.76	c 3960
17.78	o 22360
17.78	c 3958
17.81	o 22362
17.81	c 3956
17.83	o 22364
17.83	c 3954
17.84	o 22366
17.84	c 3952
17.91	o 22367
17.91	c 3951
17.93	o 22377
17.93	c 3941
18.01	o 22419
18.01	c 3899
18.02	o 22421
18.02	c 3897
18.04	o 22423
18.04	c 3895
18.05	o 22425
18.05	c 3893
18.07	o 22427
18.07	c 3891
18.08	o 22429
18.08	c 3889
18.26	o 22431
18.26	c 3887
18.28	o 22433
18.28	c 3885
18.29	o 22435
18.29	c 3883
18.31	o 22437
18.31	c 3881
18.32	o 22439
18.32	c 3879
18.40	o 22440
18.40	c 3878
18.41	o 22443
18.41	c 3875
18.43	o 22456
18.43	c 3862
18.44	o 22459
18.44	c 3859
18.46	o 22465
18.46	c 3853
18.54	o 22493
18.54	c 3825
18.55	o 22505
18.55	c 3813
18.57	o 22507
18.57	c 3811
18.61	o 22508
18.61	c 3810
18.62	o 22510
18.62	c 3808
18.64	o 22512
18.64	c 3806
18.65	o 22514
18.65	c 3804
18.67	o 22516
18.67	c 3802
18.68	o 22518
18.68	c 3800
18.70	o 22520
18.70	c 3798
18.71	o 22522
18.71	c 3796
18.74	o 22524
18.74	c 3794
18.75	o 22550
18.75	c 3768
18.77	o 22553
18.77	c 3765
18.78	o 22556
18.78	c 3762
18.79	o 22565
18.79	c 3753
18.81	o 22566
18.81	c 3752
18.82	o 22580
18.82	c 3738
18.84	o 22582
18.84	c 3736
18.85	o 22585
18.85	c 3733
18.93	o 22586
18.93	c 3732
18.94	o 22588
18.94	c 3730
18.96	o 22590
18.96	c 3728
18.98	o 22591
18.98	c 3727
18.99	o 22593
18.99	c 3725
19.01	o 22595
19.01	c 3723
19.09	o 22612
19.09	c 3706
19.11	o 22615
19.11	c 3703
19.16	o 22617
19.16	c 3701
19.18	o 22619
19.18	c 3699
19.20	o 22621
19.20	c 3697
19.21	o 22623
19.21	c 3695
19.49	o 22644
19.49	c 3674
19.50	o 22646
19.50	c 3672
19.52	o 22648
19.52	c 3670
19.54	o 22650
19.54	c 3668
19.55	o 22652
19.55	c 3666
19.57	o 22654
19.57	c 3664
19.58	o 22656
19.58	c 3662
19.60	o 22658
19.60	c 3660
19.61	o 22660
19.61	c 3658
19.63	o 22662
19.63	c 3656
20.86	o 22705
20.86	c 3613
21.05	o 22711
21.05	c 3607
21.07	o 22713
21.07	c 3605
21.08	o 22715
21.08	c 3603
21.10	o 22717
21.10	c 3601
21.11	o 22719
21.11	c 3599
21.13	o 22721
21.13	c 3597
21.17	o 22722
21.17	c 3596
21.18	o 22724
21.18	c 3594
21.20	o 22726
21.20	c 3592
21.24	o 22758
21.24	c 3560
21.30	o 22760
21.30	c 3558
21.32	o 22762
21.32	c 3556
21.33	o 22764
21.33	c 3554
21.35	o 22766
21.35	c 3552
21.36	o 22768
21.36	c 3550
21.38	o 22771
21.38	c 3547
21.39	o 22773
21.39	c 3545
21.41	o 22775
21.41	c 3543
21.42	o 22783
21.42	c 3535
21.46	o 22811
21.46	c 3507
21.49	o 22813
21.49	c 3505
21.55	o 22814
21.55	c 3504
21.56	o 22816
21.56	c 3502
21.58	o 22818
21.58	c 3500
21.59	o 22820
21.59	c 3498
21.60	o 22829
21.60	c 3489
21.62	o 22831
21.62	c 3487
21.64	o 22833
21.64	c 3485
21.65	o 22835
21.65	c 3483
21.67	o 22837
21.67	c 3481
21.68	o 22839
21.68	c 3479
21.70	o 22841
21.70	c 3477
21.71	o 22843
21.71	c 3475
21.73	o 22845
21.73	c 3473
21.74	o 22847
21.74	c 3471
21.76	o 22849
21.76	c 3469
21.77	o 22851
21.77	c 3467
21.79	o 22853
21.79	c 3465
21.80	o 22866
21.80	c 3452
21.82	o 22869
21.82	c 3449
21.83	o 22871
21.83	c 3447
21.85	o 22873
21.85	c 3445
22.20	o 22896
22.20	c 3422
22.22	o 22899
22.22	c 3419
22.24	o 22910
22.24	c 3408
22.26	o 22911
22.26	c 3407
22.27	o 22912
22.27	c 3406
22.29	o 22913
22.29	c 3405
22.30	o 22914
22.30	c 3404
22.32	o 22915
22.32	c 3403
22.33	o 22916
22.33	c 3402
22.35	o 22917
22.35	c 3401
22.36	o 22918
22.36	c 3400
22.38	o 22919
22.38	c 3399
22.39	o 22920
22.39	c 3398
22.41	o 22931
22.41	c 3387
22.52	o 22932
22.52	c 3386
22.53	o 22933
22.53	c 3385
22.55	o 22934
22.55	c 3384
22.56	o 22935
22.56	c 3383
22.58	o 22937
22.58	c 3381
22.59	o 22938
22.59	c 3380
22.61	o 22939
22.61	c 3379
22.62	o 22941
22.62	c 3377
22.64	o 22942
22.64	c 3376
22.66	o 22943
22.66	c 3375
22.71	o 22944
22.71	c 3374
22.93	o 22956
22.93	c 3362
22.94	o 22965
22.94	c 3353
22.99	o 22967
22.99	c 3351
23.00	o 22970
23.00	c 3348
25.01	o 22971
25.01	c 3347
25.03	o 22973
25.03	c 3345
25.05	o 22974
25.05	c 3344
25.07	o 22975
25.07	c 3343
25.18	o 22978
25.18	c 3340
25.19	o 22981
25.19	c 3337
25.21	o 22984
25.21	c 3334
25.22	o 22987
25.22	c 3331
25.23	o 22990
25.23	c 3328
25.25	o 22993
25.25	c 3325
25.26	o 22996
25.26	c 3322
25.44	o 22998
25.44	c 3320
25.46	o 23000
25.46	c 3318
25.50	o 23010
25.50	c 3308
25.51	o 23012
25.51	c 3306
25.53	o 23015
25.53	c 3303
25.54	o 23017
25.54	c 3301
25.56	o 23020
25.56	c 3298
25.58	o 23022
25.58	c 3296
25.60	o 23023
25.60	c 3295
25.61	o 23024
25.61	c 3294
25.62	o 23026
25.62	c 3292
25.64	o 23028
25.64	c 3290
25.65	o 23030
25.65	c 3288
25.66	o 23032
25.66	c 3286
25.68	o 23034
25.68	c 3284
25.69	o 23035
25.69	c 3283
25.74	o 23036
25.74	c 3282
25.75	o 23038
25.75	c 3280
25.77	o 23040
25.77	c 3278
25.78	o 23042
25.78	c 3276
25.79	o 23044
25.79	c 3274
25.81	o 23046
25.81	c 3272
25.82	o 23048
25.82	c 3270
25.83	o 23050
25.83	c 3268
25.85	o 23058
25.85	c 3260
25.87	o 23063
25.87	c 3255
25.90	o 23071
25.90	c 3247
25.91	o 23077
25.91	c 3241
25.92	o 23083
25.92	c 3235
26.05	o 23085
26.05	c 3233
26.06	o 23088
26.06	c 3230
26.08	o 23100
26.08	c 3218
26.09	o 23112
26.09	c 3206
26.18	o 23140
26.18	c 3178
26.19	o 23152
26.19	c 3166
26.21	o 23153
26.21	c 3165
26.22	o 23157
26.22	c 3161
26.23	o 23160
26.23	c 3158
26.25	o 23161
26.25	c 3157
26.26	o 23162
26.26	c 3156
26.27	o 23163
26.27	c 3155
26.29	o 23165
26.29	c 3153
26.30	o 23167
26.30	c 3151
26.31	o 23168
26.31	c 3150
26.32	o 23170
26.32	c 3148
26.34	o 23172
26.34	c 3146
26.35	o 23174
26.35	c 3144
26.36	o 23176
26.36	c 3142
26.38	o 23178
26.38	c 3140
26.39	o 23180
26.39	c 3138
26.40	o 23181
26.40	c 3137
26.46	o 23189
26.46	c 3129
26.81	o 23190
26.81	c 3128
26.82	o 23193
26.82	c 3125
26.83	o 23195
26.83	c 3123
26.85	o 23197
26.85	c 3121
26.86	o 23199
26.86	c 3119
26.87	o 23201
26.87	c 3117
26.88	o 23202
26.88	c 3116
26.90	o 23203
26.90	c 3115
26.91	o 23204
26.91	c 3114
26.92	o 23206
26.92	c 3112
26.94	o 23208
26.94	c 3110
26.95	o 23210
26.95	c 3108
26.96	o 23212
26.96	c 3106
26.97	o 23214
26.97	c 3104
26.99	o 23215
26.99	c 3103
27.00	o 23220
27.00	c 3098
27.01	o 23221
27.01	c 3097
27.03	o 23236
27.03	c 3082
27.04	o 23237
27.04	c 3081
27.05	o 23239
27.05	c 3079
27.07	o 23242
27.07	c 3076
27.08	o 23244
27.08	c 3074
27.09	o 23246
27.09	c 3072
27.10	o 23248
27.10	c 3070
27.12	o 23250
27.12	c 3068
27.13	o 23252
27.13	c 3066
27.14	o 23254
27.14	c 3064
27.16	o 23256
27.16	c 3062
27.17	o 23259
27.17	c 3059
27.19	o 23260
27.19	c 3058
27.20	o 23261
27.20	c 3057
27.21	o 23262
27.21	c 3056
27.23	o 23264
27.23	c 3054
27.24	o 23266
27.24	c 3052
27.25	o 23276
27.25	c 3042
27.26	o 23279
27.26	c 3039
27.28	o 23282
27.28	c 3036
27.29	o 23285
27.29	c 3033
27.30	o 23288
27.30	c 3030
27.40	o 23298
27.40	c 3020
27.41	o 23299
27.41	c 3019
27.45	o 23302
27.45	c 3016
27.47	o 23305
27.47	c 3013
27.48	o 23310
27.48	c 3008
27.49	o 23311
27.49	c 3007
27.50	o 23313
27.50	c 3005
27.52	o 23314
27.52	c 3004
27.53	o 23315
27.53	c 3003
27.54	o 23317
27.54	c 3001
27.56	o 23319
27.56	c 2999
27.57	o 23342
27.57	c 2976
27.58	o 23344
27.58	c 2974
27.59	o 23346
27.59	c 2972
27.61	o 23347
27.61	c 2971
27.62	o 23382
27.62	c 2936
27.63	o 23384
27.63	c 2934
27.65	o 23391
27.65	c 2927
27.67	o 23394
27.67	c 2924
27.70	o 23398
27.70	c 2920
27.71	o 23412
27.71	c 2906
27.73	o 23415
27.73	c 2903
27.74	o 23417
27.74	c 2901
27.75	o 23419
27.75	c 2899
27.76	o 23421
27.76	c 2897
27.78	o 23423
27.78	c 2895
27.79	o 23425
27.79	c 2893
27.81	o 23427
27.81	c 2891
27.82	o 23429
27.82	c 2889
27.83	o 23431
27.83	c 2887
27.84	o 23433
27.84	c 2885
27.86	o 23435
27.86	c 2883
27.87	o 23437
27.87	c 2881
27.88	o 23439
27.88	c 2879
27.89	o 23441
27.89	c 2877
27.91	o 23443
27.91	c 2875
27.92	o 23445
27.92	c 2873
27.93	o 23447
27.93	c 2871
27.94	o 23449
27.94	c 2869
27.96	o 23451
27.96	c 2867
27.97	o 23459
27.97	c 2859
27.98	o 23461
27.98	c 2857
28.00	o 23463
28.00	c 2855
28.01	o 23465
28.01	c 2853
28.02	o 23467
28.02	c 2851
28.03	o 23469
28.03	c 2849
28.05	o 23471
28.05	c 2847
28.06	o 23473
28.06	c 2845
28.07	o 23486
28.07	c 2832
28.08	o 23489
28.08	c 2829
28.10	o 23492
28.10	c 2826
28.11	o 23494
28.11	c 2824
28.12	o 23496
28.12	c 2822
28.13	o 23498
28.13	c 2820
28.15	o 23500
28.15	c 2818
28.17	o 23501
28.17	c 2817
28.18	o 23503
28.18	c 2815
28.20	o 23505
28.20	c 2813
28.21	o 23507
28.21	c 2811
28.22	o 23509
28.22	c 2809
28.23	o 23511
28.23	c 2807
28.25	o 23513
28.25	c 2805
28.26	o 23515
28.26	c 2803
28.34	o 23516
28.34	c 2802
28.35	o 23518
28.35	c 2800
28.36	o 23520
28.36	c 2798
28.38	o 23521
28.38	c 2797
28.40	o 23523
28.40	c 2795
28.41	o 23525
28.41	c 2793
28.43	o 23526
28.43	c 2792
28.44	o 23529
28.44	c 2789
28.46	o 23531
28.46	c 2787
28.47	o 23533
28.47	c 2785
28.48	o 23534
28.48	c 2784
28.49	o 23536
28.49	c 2782
28.51	o 23538
28.51	c 2780
28.52	o 23540
28.52	c 2778
28.53	o 23541
28.53	c 2777
28.54	o 23542
28.54	c 2776
28.56	o 23544
28.56	c 2774
28.57	o 23545
28.57	c 2773
28.58	o 23555
28.58	c 2763
28.59	o 23557
28.59	c 2761
28.61	o 23559
28.61	c 2759
28.62	o 23561
28.62	c 2757
28.63	o 23563
28.63	c 2755
28.64	o 23565
28.64	c 2753
28.67	o 23571
28.67	c 2747
28.68	o 23573
28.68	c 2745
28.69	o 23575
28.69	c 2743
28.70	o 23577
28.70	c 2741
28.75	o 23579
28.75	c 2739
28.77	o 23581
28.77	c 2737
28.78	o 23583
28.78	c 2735
28.85	o 23585
28.85	c 2733
28.86	o 23587
28.86	c 2731
28.87	o 23589
28.87	c 2729
28.89	o 23591
28.89	c 2727
28.90	o 23594
28.90	c 2724
28.92	o 23597
28.92	c 2721
28.93	o 23600
28.93	c 2718
28.94	o 23603
28.94	c 2715
28.95	o 23606
28.95	c 2712
28.97	o 23608
28.97	c 2710
28.98	o 23610
28.98	c 2708
28.99	o 23612
28.99	c 2706
29.00	o 23614
29.00	c 2704
29.01	o 23616
29.01	c 2702
29.03	o 23618
29.03	c 2700
29.04	o 23620
29.04	c 2698
29.05	o 23622
29.05	c 2696
29.06	o 23624
29.06	c 2694
29.08	o 23626
29.08	c 2692
29.09	o 23628
29.09	c 2690
29.10	o 23630
29.10	c 2688
29.11	o 23632
29.11	c 2686
29.13	o 23634
29.13	c 2684
29.14	o 23636
29.14	c 2682
29.15	o 23638
29.15	c 2680
29.48	o 23640
29.48	c 2678
29.50	o 23642
29.50	c 2676
29.51	o 23644
29.51	c 2674
29.52	o 23646
29.52	c 2672
29.53	o 23648
29.53	c 2670
29.54	o 23650
29.54	c 2668
29.56	o 23652
29.56	c 2666
29.57	o 23654
29.57	c 2664
29.58	o 23656
29.58	c 2662
29.59	o 23658
29.59	c 2660
29.60	o 23659
29.60	c 2659
29.62	o 23661
29.62	c 2657
29.63	o 23663
29.63	c 2655
29.64	o 23665
29.64	c 2653
29.65	o 23667
29.65	c 2651
29.66	o 23669
29.66	c 2649
29.68	o 23671
29.68	c 2647
29.69	o 23673
29.69	c 2645
29.70	o 23675
29.70	c 2643
29.71	o 23677
29.71	c 2641
29.72	o 23679
29.72	c 2639
29.74	o 23681
29.74	c 2637
29.75	o 23683
29.75	c 2635
29.76	o 23685
29.76	c 2633
29.77	o 23687
29.77	c 2631
29.81	o 23688
29.81	c 2630
29.82	o 23690
29.82	c 2628
29.84	o 23692
29.84	c 2626
29.85	o 23704
29.85	c 2614
29.86	o 23706
29.86	c 2612
29.87	o 23708
29.87	c 2610
29.88	o 23710
29.88	c 2608
29.90	o 23712
29.90	c 2606
29.91	o 23714
29.91	c 2604
29.92	o 23716
29.92	c 2602
29.93	o 23718
29.93	c 2600
29.94	o 23720
29.94	c 2598
29.96	o 23722
29.96	c 2596
29.97	o 23724
29.97	c 2594
29.98	o 23726
29.98	c 2592
29.99	o 23728
29.99	c 2590
30.00	o 23730
30.00	c 2588
30.02	o 23732
30.02	c 2586
30.03	o 23734
30.03	c 2584
30.04	o 23736
30.04	c 2582
30.06	o 23738
30.06	c 2580
30.07	o 23740
30.07	c 2578
30.08	o 23741
30.08	c 2577
30.09	o 23742
30.09	c 2576
30.10	o 23744
30.10	c 2574
30.12	o 23746
30.12	c 2572
30.13	o 23748
30.13	c 2570
30.14	o 23750
30.14	c 2568
30.15	o 23752
30.15	c 2566
30.17	o 23753
30.17	c 2565
30.18	o 23756
30.18	c 2562
30.19	o 23757
30.19	c 2561
30.21	o 23766
30.21	c 2552
30.22	o 23768
30.22	c 2550
30.23	o 23770
30.23	c 2548
30.25	o 23772
30.25	c 2546
30.26	o 23774
30.26	c 2544
30.27	o 23778
30.27	c 2540
30.28	o 23780
30.28	c 2538
30.29	o 23782
30.29	c 2536
30.31	o 23784
30.31	c 2534
30.32	o 23786
30.32	c 2532
30.33	o 23788
30.33	c 2530
30.34	o 23809
30.34	c 2509
30.35	o 23810
30.35	c 2508
30.36	o 23818
30.36	c 2500
30.38	o 23820
30.38	c 2498
30.39	o 23822
30.39	c 2496
30.40	o 23873
30.40	c 2445
30.41	o 23875
30.41	c 2443
30.42	o 23876
30.42	c 2442
30.43	o 23878
30.43	c 2440
30.45	o 23880
30.45	c 2438
30.46	o 23881
30.46	c 2437
30.47	o 23883
30.47	c 2435
30.48	o 23885
30.48	c 2433
30.49	o 23887
30.49	c 2431
30.51	o 23888
30.51	c 2430
30.52	o 23889
30.52	c 2429
30.53	o 23891
30.53	c 2427
30.54	o 23893
30.54	c 2425
30.56	o 23895
30.56	c 2423
30.58	o 23897
30.58	c 2421
30.59	o 23899
30.59	c 2419
30.60	o 23900
30.60	c 2418
30.61	o 23908
30.61	c 2410
30.63	o 23910
30.63	c 2408
30.64	o 23912
30.64	c 2406
30.65	o 23914
30.65	c 2404
30.66	o 23916
30.66	c 2402
30.67	o 23918
30.67	c 2400
30.69	o 23920
30.69	c 2398
30.70	o 23922
30.70	c 2396
30.71	o 23924
30.71	c 2394
30.72	o 23926
30.72	c 2392
30.73	o 23928
30.73	c 2390
30.74	o 23930
30.74	c 2388
30.76	o 23932
30.76	c 2386
30.77	o 23934
30.77	c 2384
30.78	o 23936
30.78	c 2382
30.79	o 23938
30.79	c 2380
30.80	o 23940
30.80	c 2378
30.82	o 23941
30.82	c 2377
30.85	o 23943
30.85	c 2375
30.86	o 23945
30.86	c 2373
30.87	o 23947
30.87	c 2371
30.88	o 23949
30.88	c 2369
30.89	o 23951
30.89	c 2367
30.91	o 23953
30.91	c 2365
30.92	o 23954
30.92	c 2364
30.93	o 23956
30.93	c 2362
30.94	o 23957
30.94	c 2361
30.95	o 23958
30.95	c 2360
30.97	o 23960
30.97	c 2358
30.98	o 23962
30.98	c 2356
30.99	o 23964
30.99	c 2354
31.00	o 23966
31.00	c 2352
31.01	o 23967
31.01	c 2351
31.03	o 23969
31.03	c 2349
31.04	o 23971
31.04	c 2347
31.05	o 23972
31.05	c 2346
31.06	o 23973
31.06	c 2345
31.07	o 23975
31.07	c 2343
31.08	o 23989
31.09	c 2329
31.10	o 23991
31.10	c 2327
31.12	o 23993
31.12	c 2325
31.13	o 23995
31.13	c 2323
31.14	o 23997
31.14	c 2321
31.15	o 24000
31.15	c 2318
31.17	o 24003
31.17	c 2315
31.18	o 24004
31.18	c 2314
31.20	o 24005
31.20	c 2313
31.21	o 24006
31.21	c 2312
31.22	o 24007
31.22	c 2311
31.23	o 24009
31.23	c 2309
31.25	o 24011
31.25	c 2307
31.26	o 24013
31.26	c 2305
31.28	o 24014
31.28	c 2304
31.29	o 24017
31.29	c 2301
31.30	o 24019
31.30	c 2299
31.31	o 24021
31.31	c 2297
31.33	o 24023
31.33	c 2295
31.34	o 24025
31.34	c 2293
31.35	o 24027
31.35	c 2291
31.36	o 24029
31.36	c 2289
31.37	o 24032
31.37	c 2286
31.38	o 24034
31.38	c 2284
31.40	o 24036
31.40	c 2282
31.41	o 24038
31.41	c 2280
31.42	o 24040
31.42	c 2278
31.43	o 24042
31.43	c 2276
31.48	o 24044
31.48	c 2274
31.49	o 24046
31.49	c 2272
31.51	o 24048
31.51	c 2270
31.52	o 24050
31.52	c 2268
31.53	o 24053
31.53	c 2265
31.54	o 24056
31.54	c 2262
31.55	o 24058
31.55	c 2260
31.57	o 24060
31.57	c 2258
31.58	o 24061
31.58	c 2257
31.59	o 24063
31.59	c 2255
31.61	o 24066
31.61	c 2252
31.62	o 24069
31.62	c 2249
31.63	o 24070
31.63	c 2248
31.64	o 24072
31.64	c 2246
31.65	o 24074
31.65	c 2244
31.66	o 24076
31.67	c 2242
31.68	o 24079
31.68	c 2239
31.69	o 24080
31.69	c 2238
31.70	o 24082
31.70	c 2236
31.72	o 24085
31.72	c 2233
31.73	o 24087
31.73	c 2231
31.74	o 24089
31.74	c 2229
31.75	o 24091
31.75	c 2227
31.77	o 24092
31.77	c 2226
31.78	o 24094
31.78	c 2224
31.80	o 24096
31.80	c 2222
31.81	o 24098
31.81	c 2220
31.82	o 24100
31.82	c 2218
31.83	o 24102
31.83	c 2216
31.85	o 24104
31.85	c 2214
31.86	o 24105
31.86	c 2213
31.88	o 24107
31.88	c 2211
31.89	o 24108
31.89	c 2210
31.90	o 24109
31.90	c 2209
31.92	o 24110
31.92	c 2208
31.93	o 24111
31.93	c 2207
31.94	o 24113
31.94	c 2205
31.95	o 24114
31.95	c 2204
31.96	o 24117
31.97	c 2201
31.98	o 24118
31.98	c 2200
31.99	o 24119
31.99	c 2199
32.00	o 24121
32.00	c 2197
32.01	o 24122
32.01	c 2196
32.06	o 24123
32.06	c 2195
32.08	o 24125
32.08	c 2193
32.10	o 24127
32.10	c 2191
32.11	o 24129
32.11	c 2189
32.12	o 24131
32.12	c 2187
32.13	o 24132
32.13	c 2186
32.14	o 24135
32.14	c 2183
32.16	o 24136
32.16	c 2182
32.17	o 24137
32.17	c 2181
32.18	o 24138
32.18	c 2180
32.19	o 24140
32.19	c 2178
32.20	o 24142
32.20	c 2176
32.22	o 24144
32.22	c 2174
32.23	o 24147
32.23	c 2171
32.24	o 24148
32.24	c 2170
32.25	o 24150
32.25	c 2168
32.26	o 24152
32.26	c 2166
32.28	o 24154
32.28	c 2164
32.29	o 24156
32.29	c 2162
32.36	o 24157
32.36	c 2161
32.37	o 24158
32.37	c 2160
32.39	o 24159
32.39	c 2159
32.40	o 24160
32.40	c 2158
32.41	o 24162
32.41	c 2156
32.42	o 24164
32.42	c 2154
32.44	o 24166
32.44	c 2152
32.45	o 24168
32.45	c 2150
32.46	o 24169
32.46	c 2149
32.47	o 24170
32.47	c 2148
32.48	o 24171
32.48	c 2147
32.50	o 24172
32.50	c 2146
32.51	o 24174
32.51	c 2144
32.52	o 24176
32.52	c 2142
32.53	o 24177
32.53	c 2141
32.55	o 24179
32.55	c 2139
32.57	o 24181
32.57	c 2137
32.58	o 24183
32.58	c 2135
32.59	o 24185
32.59	c 2133
32.60	o 24187
32.60	c 2131
32.61	o 24189
32.61	c 2129
32.62	o 24190
32.62	c 2128
32.64	o 24192
32.64	c 2126
32.65	o 24194
32.65	c 2124
32.78	o 24196
32.78	c 2122
32.79	o 24197
32.79	c 2121
32.80	o 24199
32.80	c 2119
32.81	o 24201
32.81	c 2117
32.82	o 24203
32.82	c 2115
32.84	o 24205
32.84	c 2113
32.85	o 24207
32.85	c 2111
32.87	o 24209
32.87	c 2109
32.88	o 24211
32.88	c 2107
32.90	o 24213
32.90	c 2105
32.91	o 24216
32.91	c 2102
32.92	o 24222
32.92	c 2096
32.93	o 24224
32.93	c 2094
32.95	o 24226
32.95	c 2092
32.96	o 24228
32.96	c 2090
32.97	o 24230
32.97	c 2088
32.98	o 24232
32.98	c 2086
33.10	o 24234
33.10	c 2084
33.14	o 24235
33.14	c 2083
33.15	o 24236
33.15	c 2082
33.16	o 24238
33.16	c 2080
33.17	o 24241
33.17	c 2077
33.18	o 24243
33.18	c 2075
33.20	o 24245
33.20	c 2073
33.21	o 24246
33.21	c 2072
33.22	o 24247
33.22	c 2071
33.23	o 24249
33.23	c 2069
33.24	o 24251
33.24	c 2067
33.26	o 24253
33.26	c 2065
33.27	o 24255
33.27	c 2063
33.28	o 24257
33.28	c 2061
33.29	o 24259
33.29	c 2059
33.30	o 24261
33.30	c 2057
33.31	o 24262
33.31	c 2056
33.33	o 24263
33.33	c 2055
33.34	o 24265
33.34	c 2053
33.35	o 24267
33.35	c 2051
33.36	o 24269
33.36	c 2049
33.37	o 24271
33.37	c 2047
33.39	o 24273
33.39	c 2045
33.46	o 24275
33.46	c 2043
33.47	o 24276
33.47	c 2042
33.48	o 24278
33.48	c 2040
33.49	o 24280
33.49	c 2038
33.51	o 24282
33.51	c 2036
33.52	o 24284
33.52	c 2034
33.53	o 24285
33.53	c 2033
33.54	o 24286
33.54	c 2032
33.55	o 24287
33.55	c 2031
33.57	o 24289
33.57	c 2029
33.58	o 24291
33.58	c 2027
33.68	o 24293
33.68	c 2025
33.69	o 24295
33.69	c 2023
33.70	o 24297
33.70	c 2021
33.80	o 24298
33.80	c 2020
33.83	o 24299
33.83	c 2019
33.98	o 24300
33.98	c 2018
33.99	o 24302
33.99	c 2016
34.06	o 24303
34.06	c 2015
34.07	o 24304
34.07	c 2014
34.12	o 24305
34.12	c 2013
34.13	o 24307
34.13	c 2011
34.14	o 24309
34.14	c 2009
34.15	o 24310
34.15	c 2008
34.16	o 24311
34.16	c 2007
34.17	o 24312
34.17	c 2006
34.18	o 24314
34.18	c 2004
34.22	o 24315
34.22	c 2003
34.23	o 24317
34.23	c 2001
34.24	o 24319
34.24	c 1999
34.26	o 24321
34.26	c 1997
34.27	o 24322
34.27	c 1996
34.28	o 24324
34.28	c 1994
34.29	o 24326
34.29	c 1992
34.31	o 24328
34.31	c 1990
34.33	o 24330
34.33	c 1988
34.53	o 24331
34.53	c 1987
34.54	o 24332
34.54	c 1986
34.56	o 24333
34.56	c 1985
34.57	o 24334
34.57	c 1984
34.59	o 24335
34.59	c 1983
34.61	o 24337
34.61	c 1981
34.62	o 24338
34.62	c 1980
34.63	o 24339
34.63	c 1979
34.65	o 24340
34.65	c 1978
34.66	o 24341
34.66	c 1977
34.68	o 24342
34.68	c 1976
34.69	o 24343
34.69	c 1975
34.71	o 24344
34.71	c 1974
34.72	o 24345
34.72	c 1973
34.74	o 24346
34.74	c 1972
34.75	o 24347
34.75	c 1971
34.76	o 24348
34.76	c 1970
34.78	o 24349
34.78	c 1969
34.79	o 24350
34.79	c 1968
34.81	o 24351
34.81	c 1967
34.82	o 24352
34.82	c 1966
34.84	o 24353
34.84	c 1965
34.85	o 24354
34.85	c 1964
34.87	o 24355
34.87	c 1963
34.88	o 24356
34.88	c 1962
34.92	o 24357
34.92	c 1961
34.93	o 24358
34.93	c 1960
34.97	o 24359
34.97	c 1959
34.98	o 24361
34.98	c 1957
34.99	o 24362
34.99	c 1956
35.01	o 24364
35.01	c 1954
35.02	o 24365
35.02	c 1953
35.03	o 24366
35.03	c 1952
35.05	o 24367
35.05	c 1951
35.06	o 24368
35.06	c 1950
35.08	o 24369
35.08	c 1949
35.10	o 24370
35.10	c 1948
35.11	o 24371
35.11	c 1947
35.13	o 24372
35.13	c 1946
35.14	o 24373
35.14	c 1945
35.16	o 24374
35.16	c 1944
35.17	o 24375
35.17	c 1943
35.19	o 24376
35.19	c 1942
35.20	o 24377
35.20	c 1941
35.22	o 24378
35.22	c 1940
35.23	o 24379
35.23	c 1939
35.25	o 24380
35.25	c 1938
35.26	o 24381
35.26	c 1937
35.27	o 24382
35.27	c 1936
35.29	o 24383
35.29	c 1935
35.30	o 24384
35.30	c 1934
35.32	o 24385
35.32	c 1933
35.34	o 24386
35.34	c 1932
35.35	o 24387
35.35	c 1931
35.36	o 24388
35.36	c 1930
35.38	o 24389
35.38	c 1929
35.39	o 24390
35.39	c 1928
35.41	o 24391
35.41	c 1927
35.42	o 24392
35.42	c 1926
35.44	o 24393
35.44	c 1925
35.50	o 24394
35.50	c 1924
35.51	o 24395
35.51	c 1923
35.53	o 24396
35.53	c 1922
35.54	o 24397
35.54	c 1921
35.55	o 24398
35.55	c 1920
35.57	o 24399
35.57	c 1919
35.58	o 24402
35.58	c 1916
35.60	o 24403
35.60	c 1915
35.61	o 24404
35.61	c 1914
35.62	o 24405
35.63	c 1913
35.64	o 24406
35.64	c 1912
35.65	o 24407
35.65	c 1911
35.67	o 24408
35.67	c 1910
35.68	o 24409
35.68	c 1909
35.70	o 24410
35.70	c 1908
35.72	o 24411
35.72	c 1907
35.73	o 24412
35.73	c 1906
35.75	o 24413
35.75	c 1905
35.76	o 24414
35.76	c 1904
35.93	o 24415
35.93	c 1903
35.95	o 24416
35.95	c 1902
35.96	o 24417
35.96	c 1901
35.97	o 24418
35.97	c 1900
36.06	o 24419
36.06	c 1899
36.07	o 24420
36.07	c 1898
36.09	o 24421
36.09	c 1897
36.10	o 24422
36.10	c 1896
36.12	o 24423
36.12	c 1895
36.65	o 24424
36.65	c 1894
36.80	o 24426
36.80	c 1892
36.97	o 24427
36.97	c 1891
36.99	o 24428
36.99	c 1890
37.00	o 24429
37.00	c 1889
37.01	o 24430
37.01	c 1888
37.03	o 24431
37.03	c 1887
37.04	o 24432
37.04	c 1886
37.06	o 24433
37.06	c 1885
37.07	o 24434
37.07	c 1884
37.09	o 24435
37.09	c 1883
37.10	o 24436
37.10	c 1882
37.11	o 24437
37.11	c 1881
37.13	o 24438
37.13	c 1880
37.14	o 24439
37.14	c 1879
37.16	o 24441
37.16	c 1877
37.17	o 24442
37.17	c 1876
37.18	o 24444
37.18	c 1874
37.20	o 24445
37.20	c 1873
37.21	o 24446
37.21	c 1872
37.22	o 24447
37.22	c 1871
37.24	o 24448
37.24	c 1870
37.25	o 24449
37.25	c 1869
37.27	o 24450
37.27	c 1868
37.28	o 24451
37.28	c 1867
37.29	o 24453
37.29	c 1865
37.31	o 24454
37.31	c 1864
37.32	o 24455
37.32	c 1863
37.33	o 24456
37.33	c 1862
37.40	o 24457
37.40	c 1861
37.42	o 24458
37.42	c 1860
37.43	o 24459
37.43	c 1859
37.44	o 24460
37.44	c 1858
37.46	o 24461
37.46	c 1857
37.47	o 24462
37.47	c 1856
37.49	o 24463
37.49	c 1855
37.50	o 24464
37.50	c 1854
37.51	o 24465
37.51	c 1853
37.53	o 24466
37.53	c 1852
37.54	o 24467
37.54	c 1851
37.56	o 24468
37.56	c 1850
37.57	o 24469
37.57	c 1849
37.59	o 24470
37.59	c 1848
37.60	o 24471
37.60	c 1847
37.61	o 24472
37.61	c 1846
37.63	o 24473
37.63	c 1845
37.64	o 24474
37.64	c 1844
37.66	o 24475
37.66	c 1843
37.67	o 24476
37.67	c 1842
37.69	o 24477
37.69	c 1841
37.70	o 24478
37.70	c 1840
37.71	o 24479
37.71	c 1839
37.73	o 24480
37.73	c 1838
37.74	o 24481
37.74	c 1837
37.76	o 24482
37.76	c 1836
37.77	o 24483
37.77	c 1835
37.79	o 24484
37.79	c 1834
37.80	o 24485
37.80	c 1833
37.81	o 24486
37.81	c 1832
37.83	o 24487
37.83	c 1831
37.84	o 24488
37.84	c 1830
37.86	o 24489
37.86	c 1829
37.87	o 24490
37.87	c 1828
37.89	o 24491
37.89	c 1827
37.90	o 24492
37.90	c 1826
37.91	o 24493
37.91	c 1825
37.93	o 24494
37.93	c 1824
37.94	o 24495
37.94	c 1823
38.00	o 24496
38.00	c 1822
38.01	o 24497
38.01	c 1821
38.02	o 24498
38.02	c 1820
38.04	o 24499
38.04	c 1819
38.05	o 24500
38.05	c 1818
38.07	o 24501
38.07	c 1817
38.08	o 24502
38.08	c 1816
38.10	o 24503
38.10	c 1815
38.11	o 24504
38.11	c 1814
38.13	o 24505
38.13	c 1813
38.14	o 24506
38.14	c 1812
38.15	o 24507
38.15	c 1811
39.06	o 24538
39.06	c 1780
39.13	o 24540
39.13	c 1778
39.33	o 24542
39.33	c 1776
39.52	o 24543
39.52	c 1775
39.53	o 24544
39.53	c 1774
45.11	o 24547
45.11	c 1771
45.12	o 24549
45.12	c 1769
45.13	o 24551
45.13	c 1767
45.14	o 24553
45.14	c 1765
45.15	o 24555
45.15	c 1763
45.16	o 24565
45.16	c 1753
45.18	o 24566
45.18	c 1752
45.19	o 24567
45.19	c 1751
45.21	o 24568
45.21	c 1750
45.27	o 24570
45.27	c 1748
45.29	o 24572
45.29	c 1746
45.30	o 24573
45.30	c 1745
45.31	o 24574
45.31	c 1744
45.34	o 24576
45.34	c 1742
45.35	o 24578
45.35	c 1740
45.37	o 24580
45.37	c 1738
45.38	o 24582
45.38	c 1736
45.39	o 24585
45.39	c 1733
45.40	o 24587
45.40	c 1731
45.42	o 24588
45.42	c 1730
45.43	o 24589
45.43	c 1729
45.52	o 24590
45.52	c 1728
45.54	o 24592
45.54	c 1726
45.56	o 24594
45.56	c 1724
45.58	o 24595
45.58	c 1723
45.69	o 24598
45.69	c 1720
45.72	o 24599
45.72	c 1719
45.73	o 24606
45.73	c 1712
45.74	o 24608
45.74	c 1710
45.75	o 24609
45.75	c 1709
45.76	o 24610
45.76	c 1708
45.78	o 24611
45.78	c 1707
45.79	o 24633
45.79	c 1685
45.87	o 24641
45.87	c 1677
45.92	o 24642
45.92	c 1676
45.93	o 24643
45.93	c 1675
45.94	o 24645
45.94	c 1673
45.95	o 24647
45.95	c 1671
45.96	o 24649
45.96	c 1669
45.97	o 24651
45.97	c 1667
46.00	o 24653
46.00	c 1665
46.02	o 24655
46.02	c 1663
46.03	o 24656
46.03	c 1662
46.28	o 24657
46.29	c 1661
46.30	o 24659
46.30	c 1659
46.35	o 24660
46.35	c 1658
46.36	o 24661
46.36	c 1657
46.37	o 24662
46.37	c 1656
46.38	o 24663
46.38	c 1655
46.39	o 24665
46.39	c 1653
46.41	o 24667
46.41	c 1651
46.46	o 24668
46.46	c 1650
46.47	o 24669
46.47	c 1649
46.48	o 24670
46.48	c 1648
46.49	o 24671
46.49	c 1647
46.51	o 24700
46.51	c 1618
46.52	o 24702
46.52	c 1616
46.53	o 24704
46.53	c 1614
46.54	o 24706
46.54	c 1612
46.55	o 24708
46.55	c 1610
46.56	o 24710
46.56	c 1608
46.57	o 24712
46.57	c 1606
46.59	o 24718
46.59	c 1600
46.60	o 24721
46.60	c 1597
46.61	o 24722
46.61	c 1596
46.62	o 24724
46.62	c 1594
46.63	o 24727
46.63	c 1591
46.64	o 24728
46.64	c 1590
46.65	o 24729
46.65	c 1589
46.66	o 24731
46.66	c 1587
46.67	o 24732
46.67	c 1586
46.68	o 24735
46.68	c 1583
46.69	o 24736
46.69	c 1582
46.70	o 24737
46.70	c 1581
46.71	o 24738
46.71	c 1580
46.72	o 24739
46.72	c 1579
46.74	o 24743
46.74	c 1575
46.75	o 24745
46.75	c 1573
46.76	o 24746
46.76	c 1572
46.77	o 24748
46.77	c 1570
46.79	o 24749
46.79	c 1569
46.81	o 24755
46.81	c 1563
46.83	o 24756
46.83	c 1562
46.85	o 24757
46.85	c 1561
46.88	o 24759
46.88	c 1559
46.90	o 24760
46.90	c 1558
47.13	o 24762
47.13	c 1556
47.14	o 24763
47.14	c 1555
47.15	o 24764
47.15	c 1554
47.16	o 24765
47.16	c 1553
47.20	o 24766
47.20	c 1552
47.24	o 24776
47.24	c 1542
47.25	o 24777
47.25	c 1541
47.26	o 24778
47.26	c 1540
47.30	o 24780
47.30	c 1538
47.31	o 24782
47.31	c 1536
47.31	o 24783
47.31	c 1535
47.36	o 24785
47.36	c 1533
47.37	o 24787
47.37	c 1531
47.38	o 24788
47.38	c 1530
47.44	o 24790
47.44	c 1528
47.45	o 24791
47.45	c 1527
47.46	o 24792
47.46	c 1526
47.47	o 24793
47.47	c 1525
47.48	o 24794
47.48	c 1524
47.49	o 24795
47.49	c 1523
47.50	o 24797
47.50	c 1521
47.54	o 24799
47.54	c 1519
47.72	o 24800
47.72	c 1518
47.73	o 24803
47.73	c 1515
47.74	o 24805
47.74	c 1513
47.90	o 24807
47.90	c 1511
47.92	o 24809
47.92	c 1509
47.93	o 24810
47.93	c 1508
47.96	o 24811
47.96	c 1507
47.96	o 24812
47.96	c 1506
47.97	o 24814
47.97	c 1504
47.98	o 24816
47.98	c 1502
48.05	o 24818
48.05	c 1500
48.06	o 24819
48.06	c 1499
48.07	o 24820
48.07	c 1498
48.09	o 24821
48.09	c 1497
48.11	o 24823
48.11	c 1495
48.11	o 24825
48.11	c 1493
48.12	o 24827
48.12	c 1491
48.13	o 24828
48.13	c 1490
48.14	o 24832
48.14	c 1486
48.16	o 24833
48.16	c 1485
48.17	o 24835
48.17	c 1483
48.18	o 24837
48.18	c 1481
48.19	o 24839
48.19	c 1479
48.20	o 24840
48.20	c 1478
48.24	o 24841
48.24	c 1477
48.25	o 24842
48.25	c 1476
48.27	o 24844
48.27	c 1474
48.27	o 24846
48.27	c 1472
48.28	o 24848
48.28	c 1470
48.32	o 24850
48.32	c 1468
48.33	o 24852
48.33	c 1466
48.34	o 24854
48.34	c 1464
48.35	o 24855
48.35	c 1463
48.43	o 24856
48.43	c 1462
48.46	o 24876
48.46	c 1442
48.47	o 24877
48.47	c 1441
48.48	o 24878
48.48	c 1440
48.55	o 24879
48.55	c 1439
48.57	o 24882
48.57	c 1436
48.59	o 24884
48.59	c 1434
48.62	o 24887
48.62	c 1431
48.66	o 24888
48.66	c 1430
48.67	o 24890
48.67	c 1428
48.68	o 24891
48.68	c 1427
48.69	o 24892
48.69	c 1426
48.70	o 24893
48.70	c 1425
48.71	o 24894
48.71	c 1424
48.73	o 24896
48.73	c 1422
48.76	o 24898
48.76	c 1420
48.79	o 24899
48.79	c 1419
48.79	o 24900
48.79	c 1418
48.81	o 24901
48.81	c 1417
48.85	o 24903
48.85	c 1415
48.86	o 24905
48.86	c 1413
48.88	o 24906
48.88	c 1412
48.89	o 24907
48.89	c 1411
48.91	o 24908
48.91	c 1410
48.94	o 24911
48.94	c 1407
48.94	o 24912
48.94	c 1406
48.97	o 24914
48.97	c 1404
49.00	o 24915
49.00	c 1403
49.00	o 24916
49.00	c 1402
49.01	o 24918
49.01	c 1400
49.02	o 24920
49.02	c 1398
49.03	o 24921
49.03	c 1397
49.04	o 24922
49.04	c 1396
49.04	o 24923
49.04	c 1395
49.08	o 24930
49.08	c 1388
49.12	o 24931
49.12	c 1387
49.15	o 24935
49.15	c 1383
49.16	o 24936
49.16	c 1382
49.17	o 24937
49.17	c 1381
49.18	o 24938
49.18	c 1380
49.20	o 24939
49.20	c 1379
49.21	o 24940
49.21	c 1378
49.22	o 24941
49.22	c 1377
49.24	o 24942
49.24	c 1376
49.25	o 24943
49.25	c 1375
49.29	o 24944
49.29	c 1374
49.31	o 24945
49.31	c 1373
49.33	o 24946
49.33	c 1372
49.34	o 24948
49.34	c 1370
49.35	o 24949
49.35	c 1369
49.36	o 24950
49.36	c 1368
49.37	o 24951
49.37	c 1367
49.38	o 24953
49.38	c 1365
49.40	o 24954
49.40	c 1364
49.48	o 24955
49.48	c 1363
49.50	o 24956
49.50	c 1362
49.67	o 24958
49.67	c 1360
49.67	o 24960
49.67	c 1358
49.69	o 24962
49.69	c 1356
49.71	o 24963
49.71	c 1355
49.74	o 24964
49.74	c 1354
49.75	o 24966
49.75	c 1352
49.77	o 24967
49.77	c 1351
49.80	o 24968
49.80	c 1350
49.81	o 24970
49.81	c 1348
49.91	o 24973
49.91	c 1345
49.91	o 24974
49.91	c 1344
50.02	o 24975
50.02	c 1343
50.03	o 24977
50.03	c 1341
50.04	o 24978
50.04	c 1340
50.05	o 24980
50.05	c 1338
50.08	o 24981
50.08	c 1337
50.09	o 24982
50.09	c 1336
50.28	o 24983
50.28	c 1335
50.29	o 24984
50.29	c 1334
50.30	o 24985
50.30	c 1333
50.30	o 24986
50.30	c 1332
50.31	o 24987
50.31	c 1331
50.33	o 24988
50.33	c 1330
50.35	o 24990
50.35	c 1328
50.36	o 24992
50.36	c 1326
50.37	o 24993
50.37	c 1325
50.38	o 24994
50.38	c 1324
50.39	o 24995
50.39	c 1323
50.46	o 24996
50.46	c 1322
50.47	o 24997
50.47	c 1321
50.71	o 24998
50.71	c 1320
50.76	o 24999
50.76	c 1319
50.77	o 25001
50.77	c 1317
50.78	o 25002
50.78	c 1316
50.78	o 25003
50.78	c 1315
50.81	o 25006
50.81	c 1312
50.84	o 25011
50.84	c 1307
50.85	o 25012
50.85	c 1306
50.86	o 25013
50.86	c 1305
50.87	o 25015
50.87	c 1303
50.88	o 25017
50.88	c 1301
50.90	o 25019
50.90	c 1299
50.92	o 25021
50.92	c 1297
50.92	o 25022
50.92	c 1296
50.96	o 25024
50.96	c 1294
51.00	o 25025
51.00	c 1293
51.01	o 25027
51.01	c 1291
51.03	o 25028
51.03	c 1290
51.04	o 25029
51.04	c 1289
51.05	o 25030
51.05	c 1288
51.06	o 25031
51.06	c 1287
51.19	o 25033
51.19	c 1285
51.23	o 25035
51.23	c 1283
51.24	o 25036
51.24	c 1282
51.25	o 25037
51.25	c 1281
51.26	o 25038
51.26	c 1280
51.26	o 25039
51.26	c 1279
51.28	o 25040
51.28	c 1278
51.28	o 25041
51.28	c 1277
51.29	o 25042
51.29	c 1276
51.30	o 25043
51.30	c 1275
51.30	o 25045
51.30	c 1273
51.32	o 25046
51.32	c 1272
51.33	o 25047
51.33	c 1271
51.42	o 25059
51.42	c 1259
51.43	o 25060
51.43	c 1258
51.45	o 25062
51.45	c 1256
51.46	o 25064
51.46	c 1254
51.47	o 25065
51.47	c 1253
51.48	o 25066
51.49	c 1252
51.49	o 25067
51.49	c 1251
51.50	o 25068
51.50	c 1250
51.51	o 25069
51.51	c 1249
51.52	o 25070
51.52	c 1248
51.56	o 25072
51.56	c 1246
51.57	o 25073
51.57	c 1245
51.58	o 25074
51.58	c 1244
51.62	o 25075
51.62	c 1243
51.64	o 25076
51.64	c 1242
51.66	o 25077
51.66	c 1241
51.67	o 25078
51.67	c 1240
51.68	o 25080
51.68	c 1238
51.69	o 25082
51.69	c 1236
51.70	o 25084
51.70	c 1234
51.71	o 25085
51.71	c 1233
51.72	o 25086
51.72	c 1232
51.72	o 25087
51.72	c 1231
51.73	o 25091
51.73	c 1227
51.74	o 25092
51.74	c 1226
51.74	o 25093
51.74	c 1225
51.82	o 25094
51.82	c 1224
51.82	o 25095
51.82	c 1223
51.83	o 25096
51.83	c 1222
51.87	o 25097
51.87	c 1221
51.87	o 25098
51.87	c 1220
51.88	o 25099
51.88	c 1219
51.91	o 25100
51.91	c 1218
51.92	o 25101
51.92	c 1217
51.95	o 25103
51.95	c 1215
51.95	o 25105
51.95	c 1213
51.96	o 25106
51.96	c 1212
51.97	o 25107
51.97	c 1211
51.98	o 25108
51.98	c 1210
51.98	o 25109
51.98	c 1209
51.99	o 25110
51.99	c 1208
52.00	o 25111
52.00	c 1207
52.01	o 25112
52.01	c 1206
52.02	o 25114
52.02	c 1204
52.03	o 25116
52.03	c 1202
52.03	o 25118
52.03	c 1200
52.04	o 25119
52.04	c 1199
52.06	o 25120
52.06	c 1198
52.07	o 25121
52.07	c 1197
52.11	o 25123
52.11	c 1195
52.12	o 25125
52.12	c 1193
52.68	o 25126
52.68	c 1192
52.68	o 25127
52.68	c 1191
52.71	o 25133
52.71	c 1185
52.72	o 25134
52.72	c 1184
52.73	o 25136
52.73	c 1182
52.74	o 25138
52.74	c 1180
52.76	o 25140
52.76	c 1178
52.77	o 25141
52.77	c 1177
52.78	o 25143
52.78	c 1175
52.82	o 25144
52.82	c 1174
52.82	o 25145
52.82	c 1173
52.83	o 25146
52.83	c 1172
53.03	o 25147
53.03	c 1171
53.06	o 25148
53.06	c 1170
53.08	o 25153
53.08	c 1165
53.14	o 25156
53.14	c 1162
53.15	o 25157
53.15	c 1161
53.16	o 25169
53.16	c 1149
53.19	o 25171
53.19	c 1147
53.20	o 25172
53.20	c 1146
53.23	o 25174
53.23	c 1144
53.44	o 25175
53.44	c 1143
53.49	o 25177
53.49	c 1141
53.53	o 25178
53.53	c 1140
53.56	o 25179
53.56	c 1139
53.56	o 25180
53.56	c 1138
53.58	o 25182
53.58	c 1136
53.68	o 25183
53.68	c 1135
53.72	o 25184
53.72	c 1134
53.73	o 25185
53.73	c 1133
53.75	o 25186
53.75	c 1132
53.76	o 25187
53.76	c 1131
53.80	o 25188
53.80	c 1130
53.81	o 25189
53.81	c 1129
53.83	o 25191
53.83	c 1127
53.84	o 25193
53.84	c 1125
53.85	o 25194
53.85	c 1124
53.86	o 25196
53.86	c 1122
53.87	o 25197
53.87	c 1121
53.90	o 25198
53.90	c 1120
53.91	o 25200
53.91	c 1118
53.93	o 25201
53.93	c 1117
53.95	o 25203
53.95	c 1115
53.99	o 25204
53.99	c 1114
54.00	o 25207
54.00	c 1111
54.01	o 25209
54.01	c 1109
54.04	o 25210
54.04	c 1108
54.09	o 25211
54.09	c 1107
54.11	o 25212
54.11	c 1106
54.13	o 25213
54.13	c 1105
54.16	o 25214
54.16	c 1104
54.18	o 25215
54.18	c 1103
54.18	o 25216
54.18	c 1102
54.19	o 25217
54.19	c 1101
54.25	o 25219
54.25	c 1099
54.26	o 25220
54.26	c 1098
54.30	o 25222
54.30	c 1096
54.30	o 25223
54.30	c 1095
54.33	o 25225
54.33	c 1093
54.35	o 25226
54.35	c 1092
54.40	o 25227
54.40	c 1091
54.41	o 25228
54.41	c 1090
54.42	o 25229
54.42	c 1089
54.44	o 25230
54.44	c 1088
54.46	o 25231
54.46	c 1087
54.47	o 25232
54.47	c 1086
54.49	o 25234
54.49	c 1084
54.50	o 25235
54.50	c 1083
54.51	o 25237
54.51	c 1081
54.67	o 25240
54.67	c 1078
54.75	o 25241
54.75	c 1077
55.09	o 25243
55.09	c 1075
55.11	o 25246
55.11	c 1072
55.11	o 25249
55.11	c 1069
55.15	o 25250
55.15	c 1068
55.22	o 25251
55.22	c 1067
55.28	o 25252
55.28	c 1066
55.35	o 25253
55.35	c 1065
55.36	o 25254
55.36	c 1064
55.37	o 25255
55.37	c 1063
55.39	o 25256
55.39	c 1062
55.58	o 25257
55.58	c 1061
55.59	o 25258
55.59	c 1060
55.60	o 25260
55.60	c 1058
55.61	o 25261
55.61	c 1057
55.63	o 25262
55.63	c 1056
55.64	o 25263
55.64	c 1055
55.65	o 25264
55.65	c 1054
55.66	o 25265
55.66	c 1053
55.70	o 25267
55.70	c 1051
55.74	o 25269
55.74	c 1049
55.76	o 25271
55.76	c 1047
55.79	o 25272
55.79	c 1046
55.81	o 25273
55.81	c 1045
55.82	o 25275
55.82	c 1043
55.84	o 25276
55.84	c 1042
55.85	o 25278
55.85	c 1040
56.01	o 25280
56.01	c 1038
56.02	o 25281
56.02	c 1037
56.05	o 25282
56.05	c 1036
56.06	o 25283
56.06	c 1035
56.06	o 25285
56.06	c 1033
56.07	o 25287
56.07	c 1031
56.09	o 25288
56.09	c 1030
56.10	o 25289
56.10	c 1029
56.11	o 25290
56.11	c 1028
56.12	o 25291
56.12	c 1027
56.13	o 25297
56.13	c 1021
56.14	o 25298
56.14	c 1020
56.15	o 25300
56.15	c 1018
56.16	o 25301
56.16	c 1017
56.17	o 25302
56.17	c 1016
56.18	o 25304
56.18	c 1014
56.20	o 25306
56.20	c 1012
56.21	o 25307
56.21	c 1011
56.25	o 25308
56.25	c 1010
56.43	o 25309
56.43	c 1009
56.44	o 25310
56.44	c 1008
56.45	o 25311
56.45	c 1007
56.51	o 25312
56.51	c 1006
56.55	o 25313
56.55	c 1005
56.56	o 25315
56.56	c 1003
56.58	o 25317
56.58	c 1001
56.59	o 25319
56.59	c 999
56.69	o 25320
56.69	c 998
56.70	o 25321
56.70	c 997
56.72	o 25323
56.72	c 995
56.73	o 25324
56.73	c 994
56.76	o 25325
56.76	c 993
56.78	o 25327
56.78	c 991
56.80	o 25328
56.80	c 990
56.82	o 25329
56.82	c 989
56.83	o 25331
56.83	c 987
56.84	o 25333
56.84	c 985
56.86	o 25334
56.86	c 984
56.87	o 25336
56.87	c 982
56.90	o 25338
56.90	c 980
56.93	o 25340
56.93	c 978
56.95	o 25341
56.95	c 977
56.97	o 25343
56.97	c 975
57.07	o 25344
57.07	c 974
57.08	o 25345
57.08	c 973
57.09	o 25346
57.09	c 972
57.13	o 25348
57.13	c 970
57.14	o 25349
57.14	c 969
57.18	o 25350
57.18	c 968
57.19	o 25351
57.19	c 967
57.20	o 25352
57.20	c 966
57.21	o 25353
57.21	c 965
57.22	o 25354
57.22	c 964
57.23	o 25355
57.23	c 963
57.24	o 25357
57.24	c 961
57.25	o 25358
57.25	c 960
57.26	o 25359
57.26	c 959
57.42	o 25360
57.42	c 958
57.42	o 25362
57.42	c 956
57.43	o 25363
57.43	c 955
57.47	o 25364
57.47	c 954
57.48	o 25365
57.48	c 953
57.50	o 25367
57.50	c 951
57.51	o 25369
57.51	c 949
57.52	o 25370
57.52	c 948
57.53	o 25371
57.53	c 947
57.55	o 25373
57.55	c 945
57.60	o 25374
57.60	c 944
57.61	o 25375
57.61	c 943
57.62	o 25377
57.62	c 941
57.63	o 25378
57.63	c 940
57.66	o 25379
57.66	c 939
57.68	o 25380
57.68	c 938
57.69	o 25382
57.69	c 936
57.71	o 25384
57.71	c 934
57.73	o 25385
57.73	c 933
57.74	o 25386
57.74	c 932
57.76	o 25387
57.76	c 931
57.77	o 25389
57.77	c 929
57.82	o 25390
57.82	c 928
57.86	o 25392
57.86	c 926
57.87	o 25394
57.87	c 924
57.87	o 25395
57.87	c 923
57.89	o 25396
57.89	c 922
57.90	o 25397
57.90	c 921
57.91	o 25398
57.91	c 920
57.93	o 25400
57.93	c 918
57.94	o 25402
57.94	c 916
57.97	o 25403
57.97	c 915
57.98	o 25404
57.98	c 914
58.00	o 25405
58.00	c 913
58.04	o 25406
58.04	c 912
58.07	o 25407
58.07	c 911
58.08	o 25408
58.08	c 910
58.09	o 25409
58.09	c 909
58.11	o 25410
58.11	c 908
58.13	o 25411
58.13	c 907
58.14	o 25412
58.14	c 906
58.15	o 25414
58.15	c 904
58.16	o 25415
58.16	c 903
58.18	o 25416
58.18	c 902
58.23	o 25417
58.23	c 901
58.24	o 25418
58.24	c 900
58.27	o 25420
58.27	c 898
58.32	o 25421
58.32	c 897
58.33	o 25422
58.33	c 896
58.39	o 25424
58.39	c 894
58.41	o 25425
58.41	c 893
58.43	o 25426
58.43	c 892
58.48	o 25428
58.48	c 890
58.49	o 25429
58.49	c 889
58.50	o 25431
58.50	c 887
58.51	o 25432
58.51	c 886
58.52	o 25433
58.52	c 885
58.55	o 25434
58.55	c 884
58.56	o 25435
58.56	c 883
59.10	o 25436
59.10	c 882
59.23	o 25437
59.23	c 881
59.27	o 25438
59.27	c 880
59.31	o 25439
59.31	c 879
59.33	o 25440
59.33	c 878
59.35	o 25441
59.35	c 877
59.43	o 25442
59.43	c 876
59.50	o 25444
59.50	c 874
59.64	o 25445
59.64	c 873
59.71	o 25447
59.71	c 871
60.37	o 25448
60.37	c 870
60.41	o 25450
60.41	c 868
60.42	o 25455
60.42	c 863
60.80	o 25456
60.80	c 862
60.84	o 25458
60.84	c 860
60.87	o 25460
60.87	c 858
60.88	o 25461
60.88	c 857
60.90	o 25462
60.90	c 856
60.92	o 25463
60.92	c 855
60.95	o 25465
60.95	c 853
60.98	o 25466
60.98	c 852
60.99	o 25467
60.99	c 851
61.00	o 25468
61.00	c 850
61.00	o 25469
61.00	c 849
61.03	o 25471
61.03	c 847
61.05	o 25472
61.05	c 846
61.06	o 25473
61.06	c 845
61.07	o 25474
61.07	c 844
61.08	o 25475
61.08	c 843
61.09	o 25476
61.09	c 842
61.19	o 25478
61.19	c 840
61.20	o 25479
61.20	c 839
61.25	o 25481
61.25	c 837
61.26	o 25483
61.26	c 835
61.27	o 25485
61.27	c 833
61.45	o 25487
61.45	c 831
61.46	o 25488
61.46	c 830
61.48	o 25489
61.48	c 829
61.66	o 25491
61.66	c 827
61.68	o 25492
61.68	c 826
61.72	o 25494
61.72	c 824
61.75	o 25495
61.75	c 823
61.76	o 25496
61.76	c 822
61.77	o 25498
61.77	c 820
61.79	o 25499
61.79	c 819
61.80	o 25500
61.80	c 818
62.23	o 25501
62.23	c 817
62.24	o 25505
62.24	c 813
62.25	o 25507
62.25	c 811
62.28	o 25508
62.28	c 810
62.29	o 25509
62.29	c 809
62.31	o 25510
62.31	c 808
62.37	o 25512
62.37	c 806
62.45	o 25513
62.45	c 805
62.46	o 25514
62.46	c 804
62.51	o 25515
62.51	c 803
62.53	o 25516
62.53	c 802
62.53	o 25517
62.53	c 801
62.59	o 25518
62.59	c 800
62.62	o 25519
62.62	c 799
62.64	o 25521
62.64	c 797
62.66	o 25523
62.66	c 795
62.67	o 25525
62.67	c 793
62.69	o 25526
62.69	c 792
62.78	o 25527
62.78	c 791
62.85	o 25528
62.85	c 790
62.86	o 25530
62.86	c 788
62.90	o 25531
62.90	c 787
62.91	o 25532
62.91	c 786
62.95	o 25533
62.95	c 785
62.97	o 25534
62.97	c 784
63.23	o 25536
63.23	c 782
63.24	o 25537
63.24	c 781
63.25	o 25538
63.25	c 780
63.27	o 25544
63.27	c 774
63.29	o 25548
63.29	c 770
63.35	o 25550
63.35	c 768
63.35	o 25551
63.35	c 767
63.58	o 25552
63.58	c 766
63.76	o 25554
63.76	c 764
63.85	o 25557
63.85	c 761
63.86	o 25558
63.86	c 760
63.89	o 25559
63.89	c 759
63.93	o 25560
63.93	c 758
64.11	o 25562
64.11	c 756
64.14	o 25563
64.14	c 755
64.17	o 25564
64.17	c 754
64.19	o 25565
64.19	c 753
64.21	o 25567
64.21	c 751
64.23	o 25569
64.23	c 749
64.25	o 25570
64.25	c 748
64.26	o 25571
64.26	c 747
64.28	o 25573
64.28	c 745
64.73	o 25581
64.73	c 737
64.77	o 25582
64.77	c 736
64.80	o 25583
64.80	c 735
64.87	o 25585
64.87	c 733
64.89	o 25587
64.89	c 731
64.93	o 25588
64.93	c 730
65.02	o 25589
65.02	c 729
65.08	o 25590
65.08	c 728
65.09	o 25592
65.09	c 726
65.81	o 25593
65.81	c 725
65.82	o 25594
65.82	c 724
65.85	o 25595
65.85	c 723
65.86	o 25596
65.86	c 722
66.01	o 25597
66.01	c 721
66.39	o 25598
66.39	c 720
66.45	o 25599
66.45	c 719
66.46	o 25601
66.46	c 717
66.46	o 25603
66.46	c 715
66.47	o 25605
66.47	c 713
66.48	o 25606
66.48	c 712
66.49	o 25607
66.49	c 711
66.50	o 25609
66.50	c 709
66.64	o 25610
66.64	c 708
66.69	o 25611
66.69	c 707
66.73	o 25612
66.73	c 706
67.03	o 25613
67.03	c 705
67.06	o 25614
67.06	c 704
67.08	o 25615
67.08	c 703
67.09	o 25616
67.09	c 702
67.10	o 25617
67.10	c 701
67.11	o 25619
67.11	c 699
67.12	o 25620
67.12	c 698
67.13	o 25621
67.13	c 697
67.16	o 25622
67.16	c 696
67.17	o 25623
67.17	c 695
67.19	o 25625
67.19	c 693
67.22	o 25626
67.22	c 692
67.23	o 25627
67.23	c 691
67.29	o 25628
67.29	c 690
67.30	o 25629
67.30	c 689
67.31	o 25630
67.31	c 688
67.32	o 25631
67.32	c 687
67.33	o 25633
67.33	c 685
67.34	o 25634
67.34	c 684
67.37	o 25635
67.37	c 683
67.43	o 25636
67.43	c 682
67.44	o 25638
67.44	c 680
67.45	o 25639
67.45	c 679
67.62	o 25641
67.62	c 677
67.63	o 25643
67.63	c 675
67.64	o 25644
67.64	c 674
67.66	o 25645
67.66	c 673
67.67	o 25646
67.67	c 672
67.70	o 25647
67.70	c 671
67.71	o 25648
67.71	c 670
67.74	o 25649
67.74	c 669
67.74	o 25651
67.74	c 667
67.75	o 25652
67.75	c 666
68.17	o 25653
68.17	c 665
68.20	o 25654
68.20	c 664
68.24	o 25655
68.24	c 663
68.26	o 25657
68.26	c 661
68.30	o 25658
68.30	c 660
68.31	o 25659
68.31	c 659
68.32	o 25661
68.32	c 657
68.34	o 25662
68.34	c 656
68.35	o 25663
68.35	c 655
68.43	o 25664
68.43	c 654
68.44	o 25669
68.44	c 649
68.45	o 25671
68.45	c 647
68.48	o 25672
68.48	c 646
68.48	o 25673
68.48	c 645
68.52	o 25674
68.52	c 644
68.55	o 25675
68.55	c 643
68.58	o 25676
68.58	c 642
68.59	o 25677
68.59	c 641
68.61	o 25678
68.61	c 640
68.62	o 25679
68.62	c 639
68.63	o 25681
68.63	c 637
68.66	o 25682
68.66	c 636
68.67	o 25684
68.67	c 634
68.69	o 25685
68.69	c 633
68.70	o 25686
68.70	c 632
68.71	o 25687
68.71	c 631
68.72	o 25688
68.72	c 630
68.73	o 25689
68.73	c 629
68.74	o 25690
68.74	c 628
68.79	o 25691
68.79	c 627
68.79	o 25692
68.79	c 626
68.82	o 25693
68.82	c 625
68.83	o 25694
68.83	c 624
68.84	o 25695
68.84	c 623
68.86	o 25696
68.86	c 622
68.86	o 25697
68.86	c 621
68.87	o 25698
68.87	c 620
68.90	o 25699
68.90	c 619
68.91	o 25700
68.91	c 618
68.92	o 25701
68.92	c 617
68.94	o 25703
68.94	c 615
69.07	o 25704
69.07	c 614
69.23	o 25705
69.23	c 613
69.25	o 25706
69.25	c 612
69.27	o 25707
69.27	c 611
69.27	o 25709
69.27	c 609
69.28	o 25710
69.28	c 608
69.32	o 25711
69.32	c 607
69.34	o 25712
69.34	c 606
69.36	o 25714
69.36	c 604
69.37	o 25715
69.37	c 603
69.88	o 25716
69.88	c 602
69.89	o 25717
69.89	c 601
69.90	o 25718
69.90	c 600
69.93	o 25720
69.93	c 598
69.95	o 25721
69.95	c 597
69.96	o 25722
69.96	c 596
69.98	o 25724
69.98	c 594
69.99	o 25725
69.99	c 593
70.44	o 25726
70.44	c 592
70.44	o 25727
70.44	c 591
70.45	o 25728
70.45	c 590
70.46	o 25730
70.46	c 588
70.50	o 25731
70.50	c 587
70.52	o 25732
70.52	c 586
70.62	o 25733
70.62	c 585
70.65	o 25734
70.65	c 584
70.67	o 25735
70.67	c 583
70.69	o 25736
70.69	c 582
70.71	o 25737
70.71	c 581
70.78	o 25738
70.78	c 580
70.87	o 25739
70.87	c 579
70.89	o 25740
70.89	c 578
70.94	o 25741
70.94	c 577
70.98	o 25742
70.98	c 576
71.01	o 25743
71.01	c 575
71.15	o 25745
71.15	c 573
71.17	o 25746
71.17	c 572
71.22	o 25747
71.22	c 571
71.23	o 25748
71.23	c 570
71.24	o 25749
71.24	c 569
71.74	o 25750
71.74	c 568
71.78	o 25752
71.78	c 566
71.81	o 25753
71.81	c 565
71.84	o 25754
71.84	c 564
71.91	o 25756
71.91	c 562
71.96	o 25758
71.96	c 560
71.97	o 25760
71.97	c 558
72.01	o 25762
72.01	c 556
72.17	o 25763
72.17	c 555
72.21	o 25765
72.21	c 553
72.27	o 25766
72.27	c 552
72.28	o 25767
72.28	c 551
72.33	o 25768
72.33	c 550
72.39	o 25769
72.39	c 549
72.46	o 25770
72.46	c 548
72.50	o 25771
72.50	c 547
72.58	o 25772
72.58	c 546
72.59	o 25773
72.59	c 545
72.60	o 25774
72.60	c 544
72.63	o 25775
72.63	c 543
72.65	o 25776
72.65	c 542
72.69	o 25777
72.69	c 541
76.56	o 25778
76.56	c 540
76.60	o 25779
76.60	c 539
76.72	o 25780
76.72	c 538
77.11	o 25781
77.11	c 537
77.13	o 25782
77.13	c 536
77.14	o 25784
77.14	c 534
77.19	o 25785
77.19	c 533
77.20	o 25786
77.20	c 532
77.21	o 25787
77.21	c 531
77.23	o 25788
77.23	c 530
77.26	o 25789
77.26	c 529
77.26	o 25791
77.26	c 527
77.28	o 25792
77.28	c 526
77.29	o 25793
77.29	c 525
77.32	o 25795
77.32	c 523
77.34	o 25796
77.34	c 522
77.35	o 25797
77.35	c 521
77.38	o 25798
77.38	c 520
77.39	o 25799
77.39	c 519
77.41	o 25800
77.41	c 518
77.43	o 25801
77.43	c 517
77.44	o 25802
77.44	c 516
77.46	o 25803
77.46	c 515
77.46	o 25805
77.46	c 513
77.64	o 25806
77.64	c 512
77.75	o 25807
77.75	c 511
78.36	o 25808
78.36	c 510
78.37	o 25810
78.37	c 508
78.38	o 25811
78.38	c 507
78.40	o 25813
78.40	c 505
78.41	o 25815
78.41	c 503
78.42	o 25817
78.42	c 501
78.43	o 25819
78.43	c 499
78.46	o 25820
78.46	c 498
78.60	o 25821
78.60	c 497
78.62	o 25822
78.62	c 496
78.65	o 25823
78.65	c 495
78.66	o 25824
78.66	c 494
78.68	o 25825
78.68	c 493
78.69	o 25827
78.69	c 491
78.72	o 25829
78.72	c 489
78.76	o 25830
78.76	c 488
78.78	o 25831
78.78	c 487
78.97	o 25832
78.97	c 486
78.99	o 25833
78.99	c 485
79.03	o 25834
79.03	c 484
79.05	o 25835
79.05	c 483
79.91	o 25836
79.91	c 482
79.93	o 25838
79.93	c 480
79.94	o 25840
79.94	c 478
80.77	o 25841
80.77	c 477
80.78	o 25842
80.78	c 476
80.81	o 25843
80.81	c 475
80.88	o 25844
80.88	c 474
80.95	o 25846
80.95	c 472
81.03	o 25847
81.03	c 471
81.05	o 25848
81.05	c 470
81.07	o 25850
81.07	c 468
81.08	o 25851
81.08	c 467
81.10	o 25852
81.10	c 466
81.11	o 25853
81.11	c 465
81.12	o 25854
81.12	c 464
81.40	o 25855
81.40	c 463
81.42	o 25856
81.42	c 462
81.78	o 25857
81.78	c 461
81.84	o 25858
81.84	c 460
81.86	o 25861
81.86	c 457
81.88	o 25862
81.88	c 456
81.91	o 25863
81.91	c 455
81.98	o 25864
81.98	c 454
82.02	o 25865
82.02	c 453
82.04	o 25866
82.04	c 452
82.05	o 25867
82.05	c 451
82.09	   
82.09	   search
82.09	     run=0  nbConstraintChecks=66674900  nbAssignments=10000
82.09	       =>  wckTime=77.872  cpuTime=76.93  mem=39M324
82.14	o 25868
82.14	c 450
82.15	o 25870
82.15	c 448
82.48	o 25871
82.48	c 447
82.49	o 25872
82.49	c 446
82.56	o 25873
82.56	c 445
82.65	o 25874
82.65	c 444
82.71	o 25875
82.71	c 443
82.77	o 25876
82.77	c 442
82.78	o 25877
82.78	c 441
82.94	o 25878
82.94	c 440
83.05	o 25880
83.05	c 438
83.06	o 25881
83.06	c 437
83.09	o 25883
83.09	c 435
83.29	o 25884
83.29	c 434
83.33	o 25885
83.33	c 433
83.35	o 25886
83.35	c 432
83.37	o 25887
83.37	c 431
83.41	o 25888
83.41	c 430
83.41	o 25890
83.41	c 428
83.44	o 25891
83.44	c 427
83.53	o 25893
83.53	c 425
83.56	o 25894
83.56	c 424
83.56	o 25895
83.56	c 423
83.70	o 25896
83.70	c 422
83.74	o 25897
83.74	c 421
83.75	o 25898
83.75	c 420
83.77	o 25899
83.77	c 419
83.78	o 25900
83.78	c 418
83.80	o 25901
83.80	c 417
83.81	o 25902
83.81	c 416
83.82	o 25903
83.82	c 415
83.83	o 25904
83.83	c 414
83.83	o 25905
83.83	c 413
85.64	o 25906
85.64	c 412
85.73	o 25907
85.73	c 411
85.91	o 25908
85.91	c 410
85.92	o 25909
85.92	c 409
85.94	o 25911
85.94	c 407
85.96	o 25912
85.96	c 406
86.08	o 25913
86.08	c 405
86.14	o 25914
86.14	c 404
86.15	o 25915
86.15	c 403
86.23	o 25916
86.23	c 402
86.24	o 25917
86.24	c 401
86.26	o 25918
86.26	c 400
86.29	o 25919
86.29	c 399
86.33	o 25920
86.33	c 398
86.36	o 25921
86.36	c 397
86.37	o 25922
86.37	c 396
86.38	o 25923
86.38	c 395
86.38	o 25924
86.38	c 394
86.39	o 25925
86.39	c 393
86.40	o 25926
86.40	c 392
86.43	o 25927
86.43	c 391
86.44	o 25928
86.44	c 390
86.48	o 25929
86.48	c 389
86.51	o 25930
86.51	c 388
86.52	o 25931
86.52	c 387
86.53	o 25932
86.53	c 386
86.56	o 25933
86.56	c 385
86.56	o 25934
86.56	c 384
86.58	o 25935
86.58	c 383
86.58	o 25936
86.58	c 382
86.59	o 25937
86.59	c 381
86.60	o 25939
86.60	c 379
86.68	o 25940
86.68	c 378
86.73	o 25941
86.73	c 377
86.74	o 25942
86.74	c 376
86.75	o 25946
86.75	c 372
86.76	o 25947
86.76	c 371
86.77	o 25948
86.77	c 370
86.79	o 25949
86.79	c 369
86.81	o 25950
86.81	c 368
86.93	o 25951
86.93	c 367
86.95	o 25952
86.95	c 366
86.96	o 25954
86.96	c 364
87.38	o 25955
87.38	c 363
87.43	o 25956
87.43	c 362
87.51	o 25957
87.51	c 361
87.54	o 25958
87.54	c 360
87.55	o 25959
87.55	c 359
87.56	o 25960
87.56	c 358
87.59	o 25961
87.59	c 357
87.59	o 25962
87.59	c 356
87.76	o 25963
87.76	c 355
87.79	o 25964
87.79	c 354
87.80	o 25965
87.80	c 353
87.83	o 25966
87.83	c 352
87.84	o 25967
87.84	c 351
87.87	o 25968
87.87	c 350
87.89	o 25970
87.89	c 348
87.93	o 25971
87.93	c 347
87.96	o 25972
87.96	c 346
87.96	o 25973
87.96	c 345
87.97	o 25974
87.97	c 344
88.05	o 25975
88.05	c 343
88.13	o 25976
88.13	c 342
88.13	o 25977
88.13	c 341
88.15	o 25978
88.15	c 340
88.16	o 25979
88.16	c 339
88.21	o 25980
88.21	c 338
88.30	o 25981
88.30	c 337
88.43	o 25982
88.43	c 336
88.54	o 25983
88.54	c 335
88.75	o 25984
88.75	c 334
89.60	o 25985
89.60	c 333
89.62	o 25986
89.62	c 332
89.66	o 25987
89.66	c 331
89.68	o 25988
89.68	c 330
89.73	o 25991
89.73	c 327
89.74	o 25992
89.74	c 326
89.83	o 25993
89.83	c 325
90.08	o 25994
90.08	c 324
90.10	o 25995
90.10	c 323
90.16	o 25996
90.16	c 322
90.27	o 25997
90.27	c 321
90.37	o 25998
90.37	c 320
90.39	o 25999
90.39	c 319
90.40	o 26001
90.40	c 317
90.46	o 26002
90.46	c 316
90.49	o 26003
90.49	c 315
90.53	o 26004
90.53	c 314
90.54	o 26005
90.54	c 313
90.55	o 26006
90.55	c 312
90.56	o 26007
90.56	c 311
90.59	o 26008
90.59	c 310
90.61	o 26009
90.61	c 309
90.63	o 26010
90.63	c 308
90.64	o 26012
90.64	c 306
90.66	o 26013
90.66	c 305
90.79	o 26014
90.79	c 304
90.87	o 26015
90.87	c 303
90.94	o 26016
90.94	c 302
90.94	o 26017
90.94	c 301
92.05	o 26018
92.05	c 300
92.07	o 26019
92.07	c 299
92.09	o 26020
92.09	c 298
92.16	o 26021
92.16	c 297
92.16	o 26022
92.16	c 296
92.17	o 26023
92.17	c 295
92.18	o 26024
92.18	c 294
92.20	o 26025
92.20	c 293
92.27	o 26026
92.27	c 292
92.29	o 26027
92.29	c 291
92.30	o 26028
92.30	c 290
92.31	o 26029
92.31	c 289
92.36	o 26030
92.36	c 288
92.37	o 26031
92.37	c 287
92.38	o 26033
92.38	c 285
92.39	o 26034
92.39	c 284
92.87	o 26035
92.87	c 283
92.88	o 26036
92.88	c 282
92.93	o 26037
92.93	c 281
92.93	o 26038
92.93	c 280
92.94	o 26039
92.94	c 279
92.95	o 26041
92.95	c 277
92.96	o 26042
92.96	c 276
92.97	o 26043
92.97	c 275
92.98	o 26044
92.98	c 274
93.03	o 26045
93.03	c 273
93.05	o 26047
93.05	c 271
93.06	o 26048
93.06	c 270
93.08	o 26049
93.08	c 269
93.09	o 26050
93.09	c 268
93.09	o 26051
93.09	c 267
93.12	o 26052
93.12	c 266
93.14	o 26053
93.14	c 265
93.14	o 26054
93.14	c 264
93.28	o 26055
93.28	c 263
93.30	o 26056
93.30	c 262
93.30	o 26057
93.30	c 261
93.31	o 26058
93.31	c 260
93.40	o 26059
93.40	c 259
93.42	o 26060
93.42	c 258
93.45	o 26061
93.45	c 257
93.49	o 26062
93.49	c 256
93.50	o 26063
93.50	c 255
93.50	o 26064
93.50	c 254
93.51	o 26065
93.51	c 253
93.54	o 26066
93.54	c 252
93.58	o 26067
93.58	c 251
93.73	o 26068
93.73	c 250
93.75	o 26069
93.75	c 249
93.78	o 26070
93.78	c 248
94.71	o 26071
94.71	c 247
94.71	o 26072
94.71	c 246
94.73	o 26073
94.73	c 245
94.74	o 26074
94.74	c 244
94.75	o 26075
94.75	c 243
94.78	o 26076
94.78	c 242
95.90	o 26077
95.90	c 241
96.32	o 26078
96.32	c 240
96.32	o 26079
96.32	c 239
96.33	o 26080
96.33	c 238
96.33	o 26081
96.33	c 237
96.37	o 26082
96.37	c 236
96.38	o 26083
96.38	c 235
96.42	o 26084
96.42	c 234
96.44	o 26085
96.44	c 233
96.44	o 26086
96.44	c 232
96.83	o 26087
96.83	c 231
96.88	o 26088
96.88	c 230
96.95	o 26090
96.95	c 228
97.03	o 26091
97.03	c 227
97.04	o 26092
97.04	c 226
97.08	o 26093
97.08	c 225
97.43	o 26094
97.43	c 224
97.45	o 26095
97.45	c 223
97.46	o 26096
97.46	c 222
97.47	o 26097
97.47	c 221
97.47	o 26098
97.47	c 220
97.48	o 26100
97.48	c 218
97.51	o 26101
97.51	c 217
97.54	o 26102
97.54	c 216
97.55	o 26104
97.55	c 214
97.57	o 26105
97.57	c 213
97.63	o 26106
97.63	c 212
97.65	o 26107
97.65	c 211
97.65	o 26108
97.65	c 210
97.84	o 26109
97.84	c 209
98.45	o 26110
98.45	c 208
98.64	o 26111
98.64	c 207
98.65	o 26112
98.65	c 206
98.66	o 26113
98.66	c 205
98.67	o 26115
98.67	c 203
98.68	o 26116
98.68	c 202
98.71	o 26117
98.71	c 201
98.72	o 26118
98.72	c 200
98.74	o 26119
98.74	c 199
98.76	o 26120
98.76	c 198
98.77	o 26121
98.77	c 197
98.81	o 26122
98.81	c 196
98.94	o 26123
98.94	c 195
98.99	o 26124
98.99	c 194
99.85	o 26128
99.85	c 190
99.86	o 26130
99.86	c 188
99.88	o 26131
99.88	c 187
99.88	o 26133
99.88	c 185
99.90	o 26135
99.90	c 183
99.91	o 26136
99.91	c 182
100.08	o 26137
100.08	c 181
100.11	o 26138
100.11	c 180
100.13	o 26139
100.13	c 179
100.15	o 26140
100.15	c 178
100.88	o 26141
100.88	c 177
100.91	o 26142
100.91	c 176
100.98	o 26143
100.98	c 175
101.00	o 26144
101.00	c 174
101.00	o 26145
101.00	c 173
101.09	o 26146
101.09	c 172
101.61	o 26147
101.61	c 171
101.63	o 26148
101.63	c 170
101.64	o 26149
101.64	c 169
101.65	o 26150
101.65	c 168
101.68	o 26151
101.68	c 167
101.71	o 26152
101.71	c 166
101.72	o 26153
101.72	c 165
101.72	o 26154
101.72	c 164
101.73	o 26155
101.73	c 163
101.76	o 26156
101.76	c 162
101.76	o 26157
101.76	c 161
101.88	o 26158
101.88	c 160
101.92	o 26159
101.92	c 159
102.23	o 26160
102.23	c 158
102.30	o 26161
102.30	c 157
102.64	o 26162
102.64	c 156
102.66	o 26163
102.66	c 155
102.78	o 26164
102.78	c 154
102.91	o 26165
102.91	c 153
102.96	o 26166
102.96	c 152
103.16	o 26167
103.16	c 151
103.92	o 26168
103.92	c 150
103.94	o 26170
103.94	c 148
103.95	o 26171
103.95	c 147
103.96	o 26172
103.96	c 146
104.12	o 26173
104.12	c 145
104.14	o 26174
104.14	c 144
104.68	o 26175
104.68	c 143
104.69	o 26176
104.69	c 142
105.15	o 26177
105.15	c 141
105.16	o 26178
105.16	c 140
105.18	o 26180
105.18	c 138
105.20	o 26182
105.20	c 136
105.32	o 26183
105.32	c 135
105.35	o 26184
105.35	c 134
105.36	o 26185
105.36	c 133
105.55	o 26186
105.55	c 132
106.62	o 26187
106.62	c 131
106.64	o 26188
106.64	c 130
106.75	o 26189
106.75	c 129
106.77	o 26190
106.77	c 128
106.81	o 26191
106.81	c 127
106.83	o 26192
106.83	c 126
106.84	o 26193
106.84	c 125
107.37	o 26194
107.37	c 124
107.39	o 26195
107.39	c 123
107.42	o 26196
107.42	c 122
107.76	o 26198
107.76	c 120
107.95	o 26199
107.95	c 119
107.97	o 26200
107.97	c 118
107.98	o 26201
107.98	c 117
108.44	   
108.44	   search
108.44	     run=1  nbConstraintChecks=91575629  nbAssignments=20000
108.44	       =>  wckTime=104.229  cpuTime=103.0  mem=39M324
112.48	o 26202
112.48	c 116
112.49	o 26204
112.49	c 114
112.51	o 26205
112.51	c 113
112.52	o 26208
112.52	c 110
112.54	o 26209
112.54	c 109
112.57	o 26210
112.57	c 108
112.64	o 26214
112.64	c 104
112.64	o 26215
112.64	c 103
112.65	o 26216
112.65	c 102
112.72	o 26217
112.72	c 101
112.85	o 26218
112.85	c 100
112.85	o 26220
112.85	c 98
112.87	o 26221
112.87	c 97
112.91	o 26222
112.91	c 96
112.92	o 26223
112.92	c 95
112.93	o 26224
112.93	c 94
112.97	o 26225
112.97	c 93
113.00	o 26226
113.00	c 92
113.10	o 26227
113.10	c 91
113.10	o 26228
113.10	c 90
113.11	o 26229
113.11	c 89
113.14	o 26233
113.14	c 85
113.14	o 26234
113.14	c 84
113.14	o 26235
113.14	c 83
113.32	o 26236
113.32	c 82
113.45	o 26237
113.45	c 81
113.45	o 26238
113.45	c 80
113.45	o 26239
113.45	c 79
113.46	o 26240
113.46	c 78
113.86	o 26242
113.86	c 76
113.92	o 26244
113.92	c 74
114.09	o 26245
114.09	c 73
114.11	o 26246
114.11	c 72
114.12	o 26247
114.12	c 71
114.14	o 26248
114.14	c 70
114.14	o 26249
114.14	c 69
114.15	o 26250
114.15	c 68
114.15	o 26251
114.15	c 67
114.29	o 26252
114.29	c 66
114.30	o 26253
114.30	c 65
114.30	o 26254
114.30	c 64
114.30	o 26255
114.30	c 63
114.31	o 26256
114.31	c 62
118.91	   
118.91	   search
118.91	     run=2  nbConstraintChecks=100824944  nbAssignments=30000
118.91	       =>  wckTime=114.698  cpuTime=113.36  mem=39M324
121.16	o 26257
121.16	c 61
121.25	o 26258
121.25	c 60
121.28	o 26259
121.28	c 59
121.28	o 26260
121.28	c 58
121.29	o 26261
121.29	c 57
121.31	o 26262
121.31	c 56
121.47	o 26263
121.47	c 55
121.47	o 26264
121.47	c 54
121.48	o 26265
121.48	c 53
121.49	o 26266
121.49	c 52
121.49	o 26267
121.49	c 51
121.50	o 26268
121.50	c 50
121.51	o 26269
121.51	c 49
121.51	o 26270
121.51	c 48
123.08	o 26271
123.08	c 47
123.75	o 26272
123.75	c 46
123.85	o 26273
123.85	c 45
123.86	o 26274
123.86	c 44
123.96	o 26275
123.96	c 43
123.98	o 26276
123.98	c 42
123.98	o 26277
123.98	c 41
123.98	o 26278
123.98	c 40
123.99	o 26280
123.99	c 38
123.99	o 26281
123.99	c 37
124.16	o 26282
124.16	c 36
124.50	o 26283
124.50	c 35
124.52	o 26284
124.52	c 34
124.60	o 26285
124.60	c 33
124.60	o 26286
124.60	c 32
124.67	o 26287
124.67	c 31
124.68	o 26288
124.68	c 30
124.96	o 26289
124.96	c 29
125.03	o 26290
125.03	c 28
125.06	o 26291
125.06	c 27
125.15	o 26292
125.15	c 26
125.16	o 26293
125.16	c 25
125.38	o 26294
125.38	c 24
125.38	o 26295
125.38	c 23
125.70	o 26296
125.70	c 22
125.71	o 26297
125.71	c 21
126.07	o 26298
126.07	c 20
126.07	o 26299
126.07	c 19
126.17	o 26300
126.17	c 18
126.20	o 26301
126.20	c 17
126.39	o 26302
126.39	c 16
126.45	o 26303
126.45	c 15
126.47	o 26304
126.47	c 14
126.48	   
126.48	   search
126.48	     run=3  nbConstraintChecks=107115312  nbAssignments=40000
126.48	       =>  wckTime=122.262  cpuTime=120.85  mem=39M324
126.49	o 26305
126.49	c 13
127.05	o 26306
127.05	c 12
133.24	   
133.24	   search
133.24	     run=4  nbConstraintChecks=112382439  nbAssignments=50000
133.24	       =>  wckTime=129.027  cpuTime=127.55  mem=39M324
138.24	o 26307
138.24	c 11
138.71	   
138.71	   search
138.71	     run=5  nbConstraintChecks=116178105  nbAssignments=60000
138.71	       =>  wckTime=134.497  cpuTime=132.98  mem=39M324
145.06	   
145.06	   search
145.06	     run=6  nbConstraintChecks=121257784  nbAssignments=70000
145.06	       =>  wckTime=140.843  cpuTime=139.26  mem=39M324
151.42	   
151.42	   search
151.42	     run=7  nbConstraintChecks=126361609  nbAssignments=80000
151.42	       =>  wckTime=147.208  cpuTime=145.57  mem=39M324
157.01	   
157.01	   search
157.01	     run=8  nbConstraintChecks=130498843  nbAssignments=90000
157.01	       =>  wckTime=152.798  cpuTime=151.11  mem=39M324
163.54	   
163.54	   search
163.54	     run=9  nbConstraintChecks=136126586  nbAssignments=100000
163.54	       =>  wckTime=159.323  cpuTime=157.58  mem=39M324
168.53	   
168.53	   search
168.53	     run=10  nbConstraintChecks=140196084  nbAssignments=106609
168.53	       =>  wckTime=164.313  cpuTime=162.52  mem=39M324
168.53	   
168.53	   global
168.53	     nbConstraintChecks=140196084  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
168.53	     solvingWckTime=164.304  solvingCpuTime=162.51  expiredTime=no  totalExploration=no  nbFoundSolutions=0
168.53	     globalCpuTime=165.7
168.53	       =>  wckTime=168.172  cpuTime=165.65  mem=39M324
168.53	   
168.53	   solver IterativeSystematicSolver being built... 
169.20	       =>  wckTime=168.842  cpuTime=166.15  mem=49M141
441.97	   
441.97	   preprocessing
441.97	     nbConstraintChecks=97989078  nbValidityChecks=4208738  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
441.97	     nbRemovedValues=0  detectedInconsistency=no
441.97	       =>  wckTime=272.759  cpuTime=270.21  mem=50M150
732.18	   
732.18	   search
732.18	     run=0  nbConstraintChecks=16193753  nbValidityChecks=2744177  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
732.18	     nbAssignments=1063  nbFailedAssignments=40  nbBacktracks=11  nbVisitedNodes=1108  nbRestartNogoods=0
732.18	       =>  wckTime=562.975  cpuTime=557.76  mem=50M150
938.03	   
938.04	   search
938.04	     run=1  nbConstraintChecks=35063820  nbValidityChecks=6109026  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
938.04	     nbAssignments=2277  nbFailedAssignments=70  nbBacktracks=83  nbVisitedNodes=2383  nbRestartNogoods=37
938.04	       =>  wckTime=768.834  cpuTime=763.08  mem=51M158
1655.04	   
1655.04	   search
1655.04	     run=2  nbConstraintChecks=45538227  nbValidityChecks=7958423  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1655.04	     nbAssignments=2901  nbFailedAssignments=120  nbBacktracks=105  nbVisitedNodes=3079  nbRestartNogoods=67
1655.04	       =>  wckTime=1485.84  cpuTime=1479.32  mem=51M158
1795.48	   
1795.48	   search
1795.48	     run=3  nbConstraintChecks=63762996  nbValidityChecks=11200736  nbPropagations=0  nbRevisions=0
1795.48	     nbUselessRevisions=0  nbAssignments=4086  nbFailedAssignments=121  nbBacktracks=223  nbVisitedNodes=4316
1795.48	     nbRestartNogoods=96
1795.48	       =>  wckTime=1626.279  cpuTime=1619.63  mem=51M158
2409.25	v 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 

11 unsatisfied constraints, 26307 satisfied constraints

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-275735-1169226262 -o ROOT/results/node9/solver-275735-1169226262 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275735-1169226262/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.01 2.02 2.00 4/93 25763
/proc/meminfo: memFree=1100984/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=1784 CPUtime=0
/proc/25762/stat : 25762 (java) D 25760 25762 25126 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 271021365 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/25762/statm: 446 140 106 14 0 91 0

[startup+0.102759 s]
/proc/loadavg: 2.01 2.02 2.00 4/93 25763
/proc/meminfo: memFree=1100984/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=907676 CPUtime=0.04
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 2381 0 1 0 4 0 0 0 16 0 4 0 271021365 929460224 2128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 226919 2128 1187 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.510802 s]
/proc/loadavg: 2.01 2.02 2.00 4/93 25763
/proc/meminfo: memFree=1100984/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915332 CPUtime=0.44
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 6306 0 1 0 41 3 0 0 18 0 8 0 271021365 937299968 6045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228833 6045 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332

[startup+1.3319 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 25770
/proc/meminfo: memFree=1038720/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915624 CPUtime=1.25
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 17896 0 1 0 115 10 0 0 24 0 8 0 271021365 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073524073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228906 17634 2162 14 0 215376 0
[pid=25762/tid=25764] ppid=25760 vsize=915624 CPUtime=0.05
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 1335 0 0 0 5 0 0 0 17 0 8 0 271021373 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915624 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915624 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271021374 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915624 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915624 CPUtime=0.16
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 271021377 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915624 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915624 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937598976 17634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915624

[startup+2.97408 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 25770
/proc/meminfo: memFree=1030656/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915752 CPUtime=2.88
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 19928 0 1 0 214 74 0 0 25 0 8 0 271021365 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228938 19663 2182 14 0 215408 0
[pid=25762/tid=25764] ppid=25760 vsize=915752 CPUtime=0.15
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 3281 0 0 0 14 1 0 0 17 0 8 0 271021373 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915752 CPUtime=0.21
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 271021377 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937730048 19663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915752

[startup+6.18245 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 25770
/proc/meminfo: memFree=999424/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915752 CPUtime=6.06
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 28007 0 1 0 482 124 0 0 25 0 8 0 271021365 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228938 27719 2495 14 0 215408 0
[pid=25762/tid=25764] ppid=25760 vsize=915752 CPUtime=0.49
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11004 0 0 0 45 4 0 0 16 0 8 0 271021373 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915752 CPUtime=0.25
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 452 0 0 0 24 1 0 0 15 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915752

[startup+12.6582 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 25770
/proc/meminfo: memFree=999616/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915752 CPUtime=12.47
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 28007 0 1 0 1118 129 0 0 25 0 8 0 271021365 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228938 27719 2495 14 0 215408 0
[pid=25762/tid=25764] ppid=25760 vsize=915752 CPUtime=0.49
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11004 0 0 0 45 4 0 0 16 0 8 0 271021373 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915752 CPUtime=0.25
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 452 0 0 0 24 1 0 0 15 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937730048 27719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915752

[startup+25.5316 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 25770
/proc/meminfo: memFree=999808/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915752 CPUtime=25.19
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 28017 0 1 0 2379 140 0 0 25 0 8 0 271021365 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228938 27727 2495 14 0 215408 0
[pid=25762/tid=25764] ppid=25760 vsize=915752 CPUtime=0.49
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11004 0 0 0 45 4 0 0 16 0 8 0 271021373 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915752 CPUtime=0.27
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 460 0 0 0 26 1 0 0 16 0 8 0 271021377 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937730048 27727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915752

[startup+51.1636 s]
/proc/loadavg: 2.08 2.03 2.01 4/100 25770
/proc/meminfo: memFree=999808/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915752 CPUtime=50.5
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 28021 0 1 0 4881 169 0 0 25 0 8 0 271021365 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228938 27730 2495 14 0 215408 0
[pid=25762/tid=25764] ppid=25760 vsize=915752 CPUtime=0.49
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11004 0 0 0 45 4 0 0 16 0 8 0 271021373 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915752 CPUtime=0.28
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 463 0 0 0 27 1 0 0 16 0 8 0 271021377 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937730048 27730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 915752

[startup+102.414 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 25770
/proc/meminfo: memFree=999808/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915752 CPUtime=101.19
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 28028 0 1 0 9838 281 0 0 25 0 8 0 271021365 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 228938 27737 2495 14 0 215408 0
[pid=25762/tid=25764] ppid=25760 vsize=915752 CPUtime=0.49
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11004 0 0 0 45 4 0 0 16 0 8 0 271021373 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271021374 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915752 CPUtime=0.29
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 470 0 0 0 28 1 0 0 16 0 8 0 271021377 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915752 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (KiB) 915752

[startup+162.506 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 25770
/proc/meminfo: memFree=999808/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915752 CPUtime=160.72
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 28028 0 1 0 15352 720 0 0 25 0 8 0 271021365 937730048 27737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2015.15
Current children cumulated vsize (KiB) 915912

[startup+2084.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25832
/proc/meminfo: memFree=1025152/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915912 CPUtime=2075.13
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 29138 0 1 0 206734 779 0 0 25 0 8 0 271021365 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074407641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25762/statm: 228978 28821 2548 14 0 215448 0
[pid=25762/tid=25764] ppid=25760 vsize=915912 CPUtime=0.56
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11855 0 0 0 52 4 0 0 16 0 8 0 271021373 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915912 CPUtime=0.48
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 598 0 0 0 46 2 0 0 16 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.13
Current children cumulated vsize (KiB) 915912

[startup+2144.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25832
/proc/meminfo: memFree=1025088/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915912 CPUtime=2135.12
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 29138 0 1 0 212733 779 0 0 25 0 8 0 271021365 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074266672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25762/statm: 228978 28821 2548 14 0 215448 0
[pid=25762/tid=25764] ppid=25760 vsize=915912 CPUtime=0.56
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11855 0 0 0 52 4 0 0 16 0 8 0 271021373 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915912 CPUtime=0.48
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 598 0 0 0 46 2 0 0 16 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.12
Current children cumulated vsize (KiB) 915912

[startup+2204.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25832
/proc/meminfo: memFree=1025088/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915912 CPUtime=2195.11
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 29138 0 1 0 218732 779 0 0 25 0 8 0 271021365 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040597 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25762/statm: 228978 28821 2548 14 0 215448 0
[pid=25762/tid=25764] ppid=25760 vsize=915912 CPUtime=0.56
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11855 0 0 0 52 4 0 0 16 0 8 0 271021373 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915912 CPUtime=0.48
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 598 0 0 0 46 2 0 0 16 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.11
Current children cumulated vsize (KiB) 915912

[startup+2264.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25832
/proc/meminfo: memFree=1025088/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915912 CPUtime=2255.08
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 29138 0 1 0 224729 779 0 0 25 0 8 0 271021365 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074087644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25762/statm: 228978 28821 2548 14 0 215448 0
[pid=25762/tid=25764] ppid=25760 vsize=915912 CPUtime=0.56
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11855 0 0 0 52 4 0 0 16 0 8 0 271021373 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915912 CPUtime=0.48
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 598 0 0 0 46 2 0 0 16 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2255.08
Current children cumulated vsize (KiB) 915912

[startup+2324.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25832
/proc/meminfo: memFree=1025088/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915912 CPUtime=2315.07
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 29138 0 1 0 230727 780 0 0 25 0 8 0 271021365 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074087514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25762/statm: 228978 28821 2548 14 0 215448 0
[pid=25762/tid=25764] ppid=25760 vsize=915912 CPUtime=0.56
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11855 0 0 0 52 4 0 0 16 0 8 0 271021373 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915912 CPUtime=0.48
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 598 0 0 0 46 2 0 0 16 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2315.07
Current children cumulated vsize (KiB) 915912

[startup+2384.26 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25832
/proc/meminfo: memFree=1025088/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915912 CPUtime=2375.06
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 29138 0 1 0 236726 780 0 0 25 0 8 0 271021365 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074314108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25762/statm: 228978 28821 2548 14 0 215448 0
[pid=25762/tid=25764] ppid=25760 vsize=915912 CPUtime=0.56
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11855 0 0 0 52 4 0 0 16 0 8 0 271021373 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915912 CPUtime=0.48
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 598 0 0 0 46 2 0 0 16 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2375.06
Current children cumulated vsize (KiB) 915912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2409.24 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25832
/proc/meminfo: memFree=1025088/2055920 swapFree=4191880/4192956
[pid=25762] ppid=25760 vsize=915912 CPUtime=2400.01
/proc/25762/stat : 25762 (java) R 25760 25762 25126 0 -1 0 29138 0 1 0 239221 780 0 0 25 0 8 0 271021365 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074087531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25762/statm: 228978 28821 2548 14 0 215448 0
[pid=25762/tid=25764] ppid=25760 vsize=915912 CPUtime=0.56
/proc/25762/task/25764/stat : 25764 (java) S 25760 25762 25126 0 -1 64 11855 0 0 0 52 4 0 0 16 0 8 0 271021373 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271021374 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 25126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25760 vsize=915912 CPUtime=0.48
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 25126 0 -1 64 598 0 0 0 46 2 0 0 16 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25760 vsize=915912 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271021377 937893888 28821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915912

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

Child status: 143
Real time (s): 2409.3
CPU time (s): 2400.08
CPU user time (s): 2392.26
CPU system time (s): 7.82181
CPU usage (%): 99.6173
Max. virtual memory (cumulated for all children) (KiB): 915972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.26
system time used= 7.82181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29162
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50698
involuntary context switches= 79367

runsolver used 3.36949 s user time and 7.52486 s system time

The end

Begin job on node9 on Fri Jan 19 17:04:22 UTC 2007


IDJOB= 275735
IDBENCH= 4653
IDSOLVER= 68
FILE ID= node9/275735-1169226262

PBS_JOBID= 3588960

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/cache-inv10-ucl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275735-1169226262/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-275735-1169226262 -o ROOT/results/node9/solver-275735-1169226262 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275735-1169226262/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  61921989f4c9e5006b2c7f4d8ca68340

RANDOM SEED= 879844930

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1101400 kB
Buffers:         57332 kB
Cached:         570516 kB
SwapCached:        268 kB
Active:         449384 kB
Inactive:       420652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1101400 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5552 kB
Writeback:           0 kB
Mapped:         263992 kB
Slab:            68792 kB
Committed_AS:  8609508 kB
PageTables:       2720 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66556 MiB



End job on node9 on Fri Jan 19 17:44:32 UTC 2007