Trace number 1127218

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 112 pc-d? 182.427 184.747

General information on the benchmark

Namemaxcsp/pedigree/
normalized-sheep4r_ext.xml
MD5SUM08bdb3d510bdf76c9e89d860e2f2975a
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints6
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables8921
Number of constraints11107
Maximum constraint arity3
Maximum domain size10
Number of constraints which are defined in extension11107
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.04/0.08	
0.04/0.08	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=mrdac-ddeg.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1127218-1216188399.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.28/0.37	   
0.28/0.37	   variables being loaded...
0.78/0.83	     nbVariables=8921  nbDomainTypes=2  minDomainSize=1  maxDomainSize=10  nbTotalValues=89201
0.78/0.83	       =>  wckTime=0.589  cpuTime=0.43  mem=41M359
0.78/0.83	   
0.78/0.83	   relations being loaded...
0.78/0.84	   
0.78/0.84	   constraints being loaded...
1.28/1.33	     nbConstraints=11107  nbRelationTypes=12  nbSingletonDomainVariables=1  nbExtensionStructures=12
1.28/1.33	     nbSharedExtensionStructures=11095  nbConflictsStructures=12  nbSharedConflictsStructures=11095
1.28/1.33	     nbSharedBinaryRepresentations=109  minDegree=2  maxDegree=2446  minArity=2  avgArity=2.7  maxArity=3
1.28/1.33	       =>  wckTime=1.093  cpuTime=0.78  mem=45M835
1.47/1.52	   
1.47/1.52	   solver LocalSearchSolver being built... 
1.47/1.57	       =>  wckTime=1.333  cpuTime=0.82  mem=22M62
1.57/1.63	
1.57/1.63	s SATISFIABLE
1.57/1.63	o 8348
1.57/1.65	o 8312
1.57/1.66	o 8304
1.67/1.71	o 8301
1.67/1.72	o 8285
1.67/1.73	o 8274
1.67/1.75	o 8256
1.67/1.76	o 8245
1.67/1.77	o 8223
1.67/1.78	o 8209
1.67/1.80	o 8202
1.77/1.81	o 8201
1.86/1.96	o 8195
1.86/1.97	o 8193
1.86/1.99	o 8189
1.96/2.02	o 8183
1.96/2.04	o 8172
1.96/2.05	o 8171
1.96/2.06	o 8158
1.96/2.07	o 8151
1.96/2.09	o 8149
2.07/2.10	o 8142
2.07/2.12	o 8136
2.07/2.15	o 8126
2.07/2.17	o 8109
2.07/2.18	o 8093
2.07/2.19	o 8089
2.17/2.21	o 8079
2.17/2.22	o 8072
2.17/2.23	o 8066
2.17/2.24	o 8060
2.26/2.31	o 8057
2.26/2.32	o 8053
2.75/2.87	o 8052
2.75/2.88	o 8047
2.75/2.89	o 8042
2.86/2.91	o 8026
2.86/2.92	o 8022
2.86/2.94	o 8016
2.86/2.96	o 8005
2.86/2.97	o 8002
2.86/2.98	o 7999
2.95/3.00	o 7996
2.95/3.01	o 7988
2.95/3.03	o 7981
2.95/3.04	o 7978
2.95/3.06	o 7977
2.95/3.07	o 7976
2.95/3.08	o 7970
3.05/3.13	o 7965
3.05/3.14	o 7955
3.05/3.20	o 7954
3.15/3.21	o 7951
3.15/3.24	o 7947
3.15/3.25	o 7941
3.15/3.27	o 7935
3.25/3.31	o 7928
3.25/3.33	o 7927
3.25/3.34	o 7914
3.25/3.36	o 7909
3.25/3.37	o 7904
3.25/3.40	o 7903
3.34/3.41	o 7898
3.34/3.42	o 7894
3.34/3.44	o 7888
3.34/3.45	o 7882
3.53/3.61	o 7869
3.53/3.64	o 7864
3.63/3.72	o 7863
3.63/3.73	o 7840
3.63/3.74	o 7835
3.63/3.76	o 7830
3.63/3.77	o 7825
3.63/3.79	o 7820
3.73/3.80	o 7815
3.73/3.82	o 7811
3.73/3.83	o 7807
3.73/3.85	o 7803
3.73/3.86	o 7798
3.73/3.88	o 7794
3.73/3.89	o 7790
3.83/3.91	o 7785
3.83/3.92	o 7782
3.83/3.94	o 7779
3.83/3.95	o 7776
3.83/3.96	o 7773
3.83/3.98	o 7770
3.83/4.00	o 7768
3.93/4.01	o 7766
3.93/4.02	o 7762
3.93/4.06	o 7760
3.93/4.07	o 7759
3.93/4.09	o 7756
4.53/4.68	o 7754
4.53/4.70	o 7750
4.62/4.71	o 7743
4.62/4.74	o 7739
4.72/4.83	o 7735
4.72/4.85	o 7732
4.72/4.86	o 7729
4.72/4.87	o 7726
4.72/4.89	o 7723
4.82/4.91	o 7720
4.82/4.92	o 7717
4.82/4.95	o 7715
4.82/4.96	o 7712
4.82/4.98	o 7709
4.82/4.99	o 7706
4.92/5.08	o 7690
4.92/5.09	o 7688
5.02/5.11	o 7686
5.02/5.12	o 7684
5.02/5.14	o 7682
5.02/5.15	o 7680
5.02/5.17	o 7679
5.02/5.18	o 7678
5.33/5.41	o 7677
5.33/5.44	o 7675
5.42/5.50	o 7671
5.42/5.60	o 7663
5.52/5.61	o 7658
5.71/5.84	o 7654
5.71/5.86	o 7650
5.71/5.88	o 7645
5.71/5.89	o 7642
5.81/5.91	o 7641
5.81/5.94	o 7640
5.81/5.95	o 7636
5.81/5.97	o 7634
5.81/5.98	o 7630
5.91/6.01	o 7623
5.91/6.02	o 7619
5.91/6.04	o 7614
5.91/6.09	o 7613
6.00/6.10	o 7608
6.00/6.12	o 7607
6.00/6.13	o 7605
6.00/6.18	o 7601
6.10/6.20	o 7597
6.10/6.25	o 7593
6.10/6.28	o 7590
6.10/6.29	o 7582
6.21/6.31	o 7578
6.21/6.34	o 7577
6.21/6.35	o 7572
6.21/6.37	o 7568
6.21/6.38	o 7564
6.31/6.40	o 7561
6.31/6.42	o 7558
6.31/6.45	o 7554
6.31/6.46	o 7549
6.40/6.52	o 7546
6.40/6.53	o 7543
6.40/6.55	o 7540
6.40/6.57	o 7537
6.40/6.58	o 7534
6.40/6.60	o 7531
6.50/6.62	o 7528
6.50/6.63	o 7525
6.50/6.65	o 7522
6.50/6.67	o 7519
6.50/6.68	o 7516
6.60/6.70	o 7513
6.60/6.72	o 7510
6.60/6.74	o 7503
6.60/6.77	o 7501
6.60/6.79	o 7498
6.79/6.92	o 7494
6.79/6.93	o 7492
6.79/6.98	o 7486
6.79/6.99	o 7483
6.89/7.01	o 7480
6.89/7.03	o 7477
6.89/7.04	o 7474
6.89/7.06	o 7471
6.89/7.07	o 7468
6.89/7.09	o 7465
6.99/7.11	o 7462
6.99/7.12	o 7459
6.99/7.14	o 7456
6.99/7.15	o 7453
6.99/7.17	o 7450
6.99/7.19	o 7447
7.09/7.20	o 7444
7.09/7.22	o 7441
7.09/7.24	o 7438
7.09/7.25	o 7435
7.09/7.27	o 7432
7.09/7.28	o 7429
7.19/7.30	o 7426
7.19/7.32	o 7423
7.19/7.34	o 7420
7.19/7.35	o 7417
7.19/7.37	o 7413
7.19/7.38	o 7410
7.29/7.41	o 7407
7.29/7.43	o 7403
7.29/7.44	o 7399
7.29/7.46	o 7396
7.29/7.48	o 7393
7.29/7.49	o 7390
7.39/7.51	o 7387
7.39/7.52	o 7384
7.39/7.54	o 7381
7.39/7.56	o 7378
7.49/7.61	o 7377
7.49/7.63	o 7373
7.49/7.65	o 7370
7.49/7.66	o 7367
7.49/7.68	o 7364
7.49/7.69	o 7361
7.59/7.76	o 7358
7.59/7.78	o 7348
7.68/7.80	o 7345
7.68/7.82	o 7342
7.68/7.83	o 7339
7.68/7.86	o 7335
7.68/7.88	o 7334
7.98/8.12	o 7332
7.98/8.14	o 7329
7.98/8.15	o 7326
7.98/8.17	o 7323
7.98/8.19	o 7320
8.07/8.20	o 7317
8.07/8.22	o 7314
8.07/8.23	o 7311
8.07/8.25	o 7308
8.07/8.26	o 7305
8.07/8.29	o 7302
8.17/8.34	o 7299
8.17/8.36	o 7296
8.17/8.37	o 7293
8.17/8.39	o 7290
8.27/8.41	o 7287
8.27/8.42	o 7285
8.27/8.49	o 7283
8.37/8.51	o 7281
8.37/8.52	o 7279
8.37/8.54	o 7277
8.37/8.55	o 7275
8.37/8.57	o 7273
8.37/8.58	o 7271
8.48/8.60	o 7269
8.48/8.62	o 7267
8.48/8.63	o 7265
8.48/8.65	o 7263
8.48/8.67	o 7262
8.48/8.68	o 7260
8.58/8.70	o 7258
8.58/8.72	o 7256
8.58/8.74	o 7254
8.58/8.75	o 7252
8.58/8.77	o 7250
8.58/8.78	o 7248
8.58/8.80	o 7245
8.67/8.81	o 7241
8.67/8.83	o 7239
8.67/8.85	o 7236
8.67/8.86	o 7233
8.67/8.88	o 7230
8.67/8.89	o 7226
8.77/8.91	o 7222
8.77/8.93	o 7218
8.77/8.94	o 7215
8.77/8.96	o 7213
8.77/8.97	o 7211
8.77/8.99	o 7209
8.87/9.01	o 7207
8.87/9.02	o 7205
8.87/9.05	o 7203
8.87/9.06	o 7201
8.87/9.08	o 7199
8.87/9.10	o 7197
8.96/9.11	o 7181
8.96/9.13	o 7178
8.96/9.14	o 7176
8.96/9.16	o 7174
8.96/9.20	o 7172
9.06/9.22	o 7168
9.06/9.24	o 7167
9.06/9.26	o 7165
9.06/9.28	o 7163
9.06/9.29	o 7162
9.16/9.31	o 7159
9.16/9.32	o 7156
9.16/9.34	o 7153
9.16/9.36	o 7150
9.16/9.37	o 7149
9.25/9.50	o 7147
9.36/9.51	o 7142
9.36/9.53	o 7139
9.36/9.55	o 7138
9.36/9.56	o 7128
9.36/9.58	o 7127
9.46/9.61	o 7124
10.05/10.23	o 7121
10.05/10.25	o 7118
10.05/10.26	o 7116
10.05/10.28	o 7113
10.05/10.29	o 7110
10.15/10.31	o 7107
10.15/10.33	o 7105
10.15/10.34	o 7103
10.15/10.36	o 7101
10.15/10.37	o 7098
10.15/10.39	o 7095
10.24/10.41	o 7092
10.24/10.42	o 7089
10.24/10.44	o 7086
10.24/10.46	o 7084
10.24/10.47	o 7081
10.34/10.50	o 7080
10.34/10.52	o 7077
10.34/10.53	o 7075
10.34/10.55	o 7072
10.34/10.56	o 7070
10.34/10.58	o 7067
10.34/10.60	o 7064
10.44/10.61	o 7061
10.44/10.63	o 7060
10.44/10.64	o 7057
10.44/10.67	o 7056
10.44/10.69	o 7053
10.54/10.70	o 7050
10.54/10.79	o 7048
10.64/10.81	o 7045
10.64/10.85	o 7042
10.64/10.87	o 7039
10.64/10.89	o 7037
10.75/10.92	o 7034
10.75/10.93	o 7032
10.75/10.95	o 7029
10.75/10.96	o 7026
10.75/10.98	o 7023
10.75/11.00	o 7020
10.85/11.01	o 7017
10.85/11.08	o 7014
10.85/11.10	o 7011
10.94/11.11	o 7008
10.94/11.14	o 7005
10.94/11.18	o 7003
10.94/11.20	o 7001
11.04/11.21	o 6998
11.04/11.23	o 6995
11.04/11.28	o 6992
11.14/11.30	o 6989
11.14/11.32	o 6986
11.14/11.33	o 6983
11.14/11.39	o 6982
11.23/11.41	o 6977
11.23/11.42	o 6975
11.23/11.44	o 6973
11.33/11.51	o 6972
11.33/11.53	o 6969
11.33/11.54	o 6966
11.33/11.58	o 6964
11.43/11.60	o 6961
11.43/11.62	o 6959
11.43/11.63	o 6956
11.43/11.65	o 6953
11.43/11.66	o 6950
11.43/11.69	o 6948
11.53/11.71	o 6946
11.53/11.72	o 6944
11.53/11.74	o 6942
11.53/11.76	o 6939
11.53/11.78	o 6934
11.64/11.80	o 6932
11.64/11.82	o 6930
11.64/11.84	o 6921
11.64/11.85	o 6918
11.64/11.87	o 6916
11.64/11.89	o 6913
11.74/11.90	o 6907
11.74/11.93	o 6906
11.74/11.94	o 6904
11.74/11.96	o 6903
11.74/11.98	o 6901
11.74/12.00	o 6899
11.83/12.02	o 6897
11.83/12.03	o 6894
11.83/12.05	o 6892
11.83/12.07	o 6888
11.83/12.08	o 6885
11.93/12.13	o 6884
11.93/12.16	o 6882
12.02/12.20	o 6880
12.02/12.22	o 6878
12.02/12.25	o 6876
12.02/12.27	o 6873
12.02/12.29	o 6871
12.12/12.31	o 6869
12.12/12.33	o 6867
12.12/12.36	o 6865
12.12/12.38	o 6863
12.22/12.40	o 6861
12.22/12.42	o 6859
12.22/12.44	o 6857
12.22/12.46	o 6855
12.22/12.48	o 6853
12.32/12.51	o 6851
12.32/12.53	o 6849
12.32/12.55	o 6847
12.32/12.57	o 6845
12.32/12.59	o 6843
12.41/12.61	o 6841
12.41/12.63	o 6839
12.41/12.66	o 6837
12.41/12.68	o 6835
12.51/12.70	o 6833
12.51/12.72	o 6831
12.51/12.74	o 6830
12.51/12.76	o 6827
12.51/12.78	o 6825
12.51/12.80	o 6823
12.61/12.82	o 6821
12.61/12.84	o 6819
12.61/12.86	o 6817
12.61/12.88	o 6815
12.71/12.90	o 6813
12.71/12.92	o 6809
12.71/12.94	o 6806
12.71/12.96	o 6804
12.71/12.98	o 6802
12.81/13.00	o 6800
12.81/13.03	o 6798
12.81/13.05	o 6796
12.81/13.07	o 6794
12.81/13.09	o 6792
12.92/13.11	o 6790
12.92/13.13	o 6786
12.92/13.16	o 6784
13.02/13.22	o 6783
13.02/13.24	o 6781
13.02/13.26	o 6779
13.11/13.31	o 6776
13.11/13.32	o 6773
13.21/13.45	o 6771
13.21/13.49	o 6770
13.30/13.51	o 6768
13.30/13.53	o 6767
13.30/13.55	o 6764
13.30/13.59	o 6762
13.40/13.66	o 6761
13.40/13.68	o 6759
13.50/13.70	o 6757
13.50/13.72	o 6755
13.50/13.75	o 6753
13.50/13.77	o 6751
13.50/13.79	o 6749
13.60/13.84	o 6747
13.60/13.86	o 6745
13.60/13.88	o 6743
13.70/13.90	o 6741
13.70/13.92	o 6739
13.70/13.94	o 6737
13.70/13.96	o 6735
13.70/13.98	o 6733
13.80/14.00	o 6731
13.80/14.02	o 6728
13.80/14.04	o 6726
13.80/14.06	o 6724
13.80/14.08	o 6722
13.89/14.10	o 6720
13.89/14.12	o 6718
13.89/14.15	o 6716
13.89/14.17	o 6712
14.00/14.26	o 6710
14.00/14.28	o 6707
14.00/14.30	o 6705
14.10/14.32	o 6703
14.10/14.34	o 6701
14.10/14.36	o 6699
14.10/14.38	o 6697
14.19/14.44	o 6694
14.19/14.46	o 6692
14.19/14.47	o 6690
14.29/14.55	o 6688
14.29/14.57	o 6686
14.29/14.59	o 6684
14.39/14.61	o 6682
14.39/14.63	o 6680
14.39/14.65	o 6678
14.39/14.67	o 6676
14.39/14.69	o 6674
14.48/14.71	o 6672
14.48/14.73	o 6670
14.48/14.75	o 6668
14.48/14.77	o 6666
14.48/14.79	o 6664
14.58/14.82	o 6662
14.58/14.84	o 6660
14.58/14.86	o 6659
14.58/14.88	o 6656
14.58/14.89	o 6653
14.68/14.91	o 6651
14.68/14.93	o 6649
14.68/14.95	o 6646
14.68/14.97	o 6644
14.68/14.99	o 6642
14.78/15.01	o 6640
14.78/15.03	o 6637
14.78/15.05	o 6635
14.78/15.07	o 6633
14.78/15.09	o 6631
14.88/15.11	o 6629
14.88/15.13	o 6627
14.88/15.17	o 6624
14.88/15.19	o 6620
14.99/15.21	o 6617
14.99/15.23	o 6615
14.99/15.25	o 6613
14.99/15.27	o 6611
14.99/15.29	o 6609
15.08/15.31	o 6607
15.08/15.34	o 6605
15.08/15.35	o 6601
15.08/15.37	o 6599
15.18/15.42	o 6597
15.18/15.44	o 6595
15.18/15.47	o 6593
15.18/15.49	o 6591
15.28/15.51	o 6589
15.28/15.53	o 6587
15.28/15.55	o 6585
15.28/15.57	o 6583
15.28/15.59	o 6581
15.37/15.61	o 6579
15.37/15.63	o 6577
15.37/15.66	o 6575
15.37/15.68	o 6573
15.37/15.69	o 6572
15.47/15.71	o 6569
15.47/15.73	o 6566
15.47/15.75	o 6564
15.47/15.77	o 6562
15.47/15.79	o 6560
15.57/15.81	o 6558
15.57/15.83	o 6556
15.57/15.85	o 6554
15.57/15.87	o 6552
15.57/15.89	o 6550
15.67/15.91	o 6548
15.67/15.92	o 6544
15.67/15.94	o 6543
15.67/15.96	o 6541
15.67/15.98	o 6539
15.76/16.00	o 6537
15.76/16.02	o 6535
15.76/16.04	o 6533
15.76/16.08	o 6531
15.76/16.10	o 6529
15.86/16.12	o 6527
15.86/16.14	o 6525
15.86/16.16	o 6523
15.86/16.18	o 6521
15.86/16.19	o 6520
15.96/16.21	o 6518
15.96/16.23	o 6516
15.96/16.26	o 6514
15.96/16.28	o 6512
15.96/16.30	o 6510
16.06/16.32	o 6508
16.06/16.37	o 6507
16.06/16.39	o 6505
16.17/16.41	o 6503
16.17/16.43	o 6501
16.17/16.45	o 6499
16.17/16.47	o 6497
16.17/16.49	o 6495
16.27/16.51	o 6493
16.27/16.53	o 6491
16.27/16.56	o 6489
16.27/16.58	o 6487
16.27/16.60	o 6485
16.36/16.62	o 6483
16.36/16.64	o 6481
16.36/16.65	o 6479
16.36/16.67	o 6477
16.36/16.69	o 6475
16.46/16.71	o 6473
16.46/16.73	o 6471
16.55/16.81	o 6470
16.55/16.83	o 6468
16.55/16.86	o 6466
16.55/16.87	o 6464
16.55/16.89	o 6462
16.65/16.91	o 6460
16.65/16.93	o 6458
16.65/16.96	o 6456
16.65/16.98	o 6454
16.65/16.99	o 6452
16.85/17.12	o 6451
16.85/17.14	o 6449
16.85/17.16	o 6447
16.85/17.18	o 6445
16.85/17.20	o 6443
16.95/17.22	o 6441
16.95/17.23	o 6439
16.95/17.25	o 6437
16.95/17.27	o 6435
16.95/17.29	o 6433
17.05/17.32	o 6427
17.05/17.34	o 6425
17.05/17.36	o 6423
17.05/17.38	o 6421
17.15/17.42	o 6420
17.15/17.44	o 6418
17.15/17.46	o 6416
17.15/17.48	o 6414
17.35/17.70	o 6408
17.44/17.72	o 6407
17.44/17.74	o 6405
17.44/17.76	o 6403
17.44/17.78	o 6401
17.44/17.79	o 6399
17.54/17.81	o 6397
17.54/17.83	o 6395
17.54/17.86	o 6393
17.54/17.88	o 6391
17.64/17.90	o 6389
17.64/17.92	o 6387
17.64/17.94	o 6385
17.64/17.96	o 6383
17.84/18.12	o 6382
17.84/18.17	o 6381
17.84/18.19	o 6379
17.94/18.21	o 6377
17.94/18.23	o 6375
17.94/18.25	o 6373
18.04/18.33	o 6372
18.04/18.36	o 6370
18.04/18.39	o 6369
18.14/18.41	o 6367
18.14/18.43	o 6365
18.14/18.45	o 6363
18.14/18.47	o 6361
18.14/18.49	o 6359
18.24/18.51	o 6357
18.34/18.61	o 6356
18.34/18.67	o 6355
18.44/18.75	o 6354
18.44/18.76	o 6352
18.44/18.78	o 6350
18.53/18.80	o 6348
18.53/18.82	o 6346
18.53/18.87	o 6345
18.53/18.89	o 6343
18.63/18.91	o 6341
18.63/18.93	o 6339
18.63/18.95	o 6317
18.63/18.97	o 6315
18.63/18.99	o 6313
18.72/19.01	o 6311
18.72/19.03	o 6309
18.72/19.05	o 6307
18.72/19.06	o 6305
18.72/19.08	o 6303
18.82/19.10	o 6301
18.82/19.12	o 6299
18.82/19.14	o 6297
18.82/19.16	o 6295
18.82/19.18	o 6293
18.92/19.20	o 6291
18.92/19.22	o 6289
18.92/19.24	o 6287
18.92/19.26	o 6285
18.92/19.28	o 6283
19.02/19.30	o 6281
19.02/19.32	o 6279
19.02/19.34	o 6277
19.02/19.36	o 6275
19.02/19.37	o 6273
19.02/19.39	o 6271
19.12/19.41	o 6269
19.12/19.43	o 6267
19.12/19.45	o 6265
19.12/19.47	o 6263
19.12/19.49	o 6262
19.22/19.51	o 6260
19.22/19.52	o 6258
19.22/19.54	o 6256
19.22/19.56	o 6254
19.22/19.58	o 6252
19.32/19.60	o 6250
19.32/19.62	o 6248
19.32/19.64	o 6246
19.32/19.66	o 6244
19.32/19.68	o 6242
19.32/19.69	o 6240
19.42/19.72	o 6238
19.42/19.74	o 6236
19.42/19.76	o 6234
19.42/19.78	o 6232
19.42/19.79	o 6230
19.52/19.81	o 6228
19.52/19.83	o 6226
19.52/19.85	o 6224
19.52/19.87	o 6222
19.52/19.89	o 6220
19.61/19.91	o 6218
19.61/19.92	o 6216
19.61/19.94	o 6214
19.61/19.96	o 6212
19.61/19.98	o 6210
19.71/20.00	o 6208
19.71/20.02	o 6206
19.71/20.04	o 6204
19.71/20.06	o 6202
19.71/20.08	o 6200
19.81/20.10	o 6198
19.81/20.12	o 6196
19.81/20.14	o 6194
19.81/20.16	o 6192
19.81/20.17	o 6185
19.91/20.22	o 6183
19.91/20.24	o 6181
19.91/20.26	o 6179
19.91/20.28	o 6177
19.91/20.29	o 6175
20.00/20.31	o 6173
20.00/20.33	o 6171
20.00/20.35	o 6169
20.00/20.38	o 6166
20.00/20.40	o 6164
20.10/20.42	o 6163
20.10/20.44	o 6161
20.10/20.45	o 6159
20.10/20.48	o 6157
20.20/20.50	o 6155
20.20/20.52	o 6153
20.20/20.54	o 6151
20.20/20.56	o 6149
20.20/20.58	o 6147
20.20/20.60	o 6145
20.30/20.62	o 6143
20.30/20.63	o 6141
20.30/20.65	o 6139
20.40/20.77	o 6138
20.40/20.78	o 6136
20.50/20.81	o 6134
20.50/20.82	o 6130
20.50/20.86	o 6128
20.50/20.87	o 6126
20.50/20.89	o 6124
20.60/20.91	o 6122
20.60/20.93	o 6120
20.60/20.95	o 6118
20.60/20.97	o 6116
20.60/20.99	o 6114
20.69/21.01	o 6112
20.69/21.02	o 6111
20.69/21.04	o 6109
20.69/21.06	o 6107
20.69/21.08	o 6105
20.69/21.09	o 6104
20.79/21.11	o 6102
20.79/21.13	o 6100
20.79/21.15	o 6098
20.79/21.17	o 6096
20.79/21.19	o 6094
20.89/21.21	o 6082
20.89/21.22	o 6079
20.89/21.24	o 6077
20.89/21.26	o 6075
20.89/21.28	o 6073
20.99/21.38	o 6072
21.18/21.50	o 6070
21.18/21.52	o 6068
21.18/21.54	o 6066
21.18/21.56	o 6064
21.18/21.58	o 6062
21.18/21.59	o 6059
21.28/21.61	o 6057
21.28/21.63	o 6055
21.28/21.65	o 6053
21.28/21.66	o 6048
21.28/21.68	o 6047
21.28/21.69	o 6044
21.39/21.71	o 6042
21.39/21.73	o 6040
21.39/21.75	o 6038
21.39/21.77	o 6036
21.39/21.78	o 6034
21.49/21.80	o 6032
21.49/21.82	o 6030
21.49/21.84	o 6028
21.49/21.86	o 6026
21.49/21.88	o 6024
21.49/21.89	o 6022
21.59/21.92	o 6020
21.59/21.93	o 6018
21.59/21.95	o 6016
21.59/21.97	o 6014
21.59/21.99	o 6012
21.69/22.01	o 6010
21.69/22.03	o 6008
21.69/22.04	o 6006
21.69/22.06	o 6004
21.69/22.08	o 6002
21.69/22.10	o 5998
21.78/22.11	o 5996
21.88/22.26	o 5994
21.88/22.28	o 5992
21.88/22.29	o 5990
21.97/22.31	o 5988
21.97/22.33	o 5986
21.97/22.35	o 5984
21.97/22.37	o 5982
21.97/22.38	o 5980
22.07/22.40	o 5978
22.07/22.42	o 5975
22.07/22.45	o 5972
22.07/22.46	o 5969
22.07/22.48	o 5967
22.07/22.50	o 5965
22.17/22.51	o 5963
22.17/22.58	o 5962
22.27/22.60	o 5960
22.27/22.62	o 5958
22.27/22.64	o 5956
22.27/22.66	o 5954
22.27/22.67	o 5952
22.27/22.69	o 5950
22.38/22.71	o 5948
22.38/22.73	o 5946
22.38/22.75	o 5944
22.38/22.76	o 5942
22.38/22.78	o 5940
22.48/22.80	o 5938
22.48/22.82	o 5936
22.48/22.83	o 5934
22.48/22.85	o 5932
22.48/22.87	o 5930
22.58/22.92	o 5929
22.58/22.93	o 5927
22.58/22.95	o 5925
22.58/22.97	o 5923
22.58/22.99	o 5921
22.68/23.01	o 5919
22.68/23.03	o 5917
22.68/23.05	o 5915
22.87/23.20	o 5913
22.87/23.22	o 5911
22.87/23.24	o 5909
22.87/23.26	o 5907
22.87/23.27	o 5905
22.87/23.29	o 5903
22.97/23.31	o 5901
22.97/23.33	o 5899
22.97/23.35	o 5897
22.97/23.37	o 5895
22.97/23.39	o 5893
23.07/23.40	o 5891
23.07/23.42	o 5889
23.07/23.44	o 5887
23.07/23.45	o 5883
23.07/23.47	o 5880
23.07/23.49	o 5878
23.16/23.51	o 5876
23.16/23.52	o 5874
23.16/23.59	o 5872
23.26/23.61	o 5870
23.26/23.63	o 5868
23.26/23.65	o 5866
23.26/23.67	o 5864
23.26/23.68	o 5862
23.36/23.70	o 5860
23.36/23.72	o 5858
23.36/23.74	o 5856
23.36/23.75	o 5854
23.36/23.77	o 5852
23.36/23.79	o 5850
23.47/23.81	o 5848
23.47/23.82	o 5846
23.47/23.84	o 5844
23.47/23.86	o 5842
23.47/23.88	o 5840
23.47/23.89	o 5838
23.56/23.91	o 5836
23.56/23.93	o 5834
23.56/23.95	o 5832
23.56/23.97	o 5830
23.76/24.11	o 5829
23.76/24.12	o 5827
23.76/24.14	o 5825
23.76/24.16	o 5823
23.76/24.18	o 5821
23.76/24.19	o 5819
23.86/24.21	o 5817
23.86/24.23	o 5815
23.86/24.25	o 5813
23.86/24.26	o 5802
23.86/24.28	o 5800
23.95/24.30	o 5798
23.95/24.31	o 5796
23.95/24.33	o 5794
23.95/24.35	o 5792
23.95/24.37	o 5790
23.95/24.38	o 5788
24.05/24.40	o 5786
24.05/24.42	o 5777
24.05/24.43	o 5775
24.05/24.46	o 5773
24.05/24.47	o 5771
24.05/24.49	o 5769
24.15/24.51	o 5767
24.15/24.53	o 5765
24.15/24.54	o 5763
24.15/24.56	o 5761
24.15/24.58	o 5758
24.15/24.59	o 5756
24.25/24.61	o 5754
24.25/24.63	o 5752
24.25/24.65	o 5750
24.25/24.66	o 5748
24.25/24.68	o 5746
24.35/24.70	o 5744
24.35/24.72	o 5742
24.35/24.73	o 5740
24.35/24.75	o 5738
24.35/24.77	o 5735
24.35/24.78	o 5733
24.45/24.80	o 5731
24.45/24.82	o 5729
24.45/24.84	o 5727
24.45/24.85	o 5725
24.45/24.87	o 5723
24.45/24.89	o 5721
24.54/24.90	o 5719
24.54/24.92	o 5717
24.54/24.98	o 5715
24.54/25.00	o 5713
24.64/25.01	o 5711
24.64/25.03	o 5709
24.64/25.05	o 5707
24.64/25.07	o 5705
24.64/25.08	o 5703
24.75/25.10	o 5701
24.75/25.12	o 5699
24.75/25.13	o 5697
24.75/25.18	o 5696
24.75/25.19	o 5694
24.85/25.22	o 5692
24.85/25.25	o 5690
24.85/25.26	o 5688
24.85/25.28	o 5686
24.85/25.30	o 5684
24.95/25.32	o 5682
24.95/25.33	o 5680
24.95/25.35	o 5678
24.95/25.37	o 5676
24.95/25.38	o 5674
25.04/25.40	o 5672
25.04/25.42	o 5670
25.04/25.43	o 5668
25.04/25.45	o 5666
25.04/25.47	o 5664
25.04/25.49	o 5662
25.14/25.50	o 5660
25.14/25.52	o 5658
25.14/25.54	o 5656
25.14/25.56	o 5654
25.14/25.58	o 5652
25.14/25.59	o 5650
25.23/25.61	o 5647
25.23/25.62	o 5645
25.23/25.64	o 5643
25.23/25.66	o 5641
25.23/25.68	o 5639
25.23/25.69	o 5637
25.33/25.71	o 5635
25.33/25.73	o 5633
25.33/25.74	o 5630
25.33/25.76	o 5628
25.33/25.77	o 5626
25.33/25.79	o 5624
25.43/25.81	o 5622
25.43/25.83	o 5620
25.43/25.84	o 5618
25.43/25.86	o 5616
25.43/25.88	o 5614
25.43/25.89	o 5612
25.53/25.91	o 5610
25.53/25.93	o 5608
25.53/25.94	o 5606
25.73/26.11	o 5605
25.73/26.13	o 5603
25.73/26.14	o 5601
25.73/26.16	o 5599
25.83/26.20	o 5597
25.83/26.22	o 5595
25.83/26.23	o 5593
25.93/26.34	o 5591
25.93/26.36	o 5589
25.93/26.38	o 5587
25.93/26.39	o 5585
26.03/26.41	o 5583
26.03/26.43	o 5581
26.03/26.44	o 5579
26.03/26.46	o 5577
26.03/26.48	o 5575
26.03/26.49	o 5573
26.13/26.51	o 5571
26.13/26.53	o 5569
26.13/26.54	o 5567
26.13/26.56	o 5565
26.13/26.59	o 5564
26.22/26.60	o 5562
26.22/26.62	o 5560
26.22/26.64	o 5558
26.22/26.66	o 5556
26.22/26.67	o 5554
26.22/26.69	o 5552
26.32/26.71	o 5550
26.32/26.72	o 5548
26.32/26.74	o 5546
26.32/26.76	o 5544
26.32/26.77	o 5542
26.32/26.79	o 5540
26.42/26.81	o 5538
26.42/26.82	o 5536
26.42/26.84	o 5534
26.42/26.86	o 5532
26.42/26.87	o 5530
26.42/26.89	o 5528
26.52/26.91	o 5526
26.52/26.92	o 5524
26.52/26.94	o 5522
26.52/26.97	o 5512
26.52/26.98	o 5509
26.52/27.00	o 5507
26.61/27.01	o 5505
26.61/27.03	o 5503
26.61/27.05	o 5501
26.61/27.06	o 5499
26.61/27.08	o 5497
26.61/27.10	o 5495
26.71/27.11	o 5493
26.71/27.13	o 5491
26.71/27.14	o 5489
26.71/27.16	o 5487
26.71/27.18	o 5485
26.71/27.19	o 5482
26.81/27.21	o 5480
26.81/27.23	o 5478
26.81/27.24	o 5476
26.81/27.26	o 5474
26.81/27.27	o 5472
26.81/27.29	o 5470
26.91/27.31	o 5468
26.91/27.32	o 5466
26.91/27.34	o 5464
26.91/27.36	o 5462
26.91/27.37	o 5460
26.91/27.39	o 5458
27.01/27.41	o 5456
27.01/27.43	o 5454
27.10/27.56	o 5452
27.10/27.58	o 5450
27.10/27.59	o 5448
27.20/27.61	o 5446
27.20/27.63	o 5444
27.20/27.64	o 5442
27.20/27.66	o 5440
27.20/27.67	o 5438
27.20/27.69	o 5433
27.31/27.70	o 5431
27.31/27.72	o 5429
27.31/27.74	o 5427
27.31/27.76	o 5425
27.40/27.80	o 5423
27.40/27.81	o 5421
27.40/27.83	o 5419
27.40/27.85	o 5417
27.40/27.86	o 5415
27.40/27.88	o 5413
27.40/27.89	o 5411
27.50/27.91	o 5409
27.50/27.93	o 5407
27.50/27.94	o 5405
27.50/27.96	o 5403
27.50/27.97	o 5401
27.50/27.99	o 5399
27.60/28.01	o 5397
27.60/28.02	o 5395
27.60/28.04	o 5393
27.60/28.05	o 5391
27.60/28.07	o 5389
27.60/28.09	o 5387
27.70/28.10	o 5385
27.70/28.12	o 5383
27.70/28.13	o 5381
27.70/28.15	o 5379
27.70/28.17	o 5377
27.70/28.18	o 5375
27.79/28.20	o 5373
27.79/28.21	o 5371
27.79/28.23	o 5369
27.79/28.25	o 5367
27.79/28.26	o 5365
27.79/28.28	o 5363
27.79/28.29	o 5361
27.89/28.31	o 5359
27.89/28.32	o 5357
27.89/28.34	o 5355
27.89/28.36	o 5353
27.89/28.37	o 5352
27.99/28.45	o 5350
27.99/28.46	o 5348
27.99/28.48	o 5346
27.99/28.49	o 5344
28.09/28.52	o 5342
28.09/28.55	o 5341
28.09/28.57	o 5339
28.09/28.59	o 5337
28.09/28.60	o 5335
28.28/28.73	o 5333
28.28/28.74	o 5327
28.28/28.76	o 5325
28.28/28.77	o 5323
28.28/28.79	o 5321
28.38/28.81	o 5319
28.38/28.82	o 5317
28.38/28.84	o 5315
28.38/28.86	o 5313
28.38/28.87	o 5311
28.38/28.89	o 5309
28.47/28.91	o 5307
28.47/28.92	o 5305
28.47/28.94	o 5303
28.47/28.95	o 5301
28.47/28.97	o 5299
28.47/28.98	o 5297
28.58/29.00	o 5295
28.58/29.02	o 5293
28.58/29.03	o 5291
28.58/29.05	o 5289
28.58/29.06	o 5287
28.58/29.08	o 5285
28.58/29.09	o 5283
28.68/29.11	o 5281
28.68/29.13	o 5279
28.68/29.14	o 5277
28.68/29.16	o 5275
28.68/29.17	o 5273
28.68/29.19	o 5271
28.78/29.21	o 5269
28.78/29.22	o 5267
28.98/29.40	o 5265
28.98/29.41	o 5263
28.98/29.43	o 5261
28.98/29.44	o 5259
28.98/29.46	o 5257
28.98/29.48	o 5255
28.98/29.49	o 5253
29.07/29.51	o 5251
29.07/29.52	o 5249
29.07/29.54	o 5247
29.07/29.55	o 5245
29.07/29.57	o 5243
29.07/29.58	o 5241
29.17/29.61	o 5239
29.17/29.62	o 5237
29.17/29.64	o 5235
29.17/29.65	o 5233
29.17/29.67	o 5231
29.17/29.68	o 5229
29.17/29.70	o 5227
29.27/29.71	o 5225
29.27/29.73	o 5223
29.27/29.75	o 5221
29.27/29.76	o 5219
29.27/29.78	o 5218
29.27/29.79	o 5217
29.37/29.81	o 5216
29.37/29.85	o 5215
29.37/29.87	o 5213
29.37/29.89	o 5211
29.46/29.90	o 5209
29.46/29.92	o 5207
29.46/29.93	o 5205
29.46/29.95	o 5203
29.46/29.97	o 5201
29.46/29.98	o 5199
29.56/30.00	o 5197
29.56/30.01	o 5195
29.56/30.03	o 5193
29.56/30.05	o 5192
29.56/30.06	o 5191
29.56/30.08	o 5190
29.66/30.16	o 5189
29.66/30.18	o 5188
29.66/30.19	o 5187
29.76/30.21	o 5186
29.76/30.22	o 5185
29.76/30.24	o 5184
29.76/30.25	o 5183
29.76/30.27	o 5182
29.76/30.28	o 5181
29.86/30.30	o 5180
29.86/30.31	o 5179
29.86/30.33	o 5177
29.96/30.46	o 5176
29.96/30.48	o 5174
29.96/30.49	o 5172
30.26/30.78	o 5169
30.26/30.79	o 5167
30.36/30.84	o 5165
30.36/30.86	o 5164
30.36/30.87	o 5162
30.36/30.89	o 5160
30.46/30.90	o 5158
30.46/30.97	o 5156
30.46/30.99	o 5155
30.55/31.00	o 5153
30.55/31.02	o 5151
30.55/31.03	o 5149
30.55/31.06	o 5147
30.55/31.07	o 5145
30.65/31.11	o 5143
30.65/31.12	o 5141
30.65/31.14	o 5139
30.65/31.15	o 5137
30.65/31.17	o 5135
30.65/31.19	o 5133
30.75/31.20	o 5131
30.75/31.22	o 5129
30.75/31.23	o 5127
30.75/31.25	o 5125
30.75/31.26	o 5123
30.75/31.28	o 5121
30.75/31.29	o 5119
30.85/31.31	o 5117
30.85/31.32	o 5115
30.85/31.34	o 5113
30.85/31.35	o 5111
30.85/31.37	o 5109
30.85/31.38	o 5108
30.95/31.40	o 5106
30.95/31.41	o 5104
30.95/31.46	o 5103
30.95/31.48	o 5101
30.95/31.49	o 5100
31.05/31.51	o 5098
31.05/31.56	o 5097
31.05/31.57	o 5095
31.05/31.59	o 5093
31.15/31.60	o 5091
31.15/31.63	o 5090
31.15/31.64	o 5088
31.15/31.66	o 5086
31.15/31.67	o 5084
31.15/31.69	o 5082
31.25/31.71	o 5081
31.25/31.72	o 5079
31.25/31.74	o 5076
31.25/31.75	o 5070
31.25/31.76	o 5068
31.25/31.78	o 5066
31.25/31.79	o 5064
31.35/31.81	o 5062
31.35/31.83	o 5060
31.35/31.86	o 5059
31.35/31.87	o 5057
31.35/31.89	o 5055
31.35/31.90	o 5053
31.45/31.92	o 5051
31.45/31.93	o 5049
31.45/31.95	o 5047
31.45/31.96	o 5045
31.45/31.98	o 5043
31.45/31.99	o 5041
31.54/32.01	o 5039
31.54/32.02	o 5037
31.54/32.04	o 5035
31.54/32.05	o 5034
31.54/32.07	o 5032
31.65/32.11	o 5030
31.65/32.12	o 5028
31.65/32.14	o 5026
31.65/32.16	o 5025
31.65/32.17	o 5023
31.65/32.19	o 5021
31.74/32.20	o 5019
31.74/32.22	o 5017
31.74/32.23	o 5015
31.74/32.25	o 5013
31.74/32.26	o 5012
31.74/32.28	o 5010
31.74/32.29	o 5008
31.84/32.31	o 5006
31.84/32.32	o 5004
31.84/32.34	o 5002
31.84/32.36	o 5000
31.84/32.37	o 4998
31.84/32.39	o 4996
31.94/32.40	o 4994
31.94/32.42	o 4992
31.94/32.43	o 4990
31.94/32.45	o 4988
31.94/32.46	o 4987
31.94/32.48	o 4985
31.94/32.49	o 4983
32.04/32.51	o 4981
32.04/32.52	o 4979
32.04/32.54	o 4977
32.04/32.55	o 4975
32.04/32.57	o 4973
32.04/32.58	o 4971
32.13/32.60	o 4969
32.13/32.61	o 4968
32.13/32.64	o 4966
32.23/32.72	o 4964
32.23/32.74	o 4962
32.23/32.75	o 4960
32.23/32.77	o 4959
32.23/32.78	o 4957
32.23/32.80	o 4956
32.33/32.81	o 4954
32.33/32.83	o 4952
32.33/32.84	o 4950
32.33/32.86	o 4948
32.33/32.87	o 4946
32.33/32.89	o 4944
32.44/32.91	o 4942
32.44/32.92	o 4940
32.44/32.94	o 4938
32.44/32.95	o 4936
32.44/32.97	o 4934
32.44/32.98	o 4932
32.44/33.00	o 4930
32.54/33.01	o 4928
32.54/33.03	o 4926
32.54/33.05	o 4925
32.54/33.06	o 4923
32.54/33.08	o 4921
32.54/33.09	o 4919
32.63/33.11	o 4917
32.63/33.12	o 4915
32.63/33.15	o 4913
32.63/33.16	o 4911
32.63/33.18	o 4909
32.63/33.19	o 4907
32.73/33.21	o 4905
32.73/33.22	o 4902
32.73/33.24	o 4901
32.73/33.26	o 4899
32.73/33.27	o 4897
32.73/33.29	o 4895
32.83/33.30	o 4893
33.02/33.51	o 4892
33.02/33.53	o 4890
33.02/33.54	o 4888
33.02/33.56	o 4886
33.02/33.57	o 4884
33.02/33.59	o 4882
33.12/33.60	o 4880
33.12/33.62	o 4878
33.12/33.63	o 4876
33.12/33.65	o 4874
33.12/33.66	o 4872
33.12/33.68	o 4871
33.12/33.69	o 4869
33.22/33.71	o 4866
33.22/33.72	o 4865
33.22/33.74	o 4863
33.22/33.75	o 4861
33.22/33.77	o 4859
33.22/33.78	o 4857
33.32/33.80	o 4855
33.32/33.81	o 4853
33.32/33.83	o 4851
33.32/33.84	o 4849
33.32/33.86	o 4847
33.32/33.87	o 4845
33.32/33.89	o 4843
33.43/33.90	o 4841
33.43/33.95	o 4839
33.43/33.98	o 4837
33.43/33.99	o 4835
33.52/34.01	o 4833
33.52/34.03	o 4831
33.52/34.05	o 4829
33.52/34.06	o 4827
33.52/34.08	o 4825
33.52/34.09	o 4823
33.62/34.11	o 4821
33.62/34.12	o 4819
33.62/34.14	o 4817
33.62/34.15	o 4815
33.62/34.17	o 4814
33.62/34.18	o 4812
33.62/34.20	o 4810
33.71/34.21	o 4808
33.71/34.23	o 4806
33.71/34.24	o 4804
33.71/34.26	o 4802
33.71/34.27	o 4801
33.71/34.29	o 4799
33.81/34.30	o 4797
33.81/34.32	o 4795
33.81/34.33	o 4793
33.81/34.35	o 4791
33.81/34.37	o 4789
33.81/34.38	o 4787
33.81/34.40	o 4785
33.90/34.41	o 4783
33.90/34.43	o 4781
33.90/34.48	o 4778
33.90/34.49	o 4776
34.01/34.51	o 4775
34.01/34.52	o 4773
34.01/34.54	o 4771
34.01/34.55	o 4769
34.01/34.58	o 4767
34.01/34.59	o 4765
34.11/34.61	o 4763
34.11/34.62	o 4761
34.11/34.64	o 4759
34.11/34.65	o 4757
34.11/34.67	o 4755
34.11/34.68	o 4753
34.11/34.70	o 4751
34.21/34.71	o 4749
34.21/34.73	o 4748
34.21/34.74	o 4746
34.21/34.76	o 4744
34.21/34.77	o 4742
34.21/34.79	o 4740
34.31/34.80	o 4738
34.31/34.82	o 4736
34.31/34.83	o 4734
34.31/34.85	o 4732
34.31/34.86	o 4730
34.31/34.88	o 4728
34.31/34.89	o 4726
34.40/34.91	o 4725
34.40/34.92	o 4723
34.40/34.94	o 4721
34.40/34.95	o 4719
34.40/34.97	o 4717
34.40/34.98	o 4715
34.40/35.00	o 4713
34.50/35.01	o 4711
34.50/35.03	o 4709
34.50/35.04	o 4707
34.50/35.06	o 4705
34.50/35.07	o 4703
34.60/35.10	o 4701
34.60/35.12	o 4699
34.60/35.13	o 4697
34.60/35.15	o 4695
34.60/35.16	o 4693
34.60/35.18	o 4691
34.60/35.19	o 4689
34.70/35.21	o 4687
34.70/35.23	o 4685
34.70/35.24	o 4683
34.70/35.26	o 4681
34.70/35.28	o 4679
34.70/35.30	o 4677
34.79/35.31	o 4675
34.79/35.33	o 4673
34.79/35.34	o 4671
34.79/35.36	o 4669
34.79/35.37	o 4667
34.79/35.39	o 4665
34.89/35.40	o 4663
34.89/35.42	o 4661
34.89/35.43	o 4659
34.89/35.45	o 4657
34.89/35.47	o 4655
34.89/35.48	o 4653
34.99/35.50	o 4651
34.99/35.51	o 4649
34.99/35.53	o 4647
34.99/35.54	o 4645
34.99/35.56	o 4643
34.99/35.57	o 4641
34.99/35.59	o 4639
35.08/35.61	o 4637
35.08/35.62	o 4635
35.08/35.64	o 4633
35.08/35.65	o 4631
35.08/35.67	o 4629
35.08/35.68	o 4627
35.18/35.72	o 4626
35.28/35.82	o 4624
35.28/35.84	o 4622
35.28/35.85	o 4620
35.28/35.87	o 4618
35.28/35.88	o 4616
35.38/35.90	o 4614
35.38/35.91	o 4612
35.38/35.93	o 4610
35.38/35.94	o 4608
35.38/35.96	o 4606
35.48/36.02	o 4605
35.59/36.10	o 4603
35.59/36.13	o 4601
35.59/36.14	o 4599
35.59/36.16	o 4598
35.59/36.17	o 4596
35.59/36.19	o 4594
35.69/36.21	o 4592
35.69/36.22	o 4590
35.69/36.23	o 4588
35.69/36.25	o 4586
35.69/36.27	o 4584
35.69/36.28	o 4582
35.69/36.29	o 4580
35.78/36.31	o 4578
35.78/36.33	o 4576
35.78/36.34	o 4574
35.78/36.36	o 4572
35.78/36.37	o 4571
35.78/36.38	o 4569
35.88/36.40	o 4567
35.88/36.41	o 4565
35.88/36.43	o 4564
35.88/36.44	o 4563
35.88/36.46	o 4562
35.88/36.47	o 4560
35.88/36.49	o 4558
35.98/36.50	o 4556
35.98/36.52	o 4554
35.98/36.53	o 4552
35.98/36.55	o 4545
35.98/36.57	o 4543
35.98/36.58	o 4541
36.07/36.60	o 4539
36.07/36.62	o 4538
36.07/36.64	o 4536
36.07/36.65	o 4534
36.07/36.67	o 4532
36.07/36.68	o 4530
36.17/36.70	o 4529
36.17/36.72	o 4527
36.17/36.74	o 4525
36.17/36.75	o 4523
36.17/36.77	o 4521
36.17/36.78	o 4519
36.27/36.80	o 4517
36.27/36.81	o 4515
36.27/36.83	o 4513
36.27/36.84	o 4511
36.27/36.86	o 4510
36.27/36.87	o 4508
36.27/36.89	o 4506
36.37/36.90	o 4504
36.37/36.92	o 4502
36.37/36.93	o 4500
36.37/36.95	o 4498
36.37/36.96	o 4496
36.37/36.98	o 4494
36.37/36.99	o 4492
36.46/37.01	o 4490
36.46/37.02	o 4488
36.46/37.04	o 4487
36.46/37.05	o 4485
36.46/37.07	o 4483
36.46/37.08	o 4471
36.46/37.09	o 4468
36.56/37.11	o 4466
36.56/37.12	o 4464
36.56/37.14	o 4462
36.56/37.15	o 4460
36.56/37.17	o 4458
36.56/37.18	o 4456
36.66/37.20	o 4454
36.66/37.21	o 4452
36.66/37.23	o 4451
36.66/37.24	o 4449
36.66/37.26	o 4446
36.66/37.27	o 4444
36.66/37.29	o 4442
36.76/37.32	o 4440
36.76/37.33	o 4438
36.76/37.35	o 4436
36.76/37.36	o 4434
36.76/37.38	o 4432
36.76/37.39	o 4430
36.86/37.41	o 4429
36.86/37.42	o 4428
36.86/37.44	o 4426
36.86/37.45	o 4424
36.86/37.47	o 4423
36.86/37.48	o 4421
36.86/37.50	o 4419
36.96/37.51	o 4417
36.96/37.53	o 4415
36.96/37.54	o 4413
36.96/37.56	o 4411
36.96/37.57	o 4409
36.96/37.59	o 4407
37.06/37.60	o 4405
37.06/37.62	o 4403
37.06/37.63	o 4402
37.06/37.65	o 4400
37.06/37.67	o 4398
37.06/37.68	o 4396
37.06/37.69	o 4393
37.15/37.71	o 4391
37.15/37.73	o 4389
37.15/37.74	o 4387
37.15/37.76	o 4385
37.15/37.77	o 4383
37.15/37.78	o 4382
37.25/37.82	o 4380
37.25/37.84	o 4378
37.25/37.85	o 4377
37.25/37.87	o 4375
37.25/37.88	o 4373
37.35/37.91	o 4372
37.35/37.92	o 4370
37.35/37.94	o 4368
37.35/37.95	o 4366
37.35/37.98	o 4364
37.35/37.99	o 4362
37.45/38.01	o 4360
37.45/38.02	o 4358
37.45/38.04	o 4356
37.45/38.05	o 4354
37.45/38.07	o 4352
37.45/38.08	o 4350
37.45/38.10	o 4348
37.55/38.11	o 4346
37.55/38.13	o 4344
37.55/38.14	o 4342
37.55/38.16	o 4340
37.55/38.17	o 4339
37.55/38.18	o 4337
37.65/38.20	o 4335
37.65/38.21	o 4333
37.65/38.23	o 4331
37.65/38.24	o 4329
37.65/38.26	o 4327
37.65/38.27	o 4325
37.65/38.29	o 4323
37.75/38.30	o 4321
37.75/38.32	o 4319
37.75/38.33	o 4317
37.75/38.35	o 4315
37.75/38.36	o 4313
37.75/38.38	o 4311
37.75/38.39	o 4309
37.84/38.41	o 4307
37.84/38.43	o 4305
37.84/38.44	o 4304
37.84/38.46	o 4302
37.84/38.47	o 4300
37.84/38.49	o 4298
37.84/38.50	o 4296
37.94/38.52	o 4294
37.94/38.53	o 4292
37.94/38.55	o 4290
37.94/38.56	o 4288
37.94/38.58	o 4286
37.94/38.59	o 4284
38.03/38.61	o 4283
38.03/38.64	o 4282
38.03/38.66	o 4280
38.03/38.67	o 4278
38.03/38.69	o 4276
38.14/38.70	o 4274
38.14/38.72	o 4272
38.14/38.73	o 4270
38.14/38.75	o 4268
38.14/38.77	o 4266
38.14/38.78	o 4264
38.14/38.79	o 4262
38.24/38.81	o 4260
38.24/38.82	o 4258
38.24/38.84	o 4256
38.24/38.85	o 4254
38.24/38.87	o 4252
38.24/38.88	o 4250
38.34/38.90	o 4248
38.34/38.91	o 4246
38.34/38.93	o 4244
38.34/38.94	o 4242
38.34/38.96	o 4240
38.34/38.97	o 4238
38.34/38.99	o 4236
38.44/39.00	o 4234
38.44/39.02	o 4232
38.44/39.03	o 4230
38.44/39.06	o 4228
38.44/39.07	o 4226
38.44/39.09	o 4224
38.53/39.10	o 4222
38.53/39.12	o 4220
38.53/39.13	o 4218
38.53/39.15	o 4216
38.53/39.16	o 4214
38.53/39.18	o 4212
38.53/39.19	o 4210
38.63/39.20	o 4208
38.73/39.32	o 4206
38.73/39.33	o 4204
38.73/39.35	o 4202
38.73/39.36	o 4200
38.73/39.37	o 4199
38.73/39.39	o 4198
38.83/39.40	o 4197
38.83/39.43	o 4196
38.83/39.44	o 4194
38.83/39.46	o 4192
38.83/39.47	o 4190
38.83/39.49	o 4188
38.93/39.51	o 4186
38.93/39.52	o 4184
38.93/39.54	o 4182
38.93/39.55	o 4180
38.93/39.57	o 4178
38.93/39.58	o 4176
38.93/39.60	o 4174
39.03/39.61	o 4172
39.03/39.63	o 4170
39.03/39.64	o 4168
39.03/39.66	o 4166
39.03/39.67	o 4165
39.03/39.69	o 4163
39.13/39.70	o 4161
39.13/39.72	o 4159
39.13/39.73	o 4157
39.13/39.76	o 4156
39.13/39.77	o 4154
39.13/39.79	o 4152
39.23/39.80	o 4150
39.23/39.82	o 4148
39.23/39.86	o 4146
39.23/39.87	o 4144
39.32/39.93	o 4142
39.32/39.94	o 4141
39.32/39.96	o 4139
39.32/39.97	o 4137
39.32/39.99	o 4135
39.42/40.00	o 4133
39.42/40.02	o 4131
39.42/40.03	o 4129
39.42/40.05	o 4127
39.42/40.06	o 4125
39.52/40.11	o 4123
39.52/40.12	o 4121
39.52/40.14	o 4119
39.52/40.15	o 4117
39.52/40.17	o 4115
39.52/40.18	o 4113
39.52/40.20	o 4111
39.62/40.21	o 4109
39.62/40.23	o 4107
39.62/40.24	o 4105
39.62/40.26	o 4103
39.72/40.33	o 4101
39.72/40.34	o 4099
39.72/40.35	o 4097
39.72/40.37	o 4096
39.72/40.38	o 4095
39.72/40.40	o 4093
39.81/40.41	o 4091
39.81/40.43	o 4089
39.81/40.44	o 4087
39.81/40.46	o 4085
39.81/40.47	o 4083
39.81/40.49	o 4081
39.91/40.50	o 4079
39.91/40.52	o 4077
39.91/40.53	o 4075
39.91/40.55	o 4074
39.91/40.57	o 4072
39.91/40.59	o 4070
40.01/40.61	o 4069
40.01/40.62	o 4067
40.01/40.64	o 4065
40.01/40.65	o 4063
40.01/40.67	o 4061
40.01/40.68	o 4059
40.01/40.69	o 4057
40.11/40.71	o 4055
40.11/40.72	o 4053
40.11/40.74	o 4051
40.11/40.75	o 4049
40.11/40.77	o 4047
40.11/40.78	o 4045
40.11/40.80	o 4044
40.21/40.81	o 4042
40.21/40.83	o 4040
40.21/40.84	o 4038
40.21/40.86	o 4036
40.21/40.87	o 4034
40.21/40.89	o 4032
40.31/40.90	o 4031
40.31/40.92	o 4029
40.31/40.93	o 4022
40.31/40.95	o 4020
40.31/40.97	o 4018
40.31/40.98	o 4016
40.31/41.00	o 4014
40.40/41.01	o 4012
40.40/41.03	o 4010
40.40/41.04	o 4009
40.40/41.06	o 4007
40.40/41.07	o 4006
40.40/41.09	o 4005
40.50/41.10	o 4003
40.50/41.12	o 4001
40.50/41.13	o 3999
40.50/41.16	o 3998
40.50/41.17	o 3996
40.50/41.18	o 3994
40.60/41.20	o 3992
40.60/41.21	o 3990
40.60/41.23	o 3988
40.60/41.24	o 3986
40.70/41.31	o 3984
40.70/41.33	o 3982
40.70/41.34	o 3981
40.70/41.36	o 3979
40.70/41.39	o 3977
40.80/41.41	o 3975
40.80/41.42	o 3973
40.80/41.44	o 3971
40.80/41.50	o 3970
40.89/41.51	o 3968
40.89/41.53	o 3967
40.89/41.54	o 3965
40.89/41.55	o 3963
40.89/41.57	o 3961
40.89/41.58	o 3959
40.89/41.60	o 3958
40.99/41.61	o 3956
40.99/41.63	o 3954
40.99/41.65	o 3952
40.99/41.67	o 3950
40.99/41.68	o 3948
40.99/41.70	o 3946
41.09/41.72	o 3944
41.09/41.73	o 3942
41.09/41.76	o 3941
41.09/41.77	o 3939
41.09/41.79	o 3938
41.19/41.80	o 3937
41.19/41.89	o 3935
41.29/41.90	o 3933
41.29/41.94	o 3931
41.29/41.95	o 3929
41.29/41.97	o 3927
41.29/41.98	o 3925
41.38/42.03	o 3923
41.38/42.05	o 3921
41.38/42.07	o 3920
41.38/42.08	o 3918
41.48/42.13	o 3916
41.48/42.15	o 3914
41.48/42.17	o 3912
41.48/42.19	o 3910
41.59/42.20	o 3908
41.59/42.22	o 3906
41.59/42.23	o 3902
41.59/42.25	o 3900
41.59/42.26	o 3899
41.59/42.28	o 3897
41.59/42.29	o 3895
41.68/42.34	o 3894
41.68/42.36	o 3892
41.78/42.41	o 3890
41.78/42.43	o 3888
41.78/42.44	o 3887
41.78/42.47	o 3885
41.78/42.48	o 3883
41.88/42.51	o 3882
41.88/42.53	o 3881
41.88/42.55	o 3880
41.88/42.57	o 3879
41.88/42.59	o 3878
41.98/42.61	o 3877
41.98/42.63	o 3875
41.98/42.65	o 3874
41.98/42.68	o 3873
41.98/42.70	o 3872
42.07/42.72	o 3871
42.07/42.74	o 3870
42.07/42.76	o 3869
42.07/42.78	o 3868
42.18/42.81	o 3867
42.18/42.83	o 3866
42.18/42.85	o 3865
42.18/42.87	o 3864
42.18/42.89	o 3863
42.28/42.92	o 3862
42.28/42.94	o 3861
42.28/42.96	o 3860
42.28/42.98	o 3859
42.38/43.00	o 3858
42.38/43.02	o 3857
42.38/43.04	o 3856
42.38/43.06	o 3855
42.38/43.09	o 3854
42.48/43.11	o 3853
42.48/43.13	o 3852
42.48/43.15	o 3851
42.48/43.17	o 3849
42.48/43.19	o 3848
42.57/43.21	o 3847
42.57/43.23	o 3846
42.57/43.25	o 3844
42.57/43.27	o 3843
42.57/43.29	o 3842
42.67/43.31	o 3841
42.67/43.33	o 3840
42.67/43.35	o 3839
42.67/43.37	o 3838
42.67/43.39	o 3837
42.77/43.42	o 3836
42.77/43.44	o 3835
42.77/43.46	o 3834
42.77/43.48	o 3833
42.87/43.50	o 3832
42.87/43.52	o 3831
42.87/43.58	o 3830
42.87/43.59	o 3828
42.97/43.62	o 3827
42.97/43.64	o 3826
42.97/43.66	o 3825
42.97/43.68	o 3824
43.07/43.70	o 3823
43.07/43.72	o 3822
43.07/43.73	o 3820
43.07/43.76	o 3819
43.07/43.78	o 3818
43.16/43.80	o 3817
43.16/43.82	o 3816
43.16/43.84	o 3815
43.16/43.86	o 3814
43.16/43.88	o 3813
43.26/43.90	o 3811
43.26/43.93	o 3810
43.26/43.95	o 3809
43.26/43.97	o 3808
43.26/43.99	o 3807
43.36/44.01	o 3806
43.36/44.03	o 3805
43.36/44.05	o 3804
43.36/44.07	o 3802
43.36/44.09	o 3801
43.46/44.11	o 3800
43.46/44.13	o 3799
43.46/44.15	o 3797
43.46/44.17	o 3796
43.46/44.19	o 3795
43.56/44.21	o 3794
43.56/44.22	o 3792
43.56/44.25	o 3791
43.56/44.27	o 3790
43.56/44.29	o 3788
43.66/44.31	o 3787
43.66/44.33	o 3786
43.66/44.35	o 3785
43.66/44.37	o 3784
43.66/44.38	o 3782
43.76/44.42	o 3781
43.76/44.44	o 3780
43.76/44.46	o 3779
43.76/44.48	o 3778
43.86/44.50	o 3777
43.86/44.52	o 3776
43.86/44.54	o 3775
43.86/44.56	o 3774
43.86/44.58	o 3773
43.96/44.60	o 3772
43.96/44.65	o 3771
43.96/44.67	o 3770
43.96/44.69	o 3769
44.05/44.72	o 3768
44.05/44.74	o 3767
44.05/44.76	o 3766
44.05/44.78	o 3765
44.15/44.80	o 3764
44.15/44.82	o 3763
44.15/44.84	o 3762
44.15/44.86	o 3761
44.15/44.88	o 3760
44.25/44.90	o 3759
44.25/44.92	o 3758
44.25/44.94	o 3757
44.25/44.96	o 3756
44.25/44.98	o 3755
44.35/45.01	o 3754
44.35/45.03	o 3753
44.35/45.05	o 3752
44.35/45.07	o 3751
44.35/45.09	o 3750
44.45/45.11	o 3749
44.45/45.13	o 3748
44.45/45.16	o 3747
44.45/45.18	o 3746
44.45/45.20	o 3745
44.54/45.22	o 3744
44.54/45.24	o 3743
44.54/45.26	o 3742
44.54/45.28	o 3741
44.54/45.30	o 3739
44.64/45.32	o 3738
44.64/45.34	o 3737
44.64/45.36	o 3736
44.64/45.38	o 3735
44.74/45.40	o 3734
44.74/45.42	o 3733
44.74/45.45	o 3732
44.74/45.47	o 3731
44.74/45.49	o 3730
44.84/45.51	o 3729
44.84/45.54	o 3728
44.84/45.56	o 3727
44.84/45.59	o 3726
44.94/45.61	o 3725
44.94/45.63	o 3724
44.94/45.64	o 3723
44.94/45.66	o 3722
44.94/45.68	o 3720
44.94/45.70	o 3719
45.04/45.71	o 3717
45.04/45.73	o 3716
45.04/45.74	o 3714
45.04/45.76	o 3712
45.04/45.78	o 3711
45.14/45.80	o 3710
45.14/45.82	o 3709
45.14/45.84	o 3708
45.14/45.87	o 3707
45.14/45.88	o 3705
45.24/45.91	o 3704
45.24/45.93	o 3703
45.24/45.95	o 3702
45.24/45.99	o 3700
45.33/46.01	o 3698
45.33/46.02	o 3696
45.33/46.04	o 3695
45.33/46.06	o 3694
45.33/46.08	o 3693
45.44/46.11	o 3692
45.44/46.13	o 3691
45.44/46.15	o 3689
45.44/46.16	o 3687
45.44/46.18	o 3685
45.54/46.21	o 3684
45.54/46.23	o 3683
45.54/46.24	o 3681
45.54/46.26	o 3680
45.54/46.28	o 3679
45.63/46.30	o 3678
45.63/46.32	o 3677
45.63/46.35	o 3676
45.63/46.37	o 3675
45.63/46.39	o 3674
45.73/46.41	o 3673
45.73/46.43	o 3672
45.73/46.45	o 3671
45.73/46.47	o 3670
45.73/46.49	o 3669
45.83/46.51	o 3668
45.83/46.53	o 3667
45.83/46.55	o 3665
45.83/46.57	o 3664
45.83/46.59	o 3663
45.92/46.61	o 3662
45.92/46.63	o 3661
45.92/46.65	o 3660
45.92/46.67	o 3659
45.92/46.69	o 3658
46.02/46.71	o 3657
46.02/46.73	o 3656
46.02/46.75	o 3655
46.02/46.77	o 3654
46.02/46.79	o 3653
46.12/46.81	o 3652
46.12/46.83	o 3651
46.12/46.85	o 3650
46.12/46.87	o 3648
46.12/46.89	o 3647
46.23/46.91	o 3646
46.23/46.93	o 3645
46.23/46.95	o 3644
46.23/46.97	o 3643
46.23/46.99	o 3642
46.33/47.01	o 3641
46.33/47.03	o 3640
46.33/47.05	o 3639
46.33/47.07	o 3638
46.33/47.09	o 3637
46.43/47.11	o 3636
46.43/47.13	o 3635
46.43/47.15	o 3634
46.43/47.17	o 3633
46.43/47.19	o 3632
46.52/47.21	o 3631
46.52/47.23	o 3630
46.52/47.25	o 3629
46.52/47.27	o 3628
46.52/47.28	o 3626
46.62/47.31	o 3625
46.62/47.33	o 3624
46.62/47.35	o 3623
46.62/47.37	o 3622
46.62/47.39	o 3621
46.71/47.41	o 3619
46.71/47.43	o 3617
46.71/47.45	o 3615
46.71/47.46	o 3613
46.71/47.48	o 3612
46.81/47.50	o 3611
46.81/47.52	o 3610
46.81/47.55	o 3609
46.81/47.57	o 3608
46.81/47.59	o 3607
46.91/47.61	o 3606
46.91/47.63	o 3605
46.91/47.65	o 3604
46.91/47.67	o 3603
46.91/47.69	o 3602
47.02/47.71	o 3601
47.02/47.73	o 3600
47.02/47.75	o 3599
47.02/47.76	o 3597
47.02/47.78	o 3596
47.02/47.80	o 3595
47.12/47.82	o 3594
47.12/47.84	o 3593
47.12/47.86	o 3592
47.12/47.88	o 3591
47.12/47.90	o 3590
47.22/47.92	o 3589
47.22/47.94	o 3588
47.22/47.96	o 3587
47.22/47.98	o 3586
47.22/47.99	o 3585
47.31/48.01	o 3584
47.31/48.03	o 3583
47.31/48.05	o 3582
47.31/48.07	o 3580
47.31/48.09	o 3579
47.41/48.11	o 3578
47.41/48.13	o 3577
47.41/48.15	o 3576
47.41/48.17	o 3575
47.41/48.19	o 3574
47.51/48.21	o 3573
47.51/48.23	o 3572
47.51/48.25	o 3571
47.51/48.27	o 3570
47.51/48.29	o 3569
47.61/48.31	o 3568
47.61/48.33	o 3567
47.61/48.35	o 3566
47.61/48.37	o 3564
47.61/48.39	o 3563
47.71/48.41	o 3562
47.71/48.43	o 3561
47.71/48.45	o 3560
47.71/48.47	o 3559
47.71/48.49	o 3558
47.80/48.51	o 3557
47.80/48.53	o 3556
47.80/48.55	o 3555
47.80/48.57	o 3554
47.80/48.59	o 3553
47.90/48.61	o 3552
47.90/48.63	o 3551
47.90/48.65	o 3550
47.90/48.67	o 3549
47.90/48.69	o 3548
47.99/48.71	o 3547
47.99/48.73	o 3546
47.99/48.75	o 3545
47.99/48.77	o 3541
47.99/48.79	o 3539
48.09/48.80	o 3537
48.09/48.82	o 3535
48.09/48.84	o 3534
48.09/48.86	o 3533
48.09/48.88	o 3532
48.09/48.90	o 3531
48.19/48.92	o 3530
48.19/48.94	o 3529
48.19/48.96	o 3528
48.19/48.98	o 3527
48.19/49.00	o 3526
48.29/49.02	o 3525
48.29/49.03	o 3524
48.29/49.05	o 3523
48.29/49.07	o 3522
48.29/49.09	o 3521
48.39/49.11	o 3520
48.39/49.13	o 3519
48.39/49.15	o 3518
48.39/49.17	o 3517
48.39/49.19	o 3516
48.49/49.21	o 3515
48.49/49.23	o 3514
48.49/49.25	o 3513
48.49/49.27	o 3512
48.49/49.29	o 3511
48.60/49.31	o 3510
48.60/49.33	o 3509
48.60/49.39	o 3508
48.70/49.41	o 3506
48.70/49.43	o 3505
48.70/49.45	o 3504
48.70/49.47	o 3503
48.70/49.49	o 3502
48.79/49.50	o 3500
48.79/49.52	o 3499
48.79/49.54	o 3498
48.79/49.56	o 3497
48.79/49.58	o 3496
48.89/49.60	o 3494
48.89/49.61	o 3492
48.89/49.63	o 3491
48.89/49.65	o 3490
48.89/49.67	o 3489
48.89/49.69	o 3488
48.99/49.71	o 3487
48.99/49.73	o 3486
48.99/49.76	o 3485
48.99/49.77	o 3484
48.99/49.79	o 3483
49.08/49.81	o 3482
49.08/49.83	o 3481
49.08/49.85	o 3480
49.08/49.87	o 3479
49.08/49.89	o 3478
49.18/49.91	o 3477
49.18/49.93	o 3476
49.18/49.95	o 3475
49.18/49.97	o 3474
49.18/49.99	o 3473
49.28/50.01	o 3472
49.28/50.03	o 3471
49.28/50.05	o 3470
49.28/50.07	o 3469
49.28/50.09	o 3468
49.38/50.11	o 3467
49.38/50.13	o 3466
49.38/50.15	o 3465
49.38/50.16	o 3464
49.38/50.18	o 3463
49.48/50.20	o 3462
49.48/50.22	o 3461
49.48/50.24	o 3460
49.48/50.26	o 3459
49.48/50.28	o 3458
49.58/50.30	o 3457
49.58/50.32	o 3456
49.58/50.34	o 3455
49.58/50.37	o 3453
49.58/50.39	o 3452
49.69/50.41	o 3451
49.69/50.43	o 3450
49.69/50.45	o 3449
49.69/50.46	o 3447
49.69/50.48	o 3446
49.78/50.50	o 3445
49.78/50.52	o 3444
49.78/50.54	o 3443
49.78/50.56	o 3442
49.78/50.58	o 3441
49.78/50.60	o 3440
49.88/50.62	o 3439
49.88/50.64	o 3438
49.88/50.66	o 3437
49.88/50.68	o 3436
49.88/50.70	o 3435
49.98/50.72	o 3434
49.98/50.74	o 3433
49.98/50.76	o 3432
49.98/50.77	o 3431
49.98/50.79	o 3430
50.08/50.81	o 3429
50.08/50.83	o 3428
50.08/50.86	o 3427
50.08/50.88	o 3426
50.08/50.89	o 3425
50.17/50.91	o 3424
50.17/50.93	o 3422
50.17/50.95	o 3420
50.17/50.97	o 3419
50.17/50.99	o 3418
50.27/51.00	o 3417
50.27/51.02	o 3416
50.27/51.04	o 3415
50.27/51.06	o 3414
50.27/51.08	o 3413
50.36/51.10	o 3412
50.36/51.12	o 3411
50.36/51.14	o 3410
50.36/51.16	o 3409
50.36/51.18	o 3408
50.36/51.19	o 3406
50.46/51.21	o 3405
50.46/51.23	o 3404
50.46/51.25	o 3403
50.46/51.27	o 3402
50.46/51.29	o 3401
50.56/51.32	o 3399
50.56/51.34	o 3398
50.56/51.35	o 3396
50.56/51.37	o 3395
50.56/51.39	o 3394
50.66/51.41	o 3393
50.66/51.42	o 3392
50.66/51.44	o 3391
50.66/51.46	o 3390
50.66/51.48	o 3389
50.76/51.50	o 3388
50.76/51.52	o 3387
50.76/51.54	o 3386
50.76/51.55	o 3384
50.86/51.64	o 3382
50.86/51.66	o 3381
50.86/51.68	o 3380
50.86/51.70	o 3379
50.96/51.72	o 3378
50.96/51.74	o 3377
50.96/51.76	o 3376
50.96/51.77	o 3375
50.96/51.79	o 3374
51.06/51.81	o 3373
51.06/51.83	o 3372
51.06/51.85	o 3371
51.06/51.87	o 3370
51.06/51.89	o 3369
51.16/51.91	o 3368
51.16/51.92	o 3367
51.16/51.95	o 3366
51.16/51.97	o 3365
51.16/51.99	o 3364
51.25/52.00	o 3362
51.25/52.02	o 3361
51.25/52.04	o 3360
51.25/52.06	o 3359
51.25/52.09	o 3358
51.35/52.11	o 3357
51.35/52.13	o 3356
51.35/52.15	o 3355
51.35/52.16	o 3353
51.35/52.18	o 3352
51.45/52.24	o 3350
51.45/52.25	o 3348
51.45/52.26	o 3347
51.45/52.28	o 3345
51.45/52.30	o 3344
51.55/52.32	o 3343
51.55/52.34	o 3342
51.55/52.35	o 3341
51.55/52.37	o 3340
51.55/52.39	o 3339
51.65/52.41	o 3338
51.65/52.43	o 3337
51.65/52.45	o 3336
51.65/52.46	o 3335
51.65/52.48	o 3334
51.65/52.49	o 3332
51.75/52.51	o 3331
51.75/52.53	o 3330
51.75/52.55	o 3329
51.75/52.57	o 3328
51.75/52.58	o 3327
51.85/52.60	o 3326
51.85/52.62	o 3325
51.85/52.64	o 3324
51.85/52.66	o 3323
51.85/52.68	o 3322
51.85/52.70	o 3321
51.95/52.72	o 3320
51.95/52.74	o 3319
51.95/52.76	o 3318
51.95/52.78	o 3317
51.95/52.79	o 3316
52.04/52.81	o 3315
52.04/52.83	o 3314
52.04/52.87	o 3312
52.04/52.89	o 3310
52.14/52.91	o 3308
52.14/52.92	o 3307
52.14/52.94	o 3306
52.14/52.98	o 3305
52.14/52.99	o 3303
52.24/53.00	o 3301
52.24/53.02	o 3300
52.24/53.05	o 3299
52.24/53.06	o 3298
52.24/53.08	o 3297
52.34/53.10	o 3296
52.34/53.12	o 3295
52.34/53.13	o 3293
52.34/53.15	o 3292
52.34/53.17	o 3291
52.34/53.19	o 3290
52.44/53.21	o 3289
52.44/53.23	o 3288
52.44/53.25	o 3287
52.44/53.26	o 3285
52.44/53.28	o 3284
52.44/53.29	o 3282
52.54/53.31	o 3281
52.54/53.33	o 3280
52.54/53.35	o 3279
52.54/53.37	o 3278
52.54/53.39	o 3277
52.63/53.41	o 3276
52.63/53.42	o 3275
52.63/53.44	o 3274
52.63/53.46	o 3273
52.63/53.48	o 3272
52.73/53.50	o 3271
52.73/53.52	o 3270
52.73/53.53	o 3269
52.73/53.55	o 3268
52.73/53.57	o 3267
52.73/53.59	o 3266
52.83/53.61	o 3265
52.83/53.63	o 3264
52.83/53.65	o 3263
52.83/53.66	o 3262
52.83/53.68	o 3261
52.93/53.70	o 3260
52.93/53.72	o 3259
52.93/53.74	o 3258
52.93/53.76	o 3257
52.93/53.77	o 3256
52.93/53.79	o 3255
53.03/53.82	o 3254
53.03/53.83	o 3253
53.03/53.85	o 3252
53.03/53.87	o 3251
53.03/53.89	o 3250
53.14/53.91	o 3249
53.14/53.93	o 3248
53.14/53.94	o 3247
53.14/53.96	o 3246
53.14/53.98	o 3245
53.23/54.00	o 3244
53.23/54.02	o 3243
53.23/54.04	o 3242
53.23/54.05	o 3241
53.23/54.07	o 3239
53.23/54.09	o 3238
53.33/54.10	o 3237
53.33/54.12	o 3236
53.33/54.15	o 3235
53.33/54.16	o 3233
53.33/54.18	o 3232
53.33/54.19	o 3231
53.42/54.21	o 3230
53.42/54.23	o 3229
53.42/54.25	o 3228
53.42/54.28	o 3227
53.52/54.30	o 3226
53.52/54.32	o 3225
53.52/54.33	o 3224
53.52/54.35	o 3223
53.52/54.37	o 3221
53.52/54.39	o 3220
53.62/54.41	o 3219
53.62/54.43	o 3218
53.62/54.44	o 3217
53.62/54.46	o 3216
53.62/54.48	o 3215
53.72/54.50	o 3214
53.72/54.52	o 3213
53.72/54.53	o 3212
53.72/54.55	o 3211
53.72/54.57	o 3210
53.72/54.59	o 3209
53.81/54.61	o 3208
53.81/54.62	o 3207
53.81/54.64	o 3206
53.81/54.66	o 3204
53.81/54.67	o 3203
53.81/54.69	o 3202
53.91/54.71	o 3201
53.91/54.73	o 3200
53.91/54.75	o 3199
53.91/54.78	o 3197
53.91/54.79	o 3195
54.01/54.81	o 3193
54.01/54.82	o 3191
54.01/54.84	o 3189
54.01/54.85	o 3188
54.01/54.87	o 3187
54.01/54.89	o 3186
54.11/54.91	o 3185
54.11/54.93	o 3184
54.11/54.95	o 3183
54.11/54.97	o 3182
54.21/55.01	o 3180
54.21/55.02	o 3178
54.21/55.04	o 3177
54.21/55.06	o 3176
54.21/55.07	o 3174
54.21/55.09	o 3173
54.31/55.11	o 3172
54.31/55.12	o 3171
54.31/55.14	o 3170
54.31/55.16	o 3169
54.31/55.18	o 3168
54.31/55.20	o 3167
54.41/55.21	o 3166
54.41/55.23	o 3165
54.41/55.25	o 3164
54.41/55.27	o 3163
54.41/55.29	o 3162
54.51/55.31	o 3161
54.51/55.33	o 3160
54.51/55.34	o 3159
54.51/55.36	o 3158
54.51/55.38	o 3157
54.61/55.40	o 3156
54.61/55.42	o 3155
54.61/55.43	o 3154
54.61/55.45	o 3153
54.61/55.47	o 3152
54.61/55.49	o 3151
54.71/55.50	o 3150
54.71/55.52	o 3149
54.71/55.54	o 3148
54.71/55.56	o 3147
54.71/55.58	o 3145
54.71/55.59	o 3144
54.81/55.60	o 3142
54.81/55.62	o 3141
54.81/55.64	o 3140
54.81/55.66	o 3139
54.81/55.68	o 3138
54.81/55.69	o 3137
54.91/55.71	o 3136
54.91/55.73	o 3135
54.91/55.75	o 3134
54.91/55.76	o 3133
54.91/55.78	o 3132
55.00/55.80	o 3131
55.00/55.82	o 3130
55.00/55.83	o 3129
55.00/55.85	o 3128
55.00/55.87	o 3127
55.00/55.89	o 3126
55.10/55.91	o 3125
55.10/55.92	o 3124
55.10/55.94	o 3123
55.10/55.99	o 3122
55.20/56.01	o 3121
55.20/56.03	o 3120
55.20/56.04	o 3118
55.20/56.06	o 3117
55.20/56.08	o 3116
55.20/56.10	o 3115
55.30/56.11	o 3114
55.30/56.13	o 3113
55.30/56.15	o 3112
55.30/56.17	o 3111
55.30/56.18	o 3110
55.39/56.20	o 3109
55.39/56.22	o 3107
55.39/56.24	o 3106
55.58/56.46	o 3105
55.58/56.48	o 3104
55.58/56.50	o 3103
55.68/56.51	o 3102
55.68/56.53	o 3101
55.68/56.54	o 3099
55.68/56.56	o 3098
55.68/56.58	o 3097
55.68/56.59	o 3096
55.78/56.61	o 3095
55.78/56.63	o 3094
55.78/56.65	o 3093
55.78/56.66	o 3091
55.78/56.68	o 3090
55.78/56.70	o 3089
55.89/56.71	o 3088
55.89/56.73	o 3087
55.89/56.75	o 3086
55.89/56.77	o 3085
55.89/56.78	o 3084
55.99/56.80	o 3082
55.99/56.81	o 3081
55.99/56.83	o 3080
55.99/56.85	o 3079
55.99/56.87	o 3078
55.99/56.88	o 3077
56.09/56.90	o 3076
56.09/56.92	o 3075
56.09/56.94	o 3074
56.09/56.95	o 3073
56.09/56.97	o 3072
56.09/56.98	o 3071
56.19/57.00	o 3070
56.19/57.02	o 3069
56.19/57.07	o 3068
56.19/57.08	o 3067
56.29/57.11	o 3066
56.29/57.12	o 3065
56.29/57.14	o 3064
56.29/57.16	o 3063
56.29/57.17	o 3062
56.29/57.19	o 3061
56.38/57.21	o 3060
56.38/57.23	o 3059
56.38/57.24	o 3058
56.38/57.26	o 3057
56.38/57.28	o 3056
56.38/57.30	o 3055
56.47/57.31	o 3054
56.47/57.33	o 3053
56.47/57.35	o 3052
56.47/57.36	o 3051
56.47/57.38	o 3049
56.47/57.39	o 3047
56.57/57.41	o 3046
56.57/57.43	o 3045
56.57/57.45	o 3044
56.57/57.47	o 3043
56.57/57.48	o 3042
56.66/57.50	o 3041
56.66/57.52	o 3040
56.66/57.53	o 3039
56.66/57.58	o 3038
56.66/57.59	o 3037
56.76/57.61	o 3036
56.76/57.63	o 3035
56.76/57.65	o 3034
56.76/57.66	o 3033
56.76/57.68	o 3032
56.76/57.70	o 3031
56.86/57.71	o 3030
56.86/57.73	o 3029
56.86/57.74	o 3028
56.86/57.76	o 3027
56.86/57.78	o 3026
56.86/57.79	o 3025
56.96/57.81	o 3024
56.96/57.83	o 3023
56.96/57.85	o 3022
56.96/57.86	o 3021
56.96/57.88	o 3020
56.96/57.90	o 3019
57.06/57.91	o 3018
57.06/57.93	o 3017
57.06/57.95	o 3016
57.06/57.96	o 3015
57.06/57.98	o 3014
57.16/58.00	o 3013
57.16/58.02	o 3012
57.16/58.05	o 3011
57.16/58.07	o 3010
57.16/58.08	o 3009
57.26/58.10	o 3008
57.26/58.12	o 3007
57.26/58.13	o 3006
57.26/58.15	o 3005
57.26/58.17	o 3004
57.26/58.18	o 3003
57.36/58.21	o 3002
57.36/58.22	o 3001
57.36/58.23	o 2999
57.36/58.25	o 2998
57.36/58.26	o 2996
57.36/58.28	o 2995
57.36/58.30	o 2994
57.45/58.32	o 2993
57.45/58.33	o 2992
57.45/58.35	o 2991
57.45/58.37	o 2990
57.45/58.38	o 2989
57.56/58.40	o 2988
57.56/58.42	o 2986
57.56/58.43	o 2985
57.56/58.45	o 2984
57.56/58.47	o 2983
57.56/58.48	o 2982
57.66/58.50	o 2981
57.66/58.52	o 2980
57.66/58.53	o 2979
57.66/58.56	o 2978
57.66/58.57	o 2976
57.66/58.59	o 2975
57.75/58.60	o 2974
57.75/58.62	o 2973
57.75/58.64	o 2972
57.75/58.65	o 2971
57.75/58.67	o 2970
57.75/58.69	o 2969
57.85/58.70	o 2968
57.85/58.72	o 2967
57.85/58.74	o 2966
57.85/58.75	o 2965
57.85/58.77	o 2964
57.85/58.79	o 2963
57.95/58.80	o 2962
57.95/58.82	o 2961
57.95/58.84	o 2960
57.95/58.85	o 2959
57.95/58.87	o 2958
57.95/58.89	o 2957
58.05/58.90	o 2956
58.05/58.92	o 2955
58.05/58.94	o 2954
58.05/58.95	o 2953
58.05/58.97	o 2952
58.05/58.99	o 2951
58.15/59.00	o 2950
58.15/59.02	o 2949
58.15/59.04	o 2948
58.15/59.05	o 2947
58.15/59.07	o 2946
58.15/59.09	o 2945
58.25/59.10	o 2944
58.25/59.12	o 2943
58.25/59.14	o 2942
58.25/59.15	o 2941
58.25/59.17	o 2940
58.25/59.18	o 2939
58.35/59.20	o 2938
58.35/59.22	o 2937
58.35/59.23	o 2936
58.35/59.25	o 2935
58.35/59.27	o 2934
58.35/59.28	o 2933
58.45/59.31	o 2932
58.45/59.32	o 2931
58.45/59.34	o 2930
58.45/59.36	o 2929
58.45/59.37	o 2928
58.45/59.38	o 2926
58.45/59.40	o 2925
58.54/59.42	o 2924
58.54/59.43	o 2923
58.54/59.45	o 2922
58.54/59.47	o 2921
58.54/59.48	o 2920
58.54/59.50	o 2919
58.64/59.51	o 2918
58.64/59.53	o 2917
58.64/59.54	o 2916
58.64/59.56	o 2915
58.64/59.58	o 2914
58.64/59.59	o 2913
58.74/59.61	o 2912
58.74/59.62	o 2911
58.74/59.65	o 2910
58.74/59.66	o 2909
58.74/59.68	o 2908
58.74/59.69	o 2907
58.83/59.71	o 2906
58.83/59.73	o 2905
58.83/59.74	o 2904
58.83/59.76	o 2903
58.83/59.78	o 2902
58.83/59.79	o 2901
58.93/59.81	o 2900
58.93/59.82	o 2898
58.93/59.84	o 2897
58.93/59.86	o 2896
58.93/59.87	o 2895
58.93/59.89	o 2894
59.03/59.91	o 2893
59.03/59.92	o 2892
59.03/59.94	o 2891
59.03/59.95	o 2890
59.03/59.97	o 2889
59.03/59.99	o 2888
59.14/60.00	o 2887
59.14/60.02	o 2886
59.14/60.07	o 2885
59.14/60.08	o 2884
59.23/60.10	o 2883
59.23/60.12	o 2882
59.23/60.13	o 2881
59.23/60.15	o 2880
59.23/60.17	o 2879
59.23/60.18	o 2878
59.23/60.20	o 2877
59.33/60.21	o 2876
59.33/60.23	o 2875
59.33/60.25	o 2874
59.33/60.26	o 2873
59.33/60.28	o 2872
59.33/60.29	o 2871
59.43/60.31	o 2870
59.43/60.33	o 2869
59.43/60.34	o 2868
59.43/60.36	o 2867
59.43/60.38	o 2866
59.43/60.39	o 2865
59.53/60.41	o 2864
59.53/60.43	o 2863
59.53/60.45	o 2862
59.53/60.46	o 2861
59.53/60.48	o 2860
59.53/60.49	o 2859
59.63/60.51	o 2858
59.63/60.53	o 2857
59.63/60.54	o 2856
59.63/60.56	o 2855
59.63/60.57	o 2854
59.63/60.59	o 2853
59.72/60.61	o 2852
59.72/60.62	o 2850
59.72/60.64	o 2849
59.72/60.65	o 2848
59.72/60.67	o 2847
59.72/60.68	o 2846
59.82/60.70	o 2845
59.82/60.72	o 2844
59.82/60.73	o 2843
59.82/60.75	o 2842
59.82/60.77	o 2841
59.82/60.79	o 2840
59.91/60.80	o 2839
59.91/60.82	o 2838
59.91/60.83	o 2837
59.91/60.89	o 2835
60.02/60.93	o 2834
60.02/60.95	o 2833
60.02/60.96	o 2832
60.02/60.98	o 2831
60.02/61.00	o 2830
60.12/61.01	o 2829
60.12/61.03	o 2828
60.12/61.04	o 2827
60.12/61.06	o 2826
60.12/61.08	o 2825
60.12/61.09	o 2824
60.22/61.11	o 2823
60.22/61.12	o 2822
60.22/61.14	o 2821
60.22/61.15	o 2819
60.22/61.17	o 2818
60.22/61.18	o 2817
60.32/61.20	o 2816
60.32/61.22	o 2815
60.32/61.23	o 2814
60.32/61.25	o 2813
60.32/61.26	o 2812
60.32/61.28	o 2811
60.32/61.29	o 2809
60.41/61.31	o 2808
60.41/61.32	o 2807
60.41/61.34	o 2806
60.41/61.36	o 2805
60.41/61.37	o 2804
60.41/61.39	o 2803
60.51/61.40	o 2802
60.51/61.42	o 2801
60.51/61.43	o 2800
60.51/61.45	o 2799
60.51/61.47	o 2798
60.51/61.48	o 2797
60.51/61.49	o 2795
60.61/61.51	o 2794
60.61/61.53	o 2793
60.61/61.55	o 2792
60.61/61.58	o 2791
60.61/61.59	o 2789
60.72/61.60	o 2788
60.72/61.62	o 2787
60.72/61.64	o 2786
60.72/61.65	o 2785
60.72/61.67	o 2784
60.72/61.68	o 2783
60.81/61.70	o 2782
60.81/61.71	o 2781
60.81/61.73	o 2780
60.81/61.75	o 2779
60.81/61.76	o 2778
60.81/61.78	o 2777
60.81/61.79	o 2776
60.91/61.81	o 2775
60.91/61.82	o 2774
60.91/61.84	o 2773
60.91/61.85	o 2771
60.91/61.87	o 2770
60.91/61.89	o 2769
61.00/61.90	o 2768
61.00/61.91	o 2767
61.10/62.05	o 2766
61.10/62.06	o 2765
61.10/62.08	o 2764
61.10/62.10	o 2763
61.20/62.11	o 2762
61.20/62.13	o 2761
61.20/62.14	o 2760
61.20/62.16	o 2759
61.20/62.17	o 2758
61.20/62.19	o 2757
61.30/62.20	o 2756
61.30/62.22	o 2755
61.30/62.23	o 2754
61.30/62.25	o 2753
61.30/62.26	o 2752
61.30/62.28	o 2751
61.30/62.29	o 2750
61.40/62.31	o 2749
61.40/62.32	o 2748
61.40/62.34	o 2747
61.40/62.35	o 2746
61.40/62.37	o 2745
61.40/62.38	o 2743
61.49/62.40	o 2742
61.49/62.41	o 2741
61.49/62.43	o 2740
61.49/62.45	o 2739
61.49/62.46	o 2738
61.49/62.48	o 2737
61.49/62.49	o 2736
61.60/62.50	o 2734
61.60/62.52	o 2733
61.60/62.53	o 2731
61.60/62.55	o 2730
61.60/62.56	o 2729
61.60/62.58	o 2728
61.60/62.59	o 2727
61.70/62.61	o 2726
61.70/62.63	o 2725
61.70/62.64	o 2723
61.70/62.65	o 2722
61.70/62.67	o 2721
61.70/62.68	o 2720
61.70/62.70	o 2719
61.80/62.71	o 2718
61.80/62.73	o 2716
61.80/62.75	o 2715
61.80/62.76	o 2714
61.80/62.78	o 2713
61.80/62.79	o 2712
61.89/62.81	o 2711
61.89/62.82	o 2710
61.89/62.83	o 2708
61.89/62.85	o 2707
61.89/62.86	o 2706
61.89/62.88	o 2705
61.89/62.89	o 2704
61.99/62.91	o 2703
61.99/62.92	o 2702
61.99/62.95	o 2701
61.99/62.96	o 2700
61.99/62.98	o 2699
61.99/62.99	o 2698
62.08/63.01	o 2697
62.08/63.02	o 2696
62.08/63.04	o 2695
62.08/63.05	o 2694
62.08/63.07	o 2693
62.08/63.08	o 2692
62.18/63.10	o 2691
62.18/63.11	o 2690
62.18/63.13	o 2689
62.18/63.14	o 2688
62.18/63.17	o 2687
62.18/63.18	o 2685
62.18/63.19	o 2684
62.28/63.21	o 2683
62.28/63.22	o 2682
62.28/63.24	o 2681
62.28/63.25	o 2680
62.28/63.27	o 2679
62.28/63.28	o 2678
62.38/63.30	o 2677
62.38/63.31	o 2676
62.38/63.33	o 2675
62.38/63.35	o 2674
62.38/63.36	o 2673
62.38/63.38	o 2672
62.38/63.39	o 2670
62.48/63.40	o 2669
62.48/63.42	o 2668
62.48/63.43	o 2667
62.48/63.45	o 2666
62.48/63.46	o 2665
62.48/63.48	o 2663
62.48/63.49	o 2662
62.58/63.51	o 2661
62.58/63.52	o 2660
62.58/63.54	o 2659
62.58/63.55	o 2658
62.58/63.57	o 2657
62.58/63.58	o 2656
62.68/63.60	o 2655
62.68/63.61	o 2654
62.68/63.63	o 2653
62.68/63.64	o 2652
62.68/63.66	o 2651
62.68/63.67	o 2650
62.68/63.69	o 2648
62.78/63.71	o 2647
62.78/63.72	o 2646
62.78/63.74	o 2645
62.78/63.75	o 2644
62.78/63.77	o 2643
62.78/63.78	o 2642
62.78/63.80	o 2641
62.88/63.81	o 2640
62.88/63.83	o 2639
62.88/63.84	o 2638
62.88/63.86	o 2637
62.88/63.87	o 2636
62.88/63.89	o 2635
62.97/63.90	o 2634
62.97/63.92	o 2633
62.97/63.93	o 2631
62.97/63.94	o 2630
62.97/63.96	o 2629
62.97/63.97	o 2628
62.97/63.99	o 2627
63.07/64.00	o 2626
63.07/64.02	o 2625
63.07/64.03	o 2624
63.07/64.05	o 2623
63.07/64.07	o 2622
63.07/64.08	o 2621
63.16/64.12	o 2620
63.16/64.13	o 2619
63.16/64.15	o 2618
63.16/64.16	o 2617
63.16/64.18	o 2616
63.16/64.19	o 2614
63.26/64.20	o 2613
63.26/64.22	o 2612
63.26/64.23	o 2611
63.26/64.25	o 2610
63.26/64.26	o 2609
63.26/64.27	o 2608
63.26/64.29	o 2607
63.37/64.30	o 2606
63.37/64.32	o 2605
63.37/64.33	o 2604
63.37/64.35	o 2603
63.37/64.36	o 2602
63.37/64.38	o 2601
63.37/64.39	o 2600
63.47/64.41	o 2599
63.47/64.42	o 2598
63.47/64.44	o 2597
63.47/64.45	o 2596
63.47/64.47	o 2595
63.47/64.48	o 2594
63.57/64.50	o 2593
63.57/64.51	o 2592
63.57/64.53	o 2591
63.57/64.54	o 2590
63.57/64.56	o 2589
63.57/64.57	o 2588
63.57/64.59	o 2587
63.67/64.60	o 2586
63.67/64.62	o 2585
63.67/64.63	o 2584
63.67/64.64	o 2583
63.67/64.66	o 2582
63.67/64.67	o 2580
63.76/64.70	o 2578
63.76/64.71	o 2576
63.76/64.73	o 2575
63.76/64.74	o 2574
63.76/64.76	o 2573
63.76/64.77	o 2572
63.76/64.79	o 2571
63.86/64.81	o 2570
63.86/64.82	o 2569
63.86/64.84	o 2568
63.86/64.85	o 2567
63.86/64.86	o 2566
63.86/64.88	o 2565
63.86/64.89	o 2563
63.96/64.91	o 2562
63.96/64.92	o 2561
63.96/64.94	o 2560
63.96/64.95	o 2559
63.96/64.97	o 2558
63.96/64.98	o 2557
63.96/64.99	o 2556
64.05/65.01	o 2555
64.05/65.02	o 2554
64.05/65.04	o 2553
64.05/65.05	o 2552
64.05/65.07	o 2551
64.05/65.08	o 2550
64.05/65.10	o 2549
64.15/65.11	o 2548
64.15/65.13	o 2547
64.15/65.15	o 2546
64.15/65.16	o 2545
64.15/65.17	o 2543
64.15/65.19	o 2542
64.25/65.20	o 2541
64.25/65.22	o 2540
64.25/65.23	o 2539
64.25/65.25	o 2538
64.25/65.26	o 2537
64.25/65.27	o 2536
64.25/65.29	o 2535
64.35/65.30	o 2534
64.35/65.32	o 2533
64.35/65.33	o 2532
64.35/65.35	o 2531
64.35/65.36	o 2530
64.35/65.38	o 2529
64.35/65.39	o 2528
64.45/65.41	o 2527
64.45/65.42	o 2526
64.45/65.43	o 2525
64.45/65.45	o 2524
64.45/65.46	o 2523
64.45/65.48	o 2522
64.45/65.49	o 2521
64.55/65.51	o 2520
64.55/65.52	o 2519
64.55/65.54	o 2518
64.55/65.55	o 2517
64.55/65.56	o 2516
64.55/65.58	o 2515
64.55/65.59	o 2514
64.65/65.61	o 2513
64.65/65.62	o 2512
64.65/65.64	o 2511
64.65/65.65	o 2510
64.65/65.67	o 2509
64.65/65.68	o 2508
64.65/65.69	o 2507
64.75/65.71	o 2506
64.75/65.72	o 2505
64.75/65.74	o 2504
64.75/65.75	o 2503
64.75/65.77	o 2502
64.75/65.78	o 2500
64.75/65.79	o 2499
64.84/65.80	o 2497
64.84/65.82	o 2496
64.84/65.83	o 2495
64.84/65.84	o 2494
64.84/65.86	o 2493
64.84/65.87	o 2492
64.84/65.88	o 2491
64.94/65.90	o 2490
64.94/65.92	o 2489
64.94/65.93	o 2488
64.94/65.95	o 2487
64.94/65.96	o 2486
64.94/65.98	o 2485
64.94/65.99	o 2484
65.04/66.00	o 2483
65.04/66.02	o 2482
65.04/66.03	o 2481
65.04/66.05	o 2480
65.04/66.06	o 2479
65.04/66.08	o 2478
65.04/66.09	o 2477
65.14/66.11	o 2476
65.14/66.12	o 2475
65.14/66.13	o 2474
65.14/66.15	o 2473
65.14/66.16	o 2472
65.14/66.17	o 2471
65.14/66.19	o 2469
65.24/66.20	o 2467
65.24/66.21	o 2466
65.24/66.23	o 2465
65.24/66.25	o 2464
65.24/66.26	o 2463
65.24/66.28	o 2462
65.24/66.29	o 2461
65.34/66.30	o 2460
65.34/66.32	o 2459
65.34/66.33	o 2458
65.34/66.35	o 2457
65.34/66.36	o 2456
65.34/66.38	o 2455
65.34/66.39	o 2454
65.44/66.40	o 2453
65.44/66.42	o 2452
65.44/66.43	o 2451
65.44/66.45	o 2450
65.44/66.46	o 2449
65.44/66.47	o 2448
65.44/66.49	o 2447
65.53/66.50	o 2446
65.53/66.52	o 2445
65.53/66.53	o 2444
65.53/66.55	o 2443
65.53/66.56	o 2442
65.53/66.57	o 2441
65.53/66.59	o 2440
65.63/66.60	o 2439
65.63/66.62	o 2438
65.63/66.63	o 2437
65.63/66.65	o 2436
65.63/66.66	o 2435
65.63/66.67	o 2434
65.63/66.69	o 2433
65.73/66.70	o 2432
65.73/66.72	o 2431
65.73/66.73	o 2430
65.73/66.74	o 2429
65.73/66.76	o 2428
65.73/66.77	o 2427
65.73/66.79	o 2426
65.84/66.80	o 2425
65.84/66.81	o 2424
65.84/66.83	o 2423
65.84/66.84	o 2422
65.84/66.85	o 2420
65.84/66.87	o 2419
65.84/66.88	o 2418
65.84/66.89	o 2416
65.94/66.90	o 2414
65.94/66.92	o 2413
65.94/66.93	o 2412
65.94/66.94	o 2411
65.94/66.96	o 2410
65.94/66.97	o 2409
65.94/66.99	o 2408
66.04/67.01	o 2407
66.04/67.02	o 2406
66.04/67.03	o 2404
66.04/67.05	o 2403
66.04/67.06	o 2401
66.04/67.07	o 2400
66.04/67.08	o 2398
66.04/67.09	o 2397
66.13/67.10	o 2395
66.13/67.12	o 2394
66.13/67.13	o 2393
66.13/67.15	o 2392
66.13/67.16	o 2391
66.13/67.17	o 2390
66.13/67.19	o 2388
66.23/67.20	o 2387
66.23/67.21	o 2386
66.23/67.22	o 2384
66.23/67.24	o 2383
66.23/67.25	o 2382
66.23/67.27	o 2381
66.23/67.28	o 2380
66.23/67.29	o 2379
66.32/67.31	o 2378
66.32/67.32	o 2377
66.32/67.34	o 2376
66.32/67.36	o 2375
66.32/67.37	o 2374
66.32/67.38	o 2373
66.32/67.40	o 2372
66.42/67.41	o 2371
66.42/67.42	o 2370
66.42/67.44	o 2369
66.42/67.45	o 2368
66.42/67.47	o 2367
66.42/67.48	o 2366
66.42/67.49	o 2365
66.52/67.51	o 2364
66.52/67.52	o 2363
66.52/67.54	o 2362
66.52/67.55	o 2361
66.52/67.56	o 2360
66.52/67.58	o 2359
66.52/67.59	o 2357
66.62/67.60	o 2356
66.62/67.62	o 2355
66.62/67.63	o 2354
66.62/67.65	o 2353
66.62/67.67	o 2352
66.62/67.68	o 2351
66.62/67.69	o 2349
66.72/67.70	o 2348
66.72/67.72	o 2347
66.72/67.73	o 2346
66.72/67.75	o 2345
66.72/67.76	o 2343
66.72/67.77	o 2342
66.72/67.78	o 2341
66.72/67.80	o 2340
66.82/67.81	o 2339
66.82/67.83	o 2338
66.82/67.84	o 2337
66.82/67.85	o 2336
66.82/67.87	o 2335
66.82/67.88	o 2334
66.92/67.92	o 2333
66.92/67.94	o 2332
66.92/67.95	o 2331
66.92/67.97	o 2330
66.92/67.98	o 2329
66.92/67.99	o 2328
67.02/68.01	o 2327
67.02/68.02	o 2326
67.02/68.03	o 2325
67.02/68.05	o 2324
67.02/68.06	o 2323
67.02/68.08	o 2322
67.02/68.09	o 2321
67.12/68.11	o 2320
67.12/68.13	o 2319
67.12/68.14	o 2318
67.12/68.16	o 2317
67.12/68.17	o 2316
67.12/68.18	o 2315
67.12/68.20	o 2314
67.22/68.21	o 2313
67.22/68.22	o 2312
67.22/68.23	o 2310
67.22/68.25	o 2309
67.22/68.26	o 2308
67.22/68.27	o 2307
67.22/68.29	o 2306
67.31/68.30	o 2305
67.31/68.31	o 2304
67.31/68.33	o 2303
67.31/68.34	o 2302
67.31/68.36	o 2301
67.31/68.37	o 2300
67.31/68.38	o 2299
67.31/68.40	o 2298
67.41/68.41	o 2297
67.41/68.42	o 2296
67.41/68.44	o 2295
67.41/68.46	o 2294
67.41/68.47	o 2293
67.41/68.48	o 2292
67.50/68.50	o 2291
67.50/68.51	o 2290
67.50/68.53	o 2289
67.50/68.54	o 2288
67.50/68.55	o 2287
67.50/68.57	o 2286
67.50/68.58	o 2285
67.50/68.59	o 2284
67.61/68.61	o 2283
67.61/68.62	o 2282
67.61/68.64	o 2281
67.61/68.65	o 2280
67.61/68.66	o 2279
67.61/68.68	o 2278
67.61/68.69	o 2277
67.71/68.71	o 2276
67.71/68.72	o 2275
67.71/68.73	o 2274
67.71/68.75	o 2273
67.71/68.76	o 2272
67.71/68.77	o 2271
67.71/68.78	o 2269
67.71/68.80	o 2268
67.80/68.81	o 2267
67.80/68.82	o 2265
67.80/68.84	o 2264
67.80/68.85	o 2263
67.80/68.86	o 2262
67.80/68.88	o 2261
67.80/68.89	o 2260
67.90/68.90	o 2259
67.90/68.92	o 2258
67.90/68.93	o 2257
67.90/68.95	o 2256
67.90/68.96	o 2255
67.90/68.97	o 2254
67.90/68.99	o 2253
68.00/69.00	o 2252
68.00/69.01	o 2251
68.00/69.03	o 2250
68.00/69.04	o 2249
68.00/69.05	o 2248
68.00/69.07	o 2247
68.00/69.08	o 2246
68.00/69.09	o 2245
68.10/69.11	o 2244
68.10/69.12	o 2242
68.10/69.13	o 2241
68.10/69.15	o 2240
68.10/69.16	o 2239
68.10/69.17	o 2238
68.10/69.19	o 2237
68.20/69.21	o 2236
68.20/69.22	o 2235
68.20/69.23	o 2234
68.20/69.25	o 2233
68.20/69.26	o 2232
68.20/69.27	o 2230
68.20/69.28	o 2228
68.20/69.30	o 2227
68.30/69.31	o 2226
68.30/69.32	o 2225
68.30/69.34	o 2224
68.30/69.35	o 2223
68.30/69.37	o 2222
68.30/69.38	o 2221
68.30/69.39	o 2220
68.40/69.41	o 2219
68.40/69.42	o 2218
68.40/69.43	o 2217
68.40/69.45	o 2216
68.40/69.46	o 2215
68.40/69.47	o 2214
68.40/69.49	o 2213
68.50/69.50	o 2212
68.50/69.51	o 2211
68.50/69.53	o 2210
68.50/69.55	o 2209
68.50/69.56	o 2208
68.50/69.57	o 2207
68.50/69.59	o 2206
68.59/69.60	o 2205
68.59/69.61	o 2204
68.59/69.63	o 2203
68.59/69.64	o 2202
68.59/69.65	o 2201
68.59/69.67	o 2200
68.59/69.68	o 2199
68.59/69.69	o 2198
68.69/69.71	o 2197
68.69/69.72	o 2196
68.69/69.74	o 2195
68.69/69.77	o 2194
68.69/69.78	o 2192
68.69/69.79	o 2191
68.79/69.80	o 2190
68.79/69.82	o 2189
68.79/69.83	o 2188
68.79/69.85	o 2187
68.79/69.86	o 2186
68.79/69.87	o 2185
68.79/69.89	o 2184
68.89/69.90	o 2183
68.89/69.91	o 2182
68.89/69.93	o 2181
68.89/69.94	o 2180
68.89/69.95	o 2179
68.89/69.97	o 2178
68.89/69.98	o 2177
68.89/69.99	o 2176
68.99/70.01	o 2175
68.99/70.02	o 2174
68.99/70.03	o 2173
68.99/70.05	o 2172
68.99/70.06	o 2171
68.99/70.07	o 2170
68.99/70.09	o 2169
69.08/70.10	o 2168
69.08/70.11	o 2167
69.08/70.13	o 2166
69.08/70.14	o 2165
69.08/70.15	o 2163
69.08/70.16	o 2162
69.08/70.18	o 2161
69.08/70.19	o 2160
69.18/70.20	o 2159
69.18/70.22	o 2158
69.18/70.23	o 2157
69.18/70.24	o 2156
69.18/70.26	o 2155
69.18/70.27	o 2154
69.18/70.28	o 2153
69.28/70.32	o 2152
69.28/70.33	o 2151
69.28/70.34	o 2150
69.28/70.36	o 2149
69.28/70.37	o 2148
69.28/70.38	o 2147
69.28/70.40	o 2146
69.38/70.41	o 2144
69.38/70.42	o 2143
69.38/70.43	o 2142
69.38/70.45	o 2141
69.38/70.46	o 2140
69.38/70.47	o 2139
69.38/70.49	o 2138
69.47/70.50	o 2137
69.47/70.51	o 2136
69.47/70.53	o 2135
69.47/70.54	o 2133
69.47/70.55	o 2132
69.47/70.56	o 2131
69.47/70.58	o 2130
69.47/70.59	o 2128
69.57/70.60	o 2127
69.57/70.61	o 2126
69.57/70.62	o 2124
69.57/70.64	o 2123
69.57/70.65	o 2122
69.57/70.67	o 2121
69.57/70.68	o 2120
69.57/70.69	o 2119
69.67/70.70	o 2118
69.67/70.72	o 2117
69.67/70.73	o 2116
69.67/70.74	o 2115
69.67/70.76	o 2114
69.67/70.77	o 2113
69.67/70.78	o 2112
69.67/70.79	o 2110
69.76/70.81	o 2109
69.76/70.82	o 2108
69.76/70.83	o 2107
69.76/70.85	o 2105
69.76/70.86	o 2104
69.76/70.87	o 2103
69.76/70.88	o 2102
69.87/70.90	o 2101
69.87/70.91	o 2100
69.87/70.92	o 2099
69.87/70.94	o 2098
69.87/70.95	o 2097
69.87/70.96	o 2095
69.87/70.98	o 2094
69.87/70.99	o 2093
69.97/71.01	o 2092
69.97/71.02	o 2091
69.97/71.03	o 2090
69.97/71.05	o 2089
69.97/71.06	o 2088
69.97/71.07	o 2087
69.97/71.09	o 2086
70.07/71.10	o 2085
70.07/71.11	o 2084
70.07/71.12	o 2082
70.07/71.14	o 2081
70.07/71.15	o 2080
70.07/71.16	o 2079
70.36/71.43	o 2078
70.36/71.45	o 2076
70.36/71.46	o 2075
70.36/71.47	o 2074
70.36/71.48	o 2072
70.36/71.49	o 2071
70.46/71.51	o 2070
70.46/71.52	o 2069
70.46/71.53	o 2068
70.46/71.55	o 2067
70.46/71.56	o 2066
70.46/71.57	o 2065
70.46/71.58	o 2064
70.46/71.60	o 2063
70.56/71.61	o 2062
70.56/71.62	o 2061
70.56/71.64	o 2060
70.56/71.65	o 2058
70.56/71.66	o 2057
70.56/71.68	o 2056
70.56/71.69	o 2055
70.67/71.70	o 2054
70.67/71.72	o 2053
70.67/71.73	o 2052
70.67/71.77	o 2051
70.96/72.05	o 2049
71.35/72.41	o 2047
71.35/72.43	o 2046
71.35/72.46	o 2045
71.35/72.47	o 2044
71.35/72.49	o 2043
71.45/72.50	o 2042
71.45/72.52	o 2041
71.45/72.53	o 2039
71.45/72.54	o 2038
71.45/72.55	o 2037
71.45/72.57	o 2036
71.45/72.58	o 2035
71.56/72.61	o 2034
71.56/72.62	o 2032
71.56/72.64	o 2031
71.56/72.67	o 2030
71.65/72.72	o 2029
71.65/72.73	o 2028
71.65/72.75	o 2026
71.65/72.76	o 2025
71.65/72.79	o 2024
71.85/72.92	o 2022
71.85/72.93	o 2021
71.85/72.94	o 2020
71.85/72.95	o 2019
71.85/72.97	o 2017
71.85/72.99	o 2016
71.94/73.01	o 2014
71.94/73.05	o 2013
71.94/73.08	o 2012
71.94/73.09	o 2011
72.04/73.11	o 2010
72.04/73.15	o 2009
72.04/73.17	o 2008
72.04/73.19	o 2006
72.14/73.23	o 2004
72.14/73.25	o 2002
72.14/73.28	o 2000
72.14/73.29	o 1998
72.24/73.31	o 1996
72.24/73.32	o 1995
72.24/73.33	o 1992
72.24/73.36	o 1991
72.24/73.38	o 1990
72.24/73.39	o 1989
72.34/73.40	o 1988
72.34/73.42	o 1987
72.34/73.46	o 1986
72.34/73.47	o 1985
72.34/73.48	o 1984
72.44/73.50	o 1983
72.44/73.52	o 1982
72.44/73.55	o 1981
72.44/73.56	o 1980
72.44/73.58	o 1979
72.44/73.59	o 1978
72.54/73.61	o 1977
72.54/73.66	o 1976
72.54/73.67	o 1975
72.54/73.70	o 1973
72.63/73.71	o 1972
72.63/73.72	o 1971
72.63/73.74	o 1970
72.63/73.75	o 1967
72.63/73.76	o 1966
72.63/73.77	o 1965
72.63/73.78	o 1964
72.74/73.81	o 1963
72.74/73.84	o 1962
72.74/73.85	o 1961
72.74/73.87	o 1960
72.74/73.88	o 1959
72.74/73.89	o 1958
72.83/73.90	o 1957
72.83/73.92	o 1956
72.83/73.93	o 1955
72.83/73.95	o 1954
72.83/73.97	o 1953
72.83/73.99	o 1952
72.93/74.01	o 1951
72.93/74.07	o 1949
72.93/74.08	o 1948
73.03/74.10	o 1947
73.03/74.12	o 1946
73.03/74.13	o 1945
73.03/74.15	o 1944
73.03/74.17	o 1943
73.23/74.31	o 1941
73.23/74.32	o 1940
73.23/74.35	o 1939
73.23/74.36	o 1938
73.33/74.43	o 1937
73.33/74.45	o 1936
73.43/74.59	o 1934
73.53/74.61	o 1933
73.53/74.63	o 1931
73.53/74.65	o 1930
73.53/74.66	o 1929
73.53/74.67	o 1927
73.53/74.69	o 1926
73.62/74.70	o 1925
73.62/74.72	o 1924
73.62/74.74	o 1923
73.62/74.76	o 1922
73.62/74.77	o 1921
73.72/74.88	o 1919
73.81/74.91	o 1913
73.81/74.92	o 1911
73.81/74.93	o 1910
73.81/74.94	o 1909
73.81/74.95	o 1907
73.81/74.96	o 1906
73.81/74.98	o 1905
73.92/75.05	o 1904
74.01/75.11	o 1903
74.01/75.13	o 1902
74.01/75.14	o 1901
74.01/75.17	o 1900
74.01/75.18	o 1899
74.01/75.19	o 1898
74.11/75.21	o 1897
74.11/75.22	o 1896
74.11/75.23	o 1895
74.11/75.26	o 1893
74.11/75.28	o 1892
74.11/75.29	o 1891
74.21/75.30	o 1890
74.21/75.35	o 1889
74.31/75.40	o 1888
74.31/75.41	o 1886
74.31/75.42	o 1885
74.31/75.44	o 1883
74.31/75.49	o 1882
74.41/75.50	o 1881
74.41/75.51	o 1880
74.41/75.53	o 1879
74.41/75.54	o 1878
74.41/75.55	o 1877
74.51/75.61	o 1876
74.51/75.62	o 1875
74.51/75.66	o 1874
74.51/75.67	o 1873
74.51/75.69	o 1872
74.60/75.71	o 1870
74.70/75.81	o 1869
74.70/75.82	o 1868
74.70/75.84	o 1867
74.70/75.89	o 1865
74.80/75.91	o 1864
74.80/75.95	o 1862
74.80/75.99	o 1860
74.80/76.00	o 1859
74.89/76.01	o 1857
74.89/76.04	o 1855
74.89/76.07	o 1853
74.99/76.12	o 1852
74.99/76.19	o 1850
75.09/76.23	o 1848
75.09/76.26	o 1847
75.09/76.29	o 1846
75.20/76.31	o 1845
75.20/76.32	o 1844
75.20/76.39	o 1843
75.29/76.40	o 1842
75.29/76.41	o 1841
75.29/76.42	o 1840
75.29/76.45	o 1839
75.29/76.46	o 1838
75.29/76.49	o 1837
75.39/76.51	o 1836
75.39/76.52	o 1835
75.39/76.56	o 1834
75.39/76.58	o 1833
75.39/76.59	o 1832
75.49/76.60	o 1831
75.49/76.61	o 1830
75.49/76.62	o 1829
75.49/76.63	o 1828
75.49/76.64	o 1827
75.49/76.67	o 1826
75.49/76.68	o 1825
75.59/76.72	o 1823
75.59/76.75	o 1822
75.59/76.76	o 1821
75.59/76.77	o 1820
75.59/76.78	o 1819
75.69/76.81	o 1818
75.69/76.82	o 1817
75.69/76.83	o 1816
75.69/76.85	o 1815
75.69/76.88	o 1813
75.79/76.92	o 1812
75.79/76.94	o 1811
75.79/76.95	o 1810
75.79/76.99	o 1809
75.79/77.00	o 1808
75.89/77.01	o 1807
75.89/77.02	o 1806
75.89/77.05	o 1805
75.89/77.06	o 1804
75.89/77.08	o 1803
75.99/77.12	o 1802
75.99/77.14	o 1800
75.99/77.15	o 1799
75.99/77.19	o 1798
76.09/77.23	o 1796
76.09/77.24	o 1795
76.09/77.26	o 1794
76.09/77.27	o 1792
76.18/77.30	o 1791
76.18/77.32	o 1790
76.18/77.33	o 1789
76.18/77.34	o 1788
76.18/77.35	o 1787
76.18/77.36	o 1786
76.18/77.37	o 1784
76.18/77.38	o 1783
76.18/77.40	o 1781
76.28/77.41	o 1780
76.28/77.43	o 1779
76.38/77.58	o 1777
76.38/77.60	o 1775
76.48/77.63	o 1773
76.48/77.64	o 1772
76.48/77.66	o 1771
76.48/77.67	o 1766
76.58/77.71	o 1765
76.58/77.73	o 1764
76.58/77.74	o 1763
76.58/77.76	o 1761
76.58/77.77	o 1759
76.58/77.79	o 1758
76.67/77.81	o 1757
76.67/77.84	o 1755
76.67/77.89	o 1753
76.77/77.93	o 1752
76.77/77.95	o 1750
76.87/78.01	o 1748
76.87/78.04	o 1746
76.87/78.05	o 1744
76.97/78.17	o 1743
77.08/78.21	o 1741
77.08/78.22	o 1740
77.08/78.23	o 1738
77.08/78.24	o 1737
77.08/78.26	o 1736
77.08/78.27	o 1735
77.08/78.28	o 1734
77.08/78.29	o 1733
77.18/78.30	o 1732
77.18/78.33	o 1731
77.18/78.35	o 1730
77.27/78.41	o 1729
77.27/78.42	o 1728
77.27/78.43	o 1727
77.27/78.44	o 1726
77.27/78.46	o 1724
77.27/78.47	o 1722
77.27/78.48	o 1721
77.27/78.50	o 1720
77.37/78.51	o 1719
77.37/78.52	o 1718
77.37/78.53	o 1717
77.37/78.55	o 1716
77.37/78.57	o 1715
77.47/78.62	o 1714
77.47/78.63	o 1713
77.47/78.64	o 1711
77.47/78.66	o 1710
77.47/78.68	o 1709
77.47/78.69	o 1708
77.56/78.74	o 1707
77.56/78.75	o 1706
77.56/78.77	o 1704
77.67/78.81	o 1703
77.67/78.84	o 1702
77.67/78.85	o 1701
77.67/78.86	o 1700
77.67/78.87	o 1699
77.67/78.89	o 1698
77.77/78.91	o 1697
77.77/78.92	o 1696
77.77/78.94	o 1695
77.77/78.95	o 1694
77.77/78.96	o 1692
77.77/78.97	o 1691
77.77/78.98	o 1690
77.77/78.99	o 1687
77.86/79.03	o 1686
77.86/79.04	o 1684
77.86/79.05	o 1682
77.86/79.07	o 1681
77.86/79.08	o 1679
77.96/79.14	o 1678
77.96/79.17	o 1677
78.06/79.20	o 1676
78.06/79.21	o 1675
78.06/79.22	o 1674
78.06/79.29	o 1673
78.15/79.33	o 1671
78.15/79.37	o 1670
78.25/79.41	o 1667
78.25/79.42	o 1666
78.25/79.43	o 1665
78.25/79.45	o 1663
78.25/79.46	o 1662
78.25/79.49	o 1661
78.34/79.52	o 1659
78.34/79.55	o 1657
78.34/79.58	o 1655
78.45/79.60	o 1654
78.45/79.64	o 1653
78.45/79.65	o 1652
78.45/79.66	o 1651
78.45/79.67	o 1650
78.55/79.74	o 1649
78.55/79.76	o 1648
78.55/79.77	o 1647
78.55/79.78	o 1645
78.55/79.79	o 1644
78.65/79.82	o 1643
78.65/79.85	o 1642
78.65/79.87	o 1640
78.65/79.88	o 1639
78.75/79.91	o 1638
78.75/79.96	o 1636
78.75/79.98	o 1634
78.75/79.99	o 1633
78.84/80.00	o 1632
78.84/80.01	o 1631
78.84/80.05	o 1630
78.84/80.07	o 1629
78.94/80.10	o 1628
78.94/80.11	o 1627
78.94/80.17	o 1626
78.94/80.18	o 1624
79.05/80.21	o 1622
79.05/80.25	o 1620
79.05/80.26	o 1619
79.05/80.27	o 1618
79.05/80.30	o 1617
79.15/80.31	o 1616
79.15/80.33	o 1614
79.15/80.35	o 1613
79.15/80.36	o 1612
79.15/80.37	o 1611
79.15/80.38	o 1610
79.15/80.39	o 1609
79.24/80.40	o 1608
79.24/80.41	o 1607
79.24/80.42	o 1606
79.24/80.43	o 1605
79.34/80.55	o 1604
79.34/80.56	o 1603
79.34/80.57	o 1602
79.34/80.60	o 1601
79.43/80.61	o 1600
79.43/80.63	o 1598
79.43/80.65	o 1597
79.43/80.67	o 1596
79.53/80.72	o 1595
79.53/80.73	o 1594
79.53/80.76	o 1592
79.64/80.82	o 1591
79.64/80.83	o 1590
79.64/80.85	o 1588
79.64/80.86	o 1587
79.64/80.88	o 1586
79.64/80.89	o 1583
79.74/80.92	o 1582
79.83/81.01	o 1581
79.83/81.02	o 1580
79.83/81.03	o 1579
79.83/81.05	o 1578
79.83/81.07	o 1577
79.83/81.09	o 1576
79.93/81.11	o 1575
79.93/81.11	o 1574
79.93/81.12	o 1573
79.93/81.15	o 1572
79.93/81.16	o 1571
79.93/81.17	o 1570
79.93/81.18	o 1569
79.93/81.19	o 1568
80.03/81.21	o 1567
80.13/81.30	o 1566
80.13/81.32	o 1565
80.13/81.33	o 1563
80.13/81.34	o 1562
80.13/81.35	o 1560
80.13/81.40	o 1559
80.22/81.41	o 1558
80.22/81.42	o 1557
80.22/81.44	o 1556
80.22/81.47	o 1555
80.22/81.48	o 1554
80.22/81.49	o 1553
80.22/81.50	o 1552
80.33/81.55	o 1551
80.33/81.56	o 1550
80.33/81.57	o 1549
80.33/81.58	o 1548
80.33/81.59	o 1547
80.33/81.60	o 1546
80.43/81.62	o 1543
80.43/81.63	o 1542
80.43/81.64	o 1541
80.43/81.66	o 1540
80.43/81.67	o 1538
80.43/81.68	o 1537
80.43/81.69	o 1535
80.52/81.71	o 1534
80.52/81.72	o 1533
80.52/81.73	o 1532
80.52/81.74	o 1531
80.52/81.76	o 1530
80.52/81.79	o 1529
80.62/81.87	o 1528
80.62/81.88	o 1527
80.62/81.89	o 1526
80.62/81.90	o 1525
80.71/81.97	o 1524
80.71/81.97	o 1523
80.71/81.99	o 1522
80.81/82.01	o 1521
80.81/82.02	o 1520
80.81/82.03	o 1519
80.81/82.04	o 1518
80.81/82.06	o 1517
80.91/82.10	o 1516
80.91/82.12	o 1514
80.91/82.13	o 1513
80.91/82.15	o 1511
80.91/82.16	o 1509
80.91/82.18	o 1507
81.02/82.21	o 1505
81.02/82.22	o 1503
81.02/82.27	o 1501
81.02/82.28	o 1500
81.12/82.32	o 1499
81.12/82.33	o 1498
81.12/82.34	o 1497
81.12/82.35	o 1496
81.12/82.36	o 1495
81.12/82.39	o 1494
81.22/82.41	o 1493
81.22/82.46	o 1491
81.22/82.48	o 1490
81.22/82.49	o 1489
81.31/82.53	o 1488
81.31/82.54	o 1487
81.31/82.55	o 1482
81.31/82.56	o 1480
81.31/82.57	o 1478
81.31/82.58	o 1477
81.31/82.59	o 1476
81.31/82.60	o 1475
81.41/82.61	o 1474
81.41/82.62	o 1473
81.41/82.62	o 1472
81.41/82.64	o 1470
81.41/82.67	o 1469
81.41/82.68	o 1468
81.41/82.69	o 1467
81.50/82.71	o 1466
81.50/82.74	o 1465
81.50/82.75	o 1464
81.50/82.76	o 1460
81.50/82.77	o 1459
81.50/82.78	o 1458
81.60/82.80	o 1457
81.60/82.82	o 1456
81.60/82.83	o 1454
81.60/82.84	o 1452
81.60/82.86	o 1451
81.60/82.87	o 1449
81.60/82.89	o 1447
81.70/82.91	o 1446
81.70/82.92	o 1445
81.70/82.93	o 1444
81.70/82.95	o 1443
81.70/82.97	o 1441
81.70/82.98	o 1440
81.70/82.99	o 1439
81.81/83.01	o 1438
81.81/83.02	o 1437
81.81/83.03	o 1436
81.81/83.04	o 1435
81.81/83.05	o 1434
81.81/83.06	o 1433
81.81/83.07	o 1432
81.81/83.08	o 1431
81.81/83.09	o 1430
81.90/83.10	o 1429
81.90/83.11	o 1428
81.90/83.13	o 1427
81.90/83.14	o 1426
81.90/83.15	o 1425
81.90/83.16	o 1424
81.90/83.17	o 1423
81.90/83.18	o 1422
81.90/83.20	o 1421
82.00/83.21	o 1420
82.00/83.22	o 1419
82.00/83.23	o 1417
82.00/83.24	o 1416
82.00/83.26	o 1415
82.00/83.29	o 1414
82.10/83.32	o 1413
82.10/83.33	o 1412
82.10/83.34	o 1411
82.10/83.35	o 1410
82.10/83.36	o 1409
82.10/83.37	o 1408
82.10/83.38	o 1407
82.10/83.39	o 1406
82.19/83.42	o 1405
82.19/83.43	o 1404
82.19/83.45	o 1403
82.19/83.46	o 1402
82.19/83.47	o 1401
82.19/83.49	o 1400
82.29/83.51	o 1399
82.29/83.52	o 1397
82.29/83.53	o 1396
82.29/83.54	o 1394
82.29/83.55	o 1392
82.29/83.56	o 1389
82.29/83.58	o 1388
82.29/83.59	o 1387
82.29/83.60	o 1385
82.39/83.61	o 1384
82.39/83.63	o 1383
82.39/83.65	o 1382
82.39/83.66	o 1381
82.39/83.67	o 1380
82.39/83.68	o 1379
82.39/83.69	o 1378
82.49/83.70	o 1377
82.49/83.71	o 1376
82.49/83.75	o 1375
82.49/83.77	o 1374
82.49/83.78	o 1373
82.49/83.79	o 1372
82.59/83.81	o 1370
82.59/83.82	o 1369
82.59/83.83	o 1368
82.59/83.85	o 1367
82.59/83.86	o 1366
82.59/83.86	o 1365
82.59/83.87	o 1364
82.68/83.90	o 1363
82.68/83.91	o 1361
82.68/83.93	o 1360
82.68/83.94	o 1358
82.68/83.95	o 1357
82.68/83.96	o 1356
82.68/83.97	o 1354
82.68/83.98	o 1353
82.78/84.02	o 1351
82.78/84.03	o 1350
82.78/84.04	o 1349
82.78/84.04	o 1347
82.78/84.07	o 1345
82.78/84.08	o 1344
82.78/84.09	o 1343
82.88/84.11	o 1342
82.88/84.12	o 1341
82.88/84.13	o 1340
82.88/84.14	o 1339
82.88/84.15	o 1338
82.88/84.16	o 1337
82.88/84.17	o 1335
82.88/84.19	o 1333
82.98/84.21	o 1332
82.98/84.23	o 1331
82.98/84.25	o 1330
82.98/84.26	o 1329
82.98/84.27	o 1327
82.98/84.27	o 1326
82.98/84.28	o 1325
82.98/84.29	o 1324
83.08/84.30	o 1322
83.08/84.31	o 1321
83.08/84.32	o 1318
83.08/84.33	o 1313
83.08/84.33	o 1311
83.08/84.34	o 1310
83.08/84.35	o 1309
83.08/84.36	o 1308
83.08/84.37	o 1307
83.08/84.38	o 1306
83.08/84.38	o 1305
83.18/84.42	o 1303
83.18/84.43	o 1302
83.18/84.44	o 1301
83.18/84.45	o 1300
83.18/84.46	o 1299
83.18/84.48	o 1297
83.28/84.51	o 1296
83.28/84.52	o 1295
83.28/84.55	o 1294
83.28/84.56	o 1292
83.28/84.57	o 1291
83.28/84.58	o 1290
83.28/84.59	o 1289
83.28/84.59	o 1288
83.38/84.61	o 1287
83.38/84.62	o 1286
83.38/84.63	o 1285
83.38/84.68	o 1284
83.38/84.69	o 1282
83.38/84.69	o 1281
83.47/84.72	o 1280
83.47/84.75	o 1279
83.47/84.77	o 1278
83.47/84.78	o 1277
83.47/84.79	o 1276
83.58/84.80	o 1275
83.58/84.81	o 1274
83.58/84.82	o 1273
83.58/84.83	o 1271
83.58/84.84	o 1269
83.58/84.85	o 1268
83.58/84.87	o 1267
83.58/84.87	o 1266
83.58/84.88	o 1264
83.58/84.89	o 1263
83.67/84.90	o 1262
83.67/84.91	o 1260
83.67/84.92	o 1259
83.67/84.93	o 1258
83.67/84.93	o 1256
83.67/84.95	o 1255
83.67/84.96	o 1254
83.67/84.98	o 1253
83.67/84.99	o 1252
83.76/85.01	o 1250
83.76/85.02	o 1248
83.76/85.03	o 1246
83.76/85.04	o 1245
83.76/85.05	o 1244
83.76/85.06	o 1243
83.76/85.07	o 1241
83.76/85.09	o 1240
83.76/85.09	o 1239
83.86/85.10	o 1237
83.86/85.11	o 1236
83.86/85.12	o 1234
83.86/85.14	o 1233
83.86/85.15	o 1231
83.86/85.17	o 1229
83.86/85.18	o 1227
83.86/85.19	o 1225
83.96/85.20	o 1223
83.96/85.22	o 1221
83.96/85.22	o 1220
83.96/85.24	o 1219
83.96/85.25	o 1218
83.96/85.25	o 1216
83.96/85.26	o 1215
83.96/85.28	o 1214
84.06/85.30	o 1213
84.06/85.31	o 1211
84.06/85.32	o 1210
84.06/85.32	o 1209
84.06/85.34	o 1207
84.06/85.35	o 1206
84.06/85.36	o 1205
84.06/85.37	o 1203
84.06/85.38	o 1202
84.06/85.38	o 1200
84.16/85.41	o 1198
84.16/85.42	o 1197
84.16/85.43	o 1196
84.16/85.44	o 1195
84.16/85.46	o 1194
84.16/85.47	o 1193
84.16/85.48	o 1192
84.16/85.48	o 1191
84.26/85.50	o 1189
84.26/85.51	o 1188
84.26/85.53	o 1187
84.26/85.56	o 1186
84.26/85.57	o 1185
84.26/85.59	o 1183
84.36/85.63	o 1182
84.36/85.63	o 1180
84.36/85.64	o 1179
84.36/85.68	o 1178
84.36/85.69	o 1177
84.46/85.70	o 1176
84.46/85.73	o 1174
84.46/85.74	o 1173
84.46/85.75	o 1172
84.46/85.75	o 1170
84.46/85.77	o 1169
84.46/85.80	o 1167
84.56/85.81	o 1165
84.56/85.81	o 1164
84.56/85.83	o 1163
84.56/85.84	o 1162
84.56/85.85	o 1161
84.56/85.87	o 1160
84.56/85.87	o 1158
84.65/85.91	o 1157
84.65/85.92	o 1155
84.65/85.93	o 1154
84.65/85.94	o 1153
84.65/85.95	o 1152
84.65/85.96	o 1150
84.65/85.97	o 1149
84.65/85.98	o 1148
84.65/85.98	o 1147
84.75/86.00	o 1146
84.75/86.01	o 1145
84.75/86.03	o 1144
84.75/86.04	o 1143
84.75/86.05	o 1142
84.75/86.07	o 1141
84.75/86.07	o 1140
84.75/86.08	o 1139
84.75/86.09	o 1137
84.84/86.11	o 1134
84.84/86.11	o 1133
84.84/86.13	o 1132
84.84/86.14	o 1131
84.84/86.15	o 1130
84.84/86.16	o 1129
84.84/86.16	o 1128
84.84/86.17	o 1127
84.84/86.18	o 1126
84.84/86.19	o 1125
84.95/86.20	o 1124
84.95/86.22	o 1119
84.95/86.22	o 1117
84.95/86.23	o 1115
84.95/86.24	o 1114
84.95/86.25	o 1113
84.95/86.25	o 1112
84.95/86.27	o 1111
84.95/86.27	o 1110
84.95/86.29	o 1108
85.05/86.30	o 1107
85.05/86.31	o 1106
85.05/86.31	o 1104
85.05/86.33	o 1103
85.05/86.33	o 1101
85.05/86.34	o 1099
85.05/86.35	o 1097
85.05/86.37	o 1095
85.05/86.38	o 1094
85.05/86.39	o 1093
85.15/86.42	o 1092
85.15/86.43	o 1091
85.15/86.44	o 1090
85.15/86.45	o 1089
85.15/86.47	o 1088
85.15/86.47	o 1087
85.15/86.48	o 1086
85.24/86.51	o 1085
85.24/86.53	o 1084
85.24/86.56	o 1083
85.24/86.57	o 1082
85.24/86.58	o 1081
85.24/86.59	o 1080
85.34/86.61	o 1079
85.34/86.63	o 1078
85.34/86.64	o 1076
85.34/86.66	o 1075
85.34/86.67	o 1074
85.34/86.68	o 1073
85.34/86.69	o 1072
85.45/86.70	o 1070
85.45/86.71	o 1069
85.45/86.72	o 1068
85.45/86.73	o 1067
85.45/86.74	o 1065
85.45/86.76	o 1063
85.45/86.76	o 1062
85.45/86.78	o 1061
85.45/86.78	o 1060
85.45/86.79	o 1059
85.54/86.81	o 1058
85.54/86.82	o 1057
85.54/86.82	o 1056
85.54/86.83	o 1054
85.54/86.84	o 1053
85.54/86.85	o 1051
85.54/86.86	o 1050
85.54/86.87	o 1049
85.54/86.87	o 1048
85.54/86.88	o 1047
85.54/86.89	o 1046
85.54/86.90	o 1045
85.64/86.92	o 1044
85.64/86.93	o 1042
85.64/86.94	o 1041
85.64/86.95	o 1040
85.64/86.96	o 1039
85.64/86.97	o 1037
85.64/86.98	o 1035
85.64/86.99	o 1034
85.73/87.00	o 1033
85.73/87.01	o 1032
85.73/87.03	o 1031
85.73/87.03	o 1030
85.73/87.04	o 1029
85.73/87.05	o 1028
85.73/87.06	o 1027
85.73/87.07	o 1026
85.73/87.09	o 1025
85.73/87.09	o 1024
85.83/87.11	o 1022
85.83/87.11	o 1018
85.83/87.12	o 1016
85.83/87.13	o 1015
85.83/87.15	o 1013
85.83/87.16	o 1012
85.83/87.17	o 1011
85.83/87.18	o 1010
85.83/87.19	o 1009
85.92/87.22	o 1008
85.92/87.24	o 1007
85.92/87.25	o 1006
85.92/87.26	o 1005
85.92/87.27	o 1004
85.92/87.27	o 1003
85.92/87.29	o 1002
86.02/87.30	o 1001
86.02/87.31	o 1000
86.02/87.31	o 999
86.02/87.33	o 998
86.02/87.34	o 996
86.02/87.35	o 995
86.02/87.35	o 993
86.02/87.36	o 992
86.02/87.38	o 991
86.02/87.38	o 990
86.02/87.39	o 989
86.12/87.40	o 988
86.12/87.41	o 987
86.12/87.42	o 986
86.12/87.42	o 985
86.12/87.43	o 984
86.12/87.44	o 983
86.12/87.45	o 982
86.12/87.46	o 979
86.12/87.48	o 978
86.12/87.49	o 977
86.22/87.50	o 976
86.22/87.51	o 975
86.22/87.52	o 972
86.22/87.53	o 970
86.22/87.53	o 969
86.22/87.54	o 968
86.22/87.55	o 966
86.22/87.56	o 965
86.22/87.56	o 964
86.22/87.58	o 963
86.22/87.59	o 962
86.32/87.60	o 961
86.32/87.62	o 960
86.32/87.63	o 959
86.32/87.64	o 958
86.32/87.65	o 957
86.32/87.67	o 956
86.32/87.67	o 955
86.32/87.68	o 954
86.32/87.69	o 953
86.42/87.70	o 952
86.42/87.71	o 951
86.42/87.72	o 950
86.42/87.72	o 949
86.42/87.74	o 947
86.42/87.74	o 946
86.42/87.75	o 945
86.42/87.76	o 943
86.42/87.78	o 941
86.42/87.80	o 939
86.51/87.80	o 938
86.51/87.81	o 937
86.51/87.82	o 936
86.51/87.83	o 935
86.51/87.84	o 934
86.51/87.85	o 933
86.51/87.86	o 932
86.51/87.86	o 931
86.51/87.89	o 930
86.62/87.91	o 929
86.62/87.92	o 928
86.62/87.93	o 926
86.62/87.94	o 925
86.62/87.95	o 924
86.62/87.96	o 923
86.62/87.97	o 922
86.62/87.99	o 921
86.62/88.00	o 920
86.72/88.01	o 919
86.72/88.02	o 916
86.72/88.03	o 915
86.72/88.04	o 914
86.72/88.05	o 912
86.72/88.08	o 911
86.72/88.09	o 910
86.72/88.09	o 909
86.81/88.10	o 908
86.81/88.11	o 907
86.81/88.12	o 906
86.81/88.12	o 905
86.81/88.13	o 904
86.81/88.14	o 903
86.81/88.15	o 902
86.81/88.16	o 901
86.81/88.17	o 900
86.81/88.19	o 899
86.81/88.19	o 898
86.91/88.21	o 897
86.91/88.21	o 896
86.91/88.22	o 895
86.91/88.23	o 894
86.91/88.25	o 892
86.91/88.25	o 891
86.91/88.26	o 890
86.91/88.28	o 889
86.91/88.28	o 888
86.91/88.29	o 887
87.00/88.30	o 886
87.00/88.31	o 885
87.00/88.32	o 884
87.00/88.32	o 883
87.00/88.33	o 882
87.00/88.34	o 881
87.00/88.36	o 880
87.00/88.37	o 878
87.00/88.37	o 877
87.00/88.38	o 876
87.00/88.39	o 875
87.10/88.40	o 874
87.10/88.41	o 873
87.10/88.42	o 872
87.10/88.43	o 871
87.10/88.44	o 869
87.10/88.45	o 867
87.10/88.46	o 866
87.10/88.47	o 865
87.10/88.48	o 864
87.10/88.49	o 863
87.20/88.50	o 862
87.20/88.52	o 861
87.20/88.52	o 860
87.20/88.53	o 859
87.20/88.58	o 858
87.20/88.59	o 857
87.30/88.60	o 856
87.30/88.61	o 855
87.30/88.62	o 854
87.30/88.63	o 853
87.30/88.63	o 852
87.30/88.65	o 851
87.30/88.66	o 850
87.30/88.67	o 849
87.30/88.67	o 848
87.30/88.69	o 847
87.40/88.70	o 846
87.40/88.71	o 845
87.40/88.72	o 844
87.40/88.72	o 843
87.40/88.73	o 842
87.40/88.75	o 841
87.40/88.76	o 840
87.40/88.77	o 839
87.40/88.78	o 838
87.40/88.78	o 837
87.40/88.79	o 836
87.50/88.81	o 835
87.50/88.82	o 834
87.50/88.83	o 833
87.50/88.85	o 832
87.50/88.86	o 831
87.50/88.87	o 830
87.50/88.88	o 829
87.50/88.89	o 828
87.59/88.90	o 827
87.59/88.91	o 821
87.59/88.91	o 820
87.59/88.93	o 819
87.59/88.94	o 818
87.59/88.95	o 817
87.59/88.95	o 816
87.59/88.96	o 815
87.59/88.97	o 814
87.59/88.98	o 812
87.59/88.99	o 811
87.70/89.00	o 810
87.70/89.01	o 809
87.70/89.02	o 808
87.70/89.03	o 807
87.70/89.04	o 806
87.70/89.05	o 805
87.70/89.06	o 804
87.70/89.06	o 803
87.70/89.07	o 802
87.70/89.08	o 801
87.70/89.09	o 800
87.79/89.11	o 799
87.79/89.12	o 798
87.79/89.13	o 797
87.79/89.14	o 796
87.79/89.15	o 794
87.79/89.15	o 792
87.79/89.16	o 790
87.79/89.16	o 789
87.79/89.17	o 787
87.79/89.18	o 786
87.79/89.18	o 784
87.79/89.19	o 783
87.89/89.20	o 782
87.89/89.21	o 780
87.89/89.22	o 778
87.89/89.23	o 777
87.89/89.24	o 774
87.89/89.25	o 773
87.89/89.26	o 772
87.89/89.26	o 771
87.89/89.27	o 770
87.89/89.29	o 769
87.99/89.30	o 768
87.99/89.31	o 767
87.99/89.31	o 766
87.99/89.32	o 765
87.99/89.33	o 764
87.99/89.35	o 762
87.99/89.35	o 761
87.99/89.36	o 760
87.99/89.37	o 759
87.99/89.38	o 757
87.99/89.39	o 756
87.99/89.39	o 755
88.08/89.40	o 754
88.08/89.41	o 753
88.08/89.42	o 752
88.08/89.42	o 751
88.08/89.43	o 750
88.08/89.44	o 749
88.08/89.45	o 748
88.08/89.45	o 747
88.08/89.46	o 746
88.08/89.47	o 745
88.08/89.48	o 744
88.18/89.50	o 743
88.18/89.51	o 742
88.18/89.51	o 741
88.18/89.52	o 740
88.18/89.53	o 739
88.18/89.55	o 738
88.18/89.56	o 736
88.18/89.56	o 735
88.18/89.57	o 734
88.18/89.58	o 733
88.18/89.59	o 732
88.28/89.60	o 731
88.28/89.61	o 730
88.28/89.61	o 729
88.28/89.62	o 728
88.28/89.64	o 727
88.28/89.64	o 726
88.28/89.65	o 725
88.28/89.66	o 724
88.28/89.67	o 723
88.28/89.67	o 722
88.28/89.68	o 721
88.28/89.69	o 720
88.28/89.70	o 719
88.38/89.70	o 718
88.38/89.71	o 717
88.38/89.72	o 716
88.38/89.73	o 715
88.38/89.73	o 714
88.38/89.74	o 713
88.38/89.75	o 712
88.38/89.76	o 711
88.38/89.76	o 710
88.38/89.78	o 709
88.38/89.78	o 708
88.38/89.79	o 707
88.48/89.80	o 706
88.48/89.81	o 705
88.48/89.81	o 704
88.48/89.82	o 703
88.48/89.83	o 702
88.48/89.84	o 701
88.48/89.84	o 700
88.48/89.85	o 699
88.48/89.86	o 698
88.48/89.87	o 697
88.48/89.87	o 696
88.48/89.88	o 695
88.48/89.89	o 694
88.58/89.90	o 693
88.58/89.91	o 692
88.58/89.92	o 691
88.58/89.92	o 690
88.58/89.93	o 689
88.58/89.94	o 688
88.58/89.95	o 687
88.58/89.95	o 686
88.58/89.96	o 685
88.58/89.97	o 684
88.58/89.98	o 683
88.58/89.98	o 682
88.58/89.99	o 681
88.67/90.00	o 680
88.67/90.01	o 679
88.67/90.01	o 678
88.67/90.02	o 677
88.67/90.03	o 676
88.67/90.04	o 675
88.67/90.05	o 674
88.67/90.06	o 673
88.67/90.06	o 672
88.67/90.07	o 671
88.67/90.08	o 670
88.67/90.09	o 669
88.67/90.09	o 668
88.77/90.11	o 667
88.77/90.11	o 666
88.77/90.12	o 665
88.77/90.13	o 664
88.77/90.14	o 663
88.77/90.14	o 662
88.77/90.15	o 661
88.77/90.16	o 660
88.77/90.17	o 659
88.77/90.17	o 658
88.77/90.18	o 657
88.77/90.19	o 656
88.77/90.20	o 655
88.87/90.21	o 654
88.87/90.22	o 653
88.87/90.22	o 652
88.87/90.23	o 651
88.87/90.24	o 650
88.87/90.25	o 649
88.87/90.25	o 648
88.87/90.26	o 647
88.87/90.27	o 646
88.87/90.28	o 645
88.87/90.28	o 644
88.87/90.29	o 643
88.96/90.30	o 642
88.96/90.31	o 641
88.96/90.31	o 640
88.96/90.32	o 639
88.96/90.33	o 638
88.96/90.34	o 637
88.96/90.35	o 636
88.96/90.35	o 635
88.96/90.36	o 634
88.96/90.37	o 633
88.96/90.38	o 632
88.96/90.38	o 631
88.96/90.39	o 630
89.06/90.40	o 629
89.06/90.41	o 628
89.06/90.41	o 627
89.06/90.42	o 626
89.06/90.43	o 625
89.06/90.45	o 624
89.06/90.46	o 623
89.06/90.47	o 622
89.06/90.47	o 621
89.06/90.48	o 620
89.06/90.49	o 619
89.06/90.49	o 618
89.16/90.50	o 617
89.16/90.51	o 616
89.16/90.52	o 615
89.16/90.53	o 614
89.16/90.53	o 613
89.16/90.54	o 612
89.16/90.55	o 611
89.16/90.56	o 610
89.16/90.56	o 609
89.16/90.57	o 608
89.16/90.58	o 607
89.16/90.59	o 606
89.26/90.60	o 605
89.26/90.61	o 604
89.26/90.61	o 603
89.26/90.63	o 602
89.26/90.63	o 601
89.26/90.65	o 600
89.26/90.66	o 599
89.26/90.66	o 598
89.26/90.67	o 597
89.26/90.68	o 596
89.26/90.69	o 595
89.35/90.70	o 594
89.35/90.71	o 593
89.35/90.73	o 592
89.35/90.73	o 591
89.35/90.74	o 590
89.35/90.75	o 589
89.35/90.76	o 588
89.35/90.76	o 587
89.35/90.77	o 586
89.35/90.78	o 585
89.35/90.79	o 584
89.35/90.79	o 583
89.45/90.80	o 582
89.45/90.81	o 581
89.45/90.82	o 580
89.45/90.82	o 579
89.45/90.83	o 578
89.45/90.84	o 577
89.45/90.85	o 576
89.45/90.86	o 575
89.45/90.87	o 574
89.45/90.87	o 573
89.45/90.88	o 572
89.45/90.89	o 571
89.56/90.90	o 570
89.56/90.91	o 569
89.56/90.92	o 568
89.56/90.93	o 567
89.56/90.93	o 566
89.56/90.94	o 565
89.56/90.96	o 564
89.56/90.97	o 563
89.56/90.98	o 562
89.56/90.98	o 561
89.56/90.99	o 560
89.65/91.00	o 559
89.65/91.01	o 558
89.65/91.02	o 557
89.65/91.03	o 556
89.65/91.04	o 555
89.65/91.04	o 554
89.65/91.05	o 553
89.65/91.06	o 552
89.65/91.07	o 551
89.65/91.08	o 550
89.65/91.09	o 549
89.75/91.10	o 548
89.75/91.11	o 547
89.75/91.12	o 546
89.75/91.13	o 545
89.75/91.14	o 544
89.75/91.15	o 543
89.75/91.16	o 542
89.75/91.17	o 541
89.75/91.17	o 540
89.75/91.19	o 539
89.75/91.20	o 538
89.85/91.22	o 537
89.85/91.23	o 536
89.85/91.24	o 535
89.85/91.25	o 534
89.85/91.26	o 533
89.85/91.30	o 532
89.95/91.30	o 531
89.95/91.31	o 530
89.95/91.32	o 529
89.95/91.35	o 528
89.95/91.36	o 527
89.95/91.36	o 526
89.95/91.37	o 525
89.95/91.38	o 524
89.95/91.39	o 523
90.05/91.40	o 522
90.05/91.41	o 521
90.05/91.42	o 520
90.05/91.43	o 519
90.05/91.45	o 518
90.05/91.45	o 517
90.05/91.46	o 516
90.05/91.48	o 515
90.05/91.48	o 514
90.05/91.49	o 513
90.15/91.50	o 512
90.15/91.51	o 511
90.15/91.51	o 510
90.15/91.52	o 509
90.15/91.53	o 508
90.15/91.54	o 507
90.15/91.55	o 506
90.15/91.56	o 505
90.15/91.57	o 504
90.15/91.59	o 503
90.15/91.59	o 502
90.24/91.60	o 501
90.24/91.61	o 500
90.24/91.62	o 499
90.24/91.63	o 498
90.24/91.65	o 497
90.24/91.66	o 496
90.24/91.68	o 495
90.24/91.69	o 494
90.24/91.69	o 493
90.34/91.70	o 492
90.34/91.72	o 491
90.34/91.73	o 490
90.34/91.74	o 489
90.34/91.75	o 488
90.34/91.76	o 486
90.34/91.77	o 485
90.34/91.78	o 484
90.44/91.81	o 483
90.44/91.83	o 482
90.44/91.84	o 481
90.44/91.84	o 480
90.44/91.85	o 479
90.44/91.86	o 478
90.44/91.88	o 477
90.44/91.90	o 476
90.54/91.91	o 475
90.54/91.91	o 474
90.54/91.92	o 473
90.54/91.93	o 472
90.54/91.94	o 471
90.54/91.94	o 470
90.54/91.95	o 469
90.54/91.98	o 468
90.54/91.99	o 467
90.64/92.01	o 466
90.64/92.04	o 465
90.64/92.05	o 464
90.64/92.05	o 463
90.64/92.06	o 462
90.64/92.07	o 461
90.64/92.08	o 460
90.64/92.09	o 459
90.74/92.10	o 458
90.74/92.11	o 457
90.74/92.12	o 456
90.74/92.13	o 455
90.74/92.15	o 454
90.74/92.16	o 453
90.74/92.17	o 452
90.74/92.18	o 451
90.74/92.19	o 450
90.83/92.20	o 449
90.83/92.21	o 448
90.83/92.22	o 447
90.83/92.24	o 446
90.83/92.25	o 445
90.83/92.26	o 444
90.83/92.27	o 443
90.83/92.28	o 442
90.93/92.31	o 441
90.93/92.32	o 440
90.93/92.33	o 439
90.93/92.33	o 438
90.93/92.34	o 437
90.93/92.36	o 436
90.93/92.37	o 435
90.93/92.38	o 434
90.93/92.38	o 433
90.93/92.39	o 432
90.93/92.40	o 431
91.04/92.41	o 430
91.04/92.42	o 429
91.04/92.42	o 428
91.04/92.43	o 427
91.04/92.44	o 426
91.04/92.44	o 425
91.04/92.46	o 424
91.04/92.46	o 423
91.04/92.47	o 422
91.04/92.48	o 421
91.04/92.49	o 420
91.13/92.50	o 419
91.13/92.51	o 418
91.13/92.52	o 417
91.13/92.53	o 416
91.13/92.53	o 415
91.13/92.54	o 414
91.13/92.56	o 413
91.13/92.57	o 412
91.13/92.58	o 411
91.13/92.58	o 410
91.13/92.59	o 409
91.23/92.60	o 408
91.23/92.62	o 406
91.23/92.63	o 405
91.23/92.69	o 404
91.32/92.71	o 403
91.32/92.72	o 402
91.32/92.73	o 401
91.32/92.74	o 400
91.32/92.74	o 399
91.32/92.75	o 398
91.32/92.76	o 397
91.32/92.77	o 396
91.32/92.78	o 395
91.32/92.79	o 394
91.32/92.80	o 393
91.42/92.81	o 392
91.42/92.81	o 391
91.42/92.82	o 390
91.42/92.83	o 389
91.42/92.84	o 388
91.42/92.85	o 387
91.42/92.86	o 386
91.42/92.86	o 385
91.42/92.87	o 384
91.42/92.88	o 383
91.42/92.89	o 382
91.42/92.89	o 381
91.52/92.90	o 380
91.52/92.92	o 379
91.52/92.94	o 378
91.52/92.95	o 377
91.52/92.96	o 376
91.52/92.96	o 375
91.52/92.98	o 374
91.52/92.99	o 373
91.52/92.99	o 372
91.62/93.00	o 371
91.62/93.01	o 370
91.62/93.02	o 369
91.62/93.02	o 368
91.62/93.03	o 367
91.62/93.04	o 366
91.62/93.05	o 365
91.62/93.06	o 364
91.62/93.07	o 363
91.62/93.08	o 362
91.62/93.09	o 361
91.72/93.10	o 360
91.72/93.11	o 359
91.72/93.12	o 358
91.72/93.13	o 357
91.72/93.13	o 356
91.72/93.14	o 355
91.72/93.16	o 354
91.72/93.16	o 353
91.72/93.17	o 352
91.72/93.18	o 351
91.72/93.19	o 350
91.82/93.21	o 349
91.82/93.22	o 348
91.82/93.23	o 347
91.82/93.24	o 346
91.82/93.25	o 345
91.82/93.26	o 344
91.82/93.27	o 343
91.82/93.28	o 342
91.82/93.28	o 341
91.82/93.29	o 340
91.92/93.30	o 339
91.92/93.33	o 338
91.92/93.33	o 337
91.92/93.34	o 336
91.92/93.35	o 335
91.92/93.36	o 334
91.92/93.37	o 333
91.92/93.37	o 332
91.92/93.38	o 331
91.92/93.39	o 330
92.01/93.40	o 329
92.01/93.42	o 328
92.01/93.43	o 327
92.01/93.44	o 326
92.01/93.45	o 325
92.01/93.48	o 324
92.01/93.49	o 323
92.01/93.50	o 322
92.11/93.51	o 321
92.11/93.52	o 320
92.11/93.53	o 319
92.11/93.54	o 318
92.11/93.54	o 317
92.11/93.55	o 316
92.11/93.56	o 315
92.11/93.56	o 314
92.11/93.57	o 313
92.20/93.61	o 312
92.20/93.62	o 311
92.20/93.62	o 310
92.20/93.64	o 309
92.20/93.64	o 308
92.20/93.66	o 307
92.20/93.67	o 306
92.20/93.67	o 305
92.20/93.69	o 304
92.31/93.70	o 303
92.31/93.71	o 302
92.31/93.73	o 301
92.31/93.73	o 300
92.31/93.77	o 299
92.40/93.80	o 298
92.40/93.81	o 297
92.40/93.82	o 296
92.40/93.84	o 295
92.40/93.85	o 294
92.40/93.86	o 293
92.40/93.87	o 292
92.40/93.88	o 291
92.40/93.88	o 290
92.50/93.90	o 289
92.50/93.91	o 288
92.50/93.91	o 287
92.50/93.92	o 286
92.50/93.93	o 285
92.50/93.95	o 284
92.50/93.96	o 283
92.60/94.01	o 282
92.80/94.26	o 281
93.00/94.44	o 280
93.10/94.55	o 279
93.10/94.58	o 278
93.20/94.68	o 277
93.29/94.71	o 276
93.29/94.72	o 275
93.40/94.85	o 274
93.49/94.93	o 273
93.59/95.01	o 272
93.59/95.07	o 271
93.69/95.10	o 270
93.69/95.12	o 269
93.89/95.31	o 268
93.89/95.32	o 267
93.89/95.33	o 266
93.89/95.34	o 265
93.89/95.37	o 264
93.99/95.40	o 263
94.09/95.51	o 262
94.09/95.54	o 261
94.09/95.58	o 260
94.09/95.58	o 259
94.19/95.62	o 258
94.19/95.66	o 257
94.29/95.73	o 256
94.29/95.76	o 255
94.38/95.86	o 254
94.48/95.93	o 253
94.48/95.95	o 252
94.48/95.98	o 251
94.48/95.99	o 250
94.67/96.14	o 249
94.67/96.14	o 248
94.67/96.15	o 247
94.67/96.16	o 246
94.67/96.16	o 245
94.78/96.22	o 244
94.78/96.26	o 243
94.78/96.27	o 242
94.87/96.40	o 241
95.07/96.50	o 240
95.07/96.55	o 239
95.07/96.56	o 238
95.17/96.61	o 237
95.17/96.64	o 236
95.17/96.67	o 235
95.27/96.71	o 234
95.37/96.80	o 233
95.37/96.81	o 232
95.56/97.07	o 231
95.56/97.08	o 230
95.66/97.16	o 229
95.96/97.42	o 228
96.06/97.56	o 227
96.36/97.82	o 226
96.36/97.82	o 225
96.46/97.94	o 224
96.46/97.96	o 223
96.55/98.04	o 222
96.65/98.10	o 221
96.74/98.28	o 220
96.95/98.42	o 219
96.95/98.43	o 218
96.95/98.44	o 217
97.04/98.50	o 216
97.15/98.61	o 215
97.15/98.63	o 214
97.25/98.75	o 213
97.45/98.95	o 212
97.45/98.97	o 211
97.55/99.03	o 210
97.55/99.04	o 209
97.55/99.06	o 208
97.55/99.08	o 207
97.75/99.25	o 206
97.75/99.26	o 205
97.75/99.27	o 204
97.84/99.30	o 203
97.84/99.34	o 202
97.94/99.45	o 201
98.04/99.54	o 200
98.04/99.57	o 199
98.04/99.60	o 198
98.13/99.64	o 197
98.13/99.68	o 196
98.13/99.70	o 195
98.23/99.79	o 194
98.33/99.80	o 193
98.33/99.82	o 192
98.33/99.84	o 191
98.33/99.86	o 190
98.33/99.89	o 189
98.44/99.91	o 188
98.44/99.92	o 187
98.44/99.93	o 186
98.63/100.13	o 185
98.63/100.17	o 184
98.63/100.18	o 183
98.73/100.21	o 182
98.83/100.32	o 181
98.83/100.34	o 180
98.83/100.37	o 179
98.83/100.38	o 178
98.83/100.40	o 177
98.92/100.49	o 176
99.02/100.51	o 175
99.13/100.66	o 174
99.13/100.69	o 173
99.23/100.71	o 172
99.23/100.75	o 171
99.33/100.84	o 170
99.33/100.86	o 169
99.42/100.91	o 168
99.62/101.15	o 167
99.62/101.18	o 166
99.73/101.21	o 165
99.73/101.23	o 164
99.82/101.36	o 163
99.82/101.37	o 162
99.82/101.39	o 161
99.92/101.42	o 160
99.92/101.43	o 159
100.02/101.52	o 158
100.02/101.58	o 157
100.11/101.65	o 156
100.11/101.66	o 154
100.11/101.67	o 153
100.21/101.71	o 152
100.21/101.74	o 151
100.21/101.75	o 150
100.21/101.76	o 149
100.21/101.79	   
100.21/101.79	   search
100.21/101.79	     run=0  nbConstraintChecks=359567168  nbAssignments=10000
100.21/101.79	       =>  wckTime=100.224  cpuTime=98.72  mem=23M42
100.31/101.82	o 148
100.41/101.93	o 147
100.51/102.05	o 146
100.71/102.23	o 145
100.71/102.29	o 144
100.71/102.30	o 143
100.81/102.35	o 142
100.90/102.44	o 141
101.10/102.60	o 140
101.50/103.00	o 139
101.50/103.04	o 138
101.60/103.10	o 137
101.60/103.16	o 136
101.60/103.17	o 135
101.60/103.20	o 134
101.80/103.40	o 133
101.89/103.41	o 132
101.89/103.44	o 131
101.89/103.45	o 130
102.29/103.89	o 129
102.39/103.94	o 128
102.39/103.96	o 127
102.49/104.10	o 126
102.59/104.10	o 125
102.59/104.18	o 124
102.59/104.19	o 123
102.69/104.21	o 122
103.28/104.86	o 121
103.38/104.93	o 120
104.08/105.63	o 119
104.47/106.00	o 118
104.47/106.02	o 117
104.47/106.06	o 116
104.57/106.12	o 115
104.76/106.30	o 114
104.76/106.31	o 113
104.96/106.56	o 112
105.26/106.83	o 111
105.46/107.05	o 110
105.95/107.57	o 109
106.54/108.15	o 108
106.54/108.17	o 107
106.54/108.17	o 106
106.74/108.35	o 105
106.85/108.40	o 104
106.85/108.42	o 103
107.34/108.99	o 102
107.63/109.20	o 101
107.63/109.21	o 100
107.63/109.22	o 99
107.73/109.35	o 98
107.73/109.38	o 97
107.83/109.42	o 96
108.03/109.64	o 95
108.23/109.82	o 94
108.43/110.05	o 93
108.43/110.09	o 92
108.72/110.33	o 91
108.92/110.54	o 90
109.22/110.83	o 89
109.42/111.09	o 88
109.52/111.12	o 87
109.52/111.13	o 86
109.52/111.14	o 85
109.52/111.17	o 84
109.72/111.35	o 83
109.91/111.57	o 82
111.30/112.94	o 81
111.40/113.07	o 80
111.80/113.45	o 79
112.08/113.73	o 78
112.28/113.93	o 77
112.98/114.68	o 76
113.87/115.51	o 75
113.97/115.70	o 74
114.27/115.93	o 73
115.26/116.95	o 72
115.55/117.27	   
115.55/117.27	   search
115.55/117.27	     run=1  nbConstraintChecks=432050395  nbAssignments=20000
115.55/117.27	       =>  wckTime=115.702  cpuTime=114.03  mem=23M42
115.96/117.69	o 71
116.85/118.54	o 68
117.54/119.23	o 67
117.84/119.51	o 66
117.84/119.60	o 65
117.94/119.60	o 64
117.94/119.61	o 63
117.94/119.62	o 62
117.94/119.62	o 61
117.94/119.63	o 60
117.94/119.65	o 59
117.94/119.66	o 58
117.94/119.67	o 57
118.04/119.71	o 55
118.33/120.09	o 54
118.43/120.10	o 53
118.43/120.11	o 52
118.43/120.11	o 51
118.43/120.12	o 50
118.43/120.12	o 49
118.43/120.17	o 48
118.52/120.21	o 45
118.52/120.22	o 44
118.52/120.24	o 43
118.52/120.25	o 42
118.92/120.62	o 41
118.92/120.63	o 40
118.92/120.63	o 39
118.92/120.65	o 38
118.92/120.65	o 37
119.02/120.72	o 36
119.02/120.73	o 35
119.02/120.74	o 34
119.12/120.84	o 33
119.12/120.84	o 32
119.12/120.84	o 31
119.12/120.85	o 30
119.12/120.87	o 29
119.12/120.87	o 28
119.12/120.88	o 27
119.12/120.89	o 26
119.12/120.89	o 25
119.21/120.91	o 24
119.21/120.92	o 23
119.21/120.92	o 22
119.21/120.98	o 21
119.61/121.31	o 20
119.71/121.40	o 19
119.71/121.41	o 18
119.71/121.43	o 16
119.71/121.47	o 15
120.01/121.78	o 14
120.01/121.79	o 13
120.10/121.82	o 12
120.10/121.84	o 11
120.21/121.90	o 10
120.21/121.94	o 9
120.40/122.15	o 8
121.30/123.02	o 7
121.30/123.03	o 6
126.85/128.68	   
126.85/128.68	   search
126.85/128.68	     run=2  nbConstraintChecks=483363823  nbAssignments=30000
126.85/128.68	       =>  wckTime=127.115  cpuTime=125.33  mem=23M42
144.97/146.93	   
144.97/146.93	   search
144.97/146.93	     run=3  nbConstraintChecks=567469047  nbAssignments=40000
144.97/146.93	       =>  wckTime=145.361  cpuTime=143.4  mem=23M42
145.17/147.17	o 5
147.74/149.77	o 4
177.76/180.06	   
177.76/180.06	   search
177.76/180.06	     run=4  nbConstraintChecks=729020383  nbAssignments=45730
177.76/180.06	       =>  wckTime=178.493  cpuTime=176.23  mem=23M42
177.76/180.06	   
177.76/180.06	   global
177.76/180.06	     nbConstraintChecks=729020383  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
177.76/180.06	     solvingWckTime=178.481  solvingCpuTime=176.23  expiredTime=no  totalExploration=no  nbFoundSolutions=0
177.76/180.06	     globalCpuTime=177.11
177.76/180.06	       =>  wckTime=179.826  cpuTime=177.06  mem=23M42
177.76/180.06	   
177.76/180.06	   solver DecomposerSolver being built... 
182.22/184.57	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127218-1216188399/watcher-1127218-1216188399 -o /tmp/evaluation-result-1127218-1216188399/solver-1127218-1216188399 -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-1127218-1216188399.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: 2.88 2.94 2.96 5/80 28729
/proc/meminfo: memFree=1854680/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=18572 CPUtime=0
/proc/28729/stat : 28729 (runsolver) R 28727 28729 28074 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 75538001 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 257203694887 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28729/statm: 4643 292 257 25 0 2626 0

[startup+0.054028 s]
/proc/loadavg: 2.88 2.94 2.96 5/80 28729
/proc/meminfo: memFree=1854680/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=863688 CPUtime=0.04
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 2563 0 1 0 3 1 0 0 18 0 9 0 75538001 884416512 2130 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 215922 2130 1015 9 0 210901 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863688

[startup+0.102032 s]
/proc/loadavg: 2.88 2.94 2.96 5/80 28729
/proc/meminfo: memFree=1854680/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=865988 CPUtime=0.09
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 3798 0 1 0 7 2 0 0 18 0 9 0 75538001 886771712 3249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216497 3249 1718 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.30105 s]
/proc/loadavg: 2.88 2.94 2.96 5/80 28729
/proc/meminfo: memFree=1854680/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=866236 CPUtime=0.28
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 5695 0 1 0 25 3 0 0 18 0 9 0 75538001 887025664 5078 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216559 5078 1946 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866236

[startup+0.702087 s]
/proc/loadavg: 2.88 2.94 2.96 5/80 28729
/proc/meminfo: memFree=1854680/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867340 CPUtime=0.68
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 9970 0 1 0 62 6 0 0 18 0 9 0 75538001 888156160 9341 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216835 9341 1972 9 0 211363 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867340

[startup+1.50215 s]
/proc/loadavg: 2.88 2.94 2.96 4/89 28738
/proc/meminfo: memFree=1796944/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867624 CPUtime=1.47
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 21785 0 1 0 135 12 0 0 18 0 9 0 75538001 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216906 20961 2613 9 0 211434 0
[pid=28729/tid=28731] ppid=28727 vsize=867624 CPUtime=0.98
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15749 0 1 0 89 9 0 0 24 0 9 0 75538003 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867624 CPUtime=0.26
/proc/28729/task/28732/stat : 28732 (java) R 28727 28729 28074 0 -1 64 4710 0 0 0 24 2 0 0 17 0 9 0 75538004 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 104182533 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867624 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867624 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75538004 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867624 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867624 CPUtime=0.2
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 629 0 0 0 20 0 0 0 16 0 9 0 75538006 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867624 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867624 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888446976 20961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867624

[startup+3.10128 s]
/proc/loadavg: 2.88 2.94 2.96 4/89 28738
/proc/meminfo: memFree=1773648/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=3.05
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23576 0 1 0 290 15 0 0 18 0 9 0 75538001 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22749 2638 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=2.52
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15789 0 1 0 241 11 0 0 25 0 9 0 75538003 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4127002005 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 17 0 9 0 75538004 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.24
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 649 0 0 0 24 0 0 0 15 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867616

[startup+6.30255 s]
/proc/loadavg: 2.81 2.93 2.96 4/89 28738
/proc/meminfo: memFree=1773528/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=6.21
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23577 0 1 0 603 18 0 0 18 0 9 0 75538001 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22749 2638 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=5.66
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15790 0 1 0 553 13 0 0 25 0 9 0 75538003 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4127005411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 16 0 9 0 75538004 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.24
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 649 0 0 0 24 0 0 0 16 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) R 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22749 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867616

[startup+12.7011 s]
/proc/loadavg: 2.83 2.93 2.96 4/89 28738
/proc/meminfo: memFree=1773464/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=12.51
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23580 0 1 0 1228 23 0 0 18 0 9 0 75538001 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22751 2638 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=11.98
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15791 0 1 0 1179 19 0 0 25 0 9 0 75538003 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4127013595 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 17 0 9 0 75538004 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.24
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 651 0 0 0 24 0 0 0 16 0 9 0 75538006 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 867616

[startup+25.5021 s]
/proc/loadavg: 2.86 2.93 2.96 4/89 28738
/proc/meminfo: memFree=1773464/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=25.14
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23592 0 1 0 2479 35 0 0 18 0 9 0 75538001 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22761 2638 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=24.58
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15795 0 1 0 2427 31 0 0 25 0 9 0 75538003 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4127005483 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 16 0 9 0 75538004 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.25
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 659 0 0 0 25 0 0 0 16 0 9 0 75538006 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22761 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 867616

[startup+51.1023 s]
/proc/loadavg: 2.76 2.90 2.95 4/89 28738
/proc/meminfo: memFree=1773528/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=50.36
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23594 0 1 0 4979 57 0 0 18 0 9 0 75538001 888438784 22763 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22763 2638 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=49.8
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15795 0 1 0 4927 53 0 0 25 0 9 0 75538003 888438784 22763 996147200 134512640 134550740 4294955952 18446744073709551615 4127005383 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 16 0 9 0 75538004 888438784 22763 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22763 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22763 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22763 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.26
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 661 0 0 0 26 0 0 0 15 0 9 0 75538006 888438784 22763 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0

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

/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 670 0 0 0 27 0 0 0 16 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.22
Current children cumulated vsize (KiB) 867616

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

[startup+166.302 s]
/proc/loadavg: 2.70 2.81 2.90 4/89 28738
/proc/meminfo: memFree=1772952/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=164.19
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23603 0 1 0 16110 309 0 0 18 0 9 0 75538001 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22772 2639 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=163.62
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15795 0 1 0 16057 305 0 0 25 0 9 0 75538003 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4127005457 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 16 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 670 0 0 0 27 0 0 0 16 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.19
Current children cumulated vsize (KiB) 867616

[startup+172.707 s]
/proc/loadavg: 2.73 2.81 2.90 4/89 28738
/proc/meminfo: memFree=1772952/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=170.53
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23603 0 1 0 16738 315 0 0 18 0 9 0 75538001 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22772 2639 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=169.96
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15795 0 1 0 16685 311 0 0 25 0 9 0 75538003 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4127001951 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 16 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 670 0 0 0 27 0 0 0 16 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.53
Current children cumulated vsize (KiB) 867616

[startup+179.103 s]
/proc/loadavg: 2.67 2.80 2.90 4/89 28738
/proc/meminfo: memFree=1772952/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867616 CPUtime=176.87
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 23603 0 1 0 17367 320 0 0 18 0 9 0 75538001 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216904 22772 2639 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867616 CPUtime=176.3
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15795 0 1 0 17314 316 0 0 25 0 9 0 75538003 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4127010025 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28732/stat : 28732 (java) S 28727 28729 28074 0 -1 64 6441 0 0 0 25 2 0 0 16 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75538004 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867616 CPUtime=0.27
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 670 0 0 0 27 0 0 0 16 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867616 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888438784 22772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 176.87
Current children cumulated vsize (KiB) 867616

[startup+182.301 s]
/proc/loadavg: 2.61 2.78 2.89 5/89 28738
/proc/meminfo: memFree=1462936/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867528 CPUtime=180.04
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 189945 0 1 0 17614 390 0 0 18 0 9 0 75538001 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216882 189035 2616 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867528 CPUtime=178.14
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15887 0 1 0 17497 317 0 0 25 0 9 0 75538003 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867528 CPUtime=1.55
/proc/28729/task/28732/stat : 28732 (java) R 28727 28729 28074 0 -1 64 172651 0 0 0 84 71 0 0 16 0 9 0 75538004 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 103735915 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 75538004 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867528 CPUtime=0.31
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 696 0 0 0 31 0 0 0 15 0 9 0 75538006 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888348672 189035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (KiB) 867528

[startup+183.901 s]
/proc/loadavg: 2.61 2.78 2.89 5/89 28738
/proc/meminfo: memFree=1065048/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867528 CPUtime=181.62
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 200293 0 1 0 17768 394 0 0 18 0 9 0 75538001 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216882 199380 2616 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867528 CPUtime=178.17
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15890 0 1 0 17500 317 0 0 25 0 9 0 75538003 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867528 CPUtime=3.11
/proc/28729/task/28732/stat : 28732 (java) R 28727 28729 28074 0 -1 64 182996 0 0 0 236 75 0 0 17 0 9 0 75538004 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 102469670 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 75538004 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867528 CPUtime=0.31
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 696 0 0 0 31 0 0 0 15 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 181.62
Current children cumulated vsize (KiB) 867528

[startup+184.301 s]
/proc/loadavg: 2.61 2.78 2.89 5/89 28738
/proc/meminfo: memFree=1065048/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=867528 CPUtime=182.02
/proc/28729/stat : 28729 (java) S 28727 28729 28074 0 -1 0 200293 0 1 0 17808 394 0 0 18 0 9 0 75538001 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 216882 199380 2616 9 0 211410 0
[pid=28729/tid=28731] ppid=28727 vsize=867528 CPUtime=178.17
/proc/28729/task/28731/stat : 28731 (java) R 28727 28729 28074 0 -1 64 15890 0 1 0 17500 317 0 0 25 0 9 0 75538003 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28732] ppid=28727 vsize=867528 CPUtime=3.5
/proc/28729/task/28732/stat : 28732 (java) R 28727 28729 28074 0 -1 64 182996 0 0 0 275 75 0 0 17 0 9 0 75538004 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28733] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28733/stat : 28733 (java) S 28727 28729 28074 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75538004 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28734] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28734/stat : 28734 (java) S 28727 28729 28074 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 75538004 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28735] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28735/stat : 28735 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28736] ppid=28727 vsize=867528 CPUtime=0.31
/proc/28729/task/28736/stat : 28736 (java) S 28727 28729 28074 0 -1 64 696 0 0 0 31 0 0 0 15 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28737] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28737/stat : 28737 (java) S 28727 28729 28074 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28729/tid=28738] ppid=28727 vsize=867528 CPUtime=0
/proc/28729/task/28738/stat : 28738 (java) S 28727 28729 28074 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75538006 888348672 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 182.02
Current children cumulated vsize (KiB) 867528

[startup+184.702 s]
/proc/loadavg: 2.64 2.79 2.89 4/82 28738
/proc/meminfo: memFree=1600728/2055920 swapFree=4181036/4192956
[pid=28729] ppid=28727 vsize=0 CPUtime=182.38
/proc/28729/stat : 28729 (java) Z 28727 28729 28074 0 -1 12 200301 0 1 0 17835 403 0 0 16 0 2 0 75538001 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28729/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.38
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 184.747
CPU time (s): 182.427
CPU user time (s): 178.357
CPU system time (s): 4.07038
CPU usage (%): 98.7446
Max. virtual memory (cumulated for all children) (KiB): 867624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.357
system time used= 4.07038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200301
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= 5073
involuntary context switches= 23019

runsolver used 0.415936 second user time and 0.972852 second system time

The end

Launcher Data (download as text)

Begin job on node65 at 2008-07-16 08:06:40
IDJOB=1127218
IDBENCH=66142
IDSOLVER=360
FILE ID=node65/1127218-1216188399
PBS_JOBID= 7905927
Free space on /tmp= 66556 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/maxcsp/pedigree/normalized-sheep4r_ext.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-1127218-1216188399/watcher-1127218-1216188399 -o /tmp/evaluation-result-1127218-1216188399/solver-1127218-1216188399 -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-1127218-1216188399.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 08bdb3d510bdf76c9e89d860e2f2975a
RANDOM SEED=1113314662

node65.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.216
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.216
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:       1855352 kB
Buffers:          3708 kB
Cached:          47636 kB
SwapCached:       5504 kB
Active:         131032 kB
Inactive:        16260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855352 kB
SwapTotal:     4192956 kB
SwapFree:      4181036 kB
Dirty:            3400 kB
Writeback:           0 kB
Mapped:         112436 kB
Slab:            38356 kB
Committed_AS:  1123292 kB
PageTables:       2116 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66556 MiB
End job on node65 at 2008-07-16 08:09:45