Trace number 275628

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.15 2413.89

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-1.xml
MD5SUMd9a5d0f42873de31e4aba17b1bc51fb2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints54208
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275628-1169224173/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.88	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.88	       =>  wckTime=0.567  cpuTime=0.39  mem=44M623
0.88	   
0.88	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
61.47	   
61.47	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 108M56)
65.43	     nbConstraints=62132  nbConvertedConstraints=513  nbConvertConstraintsChecks=186612236  nbExtensionStructures=475
65.43	     nbSharedExtensionStructures=38  nbConflictsStructures=475  nbSharedConflictsStructures=38
65.43	     nbSharedBinaryRepresentations=528347  nbEvaluationManagers=15505  nbSharedEvaluationManagers=46114  maxDegree=105
65.43	     maxArity=2
65.43	       =>  wckTime=65.123  cpuTime=63.08  mem=120M558
65.92	   
65.92	   solver LocalSearchSolver being built... 
65.96	       =>  wckTime=65.648  cpuTime=63.14  mem=123M267
67.00	
67.00	s SATISFIABLE
67.00	o 45878
67.00	c 16254
67.57	o 45895
67.58	c 16237
68.22	o 45910
68.22	c 16222
68.61	o 45930
68.61	c 16202
69.03	o 45945
69.03	c 16187
69.37	o 45957
69.37	c 16175
69.64	o 45964
69.64	c 16168
70.02	o 45977
70.02	c 16155
70.31	o 45992
70.31	c 16140
70.54	o 46007
70.54	c 16125
70.86	o 46018
70.86	c 16114
71.10	o 46030
71.10	c 16102
71.26	o 46037
71.26	c 16095
71.50	o 46040
71.50	c 16092
71.93	o 46044
71.93	c 16088
72.16	o 46056
72.16	c 16076
72.38	o 46072
72.38	c 16060
72.60	o 46081
72.60	c 16051
72.83	o 46087
72.83	c 16045
72.98	o 46090
72.98	c 16042
73.16	o 46093
73.16	c 16039
73.39	o 46105
73.39	c 16027
73.59	o 46113
73.59	c 16019
73.79	o 46119
73.79	c 16013
73.99	o 46124
73.99	c 16008
74.18	o 46128
74.18	c 16004
74.34	o 46131
74.34	c 16001
74.56	o 46133
74.56	c 15999
74.76	o 46146
74.76	c 15986
74.89	o 46151
74.89	c 15981
75.10	o 46172
75.10	c 15960
75.26	o 46173
75.26	c 15959
75.48	o 46179
75.48	c 15953
75.83	o 46192
75.83	c 15940
76.05	o 46195
76.05	c 15937
76.24	o 46207
76.24	c 15925
76.47	o 46216
76.47	c 15916
76.58	o 46227
76.58	c 15905
76.79	o 46231
76.79	c 15901
77.06	o 46238
77.06	c 15894
77.18	o 46240
77.18	c 15892
77.54	o 46242
77.54	c 15890
77.82	o 46245
77.82	c 15887
78.00	o 46250
78.00	c 15882
78.26	o 46260
78.26	c 15872
78.49	o 46267
78.49	c 15865
78.80	o 46269
78.80	c 15863
79.24	o 46274
79.24	c 15858
79.39	o 46291
79.39	c 15841
79.59	o 46300
79.59	c 15832
79.69	o 46309
79.69	c 15823
79.85	o 46312
79.85	c 15820
79.99	o 46317
79.99	c 15815
80.22	o 46322
80.22	c 15810
80.41	o 46326
80.41	c 15806
80.85	o 46334
80.85	c 15798
80.97	o 46336
80.97	c 15796
81.45	o 46339
81.45	c 15793
81.78	o 46351
81.78	c 15781
81.90	o 46354
81.90	c 15778
82.06	o 46360
82.06	c 15772
82.24	o 46368
82.24	c 15764
82.53	o 46371
82.53	c 15761
82.92	o 46375
82.92	c 15757
83.04	o 46381
83.04	c 15751
83.21	o 46393
83.21	c 15739
83.41	o 46400
83.41	c 15732
83.57	o 46407
83.57	c 15725
83.73	o 46412
83.73	c 15720
84.09	o 46417
84.09	c 15715
84.34	o 46419
84.34	c 15713
84.60	o 46421
84.60	c 15711
84.84	o 46428
84.84	c 15704
85.04	o 46430
85.04	c 15702
85.26	o 46440
85.26	c 15692
85.50	o 46444
85.50	c 15688
85.72	o 46445
85.72	c 15687
86.05	o 46454
86.05	c 15678
86.41	o 46463
86.41	c 15669
86.71	o 46467
86.71	c 15665
86.98	o 46475
86.98	c 15657
87.25	o 46476
87.25	c 15656
87.50	o 46489
87.50	c 15643
88.01	o 46490
88.01	c 15642
88.35	o 46492
88.35	c 15640
88.62	o 46495
88.62	c 15637
88.90	o 46503
88.90	c 15629
89.21	o 46509
89.21	c 15623
89.45	o 46511
89.45	c 15621
89.88	o 46517
89.88	c 15615
90.12	o 46521
90.12	c 15611
90.46	o 46526
90.46	c 15606
90.65	o 46531
90.65	c 15601
90.86	o 46540
90.86	c 15592
91.04	o 46542
91.04	c 15590
91.24	o 46546
91.24	c 15586
91.47	o 46548
91.47	c 15584
91.66	o 46550
91.66	c 15582
91.85	o 46559
91.85	c 15573
92.04	o 46569
92.04	c 15563
92.31	o 46581
92.31	c 15551
92.49	o 46589
92.49	c 15543
92.71	o 46590
92.71	c 15542
92.95	o 46593
92.95	c 15539
93.19	o 46596
93.19	c 15536
93.40	o 46597
93.40	c 15535
93.95	o 46616
93.95	c 15516
94.20	o 46619
94.20	c 15513
94.42	o 46626
94.42	c 15506
94.69	o 46631
94.69	c 15501
95.02	o 46639
95.02	c 15493
95.37	o 46644
95.37	c 15488
95.69	o 46650
95.69	c 15482
96.03	o 46656
96.03	c 15476
96.34	o 46659
96.34	c 15473
97.01	o 46662
97.01	c 15470
97.39	o 46670
97.39	c 15462
97.76	o 46683
97.76	c 15449
98.30	o 46685
98.30	c 15447
98.61	o 46692
98.61	c 15440
99.24	o 46699
99.24	c 15433
99.55	o 46705
99.55	c 15427
99.82	o 46712
99.82	c 15420
100.10	o 46719
100.10	c 15413
100.41	o 46720
100.41	c 15412
100.75	o 46727
100.75	c 15405
101.04	o 46731
101.04	c 15401
101.30	o 46732
101.30	c 15400
101.59	o 46742
101.59	c 15390
101.92	o 46749
101.92	c 15383
102.23	o 46762
102.23	c 15370
102.52	o 46771
102.52	c 15361
102.80	o 46782
102.80	c 15350
103.11	o 46786
103.11	c 15346
104.01	o 46792
104.01	c 15340
104.61	o 46805
104.61	c 15327
104.84	o 46813
104.84	c 15319
105.50	o 46817
105.50	c 15315
105.88	o 46819
105.88	c 15313
106.24	o 46834
106.24	c 15298
106.57	o 46840
106.57	c 15292
106.85	o 46847
106.85	c 15285
107.25	o 46851
107.25	c 15281
107.87	o 46857
107.87	c 15275
108.21	o 46859
108.21	c 15273
108.65	o 46865
108.65	c 15267
109.04	o 46869
109.04	c 15263
109.37	o 46871
109.37	c 15261
109.71	o 46872
109.71	c 15260
110.40	o 46877
110.40	c 15255
110.77	o 46889
110.77	c 15243
111.13	o 46897
111.13	c 15235
111.85	o 46900
111.85	c 15232
112.21	o 46903
112.21	c 15229
112.89	o 46904
112.89	c 15228
113.97	o 46907
113.97	c 15225
114.30	o 46912
114.30	c 15220
114.69	o 46919
114.69	c 15213
115.79	o 46929
115.79	c 15203
116.16	o 46938
116.16	c 15194
116.40	o 46942
116.40	c 15190
116.77	o 46947
116.77	c 15185
117.08	o 46950
117.08	c 15182
117.41	o 46959
117.41	c 15173
117.82	o 46964
117.82	c 15168
118.21	o 46965
118.21	c 15167
118.64	o 46968
118.64	c 15164
119.09	o 46978
119.09	c 15154
119.54	o 46989
119.54	c 15143
120.04	o 46991
120.04	c 15141
120.43	o 47000
120.43	c 15132
120.86	o 47007
120.86	c 15125
121.29	o 47013
121.29	c 15119
121.69	o 47020
121.69	c 15112
122.19	o 47025
122.19	c 15107
122.66	o 47029
122.66	c 15103
123.08	o 47034
123.08	c 15098
123.46	o 47039
123.46	c 15093
124.01	o 47047
124.01	c 15085
124.45	o 47051
124.45	c 15081
124.87	o 47054
124.87	c 15078
125.34	o 47063
125.34	c 15069
127.49	o 47066
127.49	c 15066
127.95	o 47070
127.95	c 15062
128.89	o 47078
128.89	c 15054
129.35	o 47091
129.35	c 15041
129.84	o 47104
129.84	c 15028
130.39	o 47106
130.39	c 15026
130.76	o 47115
130.76	c 15017
131.16	o 47119
131.16	c 15013
131.59	o 47120
131.59	c 15012
132.08	o 47123
132.08	c 15009
132.99	o 47130
132.99	c 15002
133.50	o 47140
133.50	c 14992
134.01	o 47148
134.01	c 14984
134.58	o 47154
134.58	c 14978
135.11	o 47157
135.11	c 14975
135.60	o 47159
135.60	c 14973
136.09	o 47165
136.09	c 14967
136.65	o 47172
136.65	c 14960
137.23	o 47182
137.23	c 14950
137.73	o 47183
137.73	c 14949
138.82	o 47186
138.82	c 14946
139.33	o 47190
139.33	c 14942
139.82	o 47197
139.82	c 14935
140.32	o 47211
140.32	c 14921
140.86	o 47215
140.86	c 14917
141.39	o 47217
141.39	c 14915
141.90	o 47227
141.90	c 14905
142.35	o 47237
142.35	c 14895
142.90	o 47240
142.90	c 14892
143.43	o 47250
143.43	c 14882
144.02	o 47254
144.02	c 14878
145.67	o 47256
145.67	c 14876
146.64	o 47266
146.64	c 14866
147.19	o 47273
147.19	c 14859
147.66	o 47274
147.66	c 14858
148.77	o 47278
148.77	c 14854
149.85	o 47285
149.85	c 14847
150.38	o 47296
150.38	c 14836
150.86	o 47297
150.86	c 14835
151.43	o 47307
151.43	c 14825
151.95	o 47313
151.95	c 14819
152.54	o 47314
152.54	c 14818
153.07	o 47332
153.07	c 14800
153.64	o 47341
153.64	c 14791
154.14	o 47343
154.14	c 14789
154.67	o 47346
154.67	c 14786
155.16	o 47356
155.16	c 14776
155.74	o 47360
155.74	c 14772
156.30	o 47371
156.30	c 14761
156.81	o 47380
156.81	c 14752
157.37	o 47389
157.37	c 14743
157.88	o 47397
157.88	c 14735
158.40	o 47404
158.40	c 14728
158.94	o 47411
158.94	c 14721
159.50	o 47422
159.50	c 14710
159.99	o 47428
159.99	c 14704
160.51	o 47433
160.51	c 14699
161.12	o 47438
161.12	c 14694
161.67	o 47443
161.68	c 14689
162.24	o 47447
162.24	c 14685
162.69	o 47449
162.69	c 14683
163.15	o 47460
163.15	c 14672
163.59	o 47461
163.59	c 14671
164.08	o 47462
164.08	c 14670
165.03	o 47467
165.03	c 14665
165.50	o 47469
165.50	c 14663
166.64	o 47472
166.64	c 14660
168.19	o 47473
168.19	c 14659
168.66	o 47477
168.66	c 14655
169.14	o 47489
169.14	c 14643
169.67	o 47494
169.67	c 14638
170.20	o 47503
170.20	c 14629
170.79	o 47511
170.79	c 14621
171.32	o 47512
171.32	c 14620
171.85	o 47525
171.85	c 14607
172.44	o 47533
172.44	c 14599
173.04	o 47534
173.04	c 14598
173.78	o 47537
173.78	c 14595
174.32	o 47547
174.32	c 14585
174.85	o 47557
174.85	c 14575
175.40	o 47559
175.40	c 14573
177.12	o 47562
177.12	c 14570
177.65	o 47570
177.65	c 14562
178.29	o 47577
178.29	c 14555
178.88	o 47579
178.88	c 14553
179.48	o 47581
179.48	c 14551
180.91	o 47590
180.91	c 14542
181.60	o 47595
181.60	c 14537
183.06	o 47604
183.06	c 14528
183.79	o 47606
183.79	c 14526
184.58	o 47614
184.58	c 14518
185.31	o 47622
185.31	c 14510
186.08	o 47630
186.08	c 14502
186.83	o 47636
186.83	c 14496
187.65	o 47642
187.65	c 14490
188.42	o 47648
188.42	c 14484
189.21	o 47653
189.21	c 14479
189.98	o 47658
189.98	c 14474
190.70	o 47669
190.70	c 14463
192.19	o 47673
192.19	c 14459
192.98	o 47678
192.98	c 14454
193.71	o 47686
193.71	c 14446
194.47	o 47689
194.47	c 14443
195.20	o 47692
195.20	c 14440
195.94	o 47698
195.94	c 14434
197.39	o 47699
197.39	c 14433
198.11	o 47705
198.11	c 14427
198.78	o 47708
198.78	c 14424
199.50	o 47721
199.50	c 14411
202.84	o 47723
202.84	c 14409
203.55	o 47725
203.55	c 14407
204.23	o 47727
204.23	c 14405
204.94	o 47729
204.94	c 14403
205.62	o 47730
205.62	c 14402
206.30	o 47738
206.30	c 14394
207.06	o 47739
207.06	c 14393
207.71	o 47744
207.71	c 14388
208.35	o 47754
208.35	c 14378
209.02	o 47759
209.02	c 14373
209.61	o 47769
209.61	c 14363
210.18	o 47776
210.18	c 14356
210.78	o 47778
210.78	c 14354
211.34	o 47782
211.34	c 14350
212.01	o 47790
212.01	c 14342
212.59	o 47793
212.59	c 14339
213.14	o 47796
213.14	c 14336
213.72	o 47798
213.72	c 14334
214.34	o 47805
214.34	c 14327
214.92	o 47807
214.92	c 14325
215.51	o 47808
215.51	c 14324
216.10	o 47809
216.10	c 14323
216.69	o 47813
216.69	c 14319
217.91	o 47820
217.91	c 14312
218.55	o 47828
218.55	c 14304
219.17	o 47830
219.17	c 14302
219.82	o 47837
219.82	c 14295
220.42	o 47845
220.42	c 14287
221.03	o 47857
221.03	c 14275
222.20	o 47869
222.20	c 14263
222.77	o 47871
222.77	c 14261
223.33	o 47879
223.33	c 14253
223.98	o 47886
223.98	c 14246
224.55	o 47896
224.55	c 14236
225.08	o 47907
225.08	c 14225
225.61	o 47913
225.61	c 14219
226.70	o 47922
226.70	c 14210
227.16	o 47934
227.16	c 14198
227.70	o 47937
227.70	c 14195
228.25	o 47939
228.25	c 14193
228.83	o 47945
228.84	c 14187
229.40	o 47950
229.40	c 14182
229.92	o 47959
229.92	c 14173
230.47	o 47965
230.47	c 14167
230.98	o 47969
230.98	c 14163
231.66	o 47976
231.66	c 14156
232.28	o 47977
232.28	c 14155
232.89	o 47989
232.89	c 14143
233.58	o 47995
233.58	c 14137
234.27	o 48001
234.27	c 14131
234.91	o 48007
234.91	c 14125
235.62	o 48012
235.62	c 14120
236.29	o 48016
236.29	c 14116
236.98	o 48020
236.98	c 14112
237.62	o 48024
237.62	c 14108
238.28	o 48035
238.28	c 14097
238.97	o 48038
238.97	c 14094
239.62	o 48041
239.62	c 14091
240.26	o 48043
240.26	c 14089
240.96	o 48045
240.96	c 14087
241.62	o 48047
241.62	c 14085
242.31	o 48053
242.31	c 14079
242.93	o 48055
242.93	c 14077
243.59	o 48056
243.59	c 14076
244.20	o 48057
244.20	c 14075
244.95	o 48061
244.95	c 14071
246.45	o 48068
246.45	c 14064
247.12	o 48077
247.12	c 14055
247.82	o 48080
247.82	c 14052
248.57	o 48088
248.57	c 14044
249.26	o 48093
249.26	c 14039
249.94	o 48097
249.94	c 14035
250.59	o 48102
250.59	c 14030
251.86	o 48110
251.87	c 14022
252.54	o 48119
252.54	c 14013
253.86	o 48126
253.86	c 14006
254.48	o 48132
254.48	c 14000
255.14	o 48133
255.14	c 13999
255.73	o 48145
255.73	c 13987
256.50	o 48146
256.50	c 13986
257.77	o 48147
257.77	c 13985
258.46	o 48150
258.46	c 13982
259.08	o 48153
259.08	c 13979
260.42	o 48154
260.42	c 13978
261.16	o 48156
261.16	c 13976
261.78	o 48165
261.78	c 13967
262.51	o 48168
262.51	c 13964
263.22	o 48175
263.22	c 13957
263.84	o 48177
263.84	c 13955
264.61	o 48179
264.61	c 13953
266.02	o 48188
266.02	c 13944
266.75	o 48197
266.75	c 13935
267.44	o 48205
267.44	c 13927
268.08	o 48213
268.08	c 13919
268.80	o 48220
268.80	c 13912
269.49	o 48228
269.49	c 13904
271.70	o 48231
271.70	c 13901
272.53	o 48235
272.53	c 13897
273.30	o 48240
273.30	c 13892
274.70	o 48241
274.70	c 13891
275.42	o 48242
275.42	c 13890
276.08	o 48245
276.08	c 13887
276.84	o 48249
276.84	c 13883
277.55	o 48258
277.55	c 13874
278.19	o 48264
278.19	c 13868
278.90	o 48272
278.90	c 13860
279.54	o 48283
279.54	c 13849
280.21	o 48291
280.21	c 13841
280.89	o 48294
280.89	c 13838
281.55	o 48301
281.55	c 13831
282.16	o 48302
282.16	c 13830
282.75	o 48309
282.75	c 13823
283.45	o 48311
283.45	c 13821
284.12	o 48317
284.12	c 13815
284.77	o 48327
284.77	c 13805
285.37	o 48333
285.37	c 13799
285.97	o 48340
285.97	c 13792
286.61	o 48343
286.61	c 13789
287.22	o 48351
287.22	c 13781
287.75	o 48352
287.75	c 13780
288.29	o 48356
288.29	c 13776
288.86	o 48362
288.86	c 13770
289.50	o 48373
289.50	c 13759
290.67	o 48385
290.67	c 13747
291.35	o 48393
291.35	c 13739
292.04	o 48399
292.04	c 13733
292.68	o 48405
292.68	c 13727
293.32	o 48410
293.32	c 13722
293.99	o 48420
293.99	c 13712
294.60	o 48425
294.60	c 13707
295.24	o 48430
295.24	c 13702
295.91	o 48435
295.91	c 13697
296.52	o 48440
296.52	c 13692
297.17	o 48444
297.17	c 13688
297.86	o 48449
297.86	c 13683
298.47	o 48453
298.47	c 13679
299.11	o 48457
299.11	c 13675
299.72	o 48460
299.72	c 13672
300.39	o 48463
300.39	c 13669
301.09	o 48466
301.09	c 13666
301.68	o 48468
301.68	c 13664
302.29	o 48471
302.29	c 13661
302.94	o 48474
302.94	c 13658
303.52	o 48479
303.52	c 13653
304.12	o 48482
304.12	c 13650
304.77	o 48485
304.77	c 13647
305.42	o 48488
305.42	c 13644
306.02	o 48490
306.02	c 13642
306.67	o 48492
306.67	c 13640
307.34	o 48493
307.34	c 13639
310.71	o 48494
310.71	c 13638
311.42	o 48501
311.42	c 13631
312.14	o 48509
312.14	c 13623
312.85	o 48510
312.85	c 13622
313.77	o 48511
313.77	c 13621
314.48	o 48519
314.48	c 13613
315.36	o 48525
315.36	c 13607
316.99	o 48526
316.99	c 13606
317.75	o 48528
317.75	c 13604
318.50	o 48530
318.50	c 13602
320.17	o 48535
320.17	c 13597
321.01	o 48542
321.01	c 13590
321.84	o 48549
321.84	c 13583
322.63	o 48551
322.63	c 13581
323.41	o 48552
323.41	c 13580
324.20	o 48558
324.20	c 13574
324.99	o 48563
324.99	c 13569
325.79	o 48564
325.79	c 13568
326.48	o 48565
326.48	c 13567
327.34	o 48571
327.34	c 13561
328.15	o 48578
328.15	c 13554
328.92	o 48584
328.92	c 13548
329.68	o 48587
329.68	c 13545
331.14	o 48592
331.14	c 13540
331.84	o 48602
331.84	c 13530
332.54	o 48606
332.54	c 13526
333.30	o 48609
333.30	c 13523
334.06	o 48611
334.06	c 13521
334.83	o 48612
334.83	c 13520
335.68	o 48614
335.68	c 13518
338.97	o 48615
338.97	c 13517
339.78	o 48617
339.78	c 13515
340.66	o 48622
340.66	c 13510
341.50	o 48631
341.50	c 13501
342.44	o 48635
342.44	c 13497
343.37	o 48640
343.37	c 13492
344.32	o 48648
344.32	c 13484
345.20	o 48652
345.20	c 13480
346.10	o 48655
346.10	c 13477
347.05	o 48658
347.05	c 13474
347.95	o 48661
347.95	c 13471
348.87	o 48666
348.87	c 13466
349.80	o 48669
349.80	c 13463
350.74	o 48671
350.74	c 13461
351.64	o 48678
351.64	c 13454
352.53	o 48680
352.53	c 13452
353.46	o 48682
353.46	c 13450
354.39	o 48684
354.39	c 13448
355.28	o 48685
355.28	c 13447
356.26	o 48691
356.26	c 13441
358.07	o 48692
358.07	c 13440
362.63	o 48696
362.64	c 13436
363.60	o 48699
363.60	c 13433
364.44	o 48702
364.44	c 13430
365.30	o 48704
365.30	c 13428
367.08	o 48710
367.08	c 13422
367.92	o 48716
367.92	c 13416
369.54	o 48717
369.54	c 13415
370.44	o 48724
370.44	c 13408
371.23	o 48733
371.23	c 13399
372.07	o 48743
372.07	c 13389
372.89	o 48755
372.89	c 13377
373.61	o 48760
373.61	c 13372
375.11	o 48766
375.11	c 13366
375.83	o 48777
375.83	c 13355
376.56	o 48778
376.56	c 13354
377.79	o 48781
377.79	c 13351
378.39	o 48783
378.39	c 13349
379.02	o 48785
379.02	c 13347
379.68	o 48788
379.68	c 13344
380.28	o 48789
380.28	c 13343
380.93	o 48798
380.93	c 13334
381.59	o 48807
381.59	c 13325
383.61	o 48808
383.61	c 13324
384.84	o 48811
384.84	c 13321
385.41	o 48814
385.41	c 13318
386.57	o 48816
386.57	c 13316
387.19	o 48819
387.19	c 13313
387.80	o 48825
387.80	c 13307
388.46	o 48836
388.46	c 13296
389.08	o 48843
389.08	c 13289
389.71	o 48846
389.71	c 13286
390.28	o 48848
390.28	c 13284
390.85	o 48853
390.85	c 13279
392.03	o 48857
392.03	c 13275
392.60	o 48859
392.60	c 13273
393.24	o 48864
393.24	c 13268
393.87	o 48868
393.87	c 13264
394.49	o 48876
394.49	c 13256
395.23	o 48877
395.23	c 13255
395.96	o 48884
395.96	c 13248
396.63	o 48889
396.63	c 13243
397.33	o 48892
397.33	c 13240
398.03	o 48897
398.03	c 13235
398.74	o 48902
398.74	c 13230
399.45	o 48907
399.45	c 13225
400.15	o 48911
400.15	c 13221
400.81	o 48916
400.81	c 13216
401.51	o 48925
401.51	c 13207
402.97	o 48931
402.97	c 13201
403.60	o 48935
403.60	c 13197
404.35	o 48941
404.35	c 13191
404.96	o 48953
404.96	c 13179
405.67	o 48956
405.67	c 13176
406.32	o 48963
406.32	c 13169
409.19	o 48966
409.19	c 13166
409.97	o 48969
409.97	c 13163
411.58	o 48978
411.58	c 13154
412.37	o 48981
412.37	c 13151
413.18	o 48982
413.18	c 13150
414.02	o 48985
414.02	c 13147
414.89	o 48986
414.89	c 13146
415.77	o 48987
415.77	c 13145
416.67	o 48995
416.67	c 13137
417.46	o 48999
417.46	c 13133
418.36	o 49001
418.36	c 13131
419.22	o 49007
419.22	c 13125
420.10	o 49008
420.10	c 13124
420.89	o 49009
420.89	c 13123
421.68	o 49015
421.68	c 13117
422.58	o 49019
422.58	c 13113
424.31	o 49026
424.31	c 13106
425.18	o 49027
425.18	c 13105
426.07	o 49035
426.07	c 13097
429.85	o 49036
429.86	c 13096
430.78	o 49040
430.78	c 13092
431.73	o 49043
431.73	c 13089
432.67	o 49045
432.67	c 13087
433.57	o 49046
433.57	c 13086
434.61	o 49047
434.62	c 13085
435.54	o 49050
435.54	c 13082
437.50	o 49053
437.50	c 13079
438.44	o 49059
438.44	c 13073
441.45	o 49065
441.45	c 13067
443.44	o 49073
443.44	c 13059
444.48	o 49075
444.48	c 13057
445.38	o 49084
445.38	c 13048
446.26	o 49088
446.26	c 13044
447.28	o 49089
447.28	c 13043
448.22	o 49093
448.22	c 13039
449.20	o 49095
449.20	c 13037
450.13	o 49101
450.13	c 13031
452.05	o 49107
452.05	c 13025
452.99	o 49117
452.99	c 13015
453.90	o 49118
453.90	c 13014
454.82	o 49124
454.82	c 13008
456.56	o 49125
456.56	c 13007
457.22	o 49127
457.22	c 13005
458.19	o 49130
458.19	c 13002
459.95	o 49131
459.95	c 13001
460.93	o 49140
460.93	c 12992
461.75	o 49141
461.75	c 12991
462.62	o 49142
462.62	c 12990
463.48	o 49148
463.48	c 12984
464.34	o 49154
464.34	c 12978
465.26	o 49160
465.26	c 12972
467.03	o 49162
467.03	c 12970
467.92	o 49172
467.92	c 12960
468.78	o 49173
468.78	c 12959
469.63	o 49177
469.63	c 12955
470.53	o 49184
470.53	c 12948
471.39	o 49188
471.39	c 12944
472.20	o 49191
472.20	c 12941
473.04	o 49192
473.04	c 12940
473.84	o 49194
473.84	c 12938
474.68	o 49197
474.68	c 12935
475.48	o 49202
475.48	c 12930
476.33	o 49210
476.33	c 12922
477.11	o 49216
477.11	c 12916
477.86	o 49223
477.86	c 12909
478.74	o 49227
478.74	c 12905
480.27	o 49231
480.27	c 12901
481.08	o 49240
481.08	c 12892
482.71	o 49241
482.71	c 12891
483.54	o 49249
483.54	c 12883
484.31	o 49258
484.31	c 12874
485.14	o 49262
485.14	c 12870
485.96	o 49264
485.96	c 12868
486.78	o 49267
486.78	c 12865
487.65	o 49277
487.65	c 12855
488.53	o 49279
488.53	c 12853
489.32	o 49285
489.32	c 12847
490.10	o 49294
490.10	c 12838
490.91	o 49298
490.91	c 12834
491.74	o 49307
491.74	c 12825
492.51	o 49315
492.51	c 12817
493.22	o 49318
493.22	c 12814
493.97	o 49325
493.97	c 12807
494.74	o 49328
494.74	c 12804
495.49	o 49330
495.49	c 12802
496.22	o 49335
496.22	c 12797
496.95	o 49337
496.96	c 12795
497.69	o 49340
497.69	c 12792
498.43	o 49342
498.43	c 12790
499.17	o 49349
499.17	c 12783
500.60	o 49356
500.60	c 12776
502.12	o 49360
502.12	c 12772
502.89	o 49365
502.89	c 12767
503.68	o 49370
503.68	c 12762
504.40	o 49372
504.40	c 12760
505.12	o 49377
505.12	c 12755
506.86	o 49380
506.86	c 12752
507.69	o 49386
507.69	c 12746
508.49	o 49390
508.49	c 12742
509.34	o 49391
509.34	c 12741
511.07	o 49393
511.07	c 12739
511.88	o 49397
511.88	c 12735
512.70	o 49404
512.70	c 12728
515.08	o 49405
515.08	c 12727
515.91	o 49411
515.91	c 12721
516.75	o 49417
516.75	c 12715
517.64	o 49422
517.64	c 12710
519.25	o 49424
519.25	c 12708
520.11	o 49426
520.11	c 12706
520.97	o 49434
520.97	c 12698
521.78	o 49441
521.78	c 12691
522.72	o 49446
522.72	c 12686
523.58	o 49448
523.58	c 12684
524.47	o 49449
524.47	c 12683
525.33	o 49451
525.33	c 12681
526.20	o 49455
526.20	c 12677
527.08	o 49462
527.08	c 12670
527.95	o 49469
527.95	c 12663
528.86	o 49474
528.87	c 12658
529.85	o 49478
529.85	c 12654
530.79	o 49485
530.79	c 12647
531.71	o 49491
531.71	c 12641
532.58	o 49493
532.58	c 12639
533.41	o 49501
533.41	c 12631
534.19	o 49510
534.19	c 12622
535.87	o 49513
535.87	c 12619
536.72	o 49515
536.72	c 12617
537.53	o 49517
537.53	c 12615
539.31	o 49524
539.31	c 12608
540.15	o 49526
540.15	c 12606
541.85	o 49529
541.85	c 12603
542.68	o 49534
542.68	c 12598
543.50	o 49535
543.50	c 12597
546.13	o 49540
546.13	c 12592
547.85	o 49547
547.85	c 12585
549.62	o 49549
549.62	c 12583
550.39	o 49550
550.39	c 12582
551.12	o 49551
551.12	c 12581
551.96	o 49554
551.96	c 12578
552.78	o 49558
552.78	c 12574
553.64	o 49560
553.64	c 12572
554.50	o 49567
554.50	c 12565
555.36	o 49570
555.36	c 12562
556.18	o 49573
556.18	c 12559
557.01	o 49576
557.01	c 12556
559.55	o 49583
559.55	c 12549
560.39	o 49587
560.39	c 12545
561.22	o 49595
561.22	c 12537
562.15	o 49603
562.15	c 12529
563.05	o 49604
563.05	c 12528
564.83	o 49610
564.83	c 12522
565.69	o 49614
565.69	c 12518
566.59	o 49617
566.59	c 12515
567.59	o 49629
567.59	c 12503
568.45	o 49633
568.45	c 12499
570.20	o 49637
570.20	c 12495
571.19	o 49641
571.19	c 12491
572.10	o 49644
572.10	c 12488
573.80	o 49651
573.80	c 12481
574.70	o 49654
574.70	c 12478
575.52	o 49658
575.52	c 12474
576.37	o 49666
576.37	c 12466
577.29	o 49674
577.29	c 12458
578.09	o 49677
578.09	c 12455
578.97	o 49680
578.97	c 12452
579.82	o 49682
579.82	c 12450
580.64	o 49688
580.64	c 12444
581.61	o 49690
581.61	c 12442
582.48	o 49691
582.48	c 12441
583.44	o 49698
583.44	c 12434
584.33	o 49706
584.33	c 12426
586.08	o 49709
586.08	c 12423
587.94	o 49710
587.94	c 12422
589.69	o 49713
589.69	c 12419
590.59	o 49720
590.59	c 12412
591.53	o 49724
591.53	c 12408
592.46	o 49727
592.46	c 12405
595.48	o 49733
595.48	c 12399
596.45	o 49739
596.45	c 12393
597.42	o 49743
597.42	c 12389
598.47	o 49744
598.47	c 12388
599.48	o 49745
599.48	c 12387
603.66	o 49749
603.66	c 12383
604.68	o 49752
604.68	c 12380
605.66	o 49755
605.66	c 12377
606.72	o 49758
606.72	c 12374
608.84	o 49759
608.84	c 12373
610.92	o 49760
610.92	c 12372
611.97	o 49767
611.97	c 12365
614.95	o 49774
614.95	c 12358
619.11	o 49775
619.11	c 12357
620.25	o 49779
620.25	c 12353
621.40	o 49782
621.40	c 12350
622.56	o 49786
622.56	c 12346
623.78	o 49787
623.78	c 12345
624.89	o 49790
624.89	c 12342
626.03	o 49793
626.03	c 12339
627.09	o 49794
627.09	c 12338
628.17	o 49796
628.17	c 12336
629.18	o 49809
629.18	c 12323
633.20	o 49814
633.20	c 12318
634.23	o 49817
634.23	c 12315
635.28	o 49820
635.28	c 12312
636.28	o 49825
636.28	c 12307
637.32	o 49833
637.32	c 12299
638.29	o 49836
638.29	c 12296
640.41	o 49845
640.41	c 12287
641.41	o 49851
641.41	c 12281
642.38	o 49855
642.38	c 12277
643.31	o 49858
643.31	c 12274
644.32	o 49863
644.32	c 12269
646.21	o 49864
646.21	c 12268
647.15	o 49865
647.15	c 12267
648.07	o 49872
648.07	c 12260
649.01	o 49876
649.01	c 12256
649.91	o 49882
649.91	c 12250
650.87	o 49890
650.87	c 12242
654.68	o 49894
654.68	c 12238
655.63	o 49897
655.63	c 12235
656.63	o 49900
656.63	c 12232
657.64	o 49901
657.64	c 12231
658.58	o 49903
658.58	c 12229
659.56	o 49905
659.56	c 12227
660.57	o 49907
660.57	c 12225
662.44	o 49909
662.44	c 12223
663.43	o 49910
663.43	c 12222
664.40	o 49911
664.40	c 12221
665.40	o 49912
665.40	c 12220
669.29	o 49915
669.29	c 12217
672.28	o 49919
672.28	c 12213
673.24	o 49922
673.24	c 12210
674.26	o 49928
674.26	c 12204
676.27	o 49930
676.27	c 12202
677.28	o 49933
677.28	c 12199
678.30	o 49937
678.30	c 12195
679.32	o 49938
679.32	c 12194
681.37	o 49943
681.37	c 12189
682.39	o 49946
682.39	c 12186
683.39	o 49950
683.39	c 12182
684.34	o 49954
684.34	c 12178
685.37	o 49958
685.37	c 12174
686.41	o 49964
686.41	c 12168
687.39	o 49966
687.39	c 12166
688.40	o 49967
688.40	c 12165
689.40	o 49971
689.40	c 12161
690.40	o 49974
690.40	c 12158
691.37	o 49979
691.37	c 12153
694.28	o 49982
694.28	c 12150
697.28	o 49987
697.28	c 12145
698.35	o 49993
698.35	c 12139
699.34	o 49994
699.34	c 12138
700.34	o 49996
700.34	c 12136
701.34	o 49999
701.34	c 12133
702.32	o 50001
702.32	c 12131
703.34	o 50004
703.34	c 12128
705.27	o 50007
705.27	c 12125
706.18	o 50016
706.18	c 12116
710.32	o 50020
710.32	c 12112
711.37	o 50021
711.38	c 12111
712.40	o 50025
712.40	c 12107
713.42	o 50028
713.42	c 12104
714.25	o 50037
714.25	c 12095
716.17	o 50038
716.17	c 12094
717.16	o 50040
717.16	c 12092
718.07	o 50047
718.07	c 12085
719.01	o 50052
719.01	c 12080
719.93	o 50059
719.93	c 12073
720.86	o 50061
720.86	c 12071
721.76	o 50066
721.76	c 12066
722.60	o 50071
722.60	c 12061
724.37	o 50080
724.37	c 12052
725.30	o 50085
725.30	c 12047
727.07	o 50091
727.07	c 12041
727.96	o 50092
727.96	c 12040
728.84	o 50102
728.84	c 12030
729.77	o 50103
729.77	c 12029
731.64	o 50110
731.64	c 12022
732.54	o 50113
732.54	c 12019
733.44	o 50121
733.44	c 12011
734.31	o 50123
734.31	c 12009
735.18	o 50125
735.18	c 12007
736.20	o 50134
736.20	c 11998
738.05	o 50138
738.05	c 11994
738.96	o 50141
738.96	c 11991
739.82	o 50142
739.82	c 11990
740.72	o 50145
740.72	c 11987
745.08	o 50147
745.08	c 11985
745.99	o 50154
745.99	c 11978
746.93	o 50160
746.93	c 11972
747.84	o 50166
747.84	c 11966
748.75	o 50167
748.75	c 11965
749.70	o 50169
749.70	c 11963
750.65	o 50174
750.65	c 11958
751.64	o 50177
751.64	c 11955
752.64	o 50180
752.64	c 11952
753.67	o 50184
753.67	c 11948
754.57	o 50191
754.57	c 11941
756.64	o 50193
756.64	c 11939
758.58	o 50195
758.58	c 11937
759.52	o 50196
759.52	c 11936
760.51	o 50197
760.51	c 11935
761.53	o 50200
761.53	c 11932
762.47	o 50203
762.47	c 11929
763.40	o 50207
763.40	c 11925
764.34	o 50209
764.34	c 11923
765.31	o 50215
765.31	c 11917
766.33	o 50216
766.33	c 11916
767.26	o 50217
767.26	c 11915
768.00	o 50219
768.00	c 11913
768.89	o 50221
768.89	c 11911
769.87	o 50225
769.87	c 11907
770.88	o 50228
770.88	c 11904
771.89	o 50240
771.89	c 11892
772.83	o 50247
772.83	c 11885
773.79	o 50256
773.79	c 11876
774.83	o 50259
774.83	c 11873
776.75	o 50264
776.75	c 11868
781.42	o 50265
781.42	c 11867
784.40	o 50267
784.40	c 11865
786.58	o 50271
786.58	c 11861
788.76	o 50278
788.76	c 11854
789.59	o 50285
789.59	c 11847
790.54	o 50288
790.54	c 11844
791.55	o 50290
791.55	c 11842
792.52	o 50297
792.52	c 11835
793.52	o 50302
793.52	c 11830
794.56	o 50306
794.56	c 11826
795.54	o 50310
795.54	c 11822
796.52	o 50311
796.52	c 11821
798.57	o 50312
798.57	c 11820
799.59	o 50317
799.59	c 11815
800.62	o 50318
800.62	c 11814
801.64	o 50323
801.64	c 11809
807.56	o 50327
807.56	c 11805
808.46	o 50329
808.46	c 11803
809.41	o 50333
809.41	c 11799
810.32	o 50340
810.32	c 11792
811.32	o 50345
811.32	c 11787
813.24	o 50350
813.24	c 11782
814.23	o 50354
814.23	c 11778
815.19	o 50359
815.19	c 11773
816.13	o 50363
816.13	c 11769
818.08	o 50366
818.08	c 11766
819.02	o 50375
819.02	c 11757
819.99	o 50376
819.99	c 11756
821.86	o 50379
821.86	c 11753
822.82	o 50382
822.82	c 11750
825.61	o 50389
825.61	c 11743
826.53	o 50398
826.53	c 11734
827.44	o 50405
827.44	c 11727
828.45	o 50407
828.45	c 11725
829.36	o 50409
829.36	c 11723
830.30	o 50411
830.30	c 11721
831.20	o 50419
831.20	c 11713
834.78	o 50421
834.78	c 11711
837.66	o 50426
837.66	c 11706
839.51	o 50427
839.51	c 11705
840.46	o 50432
840.46	c 11700
841.42	o 50438
841.42	c 11694
844.24	o 50443
844.24	c 11689
845.20	o 50452
845.20	c 11680
846.17	o 50455
846.17	c 11677
847.10	o 50458
847.10	c 11674
849.10	o 50461
849.10	c 11671
851.11	o 50471
851.11	c 11661
852.21	o 50472
852.21	c 11660
853.25	o 50477
853.25	c 11655
855.49	o 50484
855.49	c 11648
856.54	o 50489
856.54	c 11643
857.58	o 50491
857.58	c 11641
858.63	o 50494
858.63	c 11638
859.62	o 50501
859.62	c 11631
860.64	o 50509
860.64	c 11623
861.47	o 50510
861.47	c 11622
862.56	o 50516
862.56	c 11616
864.60	o 50522
864.60	c 11610
865.66	o 50529
865.66	c 11603
866.64	o 50532
866.64	c 11600
867.67	o 50538
867.67	c 11594
868.72	o 50541
868.72	c 11591
869.73	o 50544
869.73	c 11588
870.76	o 50545
870.76	c 11587
874.13	o 50547
874.13	c 11585
876.44	o 50549
876.44	c 11583
884.40	o 50551
884.40	c 11581
885.51	o 50556
885.51	c 11576
887.57	o 50561
887.57	c 11571
888.65	o 50564
888.65	c 11568
889.76	o 50570
889.76	c 11562
890.77	o 50571
890.77	c 11561
891.86	o 50573
891.86	c 11559
892.95	o 50574
892.95	c 11558
894.04	o 50575
894.04	c 11557
895.21	o 50584
895.21	c 11548
897.42	o 50589
897.42	c 11543
898.60	o 50593
898.60	c 11539
899.77	o 50594
899.77	c 11538
900.90	o 50601
900.90	c 11531
902.02	o 50606
902.02	c 11526
903.15	o 50609
903.15	c 11523
904.27	o 50626
904.27	c 11506
906.42	o 50631
906.42	c 11501
907.44	o 50635
907.44	c 11497
908.54	o 50639
908.54	c 11493
909.60	o 50643
909.60	c 11489
912.69	o 50648
912.69	c 11484
913.76	o 50653
913.76	c 11479
914.84	o 50659
914.84	c 11473
915.91	o 50667
915.91	c 11465
916.96	o 50669
916.96	c 11463
917.99	o 50670
917.99	c 11462
921.16	o 50680
921.16	c 11452
922.23	o 50683
922.23	c 11449
923.28	o 50689
923.28	c 11443
924.31	o 50697
924.31	c 11435
925.32	o 50703
925.32	c 11429
927.46	o 50709
927.46	c 11423
928.51	o 50712
928.51	c 11420
930.43	o 50716
930.43	c 11416
931.42	o 50724
931.42	c 11408
932.48	o 50725
932.48	c 11407
933.46	o 50727
933.46	c 11405
934.46	o 50733
934.46	c 11399
935.46	o 50739
935.46	c 11393
936.49	o 50742
936.49	c 11390
937.53	o 50744
937.53	c 11388
938.63	o 50750
938.63	c 11382
939.38	o 50751
939.38	c 11381
940.57	o 50752
940.57	c 11380
941.74	o 50755
941.74	c 11377
943.82	o 50757
943.82	c 11375
944.97	o 50762
944.97	c 11370
946.14	o 50768
946.14	c 11364
948.40	o 50773
948.40	c 11359
949.55	o 50781
949.55	c 11351
950.73	o 50788
950.73	c 11344
951.90	o 50796
951.90	c 11336
953.05	o 50799
953.05	c 11333
955.36	o 50803
955.36	c 11329
956.46	o 50808
956.46	c 11324
957.61	o 50814
957.61	c 11318
958.71	o 50818
958.71	c 11314
960.99	o 50824
960.99	c 11308
962.12	o 50828
962.12	c 11304
963.15	o 50833
963.15	c 11299
964.27	o 50837
964.27	c 11295
965.40	o 50847
965.40	c 11285
971.09	o 50854
971.09	c 11278
972.27	o 50859
972.27	c 11273
973.36	o 50866
973.36	c 11266
974.51	o 50875
974.51	c 11257
975.70	o 50877
975.70	c 11255
976.93	o 50879
976.93	c 11253
978.13	o 50882
978.13	c 11250
979.37	o 50885
979.37	c 11247
981.74	o 50888
981.74	c 11244
982.82	o 50897
982.82	c 11235
983.93	o 50911
983.93	c 11221
985.05	o 50916
985.05	c 11216
987.48	o 50921
987.48	c 11211
988.62	o 50924
988.62	c 11208
989.76	o 50926
989.76	c 11206
990.88	o 50928
990.88	c 11204
992.02	o 50934
992.02	c 11198
993.17	o 50941
993.17	c 11191
994.31	o 50947
994.31	c 11185
995.47	o 50953
995.47	c 11179
997.71	o 50959
997.71	c 11173
998.80	o 50964
998.80	c 11168
1000.03	o 50966
1000.03	c 11166
1002.42	o 50971
1002.42	c 11161
1003.61	o 50974
1003.61	c 11158
1004.74	o 50976
1004.74	c 11156
1006.00	o 50977
1006.00	c 11155
1007.25	o 50987
1007.25	c 11145
1008.48	o 50991
1008.48	c 11141
1009.71	o 50992
1009.71	c 11140
1010.92	o 51004
1010.92	c 11128
1014.46	o 51007
1014.46	c 11125
1017.00	o 51008
1017.00	c 11124
1019.56	o 51010
1019.56	c 11122
1020.78	o 51012
1020.78	c 11120
1022.02	o 51014
1022.02	c 11118
1023.26	o 51023
1023.26	c 11109
1024.50	o 51029
1024.50	c 11103
1025.80	o 51035
1025.80	c 11097
1027.09	o 51041
1027.09	c 11091
1028.37	o 51048
1028.37	c 11084
1029.60	o 51051
1029.60	c 11081
1030.89	o 51059
1030.89	c 11073
1032.12	o 51063
1032.12	c 11069
1033.34	o 51064
1033.34	c 11068
1034.52	o 51068
1034.52	c 11064
1035.84	o 51072
1035.84	c 11060
1037.11	o 51076
1037.11	c 11056
1038.36	o 51078
1038.36	c 11054
1042.12	o 51079
1042.12	c 11053
1045.64	o 51084
1045.64	c 11048
1050.59	o 51085
1050.59	c 11047
1051.88	o 51091
1051.88	c 11041
1053.26	o 51093
1053.26	c 11039
1054.53	o 51100
1054.53	c 11032
1055.84	o 51107
1055.84	c 11025
1057.05	o 51114
1057.05	c 11018
1058.23	o 51121
1058.23	c 11011
1059.50	o 51126
1059.50	c 11006
1064.29	o 51130
1064.29	c 11002
1066.58	o 51134
1066.58	c 10998
1067.69	o 51136
1067.69	c 10996
1068.82	o 51138
1068.82	c 10994
1069.93	o 51139
1069.93	c 10993
1071.18	o 51144
1071.18	c 10988
1072.32	o 51145
1072.32	c 10987
1073.46	o 51150
1073.46	c 10982
1074.64	o 51161
1074.64	c 10971
1075.80	o 51165
1075.80	c 10967
1076.99	o 51170
1076.99	c 10962
1078.12	o 51174
1078.12	c 10958
1079.35	o 51175
1079.35	c 10957
1080.51	o 51176
1080.51	c 10956
1081.79	o 51182
1081.79	c 10950
1082.98	o 51185
1082.98	c 10947
1084.14	o 51190
1084.14	c 10942
1085.32	o 51192
1085.32	c 10940
1086.53	o 51195
1086.53	c 10937
1088.91	o 51197
1088.91	c 10935
1090.09	o 51198
1090.09	c 10934
1091.28	o 51204
1091.28	c 10928
1092.51	o 51209
1092.51	c 10923
1093.71	o 51217
1093.71	c 10915
1094.97	o 51224
1094.97	c 10908
1096.14	o 51230
1096.14	c 10902
1097.29	o 51232
1097.29	c 10900
1098.45	o 51243
1098.45	c 10889
1099.65	o 51249
1099.65	c 10883
1100.95	o 51252
1100.95	c 10880
1102.20	o 51256
1102.20	c 10876
1103.34	o 51264
1103.34	c 10868
1104.50	o 51267
1104.50	c 10865
1105.74	o 51272
1105.74	c 10860
1106.99	o 51280
1106.99	c 10852
1109.41	o 51286
1109.41	c 10846
1110.68	o 51292
1110.68	c 10840
1113.29	o 51293
1113.29	c 10839
1114.55	o 51294
1114.55	c 10838
1115.83	o 51298
1115.83	c 10834
1117.05	o 51304
1117.05	c 10828
1117.86	o 51311
1117.86	c 10821
1118.86	o 51313
1118.86	c 10819
1120.07	o 51314
1120.07	c 10818
1121.24	o 51317
1121.24	c 10815
1122.41	o 51323
1122.41	c 10809
1123.50	o 51328
1123.50	c 10804
1124.60	o 51329
1124.60	c 10803
1126.86	o 51334
1126.86	c 10798
1128.00	o 51337
1128.00	c 10795
1130.16	o 51340
1130.16	c 10792
1133.55	o 51346
1133.55	c 10786
1134.70	o 51349
1134.70	c 10783
1135.91	o 51353
1135.91	c 10779
1137.15	o 51356
1137.15	c 10776
1138.35	o 51365
1138.35	c 10767
1140.82	o 51367
1140.82	c 10765
1142.04	o 51368
1142.04	c 10764
1143.26	o 51373
1143.26	c 10759
1144.48	o 51376
1144.48	c 10756
1145.68	o 51384
1145.68	c 10748
1147.01	o 51389
1147.01	c 10743
1149.42	o 51395
1149.42	c 10737
1150.67	o 51396
1150.67	c 10736
1151.94	o 51398
1151.94	c 10734
1156.40	o 51400
1156.40	c 10732
1157.55	o 51403
1157.55	c 10729
1158.77	o 51404
1158.77	c 10728
1159.94	o 51406
1159.94	c 10726
1161.11	o 51410
1161.11	c 10722
1162.30	o 51413
1162.30	c 10719
1163.53	o 51419
1163.53	c 10713
1166.07	o 51423
1166.07	c 10709
1167.35	o 51428
1167.35	c 10704
1167.94	o 51435
1167.94	c 10697
1169.14	o 51444
1169.14	c 10688
1171.47	o 51450
1171.47	c 10682
1172.69	o 51452
1172.69	c 10680
1173.92	o 51455
1173.92	c 10677
1175.12	o 51458
1175.12	c 10674
1176.31	o 51466
1176.31	c 10666
1177.57	o 51469
1177.57	c 10663
1178.81	o 51470
1178.81	c 10662
1180.04	o 51474
1180.04	c 10658
1181.17	o 51481
1181.17	c 10651
1183.59	o 51487
1183.59	c 10645
1185.95	o 51494
1185.95	c 10638
1188.48	o 51497
1188.48	c 10635
1189.72	o 51503
1189.73	c 10629
1191.03	o 51512
1191.03	c 10620
1192.37	o 51519
1192.37	c 10613
1193.60	o 51523
1193.60	c 10609
1196.35	o 51527
1196.35	c 10605
1198.94	o 51534
1198.94	c 10598
1200.21	o 51541
1200.21	c 10591
1201.46	o 51547
1201.46	c 10585
1202.78	o 51550
1202.78	c 10582
1204.04	o 51561
1204.04	c 10571
1205.31	o 51564
1205.31	c 10568
1206.54	o 51566
1206.54	c 10566
1207.79	o 51576
1207.79	c 10556
1209.06	o 51578
1209.06	c 10554
1210.29	o 51580
1210.29	c 10552
1211.58	o 51582
1211.58	c 10550
1213.00	o 51584
1213.00	c 10548
1214.28	o 51597
1214.28	c 10535
1215.53	o 51601
1215.53	c 10531
1216.84	o 51604
1216.84	c 10528
1218.13	o 51606
1218.13	c 10526
1219.53	o 51607
1219.53	c 10525
1220.85	o 51608
1220.85	c 10524
1223.42	o 51617
1223.42	c 10515
1225.93	o 51627
1225.93	c 10505
1227.28	o 51629
1227.28	c 10503
1228.67	o 51631
1228.67	c 10501
1231.21	o 51637
1231.21	c 10495
1232.51	o 51639
1232.51	c 10493
1236.60	o 51641
1236.60	c 10491
1237.91	o 51649
1237.91	c 10483
1239.19	o 51652
1239.19	c 10480
1240.67	o 51663
1240.67	c 10469
1242.07	o 51672
1242.07	c 10460
1243.45	o 51677
1243.45	c 10455
1244.78	o 51679
1244.78	c 10453
1248.84	o 51683
1248.84	c 10449
1250.32	o 51686
1250.32	c 10446
1251.65	o 51690
1251.65	c 10442
1255.81	o 51695
1255.81	c 10437
1257.19	o 51697
1257.19	c 10435
1258.59	o 51701
1258.59	c 10431
1261.52	o 51707
1261.52	c 10425
1262.91	o 51714
1262.91	c 10418
1264.43	o 51719
1264.43	c 10413
1265.91	o 51722
1265.91	c 10410
1267.51	o 51729
1267.51	c 10403
1268.97	o 51732
1268.97	c 10400
1272.01	o 51734
1272.01	c 10398
1273.42	o 51746
1273.42	c 10386
1274.97	o 51748
1274.97	c 10384
1277.80	o 51749
1277.80	c 10383
1279.28	o 51751
1279.28	c 10381
1280.77	o 51754
1280.77	c 10378
1283.84	o 51757
1283.84	c 10375
1285.29	o 51758
1285.29	c 10374
1288.36	o 51764
1288.36	c 10368
1289.89	o 51769
1289.89	c 10363
1295.86	o 51772
1295.86	c 10360
1297.39	o 51775
1297.39	c 10357
1298.89	o 51777
1298.89	c 10355
1300.43	o 51785
1300.43	c 10347
1302.06	o 51790
1302.06	c 10342
1303.64	o 51796
1303.64	c 10336
1305.26	o 51800
1305.26	c 10332
1306.83	o 51805
1306.83	c 10327
1308.44	o 51807
1308.44	c 10325
1309.97	o 51815
1309.97	c 10317
1311.37	o 51825
1311.37	c 10307
1316.43	o 51828
1316.43	c 10304
1318.06	o 51833
1318.06	c 10299
1319.89	o 51837
1319.89	c 10295
1321.62	o 51841
1321.62	c 10291
1323.30	o 51846
1323.30	c 10286
1324.99	o 51849
1324.99	c 10283
1326.69	o 51858
1326.69	c 10274
1328.38	o 51867
1328.38	c 10265
1330.08	o 51872
1330.08	c 10260
1331.73	o 51874
1331.73	c 10258
1335.03	o 51880
1335.03	c 10252
1336.64	o 51885
1336.64	c 10247
1338.24	o 51886
1338.24	c 10246
1341.33	o 51890
1341.33	c 10242
1344.29	o 51892
1344.29	c 10240
1345.76	o 51900
1345.76	c 10232
1347.30	o 51906
1347.30	c 10226
1348.82	o 51913
1348.82	c 10219
1350.33	o 51916
1350.33	c 10216
1351.87	o 51923
1351.87	c 10209
1353.37	o 51924
1353.37	c 10208
1359.38	o 51928
1359.38	c 10204
1360.83	o 51929
1360.83	c 10203
1362.29	o 51934
1362.29	c 10198
1366.51	o 51938
1366.51	c 10194
1367.76	o 51939
1367.76	c 10193
1369.20	o 51945
1369.20	c 10187
1370.60	o 51956
1370.60	c 10176
1371.99	o 51962
1371.99	c 10170
1373.32	o 51969
1373.32	c 10163
1376.01	o 51973
1376.01	c 10159
1377.36	o 51976
1377.36	c 10156
1378.78	o 51978
1378.78	c 10154
1380.12	o 51979
1380.12	c 10153
1381.53	o 51982
1381.53	c 10150
1382.95	o 51991
1382.95	c 10141
1384.39	o 51995
1384.39	c 10137
1385.77	o 52003
1385.77	c 10129
1388.72	o 52004
1388.72	c 10128
1390.19	o 52006
1390.19	c 10126
1391.58	o 52008
1391.58	c 10124
1392.98	o 52016
1392.98	c 10116
1398.57	o 52019
1398.57	c 10113
1399.96	o 52022
1399.96	c 10110
1401.34	o 52027
1401.34	c 10105
1402.79	o 52032
1402.79	c 10100
1404.22	o 52036
1404.22	c 10096
1405.66	o 52037
1405.66	c 10095
1407.13	o 52039
1407.13	c 10093
1408.58	o 52040
1408.58	c 10092
1411.62	o 52042
1411.62	c 10090
1413.11	o 52051
1413.11	c 10081
1416.03	o 52054
1416.03	c 10078
1417.60	o 52060
1417.60	c 10072
1419.08	o 52063
1419.08	c 10069
1420.55	o 52071
1420.55	c 10061
1421.96	o 52077
1421.96	c 10055
1423.40	o 52080
1423.40	c 10052
1424.86	o 52084
1424.86	c 10048
1430.65	o 52086
1430.65	c 10046
1437.59	o 52092
1437.59	c 10040
1439.06	o 52100
1439.06	c 10032
1440.46	o 52103
1440.46	c 10029
1441.94	o 52105
1441.94	c 10027
1443.36	o 52112
1443.36	c 10020
1446.36	o 52115
1446.36	c 10017
1447.81	o 52121
1447.81	c 10011
1449.34	o 52124
1449.34	c 10008
1452.42	o 52129
1452.42	c 10003
1455.40	o 52130
1455.40	c 10002
1456.90	o 52132
1456.90	c 10000
1459.31	o 52135
1459.31	c 9997
1460.77	o 52136
1460.77	c 9996
1462.22	o 52143
1462.22	c 9989
1465.05	o 52144
1465.05	c 9988
1466.56	o 52148
1466.56	c 9984
1467.82	o 52153
1467.82	c 9979
1469.26	o 52162
1469.26	c 9970
1470.80	o 52168
1470.80	c 9964
1472.26	o 52171
1472.26	c 9961
1473.70	o 52180
1473.70	c 9952
1476.36	o 52183
1476.36	c 9949
1477.79	o 52187
1477.79	c 9945
1479.18	o 52197
1479.18	c 9935
1480.67	o 52200
1480.67	c 9932
1483.58	o 52206
1483.58	c 9926
1485.02	o 52207
1485.02	c 9925
1486.47	o 52209
1486.47	c 9923
1487.94	o 52213
1487.94	c 9919
1489.43	o 52214
1489.43	c 9918
1490.76	o 52216
1490.76	c 9916
1492.25	o 52219
1492.25	c 9913
1494.94	o 52226
1494.94	c 9906
1496.09	o 52232
1496.09	c 9900
1497.57	o 52234
1497.57	c 9898
1500.59	o 52235
1500.59	c 9897
1503.62	o 52238
1503.62	c 9894
1505.13	o 52242
1505.13	c 9890
1508.68	o 52243
1508.68	c 9889
1510.08	o 52245
1510.08	c 9887
1511.52	o 52251
1511.52	c 9881
1514.21	o 52252
1514.21	c 9880
1515.52	o 52258
1515.52	c 9874
1516.85	o 52266
1516.85	c 9866
1518.21	o 52269
1518.21	c 9863
1519.56	o 52270
1519.56	c 9862
1520.95	o 52275
1520.95	c 9857
1523.82	o 52280
1523.82	c 9852
1525.16	o 52285
1525.16	c 9847
1527.90	o 52286
1527.90	c 9846
1529.33	o 52288
1529.33	c 9844
1530.81	o 52289
1530.81	c 9843
1532.24	o 52298
1532.24	c 9834
1533.63	o 52301
1533.63	c 9831
1535.09	o 52302
1535.09	c 9830
1536.48	o 52306
1536.48	c 9826
1537.84	o 52309
1537.84	c 9823
1542.14	o 52313
1542.14	c 9819
1544.88	o 52317
1544.88	c 9815
1546.30	o 52320
1546.30	c 9812
1547.73	o 52326
1547.73	c 9806
1549.22	o 52328
1549.22	c 9804
1550.69	o 52330
1550.69	c 9802
1553.53	o 52333
1553.53	c 9799
1554.87	o 52336
1554.87	c 9796
1556.35	o 52339
1556.35	c 9793
1557.76	o 52342
1557.76	c 9790
1559.13	o 52349
1559.13	c 9783
1560.52	o 52354
1560.52	c 9778
1564.62	o 52358
1564.62	c 9774
1569.95	o 52367
1569.95	c 9765
1584.23	o 52371
1584.23	c 9761
1585.60	o 52375
1585.60	c 9757
1586.91	o 52382
1586.91	c 9750
1588.24	o 52386
1588.24	c 9746
1589.60	o 52394
1589.60	c 9738
1590.94	o 52399
1590.94	c 9733
1592.31	o 52401
1592.31	c 9731
1593.68	o 52405
1593.68	c 9727
1594.98	o 52414
1594.98	c 9718
1597.69	o 52416
1597.69	c 9716
1599.01	o 52422
1599.01	c 9710
1599.96	o 52431
1599.96	c 9701
1601.24	o 52433
1601.24	c 9699
1603.92	o 52438
1603.92	c 9694
1605.22	o 52445
1605.22	c 9687
1606.55	o 52450
1606.55	c 9682
1607.93	o 52453
1607.93	c 9679
1609.25	o 52457
1609.25	c 9675
1610.17	o 52460
1610.17	c 9672
1618.42	o 52461
1618.42	c 9671
1619.71	o 52466
1619.71	c 9666
1622.36	o 52473
1622.36	c 9659
1623.70	o 52475
1623.70	c 9657
1625.03	o 52480
1625.03	c 9652
1626.49	o 52483
1626.49	c 9649
1632.94	o 52487
1632.94	c 9645
1634.27	o 52490
1634.27	c 9642
1635.62	o 52492
1635.62	c 9640
1636.96	o 52497
1636.96	c 9635
1638.27	o 52502
1638.27	c 9630
1640.95	o 52504
1640.95	c 9628
1642.29	o 52506
1642.29	c 9626
1643.69	o 52508
1643.69	c 9624
1645.03	o 52515
1645.03	c 9617
1646.39	o 52526
1646.39	c 9606
1648.99	o 52529
1648.99	c 9603
1650.37	o 52533
1650.37	c 9599
1651.70	o 52534
1651.70	c 9598
1654.54	o 52539
1654.54	c 9593
1655.89	o 52541
1655.89	c 9591
1657.30	o 52546
1657.30	c 9586
1659.99	o 52547
1659.99	c 9585
1661.36	o 52554
1661.36	c 9578
1662.72	o 52556
1662.72	c 9576
1664.09	o 52557
1664.09	c 9575
1665.48	o 52560
1665.48	c 9572
1668.26	o 52562
1668.26	c 9570
1673.82	o 52564
1673.82	c 9568
1675.18	o 52570
1675.18	c 9562
1676.09	o 52578
1676.09	c 9554
1677.41	o 52585
1677.41	c 9547
1678.77	o 52588
1678.78	c 9544
1680.10	o 52591
1680.10	c 9541
1681.49	o 52598
1681.49	c 9534
1682.79	o 52604
1682.79	c 9528
1684.06	o 52613
1684.06	c 9519
1685.40	o 52619
1685.40	c 9513
1686.71	o 52622
1686.71	c 9510
1687.97	o 52630
1687.97	c 9502
1690.52	o 52634
1690.52	c 9498
1691.87	o 52637
1691.87	c 9495
1696.44	o 52639
1696.44	c 9493
1697.67	o 52643
1697.67	c 9489
1698.92	o 52650
1698.92	c 9482
1700.15	o 52651
1700.15	c 9481
1701.43	o 52652
1701.43	c 9480
1702.70	o 52654
1702.70	c 9478
1703.95	o 52656
1703.95	c 9476
1705.22	o 52660
1705.22	c 9472
1707.78	o 52661
1707.78	c 9471
1708.84	o 52670
1708.84	c 9462
1710.04	o 52675
1710.04	c 9457
1713.78	o 52676
1713.78	c 9456
1714.94	o 52679
1714.94	c 9453
1716.11	o 52680
1716.11	c 9452
1718.49	o 52681
1718.49	c 9451
1719.66	o 52686
1719.66	c 9446
1720.80	o 52691
1720.80	c 9441
1721.97	o 52693
1721.97	c 9439
1723.74	o 52702
1723.74	c 9430
1724.83	o 52703
1724.83	c 9429
1726.10	o 52707
1726.10	c 9425
1728.40	o 52712
1728.40	c 9420
1729.62	o 52715
1729.62	c 9417
1730.84	o 52717
1730.84	c 9415
1733.44	o 52718
1733.44	c 9414
1736.09	o 52719
1736.09	c 9413
1737.35	o 52722
1737.35	c 9410
1738.60	o 52729
1738.60	c 9403
1745.09	o 52732
1745.09	c 9400
1746.39	o 52739
1746.39	c 9393
1747.67	o 52742
1747.67	c 9390
1748.88	o 52750
1748.88	c 9382
1750.17	o 52751
1750.17	c 9381
1751.41	o 52759
1751.41	c 9373
1752.69	o 52767
1752.69	c 9365
1753.99	o 52772
1753.99	c 9360
1755.29	o 52778
1755.29	c 9354
1756.58	o 52780
1756.58	c 9352
1757.88	o 52783
1757.88	c 9349
1759.10	o 52784
1759.10	c 9348
1760.47	o 52788
1760.47	c 9344
1761.84	o 52798
1761.84	c 9334
1763.17	o 52801
1763.17	c 9331
1764.48	o 52802
1764.48	c 9330
1765.91	o 52806
1765.91	c 9326
1767.00	o 52812
1767.00	c 9320
1770.89	o 52813
1770.89	c 9319
1772.24	o 52814
1772.24	c 9318
1773.53	o 52815
1773.53	c 9317
1776.13	o 52818
1776.13	c 9314
1778.67	o 52820
1778.67	c 9312
1779.97	o 52825
1779.97	c 9307
1781.25	o 52828
1781.25	c 9304
1785.39	o 52838
1785.39	c 9294
1786.78	o 52850
1786.78	c 9282
1788.24	o 52851
1788.24	c 9281
1789.64	o 52855
1789.64	c 9277
1791.04	o 52857
1791.04	c 9275
1792.46	o 52860
1792.46	c 9272
1793.86	o 52864
1793.86	c 9268
1798.16	o 52868
1798.16	c 9264
1799.55	o 52870
1799.55	c 9262
1800.97	o 52872
1800.97	c 9260
1802.42	o 52874
1802.42	c 9258
1803.85	o 52883
1803.86	c 9249
1805.29	o 52885
1805.29	c 9247
1806.71	o 52890
1806.71	c 9242
1812.34	o 52896
1812.34	c 9236
1815.17	o 52902
1815.17	c 9230
1816.58	o 52903
1816.58	c 9229
1817.98	o 52908
1817.98	c 9224
1820.45	o 52917
1820.45	c 9215
1821.85	o 52920
1821.85	c 9212
1824.67	o 52925
1824.67	c 9207
1826.08	o 52927
1826.08	c 9205
1827.54	o 52932
1827.55	c 9200
1833.26	o 52933
1833.26	c 9199
1834.64	o 52936
1834.64	c 9196
1836.06	o 52939
1836.06	c 9193
1837.50	o 52943
1837.50	c 9189
1838.97	o 52944
1838.97	c 9188
1840.11	o 52946
1840.11	c 9186
1841.61	o 52950
1841.61	c 9182
1843.04	o 52953
1843.04	c 9179
1844.51	o 52955
1844.51	c 9177
1845.98	o 52957
1845.98	c 9175
1848.94	o 52962
1848.94	c 9170
1850.46	o 52967
1850.46	c 9165
1853.42	o 52969
1853.42	c 9163
1854.89	o 52970
1854.89	c 9162
1856.34	o 52972
1856.34	c 9160
1859.33	o 52975
1859.33	c 9157
1860.75	o 52985
1860.75	c 9147
1862.19	o 52987
1862.19	c 9145
1863.67	o 52988
1863.67	c 9144
1868.06	o 52999
1868.06	c 9133
1869.53	o 53004
1869.53	c 9128
1872.50	o 53007
1872.50	c 9125
1876.92	o 53009
1876.92	c 9123
1878.37	o 53016
1878.37	c 9116
1882.67	o 53018
1882.67	c 9114
1884.12	o 53026
1884.12	c 9106
1885.54	o 53032
1885.54	c 9100
1886.88	o 53040
1886.88	c 9092
1891.20	o 53048
1891.20	c 9084
1892.66	o 53053
1892.66	c 9079
1894.08	o 53057
1894.08	c 9075
1896.90	o 53059
1896.90	c 9073
1898.32	o 53069
1898.32	c 9063
1899.71	o 53070
1899.71	c 9062
1901.11	o 53073
1901.11	c 9059
1902.58	o 53076
1902.58	c 9056
1905.38	o 53088
1905.38	c 9044
1911.02	o 53089
1911.02	c 9043
1912.40	o 53093
1912.40	c 9039
1913.86	o 53097
1913.86	c 9035
1920.59	o 53099
1920.59	c 9033
1922.01	o 53102
1922.01	c 9030
1926.19	o 53108
1926.19	c 9024
1927.49	o 53121
1927.49	c 9011
1928.82	o 53125
1928.82	c 9007
1930.17	o 53130
1930.17	c 9002
1932.92	o 53134
1932.93	c 8998
1934.23	o 53139
1934.23	c 8993
1935.47	o 53142
1935.47	c 8990
1936.75	o 53147
1936.75	c 8985
1938.08	o 53148
1938.08	c 8984
1947.09	o 53150
1947.09	c 8982
1948.35	o 53152
1948.35	c 8980
1949.64	o 53154
1949.64	c 8978
1950.95	o 53161
1950.95	c 8971
1952.21	o 53166
1952.21	c 8966
1953.44	o 53167
1953.44	c 8965
1954.80	o 53169
1954.80	c 8963
1956.06	o 53172
1956.06	c 8960
1957.35	o 53173
1957.35	c 8959
1958.66	o 53175
1958.66	c 8957
1964.95	o 53179
1964.95	c 8953
1972.66	o 53180
1972.66	c 8952
1973.84	o 53185
1973.84	c 8947
1975.01	o 53190
1975.01	c 8942
1976.25	o 53193
1976.25	c 8939
1977.47	o 53195
1977.47	c 8937
1981.41	o 53198
1981.41	c 8934
1988.07	o 53205
1988.07	c 8927
1995.07	o 53206
1995.07	c 8926
1999.34	o 53212
1999.34	c 8920
2000.81	o 53214
2000.81	c 8918
2002.24	o 53225
2002.24	c 8907
2008.11	o 53229
2008.11	c 8903
2009.54	o 53237
2009.54	c 8895
2011.04	o 53242
2011.04	c 8890
2012.54	o 53244
2012.54	c 8888
2013.99	o 53249
2013.99	c 8883
2015.44	o 53250
2015.44	c 8882
2016.88	o 53256
2016.88	c 8876
2018.33	o 53257
2018.33	c 8875
2019.76	o 53259
2019.77	c 8873
2021.22	o 53261
2021.22	c 8871
2022.72	o 53262
2022.72	c 8870
2024.20	o 53264
2024.20	c 8868
2025.63	o 53268
2025.63	c 8864
2027.10	o 53275
2027.10	c 8857
2028.54	o 53278
2028.54	c 8854
2030.00	o 53280
2030.00	c 8852
2031.58	o 53288
2031.58	c 8844
2033.01	o 53289
2033.01	c 8843
2034.47	o 53298
2034.47	c 8834
2037.42	o 53305
2037.42	c 8827
2038.81	o 53309
2038.81	c 8823
2040.23	o 53314
2040.23	c 8818
2041.76	o 53316
2041.76	c 8816
2043.25	o 53319
2043.25	c 8813
2046.19	o 53320
2046.19	c 8812
2047.72	o 53323
2047.72	c 8809
2049.22	o 53324
2049.23	c 8808
2050.71	o 53327
2050.71	c 8805
2052.19	o 53328
2052.19	c 8804
2063.79	o 53331
2063.79	c 8801
2065.22	o 53338
2065.22	c 8794
2066.71	o 53341
2066.71	c 8791
2069.47	o 53351
2069.47	c 8781
2072.19	o 53352
2072.19	c 8780
2073.56	o 53356
2073.56	c 8776
2074.91	o 53358
2074.91	c 8774
2076.29	o 53365
2076.29	c 8767
2078.81	o 53373
2078.81	c 8759
2080.08	o 53382
2080.08	c 8750
2081.14	o 53388
2081.14	c 8744
2082.43	o 53392
2082.43	c 8740
2085.01	o 53393
2085.01	c 8739
2086.33	o 53394
2086.33	c 8738
2087.60	o 53401
2087.60	c 8731
2088.84	o 53404
2088.84	c 8728
2090.06	o 53409
2090.06	c 8723
2091.32	o 53412
2091.32	c 8720
2092.56	o 53418
2092.56	c 8714
2093.79	o 53419
2093.79	c 8713
2095.06	o 53420
2095.06	c 8712
2096.30	o 53423
2096.30	c 8709
2097.53	o 53427
2097.53	c 8705
2098.73	o 53435
2098.73	c 8697
2099.92	o 53439
2099.92	c 8693
2101.10	o 53444
2101.10	c 8688
2103.54	o 53445
2103.54	c 8687
2104.84	o 53450
2104.84	c 8682
2106.17	o 53455
2106.17	c 8677
2107.44	o 53459
2107.44	c 8673
2108.66	o 53465
2108.66	c 8667
2109.92	o 53466
2109.92	c 8666
2112.35	o 53467
2112.35	c 8665
2113.54	o 53472
2113.54	c 8660
2114.78	o 53474
2114.78	c 8658
2116.02	o 53478
2116.02	c 8654
2117.32	o 53482
2117.32	c 8650
2118.64	o 53488
2118.64	c 8644
2123.77	o 53493
2123.77	c 8639
2124.66	o 53503
2124.66	c 8629
2128.77	o 53505
2128.77	c 8627
2130.08	o 53511
2130.08	c 8621
2132.66	o 53513
2132.66	c 8619
2133.99	o 53517
2133.99	c 8615
2135.30	o 53518
2135.30	c 8614
2136.61	o 53522
2136.61	c 8610
2144.60	o 53524
2144.60	c 8608
2147.29	o 53525
2147.29	c 8607
2148.67	o 53527
2148.67	c 8605
2149.72	o 53532
2149.72	c 8600
2151.08	o 53537
2151.08	c 8595
2152.47	o 53546
2152.47	c 8586
2153.86	o 53552
2153.86	c 8580
2155.31	o 53562
2155.31	c 8570
2156.66	o 53565
2156.66	c 8567
2158.02	o 53569
2158.02	c 8563
2163.72	o 53574
2163.72	c 8558
2165.19	o 53576
2165.19	c 8556
2165.82	o 53584
2165.83	c 8548
2167.01	o 53588
2167.01	c 8544
2168.41	o 53601
2168.42	c 8531
2173.63	o 53602
2173.63	c 8530
2174.47	o 53606
2174.47	c 8526
2175.86	o 53611
2175.86	c 8521
2177.22	o 53616
2177.22	c 8516
2178.66	o 53618
2178.66	c 8514
2180.00	o 53625
2180.00	c 8507
2181.34	o 53628
2181.34	c 8504
2182.75	o 53634
2182.75	c 8498
2184.08	o 53635
2184.08	c 8497
2185.29	o 53640
2185.29	c 8492
2187.99	o 53641
2187.99	c 8491
2189.34	o 53647
2189.34	c 8485
2190.67	o 53654
2190.67	c 8478
2192.08	o 53658
2192.08	c 8474
2193.46	o 53665
2193.46	c 8467
2200.36	o 53672
2200.36	c 8460
2201.71	o 53676
2201.71	c 8456
2203.15	o 53681
2203.15	c 8451
2204.40	o 53682
2204.40	c 8450
2207.22	o 53684
2207.22	c 8448
2208.60	o 53686
2208.60	c 8446
2212.76	o 53689
2212.76	c 8443
2214.11	o 53696
2214.11	c 8436
2215.50	o 53700
2215.50	c 8432
2216.84	o 53705
2216.84	c 8427
2218.21	o 53709
2218.21	c 8423
2220.97	o 53710
2220.97	c 8422
2222.31	o 53713
2222.31	c 8419
2223.35	o 53717
2223.35	c 8415
2224.72	o 53720
2224.72	c 8412
2226.10	o 53726
2226.10	c 8406
2227.42	o 53727
2227.42	c 8405
2230.10	o 53728
2230.10	c 8404
2231.48	o 53732
2231.48	c 8400
2236.78	o 53735
2236.78	c 8397
2238.12	o 53742
2238.12	c 8390
2239.44	o 53745
2239.44	c 8387
2242.42	o 53750
2242.42	c 8382
2245.12	o 53752
2245.12	c 8380
2246.47	o 53759
2246.47	c 8373
2247.80	o 53761
2247.80	c 8371
2249.13	o 53764
2249.13	c 8368
2255.49	o 53766
2255.49	c 8366
2258.21	o 53769
2258.21	c 8363
2259.51	o 53770
2259.51	c 8362
2260.87	o 53773
2260.87	c 8359
2262.19	o 53775
2262.19	c 8357
2269.66	o 53782
2269.66	c 8350
2271.10	o 53783
2271.10	c 8349
2272.44	o 53784
2272.44	c 8348
2273.83	o 53789
2273.83	c 8343
2275.23	o 53792
2275.23	c 8340
2276.60	o 53793
2276.60	c 8339
2278.03	o 53794
2278.03	c 8338
2284.53	o 53796
2284.53	c 8336
2285.99	o 53797
2285.99	c 8335
2287.45	o 53799
2287.45	c 8333
2288.89	o 53802
2288.89	c 8330
2290.32	o 53805
2290.32	c 8327
2291.75	o 53807
2291.75	c 8325
2293.19	o 53812
2293.19	c 8320
2294.59	o 53815
2294.59	c 8317
2297.29	o 53817
2297.29	c 8315
2300.00	o 53820
2300.00	c 8312
2302.79	o 53822
2302.79	c 8310
2305.62	o 53832
2305.62	c 8300
2307.04	o 53845
2307.04	c 8287
2308.44	o 53849
2308.44	c 8283
2309.85	o 53854
2309.85	c 8278
2312.59	o 53856
2312.59	c 8276
2314.03	o 53864
2314.03	c 8268
2318.29	o 53868
2318.29	c 8264
2321.10	o 53872
2321.10	c 8260
2322.58	o 53876
2322.58	c 8256
2324.01	o 53878
2324.01	c 8254
2325.54	o 53884
2325.54	c 8248
2326.62	o 53891
2326.62	c 8241
2328.07	o 53895
2328.07	c 8237
2332.35	o 53896
2332.35	c 8236
2333.76	o 53902
2333.76	c 8230
2335.17	o 53904
2335.17	c 8228
2336.65	o 53909
2336.65	c 8223
2339.58	o 53911
2339.58	c 8221
2340.95	o 53915
2340.95	c 8217
2342.41	o 53918
2342.41	c 8214
2343.88	o 53924
2343.88	c 8208
2345.34	o 53931
2345.34	c 8201
2346.84	o 53934
2346.84	c 8198
2348.40	o 53935
2348.40	c 8197
2349.95	o 53938
2349.95	c 8194
2351.41	o 53942
2351.41	c 8190
2352.97	o 53945
2352.97	c 8187
2354.47	o 53946
2354.47	c 8186
2355.93	o 53954
2355.93	c 8178
2357.21	o 53956
2357.21	c 8176
2358.68	o 53961
2358.68	c 8171
2360.15	o 53966
2360.15	c 8166
2360.87	o 53967
2360.87	c 8165
2362.33	o 53972
2362.33	c 8160
2363.86	o 53973
2363.86	c 8159
2365.32	o 53974
2365.32	c 8158
2366.82	o 53975
2366.82	c 8157
2368.35	o 53981
2368.35	c 8151
2369.94	o 53986
2369.94	c 8146
2371.43	o 53990
2371.43	c 8142
2373.01	o 53997
2373.01	c 8135
2374.49	o 54000
2374.49	c 8132
2375.98	o 54001
2375.98	c 8131
2377.49	o 54002
2377.49	c 8130
2379.01	o 54005
2379.01	c 8127
2380.52	o 54007
2380.52	c 8125
2382.01	o 54008
2382.01	c 8124
2383.56	o 54011
2383.56	c 8121
2388.10	o 54014
2388.10	c 8118
2389.68	o 54015
2389.68	c 8117
2391.20	o 54016
2391.20	c 8116
2392.70	o 54017
2392.70	c 8115
2395.77	o 54020
2395.77	c 8112
2400.12	o 54022
2400.12	c 8110
2413.85	v 3854 -3366 2762 3966 2830 4042 -3902 -4042 -3930 -3122 3458 -2654 3162 -2714 -3366 2830 4038 2794 -2690 3358 3206 2954 -3202 -4042 -3930 -3810 -3414 -3162 4030 -2902 3982 -3582 3594 2826 2770 2870 -3566 -2686 -3922 3646 3034 3858 -3890 -3754 3346 -3482 -4026 -3882 -2830 2978 3470 -2782 -4038 -3322 3742 2650 -2870 -2934 -2670 3206 3818 -3570 3638 3566 -2666 3282 -4042 3454 -3434 -3530 2674 3030 -4026 -3154 -3874 -3458 -3450 -4010 -3906 -3594 3794 3210 3114 2722 -3906 3270 -3014 3966 -3434 2658 3626 3562 -2662 -3574 -4002 -3998 -3430 -3890 -4018 -3110 3994 3510 2654 -3998 -3894 3218 3770 3762 -3294 3914 2810 -3894 3474 3898 3554 -3942 -3730 -3002 3822 3690 3002 -3014 -2694 -3842 -3254 3278 -3130 3886 -2982 -3310 -3146 4042 -2978 2954 2666 3510 3234 -3150 -3434 3462 -2846 3706 3802 -4022 -3090 -3134 -3886 -4042 2690 -3382 -2650 -3846 2710 2806 3578 4010 4022 3766 2670 -2718 2778 4030 3154 3102 -2786 -3898 -3862 -3978 2794 -4002 3318 -3858 -3214 2922 4030 4038 3978 2650 -3930 -3730 -4002 -3990 3646 3982 -3498 -2670 -2950 3234 -3730 3970 3338 3506 -4014 -2662 -2806 -3370 -3082 2758 2650 3270 -3150 3894 -3294 -3282 3094 -2690 3442 2650 -4042 -3582 3878 -3330 -3130 3254 3286 -3954 3038 -3514 3066 2654 3378 3138 -2662 -3194 3762 -3954 -3310 3082 -3490 -3306 4042 2674 4034 3986 3970 3014 3938 -2958 3634 -3874 -4042 -4042 -3022 2774 -4038 -3982 2650 3174 -3906 3842 2666 3070 2782 -3982 -2678 -3838 -3526 -2854 -3162 -3850 2894 2938 -2698 -4014 -2746 3926 3630 -3226 -2662 -3542 -2982 4002 -4026 3250 3010 -2694 -3658 -3366 -3558 -3310 -3942 2702 3634 -3990 4002 3190 3702 3830 4002 3102 -2926 -3618 2650 3622 -2654 3398 -3254 -2802 -2650 -3426 2882 -2734 2650 3930 3098 3242 3702 2750 2674 3978 -3166 3998 -2650 3246 3690 -2894 -4038 3802 -2658 -2918 -3906 -3982 -2954 -3714 2690 -3194 -3554 2818 -3290 3946 4042 -2778 3770 -3930 4038 -3278 2918 -3670 3750 -3654 3758 -2946 3550 -2906 -3234 3202 -2886 -2698 -3854 -3110 -3266 3970 -3690 -2658 3370 4042 -3534 -3926 -4002 2826 -3030 3414 3282 -4042 3342 2794 -3994 3474 2718 -3614 -2802 3258 4002 3298 3466 -3870 -3426 -4010 -3998 2998 2650 4022 2678 3046 -3154 2890 3654 4042 -4022 2670 2738 -2650 -3066 -3862 2702 -2654 3946 2650 3310 3614 3610 -3082 3442 2662 3930 -3202 3914 -2710 3442 -3890 3782 3670 -2694 4042 4022 -2826 3858 2698 2962 4042 -3766 -2922 2678 3562 -3974 -3830 2694 -3642 3154 2734 3810 3606 3402 -3342 2974 -3450 3946 -2826 2650 3926 2762 3714 4030 4002 3962 3778 -2950 3998 2810 -3878 -3722 3630 -3694 -3998 3214 -3786 2686 -3906 -3562 2650 -2698 3406 -3314 -2694 -2650 3126 3470 -3762 -2874 -3054 3958 -3850 2810 -3806 3914 2706 -3718 -3970 -3854 -3966 2690 4006 -3550 3998 2650 -2926 -2738 2930 3174 3066 -4014 3794 -3930 -3902 4042 3998 -2690 3918 3282 -2686 -3910 3110 2718 3534 -2650 -3894 -3846 3246 -3326 -4026 3482 3018 2654 -3882 -3170 -4002 -3198 -3782 3742 3074 4026 2954 3842 -3926 3910 -2670 -3746 -3118 3134 3802 -2726 2694 -3362 -4038 -2654 -3198 -3534 -3318 3974 -3490 3230 -3126 -3930 2650 3390 -4014 3042 -2938 3578 -3146 3998 -3866 3710 -2710 2670 -3894 -4042 -2890 3658 -4034 2714 2650 2798 2982 -2770 3922 -2790 3038 3762 3478 3310 -3874 2662 2754 2990 3754 3046 3026 2726 -2762 -3942 3870 -3766 -4002 3366 -2706 -4010 3982 3998 3782 3854 3586 2998 3966 3386 3878 2694 4018 3706 -4014 2846 3374 3294 -3922 2706 2738 -3958 -3818 -2886 3618 3774 2662 -2774 -3690 3570 2898 2674 2962 -2674 -3470 2854 -3486 -4042 3182 -4038 2798 -3758 -2838 4034 -3358 -2818 4042 -3238 -4022 -3886 -2706 -2682 -2650 4002 3346 -3514 -2654 3070 -3814 3326 -3978 -2690 3666 -3830 3498 2678 -3350 -4038 -3602 -3914 -3886 -2654 -3142 3702 -2662 2670 3878 -2706 2766 -3658 -3346 3446 -3246 2930 -3174 -2802 -2710 -3878 -3318 -3106 2662 4002 -3466 -3650 3910 -3442 -4030 4030 3518 -3114 3574 -3578 -3214 4002 2846 3938 -2710 2690 2694 2710 -3390 3090 3990 4038 -4002 -2714 3530 4038 -3154 3818 -3810 3914 2874 2738 2654 4038 -3922 -2666 -2966 3018 3358 3154 -3454 3350 4002 -3866 -3558 -3722 3250 -2878 -3958 -3470 3914 -3018 3286 -3514 3998 2690 3062 3062 -3678 -3494 -2826 -3378 2690 -3994 3186 3958 -3114 -2658 -2662 2702 3618 -4034 -4030 -2662 2834 -4022 2670 2686 -2674 -3998 -2870 2926 3990 3774 -3918 3290 3990 3830 -3918 3406 -3582 -3626 -3886 3930 -2674 3094 -3966 -3434 -4042 2710 -3358 -2826 3462 3218 -3474 -2666 2654 -3074 3038 -3402 3602 -3526 -3318 3982 -3990 3410 3594 3594 -3602 -3658 3674 -3562 -2658 -3082 -3858 2858 -4042 2690 -2734 -3974 2834 2650 -3302 3450 3150 3254 -2766 3998 2698 -3282 3990 -2650 3982 4014 -3166 3790 2674 4042 -3430 2686 -3670 -2802 -2662 3954 3910 3106 -2998 2714 -3538 -3258 -3054 -2742 3878 3302 3218 -3806 -2830 3338 -2730 -3774 -3818 3970 -2650 2694 3374 -3734 -4030 -3374 -2706 -2650 -3822 2694 -3138 4030 3902 -2654 3126 3926 3002 3550 -3886 2698 -2974 -2698 -2754 -3622 3758 3922 -2718 -3986 3050 -2918 2742 -2934 -4042 3938 -2654 3254 -3522 3950 -3770 -2870 -3626 3718 -3750 -2674 -2930 3270 2934 -3714 -2706 -3278 -2782 3970 3382 -3982 2850 3938 3998 -3798 3430 -4006 -3926 4038 -3270 3970 3210 -3994 2914 -2682 -2654 3498 -3058 3922 -3166 3366 -3474 -4042 2786 3974 3682 3754 -4010 -3966 4042 3790 3742 3222 3514 -3154 -3918 -2958 4042 3038 -3906 4042 2674 3026 3094 2726 3514 -3794 2702 3990 3886 -3958 3378 -3966 -2686 4034 -3522 2866 2954 -3174 -3146 3498 -3590 -4038 -2686 -3866 -3798 -3530 3018 -3354 -2650 3710 3618 -4030 -3626 -2894 -2690 4014 2702 3874 2654 -3646 -2926 3942 2678 -3978 3406 -2706 -3306 2746 3270 3070 3666 3370 -3586 2818 2698 3946 3038 -2702 3206 -2690 3118 2666 3970 -3450 -2694 3162 -4034 -3986 -3890 3750 3586 3906 -3734 3450 -2650 -3274 4002 3598 -3934 -4018 -3362 -3218 3346 -2670 2722 -3930 -2690 -3590 -3210 3238 -2994 4030 2682 -2674 3094 -3806 3074 2718 -4002 3350 2942 3554 2734 -2806 -4042 3258 -2806 3918 -3998 -3150 4002 3718 2838 -3710 2694 3178 -3958 -4010 -2786 3998 3418 3942 3998 2902 -3274 -2770 2698 -3938 -2678 3126 3858 -3686 3066 3322 3710 2650 3886 -3694 3786 2878 2686 3986 2654 3158 -3554 4030 -3146 -2650 3670 -3530 3602 -4018 3682 -3538 3882 3150 3258 3782 3046 -3490 -2770 -3898 4034 2826 -3422 -2650 -2694 -3562 3986 3286 -4002 3278 -3714 -3662 3070 -3866 3186 3854 3810 -3534 -2650 3946 -3130 3202 -3470 3298 3230 4038 -3698 2666 2914 -3050 -2986 -2930 3982 -2658 -3994 -2906 -3162 -3446 3654 -2730 -3990 3706 2762 -3034 -3470 3962 3978 -3730 -2706 3742 -3146 -2654 -3274 -2650 2686 -2758 -3566 -3670 -3250 -3462 -4010 -3902 -2706 3158 -3590 2914 -2686 -3194 3878 3866 -3854 2698 -2694 -3166 2654 3166 -2946 4022 3890 2754 -2786 -4006 2886 3510 -3990 -3746 -2762 2766 -3242 -2866 3946 -4038 3278 -3938 3974 4010 -2650 -3154 3930 -2990 -3734 3890 -4018 -3738 2654 -3958 3650 -3590 -2686 3494 -2890 2702 2650 4030 -3958 3070 2742 -3534 -3058 -3526 3702 3894 -2702 -3570 -3618 2846 -3770 3970 2658 -3966 3878 3206 -3362 3082 -2714 -4018 -3890 -2650 4006 -3310 4038 -4034 3918 3434 2650 2758 -2910 2654 3202 3946 -3590 -2750 3010 -2890 -3858 2702 3786 2810 -2962 -3902 -2926 -2922 3058 -2658 -3870 -2982 3986 -3662 -2718 3750 -3686 -3070 3074 3338 -3366 -2650 -3470 -3906 -2662 2770 -3618 3226 -3158 3598 -3874 3114 2926 3950 4018 -3218 -3386 -2658 4030 -3218 -2926 4042 -2650 -3954 -4022 4002 -2774 3470 -3386 4034 2866 -2918 2714 -3070 3654 2706 -3878 -2650 3982 -3030 -3882 -3886 -3030 2898 -3518 -2858 3022 2806 2650 -4042 -3958 -3326 3318 3838 -3350 -3966 -3846 -3490 -3470 -3734 -3990 3934 2966 -2726 -2690 3030 -3574 -4042 -3186 3990 -3926 3346 -3450 2754 -3442 -2678 -3326 -3426 3486 3298 3598 3170 -2870 3086 3986 2806 -2942 3938 3062 3018 2658 3730 3814 2758 3658 4022 2822 2814 3978 3966 -3926 3046 -3466 3726 -2666 2706 -2870 -3630 3670 2742 2690 -3662 -4038 2670 3178 3978 3162 -3466 3982 -3958 3198 -3362 -3874 -2674 3102 3234 -3874 3986 -3470 -3526 2894 3758 3390 -3022 -3394 2694 -3990 3978 3430 -2650 -3838 4042 -3402 3934 -2650 3482 2690 4026 3566 3026 2986 2934 3746 -3590 -3734 -3818 -2698 2906 3670 -2874 4002 4006 -2866 -2766 4034 2654 2890 3454 3558 2762 -3586 -3642 -3422 -2802 -3842 3514 -2690 -2658 4002 2650 -2806 -2802 -3914 3902 -2658 -2878 3214 3410 2650 -3094 3738 -4042 -3498 -3294 2654 -4042 3698 3826 -3586 -3926 -3378 -3162 -2666 3742 -3870 -3842 -3746 3046 2842 -2694 3770 -3370 -4010 4026 -3770 -2914 -3602 3994 3946 3154 2650 -3974 -2966 3742 3602 -3410 -4042 4022 -3698 -3954 -2714 2658 3630 3026 -3606 4010 2850 3514 3966 4038 -2650 -3174 -3938 -2714 -3582 2678 -2954 4042 3738 2650 -3130 3954 3986 4002 -3582 -3526 -3846 -4038 3990 3706 3998 -2814 -2730 -3930 2650 2982 -4006 3874 3998 2842 3194 -3990 -3902 3962 -3926 3654 -3414 -3018 3338 -3138 -3150 3406 3098 2650 3430 3830 2690 3650 2722 -3906 2714 -2690 2662 3766 3822 -3738 2702 3966 -3842 2750 -3534 3350 -3074 -4006 -3194 2806 -3758 -3622 2886 3550 3454 3534 3958 -3102 3886 2658 -3342 2794 3670 3058 3982 -2690 2698 -3554 2690 -3206 3962 3390 -3566 -3442 -2650 3058 3998 3498 -2658 -3710 3786 -2874 -4038 3606 3494 3778 -3242 -4042 3970 -4006 2726 3934 3398 2866 3126 3826 3646 -3254 -2726 -3702 -2990 4018 -4022 3286 -2770 3526 3122 -3686 -2986 -3170 3726 -3978 4042 4006 -2958 2770 3474 -3350 2730 -3694 -3454 2974 -3986 3698 -3530 3810 3086 3602 -3738 -2690 -3438 3150 2690 2698 -4042 3454 -3446 -3354 2690 3582 4034 2854 3846 3666 3278 2910 -2986 2702 2662 3498 3166 2898 3266 2658 -2690 3446 3966 -3218 2650 4018 4034 2982 -3994 3174 2654 3158 -3518 -3006 3730 -4042 2718 -2746 2694 -3990 3250 -2710 3922 2698 -3886 2662 -3094 -2926 -3990 -3406 3710 -4030 3322 3946 3206 -3778 -3594 2650 -3082 3182 2950 -3474 -3842 2718 3190 -3818 4042 3862 -3038 -2970 3942 -3986 3522 -3886 3774 3410 3730 -3154 -3470 3550 -3594 2674 -2658 -3854 -3190 -2662 2658 3322 3958 4038 3182 -3570 -3402 -2658 3998 3542 -3962 3318 2650 -2650 -2650 -3122 4042 2978 2674 -2966 -3130 -3074 3750 3458 3398 3602 -3202 -2650 2650 3054 3654 3466 -3922 -3922 -3654 2858 3626 -4034 -3906 -3998 3914 -3918 -2698 3162 -3802 4010 -3994 3450 3870 -3058 -3186 -3354 3190 -3358 -2654 3034 3822 -2658 -2982 -4002 -2994 2650 -4034 -3790 3310 3126 2650 -2654 -3314 -4014 -4018 -2894 -2662 3978 -3862 2866 -3990 3638 2982 -3994 -3750 -3710 -3990 4038 4002 3186 3254 -3518 3670 2690 3630 3430 2766 -3214 2714 2650 3222 3182 -3690 3998 -3834 3926 3222 -2770 -4022 -4002 -3894 -2666 -3986 3118 -2678 -3270 -2662 -2694 3378 2686 2654 2654 -3254 -3690 -3958 3742 2698 3990 -3070 -3282 -2874 -3486 -2650 -2706 2650 3110 -3926 3054 2982 3462 -3550 -2670 3250 4042 -2698 3494 -3858 -3842 2702 2946 3082 3414 -2902 3882 -3418 -4026 2950 2678 -2742 3206 2650 3950 3126 -3390 -3842 3394 2682 -2942 3178 -2714 -3950 -2782 -2694 -3874 -3426 -3918 -2782 3542 -2934 -3490 -3530 -2650 2670 -2718 2810 2710 2658 3494 3798 4002 2786 3230 3726 2662 3134 2690 3806 3790 2734 3346 -2754 -4002 -3302 -3702 -2658 -4038 -2658 3662 -2730 -4006 3870 2690 -4030 2654 -2694 -3606 3934 2770 2690 -3822 -3654 -3890 4042 -3974 -3058 2698 -3918 2690 2718 3494 3910 4002 3094 2658 2770 -2698 2658 2726 -2686 -3614 -2662 -3386 2894 -3606 2814 2662 -3018 -3882 2746 2982 -3166 -3282 2870 2714 3910 3242 -4002 -3198 -3970 2690 2746 2930 -4038 3714 3982 2678 4042 -3474 2662 4042 3878 2730 -2950 4042 -3458 3186 2866 3846 -2654 -3734 3582 -3742 3622 3774 2658 -3982 -2658 3166 2818 2854 -3998 -4002 -3730 -3006 -2814 2762 2806 -3302 -2990 -3290 3618 -3758 2758 -3026 -4042 2730 -2650 2678 3222 2822 2802 -3974 -3990 -2834 -2914 -3774 3234 -2650 2666 3890 3722 4034 -3374 3906 3986 2650 -3962 -2770 -3914 3098 2722 -2678 2650 -4018 3418 2858 -3782 -3354 -4006 2702 2814 -3714 2942 3970 -3966 -2650 3546 3970 3210 -2862 3446 3258 3182 -2754 -3622 -3894 2830 -3918 3994 -4042 2706 -3342 3066 3622 3674 3170 -3694 -3382 -2878 -2986 2690 -3882 -2850 3402 -3610 -3490 3998 3942 4034 -3258 3358 2814 -2834 -4010 3614 3474 3578 2770 -3294 -2662 2654 4034 -2846 2770 2658 -3262 -3018 -3134 4038 2986 2694 3998 3926 -3342 3914 2650 2674 -2694 -3614 3286 -3906 -2734 3322 2654 3014 -3954 -3494 3366 -2690 3690 -3206 2842 -2658 -2946 -2754 3474 -3290 2806 2650 4042 2774 2886 3858 -4022 -2950 3298 -4038 -3730 -3302 -3378 -2690 4038 -2670 -2866 3338 2654 -2698 -4026 -2774 -2782 -3266 -2974 3246 3490 -3942 2658 -3798 2658 3894 -3402 -3166 2738 -2790 -2650 4042 3866 -3922 -2714 -4018 -2710 -3166 3354 3558 3886 -3546 2794 -3550 3178 -3454 -3862 -3982 -3006 -4002 -2662 2678 -3282 4030 -3898 3526 -3658 -2674 -3650 3966 3498 3242 3134 -3830 3926 2730 2958 2702 2690 -3850 -3730 -2670 -3934 3358 3702 3338 2690 3402 3962 -3998 3590 -3810 2782 2714 -4002 -4042 -3574 -3446 3942 -3426 -2782 2650 -3982 -3726 3146 2978 3106 -4042 -4002 3546 -3974 -2966 2910 3694 3122 -2698 -3530 3454 -3430 4034 3290 -3882 3970 2910 3258 -3130 -2986 -2810 -2690 3890 3538 -3698 -3358 3318 -3910 -3106 3886 3702 3774 2650 3918 4042 3674 4038 -2658 3158 3866 3462 3450 3922 -3998 -3930 -2830 -3930 2990 3170 -3266 -2982 -2742 -3358 3230 -3914 -3214 -3486 -2718 3722 2854 2906 3870 -3334 -3902 3042 4034 2786 3074 2946 2662 -2830 -3914 2826 3486 -2690 3930 2650 -2738 4034 -3374 -3126 3270 -3022 -3474 2722 -3238 4038 2650 3222 -3986 2690 4010 3878 3906 -3426 -2658 3302 -3438 -3894 3758 3946 -3886 2726 -3710 -3438 3442 -3534 3958 2834 -3126 2650 2874 3398 -3290 2942 -3282 -2730 -4018 2730 3094 -3418 4022 3722 3318 3178 -3414 -3850 -2650 3694 -3026 3758 3106 2798 2702 -3014 3746 3286 3250 -3870 -3414 3562 -3898 -3210 3082 3998 4014 3990 -3650 -4022 3406 -2886 -2690 3434 -3254 -3842 -3858 -3470 -3238 3954 -2782 3458 2650 -3886 -2702 -3986 -3702 2718 3986 2854 2662 -3422 -3958 -2650 -2650 -3998 -3410 2934 3102 3422 -4030 -4042 -3898 3930 2954 2690 -4026 3630 3898 -3978 -4002 -3434 3994 3430 3110 4042 3394 2878 3226 4002 3370 2670 3606 3422 3550 -3958 -3522 3138 -2910 4010 3970 -3882 3506 -3986 -4030 3326 3122 3262 -3930 -3354

Verifier Data (download as text)

8110 unsatisfied constraints, 54022 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/node10/watcher-275628-1169224173 -o ROOT/results/node10/solver-275628-1169224173 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275628-1169224173/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.00 2.01 2.00 4/94 10609
/proc/meminfo: memFree=1290352/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=906644 CPUtime=0.02
/proc/10608/stat : 10608 (java) S 10606 10608 9979 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 270812503 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 226661 1817 1036 14 0 214244 0
[pid=10608/tid=10610] ppid=10606 vsize=906644 CPUtime=0
/proc/10608/task/10610/stat : 10610 (java) R 10606 10608 9979 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270812506 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104686 s]
/proc/loadavg: 2.00 2.01 2.00 4/94 10609
/proc/meminfo: memFree=1290352/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=914988 CPUtime=0.09
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 3001 0 1 0 7 2 0 0 17 0 8 0 270812503 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072946466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228747 2747 1428 14 0 215242 0
[pid=10608/tid=10610] ppid=10606 vsize=914988 CPUtime=0
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 270812506 936947712 2747 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.512743 s]
/proc/loadavg: 2.00 2.01 2.00 4/94 10609
/proc/meminfo: memFree=1290352/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915332 CPUtime=0.5
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 7851 0 1 0 45 5 0 0 18 0 8 0 270812503 937299968 7590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228833 7590 2140 14 0 215303 0
[pid=10608/tid=10610] ppid=10606 vsize=915332 CPUtime=0
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 270812506 937299968 7590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33386 s]
/proc/loadavg: 2.00 2.01 2.00 4/101 10616
/proc/meminfo: memFree=1198392/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915604 CPUtime=1.3
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 28865 0 1 0 115 15 0 0 18 0 8 0 270812503 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073544477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228901 28602 2162 14 0 215371 0
[pid=10608/tid=10610] ppid=10606 vsize=915604 CPUtime=0.11
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 12308 0 0 0 7 4 0 0 16 0 8 0 270812506 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270812507 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270812507 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915604 CPUtime=0.17
/proc/10608/task/10614/stat : 10614 (java) R 10606 10608 9979 0 -1 64 406 0 0 0 16 1 0 0 19 0 8 0 270812510 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937578496 28602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915604

[startup+2.97109 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 10616
/proc/meminfo: memFree=1174776/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915604 CPUtime=2.93
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 32069 0 1 0 276 17 0 0 25 0 8 0 270812503 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228901 31800 2162 14 0 215371 0
[pid=10608/tid=10610] ppid=10606 vsize=915604 CPUtime=0.29
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 15505 0 0 0 23 6 0 0 16 0 8 0 270812506 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270812507 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270812507 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915604 CPUtime=0.17
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 407 0 0 0 16 1 0 0 16 0 8 0 270812510 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915604 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937578496 31800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915604

[startup+6.26953 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 10616
/proc/meminfo: memFree=1167288/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=6.2
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 33060 0 1 0 601 19 0 0 25 0 8 0 270812503 937721856 32788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228936 32788 2182 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=0.36
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 16420 0 0 0 29 7 0 0 16 0 8 0 270812506 937721856 32788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 32788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 32788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 32788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.19
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 418 0 0 0 18 1 0 0 16 0 8 0 270812510 937721856 32788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 32788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 32788 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.7444 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 10616
/proc/meminfo: memFree=1167288/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=12.61
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 33063 0 1 0 1241 20 0 0 25 0 8 0 270812503 937721856 32790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228936 32790 2182 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=0.36
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 16420 0 0 0 29 7 0 0 16 0 8 0 270812506 937721856 32790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 32790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 32790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 32790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.2
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 420 0 0 0 19 1 0 0 16 0 8 0 270812510 937721856 32790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 32790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 32790 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.6132 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 10616
/proc/meminfo: memFree=1167416/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=25.36
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 33074 0 1 0 2516 20 0 0 25 0 8 0 270812503 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228936 32801 2183 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=0.36
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 16420 0 0 0 29 7 0 0 16 0 8 0 270812506 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.21
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 430 0 0 0 20 1 0 0 16 0 8 0 270812510 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 32801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915744

[startup+51.2267 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 10616
/proc/meminfo: memFree=1161912/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=50.73
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 34507 0 1 0 5052 21 0 0 25 0 8 0 270812503 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228936 34232 2183 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=0.43
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 17850 0 0 0 36 7 0 0 16 0 8 0 270812506 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270812507 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.21
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 270812510 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 34232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915744

[startup+102.482 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 10616
/proc/meminfo: memFree=1107640/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=101.51
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48519 0 1 0 10121 30 0 0 25 0 8 0 270812503 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10608/statm: 228936 48096 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.28
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 467 0 0 0 27 1 0 0 16 0 8 0 270812510 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915744

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

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

[startup+2084.42 s]
/proc/loadavg: 2.08 2.02 2.01 3/93 10862
/proc/meminfo: memFree=1109304/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=2071.04
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48533 0 1 0 207025 79 0 0 25 0 8 0 270812503 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10608/statm: 228936 48108 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.3
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2071.04
Current children cumulated vsize (KiB) 915744

[startup+2144.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 10862
/proc/meminfo: memFree=1109368/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=2131.05
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48533 0 1 0 213025 80 0 0 25 0 8 0 270812503 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10608/statm: 228936 48108 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.3
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2131.05
Current children cumulated vsize (KiB) 915744

[startup+2204.58 s]
/proc/loadavg: 2.06 2.02 2.00 4/93 10862
/proc/meminfo: memFree=1109368/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=2191.06
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48533 0 1 0 219025 81 0 0 25 0 8 0 270812503 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10608/statm: 228936 48108 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.3
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2191.06
Current children cumulated vsize (KiB) 915744

[startup+2264.66 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 10862
/proc/meminfo: memFree=1109368/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=2251.08
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48533 0 1 0 225027 81 0 0 25 0 8 0 270812503 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10608/statm: 228936 48108 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.3
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2251.08
Current children cumulated vsize (KiB) 915744

[startup+2324.74 s]
/proc/loadavg: 2.12 2.04 2.01 3/93 10862
/proc/meminfo: memFree=1109368/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=2311.09
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48533 0 1 0 231027 82 0 0 25 0 8 0 270812503 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834087 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10608/statm: 228936 48108 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.3
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2311.09
Current children cumulated vsize (KiB) 915744

[startup+2384.82 s]
/proc/loadavg: 2.04 2.03 2.00 3/93 10862
/proc/meminfo: memFree=1109432/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=2371.1
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48533 0 1 0 237027 83 0 0 25 0 8 0 270812503 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10608/statm: 228936 48108 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.3
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.1
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.84 s]
/proc/loadavg: 2.03 2.03 2.00 3/93 10862
/proc/meminfo: memFree=1109432/2055920 swapFree=4178232/4192956
[pid=10608] ppid=10606 vsize=915744 CPUtime=2400.1
/proc/10608/stat : 10608 (java) R 10606 10608 9979 0 -1 0 48533 0 1 0 239927 83 0 0 25 0 8 0 270812503 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10608/statm: 228936 48108 2501 14 0 215406 0
[pid=10608/tid=10610] ppid=10606 vsize=915744 CPUtime=1.67
/proc/10608/task/10610/stat : 10610 (java) S 10606 10608 9979 0 -1 64 31471 0 0 0 154 13 0 0 16 0 8 0 270812506 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10611] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10611/stat : 10611 (java) S 10606 10608 9979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10612] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10612/stat : 10612 (java) S 10606 10608 9979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270812507 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10613] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10613/stat : 10613 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10614] ppid=10606 vsize=915744 CPUtime=0.3
/proc/10608/task/10614/stat : 10614 (java) S 10606 10608 9979 0 -1 64 479 0 0 0 29 1 0 0 16 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10608/tid=10615] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10615/stat : 10615 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10608/tid=10616] ppid=10606 vsize=915744 CPUtime=0
/proc/10608/task/10616/stat : 10616 (java) S 10606 10608 9979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270812510 937721856 48108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2413.89
CPU time (s): 2400.15
CPU user time (s): 2399.28
CPU system time (s): 0.867868
CPU usage (%): 99.431
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.28
system time used= 0.867868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48556
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= 50055
involuntary context switches= 97775

runsolver used 3.12852 s user time and 7.83681 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Fri Jan 19 16:29:34 UTC 2007


IDJOB= 275628
IDBENCH= 4171
IDSOLVER= 69
FILE ID= node10/275628-1169224173

PBS_JOBID= 3588950

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d9a5d0f42873de31e4aba17b1bc51fb2

RANDOM SEED= 642265642

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.232
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.232
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:       1290832 kB
Buffers:         58832 kB
Cached:         586508 kB
SwapCached:       2360 kB
Active:         194896 kB
Inactive:       493796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1290832 kB
SwapTotal:     4192956 kB
SwapFree:      4178232 kB
Dirty:           10364 kB
Writeback:           0 kB
Mapped:          60344 kB
Slab:            61052 kB
Committed_AS:  7141184 kB
PageTables:       2308 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 node10 on Fri Jan 19 17:09:48 UTC 2007