0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-ddeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1109892-1215813182.xml
0.29/0.32	   
0.29/0.32	   domains being loaded...
0.29/0.33	   
0.29/0.33	   variables being loaded...
0.81/0.90	     nbVariables=20820  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2  nbTotalValues=41636
0.81/0.90	       =>  wckTime=0.642  cpuTime=0.47  mem=21M779
0.81/0.90	   
0.81/0.90	   predicates being loaded...
0.91/0.96	   
0.91/0.96	   constraints being loaded...
8.37/8.42	     nbConstraints=44644  nbSingletonDomainVariables=4  nbConvertedConstraints=28128  nbConvertConstraintsChecks=136
8.37/8.42	     nbExtensionStructures=4  nbSharedExtensionStructures=28124  nbConflictsStructures=9
8.37/8.42	     nbSharedConflictsStructures=44635  nbSharedBinaryRepresentations=10  nbEvaluationManagers=5
8.37/8.42	     nbSharedEvaluationManagers=16511  minDegree=1  maxDegree=17  minArity=2  avgArity=2.42  maxArity=6
8.37/8.42	       =>  wckTime=8.168  cpuTime=6.7  mem=265M67
8.87/8.94	   
8.87/8.94	   solver LocalSearchSolver being built... 
8.87/9.00	       =>  wckTime=8.743  cpuTime=6.74  mem=266M842
8.97/9.10	
8.97/9.10	s SATISFIABLE
8.97/9.10	o 8907
9.07/9.11	o 8899
9.07/9.13	o 8891
9.07/9.14	o 8883
9.07/9.15	o 8876
9.07/9.16	o 8869
9.07/9.17	o 8862
9.07/9.18	o 8855
9.07/9.19	o 8848
9.07/9.20	o 8842
9.16/9.21	o 8836
9.16/9.22	o 8830
9.16/9.23	o 8824
9.16/9.24	o 8818
9.16/9.25	o 8812
9.16/9.26	o 8806
9.16/9.27	o 8800
9.16/9.28	o 8794
9.16/9.29	o 8788
9.16/9.30	o 8782
9.26/9.30	o 8776
9.26/9.32	o 8770
9.26/9.32	o 8764
9.26/9.33	o 8758
9.26/9.34	o 8752
9.26/9.35	o 8746
9.26/9.36	o 8740
9.26/9.37	o 8734
9.26/9.38	o 8729
9.26/9.39	o 8724
9.36/9.40	o 8719
9.36/9.41	o 8714
9.36/9.42	o 8709
9.36/9.43	o 8704
9.36/9.44	o 8699
9.36/9.45	o 8694
9.36/9.46	o 8689
9.36/9.47	o 8684
9.36/9.48	o 8679
9.36/9.49	o 8674
9.36/9.50	o 8669
9.46/9.51	o 8664
9.46/9.52	o 8659
9.46/9.53	o 8654
9.46/9.54	o 8649
9.46/9.55	o 8644
9.46/9.56	o 8639
9.46/9.57	o 8634
9.46/9.58	o 8629
9.46/9.58	o 8624
9.46/9.59	o 8619
9.56/9.60	o 8614
9.56/9.62	o 8609
9.56/9.63	o 8604
9.56/9.64	o 8599
9.56/9.65	o 8594
9.56/9.66	o 8589
9.56/9.67	o 8584
9.56/9.68	o 8579
9.56/9.69	o 8574
9.56/9.70	o 8569
9.66/9.71	o 8564
9.66/9.72	o 8559
9.66/9.73	o 8554
9.66/9.74	o 8549
9.66/9.75	o 8544
9.66/9.76	o 8539
9.66/9.77	o 8534
9.66/9.78	o 8529
9.66/9.79	o 8524
9.66/9.80	o 8519
9.76/9.81	o 8514
9.76/9.82	o 8509
9.76/9.83	o 8504
9.76/9.84	o 8499
9.76/9.85	o 8494
9.76/9.86	o 8489
9.76/9.87	o 8484
9.76/9.88	o 8479
9.76/9.89	o 8474
9.76/9.90	o 8469
9.86/9.91	o 8464
9.86/9.92	o 8459
9.86/9.93	o 8454
9.86/9.94	o 8449
9.86/9.95	o 8444
9.86/9.96	o 8439
9.86/9.96	o 8434
9.86/9.97	o 8429
9.86/9.98	o 8424
9.86/9.99	o 8419
9.95/10.00	o 8414
9.95/10.02	o 8409
9.95/10.03	o 8404
9.95/10.04	o 8399
9.95/10.05	o 8394
9.95/10.06	o 8389
9.95/10.07	o 8384
9.95/10.08	o 8379
9.95/10.09	o 8374
10.04/10.10	o 8369
10.04/10.12	o 8364
10.04/10.13	o 8359
10.04/10.14	o 8354
10.04/10.15	o 8349
10.04/10.16	o 8344
10.04/10.17	o 8339
10.04/10.18	o 8334
10.04/10.19	o 8329
10.15/10.20	o 8324
10.15/10.21	o 8319
10.15/10.22	o 8314
10.15/10.23	o 8309
10.15/10.24	o 8304
10.15/10.26	o 8299
10.15/10.27	o 8294
10.15/10.28	o 8289
10.15/10.29	o 8284
10.15/10.30	o 8279
10.25/10.31	o 8274
10.25/10.32	o 8270
10.25/10.33	o 8266
10.25/10.34	o 8262
10.25/10.35	o 8258
10.25/10.36	o 8254
10.25/10.37	o 8250
10.25/10.38	o 8246
10.25/10.39	o 8242
10.35/10.41	o 8238
10.35/10.42	o 8234
10.35/10.43	o 8230
10.35/10.45	o 8226
10.35/10.46	o 8222
10.35/10.47	o 8218
10.35/10.49	o 8214
10.44/10.50	o 8210
10.44/10.52	o 8206
10.44/10.53	o 8202
10.44/10.54	o 8198
10.44/10.55	o 8194
10.44/10.56	o 8190
10.44/10.57	o 8186
10.44/10.58	o 8182
10.44/10.59	o 8178
10.54/10.60	o 8174
10.54/10.61	o 8170
10.54/10.62	o 8166
10.54/10.63	o 8162
10.54/10.64	o 8158
10.54/10.65	o 8154
10.54/10.66	o 8150
10.54/10.67	o 8146
10.54/10.68	o 8142
10.54/10.69	o 8138
10.64/10.71	o 8134
10.64/10.72	o 8130
10.64/10.74	o 8126
10.64/10.75	o 8122
10.64/10.77	o 8118
10.64/10.78	o 8114
10.64/10.79	o 8110
10.74/10.80	o 8106
10.74/10.81	o 8102
10.74/10.82	o 8098
10.74/10.83	o 8094
10.74/10.84	o 8090
10.74/10.86	o 8086
10.74/10.87	o 8082
10.74/10.88	o 8078
10.74/10.89	o 8074
10.74/10.90	o 8070
10.85/10.91	o 8066
10.85/10.92	o 8062
10.85/10.93	o 8058
10.85/10.94	o 8054
10.85/10.95	o 8050
10.85/10.96	o 8046
10.85/10.97	o 8042
10.85/10.98	o 8038
10.85/10.99	o 8034
10.94/11.01	o 8030
10.94/11.02	o 8026
10.94/11.03	o 8022
10.94/11.04	o 8018
10.94/11.05	o 8014
10.94/11.06	o 8010
10.94/11.07	o 8006
10.94/11.08	o 8002
10.94/11.09	o 7998
11.03/11.10	o 7994
11.03/11.12	o 7990
11.03/11.13	o 7986
11.03/11.14	o 7982
11.03/11.15	o 7978
11.03/11.16	o 7974
11.03/11.17	o 7970
11.03/11.18	o 7966
11.03/11.19	o 7962
11.13/11.20	o 7958
11.13/11.21	o 7954
11.13/11.22	o 7950
11.13/11.23	o 7946
11.13/11.24	o 7942
11.13/11.25	o 7938
11.13/11.26	o 7934
11.13/11.27	o 7930
11.13/11.28	o 7926
11.13/11.29	o 7922
11.22/11.30	o 7918
11.22/11.31	o 7914
11.22/11.33	o 7910
11.22/11.34	o 7906
11.22/11.35	o 7902
11.22/11.36	o 7898
11.22/11.37	o 7894
11.22/11.38	o 7890
11.22/11.39	o 7886
11.22/11.40	o 7882
11.33/11.41	o 7878
11.33/11.42	o 7874
11.33/11.43	o 7870
11.33/11.44	o 7866
11.33/11.45	o 7862
11.33/11.46	o 7858
11.33/11.47	o 7854
11.33/11.48	o 7850
11.33/11.49	o 7846
11.43/11.50	o 7842
11.43/11.51	o 7838
11.43/11.52	o 7834
11.43/11.53	o 7830
11.43/11.54	o 7826
11.43/11.55	o 7822
11.43/11.56	o 7818
11.43/11.57	o 7814
11.43/11.58	o 7810
11.43/11.59	o 7806
11.53/11.60	o 7802
11.53/11.61	o 7798
11.53/11.62	o 7794
11.53/11.63	o 7790
11.53/11.64	o 7786
11.53/11.65	o 7782
11.53/11.66	o 7778
11.53/11.67	o 7774
11.53/11.68	o 7770
11.53/11.69	o 7766
11.62/11.70	o 7762
11.62/11.71	o 7758
11.62/11.72	o 7754
11.62/11.73	o 7750
11.62/11.74	o 7746
11.62/11.75	o 7742
11.62/11.76	o 7738
11.62/11.77	o 7734
11.62/11.78	o 7730
11.62/11.79	o 7726
11.73/11.80	o 7722
11.73/11.81	o 7718
11.73/11.82	o 7714
11.73/11.83	o 7710
11.73/11.84	o 7706
11.73/11.85	o 7702
11.73/11.86	o 7698
11.73/11.87	o 7694
11.73/11.88	o 7690
11.73/11.89	o 7686
11.73/11.90	o 7682
11.82/11.91	o 7678
11.82/11.92	o 7674
11.82/11.93	o 7670
11.82/11.94	o 7666
11.82/11.95	o 7662
11.82/11.96	o 7658
11.82/11.97	o 7654
11.82/11.98	o 7650
11.82/11.98	o 7646
11.82/11.99	o 7642
11.92/12.00	o 7638
11.92/12.01	o 7634
11.92/12.02	o 7630
11.92/12.03	o 7626
11.92/12.04	o 7622
11.92/12.05	o 7618
11.92/12.06	o 7614
11.92/12.07	o 7610
11.92/12.08	o 7606
11.92/12.09	o 7602
11.92/12.10	o 7599
12.02/12.11	o 7596
12.02/12.12	o 7593
12.02/12.13	o 7590
12.02/12.14	o 7587
12.02/12.15	o 7584
12.02/12.16	o 7581
12.02/12.17	o 7578
12.02/12.19	o 7575
12.02/12.20	o 7572
12.11/12.21	o 7569
12.11/12.22	o 7566
12.11/12.23	o 7563
12.11/12.24	o 7560
12.11/12.25	o 7557
12.11/12.26	o 7554
12.11/12.27	o 7551
12.11/12.28	o 7548
12.11/12.29	o 7545
12.22/12.30	o 7542
12.22/12.31	o 7539
12.22/12.32	o 7536
12.22/12.33	o 7533
12.22/12.34	o 7530
12.22/12.35	o 7527
12.22/12.36	o 7524
12.22/12.37	o 7521
12.22/12.38	o 7518
12.22/12.40	o 7515
12.31/12.41	o 7512
12.31/12.42	o 7509
12.31/12.43	o 7506
12.31/12.44	o 7503
12.31/12.45	o 7500
12.31/12.46	o 7497
12.31/12.47	o 7494
12.31/12.48	o 7491
12.31/12.49	o 7488
12.41/12.50	o 7485
12.41/12.51	o 7482
12.41/12.52	o 7479
12.41/12.53	o 7476
12.41/12.55	o 7473
12.41/12.56	o 7470
12.41/12.57	o 7467
12.41/12.58	o 7464
12.41/12.59	o 7461
12.51/12.60	o 7458
12.51/12.61	o 7455
12.51/12.62	o 7452
12.51/12.63	o 7449
12.51/12.64	o 7446
12.51/12.65	o 7443
12.51/12.66	o 7440
12.51/12.67	o 7437
12.51/12.68	o 7434
12.51/12.70	o 7431
12.61/12.71	o 7428
12.61/12.72	o 7425
12.61/12.73	o 7422
12.61/12.74	o 7419
12.61/12.75	o 7416
12.61/12.76	o 7413
12.61/12.77	o 7410
12.61/12.78	o 7407
12.61/12.79	o 7404
12.61/12.80	o 7401
12.71/12.81	o 7398
12.71/12.82	o 7395
12.71/12.83	o 7392
12.71/12.84	o 7389
12.71/12.85	o 7386
12.71/12.86	o 7383
12.71/12.87	o 7380
12.71/12.88	o 7377
12.71/12.89	o 7374
12.71/12.90	o 7371
12.81/12.91	o 7368
12.81/12.92	o 7365
12.81/12.93	o 7362
12.81/12.94	o 7359
12.81/12.95	o 7356
12.81/12.95	o 7353
12.81/12.96	o 7350
12.81/12.97	o 7347
12.81/12.98	o 7344
12.81/12.99	o 7341
12.91/13.00	o 7338
12.91/13.01	o 7335
12.91/13.02	o 7332
12.91/13.03	o 7329
12.91/13.04	o 7326
12.91/13.05	o 7323
12.91/13.06	o 7320
12.91/13.07	o 7317
12.91/13.08	o 7314
12.91/13.09	o 7311
12.91/13.10	o 7308
13.01/13.11	o 7305
13.01/13.12	o 7302
13.01/13.13	o 7299
13.01/13.14	o 7296
13.01/13.15	o 7293
13.01/13.16	o 7290
13.01/13.17	o 7287
13.01/13.18	o 7284
13.01/13.19	o 7281
13.01/13.20	o 7278
13.11/13.21	o 7275
13.11/13.22	o 7272
13.11/13.23	o 7269
13.11/13.24	o 7266
13.11/13.25	o 7263
13.11/13.26	o 7260
13.11/13.27	o 7257
13.11/13.28	o 7254
13.11/13.29	o 7251
13.20/13.30	o 7248
13.20/13.32	o 7245
13.20/13.33	o 7242
13.20/13.34	o 7239
13.20/13.35	o 7236
13.20/13.36	o 7233
13.20/13.37	o 7230
13.20/13.38	o 7227
13.20/13.39	o 7224
13.30/13.40	o 7221
13.30/13.41	o 7218
13.30/13.42	o 7215
13.30/13.43	o 7212
13.30/13.44	o 7209
13.30/13.45	o 7206
13.30/13.46	o 7203
13.30/13.47	o 7200
13.30/13.48	o 7197
13.30/13.49	o 7194
13.40/13.50	o 7191
13.40/13.51	o 7188
13.40/13.52	o 7185
13.40/13.53	o 7182
13.40/13.54	o 7179
13.40/13.55	o 7176
13.40/13.56	o 7173
13.40/13.57	o 7170
13.40/13.59	o 7167
13.49/13.60	o 7164
13.49/13.61	o 7161
13.49/13.63	o 7158
13.49/13.64	o 7155
13.49/13.65	o 7152
13.49/13.66	o 7149
13.49/13.68	o 7146
13.49/13.69	o 7143
13.59/13.70	o 7140
13.59/13.72	o 7137
13.59/13.73	o 7134
13.59/13.74	o 7131
13.59/13.76	o 7128
13.59/13.77	o 7125
13.59/13.78	o 7122
13.59/13.79	o 7119
13.69/13.81	o 7116
13.69/13.82	o 7113
13.69/13.83	o 7110
13.69/13.85	o 7107
13.69/13.86	o 7104
13.69/13.87	o 7101
13.69/13.88	o 7098
13.79/13.90	o 7095
13.79/13.91	o 7092
13.79/13.92	o 7089
13.79/13.94	o 7086
13.79/13.95	o 7083
13.79/13.96	o 7080
13.79/13.97	o 7077
13.79/13.99	o 7074
13.89/14.00	o 7071
13.89/14.01	o 7068
13.89/14.03	o 7065
13.89/14.04	o 7062
13.89/14.05	o 7059
13.89/14.06	o 7056
13.89/14.08	o 7053
13.89/14.09	o 7050
13.99/14.10	o 7047
13.99/14.11	o 7044
13.99/14.13	o 7041
13.99/14.14	o 7038
13.99/14.15	o 7035
13.99/14.16	o 7032
13.99/14.18	o 7029
13.99/14.19	o 7026
13.99/14.20	o 7023
14.09/14.21	o 7020
14.09/14.23	o 7017
14.09/14.24	o 7014
14.09/14.25	o 7011
14.09/14.26	o 7008
14.09/14.28	o 7005
14.09/14.29	o 7002
14.09/14.30	o 6999
14.20/14.31	o 6996
14.20/14.33	o 6993
14.20/14.34	o 6990
14.20/14.35	o 6987
14.20/14.36	o 6984
14.20/14.38	o 6981
14.20/14.39	o 6978
14.29/14.40	o 6975
14.29/14.42	o 6972
14.29/14.43	o 6969
14.29/14.44	o 6966
14.29/14.46	o 6963
14.29/14.47	o 6960
14.29/14.48	o 6957
14.29/14.49	o 6954
14.38/14.50	o 6951
14.38/14.52	o 6948
14.38/14.53	o 6945
14.38/14.54	o 6942
14.38/14.56	o 6939
14.38/14.57	o 6936
14.38/14.58	o 6933
14.38/14.59	o 6930
14.48/14.61	o 6927
14.48/14.62	o 6924
14.48/14.63	o 6921
14.48/14.64	o 6918
14.48/14.66	o 6915
14.48/14.67	o 6912
14.48/14.68	o 6909
14.48/14.69	o 6906
14.59/14.70	o 6903
14.59/14.72	o 6900
14.59/14.73	o 6897
14.59/14.74	o 6894
14.59/14.75	o 6891
14.59/14.76	o 6888
14.59/14.78	o 6885
14.59/14.79	o 6882
14.69/14.80	o 6879
14.69/14.81	o 6876
14.69/14.83	o 6873
14.69/14.84	o 6870
14.69/14.86	o 6867
14.69/14.88	o 6864
14.69/14.89	o 6861
14.79/14.91	o 6858
14.79/14.92	o 6855
14.79/14.94	o 6852
14.79/14.95	o 6849
14.79/14.96	o 6846
14.79/14.98	o 6843
14.79/14.99	o 6840
14.88/15.00	o 6837
14.88/15.02	o 6834
14.88/15.03	o 6831
14.88/15.04	o 6828
14.88/15.05	o 6825
14.88/15.07	o 6822
14.88/15.08	o 6819
14.88/15.09	o 6816
14.98/15.11	o 6813
14.98/15.12	o 6810
14.98/15.14	o 6807
14.98/15.16	o 6804
14.98/15.17	o 6801
14.98/15.19	o 6798
15.08/15.20	o 6795
15.08/15.22	o 6792
15.08/15.24	o 6789
15.08/15.25	o 6786
15.08/15.26	o 6783
15.08/15.27	o 6780
15.08/15.28	o 6777
15.08/15.30	o 6774
15.19/15.31	o 6771
15.19/15.32	o 6768
15.19/15.33	o 6765
15.19/15.34	o 6762
15.19/15.35	o 6759
15.19/15.36	o 6756
15.19/15.37	o 6753
15.19/15.39	o 6750
15.19/15.40	o 6747
15.29/15.41	o 6744
15.29/15.42	o 6741
15.29/15.43	o 6738
15.29/15.44	o 6735
15.29/15.45	o 6732
15.29/15.46	o 6729
15.29/15.47	o 6726
15.29/15.49	o 6723
15.29/15.50	o 6720
15.38/15.51	o 6717
15.38/15.52	o 6714
15.38/15.54	o 6711
15.38/15.55	o 6708
15.38/15.56	o 6705
15.38/15.57	o 6702
15.38/15.58	o 6699
15.38/15.59	o 6696
15.48/15.60	o 6693
15.48/15.61	o 6690
15.48/15.62	o 6687
15.48/15.63	o 6684
15.48/15.65	o 6681
15.48/15.66	o 6678
15.48/15.67	o 6675
15.48/15.68	o 6672
15.48/15.69	o 6669
15.57/15.70	o 6666
15.57/15.71	o 6663
15.57/15.72	o 6660
15.57/15.73	o 6657
15.57/15.75	o 6654
15.57/15.76	o 6651
15.57/15.77	o 6648
15.57/15.78	o 6645
15.57/15.79	o 6642
15.67/15.80	o 6639
15.67/15.81	o 6636
15.67/15.82	o 6633
15.67/15.83	o 6630
15.67/15.84	o 6627
15.67/15.85	o 6624
15.67/15.86	o 6621
15.67/15.87	o 6618
15.67/15.89	o 6615
15.67/15.90	o 6612
15.77/15.91	o 6609
15.77/15.92	o 6606
15.77/15.93	o 6603
15.77/15.94	o 6600
15.77/15.95	o 6597
15.77/15.96	o 6594
15.77/15.97	o 6591
15.77/15.98	o 6588
15.77/15.99	o 6585
15.87/16.00	o 6582
15.87/16.02	o 6579
15.87/16.03	o 6576
15.87/16.04	o 6573
15.87/16.05	o 6570
15.87/16.06	o 6567
15.87/16.07	o 6564
15.87/16.08	o 6561
15.87/16.09	o 6558
15.97/16.10	o 6555
15.97/16.11	o 6552
15.97/16.12	o 6549
15.97/16.13	o 6546
15.97/16.14	o 6543
15.97/16.15	o 6540
15.97/16.16	o 6537
15.97/16.17	o 6534
15.97/16.18	o 6531
15.97/16.19	o 6528
16.08/16.21	o 6525
16.08/16.22	o 6522
16.08/16.23	o 6519
16.08/16.24	o 6516
16.08/16.25	o 6513
16.08/16.26	o 6510
16.08/16.27	o 6507
16.08/16.28	o 6504
16.08/16.29	o 6501
16.17/16.30	o 6498
16.17/16.31	o 6495
16.17/16.32	o 6492
16.17/16.33	o 6489
16.17/16.34	o 6486
16.17/16.35	o 6483
16.17/16.36	o 6480
16.17/16.37	o 6477
16.17/16.38	o 6474
16.17/16.39	o 6471
16.27/16.40	o 6468
16.27/16.42	o 6465
16.27/16.43	o 6462
16.27/16.44	o 6459
16.27/16.45	o 6456
16.27/16.46	o 6453
16.27/16.47	o 6450
16.27/16.48	o 6447
16.27/16.49	o 6444
16.27/16.50	o 6441
16.37/16.51	o 6438
16.37/16.52	o 6435
16.37/16.53	o 6432
16.37/16.54	o 6429
16.37/16.55	o 6426
16.37/16.56	o 6423
16.37/16.57	o 6420
16.37/16.58	o 6417
16.37/16.59	o 6414
16.47/16.60	o 6411
16.47/16.62	o 6408
16.47/16.63	o 6405
16.47/16.64	o 6402
16.47/16.65	o 6399
16.47/16.66	o 6396
16.47/16.67	o 6393
16.47/16.68	o 6390
16.47/16.69	o 6387
16.47/16.70	o 6384
16.57/16.71	o 6381
16.57/16.72	o 6378
16.57/16.73	o 6375
16.57/16.74	o 6372
16.57/16.75	o 6369
16.57/16.76	o 6366
16.57/16.77	o 6363
16.57/16.78	o 6360
16.57/16.79	o 6357
16.66/16.80	o 6354
16.66/16.81	o 6351
16.66/16.82	o 6348
16.66/16.83	o 6345
16.66/16.84	o 6342
16.66/16.85	o 6339
16.66/16.87	o 6336
16.66/16.88	o 6333
16.66/16.89	o 6331
16.76/16.90	o 6329
16.76/16.91	o 6327
16.76/16.92	o 6325
16.76/16.93	o 6323
16.76/16.94	o 6321
16.76/16.96	o 6319
16.76/16.97	o 6317
16.76/16.98	o 6315
16.76/16.99	o 6313
16.86/17.00	o 6311
16.86/17.01	o 6309
16.86/17.03	o 6307
16.86/17.04	o 6305
16.86/17.05	o 6303
16.86/17.06	o 6301
16.86/17.07	o 6299
16.86/17.08	o 6297
16.86/17.09	o 6295
16.96/17.10	o 6293
16.96/17.11	o 6291
16.96/17.13	o 6289
16.96/17.14	o 6287
16.96/17.15	o 6285
16.96/17.16	o 6283
16.96/17.17	o 6281
16.96/17.18	o 6279
16.96/17.19	o 6277
17.05/17.20	o 6275
17.05/17.21	o 6273
17.05/17.22	o 6271
17.05/17.23	o 6269
17.05/17.24	o 6267
17.05/17.26	o 6265
17.05/17.27	o 6263
17.05/17.28	o 6261
17.05/17.29	o 6259
17.05/17.30	o 6257
17.16/17.31	o 6255
17.16/17.32	o 6253
17.16/17.33	o 6251
17.16/17.34	o 6249
17.16/17.35	o 6247
17.16/17.36	o 6245
17.16/17.37	o 6243
17.16/17.38	o 6241
17.16/17.39	o 6239
17.26/17.40	o 6237
17.26/17.41	o 6235
17.26/17.42	o 6233
17.26/17.44	o 6231
17.26/17.45	o 6229
17.26/17.46	o 6227
17.26/17.47	o 6225
17.26/17.48	o 6223
17.26/17.49	o 6221
17.26/17.50	o 6219
17.36/17.51	o 6217
17.36/17.52	o 6215
17.36/17.53	o 6213
17.36/17.54	o 6211
17.36/17.55	o 6209
17.36/17.56	o 6207
17.36/17.57	o 6205
17.36/17.58	o 6203
17.36/17.59	o 6201
17.36/17.60	o 6199
17.46/17.61	o 6197
17.46/17.62	o 6195
17.46/17.63	o 6193
17.46/17.64	o 6191
17.46/17.65	o 6189
17.46/17.66	o 6187
17.46/17.67	o 6185
17.46/17.68	o 6183
17.46/17.69	o 6181
17.55/17.70	o 6179
17.55/17.72	o 6177
17.55/17.73	o 6175
17.55/17.74	o 6173
17.55/17.75	o 6171
17.55/17.76	o 6169
17.55/17.77	o 6167
17.55/17.78	o 6165
17.55/17.79	o 6163
17.65/17.80	o 6161
17.65/17.81	o 6159
17.65/17.82	o 6157
17.65/17.83	o 6155
17.65/17.84	o 6153
17.65/17.86	o 6151
17.65/17.87	o 6149
17.65/17.88	o 6147
17.65/17.89	o 6145
17.65/17.90	o 6143
17.75/17.91	o 6141
17.75/17.92	o 6139
17.75/17.93	o 6137
17.75/17.94	o 6135
17.75/17.95	o 6133
17.75/17.96	o 6131
17.75/17.97	o 6129
17.75/17.98	o 6127
17.75/17.99	o 6125
17.84/18.00	o 6123
17.84/18.01	o 6121
17.84/18.02	o 6119
17.84/18.03	o 6117
17.84/18.04	o 6115
17.84/18.05	o 6113
17.84/18.06	o 6111
17.84/18.07	o 6109
17.84/18.08	o 6107
17.84/18.09	o 6105
17.94/18.10	o 6103
17.94/18.12	o 6101
17.94/18.13	o 6099
17.94/18.14	o 6097
17.94/18.15	o 6095
17.94/18.16	o 6093
17.94/18.17	o 6091
17.94/18.18	o 6089
17.94/18.19	o 6087
17.94/18.20	o 6085
18.04/18.21	o 6083
18.04/18.22	o 6081
18.04/18.23	o 6079
18.04/18.24	o 6077
18.04/18.25	o 6075
18.04/18.26	o 6073
18.04/18.27	o 6071
18.04/18.28	o 6069
18.04/18.29	o 6067
18.04/18.30	o 6065
18.15/18.31	o 6063
18.15/18.32	o 6061
18.15/18.33	o 6059
18.15/18.34	o 6057
18.15/18.35	o 6055
18.15/18.36	o 6053
18.15/18.37	o 6051
18.15/18.38	o 6049
18.15/18.39	o 6047
18.24/18.40	o 6045
18.24/18.41	o 6043
18.24/18.42	o 6041
18.24/18.43	o 6039
18.24/18.44	o 6037
18.24/18.45	o 6035
18.24/18.46	o 6033
18.24/18.47	o 6031
18.24/18.48	o 6029
18.24/18.49	o 6027
18.34/18.50	o 6025
18.34/18.51	o 6023
18.34/18.52	o 6021
18.34/18.53	o 6019
18.34/18.54	o 6017
18.34/18.55	o 6015
18.34/18.56	o 6013
18.34/18.57	o 6011
18.34/18.58	o 6009
18.34/18.59	o 6007
18.34/18.60	o 6005
18.44/18.61	o 6003
18.44/18.62	o 6001
18.44/18.63	o 5999
18.44/18.64	o 5997
18.44/18.65	o 5995
18.44/18.66	o 5993
18.44/18.67	o 5991
18.44/18.68	o 5989
18.44/18.68	o 5987
18.44/18.69	o 5985
18.55/18.70	o 5983
18.55/18.71	o 5981
18.55/18.72	o 5979
18.55/18.73	o 5977
18.55/18.74	o 5975
18.55/18.75	o 5973
18.55/18.76	o 5971
18.55/18.77	o 5969
18.55/18.78	o 5967
18.55/18.79	o 5965
18.65/18.80	o 5963
18.65/18.82	o 5961
18.65/18.83	o 5959
18.65/18.83	o 5957
18.65/18.84	o 5955
18.65/18.85	o 5953
18.65/18.86	o 5951
18.65/18.87	o 5949
18.65/18.88	o 5947
18.65/18.89	o 5945
18.74/18.90	o 5943
18.74/18.91	o 5941
18.74/18.92	o 5939
18.74/18.93	o 5937
18.74/18.94	o 5935
18.74/18.95	o 5933
18.74/18.96	o 5931
18.74/18.97	o 5929
18.74/18.98	o 5927
18.74/18.99	o 5925
18.74/19.00	o 5923
18.83/19.01	o 5921
18.83/19.02	o 5919
18.83/19.03	o 5917
18.83/19.04	o 5915
18.83/19.05	o 5913
18.83/19.06	o 5911
18.83/19.06	o 5909
18.83/19.07	o 5907
18.83/19.08	o 5905
18.83/19.09	o 5903
18.93/19.10	o 5901
18.93/19.11	o 5899
18.93/19.12	o 5897
18.93/19.13	o 5895
18.93/19.14	o 5893
18.93/19.15	o 5891
18.93/19.16	o 5889
18.93/19.17	o 5887
18.93/19.18	o 5885
18.93/19.19	o 5883
18.93/19.20	o 5881
19.03/19.21	o 5879
19.03/19.22	o 5877
19.03/19.23	o 5875
19.03/19.24	o 5873
19.03/19.25	o 5871
19.03/19.26	o 5869
19.03/19.27	o 5867
19.03/19.28	o 5865
19.03/19.29	o 5863
19.03/19.30	o 5861
19.13/19.30	o 5859
19.13/19.32	o 5857
19.13/19.33	o 5855
19.13/19.34	o 5853
19.13/19.35	o 5851
19.13/19.36	o 5849
19.13/19.37	o 5847
19.13/19.37	o 5845
19.13/19.39	o 5843
19.13/19.40	o 5841
19.23/19.40	o 5839
19.23/19.42	o 5837
19.23/19.43	o 5835
19.23/19.44	o 5833
19.23/19.45	o 5831
19.23/19.46	o 5829
19.23/19.47	o 5827
19.23/19.48	o 5825
19.23/19.49	o 5823
19.33/19.50	o 5821
19.33/19.51	o 5819
19.33/19.53	o 5817
19.33/19.54	o 5815
19.33/19.55	o 5813
19.33/19.57	o 5811
19.33/19.58	o 5809
19.33/19.60	o 5807
19.43/19.61	o 5805
19.43/19.63	o 5803
19.43/19.64	o 5801
19.43/19.65	o 5799
19.43/19.67	o 5797
19.43/19.68	o 5795
19.43/19.70	o 5793
19.53/19.71	o 5791
19.53/19.72	o 5789
19.53/19.74	o 5787
19.53/19.75	o 5785
19.53/19.77	o 5783
19.53/19.78	o 5781
19.53/19.79	o 5779
19.63/19.81	o 5777
19.63/19.82	o 5775
19.63/19.84	o 5773
19.63/19.85	o 5771
19.63/19.86	o 5769
19.63/19.88	o 5767
19.63/19.89	o 5765
19.72/19.91	o 5763
19.72/19.92	o 5761
19.72/19.94	o 5759
19.72/19.95	o 5757
19.72/19.97	o 5755
19.72/19.98	o 5753
19.72/19.99	o 5751
21.12/21.38	o 5749
21.12/21.38	o 5747
21.12/21.38	o 5745
21.12/21.38	o 5743
21.12/21.38	o 5741
21.12/21.38	o 5739
21.12/21.38	o 5737
21.12/21.38	o 5735
21.12/21.38	o 5733
21.12/21.38	o 5731
21.12/21.38	o 5729
21.12/21.38	o 5727
21.12/21.38	o 5725
21.12/21.38	o 5723
21.12/21.38	o 5721
21.12/21.38	o 5719
21.12/21.38	o 5717
21.12/21.38	o 5715
21.12/21.38	o 5713
21.12/21.38	o 5711
21.12/21.38	o 5709
21.12/21.38	o 5707
21.12/21.38	o 5705
21.12/21.38	o 5703
21.12/21.38	o 5701
21.12/21.38	o 5699
21.12/21.38	o 5697
21.12/21.38	o 5695
21.12/21.38	o 5693
21.12/21.38	o 5691
21.12/21.38	o 5689
21.12/21.38	o 5687
21.12/21.38	o 5685
21.12/21.38	o 5683
21.12/21.38	o 5681
21.12/21.38	o 5679
21.12/21.38	o 5677
21.12/21.38	o 5675
21.12/21.38	o 5673
21.12/21.38	o 5671
21.12/21.38	o 5669
21.12/21.38	o 5667
21.12/21.38	o 5665
21.12/21.38	o 5663
21.12/21.38	o 5661
21.12/21.38	o 5659
21.12/21.38	o 5657
21.12/21.38	o 5655
21.12/21.38	o 5653
21.12/21.38	o 5651
21.12/21.38	o 5649
21.12/21.38	o 5647
21.12/21.38	o 5645
21.12/21.38	o 5643
21.12/21.38	o 5641
21.12/21.38	o 5639
21.12/21.38	o 5637
21.12/21.38	o 5635
21.12/21.38	o 5633
21.12/21.38	o 5631
21.12/21.38	o 5629
21.12/21.38	o 5627
21.12/21.38	o 5625
21.12/21.38	o 5623
21.12/21.38	o 5621
21.12/21.38	o 5619
21.12/21.38	o 5617
21.12/21.38	o 5615
21.12/21.38	o 5613
21.12/21.38	o 5611
21.12/21.38	o 5609
21.12/21.38	o 5607
21.12/21.38	o 5605
21.12/21.38	o 5603
21.12/21.38	o 5601
21.12/21.38	o 5599
21.12/21.38	o 5597
21.12/21.38	o 5595
21.12/21.38	o 5593
21.12/21.38	o 5591
21.12/21.38	o 5589
21.12/21.38	o 5587
21.12/21.38	o 5585
21.12/21.38	o 5583
21.12/21.38	o 5581
21.12/21.38	o 5579
21.12/21.38	o 5577
21.12/21.38	o 5575
21.12/21.38	o 5573
21.12/21.38	o 5571
21.12/21.38	o 5569
21.12/21.38	o 5567
21.12/21.38	o 5565
21.12/21.38	o 5563
21.12/21.38	o 5561
21.12/21.38	o 5559
21.12/21.38	o 5557
21.12/21.38	o 5555
21.12/21.38	o 5553
21.12/21.38	o 5551
21.12/21.38	o 5549
21.12/21.38	o 5547
21.12/21.38	o 5545
21.12/21.39	o 5543
21.21/21.40	o 5541
21.21/21.42	o 5539
21.21/21.43	o 5537
21.21/21.44	o 5535
21.21/21.45	o 5533
21.21/21.47	o 5531
21.21/21.48	o 5529
21.21/21.49	o 5527
21.30/21.51	o 5525
21.30/21.52	o 5523
21.30/21.53	o 5521
21.30/21.54	o 5519
21.30/21.56	o 5517
21.30/21.57	o 5515
21.30/21.58	o 5513
21.30/21.59	o 5511
21.40/21.61	o 5509
21.40/21.62	o 5507
21.40/21.63	o 5505
21.40/21.65	o 5503
21.40/21.66	o 5501
21.40/21.67	o 5499
21.40/21.68	o 5497
21.50/21.70	o 5495
21.50/21.71	o 5493
21.50/21.72	o 5491
21.50/21.73	o 5489
21.50/21.75	o 5487
21.50/21.76	o 5485
21.50/21.77	o 5483
21.50/21.78	o 5481
21.60/21.80	o 5479
21.60/21.81	o 5477
21.60/21.82	o 5475
21.60/21.83	o 5473
21.60/21.85	o 5471
21.60/21.86	o 5469
21.60/21.87	o 5467
21.60/21.88	o 5465
21.70/21.90	o 5463
21.70/21.91	o 5461
21.70/21.93	o 5459
21.70/21.94	o 5457
21.70/21.95	o 5455
21.70/21.96	o 5453
21.70/21.98	o 5451
21.70/21.99	o 5449
21.80/22.00	o 5447
21.80/22.01	o 5445
21.80/22.03	o 5443
21.80/22.04	o 5441
21.80/22.05	o 5439
21.80/22.06	o 5437
21.80/22.08	o 5435
21.80/22.09	o 5433
21.89/22.10	o 5431
21.89/22.11	o 5429
21.89/22.13	o 5427
21.89/22.14	o 5425
21.89/22.15	o 5423
21.89/22.16	o 5421
21.89/22.17	o 5419
21.89/22.19	o 5417
21.99/22.20	o 5415
21.99/22.21	o 5413
21.99/22.22	o 5411
21.99/22.24	o 5409
21.99/22.25	o 5407
21.99/22.26	o 5405
21.99/22.27	o 5403
21.99/22.28	o 5401
22.09/22.30	o 5399
22.09/22.31	o 5397
22.09/22.32	o 5395
22.09/22.33	o 5393
22.09/22.34	o 5391
22.09/22.36	o 5389
22.09/22.37	o 5387
22.09/22.38	o 5385
22.09/22.39	o 5383
22.19/22.41	o 5381
22.19/22.42	o 5379
22.19/22.43	o 5377
22.19/22.44	o 5375
22.19/22.45	o 5373
22.19/22.47	o 5371
22.19/22.48	o 5369
22.19/22.49	o 5367
22.29/22.50	o 5365
22.29/22.51	o 5363
22.29/22.53	o 5361
22.29/22.54	o 5359
22.29/22.55	o 5357
22.29/22.56	o 5355
22.29/22.57	o 5353
22.29/22.58	o 5351
22.29/22.60	o 5349
22.39/22.61	o 5347
22.39/22.62	o 5345
22.39/22.63	o 5343
22.39/22.64	o 5341
22.39/22.65	o 5339
22.39/22.67	o 5337
22.39/22.68	o 5335
22.39/22.69	o 5333
22.48/22.70	o 5331
22.48/22.71	o 5329
22.48/22.73	o 5327
22.48/22.74	o 5325
22.48/22.75	o 5323
22.48/22.76	o 5321
22.48/22.77	o 5319
22.48/22.78	o 5317
22.48/22.79	o 5315
22.58/22.81	o 5313
22.58/22.82	o 5311
22.58/22.83	o 5309
22.58/22.84	o 5307
22.58/22.85	o 5305
22.58/22.86	o 5303
22.58/22.88	o 5301
22.58/22.89	o 5299
22.68/22.90	o 5297
22.68/22.91	o 5295
22.68/22.92	o 5293
22.68/22.93	o 5291
22.68/22.95	o 5289
22.68/22.96	o 5287
22.68/22.97	o 5285
22.68/22.98	o 5283
22.68/22.99	o 5281
22.78/23.01	o 5279
22.78/23.02	o 5277
22.78/23.03	o 5275
22.78/23.04	o 5273
22.78/23.05	o 5271
22.78/23.06	o 5269
22.78/23.08	o 5267
22.78/23.09	o 5265
22.78/23.10	o 5263
22.88/23.11	o 5261
22.88/23.12	o 5259
22.88/23.13	o 5257
22.88/23.14	o 5255
22.88/23.16	o 5253
22.88/23.17	o 5251
22.88/23.18	o 5249
22.88/23.19	o 5247
22.97/23.20	o 5245
22.97/23.21	o 5243
22.97/23.22	o 5241
22.97/23.23	o 5239
22.97/23.25	o 5237
22.97/23.26	o 5235
22.97/23.27	o 5233
22.97/23.28	o 5231
22.97/23.29	o 5229
23.07/23.30	o 5227
23.07/23.31	o 5225
23.07/23.33	o 5223
23.07/23.34	o 5221
23.07/23.35	o 5219
23.07/23.36	o 5217
23.07/23.37	o 5215
23.07/23.38	o 5213
23.07/23.39	o 5211
23.17/23.40	o 5209
23.17/23.41	o 5207
23.17/23.43	o 5205
23.17/23.44	o 5203
23.17/23.45	o 5201
23.17/23.46	o 5199
23.17/23.47	o 5197
23.17/23.48	o 5195
23.17/23.49	o 5193
23.28/23.50	o 5191
23.28/23.51	o 5189
23.28/23.53	o 5187
23.28/23.54	o 5185
23.28/23.55	o 5183
23.28/23.56	o 5181
23.28/23.57	o 5179
23.28/23.58	o 5177
23.28/23.59	o 5175
23.37/23.60	o 5173
23.37/23.61	o 5171
23.37/23.62	o 5169
23.37/23.63	o 5167
23.37/23.65	o 5165
23.37/23.66	o 5163
23.37/23.67	o 5161
23.37/23.68	o 5159
23.37/23.69	o 5157
23.47/23.70	o 5155
23.47/23.71	o 5153
23.47/23.72	o 5151
23.47/23.73	o 5149
23.47/23.74	o 5147
23.47/23.75	o 5145
23.47/23.76	o 5143
23.47/23.78	o 5141
23.47/23.79	o 5139
23.57/23.80	o 5137
23.57/23.81	o 5135
23.57/23.82	o 5133
23.57/23.83	o 5131
23.57/23.84	o 5129
23.57/23.85	o 5127
23.57/23.86	o 5125
23.57/23.87	o 5123
23.57/23.88	o 5121
23.57/23.89	o 5119
23.67/23.91	o 5117
23.67/23.92	o 5115
23.67/23.93	o 5113
23.67/23.94	o 5111
23.67/23.95	o 5109
23.67/23.96	o 5107
23.67/23.97	o 5105
23.67/23.98	o 5103
23.67/23.99	o 5101
23.77/24.00	o 5099
23.77/24.01	o 5097
23.77/24.03	o 5095
23.77/24.04	o 5093
23.77/24.05	o 5091
23.77/24.06	o 5089
23.77/24.07	o 5087
23.77/24.08	o 5085
23.77/24.09	o 5083
23.87/24.11	o 5081
23.87/24.12	o 5079
23.87/24.13	o 5077
23.87/24.14	o 5075
23.87/24.15	o 5073
23.87/24.16	o 5071
23.87/24.17	o 5069
23.87/24.18	o 5067
23.87/24.19	o 5065
23.87/24.20	o 5063
23.96/24.21	o 5061
23.96/24.22	o 5059
23.96/24.23	o 5057
23.96/24.24	o 5055
23.96/24.26	o 5053
23.96/24.27	o 5051
23.96/24.28	o 5049
23.96/24.29	o 5047
24.06/24.30	o 5045
24.06/24.31	o 5043
24.06/24.32	o 5041
24.06/24.33	o 5039
24.06/24.34	o 5037
24.06/24.35	o 5035
24.06/24.36	o 5033
24.06/24.37	o 5031
24.06/24.38	o 5029
24.06/24.39	o 5027
24.15/24.40	o 5025
24.15/24.41	o 5023
24.15/24.42	o 5021
24.15/24.43	o 5019
24.15/24.44	o 5017
24.15/24.46	o 5015
24.15/24.47	o 5013
24.15/24.48	o 5011
24.15/24.49	o 5009
24.26/24.50	o 5007
24.26/24.51	o 5005
24.26/24.52	o 5003
24.26/24.53	o 5001
24.26/24.55	o 4999
24.26/24.56	o 4997
24.26/24.57	o 4995
24.26/24.58	o 4993
24.26/24.59	o 4991
24.36/24.60	o 4989
24.36/24.61	o 4987
24.36/24.62	o 4985
24.36/24.63	o 4983
24.36/24.64	o 4981
24.36/24.66	o 4979
24.36/24.67	o 4977
24.36/24.68	o 4976
24.36/24.69	o 4975
24.46/24.71	o 4974
24.46/24.72	o 4973
24.46/24.73	o 4972
24.46/24.74	o 4971
24.46/24.76	o 4970
24.46/24.77	o 4969
24.46/24.78	o 4968
24.46/24.80	o 4967
24.55/24.81	o 4966
24.55/24.82	o 4965
24.55/24.83	o 4964
24.55/24.85	o 4963
24.55/24.86	o 4962
24.55/24.87	o 4961
24.55/24.88	o 4960
24.65/24.90	o 4959
24.65/24.91	o 4958
24.65/24.92	o 4957
24.65/24.93	o 4956
24.65/24.95	o 4955
24.65/24.96	o 4954
24.65/24.97	o 4953
24.65/24.98	o 4952
24.65/25.00	o 4951
24.75/25.03	o 4950
24.75/25.03	o 4949
24.75/25.04	o 4948
24.75/25.05	o 4947
24.75/25.06	o 4946
24.75/25.08	o 4945
24.75/25.09	o 4944
24.85/25.10	o 4943
24.85/25.11	o 4942
24.85/25.13	o 4941
24.85/25.14	o 4940
24.85/25.15	o 4939
24.85/25.16	o 4938
24.85/25.18	o 4937
24.85/25.19	o 4936
24.96/25.21	o 4935
24.96/25.22	o 4934
24.96/25.23	o 4933
24.96/25.25	o 4932
24.96/25.26	o 4931
24.96/25.27	o 4930
24.96/25.28	o 4929
24.96/25.30	o 4928
25.05/25.31	o 4927
25.05/25.32	o 4926
25.05/25.34	o 4925
25.05/25.35	o 4924
25.05/25.36	o 4923
25.05/25.37	o 4922
25.05/25.39	o 4921
25.15/25.40	o 4920
25.15/25.41	o 4919
25.15/25.42	o 4918
25.15/25.44	o 4917
25.15/25.45	o 4916
25.15/25.46	o 4915
25.15/25.47	o 4914
25.15/25.49	o 4913
25.25/25.50	o 4912
25.25/25.51	o 4911
25.25/25.52	o 4910
25.25/25.54	o 4909
25.25/25.55	o 4908
25.25/25.56	o 4907
25.25/25.57	o 4906
25.25/25.59	o 4905
25.34/25.60	o 4904
25.34/25.61	o 4903
25.34/25.62	o 4902
25.34/25.64	o 4901
25.34/25.65	o 4900
25.34/25.66	o 4899
25.34/25.67	o 4898
25.34/25.69	o 4897
25.34/25.70	o 4896
25.44/25.71	o 4895
25.44/25.72	o 4894
25.44/25.73	o 4893
25.44/25.75	o 4892
25.44/25.76	o 4891
25.44/25.77	o 4890
25.44/25.78	o 4889
25.44/25.80	o 4888
25.54/25.81	o 4887
25.54/25.82	o 4886
25.54/25.83	o 4885
25.54/25.85	o 4884
25.54/25.86	o 4883
25.54/25.87	o 4882
25.54/25.89	o 4881
25.54/25.90	o 4880
25.64/25.91	o 4879
25.64/25.92	o 4878
25.64/25.93	o 4877
25.64/25.95	o 4876
25.64/25.96	o 4875
25.64/25.97	o 4874
25.64/25.98	o 4873
25.64/25.99	o 4872
25.74/26.01	o 4871
25.74/26.02	o 4870
25.74/26.03	o 4869
25.74/26.04	o 4868
25.74/26.06	o 4867
25.74/26.07	o 4866
25.74/26.08	o 4865
25.74/26.09	o 4864
25.84/26.11	o 4863
25.84/26.12	o 4862
25.84/26.13	o 4861
25.84/26.14	o 4860
25.84/26.15	o 4859
25.84/26.17	o 4858
25.84/26.18	o 4857
25.84/26.19	o 4856
25.93/26.20	o 4855
25.93/26.21	o 4854
25.93/26.22	o 4853
25.93/26.24	o 4852
25.93/26.25	o 4851
25.93/26.26	o 4850
25.93/26.27	o 4849
25.93/26.28	o 4848
25.93/26.29	o 4847
26.03/26.31	o 4846
26.03/26.32	o 4845
26.03/26.34	o 4844
26.03/26.35	o 4843
26.03/26.36	o 4842
26.03/26.37	o 4841
26.03/26.38	o 4840
26.03/26.39	o 4839
26.13/26.41	o 4838
26.13/26.42	o 4837
26.13/26.43	o 4836
26.13/26.44	o 4835
26.13/26.45	o 4834
26.13/26.46	o 4833
26.13/26.48	o 4832
26.13/26.49	o 4831
26.23/26.50	o 4830
26.23/26.51	o 4829
26.23/26.52	o 4828
26.23/26.53	o 4827
26.23/26.55	o 4826
26.23/26.56	o 4825
26.23/26.57	o 4824
26.23/26.58	o 4823
26.23/26.59	o 4822
26.33/26.60	o 4821
26.33/26.62	o 4820
26.33/26.63	o 4819
26.33/26.64	o 4818
26.33/26.65	o 4817
26.33/26.66	o 4816
26.33/26.68	o 4815
26.33/26.69	o 4814
26.43/26.70	o 4813
26.43/26.71	o 4812
26.43/26.72	o 4811
26.43/26.73	o 4810
26.43/26.74	o 4809
26.43/26.75	o 4808
26.43/26.77	o 4807
26.43/26.78	o 4806
26.43/26.79	o 4805
26.52/26.80	o 4804
26.52/26.81	o 4803
26.52/26.82	o 4802
26.52/26.83	o 4801
26.52/26.84	o 4800
26.52/26.86	o 4799
26.52/26.87	o 4798
26.52/26.88	o 4797
26.52/26.89	o 4796
26.63/26.90	o 4795
26.63/26.91	o 4794
26.63/26.92	o 4793
26.63/26.93	o 4792
26.63/26.95	o 4791
26.63/26.96	o 4790
26.63/26.97	o 4789
26.63/26.98	o 4788
26.63/26.99	o 4787
26.73/27.00	o 4786
26.73/27.01	o 4785
26.73/27.02	o 4784
26.73/27.04	o 4783
26.73/27.05	o 4782
26.73/27.06	o 4781
26.73/27.07	o 4780
26.73/27.08	o 4779
26.73/27.09	o 4778
26.83/27.10	o 4777
26.83/27.11	o 4776
26.83/27.12	o 4775
26.83/27.14	o 4774
26.83/27.15	o 4773
26.83/27.16	o 4772
26.83/27.17	o 4771
26.83/27.18	o 4770
26.83/27.19	o 4769
26.93/27.20	o 4768
26.93/27.21	o 4767
26.93/27.22	o 4766
26.93/27.23	o 4765
26.93/27.24	o 4764
26.93/27.25	o 4763
26.93/27.27	o 4762
26.93/27.28	o 4761
26.93/27.29	o 4760
27.02/27.30	o 4759
27.02/27.31	o 4758
27.02/27.32	o 4757
27.02/27.33	o 4756
27.02/27.34	o 4755
27.02/27.35	o 4754
27.02/27.36	o 4753
27.02/27.37	o 4752
27.02/27.39	o 4751
27.02/27.40	o 4750
27.12/27.41	o 4749
27.12/27.42	o 4748
27.12/27.43	o 4747
27.12/27.44	o 4746
27.12/27.46	o 4745
27.12/27.47	o 4744
27.12/27.48	o 4743
27.12/27.49	o 4742
27.12/27.50	o 4741
27.22/27.51	o 4740
27.22/27.52	o 4739
27.22/27.53	o 4738
27.22/27.54	o 4737
27.22/27.55	o 4736
27.22/27.56	o 4735
27.22/27.57	o 4734
27.22/27.58	o 4733
27.22/27.60	o 4732
27.32/27.61	o 4731
27.32/27.62	o 4730
27.32/27.63	o 4729
27.32/27.64	o 4728
27.32/27.65	o 4727
27.32/27.66	o 4726
27.32/27.67	o 4725
27.32/27.68	o 4724
27.32/27.69	o 4723
27.42/27.70	o 4722
27.42/27.71	o 4721
27.42/27.72	o 4720
27.42/27.73	o 4719
27.42/27.74	o 4718
27.42/27.75	o 4717
27.42/27.76	o 4716
27.42/27.77	o 4715
27.42/27.79	o 4714
27.42/27.80	o 4713
27.51/27.81	o 4712
27.51/27.82	o 4711
27.51/27.83	o 4710
27.51/27.84	o 4709
27.51/27.85	o 4708
27.51/27.86	o 4707
27.51/27.87	o 4706
27.51/27.88	o 4705
27.51/27.89	o 4704
27.61/27.90	o 4703
27.61/27.91	o 4702
27.61/27.92	o 4701
27.61/27.93	o 4700
27.61/27.94	o 4699
27.61/27.96	o 4698
27.61/27.97	o 4697
27.61/27.98	o 4696
27.61/27.99	o 4695
27.61/28.00	o 4694
27.71/28.01	o 4693
27.71/28.02	o 4692
27.71/28.03	o 4691
27.71/28.04	o 4690
27.71/28.05	o 4689
27.71/28.06	o 4688
27.71/28.07	o 4687
27.71/28.08	o 4686
27.71/28.09	o 4685
27.81/28.10	o 4684
27.81/28.11	o 4683
27.81/28.12	o 4682
27.81/28.13	o 4681
27.81/28.14	o 4680
27.81/28.15	o 4679
27.81/28.16	o 4678
27.81/28.17	o 4677
27.81/28.18	o 4676
27.81/28.19	o 4675
27.91/28.20	o 4674
27.91/28.21	o 4673
27.91/28.22	o 4672
27.91/28.23	o 4671
27.91/28.24	o 4670
27.91/28.25	o 4669
27.91/28.26	o 4668
27.91/28.27	o 4667
27.91/28.28	o 4666
27.91/28.29	o 4665
28.01/28.30	o 4664
28.01/28.31	o 4663
28.01/28.32	o 4662
28.01/28.33	o 4661
28.01/28.34	o 4660
28.01/28.35	o 4659
28.01/28.36	o 4658
28.01/28.37	o 4657
28.01/28.38	o 4656
28.01/28.39	o 4655
28.11/28.40	o 4654
28.11/28.41	o 4653
28.11/28.42	o 4652
28.11/28.43	o 4651
28.11/28.44	o 4650
28.11/28.45	o 4649
28.11/28.46	o 4648
28.11/28.47	o 4647
28.11/28.48	o 4646
28.11/28.49	o 4645
28.21/28.50	o 4644
28.21/28.52	o 4643
28.21/28.53	o 4642
28.21/28.54	o 4641
28.21/28.55	o 4640
28.21/28.56	o 4639
28.21/28.57	o 4638
28.21/28.58	o 4637
28.21/28.59	o 4636
28.21/28.60	o 4635
28.31/28.62	o 4634
28.31/28.62	o 4633
28.31/28.63	o 4632
28.31/28.64	o 4631
28.31/28.65	o 4630
28.31/28.66	o 4629
28.31/28.68	o 4628
28.31/28.69	o 4627
28.31/28.70	o 4626
28.40/28.71	o 4625
28.40/28.71	o 4624
28.40/28.72	o 4623
28.40/28.73	o 4622
28.40/28.74	o 4621
28.40/28.75	o 4620
28.40/28.76	o 4619
28.40/28.77	o 4618
28.40/28.78	o 4617
28.40/28.79	o 4616
28.50/28.80	o 4615
28.50/28.81	o 4614
28.50/28.82	o 4613
28.50/28.83	o 4612
28.50/28.85	o 4611
28.50/28.86	o 4610
28.50/28.87	o 4609
28.50/28.88	o 4608
28.50/28.89	o 4607
28.59/28.90	o 4606
28.59/28.91	o 4605
28.59/28.92	o 4604
28.59/28.94	o 4603
28.59/28.95	o 4602
28.59/28.96	o 4601
28.59/28.96	o 4600
28.59/28.97	o 4599
28.59/28.98	o 4598
28.59/28.99	o 4597
28.69/29.00	o 4596
28.69/29.01	o 4595
28.69/29.02	o 4594
28.69/29.03	o 4593
28.69/29.05	o 4592
28.69/29.06	o 4591
28.69/29.07	o 4590
28.69/29.08	o 4589
28.69/29.09	o 4588
28.80/29.10	o 4587
28.80/29.11	o 4586
28.80/29.12	o 4585
28.80/29.13	o 4584
28.80/29.15	o 4583
28.80/29.16	o 4582
28.80/29.18	o 4581
28.80/29.20	o 4580
28.90/29.21	o 4579
28.90/29.22	o 4578
28.90/29.22	o 4577
28.90/29.23	o 4576
28.90/29.24	o 4575
28.90/29.26	o 4574
28.90/29.27	o 4573
28.90/29.28	o 4572
28.90/29.29	o 4571
29.00/29.30	o 4570
29.00/29.31	o 4569
29.00/29.32	o 4568
29.00/29.33	o 4567
29.00/29.34	o 4566
29.00/29.35	o 4565
29.00/29.37	o 4564
29.00/29.37	o 4563
29.00/29.38	o 4562
29.00/29.39	o 4561
29.09/29.41	o 4560
29.09/29.43	o 4559
29.09/29.44	o 4558
29.09/29.45	o 4557
29.09/29.46	o 4556
29.09/29.47	o 4555
29.09/29.49	o 4554
29.19/29.50	o 4553
29.19/29.51	o 4552
29.19/29.52	o 4551
29.19/29.53	o 4550
29.19/29.54	o 4549
29.19/29.55	o 4548
29.19/29.57	o 4547
29.19/29.58	o 4546
29.19/29.59	o 4545
29.29/29.61	o 4544
29.29/29.62	o 4543
29.29/29.63	o 4542
29.29/29.65	o 4541
29.29/29.66	o 4540
29.29/29.67	o 4539
29.29/29.69	o 4538
29.39/29.70	o 4537
29.39/29.72	o 4536
29.39/29.74	o 4535
29.39/29.76	o 4534
29.39/29.77	o 4533
29.39/29.78	o 4532
29.39/29.79	o 4531
29.48/29.80	o 4530
29.48/29.81	o 4529
29.48/29.82	o 4528
29.48/29.84	o 4527
29.48/29.85	o 4526
29.48/29.86	o 4525
29.48/29.88	o 4524
29.48/29.89	o 4523
29.58/29.91	o 4522
29.58/29.92	o 4521
29.58/29.93	o 4520
29.58/29.94	o 4519
29.58/29.96	o 4518
29.58/29.98	o 4517
29.68/30.03	o 4516
29.68/30.05	o 4515
29.68/30.08	o 4514
29.76/30.11	o 4513
29.76/30.14	o 4512
29.76/30.17	o 4511
29.86/30.20	o 4510
29.86/30.23	o 4509
29.86/30.26	o 4508
29.86/30.29	o 4507
29.95/30.32	o 4506
29.95/30.35	o 4505
29.95/30.38	o 4504
30.05/30.41	o 4503
30.05/30.44	o 4502
30.05/30.47	o 4501
30.05/30.49	o 4500
30.15/30.52	o 4499
30.15/30.55	o 4498
30.15/30.58	o 4497
30.25/30.60	o 4496
30.25/30.63	o 4495
30.25/30.66	o 4494
30.25/30.69	o 4493
30.35/30.73	o 4492
30.35/30.76	o 4491
30.35/30.79	o 4490
30.45/30.82	o 4489
30.45/30.84	o 4488
30.45/30.87	o 4487
30.55/30.90	o 4486
30.55/30.93	o 4485
30.55/30.96	o 4484
30.55/30.99	o 4483
30.65/31.02	o 4482
30.65/31.05	o 4481
30.65/31.08	o 4480
30.75/31.11	o 4479
30.75/31.14	o 4478
30.75/31.17	o 4477
30.75/31.20	o 4476
30.85/31.23	o 4475
30.85/31.25	o 4474
30.85/31.28	o 4473
30.94/31.31	o 4472
30.94/31.34	o 4471
30.94/31.37	o 4470
31.04/31.40	o 4469
31.04/31.43	o 4468
31.04/31.46	o 4467
31.04/31.49	o 4466
31.14/31.52	o 4465
31.14/31.55	o 4464
31.14/31.58	o 4463
31.24/31.61	o 4462
31.24/31.63	o 4461
31.24/31.66	o 4460
31.24/31.69	o 4459
31.34/31.72	o 4458
31.34/31.75	o 4457
31.34/31.78	o 4456
31.44/31.82	o 4455
31.44/31.85	o 4454
31.44/31.87	o 4453
31.54/31.90	o 4452
31.54/31.93	o 4451
31.54/31.96	o 4450
31.54/31.99	o 4449
31.64/32.02	o 4448
31.64/32.05	o 4447
31.64/32.08	o 4446
31.74/32.10	o 4445
31.74/32.13	o 4444
31.74/32.16	o 4443
31.74/32.19	o 4442
31.84/32.22	o 4441
31.84/32.25	o 4440
31.84/32.28	o 4439
31.93/32.31	o 4438
31.93/32.33	o 4437
31.93/32.36	o 4436
31.93/32.39	o 4435
32.03/32.42	o 4434
32.03/32.45	o 4433
32.03/32.48	o 4432
32.13/32.51	o 4431
32.13/32.53	o 4430
32.13/32.56	o 4429
32.13/32.59	o 4428
32.23/32.62	o 4427
32.23/32.65	o 4426
32.23/32.68	o 4425
32.33/32.71	o 4424
32.33/32.74	o 4423
32.33/32.76	o 4422
32.33/32.79	o 4421
32.43/32.82	o 4420
32.43/32.85	o 4419
32.43/32.88	o 4418
32.53/32.91	o 4417
32.53/32.94	o 4416
32.53/32.97	o 4415
32.53/33.00	o 4414
32.63/33.03	o 4413
32.63/33.05	o 4412
32.63/33.08	o 4411
32.72/33.11	o 4410
32.72/33.14	o 4409
32.72/33.17	o 4408
32.82/33.20	o 4407
32.82/33.23	o 4406
32.82/33.25	o 4405
32.82/33.28	o 4404
32.92/33.31	o 4403
32.92/33.34	o 4402
32.92/33.37	o 4401
32.92/33.40	o 4400
33.02/33.42	o 4399
33.02/33.45	o 4398
33.02/33.48	o 4397
33.12/33.51	o 4396
33.12/33.54	o 4395
33.12/33.57	o 4394
33.12/33.60	o 4393
33.22/33.62	o 4392
33.22/33.65	o 4391
33.22/33.68	o 4390
33.32/33.71	o 4389
33.32/33.74	o 4388
33.32/33.77	o 4387
33.32/33.79	o 4386
33.42/33.82	o 4385
33.42/33.85	o 4384
33.42/33.88	o 4383
33.53/33.91	o 4382
33.53/33.94	o 4381
33.53/33.97	o 4380
33.53/33.99	o 4379
33.62/34.03	o 4378
33.62/34.06	o 4377
33.62/34.08	o 4376
33.72/34.11	o 4375
33.72/34.14	o 4374
33.72/34.17	o 4373
33.72/34.20	o 4372
33.82/34.23	o 4371
33.82/34.25	o 4370
33.82/34.28	o 4369
33.91/34.31	o 4368
33.91/34.34	o 4367
33.91/34.37	o 4366
33.91/34.39	o 4365
34.01/34.42	o 4364
34.01/34.45	o 4363
34.01/34.48	o 4362
34.12/34.51	o 4361
34.12/34.54	o 4360
34.12/34.56	o 4359
34.12/34.59	o 4358
34.21/34.62	o 4357
34.21/34.65	o 4356
34.21/34.68	o 4355
34.31/34.71	o 4354
34.31/34.73	o 4353
34.31/34.76	o 4352
34.31/34.79	o 4351
34.41/34.82	o 4350
34.41/34.85	o 4349
34.41/34.87	o 4348
34.51/34.90	o 4347
34.51/34.93	o 4346
34.51/34.96	o 4345
34.51/34.99	o 4344
34.61/35.02	o 4343
34.61/35.04	o 4342
34.61/35.07	o 4341
34.71/35.11	o 4340
34.71/35.13	o 4339
34.71/35.16	o 4338
34.71/35.19	o 4337
34.81/35.22	o 4336
34.81/35.25	o 4335
34.81/35.28	o 4334
34.90/35.30	o 4333
34.90/35.33	o 4332
34.90/35.36	o 4331
34.90/35.39	o 4330
35.00/35.42	o 4329
35.00/35.44	o 4328
35.00/35.47	o 4327
35.10/35.50	o 4326
35.10/35.53	o 4325
35.10/35.56	o 4324
35.10/35.59	o 4323
35.20/35.61	o 4322
35.20/35.64	o 4321
35.20/35.67	o 4320
35.30/35.70	o 4319
35.30/35.73	o 4318
35.30/35.76	o 4317
35.30/35.78	o 4316
35.40/35.81	o 4315
35.40/35.84	o 4314
35.40/35.87	o 4313
35.50/35.90	o 4312
35.50/35.93	o 4311
35.50/35.95	o 4310
35.50/35.98	o 4309
35.61/36.01	o 4308
35.61/36.04	o 4307
35.61/36.07	o 4306
35.61/36.10	o 4305
35.71/36.12	o 4304
35.71/36.15	o 4303
35.71/36.18	o 4302
35.80/36.21	o 4301
35.80/36.24	o 4300
35.80/36.27	o 4299
35.80/36.30	o 4298
35.90/36.33	o 4297
35.90/36.35	o 4296
35.90/36.38	o 4295
35.99/36.41	o 4294
35.99/36.44	o 4293
35.99/36.47	o 4292
35.99/36.50	o 4291
36.09/36.52	o 4290
36.09/36.55	o 4289
36.09/36.58	o 4288
36.20/36.61	o 4287
36.20/36.63	o 4286
36.20/36.67	o 4285
36.28/36.70	o 4284
36.28/36.73	o 4283
36.28/36.76	o 4282
36.28/36.78	o 4281
36.38/36.81	o 4280
36.38/36.84	o 4279
36.38/36.86	o 4278
36.38/36.89	o 4277
36.48/36.92	o 4276
36.48/36.95	o 4275
36.48/36.97	o 4274
36.58/37.00	o 4273
36.58/37.03	o 4272
36.58/37.06	o 4271
36.58/37.08	o 4270
36.68/37.11	o 4269
36.68/37.14	o 4268
36.68/37.17	o 4267
36.68/37.19	o 4266
36.78/37.22	o 4265
36.78/37.25	o 4264
36.78/37.28	o 4263
36.88/37.31	o 4262
36.88/37.34	o 4261
36.88/37.36	o 4260
36.88/37.39	o 4259
36.99/37.42	o 4258
36.99/37.45	o 4257
36.99/37.47	o 4256
37.08/37.50	o 4255
37.08/37.53	o 4254
37.08/37.55	o 4253
37.08/37.58	o 4252
37.18/37.61	o 4251
37.18/37.64	o 4250
37.18/37.66	o 4249
37.18/37.69	o 4248
37.28/37.72	o 4247
37.28/37.74	o 4246
37.28/37.77	o 4245
37.38/37.80	o 4244
37.38/37.83	o 4243
37.38/37.85	o 4242
37.38/37.88	o 4241
37.47/37.91	o 4240
37.47/37.94	o 4239
37.47/37.96	o 4238
37.47/37.99	o 4237
37.57/38.02	o 4236
37.57/38.04	o 4235
37.57/38.07	o 4234
37.67/38.10	o 4233
37.67/38.13	o 4232
37.67/38.15	o 4231
37.67/38.18	o 4230
37.77/38.21	o 4229
37.77/38.23	o 4228
37.77/38.26	o 4227
37.77/38.29	o 4226
37.87/38.32	o 4225
37.87/38.34	o 4224
37.87/38.37	o 4223
37.97/38.40	o 4222
37.97/38.43	o 4221
37.97/38.46	o 4220
37.97/38.48	o 4219
38.07/38.51	o 4218
38.07/38.54	o 4217
38.07/38.56	o 4216
38.07/38.59	o 4215
38.17/38.62	o 4214
38.17/38.65	o 4213
38.17/38.67	o 4212
38.27/38.70	o 4211
38.27/38.73	o 4210
38.27/38.75	o 4209
38.27/38.78	o 4208
38.37/38.81	o 4207
38.37/38.84	o 4206
38.37/38.86	o 4205
38.37/38.89	o 4204
38.46/38.92	o 4203
38.46/38.94	o 4202
38.46/38.97	o 4201
38.46/39.00	o 4200
38.56/39.02	o 4199
38.56/39.05	o 4198
38.56/39.08	o 4197
38.66/39.10	o 4196
38.66/39.13	o 4195
38.66/39.16	o 4194
38.66/39.19	o 4193
38.76/39.21	o 4192
38.76/39.24	o 4191
38.76/39.27	o 4190
38.76/39.29	o 4189
38.86/39.32	o 4188
38.86/39.35	o 4187
38.86/39.37	o 4186
38.96/39.40	o 4185
38.96/39.43	o 4184
38.96/39.45	o 4183
38.96/39.48	o 4182
39.06/39.51	o 4181
39.06/39.54	o 4180
39.06/39.57	o 4179
39.06/39.59	o 4178
39.16/39.62	o 4177
39.16/39.65	o 4176
39.16/39.67	o 4175
39.25/39.71	o 4174
39.25/39.73	o 4173
39.25/39.76	o 4172
39.25/39.79	o 4171
39.35/39.82	o 4170
39.35/39.84	o 4169
39.35/39.87	o 4168
39.35/39.90	o 4167
39.45/39.92	o 4166
39.45/39.95	o 4165
39.45/39.98	o 4164
39.56/40.00	o 4163
39.56/40.06	o 4162
39.56/40.09	o 4161
39.63/40.12	o 4160
39.63/40.14	o 4159
39.63/40.16	o 4158
39.63/40.19	o 4157
39.72/40.21	o 4156
39.72/40.24	o 4155
39.72/40.26	o 4154
39.72/40.29	o 4153
39.82/40.31	o 4152
39.82/40.34	o 4151
39.82/40.36	o 4150
39.82/40.39	o 4149
39.92/40.41	o 4148
39.92/40.44	o 4147
39.92/40.47	o 4146
39.92/40.50	o 4145
40.01/40.52	o 4144
40.01/40.55	o 4143
40.01/40.58	o 4142
40.12/40.61	o 4141
40.12/40.64	o 4140
40.12/40.66	o 4139
40.12/40.69	o 4138
40.22/40.72	o 4137
40.22/40.75	o 4136
40.22/40.77	o 4135
40.31/40.80	o 4134
40.31/40.83	o 4133
40.31/40.85	o 4132
40.31/40.88	o 4131
40.41/40.91	o 4130
40.41/40.94	o 4129
40.41/40.96	o 4128
40.41/40.99	o 4127
40.51/41.02	o 4126
40.51/41.04	o 4125
40.51/41.07	o 4124
40.61/41.10	o 4123
40.61/41.13	o 4122
40.61/41.15	o 4121
40.61/41.18	o 4120
40.71/41.21	o 4119
40.71/41.23	o 4118
40.71/41.26	o 4117
40.71/41.29	o 4116
40.81/41.32	o 4115
40.81/41.34	o 4114
40.81/41.37	o 4113
40.81/41.40	o 4112
40.91/41.42	o 4111
40.91/41.45	o 4110
40.91/41.48	o 4109
41.01/41.51	o 4108
41.01/41.53	o 4107
41.01/41.56	o 4106
41.01/41.59	o 4105
41.11/41.61	o 4104
41.11/41.64	o 4103
41.11/41.67	o 4102
41.11/41.69	o 4101
41.21/41.73	o 4100
41.21/41.75	o 4099
41.21/41.78	o 4098
41.31/41.81	o 4097
41.31/41.84	o 4096
41.31/41.86	o 4095
41.31/41.89	o 4094
41.40/41.92	o 4093
41.40/41.94	o 4092
41.40/41.98	o 4091
41.50/42.01	o 4090
41.50/42.03	o 4089
41.50/42.06	o 4088
41.50/42.08	o 4087
41.60/42.11	o 4086
41.60/42.14	o 4085
41.60/42.16	o 4084
41.60/42.19	o 4083
41.69/42.22	o 4082
41.69/42.24	o 4081
41.69/42.27	o 4080
41.69/42.29	o 4079
41.79/42.32	o 4078
41.79/42.35	o 4077
41.79/42.37	o 4076
41.79/42.40	o 4075
41.89/42.42	o 4074
41.89/42.45	o 4073
41.89/42.48	o 4072
41.99/42.50	o 4071
41.99/42.53	o 4070
41.99/42.55	o 4069
41.99/42.58	o 4068
42.09/42.61	o 4067
42.09/42.63	o 4066
42.09/42.66	o 4065
42.09/42.68	o 4064
42.19/42.71	o 4063
42.19/42.74	o 4062
42.19/42.76	o 4061
42.19/42.79	o 4060
42.28/42.82	o 4059
42.28/42.85	o 4058
42.28/42.87	o 4057
42.28/42.90	o 4056
42.38/42.92	o 4055
42.38/42.95	o 4054
42.38/42.98	o 4053
42.48/43.00	o 4052
42.48/43.03	o 4051
42.48/43.05	o 4050
42.48/43.08	o 4049
42.58/43.11	o 4048
42.58/43.13	o 4047
42.58/43.16	o 4046
42.58/43.18	o 4045
42.68/43.21	o 4044
42.68/43.24	o 4043
42.68/43.26	o 4042
42.68/43.29	o 4041
42.78/43.31	o 4040
42.78/43.34	o 4039
42.78/43.37	o 4038
42.78/43.39	o 4037
42.88/43.42	o 4036
42.88/43.44	o 4035
42.88/43.47	o 4034
42.88/43.50	o 4033
42.98/43.52	o 4032
42.98/43.55	o 4031
42.98/43.57	o 4030
43.07/43.60	o 4029
43.07/43.62	o 4028
43.07/43.65	o 4027
43.07/43.68	o 4026
43.17/43.70	o 4025
43.17/43.73	o 4024
43.17/43.75	o 4023
43.17/43.78	o 4022
43.27/43.81	o 4021
43.27/43.83	o 4020
43.27/43.86	o 4019
43.27/43.88	o 4018
43.37/43.91	o 4017
43.37/43.94	o 4016
43.37/43.97	o 4015
43.37/43.99	o 4014
43.47/44.02	o 4013
43.47/44.04	o 4012
43.47/44.07	o 4011
43.47/44.09	o 4010
43.57/44.12	o 4009
43.57/44.15	o 4008
43.57/44.17	o 4007
43.57/44.20	o 4006
43.67/44.22	o 4005
43.67/44.25	o 4004
43.67/44.27	o 4003
43.77/44.30	o 4002
43.77/44.33	o 4001
43.77/44.35	o 4000
43.77/44.38	o 3999
43.87/44.40	o 3998
43.87/44.43	o 3997
43.87/44.45	o 3996
43.87/44.48	o 3995
43.97/44.51	o 3994
43.97/44.53	o 3993
43.97/44.56	o 3992
43.97/44.58	o 3991
44.06/44.61	o 3990
44.06/44.63	o 3989
44.06/44.66	o 3988
44.06/44.68	o 3987
44.16/44.71	o 3986
44.16/44.74	o 3985
44.16/44.76	o 3984
44.16/44.79	o 3983
44.26/44.81	o 3982
44.26/44.84	o 3981
44.26/44.86	o 3980
44.26/44.89	o 3979
44.37/44.92	o 3978
44.37/44.94	o 3977
44.37/44.97	o 3976
44.37/44.99	o 3975
44.47/45.02	o 3974
44.47/45.05	o 3973
44.47/45.08	o 3972
44.47/45.10	o 3971
44.57/45.13	o 3970
44.57/45.15	o 3969
44.57/45.18	o 3968
44.66/45.21	o 3967
44.66/45.23	o 3966
44.66/45.26	o 3965
44.66/45.28	o 3964
44.75/45.31	o 3963
44.75/45.34	o 3962
44.75/45.37	o 3961
44.75/45.39	o 3960
44.85/45.42	o 3959
44.85/45.45	o 3958
44.85/45.47	o 3957
44.85/45.50	o 3956
44.96/45.52	o 3955
44.96/45.55	o 3954
44.96/45.58	o 3953
45.06/45.60	o 3952
45.06/45.63	o 3951
45.06/45.65	o 3950
45.06/45.68	o 3949
45.15/45.71	o 3948
45.15/45.73	o 3947
45.15/45.76	o 3946
45.15/45.78	o 3945
45.25/45.81	o 3944
45.25/45.84	o 3943
45.25/45.86	o 3942
45.25/45.89	o 3941
45.35/45.91	o 3940
45.35/45.94	o 3939
45.35/45.97	o 3938
45.35/45.99	o 3937
45.45/46.02	o 3936
45.45/46.04	o 3935
45.45/46.07	o 3934
45.45/46.09	o 3933
45.55/46.13	o 3932
45.55/46.15	o 3931
45.55/46.18	o 3930
45.65/46.20	o 3929
45.65/46.23	o 3928
45.65/46.25	o 3927
45.65/46.28	o 3926
45.75/46.31	o 3925
45.75/46.33	o 3924
45.75/46.36	o 3923
45.75/46.38	o 3922
45.85/46.41	o 3921
45.85/46.43	o 3920
45.85/46.46	o 3919
45.85/46.49	o 3918
45.95/46.51	o 3917
45.95/46.54	o 3916
45.95/46.56	o 3915
45.95/46.59	o 3914
46.05/46.61	o 3913
46.05/46.64	o 3912
46.05/46.67	o 3911
46.05/46.69	o 3910
46.15/46.72	o 3909
46.15/46.74	o 3908
46.15/46.77	o 3907
46.15/46.79	o 3906
46.25/46.82	o 3905
46.25/46.85	o 3904
46.25/46.87	o 3903
46.25/46.90	o 3902
46.35/46.92	o 3901
46.35/46.95	o 3900
46.35/46.97	o 3899
46.45/47.00	o 3898
46.45/47.02	o 3897
46.45/47.05	o 3896
46.45/47.07	o 3895
46.54/47.10	o 3894
46.54/47.12	o 3893
46.54/47.15	o 3892
46.54/47.17	o 3891
46.64/47.21	o 3890
46.64/47.23	o 3889
46.64/47.26	o 3888
46.64/47.28	o 3887
46.74/47.31	o 3886
46.74/47.33	o 3885
46.74/47.36	o 3884
46.74/47.38	o 3883
46.84/47.41	o 3882
46.84/47.43	o 3881
46.84/47.46	o 3880
46.84/47.48	o 3879
46.94/47.51	o 3878
46.94/47.53	o 3877
46.94/47.56	o 3876
46.94/47.58	o 3875
47.04/47.61	o 3874
47.04/47.63	o 3873
47.04/47.66	o 3872
47.04/47.68	o 3871
47.14/47.71	o 3870
47.14/47.74	o 3869
47.14/47.76	o 3868
47.14/47.79	o 3867
47.24/47.81	o 3866
47.24/47.84	o 3865
47.24/47.86	o 3864
47.24/47.89	o 3863
47.34/47.91	o 3862
47.34/47.94	o 3861
47.34/47.96	o 3860
47.34/47.99	o 3859
47.44/48.01	o 3858
47.44/48.04	o 3857
47.44/48.06	o 3856
47.44/48.09	o 3855
47.53/48.11	o 3854
47.53/48.14	o 3853
47.53/48.16	o 3852
47.53/48.19	o 3851
47.63/48.21	o 3850
47.63/48.24	o 3849
47.63/48.26	o 3848
47.63/48.29	o 3847
47.73/48.32	o 3846
47.73/48.34	o 3845
47.73/48.37	o 3844
47.73/48.39	o 3843
47.83/48.42	o 3842
47.83/48.44	o 3841
47.83/48.47	o 3840
47.83/48.49	o 3839
47.92/48.52	o 3838
47.92/48.54	o 3837
47.92/48.57	o 3836
47.92/48.59	o 3835
48.03/48.62	o 3834
48.03/48.64	o 3833
48.03/48.67	o 3832
48.03/48.69	o 3831
48.13/48.72	o 3830
48.13/48.74	o 3829
48.13/48.77	o 3828
48.13/48.79	o 3827
48.23/48.82	o 3826
48.23/48.84	o 3825
48.23/48.87	o 3824
48.23/48.89	o 3823
48.33/48.92	o 3822
48.33/48.94	o 3821
48.33/48.97	o 3820
48.33/48.99	o 3819
48.43/49.02	o 3818
48.43/49.04	o 3817
48.43/49.07	o 3816
48.43/49.09	o 3815
48.53/49.12	o 3814
48.53/49.14	o 3813
48.53/49.17	o 3812
48.53/49.19	o 3811
48.63/49.22	o 3810
48.63/49.24	o 3809
48.63/49.26	o 3808
48.63/49.29	o 3807
48.72/49.31	o 3806
48.72/49.34	o 3805
48.72/49.36	o 3804
48.72/49.39	o 3803
48.82/49.42	o 3802
48.82/49.44	o 3801
48.82/49.47	o 3800
48.82/49.49	o 3799
48.92/49.52	o 3798
48.92/49.54	o 3797
48.92/49.57	o 3796
48.92/49.59	o 3795
49.01/49.62	o 3794
49.01/49.64	o 3793
49.01/49.67	o 3792
49.01/49.69	o 3791
49.11/49.72	o 3790
49.11/49.74	o 3789
49.11/49.76	o 3788
49.11/49.79	o 3787
49.21/49.81	o 3786
49.21/49.84	o 3785
49.21/49.86	o 3784
49.21/49.89	o 3783
49.31/49.91	o 3782
49.31/49.94	o 3781
49.31/49.96	o 3780
49.31/49.98	o 3779
49.41/50.01	o 3778
49.41/50.03	o 3777
49.51/50.11	o 3776
49.51/50.11	o 3775
49.51/50.11	o 3774
49.51/50.13	o 3773
49.51/50.16	o 3772
49.51/50.18	o 3771
49.61/50.21	o 3770
49.61/50.23	o 3769
49.61/50.26	o 3768
49.61/50.28	o 3767
49.71/50.31	o 3766
49.71/50.33	o 3765
49.71/50.36	o 3764
49.71/50.38	o 3763
49.81/50.40	o 3762
49.81/50.43	o 3761
49.81/50.45	o 3760
49.81/50.48	o 3759
49.92/50.51	o 3758
49.92/50.53	o 3757
49.92/50.56	o 3756
49.92/50.58	o 3755
50.02/50.61	o 3754
50.02/50.63	o 3753
50.02/50.66	o 3752
50.02/50.68	o 3751
50.11/50.70	o 3750
50.11/50.73	o 3749
50.11/50.75	o 3748
50.11/50.78	o 3747
50.21/50.80	o 3746
50.21/50.83	o 3745
50.21/50.85	o 3744
50.21/50.88	o 3743
50.31/50.90	o 3742
50.31/50.93	o 3741
50.31/50.95	o 3740
50.31/50.97	o 3739
50.41/51.00	o 3738
50.41/51.02	o 3737
50.41/51.05	o 3736
50.41/51.07	o 3735
50.41/51.10	o 3734
50.51/51.12	o 3733
50.51/51.15	o 3732
50.51/51.17	o 3731
50.51/51.19	o 3730
50.61/51.22	o 3729
50.61/51.24	o 3728
50.61/51.27	o 3727
50.61/51.29	o 3726
50.71/51.32	o 3725
50.71/51.34	o 3724
50.71/51.37	o 3723
50.71/51.39	o 3722
50.81/51.41	o 3721
50.81/51.44	o 3720
50.81/51.46	o 3719
50.81/51.49	o 3718
50.90/51.51	o 3717
50.90/51.54	o 3716
50.90/51.56	o 3715
50.90/51.58	o 3714
51.00/51.61	o 3713
51.00/51.64	o 3712
51.00/51.66	o 3711
51.00/51.69	o 3710
51.10/51.71	o 3709
51.10/51.74	o 3708
51.10/51.76	o 3707
51.10/51.78	o 3706
51.20/51.81	o 3705
51.20/51.83	o 3704
51.20/51.86	o 3703
51.20/51.88	o 3702
51.30/51.91	o 3701
51.30/51.93	o 3700
51.30/51.95	o 3699
51.30/51.98	o 3698
51.40/52.00	o 3697
51.40/52.03	o 3696
51.40/52.05	o 3695
51.40/52.07	o 3694
51.40/52.10	o 3693
51.50/52.12	o 3692
51.50/52.14	o 3691
51.50/52.17	o 3690
51.50/52.19	o 3689
51.60/52.22	o 3688
51.60/52.24	o 3687
51.60/52.26	o 3686
51.60/52.29	o 3685
51.69/52.31	o 3684
51.69/52.34	o 3683
51.69/52.36	o 3682
51.69/52.38	o 3681
51.80/52.41	o 3680
51.80/52.43	o 3679
51.80/52.46	o 3678
51.80/52.48	o 3677
51.90/52.50	o 3676
51.90/52.53	o 3675
51.90/52.55	o 3674
51.90/52.57	o 3673
52.00/52.60	o 3672
52.00/52.62	o 3671
52.00/52.65	o 3670
52.00/52.67	o 3669
52.00/52.69	o 3668
52.10/52.72	o 3667
52.10/52.75	o 3666
52.10/52.77	o 3665
52.10/52.79	o 3664
52.20/52.82	o 3663
52.20/52.84	o 3662
52.20/52.87	o 3661
52.20/52.89	o 3660
52.30/52.91	o 3659
52.30/52.94	o 3658
52.30/52.96	o 3657
52.30/52.98	o 3656
52.39/53.01	o 3655
52.39/53.03	o 3654
52.39/53.06	o 3653
52.39/53.08	o 3652
52.49/53.10	o 3651
52.49/53.13	o 3650
52.49/53.15	o 3649
52.49/53.17	o 3648
52.49/53.20	o 3647
52.59/53.22	o 3646
52.59/53.25	o 3645
52.59/53.27	o 3644
52.59/53.29	o 3643
52.69/53.32	o 3642
52.69/53.34	o 3641
52.69/53.36	o 3640
52.69/53.39	o 3639
52.79/53.41	o 3638
52.79/53.43	o 3637
52.79/53.46	o 3636
52.79/53.48	o 3635
52.89/53.51	o 3634
52.89/53.53	o 3633
52.89/53.55	o 3632
52.89/53.58	o 3631
52.98/53.60	o 3630
52.98/53.62	o 3629
52.98/53.65	o 3628
52.98/53.67	o 3627
52.98/53.69	o 3626
53.08/53.72	o 3625
53.08/53.74	o 3624
53.08/53.76	o 3623
53.08/53.79	o 3622
53.18/53.82	o 3621
53.18/53.84	o 3620
53.18/53.86	o 3619
53.18/53.89	o 3618
53.28/53.91	o 3617
53.28/53.93	o 3616
53.28/53.96	o 3615
53.28/53.98	o 3614
53.38/54.01	o 3613
53.38/54.03	o 3612
53.38/54.05	o 3611
53.38/54.07	o 3610
53.38/54.10	o 3609
53.48/54.12	o 3608
53.48/54.14	o 3607
53.48/54.17	o 3606
53.48/54.19	o 3605
53.58/54.22	o 3604
53.58/54.24	o 3603
53.58/54.26	o 3602
53.58/54.29	o 3601
53.67/54.31	o 3600
53.67/54.33	o 3599
53.67/54.36	o 3598
53.67/54.38	o 3597
53.77/54.40	o 3596
53.77/54.43	o 3595
53.77/54.45	o 3594
53.77/54.47	o 3593
53.77/54.50	o 3592
53.88/54.52	o 3591
53.88/54.54	o 3590
53.88/54.57	o 3589
53.88/54.59	o 3588
53.98/54.61	o 3587
53.98/54.64	o 3586
53.98/54.66	o 3585
53.98/54.68	o 3584
54.08/54.71	o 3583
54.08/54.73	o 3582
54.08/54.75	o 3581
54.08/54.78	o 3580
54.18/54.80	o 3579
54.18/54.82	o 3578
54.18/54.85	o 3577
54.18/54.87	o 3576
54.18/54.89	o 3575
54.28/54.92	o 3574
54.28/54.94	o 3573
54.28/54.97	o 3572
54.28/54.99	o 3571
54.38/55.01	o 3570
54.38/55.04	o 3569
54.38/55.07	o 3568
54.38/55.08	o 3567
54.47/55.11	o 3566
54.47/55.13	o 3565
54.47/55.15	o 3564
54.47/55.18	o 3563
54.57/55.20	o 3562
54.57/55.22	o 3561
54.57/55.25	o 3560
54.57/55.27	o 3559
54.57/55.29	o 3558
54.67/55.32	o 3557
54.67/55.34	o 3556
54.67/55.36	o 3555
54.67/55.39	o 3554
54.77/55.41	o 3553
54.77/55.43	o 3552
54.77/55.46	o 3551
54.77/55.48	o 3550
54.87/55.50	o 3549
54.87/55.53	o 3548
54.87/55.55	o 3547
54.87/55.57	o 3546
54.87/55.60	o 3545
54.97/55.62	o 3544
54.97/55.64	o 3543
54.97/55.67	o 3542
54.97/55.69	o 3541
55.07/55.71	o 3540
55.07/55.74	o 3539
55.07/55.76	o 3538
55.07/55.78	o 3537
55.17/55.81	o 3536
55.17/55.83	o 3535
55.17/55.85	o 3534
55.17/55.88	o 3533
55.26/55.90	o 3532
55.26/55.92	o 3531
55.26/55.95	o 3530
55.26/55.97	o 3529
55.26/55.99	o 3528
55.37/56.02	o 3527
55.37/56.04	o 3526
55.37/56.07	o 3525
55.37/56.09	o 3524
55.47/56.11	o 3523
55.47/56.14	o 3522
55.47/56.16	o 3521
55.47/56.18	o 3520
55.56/56.21	o 3519
55.56/56.23	o 3518
55.56/56.25	o 3517
55.56/56.28	o 3516
55.66/56.30	o 3515
55.66/56.32	o 3514
55.66/56.35	o 3513
55.66/56.37	o 3512
55.66/56.39	o 3511
55.76/56.42	o 3510
55.76/56.44	o 3509
55.76/56.46	o 3508
55.76/56.49	o 3507
55.86/56.51	o 3506
55.86/56.53	o 3505
55.86/56.55	o 3504
55.86/56.58	o 3503
55.96/56.60	o 3502
55.96/56.62	o 3501
55.96/56.65	o 3500
55.96/56.67	o 3499
55.96/56.69	o 3498
56.06/56.72	o 3497
56.06/56.74	o 3496
56.06/56.76	o 3495
56.06/56.79	o 3494
56.15/56.81	o 3493
56.15/56.84	o 3492
56.15/56.86	o 3491
56.15/56.89	o 3490
56.25/56.91	o 3489
56.25/56.93	o 3488
56.25/56.95	o 3487
56.25/56.98	o 3486
56.35/57.00	o 3485
56.35/57.02	o 3484
56.35/57.04	o 3483
56.35/57.07	o 3482
56.35/57.09	o 3481
56.45/57.12	o 3480
56.45/57.14	o 3479
56.45/57.16	o 3478
56.45/57.18	o 3477
56.55/57.21	o 3476
56.55/57.23	o 3475
56.55/57.25	o 3474
56.55/57.27	o 3473
56.55/57.30	o 3472
56.64/57.32	o 3471
56.64/57.34	o 3470
56.64/57.36	o 3469
56.64/57.38	o 3468
56.74/57.41	o 3467
56.74/57.43	o 3466
56.74/57.45	o 3465
56.74/57.47	o 3464
56.74/57.50	o 3463
56.84/57.52	o 3462
56.84/57.54	o 3461
56.84/57.56	o 3460
56.84/57.58	o 3459
56.94/57.61	o 3458
56.94/57.63	o 3457
56.94/57.65	o 3456
56.94/57.67	o 3455
56.94/57.70	o 3454
57.04/57.72	o 3453
57.04/57.74	o 3452
57.04/57.76	o 3451
57.04/57.78	o 3450
57.14/57.81	o 3449
57.14/57.83	o 3448
57.14/57.85	o 3447
57.14/57.87	o 3446
57.14/57.89	o 3445
57.24/57.92	o 3444
57.24/57.94	o 3443
57.24/57.96	o 3442
57.24/57.98	o 3441
57.33/58.01	o 3440
57.33/58.03	o 3439
57.33/58.05	o 3438
57.33/58.07	o 3437
57.33/58.09	o 3436
57.43/58.12	o 3435
57.43/58.14	o 3434
57.43/58.16	o 3433
57.43/58.18	o 3432
57.53/58.21	o 3431
57.53/58.23	o 3430
57.53/58.25	o 3429
57.53/58.28	o 3428
57.53/58.30	o 3427
57.63/58.32	o 3426
57.63/58.34	o 3425
57.63/58.36	o 3424
57.63/58.39	o 3423
57.73/58.41	o 3422
57.73/58.43	o 3421
57.73/58.45	o 3420
57.73/58.47	o 3419
57.73/58.49	o 3418
57.83/58.52	o 3417
57.83/58.54	o 3416
57.83/58.56	o 3415
57.83/58.58	o 3414
57.93/58.61	o 3413
57.93/58.63	o 3412
57.93/58.65	o 3411
57.93/58.67	o 3410
57.93/58.69	o 3409
58.03/58.71	o 3408
58.03/58.74	o 3407
58.03/58.76	o 3406
58.03/58.78	o 3405
58.12/58.80	o 3404
58.12/58.82	o 3403
58.12/58.84	o 3402
58.12/58.87	o 3401
58.12/58.89	o 3400
58.22/58.91	o 3399
58.22/58.93	o 3398
58.22/58.95	o 3397
58.22/58.97	o 3396
58.22/59.00	o 3395
58.33/59.02	o 3394
58.33/59.04	o 3393
58.33/59.06	o 3392
58.33/59.08	o 3391
58.43/59.11	o 3390
58.43/59.13	o 3389
58.43/59.15	o 3388
58.43/59.17	o 3387
58.43/59.19	o 3386
58.53/59.21	o 3385
58.53/59.24	o 3384
58.53/59.26	o 3383
58.53/59.28	o 3382
58.63/59.31	o 3381
58.63/59.33	o 3380
58.63/59.35	o 3379
58.63/59.37	o 3378
58.63/59.39	o 3377
58.72/59.41	o 3376
58.72/59.44	o 3375
58.72/59.46	o 3374
58.72/59.48	o 3373
58.82/59.50	o 3372
58.82/59.52	o 3371
58.82/59.54	o 3370
58.82/59.56	o 3369
58.82/59.59	o 3368
58.92/59.61	o 3367
58.92/59.63	o 3366
58.92/59.65	o 3365
58.92/59.67	o 3364
58.92/59.69	o 3363
59.02/59.72	o 3362
59.02/59.74	o 3361
59.02/59.76	o 3360
59.02/59.78	o 3359
59.12/59.80	o 3358
59.12/59.82	o 3357
59.12/59.85	o 3356
59.12/59.87	o 3355
59.12/59.89	o 3354
59.21/59.91	o 3353
59.21/59.93	o 3352
59.21/59.95	o 3351
59.21/59.97	o 3350
59.21/60.00	o 3349
59.31/60.02	o 3348
59.31/60.04	o 3347
59.31/60.09	o 3346
59.31/60.09	o 3345
59.42/60.11	o 3344
59.42/60.13	o 3343
59.42/60.15	o 3342
59.42/60.17	o 3341
59.42/60.19	o 3340
59.52/60.21	o 3339
59.52/60.24	o 3338
59.52/60.26	o 3337
59.52/60.28	o 3336
59.61/60.30	o 3335
59.61/60.32	o 3334
59.61/60.35	o 3333
59.61/60.37	o 3332
59.61/60.39	o 3331
59.71/60.42	o 3330
59.71/60.44	o 3329
59.71/60.46	o 3328
59.71/60.49	o 3327
59.81/60.51	o 3326
59.81/60.53	o 3325
59.81/60.55	o 3324
59.81/60.57	o 3323
59.81/60.60	o 3322
59.91/60.62	o 3321
59.91/60.64	o 3320
59.91/60.66	o 3319
59.91/60.68	o 3318
60.00/60.71	o 3317
60.00/60.73	o 3316
60.00/60.75	o 3315
60.00/60.77	o 3314
60.00/60.79	o 3313
60.11/60.81	o 3312
60.11/60.83	o 3311
60.11/60.86	o 3310
60.11/60.88	o 3309
60.21/60.90	o 3308
60.21/60.92	o 3307
60.21/60.94	o 3306
60.21/60.97	o 3305
60.21/60.99	o 3304
60.31/61.01	o 3303
60.31/61.03	o 3302
60.31/61.05	o 3301
60.31/61.07	o 3300
60.31/61.10	o 3299
60.40/61.12	o 3298
60.40/61.14	o 3297
60.40/61.16	o 3296
60.40/61.18	o 3295
60.50/61.20	o 3294
60.50/61.23	o 3293
60.50/61.25	o 3292
60.50/61.27	o 3291
60.50/61.29	o 3290
60.60/61.31	o 3289
60.60/61.34	o 3288
60.60/61.36	o 3287
60.60/61.38	o 3286
60.71/61.40	o 3285
60.71/61.42	o 3284
60.71/61.44	o 3283
60.71/61.46	o 3282
60.71/61.49	o 3281
60.80/61.51	o 3280
60.80/61.54	o 3279
60.80/61.56	o 3278
60.80/61.58	o 3277
60.80/61.60	o 3276
60.90/61.62	o 3275
60.90/61.64	o 3274
60.90/61.66	o 3273
60.90/61.68	o 3272
60.99/61.71	o 3271
60.99/61.73	o 3270
60.99/61.75	o 3269
60.99/61.77	o 3268
60.99/61.79	o 3267
61.10/61.81	o 3266
61.10/61.83	o 3265
61.10/61.86	o 3264
61.10/61.89	o 3263
61.19/61.91	o 3262
61.19/61.93	o 3261
61.19/61.95	o 3260
61.19/61.97	o 3259
61.19/61.99	o 3258
61.29/62.01	o 3257
61.29/62.03	o 3256
61.29/62.05	o 3255
61.29/62.07	o 3254
61.29/62.09	o 3253
61.39/62.12	o 3252
61.39/62.14	o 3251
61.39/62.16	o 3250
61.39/62.18	o 3249
61.49/62.20	o 3248
61.49/62.22	o 3247
61.49/62.24	o 3246
61.49/62.26	o 3245
61.49/62.28	o 3244
61.58/62.30	o 3243
61.58/62.32	o 3242
61.58/62.34	o 3241
61.58/62.36	o 3240
61.58/62.39	o 3239
61.68/62.41	o 3238
61.68/62.43	o 3237
61.68/62.45	o 3236
61.68/62.47	o 3235
61.68/62.49	o 3234
61.78/62.51	o 3233
61.78/62.53	o 3232
61.78/62.55	o 3231
61.78/62.57	o 3230
61.78/62.59	o 3229
61.88/62.62	o 3228
61.88/62.64	o 3227
61.88/62.66	o 3226
61.88/62.68	o 3225
61.88/62.70	o 3224
61.98/62.72	o 3223
61.98/62.74	o 3222
61.98/62.76	o 3221
61.98/62.78	o 3220
62.08/62.80	o 3219
62.08/62.82	o 3218
62.08/62.84	o 3217
62.08/62.86	o 3216
62.08/62.88	o 3215
62.18/62.91	o 3214
62.18/62.93	o 3213
62.18/62.95	o 3212
62.18/62.97	o 3211
62.18/62.99	o 3210
62.28/63.01	o 3209
62.28/63.03	o 3208
62.28/63.05	o 3207
62.28/63.07	o 3206
62.28/63.09	o 3205
62.37/63.11	o 3204
62.37/63.13	o 3203
62.37/63.15	o 3202
62.37/63.17	o 3201
62.37/63.19	o 3200
62.47/63.21	o 3199
62.47/63.23	o 3198
62.47/63.25	o 3197
62.47/63.27	o 3196
62.47/63.30	o 3195
62.57/63.32	o 3194
62.57/63.34	o 3193
62.57/63.36	o 3192
62.57/63.38	o 3191
62.57/63.40	o 3190
62.67/63.42	o 3189
62.67/63.44	o 3188
62.67/63.46	o 3187
62.67/63.48	o 3186
62.77/63.50	o 3185
62.77/63.52	o 3184
62.77/63.54	o 3183
62.77/63.56	o 3182
62.77/63.58	o 3181
62.87/63.60	o 3180
62.87/63.62	o 3179
62.87/63.64	o 3178
62.87/63.66	o 3177
62.87/63.68	o 3176
62.97/63.71	o 3175
62.97/63.73	o 3174
62.97/63.75	o 3173
62.97/63.77	o 3172
62.97/63.79	o 3171
63.06/63.81	o 3170
63.06/63.83	o 3169
63.06/63.85	o 3168
63.06/63.87	o 3167
63.06/63.89	o 3166
63.16/63.91	o 3165
63.16/63.93	o 3164
63.16/63.95	o 3163
63.16/63.97	o 3162
63.16/63.99	o 3161
63.27/64.01	o 3160
63.27/64.03	o 3159
63.27/64.05	o 3158
63.27/64.07	o 3157
63.27/64.09	o 3156
63.36/64.11	o 3155
63.36/64.13	o 3154
63.36/64.15	o 3153
63.36/64.17	o 3152
63.36/64.19	o 3151
63.46/64.21	o 3150
63.46/64.23	o 3149
63.46/64.25	o 3148
63.46/64.27	o 3147
63.46/64.29	o 3146
63.56/64.31	o 3145
63.56/64.33	o 3144
63.56/64.35	o 3143
63.56/64.37	o 3142
63.56/64.39	o 3141
63.66/64.41	o 3140
63.66/64.43	o 3139
63.66/64.45	o 3138
63.66/64.47	o 3137
63.66/64.49	o 3136
63.76/64.51	o 3135
63.76/64.53	o 3134
63.76/64.55	o 3133
63.76/64.57	o 3132
63.76/64.59	o 3131
63.86/64.61	o 3130
63.86/64.63	o 3129
63.86/64.65	o 3128
63.86/64.67	o 3127
63.86/64.69	o 3126
63.96/64.71	o 3125
63.96/64.73	o 3124
63.96/64.75	o 3123
63.96/64.77	o 3122
63.96/64.79	o 3121
64.05/64.82	o 3120
64.05/64.84	o 3119
64.05/64.86	o 3118
64.05/64.88	o 3117
64.05/64.90	o 3116
64.15/64.92	o 3115
64.15/64.94	o 3114
64.15/64.96	o 3113
64.15/64.97	o 3112
64.15/65.00	o 3111
64.25/65.02	o 3110
64.25/65.03	o 3109
64.25/65.09	o 3108
64.32/65.11	o 3107
64.32/65.13	o 3106
64.32/65.15	o 3105
64.32/65.17	o 3104
64.32/65.19	o 3103
64.42/65.21	o 3102
64.42/65.23	o 3101
64.42/65.25	o 3100
64.42/65.27	o 3099
64.42/65.29	o 3098
64.52/65.31	o 3097
64.52/65.33	o 3096
64.52/65.35	o 3095
64.52/65.37	o 3094
64.52/65.39	o 3093
64.62/65.41	o 3092
64.62/65.43	o 3091
64.62/65.45	o 3090
64.62/65.48	o 3089
64.72/65.50	o 3088
64.72/65.52	o 3087
64.72/65.54	o 3086
64.72/65.56	o 3085
64.72/65.58	o 3084
64.81/65.60	o 3083
64.81/65.62	o 3082
64.81/65.64	o 3081
64.81/65.66	o 3080
64.81/65.68	o 3079
64.91/65.70	o 3078
64.91/65.72	o 3077
64.91/65.74	o 3076
64.91/65.76	o 3075
64.91/65.78	o 3074
65.01/65.80	o 3073
65.01/65.82	o 3072
65.01/65.84	o 3071
65.01/65.86	o 3070
65.01/65.88	o 3069
65.01/65.90	o 3068
65.11/65.92	o 3067
65.11/65.94	o 3066
65.11/65.96	o 3065
65.11/65.98	o 3064
65.11/66.00	o 3063
65.20/66.02	o 3062
65.20/66.04	o 3061
65.20/66.06	o 3060
65.20/66.08	o 3059
65.31/66.10	o 3058
65.31/66.12	o 3057
65.31/66.14	o 3056
65.31/66.16	o 3055
65.31/66.18	o 3054
65.41/66.20	o 3053
65.41/66.22	o 3052
65.41/66.24	o 3051
65.41/66.26	o 3050
65.41/66.28	o 3049
65.50/66.30	o 3048
65.50/66.32	o 3047
65.50/66.34	o 3046
65.50/66.36	o 3045
65.50/66.38	o 3044
65.50/66.40	o 3043
65.60/66.42	o 3042
65.60/66.43	o 3041
65.60/66.45	o 3040
65.60/66.47	o 3039
65.60/66.49	o 3038
65.70/66.51	o 3037
65.70/66.53	o 3036
65.70/66.55	o 3035
65.70/66.57	o 3034
65.70/66.59	o 3033
65.79/66.61	o 3032
65.79/66.63	o 3031
65.79/66.65	o 3030
65.79/66.67	o 3029
65.79/66.69	o 3028
65.89/66.71	o 3027
65.89/66.73	o 3026
65.89/66.75	o 3025
65.89/66.77	o 3024
65.89/66.79	o 3023
65.99/66.81	o 3022
65.99/66.83	o 3021
65.99/66.85	o 3020
65.99/66.87	o 3019
65.99/66.89	o 3018
66.09/66.91	o 3017
66.09/66.93	o 3016
66.09/66.95	o 3015
66.09/66.97	o 3014
66.09/66.99	o 3013
66.19/67.01	o 3012
66.19/67.03	o 3011
66.19/67.05	o 3010
66.19/67.07	o 3009
66.19/67.09	o 3008
66.29/67.11	o 3007
66.29/67.13	o 3006
66.29/67.15	o 3005
66.29/67.17	o 3004
66.29/67.18	o 3003
66.39/67.20	o 3002
66.39/67.22	o 3001
66.39/67.24	o 3000
66.39/67.26	o 2999
66.39/67.28	o 2998
66.48/67.30	o 2997
66.48/67.32	o 2996
66.48/67.34	o 2995
66.48/67.36	o 2994
66.48/67.38	o 2993
66.48/67.40	o 2992
66.58/67.41	o 2991
66.58/67.43	o 2990
66.58/67.45	o 2989
66.58/67.47	o 2988
66.58/67.49	o 2987
66.68/67.51	o 2986
66.68/67.53	o 2985
66.68/67.55	o 2984
66.68/67.57	o 2983
66.68/67.59	o 2982
66.78/67.61	o 2981
66.78/67.63	o 2980
66.78/67.64	o 2979
66.78/67.66	o 2978
66.78/67.68	o 2977
66.88/67.70	o 2976
66.88/67.72	o 2975
66.88/67.74	o 2974
66.88/67.76	o 2973
66.88/67.78	o 2972
66.88/67.80	o 2971
66.98/67.82	o 2970
66.98/67.83	o 2969
66.98/67.85	o 2968
66.98/67.87	o 2967
66.98/67.89	o 2966
67.07/67.91	o 2965
67.07/67.93	o 2964
67.07/67.95	o 2963
67.07/67.97	o 2962
67.07/67.99	o 2961
67.17/68.00	o 2960
67.17/68.02	o 2959
67.17/68.04	o 2958
67.17/68.06	o 2957
67.17/68.08	o 2956
67.27/68.10	o 2955
67.27/68.12	o 2954
67.27/68.14	o 2953
67.27/68.16	o 2952
67.27/68.18	o 2951
67.27/68.20	o 2950
67.37/68.22	o 2949
67.37/68.24	o 2948
67.37/68.25	o 2947
67.37/68.27	o 2946
67.37/68.29	o 2945
67.47/68.31	o 2944
67.47/68.33	o 2943
67.47/68.35	o 2942
67.47/68.37	o 2941
67.47/68.39	o 2940
67.57/68.40	o 2939
67.57/68.42	o 2938
67.57/68.44	o 2937
67.57/68.46	o 2936
67.57/68.48	o 2935
67.67/68.50	o 2934
67.67/68.52	o 2933
67.67/68.54	o 2932
67.67/68.55	o 2931
67.67/68.57	o 2930
67.67/68.59	o 2929
67.77/68.61	o 2928
67.77/68.63	o 2927
67.77/68.65	o 2926
67.77/68.67	o 2925
67.77/68.69	o 2924
67.87/68.70	o 2923
67.87/68.72	o 2922
67.87/68.74	o 2921
67.87/68.76	o 2920
67.87/68.78	o 2919
67.87/68.80	o 2918
67.97/68.82	o 2917
67.97/68.83	o 2916
67.97/68.85	o 2915
67.97/68.87	o 2914
67.97/68.89	o 2913
68.07/68.91	o 2912
68.07/68.93	o 2911
68.07/68.95	o 2910
68.07/68.96	o 2909
68.07/68.98	o 2908
68.16/69.00	o 2907
68.16/69.02	o 2906
68.16/69.04	o 2905
68.16/69.06	o 2904
68.16/69.08	o 2903
68.16/69.09	o 2902
68.26/69.11	o 2901
68.26/69.13	o 2900
68.26/69.15	o 2899
68.26/69.17	o 2898
68.26/69.19	o 2897
68.36/69.21	o 2896
68.36/69.23	o 2895
68.36/69.25	o 2894
68.36/69.27	o 2893
68.36/69.28	o 2892
68.36/69.30	o 2891
68.46/69.32	o 2890
68.46/69.34	o 2889
68.46/69.36	o 2888
68.46/69.38	o 2887
68.46/69.39	o 2886
68.55/69.41	o 2885
68.55/69.43	o 2884
68.55/69.45	o 2883
68.55/69.47	o 2882
68.55/69.49	o 2881
68.65/69.51	o 2880
68.65/69.52	o 2879
68.65/69.54	o 2878
68.65/69.56	o 2877
68.65/69.58	o 2876
68.65/69.60	o 2875
68.75/69.62	o 2874
68.75/69.63	o 2873
68.75/69.65	o 2872
68.75/69.67	o 2871
68.75/69.69	o 2870
68.85/69.71	o 2869
68.85/69.73	o 2868
68.85/69.74	o 2867
68.85/69.76	o 2866
68.85/69.78	o 2865
68.95/69.80	o 2864
68.95/69.82	o 2863
68.95/69.84	o 2862
68.95/69.85	o 2861
68.95/69.87	o 2860
68.95/69.89	o 2859
69.06/69.91	o 2858
69.06/69.93	o 2857
69.06/69.94	o 2856
69.06/69.96	o 2855
69.06/69.98	o 2854
69.16/70.00	o 2853
69.16/70.02	o 2852
69.16/70.04	o 2851
69.16/70.05	o 2850
69.16/70.07	o 2849
69.16/70.09	o 2848
69.25/70.11	o 2847
69.25/70.13	o 2846
69.25/70.15	o 2845
69.25/70.16	o 2844
69.25/70.18	o 2843
69.35/70.20	o 2842
69.35/70.22	o 2841
69.35/70.24	o 2840
69.35/70.26	o 2839
69.35/70.27	o 2838
69.35/70.29	o 2837
69.45/70.32	o 2836
69.45/70.33	o 2835
69.45/70.35	o 2834
69.45/70.37	o 2833
69.45/70.39	o 2832
69.55/70.41	o 2831
69.55/70.43	o 2830
69.55/70.44	o 2829
69.55/70.46	o 2828
69.55/70.48	o 2827
69.55/70.50	o 2826
69.64/70.52	o 2825
69.64/70.53	o 2824
69.64/70.55	o 2823
69.64/70.57	o 2822
69.64/70.59	o 2821
69.74/70.61	o 2820
69.74/70.62	o 2819
69.74/70.64	o 2818
69.74/70.66	o 2817
69.74/70.68	o 2816
69.74/70.69	o 2815
69.84/70.71	o 2814
69.84/70.73	o 2813
69.84/70.75	o 2812
69.84/70.77	o 2811
69.84/70.79	o 2810
69.94/70.80	o 2809
69.94/70.82	o 2808
69.94/70.84	o 2807
69.94/70.86	o 2806
69.94/70.88	o 2805
69.94/70.89	o 2804
70.04/70.91	o 2803
70.04/70.93	o 2802
70.04/70.95	o 2801
70.04/70.97	o 2800
70.04/70.98	o 2799
70.14/71.00	o 2798
70.14/71.02	o 2797
70.14/71.04	o 2796
70.14/71.06	o 2795
70.14/71.07	o 2794
70.14/71.09	o 2793
70.24/71.11	o 2792
70.24/71.13	o 2791
70.24/71.15	o 2790
70.24/71.16	o 2789
70.24/71.18	o 2788
70.33/71.20	o 2787
70.33/71.22	o 2786
70.33/71.23	o 2785
70.33/71.25	o 2784
70.33/71.27	o 2783
70.33/71.29	o 2782
70.43/71.31	o 2781
70.43/71.32	o 2780
70.43/71.34	o 2779
70.43/71.36	o 2778
70.43/71.38	o 2777
70.43/71.40	o 2776
70.53/71.42	o 2775
70.53/71.44	o 2774
70.53/71.45	o 2773
70.53/71.47	o 2772
70.53/71.49	o 2771
70.64/71.51	o 2770
70.64/71.52	o 2769
70.64/71.54	o 2768
70.64/71.56	o 2767
70.64/71.58	o 2766
70.64/71.59	o 2765
70.74/71.61	o 2764
70.74/71.63	o 2763
70.74/71.65	o 2762
70.74/71.66	o 2761
70.74/71.68	o 2760
70.84/71.70	o 2759
70.84/71.72	o 2758
70.84/71.74	o 2757
70.84/71.75	o 2756
70.84/71.77	o 2755
70.84/71.79	o 2754
70.93/71.81	o 2753
70.93/71.82	o 2752
70.93/71.84	o 2751
70.93/71.86	o 2750
70.93/71.88	o 2749
70.93/71.89	o 2748
71.03/71.91	o 2747
71.03/71.93	o 2746
71.03/71.95	o 2745
71.03/71.96	o 2744
71.03/71.98	o 2743
71.13/72.00	o 2742
71.13/72.02	o 2741
71.13/72.03	o 2740
71.13/72.05	o 2739
71.13/72.07	o 2738
71.13/72.09	o 2737
71.22/72.10	o 2736
71.22/72.12	o 2735
71.22/72.14	o 2734
71.22/72.16	o 2733
71.22/72.17	o 2732
71.22/72.19	o 2731
71.32/72.21	o 2730
71.32/72.23	o 2729
71.32/72.24	o 2728
71.32/72.26	o 2727
71.32/72.28	o 2726
71.32/72.30	o 2725
71.42/72.31	o 2724
71.42/72.33	o 2723
71.42/72.35	o 2722
71.42/72.36	o 2721
71.42/72.38	o 2720
71.52/72.40	o 2719
71.52/72.42	o 2718
71.52/72.43	o 2717
71.52/72.45	o 2716
71.52/72.47	o 2715
71.52/72.49	o 2714
71.62/72.51	o 2713
71.62/72.52	o 2712
71.62/72.54	o 2711
71.62/72.56	o 2710
71.62/72.58	o 2709
71.62/72.59	o 2708
71.72/72.61	o 2707
71.72/72.63	o 2706
71.72/72.64	o 2705
71.72/72.66	o 2704
71.72/72.68	o 2703
71.72/72.70	o 2702
71.82/72.71	o 2701
71.82/72.73	o 2700
71.82/72.75	o 2699
71.82/72.76	o 2698
71.82/72.78	o 2697
71.91/72.80	o 2696
71.91/72.82	o 2695
71.91/72.83	o 2694
71.91/72.85	o 2693
71.91/72.87	o 2692
71.91/72.88	o 2691
72.01/72.90	o 2690
72.01/72.92	o 2689
72.01/72.93	o 2688
72.01/72.95	o 2687
72.01/72.97	o 2686
72.01/72.98	o 2685
72.11/73.00	o 2684
72.11/73.02	o 2683
72.11/73.04	o 2682
72.11/73.05	o 2681
72.11/73.07	o 2680
72.11/73.09	o 2679
72.21/73.10	o 2678
72.21/73.12	o 2677
72.21/73.14	o 2676
72.21/73.15	o 2675
72.21/73.17	o 2674
72.21/73.19	o 2673
72.32/73.20	o 2672
72.32/73.22	o 2671
72.32/73.24	o 2670
72.32/73.25	o 2669
72.32/73.27	o 2668
72.32/73.29	o 2667
72.41/73.30	o 2666
72.41/73.32	o 2665
72.41/73.34	o 2664
72.41/73.35	o 2663
72.41/73.37	o 2662
72.41/73.39	o 2661
72.51/73.40	o 2660
72.51/73.42	o 2659
72.51/73.44	o 2658
72.51/73.45	o 2657
72.51/73.47	o 2656
72.51/73.49	o 2655
72.61/73.51	o 2654
72.61/73.52	o 2653
72.61/73.54	o 2652
72.61/73.56	o 2651
72.61/73.57	o 2650
72.61/73.59	o 2649
72.71/73.61	o 2648
72.71/73.63	o 2647
72.71/73.64	o 2646
72.71/73.66	o 2645
72.71/73.68	o 2644
72.71/73.69	o 2643
72.81/73.71	o 2642
72.81/73.73	o 2641
72.81/73.74	o 2640
72.81/73.76	o 2639
72.81/73.78	o 2638
72.81/73.79	o 2637
72.90/73.81	o 2636
72.90/73.83	o 2635
72.90/73.84	o 2634
72.90/73.86	o 2633
72.90/73.88	o 2632
72.90/73.89	o 2631
73.00/73.91	o 2630
73.00/73.93	o 2629
73.00/73.94	o 2628
73.00/73.96	o 2627
73.00/73.97	o 2626
73.00/73.99	o 2625
73.10/74.01	o 2624
73.10/74.02	o 2623
73.10/74.04	o 2622
73.10/74.06	o 2621
73.10/74.07	o 2620
73.10/74.09	o 2619
73.21/74.11	o 2618
73.21/74.12	o 2617
73.21/74.14	o 2616
73.21/74.16	o 2615
73.21/74.17	o 2614
73.21/74.19	o 2613
73.31/74.20	o 2612
73.31/74.22	o 2611
73.31/74.24	o 2610
73.31/74.25	o 2609
73.31/74.27	o 2608
73.31/74.29	o 2607
73.40/74.30	o 2606
73.40/74.32	o 2605
73.40/74.33	o 2604
73.40/74.35	o 2603
73.40/74.37	o 2602
73.40/74.38	o 2601
73.50/74.40	o 2600
73.50/74.42	o 2599
73.50/74.43	o 2598
73.50/74.45	o 2597
73.50/74.46	o 2596
73.50/74.48	o 2595
73.50/74.50	o 2594
73.60/74.51	o 2593
73.60/74.53	o 2592
73.60/74.54	o 2591
73.60/74.56	o 2590
73.60/74.57	o 2589
73.60/74.59	o 2588
73.70/74.60	o 2587
73.70/74.62	o 2586
73.70/74.63	o 2585
73.70/74.65	o 2584
73.70/74.66	o 2583
73.70/74.68	o 2582
73.70/74.70	o 2581
73.80/74.72	o 2580
73.80/74.73	o 2579
73.80/74.75	o 2578
73.80/74.76	o 2577
73.80/74.78	o 2576
73.80/74.79	o 2575
73.90/74.81	o 2574
73.90/74.82	o 2573
73.90/74.84	o 2572
73.90/74.85	o 2571
73.90/74.87	o 2570
73.90/74.88	o 2569
73.99/74.90	o 2568
73.99/74.91	o 2567
73.99/74.93	o 2566
73.99/74.94	o 2565
73.99/74.96	o 2564
73.99/74.97	o 2563
73.99/74.99	o 2562
74.09/75.00	o 2561
74.09/75.02	o 2560
74.09/75.04	o 2559
74.09/75.05	o 2558
74.59/75.55	o 2557
74.59/75.55	o 2556
74.59/75.55	o 2555
74.59/75.55	o 2554
74.59/75.55	o 2553
74.59/75.55	o 2552
74.59/75.55	o 2551
74.59/75.55	o 2550
74.59/75.55	o 2549
74.59/75.55	o 2548
74.59/75.55	o 2547
74.59/75.55	o 2546
74.59/75.55	o 2545
74.59/75.55	o 2544
74.59/75.55	o 2543
74.59/75.55	o 2542
74.59/75.55	o 2541
74.59/75.55	o 2540
74.59/75.55	o 2539
74.59/75.55	o 2538
74.59/75.55	o 2537
74.59/75.55	o 2536
74.59/75.55	o 2535
74.59/75.55	o 2534
74.59/75.55	o 2533
74.59/75.55	o 2532
74.59/75.55	o 2531
74.59/75.55	o 2530
74.59/75.55	o 2529
74.59/75.55	o 2528
74.59/75.55	o 2527
74.59/75.55	o 2526
74.59/75.55	o 2525
74.59/75.56	o 2524
74.59/75.57	o 2523
74.59/75.59	o 2522
74.69/75.60	o 2521
74.69/75.62	o 2520
74.69/75.63	o 2519
74.69/75.65	o 2518
74.69/75.66	o 2517
74.69/75.68	o 2516
74.69/75.69	o 2515
74.79/75.71	o 2514
74.79/75.72	o 2513
74.79/75.74	o 2512
74.79/75.75	o 2511
74.79/75.77	o 2510
74.79/75.78	o 2509
74.89/75.80	o 2508
74.89/75.82	o 2507
74.89/75.83	o 2506
74.89/75.85	o 2505
74.89/75.86	o 2504
74.89/75.88	o 2503
74.89/75.89	o 2502
74.99/75.91	o 2501
74.99/75.92	o 2500
74.99/75.94	o 2499
74.99/75.95	o 2498
74.99/75.97	o 2497
74.99/75.98	o 2496
74.99/76.00	o 2495
75.09/76.01	o 2494
75.09/76.03	o 2493
75.09/76.04	o 2492
75.09/76.06	o 2491
75.09/76.07	o 2490
75.09/76.09	o 2489
75.19/76.10	o 2488
75.19/76.12	o 2487
75.19/76.13	o 2486
75.19/76.15	o 2485
75.19/76.16	o 2484
75.19/76.17	o 2483
75.19/76.19	o 2482
75.28/76.21	o 2481
75.28/76.22	o 2480
75.28/76.24	o 2479
75.28/76.25	o 2478
75.28/76.27	o 2477
75.28/76.28	o 2476
75.28/76.30	o 2475
75.38/76.31	o 2474
75.38/76.32	o 2473
75.38/76.34	o 2472
75.38/76.35	o 2471
75.38/76.37	o 2470
75.38/76.38	o 2469
75.49/76.40	o 2468
75.49/76.41	o 2467
75.49/76.43	o 2466
75.49/76.44	o 2465
75.49/76.46	o 2464
75.49/76.47	o 2463
75.49/76.49	o 2462
75.58/76.50	o 2461
75.58/76.52	o 2460
75.58/76.53	o 2459
75.58/76.55	o 2458
75.58/76.56	o 2457
75.58/76.58	o 2456
75.58/76.59	o 2455
75.67/76.60	o 2454
75.67/76.62	o 2453
75.67/76.63	o 2452
75.67/76.65	o 2451
75.67/76.66	o 2450
75.67/76.68	o 2449
75.67/76.69	o 2448
75.78/76.71	o 2447
75.78/76.72	o 2446
75.78/76.74	o 2445
75.78/76.75	o 2444
75.78/76.76	o 2443
75.78/76.78	o 2442
75.78/76.79	o 2441
75.88/76.81	o 2440
75.88/76.82	o 2439
75.88/76.84	o 2438
75.88/76.85	o 2437
75.88/76.87	o 2436
75.88/76.88	o 2435
75.88/76.89	o 2434
75.97/76.92	o 2433
75.97/76.93	o 2432
75.97/76.94	o 2431
75.97/76.96	o 2430
75.97/76.97	o 2429
75.97/77.00	o 2428
76.06/77.01	o 2427
76.06/77.03	o 2426
76.06/77.04	o 2425
76.06/77.05	o 2424
76.06/77.07	o 2423
76.06/77.08	o 2422
76.16/77.10	o 2421
76.16/77.11	o 2420
76.16/77.13	o 2419
76.16/77.14	o 2418
76.16/77.16	o 2417
76.16/77.17	o 2416
76.16/77.19	o 2415
76.26/77.20	o 2414
76.26/77.22	o 2413
76.26/77.23	o 2412
76.26/77.25	o 2411
76.26/77.26	o 2410
76.26/77.27	o 2409
76.26/77.29	o 2408
76.36/77.30	o 2407
76.36/77.32	o 2406
76.36/77.34	o 2405
76.36/77.35	o 2404
76.36/77.36	o 2403
76.36/77.38	o 2402
76.36/77.39	o 2401
76.46/77.41	o 2400
76.46/77.42	o 2399
76.46/77.44	o 2398
76.46/77.45	o 2397
76.46/77.47	o 2396
76.46/77.48	o 2395
76.56/77.50	o 2394
76.56/77.51	o 2393
76.56/77.53	o 2392
76.56/77.54	o 2391
76.56/77.56	o 2390
76.56/77.57	o 2389
76.56/77.59	o 2388
76.66/77.60	o 2387
76.66/77.62	o 2386
76.66/77.63	o 2385
76.66/77.64	o 2384
76.66/77.66	o 2383
76.66/77.67	o 2382
76.66/77.69	o 2381
76.76/77.70	o 2380
76.76/77.72	o 2379
76.76/77.73	o 2378
76.76/77.75	o 2377
76.76/77.76	o 2376
76.76/77.78	o 2375
76.76/77.79	o 2374
76.86/77.80	o 2373
76.86/77.82	o 2372
76.86/77.83	o 2371
76.86/77.85	o 2370
76.86/77.87	o 2369
76.86/77.88	o 2368
76.86/77.90	o 2367
76.95/77.91	o 2366
76.95/77.93	o 2365
76.95/77.94	o 2364
76.95/77.96	o 2363
76.95/77.97	o 2362
76.95/77.99	o 2361
77.05/78.01	o 2360
77.05/78.02	o 2359
77.05/78.03	o 2358
77.05/78.05	o 2357
77.05/78.06	o 2356
77.05/78.08	o 2355
77.05/78.10	o 2354
77.16/78.12	o 2353
77.16/78.13	o 2352
77.16/78.15	o 2351
77.16/78.16	o 2350
77.25/78.24	o 2349
77.75/78.72	o 2348
78.05/79.00	o 2347
78.05/79.06	o 2346
78.35/79.33	o 2345
78.35/79.35	o 2344
78.45/79.40	o 2343
78.55/79.59	o 2342
78.95/79.90	o 2341
78.95/79.93	o 2340
78.95/79.96	o 2339
78.95/79.97	o 2338
79.24/80.25	o 2337
79.24/80.29	o 2336
79.34/80.31	o 2335
79.34/80.36	o 2334
79.44/80.42	o 2333
79.44/80.50	o 2332
79.74/80.75	o 2331
80.14/81.10	o 2330
80.34/81.35	o 2329
80.44/81.49	o 2328
80.54/81.52	o 2327
80.64/81.62	o 2326
80.74/81.70	o 2325
80.84/81.87	o 2324
80.93/81.94	o 2323
80.93/81.97	o 2322
81.23/82.23	o 2321
81.83/82.81	o 2320
82.22/83.26	o 2319
82.63/83.61	o 2318
82.63/83.69	o 2317
82.72/83.78	o 2316
83.12/84.14	o 2315
83.22/84.26	o 2314
83.22/84.29	o 2313
83.42/84.48	o 2312
83.72/84.75	o 2311
84.21/85.25	o 2310
84.32/85.35	o 2309
84.42/85.50	o 2308
84.52/85.55	o 2307
84.52/85.59	o 2306
84.72/85.74	o 2305
84.72/85.76	o 2304
85.01/86.02	o 2303
85.01/86.09	o 2302
85.31/86.33	o 2301
85.31/86.34	o 2300
85.52/86.56	o 2299
85.52/86.58	o 2298
85.52/86.59	o 2297
85.91/87.00	o 2296
86.00/87.01	o 2295
86.10/87.13	o 2294
86.21/87.24	o 2293
86.21/87.26	o 2292
86.31/87.30	o 2291
86.41/87.41	o 2290
87.30/88.35	o 2289
87.40/88.47	o 2288
87.60/88.64	o 2287
87.70/88.75	o 2286
87.90/88.98	o 2285
88.00/89.03	o 2284
98.05/99.16	o 2283
98.05/99.17	o 2282
98.05/99.18	o 2281
98.05/99.19	o 2280
98.05/99.19	o 2279
98.14/99.21	o 2278
98.14/99.22	o 2276
98.14/99.23	o 2274
98.14/99.27	o 2273
98.14/99.29	o 2272
98.25/99.30	o 2270
98.25/99.32	o 2269
98.25/99.33	o 2268
98.25/99.34	o 2265
98.25/99.35	o 2264
98.25/99.36	o 2262
98.25/99.38	o 2261
98.25/99.39	o 2259
98.35/99.41	o 2254
98.35/99.42	o 2252
98.35/99.44	o 2251
98.35/99.45	o 2245
98.35/99.47	o 2244
98.44/99.51	o 2242
98.44/99.52	o 2240
98.44/99.53	o 2239
98.44/99.54	o 2237
98.44/99.57	o 2236
98.44/99.59	o 2235
98.44/99.60	o 2234
98.54/99.61	o 2233
98.54/99.62	o 2232
98.54/99.62	o 2231
98.54/99.65	o 2230
98.54/99.67	o 2229
98.54/99.68	o 2228
98.64/99.70	o 2227
98.64/99.71	o 2226
98.64/99.72	o 2224
98.64/99.74	o 2222
98.64/99.75	o 2221
98.64/99.76	o 2220
98.64/99.77	o 2219
98.64/99.78	o 2218
98.74/99.80	o 2215
98.74/99.82	o 2214
98.74/99.84	o 2213
98.74/99.86	o 2212
98.74/99.87	o 2211
98.74/99.88	o 2210
98.74/99.89	o 2209
98.84/99.90	o 2208
98.84/99.91	o 2206
98.84/99.92	o 2205
98.84/99.93	o 2204
98.84/99.94	o 2202
98.84/99.96	o 2200
98.84/99.97	o 2198
98.84/99.98	o 2197
98.84/99.99	o 2196
98.93/100.01	o 2194
98.93/100.03	o 2192
98.93/100.04	o 2189
98.93/100.05	o 2188
98.93/100.06	o 2186
98.93/100.07	o 2184
98.93/100.08	o 2183
98.93/100.09	o 2180
98.93/100.10	o 2178
99.04/100.11	o 2177
99.04/100.12	o 2176
99.04/100.13	o 2175
99.04/100.14	o 2174
99.04/100.15	o 2172
99.04/100.16	o 2171
99.04/100.17	o 2169
99.04/100.17	o 2167
99.04/100.18	o 2165
99.04/100.19	o 2164
99.13/100.21	o 2163
99.13/100.23	o 2161
99.13/100.24	o 2159
99.13/100.24	o 2158
99.13/100.25	o 2157
99.13/100.27	o 2155
99.13/100.28	o 2153
99.13/100.29	o 2152
99.23/100.30	o 2150
99.23/100.31	o 2148
99.23/100.32	o 2147
99.23/100.33	o 2145
99.23/100.34	o 2143
99.23/100.35	o 2141
99.23/100.36	o 2139
99.23/100.37	o 2137
99.23/100.37	o 2135
99.23/100.38	o 2134
99.23/100.39	o 2133
99.33/100.40	o 2130
99.33/100.42	o 2128
99.33/100.44	o 2127
99.33/100.45	o 2126
99.33/100.46	o 2125
99.33/100.47	o 2123
99.33/100.48	o 2121
99.33/100.49	o 2120
99.43/100.50	o 2118
99.43/100.51	o 2117
99.43/100.51	o 2115
99.43/100.52	o 2113
99.43/100.53	o 2111
99.43/100.54	o 2107
99.43/100.55	o 2105
99.43/100.56	o 2101
99.43/100.58	o 2099
99.53/100.61	o 2097
99.53/100.62	o 2096
99.53/100.64	o 2094
99.53/100.65	o 2092
99.53/100.66	o 2090
99.53/100.67	o 2088
99.63/100.70	o 2087
99.63/100.71	o 2085
99.63/100.72	o 2084
99.63/100.73	o 2083
99.63/100.74	o 2082
99.63/100.75	o 2081
99.63/100.76	o 2080
99.63/100.77	o 2078
99.63/100.79	o 2077
99.63/100.79	o 2075
99.72/100.80	o 2074
99.72/100.82	o 2073
99.72/100.82	o 2070
99.72/100.84	o 2069
99.72/100.85	o 2068
99.72/100.86	o 2067
99.72/100.87	o 2065
99.72/100.88	o 2064
99.72/100.89	o 2063
99.82/100.90	o 2062
99.82/100.91	o 2061
99.82/100.92	o 2059
99.82/100.93	o 2057
99.82/100.94	o 2056
99.82/100.96	o 2054
99.82/100.96	o 2053
99.82/100.97	o 2052
99.82/100.98	o 2051
99.93/101.00	o 2050
99.93/101.02	o 2044
99.93/101.03	o 2043
99.93/101.04	o 2042
99.93/101.07	o 2041
99.93/101.08	o 2040
99.93/101.08	o 2037
99.93/101.09	o 2035
100.03/101.11	o 2034
100.03/101.13	o 2032
100.03/101.15	o 2031
100.03/101.16	o 2030
100.03/101.17	o 2027
100.03/101.18	o 2025
100.03/101.19	o 2024
100.12/101.22	o 2023
100.12/101.23	o 2021
100.12/101.24	o 2020
100.12/101.25	o 2019
100.12/101.26	o 2017
100.12/101.27	o 2016
100.12/101.28	o 2015
100.12/101.29	o 2014
100.21/101.30	o 2013
100.21/101.31	o 2012
100.21/101.32	o 2011
100.21/101.33	o 2010
100.21/101.34	o 2009
100.21/101.35	o 2008
100.21/101.36	o 2006
100.21/101.37	o 2005
100.21/101.38	o 2004
100.21/101.40	o 2002
100.32/101.41	o 2000
100.32/101.43	o 1998
100.32/101.45	o 1997
100.32/101.46	o 1996
100.32/101.47	o 1995
100.32/101.48	o 1993
100.32/101.49	o 1992
100.32/101.49	o 1990
100.42/101.50	o 1989
100.42/101.51	o 1988
100.42/101.52	o 1987
100.42/101.54	o 1986
100.42/101.55	o 1985
100.42/101.56	o 1984
100.42/101.57	o 1983
100.42/101.58	o 1981
100.42/101.58	o 1980
100.52/101.60	o 1979
100.52/101.61	o 1978
100.52/101.62	o 1975
100.52/101.64	o 1974
100.52/101.66	o 1972
100.52/101.67	o 1971
100.52/101.68	o 1970
100.52/101.69	o 1969
100.62/101.70	o 1968
100.62/101.71	o 1967
100.62/101.72	o 1965
100.62/101.73	o 1961
100.62/101.74	o 1960
100.62/101.75	o 1959
100.62/101.76	o 1958
100.62/101.77	o 1957
100.62/101.77	o 1956
100.62/101.78	o 1955
100.62/101.79	o 1949
100.71/101.80	o 1948
100.71/101.81	o 1947
100.71/101.83	o 1945
100.71/101.84	o 1943
100.71/101.85	o 1942
100.71/101.86	o 1941
100.71/101.87	o 1939
100.71/101.88	o 1937
100.81/101.90	o 1936
100.81/101.92	o 1935
100.81/101.93	o 1934
100.81/101.94	o 1932
100.81/101.95	o 1930
100.81/101.96	o 1929
100.81/101.98	o 1928
100.92/102.06	o 1927
100.92/102.08	o 1922
101.02/102.11	o 1921
101.02/102.11	o 1920
101.02/102.13	o 1919
101.02/102.16	o 1917
101.02/102.17	o 1914
101.02/102.18	o 1913
101.02/102.18	o 1911
101.02/102.20	o 1910
101.12/102.21	o 1906
101.12/102.22	o 1905
101.12/102.26	o 1904
101.12/102.28	o 1902
101.12/102.29	o 1901
101.21/102.32	o 1899
101.21/102.33	o 1898
101.21/102.36	o 1897
101.21/102.37	o 1896
101.31/102.42	o 1895
101.31/102.43	o 1892
101.31/102.44	o 1891
101.31/102.47	o 1890
101.31/102.49	o 1889
101.40/102.50	o 1888
101.40/102.51	o 1887
101.40/102.52	o 1886
101.40/102.54	o 1885
101.40/102.57	o 1884
101.40/102.58	o 1883
101.40/102.59	o 1882
101.50/102.60	o 1881
101.50/102.62	o 1880
101.50/102.63	o 1879
101.50/102.64	o 1878
101.50/102.65	o 1873
101.50/102.66	o 1872
101.50/102.68	o 1867
101.50/102.69	o 1862
101.60/102.70	o 1861
101.60/102.71	o 1860
101.60/102.72	o 1859
101.60/102.73	o 1858
101.60/102.74	o 1857
101.60/102.75	o 1854
101.60/102.78	o 1853
101.60/102.79	o 1852
101.71/102.83	o 1851
101.71/102.85	o 1850
101.81/102.91	o 1849
101.81/102.92	o 1848
101.81/102.99	o 1847
101.91/103.00	o 1846
101.91/103.01	o 1844
101.91/103.02	o 1843
101.91/103.06	o 1842
101.91/103.07	o 1841
101.91/103.08	o 1840
101.91/103.10	o 1839
102.00/103.11	o 1837
102.00/103.11	o 1836
102.00/103.13	o 1835
102.00/103.14	o 1834
102.00/103.15	o 1831
102.00/103.17	o 1830
102.00/103.18	o 1828
102.00/103.19	o 1827
102.00/103.20	o 1826
102.10/103.21	o 1825
102.10/103.23	o 1822
102.10/103.23	o 1821
102.10/103.24	o 1820
102.10/103.25	o 1819
102.10/103.27	o 1818
102.10/103.29	o 1817
102.20/103.31	o 1816
102.20/103.33	o 1815
102.20/103.35	o 1814
102.20/103.36	o 1813
102.20/103.37	o 1812
102.20/103.38	o 1811
102.31/103.41	o 1810
102.31/103.42	o 1809
102.31/103.43	o 1808
102.31/103.45	o 1807
102.40/103.53	o 1806
102.40/103.59	o 1804
102.50/103.60	o 1803
102.50/103.61	o 1802
102.50/103.65	o 1801
102.50/103.66	o 1800
102.50/103.68	o 1799
102.50/103.69	o 1797
102.60/103.72	o 1796
102.60/103.73	o 1795
102.60/103.75	o 1794
102.60/103.80	o 1790
102.69/103.82	o 1789
102.69/103.83	o 1788
102.69/103.84	o 1787
102.69/103.86	o 1786
102.69/103.87	o 1785
102.69/103.88	o 1783
102.69/103.89	o 1782
102.79/103.90	o 1781
102.79/103.91	o 1780
102.79/103.93	o 1779
102.79/103.94	o 1777
102.79/103.95	o 1776
102.79/103.96	o 1775
102.79/104.00	o 1773
102.89/104.01	o 1772
102.89/104.02	o 1771
102.89/104.03	o 1770
102.89/104.05	o 1769
103.49/104.64	o 1768
103.49/104.66	o 1767
103.49/104.67	o 1766
103.49/104.68	o 1765
103.49/104.69	o 1764
103.58/104.70	o 1763
103.58/104.71	o 1762
103.58/104.72	o 1761
103.58/104.76	o 1760
103.69/104.84	o 1759
103.69/104.86	o 1758
103.69/104.88	o 1757
103.79/104.96	o 1756
105.38/106.55	o 1755
105.48/106.64	o 1754
105.48/106.66	o 1753
105.68/106.81	o 1752
105.68/106.82	o 1751
105.68/106.84	o 1750
105.68/106.85	o 1749
105.68/106.86	o 1748
105.68/106.87	o 1747
105.78/106.95	o 1746
105.78/106.98	o 1745
105.87/107.08	o 1744
105.87/107.10	o 1743
105.97/107.12	o 1742
105.97/107.13	o 1741
105.97/107.15	o 1740
105.97/107.19	o 1739
106.08/107.20	o 1738
106.08/107.21	o 1737
106.08/107.24	o 1736
106.08/107.25	o 1735
106.08/107.26	o 1734
106.08/107.27	o 1733
106.08/107.29	o 1732
106.17/107.31	o 1731
106.17/107.31	o 1730
106.17/107.38	o 1729
106.17/107.39	o 1728
106.27/107.40	o 1727
106.27/107.46	o 1726
106.27/107.47	o 1725
106.37/107.52	o 1724
106.37/107.53	o 1723
106.37/107.54	o 1722
106.37/107.55	o 1721
106.37/107.56	o 1720
106.37/107.57	o 1719
106.37/107.59	o 1718
106.47/107.60	o 1717
106.47/107.61	o 1716
106.47/107.63	o 1715
106.47/107.66	o 1714
106.47/107.69	o 1713
106.57/107.71	o 1712
106.57/107.72	o 1711
106.57/107.75	o 1710
106.57/107.78	o 1709
106.57/107.80	o 1708
106.67/107.83	o 1707
106.67/107.89	o 1706
106.76/107.90	o 1705
106.76/107.91	o 1704
106.76/107.92	o 1703
106.76/107.93	o 1702
106.76/107.94	o 1701
106.76/107.99	o 1700
106.86/108.00	o 1699
107.07/108.22	   
107.07/108.22	   search
107.07/108.22	     run=0  nbConstraintChecks=50446122  nbAssignments=10000
107.07/108.22	       =>  wckTime=99.227  cpuTime=98.07  mem=267M833
107.17/108.38	o 1697
107.27/108.40	o 1696
107.27/108.41	o 1695
107.27/108.42	o 1694
107.37/108.52	o 1693
107.37/108.53	o 1692
107.37/108.54	o 1691
107.37/108.55	o 1690
107.37/108.56	o 1689
107.37/108.57	o 1688
107.37/108.58	o 1687
107.47/108.60	o 1686
107.47/108.62	o 1685
107.47/108.64	o 1684
107.47/108.66	o 1683
107.57/108.70	o 1681
107.57/108.71	o 1680
107.57/108.72	o 1679
107.57/108.76	o 1678
107.57/108.77	o 1677
107.57/108.78	o 1676
107.66/108.87	o 1675
107.76/108.93	o 1674
107.76/108.94	o 1673
107.76/108.96	o 1672
107.76/108.98	o 1671
108.06/109.25	o 1670
108.06/109.27	o 1669
108.06/109.28	o 1668
108.06/109.29	o 1667
108.16/109.30	o 1666
108.16/109.31	o 1663
108.16/109.33	o 1662
108.16/109.34	o 1661
108.16/109.35	o 1660
108.16/109.37	o 1659
108.25/109.41	o 1658
108.25/109.43	o 1657
108.25/109.43	o 1656
108.25/109.45	o 1655
108.25/109.46	o 1654
108.25/109.48	o 1653
108.36/109.51	o 1652
108.36/109.52	o 1651
108.36/109.54	o 1650
108.36/109.57	o 1649
108.46/109.64	o 1648
108.46/109.65	o 1647
108.46/109.66	o 1646
108.46/109.67	o 1645
108.46/109.68	o 1644
108.46/109.69	o 1643
108.55/109.73	o 1642
108.55/109.74	o 1641
108.55/109.75	o 1640
108.55/109.76	o 1639
108.55/109.76	o 1638
108.55/109.78	o 1636
108.55/109.79	o 1635
108.66/109.81	o 1634
108.75/109.92	o 1633
108.75/109.93	o 1631
108.75/109.94	o 1630
108.75/109.95	o 1629
108.75/109.97	o 1628
108.75/109.98	o 1627
108.85/110.03	o 1626
108.85/110.04	o 1625
108.85/110.07	o 1624
108.85/110.08	o 1623
108.85/110.10	o 1622
108.94/110.11	o 1621
108.94/110.12	o 1620
108.94/110.13	o 1617
108.94/110.14	o 1616
108.94/110.16	o 1615
108.94/110.17	o 1614
109.05/110.20	o 1613
109.05/110.21	o 1611
109.05/110.23	o 1610
109.05/110.26	o 1606
109.05/110.26	o 1604
109.05/110.27	o 1603
109.05/110.28	o 1602
109.15/110.30	o 1601
109.25/110.41	o 1600
109.25/110.44	o 1599
109.25/110.44	o 1598
109.25/110.48	o 1596
109.34/110.51	o 1595
109.34/110.52	o 1594
109.34/110.57	o 1593
109.34/110.58	o 1592
109.34/110.59	o 1590
109.45/110.60	o 1589
109.45/110.63	o 1588
109.45/110.64	o 1586
109.45/110.65	o 1585
109.45/110.67	o 1584
109.45/110.68	o 1583
109.45/110.69	o 1582
109.55/110.71	o 1581
109.55/110.72	o 1579
109.55/110.76	o 1578
109.55/110.77	o 1576
109.55/110.78	o 1575
109.55/110.79	o 1574
109.65/110.81	o 1573
109.65/110.85	o 1572
109.65/110.86	o 1570
109.65/110.87	o 1569
109.65/110.89	o 1568
109.74/110.90	o 1567
109.74/110.91	o 1566
109.74/110.93	o 1565
109.74/110.94	o 1564
109.74/110.95	o 1563
109.84/111.02	o 1560
109.84/111.03	o 1559
109.84/111.04	o 1558
109.84/111.05	o 1557
109.84/111.06	o 1556
109.84/111.08	o 1555
110.04/111.20	o 1554
110.04/111.23	o 1552
110.04/111.24	o 1551
110.04/111.28	o 1550
110.04/111.30	o 1549
110.14/111.31	o 1548
110.14/111.34	o 1547
110.14/111.35	o 1546
110.14/111.38	o 1545
110.24/111.40	o 1543
110.24/111.42	o 1542
110.24/111.46	o 1541
110.24/111.47	o 1540
110.33/111.55	o 1538
110.33/111.56	o 1537
110.43/111.62	o 1536
110.43/111.66	o 1535
110.43/111.67	o 1534
110.43/111.69	o 1533
110.54/111.70	o 1532
110.54/111.73	o 1531
110.54/111.75	o 1530
110.54/111.76	o 1529
110.64/111.82	o 1528
110.64/111.86	o 1526
110.64/111.87	o 1525
110.64/111.89	o 1524
110.64/111.89	o 1522
110.74/111.93	o 1521
110.74/111.94	o 1520
110.74/111.96	o 1519
110.74/111.97	o 1518
110.84/112.05	o 1517
110.84/112.06	o 1515
110.84/112.07	o 1514
110.84/112.08	o 1511
111.03/112.23	o 1509
111.03/112.25	o 1508
111.03/112.25	o 1507
111.03/112.29	o 1506
111.13/112.30	o 1505
111.13/112.31	o 1504
111.13/112.32	o 1503
111.53/112.75	o 1502
111.53/112.77	o 1499
111.63/112.81	o 1498
111.63/112.82	o 1497
111.63/112.84	o 1496
111.63/112.85	o 1495
111.63/112.86	o 1494
111.63/112.87	o 1493
111.63/112.88	o 1492
112.13/113.33	o 1491
112.62/113.88	o 1490
112.72/113.90	o 1489
112.72/113.91	o 1488
112.72/113.93	o 1487
112.72/113.94	o 1486
112.72/113.95	o 1485
112.72/113.96	o 1484
112.72/113.99	o 1480
112.82/114.02	o 1479
112.82/114.04	o 1478
112.82/114.04	o 1477
112.82/114.05	o 1476
112.82/114.07	o 1475
112.82/114.08	o 1474
112.93/114.10	o 1473
112.93/114.14	o 1472
112.93/114.16	o 1470
112.93/114.17	o 1469
113.12/114.33	o 1468
113.12/114.35	o 1467
113.22/114.41	o 1466
113.22/114.42	o 1465
113.22/114.43	o 1464
113.22/114.47	o 1463
113.22/114.48	o 1462
113.31/114.50	o 1461
113.31/114.56	o 1460
113.31/114.57	o 1459
113.31/114.58	o 1458
113.31/114.59	o 1457
113.42/114.60	o 1454
113.42/114.62	o 1453
113.42/114.63	o 1445
113.42/114.64	o 1443
113.42/114.65	o 1442
113.42/114.66	o 1441
113.42/114.69	o 1440
113.52/114.70	o 1439
113.52/114.74	o 1438
113.52/114.77	o 1437
113.62/114.81	o 1436
113.62/114.82	o 1435
113.62/114.83	o 1434
113.62/114.84	o 1433
113.72/114.92	o 1431
113.72/114.96	o 1430
113.92/115.11	o 1429
114.01/115.22	o 1428
114.01/115.24	o 1426
114.01/115.25	o 1425
114.01/115.27	o 1424
115.41/116.68	o 1423
115.41/116.69	o 1422
115.50/116.79	o 1421
115.60/116.80	o 1417
115.60/116.83	o 1416
115.60/116.86	o 1415
115.70/116.91	o 1411
115.70/116.92	o 1410
115.70/117.00	o 1409
115.81/117.06	o 1408
115.81/117.08	o 1407
117.40/118.64	o 1406
117.40/118.65	o 1405
117.69/118.90	o 1398
117.79/119.05	o 1397
117.79/119.06	o 1396
117.89/119.10	o 1395
118.09/119.35	o 1394
118.09/119.36	o 1393
118.09/119.36	o 1392
118.09/119.38	o 1391
118.59/119.83	o 1390
118.59/119.84	o 1389
118.59/119.85	o 1388
118.79/120.01	o 1387
118.79/120.02	o 1386
118.79/120.06	o 1385
118.79/120.08	o 1384
118.79/120.09	o 1383
118.79/120.09	o 1382
118.88/120.10	o 1381
119.48/120.76	o 1378
119.48/120.79	o 1377
119.48/120.80	o 1376
119.58/120.90	o 1375
119.78/121.01	o 1374
119.78/121.02	o 1373
119.78/121.07	o 1372
119.88/121.11	o 1371
119.88/121.13	o 1370
119.88/121.15	o 1369
119.88/121.16	o 1368
120.07/121.31	o 1367
120.07/121.33	o 1366
120.07/121.34	o 1365
120.07/121.36	o 1364
120.07/121.39	o 1363
120.38/121.62	o 1362
120.38/121.63	o 1361
120.38/121.65	o 1360
120.38/121.65	o 1359
120.48/121.78	o 1358
120.48/121.80	o 1357
120.58/121.81	o 1356
120.58/121.82	o 1355
120.58/121.83	o 1354
120.58/121.84	o 1353
121.07/122.36	o 1352
121.07/122.38	o 1351
121.07/122.40	o 1350
121.27/122.58	o 1349
121.27/122.59	o 1348
121.47/122.72	o 1346
121.47/122.74	o 1344
121.47/122.75	o 1343
121.47/122.76	o 1342
121.47/122.77	o 1341
121.47/122.78	o 1339
121.57/122.82	o 1338
121.57/122.86	o 1337
121.57/122.88	o 1336
121.67/122.91	o 1335
121.67/122.92	o 1334
122.07/123.33	o 1333
122.07/123.40	o 1332
122.16/123.43	o 1330
122.16/123.46	o 1329
122.16/123.48	o 1328
122.26/123.51	o 1327
123.15/124.48	o 1326
123.25/124.50	o 1325
123.25/124.52	o 1323
123.25/124.59	o 1322
123.35/124.62	o 1320
123.35/124.65	o 1319
123.45/124.71	o 1316
123.45/124.72	o 1315
123.45/124.74	o 1314
123.96/125.23	o 1313
123.96/125.24	o 1312
123.96/125.26	o 1311
124.55/125.83	o 1310
124.55/125.84	o 1309
124.55/125.85	o 1307
124.55/125.87	o 1306
124.55/125.89	o 1305
124.65/125.93	o 1304
124.65/125.94	o 1303
124.65/125.96	o 1302
124.65/125.97	o 1301
124.65/125.98	o 1300
124.75/126.00	o 1299
124.85/126.10	o 1298
124.85/126.14	o 1297
124.85/126.18	o 1296
124.85/126.20	o 1294
124.95/126.23	o 1292
125.14/126.41	o 1291
125.14/126.43	o 1290
125.14/126.44	o 1289
125.14/126.45	o 1288
125.14/126.48	o 1287
125.24/126.53	o 1286
125.24/126.56	o 1285
125.24/126.57	o 1284
125.24/126.58	o 1283
125.24/126.60	o 1282
125.35/126.67	o 1281
125.44/126.70	o 1280
125.44/126.73	o 1279
125.44/126.75	o 1278
125.44/126.77	o 1276
125.54/126.88	o 1275
125.64/126.90	o 1274
125.64/126.92	o 1273
125.64/126.94	o 1272
125.74/127.01	o 1270
125.74/127.09	o 1268
125.84/127.13	o 1267
125.84/127.14	o 1266
125.84/127.17	o 1265
125.94/127.27	o 1264
125.94/127.29	o 1263
126.04/127.31	o 1261
126.14/127.46	o 1260
126.14/127.47	o 1259
128.13/129.47	o 1258
129.02/130.39	o 1257
129.12/130.42	o 1256
129.12/130.43	o 1255
129.12/130.47	o 1254
129.12/130.49	o 1253
129.22/130.51	o 1252
129.32/130.70	o 1251
129.82/131.13	o 1250
130.22/131.50	o 1249
130.32/131.60	o 1248
130.32/131.62	o 1247
130.42/131.76	o 1246
130.42/131.77	o 1245
130.81/132.19	o 1244
131.41/132.75	o 1242
131.81/133.11	o 1241
131.81/133.16	o 1240
131.81/133.19	o 1239
131.91/133.20	o 1238
132.01/133.32	o 1234
132.01/133.33	o 1233
132.01/133.37	o 1232
132.01/133.38	o 1231
132.01/133.39	o 1230
132.11/133.41	o 1229
132.11/133.42	o 1228
132.11/133.44	o 1227
132.11/133.49	o 1226
132.20/133.53	o 1224
132.20/133.54	o 1223
132.40/133.71	o 1220
132.40/133.73	o 1218
132.40/133.75	o 1216
132.70/134.03	o 1215
132.70/134.03	o 1214
132.70/134.04	o 1213
132.91/134.20	o 1212
133.00/134.31	o 1211
133.10/134.49	o 1210
133.20/134.50	o 1208
133.20/134.51	o 1207
133.20/134.56	o 1206
133.20/134.57	o 1205
133.29/134.65	o 1204
133.29/134.67	o 1203
133.29/134.68	o 1202
133.29/134.69	o 1201
133.50/134.89	o 1199
133.60/134.90	o 1198
133.60/134.91	o 1196
133.60/134.92	o 1195
133.60/134.97	o 1194
133.70/135.00	o 1193
133.70/135.02	o 1192
133.70/135.06	o 1191
133.70/135.08	o 1190
133.70/135.09	o 1189
133.80/135.10	o 1188
133.80/135.12	o 1186
133.80/135.15	o 1185
133.80/135.16	o 1184
133.90/135.26	o 1183
133.99/135.31	o 1182
134.29/135.68	o 1181
134.29/135.69	o 1180
134.39/135.71	o 1179
134.39/135.72	o 1178
134.49/135.82	o 1177
134.49/135.84	o 1176
134.59/136.00	o 1174
134.69/136.03	o 1172
135.59/136.94	o 1171
135.59/136.95	o 1170
135.69/137.05	o 1169
135.69/137.07	o 1168
135.79/137.15	o 1167
135.88/137.21	o 1166
135.88/137.22	o 1165
135.88/137.24	o 1164
135.88/137.27	o 1163
135.88/137.29	o 1162
135.98/137.38	o 1161
135.98/137.39	o 1160
136.08/137.41	o 1159
136.08/137.42	o 1157
136.08/137.44	o 1156
136.08/137.45	o 1154
136.08/137.47	o 1153
136.08/137.49	o 1152
136.18/137.52	o 1150
136.38/137.72	o 1149
136.48/137.85	o 1148
136.48/137.86	o 1146
136.58/137.91	o 1145
136.58/137.93	o 1144
136.77/138.12	o 1143
137.18/138.50	o 1142
137.18/138.55	o 1141
137.18/138.57	o 1140
137.18/138.58	o 1139
137.28/138.62	o 1137
137.28/138.63	o 1136
137.28/138.64	o 1135
137.28/138.67	o 1134
137.37/138.76	o 1133
137.37/138.77	o 1132
137.37/138.79	o 1131
137.47/138.88	o 1130
137.57/138.91	o 1129
137.77/139.14	o 1128
137.77/139.15	o 1127
137.77/139.18	o 1126
137.87/139.28	o 1125
137.87/139.29	o 1124
138.46/139.88	o 1122
138.57/139.95	o 1120
138.67/140.03	o 1119
138.67/140.09	o 1117
138.77/140.10	o 1116
138.77/140.11	o 1115
138.77/140.12	o 1113
138.77/140.16	o 1112
138.77/140.17	o 1110
138.77/140.18	o 1109
138.86/140.21	o 1107
138.86/140.24	o 1106
138.96/140.39	o 1105
139.07/140.43	o 1104
139.07/140.46	o 1103
139.07/140.47	o 1102
139.07/140.49	o 1101
139.17/140.51	o 1100
139.17/140.52	o 1099
139.27/140.60	o 1098
139.27/140.63	o 1097
139.27/140.65	o 1096
139.27/140.68	o 1095
139.27/140.69	o 1094
139.36/140.74	o 1093
139.36/140.77	o 1088
140.06/141.45	o 1087
140.25/141.61	o 1086
140.25/141.62	o 1085
140.46/141.80	o 1084
140.46/141.85	o 1083
140.75/142.16	o 1082
140.95/142.37	o 1081
140.95/142.38	o 1080
141.25/142.64	o 1078
141.25/142.66	o 1076
141.25/142.67	o 1075
141.85/143.20	o 1074
141.85/143.24	o 1073
142.84/144.20	o 1072
142.84/144.21	o 1069
142.84/144.29	o 1068
142.84/144.30	o 1067
142.94/144.31	o 1066
144.13/145.55	o 1065
144.13/145.56	o 1063
144.13/145.58	o 1062
144.24/145.60	o 1061
144.24/145.63	o 1060
144.24/145.64	o 1059
144.24/145.69	o 1058
144.34/145.70	o 1057
144.43/145.83	o 1056
144.43/145.83	o 1055
144.43/145.86	o 1053
144.43/145.88	o 1052
144.53/145.91	o 1051
144.53/145.92	o 1050
144.53/145.94	o 1049
144.53/145.95	o 1048
144.63/146.01	o 1043
144.63/146.05	o 1042
144.63/146.08	o 1041
144.73/146.19	o 1040
144.83/146.23	o 1039
144.83/146.24	o 1038
144.83/146.26	o 1037
144.83/146.28	o 1036
144.93/146.31	o 1035
145.02/146.41	o 1034
145.02/146.43	o 1033
145.02/146.48	o 1032
145.13/146.59	o 1031
145.42/146.87	o 1030
145.52/146.90	o 1029
145.52/146.94	o 1028
145.63/147.01	o 1026
145.63/147.04	o 1025
145.63/147.05	o 1024
145.83/147.20	o 1023
145.93/147.31	o 1022
145.93/147.32	o 1021
145.93/147.34	o 1020
145.93/147.36	o 1019
145.93/147.38	o 1018
145.93/147.39	o 1017
146.02/147.43	o 1016
146.02/147.45	o 1015
146.12/147.51	o 1014
146.12/147.53	o 1011
146.12/147.55	o 1010
146.12/147.56	o 1009
146.31/147.73	o 1008
146.31/147.74	o 1007
146.31/147.75	o 1006
146.31/147.76	o 1005
146.31/147.79	o 1004
146.42/147.80	o 1003
146.42/147.82	o 1002
149.91/151.35	o 1001
150.00/151.45	o 1000
150.00/151.49	o 999
150.10/151.55	o 998
150.10/151.56	o 997
150.20/151.60	o 995
150.20/151.62	o 994
150.20/151.66	o 993
150.20/151.68	o 991
150.20/151.69	o 989
150.30/151.80	o 988
150.41/151.82	o 987
150.41/151.84	o 986
150.41/151.86	o 985
150.41/151.89	o 984
150.50/151.91	o 983
150.50/151.93	o 982
150.59/152.00	o 981
150.59/152.04	o 980
150.59/152.08	o 979
150.70/152.12	o 978
150.80/152.24	o 977
150.80/152.25	o 976
150.80/152.28	o 975
150.90/152.30	o 974
150.90/152.33	o 973
150.90/152.38	o 972
150.90/152.39	o 970
150.99/152.44	o 969
150.99/152.45	o 968
150.99/152.46	o 967
150.99/152.47	o 966
150.99/152.48	o 965
151.09/152.51	o 964
151.09/152.53	o 963
151.19/152.65	o 962
151.30/152.80	o 961
151.40/152.84	o 960
151.40/152.88	o 959
151.40/152.89	o 958
151.50/152.91	o 957
151.50/152.92	o 956
151.50/152.95	o 955
151.50/152.96	o 954
151.59/153.03	o 953
151.59/153.04	o 952
151.59/153.05	o 951
151.59/153.06	o 950
151.59/153.07	o 948
151.59/153.08	o 947
151.59/153.10	o 946
151.69/153.12	o 945
151.69/153.13	o 944
152.69/154.11	o 942
152.69/154.14	o 941
152.88/154.36	o 940
153.18/154.65	o 939
153.18/154.66	o 938
153.18/154.67	o 937
153.38/154.82	o 936
153.38/154.89	o 935
153.48/154.90	o 934
153.48/154.93	o 933
153.48/154.97	o 932
153.48/154.98	o 931
153.68/155.15	o 928
153.77/155.28	o 927
153.87/155.33	o 926
153.87/155.34	o 925
153.87/155.36	o 924
153.97/155.43	o 923
155.57/157.02	o 922
155.57/157.08	o 921
155.57/157.09	o 920
155.67/157.12	o 919
155.67/157.19	o 918
155.76/157.23	o 917
155.76/157.25	o 916
155.86/157.32	o 915
155.86/157.33	o 914
155.86/157.35	o 913
155.96/157.46	o 912
155.96/157.49	o 911
156.06/157.52	o 910
156.06/157.54	o 909
156.26/157.71	o 908
156.26/157.71	o 907
156.26/157.75	o 906
156.56/158.01	o 905
156.67/158.14	o 903
156.67/158.16	o 902
156.67/158.19	o 901
156.76/158.21	o 900
157.35/158.82	o 899
157.35/158.88	o 898
157.45/158.90	o 897
157.45/158.92	o 896
157.45/158.93	o 895
157.45/158.93	o 894
157.45/158.95	o 893
157.45/158.98	o 892
157.56/159.04	o 891
157.56/159.05	o 890
157.56/159.06	o 889
157.66/159.14	o 888
157.75/159.22	o 887
157.75/159.23	o 886
158.15/159.64	   
158.15/159.64	   search
158.15/159.64	     run=1  nbConstraintChecks=81261998  nbAssignments=20000
158.15/159.64	       =>  wckTime=150.644  cpuTime=149.16  mem=267M833
158.15/159.67	o 884
158.15/159.68	o 882
158.15/159.69	o 880
158.15/159.69	o 878
158.25/159.70	o 876
158.25/159.71	o 874
158.25/159.71	o 872
158.25/159.72	o 870
158.25/159.73	o 868
158.25/159.73	o 867
158.25/159.74	o 866
158.25/159.75	o 865
158.25/159.75	o 864
158.25/159.76	o 863
158.25/159.77	o 862
158.25/159.77	o 861
158.25/159.78	o 860
158.25/159.79	o 859
158.25/159.79	o 858
158.34/159.80	o 857
158.34/159.81	o 856
158.34/159.81	o 855
158.34/159.82	o 854
158.34/159.83	o 853
158.34/159.83	o 852
158.34/159.84	o 851
158.34/159.85	o 850
158.34/159.85	o 849
158.34/159.86	o 848
158.34/159.87	o 847
158.34/159.87	o 846
158.34/159.88	o 845
158.34/159.89	o 844
158.34/159.89	o 843
158.44/159.90	o 842
158.44/159.91	o 841
158.44/159.91	o 840
158.44/159.92	o 839
158.44/159.93	o 838
158.44/159.93	o 837
158.44/159.94	o 836
158.44/159.95	o 835
158.44/159.95	o 834
158.44/159.96	o 833
158.44/159.96	o 832
158.44/159.97	o 831
158.44/159.98	o 830
158.44/159.98	o 829
158.44/159.99	o 828
158.44/160.00	o 827
158.55/160.00	o 826
158.55/160.01	o 825
158.55/160.02	o 824
158.55/160.02	o 823
158.55/160.03	o 822
158.55/160.04	o 821
158.55/160.04	o 820
158.55/160.05	o 819
158.55/160.05	o 818
158.55/160.06	o 817
158.55/160.07	o 816
158.55/160.07	o 815
158.55/160.08	o 814
158.55/160.09	o 813
158.55/160.09	o 812
158.65/160.10	o 811
158.65/160.11	o 810
158.65/160.11	o 809
158.65/160.12	o 808
158.65/160.13	o 807
158.65/160.13	o 806
158.65/160.14	o 805
158.65/160.15	o 804
158.65/160.15	o 803
158.65/160.16	o 802
158.65/160.17	o 801
158.65/160.17	o 800
158.65/160.18	o 799
158.65/160.19	o 798
158.65/160.19	o 797
158.74/160.20	o 796
158.74/160.21	o 795
158.74/160.22	o 794
158.74/160.23	o 793
158.74/160.24	o 792
158.74/160.25	o 791
158.74/160.26	o 790
158.74/160.27	o 789
158.74/160.28	o 788
158.74/160.29	o 787
158.84/160.30	o 786
158.84/160.31	o 785
158.84/160.32	o 784
158.84/160.33	o 783
158.84/160.34	o 782
158.84/160.35	o 781
158.84/160.36	o 780
158.84/160.37	o 779
158.84/160.38	o 778
158.84/160.39	o 777
158.94/160.40	o 776
158.94/160.41	o 775
158.94/160.42	o 774
158.94/160.43	o 773
158.94/160.44	o 772
158.94/160.45	o 771
158.94/160.46	o 770
158.94/160.47	o 769
158.94/160.48	o 768
158.94/160.49	o 767
159.04/160.50	o 766
159.04/160.52	o 765
159.04/160.53	o 764
159.04/160.54	o 763
159.04/160.55	o 762
159.04/160.56	o 761
159.33/160.87	o 760
159.33/160.88	o 759
159.43/160.97	o 758
159.53/161.01	o 757
159.53/161.09	o 756
159.63/161.14	o 755
159.83/161.35	o 754
160.03/161.53	o 753
160.03/161.58	o 752
160.03/161.59	o 751
160.13/161.62	o 750
160.13/161.64	o 749
160.43/161.92	o 748
160.43/161.94	o 747
160.63/162.14	o 746
160.73/162.24	o 745
160.73/162.28	o 744
160.92/162.44	o 743
161.03/162.56	o 742
161.23/162.73	o 741
161.23/162.77	o 740
161.33/162.83	o 739
161.33/162.85	o 738
161.52/163.03	o 737
161.63/163.15	o 736
161.83/163.34	o 735
161.83/163.38	o 734
161.93/163.45	o 733
162.02/163.59	o 732
162.22/163.74	o 731
162.32/163.86	o 730
162.32/163.87	o 729
162.52/164.05	o 728
172.18/173.74	o 727
172.18/173.75	o 725
172.18/173.76	o 724
172.18/173.77	o 723
172.18/173.78	o 722
172.18/173.79	o 721
172.28/173.81	o 720
172.28/173.87	o 718
172.28/173.87	o 716
172.28/173.88	o 715
172.28/173.89	o 708
172.37/173.90	o 707
174.56/176.16	o 706
174.56/176.17	o 704
175.05/176.60	o 703
175.05/176.62	o 702
175.05/176.63	o 700
175.05/176.65	o 699
175.05/176.67	o 698
175.16/176.70	o 696
175.16/176.71	o 695
175.26/176.80	o 694
175.26/176.81	o 693
175.26/176.82	o 692
175.26/176.83	o 690
175.55/177.14	o 688
175.55/177.15	o 687
175.55/177.16	o 686
175.85/177.40	o 681
175.85/177.41	o 680
175.95/177.52	o 678
175.95/177.53	o 670
175.95/177.57	o 669
175.95/177.58	o 667
175.95/177.59	o 666
176.05/177.60	o 665
176.05/177.62	o 663
176.05/177.63	o 662
176.05/177.64	o 661
176.05/177.65	o 660
176.05/177.66	o 658
176.05/177.67	o 657
176.05/177.68	o 656
176.05/177.68	o 655
176.15/177.80	o 652
176.25/177.81	o 649
176.25/177.81	o 648
176.25/177.83	o 647
176.25/177.84	o 646
176.25/177.84	o 645
176.35/177.92	o 644
176.35/177.93	o 642
176.35/177.94	o 640
176.35/177.98	o 639
176.45/178.03	o 638
179.03/180.66	o 637
179.03/180.68	o 636
179.03/180.69	o 635
179.13/180.70	o 634
179.13/180.72	o 633
179.13/180.75	o 632
179.13/180.76	o 631
179.24/180.84	o 629
179.24/180.85	o 628
179.34/180.92	o 627
179.34/180.93	o 626
179.34/180.94	o 624
179.34/180.95	o 623
179.34/180.96	o 622
179.54/181.12	o 621
179.54/181.16	o 620
179.54/181.16	o 619
179.54/181.17	o 617
180.72/182.39	   
180.72/182.39	   search
180.72/182.39	     run=2  nbConstraintChecks=92034976  nbAssignments=30000
180.72/182.39	       =>  wckTime=173.395  cpuTime=171.79  mem=267M833
185.40/187.03	o 616
185.40/187.04	o 615
185.40/187.05	o 614
185.60/187.24	o 613
185.80/187.48	o 611
185.80/187.49	o 610
186.09/187.73	o 609
186.09/187.74	o 608
186.09/187.76	o 607
186.09/187.79	o 606
186.30/187.99	o 605
186.30/188.00	o 604
188.78/190.41	o 601
188.78/190.42	o 599
188.78/190.43	o 597
188.78/190.44	o 596
188.78/190.49	o 595
188.78/190.49	o 594
188.88/190.51	o 593
188.88/190.52	o 592
188.88/190.56	o 590
188.88/190.57	o 589
191.17/192.80	o 588
191.17/192.87	o 587
191.17/192.89	o 585
191.27/192.90	o 584
191.27/192.90	o 583
191.27/192.92	o 582
191.27/192.94	o 576
191.27/192.98	o 575
191.27/192.99	o 571
191.38/193.01	o 570
191.38/193.02	o 569
191.38/193.03	o 568
191.38/193.08	o 567
191.47/193.10	o 566
191.87/193.51	o 565
191.87/193.52	o 564
191.87/193.54	o 563
191.87/193.55	o 561
191.87/193.57	o 560
192.07/193.70	o 553
192.07/193.71	o 552
192.07/193.72	o 551
192.07/193.75	o 550
192.17/193.83	o 549
192.17/193.85	o 548
192.17/193.88	o 547
192.36/194.10	o 546
192.47/194.11	o 545
192.66/194.30	o 544
193.16/194.88	o 543
193.16/194.89	o 542
193.36/195.00	o 540
193.36/195.03	o 538
193.36/195.06	o 536
193.66/195.34	o 535
193.66/195.35	o 533
193.66/195.38	o 532
193.86/195.55	o 529
193.86/195.56	o 528
193.86/195.57	o 527
195.06/196.72	o 526
195.06/196.74	o 525
195.06/196.74	o 524
195.06/196.76	o 523
195.64/197.35	o 522
195.64/197.36	o 521
195.75/197.46	o 520
195.75/197.47	o 519
195.75/197.48	o 518
195.75/197.48	o 517
195.85/197.53	o 516
202.71/204.47	o 515
202.71/204.48	o 514
205.40/207.15	o 513
205.40/207.18	o 511
205.40/207.19	o 509
205.50/207.20	o 507
205.89/207.65	o 506
205.89/207.66	o 505
206.09/207.83	o 504
206.09/207.85	o 503
206.09/207.86	o 502
206.09/207.86	o 501
206.09/207.87	o 500
206.09/207.89	o 499
206.19/207.93	o 498
206.99/208.71	   
206.99/208.71	   search
206.99/208.71	     run=3  nbConstraintChecks=106822354  nbAssignments=40000
206.99/208.71	       =>  wckTime=199.713  cpuTime=197.96  mem=267M833
206.99/208.75	o 497
206.99/208.75	o 495
206.99/208.76	o 493
206.99/208.77	o 491
206.99/208.77	o 489
206.99/208.78	o 487
206.99/208.79	o 486
206.99/208.79	o 485
206.99/208.80	o 484
207.09/208.80	o 483
207.09/208.81	o 482
207.09/208.82	o 481
207.09/208.82	o 480
207.09/208.83	o 479
207.09/208.84	o 478
207.09/208.84	o 477
207.09/208.85	o 476
207.09/208.85	o 475
207.09/208.86	o 474
207.09/208.87	o 473
207.09/208.87	o 472
207.09/208.88	o 471
207.09/208.89	o 470
207.09/208.89	o 469
207.18/208.90	o 468
207.18/208.91	o 467
207.18/208.92	o 466
207.18/208.92	o 465
207.18/208.93	o 464
207.18/208.93	o 463
207.18/208.94	o 462
207.18/208.95	o 461
207.18/208.95	o 460
207.18/208.96	o 459
207.18/208.97	o 458
207.18/208.97	o 457
207.18/208.98	o 456
207.18/208.99	o 455
207.18/208.99	o 454
207.18/209.00	o 453
207.28/209.01	o 452
207.28/209.02	o 451
207.28/209.02	o 450
207.28/209.03	o 449
207.28/209.04	o 448
207.28/209.05	o 447
207.28/209.06	o 446
207.28/209.06	o 445
207.28/209.07	o 444
207.28/209.08	o 443
207.28/209.09	o 442
207.28/209.10	o 441
207.37/209.10	o 440
207.37/209.11	o 439
207.37/209.12	o 438
207.37/209.13	o 437
207.37/209.14	o 436
207.37/209.14	o 435
207.37/209.15	o 434
207.37/209.16	o 433
207.37/209.17	o 432
207.37/209.18	o 431
207.37/209.18	o 430
207.37/209.19	o 429
207.48/209.20	o 428
207.48/209.21	o 427
207.48/209.22	o 426
207.48/209.22	o 425
207.48/209.23	o 424
207.48/209.24	o 423
207.48/209.25	o 422
207.48/209.26	o 421
207.48/209.26	o 420
207.48/209.27	o 419
207.48/209.28	o 418
207.48/209.29	o 417
207.48/209.30	o 416
207.77/209.50	o 415
207.77/209.59	o 414
207.87/209.62	o 413
207.87/209.69	o 412
208.28/210.02	o 411
208.28/210.10	o 410
208.47/210.23	o 409
208.47/210.28	o 408
208.57/210.35	o 407
208.67/210.43	o 406
208.67/210.45	o 405
211.56/213.40	o 404
211.86/213.66	o 403
211.86/213.67	o 402
211.86/213.68	o 401
211.95/213.72	o 400
211.95/213.73	o 399
211.95/213.74	o 398
211.95/213.75	o 396
211.95/213.76	o 395
211.95/213.77	o 394
211.95/213.78	o 393
211.95/213.79	o 392
212.06/213.83	o 390
212.06/213.85	o 389
212.06/213.86	o 388
212.06/213.87	o 387
212.06/213.88	o 386
224.39/226.24	   
224.39/226.24	   search
224.39/226.24	     run=4  nbConstraintChecks=114972163  nbAssignments=50000
224.39/226.24	       =>  wckTime=217.244  cpuTime=215.4  mem=267M833
242.11/244.03	   
242.11/244.03	   search
242.11/244.03	     run=5  nbConstraintChecks=124564019  nbAssignments=58579
242.11/244.03	       =>  wckTime=235.031  cpuTime=233.11  mem=267M833
242.11/244.03	   
242.11/244.03	   global
242.11/244.03	     nbConstraintChecks=124564019  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
242.11/244.03	     solvingWckTime=235.014  solvingCpuTime=233.1  expiredTime=no  totalExploration=no  nbFoundSolutions=0
242.11/244.03	     globalCpuTime=239.89
242.11/244.03	       =>  wckTime=243.774  cpuTime=239.85  mem=267M833
242.11/244.04	   
242.11/244.04	   solver DecomposerSolver being built... 
248.07/250.03	s UNKNOWN

ERROR: no interpretation found !

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109892-1215813182/watcher-1109892-1215813182 -o /tmp/evaluation-result-1109892-1215813182/solver-1109892-1215813182 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1109892-1215813182.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.90 2.00 1.98 4/69 15803
/proc/meminfo: memFree=1900152/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=10616 CPUtime=0
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 38017131 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 2654 472 209 9 0 1184 0
[pid=15803/tid=15804] ppid=15801 vsize=10616 CPUtime=0
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 38017132 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 3465176 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.020109 s]
/proc/loadavg: 1.90 2.00 1.98 4/69 15803
/proc/meminfo: memFree=1900152/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=11200 CPUtime=0
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 880 0 1 0 0 0 0 0 18 0 2 0 38017131 11468800 632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 2800 632 330 9 0 1198 0
[pid=15803/tid=15804] ppid=15801 vsize=11200 CPUtime=0
/proc/15803/task/15804/stat : 15804 (java) D 15801 15803 15573 0 -1 64 204 0 1 0 0 0 0 0 17 0 2 0 38017132 11468800 632 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 0 16784584 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11200

[startup+0.101115 s]
/proc/loadavg: 1.90 2.00 1.98 4/69 15803
/proc/meminfo: memFree=1900152/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=865984 CPUtime=0.08
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 3710 0 1 0 6 2 0 0 18 0 9 0 38017131 886767616 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216496 3181 1681 9 0 211051 0
[pid=15803/tid=15804] ppid=15801 vsize=865984 CPUtime=0.07
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 2807 0 1 0 6 1 0 0 18 0 9 0 38017132 886767616 3181 996147200 134512640 134550740 4294955952 18446744073709551615 102805345 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301144 s]
/proc/loadavg: 1.90 2.00 1.98 4/69 15803
/proc/meminfo: memFree=1900152/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=866412 CPUtime=0.29
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 5849 0 1 0 26 3 0 0 18 0 9 0 38017131 887205888 5224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216603 5224 1955 9 0 211131 0
[pid=15803/tid=15804] ppid=15801 vsize=866412 CPUtime=0.24
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 4869 0 1 0 22 2 0 0 17 0 9 0 38017132 887205888 5224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866412

[startup+0.701178 s]
/proc/loadavg: 1.90 2.00 1.98 4/69 15803
/proc/meminfo: memFree=1900152/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867328 CPUtime=0.71
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 14582 0 1 0 64 7 0 0 18 0 9 0 38017131 888143872 13953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216832 13953 1973 9 0 211360 0
[pid=15803/tid=15804] ppid=15801 vsize=867328 CPUtime=0.55
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 13283 0 1 0 49 6 0 0 18 0 9 0 38017132 888143872 13953 996147200 134512640 134550740 4294955952 18446744073709551615 4126693637 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 867328

[startup+1.50225 s]
/proc/loadavg: 1.90 2.00 1.98 4/91 15829
/proc/meminfo: memFree=1808416/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867532 CPUtime=1.5
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 18762 0 1 0 140 10 0 0 18 0 9 0 38017131 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216883 18121 2025 9 0 211389 0
[pid=15803/tid=15804] ppid=15801 vsize=867532 CPUtime=1.24
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15756 0 1 0 116 8 0 0 25 0 9 0 38017132 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 102064828 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867532 CPUtime=0.06
/proc/15803/task/15806/stat : 15806 (java) S 15801 15803 15573 0 -1 64 1691 0 0 0 6 0 0 0 16 0 9 0 38017134 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38017134 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867532 CPUtime=0.16
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 618 0 0 0 16 0 0 0 16 0 9 0 38017136 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888352768 18121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 867532

[startup+3.10239 s]
/proc/loadavg: 1.90 2.00 1.98 3/91 15829
/proc/meminfo: memFree=1749792/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867444 CPUtime=3.1
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 24463 0 1 0 295 15 0 0 18 0 9 0 38017131 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216862 23796 2006 9 0 211390 0
[pid=15803/tid=15804] ppid=15801 vsize=867444 CPUtime=2.53
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15790 0 1 0 243 10 0 0 25 0 9 0 38017132 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867444 CPUtime=0.38
/proc/15803/task/15806/stat : 15806 (java) S 15801 15803 15573 0 -1 64 7354 0 0 0 34 4 0 0 17 0 9 0 38017134 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38017134 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867444 CPUtime=0.17
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 622 0 0 0 17 0 0 0 16 0 9 0 38017136 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867448 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888266752 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888262656 23796 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 867444

[startup+6.30168 s]
/proc/loadavg: 1.91 2.00 1.98 4/91 15839
/proc/meminfo: memFree=1745504/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867444 CPUtime=6.28
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 29921 0 1 0 488 140 0 0 18 0 9 0 38017131 888262656 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216861 29250 2006 9 0 211389 0
[pid=15803/tid=15804] ppid=15801 vsize=867444 CPUtime=5.31
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15795 0 1 0 399 132 0 0 25 0 9 0 38017132 888262656 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867444 CPUtime=0.72
/proc/15803/task/15806/stat : 15806 (java) S 15801 15803 15573 0 -1 64 12767 0 0 0 66 6 0 0 18 0 9 0 38017134 888262656 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888262656 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867448 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38017134 888266752 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888262656 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867448 CPUtime=0.22
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 662 0 0 0 22 0 0 0 16 0 9 0 38017136 888266752 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888262656 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867444 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888262656 29250 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867444

[startup+12.7013 s]
/proc/loadavg: 1.91 2.00 1.98 3/91 15839
/proc/meminfo: memFree=1431136/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867532 CPUtime=12.61
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 85055 0 1 0 1047 214 0 0 18 0 9 0 38017131 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216883 84068 2639 9 0 211389 0
[pid=15803/tid=15804] ppid=15801 vsize=867532 CPUtime=10.56
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15845 0 1 0 871 185 0 0 25 0 9 0 38017132 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4127128653 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867532 CPUtime=1.74
/proc/15803/task/15806/stat : 15806 (java) S 15801 15803 15573 0 -1 64 67813 0 0 0 147 27 0 0 16 0 9 0 38017134 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867532 CPUtime=0.28
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 700 0 0 0 28 0 0 0 15 0 9 0 38017136 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888352768 84068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867532

[startup+25.5024 s]
/proc/loadavg: 1.93 2.00 1.98 3/91 15839
/proc/meminfo: memFree=1291552/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867532 CPUtime=25.25
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 85068 0 1 0 2292 233 0 0 18 0 9 0 38017131 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216883 84077 2639 9 0 211389 0
[pid=15803/tid=15804] ppid=15801 vsize=867532 CPUtime=23.17
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15849 0 1 0 2114 203 0 0 25 0 9 0 38017132 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4127184923 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867532 CPUtime=1.74
/proc/15803/task/15806/stat : 15806 (java) S 15801 15803 15573 0 -1 64 67813 0 0 0 147 27 0 0 16 0 9 0 38017134 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867532 CPUtime=0.3
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 709 0 0 0 29 1 0 0 16 0 9 0 38017136 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888352768 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867532

[startup+51.1027 s]
/proc/loadavg: 2.03 2.02 1.99 3/91 15839
/proc/meminfo: memFree=942048/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867532 CPUtime=50.51
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 85072 0 1 0 4793 258 0 0 18 0 9 0 38017131 888352768 84081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216883 84081 2639 9 0 211389 0
[pid=15803/tid=15804] ppid=15801 vsize=867532 CPUtime=48.43
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15849 0 1 0 4615 228 0 0 25 0 9 0 38017132 888352768 84081 996147200 134512640 134550740 4294955952 18446744073709551615 4126887095 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867532 CPUtime=1.74

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


Solver just ended. Dumping a history of the last processes samples

[startup+230.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/91 15839
/proc/meminfo: memFree=606752/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867532 CPUtime=228.48
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 85081 0 1 0 22174 674 0 0 18 0 9 0 38017131 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216883 84089 2640 9 0 211389 0
[pid=15803/tid=15804] ppid=15801 vsize=867532 CPUtime=226.38
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15850 0 1 0 21994 644 0 0 25 0 9 0 38017132 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4127181492 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867532 CPUtime=1.74
/proc/15803/task/15806/stat : 15806 (java) S 15801 15803 15573 0 -1 64 67813 0 0 0 147 27 0 0 16 0 9 0 38017134 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867532 CPUtime=0.32
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 721 0 0 0 31 1 0 0 16 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 228.48
Current children cumulated vsize (KiB) 867532

[startup+243.107 s]
/proc/loadavg: 2.00 2.01 2.00 3/91 15839
/proc/meminfo: memFree=606624/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867532 CPUtime=241.21
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 85081 0 1 0 23398 723 0 0 18 0 9 0 38017131 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216883 84089 2640 9 0 211389 0
[pid=15803/tid=15804] ppid=15801 vsize=867532 CPUtime=239.12
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15850 0 1 0 23219 693 0 0 25 0 9 0 38017132 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4127181492 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867532 CPUtime=1.74
/proc/15803/task/15806/stat : 15806 (java) S 15801 15803 15573 0 -1 64 67813 0 0 0 147 27 0 0 16 0 9 0 38017134 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38017134 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867532 CPUtime=0.32
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 721 0 0 0 31 1 0 0 16 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867532 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888352768 84089 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 241.21
Current children cumulated vsize (KiB) 867532

[startup+246.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/91 15839
/proc/meminfo: memFree=191200/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867748 CPUtime=244.4
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 188796 0 1 0 23667 773 0 0 18 0 9 0 38017131 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216937 187724 2617 9 0 211465 0
[pid=15803/tid=15804] ppid=15801 vsize=867748 CPUtime=241.25
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15941 0 1 0 23426 699 0 0 25 0 9 0 38017132 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867748 CPUtime=2.73
/proc/15803/task/15806/stat : 15806 (java) R 15801 15803 15573 0 -1 64 171371 0 0 0 201 72 0 0 16 0 9 0 38017134 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 103736180 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 38017134 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867748 CPUtime=0.39
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 769 0 0 0 38 1 0 0 15 0 9 0 38017136 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888573952 187724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 244.4
Current children cumulated vsize (KiB) 867748

[startup+247.902 s]
/proc/loadavg: 2.00 2.01 2.00 4/91 15839
/proc/meminfo: memFree=143968/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867748 CPUtime=245.98
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 200721 0 1 0 23821 777 0 0 18 0 9 0 38017131 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216937 199521 2617 9 0 211465 0
[pid=15803/tid=15804] ppid=15801 vsize=867748 CPUtime=241.29
/proc/15803/task/15804/stat : 15804 (java) R 15801 15803 15573 0 -1 64 15943 0 1 0 23430 699 0 0 25 0 9 0 38017132 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867748 CPUtime=4.29
/proc/15803/task/15806/stat : 15806 (java) R 15801 15803 15573 0 -1 64 183294 0 0 0 353 76 0 0 17 0 9 0 38017134 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38017134 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867748 CPUtime=0.39
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 769 0 0 0 38 1 0 0 15 0 9 0 38017136 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888573952 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 245.98
Current children cumulated vsize (KiB) 867748

[startup+249.503 s]
/proc/loadavg: 2.08 2.03 2.00 4/91 15839
/proc/meminfo: memFree=143904/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867748 CPUtime=247.58
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 200862 0 1 0 23981 777 0 0 18 0 9 0 38017131 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216937 199535 2617 9 0 211465 0
[pid=15803/tid=15804] ppid=15801 vsize=867748 CPUtime=241.3
/proc/15803/task/15804/stat : 15804 (java) S 15801 15803 15573 0 -1 64 15944 0 1 0 23431 699 0 0 24 0 9 0 38017132 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867748 CPUtime=5.86
/proc/15803/task/15806/stat : 15806 (java) R 15801 15803 15573 0 -1 64 183434 0 0 0 510 76 0 0 19 0 9 0 38017134 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38017134 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867748 CPUtime=0.39
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 769 0 0 0 38 1 0 0 15 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 247.58
Current children cumulated vsize (KiB) 867748

[startup+249.903 s]
/proc/loadavg: 2.08 2.03 2.00 3/91 15839
/proc/meminfo: memFree=143904/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=867748 CPUtime=247.97
/proc/15803/stat : 15803 (java) S 15801 15803 15573 0 -1 0 200926 0 1 0 24020 777 0 0 18 0 9 0 38017131 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 216937 199535 2617 9 0 211465 0
[pid=15803/tid=15804] ppid=15801 vsize=867748 CPUtime=241.3
/proc/15803/task/15804/stat : 15804 (java) S 15801 15803 15573 0 -1 64 15945 0 1 0 23431 699 0 0 24 0 9 0 38017132 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15806] ppid=15801 vsize=867748 CPUtime=6.26
/proc/15803/task/15806/stat : 15806 (java) R 15801 15803 15573 0 -1 64 183497 0 0 0 550 76 0 0 19 0 9 0 38017134 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 104180127 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15807] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15807/stat : 15807 (java) S 15801 15803 15573 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38017134 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15808] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15808/stat : 15808 (java) S 15801 15803 15573 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38017134 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15809] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15809/stat : 15809 (java) S 15801 15803 15573 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15810] ppid=15801 vsize=867748 CPUtime=0.39
/proc/15803/task/15810/stat : 15810 (java) S 15801 15803 15573 0 -1 64 769 0 0 0 38 1 0 0 15 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15811] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15811/stat : 15811 (java) S 15801 15803 15573 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15803/tid=15812] ppid=15801 vsize=867748 CPUtime=0
/proc/15803/task/15812/stat : 15812 (java) S 15801 15803 15573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38017136 888573952 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 247.97
Current children cumulated vsize (KiB) 867748

[startup+250.103 s]
/proc/loadavg: 2.08 2.03 2.00 3/91 15839
/proc/meminfo: memFree=143904/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=0 CPUtime=248.13
/proc/15803/stat : 15803 (java) Z 15801 15803 15573 0 -1 12 200934 0 1 0 24034 779 0 0 16 0 2 0 38017131 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 248.13
Current children cumulated vsize (KiB) 0

[startup+250.203 s]
/proc/loadavg: 2.08 2.03 2.00 3/91 15839
/proc/meminfo: memFree=143904/2055920 swapFree=4192812/4192956
[pid=15803] ppid=15801 vsize=0 CPUtime=248.23
/proc/15803/stat : 15803 (java) Z 15801 15803 15573 0 -1 12 200934 0 1 0 24034 789 0 0 16 0 2 0 38017131 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15803/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 248.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 250.208
CPU time (s): 248.24
CPU user time (s): 240.34
CPU system time (s): 7.8998
CPU usage (%): 99.2135
Max. virtual memory (cumulated for all children) (KiB): 867948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.34
system time used= 7.8998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200934
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= 6893
involuntary context switches= 20287

runsolver used 0.534918 second user time and 1.17582 second system time

The end

Begin job on node51 at 2008-07-11 23:53:02
IDJOB=1109892
IDBENCH=61031
IDSOLVER=360
FILE ID=node51/1109892-1215813182
PBS_JOBID= 7903288
Free space on /tmp= 66552 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/pseudo/ssa/normalized-ssa-6288-047.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109892-1215813182/watcher-1109892-1215813182 -o /tmp/evaluation-result-1109892-1215813182/solver-1109892-1215813182 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1109892-1215813182.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= dd00c5def4c55b065ec455ee1bcb23cb
RANDOM SEED=2142805741

node51.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.218
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.218
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:       1900912 kB
Buffers:         19108 kB
Cached:          66096 kB
SwapCached:          0 kB
Active:          72016 kB
Inactive:        31948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1900912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12616 kB
Writeback:           0 kB
Mapped:          28644 kB
Slab:            36648 kB
Committed_AS:   100404 kB
PageTables:       1684 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= 65772 MiB
End job on node51 at 2008-07-11 23:57:13