Trace number 275630

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.17 2422.82

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-2.xml
MD5SUMe17ec046c3a7997040f3d055b0024c8a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints53964
Best CPU time to get the best result obtained on this benchmark2400.1
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275630-1169224216/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.87	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.87	       =>  wckTime=0.566  cpuTime=0.37  mem=44M687
0.88	   
0.88	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
61.63	   
61.63	   INFO : Stopping converting binary constraints (cpu=60.16, mem = 108M296)
65.54	     nbConstraints=62132  nbConvertedConstraints=515  nbConvertConstraintsChecks=186612236  nbExtensionStructures=475
65.55	     nbSharedExtensionStructures=40  nbConflictsStructures=475  nbSharedConflictsStructures=40
65.55	     nbSharedBinaryRepresentations=528259  nbEvaluationManagers=15417  nbSharedEvaluationManagers=46200  maxDegree=105
65.55	     maxArity=2
65.55	       =>  wckTime=65.236  cpuTime=63.18  mem=119M607
66.02	   
66.02	   solver LocalSearchSolver being built... 
66.07	       =>  wckTime=65.759  cpuTime=63.23  mem=123M255
67.11	
67.11	s SATISFIABLE
67.11	o 45913
67.11	c 16219
68.12	o 45930
68.12	c 16202
68.62	o 45945
68.62	c 16187
68.95	o 45965
68.95	c 16167
69.31	o 45980
69.31	c 16152
69.64	o 45992
69.64	c 16140
69.90	o 45999
69.90	c 16133
70.16	o 46012
70.16	c 16120
70.40	o 46027
70.40	c 16105
70.59	o 46042
70.59	c 16090
70.89	o 46053
70.89	c 16079
71.06	o 46066
71.06	c 16066
71.32	o 46073
71.32	c 16059
71.56	o 46076
71.56	c 16056
71.85	o 46081
71.85	c 16051
72.26	o 46093
72.26	c 16039
72.45	o 46109
72.45	c 16023
72.69	o 46118
72.69	c 16014
72.90	o 46124
72.90	c 16008
73.07	o 46127
73.07	c 16005
73.26	o 46130
73.26	c 16002
73.50	o 46142
73.51	c 15990
73.65	o 46148
73.65	c 15984
73.87	o 46153
73.87	c 15979
74.09	o 46157
74.09	c 15975
74.27	o 46160
74.27	c 15972
74.50	o 46162
74.50	c 15970
74.69	o 46175
74.69	c 15957
74.92	o 46180
74.92	c 15952
75.03	o 46201
75.03	c 15931
75.25	o 46202
75.25	c 15930
75.50	o 46209
75.50	c 15923
75.74	o 46211
75.74	c 15921
76.16	o 46214
76.16	c 15918
76.36	o 46227
76.36	c 15905
76.50	o 46239
76.50	c 15893
76.65	o 46248
76.65	c 15884
76.79	o 46259
76.79	c 15873
76.98	o 46263
76.98	c 15869
77.22	o 46270
77.22	c 15862
77.51	o 46272
77.51	c 15860
78.04	o 46275
78.04	c 15857
78.26	o 46280
78.26	c 15852
78.51	o 46290
78.51	c 15842
78.76	o 46297
78.76	c 15835
79.14	o 46299
79.14	c 15833
79.53	o 46300
79.53	c 15832
79.71	o 46305
79.71	c 15827
79.91	o 46312
79.91	c 15820
80.14	o 46329
80.14	c 15803
80.36	o 46338
80.36	c 15794
80.54	o 46347
80.54	c 15785
80.61	o 46350
80.61	c 15782
80.87	o 46355
80.87	c 15777
81.06	o 46360
81.06	c 15772
81.27	o 46364
81.27	c 15768
81.58	o 46373
81.58	c 15759
81.94	o 46374
81.94	c 15758
82.48	o 46377
82.48	c 15755
82.63	o 46389
82.63	c 15743
82.90	o 46392
82.90	c 15740
83.07	o 46398
83.07	c 15734
83.30	o 46401
83.30	c 15731
83.72	o 46405
83.72	c 15727
83.87	o 46411
83.87	c 15721
84.01	o 46424
84.01	c 15708
84.30	o 46431
84.30	c 15701
84.51	o 46438
84.51	c 15694
84.76	o 46443
84.76	c 15689
85.18	o 46450
85.18	c 15682
85.32	o 46452
85.32	c 15680
85.63	o 46457
85.63	c 15675
85.82	o 46459
85.82	c 15673
86.17	o 46461
86.17	c 15671
86.35	o 46468
86.35	c 15664
86.55	o 46470
86.55	c 15662
86.73	o 46480
86.73	c 15652
86.93	o 46484
86.93	c 15648
87.18	o 46486
87.18	c 15646
87.38	o 46490
87.38	c 15642
87.65	o 46499
87.65	c 15633
87.82	o 46508
87.82	c 15624
88.01	o 46516
88.01	c 15616
88.25	o 46517
88.25	c 15615
88.51	o 46530
88.51	c 15602
88.76	o 46532
88.76	c 15600
89.03	o 46535
89.03	c 15597
89.56	o 46536
89.56	c 15596
89.81	o 46538
89.81	c 15594
89.98	o 46546
89.98	c 15586
90.14	o 46552
90.14	c 15580
90.39	o 46556
90.39	c 15576
90.83	o 46558
90.83	c 15574
91.00	o 46566
91.01	c 15566
91.31	o 46575
91.31	c 15557
91.54	o 46579
91.54	c 15553
91.77	o 46581
91.77	c 15551
92.06	o 46583
92.06	c 15549
92.35	o 46592
92.35	c 15540
92.57	o 46598
92.57	c 15534
92.79	o 46607
92.79	c 15525
92.95	o 46615
92.95	c 15517
93.20	o 46623
93.20	c 15509
93.35	o 46624
93.35	c 15508
93.59	o 46625
93.59	c 15507
93.86	o 46628
93.86	c 15504
94.12	o 46631
94.12	c 15501
94.83	o 46633
94.83	c 15499
95.21	o 46639
95.21	c 15493
95.62	o 46647
95.62	c 15485
96.01	o 46653
96.01	c 15479
96.41	o 46656
96.41	c 15476
96.75	o 46662
96.75	c 15470
97.43	o 46665
97.43	c 15467
97.77	o 46676
97.77	c 15456
98.08	o 46684
98.08	c 15448
98.38	o 46687
98.38	c 15445
98.68	o 46692
98.68	c 15440
99.04	o 46699
99.04	c 15433
99.32	o 46712
99.32	c 15420
99.85	o 46714
99.85	c 15418
100.19	o 46722
100.19	c 15410
100.81	o 46727
100.81	c 15405
101.11	o 46735
101.11	c 15397
101.33	o 46742
101.33	c 15390
101.65	o 46743
101.65	c 15389
101.94	o 46750
101.94	c 15382
102.21	o 46754
102.21	c 15378
102.54	o 46755
102.54	c 15377
102.84	o 46765
102.84	c 15367
103.48	o 46777
103.48	c 15355
103.76	o 46786
103.76	c 15346
104.15	o 46790
104.15	c 15342
104.78	o 46796
104.78	c 15336
105.20	o 46804
105.20	c 15328
105.55	o 46819
105.55	c 15313
106.61	o 46829
106.61	c 15303
107.03	o 46833
107.03	c 15299
107.38	o 46835
107.38	c 15297
107.74	o 46850
107.74	c 15282
108.09	o 46852
108.09	c 15280
108.38	o 46858
108.38	c 15274
108.86	o 46865
108.86	c 15267
109.67	o 46871
109.67	c 15261
110.09	o 46874
110.09	c 15258
110.45	o 46876
110.45	c 15256
110.79	o 46882
110.79	c 15250
111.14	o 46889
111.14	c 15243
111.57	o 46891
111.57	c 15241
111.94	o 46895
111.94	c 15237
112.34	o 46902
112.34	c 15230
112.74	o 46903
112.74	c 15229
113.05	o 46915
113.05	c 15217
114.26	o 46921
114.26	c 15211
114.59	o 46927
114.59	c 15205
114.91	o 46934
114.91	c 15198
115.26	o 46937
115.26	c 15195
115.74	o 46943
115.74	c 15189
116.84	o 46947
116.84	c 15185
117.27	o 46952
117.27	c 15180
117.60	o 46958
117.60	c 15174
118.33	o 46969
118.33	c 15163
118.62	o 46990
118.62	c 15142
119.65	o 46999
119.65	c 15133
120.08	o 47000
120.08	c 15132
120.47	o 47003
120.47	c 15129
120.98	o 47009
120.98	c 15123
121.40	o 47012
121.40	c 15120
121.80	o 47014
121.80	c 15118
122.23	o 47024
122.23	c 15108
122.67	o 47029
122.67	c 15103
123.09	o 47040
123.09	c 15092
123.54	o 47049
123.54	c 15083
124.01	o 47056
124.02	c 15076
124.40	o 47063
124.40	c 15069
124.86	o 47069
124.86	c 15063
125.28	o 47074
125.28	c 15058
125.71	o 47079
125.71	c 15053
126.16	o 47084
126.16	c 15048
126.63	o 47088
126.63	c 15044
127.07	o 47099
127.07	c 15033
127.43	o 47103
127.43	c 15029
127.78	o 47112
127.78	c 15020
128.43	o 47113
128.43	c 15019
129.61	o 47116
129.61	c 15016
130.01	o 47125
130.01	c 15007
130.40	o 47133
130.40	c 14999
130.93	o 47146
130.93	c 14986
131.37	o 47148
131.37	c 14984
131.88	o 47150
131.88	c 14982
132.40	o 47158
132.40	c 14974
132.94	o 47165
132.94	c 14967
133.56	o 47173
133.56	c 14959
134.12	o 47184
134.12	c 14948
134.68	o 47194
134.68	c 14938
135.17	o 47198
135.17	c 14934
135.62	o 47204
135.62	c 14928
136.09	o 47215
136.09	c 14917
136.59	o 47218
136.59	c 14914
137.09	o 47220
137.09	c 14912
137.60	o 47224
137.60	c 14908
138.10	o 47225
138.10	c 14907
138.53	o 47234
138.53	c 14898
138.97	o 47242
138.97	c 14890
139.48	o 47252
139.48	c 14880
139.90	o 47255
139.90	c 14877
140.80	o 47263
140.80	c 14869
141.32	o 47277
141.32	c 14855
141.74	o 47280
141.74	c 14852
142.11	o 47285
142.11	c 14847
142.61	o 47289
142.61	c 14843
143.14	o 47296
143.14	c 14836
143.56	o 47299
143.56	c 14833
144.12	o 47303
144.12	c 14829
144.66	o 47306
144.66	c 14826
145.10	o 47316
145.10	c 14816
146.17	o 47323
146.17	c 14809
146.65	o 47334
146.65	c 14798
147.13	o 47342
147.13	c 14790
149.12	o 47343
149.12	c 14789
149.61	o 47353
149.61	c 14779
150.14	o 47364
150.14	c 14768
150.56	o 47371
150.56	c 14761
151.00	o 47372
151.00	c 14760
151.52	o 47390
151.52	c 14742
152.03	o 47391
152.03	c 14741
152.52	o 47402
152.52	c 14730
153.02	o 47410
153.02	c 14722
153.54	o 47412
153.54	c 14720
154.00	o 47415
154.00	c 14717
154.52	o 47426
154.52	c 14706
155.05	o 47435
155.05	c 14697
155.61	o 47444
155.61	c 14688
156.11	o 47449
156.11	c 14683
156.60	o 47457
156.60	c 14675
157.04	o 47464
157.04	c 14668
157.54	o 47470
157.54	c 14662
158.05	o 47476
158.05	c 14656
158.60	o 47481
158.60	c 14651
159.16	o 47486
159.16	c 14646
159.63	o 47491
159.63	c 14641
160.20	o 47493
160.20	c 14639
160.68	o 47494
160.68	c 14638
161.18	o 47495
161.18	c 14637
163.09	o 47500
163.09	c 14632
164.30	o 47508
164.30	c 14624
164.94	o 47516
164.95	c 14616
165.59	o 47527
165.59	c 14605
166.87	o 47530
166.87	c 14602
167.46	o 47535
167.46	c 14597
168.06	o 47542
168.06	c 14590
168.66	o 47552
168.66	c 14580
169.16	o 47557
169.16	c 14575
169.72	o 47560
169.72	c 14572
170.15	o 47561
170.15	c 14571
170.67	o 47569
170.67	c 14563
171.26	o 47571
171.26	c 14561
171.91	o 47575
171.91	c 14557
172.50	o 47578
172.50	c 14554
173.11	o 47588
173.11	c 14544
173.73	o 47598
173.73	c 14534
174.22	o 47610
174.22	c 14522
174.80	o 47612
174.80	c 14520
175.36	o 47614
175.36	c 14518
175.89	o 47619
175.89	c 14513
176.91	o 47628
176.91	c 14504
177.39	o 47633
177.39	c 14499
177.79	o 47641
177.79	c 14491
178.24	o 47645
178.24	c 14487
178.74	o 47653
178.74	c 14479
179.21	o 47657
179.21	c 14475
179.66	o 47669
179.66	c 14463
180.18	o 47671
180.18	c 14461
180.57	o 47678
180.57	c 14454
181.01	o 47691
181.01	c 14441
181.41	o 47700
181.41	c 14432
181.91	o 47710
181.91	c 14422
182.88	o 47715
182.88	c 14417
183.36	o 47722
183.36	c 14410
184.31	o 47725
184.31	c 14407
184.80	o 47735
184.80	c 14397
185.44	o 47737
185.44	c 14395
186.59	o 47747
186.59	c 14385
187.24	o 47751
187.24	c 14381
187.80	o 47759
187.80	c 14373
188.38	o 47767
188.38	c 14365
188.95	o 47773
188.95	c 14359
189.50	o 47778
189.50	c 14354
190.05	o 47782
190.05	c 14350
190.56	o 47795
190.56	c 14337
191.05	o 47803
191.05	c 14329
191.57	o 47809
191.57	c 14323
192.13	o 47815
192.13	c 14317
192.66	o 47820
192.66	c 14312
193.16	o 47824
193.16	c 14308
195.28	o 47827
195.28	c 14305
195.82	o 47830
195.82	c 14302
196.85	o 47831
196.85	c 14301
197.34	o 47833
197.34	c 14299
197.77	o 47835
197.77	c 14297
198.29	o 47837
198.29	c 14295
198.77	o 47839
198.77	c 14293
199.30	o 47841
199.30	c 14291
199.91	o 47842
199.91	c 14290
200.41	o 47843
200.41	c 14289
201.93	o 47851
201.93	c 14281
202.53	o 47858
202.53	c 14274
202.99	o 47868
202.99	c 14264
203.54	o 47874
203.54	c 14258
204.05	o 47880
204.05	c 14252
204.62	o 47884
204.62	c 14248
205.16	o 47885
205.16	c 14247
206.95	o 47887
206.95	c 14245
207.60	o 47889
207.60	c 14243
208.14	o 47896
208.14	c 14236
208.85	o 47898
208.85	c 14234
209.39	o 47899
209.39	c 14233
210.65	o 47907
210.65	c 14225
211.24	o 47915
211.24	c 14217
211.87	o 47920
211.87	c 14212
212.44	o 47928
212.44	c 14204
213.09	o 47934
213.09	c 14198
213.62	o 47943
213.62	c 14189
214.24	o 47946
214.24	c 14186
214.81	o 47953
214.81	c 14179
215.38	o 47966
215.38	c 14166
215.98	o 47972
215.98	c 14160
216.55	o 47982
216.55	c 14150
217.09	o 47989
217.09	c 14143
217.71	o 47994
217.71	c 14138
218.35	o 47997
218.35	c 14135
218.90	o 48004
218.90	c 14128
219.47	o 48013
219.47	c 14119
220.11	o 48019
220.11	c 14113
220.80	o 48025
220.80	c 14107
221.50	o 48029
221.50	c 14103
222.12	o 48035
222.12	c 14097
222.72	o 48042
222.72	c 14090
224.64	o 48054
224.64	c 14078
226.52	o 48063
226.52	c 14069
227.14	o 48071
227.14	c 14061
227.76	o 48077
227.76	c 14055
228.39	o 48083
228.39	c 14049
229.03	o 48089
229.03	c 14043
229.62	o 48092
229.62	c 14040
230.23	o 48097
230.23	c 14035
230.83	o 48102
230.83	c 14030
231.44	o 48106
231.44	c 14026
232.04	o 48110
232.04	c 14022
232.70	o 48114
232.70	c 14018
233.29	o 48117
233.29	c 14015
233.84	o 48119
233.84	c 14013
234.46	o 48122
234.46	c 14010
235.07	o 48124
235.07	c 14008
235.65	o 48126
235.65	c 14006
236.24	o 48128
236.24	c 14004
236.90	o 48130
236.90	c 14002
237.54	o 48131
237.54	c 14001
238.17	o 48132
238.17	c 14000
239.33	o 48136
239.33	c 13996
239.97	o 48142
239.97	c 13990
240.58	o 48146
240.58	c 13986
241.23	o 48153
241.23	c 13979
241.85	o 48163
241.85	c 13969
242.45	o 48171
242.45	c 13961
243.01	o 48179
243.01	c 13953
243.66	o 48186
243.66	c 13946
244.27	o 48190
244.27	c 13942
245.40	o 48198
245.40	c 13934
245.95	o 48200
245.95	c 13932
246.52	o 48209
246.52	c 13923
247.13	o 48210
247.13	c 13922
247.77	o 48216
247.77	c 13916
248.36	o 48223
248.36	c 13909
249.58	o 48227
249.58	c 13905
250.21	o 48228
250.21	c 13904
251.29	o 48231
251.29	c 13901
253.96	o 48235
253.96	c 13897
254.48	o 48244
254.48	c 13888
255.01	o 48250
255.01	c 13882
255.56	o 48257
255.56	c 13875
256.59	o 48259
256.59	c 13873
257.13	o 48262
257.13	c 13870
257.76	o 48270
257.76	c 13862
258.36	o 48276
258.36	c 13856
258.90	o 48285
258.90	c 13847
259.48	o 48286
259.48	c 13846
259.99	o 48292
259.99	c 13840
260.57	o 48303
260.57	c 13829
261.13	o 48312
261.13	c 13820
261.70	o 48315
261.70	c 13817
262.30	o 48316
262.30	c 13816
262.93	o 48325
262.93	c 13807
263.54	o 48328
263.54	c 13804
264.08	o 48340
264.08	c 13792
264.62	o 48344
264.62	c 13788
265.18	o 48353
265.18	c 13779
265.72	o 48366
265.72	c 13766
266.25	o 48368
266.25	c 13764
266.82	o 48371
266.82	c 13761
267.45	o 48382
267.45	c 13750
268.01	o 48390
268.01	c 13742
268.55	o 48396
268.55	c 13736
269.14	o 48397
269.14	c 13735
269.74	o 48404
269.74	c 13728
270.38	o 48407
270.38	c 13725
271.61	o 48411
271.61	c 13721
272.20	o 48415
272.20	c 13717
272.79	o 48421
272.79	c 13711
273.34	o 48433
273.34	c 13699
273.96	o 48442
273.96	c 13690
274.56	o 48448
274.56	c 13684
275.15	o 48454
275.15	c 13678
275.76	o 48459
275.76	c 13673
276.39	o 48464
276.39	c 13668
277.01	o 48469
277.01	c 13663
277.60	o 48480
277.60	c 13652
278.21	o 48485
278.21	c 13647
278.87	o 48489
278.87	c 13643
279.46	o 48495
279.46	c 13637
280.06	o 48505
280.06	c 13627
280.68	o 48509
280.68	c 13623
281.26	o 48513
281.26	c 13619
281.86	o 48516
281.86	c 13616
282.47	o 48519
282.47	c 13613
283.05	o 48522
283.05	c 13610
283.68	o 48527
283.68	c 13605
284.22	o 48530
284.22	c 13602
284.83	o 48533
284.83	c 13599
285.49	o 48536
285.49	c 13596
286.07	o 48537
286.07	c 13595
286.64	o 48540
286.64	c 13592
287.27	o 48543
287.27	c 13589
287.85	o 48546
287.85	c 13586
288.48	o 48549
288.48	c 13583
289.09	o 48552
289.09	c 13580
289.67	o 48554
289.67	c 13578
290.28	o 48555
290.28	c 13577
290.91	o 48560
290.91	c 13572
293.36	o 48562
293.37	c 13570
293.98	o 48568
293.98	c 13564
294.59	o 48575
294.59	c 13557
295.17	o 48579
295.17	c 13553
295.78	o 48588
295.78	c 13544
296.92	o 48590
296.92	c 13542
297.64	o 48594
297.64	c 13538
298.35	o 48602
298.35	c 13530
299.09	o 48612
299.09	c 13520
300.47	o 48618
300.47	c 13514
301.16	o 48630
301.16	c 13502
302.71	o 48636
302.71	c 13496
303.56	o 48641
303.56	c 13491
304.38	o 48642
304.38	c 13490
305.14	o 48644
305.14	c 13488
305.87	o 48645
305.87	c 13487
306.71	o 48650
306.71	c 13482
307.45	o 48654
307.45	c 13478
308.23	o 48655
308.23	c 13477
309.03	o 48663
309.03	c 13469
309.83	o 48670
309.83	c 13462
310.64	o 48677
310.64	c 13455
311.37	o 48683
311.37	c 13449
312.06	o 48684
312.06	c 13448
312.71	o 48685
312.71	c 13447
313.47	o 48691
313.47	c 13441
314.24	o 48692
314.24	c 13440
315.08	o 48696
315.08	c 13436
316.47	o 48697
316.47	c 13435
317.86	o 48705
317.86	c 13427
318.55	o 48713
318.55	c 13419
319.35	o 48714
319.35	c 13418
320.98	o 48716
320.98	c 13416
321.73	o 48719
321.73	c 13413
322.57	o 48725
322.57	c 13407
323.35	o 48729
323.35	c 13403
324.94	o 48737
324.94	c 13395
325.68	o 48740
325.68	c 13392
326.47	o 48749
326.47	c 13383
327.25	o 48754
327.25	c 13378
328.10	o 48763
328.10	c 13369
328.89	o 48767
328.90	c 13365
329.64	o 48769
329.64	c 13363
330.41	o 48777
330.41	c 13355
331.17	o 48780
331.17	c 13352
331.95	o 48783
331.95	c 13349
332.73	o 48786
332.73	c 13346
333.50	o 48789
333.50	c 13343
334.28	o 48791
334.28	c 13341
335.08	o 48797
335.08	c 13335
335.85	o 48804
335.85	c 13328
336.60	o 48807
336.60	c 13325
337.33	o 48814
337.33	c 13318
338.14	o 48816
338.14	c 13316
338.92	o 48818
338.92	c 13314
339.64	o 48819
339.64	c 13313
340.45	o 48820
340.45	c 13312
345.28	o 48826
345.28	c 13306
346.19	o 48827
346.19	c 13305
347.02	o 48834
347.02	c 13298
347.80	o 48842
347.80	c 13290
348.62	o 48844
348.62	c 13288
349.38	o 48851
349.38	c 13281
350.19	o 48854
350.19	c 13278
351.01	o 48863
351.01	c 13269
351.74	o 48864
351.74	c 13268
353.23	o 48867
353.23	c 13265
354.02	o 48877
354.02	c 13255
354.70	o 48879
354.70	c 13253
355.36	o 48884
355.36	c 13248
356.07	o 48887
356.07	c 13245
356.76	o 48896
356.76	c 13236
357.49	o 48898
357.49	c 13234
358.22	o 48899
358.22	c 13233
358.96	o 48904
358.96	c 13228
360.35	o 48907
360.35	c 13225
361.03	o 48910
361.03	c 13222
361.76	o 48916
361.76	c 13216
362.46	o 48919
362.46	c 13213
363.23	o 48922
363.23	c 13210
363.94	o 48925
363.94	c 13207
364.71	o 48926
364.71	c 13206
365.45	o 48936
365.45	c 13196
366.14	o 48938
366.14	c 13194
366.82	o 48947
366.82	c 13185
367.45	o 48950
367.45	c 13182
368.77	o 48951
368.77	c 13181
369.47	o 48956
369.47	c 13176
370.21	o 48967
370.21	c 13165
370.92	o 48969
370.92	c 13163
371.59	o 48974
371.59	c 13158
372.27	o 48978
372.27	c 13154
372.98	o 48986
372.98	c 13146
373.67	o 48994
373.67	c 13138
374.45	o 48999
374.45	c 13133
375.22	o 49000
375.22	c 13132
375.97	o 49008
375.97	c 13124
376.76	o 49016
376.76	c 13116
377.47	o 49018
377.47	c 13114
378.21	o 49023
378.21	c 13109
378.95	o 49027
378.95	c 13105
379.69	o 49030
379.69	c 13102
381.20	o 49034
381.20	c 13098
382.88	o 49035
382.88	c 13097
383.59	o 49044
383.59	c 13088
384.29	o 49045
384.29	c 13087
385.10	o 49052
385.10	c 13080
385.97	o 49057
385.97	c 13075
386.73	o 49061
386.73	c 13071
387.49	o 49065
387.49	c 13067
388.30	o 49067
388.30	c 13065
389.19	o 49070
389.19	c 13062
390.97	o 49074
390.97	c 13058
391.74	o 49077
391.74	c 13055
392.50	o 49080
392.50	c 13052
393.29	o 49084
393.29	c 13048
394.12	o 49090
394.12	c 13042
394.93	o 49094
394.93	c 13038
397.49	o 49096
397.50	c 13036
399.24	o 49097
399.24	c 13035
400.19	o 49098
400.19	c 13034
401.10	o 49103
401.10	c 13029
401.98	o 49108
401.98	c 13024
402.86	o 49110
402.86	c 13022
403.71	o 49120
403.71	c 13012
404.51	o 49123
404.51	c 13009
406.14	o 49129
406.14	c 13003
407.00	o 49134
407.00	c 12998
409.33	o 49135
409.33	c 12997
410.09	o 49143
410.09	c 12989
410.82	o 49150
410.82	c 12982
411.58	o 49158
411.58	c 12974
412.37	o 49167
412.37	c 12965
413.19	o 49174
413.19	c 12958
413.96	o 49176
413.96	c 12956
414.83	o 49180
414.83	c 12952
417.68	o 49184
417.68	c 12948
418.39	o 49188
418.39	c 12944
419.07	o 49191
419.07	c 12941
419.74	o 49194
419.74	c 12938
420.50	o 49197
420.50	c 12935
421.30	o 49198
421.30	c 12934
422.12	o 49209
422.12	c 12923
422.81	o 49210
422.81	c 12922
423.48	o 49219
423.48	c 12913
424.86	o 49220
424.86	c 12912
425.47	o 49223
425.47	c 12909
426.18	o 49227
426.18	c 12905
426.90	o 49237
426.90	c 12895
427.58	o 49240
427.58	c 12892
429.09	o 49250
429.09	c 12882
429.91	o 49257
429.91	c 12875
430.80	o 49264
430.80	c 12868
434.01	o 49270
434.01	c 12862
434.74	o 49274
434.74	c 12858
435.50	o 49277
435.50	c 12855
436.23	o 49285
436.23	c 12847
437.00	o 49287
437.00	c 12845
437.70	o 49289
437.70	c 12843
438.46	o 49295
438.46	c 12837
439.27	o 49302
439.27	c 12830
439.99	o 49303
439.99	c 12829
440.80	o 49305
440.80	c 12827
441.53	o 49315
441.53	c 12817
442.33	o 49319
442.33	c 12813
443.02	o 49325
443.02	c 12807
443.74	o 49329
443.74	c 12803
444.51	o 49333
444.51	c 12799
445.27	o 49334
445.27	c 12798
446.05	o 49337
446.05	c 12795
446.75	o 49341
446.75	c 12791
447.45	o 49348
447.45	c 12784
448.89	o 49359
448.89	c 12773
449.62	o 49360
449.62	c 12772
451.08	o 49361
451.08	c 12771
452.56	o 49364
452.56	c 12768
454.07	o 49365
454.07	c 12767
454.87	o 49367
454.87	c 12765
455.62	o 49377
455.62	c 12755
457.12	o 49386
457.12	c 12746
457.83	o 49388
457.83	c 12744
458.57	o 49390
458.57	c 12742
459.31	o 49398
459.31	c 12734
460.90	o 49400
460.90	c 12732
461.71	o 49401
461.71	c 12731
462.52	o 49404
462.52	c 12728
463.27	o 49406
463.27	c 12726
464.03	o 49416
464.03	c 12716
464.79	o 49418
464.79	c 12714
466.26	o 49423
466.26	c 12709
467.01	o 49426
467.01	c 12706
467.81	o 49431
467.81	c 12701
468.71	o 49435
468.71	c 12697
469.45	o 49441
469.45	c 12691
470.23	o 49448
470.23	c 12684
471.00	o 49450
471.00	c 12682
471.85	o 49455
471.85	c 12677
472.62	o 49460
472.62	c 12672
473.35	o 49461
473.35	c 12671
474.14	o 49466
474.14	c 12666
474.90	o 49472
474.90	c 12660
475.81	o 49477
475.81	c 12655
476.67	o 49479
476.67	c 12653
477.58	o 49481
477.58	c 12651
478.46	o 49491
478.46	c 12641
479.23	o 49492
479.23	c 12640
480.10	o 49495
480.10	c 12637
480.91	o 49501
480.91	c 12631
481.77	o 49504
481.77	c 12628
482.67	o 49508
482.67	c 12624
483.46	o 49518
483.46	c 12614
484.28	o 49521
484.28	c 12611
485.03	o 49523
485.03	c 12609
485.87	o 49524
485.87	c 12608
486.73	o 49526
486.73	c 12606
488.23	o 49528
488.23	c 12604
490.79	o 49538
490.79	c 12594
491.63	o 49540
491.63	c 12592
492.42	o 49548
492.42	c 12584
493.19	o 49549
493.19	c 12583
494.02	o 49551
494.02	c 12581
494.80	o 49556
494.80	c 12576
495.60	o 49564
495.60	c 12568
496.48	o 49566
496.48	c 12566
497.33	o 49573
497.33	c 12559
498.21	o 49577
498.21	c 12555
499.05	o 49582
499.05	c 12550
499.90	o 49586
499.90	c 12546
500.79	o 49590
500.79	c 12542
501.67	o 49593
501.67	c 12539
502.57	o 49595
502.57	c 12537
503.49	o 49597
503.49	c 12535
505.22	o 49603
505.22	c 12529
509.56	o 49607
509.56	c 12525
511.36	o 49610
511.36	c 12522
512.09	o 49612
512.09	c 12520
512.89	o 49618
512.89	c 12514
514.55	o 49620
514.55	c 12512
515.37	o 49625
515.37	c 12507
516.21	o 49626
516.21	c 12506
517.97	o 49633
517.97	c 12499
522.58	o 49637
522.58	c 12495
523.36	o 49640
523.36	c 12492
525.89	o 49648
525.89	c 12484
528.19	o 49651
528.19	c 12481
529.06	o 49655
529.06	c 12477
529.85	o 49658
529.85	c 12474
530.68	o 49665
530.68	c 12467
531.43	o 49669
531.43	c 12463
532.23	o 49670
532.23	c 12462
533.15	o 49683
533.15	c 12449
534.01	o 49687
534.01	c 12445
534.92	o 49694
534.92	c 12438
536.63	o 49697
536.63	c 12435
537.52	o 49702
537.52	c 12430
538.41	o 49705
538.41	c 12427
539.21	o 49714
539.21	c 12418
540.03	o 49718
540.03	c 12414
540.80	o 49722
540.80	c 12410
542.51	o 49729
542.51	c 12403
543.35	o 49739
543.35	c 12393
544.18	o 49743
544.18	c 12389
545.03	o 49746
545.03	c 12386
545.86	o 49750
545.86	c 12382
546.80	o 49752
546.80	c 12380
547.66	o 49759
547.66	c 12373
548.54	o 49760
548.54	c 12372
549.46	o 49761
549.46	c 12371
550.44	o 49764
550.44	c 12368
551.39	o 49772
551.39	c 12360
552.27	o 49778
552.27	c 12354
553.26	o 49780
553.26	c 12352
556.09	o 49781
556.09	c 12351
557.00	o 49783
557.00	c 12349
557.89	o 49790
557.89	c 12342
558.83	o 49796
558.83	c 12336
559.77	o 49806
559.77	c 12326
560.72	o 49809
560.72	c 12323
561.73	o 49818
561.73	c 12314
562.70	o 49820
562.70	c 12312
564.50	o 49825
564.50	c 12307
565.54	o 49826
565.54	c 12306
566.42	o 49831
566.42	c 12301
570.37	o 49833
570.37	c 12299
572.37	o 49835
572.37	c 12297
573.40	o 49843
573.40	c 12289
579.28	o 49845
579.28	c 12287
580.29	o 49850
580.29	c 12282
584.25	o 49851
584.25	c 12281
585.24	o 49859
585.24	c 12273
586.20	o 49864
586.20	c 12268
587.21	o 49870
587.21	c 12262
588.18	o 49871
588.18	c 12261
590.05	o 49879
590.05	c 12253
591.09	o 49880
591.09	c 12252
592.03	o 49888
592.03	c 12244
599.72	o 49900
599.72	c 12232
601.77	o 49902
601.77	c 12230
603.85	o 49904
603.85	c 12228
604.88	o 49907
604.88	c 12225
606.74	o 49911
606.74	c 12221
607.69	o 49915
607.69	c 12217
608.61	o 49925
608.61	c 12207
609.37	o 49931
609.37	c 12201
610.38	o 49933
610.38	c 12199
611.33	o 49936
611.33	c 12196
612.26	o 49939
612.26	c 12193
613.14	o 49942
613.14	c 12190
614.08	o 49946
614.08	c 12186
615.01	o 49952
615.01	c 12180
617.03	o 49957
617.03	c 12175
618.03	o 49961
618.03	c 12171
619.99	o 49962
619.99	c 12170
623.11	o 49963
623.11	c 12169
624.19	o 49969
624.19	c 12163
625.18	o 49972
625.18	c 12160
626.17	o 49975
626.17	c 12157
627.12	o 49977
627.12	c 12155
628.19	o 49978
628.19	c 12154
629.22	o 49979
629.22	c 12153
630.20	o 49980
630.20	c 12152
632.25	o 49983
632.25	c 12149
633.28	o 49985
633.28	c 12147
636.29	o 49989
636.29	c 12143
637.25	o 49990
637.25	c 12142
638.33	o 49995
638.33	c 12137
639.34	o 50001
639.35	c 12131
640.30	o 50002
640.30	c 12130
641.33	o 50003
641.33	c 12129
643.33	o 50005
643.33	c 12127
644.31	o 50010
644.31	c 12122
646.23	o 50016
646.23	c 12116
647.25	o 50018
647.25	c 12114
649.13	o 50023
649.13	c 12109
650.17	o 50029
650.17	c 12103
651.15	o 50031
651.15	c 12101
657.96	o 50032
657.96	c 12100
659.78	o 50036
659.78	c 12096
660.74	o 50041
660.74	c 12091
661.67	o 50045
661.67	c 12087
662.65	o 50050
662.65	c 12082
663.60	o 50053
663.60	c 12079
664.53	o 50059
664.53	c 12073
665.48	o 50061
665.48	c 12071
666.42	o 50065
666.42	c 12067
667.49	o 50071
667.49	c 12061
668.50	o 50077
668.50	c 12055
669.46	o 50080
669.46	c 12052
671.42	o 50082
671.42	c 12050
672.40	o 50085
672.40	c 12047
674.29	o 50092
674.29	c 12040
678.10	o 50094
678.10	c 12038
679.04	o 50101
679.04	c 12031
679.98	o 50106
679.98	c 12026
680.90	o 50110
680.90	c 12022
681.83	o 50114
681.83	c 12018
682.74	o 50119
682.74	c 12013
683.64	o 50126
683.64	c 12006
684.54	o 50128
684.54	c 12004
685.41	o 50130
685.41	c 12002
686.31	o 50136
686.31	c 11996
687.27	o 50139
687.27	c 11993
688.21	o 50140
688.21	c 11992
689.16	o 50142
689.16	c 11990
690.06	o 50149
690.06	c 11983
690.97	o 50150
690.97	c 11982
691.96	o 50153
691.96	c 11979
692.89	o 50161
692.89	c 11971
694.73	o 50165
694.73	c 11967
695.64	o 50173
695.64	c 11959
696.56	o 50183
696.56	c 11949
697.42	o 50188
697.42	c 11944
698.23	o 50193
698.23	c 11939
699.82	o 50204
699.82	c 11928
700.59	o 50208
700.59	c 11924
702.21	o 50209
702.21	c 11923
702.95	o 50218
702.95	c 11914
703.77	o 50219
703.77	c 11913
704.57	o 50230
704.57	c 11902
705.38	o 50232
705.38	c 11900
706.17	o 50235
706.17	c 11897
706.94	o 50239
706.94	c 11893
707.77	o 50240
707.77	c 11892
712.15	o 50243
712.15	c 11889
713.81	o 50244
713.81	c 11888
715.59	o 50247
715.59	c 11885
716.51	o 50252
716.51	c 11880
717.40	o 50256
717.40	c 11876
718.33	o 50258
718.33	c 11874
719.24	o 50259
719.24	c 11873
720.19	o 50264
720.19	c 11868
721.11	o 50267
721.11	c 11865
722.02	o 50278
722.02	c 11854
722.93	o 50281
722.93	c 11851
723.82	o 50289
723.82	c 11843
724.71	o 50294
724.71	c 11838
725.59	o 50300
725.59	c 11832
726.48	o 50303
726.48	c 11829
727.34	o 50306
727.34	c 11826
728.18	o 50312
728.18	c 11820
729.06	o 50314
729.06	c 11818
730.03	o 50315
730.03	c 11817
730.99	o 50321
730.99	c 11811
731.85	o 50324
731.85	c 11808
732.75	o 50325
732.75	c 11807
734.47	o 50333
734.47	c 11799
735.34	o 50339
735.34	c 11793
736.25	o 50343
736.25	c 11789
737.18	o 50352
737.18	c 11780
738.06	o 50354
738.06	c 11778
738.96	o 50357
738.96	c 11775
739.89	o 50365
739.89	c 11767
740.79	o 50368
740.79	c 11764
741.74	o 50371
741.74	c 11761
743.63	o 50373
743.63	c 11759
744.57	o 50376
744.57	c 11756
745.60	o 50385
745.60	c 11747
748.36	o 50391
748.36	c 11741
750.30	o 50393
750.30	c 11739
751.28	o 50398
751.28	c 11734
752.31	o 50406
752.31	c 11726
753.33	o 50412
753.33	c 11720
754.26	o 50413
754.26	c 11719
755.22	o 50417
755.22	c 11715
756.25	o 50421
756.25	c 11711
757.19	o 50428
757.19	c 11704
761.10	o 50433
761.10	c 11699
762.07	o 50438
762.07	c 11694
763.03	o 50440
763.03	c 11692
764.01	o 50443
764.01	c 11689
764.94	o 50444
764.94	c 11688
766.00	o 50449
766.00	c 11683
773.96	o 50454
773.96	c 11678
775.09	o 50459
775.09	c 11673
776.12	o 50462
776.12	c 11670
777.15	o 50468
777.15	c 11664
778.14	o 50472
778.14	c 11660
779.15	o 50481
779.15	c 11651
780.20	o 50483
780.20	c 11649
781.18	o 50489
781.18	c 11643
782.29	o 50493
782.29	c 11639
784.38	o 50496
784.38	c 11636
785.35	o 50502
785.35	c 11630
786.33	o 50506
786.33	c 11626
787.30	o 50508
787.30	c 11624
788.28	o 50513
788.28	c 11619
789.35	o 50515
789.35	c 11617
790.41	o 50519
790.41	c 11613
791.44	o 50520
791.44	c 11612
792.46	o 50523
792.46	c 11609
793.51	o 50527
793.51	c 11605
795.67	o 50529
795.67	c 11603
796.72	o 50531
796.72	c 11601
798.81	o 50533
798.81	c 11599
799.94	o 50535
799.94	c 11597
802.05	o 50540
802.05	c 11592
803.07	o 50542
803.07	c 11590
804.10	o 50544
804.10	c 11588
806.11	o 50550
806.11	c 11582
807.17	o 50554
807.17	c 11578
808.15	o 50555
808.15	c 11577
809.24	o 50559
809.24	c 11573
810.36	o 50560
810.36	c 11572
811.52	o 50564
811.52	c 11568
812.61	o 50573
812.61	c 11559
813.68	o 50574
813.68	c 11558
814.74	o 50578
814.74	c 11554
815.85	o 50583
815.85	c 11549
816.98	o 50592
816.98	c 11540
818.04	o 50599
818.04	c 11533
819.17	o 50603
819.17	c 11529
820.29	o 50609
820.29	c 11523
821.30	o 50613
821.30	c 11519
822.35	o 50618
822.35	c 11514
824.54	o 50623
824.54	c 11509
825.60	o 50626
825.60	c 11506
826.77	o 50628
826.77	c 11504
828.88	o 50632
828.88	c 11500
831.07	o 50634
831.07	c 11498
832.12	o 50644
832.12	c 11488
833.26	o 50646
833.26	c 11486
835.31	o 50648
835.31	c 11484
836.33	o 50659
836.33	c 11473
837.34	o 50660
837.34	c 11472
838.35	o 50669
838.35	c 11463
839.41	o 50674
839.41	c 11458
840.50	o 50678
840.50	c 11454
841.51	o 50682
841.51	c 11450
843.58	o 50686
843.58	c 11446
844.65	o 50693
844.65	c 11439
845.71	o 50697
845.71	c 11435
846.74	o 50700
846.74	c 11432
847.88	o 50707
847.88	c 11425
849.98	o 50713
849.98	c 11419
851.11	o 50714
851.11	c 11418
853.33	o 50715
853.33	c 11417
854.40	o 50724
854.40	c 11408
855.46	o 50725
855.46	c 11407
856.67	o 50728
856.67	c 11404
857.73	o 50730
857.73	c 11402
859.97	o 50732
859.97	c 11400
862.24	o 50735
862.24	c 11397
865.54	o 50737
865.54	c 11395
868.54	o 50741
868.54	c 11391
869.59	o 50745
869.59	c 11387
871.69	o 50748
871.69	c 11384
872.82	o 50752
872.82	c 11380
874.95	o 50757
874.95	c 11375
876.07	o 50758
876.07	c 11374
877.15	o 50759
877.15	c 11373
878.15	o 50761
878.15	c 11371
879.26	o 50776
879.26	c 11356
880.29	o 50779
880.29	c 11353
881.43	o 50781
881.43	c 11351
882.44	o 50784
882.44	c 11348
885.52	o 50785
885.52	c 11347
886.52	o 50790
886.52	c 11342
887.57	o 50796
887.57	c 11336
888.69	o 50797
888.69	c 11335
890.86	o 50799
890.86	c 11333
891.93	o 50801
891.93	c 11331
893.02	o 50807
893.02	c 11325
894.08	o 50813
894.08	c 11319
895.12	o 50816
895.12	c 11316
896.22	o 50819
896.22	c 11313
897.28	o 50825
897.28	c 11307
898.30	o 50830
898.30	c 11302
899.29	o 50833
899.29	c 11299
900.39	o 50839
900.39	c 11293
901.40	o 50844
901.40	c 11288
902.40	o 50846
902.40	c 11286
903.38	o 50852
903.38	c 11280
905.46	o 50854
905.46	c 11278
906.53	o 50858
906.53	c 11274
907.58	o 50862
907.58	c 11270
908.69	o 50866
908.69	c 11266
909.58	o 50874
909.58	c 11258
911.51	o 50879
911.51	c 11253
912.61	o 50884
912.61	c 11248
913.64	o 50886
913.64	c 11246
914.69	o 50889
914.69	c 11243
915.69	o 50896
915.69	c 11236
916.68	o 50905
916.68	c 11227
917.75	o 50906
917.75	c 11226
923.84	o 50909
923.84	c 11223
924.89	o 50914
924.89	c 11218
925.98	o 50917
925.98	c 11215
927.09	o 50922
927.09	c 11210
928.16	o 50931
928.17	c 11201
930.45	o 50937
930.45	c 11195
931.62	o 50941
931.62	c 11191
932.73	o 50950
932.73	c 11182
933.83	o 50954
933.83	c 11178
934.96	o 50958
934.96	c 11174
935.99	o 50966
935.99	c 11166
938.11	o 50968
938.11	c 11164
939.15	o 50969
939.15	c 11163
940.16	o 50972
940.16	c 11160
942.23	o 50985
942.23	c 11147
943.25	o 50991
943.25	c 11141
944.29	o 50997
944.29	c 11135
945.42	o 51002
945.42	c 11130
946.46	o 51007
946.46	c 11125
948.62	o 51009
948.62	c 11123
949.62	o 51013
949.62	c 11119
950.63	o 51019
950.63	c 11113
951.69	o 51020
951.69	c 11112
953.72	o 51027
953.72	c 11105
954.71	o 51029
954.71	c 11103
956.73	o 51033
956.73	c 11099
959.67	o 51037
959.67	c 11095
960.64	o 51043
960.64	c 11089
962.53	o 51049
962.53	c 11083
963.53	o 51055
963.53	c 11077
964.53	o 51068
964.53	c 11064
965.61	o 51071
965.61	c 11061
966.59	o 51079
966.59	c 11053
967.62	o 51084
967.62	c 11048
968.63	o 51087
968.63	c 11045
969.62	o 51093
969.62	c 11039
970.61	o 51100
970.61	c 11032
971.64	o 51102
971.64	c 11030
972.70	o 51106
972.70	c 11026
974.77	o 51113
974.77	c 11019
975.75	o 51119
975.75	c 11013
976.67	o 51122
976.67	c 11010
977.70	o 51124
977.70	c 11008
978.72	o 51127
978.72	c 11005
980.75	o 51128
980.75	c 11004
983.88	o 51131
983.88	c 11001
989.64	o 51137
989.64	c 10995
990.56	o 51145
990.56	c 10987
991.55	o 51146
991.55	c 10986
992.55	o 51154
992.55	c 10978
993.40	o 51158
993.40	c 10974
994.26	o 51161
994.26	c 10971
995.18	o 51167
995.18	c 10965
996.20	o 51170
996.20	c 10962
997.06	o 51174
997.06	c 10958
998.00	o 51177
998.00	c 10955
998.87	o 51181
998.87	c 10951
999.79	o 51184
999.79	c 10948
1000.71	o 51189
1000.71	c 10943
1001.73	o 51195
1001.73	c 10937
1002.59	o 51196
1002.59	c 10936
1003.45	o 51198
1003.45	c 10934
1004.30	o 51202
1004.30	c 10930
1005.23	o 51212
1005.23	c 10920
1006.14	o 51213
1006.14	c 10919
1007.04	o 51215
1007.04	c 10917
1007.90	o 51222
1007.90	c 10910
1008.85	o 51223
1008.85	c 10909
1009.73	o 51224
1009.73	c 10908
1010.71	o 51226
1010.71	c 10906
1011.62	o 51233
1011.62	c 10899
1012.60	o 51237
1012.60	c 10895
1013.55	o 51240
1013.55	c 10892
1014.53	o 51247
1014.53	c 10885
1015.47	o 51254
1015.47	c 10878
1016.48	o 51255
1016.48	c 10877
1017.54	o 51256
1017.54	c 10876
1018.51	o 51257
1018.51	c 10875
1019.55	o 51265
1019.55	c 10867
1021.63	o 51271
1021.63	c 10861
1022.63	o 51273
1022.63	c 10859
1023.61	o 51277
1023.61	c 10855
1024.68	o 51280
1024.68	c 10852
1025.72	o 51281
1025.72	c 10851
1026.77	o 51288
1026.77	c 10844
1027.80	o 51290
1027.80	c 10842
1030.01	o 51299
1030.01	c 10833
1031.06	o 51306
1031.06	c 10826
1034.60	o 51308
1034.60	c 10824
1035.70	o 51310
1035.70	c 10822
1036.75	o 51318
1036.75	c 10814
1039.00	o 51319
1039.00	c 10813
1040.01	o 51327
1040.01	c 10805
1041.18	o 51336
1041.18	c 10796
1042.24	o 51342
1042.24	c 10790
1043.30	o 51343
1043.30	c 10789
1045.48	o 51345
1045.48	c 10787
1046.51	o 51346
1046.51	c 10786
1047.65	o 51352
1047.65	c 10780
1049.91	o 51353
1049.91	c 10779
1052.07	o 51354
1052.07	c 10778
1054.27	o 51357
1054.27	c 10775
1057.52	o 51362
1057.52	c 10770
1060.92	o 51368
1060.92	c 10764
1062.72	o 51377
1062.72	c 10755
1063.86	o 51381
1063.86	c 10751
1065.00	o 51384
1065.00	c 10748
1066.23	o 51386
1066.23	c 10746
1068.59	o 51389
1068.59	c 10743
1069.79	o 51397
1069.79	c 10735
1072.02	o 51400
1072.02	c 10732
1073.23	o 51405
1073.23	c 10727
1074.41	o 51408
1074.41	c 10724
1075.61	o 51410
1075.61	c 10722
1076.77	o 51415
1076.77	c 10717
1077.97	o 51419
1077.97	c 10713
1079.07	o 51429
1079.07	c 10703
1080.33	o 51432
1080.33	c 10700
1081.46	o 51436
1081.46	c 10696
1082.73	o 51439
1082.73	c 10693
1083.94	o 51446
1083.94	c 10686
1085.18	o 51448
1085.18	c 10684
1086.33	o 51451
1086.33	c 10681
1087.53	o 51454
1087.53	c 10678
1088.74	o 51460
1088.74	c 10672
1091.22	o 51462
1091.22	c 10670
1092.49	o 51464
1092.49	c 10668
1093.75	o 51466
1093.75	c 10666
1096.33	o 51472
1096.33	c 10660
1097.58	o 51478
1097.58	c 10654
1098.86	o 51482
1098.86	c 10650
1101.40	o 51489
1101.40	c 10643
1102.60	o 51497
1102.60	c 10635
1103.76	o 51500
1103.76	c 10632
1106.17	o 51501
1106.17	c 10631
1107.42	o 51506
1107.42	c 10626
1108.64	o 51510
1108.64	c 10622
1109.89	o 51513
1109.89	c 10619
1111.14	o 51516
1111.14	c 10616
1112.35	o 51523
1112.35	c 10609
1113.59	o 51525
1113.59	c 10607
1114.80	o 51528
1114.80	c 10604
1115.96	o 51530
1115.96	c 10602
1117.14	o 51541
1117.14	c 10591
1120.57	o 51544
1120.57	c 10588
1121.61	o 51547
1121.61	c 10585
1123.78	o 51550
1123.78	c 10582
1124.86	o 51552
1124.86	c 10580
1126.00	o 51559
1126.00	c 10573
1127.11	o 51560
1127.11	c 10572
1128.23	o 51569
1128.23	c 10563
1129.31	o 51570
1129.31	c 10562
1130.45	o 51575
1130.45	c 10557
1131.47	o 51576
1131.47	c 10556
1133.71	o 51584
1133.71	c 10548
1134.83	o 51587
1134.83	c 10545
1135.88	o 51592
1135.88	c 10540
1138.15	o 51595
1138.15	c 10537
1139.17	o 51604
1139.17	c 10528
1140.25	o 51605
1140.25	c 10527
1141.46	o 51612
1141.46	c 10520
1142.63	o 51624
1142.63	c 10508
1143.83	o 51625
1143.83	c 10507
1144.96	o 51632
1144.96	c 10500
1146.10	o 51640
1146.10	c 10492
1147.26	o 51652
1147.26	c 10480
1148.45	o 51653
1148.45	c 10479
1149.57	o 51661
1149.57	c 10471
1150.68	o 51670
1150.68	c 10462
1151.77	o 51682
1151.77	c 10450
1152.84	o 51690
1152.84	c 10442
1153.94	o 51692
1153.94	c 10440
1154.94	o 51693
1154.94	c 10439
1155.99	o 51697
1155.99	c 10435
1157.01	o 51702
1157.01	c 10430
1158.01	o 51708
1158.01	c 10424
1159.03	o 51716
1159.03	c 10416
1160.04	o 51722
1160.04	c 10410
1163.09	o 51728
1163.09	c 10404
1164.10	o 51730
1164.10	c 10402
1165.08	o 51736
1165.08	c 10396
1166.12	o 51738
1166.12	c 10394
1167.08	o 51740
1167.08	c 10392
1168.10	o 51741
1168.10	c 10391
1172.08	o 51755
1172.08	c 10377
1173.06	o 51757
1173.06	c 10375
1176.09	o 51760
1176.09	c 10372
1177.09	o 51762
1177.09	c 10370
1180.00	o 51763
1180.00	c 10369
1181.03	o 51765
1181.03	c 10367
1182.11	o 51767
1182.11	c 10365
1183.17	o 51769
1183.18	c 10363
1185.28	o 51773
1185.28	c 10359
1186.27	o 51776
1186.27	c 10356
1187.32	o 51779
1187.32	c 10353
1188.38	o 51785
1188.38	c 10347
1189.37	o 51786
1189.37	c 10346
1190.47	o 51790
1190.47	c 10342
1191.61	o 51794
1191.61	c 10338
1192.71	o 51795
1192.71	c 10337
1199.49	o 51798
1199.49	c 10334
1200.59	o 51800
1200.59	c 10332
1201.78	o 51806
1201.78	c 10326
1202.96	o 51808
1202.96	c 10324
1204.12	o 51816
1204.12	c 10316
1210.16	o 51821
1210.16	c 10311
1211.39	o 51822
1211.39	c 10310
1212.52	o 51824
1212.52	c 10308
1213.66	o 51827
1213.66	c 10305
1214.81	o 51829
1214.81	c 10303
1215.96	o 51830
1215.96	c 10302
1217.21	o 51840
1217.21	c 10292
1218.28	o 51844
1218.28	c 10288
1219.46	o 51848
1219.46	c 10284
1221.83	o 51853
1221.83	c 10279
1223.02	o 51855
1223.02	c 10277
1225.42	o 51863
1225.42	c 10269
1226.75	o 51865
1226.75	c 10267
1229.30	o 51869
1229.30	c 10263
1230.60	o 51870
1230.60	c 10262
1231.84	o 51872
1231.84	c 10260
1233.11	o 51875
1233.11	c 10257
1234.37	o 51877
1234.37	c 10255
1235.67	o 51881
1235.67	c 10251
1236.91	o 51883
1236.91	c 10249
1238.17	o 51889
1238.17	c 10243
1239.41	o 51896
1239.41	c 10236
1240.42	o 51905
1240.42	c 10227
1241.68	o 51913
1241.68	c 10219
1243.05	o 51920
1243.05	c 10212
1244.32	o 51927
1244.32	c 10205
1248.27	o 51935
1248.27	c 10197
1249.54	o 51939
1249.54	c 10193
1250.83	o 51943
1250.83	c 10189
1252.09	o 51947
1252.09	c 10185
1253.39	o 51949
1253.39	c 10183
1254.73	o 51960
1254.73	c 10172
1256.06	o 51966
1256.06	c 10166
1258.70	o 51968
1258.70	c 10164
1261.31	o 51973
1261.31	c 10159
1262.65	o 51977
1262.65	c 10155
1263.98	o 51981
1263.98	c 10151
1265.24	o 51982
1265.24	c 10150
1267.62	o 51983
1267.62	c 10149
1268.91	o 51989
1268.91	c 10143
1270.17	o 51999
1270.17	c 10133
1271.37	o 52009
1271.37	c 10123
1272.65	o 52016
1272.65	c 10116
1273.94	o 52022
1273.94	c 10110
1275.18	o 52024
1275.18	c 10108
1276.42	o 52029
1276.42	c 10103
1277.66	o 52031
1277.66	c 10101
1280.07	o 52039
1280.07	c 10093
1281.26	o 52050
1281.26	c 10082
1282.41	o 52057
1282.41	c 10075
1283.52	o 52061
1283.52	c 10071
1284.73	o 52065
1284.73	c 10067
1285.88	o 52069
1285.88	c 10063
1287.04	o 52074
1287.04	c 10058
1288.28	o 52083
1288.28	c 10049
1289.56	o 52087
1289.56	c 10045
1292.04	o 52093
1292.04	c 10039
1293.28	o 52098
1293.28	c 10034
1294.52	o 52104
1294.52	c 10028
1295.77	o 52106
1295.77	c 10026
1296.61	o 52108
1296.61	c 10024
1297.80	o 52110
1297.80	c 10022
1301.42	o 52116
1301.42	c 10016
1302.57	o 52120
1302.57	c 10012
1303.77	o 52126
1303.77	c 10006
1307.35	o 52130
1307.35	c 10002
1308.49	o 52131
1308.49	c 10001
1309.73	o 52139
1309.73	c 9993
1310.91	o 52141
1310.91	c 9991
1313.39	o 52142
1313.39	c 9990
1314.61	o 52145
1314.61	c 9987
1315.86	o 52147
1315.86	c 9985
1317.13	o 52153
1317.13	c 9979
1318.37	o 52158
1318.37	c 9974
1319.60	o 52163
1319.60	c 9969
1322.03	o 52164
1322.03	c 9968
1323.23	o 52171
1323.23	c 9961
1324.43	o 52177
1324.43	c 9955
1325.64	o 52178
1325.64	c 9954
1326.80	o 52182
1326.80	c 9950
1327.98	o 52195
1327.98	c 9937
1329.12	o 52202
1329.12	c 9930
1332.75	o 52205
1332.75	c 9927
1334.03	o 52206
1334.03	c 9926
1335.20	o 52208
1335.20	c 9924
1336.47	o 52213
1336.47	c 9919
1338.82	o 52216
1338.82	c 9916
1341.19	o 52218
1341.19	c 9914
1343.56	o 52223
1343.56	c 9909
1344.74	o 52226
1344.74	c 9906
1345.88	o 52227
1345.88	c 9905
1347.18	o 52232
1347.18	c 9900
1348.33	o 52234
1348.33	c 9898
1349.55	o 52238
1349.55	c 9894
1350.76	o 52240
1350.76	c 9892
1352.03	o 52248
1352.03	c 9884
1353.25	o 52252
1353.25	c 9880
1354.42	o 52256
1354.42	c 9876
1359.22	o 52263
1359.22	c 9869
1360.27	o 52270
1360.27	c 9862
1361.43	o 52276
1361.43	c 9856
1362.64	o 52281
1362.64	c 9851
1363.84	o 52287
1363.84	c 9845
1365.06	o 52290
1365.06	c 9842
1366.32	o 52302
1366.32	c 9830
1367.35	o 52312
1367.35	c 9820
1368.61	o 52318
1368.61	c 9814
1369.92	o 52320
1369.92	c 9812
1371.26	o 52325
1371.26	c 9807
1372.59	o 52327
1372.59	c 9805
1373.93	o 52332
1373.93	c 9800
1375.27	o 52341
1375.27	c 9791
1376.76	o 52349
1376.76	c 9783
1378.04	o 52352
1378.04	c 9780
1383.47	o 52353
1383.47	c 9779
1390.20	o 52356
1390.20	c 9776
1391.54	o 52360
1391.54	c 9772
1392.90	o 52364
1392.90	c 9768
1394.25	o 52372
1394.25	c 9760
1395.57	o 52377
1395.57	c 9755
1396.96	o 52379
1396.96	c 9753
1398.26	o 52385
1398.26	c 9747
1402.27	o 52388
1402.27	c 9744
1405.02	o 52396
1405.02	c 9736
1406.39	o 52402
1406.39	c 9730
1407.73	o 52409
1407.73	c 9723
1409.07	o 52411
1409.07	c 9721
1410.48	o 52416
1410.48	c 9716
1414.61	o 52418
1414.61	c 9714
1417.29	o 52421
1417.29	c 9711
1418.63	o 52434
1418.63	c 9698
1420.11	o 52435
1420.11	c 9697
1421.53	o 52441
1421.53	c 9691
1422.92	o 52444
1422.92	c 9688
1424.27	o 52445
1424.27	c 9687
1425.63	o 52447
1425.63	c 9685
1427.02	o 52449
1427.02	c 9683
1428.38	o 52453
1428.38	c 9679
1429.76	o 52454
1429.76	c 9678
1431.11	o 52459
1431.11	c 9673
1437.92	o 52464
1437.92	c 9668
1440.73	o 52467
1440.73	c 9665
1442.08	o 52472
1442.08	c 9660
1443.42	o 52475
1443.42	c 9657
1444.74	o 52482
1444.74	c 9650
1446.16	o 52486
1446.16	c 9646
1447.58	o 52494
1447.58	c 9638
1449.03	o 52506
1449.03	c 9626
1450.46	o 52513
1450.46	c 9619
1457.36	o 52515
1457.36	c 9617
1458.73	o 52518
1458.73	c 9614
1460.06	o 52521
1460.07	c 9611
1461.50	o 52523
1461.50	c 9609
1462.90	o 52524
1462.90	c 9608
1464.32	o 52525
1464.32	c 9607
1467.16	o 52529
1467.16	c 9603
1468.60	o 52532
1468.60	c 9600
1474.17	o 52534
1474.17	c 9598
1475.56	o 52539
1475.56	c 9593
1476.95	o 52541
1476.95	c 9591
1478.38	o 52543
1478.38	c 9589
1479.78	o 52547
1479.78	c 9585
1481.19	o 52549
1481.19	c 9583
1482.60	o 52552
1482.60	c 9580
1483.96	o 52553
1483.96	c 9579
1485.38	o 52565
1485.38	c 9567
1486.76	o 52571
1486.76	c 9561
1488.25	o 52572
1488.25	c 9560
1489.75	o 52579
1489.75	c 9553
1491.17	o 52583
1491.17	c 9549
1493.94	o 52585
1493.94	c 9547
1495.33	o 52587
1495.33	c 9545
1501.02	o 52595
1501.02	c 9537
1502.41	o 52597
1502.41	c 9535
1505.26	o 52600
1505.26	c 9532
1506.85	o 52602
1506.85	c 9530
1508.42	o 52607
1508.42	c 9525
1511.31	o 52609
1511.31	c 9523
1512.83	o 52614
1512.83	c 9518
1514.29	o 52622
1514.29	c 9510
1515.81	o 52628
1515.81	c 9504
1517.23	o 52629
1517.23	c 9503
1518.66	o 52638
1518.66	c 9494
1520.08	o 52639
1520.08	c 9493
1521.51	o 52645
1521.51	c 9487
1524.41	o 52647
1524.41	c 9485
1525.81	o 52649
1525.81	c 9483
1527.26	o 52655
1527.26	c 9477
1528.64	o 52661
1528.64	c 9471
1530.00	o 52666
1530.00	c 9466
1532.89	o 52667
1532.90	c 9465
1534.24	o 52669
1534.24	c 9463
1535.59	o 52673
1535.59	c 9459
1539.63	o 52674
1539.63	c 9458
1540.97	o 52679
1540.97	c 9453
1542.36	o 52682
1542.36	c 9450
1543.71	o 52686
1543.71	c 9446
1547.76	o 52688
1547.76	c 9444
1549.20	o 52694
1549.20	c 9438
1551.73	o 52703
1551.73	c 9429
1553.08	o 52705
1553.08	c 9427
1561.25	o 52713
1561.25	c 9419
1562.58	o 52714
1562.58	c 9418
1564.01	o 52718
1564.01	c 9414
1565.26	o 52720
1565.26	c 9412
1566.57	o 52728
1566.57	c 9404
1567.92	o 52730
1567.92	c 9402
1572.05	o 52733
1572.05	c 9399
1574.76	o 52736
1574.76	c 9396
1576.10	o 52737
1576.10	c 9395
1584.11	o 52740
1584.11	c 9392
1588.24	o 52742
1588.24	c 9390
1589.65	o 52745
1589.65	c 9387
1590.97	o 52747
1590.97	c 9385
1592.31	o 52758
1592.31	c 9374
1596.41	o 52765
1596.41	c 9367
1597.73	o 52768
1597.73	c 9364
1599.15	o 52772
1599.15	c 9360
1600.44	o 52775
1600.44	c 9357
1603.06	o 52784
1603.06	c 9348
1605.65	o 52789
1605.65	c 9343
1606.92	o 52796
1606.92	c 9336
1609.30	o 52799
1609.30	c 9333
1610.50	o 52800
1610.50	c 9332
1612.96	o 52801
1612.96	c 9331
1614.26	o 52808
1614.26	c 9324
1615.44	o 52812
1615.44	c 9320
1616.72	o 52813
1616.72	c 9319
1621.39	o 52818
1621.39	c 9314
1622.59	o 52820
1622.59	c 9312
1623.89	o 52824
1623.89	c 9308
1625.11	o 52828
1625.11	c 9304
1626.41	o 52831
1626.41	c 9301
1627.65	o 52832
1627.65	c 9300
1628.95	o 52834
1628.95	c 9298
1630.22	o 52838
1630.22	c 9294
1631.48	o 52842
1631.48	c 9290
1632.77	o 52845
1632.77	c 9287
1634.14	o 52846
1634.14	c 9286
1636.74	o 52847
1636.74	c 9285
1638.01	o 52848
1638.01	c 9284
1639.40	o 52854
1639.40	c 9278
1640.69	o 52859
1640.69	c 9273
1642.09	o 52862
1642.09	c 9270
1643.45	o 52865
1643.45	c 9267
1644.78	o 52867
1644.78	c 9265
1646.22	o 52869
1646.22	c 9263
1647.70	o 52873
1647.70	c 9259
1649.11	o 52874
1649.11	c 9258
1650.55	o 52879
1650.55	c 9253
1659.63	o 52882
1659.63	c 9250
1661.18	o 52883
1661.18	c 9249
1662.69	o 52885
1662.69	c 9247
1664.29	o 52887
1664.29	c 9245
1665.87	o 52896
1665.87	c 9236
1667.16	o 52900
1667.16	c 9232
1668.66	o 52901
1668.66	c 9231
1670.14	o 52903
1670.14	c 9229
1671.64	o 52907
1671.64	c 9225
1673.14	o 52910
1673.14	c 9222
1674.65	o 52917
1674.65	c 9215
1676.16	o 52923
1676.16	c 9209
1677.65	o 52927
1677.65	c 9205
1680.67	o 52928
1680.67	c 9204
1682.17	o 52932
1682.17	c 9200
1683.65	o 52934
1683.65	c 9198
1688.26	o 52939
1688.26	c 9193
1689.76	o 52941
1689.76	c 9191
1691.30	o 52944
1691.30	c 9188
1692.83	o 52951
1692.83	c 9181
1695.96	o 52958
1695.96	c 9174
1703.66	o 52959
1703.66	c 9173
1705.20	o 52964
1705.20	c 9168
1706.74	o 52972
1706.74	c 9160
1710.02	o 52976
1710.02	c 9156
1711.56	o 52979
1711.56	c 9153
1713.13	o 52983
1713.13	c 9149
1719.40	o 52988
1719.40	c 9144
1721.06	o 52995
1721.06	c 9137
1722.67	o 52997
1722.67	c 9135
1727.75	o 53005
1727.75	c 9127
1729.46	o 53008
1729.46	c 9124
1732.92	o 53009
1732.92	c 9123
1734.54	o 53017
1734.54	c 9115
1736.22	o 53022
1736.22	c 9110
1741.16	o 53024
1741.16	c 9108
1742.75	o 53027
1742.75	c 9105
1744.33	o 53031
1744.33	c 9101
1745.88	o 53037
1745.88	c 9095
1749.03	o 53039
1749.03	c 9093
1750.65	o 53044
1750.65	c 9088
1753.85	o 53046
1753.85	c 9086
1755.56	o 53049
1755.56	c 9083
1757.16	o 53050
1757.16	c 9082
1758.76	o 53055
1758.76	c 9077
1760.37	o 53058
1760.37	c 9074
1762.06	o 53064
1762.06	c 9068
1765.28	o 53066
1765.28	c 9066
1770.15	o 53068
1770.15	c 9064
1771.74	o 53072
1771.74	c 9060
1773.34	o 53075
1773.34	c 9057
1774.90	o 53079
1774.90	c 9053
1776.47	o 53085
1776.47	c 9047
1778.13	o 53091
1778.13	c 9041
1779.79	o 53093
1779.79	c 9039
1781.42	o 53098
1781.42	c 9034
1783.18	o 53100
1783.18	c 9032
1784.92	o 53104
1784.92	c 9028
1786.71	o 53105
1786.71	c 9027
1790.00	o 53106
1790.00	c 9026
1791.66	o 53108
1791.66	c 9024
1793.46	o 53112
1793.46	c 9020
1796.89	o 53114
1796.89	c 9018
1798.56	o 53119
1798.56	c 9013
1800.21	o 53122
1800.21	c 9010
1803.49	o 53123
1803.49	c 9009
1805.19	o 53125
1805.19	c 9007
1806.97	o 53132
1806.97	c 9000
1811.86	o 53139
1811.86	c 8993
1815.16	o 53140
1815.16	c 8992
1816.78	o 53141
1816.78	c 8991
1818.35	o 53142
1818.35	c 8990
1819.95	o 53146
1819.95	c 8986
1821.69	o 53152
1821.69	c 8980
1823.42	o 53156
1823.42	c 8976
1828.65	o 53160
1828.65	c 8972
1830.41	o 53161
1830.41	c 8971
1842.26	o 53162
1842.26	c 8970
1844.07	o 53163
1844.07	c 8969
1851.30	o 53167
1851.30	c 8965
1853.02	o 53175
1853.02	c 8957
1854.39	o 53179
1854.39	c 8953
1857.84	o 53183
1857.84	c 8949
1859.51	o 53184
1859.51	c 8948
1861.15	o 53191
1861.15	c 8941
1862.74	o 53198
1862.74	c 8934
1864.42	o 53201
1864.42	c 8931
1866.13	o 53202
1866.13	c 8930
1867.81	o 53206
1867.81	c 8926
1869.55	o 53212
1869.55	c 8920
1872.92	o 53213
1872.92	c 8919
1874.61	o 53214
1874.61	c 8918
1876.24	o 53221
1876.24	c 8911
1877.90	o 53222
1877.90	c 8910
1879.47	o 53230
1879.47	c 8902
1884.30	o 53232
1884.30	c 8900
1889.31	o 53233
1889.31	c 8899
1894.55	o 53239
1894.55	c 8893
1898.12	o 53240
1898.12	c 8892
1899.91	o 53244
1899.91	c 8888
1901.72	o 53245
1901.72	c 8887
1903.50	o 53249
1903.50	c 8883
1905.30	o 53256
1905.30	c 8876
1907.09	o 53258
1907.09	c 8874
1908.88	o 53261
1908.88	c 8871
1910.62	o 53262
1910.62	c 8870
1914.14	o 53271
1914.14	c 8861
1919.39	o 53272
1919.39	c 8860
1921.10	o 53276
1921.10	c 8856
1926.14	o 53281
1926.14	c 8851
1927.79	o 53284
1927.79	c 8848
1929.47	o 53292
1929.47	c 8840
1931.27	o 53293
1931.27	c 8839
1934.61	o 53294
1934.61	c 8838
1936.30	o 53298
1936.30	c 8834
1937.98	o 53304
1937.98	c 8828
1939.64	o 53305
1939.64	c 8827
1941.23	o 53310
1941.23	c 8822
1947.40	o 53314
1947.40	c 8818
1948.90	o 53315
1948.90	c 8817
1950.58	o 53321
1950.58	c 8811
1952.20	o 53325
1952.20	c 8807
1953.86	o 53326
1953.86	c 8806
1955.52	o 53330
1955.52	c 8802
1957.11	o 53333
1957.11	c 8799
1958.79	o 53334
1958.79	c 8798
1960.51	o 53337
1960.51	c 8795
1962.15	o 53339
1962.15	c 8793
1963.87	o 53344
1963.87	c 8788
1965.49	o 53345
1965.49	c 8787
1970.59	o 53349
1970.59	c 8783
1972.22	o 53354
1972.22	c 8778
1982.07	o 53358
1982.07	c 8774
1983.78	o 53359
1983.78	c 8773
1985.43	o 53360
1985.43	c 8772
1987.15	o 53361
1987.15	c 8771
1989.06	o 53367
1989.06	c 8765
1990.85	o 53369
1990.85	c 8763
1996.27	o 53372
1996.27	c 8760
1998.12	o 53378
1998.12	c 8754
1999.90	o 53384
1999.90	c 8748
2001.66	o 53387
2001.66	c 8745
2003.40	o 53389
2003.40	c 8743
2014.79	o 53390
2014.79	c 8742
2018.23	o 53392
2018.23	c 8740
2019.93	o 53404
2019.93	c 8728
2025.03	o 53407
2025.03	c 8725
2026.69	o 53411
2026.69	c 8721
2028.36	o 53412
2028.36	c 8720
2031.72	o 53416
2031.72	c 8716
2033.43	o 53417
2033.43	c 8715
2035.11	o 53419
2035.11	c 8713
2038.47	o 53422
2038.47	c 8710
2040.22	o 53423
2040.22	c 8709
2041.90	o 53424
2041.90	c 8708
2043.57	o 53425
2043.57	c 8707
2045.33	o 53431
2045.33	c 8701
2048.85	o 53434
2048.85	c 8698
2050.60	o 53440
2050.60	c 8692
2057.56	o 53444
2057.56	c 8688
2059.38	o 53446
2059.38	c 8686
2061.09	o 53451
2061.09	c 8681
2062.72	o 53455
2062.72	c 8677
2064.44	o 53457
2064.44	c 8675
2066.18	o 53464
2066.18	c 8668
2067.97	o 53465
2067.97	c 8667
2069.74	o 53467
2069.74	c 8665
2071.56	o 53469
2071.56	c 8663
2077.35	o 53471
2077.35	c 8661
2079.23	o 53473
2079.23	c 8659
2081.07	o 53475
2081.07	c 8657
2082.93	o 53477
2082.93	c 8655
2084.89	o 53487
2084.89	c 8645
2086.79	o 53491
2086.79	c 8641
2088.71	o 53496
2088.71	c 8636
2090.60	o 53498
2090.60	c 8634
2092.52	o 53500
2092.52	c 8632
2094.03	o 53504
2094.03	c 8628
2095.91	o 53510
2095.91	c 8622
2097.82	o 53511
2097.82	c 8621
2101.74	o 53514
2101.74	c 8618
2103.68	o 53519
2103.68	c 8613
2105.59	o 53520
2105.59	c 8612
2107.56	o 53523
2107.56	c 8609
2127.23	o 53525
2127.23	c 8607
2129.21	o 53528
2129.21	c 8604
2133.00	o 53531
2133.00	c 8601
2134.62	o 53538
2134.62	c 8594
2138.45	o 53542
2138.45	c 8590
2139.79	o 53545
2139.79	c 8587
2141.65	o 53547
2141.65	c 8585
2148.89	o 53549
2148.89	c 8583
2150.64	o 53557
2150.64	c 8575
2152.40	o 53558
2152.40	c 8574
2154.17	o 53561
2154.17	c 8571
2155.99	o 53565
2155.99	c 8567
2157.82	o 53571
2157.82	c 8561
2161.56	o 53573
2161.56	c 8559
2165.34	o 53577
2165.34	c 8555
2167.20	o 53582
2167.20	c 8550
2169.08	o 53592
2169.08	c 8540
2185.02	o 53593
2185.02	c 8539
2186.85	o 53595
2186.85	c 8537
2188.63	o 53599
2188.63	c 8533
2190.40	o 53600
2190.40	c 8532
2192.16	o 53601
2192.16	c 8531
2193.96	o 53603
2193.96	c 8529
2195.78	o 53605
2195.78	c 8527
2197.56	o 53606
2197.56	c 8526
2199.41	o 53607
2199.41	c 8525
2201.20	o 53613
2201.20	c 8519
2202.95	o 53623
2202.95	c 8509
2204.68	o 53632
2204.68	c 8500
2208.21	o 53633
2208.21	c 8499
2211.74	o 53637
2211.74	c 8495
2220.13	o 53639
2220.13	c 8493
2221.40	o 53648
2221.40	c 8484
2224.82	o 53650
2224.82	c 8482
2228.19	o 53652
2228.19	c 8480
2233.38	o 53653
2233.38	c 8479
2235.09	o 53655
2235.09	c 8477
2236.85	o 53661
2236.85	c 8471
2238.60	o 53668
2238.60	c 8464
2239.85	o 53675
2239.85	c 8457
2241.57	o 53677
2241.57	c 8455
2243.38	o 53679
2243.38	c 8453
2246.87	o 53684
2246.87	c 8448
2248.66	o 53686
2248.66	c 8446
2250.48	o 53687
2250.48	c 8445
2252.32	o 53688
2252.32	c 8444
2254.13	o 53693
2254.13	c 8439
2255.91	o 53699
2255.91	c 8433
2257.64	o 53707
2257.64	c 8425
2259.46	o 53708
2259.46	c 8424
2261.29	o 53711
2261.29	c 8421
2275.91	o 53712
2275.91	c 8420
2279.61	o 53713
2279.61	c 8419
2281.46	o 53717
2281.46	c 8415
2283.29	o 53719
2283.29	c 8413
2285.09	o 53721
2285.09	c 8411
2287.03	o 53723
2287.03	c 8409
2298.11	o 53724
2298.11	c 8408
2303.35	o 53726
2303.35	c 8406
2304.55	o 53730
2304.55	c 8402
2306.21	o 53735
2306.21	c 8397
2308.02	o 53737
2308.02	c 8395
2311.47	o 53738
2311.47	c 8394
2313.29	o 53739
2313.29	c 8393
2315.06	o 53744
2315.06	c 8388
2316.82	o 53750
2316.82	c 8382
2317.96	o 53754
2317.96	c 8378
2319.73	o 53759
2319.73	c 8373
2321.48	o 53761
2321.48	c 8371
2323.37	o 53764
2323.37	c 8368
2325.21	o 53767
2325.21	c 8365
2327.08	o 53769
2327.08	c 8363
2329.00	o 53777
2329.00	c 8355
2332.66	o 53780
2332.66	c 8352
2334.45	o 53781
2334.45	c 8351
2338.09	o 53784
2338.09	c 8348
2339.94	o 53785
2339.94	c 8347
2341.74	o 53787
2341.74	c 8345
2343.27	o 53788
2343.27	c 8344
2344.72	o 53791
2344.72	c 8341
2348.54	o 53794
2348.54	c 8338
2350.48	o 53795
2350.48	c 8337
2352.35	o 53799
2352.35	c 8333
2354.28	o 53802
2354.28	c 8330
2356.21	o 53806
2356.21	c 8326
2372.91	o 53810
2372.91	c 8322
2374.71	o 53815
2374.72	c 8317
2376.65	o 53817
2376.65	c 8315
2382.31	o 53818
2382.31	c 8314
2389.80	o 53821
2389.80	c 8311
2391.67	o 53824
2391.67	c 8308
2393.62	o 53826
2393.62	c 8306
2395.59	o 53830
2395.59	c 8302
2397.51	o 53833
2397.51	c 8299
2399.46	o 53834
2399.46	c 8298
2401.37	o 53835
2401.37	c 8297
2403.25	o 53838
2403.25	c 8294
2413.01	o 53840
2413.01	c 8292
2418.81	o 53841
2418.81	c 8291
2419.98	o 53846
2419.98	c 8286
2422.73	v 3854 -3286 2762 3966 2810 3914 -3902 -4010 3702 -3122 2994 -2654 3014 -2714 -3366 3806 4030 2690 -2690 3358 3206 2954 -3634 -4042 -3870 -3810 -3382 3450 4022 3914 -2654 3574 -3406 2826 2914 2870 2674 -2686 -3922 3646 3034 3858 -3694 -3190 3426 -3482 3710 3882 -2850 -3386 3470 -2782 -2654 -3242 3714 -2662 -3534 3298 3082 3206 -2854 3394 3638 -3566 -2666 3282 -4030 3454 -3434 -3530 -2690 -3110 4038 -3154 -3874 -3458 -3450 3790 -3906 -3594 3794 3206 3114 2786 -3986 3270 -2998 3962 -3434 2730 3626 -3346 -2658 4034 3622 -3998 -3430 -3890 -4014 -3110 -3574 -2838 2658 -3966 -3894 3218 -2694 3762 3294 3914 2810 -3974 -3266 3110 3554 3578 3730 -3762 3822 3690 -2766 -3014 -2694 -3842 -3318 -3258 -3130 3886 2982 -3274 -3790 4042 3050 2954 4014 3510 3234 -3150 -3434 3274 -2846 3706 -3834 -2690 -3082 3314 -3814 3994 2698 -3382 -2650 -3846 2690 2806 -3498 2662 4042 3766 -2650 3010 2778 4038 3154 3102 -2786 -3898 -3862 -2702 2794 4018 -3946 -3858 3870 2922 -2654 -4042 3978 2658 -3066 -3730 2650 3982 -3774 3538 -3498 2706 -2950 3142 3930 3970 -3102 3506 -2722 -2690 -2806 -3370 -3082 2686 2650 3270 -3150 3894 -3294 4022 3094 -2690 -3522 2690 -4026 -3582 3878 -3242 3166 3254 3230 -3954 3038 2694 -3950 2766 3378 -2946 -2654 -3194 3794 -3954 -3434 3058 -3490 -3282 4018 4030 -3958 3986 3970 3014 3938 -2774 3094 -3874 -4042 -4038 -3022 -2694 -4038 -3994 2662 -2686 3070 3842 -2650 3070 -3058 3994 4038 -3838 -3526 -2854 3942 -3850 -2974 2938 -2658 -4014 -2746 -3390 -3254 -3226 -3998 -3542 -2982 -3682 4026 3642 3010 -2694 -3658 -3338 -3558 -3438 2718 2706 3366 -3990 4002 3918 3702 -3830 2702 3102 -2926 -3618 4042 2666 -2654 3042 3370 -2802 -2654 -3398 2882 -2710 2658 3930 3098 3210 3702 -2722 -3990 3982 -3510 3998 -2762 -3538 3690 -2894 -4038 2670 -2650 3482 -3890 -3934 -3090 3034 2874 -3194 -3554 -3106 -3826 2650 -3934 -2858 -3642 -3930 -3958 3782 2918 2902 3930 -3114 3758 2934 3550 -2906 -3234 3202 -3806 -4018 -3854 -3110 -3266 3970 3930 -2654 -3282 -2766 -3534 -3846 -4002 2826 -3018 3414 3282 -4034 3342 2810 -3994 3474 2718 -3614 -2802 3346 4002 3298 3450 3766 -3282 -4010 3998 -2694 2662 4022 2678 3046 -3154 2890 -3630 4042 -3974 2670 2690 -4026 -3066 -3782 -4034 2654 -3990 -2658 3310 3614 3610 -3082 3442 -2742 3914 -3150 3914 -3982 3442 -3970 -3782 -3894 -3830 4042 -2846 4038 4042 2698 -2830 4042 -3686 2790 2718 3562 -3974 -3830 2750 -3118 3178 2662 3810 3606 3402 -3342 2974 -3450 3946 -2834 2914 -3862 -2842 -3790 2982 4034 -3902 3858 -2938 -3862 2810 2650 -3722 -3926 -4038 -3998 3214 -3786 2686 -3906 -3562 2650 4042 3326 2910 3234 -2650 3126 3470 -3058 -2758 -3134 3958 -3850 2810 -3806 3686 4042 -3718 -3970 -3854 2662 2698 2690 -3610 4042 -2694 -2926 -2738 2930 3174 3902 -4014 -3150 3734 -3902 4038 3998 -2690 3918 3282 -3190 -3910 3870 -2718 3534 -2650 -3894 -3846 3246 -3278 -4026 -3482 3018 2674 -3882 -3206 -4002 -3198 -3862 -3230 3074 3990 2954 -2710 -3926 3926 4038 3766 -2934 3134 3802 2658 2690 -3362 -2698 2694 -3198 -3534 -3398 2802 -3186 -3542 -3126 -3930 -2690 3390 -4014 3034 -2938 3578 3338 -3998 -3866 -3230 -2714 3998 -3930 -4034 2970 3642 -4034 -4030 2654 3090 -4038 -2774 4018 -2790 3038 3682 3478 3662 -3874 2674 2754 2990 4034 3046 3046 3682 4042 -3942 3870 -3766 -4002 3366 -2706 4010 3990 2762 -3814 3858 3550 2998 3966 3386 -4042 2670 4018 3706 -4014 2846 3374 3294 -3926 2706 2738 -3958 -3658 2966 -3618 3774 -2666 -2658 -3690 -3418 2898 2650 2726 -2674 -2798 2854 -3486 -4042 3230 3070 2798 -3758 -2838 2690 -3358 -2690 4038 -3238 4022 -3926 2706 -2682 -3922 3998 3346 -3514 -2650 -3106 -3814 3326 -3898 -2658 3666 -3830 3498 -2678 -3350 -4042 -3602 -3914 -3966 -3970 -3142 -3866 -2694 3998 -3090 -2698 2766 -3658 -3034 3446 -3246 2930 -3174 3914 -2746 -3878 -3318 -3106 -2658 4002 -3510 -3650 3890 -3442 -2806 4030 3518 -3114 3574 -3582 2682 3974 2846 3998 -2658 4042 2694 2682 -3390 3090 -3986 4038 -3998 2950 -3226 4038 -3246 -4002 -3810 -3506 2882 -2710 2654 4042 -3034 -2650 -2966 -3010 3358 -3074 -3522 3450 2650 -3866 -3558 -3722 -3902 -2878 -3958 -3470 -3998 -3018 3286 3042 -3914 -2698 3058 2662 -3678 -3494 -2826 -3086 2782 -3990 3266 -3766 -3114 2698 -2662 2702 3538 3686 -4022 3994 2850 -4022 2650 -2666 -2674 3750 -2870 2926 3990 3694 2654 3290 -2650 3830 -3918 3406 -3582 -3626 -3886 -3890 -2674 3094 -3966 -3554 -2650 3298 -3358 -2850 3442 -3306 3326 2666 2710 -3074 3038 3482 -3158 -3526 -3318 -2650 -3990 3358 -3386 3602 2862 -3658 3054 -2718 2682 -3082 -3858 2878 2650 2754 2654 3886 2834 2698 -2902 -3866 3150 3254 -3030 3998 2698 -3282 3990 -2650 3874 3210 -3166 3790 2682 -2786 3990 2666 -3670 4018 3994 3954 3930 3106 -2998 3614 -3538 -3258 -3038 -2662 3878 3302 3218 -3806 2710 3338 2650 -3774 3898 2702 -2650 2698 3342 -3814 -4042 -3374 -2706 -2654 -3162 2690 -3518 -4022 4042 -2654 3502 3926 -3938 3550 -3886 -3326 -2974 2770 -4022 -3610 3758 -2726 -2718 -3986 -3142 -2918 -2742 -2934 4042 -2662 -2654 3286 -3522 -2694 -3770 -2870 -3610 3718 -3750 -4042 3794 3622 2934 2878 -2706 -3278 3742 2658 3382 -4042 -3926 3938 -3870 3862 -3522 -4006 3766 -4018 -2846 3974 3210 -3994 2946 -2682 -2650 3418 -3834 3922 -3166 3358 -3474 2650 2798 3974 3682 3830 -4010 -3966 4042 4034 3742 3222 3550 -3154 -3918 -3038 -4030 3038 -3906 -4042 3990 3026 3094 -4042 3514 3778 2710 3990 3886 -3958 3378 -3966 -3410 4030 -3562 3970 2966 2978 -3146 2974 -3590 -4038 -2686 -3866 -3798 -3530 3026 -3330 2838 3710 3598 3794 -3626 -2894 2666 4014 2714 2694 -2650 -3646 -2926 3942 2678 3994 3406 -2706 -3306 2746 3270 -3058 3666 -3398 -3590 2818 2698 3946 2654 3050 -3370 -2694 3118 -3698 3970 -3450 2694 3242 2698 4010 -3830 3750 3850 3906 -3734 4018 2650 3302 4002 3694 -4038 3950 -3362 -3218 -3378 -2650 -3474 -3930 2690 3610 3202 3238 -3006 -2726 2682 4038 3094 -3806 3074 2718 3982 3350 -2942 -2654 4042 2782 -3918 3258 -2806 3918 -3998 -3238 4002 -3002 2734 -3710 2670 3178 -3958 3354 -2786 -4042 -3574 3942 3998 -2982 -3274 -2694 2906 -3990 -2650 3126 3858 3734 -3610 3326 3710 2726 3886 -3694 3830 -2726 2686 2982 -4018 3158 -3554 4034 -3146 -2658 -3898 -3530 3098 -4018 4042 3058 3882 3150 3258 3782 -3738 2758 -2662 -2694 2682 2906 -3422 -2654 -2694 -3562 3998 3318 4034 3278 -3790 2706 2726 2710 3186 3854 3810 -3534 -2650 3030 -3130 3202 3470 3298 3230 4018 3758 2730 -3154 -2946 -2986 -2930 2698 -2650 2658 -2906 3486 -3446 -3654 -2734 -3990 3698 2762 -3034 -3470 3962 3990 2910 -2690 2702 -3146 -2654 2710 4002 2686 -2758 3970 -3670 -3122 -3462 -2818 3982 -2742 -2726 -2842 2914 -4002 -3194 -4022 3866 3978 3146 -3474 -3166 2654 2926 -2910 -2718 3890 2754 -2786 3926 -3926 3510 2830 3766 -2762 2766 3786 3998 3946 2750 3278 -3938 3974 -2698 -2746 -3154 3930 -2990 -3734 3890 4010 -3738 2658 -2842 3730 -3590 -2686 3494 -2890 -2654 -3046 2690 -3958 3134 2742 -3534 -3058 -3526 3702 3894 -3674 -3570 -3618 2846 3442 3978 -3078 3822 3878 3206 -3346 3082 -2650 3918 -3998 -2650 4006 -3418 -4014 -4018 3918 3418 -2850 2758 3018 2750 -3478 3994 2850 -2750 3010 -2890 -3858 2702 3778 2810 -3330 -3902 3986 -2922 3122 -4002 -3870 3994 4030 -3650 -2718 3030 2694 -3070 3074 3338 -3366 -2650 -3470 -3906 -2650 2850 3890 4030 -3142 -2742 2694 3114 2926 -3914 4018 -4034 -2990 -2650 -4034 -3218 2830 4042 -2650 -3954 3442 2722 -2774 3470 -3386 2938 2866 2838 2650 -2658 3654 2706 3726 -2742 -3982 -3030 -3882 -3886 -3070 2898 -3518 -2650 3022 2786 -3530 2778 -3958 3326 3318 3838 3490 3866 -3846 -3490 -3470 -3742 2654 3934 2886 -2718 -2690 -2818 2858 4042 -3186 3990 -3926 3346 -3530 2754 -3442 -2678 -3326 -3426 3486 -2994 3554 -2958 -3894 3086 -2654 2806 -3898 -3858 3062 -3642 -3818 3730 3814 2758 3658 4022 4010 2814 2742 -2898 -3926 3046 3466 3726 -2666 -2690 -2790 -2746 3662 -2818 -2650 -3982 -4042 2666 3178 4018 3162 -3386 2650 -3958 3198 -3442 3910 -3574 3102 -4002 4042 4030 -3434 -3522 -2918 3758 3390 -3022 -3290 2710 3982 3978 3430 -2650 -3838 -2690 -3306 4014 2870 3482 2690 4022 -3630 -3910 -2866 2934 3738 3474 -3734 -3898 -2698 -4042 3670 -2874 3978 4006 -2866 -2766 4030 2650 3994 3454 3558 2762 3730 -2902 -3422 2942 -3842 -3326 -2690 3962 3994 2650 2810 -2802 -3914 -3878 -2718 -2878 3210 3726 -2690 -3234 3738 3302 3902 -3294 3846 4042 3698 3906 -3586 -3926 -3378 -3162 -2682 3822 -3870 -3842 3214 -3086 2670 -4034 3770 -3370 4034 3998 -2774 -3714 3954 3962 2706 3154 -2650 3986 -2966 3742 3602 -3410 -4006 4022 -3698 2730 -2714 -3286 3702 3026 -3606 4010 2850 -3822 3966 4002 -2658 2970 -3950 -2714 3158 -4022 -2990 -4002 -3738 4042 -3130 3954 -4034 3994 3590 -3526 -3642 4038 3990 3706 3998 -2814 2650 -3930 2650 2982 -4006 3874 -3998 -2806 3194 2650 -3910 -3922 -3926 -3654 -3414 -3082 3310 -3138 2954 3406 3086 4042 3430 3830 -2690 -3986 2722 -3906 4014 2818 -2726 3766 3822 -3738 3258 3966 -3842 -3582 -2818 3358 3122 -4042 -3194 2806 -3758 3474 2886 -3434 3466 3534 3958 -3358 3886 2658 -3426 2794 3670 3058 -3902 -2722 -2778 -3554 2698 -3226 -3906 3390 -3750 -3442 2670 3058 3998 3498 -2734 -3710 3786 -2874 3182 -3398 3494 -2754 3870 -4034 3886 -3926 -3870 3934 3342 3118 2934 3826 3646 -3254 -2726 -3702 -2990 -3926 -4022 3286 -2770 3526 3122 -3686 3010 3994 3726 -3978 4042 -4002 3310 2710 3998 -3350 -2750 2954 -3534 2974 4010 3698 3530 3730 3922 3602 -3898 2654 -3342 -3370 2690 2698 3822 3454 -3446 -3354 3858 3582 2690 -3042 3846 3666 3278 2910 2650 4042 2958 3806 -3086 2898 3266 2658 2870 3446 3482 -3078 2682 4018 3994 2982 -3986 3170 3346 -3574 -3518 -2942 3650 2694 2698 -2738 2702 -3994 3250 -2674 3922 2698 3778 2662 -3094 2922 -3998 3450 3710 -4026 3322 -3650 3578 3798 -3818 4034 -3074 3182 2950 -3474 -3818 2718 3190 -3898 -4042 2998 -3038 3974 3862 -3986 3522 -3886 3782 3410 -3182 -3154 -3470 -3358 -3594 2658 -2682 -3854 -3110 -2662 2658 3322 4014 4038 3182 -3570 -3402 -2674 3998 3542 -3962 3318 -2650 -2650 -3846 -3098 4034 4026 2674 -2962 -3130 -3074 3778 3458 3398 3602 3778 -2654 -2690 -3650 3654 -3114 -3922 -3922 -3654 2870 -3770 -3946 -3906 -3894 2654 -3918 -2698 3162 3882 4010 -3998 3450 3870 -2978 -3186 -3354 -3222 -3358 -4030 3298 3822 -2878 -2982 -3782 -2994 3446 4002 -2966 3310 3182 2650 -2658 -3314 -4014 -4006 -2894 2662 -3958 -3862 2866 -3990 -3642 4038 3606 3022 -3710 3990 3990 3914 3186 3254 3586 3670 2690 3630 -3190 2710 3978 3774 -2698 3222 3182 2946 4014 2734 3926 3222 -2770 -3758 -4002 -3894 -2650 4002 3118 -2758 3546 -2678 -4010 3378 2654 -3994 2758 -3254 -2722 -3778 3774 2706 3990 -3070 -4002 2818 -3486 -2650 -2722 2698 3094 -3926 3054 2982 3462 4038 -2670 3250 4042 4042 3414 -3858 -3842 2702 2946 3082 3514 3150 3646 -3418 -4022 2950 2654 -2742 -3206 2658 3950 -3206 -3310 -3842 3394 2682 3022 3178 -2714 -3950 -2782 -2694 -3874 -3426 -3918 -2778 -2690 -2910 -3490 -2690 -2658 2674 -2718 2810 2774 2666 3494 -3242 -4042 2786 3866 -3494 3994 3274 -3982 -3462 -4042 2750 3346 -3942 -3990 -3302 -3942 2658 -2706 2690 3650 -2730 2702 3886 2690 4034 -3970 -2690 3986 3934 2770 -2654 -3822 -3654 -3890 4030 -4042 2978 4034 -3866 -2814 2718 -3494 4030 -4018 3094 4002 2770 -3978 2690 2750 -2650 -3614 2674 -3306 2894 2714 2846 2654 -3018 3882 2758 2982 -3166 -3282 2790 3982 3910 3242 -4002 -3198 -2694 -3882 2746 -4034 -4038 -3754 3982 -4038 4038 -3474 -2838 -3994 3878 -2746 -2950 -3662 -3458 -3758 2866 3846 -2658 -3734 -2650 -3662 3542 3774 2658 -3098 -3502 3186 2818 2854 -3998 -4034 -3730 4026 -2814 2762 2806 -3302 3342 3278 3618 -3758 2758 -3042 3570 2730 -4030 2678 3222 2822 2802 -3974 -3982 -2834 2718 3062 -3262 -3974 2666 3970 -3626 4022 3238 3906 3986 3750 -3962 3238 -3914 3098 2658 2650 2650 -4018 -2686 -3074 3690 -3354 -4006 -2714 2814 -3714 2942 3970 -3966 -2938 3554 3970 3210 -2862 3446 -3178 3182 -2770 -3118 -3974 2830 -3918 -4038 -4042 -2786 -3342 -3398 -2714 3674 3170 -3694 -3386 -2878 -3002 2650 -3858 -2850 -4034 -3610 3342 -4014 -3862 4038 3430 3358 2734 -2834 -3930 -3166 3470 3578 2770 -3294 -2662 2654 3046 -2846 2694 2674 -3262 -3642 -3134 4038 3978 2654 3990 3926 -3342 3914 2650 -4002 -2698 -3614 3234 -3914 -2734 3306 2654 -2678 -4006 -3494 3366 -2690 3686 -3406 2842 -2658 -2946 -3974 3474 3850 2806 -2650 4002 -4038 2886 3858 -4002 -2950 3298 -4034 -3730 -3302 -3378 -2690 -3226 -2662 2706 3338 -2722 -2678 4026 4042 -2782 -3266 -2894 3246 2950 -3942 -2738 3962 -2686 3894 -3402 -3166 2746 -2790 -2650 4030 3866 -3922 4002 -4042 -2666 -3166 3382 -3514 3886 -3550 2650 -3470 3178 -3374 3898 -3982 -3006 4034 2654 -2982 -3282 4038 -3898 3490 -3658 -2926 3422 3966 -2954 3246 3134 -3830 3926 3198 -2950 2698 2702 -3850 -3730 -2674 3846 3358 3702 3338 2658 3402 3962 -3998 3590 -3810 2782 -2746 -4002 -4042 -3574 -3446 3942 3122 -2782 -2670 -3982 -3726 3146 2978 -3990 3330 -4042 3546 -3998 -3190 2910 3694 -3122 -2698 3582 3474 3430 4030 -3286 -3882 3970 2958 3750 -3114 3134 4034 3962 -3686 -3014 -3698 -3438 3318 -3910 -3106 3886 3702 3774 -2650 -2950 4038 3674 4038 -2662 3158 3866 3254 2718 3922 -3998 -2658 -2830 -3814 -3034 3170 -3322 -2942 3006 3362 -3118 -3914 -3214 3486 -2690 -3642 2854 -2826 3930 3302 -3938 -2882 2758 2786 3074 -3174 2754 -2830 -3914 2726 3486 -2650 3930 -2666 -3762 4038 -3374 -3126 3398 -2942 -3474 -3834 -3238 -4038 -2658 3222 3402 2690 4010 3878 3998 -3426 -2658 3302 -3438 -3894 -3958 4038 -3886 -3890 -3710 -3438 3442 -3454 3950 2778 -3126 -2658 2890 3502 -3358 2942 -3282 -2734 -4022 -3722 3094 -3418 -2734 3722 3398 3178 -3414 -3850 -2698 -3954 -3026 -4010 4026 2798 -3042 3562 2718 3286 -3302 -3870 3414 3562 -3002 -3534 3082 3990 4014 -4042 -3878 -4042 3406 -2886 2650 3434 -3254 -3922 3954 -3470 -3238 3954 -2782 3458 2702 -3886 -2686 -3982 -3690 2694 3982 2854 3530 3358 -3958 -4002 3926 -3998 -3382 2934 3102 3422 -3990 -4034 4038 -3726 -3058 -2722 -4026 3630 3898 -3966 -4026 -3434 -4042 3430 3094 -2658 3394 2774 -2678 -4002 3370 4022 3606 3422 3570 -3958 -3522 3650 -2910 2678 2778 -3882 3506 -3950 -4030 3298 3126 3262 -3950 -3354

Verifier Data (download as text)

8286 unsatisfied constraints, 53846 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/node15/watcher-275630-1169224216 -o ROOT/results/node15/solver-275630-1169224216 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275630-1169224216/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.20 2.03 2.01 4/93 6766
/proc/meminfo: memFree=1276392/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=906644 CPUtime=0.03
/proc/6765/stat : 6765 (java) S 6763 6765 6239 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 270816489 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 226661 1818 1036 14 0 214244 0
[pid=6765/tid=6767] ppid=6763 vsize=906644 CPUtime=0
/proc/6765/task/6767/stat : 6767 (java) R 6763 6765 6239 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 270816493 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103311 s]
/proc/loadavg: 2.20 2.03 2.01 4/93 6766
/proc/meminfo: memFree=1276392/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=914988 CPUtime=0.09
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 3018 0 1 0 7 2 0 0 20 0 8 0 270816489 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7975431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228747 2764 1435 14 0 215242 0
[pid=6765/tid=6767] ppid=6763 vsize=914988 CPUtime=0
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270816493 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514382 s]
/proc/loadavg: 2.20 2.03 2.01 4/93 6766
/proc/meminfo: memFree=1276392/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915332 CPUtime=0.49
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 7923 0 1 0 45 4 0 0 18 0 8 0 270816489 937299968 7662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228833 7662 2143 14 0 215303 0
[pid=6765/tid=6767] ppid=6763 vsize=915332 CPUtime=0
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270816493 937299968 7662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34353 s]
/proc/loadavg: 2.26 2.05 2.01 4/100 6773
/proc/meminfo: memFree=1184368/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915604 CPUtime=1.32
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 28868 0 1 0 118 14 0 0 24 0 8 0 270816489 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073548340 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228901 28605 2164 14 0 215371 0
[pid=6765/tid=6767] ppid=6763 vsize=915604 CPUtime=0.11
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 12308 0 0 0 7 4 0 0 16 0 8 0 270816493 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270816493 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915604 CPUtime=0.17
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 405 0 0 0 17 0 0 0 15 0 8 0 270816496 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937578496 28605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915604

[startup+2.98081 s]
/proc/loadavg: 2.26 2.05 2.01 3/100 6773
/proc/meminfo: memFree=1160880/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915604 CPUtime=2.94
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 32149 0 1 0 277 17 0 0 25 0 8 0 270816489 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228901 31879 2164 14 0 215371 0
[pid=6765/tid=6767] ppid=6763 vsize=915604 CPUtime=0.29
/proc/6765/task/6767/stat : 6767 (java) R 6763 6765 6239 0 -1 64 15581 0 0 0 23 6 0 0 16 0 8 0 270816493 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270816493 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915604 CPUtime=0.17
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 406 0 0 0 17 0 0 0 16 0 8 0 270816496 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915604 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937578496 31879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915604

[startup+6.27737 s]
/proc/loadavg: 2.24 2.05 2.01 3/100 6773
/proc/meminfo: memFree=1153584/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=6.2
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 33063 0 1 0 603 17 0 0 25 0 8 0 270816489 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 32791 2184 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=0.36
/proc/6765/task/6767/stat : 6767 (java) R 6763 6765 6239 0 -1 64 16421 0 0 0 30 6 0 0 16 0 8 0 270816493 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270816493 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.19
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 416 0 0 0 19 0 0 0 16 0 8 0 270816496 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 32791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915744

[startup+12.7535 s]
/proc/loadavg: 2.22 2.05 2.01 3/100 6773
/proc/meminfo: memFree=1153520/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=12.61
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 33066 0 1 0 1244 17 0 0 25 0 8 0 270816489 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 32793 2184 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=0.36
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 16421 0 0 0 30 6 0 0 16 0 8 0 270816493 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270816493 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.2
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 418 0 0 0 20 0 0 0 16 0 8 0 270816496 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 32793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915744

[startup+25.6077 s]
/proc/loadavg: 2.19 2.05 2.01 3/100 6773
/proc/meminfo: memFree=1153648/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=25.35
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 33077 0 1 0 2517 18 0 0 25 0 8 0 270816489 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 32804 2185 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=0.36
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 16421 0 0 0 30 6 0 0 16 0 8 0 270816493 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270816493 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.21
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 428 0 0 0 21 0 0 0 16 0 8 0 270816496 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 32804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915744

[startup+51.2201 s]
/proc/loadavg: 2.19 2.06 2.02 4/100 6773
/proc/meminfo: memFree=1147760/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=50.72
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 34541 0 1 0 5052 20 0 0 25 0 8 0 270816489 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 34266 2185 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=0.43
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 17882 0 0 0 37 6 0 0 16 0 8 0 270816493 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270816493 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.23
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 429 0 0 0 22 1 0 0 16 0 8 0 270816496 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 34266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915744

[startup+102.462 s]
/proc/loadavg: 2.12 2.06 2.02 3/100 6773
/proc/meminfo: memFree=1093616/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=101.48
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48512 0 1 0 10119 29 0 0 25 0 8 0 270816489 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48089 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.29
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 464 0 0 0 28 1 0 0 16 0 8 0 270816496 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915744

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

Current children cumulated CPU time (s) 2005.37
Current children cumulated vsize (KiB) 915744

[startup+2084.35 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 7031
/proc/meminfo: memFree=1217896/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=2064.81
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48527 0 1 0 206405 76 0 0 25 0 8 0 270816489 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48102 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.32
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 477 0 0 0 31 1 0 0 16 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2064.81
Current children cumulated vsize (KiB) 915744

[startup+2144.35 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 7031
/proc/meminfo: memFree=1217896/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=2124.26
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48527 0 1 0 212349 77 0 0 25 0 8 0 270816489 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48102 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.32
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 477 0 0 0 31 1 0 0 16 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2124.26
Current children cumulated vsize (KiB) 915744

[startup+2204.45 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 7031
/proc/meminfo: memFree=1217896/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=2183.81
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48527 0 1 0 218303 78 0 0 25 0 8 0 270816489 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48102 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.32
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 477 0 0 0 31 1 0 0 16 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2183.81
Current children cumulated vsize (KiB) 915744

[startup+2264.54 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 7031
/proc/meminfo: memFree=1217904/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=2243.35
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48527 0 1 0 224256 79 0 0 25 0 8 0 270816489 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48102 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.32
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 477 0 0 0 31 1 0 0 16 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2243.35
Current children cumulated vsize (KiB) 915744

[startup+2324.55 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 7031
/proc/meminfo: memFree=1217904/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=2302.8
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48527 0 1 0 230200 80 0 0 25 0 8 0 270816489 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48102 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.32
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 477 0 0 0 31 1 0 0 16 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2302.8
Current children cumulated vsize (KiB) 915744

[startup+2384.65 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 7031
/proc/meminfo: memFree=1217904/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=2362.35
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48527 0 1 0 236154 81 0 0 25 0 8 0 270816489 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48102 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.32
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 477 0 0 0 31 1 0 0 16 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2362.35
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2422.72 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 7031
/proc/meminfo: memFree=1217904/2055920 swapFree=4173628/4192956
[pid=6765] ppid=6763 vsize=915744 CPUtime=2400.08
/proc/6765/stat : 6765 (java) R 6763 6765 6239 0 -1 0 48527 0 1 0 239926 82 0 0 25 0 8 0 270816489 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6765/statm: 228936 48102 2504 14 0 215406 0
[pid=6765/tid=6767] ppid=6763 vsize=915744 CPUtime=1.67
/proc/6765/task/6767/stat : 6767 (java) S 6763 6765 6239 0 -1 64 31464 0 0 0 155 12 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6768] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6768/stat : 6768 (java) S 6763 6765 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6769] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6769/stat : 6769 (java) S 6763 6765 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270816493 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6770] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6770/stat : 6770 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6771] ppid=6763 vsize=915744 CPUtime=0.32
/proc/6765/task/6771/stat : 6771 (java) S 6763 6765 6239 0 -1 64 477 0 0 0 31 1 0 0 16 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6772] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6772/stat : 6772 (java) S 6763 6765 6239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6765/tid=6773] ppid=6763 vsize=915744 CPUtime=0
/proc/6765/task/6773/stat : 6773 (java) S 6763 6765 6239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270816496 937721856 48102 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2422.82
CPU time (s): 2400.17
CPU user time (s): 2399.32
CPU system time (s): 0.85387
CPU usage (%): 99.0652
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.32
system time used= 0.85387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48551
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= 50395
involuntary context switches= 149513

runsolver used 3.07853 s user time and 7.82381 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Fri Jan 19 16:30:16 UTC 2007


IDJOB= 275630
IDBENCH= 4175
IDSOLVER= 68
FILE ID= node15/275630-1169224216

PBS_JOBID= 3588946

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e17ec046c3a7997040f3d055b0024c8a

RANDOM SEED= 884038020

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.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1276872 kB
Buffers:         49972 kB
Cached:         444572 kB
SwapCached:       5936 kB
Active:         351892 kB
Inactive:       352940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1276872 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:           10248 kB
Writeback:           0 kB
Mapped:         229924 kB
Slab:            58356 kB
Committed_AS:  8853008 kB
PageTables:       2780 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB



End job on node15 on Fri Jan 19 17:10:39 UTC 2007