Trace number 275736

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.08 2413.43

General information on the benchmark

NamepseudoSeries/uclid/
cache-inv10-ucl.xml
MD5SUM61921989f4c9e5006b2c7f4d8ca68340
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints26309
Best CPU time to get the best result obtained on this benchmark2400.06
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables8937
Number of constraints26318
Maximum constraint arity9
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26318
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/275736-1169226267/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.67	     nbVariables=8937  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.67	       =>  wckTime=0.364  cpuTime=0.25  mem=21M530
0.67	   
0.67	   predicates being loaded...
0.68	   
0.68	   constraints being loaded...
3.77	     nbConstraints=26318  nbSingletonDomainVariables=48  nbConvertedConstraints=17498  nbConvertConstraintsChecks=6212
3.77	     nbExtensionStructures=11  nbSharedExtensionStructures=17487  nbConflictsStructures=32
3.77	     nbSharedConflictsStructures=26286  nbSharedBinaryRepresentations=27  nbEvaluationManagers=21
3.77	     nbSharedEvaluationManagers=8799  maxDegree=332  maxArity=9
3.77	       =>  wckTime=3.464  cpuTime=2.92  mem=34M684
3.94	   
3.94	   solver LocalSearchSolver being built... 
3.98	       =>  wckTime=3.678  cpuTime=2.98  mem=38M374
4.03	
4.03	s SATISFIABLE
4.03	o 20883
4.03	c 5435
4.04	o 20927
4.04	c 5391
4.05	o 20964
4.05	c 5354
4.06	o 20989
4.06	c 5329
4.06	o 21012
4.06	c 5306
4.08	o 21019
4.08	c 5299
4.09	o 21037
4.09	c 5281
4.12	o 21046
4.12	c 5272
4.13	o 21062
4.13	c 5256
4.14	o 21082
4.14	c 5236
4.17	o 21092
4.17	c 5226
4.19	o 21093
4.19	c 5225
4.20	o 21106
4.20	c 5212
4.20	o 21119
4.20	c 5199
4.21	o 21130
4.21	c 5188
4.22	o 21144
4.22	c 5174
4.22	o 21155
4.22	c 5163
4.23	o 21211
4.23	c 5107
4.24	o 21250
4.24	c 5068
4.24	o 21260
4.24	c 5058
4.25	o 21267
4.25	c 5051
4.26	o 21273
4.26	c 5045
4.27	o 21280
4.27	c 5038
4.28	o 21285
4.28	c 5033
4.28	o 21288
4.28	c 5030
4.30	o 21294
4.30	c 5024
4.32	o 21298
4.32	c 5020
4.33	o 21309
4.33	c 5009
4.34	o 21315
4.34	c 5003
4.35	o 21320
4.35	c 4998
4.35	o 21324
4.35	c 4994
4.86	o 21335
4.86	c 4983
5.96	o 21369
5.96	c 4949
7.00	o 21410
7.00	c 4908
7.01	o 21429
7.01	c 4889
7.03	o 21443
7.03	c 4875
7.05	o 21445
7.05	c 4873
7.08	o 21453
7.08	c 4865
7.10	o 21466
7.10	c 4852
7.12	o 21477
7.12	c 4841
7.17	o 21486
7.17	c 4832
7.18	o 21505
7.18	c 4813
7.31	o 21525
7.31	c 4793
7.32	o 21527
7.32	c 4791
7.33	o 21532
7.33	c 4786
7.36	o 21538
7.36	c 4780
9.01	o 21539
9.01	c 4779
9.02	o 21542
9.02	c 4776
9.04	o 21545
9.04	c 4773
9.09	o 21561
9.09	c 4757
9.10	o 21564
9.10	c 4754
9.17	o 21568
9.17	c 4750
9.19	o 21571
9.19	c 4747
9.20	o 21574
9.20	c 4744
9.25	o 21582
9.25	c 4736
9.53	o 21583
9.53	c 4735
9.57	o 21623
9.57	c 4695
9.58	o 21626
9.58	c 4692
9.59	o 21629
9.59	c 4689
9.61	o 21631
9.61	c 4687
9.64	o 21633
9.64	c 4685
9.65	o 21645
9.65	c 4673
9.67	o 21648
9.67	c 4670
9.72	o 21649
9.72	c 4669
9.74	o 21652
9.74	c 4666
9.75	o 21654
9.75	c 4664
9.76	o 21681
9.76	c 4637
9.78	o 21683
9.78	c 4635
9.79	o 21685
9.79	c 4633
9.80	o 21687
9.80	c 4631
9.87	o 21705
9.87	c 4613
9.88	o 21706
9.88	c 4612
9.90	o 21707
9.90	c 4611
9.94	o 21716
9.94	c 4602
9.96	o 21760
9.96	c 4558
9.98	o 21763
9.98	c 4555
10.08	o 21768
10.08	c 4550
11.92	o 21781
11.92	c 4537
11.94	o 21796
11.94	c 4522
11.95	o 21810
11.95	c 4508
11.98	o 21811
11.98	c 4507
12.05	o 21812
12.05	c 4506
12.07	o 21815
12.07	c 4503
12.09	o 21834
12.09	c 4484
12.10	o 21837
12.10	c 4481
12.13	o 21838
12.13	c 4480
12.14	o 21841
12.14	c 4477
12.16	o 21844
12.16	c 4474
12.17	o 21847
12.17	c 4471
12.19	o 21850
12.19	c 4468
12.20	o 21853
12.20	c 4465
12.30	o 21856
12.30	c 4462
12.32	o 21857
12.32	c 4461
12.33	o 21860
12.33	c 4458
12.34	o 21863
12.34	c 4455
12.36	o 21866
12.36	c 4452
12.37	o 21875
12.37	c 4443
12.39	o 21878
12.39	c 4440
12.40	o 21881
12.40	c 4437
12.42	o 21884
12.42	c 4434
12.43	o 21887
12.43	c 4431
12.72	o 21891
12.72	c 4427
13.25	o 21893
13.25	c 4425
13.28	o 21895
13.28	c 4423
13.29	o 21898
13.29	c 4420
13.31	o 21901
13.31	c 4417
13.32	o 21904
13.32	c 4414
13.34	o 21905
13.34	c 4413
13.35	o 21908
13.35	c 4410
13.37	o 21911
13.37	c 4407
13.38	o 21914
13.38	c 4404
13.59	o 21916
13.59	c 4402
13.60	o 21922
13.60	c 4396
13.62	o 21945
13.62	c 4373
13.63	o 21948
13.63	c 4370
13.65	o 21951
13.65	c 4367
13.66	o 21954
13.66	c 4364
13.89	o 21955
13.89	c 4363
14.26	o 21956
14.26	c 4362
14.28	o 21960
14.28	c 4358
14.29	o 21963
14.29	c 4355
14.31	o 21966
14.31	c 4352
14.32	o 21968
14.32	c 4350
14.51	o 21970
14.51	c 4348
14.63	o 21989
14.63	c 4329
14.64	o 21992
14.64	c 4326
14.66	o 22037
14.66	c 4281
14.69	o 22041
14.69	c 4277
14.72	o 22042
14.72	c 4276
14.81	o 22046
14.81	c 4272
14.85	o 22054
14.85	c 4264
14.96	o 22067
14.96	c 4251
14.98	o 22070
14.98	c 4248
14.99	o 22073
14.99	c 4245
15.00	o 22075
15.00	c 4243
15.02	o 22078
15.02	c 4240
15.04	o 22082
15.04	c 4236
15.05	o 22085
15.05	c 4233
15.06	o 22088
15.06	c 4230
15.08	o 22091
15.08	c 4227
15.09	o 22094
15.09	c 4224
15.11	o 22097
15.11	c 4221
15.12	o 22100
15.12	c 4218
15.14	o 22102
15.14	c 4216
15.15	o 22104
15.15	c 4214
15.17	o 22106
15.17	c 4212
15.18	o 22113
15.18	c 4205
15.25	o 22132
15.25	c 4186
15.26	o 22178
15.26	c 4140
15.35	o 22186
15.35	c 4132
15.36	o 22189
15.36	c 4129
15.38	o 22192
15.38	c 4126
15.48	o 22193
15.48	c 4125
15.49	o 22196
15.49	c 4122
15.51	o 22199
15.51	c 4119
15.52	o 22202
15.52	c 4116
15.54	o 22205
15.54	c 4113
15.55	o 22208
15.55	c 4110
15.56	o 22211
15.56	c 4107
15.58	o 22214
15.58	c 4104
15.59	o 22217
15.59	c 4101
15.61	o 22220
15.61	c 4098
15.62	o 22223
15.62	c 4095
15.64	o 22226
15.64	c 4092
15.65	o 22229
15.65	c 4089
15.67	o 22230
15.67	c 4088
15.68	o 22235
15.68	c 4083
15.70	o 22238
15.70	c 4080
15.71	o 22241
15.71	c 4077
15.73	o 22243
15.73	c 4075
15.85	o 22244
15.85	c 4074
15.86	o 22246
15.86	c 4072
15.88	o 22247
15.88	c 4071
15.89	o 22249
15.89	c 4069
15.91	o 22251
15.91	c 4067
15.93	o 22253
15.93	c 4065
15.94	o 22255
15.94	c 4063
15.96	o 22257
15.96	c 4061
15.97	o 22259
15.97	c 4059
15.99	o 22261
15.99	c 4057
16.11	o 22263
16.12	c 4055
16.13	o 22265
16.13	c 4053
16.15	o 22267
16.15	c 4051
16.85	o 22279
16.85	c 4039
16.86	o 22282
16.86	c 4036
16.87	o 22285
16.87	c 4033
16.89	o 22288
16.89	c 4030
16.93	o 22289
16.93	c 4029
16.94	o 22291
16.94	c 4027
16.96	o 22294
16.96	c 4024
16.98	o 22297
16.98	c 4021
16.99	o 22300
16.99	c 4018
17.01	o 22302
17.01	c 4016
17.02	o 22304
17.02	c 4014
17.03	o 22306
17.03	c 4012
17.05	o 22308
17.05	c 4010
17.06	o 22310
17.06	c 4008
17.08	o 22312
17.08	c 4006
17.10	o 22314
17.10	c 4004
17.11	o 22316
17.11	c 4002
17.13	o 22318
17.13	c 4000
17.43	o 22326
17.43	c 3992
17.44	o 22328
17.44	c 3990
17.46	o 22330
17.46	c 3988
17.48	o 22342
17.48	c 3976
17.52	o 22344
17.52	c 3974
17.53	o 22346
17.53	c 3972
17.55	o 22348
17.55	c 3970
17.56	o 22350
17.56	c 3968
17.58	o 22352
17.58	c 3966
17.60	o 22354
17.60	c 3964
17.61	o 22356
17.61	c 3962
17.63	o 22358
17.63	c 3960
17.65	o 22360
17.65	c 3958
17.68	o 22362
17.68	c 3956
17.69	o 22364
17.69	c 3954
17.71	o 22366
17.71	c 3952
17.78	o 22367
17.78	c 3951
17.79	o 22377
17.79	c 3941
17.87	o 22419
17.87	c 3899
17.89	o 22421
17.89	c 3897
17.91	o 22423
17.91	c 3895
17.92	o 22425
17.92	c 3893
17.94	o 22427
17.94	c 3891
17.96	o 22429
17.96	c 3889
18.13	o 22431
18.13	c 3887
18.15	o 22433
18.15	c 3885
18.17	o 22435
18.17	c 3883
18.18	o 22437
18.18	c 3881
18.20	o 22439
18.20	c 3879
18.28	o 22440
18.28	c 3878
18.29	o 22443
18.29	c 3875
18.31	o 22456
18.31	c 3862
18.32	o 22459
18.32	c 3859
18.34	o 22465
18.34	c 3853
18.41	o 22493
18.41	c 3825
18.43	o 22505
18.43	c 3813
18.45	o 22507
18.45	c 3811
18.49	o 22508
18.49	c 3810
18.50	o 22510
18.50	c 3808
18.52	o 22512
18.52	c 3806
18.54	o 22514
18.54	c 3804
18.55	o 22516
18.55	c 3802
18.57	o 22518
18.57	c 3800
18.58	o 22520
18.58	c 3798
18.60	o 22522
18.60	c 3796
18.61	o 22524
18.61	c 3794
18.63	o 22550
18.63	c 3768
18.64	o 22553
18.64	c 3765
18.66	o 22556
18.66	c 3762
18.67	o 22565
18.67	c 3753
18.69	o 22566
18.69	c 3752
18.70	o 22580
18.70	c 3738
18.72	o 22582
18.72	c 3736
18.73	o 22585
18.73	c 3733
18.81	o 22586
18.81	c 3732
18.83	o 22588
18.83	c 3730
18.84	o 22590
18.84	c 3728
18.86	o 22591
18.86	c 3727
18.87	o 22593
18.87	c 3725
18.89	o 22595
18.89	c 3723
18.98	o 22612
18.98	c 3706
19.00	o 22615
19.00	c 3703
19.05	o 22617
19.05	c 3701
19.07	o 22619
19.07	c 3699
19.08	o 22621
19.08	c 3697
19.10	o 22623
19.10	c 3695
19.39	o 22644
19.39	c 3674
19.40	o 22646
19.40	c 3672
19.42	o 22648
19.42	c 3670
19.43	o 22650
19.43	c 3668
19.45	o 22652
19.45	c 3666
19.47	o 22654
19.47	c 3664
19.48	o 22656
19.48	c 3662
19.50	o 22658
19.50	c 3660
19.51	o 22660
19.51	c 3658
19.53	o 22662
19.53	c 3656
20.78	o 22705
20.78	c 3613
20.98	o 22711
20.98	c 3607
20.99	o 22713
20.99	c 3605
21.01	o 22715
21.01	c 3603
21.02	o 22717
21.02	c 3601
21.04	o 22719
21.04	c 3599
21.05	o 22721
21.05	c 3597
21.09	o 22722
21.09	c 3596
21.11	o 22724
21.11	c 3594
21.12	o 22726
21.12	c 3592
21.16	o 22758
21.16	c 3560
21.23	o 22760
21.23	c 3558
21.25	o 22762
21.25	c 3556
21.26	o 22764
21.26	c 3554
21.28	o 22766
21.28	c 3552
21.29	o 22768
21.29	c 3550
21.31	o 22771
21.31	c 3547
21.32	o 22773
21.32	c 3545
21.34	o 22775
21.34	c 3543
21.35	o 22783
21.35	c 3535
21.39	o 22811
21.39	c 3507
21.42	o 22813
21.42	c 3505
21.47	o 22814
21.47	c 3504
21.49	o 22816
21.49	c 3502
21.51	o 22818
21.51	c 3500
21.52	o 22820
21.52	c 3498
21.54	o 22829
21.54	c 3489
21.55	o 22831
21.55	c 3487
21.57	o 22833
21.57	c 3485
21.58	o 22835
21.58	c 3483
21.60	o 22837
21.60	c 3481
21.61	o 22839
21.61	c 3479
21.63	o 22841
21.63	c 3477
21.64	o 22843
21.64	c 3475
21.66	o 22845
21.66	c 3473
21.67	o 22847
21.67	c 3471
21.69	o 22849
21.69	c 3469
21.70	o 22851
21.70	c 3467
21.72	o 22853
21.72	c 3465
21.73	o 22866
21.73	c 3452
21.75	o 22869
21.75	c 3449
21.76	o 22871
21.76	c 3447
21.78	o 22873
21.78	c 3445
22.14	o 22896
22.14	c 3422
22.15	o 22899
22.15	c 3419
22.18	o 22910
22.18	c 3408
22.20	o 22911
22.20	c 3407
22.21	o 22912
22.21	c 3406
22.23	o 22913
22.23	c 3405
22.24	o 22914
22.24	c 3404
22.26	o 22915
22.26	c 3403
22.27	o 22916
22.27	c 3402
22.29	o 22917
22.29	c 3401
22.30	o 22918
22.30	c 3400
22.32	o 22919
22.32	c 3399
22.33	o 22920
22.33	c 3398
22.35	o 22931
22.35	c 3387
22.46	o 22932
22.46	c 3386
22.48	o 22933
22.48	c 3385
22.49	o 22934
22.49	c 3384
22.51	o 22935
22.51	c 3383
22.52	o 22937
22.52	c 3381
22.54	o 22938
22.54	c 3380
22.55	o 22939
22.55	c 3379
22.57	o 22941
22.57	c 3377
22.58	o 22942
22.58	c 3376
22.59	o 22943
22.59	c 3375
22.65	o 22944
22.65	c 3374
22.90	o 22956
22.90	c 3362
22.91	o 22965
22.91	c 3353
22.96	o 22967
22.96	c 3351
22.98	o 22970
22.98	c 3348
25.03	o 22971
25.03	c 3347
25.04	o 22973
25.04	c 3345
25.07	o 22974
25.07	c 3344
25.08	o 22975
25.08	c 3343
25.20	o 22978
25.20	c 3340
25.21	o 22981
25.21	c 3337
25.23	o 22984
25.23	c 3334
25.24	o 22987
25.24	c 3331
25.25	o 22990
25.25	c 3328
25.27	o 22993
25.27	c 3325
25.28	o 22996
25.28	c 3322
25.47	o 22998
25.47	c 3320
25.49	o 23000
25.49	c 3318
25.52	o 23010
25.52	c 3308
25.54	o 23012
25.54	c 3306
25.55	o 23015
25.55	c 3303
25.56	o 23017
25.56	c 3301
25.58	o 23020
25.58	c 3298
25.60	o 23022
25.60	c 3296
25.62	o 23023
25.62	c 3295
25.63	o 23024
25.63	c 3294
25.65	o 23026
25.65	c 3292
25.66	o 23028
25.66	c 3290
25.67	o 23030
25.67	c 3288
25.69	o 23032
25.69	c 3286
25.70	o 23034
25.70	c 3284
25.71	o 23035
25.71	c 3283
25.76	o 23036
25.76	c 3282
25.78	o 23038
25.78	c 3280
25.79	o 23040
25.79	c 3278
25.80	o 23042
25.80	c 3276
25.82	o 23044
25.82	c 3274
25.83	o 23046
25.83	c 3272
25.84	o 23048
25.85	c 3270
25.86	o 23050
25.86	c 3268
25.87	o 23058
25.87	c 3260
25.90	o 23063
25.90	c 3255
25.92	o 23071
25.92	c 3247
25.94	o 23077
25.94	c 3241
25.95	o 23083
25.95	c 3235
26.08	o 23085
26.08	c 3233
26.09	o 23088
26.10	c 3230
26.11	o 23100
26.11	c 3218
26.12	o 23112
26.12	c 3206
26.21	o 23140
26.21	c 3178
26.23	o 23152
26.23	c 3166
26.24	o 23153
26.24	c 3165
26.25	o 23157
26.25	c 3161
26.27	o 23160
26.27	c 3158
26.28	o 23161
26.28	c 3157
26.29	o 23162
26.29	c 3156
26.31	o 23163
26.31	c 3155
26.32	o 23165
26.32	c 3153
26.33	o 23167
26.33	c 3151
26.35	o 23168
26.35	c 3150
26.36	o 23170
26.36	c 3148
26.37	o 23172
26.37	c 3146
26.39	o 23174
26.39	c 3144
26.40	o 23176
26.40	c 3142
26.41	o 23178
26.41	c 3140
26.43	o 23180
26.43	c 3138
26.44	o 23181
26.44	c 3137
26.50	o 23189
26.50	c 3129
26.85	o 23190
26.85	c 3128
26.87	o 23193
26.87	c 3125
26.88	o 23195
26.88	c 3123
26.89	o 23197
26.89	c 3121
26.91	o 23199
26.91	c 3119
26.92	o 23201
26.92	c 3117
26.93	o 23202
26.93	c 3116
26.94	o 23203
26.94	c 3115
26.96	o 23204
26.96	c 3114
26.97	o 23206
26.97	c 3112
26.98	o 23208
26.98	c 3110
27.00	o 23210
27.00	c 3108
27.01	o 23212
27.01	c 3106
27.02	o 23214
27.02	c 3104
27.04	o 23215
27.04	c 3103
27.05	o 23220
27.05	c 3098
27.06	o 23221
27.06	c 3097
27.08	o 23236
27.08	c 3082
27.09	o 23237
27.09	c 3081
27.10	o 23239
27.10	c 3079
27.12	o 23242
27.12	c 3076
27.13	o 23244
27.13	c 3074
27.14	o 23246
27.14	c 3072
27.16	o 23248
27.16	c 3070
27.18	o 23250
27.18	c 3068
27.19	o 23252
27.19	c 3066
27.20	o 23254
27.20	c 3064
27.22	o 23256
27.22	c 3062
27.23	o 23259
27.23	c 3059
27.24	o 23260
27.24	c 3058
27.26	o 23261
27.26	c 3057
27.27	o 23262
27.27	c 3056
27.29	o 23264
27.29	c 3054
27.30	o 23266
27.30	c 3052
27.31	o 23276
27.31	c 3042
27.32	o 23279
27.33	c 3039
27.34	o 23282
27.34	c 3036
27.35	o 23285
27.35	c 3033
27.36	o 23288
27.36	c 3030
27.46	o 23298
27.46	c 3020
27.48	o 23299
27.48	c 3019
27.52	o 23302
27.52	c 3016
27.53	o 23305
27.53	c 3013
27.55	o 23310
27.55	c 3008
27.56	o 23311
27.56	c 3007
27.57	o 23313
27.57	c 3005
27.59	o 23314
27.59	c 3004
27.60	o 23315
27.60	c 3003
27.61	o 23317
27.61	c 3001
27.63	o 23319
27.63	c 2999
27.64	o 23342
27.64	c 2976
27.65	o 23344
27.65	c 2974
27.67	o 23346
27.67	c 2972
27.68	o 23347
27.68	c 2971
27.69	o 23382
27.69	c 2936
27.71	o 23384
27.71	c 2934
27.72	o 23391
27.72	c 2927
27.74	o 23394
27.74	c 2924
27.78	o 23398
27.78	c 2920
27.79	o 23412
27.79	c 2906
27.80	o 23415
27.80	c 2903
27.82	o 23417
27.82	c 2901
27.83	o 23419
27.83	c 2899
27.84	o 23421
27.84	c 2897
27.85	o 23423
27.85	c 2895
27.87	o 23425
27.87	c 2893
27.88	o 23427
27.88	c 2891
27.89	o 23429
27.89	c 2889
27.91	o 23431
27.91	c 2887
27.92	o 23433
27.92	c 2885
27.93	o 23435
27.93	c 2883
27.94	o 23437
27.94	c 2881
27.96	o 23439
27.96	c 2879
27.97	o 23441
27.97	c 2877
27.98	o 23443
27.98	c 2875
28.00	o 23445
28.00	c 2873
28.01	o 23447
28.01	c 2871
28.02	o 23449
28.02	c 2869
28.04	o 23451
28.04	c 2867
28.05	o 23459
28.05	c 2859
28.06	o 23461
28.06	c 2857
28.07	o 23463
28.07	c 2855
28.09	o 23465
28.09	c 2853
28.10	o 23467
28.10	c 2851
28.11	o 23469
28.11	c 2849
28.13	o 23471
28.13	c 2847
28.14	o 23473
28.14	c 2845
28.15	o 23486
28.15	c 2832
28.17	o 23489
28.17	c 2829
28.18	o 23492
28.18	c 2826
28.19	o 23494
28.19	c 2824
28.20	o 23496
28.20	c 2822
28.22	o 23498
28.22	c 2820
28.23	o 23500
28.23	c 2818
28.25	o 23501
28.25	c 2817
28.27	o 23503
28.27	c 2815
28.28	o 23505
28.28	c 2813
28.29	o 23507
28.29	c 2811
28.31	o 23509
28.31	c 2809
28.32	o 23511
28.32	c 2807
28.34	o 23513
28.34	c 2805
28.35	o 23515
28.35	c 2803
28.43	o 23516
28.43	c 2802
28.44	o 23518
28.44	c 2800
28.45	o 23520
28.45	c 2798
28.47	o 23521
28.47	c 2797
28.49	o 23523
28.49	c 2795
28.50	o 23525
28.50	c 2793
28.52	o 23526
28.52	c 2792
28.54	o 23529
28.54	c 2789
28.55	o 23531
28.55	c 2787
28.56	o 23533
28.56	c 2785
28.57	o 23534
28.57	c 2784
28.59	o 23536
28.59	c 2782
28.60	o 23538
28.60	c 2780
28.61	o 23540
28.61	c 2778
28.63	o 23541
28.63	c 2777
28.64	o 23542
28.64	c 2776
28.65	o 23544
28.65	c 2774
28.66	o 23545
28.66	c 2773
28.68	o 23555
28.68	c 2763
28.69	o 23557
28.69	c 2761
28.70	o 23559
28.70	c 2759
28.72	o 23561
28.72	c 2757
28.73	o 23563
28.73	c 2755
28.74	o 23565
28.74	c 2753
28.76	o 23571
28.76	c 2747
28.78	o 23573
28.78	c 2745
28.79	o 23575
28.79	c 2743
28.80	o 23577
28.80	c 2741
28.86	o 23579
28.86	c 2739
28.87	o 23581
28.87	c 2737
28.88	o 23583
28.88	c 2735
28.96	o 23585
28.96	c 2733
28.97	o 23587
28.97	c 2731
28.98	o 23589
28.98	c 2729
28.99	o 23591
28.99	c 2727
29.01	o 23594
29.01	c 2724
29.02	o 23597
29.02	c 2721
29.03	o 23600
29.03	c 2718
29.04	o 23603
29.04	c 2715
29.06	o 23606
29.06	c 2712
29.07	o 23608
29.07	c 2710
29.08	o 23610
29.08	c 2708
29.09	o 23612
29.09	c 2706
29.11	o 23614
29.11	c 2704
29.12	o 23616
29.12	c 2702
29.13	o 23618
29.13	c 2700
29.14	o 23620
29.14	c 2698
29.16	o 23622
29.16	c 2696
29.17	o 23624
29.17	c 2694
29.18	o 23626
29.18	c 2692
29.20	o 23628
29.20	c 2690
29.21	o 23630
29.21	c 2688
29.22	o 23632
29.22	c 2686
29.23	o 23634
29.23	c 2684
29.25	o 23636
29.25	c 2682
29.26	o 23638
29.26	c 2680
29.61	o 23640
29.61	c 2678
29.62	o 23642
29.62	c 2676
29.63	o 23644
29.63	c 2674
29.64	o 23646
29.64	c 2672
29.66	o 23648
29.66	c 2670
29.67	o 23650
29.67	c 2668
29.68	o 23652
29.68	c 2666
29.69	o 23654
29.69	c 2664
29.71	o 23656
29.71	c 2662
29.72	o 23658
29.72	c 2660
29.73	o 23659
29.73	c 2659
29.74	o 23661
29.74	c 2657
29.76	o 23663
29.76	c 2655
29.77	o 23665
29.77	c 2653
29.78	o 23667
29.78	c 2651
29.79	o 23669
29.79	c 2649
29.80	o 23671
29.80	c 2647
29.82	o 23673
29.82	c 2645
29.83	o 23675
29.83	c 2643
29.84	o 23677
29.84	c 2641
29.85	o 23679
29.85	c 2639
29.87	o 23681
29.87	c 2637
29.88	o 23683
29.88	c 2635
29.89	o 23685
29.89	c 2633
29.90	o 23687
29.90	c 2631
29.95	o 23688
29.95	c 2630
29.96	o 23690
29.96	c 2628
29.97	o 23692
29.97	c 2626
29.98	o 23704
29.98	c 2614
29.99	o 23706
29.99	c 2612
30.01	o 23708
30.01	c 2610
30.02	o 23710
30.02	c 2608
30.03	o 23712
30.03	c 2606
30.04	o 23714
30.04	c 2604
30.06	o 23716
30.06	c 2602
30.07	o 23718
30.07	c 2600
30.08	o 23720
30.08	c 2598
30.09	o 23722
30.09	c 2596
30.11	o 23724
30.11	c 2594
30.12	o 23726
30.12	c 2592
30.13	o 23728
30.13	c 2590
30.14	o 23730
30.14	c 2588
30.15	o 23732
30.15	c 2586
30.17	o 23734
30.17	c 2584
30.18	o 23736
30.18	c 2582
30.19	o 23738
30.19	c 2580
30.20	o 23740
30.20	c 2578
30.22	o 23741
30.22	c 2577
30.23	o 23742
30.23	c 2576
30.24	o 23744
30.24	c 2574
30.25	o 23746
30.25	c 2572
30.27	o 23748
30.27	c 2570
30.28	o 23750
30.28	c 2568
30.29	o 23752
30.29	c 2566
30.30	o 23753
30.30	c 2565
30.32	o 23756
30.32	c 2562
30.33	o 23757
30.33	c 2561
30.35	o 23766
30.35	c 2552
30.36	o 23768
30.36	c 2550
30.37	o 23770
30.37	c 2548
30.39	o 23772
30.39	c 2546
30.40	o 23774
30.40	c 2544
30.41	o 23778
30.41	c 2540
30.42	o 23780
30.42	c 2538
30.43	o 23782
30.43	c 2536
30.45	o 23784
30.45	c 2534
30.46	o 23786
30.46	c 2532
30.47	o 23788
30.47	c 2530
30.48	o 23809
30.48	c 2509
30.50	o 23810
30.50	c 2508
30.51	o 23818
30.51	c 2500
30.52	o 23820
30.52	c 2498
30.53	o 23822
30.53	c 2496
30.54	o 23873
30.54	c 2445
30.56	o 23875
30.56	c 2443
30.57	o 23876
30.57	c 2442
30.59	o 23878
30.59	c 2440
30.60	o 23880
30.60	c 2438
30.61	o 23881
30.61	c 2437
30.62	o 23883
30.62	c 2435
30.63	o 23885
30.63	c 2433
30.65	o 23887
30.65	c 2431
30.66	o 23888
30.66	c 2430
30.67	o 23889
30.67	c 2429
30.68	o 23891
30.68	c 2427
30.69	o 23893
30.69	c 2425
30.72	o 23895
30.72	c 2423
30.73	o 23897
30.73	c 2421
30.74	o 23899
30.74	c 2419
30.75	o 23900
30.75	c 2418
30.76	o 23908
30.76	c 2410
30.78	o 23910
30.78	c 2408
30.79	o 23912
30.79	c 2406
30.80	o 23914
30.80	c 2404
30.81	o 23916
30.81	c 2402
30.82	o 23918
30.82	c 2400
30.84	o 23920
30.84	c 2398
30.85	o 23922
30.85	c 2396
30.86	o 23924
30.86	c 2394
30.87	o 23926
30.87	c 2392
30.89	o 23928
30.89	c 2390
30.90	o 23930
30.90	c 2388
30.91	o 23932
30.91	c 2386
30.92	o 23934
30.92	c 2384
30.93	o 23936
30.93	c 2382
30.95	o 23938
30.95	c 2380
30.96	o 23940
30.96	c 2378
30.97	o 23941
30.97	c 2377
31.00	o 23943
31.00	c 2375
31.02	o 23945
31.02	c 2373
31.03	o 23947
31.03	c 2371
31.04	o 23949
31.04	c 2369
31.05	o 23951
31.05	c 2367
31.06	o 23953
31.06	c 2365
31.08	o 23954
31.08	c 2364
31.09	o 23956
31.09	c 2362
31.10	o 23957
31.10	c 2361
31.11	o 23958
31.11	c 2360
31.12	o 23960
31.12	c 2358
31.14	o 23962
31.14	c 2356
31.15	o 23964
31.15	c 2354
31.16	o 23966
31.16	c 2352
31.17	o 23967
31.17	c 2351
31.19	o 23969
31.19	c 2349
31.20	o 23971
31.20	c 2347
31.21	o 23972
31.21	c 2346
31.22	o 23973
31.22	c 2345
31.24	o 23975
31.24	c 2343
31.25	o 23989
31.25	c 2329
31.26	o 23991
31.26	c 2327
31.28	o 23993
31.28	c 2325
31.29	o 23995
31.29	c 2323
31.31	o 23997
31.31	c 2321
31.32	o 24000
31.32	c 2318
31.33	o 24003
31.33	c 2315
31.34	o 24004
31.34	c 2314
31.36	o 24005
31.36	c 2313
31.37	o 24006
31.37	c 2312
31.38	o 24007
31.38	c 2311
31.39	o 24009
31.39	c 2309
31.41	o 24011
31.41	c 2307
31.43	o 24013
31.43	c 2305
31.44	o 24014
31.44	c 2304
31.45	o 24017
31.45	c 2301
31.46	o 24019
31.46	c 2299
31.48	o 24021
31.48	c 2297
31.49	o 24023
31.49	c 2295
31.50	o 24025
31.50	c 2293
31.51	o 24027
31.51	c 2291
31.53	o 24029
31.53	c 2289
31.54	o 24032
31.54	c 2286
31.55	o 24034
31.55	c 2284
31.56	o 24036
31.56	c 2282
31.57	o 24038
31.57	c 2280
31.59	o 24040
31.59	c 2278
31.60	o 24042
31.60	c 2276
31.65	o 24044
31.65	c 2274
31.66	o 24046
31.66	c 2272
31.67	o 24048
31.67	c 2270
31.69	o 24050
31.69	c 2268
31.70	o 24053
31.70	c 2265
31.72	o 24056
31.72	c 2262
31.73	o 24058
31.73	c 2260
31.74	o 24060
31.74	c 2258
31.75	o 24061
31.75	c 2257
31.77	o 24063
31.77	c 2255
31.78	o 24066
31.78	c 2252
31.79	o 24069
31.79	c 2249
31.81	o 24070
31.81	c 2248
31.82	o 24072
31.82	c 2246
31.83	o 24074
31.83	c 2244
31.84	o 24076
31.84	c 2242
31.85	o 24079
31.85	c 2239
31.87	o 24080
31.87	c 2238
31.88	o 24082
31.88	c 2236
31.89	o 24085
31.89	c 2233
31.90	o 24087
31.90	c 2231
31.91	o 24089
31.91	c 2229
31.93	o 24091
31.93	c 2227
31.94	o 24092
31.94	c 2226
31.95	o 24094
31.95	c 2224
31.97	o 24096
31.97	c 2222
31.98	o 24098
31.98	c 2220
32.00	o 24100
32.00	c 2218
32.01	o 24102
32.01	c 2216
32.02	o 24104
32.02	c 2214
32.03	o 24105
32.03	c 2213
32.06	o 24107
32.06	c 2211
32.07	o 24108
32.07	c 2210
32.08	o 24109
32.08	c 2209
32.09	o 24110
32.09	c 2208
32.10	o 24111
32.10	c 2207
32.12	o 24113
32.12	c 2205
32.13	o 24114
32.13	c 2204
32.14	o 24117
32.14	c 2201
32.15	o 24118
32.15	c 2200
32.17	o 24119
32.17	c 2199
32.18	o 24121
32.18	c 2197
32.19	o 24122
32.19	c 2196
32.24	o 24123
32.24	c 2195
32.26	o 24125
32.26	c 2193
32.28	o 24127
32.28	c 2191
32.29	o 24129
32.29	c 2189
32.30	o 24131
32.30	c 2187
32.31	o 24132
32.31	c 2186
32.33	o 24135
32.33	c 2183
32.34	o 24136
32.34	c 2182
32.35	o 24137
32.35	c 2181
32.36	o 24138
32.36	c 2180
32.37	o 24140
32.37	c 2178
32.39	o 24142
32.39	c 2176
32.40	o 24144
32.40	c 2174
32.41	o 24147
32.41	c 2171
32.42	o 24148
32.42	c 2170
32.44	o 24150
32.44	c 2168
32.45	o 24152
32.45	c 2166
32.46	o 24154
32.46	c 2164
32.47	o 24156
32.47	c 2162
32.54	o 24157
32.55	c 2161
32.56	o 24158
32.56	c 2160
32.57	o 24159
32.57	c 2159
32.58	o 24160
32.58	c 2158
32.59	o 24162
32.59	c 2156
32.61	o 24164
32.61	c 2154
32.62	o 24166
32.62	c 2152
32.63	o 24168
32.63	c 2150
32.64	o 24169
32.64	c 2149
32.66	o 24170
32.66	c 2148
32.67	o 24171
32.67	c 2147
32.68	o 24172
32.68	c 2146
32.69	o 24174
32.69	c 2144
32.71	o 24176
32.71	c 2142
32.72	o 24177
32.72	c 2141
32.74	o 24179
32.74	c 2139
32.75	o 24181
32.75	c 2137
32.77	o 24183
32.77	c 2135
32.78	o 24185
32.78	c 2133
32.79	o 24187
32.79	c 2131
32.80	o 24189
32.80	c 2129
32.82	o 24190
32.82	c 2128
32.83	o 24192
32.83	c 2126
32.84	o 24194
32.84	c 2124
32.97	o 24196
32.97	c 2122
32.99	o 24197
32.99	c 2121
33.00	o 24199
33.00	c 2119
33.01	o 24201
33.01	c 2117
33.02	o 24203
33.02	c 2115
33.04	o 24205
33.04	c 2113
33.05	o 24207
33.05	c 2111
33.06	o 24209
33.06	c 2109
33.07	o 24211
33.07	c 2107
33.10	o 24213
33.10	c 2105
33.11	o 24216
33.11	c 2102
33.12	o 24222
33.12	c 2096
33.13	o 24224
33.13	c 2094
33.14	o 24226
33.14	c 2092
33.16	o 24228
33.16	c 2090
33.17	o 24230
33.17	c 2088
33.18	o 24232
33.18	c 2086
33.30	o 24234
33.30	c 2084
33.34	o 24235
33.34	c 2083
33.35	o 24236
33.35	c 2082
33.37	o 24238
33.37	c 2080
33.38	o 24241
33.38	c 2077
33.39	o 24243
33.39	c 2075
33.40	o 24245
33.40	c 2073
33.41	o 24246
33.41	c 2072
33.43	o 24247
33.43	c 2071
33.44	o 24249
33.44	c 2069
33.45	o 24251
33.45	c 2067
33.46	o 24253
33.46	c 2065
33.48	o 24255
33.48	c 2063
33.49	o 24257
33.49	c 2061
33.50	o 24259
33.50	c 2059
33.51	o 24261
33.51	c 2057
33.53	o 24262
33.53	c 2056
33.54	o 24263
33.54	c 2055
33.55	o 24265
33.55	c 2053
33.56	o 24267
33.56	c 2051
33.57	o 24269
33.57	c 2049
33.59	o 24271
33.59	c 2047
33.60	o 24273
33.60	c 2045
33.67	o 24275
33.67	c 2043
33.68	o 24276
33.68	c 2042
33.69	o 24278
33.69	c 2040
33.71	o 24280
33.71	c 2038
33.72	o 24282
33.72	c 2036
33.73	o 24284
33.73	c 2034
33.74	o 24285
33.74	c 2033
33.75	o 24286
33.75	c 2032
33.77	o 24287
33.77	c 2031
33.78	o 24289
33.78	c 2029
33.79	o 24291
33.79	c 2027
33.90	o 24293
33.90	c 2025
33.91	o 24295
33.91	c 2023
33.92	o 24297
33.92	c 2021
34.03	o 24298
34.03	c 2020
34.06	o 24299
34.06	c 2019
34.21	o 24300
34.21	c 2018
34.22	o 24302
34.22	c 2016
34.29	o 24303
34.29	c 2015
34.30	o 24304
34.30	c 2014
34.35	o 24305
34.35	c 2013
34.36	o 24307
34.36	c 2011
34.37	o 24309
34.37	c 2009
34.38	o 24310
34.38	c 2008
34.40	o 24311
34.40	c 2007
34.41	o 24312
34.41	c 2006
34.42	o 24314
34.42	c 2004
34.46	o 24315
34.46	c 2003
34.47	o 24317
34.47	c 2001
34.48	o 24319
34.48	c 1999
34.50	o 24321
34.50	c 1997
34.51	o 24322
34.51	c 1996
34.52	o 24324
34.52	c 1994
34.53	o 24326
34.53	c 1992
34.55	o 24328
34.55	c 1990
34.57	o 24330
34.57	c 1988
34.78	o 24331
34.78	c 1987
34.79	o 24332
34.79	c 1986
34.81	o 24333
34.81	c 1985
34.82	o 24334
34.82	c 1984
34.84	o 24335
34.84	c 1983
34.85	o 24337
34.85	c 1981
34.87	o 24338
34.87	c 1980
34.88	o 24339
34.88	c 1979
34.90	o 24340
34.90	c 1978
34.91	o 24341
34.91	c 1977
34.93	o 24342
34.93	c 1976
34.94	o 24343
34.94	c 1975
34.96	o 24344
34.96	c 1974
34.97	o 24345
34.97	c 1973
34.99	o 24346
34.99	c 1972
35.00	o 24347
35.00	c 1971
35.02	o 24348
35.02	c 1970
35.03	o 24349
35.03	c 1969
35.05	o 24350
35.05	c 1968
35.06	o 24351
35.06	c 1967
35.08	o 24352
35.08	c 1966
35.10	o 24353
35.10	c 1965
35.11	o 24354
35.11	c 1964
35.13	o 24355
35.13	c 1963
35.14	o 24356
35.14	c 1962
35.18	o 24357
35.18	c 1961
35.19	o 24358
35.19	c 1960
35.23	o 24359
35.23	c 1959
35.24	o 24361
35.24	c 1957
35.26	o 24362
35.26	c 1956
35.27	o 24364
35.27	c 1954
35.28	o 24365
35.28	c 1953
35.30	o 24366
35.30	c 1952
35.32	o 24367
35.32	c 1951
35.33	o 24368
35.33	c 1950
35.35	o 24369
35.35	c 1949
35.36	o 24370
35.36	c 1948
35.38	o 24371
35.38	c 1947
35.39	o 24372
35.39	c 1946
35.41	o 24373
35.41	c 1945
35.42	o 24374
35.42	c 1944
35.44	o 24375
35.44	c 1943
35.45	o 24376
35.45	c 1942
35.47	o 24377
35.47	c 1941
35.48	o 24378
35.48	c 1940
35.50	o 24379
35.50	c 1939
35.51	o 24380
35.51	c 1938
35.53	o 24381
35.53	c 1937
35.54	o 24382
35.54	c 1936
35.56	o 24383
35.56	c 1935
35.57	o 24384
35.57	c 1934
35.59	o 24385
35.59	c 1933
35.61	o 24386
35.61	c 1932
35.63	o 24387
35.63	c 1931
35.64	o 24388
35.64	c 1930
35.66	o 24389
35.66	c 1929
35.67	o 24390
35.67	c 1928
35.69	o 24391
35.69	c 1927
35.70	o 24392
35.70	c 1926
35.71	o 24393
35.71	c 1925
35.78	o 24394
35.78	c 1924
35.79	o 24395
35.79	c 1923
35.81	o 24396
35.81	c 1922
35.82	o 24397
35.82	c 1921
35.84	o 24398
35.84	c 1920
35.85	o 24399
35.85	c 1919
35.87	o 24402
35.87	c 1916
35.88	o 24403
35.88	c 1915
35.90	o 24404
35.90	c 1914
35.91	o 24405
35.91	c 1913
35.93	o 24406
35.93	c 1912
35.94	o 24407
35.94	c 1911
35.96	o 24408
35.96	c 1910
35.97	o 24409
35.97	c 1909
35.99	o 24410
35.99	c 1908
36.00	o 24411
36.00	c 1907
36.02	o 24412
36.02	c 1906
36.03	o 24413
36.03	c 1905
36.05	o 24414
36.05	c 1904
36.23	o 24415
36.23	c 1903
36.24	o 24416
36.24	c 1902
36.26	o 24417
36.26	c 1901
36.27	o 24418
36.27	c 1900
36.36	o 24419
36.36	c 1899
36.38	o 24420
36.38	c 1898
36.39	o 24421
36.39	c 1897
36.41	o 24422
36.41	c 1896
36.42	o 24423
36.42	c 1895
36.96	o 24424
36.96	c 1894
37.12	o 24426
37.12	c 1892
37.29	o 24427
37.29	c 1891
37.30	o 24428
37.30	c 1890
37.32	o 24429
37.32	c 1889
37.33	o 24430
37.33	c 1888
37.35	o 24431
37.35	c 1887
37.37	o 24432
37.37	c 1886
37.38	o 24433
37.38	c 1885
37.39	o 24434
37.39	c 1884
37.41	o 24435
37.41	c 1883
37.42	o 24436
37.42	c 1882
37.44	o 24437
37.44	c 1881
37.45	o 24438
37.45	c 1880
37.47	o 24439
37.47	c 1879
37.48	o 24441
37.48	c 1877
37.49	o 24442
37.49	c 1876
37.51	o 24444
37.51	c 1874
37.52	o 24445
37.52	c 1873
37.53	o 24446
37.54	c 1872
37.55	o 24447
37.55	c 1871
37.56	o 24448
37.56	c 1870
37.58	o 24449
37.58	c 1869
37.59	o 24450
37.59	c 1868
37.61	o 24451
37.61	c 1867
37.62	o 24453
37.62	c 1865
37.63	o 24454
37.63	c 1864
37.65	o 24455
37.65	c 1863
37.66	o 24456
37.66	c 1862
37.72	o 24457
37.72	c 1861
37.74	o 24458
37.74	c 1860
37.75	o 24459
37.75	c 1859
37.77	o 24460
37.77	c 1858
37.78	o 24461
37.78	c 1857
37.80	o 24462
37.80	c 1856
37.81	o 24463
37.81	c 1855
37.82	o 24464
37.82	c 1854
37.84	o 24465
37.84	c 1853
37.85	o 24466
37.85	c 1852
37.87	o 24467
37.87	c 1851
37.88	o 24468
37.88	c 1850
37.90	o 24469
37.90	c 1849
37.91	o 24470
37.91	c 1848
37.92	o 24471
37.92	c 1847
37.94	o 24472
37.94	c 1846
37.95	o 24473
37.95	c 1845
37.97	o 24474
37.97	c 1844
37.98	o 24475
37.98	c 1843
38.00	o 24476
38.00	c 1842
38.01	o 24477
38.01	c 1841
38.02	o 24478
38.02	c 1840
38.04	o 24479
38.04	c 1839
38.05	o 24480
38.05	c 1838
38.07	o 24481
38.07	c 1837
38.08	o 24482
38.08	c 1836
38.10	o 24483
38.10	c 1835
38.11	o 24484
38.11	c 1834
38.13	o 24485
38.13	c 1833
38.14	o 24486
38.14	c 1832
38.16	o 24487
38.16	c 1831
38.17	o 24488
38.17	c 1830
38.18	o 24489
38.18	c 1829
38.20	o 24490
38.20	c 1828
38.21	o 24491
38.21	c 1827
38.23	o 24492
38.23	c 1826
38.24	o 24493
38.24	c 1825
38.26	o 24494
38.26	c 1824
38.27	o 24495
38.27	c 1823
38.32	o 24496
38.32	c 1822
38.33	o 24497
38.33	c 1821
38.35	o 24498
38.35	c 1820
38.36	o 24499
38.36	c 1819
38.38	o 24500
38.38	c 1818
38.39	o 24501
38.39	c 1817
38.41	o 24502
38.41	c 1816
38.42	o 24503
38.42	c 1815
38.44	o 24504
38.44	c 1814
38.45	o 24505
38.45	c 1813
38.47	o 24506
38.47	c 1812
38.48	o 24507
38.49	c 1811
39.40	o 24538
39.40	c 1780
39.47	o 24540
39.47	c 1778
39.67	o 24542
39.67	c 1776
39.87	o 24543
39.87	c 1775
39.88	o 24544
39.88	c 1774
45.53	o 24547
45.53	c 1771
45.54	o 24549
45.54	c 1769
45.55	o 24551
45.55	c 1767
45.56	o 24553
45.56	c 1765
45.57	o 24555
45.57	c 1763
45.58	o 24565
45.58	c 1753
45.59	o 24566
45.59	c 1752
45.61	o 24567
45.61	c 1751
45.63	o 24568
45.63	c 1750
45.69	o 24570
45.69	c 1748
45.70	o 24572
45.70	c 1746
45.71	o 24573
45.71	c 1745
45.72	o 24574
45.72	c 1744
45.75	o 24576
45.75	c 1742
45.76	o 24578
45.76	c 1740
45.78	o 24580
45.78	c 1738
45.80	o 24582
45.80	c 1736
45.81	o 24585
45.81	c 1733
45.82	o 24587
45.82	c 1731
45.83	o 24588
45.83	c 1730
45.84	o 24589
45.84	c 1729
45.94	o 24590
45.94	c 1728
45.95	o 24592
45.95	c 1726
45.98	o 24594
45.98	c 1724
45.99	o 24595
45.99	c 1723
46.10	o 24598
46.10	c 1720
46.14	o 24599
46.14	c 1719
46.15	o 24606
46.15	c 1712
46.16	o 24608
46.16	c 1710
46.17	o 24609
46.17	c 1709
46.18	o 24610
46.18	c 1708
46.19	o 24611
46.19	c 1707
46.20	o 24633
46.20	c 1685
46.29	o 24641
46.29	c 1677
46.33	o 24642
46.33	c 1676
46.34	o 24643
46.34	c 1675
46.35	o 24645
46.35	c 1673
46.36	o 24647
46.36	c 1671
46.37	o 24649
46.37	c 1669
46.38	o 24651
46.38	c 1667
46.42	o 24653
46.42	c 1665
46.44	o 24655
46.44	c 1663
46.45	o 24656
46.45	c 1662
46.71	o 24657
46.71	c 1661
46.72	o 24659
46.72	c 1659
46.78	o 24660
46.78	c 1658
46.79	o 24661
46.79	c 1657
46.80	o 24662
46.80	c 1656
46.81	o 24663
46.81	c 1655
46.82	o 24665
46.82	c 1653
46.84	o 24667
46.84	c 1651
46.89	o 24668
46.89	c 1650
46.90	o 24669
46.90	c 1649
46.91	o 24670
46.91	c 1648
46.92	o 24671
46.92	c 1647
46.94	o 24700
46.94	c 1618
46.94	o 24702
46.94	c 1616
46.95	o 24704
46.95	c 1614
46.96	o 24706
46.96	c 1612
46.97	o 24708
46.97	c 1610
46.98	o 24710
46.98	c 1608
46.99	o 24712
46.99	c 1606
47.02	o 24718
47.02	c 1600
47.03	o 24721
47.03	c 1597
47.04	o 24722
47.04	c 1596
47.05	o 24724
47.05	c 1594
47.06	o 24727
47.06	c 1591
47.07	o 24728
47.07	c 1590
47.08	o 24729
47.08	c 1589
47.09	o 24731
47.09	c 1587
47.10	o 24732
47.10	c 1586
47.11	o 24735
47.11	c 1583
47.12	o 24736
47.12	c 1582
47.13	o 24737
47.13	c 1581
47.14	o 24738
47.14	c 1580
47.15	o 24739
47.15	c 1579
47.17	o 24743
47.17	c 1575
47.18	o 24745
47.18	c 1573
47.19	o 24746
47.19	c 1572
47.20	o 24748
47.20	c 1570
47.22	o 24749
47.22	c 1569
47.24	o 24755
47.24	c 1563
47.27	o 24756
47.27	c 1562
47.28	o 24757
47.28	c 1561
47.31	o 24759
47.31	c 1559
47.33	o 24760
47.33	c 1558
47.58	o 24762
47.58	c 1556
47.59	o 24763
47.59	c 1555
47.60	o 24764
47.60	c 1554
47.61	o 24765
47.61	c 1553
47.64	o 24766
47.64	c 1552
47.69	o 24776
47.69	c 1542
47.70	o 24777
47.70	c 1541
47.71	o 24778
47.71	c 1540
47.75	o 24780
47.75	c 1538
47.75	o 24782
47.75	c 1536
47.76	o 24783
47.76	c 1535
47.81	o 24785
47.81	c 1533
47.82	o 24787
47.82	c 1531
47.83	o 24788
47.83	c 1530
47.89	o 24790
47.89	c 1528
47.90	o 24791
47.90	c 1527
47.91	o 24792
47.91	c 1526
47.92	o 24793
47.92	c 1525
47.93	o 24794
47.93	c 1524
47.95	o 24795
47.95	c 1523
47.96	o 24797
47.96	c 1521
48.00	o 24799
48.00	c 1519
48.18	o 24800
48.18	c 1518
48.19	o 24803
48.19	c 1515
48.19	o 24805
48.20	c 1513
48.36	o 24807
48.36	c 1511
48.38	o 24809
48.38	c 1509
48.40	o 24810
48.40	c 1508
48.42	o 24811
48.42	c 1507
48.43	o 24812
48.43	c 1506
48.44	o 24814
48.44	c 1504
48.45	o 24816
48.45	c 1502
48.51	o 24818
48.51	c 1500
48.53	o 24819
48.53	c 1499
48.54	o 24820
48.54	c 1498
48.56	o 24821
48.56	c 1497
48.58	o 24823
48.58	c 1495
48.58	o 24825
48.58	c 1493
48.59	o 24827
48.59	c 1491
48.60	o 24828
48.60	c 1490
48.61	o 24832
48.61	c 1486
48.63	o 24833
48.63	c 1485
48.64	o 24835
48.64	c 1483
48.65	o 24837
48.65	c 1481
48.66	o 24839
48.66	c 1479
48.67	o 24840
48.67	c 1478
48.71	o 24841
48.71	c 1477
48.73	o 24842
48.73	c 1476
48.74	o 24844
48.74	c 1474
48.75	o 24846
48.75	c 1472
48.76	o 24848
48.76	c 1470
48.79	o 24850
48.79	c 1468
48.81	o 24852
48.81	c 1466
48.82	o 24854
48.82	c 1464
48.82	o 24855
48.82	c 1463
48.91	o 24856
48.91	c 1462
48.94	o 24876
48.94	c 1442
48.95	o 24877
48.95	c 1441
48.96	o 24878
48.96	c 1440
49.04	o 24879
49.04	c 1439
49.06	o 24882
49.06	c 1436
49.07	o 24884
49.07	c 1434
49.10	o 24887
49.10	c 1431
49.15	o 24888
49.15	c 1430
49.15	o 24890
49.15	c 1428
49.17	o 24891
49.17	c 1427
49.18	o 24892
49.18	c 1426
49.19	o 24893
49.19	c 1425
49.19	o 24894
49.19	c 1424
49.21	o 24896
49.21	c 1422
49.24	o 24898
49.24	c 1420
49.27	o 24899
49.27	c 1419
49.28	o 24900
49.28	c 1418
49.30	o 24901
49.30	c 1417
49.33	o 24903
49.33	c 1415
49.35	o 24905
49.35	c 1413
49.37	o 24906
49.37	c 1412
49.38	o 24907
49.38	c 1411
49.40	o 24908
49.40	c 1410
49.43	o 24911
49.43	c 1407
49.43	o 24912
49.43	c 1406
49.45	o 24914
49.45	c 1404
49.49	o 24915
49.49	c 1403
49.49	o 24916
49.49	c 1402
49.50	o 24918
49.50	c 1400
49.51	o 24920
49.51	c 1398
49.52	o 24921
49.52	c 1397
49.53	o 24922
49.53	c 1396
49.53	o 24923
49.53	c 1395
49.57	o 24930
49.57	c 1388
49.61	o 24931
49.61	c 1387
49.65	o 24935
49.65	c 1383
49.66	o 24936
49.66	c 1382
49.66	o 24937
49.66	c 1381
49.67	o 24938
49.67	c 1380
49.70	o 24939
49.70	c 1379
49.71	o 24940
49.71	c 1378
49.72	o 24941
49.72	c 1377
49.73	o 24942
49.73	c 1376
49.74	o 24943
49.74	c 1375
49.78	o 24944
49.78	c 1374
49.81	o 24945
49.81	c 1373
49.82	o 24946
49.82	c 1372
49.84	o 24948
49.84	c 1370
49.85	o 24949
49.85	c 1369
49.86	o 24950
49.86	c 1368
49.87	o 24951
49.87	c 1367
49.88	o 24953
49.88	c 1365
49.90	o 24954
49.90	c 1364
49.98	o 24955
49.98	c 1363
50.01	o 24956
50.01	c 1362
50.18	o 24958
50.18	c 1360
50.19	o 24960
50.19	c 1358
50.20	o 24962
50.20	c 1356
50.22	o 24963
50.22	c 1355
50.25	o 24964
50.25	c 1354
50.27	o 24966
50.27	c 1352
50.29	o 24967
50.29	c 1351
50.31	o 24968
50.31	c 1350
50.32	o 24970
50.32	c 1348
50.42	o 24973
50.42	c 1345
50.43	o 24974
50.43	c 1344
50.54	o 24975
50.54	c 1343
50.55	o 24977
50.55	c 1341
50.56	o 24978
50.56	c 1340
50.57	o 24980
50.57	c 1338
50.60	o 24981
50.60	c 1337
50.61	o 24982
50.61	c 1336
50.81	o 24983
50.81	c 1335
50.82	o 24984
50.82	c 1334
50.83	o 24985
50.83	c 1333
50.83	o 24986
50.83	c 1332
50.84	o 24987
50.84	c 1331
50.86	o 24988
50.86	c 1330
50.88	o 24990
50.88	c 1328
50.89	o 24992
50.89	c 1326
50.90	o 24993
50.90	c 1325
50.91	o 24994
50.91	c 1324
50.92	o 24995
50.92	c 1323
50.99	o 24996
50.99	c 1322
51.01	o 24997
51.01	c 1321
51.26	o 24998
51.26	c 1320
51.31	o 24999
51.31	c 1319
51.32	o 25001
51.32	c 1317
51.33	o 25002
51.33	c 1316
51.34	o 25003
51.34	c 1315
51.36	o 25006
51.36	c 1312
51.39	o 25011
51.39	c 1307
51.40	o 25012
51.40	c 1306
51.41	o 25013
51.41	c 1305
51.42	o 25015
51.42	c 1303
51.44	o 25017
51.44	c 1301
51.45	o 25019
51.45	c 1299
51.47	o 25021
51.47	c 1297
51.48	o 25022
51.48	c 1296
51.52	o 25024
51.52	c 1294
51.56	o 25025
51.56	c 1293
51.56	o 25027
51.56	c 1291
51.58	o 25028
51.58	c 1290
51.60	o 25029
51.60	c 1289
51.61	o 25030
51.61	c 1288
51.61	o 25031
51.61	c 1287
51.75	o 25033
51.75	c 1285
51.80	o 25035
51.80	c 1283
51.80	o 25036
51.80	c 1282
51.81	o 25037
51.81	c 1281
51.82	o 25038
51.82	c 1280
51.82	o 25039
51.83	c 1279
51.84	o 25040
51.84	c 1278
51.84	o 25041
51.84	c 1277
51.85	o 25042
51.85	c 1276
51.86	o 25043
51.86	c 1275
51.87	o 25045
51.87	c 1273
51.89	o 25046
51.89	c 1272
51.90	o 25047
51.90	c 1271
51.99	o 25059
51.99	c 1259
52.00	o 25060
52.00	c 1258
52.02	o 25062
52.02	c 1256
52.03	o 25064
52.03	c 1254
52.04	o 25065
52.04	c 1253
52.05	o 25066
52.05	c 1252
52.07	o 25067
52.07	c 1251
52.07	o 25068
52.07	c 1250
52.08	o 25069
52.08	c 1249
52.09	o 25070
52.09	c 1248
52.13	o 25072
52.13	c 1246
52.14	o 25073
52.14	c 1245
52.15	o 25074
52.15	c 1244
52.19	o 25075
52.19	c 1243
52.22	o 25076
52.22	c 1242
52.23	o 25077
52.23	c 1241
52.24	o 25078
52.24	c 1240
52.25	o 25080
52.25	c 1238
52.26	o 25082
52.26	c 1236
52.27	o 25084
52.27	c 1234
52.28	o 25085
52.28	c 1233
52.29	o 25086
52.29	c 1232
52.30	o 25087
52.30	c 1231
52.31	o 25091
52.31	c 1227
52.31	o 25092
52.31	c 1226
52.32	o 25093
52.32	c 1225
52.39	o 25094
52.39	c 1224
52.40	o 25095
52.40	c 1223
52.41	o 25096
52.41	c 1222
52.45	o 25097
52.45	c 1221
52.45	o 25098
52.45	c 1220
52.46	o 25099
52.46	c 1219
52.49	o 25100
52.49	c 1218
52.50	o 25101
52.50	c 1217
52.53	o 25103
52.53	c 1215
52.54	o 25105
52.54	c 1213
52.54	o 25106
52.54	c 1212
52.55	o 25107
52.55	c 1211
52.56	o 25108
52.56	c 1210
52.57	o 25109
52.57	c 1209
52.57	o 25110
52.57	c 1208
52.58	o 25111
52.58	c 1207
52.59	o 25112
52.59	c 1206
52.60	o 25114
52.60	c 1204
52.61	o 25116
52.61	c 1202
52.62	o 25118
52.62	c 1200
52.62	o 25119
52.62	c 1199
52.65	o 25120
52.65	c 1198
52.65	o 25121
52.65	c 1197
52.69	o 25123
52.69	c 1195
52.70	o 25125
52.70	c 1193
53.28	o 25126
53.28	c 1192
53.29	o 25127
53.29	c 1191
53.31	o 25133
53.31	c 1185
53.32	o 25134
53.32	c 1184
53.33	o 25136
53.33	c 1182
53.34	o 25138
53.34	c 1180
53.36	o 25140
53.36	c 1178
53.37	o 25141
53.37	c 1177
53.38	o 25143
53.38	c 1175
53.42	o 25144
53.42	c 1174
53.43	o 25145
53.43	c 1173
53.44	o 25146
53.44	c 1172
53.64	o 25147
53.64	c 1171
53.67	o 25148
53.68	c 1170
53.69	o 25153
53.69	c 1165
53.75	o 25156
53.75	c 1162
53.77	o 25157
53.77	c 1161
53.77	o 25169
53.77	c 1149
53.81	o 25171
53.81	c 1147
53.82	o 25172
53.82	c 1146
53.84	o 25174
53.84	c 1144
54.06	o 25175
54.06	c 1143
54.12	o 25177
54.12	c 1141
54.15	o 25178
54.15	c 1140
54.18	o 25179
54.18	c 1139
54.19	o 25180
54.19	c 1138
54.20	o 25182
54.20	c 1136
54.31	o 25183
54.31	c 1135
54.36	o 25184
54.36	c 1134
54.36	o 25185
54.36	c 1133
54.39	o 25186
54.39	c 1132
54.40	o 25187
54.40	c 1131
54.43	o 25188
54.43	c 1130
54.44	o 25189
54.44	c 1129
54.46	o 25191
54.46	c 1127
54.47	o 25193
54.47	c 1125
54.48	o 25194
54.48	c 1124
54.49	o 25196
54.49	c 1122
54.51	o 25197
54.51	c 1121
54.53	o 25198
54.53	c 1120
54.55	o 25200
54.55	c 1118
54.56	o 25201
54.56	c 1117
54.58	o 25203
54.58	c 1115
54.63	o 25204
54.63	c 1114
54.64	o 25207
54.64	c 1111
54.65	o 25209
54.65	c 1109
54.68	o 25210
54.68	c 1108
54.73	o 25211
54.73	c 1107
54.75	o 25212
54.75	c 1106
54.77	o 25213
54.77	c 1105
54.80	o 25214
54.80	c 1104
54.82	o 25215
54.82	c 1103
54.83	o 25216
54.83	c 1102
54.83	o 25217
54.83	c 1101
54.90	o 25219
54.90	c 1099
54.91	o 25220
54.91	c 1098
54.94	o 25222
54.94	c 1096
54.95	o 25223
54.95	c 1095
54.98	o 25225
54.98	c 1093
54.99	o 25226
54.99	c 1092
55.05	o 25227
55.05	c 1091
55.06	o 25228
55.06	c 1090
55.07	o 25229
55.07	c 1089
55.09	o 25230
55.09	c 1088
55.11	o 25231
55.11	c 1087
55.11	o 25232
55.11	c 1086
55.14	o 25234
55.14	c 1084
55.15	o 25235
55.15	c 1083
55.16	o 25237
55.16	c 1081
55.33	o 25240
55.33	c 1078
55.41	o 25241
55.41	c 1077
55.76	o 25243
55.76	c 1075
55.78	o 25246
55.78	c 1072
55.79	o 25249
55.79	c 1069
55.82	o 25250
55.82	c 1068
55.89	o 25251
55.90	c 1067
55.96	o 25252
55.96	c 1066
56.03	o 25253
56.03	c 1065
56.04	o 25254
56.04	c 1064
56.05	o 25255
56.05	c 1063
56.08	o 25256
56.08	c 1062
56.26	o 25257
56.26	c 1061
56.27	o 25258
56.27	c 1060
56.28	o 25260
56.28	c 1058
56.30	o 25261
56.30	c 1057
56.31	o 25262
56.31	c 1056
56.32	o 25263
56.32	c 1055
56.34	o 25264
56.34	c 1054
56.35	o 25265
56.35	c 1053
56.39	o 25267
56.39	c 1051
56.42	o 25269
56.42	c 1049
56.44	o 25271
56.44	c 1047
56.48	o 25272
56.48	c 1046
56.50	o 25273
56.50	c 1045
56.51	o 25275
56.51	c 1043
56.53	o 25276
56.53	c 1042
56.54	o 25278
56.54	c 1040
56.71	o 25280
56.71	c 1038
56.72	o 25281
56.72	c 1037
56.75	o 25282
56.75	c 1036
56.75	o 25283
56.75	c 1035
56.76	o 25285
56.76	c 1033
56.77	o 25287
56.77	c 1031
56.78	o 25288
56.78	c 1030
56.79	o 25289
56.79	c 1029
56.81	o 25290
56.81	c 1028
56.82	o 25291
56.82	c 1027
56.82	o 25297
56.82	c 1021
56.84	o 25298
56.84	c 1020
56.85	o 25300
56.85	c 1018
56.85	o 25301
56.85	c 1017
56.86	o 25302
56.86	c 1016
56.87	o 25304
56.87	c 1014
56.90	o 25306
56.90	c 1012
56.91	o 25307
56.91	c 1011
56.94	o 25308
56.94	c 1010
57.13	o 25309
57.13	c 1009
57.14	o 25310
57.14	c 1008
57.15	o 25311
57.15	c 1007
57.21	o 25312
57.21	c 1006
57.25	o 25313
57.25	c 1005
57.26	o 25315
57.26	c 1003
57.28	o 25317
57.28	c 1001
57.29	o 25319
57.29	c 999
57.38	o 25320
57.38	c 998
57.39	o 25321
57.39	c 997
57.41	o 25323
57.41	c 995
57.42	o 25324
57.42	c 994
57.46	o 25325
57.46	c 993
57.48	o 25327
57.48	c 991
57.50	o 25328
57.50	c 990
57.52	o 25329
57.52	c 989
57.53	o 25331
57.53	c 987
57.54	o 25333
57.54	c 985
57.55	o 25334
57.55	c 984
57.57	o 25336
57.57	c 982
57.59	o 25338
57.59	c 980
57.63	o 25340
57.63	c 978
57.65	o 25341
57.65	c 977
57.67	o 25343
57.67	c 975
57.77	o 25344
57.77	c 974
57.79	o 25345
57.79	c 973
57.80	o 25346
57.80	c 972
57.83	o 25348
57.83	c 970
57.84	o 25349
57.84	c 969
57.89	o 25350
57.89	c 968
57.90	o 25351
57.90	c 967
57.91	o 25352
57.91	c 966
57.92	o 25353
57.92	c 965
57.93	o 25354
57.93	c 964
57.93	o 25355
57.93	c 963
57.94	o 25357
57.94	c 961
57.95	o 25358
57.95	c 960
57.96	o 25359
57.96	c 959
58.12	o 25360
58.12	c 958
58.13	o 25362
58.13	c 956
58.14	o 25363
58.14	c 955
58.18	o 25364
58.18	c 954
58.19	o 25365
58.19	c 953
58.20	o 25367
58.20	c 951
58.21	o 25369
58.21	c 949
58.22	o 25370
58.22	c 948
58.24	o 25371
58.24	c 947
58.25	o 25373
58.25	c 945
58.31	o 25374
58.31	c 944
58.32	o 25375
58.32	c 943
58.32	o 25377
58.32	c 941
58.34	o 25378
58.34	c 940
58.37	o 25379
58.37	c 939
58.39	o 25380
58.39	c 938
58.40	o 25382
58.40	c 936
58.42	o 25384
58.42	c 934
58.43	o 25385
58.43	c 933
58.44	o 25386
58.44	c 932
58.46	o 25387
58.46	c 931
58.47	o 25389
58.47	c 929
58.53	o 25390
58.53	c 928
58.56	o 25392
58.56	c 926
58.57	o 25394
58.57	c 924
58.58	o 25395
58.58	c 923
58.59	o 25396
58.59	c 922
58.60	o 25397
58.60	c 921
58.61	o 25398
58.61	c 920
58.63	o 25400
58.63	c 918
58.65	o 25402
58.65	c 916
58.67	o 25403
58.67	c 915
58.68	o 25404
58.68	c 914
58.70	o 25405
58.70	c 913
58.74	o 25406
58.74	c 912
58.77	o 25407
58.77	c 911
58.78	o 25408
58.78	c 910
58.79	o 25409
58.79	c 909
58.82	o 25410
58.82	c 908
58.83	o 25411
58.83	c 907
58.85	o 25412
58.85	c 906
58.86	o 25414
58.86	c 904
58.87	o 25415
58.87	c 903
58.89	o 25416
58.89	c 902
58.94	o 25417
58.94	c 901
58.95	o 25418
58.95	c 900
58.98	o 25420
58.98	c 898
59.03	o 25421
59.03	c 897
59.04	o 25422
59.04	c 896
59.09	o 25424
59.09	c 894
59.11	o 25425
59.11	c 893
59.13	o 25426
59.13	c 892
59.18	o 25428
59.18	c 890
59.20	o 25429
59.20	c 889
59.21	o 25431
59.21	c 887
59.22	o 25432
59.22	c 886
59.23	o 25433
59.23	c 885
59.25	o 25434
59.25	c 884
59.27	o 25435
59.27	c 883
59.80	o 25436
59.80	c 882
59.93	o 25437
59.93	c 881
59.99	o 25438
59.99	c 880
60.02	o 25439
60.02	c 879
60.04	o 25440
60.04	c 878
60.07	o 25441
60.07	c 877
60.14	o 25442
60.14	c 876
60.21	o 25444
60.21	c 874
60.35	o 25445
60.35	c 873
60.42	o 25447
60.42	c 871
61.09	o 25448
61.09	c 870
61.13	o 25450
61.14	c 868
61.14	o 25455
61.14	c 863
61.52	o 25456
61.52	c 862
61.56	o 25458
61.56	c 860
61.59	o 25460
61.59	c 858
61.60	o 25461
61.60	c 857
61.63	o 25462
61.63	c 856
61.64	o 25463
61.64	c 855
61.67	o 25465
61.67	c 853
61.70	o 25466
61.70	c 852
61.71	o 25467
61.71	c 851
61.72	o 25468
61.72	c 850
61.73	o 25469
61.73	c 849
61.76	o 25471
61.76	c 847
61.78	o 25472
61.78	c 846
61.79	o 25473
61.79	c 845
61.79	o 25474
61.79	c 844
61.80	o 25475
61.80	c 843
61.81	o 25476
61.81	c 842
61.91	o 25478
61.91	c 840
61.92	o 25479
61.92	c 839
61.97	o 25481
61.97	c 837
61.98	o 25483
61.98	c 835
61.99	o 25485
61.99	c 833
62.17	o 25487
62.17	c 831
62.19	o 25488
62.19	c 830
62.20	o 25489
62.20	c 829
62.39	o 25491
62.39	c 827
62.41	o 25492
62.41	c 826
62.45	o 25494
62.45	c 824
62.48	o 25495
62.48	c 823
62.49	o 25496
62.49	c 822
62.50	o 25498
62.50	c 820
62.52	o 25499
62.52	c 819
62.53	o 25500
62.53	c 818
62.97	o 25501
62.97	c 817
62.98	o 25505
62.98	c 813
62.98	o 25507
62.98	c 811
63.01	o 25508
63.01	c 810
63.02	o 25509
63.02	c 809
63.05	o 25510
63.05	c 808
63.10	o 25512
63.10	c 806
63.18	o 25513
63.18	c 805
63.20	o 25514
63.20	c 804
63.24	o 25515
63.24	c 803
63.26	o 25516
63.26	c 802
63.27	o 25517
63.27	c 801
63.33	o 25518
63.33	c 800
63.36	o 25519
63.36	c 799
63.38	o 25521
63.38	c 797
63.40	o 25523
63.40	c 795
63.41	o 25525
63.41	c 793
63.42	o 25526
63.42	c 792
63.52	o 25527
63.52	c 791
63.59	o 25528
63.59	c 790
63.61	o 25530
63.61	c 788
63.64	o 25531
63.64	c 787
63.64	o 25532
63.64	c 786
63.69	o 25533
63.69	c 785
63.71	o 25534
63.71	c 784
63.98	o 25536
63.98	c 782
63.98	o 25537
63.98	c 781
63.99	o 25538
63.99	c 780
64.02	o 25544
64.02	c 774
64.04	o 25548
64.04	c 770
64.09	o 25550
64.09	c 768
64.10	o 25551
64.10	c 767
64.32	o 25552
64.32	c 766
64.51	o 25554
64.51	c 764
64.61	o 25557
64.61	c 761
64.62	o 25558
64.62	c 760
64.65	o 25559
64.65	c 759
64.69	o 25560
64.69	c 758
64.87	o 25562
64.87	c 756
64.89	o 25563
64.89	c 755
64.93	o 25564
64.93	c 754
64.95	o 25565
64.95	c 753
64.97	o 25567
64.97	c 751
64.99	o 25569
64.99	c 749
65.01	o 25570
65.01	c 748
65.02	o 25571
65.02	c 747
65.04	o 25573
65.04	c 745
65.50	o 25581
65.50	c 737
65.53	o 25582
65.53	c 736
65.56	o 25583
65.56	c 735
65.64	o 25585
65.64	c 733
65.67	o 25587
65.67	c 731
65.71	o 25588
65.71	c 730
65.79	o 25589
65.79	c 729
65.86	o 25590
65.86	c 728
65.87	o 25592
65.87	c 726
66.59	o 25593
66.59	c 725
66.60	o 25594
66.60	c 724
66.64	o 25595
66.64	c 723
66.64	o 25596
66.64	c 722
66.80	o 25597
66.80	c 721
67.19	o 25598
67.19	c 720
67.25	o 25599
67.25	c 719
67.26	o 25601
67.26	c 717
67.27	o 25603
67.27	c 715
67.27	o 25605
67.27	c 713
67.29	o 25606
67.29	c 712
67.29	o 25607
67.30	c 711
67.31	o 25609
67.31	c 709
67.44	o 25610
67.44	c 708
67.52	o 25611
67.52	c 707
67.56	o 25612
67.56	c 706
67.87	o 25613
67.87	c 705
67.91	o 25614
67.91	c 704
67.93	o 25615
67.93	c 703
67.94	o 25616
67.94	c 702
67.95	o 25617
67.95	c 701
67.96	o 25619
67.96	c 699
67.97	o 25620
67.97	c 698
67.98	o 25621
67.98	c 697
68.01	o 25622
68.01	c 696
68.02	o 25623
68.02	c 695
68.04	o 25625
68.04	c 693
68.07	o 25626
68.07	c 692
68.08	o 25627
68.08	c 691
68.14	o 25628
68.14	c 690
68.15	o 25629
68.15	c 689
68.16	o 25630
68.16	c 688
68.18	o 25631
68.18	c 687
68.18	o 25633
68.18	c 685
68.19	o 25634
68.19	c 684
68.23	o 25635
68.23	c 683
68.28	o 25636
68.28	c 682
68.30	o 25638
68.30	c 680
68.31	o 25639
68.31	c 679
68.48	o 25641
68.48	c 677
68.49	o 25643
68.49	c 675
68.50	o 25644
68.50	c 674
68.52	o 25645
68.52	c 673
68.53	o 25646
68.53	c 672
68.57	o 25647
68.57	c 671
68.58	o 25648
68.58	c 670
68.60	o 25649
68.60	c 669
68.61	o 25651
68.61	c 667
68.62	o 25652
68.62	c 666
69.05	o 25653
69.05	c 665
69.08	o 25654
69.08	c 664
69.12	o 25655
69.12	c 663
69.15	o 25657
69.15	c 661
69.19	o 25658
69.19	c 660
69.19	o 25659
69.19	c 659
69.21	o 25661
69.21	c 657
69.23	o 25662
69.23	c 656
69.24	o 25663
69.24	c 655
69.32	o 25664
69.32	c 654
69.33	o 25669
69.33	c 649
69.34	o 25671
69.34	c 647
69.37	o 25672
69.37	c 646
69.38	o 25673
69.38	c 645
69.41	o 25674
69.41	c 644
69.44	o 25675
69.44	c 643
69.47	o 25676
69.47	c 642
69.49	o 25677
69.49	c 641
69.50	o 25678
69.50	c 640
69.52	o 25679
69.52	c 639
69.53	o 25681
69.53	c 637
69.56	o 25682
69.56	c 636
69.57	o 25684
69.57	c 634
69.58	o 25685
69.58	c 633
69.60	o 25686
69.60	c 632
69.60	o 25687
69.60	c 631
69.62	o 25688
69.62	c 630
69.63	o 25689
69.63	c 629
69.64	o 25690
69.64	c 628
69.68	o 25691
69.68	c 627
69.69	o 25692
69.69	c 626
69.72	o 25693
69.72	c 625
69.73	o 25694
69.73	c 624
69.74	o 25695
69.74	c 623
69.76	o 25696
69.76	c 622
69.77	o 25697
69.77	c 621
69.77	o 25698
69.77	c 620
69.80	o 25699
69.80	c 619
69.81	o 25700
69.81	c 618
69.82	o 25701
69.82	c 617
69.85	o 25703
69.85	c 615
69.97	o 25704
69.97	c 614
70.14	o 25705
70.14	c 613
70.16	o 25706
70.16	c 612
70.17	o 25707
70.17	c 611
70.19	o 25709
70.19	c 609
70.20	o 25710
70.20	c 608
70.24	o 25711
70.24	c 607
70.26	o 25712
70.26	c 606
70.28	o 25714
70.28	c 604
70.29	o 25715
70.29	c 603
70.81	o 25716
70.81	c 602
70.82	o 25717
70.82	c 601
70.83	o 25718
70.83	c 600
70.86	o 25720
70.86	c 598
70.88	o 25721
70.88	c 597
70.90	o 25722
70.90	c 596
70.92	o 25724
70.92	c 594
70.92	o 25725
70.92	c 593
71.38	o 25726
71.38	c 592
71.39	o 25727
71.39	c 591
71.40	o 25728
71.40	c 590
71.41	o 25730
71.41	c 588
71.45	o 25731
71.45	c 587
71.47	o 25732
71.47	c 586
71.57	o 25733
71.57	c 585
71.61	o 25734
71.61	c 584
71.63	o 25735
71.63	c 583
71.65	o 25736
71.65	c 582
71.67	o 25737
71.67	c 581
71.74	o 25738
71.74	c 580
71.83	o 25739
71.83	c 579
71.85	o 25740
71.85	c 578
71.90	o 25741
71.90	c 577
71.94	o 25742
71.94	c 576
71.97	o 25743
71.97	c 575
72.11	o 25745
72.11	c 573
72.13	o 25746
72.13	c 572
72.19	o 25747
72.19	c 571
72.20	o 25748
72.20	c 570
72.21	o 25749
72.21	c 569
72.73	o 25750
72.73	c 568
72.77	o 25752
72.77	c 566
72.79	o 25753
72.79	c 565
72.83	o 25754
72.83	c 564
72.90	o 25756
72.90	c 562
72.94	o 25758
72.94	c 560
72.96	o 25760
72.96	c 558
73.00	o 25762
73.00	c 556
73.17	o 25763
73.17	c 555
73.21	o 25765
73.21	c 553
73.27	o 25766
73.27	c 552
73.28	o 25767
73.28	c 551
73.33	o 25768
73.33	c 550
73.40	o 25769
73.40	c 549
73.46	o 25770
73.46	c 548
73.50	o 25771
73.50	c 547
73.59	o 25772
73.59	c 546
73.60	o 25773
73.60	c 545
73.61	o 25774
73.61	c 544
73.64	o 25775
73.64	c 543
73.66	o 25776
73.66	c 542
73.70	o 25777
73.70	c 541
77.69	o 25778
77.69	c 540
77.73	o 25779
77.73	c 539
77.86	o 25780
77.86	c 538
78.25	o 25781
78.25	c 537
78.28	o 25782
78.28	c 536
78.29	o 25784
78.29	c 534
78.33	o 25785
78.33	c 533
78.34	o 25786
78.34	c 532
78.35	o 25787
78.35	c 531
78.37	o 25788
78.37	c 530
78.40	o 25789
78.40	c 529
78.41	o 25791
78.41	c 527
78.42	o 25792
78.42	c 526
78.43	o 25793
78.43	c 525
78.46	o 25795
78.46	c 523
78.49	o 25796
78.49	c 522
78.50	o 25797
78.50	c 521
78.53	o 25798
78.53	c 520
78.53	o 25799
78.53	c 519
78.55	o 25800
78.55	c 518
78.58	o 25801
78.58	c 517
78.59	o 25802
78.59	c 516
78.60	o 25803
78.60	c 515
78.61	o 25805
78.61	c 513
78.79	o 25806
78.79	c 512
78.90	o 25807
78.90	c 511
79.52	o 25808
79.52	c 510
79.53	o 25810
79.53	c 508
79.55	o 25811
79.55	c 507
79.56	o 25813
79.56	c 505
79.57	o 25815
79.57	c 503
79.58	o 25817
79.58	c 501
79.59	o 25819
79.59	c 499
79.62	o 25820
79.62	c 498
79.77	o 25821
79.77	c 497
79.79	o 25822
79.79	c 496
79.82	o 25823
79.82	c 495
79.83	o 25824
79.83	c 494
79.85	o 25825
79.85	c 493
79.86	o 25827
79.86	c 491
79.89	o 25829
79.89	c 489
79.93	o 25830
79.93	c 488
79.94	o 25831
79.94	c 487
80.14	o 25832
80.14	c 486
80.16	o 25833
80.16	c 485
80.20	o 25834
80.20	c 484
80.22	o 25835
80.22	c 483
81.09	o 25836
81.09	c 482
81.10	o 25838
81.10	c 480
81.12	o 25840
81.12	c 478
81.97	o 25841
81.97	c 477
81.98	o 25842
81.98	c 476
82.01	o 25843
82.01	c 475
82.08	o 25844
82.08	c 474
82.14	o 25846
82.14	c 472
82.23	o 25847
82.23	c 471
82.25	o 25848
82.25	c 470
82.26	o 25850
82.26	c 468
82.28	o 25851
82.28	c 467
82.29	o 25852
82.29	c 466
82.31	o 25853
82.31	c 465
82.32	o 25854
82.32	c 464
82.60	o 25855
82.60	c 463
82.62	o 25856
82.62	c 462
82.99	o 25857
82.99	c 461
83.05	o 25858
83.05	c 460
83.07	o 25861
83.07	c 457
83.09	o 25862
83.09	c 456
83.11	o 25863
83.11	c 455
83.18	o 25864
83.18	c 454
83.23	o 25865
83.23	c 453
83.24	o 25866
83.24	c 452
83.26	o 25867
83.26	c 451
83.29	   
83.29	   search
83.29	     run=0  nbConstraintChecks=66674900  nbAssignments=10000
83.29	       =>  wckTime=79.313  cpuTime=78.65  mem=39M390
83.34	o 25868
83.34	c 450
83.35	o 25870
83.35	c 448
83.69	o 25871
83.69	c 447
83.70	o 25872
83.70	c 446
83.77	o 25873
83.77	c 445
83.86	o 25874
83.86	c 444
83.92	o 25875
83.92	c 443
83.98	o 25876
83.98	c 442
83.99	o 25877
83.99	c 441
84.16	o 25878
84.16	c 440
84.27	o 25880
84.27	c 438
84.28	o 25881
84.28	c 437
84.31	o 25883
84.31	c 435
84.50	o 25884
84.50	c 434
84.55	o 25885
84.55	c 433
84.57	o 25886
84.57	c 432
84.58	o 25887
84.58	c 431
84.62	o 25888
84.62	c 430
84.63	o 25890
84.63	c 428
84.66	o 25891
84.66	c 427
84.75	o 25893
84.75	c 425
84.78	o 25894
84.78	c 424
84.78	o 25895
84.78	c 423
84.93	o 25896
84.93	c 422
84.97	o 25897
84.97	c 421
84.98	o 25898
84.98	c 420
85.00	o 25899
85.00	c 419
85.01	o 25900
85.01	c 418
85.02	o 25901
85.02	c 417
85.03	o 25902
85.03	c 416
85.04	o 25903
85.04	c 415
85.05	o 25904
85.05	c 414
85.06	o 25905
85.06	c 413
86.89	o 25906
86.89	c 412
86.99	o 25907
86.99	c 411
87.17	o 25908
87.17	c 410
87.19	o 25909
87.19	c 409
87.20	o 25911
87.20	c 407
87.23	o 25912
87.23	c 406
87.34	o 25913
87.34	c 405
87.41	o 25914
87.41	c 404
87.42	o 25915
87.42	c 403
87.49	o 25916
87.50	c 402
87.51	o 25917
87.51	c 401
87.52	o 25918
87.53	c 400
87.56	o 25919
87.56	c 399
87.60	o 25920
87.60	c 398
87.63	o 25921
87.63	c 397
87.63	o 25922
87.63	c 396
87.65	o 25923
87.65	c 395
87.65	o 25924
87.65	c 394
87.66	o 25925
87.66	c 393
87.67	o 25926
87.67	c 392
87.70	o 25927
87.70	c 391
87.71	o 25928
87.71	c 390
87.75	o 25929
87.75	c 389
87.78	o 25930
87.78	c 388
87.79	o 25931
87.79	c 387
87.80	o 25932
87.80	c 386
87.83	o 25933
87.83	c 385
87.84	o 25934
87.84	c 384
87.85	o 25935
87.85	c 383
87.86	o 25936
87.86	c 382
87.87	o 25937
87.87	c 381
87.88	o 25939
87.88	c 379
87.95	o 25940
87.95	c 378
88.01	o 25941
88.01	c 377
88.02	o 25942
88.02	c 376
88.02	o 25946
88.02	c 372
88.03	o 25947
88.03	c 371
88.04	o 25948
88.04	c 370
88.06	o 25949
88.06	c 369
88.08	o 25950
88.08	c 368
88.20	o 25951
88.20	c 367
88.23	o 25952
88.23	c 366
88.24	o 25954
88.24	c 364
88.68	o 25955
88.68	c 363
88.72	o 25956
88.72	c 362
88.80	o 25957
88.80	c 361
88.84	o 25958
88.84	c 360
88.85	o 25959
88.85	c 359
88.86	o 25960
88.86	c 358
88.89	o 25961
88.89	c 357
88.89	o 25962
88.89	c 356
89.07	o 25963
89.07	c 355
89.10	o 25964
89.10	c 354
89.10	o 25965
89.10	c 353
89.14	o 25966
89.14	c 352
89.15	o 25967
89.15	c 351
89.17	o 25968
89.17	c 350
89.20	o 25970
89.20	c 348
89.24	o 25971
89.24	c 347
89.27	o 25972
89.27	c 346
89.27	o 25973
89.27	c 345
89.28	o 25974
89.28	c 344
89.37	o 25975
89.37	c 343
89.45	o 25976
89.45	c 342
89.45	o 25977
89.45	c 341
89.47	o 25978
89.47	c 340
89.48	o 25979
89.48	c 339
89.54	o 25980
89.54	c 338
89.62	o 25981
89.62	c 337
89.76	o 25982
89.76	c 336
89.87	o 25983
89.87	c 335
90.10	o 25984
90.10	c 334
90.97	o 25985
90.97	c 333
91.00	o 25986
91.00	c 332
91.04	o 25987
91.04	c 331
91.06	o 25988
91.06	c 330
91.11	o 25991
91.11	c 327
91.11	o 25992
91.11	c 326
91.21	o 25993
91.21	c 325
91.46	o 25994
91.46	c 324
91.48	o 25995
91.48	c 323
91.55	o 25996
91.55	c 322
91.66	o 25997
91.66	c 321
91.76	o 25998
91.76	c 320
91.78	o 25999
91.78	c 319
91.79	o 26001
91.79	c 317
91.86	o 26002
91.86	c 316
91.89	o 26003
91.89	c 315
91.93	o 26004
91.93	c 314
91.94	o 26005
91.94	c 313
91.95	o 26006
91.95	c 312
91.96	o 26007
91.96	c 311
91.99	o 26008
91.99	c 310
92.01	o 26009
92.01	c 309
92.03	o 26010
92.03	c 308
92.04	o 26012
92.04	c 306
92.05	o 26013
92.05	c 305
92.19	o 26014
92.19	c 304
92.27	o 26015
92.27	c 303
92.34	o 26016
92.34	c 302
92.35	o 26017
92.35	c 301
93.49	o 26018
93.49	c 300
93.52	o 26019
93.52	c 299
93.54	o 26020
93.54	c 298
93.61	o 26021
93.61	c 297
93.61	o 26022
93.61	c 296
93.62	o 26023
93.62	c 295
93.63	o 26024
93.63	c 294
93.65	o 26025
93.65	c 293
93.72	o 26026
93.72	c 292
93.74	o 26027
93.74	c 291
93.75	o 26028
93.75	c 290
93.76	o 26029
93.76	c 289
93.80	o 26030
93.80	c 288
93.82	o 26031
93.82	c 287
93.82	o 26033
93.82	c 285
93.84	o 26034
93.84	c 284
94.34	o 26035
94.34	c 283
94.35	o 26036
94.35	c 282
94.40	o 26037
94.40	c 281
94.40	o 26038
94.40	c 280
94.41	o 26039
94.41	c 279
94.42	o 26041
94.42	c 277
94.43	o 26042
94.43	c 276
94.44	o 26043
94.44	c 275
94.45	o 26044
94.45	c 274
94.50	o 26045
94.50	c 273
94.52	o 26047
94.52	c 271
94.54	o 26048
94.54	c 270
94.56	o 26049
94.56	c 269
94.56	o 26050
94.56	c 268
94.57	o 26051
94.57	c 267
94.60	o 26052
94.60	c 266
94.61	o 26053
94.61	c 265
94.62	o 26054
94.62	c 264
94.77	o 26055
94.77	c 263
94.78	o 26056
94.78	c 262
94.79	o 26057
94.79	c 261
94.80	o 26058
94.80	c 260
94.89	o 26059
94.89	c 259
94.91	o 26060
94.91	c 258
94.94	o 26061
94.94	c 257
94.97	o 26062
94.97	c 256
94.98	o 26063
94.98	c 255
94.99	o 26064
94.99	c 254
94.99	o 26065
94.99	c 253
95.03	o 26066
95.03	c 252
95.06	o 26067
95.06	c 251
95.23	o 26068
95.23	c 250
95.25	o 26069
95.25	c 249
95.28	o 26070
95.28	c 248
96.24	o 26071
96.24	c 247
96.24	o 26072
96.24	c 246
96.26	o 26073
96.26	c 245
96.27	o 26074
96.27	c 244
96.28	o 26075
96.29	c 243
96.31	o 26076
96.31	c 242
97.46	o 26077
97.46	c 241
97.88	o 26078
97.88	c 240
97.89	o 26079
97.89	c 239
97.89	o 26080
97.89	c 238
97.90	o 26081
97.90	c 237
97.93	o 26082
97.93	c 236
97.95	o 26083
97.95	c 235
97.98	o 26084
97.98	c 234
98.00	o 26085
98.00	c 233
98.01	o 26086
98.01	c 232
98.40	o 26087
98.40	c 231
98.45	o 26088
98.45	c 230
98.52	o 26090
98.52	c 228
98.60	o 26091
98.60	c 227
98.61	o 26092
98.61	c 226
98.66	o 26093
98.66	c 225
99.01	o 26094
99.01	c 224
99.03	o 26095
99.03	c 223
99.04	o 26096
99.04	c 222
99.04	o 26097
99.04	c 221
99.05	o 26098
99.05	c 220
99.05	o 26100
99.05	c 218
99.08	o 26101
99.08	c 217
99.11	o 26102
99.11	c 216
99.13	o 26104
99.13	c 214
99.15	o 26105
99.15	c 213
99.21	o 26106
99.21	c 212
99.22	o 26107
99.22	c 211
99.23	o 26108
99.23	c 210
99.42	o 26109
99.42	c 209
100.04	o 26110
100.04	c 208
100.23	o 26111
100.23	c 207
100.23	o 26112
100.23	c 206
100.25	o 26113
100.25	c 205
100.25	o 26115
100.25	c 203
100.26	o 26116
100.26	c 202
100.29	o 26117
100.29	c 201
100.30	o 26118
100.30	c 200
100.33	o 26119
100.33	c 199
100.34	o 26120
100.34	c 198
100.36	o 26121
100.36	c 197
100.40	o 26122
100.40	c 196
100.52	o 26123
100.52	c 195
100.58	o 26124
100.58	c 194
101.44	o 26128
101.44	c 190
101.46	o 26130
101.46	c 188
101.47	o 26131
101.47	c 187
101.47	o 26133
101.47	c 185
101.49	o 26135
101.49	c 183
101.51	o 26136
101.51	c 182
101.68	o 26137
101.68	c 181
101.70	o 26138
101.70	c 180
101.72	o 26139
101.72	c 179
101.74	o 26140
101.74	c 178
102.47	o 26141
102.47	c 177
102.50	o 26142
102.50	c 176
102.58	o 26143
102.58	c 175
102.59	o 26144
102.59	c 174
102.60	o 26145
102.60	c 173
102.68	o 26146
102.68	c 172
103.22	o 26147
103.22	c 171
103.23	o 26148
103.23	c 170
103.24	o 26149
103.24	c 169
103.26	o 26150
103.26	c 168
103.29	o 26151
103.29	c 167
103.31	o 26152
103.31	c 166
103.32	o 26153
103.32	c 165
103.33	o 26154
103.33	c 164
103.34	o 26155
103.34	c 163
103.36	o 26156
103.36	c 162
103.37	o 26157
103.37	c 161
103.48	o 26158
103.48	c 160
103.52	o 26159
103.52	c 159
103.84	o 26160
103.84	c 158
103.91	o 26161
103.91	c 157
104.25	o 26162
104.25	c 156
104.28	o 26163
104.28	c 155
104.39	o 26164
104.39	c 154
104.52	o 26165
104.52	c 153
104.57	o 26166
104.57	c 152
104.77	o 26167
104.77	c 151
105.53	o 26168
105.53	c 150
105.56	o 26170
105.56	c 148
105.57	o 26171
105.57	c 147
105.57	o 26172
105.57	c 146
105.74	o 26173
105.74	c 145
105.76	o 26174
105.76	c 144
106.30	o 26175
106.30	c 143
106.31	o 26176
106.31	c 142
106.78	o 26177
106.78	c 141
106.79	o 26178
106.79	c 140
106.80	o 26180
106.80	c 138
106.82	o 26182
106.82	c 136
106.94	o 26183
106.94	c 135
106.97	o 26184
106.97	c 134
106.98	o 26185
106.98	c 133
107.18	o 26186
107.18	c 132
108.25	o 26187
108.25	c 131
108.27	o 26188
108.27	c 130
108.39	o 26189
108.39	c 129
108.40	o 26190
108.40	c 128
108.44	o 26191
108.44	c 127
108.46	o 26192
108.46	c 126
108.48	o 26193
108.48	c 125
109.02	o 26194
109.02	c 124
109.04	o 26195
109.04	c 123
109.07	o 26196
109.07	c 122
109.41	o 26198
109.41	c 120
109.60	o 26199
109.60	c 119
109.62	o 26200
109.62	c 118
109.64	o 26201
109.64	c 117
110.11	   
110.11	   search
110.11	     run=1  nbConstraintChecks=91575629  nbAssignments=20000
110.11	       =>  wckTime=106.13  cpuTime=105.3  mem=39M390
114.18	o 26202
114.18	c 116
114.19	o 26204
114.19	c 114
114.21	o 26205
114.21	c 113
114.22	o 26208
114.22	c 110
114.24	o 26209
114.24	c 109
114.27	o 26210
114.27	c 108
114.34	o 26214
114.34	c 104
114.35	o 26215
114.35	c 103
114.35	o 26216
114.35	c 102
114.42	o 26217
114.42	c 101
114.55	o 26218
114.55	c 100
114.55	o 26220
114.55	c 98
114.57	o 26221
114.57	c 97
114.61	o 26222
114.61	c 96
114.62	o 26223
114.62	c 95
114.63	o 26224
114.63	c 94
114.67	o 26225
114.67	c 93
114.69	o 26226
114.69	c 92
114.79	o 26227
114.79	c 91
114.80	o 26228
114.80	c 90
114.81	o 26229
114.81	c 89
114.83	o 26233
114.83	c 85
114.83	o 26234
114.83	c 84
114.84	o 26235
114.84	c 83
115.00	o 26236
115.00	c 82
115.13	o 26237
115.13	c 81
115.13	o 26238
115.13	c 80
115.14	o 26239
115.14	c 79
115.14	o 26240
115.14	c 78
115.54	o 26242
115.54	c 76
115.59	o 26244
115.59	c 74
115.76	o 26245
115.76	c 73
115.78	o 26246
115.78	c 72
115.79	o 26247
115.79	c 71
115.81	o 26248
115.81	c 70
115.81	o 26249
115.81	c 69
115.81	o 26250
115.81	c 68
115.82	o 26251
115.82	c 67
115.96	o 26252
115.96	c 66
115.97	o 26253
115.97	c 65
115.97	o 26254
115.97	c 64
115.97	o 26255
115.97	c 63
115.98	o 26256
115.98	c 62
120.51	   
120.51	   search
120.51	     run=2  nbConstraintChecks=100824944  nbAssignments=30000
120.51	       =>  wckTime=116.528  cpuTime=115.62  mem=39M390
122.68	o 26257
122.68	c 61
122.77	o 26258
122.77	c 60
122.80	o 26259
122.80	c 59
122.81	o 26260
122.81	c 58
122.82	o 26261
122.82	c 57
122.83	o 26262
122.83	c 56
122.99	o 26263
122.99	c 55
122.99	o 26264
122.99	c 54
123.00	o 26265
123.00	c 53
123.01	o 26266
123.01	c 52
123.01	o 26267
123.01	c 51
123.02	o 26268
123.02	c 50
123.03	o 26269
123.03	c 49
123.03	o 26270
123.03	c 48
124.54	o 26271
124.54	c 47
125.19	o 26272
125.19	c 46
125.28	o 26273
125.28	c 45
125.29	o 26274
125.29	c 44
125.39	o 26275
125.39	c 43
125.40	o 26276
125.40	c 42
125.41	o 26277
125.41	c 41
125.41	o 26278
125.41	c 40
125.42	o 26280
125.42	c 38
125.42	o 26281
125.42	c 37
125.58	o 26282
125.58	c 36
125.91	o 26283
125.91	c 35
125.93	o 26284
125.93	c 34
126.00	o 26285
126.00	c 33
126.00	o 26286
126.00	c 32
126.07	o 26287
126.07	c 31
126.07	o 26288
126.07	c 30
126.35	o 26289
126.35	c 29
126.42	o 26290
126.42	c 28
126.44	o 26291
126.44	c 27
126.53	o 26292
126.53	c 26
126.54	o 26293
126.54	c 25
126.75	o 26294
126.75	c 24
126.75	o 26295
126.75	c 23
127.05	o 26296
127.05	c 22
127.06	o 26297
127.06	c 21
127.41	o 26298
127.41	c 20
127.41	o 26299
127.41	c 19
127.51	o 26300
127.51	c 18
127.54	o 26301
127.54	c 17
127.73	o 26302
127.73	c 16
127.78	o 26303
127.78	c 15
127.80	o 26304
127.80	c 14
127.81	   
127.81	   search
127.81	     run=3  nbConstraintChecks=107115312  nbAssignments=40000
127.81	       =>  wckTime=123.829  cpuTime=122.88  mem=39M390
127.82	o 26305
127.82	c 13
128.37	o 26306
128.37	c 12
134.46	   
134.46	   search
134.46	     run=4  nbConstraintChecks=112382439  nbAssignments=50000
134.46	       =>  wckTime=130.474  cpuTime=129.5  mem=39M390
139.26	o 26307
139.26	c 11
139.71	   
139.71	   search
139.71	     run=5  nbConstraintChecks=116178105  nbAssignments=60000
139.71	       =>  wckTime=135.728  cpuTime=134.72  mem=39M390
145.81	   
145.81	   search
145.81	     run=6  nbConstraintChecks=121257784  nbAssignments=70000
145.81	       =>  wckTime=141.825  cpuTime=140.79  mem=39M390
152.01	   
152.01	   search
152.01	     run=7  nbConstraintChecks=126361609  nbAssignments=80000
152.01	       =>  wckTime=148.028  cpuTime=146.96  mem=39M390
157.44	   
157.44	   search
157.44	     run=8  nbConstraintChecks=130498843  nbAssignments=90000
157.44	       =>  wckTime=153.463  cpuTime=152.37  mem=39M390
163.80	   
163.80	   search
163.80	     run=9  nbConstraintChecks=136126586  nbAssignments=100000
163.80	       =>  wckTime=159.816  cpuTime=158.67  mem=39M390
169.43	   
169.43	   search
169.43	     run=10  nbConstraintChecks=140882486  nbAssignments=107621
169.43	       =>  wckTime=165.452  cpuTime=164.29  mem=39M390
169.44	   
169.44	   global
169.44	     nbConstraintChecks=140882486  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
169.44	     solvingWckTime=165.445  solvingCpuTime=164.29  expiredTime=no  totalExploration=no  nbFoundSolutions=0
169.44	     globalCpuTime=167.33
169.44	       =>  wckTime=169.131  cpuTime=167.27  mem=39M390
169.44	   
169.44	   solver IterativeSystematicSolver being built... 
170.09	       =>  wckTime=169.784  cpuTime=167.76  mem=49M494
170.16	   
170.16	   preprocessing
170.16	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
170.16	     detectedInconsistency=no
170.16	       =>  wckTime=0.064  cpuTime=0.05  mem=50M502
427.91	   
427.91	   search
427.91	     run=0  nbConstraintChecks=16082296  nbValidityChecks=2714501  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
427.91	     nbAssignments=1059  nbFailedAssignments=39  nbBacktracks=11  nbVisitedNodes=1102  nbRestartNogoods=0
427.91	       =>  wckTime=257.818  cpuTime=256.35  mem=50M502
652.55	   
652.55	   search
652.55	     run=1  nbConstraintChecks=32076923  nbValidityChecks=5448250  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
652.55	     nbAssignments=2119  nbFailedAssignments=71  nbBacktracks=28  nbVisitedNodes=2199  nbRestartNogoods=37
652.55	       =>  wckTime=482.454  cpuTime=479.76  mem=50M502
779.32	   
779.33	   search
779.33	     run=2  nbConstraintChecks=47250216  nbValidityChecks=8008973  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
779.33	     nbAssignments=3160  nbFailedAssignments=77  nbBacktracks=51  nbVisitedNodes=3252  nbRestartNogoods=67
779.33	       =>  wckTime=609.234  cpuTime=605.84  mem=50M502
936.88	   
936.88	   search
936.88	     run=3  nbConstraintChecks=62756389  nbValidityChecks=10648014  nbPropagations=0  nbRevisions=0
936.88	     nbUselessRevisions=0  nbAssignments=4214  nbFailedAssignments=85  nbBacktracks=84  nbVisitedNodes=4322
936.88	     nbRestartNogoods=71
936.88	       =>  wckTime=766.791  cpuTime=762.53  mem=50M502
1185.92	   
1185.92	   search
1185.92	     run=4  nbConstraintChecks=78996505  nbValidityChecks=13466746  nbPropagations=0  nbRevisions=0
1185.92	     nbUselessRevisions=0  nbAssignments=5291  nbFailedAssignments=99  nbBacktracks=138  nbVisitedNodes=5427
1185.92	     nbRestartNogoods=73
1185.92	       =>  wckTime=1015.83  cpuTime=1010.23  mem=50M502
1508.08	   
1508.08	   search
1508.08	     run=5  nbConstraintChecks=95961635  nbValidityChecks=16458481  nbPropagations=0  nbRevisions=0
1508.08	     nbUselessRevisions=0  nbAssignments=6394  nbFailedAssignments=118  nbBacktracks=214  nbVisitedNodes=6568
1508.08	     nbRestartNogoods=75
1508.08	       =>  wckTime=1337.988  cpuTime=1330.63  mem=50M502
1984.96	   
1984.96	   search
1984.96	     run=6  nbConstraintChecks=114276635  nbValidityChecks=19775591  nbPropagations=0  nbRevisions=0
1984.96	     nbUselessRevisions=0  nbAssignments=7543  nbFailedAssignments=147  nbBacktracks=327  nbVisitedNodes=7775
1984.96	     nbRestartNogoods=78
1984.96	       =>  wckTime=1814.866  cpuTime=1804.94  mem=50M502
2249.60	   
2249.60	   search
2249.60	     run=7  nbConstraintChecks=136590206  nbValidityChecks=24097480  nbPropagations=0  nbRevisions=0
2249.60	     nbUselessRevisions=0  nbAssignments=8897  nbFailedAssignments=171  nbBacktracks=546  nbVisitedNodes=9251
2249.60	     nbRestartNogoods=81
2249.60	       =>  wckTime=2079.505  cpuTime=2068.15  mem=50M502
2413.38	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

Verifier Data (download as text)

11 unsatisfied constraints, 26307 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-275736-1169226267 -o ROOT/results/node29/solver-275736-1169226267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275736-1169226267/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: 1.92 2.00 1.93 4/82 11227
/proc/meminfo: memFree=1389952/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=18540 CPUtime=0
/proc/11226/stat : 11226 (runsolver) R 11224 11226 10810 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271020905 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11226/statm: 4635 279 244 17 0 2626 0

[startup+0.104472 s]
/proc/loadavg: 1.92 2.00 1.93 4/82 11227
/proc/meminfo: memFree=1389952/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=915732 CPUtime=0.07
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 2968 0 1 0 6 1 0 0 21 0 8 0 271020905 937709568 2714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942674 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 228933 2714 1423 14 0 215428 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 915732

[startup+0.515501 s]
/proc/loadavg: 1.92 2.00 1.93 4/82 11227
/proc/meminfo: memFree=1389952/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=915964 CPUtime=0.47
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 6501 0 1 0 43 4 0 0 16 0 8 0 271020905 937947136 6240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11226/statm: 228991 6240 2138 14 0 215461 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915964

[startup+1.34236 s]
/proc/loadavg: 1.92 2.00 1.93 2/88 11236
/proc/meminfo: memFree=1329168/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916256 CPUtime=1.29
/proc/11226/stat : 11226 (java) S 11224 11226 10810 0 -1 0 18714 0 1 0 119 10 0 0 17 0 8 0 271020905 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11226/statm: 229064 18452 2159 14 0 215534 0
[pid=11226/tid=11230] ppid=11224 vsize=916256 CPUtime=0.06
/proc/11226/task/11230/stat : 11230 (java) R 11224 11226 10810 0 -1 64 2152 0 0 0 6 0 0 0 16 0 8 0 271020910 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822828 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271020910 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916256 CPUtime=0.14
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 413 0 0 0 14 0 0 0 16 0 8 0 271020913 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938246144 18452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916256

[startup+2.98847 s]
/proc/loadavg: 1.85 1.99 1.93 3/100 11281
/proc/meminfo: memFree=1282608/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916256 CPUtime=2.93
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 19929 0 1 0 214 79 0 0 18 0 8 0 271020905 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229064 19664 2179 14 0 215534 0
[pid=11226/tid=11230] ppid=11224 vsize=916256 CPUtime=0.15
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 3283 0 0 0 14 1 0 0 17 0 8 0 271020910 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271020910 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916256 CPUtime=0.18
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 433 0 0 0 18 0 0 0 15 0 8 0 271020913 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916256 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938246144 19664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 916256

[startup+6.26767 s]
/proc/loadavg: 1.85 1.99 1.93 3/100 11281
/proc/meminfo: memFree=1173872/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916348 CPUtime=6.19
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 28007 0 1 0 500 119 0 0 25 0 8 0 271020905 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229087 27720 2492 14 0 215557 0
[pid=11226/tid=11230] ppid=11224 vsize=916348 CPUtime=0.47
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11005 0 0 0 43 4 0 0 16 0 8 0 271020910 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916348 CPUtime=0.22
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 454 0 0 0 21 1 0 0 15 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 916348

[startup+12.7601 s]
/proc/loadavg: 1.87 1.99 1.93 3/100 11281
/proc/meminfo: memFree=1090936/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916348 CPUtime=12.64
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 28007 0 1 0 1139 125 0 0 25 0 8 0 271020905 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229087 27720 2492 14 0 215557 0
[pid=11226/tid=11230] ppid=11224 vsize=916348 CPUtime=0.47
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11005 0 0 0 43 4 0 0 16 0 8 0 271020910 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916348 CPUtime=0.22
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 454 0 0 0 21 1 0 0 15 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938340352 27720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 916348

[startup+25.6199 s]
/proc/loadavg: 1.89 1.99 1.93 3/100 11281
/proc/meminfo: memFree=1091136/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916348 CPUtime=25.4
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 28017 0 1 0 2405 135 0 0 25 0 8 0 271020905 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937338 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229087 27728 2492 14 0 215557 0
[pid=11226/tid=11230] ppid=11224 vsize=916348 CPUtime=0.47
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11005 0 0 0 43 4 0 0 16 0 8 0 271020910 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916348 CPUtime=0.24
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 462 0 0 0 23 1 0 0 16 0 8 0 271020913 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938340352 27728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 916348

[startup+51.2415 s]
/proc/loadavg: 1.93 1.99 1.93 3/100 11281
/proc/meminfo: memFree=1091008/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916348 CPUtime=50.79
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 28021 0 1 0 4917 162 0 0 25 0 8 0 271020905 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937332 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229087 27731 2492 14 0 215557 0
[pid=11226/tid=11230] ppid=11224 vsize=916348 CPUtime=0.47
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11005 0 0 0 43 4 0 0 16 0 8 0 271020910 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916348 CPUtime=0.24
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 465 0 0 0 23 1 0 0 16 0 8 0 271020913 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938340352 27731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 916348

[startup+102.477 s]
/proc/loadavg: 1.97 1.99 1.93 3/100 11281
/proc/meminfo: memFree=1091136/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916348 CPUtime=101.68
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 28028 0 1 0 9902 266 0 0 25 0 8 0 271020905 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229087 27738 2492 14 0 215557 0
[pid=11226/tid=11230] ppid=11224 vsize=916348 CPUtime=0.47
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11005 0 0 0 43 4 0 0 16 0 8 0 271020910 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271020910 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916348 CPUtime=0.25
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 472 0 0 0 24 1 0 0 16 0 8 0 271020913 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916348 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 916348

[startup+162.549 s]
/proc/loadavg: 2.04 2.00 1.93 3/100 11281
/proc/meminfo: memFree=1091200/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916348 CPUtime=161.41
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 28028 0 1 0 15487 654 0 0 25 0 8 0 271020905 938340352 27738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2013.01
Current children cumulated vsize (KiB) 916508

[startup+2084.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/100 11283
/proc/meminfo: memFree=1065216/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916508 CPUtime=2072.77
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 29126 0 1 0 206574 703 0 0 25 0 8 0 271020905 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074248073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229127 28812 2543 14 0 215597 0
[pid=11226/tid=11230] ppid=11224 vsize=916508 CPUtime=0.55
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11855 0 0 0 50 5 0 0 16 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916508 CPUtime=0.44
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 598 0 0 0 42 2 0 0 16 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2072.77
Current children cumulated vsize (KiB) 916508

[startup+2144.36 s]
/proc/loadavg: 2.04 2.03 1.98 3/100 11283
/proc/meminfo: memFree=1065280/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916508 CPUtime=2132.48
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 29126 0 1 0 212545 703 0 0 25 0 8 0 271020905 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074284363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229127 28812 2543 14 0 215597 0
[pid=11226/tid=11230] ppid=11224 vsize=916508 CPUtime=0.55
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11855 0 0 0 50 5 0 0 16 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916508 CPUtime=0.44
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 598 0 0 0 42 2 0 0 16 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2132.48
Current children cumulated vsize (KiB) 916508

[startup+2204.4 s]
/proc/loadavg: 2.01 2.02 1.98 3/100 11283
/proc/meminfo: memFree=1065216/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916508 CPUtime=2192.21
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 29126 0 1 0 218518 703 0 0 25 0 8 0 271020905 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074284237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229127 28812 2543 14 0 215597 0
[pid=11226/tid=11230] ppid=11224 vsize=916508 CPUtime=0.55
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11855 0 0 0 50 5 0 0 16 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271020910 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916508 CPUtime=0.44
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 598 0 0 0 42 2 0 0 16 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938504192 28812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.21
Current children cumulated vsize (KiB) 916508

[startup+2264.46 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 11283
/proc/meminfo: memFree=1065280/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916508 CPUtime=2251.95
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 29128 0 1 0 224492 703 0 0 25 0 8 0 271020905 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074087659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229127 28813 2543 14 0 215597 0
[pid=11226/tid=11230] ppid=11224 vsize=916508 CPUtime=0.55
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11855 0 0 0 50 5 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916508 CPUtime=0.44
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 599 0 0 0 42 2 0 0 16 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2251.95
Current children cumulated vsize (KiB) 916508

[startup+2324.52 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 11283
/proc/meminfo: memFree=1065216/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916508 CPUtime=2311.67
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 29128 0 1 0 230464 703 0 0 25 0 8 0 271020905 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074087631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229127 28813 2543 14 0 215597 0
[pid=11226/tid=11230] ppid=11224 vsize=916508 CPUtime=0.55
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11855 0 0 0 50 5 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916508 CPUtime=0.44
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 599 0 0 0 42 2 0 0 16 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2311.67
Current children cumulated vsize (KiB) 916508

[startup+2384.57 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 11283
/proc/meminfo: memFree=1065280/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916508 CPUtime=2371.38
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 29128 0 1 0 236435 703 0 0 25 0 8 0 271020905 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074270406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229127 28813 2543 14 0 215597 0
[pid=11226/tid=11230] ppid=11224 vsize=916508 CPUtime=0.55
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11855 0 0 0 50 5 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916508 CPUtime=0.44
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 599 0 0 0 42 2 0 0 16 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.38
Current children cumulated vsize (KiB) 916508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.37 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 11283
/proc/meminfo: memFree=1065216/2055920 swapFree=4161388/4192956
[pid=11226] ppid=11224 vsize=916508 CPUtime=2400.02
/proc/11226/stat : 11226 (java) R 11224 11226 10810 0 -1 0 29128 0 1 0 239299 703 0 0 25 0 8 0 271020905 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074284295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 229127 28813 2543 14 0 215597 0
[pid=11226/tid=11230] ppid=11224 vsize=916508 CPUtime=0.55
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 10810 0 -1 64 11855 0 0 0 50 5 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271020910 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 10810 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=916508 CPUtime=0.44
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 10810 0 -1 64 599 0 0 0 42 2 0 0 16 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11235] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11235/stat : 11235 (java) S 11224 11226 10810 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11236] ppid=11224 vsize=916508 CPUtime=0
/proc/11226/task/11236/stat : 11236 (java) S 11224 11226 10810 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271020913 938504192 28813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 916508

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

Child status: 143
Real time (s): 2413.43
CPU time (s): 2400.08
CPU user time (s): 2393.03
CPU system time (s): 7.05693
CPU usage (%): 99.4471
Max. virtual memory (cumulated for all children) (KiB): 916508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.03
system time used= 7.05693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29151
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= 50593
involuntary context switches= 132695

runsolver used 2.97555 s user time and 7.9068 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Fri Jan 19 17:04:28 UTC 2007


IDJOB= 275736
IDBENCH= 4653
IDSOLVER= 69
FILE ID= node29/275736-1169226267

PBS_JOBID= 3589204

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/275736-1169226267/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-275736-1169226267 -o ROOT/results/node29/solver-275736-1169226267 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275736-1169226267/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  61921989f4c9e5006b2c7f4d8ca68340

RANDOM SEED= 123047370

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.241
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.241
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:       1390368 kB
Buffers:         39560 kB
Cached:         522444 kB
SwapCached:       2192 kB
Active:         152388 kB
Inactive:       442440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1390368 kB
SwapTotal:     4192956 kB
SwapFree:      4161388 kB
Dirty:            5548 kB
Writeback:           0 kB
Mapped:          48300 kB
Slab:            55600 kB
Committed_AS:  4990728 kB
PageTables:       2272 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= 66547 MiB



End job on node29 on Fri Jan 19 17:44:42 UTC 2007