Trace number 275627

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.12 2412.61

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-1.xml
MD5SUMd9a5d0f42873de31e4aba17b1bc51fb2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints54208
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275627-1169224147/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.85	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.85	       =>  wckTime=0.533  cpuTime=0.36  mem=44M687
0.85	   
0.85	   predicates being loaded...
0.86	   
0.86	   constraints being loaded...
61.39	   
61.39	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 113M635)
65.10	     nbConstraints=62132  nbConvertedConstraints=547  nbConvertConstraintsChecks=200680720  nbExtensionStructures=508
65.10	     nbSharedExtensionStructures=39  nbConflictsStructures=508  nbSharedConflictsStructures=39
65.10	     nbSharedBinaryRepresentations=568919  nbEvaluationManagers=15498  nbSharedEvaluationManagers=46087  maxDegree=105
65.10	     maxArity=2
65.10	       =>  wckTime=64.78  cpuTime=62.9  mem=124M429
65.56	   
65.56	   solver LocalSearchSolver being built... 
65.61	       =>  wckTime=65.29  cpuTime=62.95  mem=123M883
66.57	
66.57	s SATISFIABLE
66.57	o 45878
66.57	c 16254
67.11	o 45895
67.11	c 16237
67.69	o 45910
67.69	c 16222
68.05	o 45930
68.05	c 16202
68.43	o 45945
68.43	c 16187
68.75	o 45957
68.75	c 16175
69.01	o 45964
69.01	c 16168
69.36	o 45977
69.36	c 16155
69.61	o 45992
69.61	c 16140
69.83	o 46007
69.83	c 16125
70.13	o 46018
70.13	c 16114
70.36	o 46030
70.36	c 16102
70.50	o 46037
70.50	c 16095
70.72	o 46040
70.72	c 16092
71.12	o 46044
71.12	c 16088
71.34	o 46056
71.34	c 16076
71.54	o 46072
71.54	c 16060
71.74	o 46081
71.74	c 16051
71.95	o 46087
71.95	c 16045
72.09	o 46090
72.09	c 16042
72.25	o 46093
72.25	c 16039
72.47	o 46105
72.47	c 16027
72.65	o 46113
72.65	c 16019
72.83	o 46119
72.83	c 16013
73.02	o 46124
73.02	c 16008
73.19	o 46128
73.19	c 16004
73.34	o 46131
73.34	c 16001
73.54	o 46133
73.54	c 15999
73.72	o 46146
73.72	c 15986
73.84	o 46151
73.84	c 15981
74.04	o 46172
74.04	c 15960
74.18	o 46173
74.18	c 15959
74.39	o 46179
74.39	c 15953
74.71	o 46192
74.71	c 15940
74.92	o 46195
74.92	c 15937
75.09	o 46207
75.09	c 15925
75.30	o 46216
75.30	c 15916
75.41	o 46227
75.41	c 15905
75.60	o 46231
75.61	c 15901
75.85	o 46238
75.85	c 15894
75.95	o 46240
75.95	c 15892
76.30	o 46242
76.30	c 15890
76.55	o 46245
76.55	c 15887
76.72	o 46250
76.72	c 15882
76.96	o 46260
76.96	c 15872
77.18	o 46267
77.18	c 15865
77.46	o 46269
77.46	c 15863
77.85	o 46274
77.85	c 15858
78.01	o 46291
78.01	c 15841
78.18	o 46300
78.18	c 15832
78.28	o 46309
78.28	c 15823
78.43	o 46312
78.43	c 15820
78.56	o 46317
78.56	c 15815
78.78	o 46322
78.78	c 15810
78.94	o 46326
78.94	c 15806
79.35	o 46334
79.35	c 15798
79.46	o 46336
79.46	c 15796
79.90	o 46339
79.90	c 15793
80.20	o 46351
80.20	c 15781
80.31	o 46354
80.31	c 15778
80.46	o 46360
80.46	c 15772
80.64	o 46368
80.64	c 15764
80.90	o 46371
80.90	c 15761
81.25	o 46375
81.25	c 15757
81.36	o 46381
81.36	c 15751
81.52	o 46393
81.52	c 15739
81.72	o 46400
81.72	c 15732
81.87	o 46407
81.87	c 15725
82.01	o 46412
82.01	c 15720
82.34	o 46417
82.34	c 15715
82.58	o 46419
82.58	c 15713
82.82	o 46421
82.82	c 15711
83.04	o 46428
83.04	c 15704
83.21	o 46430
83.21	c 15702
83.42	o 46440
83.42	c 15692
83.64	o 46444
83.64	c 15688
83.84	o 46445
83.84	c 15687
84.15	o 46454
84.15	c 15678
84.48	o 46463
84.48	c 15669
84.76	o 46467
84.76	c 15665
85.01	o 46475
85.01	c 15657
85.25	o 46476
85.25	c 15656
85.49	o 46489
85.49	c 15643
85.97	o 46490
85.97	c 15642
86.28	o 46492
86.28	c 15640
86.53	o 46495
86.53	c 15637
86.79	o 46503
86.79	c 15629
87.08	o 46509
87.08	c 15623
87.29	o 46511
87.29	c 15621
87.69	o 46517
87.69	c 15615
87.91	o 46521
87.91	c 15611
88.23	o 46526
88.23	c 15606
88.40	o 46531
88.40	c 15601
88.60	o 46540
88.60	c 15592
88.77	o 46542
88.77	c 15590
88.95	o 46546
88.95	c 15586
89.16	o 46548
89.16	c 15584
89.34	o 46550
89.34	c 15582
89.51	o 46559
89.51	c 15573
89.69	o 46569
89.69	c 15563
89.94	o 46581
89.94	c 15551
90.10	o 46589
90.10	c 15543
90.32	o 46590
90.32	c 15542
90.54	o 46593
90.54	c 15539
90.77	o 46596
90.77	c 15536
90.97	o 46597
90.97	c 15535
91.46	o 46616
91.46	c 15516
91.70	o 46619
91.70	c 15513
91.91	o 46626
91.91	c 15506
92.16	o 46631
92.16	c 15501
92.46	o 46639
92.46	c 15493
92.78	o 46644
92.78	c 15488
93.08	o 46650
93.08	c 15482
93.40	o 46656
93.40	c 15476
93.67	o 46659
93.67	c 15473
94.30	o 46662
94.30	c 15470
94.64	o 46670
94.64	c 15462
94.99	o 46683
94.99	c 15449
95.50	o 46685
95.50	c 15447
95.77	o 46692
95.77	c 15440
96.36	o 46699
96.36	c 15433
96.64	o 46705
96.64	c 15427
96.89	o 46712
96.89	c 15420
97.15	o 46719
97.15	c 15413
97.44	o 46720
97.44	c 15412
97.74	o 46727
97.74	c 15405
98.01	o 46731
98.01	c 15401
98.25	o 46732
98.25	c 15400
98.53	o 46742
98.53	c 15390
98.83	o 46749
98.83	c 15383
99.11	o 46762
99.11	c 15370
99.38	o 46771
99.38	c 15361
99.64	o 46782
99.64	c 15350
99.93	o 46786
99.93	c 15346
100.76	o 46792
100.76	c 15340
101.31	o 46805
101.31	c 15327
101.52	o 46813
101.52	c 15319
102.13	o 46817
102.13	c 15315
102.47	o 46819
102.47	c 15313
102.81	o 46834
102.81	c 15298
103.11	o 46840
103.11	c 15292
103.37	o 46847
103.37	c 15285
103.74	o 46851
103.74	c 15281
104.31	o 46857
104.31	c 15275
104.62	o 46859
104.62	c 15273
105.02	o 46865
105.02	c 15267
105.39	o 46869
105.39	c 15263
105.70	o 46871
105.70	c 15261
106.00	o 46872
106.00	c 15260
106.64	o 46877
106.64	c 15255
106.99	o 46889
106.99	c 15243
107.31	o 46897
107.31	c 15235
107.98	o 46900
107.98	c 15232
108.30	o 46903
108.30	c 15229
108.93	o 46904
108.93	c 15228
109.92	o 46907
109.92	c 15225
110.22	o 46912
110.22	c 15220
110.57	o 46919
110.57	c 15213
111.59	o 46929
111.59	c 15203
111.94	o 46938
111.94	c 15194
112.17	o 46942
112.17	c 15190
112.49	o 46947
112.49	c 15185
112.78	o 46950
112.78	c 15182
113.08	o 46959
113.08	c 15173
113.46	o 46964
113.46	c 15168
113.82	o 46965
113.82	c 15167
114.22	o 46968
114.22	c 15164
114.63	o 46978
114.63	c 15154
115.05	o 46989
115.05	c 15143
115.50	o 46991
115.50	c 15141
115.87	o 47000
115.87	c 15132
116.26	o 47007
116.26	c 15125
116.66	o 47013
116.66	c 15119
117.03	o 47020
117.03	c 15112
117.48	o 47025
117.48	c 15107
117.92	o 47029
117.92	c 15103
118.31	o 47034
118.31	c 15098
118.66	o 47039
118.66	c 15093
119.17	o 47047
119.17	c 15085
119.58	o 47051
119.58	c 15081
119.97	o 47054
119.97	c 15078
120.42	o 47063
120.42	c 15069
122.39	o 47066
122.39	c 15066
122.80	o 47070
122.80	c 15062
123.68	o 47078
123.68	c 15054
124.09	o 47091
124.09	c 15041
124.55	o 47104
124.55	c 15028
125.04	o 47106
125.04	c 15026
125.39	o 47115
125.39	c 15017
125.76	o 47119
125.76	c 15013
126.15	o 47120
126.15	c 15012
126.59	o 47123
126.59	c 15009
127.42	o 47130
127.42	c 15002
127.89	o 47140
127.89	c 14992
128.35	o 47148
128.35	c 14984
128.87	o 47154
128.87	c 14978
129.36	o 47157
129.36	c 14975
129.81	o 47159
129.81	c 14973
130.26	o 47165
130.26	c 14967
130.77	o 47172
130.77	c 14960
131.31	o 47182
131.31	c 14950
131.78	o 47183
131.78	c 14949
132.78	o 47186
132.78	c 14946
133.24	o 47190
133.24	c 14942
133.70	o 47197
133.70	c 14935
134.15	o 47211
134.15	c 14921
134.65	o 47215
134.65	c 14917
135.14	o 47217
135.14	c 14915
135.63	o 47227
135.63	c 14905
136.05	o 47237
136.05	c 14895
136.55	o 47240
136.55	c 14892
137.06	o 47250
137.06	c 14882
137.59	o 47254
137.59	c 14878
139.13	o 47256
139.13	c 14876
140.03	o 47266
140.03	c 14866
140.53	o 47273
140.53	c 14859
140.96	o 47274
140.96	c 14858
141.98	o 47278
141.98	c 14854
142.98	o 47285
142.98	c 14847
143.47	o 47296
143.47	c 14836
143.91	o 47297
143.91	c 14835
144.43	o 47307
144.43	c 14825
144.91	o 47313
144.91	c 14819
145.45	o 47314
145.45	c 14818
145.93	o 47332
145.93	c 14800
146.45	o 47341
146.45	c 14791
146.90	o 47343
146.90	c 14789
147.39	o 47346
147.39	c 14786
147.83	o 47356
147.83	c 14776
148.37	o 47360
148.37	c 14772
148.87	o 47371
148.87	c 14761
149.34	o 47380
149.34	c 14752
149.84	o 47389
149.84	c 14743
150.31	o 47397
150.31	c 14735
150.80	o 47404
150.80	c 14728
151.30	o 47411
151.30	c 14721
151.82	o 47422
151.82	c 14710
152.26	o 47428
152.26	c 14704
152.75	o 47433
152.75	c 14699
153.31	o 47438
153.31	c 14694
153.82	o 47443
153.82	c 14689
154.34	o 47447
154.34	c 14685
154.77	o 47449
154.77	c 14683
155.19	o 47460
155.19	c 14672
155.60	o 47461
155.60	c 14671
156.05	o 47462
156.05	c 14670
156.94	o 47467
156.94	c 14665
157.37	o 47469
157.37	c 14663
158.43	o 47472
158.43	c 14660
159.87	o 47473
159.87	c 14659
160.29	o 47477
160.29	c 14655
160.74	o 47489
160.74	c 14643
161.23	o 47494
161.23	c 14638
161.72	o 47503
161.72	c 14629
162.27	o 47511
162.27	c 14621
162.74	o 47512
162.74	c 14620
163.24	o 47525
163.24	c 14607
163.77	o 47533
163.77	c 14599
164.32	o 47534
164.32	c 14598
164.99	o 47537
164.99	c 14595
165.48	o 47547
165.48	c 14585
165.97	o 47557
165.97	c 14575
166.47	o 47559
166.47	c 14573
168.03	o 47562
168.03	c 14570
168.52	o 47570
168.52	c 14562
169.11	o 47577
169.11	c 14555
169.64	o 47579
169.64	c 14553
170.19	o 47581
170.19	c 14551
171.50	o 47590
171.50	c 14542
172.14	o 47595
172.14	c 14537
173.50	o 47604
173.50	c 14528
174.17	o 47606
174.17	c 14526
174.90	o 47614
174.90	c 14518
175.59	o 47622
175.59	c 14510
176.29	o 47630
176.29	c 14502
176.99	o 47636
176.99	c 14496
177.77	o 47642
177.77	c 14490
178.47	o 47648
178.47	c 14484
179.21	o 47653
179.21	c 14479
179.93	o 47658
179.93	c 14474
180.61	o 47669
180.61	c 14463
181.98	o 47673
181.98	c 14459
182.70	o 47678
182.70	c 14454
183.37	o 47686
183.37	c 14446
184.06	o 47689
184.06	c 14443
184.72	o 47692
184.72	c 14440
185.39	o 47698
185.39	c 14434
186.73	o 47699
186.73	c 14433
187.38	o 47705
187.38	c 14427
188.00	o 47708
188.00	c 14424
188.64	o 47721
188.64	c 14411
191.72	o 47723
191.72	c 14409
192.39	o 47725
192.39	c 14407
193.01	o 47727
193.01	c 14405
193.67	o 47729
193.67	c 14403
194.30	o 47730
194.30	c 14402
194.93	o 47738
194.93	c 14394
195.65	o 47739
195.65	c 14393
196.24	o 47744
196.24	c 14388
196.83	o 47754
196.83	c 14378
197.46	o 47759
197.46	c 14373
198.00	o 47769
198.00	c 14363
198.54	o 47776
198.54	c 14356
199.09	o 47778
199.09	c 14354
199.61	o 47782
199.61	c 14350
200.22	o 47790
200.22	c 14342
200.76	o 47793
200.76	c 14339
201.25	o 47796
201.25	c 14336
201.79	o 47798
201.79	c 14334
202.35	o 47805
202.35	c 14327
202.88	o 47807
202.88	c 14325
203.42	o 47808
203.42	c 14324
203.96	o 47809
203.96	c 14323
204.50	o 47813
204.50	c 14319
205.61	o 47820
205.61	c 14312
206.20	o 47828
206.20	c 14304
206.76	o 47830
206.76	c 14302
207.35	o 47837
207.35	c 14295
207.89	o 47845
207.89	c 14287
208.45	o 47857
208.45	c 14275
209.53	o 47869
209.53	c 14263
210.05	o 47871
210.05	c 14261
210.57	o 47879
210.57	c 14253
211.17	o 47886
211.17	c 14246
211.70	o 47896
211.70	c 14236
212.20	o 47907
212.20	c 14225
212.69	o 47913
212.69	c 14219
213.70	o 47922
213.70	c 14210
214.12	o 47934
214.12	c 14198
214.62	o 47937
214.62	c 14195
215.14	o 47939
215.14	c 14193
215.67	o 47945
215.67	c 14187
216.21	o 47950
216.21	c 14182
216.68	o 47959
216.68	c 14173
217.19	o 47965
217.19	c 14167
217.66	o 47969
217.66	c 14163
218.30	o 47976
218.30	c 14156
218.86	o 47977
218.86	c 14155
219.43	o 47989
219.43	c 14143
220.06	o 47995
220.06	c 14137
220.70	o 48001
220.70	c 14131
221.28	o 48007
221.28	c 14125
221.93	o 48012
221.93	c 14120
222.54	o 48016
222.54	c 14116
223.17	o 48020
223.17	c 14112
223.76	o 48024
223.76	c 14108
224.36	o 48035
224.36	c 14097
225.00	o 48038
225.00	c 14094
225.60	o 48041
225.60	c 14091
226.19	o 48043
226.19	c 14089
226.83	o 48045
226.83	c 14087
227.43	o 48047
227.43	c 14085
228.05	o 48053
228.05	c 14079
228.63	o 48055
228.63	c 14077
229.23	o 48056
229.23	c 14076
229.80	o 48057
229.80	c 14075
230.49	o 48061
230.49	c 14071
231.89	o 48068
231.89	c 14064
232.50	o 48077
232.50	c 14055
233.16	o 48080
233.16	c 14052
233.85	o 48088
233.85	c 14044
234.49	o 48093
234.49	c 14039
235.11	o 48097
235.11	c 14035
235.73	o 48102
235.73	c 14030
236.90	o 48110
236.90	c 14022
237.52	o 48119
237.52	c 14013
238.74	o 48126
238.74	c 14006
239.30	o 48132
239.30	c 14000
239.90	o 48133
239.90	c 13999
240.44	o 48145
240.44	c 13987
241.14	o 48146
241.14	c 13986
242.30	o 48147
242.30	c 13985
242.92	o 48150
242.92	c 13982
243.49	o 48153
243.49	c 13979
244.70	o 48154
244.70	c 13978
245.39	o 48156
245.39	c 13976
245.94	o 48165
245.94	c 13967
246.62	o 48168
246.62	c 13964
247.26	o 48175
247.26	c 13957
247.83	o 48177
247.83	c 13955
248.54	o 48179
248.54	c 13953
249.84	o 48188
249.84	c 13944
250.52	o 48197
250.52	c 13935
251.16	o 48205
251.16	c 13927
251.75	o 48213
251.75	c 13919
252.41	o 48220
252.41	c 13912
253.04	o 48228
253.04	c 13904
255.10	o 48231
255.10	c 13901
255.87	o 48235
255.87	c 13897
256.57	o 48240
256.57	c 13892
257.86	o 48241
257.86	c 13891
258.52	o 48242
258.52	c 13890
259.13	o 48245
259.13	c 13887
259.82	o 48249
259.82	c 13883
260.48	o 48258
260.48	c 13874
261.05	o 48264
261.05	c 13868
261.70	o 48272
261.70	c 13860
262.29	o 48283
262.29	c 13849
262.91	o 48291
262.91	c 13841
263.52	o 48294
263.52	c 13838
264.12	o 48301
264.12	c 13831
264.69	o 48302
264.69	c 13830
265.23	o 48309
265.23	c 13823
265.87	o 48311
265.87	c 13821
266.48	o 48317
266.48	c 13815
267.08	o 48327
267.08	c 13805
267.63	o 48333
267.63	c 13799
268.19	o 48340
268.19	c 13792
268.77	o 48343
268.77	c 13789
269.33	o 48351
269.33	c 13781
269.82	o 48352
269.82	c 13780
270.33	o 48356
270.33	c 13776
270.87	o 48362
270.87	c 13770
271.48	o 48373
271.48	c 13759
272.56	o 48385
272.56	c 13747
273.18	o 48393
273.18	c 13739
273.82	o 48399
273.82	c 13733
274.41	o 48405
274.41	c 13727
275.00	o 48410
275.00	c 13722
275.62	o 48420
275.62	c 13712
276.18	o 48425
276.18	c 13707
276.77	o 48430
276.77	c 13702
277.39	o 48435
277.39	c 13697
277.94	o 48440
277.94	c 13692
278.54	o 48444
278.54	c 13688
279.16	o 48449
279.16	c 13683
279.74	o 48453
279.74	c 13679
280.32	o 48457
280.32	c 13675
280.88	o 48460
280.88	c 13672
281.49	o 48463
281.49	c 13669
282.12	o 48466
282.12	c 13666
282.67	o 48468
282.67	c 13664
283.22	o 48471
283.22	c 13661
283.83	o 48474
283.83	c 13658
284.35	o 48479
284.35	c 13653
284.91	o 48482
284.91	c 13650
285.50	o 48485
285.50	c 13647
286.10	o 48488
286.10	c 13644
286.65	o 48490
286.65	c 13642
287.25	o 48492
287.25	c 13640
287.87	o 48493
287.87	c 13639
290.97	o 48494
290.97	c 13638
291.63	o 48501
291.63	c 13631
292.30	o 48509
292.30	c 13623
292.95	o 48510
292.95	c 13622
293.79	o 48511
293.79	c 13621
294.45	o 48519
294.45	c 13613
295.25	o 48525
295.25	c 13607
296.75	o 48526
296.75	c 13606
297.45	o 48528
297.45	c 13604
298.13	o 48530
298.13	c 13602
299.68	o 48535
299.68	c 13597
300.44	o 48542
300.44	c 13590
301.20	o 48549
301.20	c 13583
301.93	o 48551
301.93	c 13581
302.64	o 48552
302.64	c 13580
303.37	o 48558
303.37	c 13574
304.09	o 48563
304.09	c 13569
304.83	o 48564
304.83	c 13568
305.47	o 48565
305.47	c 13567
306.25	o 48571
306.25	c 13561
307.00	o 48578
307.00	c 13554
307.71	o 48584
307.71	c 13548
308.40	o 48587
308.40	c 13545
309.75	o 48592
309.75	c 13540
310.40	o 48602
310.40	c 13530
311.05	o 48606
311.05	c 13526
311.74	o 48609
311.74	c 13523
312.44	o 48611
312.44	c 13521
313.15	o 48612
313.15	c 13520
313.93	o 48614
313.93	c 13518
316.99	o 48615
316.99	c 13517
317.74	o 48617
317.74	c 13515
318.55	o 48622
318.55	c 13510
319.33	o 48631
319.33	c 13501
320.19	o 48635
320.19	c 13497
321.04	o 48640
321.04	c 13492
321.91	o 48648
321.91	c 13484
322.73	o 48652
322.73	c 13480
323.56	o 48655
323.56	c 13477
324.43	o 48658
324.43	c 13474
325.25	o 48661
325.25	c 13471
326.10	o 48666
326.10	c 13466
326.95	o 48669
326.95	c 13463
327.82	o 48671
327.82	c 13461
328.65	o 48678
328.65	c 13454
329.46	o 48680
329.46	c 13452
330.32	o 48682
330.32	c 13450
331.17	o 48684
331.17	c 13448
331.99	o 48685
331.99	c 13447
332.89	o 48691
332.89	c 13441
334.56	o 48692
334.56	c 13440
338.76	o 48696
338.76	c 13436
339.66	o 48699
339.66	c 13433
340.44	o 48702
340.44	c 13430
341.22	o 48704
341.22	c 13428
342.86	o 48710
342.86	c 13422
343.63	o 48716
343.63	c 13416
345.12	o 48717
345.12	c 13415
345.95	o 48724
345.95	c 13408
346.68	o 48733
346.68	c 13399
347.45	o 48743
347.45	c 13389
348.19	o 48755
348.19	c 13377
348.85	o 48760
348.85	c 13372
350.22	o 48766
350.22	c 13366
350.89	o 48777
350.89	c 13355
351.56	o 48778
351.56	c 13354
352.69	o 48781
352.69	c 13351
353.25	o 48783
353.25	c 13349
353.83	o 48785
353.83	c 13347
354.43	o 48788
354.43	c 13344
354.99	o 48789
354.99	c 13343
355.58	o 48798
355.58	c 13334
356.19	o 48807
356.19	c 13325
358.07	o 48808
358.07	c 13324
359.21	o 48811
359.21	c 13321
359.73	o 48814
359.73	c 13318
360.83	o 48816
360.83	c 13316
361.40	o 48819
361.40	c 13313
361.98	o 48825
361.98	c 13307
362.57	o 48836
362.57	c 13296
363.16	o 48843
363.16	c 13289
363.72	o 48846
363.72	c 13286
364.26	o 48848
364.26	c 13284
364.77	o 48853
364.77	c 13279
365.86	o 48857
365.86	c 13275
366.39	o 48859
366.39	c 13273
366.96	o 48864
366.96	c 13268
367.55	o 48868
367.55	c 13264
368.10	o 48876
368.10	c 13256
368.77	o 48877
368.77	c 13255
369.44	o 48884
369.44	c 13248
370.05	o 48889
370.05	c 13243
370.70	o 48892
370.70	c 13240
371.35	o 48897
371.35	c 13235
372.00	o 48902
372.00	c 13230
372.65	o 48907
372.65	c 13225
373.30	o 48911
373.30	c 13221
373.89	o 48916
373.89	c 13216
374.55	o 48925
374.55	c 13207
375.90	o 48931
375.90	c 13201
376.49	o 48935
376.49	c 13197
377.18	o 48941
377.18	c 13191
377.75	o 48953
377.75	c 13179
378.40	o 48956
378.40	c 13176
379.01	o 48963
379.01	c 13169
381.65	o 48966
381.65	c 13166
382.37	o 48969
382.37	c 13163
383.85	o 48978
383.85	c 13154
384.58	o 48981
384.58	c 13151
385.31	o 48982
385.31	c 13150
386.08	o 48985
386.08	c 13147
386.87	o 48986
386.87	c 13146
387.67	o 48987
387.67	c 13145
388.49	o 48995
388.49	c 13137
389.22	o 48999
389.22	c 13133
390.04	o 49001
390.04	c 13131
390.82	o 49007
390.82	c 13125
391.64	o 49008
391.64	c 13124
392.37	o 49009
392.37	c 13123
393.09	o 49015
393.09	c 13117
393.92	o 49019
393.92	c 13113
395.53	o 49026
395.53	c 13106
396.34	o 49027
396.34	c 13105
397.17	o 49035
397.17	c 13097
400.67	o 49036
400.67	c 13096
401.53	o 49040
401.53	c 13092
402.40	o 49043
402.40	c 13089
403.25	o 49045
403.25	c 13087
404.09	o 49046
404.09	c 13086
405.04	o 49047
405.04	c 13085
405.91	o 49050
405.91	c 13082
407.71	o 49053
407.71	c 13079
408.56	o 49059
408.56	c 13073
411.32	o 49065
411.32	c 13067
413.17	o 49073
413.17	c 13059
414.14	o 49075
414.14	c 13057
414.98	o 49084
414.98	c 13048
415.79	o 49088
415.79	c 13044
416.74	o 49089
416.74	c 13043
417.62	o 49093
417.62	c 13039
418.53	o 49095
418.53	c 13037
419.39	o 49101
419.39	c 13031
421.17	o 49107
421.17	c 13025
422.03	o 49117
422.03	c 13015
422.86	o 49118
422.86	c 13014
423.70	o 49124
423.70	c 13008
425.29	o 49125
425.29	c 13007
425.90	o 49127
425.90	c 13005
426.78	o 49130
426.78	c 13002
428.39	o 49131
428.39	c 13001
429.28	o 49140
429.28	c 12992
430.05	o 49141
430.05	c 12991
430.85	o 49142
430.85	c 12990
431.64	o 49148
431.64	c 12984
432.44	o 49154
432.44	c 12978
433.31	o 49160
433.31	c 12972
434.94	o 49162
434.94	c 12970
435.77	o 49172
435.77	c 12960
436.57	o 49173
436.57	c 12959
437.36	o 49177
437.36	c 12955
438.19	o 49184
438.19	c 12948
439.00	o 49188
439.00	c 12944
439.74	o 49191
439.74	c 12941
440.52	o 49192
440.52	c 12940
441.25	o 49194
441.25	c 12938
442.02	o 49197
442.02	c 12935
442.75	o 49202
442.75	c 12930
443.53	o 49210
443.53	c 12922
444.23	o 49216
444.23	c 12916
444.91	o 49223
444.91	c 12909
445.73	o 49227
445.73	c 12905
447.11	o 49231
447.11	c 12901
447.85	o 49240
447.85	c 12892
449.35	o 49241
449.35	c 12891
450.11	o 49249
450.11	c 12883
450.84	o 49258
450.84	c 12874
451.62	o 49262
451.62	c 12870
452.38	o 49264
452.38	c 12868
453.14	o 49267
453.14	c 12865
453.95	o 49277
453.95	c 12855
454.77	o 49279
454.77	c 12853
455.50	o 49285
455.50	c 12847
456.23	o 49294
456.23	c 12838
456.98	o 49298
456.98	c 12834
457.74	o 49307
457.75	c 12825
458.45	o 49315
458.45	c 12817
459.12	o 49318
459.12	c 12814
459.80	o 49325
459.80	c 12807
460.50	o 49328
460.50	c 12804
461.19	o 49330
461.19	c 12802
461.85	o 49335
461.85	c 12797
462.53	o 49337
462.53	c 12795
463.20	o 49340
463.20	c 12792
463.87	o 49342
463.87	c 12790
464.55	o 49349
464.55	c 12783
465.84	o 49356
465.84	c 12776
467.24	o 49360
467.24	c 12772
467.94	o 49365
467.94	c 12767
468.68	o 49370
468.68	c 12762
469.34	o 49372
469.34	c 12760
469.99	o 49377
469.99	c 12755
471.62	o 49380
471.62	c 12752
472.38	o 49386
472.38	c 12746
473.13	o 49390
473.13	c 12742
473.93	o 49391
473.93	c 12741
475.52	o 49393
475.52	c 12739
476.27	o 49397
476.27	c 12735
477.04	o 49404
477.04	c 12728
479.22	o 49405
479.22	c 12727
479.99	o 49411
479.99	c 12721
480.75	o 49417
480.75	c 12715
481.56	o 49422
481.56	c 12710
483.03	o 49424
483.04	c 12708
483.82	o 49426
483.82	c 12706
484.60	o 49434
484.60	c 12698
485.35	o 49441
485.35	c 12691
486.21	o 49446
486.21	c 12686
486.99	o 49448
486.99	c 12684
487.81	o 49449
487.81	c 12683
488.60	o 49451
488.60	c 12681
489.40	o 49455
489.40	c 12677
490.21	o 49462
490.21	c 12670
491.02	o 49469
491.02	c 12663
491.86	o 49474
491.86	c 12658
492.78	o 49478
492.78	c 12654
493.66	o 49485
493.66	c 12647
494.51	o 49491
494.51	c 12641
495.33	o 49493
495.33	c 12639
496.08	o 49501
496.08	c 12631
496.81	o 49510
496.81	c 12622
498.35	o 49513
498.35	c 12619
499.12	o 49515
499.12	c 12617
499.89	o 49517
499.89	c 12615
501.51	o 49524
501.51	c 12608
502.28	o 49526
502.28	c 12606
503.82	o 49529
503.82	c 12603
504.59	o 49534
504.59	c 12598
505.33	o 49535
505.33	c 12597
507.76	o 49540
507.76	c 12592
509.34	o 49547
509.34	c 12585
510.97	o 49549
510.97	c 12583
511.68	o 49550
511.68	c 12582
512.36	o 49551
512.36	c 12581
513.13	o 49554
513.13	c 12578
513.89	o 49558
513.89	c 12574
514.68	o 49560
514.68	c 12572
515.47	o 49567
515.47	c 12565
516.26	o 49570
516.26	c 12562
517.01	o 49573
517.01	c 12559
517.78	o 49576
517.78	c 12556
520.12	o 49583
520.12	c 12549
520.88	o 49587
520.88	c 12545
521.64	o 49595
521.64	c 12537
522.49	o 49603
522.49	c 12529
523.31	o 49604
523.31	c 12528
524.97	o 49610
524.97	c 12522
525.75	o 49614
525.75	c 12518
526.58	o 49617
526.58	c 12515
527.49	o 49629
527.49	c 12503
528.29	o 49633
528.29	c 12499
529.90	o 49637
529.90	c 12495
530.82	o 49641
530.82	c 12491
531.67	o 49644
531.67	c 12488
533.23	o 49651
533.23	c 12481
534.06	o 49654
534.06	c 12478
534.82	o 49658
534.82	c 12474
535.60	o 49666
535.60	c 12466
536.45	o 49674
536.45	c 12458
537.19	o 49677
537.19	c 12455
537.99	o 49680
537.99	c 12452
538.77	o 49682
538.77	c 12450
539.53	o 49688
539.53	c 12444
540.44	o 49690
540.44	c 12442
541.23	o 49691
541.23	c 12441
542.11	o 49698
542.11	c 12434
542.93	o 49706
542.93	c 12426
544.55	o 49709
544.55	c 12423
546.27	o 49710
546.28	c 12422
547.89	o 49713
547.89	c 12419
548.71	o 49720
548.71	c 12412
549.59	o 49724
549.59	c 12408
550.43	o 49727
550.43	c 12405
553.22	o 49733
553.22	c 12399
554.12	o 49739
554.12	c 12393
555.01	o 49743
555.01	c 12389
555.97	o 49744
555.97	c 12388
556.91	o 49745
556.91	c 12387
560.76	o 49749
560.76	c 12383
561.70	o 49752
561.70	c 12380
562.61	o 49755
562.61	c 12377
563.58	o 49758
563.58	c 12374
565.57	o 49759
565.57	c 12373
567.52	o 49760
567.52	c 12372
568.49	o 49767
568.49	c 12365
571.23	o 49774
571.23	c 12358
575.03	o 49775
575.03	c 12357
576.07	o 49779
576.07	c 12353
577.12	o 49782
577.12	c 12350
578.19	o 49786
578.19	c 12346
579.31	o 49787
579.31	c 12345
580.34	o 49790
580.34	c 12342
581.41	o 49793
581.41	c 12339
582.40	o 49794
582.40	c 12338
583.40	o 49796
583.40	c 12336
584.34	o 49809
584.34	c 12323
588.08	o 49814
588.08	c 12318
589.04	o 49817
589.04	c 12315
590.01	o 49820
590.01	c 12312
590.93	o 49825
590.93	c 12307
591.88	o 49833
591.88	c 12299
592.78	o 49836
592.78	c 12296
594.71	o 49845
594.71	c 12287
595.63	o 49851
595.63	c 12281
596.51	o 49855
596.51	c 12277
597.37	o 49858
597.37	c 12274
598.30	o 49863
598.30	c 12269
600.07	o 49864
600.07	c 12268
600.95	o 49865
600.95	c 12267
601.80	o 49872
601.80	c 12260
602.68	o 49876
602.68	c 12256
603.53	o 49882
603.53	c 12250
604.42	o 49890
604.42	c 12242
607.95	o 49894
607.95	c 12238
608.82	o 49897
608.82	c 12235
609.76	o 49900
609.76	c 12232
610.69	o 49901
610.69	c 12231
611.55	o 49903
611.55	c 12229
612.45	o 49905
612.45	c 12227
613.39	o 49907
613.39	c 12225
615.10	o 49909
615.10	c 12223
616.02	o 49910
616.02	c 12222
616.92	o 49911
616.92	c 12221
617.84	o 49912
617.84	c 12220
621.44	o 49915
621.44	c 12217
624.23	o 49919
624.23	c 12213
625.12	o 49922
625.12	c 12210
626.06	o 49928
626.06	c 12204
627.92	o 49930
627.93	c 12202
628.87	o 49933
628.87	c 12199
629.82	o 49937
629.82	c 12195
630.76	o 49938
630.76	c 12194
632.64	o 49943
632.64	c 12189
633.58	o 49946
633.58	c 12186
634.50	o 49950
634.50	c 12182
635.37	o 49954
635.37	c 12178
636.32	o 49958
636.32	c 12174
637.27	o 49964
637.27	c 12168
638.16	o 49966
638.16	c 12166
639.09	o 49967
639.09	c 12165
640.01	o 49971
640.01	c 12161
640.93	o 49974
640.93	c 12158
641.83	o 49979
641.83	c 12153
644.49	o 49982
644.49	c 12150
647.25	o 49987
647.25	c 12145
648.23	o 49993
648.23	c 12139
649.14	o 49994
649.14	c 12138
650.04	o 49996
650.04	c 12136
650.95	o 49999
650.95	c 12133
651.84	o 50001
651.84	c 12131
652.78	o 50004
652.78	c 12128
654.55	o 50007
654.55	c 12125
655.38	o 50016
655.38	c 12116
659.17	o 50020
659.17	c 12112
660.14	o 50021
660.14	c 12111
661.08	o 50025
661.08	c 12107
662.01	o 50028
662.01	c 12104
662.78	o 50037
662.78	c 12095
664.54	o 50038
664.54	c 12094
665.45	o 50040
665.45	c 12092
666.28	o 50047
666.28	c 12085
667.14	o 50052
667.14	c 12080
667.99	o 50059
667.99	c 12073
668.84	o 50061
668.84	c 12071
669.66	o 50066
669.66	c 12066
670.43	o 50071
670.43	c 12061
672.06	o 50080
672.06	c 12052
672.91	o 50085
672.91	c 12047
674.52	o 50091
674.52	c 12041
675.34	o 50092
675.34	c 12040
676.15	o 50102
676.15	c 12030
677.00	o 50103
677.00	c 12029
678.71	o 50110
678.71	c 12022
679.53	o 50113
679.53	c 12019
680.35	o 50121
680.35	c 12011
681.15	o 50123
681.15	c 12009
681.95	o 50125
681.95	c 12007
682.88	o 50134
682.88	c 11998
684.58	o 50138
684.58	c 11994
685.41	o 50141
685.41	c 11991
686.19	o 50142
686.19	c 11990
687.02	o 50145
687.02	c 11987
691.03	o 50147
691.03	c 11985
691.87	o 50154
691.87	c 11978
692.73	o 50160
692.73	c 11972
693.56	o 50166
693.56	c 11966
694.39	o 50167
694.39	c 11965
695.26	o 50169
695.26	c 11963
696.13	o 50174
696.13	c 11958
697.04	o 50177
697.04	c 11955
697.95	o 50180
697.95	c 11952
698.89	o 50184
698.89	c 11948
699.70	o 50191
699.70	c 11941
701.59	o 50193
701.59	c 11939
703.37	o 50195
703.37	c 11937
704.23	o 50196
704.23	c 11936
705.14	o 50197
705.14	c 11935
706.07	o 50200
706.07	c 11932
706.93	o 50203
706.93	c 11929
707.79	o 50207
707.79	c 11925
708.66	o 50209
708.66	c 11923
709.55	o 50215
709.55	c 11917
710.50	o 50216
710.50	c 11916
711.36	o 50217
711.36	c 11915
712.03	o 50219
712.03	c 11913
712.85	o 50221
712.85	c 11911
713.75	o 50225
713.75	c 11907
714.68	o 50228
714.68	c 11904
715.59	o 50240
715.59	c 11892
716.44	o 50247
716.44	c 11885
717.32	o 50256
717.32	c 11876
718.26	o 50259
718.26	c 11873
720.00	o 50264
720.00	c 11868
724.27	o 50265
724.27	c 11867
727.02	o 50267
727.02	c 11865
729.03	o 50271
729.03	c 11861
731.03	o 50278
731.03	c 11854
731.78	o 50285
731.78	c 11847
732.65	o 50288
732.65	c 11844
733.58	o 50290
733.58	c 11842
734.47	o 50297
734.47	c 11835
735.38	o 50302
735.38	c 11830
736.31	o 50306
736.31	c 11826
737.20	o 50310
737.20	c 11822
738.08	o 50311
738.08	c 11821
739.95	o 50312
739.95	c 11820
740.88	o 50317
740.88	c 11815
741.81	o 50318
741.81	c 11814
742.74	o 50323
742.74	c 11809
748.20	o 50327
748.20	c 11805
749.03	o 50329
749.03	c 11803
749.90	o 50333
749.90	c 11799
750.74	o 50340
750.74	c 11792
751.65	o 50345
751.65	c 11787
753.39	o 50350
753.39	c 11782
754.29	o 50354
754.29	c 11778
755.16	o 50359
755.16	c 11773
756.02	o 50363
756.02	c 11769
757.78	o 50366
757.78	c 11766
758.63	o 50375
758.63	c 11757
759.51	o 50376
759.51	c 11756
761.21	o 50379
761.21	c 11753
762.09	o 50382
762.09	c 11750
764.65	o 50389
764.65	c 11743
765.50	o 50398
765.50	c 11734
766.35	o 50405
766.35	c 11727
767.27	o 50407
767.27	c 11725
768.12	o 50409
768.12	c 11723
768.98	o 50411
768.98	c 11721
769.80	o 50419
769.80	c 11713
773.06	o 50421
773.06	c 11711
775.66	o 50426
775.66	c 11706
777.34	o 50427
777.34	c 11705
778.20	o 50432
778.20	c 11700
779.06	o 50438
779.06	c 11694
781.65	o 50443
781.65	c 11689
782.54	o 50452
782.54	c 11680
783.42	o 50455
783.43	c 11677
784.28	o 50458
784.28	c 11674
786.13	o 50461
786.13	c 11671
787.98	o 50471
787.98	c 11661
788.99	o 50472
788.99	c 11660
789.94	o 50477
789.94	c 11655
791.97	o 50484
791.97	c 11648
792.92	o 50489
792.92	c 11643
793.87	o 50491
793.87	c 11641
794.81	o 50494
794.81	c 11638
795.70	o 50501
795.70	c 11631
796.63	o 50509
796.63	c 11623
797.39	o 50510
797.39	c 11622
798.38	o 50516
798.38	c 11616
800.24	o 50522
800.24	c 11610
801.21	o 50529
801.21	c 11603
802.12	o 50532
802.12	c 11600
803.07	o 50538
803.07	c 11594
804.04	o 50541
804.04	c 11591
804.96	o 50544
804.96	c 11588
805.92	o 50545
805.92	c 11587
809.01	o 50547
809.01	c 11585
811.11	o 50549
811.11	c 11583
818.32	o 50551
818.32	c 11581
819.34	o 50556
819.34	c 11576
821.23	o 50561
821.23	c 11571
822.23	o 50564
822.23	c 11568
823.26	o 50570
823.26	c 11562
824.18	o 50571
824.18	c 11561
825.19	o 50573
825.19	c 11559
826.19	o 50574
826.19	c 11558
827.18	o 50575
827.18	c 11557
828.25	o 50584
828.25	c 11548
830.27	o 50589
830.27	c 11543
831.33	o 50593
831.33	c 11539
832.40	o 50594
832.40	c 11538
833.42	o 50601
833.42	c 11531
834.43	o 50606
834.43	c 11526
835.46	o 50609
835.46	c 11523
836.49	o 50626
836.49	c 11506
838.45	o 50631
838.45	c 11501
839.39	o 50635
839.39	c 11497
840.40	o 50639
840.40	c 11493
841.37	o 50643
841.37	c 11489
844.22	o 50648
844.22	c 11484
845.20	o 50653
845.20	c 11479
846.18	o 50659
846.18	c 11473
847.16	o 50667
847.16	c 11465
848.13	o 50669
848.13	c 11463
849.07	o 50670
849.07	c 11462
851.95	o 50680
851.95	c 11452
852.92	o 50683
852.92	c 11449
853.88	o 50689
853.88	c 11443
854.81	o 50697
854.81	c 11435
855.74	o 50703
855.74	c 11429
857.70	o 50709
857.70	c 11423
858.67	o 50712
858.67	c 11420
860.42	o 50716
860.42	c 11416
861.34	o 50724
861.34	c 11408
862.31	o 50725
862.31	c 11407
863.21	o 50727
863.21	c 11405
864.12	o 50733
864.12	c 11399
865.03	o 50739
865.03	c 11393
865.97	o 50742
865.97	c 11390
866.92	o 50744
866.92	c 11388
867.94	o 50750
867.94	c 11382
868.63	o 50751
868.63	c 11381
869.71	o 50752
869.71	c 11380
870.78	o 50755
870.78	c 11377
872.67	o 50757
872.67	c 11375
873.72	o 50762
873.72	c 11370
874.79	o 50768
874.79	c 11364
876.86	o 50773
876.86	c 11359
877.92	o 50781
877.92	c 11351
879.00	o 50788
879.00	c 11344
880.07	o 50796
880.07	c 11336
881.13	o 50799
881.13	c 11333
883.24	o 50803
883.24	c 11329
884.24	o 50808
884.24	c 11324
885.30	o 50814
885.30	c 11318
886.31	o 50818
886.31	c 11314
888.40	o 50824
888.40	c 11308
889.43	o 50828
889.43	c 11304
890.38	o 50833
890.38	c 11299
891.41	o 50837
891.41	c 11295
892.44	o 50847
892.44	c 11285
897.64	o 50854
897.64	c 11278
898.72	o 50859
898.72	c 11273
899.71	o 50866
899.71	c 11266
900.76	o 50875
900.76	c 11257
901.85	o 50877
901.85	c 11255
902.98	o 50879
902.98	c 11253
904.07	o 50882
904.07	c 11250
905.21	o 50885
905.21	c 11247
907.39	o 50888
907.39	c 11244
908.38	o 50897
908.38	c 11235
909.40	o 50911
909.40	c 11221
910.44	o 50916
910.44	c 11216
912.66	o 50921
912.66	c 11211
913.69	o 50924
913.69	c 11208
914.74	o 50926
914.74	c 11206
915.77	o 50928
915.77	c 11204
916.81	o 50934
916.81	c 11198
917.85	o 50941
917.85	c 11191
918.89	o 50947
918.89	c 11185
919.95	o 50953
919.95	c 11179
922.00	o 50959
922.00	c 11173
923.00	o 50964
923.00	c 11168
924.13	o 50966
924.13	c 11166
926.31	o 50971
926.31	c 11161
927.41	o 50974
927.41	c 11158
928.46	o 50976
928.46	c 11156
929.62	o 50977
929.62	c 11155
930.77	o 50987
930.77	c 11145
931.89	o 50991
931.89	c 11141
933.03	o 50992
933.03	c 11140
934.15	o 51004
934.15	c 11128
937.36	o 51007
937.36	c 11125
939.66	o 51008
939.66	c 11124
942.00	o 51010
942.00	c 11122
943.13	o 51012
943.13	c 11120
944.26	o 51014
944.26	c 11118
945.40	o 51023
945.40	c 11109
946.55	o 51029
946.55	c 11103
947.75	o 51035
947.75	c 11097
948.95	o 51041
948.95	c 11091
950.12	o 51048
950.12	c 11084
951.25	o 51051
951.25	c 11081
952.43	o 51059
952.43	c 11073
953.56	o 51063
953.56	c 11069
954.66	o 51064
954.66	c 11068
955.74	o 51068
955.74	c 11064
956.94	o 51072
956.94	c 11060
958.08	o 51076
958.09	c 11056
959.22	o 51078
959.22	c 11054
962.66	o 51079
962.66	c 11053
965.91	o 51084
965.91	c 11048
970.48	o 51085
970.48	c 11047
971.65	o 51091
971.65	c 11041
972.91	o 51093
972.91	c 11039
974.06	o 51100
974.06	c 11032
975.25	o 51107
975.25	c 11025
976.35	o 51114
976.35	c 11018
977.42	o 51121
977.42	c 11011
978.57	o 51126
978.57	c 11006
982.96	o 51130
982.96	c 11002
985.07	o 51134
985.07	c 10998
986.10	o 51136
986.10	c 10996
987.14	o 51138
987.14	c 10994
988.16	o 51139
988.16	c 10993
989.31	o 51144
989.31	c 10988
990.36	o 51145
990.37	c 10987
991.40	o 51150
991.40	c 10982
992.47	o 51161
992.47	c 10971
993.52	o 51165
993.52	c 10967
994.60	o 51170
994.60	c 10962
995.62	o 51174
995.62	c 10958
996.74	o 51175
996.74	c 10957
997.80	o 51176
997.80	c 10956
998.95	o 51182
998.95	c 10950
1000.04	o 51185
1000.04	c 10947
1001.11	o 51190
1001.11	c 10942
1002.20	o 51192
1002.20	c 10940
1003.31	o 51195
1003.31	c 10937
1005.51	o 51197
1005.51	c 10935
1006.60	o 51198
1006.60	c 10934
1007.70	o 51204
1007.70	c 10928
1008.83	o 51209
1008.83	c 10923
1009.93	o 51217
1009.93	c 10915
1011.08	o 51224
1011.08	c 10908
1012.13	o 51230
1012.13	c 10902
1013.17	o 51232
1013.17	c 10900
1014.23	o 51243
1014.23	c 10889
1015.31	o 51249
1015.31	c 10883
1016.50	o 51252
1016.50	c 10880
1017.63	o 51256
1017.63	c 10876
1018.67	o 51264
1018.67	c 10868
1019.73	o 51267
1019.73	c 10865
1020.88	o 51272
1020.88	c 10860
1022.03	o 51280
1022.03	c 10852
1024.27	o 51286
1024.27	c 10846
1025.44	o 51292
1025.44	c 10840
1027.84	o 51293
1027.84	c 10839
1028.99	o 51294
1028.99	c 10838
1030.16	o 51298
1030.16	c 10834
1031.28	o 51304
1031.28	c 10828
1032.01	o 51311
1032.01	c 10821
1032.92	o 51313
1032.92	c 10819
1034.02	o 51314
1034.02	c 10818
1035.08	o 51317
1035.08	c 10815
1036.15	o 51323
1036.15	c 10809
1037.15	o 51328
1037.15	c 10804
1038.16	o 51329
1038.16	c 10803
1040.23	o 51334
1040.23	c 10798
1041.28	o 51337
1041.28	c 10795
1043.28	o 51340
1043.28	c 10792
1046.40	o 51346
1046.40	c 10786
1047.46	o 51349
1047.46	c 10783
1048.56	o 51353
1048.56	c 10779
1049.70	o 51356
1049.70	c 10776
1050.79	o 51365
1050.79	c 10767
1053.04	o 51367
1053.04	c 10765
1054.15	o 51368
1054.15	c 10764
1055.26	o 51373
1055.26	c 10759
1056.38	o 51376
1056.38	c 10756
1057.47	o 51384
1057.47	c 10748
1058.69	o 51389
1058.69	c 10743
1060.90	o 51395
1060.90	c 10737
1062.05	o 51396
1062.05	c 10736
1063.23	o 51398
1063.23	c 10734
1067.32	o 51400
1067.32	c 10732
1068.36	o 51403
1068.36	c 10729
1069.48	o 51404
1069.48	c 10728
1070.55	o 51406
1070.55	c 10726
1071.61	o 51410
1071.61	c 10722
1072.69	o 51413
1072.69	c 10719
1073.82	o 51419
1073.82	c 10713
1076.15	o 51423
1076.15	c 10709
1077.32	o 51428
1077.32	c 10704
1077.86	o 51435
1077.86	c 10697
1078.96	o 51444
1078.96	c 10688
1081.10	o 51450
1081.10	c 10682
1082.23	o 51452
1082.23	c 10680
1083.36	o 51455
1083.36	c 10677
1084.46	o 51458
1084.46	c 10674
1085.55	o 51466
1085.55	c 10666
1086.70	o 51469
1086.70	c 10663
1087.84	o 51470
1087.84	c 10662
1088.96	o 51474
1088.96	c 10658
1090.00	o 51481
1090.00	c 10651
1092.21	o 51487
1092.21	c 10645
1094.38	o 51494
1094.38	c 10638
1096.70	o 51497
1096.70	c 10635
1097.84	o 51503
1097.84	c 10629
1099.03	o 51512
1099.03	c 10620
1100.26	o 51519
1100.26	c 10613
1101.39	o 51523
1101.39	c 10609
1103.91	o 51527
1103.91	c 10605
1106.28	o 51534
1106.28	c 10598
1107.45	o 51541
1107.45	c 10591
1108.59	o 51547
1108.59	c 10585
1109.80	o 51550
1109.80	c 10582
1110.96	o 51561
1110.96	c 10571
1112.12	o 51564
1112.12	c 10568
1113.25	o 51566
1113.25	c 10566
1114.40	o 51576
1114.40	c 10556
1115.57	o 51578
1115.57	c 10554
1116.69	o 51580
1116.69	c 10552
1117.87	o 51582
1117.87	c 10550
1119.16	o 51584
1119.16	c 10548
1120.33	o 51597
1120.33	c 10535
1121.48	o 51601
1121.48	c 10531
1122.68	o 51604
1122.68	c 10528
1123.86	o 51606
1123.86	c 10526
1125.14	o 51607
1125.14	c 10525
1126.35	o 51608
1126.35	c 10524
1128.72	o 51617
1128.72	c 10515
1131.04	o 51627
1131.04	c 10505
1132.27	o 51629
1132.27	c 10503
1133.54	o 51631
1133.54	c 10501
1135.87	o 51637
1135.87	c 10495
1137.06	o 51639
1137.06	c 10493
1140.78	o 51641
1140.78	c 10491
1141.98	o 51649
1141.98	c 10483
1143.16	o 51652
1143.16	c 10480
1144.52	o 51663
1144.52	c 10469
1145.79	o 51672
1145.79	c 10460
1147.07	o 51677
1147.07	c 10455
1148.30	o 51679
1148.30	c 10453
1152.04	o 51683
1152.04	c 10449
1153.39	o 51686
1153.39	c 10446
1154.61	o 51690
1154.61	c 10442
1158.39	o 51695
1158.39	c 10437
1159.65	o 51697
1159.65	c 10435
1160.92	o 51701
1160.92	c 10431
1163.60	o 51707
1163.60	c 10425
1164.89	o 51714
1164.89	c 10418
1166.28	o 51719
1166.28	c 10413
1167.65	o 51722
1167.65	c 10410
1169.13	o 51729
1169.13	c 10403
1170.48	o 51732
1170.48	c 10400
1173.26	o 51734
1173.26	c 10398
1174.55	o 51746
1174.55	c 10386
1175.95	o 51748
1175.95	c 10384
1178.53	o 51749
1178.53	c 10383
1179.87	o 51751
1179.87	c 10381
1181.23	o 51754
1181.23	c 10378
1184.06	o 51757
1184.06	c 10375
1185.40	o 51758
1185.40	c 10374
1188.24	o 51764
1188.24	c 10368
1189.65	o 51769
1189.65	c 10363
1195.09	o 51772
1195.09	c 10360
1196.49	o 51775
1196.49	c 10357
1197.85	o 51777
1197.85	c 10355
1199.25	o 51785
1199.25	c 10347
1200.74	o 51790
1200.74	c 10342
1202.19	o 51796
1202.19	c 10336
1203.70	o 51800
1203.70	c 10332
1205.15	o 51805
1205.15	c 10327
1206.64	o 51807
1206.64	c 10325
1208.06	o 51815
1208.06	c 10317
1209.35	o 51825
1209.35	c 10307
1213.97	o 51828
1213.97	c 10304
1215.45	o 51833
1215.45	c 10299
1217.12	o 51837
1217.12	c 10295
1218.70	o 51841
1218.70	c 10291
1220.23	o 51846
1220.23	c 10286
1221.79	o 51849
1221.79	c 10283
1223.36	o 51858
1223.36	c 10274
1224.93	o 51867
1224.93	c 10265
1226.50	o 51872
1226.50	c 10260
1228.03	o 51874
1228.03	c 10258
1231.06	o 51880
1231.06	c 10252
1232.56	o 51885
1232.56	c 10247
1234.15	o 51886
1234.15	c 10246
1237.24	o 51890
1237.24	c 10242
1240.18	o 51892
1240.18	c 10240
1241.64	o 51900
1241.64	c 10232
1243.16	o 51906
1243.16	c 10226
1244.68	o 51913
1244.68	c 10219
1246.20	o 51916
1246.20	c 10216
1247.73	o 51923
1247.73	c 10209
1249.24	o 51924
1249.24	c 10208
1255.25	o 51928
1255.25	c 10204
1256.71	o 51929
1256.71	c 10203
1258.16	o 51934
1258.16	c 10198
1262.37	o 51938
1262.37	c 10194
1263.61	o 51939
1263.61	c 10193
1265.05	o 51945
1265.05	c 10187
1266.45	o 51956
1266.45	c 10176
1267.85	o 51962
1267.85	c 10170
1269.18	o 51969
1269.18	c 10163
1271.88	o 51973
1271.88	c 10159
1273.23	o 51976
1273.23	c 10156
1274.65	o 51978
1274.65	c 10154
1275.99	o 51979
1275.99	c 10153
1277.40	o 51982
1277.40	c 10150
1278.81	o 51991
1278.81	c 10141
1280.25	o 51995
1280.25	c 10137
1281.63	o 52003
1281.63	c 10129
1284.57	o 52004
1284.57	c 10128
1286.04	o 52006
1286.04	c 10126
1287.44	o 52008
1287.44	c 10124
1288.82	o 52016
1288.82	c 10116
1294.41	o 52019
1294.41	c 10113
1295.79	o 52022
1295.79	c 10110
1297.18	o 52027
1297.18	c 10105
1298.62	o 52032
1298.62	c 10100
1300.04	o 52036
1300.04	c 10096
1301.47	o 52037
1301.47	c 10095
1302.94	o 52039
1302.94	c 10093
1304.40	o 52040
1304.40	c 10092
1307.44	o 52042
1307.44	c 10090
1308.93	o 52051
1308.93	c 10081
1311.86	o 52054
1311.86	c 10078
1313.42	o 52060
1313.42	c 10072
1314.90	o 52063
1314.90	c 10069
1316.37	o 52071
1316.37	c 10061
1317.78	o 52077
1317.78	c 10055
1319.21	o 52080
1319.21	c 10052
1320.66	o 52084
1320.66	c 10048
1326.44	o 52086
1326.44	c 10046
1333.40	o 52092
1333.40	c 10040
1334.86	o 52100
1334.86	c 10032
1336.26	o 52103
1336.26	c 10029
1337.73	o 52105
1337.73	c 10027
1339.14	o 52112
1339.14	c 10020
1342.12	o 52115
1342.12	c 10017
1343.58	o 52121
1343.58	c 10011
1345.11	o 52124
1345.11	c 10008
1348.19	o 52129
1348.19	c 10003
1351.19	o 52130
1351.19	c 10002
1352.69	o 52132
1352.69	c 10000
1355.10	o 52135
1355.10	c 9997
1356.56	o 52136
1356.56	c 9996
1358.01	o 52143
1358.01	c 9989
1360.82	o 52144
1360.82	c 9988
1362.32	o 52148
1362.32	c 9984
1363.59	o 52153
1363.59	c 9979
1365.03	o 52162
1365.03	c 9970
1366.56	o 52168
1366.56	c 9964
1368.02	o 52171
1368.02	c 9961
1369.48	o 52180
1369.48	c 9952
1372.14	o 52183
1372.14	c 9949
1373.56	o 52187
1373.56	c 9945
1374.96	o 52197
1374.96	c 9935
1376.45	o 52200
1376.45	c 9932
1379.32	o 52206
1379.32	c 9926
1380.75	o 52207
1380.75	c 9925
1382.21	o 52209
1382.21	c 9923
1383.67	o 52213
1383.67	c 9919
1385.15	o 52214
1385.15	c 9918
1386.48	o 52216
1386.48	c 9916
1387.98	o 52219
1387.98	c 9913
1390.69	o 52226
1390.69	c 9906
1391.83	o 52232
1391.83	c 9900
1393.32	o 52234
1393.32	c 9898
1396.34	o 52235
1396.34	c 9897
1399.35	o 52238
1399.35	c 9894
1400.85	o 52242
1400.85	c 9890
1404.41	o 52243
1404.41	c 9889
1405.81	o 52245
1405.81	c 9887
1407.24	o 52251
1407.24	c 9881
1409.95	o 52252
1409.95	c 9880
1411.26	o 52258
1411.26	c 9874
1412.60	o 52266
1412.60	c 9866
1413.95	o 52269
1413.95	c 9863
1415.30	o 52270
1415.30	c 9862
1416.68	o 52275
1416.68	c 9857
1419.54	o 52280
1419.54	c 9852
1420.88	o 52285
1420.88	c 9847
1423.60	o 52286
1423.60	c 9846
1425.03	o 52288
1425.03	c 9844
1426.51	o 52289
1426.51	c 9843
1427.94	o 52298
1427.94	c 9834
1429.34	o 52301
1429.34	c 9831
1430.80	o 52302
1430.80	c 9830
1432.19	o 52306
1432.19	c 9826
1433.55	o 52309
1433.55	c 9823
1437.84	o 52313
1437.84	c 9819
1440.56	o 52317
1440.56	c 9815
1441.98	o 52320
1441.98	c 9812
1443.41	o 52326
1443.41	c 9806
1444.90	o 52328
1444.90	c 9804
1446.36	o 52330
1446.36	c 9802
1449.21	o 52333
1449.21	c 9799
1450.56	o 52336
1450.56	c 9796
1452.04	o 52339
1452.04	c 9793
1453.46	o 52342
1453.46	c 9790
1454.82	o 52349
1454.82	c 9783
1456.21	o 52354
1456.21	c 9778
1460.29	o 52358
1460.29	c 9774
1465.61	o 52367
1465.61	c 9765
1479.86	o 52371
1479.86	c 9761
1481.22	o 52375
1481.22	c 9757
1482.53	o 52382
1482.54	c 9750
1483.87	o 52386
1483.87	c 9746
1485.22	o 52394
1485.23	c 9738
1486.56	o 52399
1486.56	c 9733
1487.93	o 52401
1487.93	c 9731
1489.30	o 52405
1489.30	c 9727
1490.61	o 52414
1490.61	c 9718
1493.31	o 52416
1493.31	c 9716
1494.63	o 52422
1494.63	c 9710
1495.58	o 52431
1495.58	c 9701
1496.86	o 52433
1496.86	c 9699
1499.52	o 52438
1499.52	c 9694
1500.81	o 52445
1500.81	c 9687
1502.14	o 52450
1502.14	c 9682
1503.52	o 52453
1503.52	c 9679
1504.83	o 52457
1504.83	c 9675
1505.75	o 52460
1505.75	c 9672
1513.98	o 52461
1513.98	c 9671
1515.28	o 52466
1515.28	c 9666
1517.92	o 52473
1517.92	c 9659
1519.25	o 52475
1519.25	c 9657
1520.56	o 52480
1520.56	c 9652
1522.03	o 52483
1522.03	c 9649
1528.47	o 52487
1528.47	c 9645
1529.81	o 52490
1529.81	c 9642
1531.16	o 52492
1531.16	c 9640
1532.51	o 52497
1532.51	c 9635
1533.80	o 52502
1533.80	c 9630
1536.47	o 52504
1536.47	c 9628
1537.81	o 52506
1537.81	c 9626
1539.20	o 52508
1539.20	c 9624
1540.52	o 52515
1540.52	c 9617
1541.89	o 52526
1541.89	c 9606
1544.47	o 52529
1544.47	c 9603
1545.86	o 52533
1545.86	c 9599
1547.18	o 52534
1547.18	c 9598
1550.03	o 52539
1550.03	c 9593
1551.38	o 52541
1551.38	c 9591
1552.80	o 52546
1552.80	c 9586
1555.47	o 52547
1555.47	c 9585
1556.84	o 52554
1556.84	c 9578
1558.18	o 52556
1558.18	c 9576
1559.53	o 52557
1559.53	c 9575
1560.91	o 52560
1560.91	c 9572
1563.68	o 52562
1563.68	c 9570
1569.24	o 52564
1569.24	c 9568
1570.61	o 52570
1570.61	c 9562
1571.52	o 52578
1571.52	c 9554
1572.83	o 52585
1572.83	c 9547
1574.20	o 52588
1574.20	c 9544
1575.52	o 52591
1575.52	c 9541
1576.91	o 52598
1576.91	c 9534
1578.19	o 52604
1578.19	c 9528
1579.45	o 52613
1579.45	c 9519
1580.79	o 52619
1580.79	c 9513
1582.10	o 52622
1582.10	c 9510
1583.36	o 52630
1583.36	c 9502
1585.90	o 52634
1585.90	c 9498
1587.24	o 52637
1587.24	c 9495
1591.83	o 52639
1591.83	c 9493
1593.06	o 52643
1593.06	c 9489
1594.30	o 52650
1594.30	c 9482
1595.53	o 52651
1595.53	c 9481
1596.80	o 52652
1596.80	c 9480
1598.07	o 52654
1598.07	c 9478
1599.30	o 52656
1599.30	c 9476
1600.57	o 52660
1600.57	c 9472
1603.10	o 52661
1603.10	c 9471
1604.16	o 52670
1604.16	c 9462
1605.36	o 52675
1605.36	c 9457
1609.21	o 52676
1609.21	c 9456
1610.39	o 52679
1610.39	c 9453
1611.56	o 52680
1611.56	c 9452
1613.97	o 52681
1613.97	c 9451
1615.13	o 52686
1615.13	c 9446
1616.26	o 52691
1616.26	c 9441
1617.44	o 52693
1617.44	c 9439
1619.19	o 52702
1619.19	c 9430
1620.26	o 52703
1620.26	c 9429
1621.53	o 52707
1621.53	c 9425
1623.82	o 52712
1623.82	c 9420
1625.04	o 52715
1625.04	c 9417
1626.26	o 52717
1626.26	c 9415
1628.87	o 52718
1628.87	c 9414
1631.52	o 52719
1631.52	c 9413
1632.78	o 52722
1632.78	c 9410
1634.02	o 52729
1634.02	c 9403
1640.48	o 52732
1640.48	c 9400
1641.78	o 52739
1641.78	c 9393
1643.04	o 52742
1643.04	c 9390
1644.26	o 52750
1644.26	c 9382
1645.55	o 52751
1645.55	c 9381
1646.79	o 52759
1646.79	c 9373
1648.04	o 52767
1648.04	c 9365
1649.35	o 52772
1649.35	c 9360
1650.66	o 52778
1650.66	c 9354
1651.94	o 52780
1651.94	c 9352
1653.24	o 52783
1653.24	c 9349
1654.45	o 52784
1654.45	c 9348
1655.82	o 52788
1655.82	c 9344
1657.19	o 52798
1657.19	c 9334
1658.51	o 52801
1658.51	c 9331
1659.80	o 52802
1659.80	c 9330
1661.22	o 52806
1661.22	c 9326
1662.30	o 52812
1662.30	c 9320
1666.18	o 52813
1666.18	c 9319
1667.53	o 52814
1667.53	c 9318
1668.83	o 52815
1668.83	c 9317
1671.44	o 52818
1671.44	c 9314
1673.97	o 52820
1673.97	c 9312
1675.27	o 52825
1675.27	c 9307
1676.54	o 52828
1676.54	c 9304
1680.65	o 52838
1680.65	c 9294
1682.03	o 52850
1682.03	c 9282
1683.49	o 52851
1683.49	c 9281
1684.89	o 52855
1684.89	c 9277
1686.29	o 52857
1686.29	c 9275
1687.71	o 52860
1687.71	c 9272
1689.10	o 52864
1689.10	c 9268
1693.39	o 52868
1693.39	c 9264
1694.77	o 52870
1694.77	c 9262
1696.19	o 52872
1696.19	c 9260
1697.64	o 52874
1697.64	c 9258
1699.07	o 52883
1699.07	c 9249
1700.49	o 52885
1700.49	c 9247
1701.90	o 52890
1701.90	c 9242
1707.52	o 52896
1707.52	c 9236
1710.37	o 52902
1710.37	c 9230
1711.78	o 52903
1711.78	c 9229
1713.17	o 52908
1713.17	c 9224
1715.64	o 52917
1715.64	c 9215
1717.04	o 52920
1717.04	c 9212
1719.84	o 52925
1719.84	c 9207
1721.25	o 52927
1721.25	c 9205
1722.71	o 52932
1722.71	c 9200
1728.42	o 52933
1728.42	c 9199
1729.81	o 52936
1729.81	c 9196
1731.23	o 52939
1731.23	c 9193
1732.67	o 52943
1732.67	c 9189
1734.14	o 52944
1734.14	c 9188
1735.28	o 52946
1735.28	c 9186
1736.77	o 52950
1736.77	c 9182
1738.17	o 52953
1738.17	c 9179
1739.62	o 52955
1739.62	c 9177
1741.08	o 52957
1741.08	c 9175
1744.04	o 52962
1744.04	c 9170
1745.55	o 52967
1745.55	c 9165
1748.51	o 52969
1748.51	c 9163
1750.00	o 52970
1750.00	c 9162
1751.44	o 52972
1751.44	c 9160
1754.42	o 52975
1754.42	c 9157
1755.84	o 52985
1755.84	c 9147
1757.28	o 52987
1757.28	c 9145
1758.74	o 52988
1758.74	c 9144
1763.12	o 52999
1763.12	c 9133
1764.58	o 53004
1764.58	c 9128
1767.55	o 53007
1767.55	c 9125
1771.98	o 53009
1771.98	c 9123
1773.44	o 53016
1773.44	c 9116
1777.73	o 53018
1777.73	c 9114
1779.16	o 53026
1779.16	c 9106
1780.57	o 53032
1780.57	c 9100
1781.90	o 53040
1781.90	c 9092
1786.14	o 53048
1786.14	c 9084
1787.60	o 53053
1787.60	c 9079
1789.03	o 53057
1789.03	c 9075
1791.85	o 53059
1791.85	c 9073
1793.26	o 53069
1793.26	c 9063
1794.65	o 53070
1794.65	c 9062
1796.04	o 53073
1796.04	c 9059
1797.50	o 53076
1797.50	c 9056
1800.26	o 53088
1800.26	c 9044
1805.86	o 53089
1805.86	c 9043
1807.23	o 53093
1807.23	c 9039
1808.69	o 53097
1808.69	c 9035
1815.41	o 53099
1815.41	c 9033
1816.81	o 53102
1816.81	c 9030
1820.94	o 53108
1820.94	c 9024
1822.24	o 53121
1822.24	c 9011
1823.55	o 53125
1823.56	c 9007
1824.91	o 53130
1824.91	c 9002
1827.62	o 53134
1827.62	c 8998
1828.93	o 53139
1828.93	c 8993
1830.18	o 53142
1830.18	c 8990
1831.45	o 53147
1831.45	c 8985
1832.77	o 53148
1832.77	c 8984
1841.71	o 53150
1841.71	c 8982
1842.96	o 53152
1842.96	c 8980
1844.24	o 53154
1844.24	c 8978
1845.54	o 53161
1845.54	c 8971
1846.80	o 53166
1846.80	c 8966
1848.03	o 53167
1848.03	c 8965
1849.40	o 53169
1849.40	c 8963
1850.65	o 53172
1850.65	c 8960
1851.94	o 53173
1851.94	c 8959
1853.25	o 53175
1853.25	c 8957
1859.48	o 53179
1859.49	c 8953
1867.17	o 53180
1867.17	c 8952
1868.35	o 53185
1868.35	c 8947
1869.53	o 53190
1869.53	c 8942
1870.77	o 53193
1870.77	c 8939
1871.97	o 53195
1871.97	c 8937
1875.90	o 53198
1875.90	c 8934
1882.51	o 53205
1882.51	c 8927
1889.50	o 53206
1889.50	c 8926
1893.77	o 53212
1893.77	c 8920
1895.24	o 53214
1895.24	c 8918
1896.66	o 53225
1896.66	c 8907
1902.49	o 53229
1902.49	c 8903
1903.91	o 53237
1903.91	c 8895
1905.41	o 53242
1905.41	c 8890
1906.91	o 53244
1906.91	c 8888
1908.36	o 53249
1908.36	c 8883
1909.82	o 53250
1909.82	c 8882
1911.26	o 53256
1911.26	c 8876
1912.70	o 53257
1912.70	c 8875
1914.15	o 53259
1914.15	c 8873
1915.60	o 53261
1915.60	c 8871
1917.10	o 53262
1917.10	c 8870
1918.57	o 53264
1918.57	c 8868
1919.97	o 53268
1919.97	c 8864
1921.44	o 53275
1921.44	c 8857
1922.88	o 53278
1922.88	c 8854
1924.33	o 53280
1924.33	c 8852
1925.92	o 53288
1925.92	c 8844
1927.35	o 53289
1927.35	c 8843
1928.83	o 53298
1928.83	c 8834
1931.79	o 53305
1931.79	c 8827
1933.17	o 53309
1933.17	c 8823
1934.61	o 53314
1934.61	c 8818
1936.13	o 53316
1936.13	c 8816
1937.60	o 53319
1937.60	c 8813
1940.52	o 53320
1940.52	c 8812
1942.05	o 53323
1942.05	c 8809
1943.55	o 53324
1943.55	c 8808
1945.03	o 53327
1945.03	c 8805
1946.53	o 53328
1946.53	c 8804
1958.13	o 53331
1958.13	c 8801
1959.54	o 53338
1959.54	c 8794
1961.02	o 53341
1961.02	c 8791
1963.77	o 53351
1963.77	c 8781
1966.48	o 53352
1966.48	c 8780
1967.86	o 53356
1967.86	c 8776
1969.23	o 53358
1969.23	c 8774
1970.61	o 53365
1970.61	c 8767
1973.13	o 53373
1973.13	c 8759
1974.40	o 53382
1974.40	c 8750
1975.46	o 53388
1975.46	c 8744
1976.75	o 53392
1976.75	c 8740
1979.29	o 53393
1979.29	c 8739
1980.61	o 53394
1980.61	c 8738
1981.86	o 53401
1981.86	c 8731
1983.10	o 53404
1983.10	c 8728
1984.32	o 53409
1984.32	c 8723
1985.60	o 53412
1985.60	c 8720
1986.83	o 53418
1986.83	c 8714
1988.08	o 53419
1988.08	c 8713
1989.36	o 53420
1989.36	c 8712
1990.61	o 53423
1990.61	c 8709
1991.83	o 53427
1991.83	c 8705
1993.03	o 53435
1993.03	c 8697
1994.22	o 53439
1994.22	c 8693
1995.40	o 53444
1995.40	c 8688
1997.83	o 53445
1997.83	c 8687
1999.11	o 53450
1999.11	c 8682
2000.42	o 53455
2000.42	c 8677
2001.69	o 53459
2001.69	c 8673
2002.91	o 53465
2002.91	c 8667
2004.16	o 53466
2004.16	c 8666
2006.56	o 53467
2006.56	c 8665
2007.75	o 53472
2007.75	c 8660
2009.00	o 53474
2009.00	c 8658
2010.25	o 53478
2010.25	c 8654
2011.54	o 53482
2011.54	c 8650
2012.86	o 53488
2012.86	c 8644
2017.96	o 53493
2017.96	c 8639
2018.84	o 53503
2018.84	c 8629
2022.92	o 53505
2022.92	c 8627
2024.23	o 53511
2024.23	c 8621
2026.80	o 53513
2026.80	c 8619
2028.13	o 53517
2028.13	c 8615
2029.45	o 53518
2029.45	c 8614
2030.76	o 53522
2030.76	c 8610
2038.71	o 53524
2038.71	c 8608
2041.38	o 53525
2041.38	c 8607
2042.76	o 53527
2042.76	c 8605
2043.80	o 53532
2043.80	c 8600
2045.16	o 53537
2045.16	c 8595
2046.56	o 53546
2046.56	c 8586
2047.95	o 53552
2047.95	c 8580
2049.41	o 53562
2049.41	c 8570
2050.77	o 53565
2050.77	c 8567
2052.10	o 53569
2052.10	c 8563
2057.76	o 53574
2057.76	c 8558
2059.22	o 53576
2059.22	c 8556
2059.85	o 53584
2059.85	c 8548
2061.02	o 53588
2061.02	c 8544
2062.42	o 53601
2062.42	c 8531
2067.63	o 53602
2067.63	c 8530
2068.48	o 53606
2068.48	c 8526
2069.88	o 53611
2069.88	c 8521
2071.24	o 53616
2071.24	c 8516
2072.67	o 53618
2072.67	c 8514
2074.00	o 53625
2074.00	c 8507
2075.34	o 53628
2075.34	c 8504
2076.74	o 53634
2076.74	c 8498
2078.05	o 53635
2078.05	c 8497
2079.24	o 53640
2079.24	c 8492
2081.93	o 53641
2081.93	c 8491
2083.28	o 53647
2083.28	c 8485
2084.60	o 53654
2084.60	c 8478
2086.00	o 53658
2086.00	c 8474
2087.38	o 53665
2087.38	c 8467
2094.29	o 53672
2094.29	c 8460
2095.64	o 53676
2095.64	c 8456
2097.04	o 53681
2097.04	c 8451
2098.27	o 53682
2098.27	c 8450
2101.07	o 53684
2101.07	c 8448
2102.44	o 53686
2102.44	c 8446
2106.59	o 53689
2106.59	c 8443
2107.95	o 53696
2107.95	c 8436
2109.34	o 53700
2109.34	c 8432
2110.68	o 53705
2110.68	c 8427
2112.04	o 53709
2112.04	c 8423
2114.80	o 53710
2114.80	c 8422
2116.14	o 53713
2116.14	c 8419
2117.17	o 53717
2117.17	c 8415
2118.52	o 53720
2118.52	c 8412
2119.88	o 53726
2119.88	c 8406
2121.19	o 53727
2121.19	c 8405
2123.86	o 53728
2123.86	c 8404
2125.23	o 53732
2125.23	c 8400
2130.55	o 53735
2130.55	c 8397
2131.89	o 53742
2131.89	c 8390
2133.20	o 53745
2133.20	c 8387
2136.17	o 53750
2136.17	c 8382
2138.85	o 53752
2138.85	c 8380
2140.19	o 53759
2140.19	c 8373
2141.48	o 53761
2141.48	c 8371
2142.81	o 53764
2142.81	c 8368
2149.18	o 53766
2149.18	c 8366
2151.90	o 53769
2151.90	c 8363
2153.20	o 53770
2153.20	c 8362
2154.56	o 53773
2154.56	c 8359
2155.87	o 53775
2155.87	c 8357
2163.29	o 53782
2163.29	c 8350
2164.71	o 53783
2164.71	c 8349
2166.06	o 53784
2166.06	c 8348
2167.45	o 53789
2167.45	c 8343
2168.85	o 53792
2168.85	c 8340
2170.23	o 53793
2170.23	c 8339
2171.67	o 53794
2171.67	c 8338
2178.13	o 53796
2178.13	c 8336
2179.57	o 53797
2179.57	c 8335
2181.02	o 53799
2181.02	c 8333
2182.45	o 53802
2182.45	c 8330
2183.89	o 53805
2183.89	c 8327
2185.31	o 53807
2185.31	c 8325
2186.73	o 53812
2186.73	c 8320
2188.13	o 53815
2188.13	c 8317
2190.85	o 53817
2190.85	c 8315
2193.55	o 53820
2193.55	c 8312
2196.34	o 53822
2196.34	c 8310
2199.13	o 53832
2199.13	c 8300
2200.53	o 53845
2200.53	c 8287
2201.93	o 53849
2201.93	c 8283
2203.35	o 53854
2203.35	c 8278
2206.07	o 53856
2206.07	c 8276
2207.53	o 53864
2207.53	c 8268
2211.79	o 53868
2211.79	c 8264
2214.60	o 53872
2214.60	c 8260
2216.06	o 53876
2216.06	c 8256
2217.48	o 53878
2217.48	c 8254
2219.00	o 53884
2219.00	c 8248
2220.07	o 53891
2220.07	c 8241
2221.50	o 53895
2221.50	c 8237
2225.77	o 53896
2225.77	c 8236
2227.19	o 53902
2227.19	c 8230
2228.61	o 53904
2228.61	c 8228
2230.10	o 53909
2230.10	c 8223
2233.01	o 53911
2233.01	c 8221
2234.37	o 53915
2234.37	c 8217
2235.83	o 53918
2235.83	c 8214
2237.28	o 53924
2237.28	c 8208
2238.73	o 53931
2238.73	c 8201
2240.20	o 53934
2240.20	c 8198
2241.76	o 53935
2241.76	c 8197
2243.31	o 53938
2243.31	c 8194
2244.77	o 53942
2244.77	c 8190
2246.32	o 53945
2246.32	c 8187
2247.82	o 53946
2247.83	c 8186
2249.29	o 53954
2249.29	c 8178
2250.58	o 53956
2250.58	c 8176
2252.04	o 53961
2252.04	c 8171
2253.50	o 53966
2253.50	c 8166
2254.23	o 53967
2254.23	c 8165
2255.68	o 53972
2255.68	c 8160
2257.17	o 53973
2257.17	c 8159
2258.62	o 53974
2258.62	c 8158
2260.10	o 53975
2260.10	c 8157
2261.62	o 53981
2261.62	c 8151
2263.21	o 53986
2263.21	c 8146
2264.69	o 53990
2264.69	c 8142
2266.27	o 53997
2266.27	c 8135
2267.76	o 54000
2267.76	c 8132
2269.26	o 54001
2269.26	c 8131
2270.77	o 54002
2270.77	c 8130
2272.29	o 54005
2272.29	c 8127
2273.79	o 54007
2273.79	c 8125
2275.27	o 54008
2275.27	c 8124
2276.79	o 54011
2276.79	c 8121
2281.27	o 54014
2281.27	c 8118
2282.84	o 54015
2282.84	c 8117
2284.36	o 54016
2284.36	c 8116
2285.86	o 54017
2285.86	c 8115
2288.94	o 54020
2288.94	c 8112
2293.29	o 54022
2293.29	c 8110
2307.48	o 54027
2307.48	c 8105
2309.10	o 54032
2309.10	c 8100
2310.70	o 54035
2310.70	c 8097
2312.32	o 54042
2312.32	c 8090
2315.28	o 54046
2315.28	c 8086
2316.83	o 54054
2316.83	c 8078
2318.39	o 54059
2318.39	c 8073
2319.93	o 54064
2319.93	c 8068
2321.43	o 54065
2321.43	c 8067
2323.01	o 54068
2323.01	c 8064
2324.63	o 54072
2324.63	c 8060
2326.24	o 54073
2326.24	c 8059
2327.81	o 54076
2327.81	c 8056
2329.40	o 54079
2329.40	c 8053
2332.63	o 54083
2332.63	c 8049
2334.20	o 54088
2334.20	c 8044
2335.82	o 54092
2335.82	c 8040
2337.47	o 54096
2337.47	c 8036
2339.09	o 54099
2339.09	c 8033
2340.50	o 54102
2340.50	c 8030
2342.13	o 54105
2342.13	c 8027
2343.74	o 54111
2343.74	c 8021
2354.22	o 54118
2354.22	c 8014
2355.72	o 54119
2355.72	c 8013
2357.17	o 54123
2357.17	c 8009
2360.15	o 54125
2360.15	c 8007
2361.61	o 54130
2361.61	c 8002
2362.99	o 54135
2362.99	c 7997
2364.37	o 54137
2364.37	c 7995
2365.83	o 54141
2365.83	c 7991
2368.73	o 54144
2368.74	c 7988
2370.24	o 54145
2370.24	c 7987
2371.69	o 54146
2371.69	c 7986
2373.18	o 54149
2373.18	c 7983
2374.62	o 54154
2374.62	c 7978
2376.10	o 54155
2376.10	c 7977
2377.54	o 54156
2377.54	c 7976
2379.02	o 54157
2379.02	c 7975
2380.54	o 54162
2380.54	c 7970
2385.00	o 54165
2385.00	c 7967
2386.55	o 54166
2386.55	c 7966
2388.04	o 54173
2388.04	c 7959
2388.79	o 54177
2388.79	c 7955
2390.17	o 54180
2390.17	c 7952
2391.64	o 54184
2391.64	c 7948
2394.70	o 54187
2394.70	c 7945
2396.18	o 54188
2396.18	c 7944
2397.79	o 54194
2397.79	c 7938
2399.31	o 54196
2399.31	c 7936
2400.90	o 54199
2400.90	c 7933
2402.44	o 54204
2402.44	c 7928
2405.59	o 54205
2405.59	c 7927
2407.17	o 54207
2407.17	c 7925
2411.60	o 54208
2411.60	c 7924
2412.55	v 3854 -3366 2762 3966 2830 4042 -3902 -4042 -3930 -2650 3458 -2654 3162 -2714 -3366 2830 4038 2794 -2690 3358 3206 2954 -3202 -4042 -3930 -3810 -3414 -3162 4030 -2902 3982 -3582 3594 2826 2770 2870 -3566 -2686 -3922 3646 3034 3858 -3890 -3754 3346 -3050 -4026 -3882 -2830 2978 3470 -2782 -4038 -3322 3742 2650 -2870 -2934 -2670 3206 3818 -3570 3638 3566 -2666 3282 -4042 3454 -3434 -3530 2674 3030 -4026 -3154 -3874 -3458 -3450 -4010 -3906 -2714 3794 3210 3114 2722 -3906 3270 -3014 3966 -3434 2658 3626 -3342 -2662 -3574 -4002 -3998 -3430 -3890 -4018 -3110 3994 3510 2654 -3998 -3894 3218 3770 3762 -3294 3914 2810 -3894 -3266 3898 3554 -3942 -3730 -3002 3822 3690 3002 -3014 -2694 -3842 -3254 3278 -3130 3886 -2982 -3310 -3146 4042 -2978 2954 2666 3510 3234 -3150 -3434 3462 -2846 3706 3802 -4022 -3090 -3134 -3886 4042 2690 -3382 -2650 -3846 2710 2806 3578 4010 4022 3766 2670 -2718 2778 4030 3154 3102 -2786 -3898 -3862 -3978 2794 -4002 3318 -3858 -3214 2922 4030 4038 3978 2650 -3066 -3730 4002 -3990 3646 3982 -3498 -2670 -2950 3234 -3730 3970 3338 3506 -4014 -2662 -2806 -3370 -3082 2758 2650 3270 -3150 3894 -3294 -3282 3094 -2690 3442 2650 -4042 -3582 3878 -3330 -3130 3254 3286 -3954 3038 -3514 3066 2654 3378 3138 -2662 -3194 3762 -3954 -3310 3082 -3490 -3306 4042 2674 4034 3986 3970 3014 3938 -2958 3634 -3874 -4042 -4042 -3022 2774 -4038 -3982 2650 3174 -3906 3842 2666 3070 2782 -3982 -2678 -3838 -3526 -2854 -3162 -3850 2894 2938 -2698 -4014 -2746 3926 3630 -3226 -2662 -3542 -2982 4002 -4026 3250 3010 -2694 -3658 -3366 -3558 -3310 2718 2702 3634 -3990 4002 3190 3702 -3750 4002 3102 -2926 -3618 2650 3622 -2654 3398 -3254 -2802 -2650 -3426 2882 -2734 2650 3930 3098 3242 3702 2750 2674 3978 -3166 3998 -2650 3246 3690 -2894 -4038 3802 -2658 -2918 -3906 -3982 -2954 -3714 2690 -3194 -3554 2818 -3290 3946 4042 -2778 2906 -3930 4038 -3278 2918 -3670 3750 -3654 3758 -2946 3550 -2906 -3234 3202 -2886 -2698 -3854 -3110 -3266 3970 -3690 -2658 3370 4042 -3534 -3926 -4002 2826 -3030 3414 3282 -4042 3342 2794 -3994 3474 2718 -3614 -2802 3258 4002 3298 3466 -3870 -3426 -4010 -3998 2998 2650 4022 2678 2698 -3154 2890 3654 4042 -4022 2670 2738 -2650 -3066 -3862 2702 -2654 3946 2650 3310 3614 3610 -3082 3442 2662 3930 -3202 3914 -2710 3442 -3890 -3426 3670 -2694 4042 4022 -2826 3858 -3890 2962 4042 -3766 -2922 2678 -3078 -3974 -3830 2694 -3642 3154 2734 3810 3606 3402 -3342 2974 -3450 3946 -2826 2650 3926 2762 3714 4030 4002 3962 3778 -2950 3998 2810 -3878 -3722 3630 -3694 -3998 3214 -3786 2686 -3906 -3562 2650 -2698 3406 -3314 -2694 -2650 3126 3470 -3762 -2874 -3054 3958 -3850 2810 -3806 3914 2706 -3718 -3970 -3854 -3966 2690 4006 -3550 3998 2650 -2926 -2738 2930 3174 3066 -4014 3794 -3930 -3902 4042 3998 -2690 3918 3282 -2686 -3910 3110 2718 3534 -2650 -3894 -3846 -3218 -3326 -4026 3482 3018 2654 -3882 -3170 -4002 -3198 -3782 3742 3074 4026 2954 3842 -3926 3910 -2670 -3746 -3118 3134 3802 2666 2694 -3362 -4038 -2654 -3198 -3534 -3318 3974 -3490 3230 -3126 -3930 2650 3390 -4014 3042 -2938 3578 -3146 3998 -3866 3710 -2710 2670 -3894 -4042 -2890 3658 -4034 2714 2650 2798 2982 -2770 3922 -2790 3038 3762 3478 3310 -3874 2662 2754 2990 3754 3046 3026 2726 -2762 -3942 3870 -3766 -4002 3366 -2706 -4010 3982 3998 3782 3854 3586 2998 3966 3386 3878 2694 4018 3706 -4014 2846 3374 3294 -3922 2706 2738 -3958 -3818 -2886 3618 3774 2662 -2774 -3690 3570 2898 2674 2962 -2674 -3470 2854 -3486 -4042 3182 -4038 2798 -3758 -2838 4034 -3358 -2818 4042 -3238 -4022 -3886 -2706 -2682 -2650 4002 3346 -3514 -2654 3070 -3814 3326 -3978 -2690 3666 -3830 3498 2678 -3350 -4038 -3602 -3914 -3886 -2654 3222 3702 -2662 2670 3878 -2706 2766 -3658 -3346 3446 3798 2930 -3174 -2802 -2710 -3878 -3318 -3106 2662 4002 -3466 -3650 3910 -3442 -4030 4030 3518 -3114 3574 -3578 -3214 4002 2846 3938 -2710 2690 2694 2710 -3390 3090 3990 4038 -4002 -2714 3530 4038 -3154 3818 -3810 3914 2874 2738 2654 4038 -3922 -2666 -2966 3018 3358 -3074 -3454 3350 -3826 -3866 -3558 -3722 3250 -2878 -3958 3762 3914 -3018 3286 -3514 3998 2690 3062 3062 -3678 -3494 -2826 -3378 2690 -3994 3186 3958 -3114 -2658 -2662 2702 3618 -4034 -4030 -2662 2834 -4022 2670 2686 -2674 -3998 -2870 2926 3990 3774 -3918 3290 3990 3830 3930 3406 -3582 -3626 -3886 3930 -2674 3094 -3966 -3434 -4042 2710 -3358 -2826 3462 3218 -3474 -2666 2654 -3074 3038 -3606 3602 -3526 -3318 3982 -3990 3410 3594 3594 -3602 -3658 3674 -3562 -2658 2950 -3858 2858 -4042 2690 -2734 -3974 2834 2650 -3302 -3866 3150 3254 -2766 3998 2698 -3282 3990 -2650 3982 4014 -3166 3790 2674 4042 -3430 2686 -3670 -2802 -2662 3954 3910 3106 -2998 2714 -3538 -3258 -3054 -2742 3878 3302 3218 -3806 -2830 3338 -2730 -3774 -3818 3970 -2650 2694 3374 -3734 -4030 -3374 -2706 -2650 -3822 2694 -3138 4030 3902 -2654 3126 3926 3002 3550 -3886 2698 -2974 -2698 -2754 -3622 3758 3922 -2718 -3986 3050 -2918 2742 -2934 -4042 3938 -2654 3254 -3522 3950 -3770 -2870 -3626 3718 -3750 -2674 -2930 3270 2934 -3714 -2706 -3278 -2782 3970 3382 -3982 2850 3938 3998 -3798 3430 4006 -3926 4038 -3270 3970 3210 -3994 2914 -2682 -2654 3498 -3058 3922 -3166 3366 -3474 -4042 2786 3974 3682 3754 -4010 -3966 4042 3790 3742 3222 3514 -3154 -3918 -2958 4042 3038 -3906 4042 2674 3026 3094 -4034 3514 -3794 2702 3990 3886 -3958 -2862 -3966 -2686 4034 -3522 3970 2954 -2718 -3146 3498 -3590 -4038 -2686 -3866 -3798 -3530 3018 -3354 -2650 3710 3618 -4030 -3626 -2894 -2690 4014 2702 3874 2654 -3646 -2926 3942 2678 -3978 3406 -2706 -3306 2746 3270 3070 3666 3370 -3586 2818 2698 3946 3038 -2702 3206 -2690 3118 2666 3970 -3450 -2694 3162 -4034 -3986 -3890 3750 3586 3906 -3734 3450 -2650 -3274 4002 3598 -3934 -4018 -3362 -3218 3346 -2670 2722 -3930 -2690 -3590 -3210 3238 -2994 4030 2682 -2674 3094 -3806 3074 2718 -4002 3350 2942 3554 2734 -2806 -4042 3258 -2806 3918 -3998 -3150 4002 3718 2838 -3710 2694 3178 -3958 -4010 -2786 3998 3418 3942 3998 2902 -3274 -2770 2698 -3938 -2678 3126 3858 -3686 3066 3322 3710 2650 3886 -3694 3786 2878 2686 3986 2654 3158 -3554 4030 -3146 -2650 3670 -3530 3602 -4018 3682 -3538 3882 3150 3258 3782 3046 -3490 -2770 -3898 4034 2826 -3422 -2650 -2694 -3562 3986 3286 -4002 3278 -3714 -3662 3070 -3866 3186 3854 3810 -3534 -2650 3946 -3130 3202 -3470 3298 3230 4038 -3698 2666 2914 -3050 -2986 -2930 3982 -2658 -3994 -2906 -3162 -3446 3654 -2730 -3990 3706 2762 -3034 -3470 3962 3978 -3730 -2706 3742 -3146 -2654 -3274 -2650 2686 -2758 -3566 -3670 -3250 -3462 -4010 -3902 -2706 3158 -3590 2914 -2686 -3194 3878 3866 3978 3142 -3394 -3166 2654 3166 -2946 4022 3890 2754 -2786 -4006 2886 3510 -3990 -3746 -2762 2766 -3242 -2866 3946 2750 3278 -3938 3974 4010 -2650 -3154 3930 -2990 -3734 3890 -4018 -3738 2654 -3958 3650 -3590 -2686 3494 -2890 2702 2650 3694 -3958 3070 2742 -3534 -3058 -3526 3702 3894 -2702 -3570 -3618 2846 -3770 3970 2658 -3966 3878 3206 -3362 3082 -2714 -4018 -3890 -2650 4006 -3310 4038 -4034 3918 3434 2650 2758 -2910 2654 3202 3946 -3590 -2750 3010 -2890 -3858 2702 3786 2810 -2962 -3902 2690 -2922 3058 -2658 -3870 -2982 3986 -3662 -2718 3750 -3686 -3070 3074 3338 -3366 -2650 -3470 -3906 -2662 2770 -3618 3226 -3158 3598 -3874 3114 2926 3950 4018 -3218 -3386 -2658 4030 -3218 -2926 4042 -2650 -3954 -4022 4002 -2774 3470 -3386 4034 2866 -2918 2714 -3070 3654 2706 -3878 -2650 3982 -3030 -3882 -3886 -3030 2898 -3518 -2858 3022 2806 2650 -4042 -3958 -3326 3318 3838 -3350 -3966 -3846 -3490 -3470 -3734 -3990 3934 2966 -2726 -2690 3030 -3574 -4042 -3186 3990 -3926 3346 -3450 2754 -3442 2974 -3326 -3426 3486 3298 3598 3170 -2870 3086 3986 2806 -2942 3938 3062 3018 2658 3730 3814 2758 3658 4022 2822 2814 3978 3966 -3926 3046 -3466 3726 -2666 2706 -2870 -3630 3670 2742 2690 -3662 -4038 2670 3178 3978 3162 -3466 3982 -3958 3198 3646 -3874 -2674 3102 -3982 -3874 3986 -3470 -3526 2894 3758 3390 -3022 -3394 2694 -3990 3978 3430 -2650 -3838 2922 -3402 3934 -2650 3482 2690 4026 3566 3026 2986 2934 3746 -3590 -3734 -3818 -2698 -4030 3670 -2874 4002 4006 -2866 -2766 4034 2654 2890 3454 3558 2762 -3586 -3642 -3422 -2802 -3842 3514 -2690 -2658 4002 2650 -2806 -2802 -3914 3902 -2658 -2878 3214 3410 2650 -3094 3738 -4042 -3498 -3294 2654 -4042 3698 3826 -3586 -3926 3610 -3162 -2666 3742 -3870 -3842 -3746 3046 2842 -2694 3770 -3370 -4010 4026 -3770 -2914 -3602 3994 3946 3154 2650 -3974 -2966 3742 3602 -3410 -4042 -2726 -3698 -3954 -2714 2658 3630 3026 -3606 4010 2850 3514 3966 4038 -2650 -3174 -3938 -2714 -3582 2678 -2954 4042 3738 2650 -3130 3954 3986 4002 -3582 -3526 -3846 -4038 3990 3706 3998 -2814 -2730 -3930 2650 2982 -4006 3874 3998 2842 3194 -3990 -3902 3962 -3926 -2814 -3414 -3018 3338 -3138 -3150 3406 3098 2650 3430 3830 2690 3650 2722 -3906 2714 -2690 2662 3766 3318 -3738 2702 3966 -3842 2750 -3534 3350 -3074 -4006 -3194 2806 2938 -3622 2886 3550 3454 3534 3958 -3102 3886 2658 -3342 2794 3670 3058 3982 -2690 2698 -3554 2690 -3206 3962 3390 -3566 -3442 -2650 3058 3998 3498 -2658 -3710 3786 -2874 -4038 -3398 3494 3778 -3242 -4042 3970 -4006 2726 3934 3398 2866 3126 3826 3646 -3254 -2726 -3702 -2990 4018 -4022 3286 -2770 3526 3122 -3686 -2986 -3170 3726 -3978 4042 4006 -2958 2770 3474 -3350 2730 -3694 -3454 2974 -3986 3698 -3530 3810 3086 3602 -3738 -2690 -3438 3150 2690 2698 -4042 3454 -3446 -3354 2690 3582 4034 2854 3846 3666 3278 2910 -2986 2702 2662 3498 3166 2898 3266 2658 -2690 3446 3966 -3218 -2650 4018 4034 2982 -3994 3174 2654 3158 -3518 -3006 3730 -4042 2718 -2746 4014 -3990 3250 -2710 3922 2698 -3886 2662 -3094 -2926 -3990 -3406 -3014 -4030 3322 3946 3206 -3778 -3594 2650 -3082 3182 2950 -3474 -3842 2718 3190 -3818 4042 3862 -3038 -2970 3942 -3986 3522 -3886 3774 3410 3730 -3154 -3470 -3478 -3594 2674 -2658 -3854 -3190 -2662 2658 3322 3958 4038 3182 -3570 -3402 -2658 3998 3542 -3962 3318 2650 -2650 -2650 -3122 4042 2978 2674 -2966 -3130 -3074 3750 3458 3398 3602 -3202 -2650 2650 3054 3654 3466 -3922 -3922 -3654 2858 3626 -4034 -3906 -3998 3914 -3918 3030 3162 -3802 4010 -3994 3450 3870 -3058 -3186 -3354 3190 -3358 -2654 3034 3822 -2658 -2982 -4002 -2994 2650 -4034 -3790 3310 3126 2650 -2654 -3314 -4014 -4018 -4010 -2662 -3978 -3862 2866 -3990 3638 2982 -3994 3054 -3710 -3990 4038 4002 3186 3254 -3518 3670 2690 3630 3430 2766 -3214 2714 2650 3222 3182 -3690 3998 -3834 3926 3222 -2770 -4022 -4002 -3894 -2666 -3986 3118 -2678 -3270 -2662 -2694 3378 2686 2654 2654 -3254 -3690 -3958 3742 2698 3990 -3070 -3282 -2874 3622 -2650 -2706 2650 3110 -3926 3054 2982 3462 -3550 -2670 3250 4042 -2698 3494 -3858 -3842 2702 2946 3082 3414 -2902 3882 -3418 -4026 2950 2678 -2742 3206 2650 3950 3126 -3390 -3842 3394 2682 -2942 3178 -2714 -3950 -2782 -2694 -3874 -3426 -3918 -2782 3542 -2934 -3490 -3530 -2650 2670 -2718 2810 2710 2658 3494 3798 4002 2786 3230 3726 2662 3134 2690 3806 3790 2734 3346 -2754 -4002 -3302 -3702 -2658 -4038 -2658 3662 -2730 2810 3870 2690 4030 2654 -2694 -3606 3934 2770 2690 -3822 -3654 -2690 4042 -3974 -3058 2698 -3918 2690 2718 3494 3910 4002 3094 2658 2770 -2698 2658 2726 -2686 -3614 -2662 -3386 -4026 -3606 2814 2662 -3018 -3882 2746 2982 -3166 -3282 2870 2714 3910 3242 -4002 -3198 -3970 2690 2746 2930 -4038 3714 3982 2678 4042 -3474 2662 4042 3878 2730 -2950 3574 -3458 3186 2866 3846 -2654 -3734 3582 -3742 3622 3774 2658 -3982 -2658 3166 2818 2854 -3998 -4002 -3730 -3006 -2814 3094 2806 -3302 -2990 -3290 3618 -3758 2758 -3026 -4042 2730 -2650 2678 3222 2822 2802 -3974 -3990 -2834 -2914 -3774 3234 -2650 2666 3890 3722 4034 -3374 3906 3986 2650 -3962 -2770 -3914 3098 2722 -2678 2650 -4018 3418 2858 -3782 -3354 -4006 2702 2814 -3714 2942 3970 -3966 -2650 3546 3970 3210 -2862 3446 3258 3182 -2754 -3622 -3894 2830 -3918 3994 -4042 2706 -3342 3066 3622 3674 3170 -3694 -3382 -2878 -2986 2690 -3882 -2850 3402 -3610 3374 3998 3942 4034 -3258 3358 2814 -2834 -4010 3614 3474 3578 2770 -3294 -2662 2654 4034 -2846 2770 2658 -3262 -3018 -3134 4038 2986 2694 3998 3926 -3342 -3914 2650 2674 -2694 -3614 3286 -3906 -2734 3322 2654 3014 -3954 -3494 3366 -2690 3690 -3206 2842 -2658 -2946 -2754 3474 -3770 2806 2650 4042 2774 2886 3858 -4022 -2950 3298 -4038 -3730 -3302 -3378 -2690 4038 -2670 4006 3338 2654 -2698 -4026 -2774 -2782 -3266 -2974 3246 3490 -3942 2658 -3798 2658 3894 -3402 -3166 2738 -2790 -2650 4042 3866 -3922 -2714 -4018 -2710 -3166 3354 3558 3886 -3546 2794 3098 3178 -3454 -3862 -3982 -3006 -4002 -2662 -2902 -3282 4030 -3898 3526 -3658 -2674 -3650 3966 3498 3242 3134 -3830 3926 2730 2958 2702 2690 -3850 -3730 -2670 -3934 3358 3702 3338 2690 3402 3962 -3998 3590 -3810 2782 2714 -4002 -4042 -3574 -3446 3942 -3426 -2782 2650 -3982 3874 3146 2978 3106 -4042 -4002 3546 -3974 -2966 2910 3694 3122 -2698 -3530 3454 -3430 4034 3290 -3882 3970 2910 3258 -3130 2986 -2810 -2690 3890 3538 -3698 -3358 3318 -3910 -3106 3886 3702 -3846 2650 3918 4042 3674 4038 -2658 3158 3866 3246 3450 3922 -3998 -3930 -2830 -3930 2990 3170 -3266 -2982 -2742 -3358 3230 -3914 -3214 -3486 -2718 3722 2854 2906 3870 -3334 -3902 3042 4034 4022 3074 2946 2662 -2830 -3914 2826 3486 -2690 3930 2650 -2738 4034 -3374 -3126 3270 -3022 -3474 2722 -3238 4038 2650 -3362 -3986 2690 4010 3878 3906 -3426 -2658 3302 -3438 -3894 3758 3946 -3886 2726 -3710 -3438 3442 -3534 3958 2834 -3126 2650 2874 3398 -3290 2942 -3282 -2730 -4018 2730 3094 -3418 4022 3722 3318 3178 -3414 -3850 -2650 -3870 -3026 3758 3106 2798 -3050 -3014 3746 3286 3250 -3870 -3414 3562 -3898 -3210 3082 3998 4014 3990 -3650 -4022 3406 -2886 -2690 3434 -3254 -3842 -3858 -3470 -3238 3954 -2782 3458 2650 -3886 -2702 -3986 -3702 2718 3986 2854 2662 3098 -3958 -2650 -2650 -3998 -3410 2934 3102 3422 -4030 -4042 -3898 3930 2954 2690 -4026 3630 3898 -3978 -4002 -3434 3994 3430 3110 4042 3394 2878 3226 4002 3370 2670 3606 3422 3550 -3958 -3522 3138 -2910 4010 3970 -3882 3506 -3986 -4030 3326 3122 3262 -3930 -3354

Verifier Data (download as text)

7924 unsatisfied constraints, 54208 satisfied constraints

Watcher Data (download as text)

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

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

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

/proc/loadavg: 2.03 2.03 1.93 5/79 20467
/proc/meminfo: memFree=1524392/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=18544 CPUtime=0
/proc/20466/stat : 20466 (runsolver) R 20464 20466 20042 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 270811839 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20466/statm: 4636 280 245 17 0 2626 0

[startup+0.103273 s]
/proc/loadavg: 2.03 2.03 1.93 5/79 20467
/proc/meminfo: memFree=1524392/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=914992 CPUtime=0.08
/proc/20466/stat : 20466 (java) S 20464 20466 20042 0 -1 0 2995 0 1 0 7 1 0 0 24 0 8 0 270811839 936951808 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228748 2743 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.511359 s]
/proc/loadavg: 2.03 2.03 1.93 5/79 20467
/proc/meminfo: memFree=1524392/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915336 CPUtime=0.46
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 7849 0 1 0 41 5 0 0 25 0 8 0 270811839 937304064 7590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152815842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228834 7590 2144 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915336

[startup+1.33252 s]
/proc/loadavg: 2.03 2.03 1.93 4/86 20474
/proc/meminfo: memFree=1419120/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915608 CPUtime=1.27
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 28867 0 1 0 114 13 0 0 25 0 8 0 270811839 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073436097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228902 28606 2165 14 0 215371 0
[pid=20466/tid=20468] ppid=20464 vsize=915608 CPUtime=0.1
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 12308 0 0 0 7 3 0 0 16 0 8 0 270811843 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270811843 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915608 CPUtime=0.15
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 270811847 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937582592 28606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915608

[startup+2.97584 s]
/proc/loadavg: 2.03 2.03 1.93 3/86 20474
/proc/meminfo: memFree=1408560/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915608 CPUtime=2.91
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 32558 0 1 0 276 15 0 0 25 0 8 0 270811839 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073586331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228902 32290 2165 14 0 215371 0
[pid=20466/tid=20468] ppid=20464 vsize=915608 CPUtime=0.31
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 15991 0 0 0 27 4 0 0 16 0 8 0 270811843 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270811843 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915608 CPUtime=0.15
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 407 0 0 0 15 0 0 0 16 0 8 0 270811847 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915608 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937582592 32290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915608

[startup+6.26849 s]
/proc/loadavg: 2.19 2.06 1.94 3/86 20474
/proc/meminfo: memFree=1401456/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=6.17
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 33064 0 1 0 601 16 0 0 25 0 8 0 270811839 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228937 32793 2185 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=0.33
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 16421 0 0 0 29 4 0 0 17 0 8 0 270811843 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270811843 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.16
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 418 0 0 0 16 0 0 0 15 0 8 0 270811847 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915748

[startup+12.7408 s]
/proc/loadavg: 2.16 2.06 1.94 3/86 20474
/proc/meminfo: memFree=1401600/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=12.6
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 33066 0 1 0 1244 16 0 0 25 0 8 0 270811839 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073457756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228937 32795 2185 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=0.33
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 16421 0 0 0 29 4 0 0 16 0 8 0 270811843 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270811843 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.17
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 270811847 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 32795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915748

[startup+25.5913 s]
/proc/loadavg: 2.14 2.06 1.94 3/86 20474
/proc/meminfo: memFree=1401664/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=25.35
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 34534 0 1 0 2518 17 0 0 25 0 8 0 270811839 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228937 34261 2186 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=0.41
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 17872 0 0 0 36 5 0 0 16 0 8 0 270811843 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270811843 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.18
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 270811847 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 34261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915748

[startup+51.2804 s]
/proc/loadavg: 2.09 2.05 1.94 3/86 20474
/proc/meminfo: memFree=1395968/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=50.81
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 34536 0 1 0 5063 18 0 0 25 0 8 0 270811839 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817556 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228937 34263 2186 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=0.41
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 17872 0 0 0 36 5 0 0 16 0 8 0 270811843 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270811843 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.18
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 436 0 0 0 18 0 0 0 16 0 8 0 270811847 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 34263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915748

[startup+102.573 s]
/proc/loadavg: 2.10 2.06 1.95 3/86 20474
/proc/meminfo: memFree=1341312/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=101.68
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48666 0 1 0 10141 27 0 0 25 0 8 0 270811839 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821152 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20466/statm: 228937 48245 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.25
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 467 0 0 0 24 1 0 0 16 0 8 0 270811847 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 915748

[startup+162.608 s]
/proc/loadavg: 2.04 2.05 1.95 3/86 20474
/proc/meminfo: memFree=1341248/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=161.22
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48668 0 1 0 16093 29 0 0 25 0 8 0 270811839 937725952 48246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073457747 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2012.89
Current children cumulated vsize (KiB) 915748

[startup+2083.86 s]
/proc/loadavg: 1.99 2.00 1.98 3/92 20816
/proc/meminfo: memFree=1313864/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=2072.68
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48680 0 1 0 207213 55 0 0 25 0 8 0 270811839 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073457753 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20466/statm: 228937 48257 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.28
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 479 0 0 0 27 1 0 0 16 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2072.68
Current children cumulated vsize (KiB) 915748

[startup+2143.91 s]
/proc/loadavg: 1.99 2.00 1.98 3/92 20816
/proc/meminfo: memFree=1313928/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=2132.49
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48680 0 1 0 213193 56 0 0 25 0 8 0 270811839 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988223 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20466/statm: 228937 48257 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.28
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 479 0 0 0 27 1 0 0 16 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2132.49
Current children cumulated vsize (KiB) 915748

[startup+2203.95 s]
/proc/loadavg: 2.05 2.01 1.98 3/92 20816
/proc/meminfo: memFree=1313992/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=2192.29
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48680 0 1 0 219173 56 0 0 25 0 8 0 270811839 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20466/statm: 228937 48257 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.28
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 479 0 0 0 27 1 0 0 16 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.29
Current children cumulated vsize (KiB) 915748

[startup+2263.99 s]
/proc/loadavg: 2.02 2.00 1.98 3/92 20816
/proc/meminfo: memFree=1313992/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=2252.09
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48680 0 1 0 225152 57 0 0 25 0 8 0 270811839 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073985654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20466/statm: 228937 48257 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.28
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 479 0 0 0 27 1 0 0 16 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.09
Current children cumulated vsize (KiB) 915748

[startup+2324.03 s]
/proc/loadavg: 2.00 2.00 1.98 3/92 20816
/proc/meminfo: memFree=1313992/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=2311.89
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48680 0 1 0 231132 57 0 0 25 0 8 0 270811839 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20466/statm: 228937 48257 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.28
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 479 0 0 0 27 1 0 0 16 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2311.89
Current children cumulated vsize (KiB) 915748

[startup+2384.06 s]
/proc/loadavg: 2.00 2.00 1.98 3/92 20816
/proc/meminfo: memFree=1313992/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=2371.69
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48680 0 1 0 237111 58 0 0 25 0 8 0 270811839 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20466/statm: 228937 48257 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.28
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 479 0 0 0 27 1 0 0 16 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.69
Current children cumulated vsize (KiB) 915748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.55 s]
/proc/loadavg: 2.00 2.00 1.98 3/92 20816
/proc/meminfo: memFree=1313992/2055888 swapFree=4087964/4096564
[pid=20466] ppid=20464 vsize=915748 CPUtime=2400.06
/proc/20466/stat : 20466 (java) R 20464 20466 20042 0 -1 0 48680 0 1 0 239948 58 0 0 25 0 8 0 270811839 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20466/statm: 228937 48257 2505 14 0 215406 0
[pid=20466/tid=20468] ppid=20464 vsize=915748 CPUtime=1.6
/proc/20466/task/20468/stat : 20468 (java) S 20464 20466 20042 0 -1 64 31617 0 0 0 151 9 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20469] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20469/stat : 20469 (java) S 20464 20466 20042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20470] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20470/stat : 20470 (java) S 20464 20466 20042 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270811843 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20471] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20471/stat : 20471 (java) S 20464 20466 20042 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20472] ppid=20464 vsize=915748 CPUtime=0.28
/proc/20466/task/20472/stat : 20472 (java) S 20464 20466 20042 0 -1 64 479 0 0 0 27 1 0 0 16 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20466/tid=20473] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20473/stat : 20473 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20466/tid=20474] ppid=20464 vsize=915748 CPUtime=0
/proc/20466/task/20474/stat : 20474 (java) S 20464 20466 20042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270811847 937725952 48257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915748

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

Child status: 143
Real time (s): 2412.61
CPU time (s): 2400.12
CPU user time (s): 2399.51
CPU system time (s): 0.612906
CPU usage (%): 99.4826
Max. virtual memory (cumulated for all children) (KiB): 916252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.51
system time used= 0.612906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48705
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= 50243
involuntary context switches= 53113

runsolver used 2.46263 s user time and 6.33404 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Fri Jan 19 16:29:07 UTC 2007


IDJOB= 275627
IDBENCH= 4171
IDSOLVER= 68
FILE ID= node76/275627-1169224147

PBS_JOBID= 3589190

Free space on /tmp= 66639 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275627-1169224147/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-275627-1169224147 -o ROOT/results/node76/solver-275627-1169224147 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275627-1169224147/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d9a5d0f42873de31e4aba17b1bc51fb2

RANDOM SEED= 474177783

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1525000 kB
Buffers:         34316 kB
Cached:         415048 kB
SwapCached:       2496 kB
Active:         102188 kB
Inactive:       364948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1525000 kB
SwapTotal:     4096564 kB
SwapFree:      4087964 kB
Dirty:           10220 kB
Writeback:           0 kB
Mapped:          26716 kB
Slab:            49600 kB
Committed_AS:  7723548 kB
PageTables:       1792 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66640 MiB



End job on node76 on Fri Jan 19 17:09:20 UTC 2007