Trace number 275631

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.1 2414.22

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275631-1169224224/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.87	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.87	       =>  wckTime=0.561  cpuTime=0.37  mem=44M623
0.87	   
0.87	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
61.53	   
61.53	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 107M450)
65.45	     nbConstraints=62132  nbConvertedConstraints=513  nbConvertConstraintsChecks=185637828  nbExtensionStructures=473
65.45	     nbSharedExtensionStructures=40  nbConflictsStructures=473  nbSharedConflictsStructures=40
65.45	     nbSharedBinaryRepresentations=525467  nbEvaluationManagers=15417  nbSharedEvaluationManagers=46202  maxDegree=105
65.45	     maxArity=2
65.45	       =>  wckTime=65.139  cpuTime=63.1  mem=119M915
65.92	   
65.92	   solver LocalSearchSolver being built... 
65.97	       =>  wckTime=65.654  cpuTime=63.15  mem=123M241
67.00	
67.00	s SATISFIABLE
67.00	o 45913
67.00	c 16219
68.00	o 45930
68.00	c 16202
68.50	o 45945
68.50	c 16187
68.82	o 45965
68.82	c 16167
69.18	o 45980
69.18	c 16152
69.50	o 45992
69.50	c 16140
69.76	o 45999
69.76	c 16133
70.02	o 46012
70.02	c 16120
70.26	o 46027
70.26	c 16105
70.44	o 46042
70.44	c 16090
70.74	o 46053
70.74	c 16079
70.91	o 46066
70.91	c 16066
71.17	o 46073
71.17	c 16059
71.41	o 46076
71.41	c 16056
71.69	o 46081
71.69	c 16051
72.10	o 46093
72.10	c 16039
72.29	o 46109
72.29	c 16023
72.53	o 46118
72.53	c 16014
72.73	o 46124
72.73	c 16008
72.90	o 46127
72.90	c 16005
73.09	o 46130
73.09	c 16002
73.33	o 46142
73.33	c 15990
73.48	o 46148
73.48	c 15984
73.70	o 46153
73.70	c 15979
73.91	o 46157
73.91	c 15975
74.09	o 46160
74.09	c 15972
74.32	o 46162
74.32	c 15970
74.50	o 46175
74.50	c 15957
74.74	o 46180
74.74	c 15952
74.85	o 46201
74.85	c 15931
75.06	o 46202
75.06	c 15930
75.31	o 46209
75.31	c 15923
75.55	o 46211
75.55	c 15921
75.97	o 46214
75.97	c 15918
76.16	o 46227
76.16	c 15905
76.31	o 46239
76.31	c 15893
76.46	o 46248
76.46	c 15884
76.59	o 46259
76.59	c 15873
76.78	o 46263
76.78	c 15869
77.03	o 46270
77.03	c 15862
77.32	o 46272
77.32	c 15860
77.84	o 46275
77.84	c 15857
78.06	o 46280
78.06	c 15852
78.31	o 46290
78.31	c 15842
78.56	o 46297
78.56	c 15835
78.93	o 46299
78.93	c 15833
79.32	o 46300
79.32	c 15832
79.50	o 46305
79.50	c 15827
79.70	o 46312
79.70	c 15820
79.92	o 46329
79.92	c 15803
80.14	o 46338
80.14	c 15794
80.32	o 46347
80.32	c 15785
80.39	o 46350
80.39	c 15782
80.64	o 46355
80.64	c 15777
80.83	o 46360
80.83	c 15772
81.05	o 46364
81.05	c 15768
81.35	o 46373
81.35	c 15759
81.71	o 46374
81.71	c 15758
82.25	o 46377
82.25	c 15755
82.39	o 46389
82.39	c 15743
82.67	o 46392
82.67	c 15740
82.83	o 46398
82.83	c 15734
83.06	o 46401
83.06	c 15731
83.48	o 46405
83.48	c 15727
83.63	o 46411
83.63	c 15721
83.77	o 46424
83.77	c 15708
84.06	o 46431
84.06	c 15701
84.27	o 46438
84.27	c 15694
84.51	o 46443
84.51	c 15689
84.93	o 46450
84.93	c 15682
85.07	o 46452
85.07	c 15680
85.38	o 46457
85.38	c 15675
85.56	o 46459
85.56	c 15673
85.91	o 46461
85.91	c 15671
86.09	o 46468
86.09	c 15664
86.28	o 46470
86.28	c 15662
86.46	o 46480
86.46	c 15652
86.65	o 46484
86.65	c 15648
86.90	o 46486
86.90	c 15646
87.10	o 46490
87.10	c 15642
87.36	o 46499
87.36	c 15633
87.53	o 46508
87.53	c 15624
87.72	o 46516
87.72	c 15616
87.95	o 46517
87.95	c 15615
88.22	o 46530
88.22	c 15602
88.47	o 46532
88.47	c 15600
88.73	o 46535
88.74	c 15597
89.26	o 46536
89.26	c 15596
89.50	o 46538
89.50	c 15594
89.67	o 46546
89.67	c 15586
89.83	o 46552
89.83	c 15580
90.08	o 46556
90.08	c 15576
90.52	o 46558
90.52	c 15574
90.69	o 46566
90.69	c 15566
91.00	o 46575
91.00	c 15557
91.23	o 46579
91.23	c 15553
91.45	o 46581
91.45	c 15551
91.75	o 46583
91.75	c 15549
92.03	o 46592
92.03	c 15540
92.24	o 46598
92.24	c 15534
92.46	o 46607
92.46	c 15525
92.62	o 46615
92.62	c 15517
92.88	o 46623
92.88	c 15509
93.03	o 46624
93.03	c 15508
93.27	o 46625
93.27	c 15507
93.53	o 46628
93.53	c 15504
93.79	o 46631
93.79	c 15501
94.50	o 46633
94.50	c 15499
94.86	o 46639
94.86	c 15493
95.28	o 46647
95.28	c 15485
95.67	o 46653
95.67	c 15479
96.06	o 46656
96.06	c 15476
96.40	o 46662
96.40	c 15470
97.07	o 46665
97.07	c 15467
97.42	o 46676
97.42	c 15456
97.72	o 46684
97.72	c 15448
98.03	o 46687
98.03	c 15445
98.32	o 46692
98.32	c 15440
98.68	o 46699
98.68	c 15433
98.96	o 46712
98.96	c 15420
99.48	o 46714
99.48	c 15418
99.82	o 46722
99.82	c 15410
100.42	o 46727
100.42	c 15405
100.73	o 46735
100.73	c 15397
100.95	o 46742
100.95	c 15390
101.26	o 46743
101.26	c 15389
101.55	o 46750
101.55	c 15382
101.82	o 46754
101.82	c 15378
102.14	o 46755
102.14	c 15377
102.45	o 46765
102.45	c 15367
103.08	o 46777
103.08	c 15355
103.35	o 46786
103.35	c 15346
103.74	o 46790
103.74	c 15342
104.36	o 46796
104.36	c 15336
104.78	o 46804
104.78	c 15328
105.12	o 46819
105.12	c 15313
106.16	o 46829
106.16	c 15303
106.58	o 46833
106.58	c 15299
106.93	o 46835
106.93	c 15297
107.28	o 46850
107.28	c 15282
107.63	o 46852
107.63	c 15280
107.92	o 46858
107.92	c 15274
108.38	o 46865
108.38	c 15267
109.20	o 46871
109.20	c 15261
109.61	o 46874
109.61	c 15258
109.96	o 46876
109.96	c 15256
110.30	o 46882
110.30	c 15250
110.64	o 46889
110.64	c 15243
111.07	o 46891
111.07	c 15241
111.44	o 46895
111.44	c 15237
111.83	o 46902
111.83	c 15230
112.24	o 46903
112.24	c 15229
112.54	o 46915
112.54	c 15217
113.74	o 46921
113.74	c 15211
114.06	o 46927
114.06	c 15205
114.39	o 46934
114.39	c 15198
114.73	o 46937
114.73	c 15195
115.20	o 46943
115.20	c 15189
116.30	o 46947
116.30	c 15185
116.73	o 46952
116.73	c 15180
117.06	o 46958
117.06	c 15174
117.79	o 46969
117.79	c 15163
118.07	o 46990
118.07	c 15142
119.10	o 46999
119.10	c 15133
119.52	o 47000
119.52	c 15132
119.90	o 47003
119.90	c 15129
120.41	o 47009
120.41	c 15123
120.82	o 47012
120.82	c 15120
121.22	o 47014
121.22	c 15118
121.64	o 47024
121.64	c 15108
122.08	o 47029
122.08	c 15103
122.50	o 47040
122.50	c 15092
122.94	o 47049
122.94	c 15083
123.42	o 47056
123.42	c 15076
123.80	o 47063
123.80	c 15069
124.25	o 47069
124.25	c 15063
124.67	o 47074
124.67	c 15058
125.09	o 47079
125.09	c 15053
125.54	o 47084
125.54	c 15048
126.00	o 47088
126.00	c 15044
126.42	o 47099
126.42	c 15033
126.78	o 47103
126.78	c 15029
127.13	o 47112
127.13	c 15020
127.77	o 47113
127.77	c 15019
128.94	o 47116
128.94	c 15016
129.34	o 47125
129.34	c 15007
129.72	o 47133
129.72	c 14999
130.25	o 47146
130.25	c 14986
130.68	o 47148
130.68	c 14984
131.19	o 47150
131.19	c 14982
131.70	o 47158
131.70	c 14974
132.22	o 47165
132.22	c 14967
132.85	o 47173
132.85	c 14959
133.40	o 47184
133.40	c 14948
133.95	o 47194
133.95	c 14938
134.43	o 47198
134.43	c 14934
134.89	o 47204
134.89	c 14928
135.35	o 47215
135.35	c 14917
135.85	o 47218
135.85	c 14914
136.34	o 47220
136.34	c 14912
136.85	o 47224
136.85	c 14908
137.35	o 47225
137.35	c 14907
137.77	o 47234
137.77	c 14898
138.21	o 47242
138.21	c 14890
138.71	o 47252
138.71	c 14880
139.13	o 47255
139.13	c 14877
140.01	o 47263
140.01	c 14869
140.53	o 47277
140.53	c 14855
140.95	o 47280
140.95	c 14852
141.31	o 47285
141.31	c 14847
141.81	o 47289
141.81	c 14843
142.32	o 47296
142.32	c 14836
142.75	o 47299
142.75	c 14833
143.30	o 47303
143.30	c 14829
143.83	o 47306
143.83	c 14826
144.27	o 47316
144.27	c 14816
145.32	o 47323
145.32	c 14809
145.79	o 47334
145.79	c 14798
146.27	o 47342
146.27	c 14790
148.23	o 47343
148.23	c 14789
148.71	o 47353
148.71	c 14779
149.24	o 47364
149.24	c 14768
149.66	o 47371
149.66	c 14761
150.09	o 47372
150.09	c 14760
150.61	o 47390
150.61	c 14742
151.12	o 47391
151.12	c 14741
151.59	o 47402
151.59	c 14730
152.09	o 47410
152.09	c 14722
152.60	o 47412
152.60	c 14720
153.07	o 47415
153.07	c 14717
153.58	o 47426
153.58	c 14706
154.11	o 47435
154.11	c 14697
154.66	o 47444
154.66	c 14688
155.16	o 47449
155.16	c 14683
155.64	o 47457
155.64	c 14675
156.09	o 47464
156.09	c 14668
156.59	o 47470
156.59	c 14662
157.10	o 47476
157.10	c 14656
157.65	o 47481
157.65	c 14651
158.20	o 47486
158.20	c 14646
158.67	o 47491
158.67	c 14641
159.23	o 47493
159.23	c 14639
159.72	o 47494
159.72	c 14638
160.21	o 47495
160.21	c 14637
162.10	o 47500
162.10	c 14632
163.31	o 47508
163.31	c 14624
163.94	o 47516
163.94	c 14616
164.58	o 47527
164.58	c 14605
165.84	o 47530
165.84	c 14602
166.43	o 47535
166.43	c 14597
167.02	o 47542
167.02	c 14590
167.61	o 47552
167.61	c 14580
168.10	o 47557
168.10	c 14575
168.67	o 47560
168.67	c 14572
169.09	o 47561
169.09	c 14571
169.60	o 47569
169.60	c 14563
170.19	o 47571
170.19	c 14561
170.84	o 47575
170.84	c 14557
171.41	o 47578
171.41	c 14554
172.03	o 47588
172.03	c 14544
172.63	o 47598
172.63	c 14534
173.13	o 47610
173.13	c 14522
173.69	o 47612
173.69	c 14520
174.26	o 47614
174.26	c 14518
174.78	o 47619
174.78	c 14513
175.80	o 47628
175.80	c 14504
176.28	o 47633
176.28	c 14499
176.69	o 47641
176.69	c 14491
177.13	o 47645
177.13	c 14487
177.63	o 47653
177.63	c 14479
178.09	o 47657
178.09	c 14475
178.54	o 47669
178.54	c 14463
179.05	o 47671
179.05	c 14461
179.44	o 47678
179.44	c 14454
179.88	o 47691
179.88	c 14441
180.28	o 47700
180.28	c 14432
180.76	o 47710
180.76	c 14422
181.73	o 47715
181.73	c 14417
182.21	o 47722
182.21	c 14410
183.15	o 47725
183.15	c 14407
183.63	o 47735
183.63	c 14397
184.26	o 47737
184.26	c 14395
185.40	o 47747
185.40	c 14385
186.04	o 47751
186.04	c 14381
186.60	o 47759
186.60	c 14373
187.16	o 47767
187.16	c 14365
187.73	o 47773
187.73	c 14359
188.27	o 47778
188.27	c 14354
188.81	o 47782
188.81	c 14350
189.32	o 47795
189.32	c 14337
189.81	o 47803
189.81	c 14329
190.32	o 47809
190.32	c 14323
190.87	o 47815
190.87	c 14317
191.41	o 47820
191.41	c 14312
191.90	o 47824
191.90	c 14308
194.00	o 47827
194.00	c 14305
194.54	o 47830
194.54	c 14302
195.56	o 47831
195.56	c 14301
196.05	o 47833
196.05	c 14299
196.48	o 47835
196.48	c 14297
197.01	o 47837
197.01	c 14295
197.48	o 47839
197.48	c 14293
198.01	o 47841
198.01	c 14291
198.61	o 47842
198.61	c 14290
199.10	o 47843
199.10	c 14289
200.61	o 47851
200.61	c 14281
201.21	o 47858
201.21	c 14274
201.66	o 47868
201.66	c 14264
202.21	o 47874
202.21	c 14258
202.72	o 47880
202.72	c 14252
203.28	o 47884
203.28	c 14248
203.82	o 47885
203.82	c 14247
205.59	o 47887
205.59	c 14245
206.23	o 47889
206.23	c 14243
206.76	o 47896
206.76	c 14236
207.45	o 47898
207.45	c 14234
207.99	o 47899
207.99	c 14233
209.24	o 47907
209.24	c 14225
209.82	o 47915
209.82	c 14217
210.45	o 47920
210.45	c 14212
211.02	o 47928
211.02	c 14204
211.67	o 47934
211.67	c 14198
212.19	o 47943
212.19	c 14189
212.80	o 47946
212.80	c 14186
213.37	o 47953
213.37	c 14179
213.94	o 47966
213.94	c 14166
214.53	o 47972
214.53	c 14160
215.10	o 47982
215.10	c 14150
215.64	o 47989
215.64	c 14143
216.25	o 47994
216.25	c 14138
216.90	o 47997
216.90	c 14135
217.44	o 48004
217.44	c 14128
218.01	o 48013
218.01	c 14119
218.65	o 48019
218.65	c 14113
219.32	o 48025
219.32	c 14107
220.02	o 48029
220.02	c 14103
220.64	o 48035
220.64	c 14097
221.23	o 48042
221.23	c 14090
223.14	o 48054
223.14	c 14078
225.00	o 48063
225.00	c 14069
225.62	o 48071
225.62	c 14061
226.23	o 48077
226.23	c 14055
226.84	o 48083
226.84	c 14049
227.47	o 48089
227.47	c 14043
228.06	o 48092
228.06	c 14040
228.66	o 48097
228.66	c 14035
229.26	o 48102
229.26	c 14030
229.87	o 48106
229.87	c 14026
230.46	o 48110
230.46	c 14022
231.12	o 48114
231.12	c 14018
231.70	o 48117
231.70	c 14015
232.26	o 48119
232.26	c 14013
232.86	o 48122
232.86	c 14010
233.47	o 48124
233.47	c 14008
234.04	o 48126
234.04	c 14006
234.63	o 48128
234.63	c 14004
235.29	o 48130
235.29	c 14002
235.94	o 48131
235.94	c 14001
236.56	o 48132
236.56	c 14000
237.72	o 48136
237.72	c 13996
238.35	o 48142
238.35	c 13990
238.96	o 48146
238.96	c 13986
239.60	o 48153
239.60	c 13979
240.22	o 48163
240.22	c 13969
240.81	o 48171
240.81	c 13961
241.36	o 48179
241.36	c 13953
242.01	o 48186
242.01	c 13946
242.62	o 48190
242.62	c 13942
243.74	o 48198
243.74	c 13934
244.28	o 48200
244.28	c 13932
244.85	o 48209
244.85	c 13923
245.43	o 48210
245.43	c 13922
246.07	o 48216
246.07	c 13916
246.65	o 48223
246.65	c 13909
247.85	o 48227
247.85	c 13905
248.47	o 48228
248.47	c 13904
249.54	o 48231
249.54	c 13901
252.18	o 48235
252.18	c 13897
252.70	o 48244
252.70	c 13888
253.23	o 48250
253.23	c 13882
253.78	o 48257
253.78	c 13875
254.81	o 48259
254.81	c 13873
255.34	o 48262
255.34	c 13870
255.97	o 48270
255.97	c 13862
256.57	o 48276
256.57	c 13856
257.12	o 48285
257.12	c 13847
257.68	o 48286
257.68	c 13846
258.20	o 48292
258.20	c 13840
258.77	o 48303
258.77	c 13829
259.33	o 48312
259.33	c 13820
259.89	o 48315
259.89	c 13817
260.49	o 48316
260.49	c 13816
261.10	o 48325
261.10	c 13807
261.72	o 48328
261.72	c 13804
262.24	o 48340
262.25	c 13792
262.78	o 48344
262.78	c 13788
263.34	o 48353
263.34	c 13779
263.88	o 48366
263.88	c 13766
264.39	o 48368
264.39	c 13764
264.96	o 48371
264.96	c 13761
265.58	o 48382
265.58	c 13750
266.13	o 48390
266.13	c 13742
266.66	o 48396
266.66	c 13736
267.25	o 48397
267.25	c 13735
267.84	o 48404
267.84	c 13728
268.48	o 48407
268.48	c 13725
269.70	o 48411
269.70	c 13721
270.27	o 48415
270.27	c 13717
270.85	o 48421
270.85	c 13711
271.40	o 48433
271.40	c 13699
272.02	o 48442
272.02	c 13690
272.60	o 48448
272.60	c 13684
273.20	o 48454
273.20	c 13678
273.80	o 48459
273.80	c 13673
274.43	o 48464
274.43	c 13668
275.06	o 48469
275.06	c 13663
275.64	o 48480
275.64	c 13652
276.25	o 48485
276.25	c 13647
276.90	o 48489
276.90	c 13643
277.49	o 48495
277.49	c 13637
278.09	o 48505
278.09	c 13627
278.70	o 48509
278.70	c 13623
279.27	o 48513
279.27	c 13619
279.87	o 48516
279.87	c 13616
280.47	o 48519
280.47	c 13613
281.05	o 48522
281.05	c 13610
281.67	o 48527
281.67	c 13605
282.21	o 48530
282.21	c 13602
282.81	o 48533
282.81	c 13599
283.47	o 48536
283.47	c 13596
284.05	o 48537
284.05	c 13595
284.60	o 48540
284.60	c 13592
285.22	o 48543
285.22	c 13589
285.79	o 48546
285.79	c 13586
286.41	o 48549
286.41	c 13583
287.01	o 48552
287.01	c 13580
287.59	o 48554
287.59	c 13578
288.18	o 48555
288.18	c 13577
288.81	o 48560
288.81	c 13572
291.24	o 48562
291.24	c 13570
291.84	o 48568
291.84	c 13564
292.45	o 48575
292.45	c 13557
293.03	o 48579
293.03	c 13553
293.64	o 48588
293.64	c 13544
294.78	o 48590
294.78	c 13542
295.50	o 48594
295.50	c 13538
296.20	o 48602
296.20	c 13530
296.94	o 48612
296.94	c 13520
298.31	o 48618
298.31	c 13514
299.00	o 48630
299.00	c 13502
300.53	o 48636
300.53	c 13496
301.37	o 48641
301.37	c 13491
302.19	o 48642
302.19	c 13490
302.93	o 48644
302.93	c 13488
303.67	o 48645
303.67	c 13487
304.49	o 48650
304.49	c 13482
305.21	o 48654
305.21	c 13478
305.98	o 48655
305.98	c 13477
306.77	o 48663
306.77	c 13469
307.55	o 48670
307.55	c 13462
308.36	o 48677
308.36	c 13455
309.08	o 48683
309.08	c 13449
309.77	o 48684
309.77	c 13448
310.41	o 48685
310.41	c 13447
311.17	o 48691
311.17	c 13441
311.93	o 48692
311.93	c 13440
312.76	o 48696
312.76	c 13436
314.15	o 48697
314.15	c 13435
315.53	o 48705
315.53	c 13427
316.22	o 48713
316.22	c 13419
317.03	o 48714
317.03	c 13418
318.64	o 48716
318.64	c 13416
319.39	o 48719
319.39	c 13413
320.21	o 48725
320.21	c 13407
320.99	o 48729
320.99	c 13403
322.57	o 48737
322.57	c 13395
323.30	o 48740
323.30	c 13392
324.08	o 48749
324.08	c 13383
324.85	o 48754
324.85	c 13378
325.67	o 48763
325.67	c 13369
326.46	o 48767
326.46	c 13365
327.20	o 48769
327.20	c 13363
327.95	o 48777
327.95	c 13355
328.71	o 48780
328.71	c 13352
329.49	o 48783
329.49	c 13349
330.25	o 48786
330.25	c 13346
331.01	o 48789
331.01	c 13343
331.78	o 48791
331.78	c 13341
332.57	o 48797
332.57	c 13335
333.33	o 48804
333.33	c 13328
334.09	o 48807
334.09	c 13325
334.81	o 48814
334.81	c 13318
335.62	o 48816
335.62	c 13316
336.39	o 48818
336.39	c 13314
337.11	o 48819
337.11	c 13313
337.92	o 48820
337.92	c 13312
342.69	o 48826
342.69	c 13306
343.60	o 48827
343.60	c 13305
344.41	o 48834
344.41	c 13298
345.18	o 48842
345.18	c 13290
345.98	o 48844
345.98	c 13288
346.73	o 48851
346.73	c 13281
347.53	o 48854
347.53	c 13278
348.34	o 48863
348.34	c 13269
349.06	o 48864
349.06	c 13268
350.54	o 48867
350.54	c 13265
351.33	o 48877
351.33	c 13255
352.00	o 48879
352.00	c 13253
352.66	o 48884
352.66	c 13248
353.36	o 48887
353.37	c 13245
354.04	o 48896
354.04	c 13236
354.78	o 48898
354.78	c 13234
355.51	o 48899
355.51	c 13233
356.24	o 48904
356.24	c 13228
357.63	o 48907
357.63	c 13225
358.31	o 48910
358.31	c 13222
359.03	o 48916
359.03	c 13216
359.72	o 48919
359.72	c 13213
360.49	o 48922
360.49	c 13210
361.19	o 48925
361.19	c 13207
361.95	o 48926
361.95	c 13206
362.69	o 48936
362.69	c 13196
363.38	o 48938
363.38	c 13194
364.03	o 48947
364.03	c 13185
364.66	o 48950
364.66	c 13182
365.96	o 48951
365.96	c 13181
366.64	o 48956
366.64	c 13176
367.37	o 48967
367.37	c 13165
368.09	o 48969
368.09	c 13163
368.74	o 48974
368.74	c 13158
369.42	o 48978
369.42	c 13154
370.13	o 48986
370.13	c 13146
370.81	o 48994
370.81	c 13138
371.59	o 48999
371.59	c 13133
372.35	o 49000
372.35	c 13132
373.09	o 49008
373.09	c 13124
373.88	o 49016
373.88	c 13116
374.59	o 49018
374.59	c 13114
375.32	o 49023
375.32	c 13109
376.07	o 49027
376.07	c 13105
376.81	o 49030
376.81	c 13102
378.31	o 49034
378.31	c 13098
379.97	o 49035
379.97	c 13097
380.68	o 49044
380.68	c 13088
381.37	o 49045
381.37	c 13087
382.18	o 49052
382.18	c 13080
383.04	o 49057
383.04	c 13075
383.79	o 49061
383.79	c 13071
384.53	o 49065
384.53	c 13067
385.33	o 49067
385.33	c 13065
386.21	o 49070
386.21	c 13062
387.95	o 49074
387.95	c 13058
388.72	o 49077
388.72	c 13055
389.48	o 49080
389.48	c 13052
390.26	o 49084
390.26	c 13048
391.08	o 49090
391.08	c 13042
391.89	o 49094
391.89	c 13038
394.44	o 49096
394.44	c 13036
396.19	o 49097
396.19	c 13035
397.14	o 49098
397.14	c 13034
398.03	o 49103
398.03	c 13029
398.92	o 49108
398.92	c 13024
399.79	o 49110
399.79	c 13022
400.63	o 49120
400.63	c 13012
401.42	o 49123
401.42	c 13009
403.04	o 49129
403.04	c 13003
403.89	o 49134
403.89	c 12998
406.17	o 49135
406.17	c 12997
406.93	o 49143
406.93	c 12989
407.66	o 49150
407.66	c 12982
408.40	o 49158
408.40	c 12974
409.19	o 49167
409.19	c 12965
410.00	o 49174
410.00	c 12958
410.77	o 49176
410.77	c 12956
411.62	o 49180
411.62	c 12952
414.47	o 49184
414.47	c 12948
415.18	o 49188
415.18	c 12944
415.87	o 49191
415.87	c 12941
416.54	o 49194
416.54	c 12938
417.29	o 49197
417.29	c 12935
418.09	o 49198
418.09	c 12934
418.90	o 49209
418.90	c 12923
419.58	o 49210
419.58	c 12922
420.25	o 49219
420.25	c 12913
421.61	o 49220
421.61	c 12912
422.22	o 49223
422.23	c 12909
422.93	o 49227
422.93	c 12905
423.63	o 49237
423.63	c 12895
424.29	o 49240
424.29	c 12892
425.79	o 49250
425.79	c 12882
426.59	o 49257
426.59	c 12875
427.47	o 49264
427.47	c 12868
430.65	o 49270
430.65	c 12862
431.39	o 49274
431.39	c 12858
432.14	o 49277
432.14	c 12855
432.86	o 49285
432.86	c 12847
433.63	o 49287
433.63	c 12845
434.33	o 49289
434.33	c 12843
435.08	o 49295
435.09	c 12837
435.90	o 49302
435.90	c 12830
436.62	o 49303
436.62	c 12829
437.43	o 49305
437.43	c 12827
438.16	o 49315
438.16	c 12817
438.95	o 49319
438.95	c 12813
439.63	o 49325
439.63	c 12807
440.34	o 49329
440.34	c 12803
441.11	o 49333
441.11	c 12799
441.86	o 49334
441.86	c 12798
442.64	o 49337
442.64	c 12795
443.33	o 49341
443.33	c 12791
444.01	o 49348
444.01	c 12784
445.43	o 49359
445.43	c 12773
446.15	o 49360
446.15	c 12772
447.58	o 49361
447.58	c 12771
449.05	o 49364
449.05	c 12768
450.56	o 49365
450.56	c 12767
451.34	o 49367
451.34	c 12765
452.09	o 49377
452.09	c 12755
453.58	o 49386
453.58	c 12746
454.30	o 49388
454.30	c 12744
455.04	o 49390
455.04	c 12742
455.78	o 49398
455.78	c 12734
457.37	o 49400
457.37	c 12732
458.17	o 49401
458.17	c 12731
458.97	o 49404
458.97	c 12728
459.72	o 49406
459.72	c 12726
460.47	o 49416
460.47	c 12716
461.22	o 49418
461.22	c 12714
462.68	o 49423
462.68	c 12709
463.41	o 49426
463.41	c 12706
464.20	o 49431
464.20	c 12701
465.08	o 49435
465.08	c 12697
465.81	o 49441
465.81	c 12691
466.58	o 49448
466.58	c 12684
467.34	o 49450
467.34	c 12682
468.18	o 49455
468.18	c 12677
468.94	o 49460
468.94	c 12672
469.67	o 49461
469.67	c 12671
470.45	o 49466
470.45	c 12666
471.20	o 49472
471.20	c 12660
472.10	o 49477
472.10	c 12655
472.96	o 49479
472.96	c 12653
473.88	o 49481
473.88	c 12651
474.75	o 49491
474.75	c 12641
475.52	o 49492
475.52	c 12640
476.39	o 49495
476.39	c 12637
477.20	o 49501
477.20	c 12631
478.05	o 49504
478.05	c 12628
478.95	o 49508
478.95	c 12624
479.73	o 49518
479.73	c 12614
480.55	o 49521
480.55	c 12611
481.29	o 49523
481.29	c 12609
482.12	o 49524
482.12	c 12608
482.96	o 49526
482.96	c 12606
484.45	o 49528
484.45	c 12604
486.96	o 49538
486.96	c 12594
487.79	o 49540
487.79	c 12592
488.56	o 49548
488.56	c 12584
489.33	o 49549
489.33	c 12583
490.15	o 49551
490.15	c 12581
490.92	o 49556
490.92	c 12576
491.71	o 49564
491.71	c 12568
492.59	o 49566
492.59	c 12566
493.43	o 49573
493.43	c 12559
494.32	o 49577
494.32	c 12555
495.16	o 49582
495.16	c 12550
496.00	o 49586
496.00	c 12546
496.90	o 49590
496.90	c 12542
497.77	o 49593
497.77	c 12539
498.66	o 49595
498.66	c 12537
499.57	o 49597
499.57	c 12535
501.27	o 49603
501.27	c 12529
505.55	o 49607
505.55	c 12525
507.32	o 49610
507.32	c 12522
508.03	o 49612
508.03	c 12520
508.83	o 49618
508.83	c 12514
510.48	o 49620
510.48	c 12512
511.29	o 49625
511.29	c 12507
512.12	o 49626
512.12	c 12506
513.89	o 49633
513.89	c 12499
518.49	o 49637
518.49	c 12495
519.25	o 49640
519.25	c 12492
521.76	o 49648
521.76	c 12484
524.03	o 49651
524.03	c 12481
524.88	o 49655
524.88	c 12477
525.66	o 49658
525.66	c 12474
526.42	o 49665
526.42	c 12467
527.11	o 49669
527.11	c 12463
527.86	o 49670
527.86	c 12462
528.68	o 49683
528.68	c 12449
529.47	o 49687
529.47	c 12445
530.28	o 49694
530.28	c 12438
531.83	o 49697
531.83	c 12435
532.64	o 49702
532.64	c 12430
533.44	o 49705
533.44	c 12427
534.16	o 49714
534.16	c 12418
534.92	o 49718
534.92	c 12414
535.63	o 49722
535.63	c 12410
537.18	o 49729
537.18	c 12403
537.95	o 49739
537.95	c 12393
538.71	o 49743
538.71	c 12389
539.49	o 49746
539.49	c 12386
540.25	o 49750
540.25	c 12382
541.10	o 49752
541.10	c 12380
541.89	o 49759
541.89	c 12373
542.69	o 49760
542.69	c 12372
543.53	o 49761
543.53	c 12371
544.42	o 49764
544.42	c 12368
545.28	o 49772
545.28	c 12360
546.09	o 49778
546.09	c 12354
546.98	o 49780
546.98	c 12352
549.53	o 49781
549.53	c 12351
550.36	o 49783
550.36	c 12349
551.17	o 49790
551.17	c 12342
552.03	o 49796
552.03	c 12336
552.87	o 49806
552.87	c 12326
553.74	o 49809
553.74	c 12323
554.66	o 49818
554.66	c 12314
555.54	o 49820
555.54	c 12312
557.17	o 49825
557.17	c 12307
558.12	o 49826
558.12	c 12306
558.92	o 49831
558.92	c 12301
562.54	o 49833
562.54	c 12299
564.35	o 49835
564.35	c 12297
565.28	o 49843
565.28	c 12289
570.61	o 49845
570.61	c 12287
571.52	o 49850
571.52	c 12282
575.11	o 49851
575.11	c 12281
576.01	o 49859
576.01	c 12273
576.88	o 49864
576.88	c 12268
577.80	o 49870
577.80	c 12262
578.67	o 49871
578.67	c 12261
580.38	o 49879
580.38	c 12253
581.32	o 49880
581.32	c 12252
582.18	o 49888
582.18	c 12244
589.18	o 49900
589.18	c 12232
591.04	o 49902
591.04	c 12230
592.93	o 49904
592.93	c 12228
593.87	o 49907
593.87	c 12225
595.56	o 49911
595.56	c 12221
596.42	o 49915
596.42	c 12217
597.24	o 49925
597.24	c 12207
597.93	o 49931
597.93	c 12201
598.86	o 49933
598.86	c 12199
599.72	o 49936
599.72	c 12196
600.57	o 49939
600.57	c 12193
601.36	o 49942
601.36	c 12190
602.22	o 49946
602.22	c 12186
603.06	o 49952
603.06	c 12180
604.90	o 49957
604.90	c 12175
605.81	o 49961
605.81	c 12171
607.62	o 49962
607.62	c 12170
610.46	o 49963
610.46	c 12169
611.44	o 49969
611.44	c 12163
612.33	o 49972
612.33	c 12160
613.24	o 49975
613.24	c 12157
614.09	o 49977
614.09	c 12155
615.06	o 49978
615.06	c 12154
615.99	o 49979
615.99	c 12153
616.87	o 49980
616.87	c 12152
618.73	o 49983
618.73	c 12149
619.66	o 49985
619.66	c 12147
622.40	o 49989
622.40	c 12143
623.28	o 49990
623.28	c 12142
624.27	o 49995
624.27	c 12137
625.20	o 50001
625.20	c 12131
626.07	o 50002
626.07	c 12130
627.03	o 50003
627.03	c 12129
628.84	o 50005
628.85	c 12127
629.73	o 50010
629.73	c 12122
631.48	o 50016
631.48	c 12116
632.39	o 50018
632.39	c 12114
634.08	o 50023
634.08	c 12109
635.02	o 50029
635.02	c 12103
635.90	o 50031
635.90	c 12101
642.08	o 50032
642.08	c 12100
643.75	o 50036
643.75	c 12096
644.63	o 50041
644.63	c 12091
645.48	o 50045
645.48	c 12087
646.37	o 50050
646.37	c 12082
647.24	o 50053
647.24	c 12079
648.09	o 50059
648.09	c 12073
648.96	o 50061
648.96	c 12071
649.81	o 50065
649.81	c 12067
650.77	o 50071
650.77	c 12061
651.69	o 50077
651.69	c 12055
652.57	o 50080
652.57	c 12052
654.34	o 50082
654.34	c 12050
655.22	o 50085
655.22	c 12047
656.93	o 50092
656.93	c 12040
660.40	o 50094
660.40	c 12038
661.27	o 50101
661.27	c 12031
662.13	o 50106
662.13	c 12026
662.97	o 50110
662.97	c 12022
663.83	o 50114
663.83	c 12018
664.66	o 50119
664.66	c 12013
665.49	o 50126
665.49	c 12006
666.31	o 50128
666.31	c 12004
667.11	o 50130
667.11	c 12002
667.93	o 50136
667.93	c 11996
668.79	o 50139
668.79	c 11993
669.64	o 50140
669.64	c 11992
670.50	o 50142
670.50	c 11990
671.31	o 50149
671.31	c 11983
672.13	o 50150
672.13	c 11982
673.03	o 50153
673.03	c 11979
673.87	o 50161
673.87	c 11971
675.52	o 50165
675.52	c 11967
676.35	o 50173
676.35	c 11959
677.17	o 50183
677.17	c 11949
677.97	o 50188
677.97	c 11944
678.71	o 50193
678.71	c 11939
680.16	o 50204
680.16	c 11928
680.87	o 50208
680.87	c 11924
682.35	o 50209
682.35	c 11923
683.03	o 50218
683.03	c 11914
683.79	o 50219
683.79	c 11913
684.52	o 50230
684.52	c 11902
685.27	o 50232
685.27	c 11900
685.99	o 50235
685.99	c 11897
686.69	o 50239
686.69	c 11893
687.44	o 50240
687.44	c 11892
691.38	o 50243
691.38	c 11889
692.88	o 50244
692.88	c 11888
694.49	o 50247
694.49	c 11885
695.32	o 50252
695.32	c 11880
696.14	o 50256
696.14	c 11876
697.00	o 50258
697.00	c 11874
697.83	o 50259
697.83	c 11873
698.70	o 50264
698.70	c 11868
699.55	o 50267
699.55	c 11865
700.38	o 50278
700.38	c 11854
701.21	o 50281
701.22	c 11851
702.03	o 50289
702.03	c 11843
702.85	o 50294
702.85	c 11838
703.65	o 50300
703.65	c 11832
704.48	o 50303
704.48	c 11829
705.25	o 50306
705.25	c 11826
706.03	o 50312
706.03	c 11820
706.82	o 50314
706.82	c 11818
707.71	o 50315
707.71	c 11817
708.58	o 50321
708.58	c 11811
709.35	o 50324
709.35	c 11808
710.16	o 50325
710.16	c 11807
711.72	o 50333
711.72	c 11799
712.50	o 50339
712.50	c 11793
713.32	o 50343
713.32	c 11789
714.17	o 50352
714.17	c 11780
714.97	o 50354
714.97	c 11778
715.79	o 50357
715.79	c 11775
716.64	o 50365
716.64	c 11767
717.46	o 50368
717.46	c 11764
718.33	o 50371
718.33	c 11761
720.08	o 50373
720.08	c 11759
720.94	o 50376
720.94	c 11756
721.89	o 50385
721.89	c 11747
724.41	o 50391
724.41	c 11741
726.18	o 50393
726.18	c 11739
727.07	o 50398
727.07	c 11734
728.00	o 50406
728.00	c 11726
728.92	o 50412
728.92	c 11720
729.76	o 50413
729.76	c 11719
730.63	o 50417
730.63	c 11715
731.55	o 50421
731.55	c 11711
732.41	o 50428
732.41	c 11704
735.96	o 50433
735.96	c 11699
736.85	o 50438
736.85	c 11694
737.73	o 50440
737.73	c 11692
738.63	o 50443
738.63	c 11689
739.48	o 50444
739.48	c 11688
740.46	o 50449
740.46	c 11683
747.71	o 50454
747.72	c 11678
748.73	o 50459
748.73	c 11673
749.67	o 50462
749.67	c 11670
750.60	o 50468
750.60	c 11664
751.49	o 50472
751.49	c 11660
752.42	o 50481
752.42	c 11651
753.37	o 50483
753.37	c 11649
754.27	o 50489
754.27	c 11643
755.27	o 50493
755.27	c 11639
757.18	o 50496
757.18	c 11636
758.06	o 50502
758.06	c 11630
758.96	o 50506
758.96	c 11626
759.84	o 50508
759.84	c 11624
760.74	o 50513
760.74	c 11619
761.71	o 50515
761.71	c 11617
762.67	o 50519
762.67	c 11613
763.60	o 50520
763.60	c 11612
764.53	o 50523
764.53	c 11609
765.49	o 50527
765.49	c 11605
767.46	o 50529
767.46	c 11603
768.41	o 50531
768.41	c 11601
770.31	o 50533
770.31	c 11599
771.35	o 50535
771.35	c 11597
773.26	o 50540
773.26	c 11592
774.19	o 50542
774.19	c 11590
775.12	o 50544
775.12	c 11588
776.95	o 50550
776.95	c 11582
777.92	o 50554
777.92	c 11578
778.81	o 50555
778.81	c 11577
779.80	o 50559
779.80	c 11573
780.83	o 50560
780.83	c 11572
781.88	o 50564
781.88	c 11568
782.87	o 50573
782.87	c 11559
783.85	o 50574
783.85	c 11558
784.82	o 50578
784.82	c 11554
785.83	o 50583
785.83	c 11549
786.86	o 50592
786.86	c 11540
787.85	o 50599
787.85	c 11533
788.87	o 50603
788.87	c 11529
789.89	o 50609
789.89	c 11523
790.82	o 50613
790.82	c 11519
791.76	o 50618
791.76	c 11514
793.77	o 50623
793.77	c 11509
794.73	o 50626
794.73	c 11506
795.79	o 50628
795.79	c 11504
797.71	o 50632
797.71	c 11500
799.69	o 50634
799.69	c 11498
800.65	o 50644
800.65	c 11488
801.69	o 50646
801.69	c 11486
803.56	o 50648
803.56	c 11484
804.48	o 50659
804.48	c 11473
805.41	o 50660
805.41	c 11472
806.33	o 50669
806.33	c 11463
807.31	o 50674
807.31	c 11458
808.30	o 50678
808.30	c 11454
809.22	o 50682
809.22	c 11450
811.13	o 50686
811.13	c 11446
812.11	o 50693
812.11	c 11439
813.08	o 50697
813.08	c 11435
814.03	o 50700
814.03	c 11432
815.06	o 50707
815.06	c 11425
816.98	o 50713
816.98	c 11419
818.01	o 50714
818.01	c 11418
820.04	o 50715
820.04	c 11417
821.03	o 50724
821.03	c 11408
822.01	o 50725
822.01	c 11407
823.12	o 50728
823.12	c 11404
824.10	o 50730
824.10	c 11402
826.17	o 50732
826.17	c 11400
828.26	o 50735
828.26	c 11397
831.29	o 50737
831.29	c 11395
834.05	o 50741
834.05	c 11391
835.01	o 50745
835.01	c 11387
836.92	o 50748
836.92	c 11384
837.95	o 50752
837.95	c 11380
839.91	o 50757
839.91	c 11375
840.94	o 50758
840.94	c 11374
841.94	o 50759
841.94	c 11373
842.86	o 50761
842.86	c 11371
843.89	o 50776
843.89	c 11356
844.84	o 50779
844.84	c 11353
845.89	o 50781
845.89	c 11351
846.83	o 50784
846.83	c 11348
849.66	o 50785
849.66	c 11347
850.57	o 50790
850.57	c 11342
851.53	o 50796
851.53	c 11336
852.55	o 50797
852.55	c 11335
854.52	o 50799
854.52	c 11333
855.50	o 50801
855.50	c 11331
856.49	o 50807
856.49	c 11325
857.47	o 50813
857.47	c 11319
858.42	o 50816
858.42	c 11316
859.43	o 50819
859.43	c 11313
860.41	o 50825
860.41	c 11307
861.36	o 50830
861.36	c 11302
862.27	o 50833
862.27	c 11299
863.29	o 50839
863.29	c 11293
864.22	o 50844
864.22	c 11288
865.15	o 50846
865.15	c 11286
866.06	o 50852
866.06	c 11280
867.98	o 50854
867.98	c 11278
868.96	o 50858
868.96	c 11274
869.92	o 50862
869.92	c 11270
870.93	o 50866
870.93	c 11266
871.74	o 50874
871.74	c 11258
873.50	o 50879
873.50	c 11253
874.49	o 50884
874.49	c 11248
875.43	o 50886
875.43	c 11246
876.39	o 50889
876.39	c 11243
877.32	o 50896
877.32	c 11236
878.23	o 50905
878.23	c 11227
879.22	o 50906
879.22	c 11226
884.86	o 50909
884.86	c 11223
885.83	o 50914
885.83	c 11218
886.83	o 50917
886.83	c 11215
887.85	o 50922
887.85	c 11210
888.83	o 50931
888.83	c 11201
890.92	o 50937
890.92	c 11195
891.97	o 50941
891.97	c 11191
892.98	o 50950
892.98	c 11182
893.98	o 50954
893.98	c 11178
895.01	o 50958
895.01	c 11174
895.95	o 50966
895.95	c 11166
897.89	o 50968
897.89	c 11164
898.86	o 50969
898.86	c 11163
899.79	o 50972
899.79	c 11160
901.69	o 50985
901.69	c 11147
902.65	o 50991
902.65	c 11141
903.62	o 50997
903.62	c 11135
904.66	o 51002
904.66	c 11130
905.62	o 51007
905.62	c 11125
907.60	o 51009
907.60	c 11123
908.51	o 51013
908.51	c 11119
909.43	o 51019
909.43	c 11113
910.39	o 51020
910.39	c 11112
912.23	o 51027
912.23	c 11105
913.13	o 51029
913.13	c 11103
914.97	o 51033
914.97	c 11099
917.67	o 51037
917.67	c 11095
918.57	o 51043
918.57	c 11089
920.32	o 51049
920.32	c 11083
921.24	o 51055
921.24	c 11077
922.19	o 51068
922.19	c 11064
923.19	o 51071
923.19	c 11061
924.09	o 51079
924.09	c 11053
925.03	o 51084
925.03	c 11048
925.96	o 51087
925.96	c 11045
926.86	o 51093
926.86	c 11039
927.76	o 51100
927.77	c 11032
928.70	o 51102
928.70	c 11030
929.67	o 51106
929.67	c 11026
931.54	o 51113
931.54	c 11019
932.43	o 51119
932.43	c 11013
933.27	o 51122
933.27	c 11010
934.21	o 51124
934.21	c 11008
935.15	o 51127
935.15	c 11005
937.00	o 51128
937.00	c 11004
939.90	o 51131
939.90	c 11001
945.19	o 51137
945.19	c 10995
946.03	o 51145
946.03	c 10987
946.94	o 51146
946.94	c 10986
947.86	o 51154
947.86	c 10978
948.62	o 51158
948.62	c 10974
949.42	o 51161
949.42	c 10971
950.26	o 51167
950.26	c 10965
951.18	o 51170
951.18	c 10962
951.97	o 51174
951.97	c 10958
952.83	o 51177
952.83	c 10955
953.62	o 51181
953.62	c 10951
954.47	o 51184
954.47	c 10948
955.31	o 51189
955.31	c 10943
956.25	o 51195
956.25	c 10937
957.04	o 51196
957.04	c 10936
957.82	o 51198
957.82	c 10934
958.61	o 51202
958.61	c 10930
959.47	o 51212
959.47	c 10920
960.32	o 51213
960.32	c 10919
961.14	o 51215
961.14	c 10917
961.93	o 51222
961.93	c 10910
962.80	o 51223
962.80	c 10909
963.61	o 51224
963.61	c 10908
964.51	o 51226
964.51	c 10906
965.34	o 51233
965.34	c 10899
966.24	o 51237
966.24	c 10895
967.13	o 51240
967.13	c 10892
968.02	o 51247
968.02	c 10885
968.87	o 51254
968.87	c 10878
969.80	o 51255
969.80	c 10877
970.76	o 51256
970.76	c 10876
971.66	o 51257
971.66	c 10875
972.60	o 51265
972.60	c 10867
974.51	o 51271
974.51	c 10861
975.42	o 51273
975.42	c 10859
976.33	o 51277
976.33	c 10855
977.31	o 51280
977.31	c 10852
978.26	o 51281
978.26	c 10851
979.24	o 51288
979.24	c 10844
980.18	o 51290
980.18	c 10842
982.20	o 51299
982.20	c 10833
983.17	o 51306
983.17	c 10826
986.42	o 51308
986.42	c 10824
987.42	o 51310
987.42	c 10822
988.38	o 51318
988.38	c 10814
990.45	o 51319
990.45	c 10813
991.37	o 51327
991.37	c 10805
992.44	o 51336
992.44	c 10796
993.41	o 51342
993.41	c 10790
994.38	o 51343
994.38	c 10789
996.40	o 51345
996.40	c 10787
997.34	o 51346
997.34	c 10786
998.38	o 51352
998.38	c 10780
1000.45	o 51353
1000.45	c 10779
1002.44	o 51354
1002.44	c 10778
1004.46	o 51357
1004.46	c 10775
1007.45	o 51362
1007.45	c 10770
1010.56	o 51368
1010.56	c 10764
1012.24	o 51377
1012.24	c 10755
1013.28	o 51381
1013.28	c 10751
1014.34	o 51384
1014.34	c 10748
1015.46	o 51386
1015.46	c 10746
1017.61	o 51389
1017.61	c 10743
1018.72	o 51397
1018.72	c 10735
1020.75	o 51400
1020.75	c 10732
1021.86	o 51405
1021.86	c 10727
1022.95	o 51408
1022.95	c 10724
1024.04	o 51410
1024.04	c 10722
1025.11	o 51415
1025.11	c 10717
1026.22	o 51419
1026.22	c 10713
1027.24	o 51429
1027.24	c 10703
1028.39	o 51432
1028.39	c 10700
1029.43	o 51436
1029.43	c 10696
1030.60	o 51439
1030.60	c 10693
1031.71	o 51446
1031.71	c 10686
1032.85	o 51448
1032.85	c 10684
1033.90	o 51451
1033.90	c 10681
1034.99	o 51454
1034.99	c 10678
1036.10	o 51460
1036.10	c 10672
1038.35	o 51462
1038.35	c 10670
1039.52	o 51464
1039.52	c 10668
1040.68	o 51466
1040.68	c 10666
1043.06	o 51472
1043.06	c 10660
1044.21	o 51478
1044.21	c 10654
1045.40	o 51482
1045.40	c 10650
1047.74	o 51489
1047.74	c 10643
1048.84	o 51497
1048.84	c 10635
1049.91	o 51500
1049.91	c 10632
1052.12	o 51501
1052.12	c 10631
1053.26	o 51506
1053.26	c 10626
1054.37	o 51510
1054.37	c 10622
1055.50	o 51513
1055.50	c 10619
1056.64	o 51516
1056.64	c 10616
1057.77	o 51523
1057.77	c 10609
1058.90	o 51525
1058.90	c 10607
1060.01	o 51528
1060.01	c 10604
1061.08	o 51530
1061.08	c 10602
1062.17	o 51541
1062.17	c 10591
1065.34	o 51544
1065.34	c 10588
1066.30	o 51547
1066.30	c 10585
1068.30	o 51550
1068.30	c 10582
1069.29	o 51552
1069.29	c 10580
1070.33	o 51559
1070.33	c 10573
1071.35	o 51560
1071.35	c 10572
1072.36	o 51569
1072.36	c 10563
1073.35	o 51570
1073.35	c 10562
1074.39	o 51575
1074.39	c 10557
1075.32	o 51576
1075.32	c 10556
1077.35	o 51584
1077.35	c 10548
1078.38	o 51587
1078.38	c 10545
1079.34	o 51592
1079.34	c 10540
1081.43	o 51595
1081.43	c 10537
1082.38	o 51604
1082.38	c 10528
1083.38	o 51605
1083.38	c 10527
1084.49	o 51612
1084.49	c 10520
1085.58	o 51624
1085.58	c 10508
1086.69	o 51625
1086.69	c 10507
1087.74	o 51632
1087.74	c 10500
1088.78	o 51640
1088.78	c 10492
1089.84	o 51652
1089.84	c 10480
1090.93	o 51653
1090.93	c 10479
1091.94	o 51661
1091.94	c 10471
1092.95	o 51670
1092.95	c 10462
1093.95	o 51682
1093.95	c 10450
1094.92	o 51690
1094.92	c 10442
1095.92	o 51692
1095.92	c 10440
1096.84	o 51693
1096.84	c 10439
1097.79	o 51697
1097.79	c 10435
1098.73	o 51702
1098.73	c 10430
1099.65	o 51708
1099.65	c 10424
1100.60	o 51716
1100.60	c 10416
1101.54	o 51722
1101.54	c 10410
1104.38	o 51728
1104.38	c 10404
1105.32	o 51730
1105.32	c 10402
1106.23	o 51736
1106.23	c 10396
1107.20	o 51738
1107.20	c 10394
1108.07	o 51740
1108.07	c 10392
1109.00	o 51741
1109.00	c 10391
1112.63	o 51755
1112.63	c 10377
1113.52	o 51757
1113.52	c 10375
1116.28	o 51760
1116.28	c 10372
1117.20	o 51762
1117.20	c 10370
1119.88	o 51763
1119.89	c 10369
1120.84	o 51765
1120.84	c 10367
1121.83	o 51767
1121.83	c 10365
1122.82	o 51769
1122.82	c 10363
1124.77	o 51773
1124.77	c 10359
1125.69	o 51776
1125.69	c 10356
1126.65	o 51779
1126.65	c 10353
1127.62	o 51785
1127.62	c 10347
1128.52	o 51786
1128.52	c 10346
1129.53	o 51790
1129.53	c 10342
1130.56	o 51794
1130.56	c 10338
1131.56	o 51795
1131.56	c 10337
1137.76	o 51798
1137.76	c 10334
1138.78	o 51800
1138.78	c 10332
1139.88	o 51806
1139.88	c 10326
1140.97	o 51808
1140.97	c 10324
1142.05	o 51816
1142.05	c 10316
1147.63	o 51821
1147.63	c 10311
1148.74	o 51822
1148.74	c 10310
1149.76	o 51824
1149.76	c 10308
1150.80	o 51827
1150.80	c 10305
1151.84	o 51829
1151.84	c 10303
1152.89	o 51830
1152.89	c 10302
1154.03	o 51840
1154.03	c 10292
1155.02	o 51844
1155.02	c 10288
1156.10	o 51848
1156.10	c 10284
1158.28	o 51853
1158.28	c 10279
1159.38	o 51855
1159.38	c 10277
1161.62	o 51863
1161.62	c 10269
1162.86	o 51865
1162.86	c 10267
1165.23	o 51869
1165.23	c 10263
1166.43	o 51870
1166.43	c 10262
1167.59	o 51872
1167.59	c 10260
1168.76	o 51875
1168.76	c 10257
1169.92	o 51877
1169.92	c 10255
1171.12	o 51881
1171.12	c 10251
1172.27	o 51883
1172.27	c 10249
1173.44	o 51889
1173.44	c 10243
1174.60	o 51896
1174.60	c 10236
1175.53	o 51905
1175.53	c 10227
1176.70	o 51913
1176.70	c 10219
1177.97	o 51920
1177.97	c 10212
1179.18	o 51927
1179.18	c 10205
1182.87	o 51935
1182.87	c 10197
1184.05	o 51939
1184.06	c 10193
1185.25	o 51943
1185.25	c 10189
1186.42	o 51947
1186.42	c 10185
1187.63	o 51949
1187.63	c 10183
1188.86	o 51960
1188.86	c 10172
1190.09	o 51966
1190.09	c 10166
1192.56	o 51968
1192.56	c 10164
1194.98	o 51973
1194.98	c 10159
1196.22	o 51977
1196.22	c 10155
1197.46	o 51981
1197.46	c 10151
1198.64	o 51982
1198.64	c 10150
1200.87	o 51983
1200.87	c 10149
1202.07	o 51989
1202.07	c 10143
1203.24	o 51999
1203.24	c 10133
1204.35	o 52009
1204.35	c 10123
1205.54	o 52016
1205.54	c 10116
1206.74	o 52022
1206.74	c 10110
1207.89	o 52024
1207.89	c 10108
1209.03	o 52029
1209.03	c 10103
1210.18	o 52031
1210.18	c 10101
1212.42	o 52039
1212.42	c 10093
1213.53	o 52050
1213.53	c 10082
1214.60	o 52057
1214.60	c 10075
1215.64	o 52061
1215.64	c 10071
1216.76	o 52065
1216.76	c 10067
1217.83	o 52069
1217.83	c 10063
1218.92	o 52074
1218.92	c 10058
1220.06	o 52083
1220.06	c 10049
1221.25	o 52087
1221.25	c 10045
1223.55	o 52093
1223.55	c 10039
1224.71	o 52098
1224.71	c 10034
1225.87	o 52104
1225.87	c 10028
1227.04	o 52106
1227.04	c 10026
1227.81	o 52108
1227.81	c 10024
1228.91	o 52110
1228.91	c 10022
1232.29	o 52116
1232.29	c 10016
1233.36	o 52120
1233.36	c 10012
1234.47	o 52126
1234.47	c 10006
1237.82	o 52130
1237.82	c 10002
1238.88	o 52131
1238.88	c 10001
1240.03	o 52139
1240.03	c 9993
1241.12	o 52141
1241.12	c 9991
1243.43	o 52142
1243.43	c 9990
1244.56	o 52145
1244.56	c 9987
1245.73	o 52147
1245.73	c 9985
1246.91	o 52153
1246.91	c 9979
1248.07	o 52158
1248.07	c 9974
1249.21	o 52163
1249.21	c 9969
1251.47	o 52164
1251.47	c 9968
1252.59	o 52171
1252.59	c 9961
1253.70	o 52177
1253.70	c 9955
1254.82	o 52178
1254.82	c 9954
1255.90	o 52182
1255.90	c 9950
1256.98	o 52195
1256.98	c 9937
1258.04	o 52202
1258.04	c 9930
1261.42	o 52205
1261.42	c 9927
1262.60	o 52206
1262.60	c 9926
1263.69	o 52208
1263.69	c 9924
1264.88	o 52213
1264.88	c 9919
1267.08	o 52216
1267.08	c 9916
1269.28	o 52218
1269.28	c 9914
1271.50	o 52223
1271.50	c 9909
1272.60	o 52226
1272.60	c 9906
1273.66	o 52227
1273.66	c 9905
1274.85	o 52232
1274.85	c 9900
1275.91	o 52234
1275.91	c 9898
1277.04	o 52238
1277.04	c 9894
1278.17	o 52240
1278.17	c 9892
1279.34	o 52248
1279.34	c 9884
1280.47	o 52252
1280.47	c 9880
1281.56	o 52256
1281.56	c 9876
1286.07	o 52263
1286.07	c 9869
1287.06	o 52270
1287.06	c 9862
1288.14	o 52276
1288.14	c 9856
1289.27	o 52281
1289.27	c 9851
1290.39	o 52287
1290.39	c 9845
1291.51	o 52290
1291.51	c 9842
1292.69	o 52302
1292.69	c 9830
1293.64	o 52312
1293.64	c 9820
1294.80	o 52318
1294.80	c 9814
1296.01	o 52320
1296.01	c 9812
1297.24	o 52325
1297.24	c 9807
1298.47	o 52327
1298.47	c 9805
1299.71	o 52332
1299.71	c 9800
1300.96	o 52341
1300.96	c 9791
1302.35	o 52349
1302.35	c 9783
1303.54	o 52352
1303.54	c 9780
1308.62	o 52353
1308.62	c 9779
1314.85	o 52356
1314.85	c 9776
1316.08	o 52360
1316.08	c 9772
1317.35	o 52364
1317.35	c 9768
1318.60	o 52372
1318.60	c 9760
1319.83	o 52377
1319.83	c 9755
1321.12	o 52379
1321.12	c 9753
1322.34	o 52385
1322.34	c 9747
1326.10	o 52388
1326.10	c 9744
1328.69	o 52396
1328.69	c 9736
1329.96	o 52402
1329.96	c 9730
1331.20	o 52409
1331.20	c 9723
1332.43	o 52411
1332.43	c 9721
1333.73	o 52416
1333.73	c 9716
1337.54	o 52418
1337.54	c 9714
1340.04	o 52421
1340.04	c 9711
1341.30	o 52434
1341.30	c 9698
1342.68	o 52435
1342.68	c 9697
1344.01	o 52441
1344.01	c 9691
1345.31	o 52444
1345.31	c 9688
1346.58	o 52445
1346.58	c 9687
1347.85	o 52447
1347.85	c 9685
1349.14	o 52449
1349.14	c 9683
1350.39	o 52453
1350.39	c 9679
1351.66	o 52454
1351.66	c 9678
1352.91	o 52459
1352.91	c 9673
1359.20	o 52464
1359.20	c 9668
1361.84	o 52467
1361.84	c 9665
1363.11	o 52472
1363.11	c 9660
1364.37	o 52475
1364.37	c 9657
1365.62	o 52482
1365.62	c 9650
1366.94	o 52486
1366.94	c 9646
1368.26	o 52494
1368.26	c 9638
1369.60	o 52506
1369.60	c 9626
1370.92	o 52513
1370.92	c 9619
1377.31	o 52515
1377.31	c 9617
1378.59	o 52518
1378.59	c 9614
1379.84	o 52521
1379.84	c 9611
1381.18	o 52523
1381.18	c 9609
1382.49	o 52524
1382.49	c 9608
1383.82	o 52525
1383.82	c 9607
1386.48	o 52529
1386.48	c 9603
1387.81	o 52532
1387.81	c 9600
1392.94	o 52534
1392.94	c 9598
1394.22	o 52539
1394.22	c 9593
1395.51	o 52541
1395.51	c 9591
1396.83	o 52543
1396.83	c 9589
1398.15	o 52547
1398.15	c 9585
1399.46	o 52549
1399.46	c 9583
1400.78	o 52552
1400.78	c 9580
1402.07	o 52553
1402.07	c 9579
1403.39	o 52565
1403.39	c 9567
1404.68	o 52571
1404.68	c 9561
1406.07	o 52572
1406.07	c 9560
1407.46	o 52579
1407.46	c 9553
1408.77	o 52583
1408.77	c 9549
1411.33	o 52585
1411.33	c 9547
1412.62	o 52587
1412.62	c 9545
1417.92	o 52595
1417.92	c 9537
1419.22	o 52597
1419.22	c 9535
1421.90	o 52600
1421.90	c 9532
1423.38	o 52602
1423.38	c 9530
1424.84	o 52607
1424.84	c 9525
1427.52	o 52609
1427.52	c 9523
1428.92	o 52614
1428.92	c 9518
1430.27	o 52622
1430.27	c 9510
1431.68	o 52628
1431.68	c 9504
1432.99	o 52629
1432.99	c 9503
1434.32	o 52638
1434.32	c 9494
1435.64	o 52639
1435.64	c 9493
1436.97	o 52645
1436.97	c 9487
1439.69	o 52647
1439.69	c 9485
1441.01	o 52649
1441.01	c 9483
1442.36	o 52655
1442.36	c 9477
1443.64	o 52661
1443.64	c 9471
1444.91	o 52666
1444.91	c 9466
1447.60	o 52667
1447.60	c 9465
1448.83	o 52669
1448.83	c 9463
1450.08	o 52673
1450.08	c 9459
1453.83	o 52674
1453.83	c 9458
1455.09	o 52679
1455.09	c 9453
1456.38	o 52682
1456.38	c 9450
1457.65	o 52686
1457.65	c 9446
1461.43	o 52688
1461.43	c 9444
1462.80	o 52694
1462.80	c 9438
1465.15	o 52703
1465.15	c 9429
1466.40	o 52705
1466.40	c 9427
1473.99	o 52713
1473.99	c 9419
1475.22	o 52714
1475.22	c 9418
1476.56	o 52718
1476.56	c 9414
1477.72	o 52720
1477.72	c 9412
1478.95	o 52728
1478.95	c 9404
1480.20	o 52730
1480.21	c 9402
1484.05	o 52733
1484.05	c 9399
1486.57	o 52736
1486.57	c 9396
1487.82	o 52737
1487.82	c 9395
1495.26	o 52740
1495.26	c 9392
1499.10	o 52742
1499.10	c 9390
1500.41	o 52745
1500.41	c 9387
1501.64	o 52747
1501.64	c 9385
1502.90	o 52758
1502.90	c 9374
1506.71	o 52765
1506.71	c 9367
1507.97	o 52768
1507.97	c 9364
1509.29	o 52772
1509.29	c 9360
1510.49	o 52775
1510.49	c 9357
1512.93	o 52784
1512.93	c 9348
1515.33	o 52789
1515.33	c 9343
1516.51	o 52796
1516.51	c 9336
1518.72	o 52799
1518.72	c 9333
1519.84	o 52800
1519.84	c 9332
1522.12	o 52801
1522.12	c 9331
1523.34	o 52808
1523.34	c 9324
1524.43	o 52812
1524.43	c 9320
1525.63	o 52813
1525.63	c 9319
1529.98	o 52818
1529.98	c 9314
1531.10	o 52820
1531.10	c 9312
1532.31	o 52824
1532.31	c 9308
1533.45	o 52828
1533.45	c 9304
1534.66	o 52831
1534.66	c 9301
1535.80	o 52832
1535.80	c 9300
1537.00	o 52834
1537.00	c 9298
1538.18	o 52838
1538.18	c 9294
1539.35	o 52842
1539.35	c 9290
1540.55	o 52845
1540.55	c 9287
1541.81	o 52846
1541.81	c 9286
1544.24	o 52847
1544.24	c 9285
1545.43	o 52848
1545.43	c 9284
1546.73	o 52854
1546.73	c 9278
1547.94	o 52859
1547.94	c 9273
1549.24	o 52862
1549.24	c 9270
1550.51	o 52865
1550.51	c 9267
1551.74	o 52867
1551.74	c 9265
1553.11	o 52869
1553.11	c 9263
1554.47	o 52873
1554.47	c 9259
1555.78	o 52874
1555.78	c 9258
1557.10	o 52879
1557.10	c 9253
1565.57	o 52882
1565.57	c 9250
1567.02	o 52883
1567.02	c 9249
1568.43	o 52885
1568.43	c 9247
1569.91	o 52887
1569.91	c 9245
1571.38	o 52896
1571.38	c 9236
1572.58	o 52900
1572.58	c 9232
1573.95	o 52901
1573.95	c 9231
1575.32	o 52903
1575.32	c 9229
1576.71	o 52907
1576.71	c 9225
1578.09	o 52910
1578.09	c 9222
1579.49	o 52917
1579.49	c 9215
1580.89	o 52923
1580.89	c 9209
1582.30	o 52927
1582.30	c 9205
1585.12	o 52928
1585.12	c 9204
1586.53	o 52932
1586.53	c 9200
1587.92	o 52934
1587.92	c 9198
1592.18	o 52939
1592.18	c 9193
1593.58	o 52941
1593.58	c 9191
1594.99	o 52944
1595.00	c 9188
1596.40	o 52951
1596.40	c 9181
1599.32	o 52958
1599.32	c 9174
1606.54	o 52959
1606.54	c 9173
1607.97	o 52964
1607.97	c 9168
1609.41	o 52972
1609.41	c 9160
1612.42	o 52976
1612.42	c 9156
1613.85	o 52979
1613.85	c 9153
1615.29	o 52983
1615.29	c 9149
1621.13	o 52988
1621.13	c 9144
1622.68	o 52995
1622.68	c 9137
1624.19	o 52997
1624.19	c 9135
1628.93	o 53005
1628.93	c 9127
1630.50	o 53008
1630.50	c 9124
1633.69	o 53009
1633.69	c 9123
1635.17	o 53017
1635.17	c 9115
1636.73	o 53022
1636.73	c 9110
1641.35	o 53024
1641.35	c 9108
1642.85	o 53027
1642.85	c 9105
1644.34	o 53031
1644.34	c 9101
1645.78	o 53037
1645.78	c 9095
1648.71	o 53039
1648.71	c 9093
1650.20	o 53044
1650.20	c 9088
1653.15	o 53046
1653.15	c 9086
1654.73	o 53049
1654.73	c 9083
1656.21	o 53050
1656.21	c 9082
1657.69	o 53055
1657.69	c 9077
1659.20	o 53058
1659.20	c 9074
1660.78	o 53064
1660.78	c 9068
1663.80	o 53066
1663.80	c 9066
1668.33	o 53068
1668.33	c 9064
1669.79	o 53072
1669.79	c 9060
1671.26	o 53075
1671.26	c 9057
1672.70	o 53079
1672.70	c 9053
1674.15	o 53085
1674.15	c 9047
1675.69	o 53091
1675.69	c 9041
1677.23	o 53093
1677.23	c 9039
1678.76	o 53098
1678.76	c 9034
1680.40	o 53100
1680.40	c 9032
1682.03	o 53104
1682.03	c 9028
1683.70	o 53105
1683.70	c 9027
1686.77	o 53106
1686.77	c 9026
1688.33	o 53108
1688.33	c 9024
1689.99	o 53112
1689.99	c 9020
1693.15	o 53114
1693.15	c 9018
1694.70	o 53119
1694.70	c 9013
1696.24	o 53122
1696.24	c 9010
1699.30	o 53123
1699.30	c 9009
1700.89	o 53125
1700.89	c 9007
1702.56	o 53132
1702.56	c 9000
1707.09	o 53139
1707.09	c 8993
1710.14	o 53140
1710.14	c 8992
1711.63	o 53141
1711.63	c 8991
1713.10	o 53142
1713.10	c 8990
1714.59	o 53146
1714.59	c 8986
1716.20	o 53152
1716.20	c 8980
1717.80	o 53156
1717.80	c 8976
1722.69	o 53160
1722.69	c 8972
1724.34	o 53161
1724.34	c 8971
1735.35	o 53162
1735.35	c 8970
1737.03	o 53163
1737.03	c 8969
1743.68	o 53167
1743.68	c 8965
1745.29	o 53175
1745.29	c 8957
1746.55	o 53179
1746.55	c 8953
1749.74	o 53183
1749.74	c 8949
1751.30	o 53184
1751.30	c 8948
1752.81	o 53191
1752.81	c 8941
1754.29	o 53198
1754.29	c 8934
1755.84	o 53201
1755.84	c 8931
1757.41	o 53202
1757.41	c 8930
1758.97	o 53206
1758.97	c 8926
1760.59	o 53212
1760.59	c 8920
1763.71	o 53213
1763.71	c 8919
1765.27	o 53214
1765.27	c 8918
1766.78	o 53221
1766.78	c 8911
1768.33	o 53222
1768.33	c 8910
1769.79	o 53230
1769.79	c 8902
1774.26	o 53232
1774.26	c 8900
1778.92	o 53233
1778.92	c 8899
1783.77	o 53239
1783.77	c 8893
1787.09	o 53240
1787.09	c 8892
1788.75	o 53244
1788.75	c 8888
1790.43	o 53245
1790.43	c 8887
1792.08	o 53249
1792.08	c 8883
1793.75	o 53256
1793.75	c 8876
1795.41	o 53258
1795.41	c 8874
1797.05	o 53261
1797.05	c 8871
1798.66	o 53262
1798.66	c 8870
1801.93	o 53271
1801.93	c 8861
1806.80	o 53272
1806.80	c 8860
1808.40	o 53276
1808.40	c 8856
1813.08	o 53281
1813.08	c 8851
1814.60	o 53284
1814.60	c 8848
1816.14	o 53292
1816.14	c 8840
1817.81	o 53293
1817.81	c 8839
1820.92	o 53294
1820.92	c 8838
1822.51	o 53298
1822.51	c 8834
1824.10	o 53304
1824.10	c 8828
1825.65	o 53305
1825.65	c 8827
1827.16	o 53310
1827.16	c 8822
1833.32	o 53314
1833.32	c 8818
1834.79	o 53315
1834.79	c 8817
1836.33	o 53321
1836.33	c 8811
1837.85	o 53325
1837.85	c 8807
1839.40	o 53326
1839.40	c 8806
1840.96	o 53330
1840.96	c 8802
1842.44	o 53333
1842.44	c 8799
1843.99	o 53334
1843.99	c 8798
1845.59	o 53337
1845.59	c 8795
1847.12	o 53339
1847.12	c 8793
1848.70	o 53344
1848.70	c 8788
1850.18	o 53345
1850.18	c 8787
1854.86	o 53349
1854.86	c 8783
1856.34	o 53354
1856.34	c 8778
1865.49	o 53358
1865.49	c 8774
1867.11	o 53359
1867.11	c 8773
1868.64	o 53360
1868.64	c 8772
1870.23	o 53361
1870.23	c 8771
1871.98	o 53367
1871.98	c 8765
1873.64	o 53369
1873.64	c 8763
1878.61	o 53372
1878.61	c 8760
1880.35	o 53378
1880.35	c 8754
1882.00	o 53384
1882.00	c 8748
1883.64	o 53387
1883.64	c 8745
1885.27	o 53389
1885.27	c 8743
1895.75	o 53390
1895.75	c 8742
1898.93	o 53392
1898.93	c 8740
1900.51	o 53404
1900.51	c 8728
1905.27	o 53407
1905.27	c 8725
1906.82	o 53411
1906.82	c 8721
1908.36	o 53412
1908.36	c 8720
1911.45	o 53416
1911.45	c 8716
1913.03	o 53417
1913.03	c 8715
1914.57	o 53419
1914.57	c 8713
1917.66	o 53422
1917.66	c 8710
1919.29	o 53423
1919.29	c 8709
1920.85	o 53424
1920.85	c 8708
1922.40	o 53425
1922.40	c 8707
1924.05	o 53431
1924.05	c 8701
1927.30	o 53434
1927.30	c 8698
1928.91	o 53440
1928.91	c 8692
1935.27	o 53444
1935.27	c 8688
1936.95	o 53446
1936.95	c 8686
1938.54	o 53451
1938.54	c 8681
1940.06	o 53455
1940.06	c 8677
1941.66	o 53457
1941.66	c 8675
1943.28	o 53464
1943.28	c 8668
1944.94	o 53465
1944.94	c 8667
1946.58	o 53467
1946.58	c 8665
1948.26	o 53469
1948.26	c 8663
1953.56	o 53471
1953.56	c 8661
1955.29	o 53473
1955.29	c 8659
1957.02	o 53475
1957.02	c 8657
1958.73	o 53477
1958.73	c 8655
1960.56	o 53487
1960.56	c 8645
1962.33	o 53491
1962.34	c 8641
1964.10	o 53496
1964.10	c 8636
1965.85	o 53498
1965.85	c 8634
1967.61	o 53500
1967.61	c 8632
1969.00	o 53504
1969.00	c 8628
1970.71	o 53510
1970.71	c 8622
1972.47	o 53511
1972.47	c 8621
1976.09	o 53514
1976.09	c 8618
1977.88	o 53519
1977.88	c 8613
1979.65	o 53520
1979.65	c 8612
1981.49	o 53523
1981.49	c 8609
1999.63	o 53525
1999.63	c 8607
2001.46	o 53528
2001.46	c 8604
2004.98	o 53531
2004.98	c 8601
2006.47	o 53538
2006.47	c 8594
2010.01	o 53542
2010.01	c 8590
2011.25	o 53545
2011.25	c 8587
2012.96	o 53547
2012.96	c 8585
2019.65	o 53549
2019.65	c 8583
2021.26	o 53557
2021.26	c 8575
2022.89	o 53558
2022.89	c 8574
2024.53	o 53561
2024.53	c 8571
2026.20	o 53565
2026.20	c 8567
2027.90	o 53571
2027.90	c 8561
2031.35	o 53573
2031.35	c 8559
2034.84	o 53577
2034.84	c 8555
2036.55	o 53582
2036.55	c 8550
2038.28	o 53592
2038.28	c 8540
2053.05	o 53593
2053.05	c 8539
2054.74	o 53595
2054.74	c 8537
2056.37	o 53599
2056.37	c 8533
2057.99	o 53600
2057.99	c 8532
2059.62	o 53601
2059.62	c 8531
2061.28	o 53603
2061.28	c 8529
2062.96	o 53605
2062.96	c 8527
2064.61	o 53606
2064.61	c 8526
2066.33	o 53607
2066.33	c 8525
2067.99	o 53613
2067.99	c 8519
2069.61	o 53623
2069.61	c 8509
2071.21	o 53632
2071.21	c 8500
2074.46	o 53633
2074.46	c 8499
2077.69	o 53637
2077.69	c 8495
2085.47	o 53639
2085.47	c 8493
2086.65	o 53648
2086.65	c 8484
2089.82	o 53650
2089.82	c 8482
2092.94	o 53652
2092.94	c 8480
2097.70	o 53653
2097.70	c 8479
2099.29	o 53655
2099.29	c 8477
2100.92	o 53661
2100.92	c 8471
2102.55	o 53668
2102.55	c 8464
2103.71	o 53675
2103.71	c 8457
2105.32	o 53677
2105.32	c 8455
2107.00	o 53679
2107.00	c 8453
2110.23	o 53684
2110.23	c 8448
2111.87	o 53686
2111.87	c 8446
2113.53	o 53687
2113.53	c 8445
2115.22	o 53688
2115.22	c 8444
2116.88	o 53693
2116.88	c 8439
2118.52	o 53699
2118.52	c 8433
2120.12	o 53707
2120.12	c 8425
2121.82	o 53708
2121.82	c 8424
2123.52	o 53711
2123.52	c 8421
2136.99	o 53712
2136.99	c 8420
2140.44	o 53713
2140.44	c 8419
2142.17	o 53717
2142.17	c 8415
2143.87	o 53719
2143.87	c 8413
2145.56	o 53721
2145.56	c 8411
2147.36	o 53723
2147.36	c 8409
2157.52	o 53724
2157.52	c 8408
2162.39	o 53726
2162.39	c 8406
2163.50	o 53730
2163.50	c 8402
2165.05	o 53735
2165.05	c 8397
2166.72	o 53737
2166.72	c 8395
2169.89	o 53738
2169.89	c 8394
2171.55	o 53739
2171.55	c 8393
2173.17	o 53744
2173.17	c 8388
2174.78	o 53750
2174.78	c 8382
2175.84	o 53754
2175.84	c 8378
2177.48	o 53759
2177.48	c 8373
2179.10	o 53761
2179.10	c 8371
2180.86	o 53764
2180.86	c 8368
2182.60	o 53767
2182.60	c 8365
2184.34	o 53769
2184.34	c 8363
2186.10	o 53777
2186.10	c 8355
2189.47	o 53780
2189.47	c 8352
2191.11	o 53781
2191.11	c 8351
2194.46	o 53784
2194.46	c 8348
2196.16	o 53785
2196.16	c 8347
2197.83	o 53787
2197.83	c 8345
2199.27	o 53788
2199.27	c 8344
2200.62	o 53791
2200.62	c 8341
2204.15	o 53794
2204.15	c 8338
2205.94	o 53795
2205.94	c 8337
2207.67	o 53799
2207.67	c 8333
2209.44	o 53802
2209.44	c 8330
2211.21	o 53806
2211.21	c 8326
2226.64	o 53810
2226.64	c 8322
2228.32	o 53815
2228.32	c 8317
2230.08	o 53817
2230.09	c 8315
2235.31	o 53818
2235.31	c 8314
2242.25	o 53821
2242.25	c 8311
2243.98	o 53824
2243.98	c 8308
2245.78	o 53826
2245.78	c 8306
2247.60	o 53830
2247.60	c 8302
2249.37	o 53833
2249.37	c 8299
2251.17	o 53834
2251.17	c 8298
2252.93	o 53835
2252.93	c 8297
2254.68	o 53838
2254.68	c 8294
2263.68	o 53840
2263.68	c 8292
2269.04	o 53841
2269.04	c 8291
2270.13	o 53846
2270.13	c 8286
2282.20	o 53853
2282.20	c 8279
2285.73	o 53855
2285.73	c 8277
2287.43	o 53859
2287.43	c 8273
2294.50	o 53860
2294.50	c 8272
2312.28	o 53862
2312.28	c 8270
2314.02	o 53868
2314.02	c 8264
2317.54	o 53873
2317.54	c 8259
2319.27	o 53875
2319.27	c 8257
2321.04	o 53877
2321.04	c 8255
2322.80	o 53879
2322.80	c 8253
2324.60	o 53880
2324.60	c 8252
2326.33	o 53890
2326.33	c 8242
2329.90	o 53892
2329.90	c 8240
2331.57	o 53894
2331.57	c 8238
2333.28	o 53897
2333.28	c 8235
2335.10	o 53898
2335.10	c 8234
2336.90	o 53899
2336.90	c 8233
2360.18	o 53903
2360.18	c 8229
2370.92	o 53908
2370.92	c 8224
2372.76	o 53913
2372.76	c 8219
2374.63	o 53917
2374.63	c 8215
2381.89	o 53922
2381.89	c 8210
2383.71	o 53926
2383.71	c 8206
2385.67	o 53927
2385.67	c 8205
2387.50	o 53930
2387.50	c 8202
2389.33	o 53937
2389.33	c 8195
2390.86	o 53943
2390.86	c 8189
2392.65	o 53946
2392.65	c 8186
2396.38	o 53952
2396.38	c 8180
2398.23	o 53955
2398.23	c 8177
2402.06	o 53958
2402.06	c 8174
2403.93	o 53964
2403.93	c 8168
2414.16	v 3854 -3286 2762 3966 2810 3914 -3902 -4010 3702 -3122 2994 -2654 3014 -2714 -3366 3806 4030 2690 -2690 3358 3206 2954 -3634 -4042 -3870 -3810 -3382 3450 4022 3914 -2654 3574 -3406 2826 -2714 2870 2674 -2686 -3922 3646 3034 3858 -3694 -3190 3426 -3482 2942 3882 -2850 -3386 -3950 -2782 -2654 -3242 3714 -2662 -3534 3298 3082 3206 -2854 3394 3638 -3566 -2666 3282 -4030 3454 -3434 -3530 -2690 -3110 4038 -3154 -3874 -3458 -3450 3790 -3906 -3594 3794 3206 3114 2786 -3986 3270 -2998 3962 -3434 2730 3626 -3346 -2658 4034 3622 -3998 -3430 -3890 -4014 -3110 -3574 -2838 2658 -3966 -3894 3218 -2694 3762 3294 3914 2810 -3974 -3266 3110 3554 3578 3730 -3762 3822 3690 -2766 -3014 -2694 -3842 -3318 -3258 -3130 3886 2982 -3274 -3790 4042 3050 2954 4014 3510 3234 -3150 -3434 3274 -2846 3706 -3834 -2690 -3082 3314 -3814 3994 2698 -3382 -2650 -3846 2690 2806 -3498 2662 4042 3766 -2650 -2718 2778 4038 3154 3102 -2786 -3898 -3862 -2702 2794 4018 -3946 -3858 3410 2922 -2654 -4042 3978 2658 -3066 -3730 2650 3982 -3774 3538 -3498 2706 -2950 3142 3930 3970 -3102 3506 -2722 -2690 -2806 -3370 -3082 2686 2650 3270 -3150 3894 -3294 4022 3094 -2690 -3522 2690 -4026 -3582 3878 -3242 3166 3254 3230 -3954 3038 2694 -3950 2766 3378 -2946 -2654 -3194 3794 -3954 -3434 3058 -3490 -3282 4018 4030 -3958 3986 3970 3014 3938 -2774 3094 -3874 -4042 -4038 -3022 -2694 -4038 -3994 2662 -2686 3070 3842 -2650 3070 -3058 3994 4038 -3838 -3526 -2854 3942 -3850 -2974 2938 -2658 2854 -2746 -3390 -3254 -3226 -3998 -3542 -2982 -3682 4026 3642 3010 -2694 -3658 -3338 -3558 -3438 2718 -3542 3366 -3990 4002 3190 3702 -3830 2702 3102 -2926 -3618 -2650 2666 -2654 3042 3370 -2802 -2654 -3398 2882 -2710 2658 3930 3098 3210 3702 -2722 -3990 3982 -3510 3998 -2762 -3538 3690 -2894 -4038 2670 -2650 3482 -3890 -3934 -3090 3034 2874 -3194 -3554 -3106 -3826 2650 -3934 -2858 -3642 -3930 -3958 3782 2918 2902 3930 -3114 3758 2934 3550 -2906 -3234 3202 -3806 -4018 -3854 -3110 -3266 3970 3930 -2654 -3282 -2766 -3534 -3846 -4002 2826 -3018 3414 3282 -4034 3342 2810 -3994 3474 2718 -3614 -2802 3346 4002 3298 3450 3766 -3282 -4010 3998 -2694 -2654 4022 2678 3046 -3154 2890 -3630 4042 -3974 2670 2690 -4026 -3066 -3782 -4034 2654 -3990 -2658 3310 3614 3610 -3082 3442 -2742 3914 -3150 3914 -3982 3442 -3970 -3782 -3894 -3830 4042 -2846 4038 4042 2698 -2830 4042 -3686 2790 2718 -3078 -3974 -3830 2750 -3118 3178 2662 3810 3606 3402 -3342 2974 -3450 3946 -2834 2914 -3862 -2842 -3790 2982 4034 -3902 3858 -2938 -3862 2810 2650 -3722 -3926 -4038 -3998 3214 -3786 2686 -3906 -3562 2650 4042 3326 2910 3234 -2650 3126 3470 -3058 -2758 -3134 3958 -3850 2810 -3806 -3786 4042 -3718 -3970 -3854 2662 2698 2690 -3610 4042 -2694 -2926 -2738 2930 3174 3902 -4014 -3150 -3926 -3902 4038 3998 -2690 3918 3282 -3190 -3910 3110 -2718 3534 -2650 -3894 -3846 3246 -3278 -4026 -3482 3018 2674 -3882 -3206 -4002 -3198 -3862 3742 3074 3990 2954 -2710 -3926 3926 4038 3766 -2934 3134 3802 2658 2690 -3362 2698 2694 -3198 -3534 -3398 2802 -3186 -3542 -3126 -3930 -2690 3390 -4014 3034 -2938 3578 3338 -3998 -3866 -3230 -2714 3998 -3930 -4034 2970 3642 -4034 -4030 2654 3090 -4038 -2774 4018 -2790 3038 3682 3478 3662 -3874 2674 2754 2990 4034 3046 3046 3682 4042 -3942 3870 -3766 -4002 3366 -2706 4010 3990 2762 -3814 3858 3550 2998 3966 3386 -4042 2670 4018 3706 -4014 2846 3374 3294 -3926 2706 2738 -3958 -3658 2966 -3618 3774 -2666 -2658 -3690 -3418 2898 2650 2726 -2674 -2798 2854 -3486 -4042 3230 3070 2798 -3758 -2838 2690 -3358 -2690 4038 -3238 4022 -3926 2706 -2682 -3922 3998 3346 -3514 -2650 -3106 -3814 3326 -3898 -2658 3666 -3830 3498 -2678 -3350 -4042 -3602 -3914 -3966 4038 -3142 -3866 -2694 3998 -3090 2898 2766 -3658 -3034 3446 -3246 2930 -3174 3914 -2746 -3878 -3318 -3106 -2658 4002 -3510 -3650 3890 -3442 -2806 4030 3518 -3114 3574 -3582 2682 3974 2846 3998 -2658 4042 2694 2682 -3390 3090 -3986 4038 -3998 2950 -3226 4038 -3246 -4002 -3810 -3506 2882 -2710 2654 4042 -3034 -2650 -2966 -3010 3358 -3074 -3522 3450 2650 -3866 -3558 -3722 -3902 -2878 -3958 -3470 -3998 -3018 3286 3042 -3914 -2698 3058 2662 -3678 -3494 -2826 -3086 2782 -3990 3266 -3766 -3114 2698 -2662 2702 3538 3686 -4022 3994 2850 -4022 2650 -2666 -2674 3750 -2870 2926 3990 3694 2654 3290 -2650 3830 -3918 -3194 -3582 -3626 -3886 -3890 -2674 3094 -3966 -3554 -2650 3298 -3358 -2850 3442 -3306 -3442 2666 2710 -3074 3038 3482 -3158 -3526 -3318 -2650 -3990 3358 -3386 3602 2862 -3658 3054 -2718 2682 -3082 -3858 2878 2650 2754 2654 3886 2834 2698 -2902 -3866 3150 3254 -3030 3998 2698 -3282 3990 -2650 3874 3210 -3166 3790 2682 -2786 3990 2666 -3670 4018 3994 3954 3930 3106 -2998 3614 -3538 -3258 -3038 -2662 3878 3302 3218 -3806 2710 3338 2650 -3774 3898 2702 -2650 2698 3342 -3814 -4042 -3374 -2706 -2654 -3162 2690 -3518 -4022 4042 -2654 3502 3926 -3938 3550 -3886 -3326 -2974 2770 -4022 -3610 3758 -3946 -2718 -3986 -3142 -2918 -2742 -2934 4042 -2662 -2654 3286 -3522 -2694 -3770 -2870 -3610 3718 -3750 -4042 3794 3622 2934 2878 -2706 -3278 3742 2658 3382 -4042 -3926 3938 -3870 3862 -3522 -4006 3766 -4018 -3250 3974 3210 -3994 2946 -2682 -2650 3418 -3834 3922 -3166 3358 -3474 2650 2798 3974 3682 3830 -4010 -3966 4042 4034 3742 3222 3550 -3154 -3918 -3038 -4030 3038 -3906 -4042 3990 3026 3094 -4042 3514 3778 2710 3990 3886 -3958 3378 -3966 -3410 4030 -3562 3970 2966 2978 -3146 2974 -3590 -4038 -2686 -3866 -3798 -3530 3026 -3330 2838 3710 3598 3794 -3626 -2894 2666 4014 2714 2694 -2650 -3646 -2926 3942 2678 3994 3406 -2706 -3306 2746 3270 -3058 3666 -3398 -3590 2818 2698 3946 2654 3050 -3370 -2694 3118 2698 3970 -3450 2694 3242 2698 4010 -3830 3750 3850 3906 -3734 4018 -2714 3302 4002 3694 -4038 3950 -3362 -3218 -3378 -2650 -2722 -3930 2690 3610 3202 3238 -3006 2726 2682 4038 3094 -3806 3074 2718 3982 3350 -2942 -2654 4042 2782 -3918 3258 -2806 3918 -3998 -3238 4002 -3002 2734 -3710 2670 3178 -3958 3354 -2786 -4042 -3574 3942 3998 2894 -3274 -2694 2906 -3990 -2650 3126 3858 3734 -3610 3326 3710 2726 3886 -3694 3830 -2726 2686 2982 -4018 3158 -3554 4034 -3146 -2658 -3898 -3530 3098 -4018 4042 3058 3882 3150 3258 3782 -3738 2758 -2662 2658 2682 2906 -3422 -2654 -2694 -3562 3998 3318 4034 3278 -3790 2706 2726 2710 3186 3854 3810 -3534 -2650 3030 -3130 3202 3470 3298 3230 4018 -3698 2730 -3154 -2946 -2986 -2930 2698 -2650 2658 -2906 3486 -3446 -3654 -2734 3682 3698 2762 -3034 -3470 3962 3990 2910 -2690 2702 -3146 4042 2710 4002 2686 -2758 3970 -3670 -3122 -3462 -2818 3982 -2742 -2726 -2842 2914 -4002 -3194 -4022 3866 3978 3146 -3474 -3166 2654 2926 -2910 -2718 3890 2754 -2786 3926 -3926 3510 2830 3766 -2762 2766 3786 3998 3946 2750 3278 -3938 3974 -2698 -2746 -3154 3930 -2990 -3734 3890 4010 -3738 2658 -2842 3730 -3590 -2686 3494 -2890 -2654 2658 2690 -3958 3134 2742 -3534 -3058 -3526 3702 3894 -3674 -3570 -3618 2846 3442 3978 -3078 3822 3878 3206 -3346 3082 -2650 3918 -3998 -2650 4006 -3418 -4014 -4018 3918 3418 -2850 2758 -2914 2750 -3478 3994 2850 -2750 3010 -2890 -3858 2702 3778 2810 -3330 -3902 3986 -2922 3122 -4002 -3870 3994 4030 -3650 -2718 3030 2694 -3070 3074 3338 -3366 -2650 -3470 -3906 -2650 2850 3890 4030 -3142 -2742 2694 3114 2926 -3914 4018 -4034 -2990 -2650 -4034 -3218 2830 4042 -2650 -3954 3442 2722 -2774 3470 -3386 2938 2866 2838 2650 -2658 3654 2706 -3878 -2742 -3982 -3030 -3882 -3886 -3070 2898 -3518 -2650 3022 2786 -3530 2778 -3958 3326 3318 3838 3490 3866 -3846 -3490 -3470 -3742 2654 3934 2886 -2718 -2690 3074 2858 4042 -3186 3990 -3926 3346 -3530 2754 -3442 -2678 -3326 -3426 3486 -2994 3554 -2958 -3894 3086 -2654 2806 -3390 -3858 3062 -3642 -3818 3082 3814 2758 3658 4022 4010 2814 2742 -2898 -3926 3046 3466 3726 -2666 -2690 -2790 -2746 3662 -2818 -2650 -3982 -4042 2666 3178 4018 3162 -3386 2650 -3958 3198 -3442 3910 -3574 3102 -4002 4042 4030 -3434 -3522 -2918 3758 3390 -3022 -3290 2710 3982 3978 3430 -2650 -3838 -2690 -3306 4014 2870 3482 2690 4022 -3630 -3910 -2866 2934 3738 3474 -3734 -3898 -2698 -4042 3670 -2874 3978 4006 -2866 -2766 4030 2650 3994 3454 3558 2762 3730 -2902 -3422 2942 -3842 -2650 -2690 3962 3994 2650 2810 -2802 -3914 -3878 -2718 -2878 3210 3726 -2690 -3234 3738 3302 3902 -3294 3846 4042 3698 3906 -3586 -3926 -3378 -3162 -2682 3822 -3870 -3842 3214 -3086 2670 -4034 3770 -3370 4034 3998 -2774 -3714 3954 3962 2706 3154 -2650 3986 -2966 3742 3602 -3410 -4006 -2658 -3698 2730 -2714 -3286 3702 3026 -3606 4010 2850 -3822 3966 4002 -2658 2970 -3950 -2714 3158 -4022 -2990 -4002 -3738 4042 -3130 3954 -4034 3994 3590 -3526 -3642 4038 3990 3706 3998 -2814 2650 -3930 2650 2982 -3258 3874 3498 -2806 3194 2650 -3910 -3922 -3926 -3654 -3414 -3082 3310 -3138 2954 3406 3086 4042 3430 3830 2650 -3986 2722 -3906 4014 2818 -2726 3766 3822 -3738 3258 3966 -3842 -3582 -2818 3358 3122 -4042 -3194 2806 -2858 3474 2886 -3434 3466 3534 3958 -3358 3886 2658 -3426 2794 3670 3058 3902 -2722 -2778 -3554 2698 -3226 -3906 3390 -3750 -3442 2670 3058 3998 3498 -2734 -3710 3786 -2874 3182 -3398 3494 -2754 3870 -4034 3886 -3926 -3870 3934 3342 -2874 2934 3826 3646 -3254 -2726 -3702 -2990 -3926 -4022 3286 -2770 3526 3122 -3686 3010 3994 3726 -3978 4042 -4002 3310 2710 3998 -3350 -2750 2954 -3534 2974 -3986 3698 3530 3730 3922 3602 -3898 2654 -3342 -3370 2690 2698 3822 3454 -3446 -3354 3858 3582 2690 -3042 3846 3666 3278 2910 2650 4042 2958 -3518 -3086 2898 3266 2658 2870 3446 3482 -3078 2682 4018 -3542 2982 -3986 3170 3346 -3574 -3518 -2942 -3890 2694 2698 -2738 2702 -3994 3250 -2674 3922 2698 3778 2662 -3094 2922 -3998 3450 3710 -4026 3322 -3650 3578 3798 -3818 4034 -3074 3182 2950 -3474 -3818 2718 3190 -3898 -4042 2998 -3038 3974 3862 -3986 3522 -3886 3782 3410 -3182 -3154 -3470 -3358 -3594 2658 -2682 -3854 -3110 -2662 2658 3322 4014 4038 3182 -3570 -3402 -2674 3998 3542 -3962 3318 -2650 -2650 -3846 -3098 4034 4026 2674 -2962 -3130 -3074 3778 3458 3398 3602 3778 -2654 -2690 -3650 3654 -3114 -3922 -3922 -3654 2870 -3770 -3946 -3906 -3894 2654 -3918 -2698 3162 3882 4010 -3998 3450 3870 -2978 2718 -3354 -3222 -3358 -4030 3298 3822 -2878 -2982 -3782 -2994 3926 4002 -2966 3310 3182 2650 -2658 -3314 -4014 -4006 -2894 2662 -3958 -3862 2866 -3990 -3642 4038 3606 3022 -3710 3990 -2650 3914 3186 3254 3586 3670 2690 3630 -3190 2710 3978 3774 -2698 3222 3182 2946 4014 2734 3926 3222 -2770 -3758 -4002 -3894 -2650 4002 3118 -2758 3546 -2678 -4010 -3142 2654 -3994 2758 -3254 -2722 -3778 3774 2706 3990 -3070 -4002 2818 3542 -2650 -2722 2698 3094 -3926 3054 2982 3462 3466 -2670 3250 4042 4042 3414 -3858 -3842 2702 2946 3082 3514 3150 3646 -3418 -4022 2950 2654 -2742 -3206 2658 3950 -3206 -3310 -3842 3394 2682 3022 3178 -2714 -3950 -2782 -2694 -3874 -3426 -3918 -2778 -2690 -2910 -3490 -2690 -2658 2674 -2718 2810 2774 2666 3494 -3242 -4042 2786 3866 -3494 3994 3274 -3982 -3462 -4042 2750 3346 -3942 -3990 -3302 -3942 2658 -2706 2690 3650 -2730 2702 3886 2690 4034 -3970 -2690 3986 3934 2770 -2654 -3822 -3654 -3890 4030 -4042 2978 4034 -3866 -2814 2718 -3494 4030 -4018 -4014 4002 2770 -3978 2690 2750 -2650 -3614 2674 -3306 2894 2714 2846 2654 -3018 3882 2758 2982 -3166 -3282 2790 3982 3910 3242 -4002 -3198 -2694 -3882 2746 -4034 -4038 -3754 3982 -4038 4038 2690 -2838 -3994 3878 -2746 -2950 -3662 -3458 -3758 2866 3846 -2658 -3734 -2650 -3662 3542 3774 2658 -3098 -3502 3186 2818 2854 -3998 -4034 -3730 4026 -2814 2762 2806 -3302 3342 3278 3618 -3758 2758 -3042 3570 2730 -4030 2678 3222 2822 2802 -3974 -3982 -2834 2718 3062 -3262 -3974 2666 3970 3130 4022 3238 3906 3986 3750 -3962 3238 -3914 3098 2658 2650 2650 -4018 -2686 -3074 3690 -3354 -4006 -2714 2814 -3714 2942 -3606 -3966 -2938 3554 3970 3210 -2862 3446 -3178 -3594 -2770 -3118 -3974 2830 -3918 2702 -4042 -2786 -3342 -3398 -2714 3674 3170 -3694 -3386 -2878 -3002 2650 -3858 -2850 -4034 -3610 3342 -4014 3942 4038 3430 3358 2734 -2834 -3930 -3166 3470 3578 2770 -3294 -2662 2654 3046 -2846 2694 2674 -3262 -3642 -3134 4038 3978 2654 3990 3926 -3342 -3986 2650 -4002 -2698 -3614 3234 -3914 -2734 3306 2654 3014 -4006 -3494 3366 -2690 3686 -3406 2842 -2658 -2946 -3974 3474 3850 2806 -2650 4002 2806 2886 3858 -4002 -2950 3298 -4034 -3730 -3302 -3378 -2690 -3226 -2662 2706 3338 -2722 -2678 4026 4042 -2782 -3266 -2894 3246 2950 -3942 -2738 3962 -2686 3894 -3402 -3166 2746 -2790 -2650 4030 3866 -3922 4002 -4042 -2666 -3166 3382 -3514 3886 -3550 2650 -3470 3178 -3374 3898 -3982 -3006 4034 2654 -4038 -3282 4038 -3898 3490 -3658 -2926 3422 3966 -2954 3246 3134 -3830 3926 3198 -2950 2698 2702 -3850 -3730 -2674 3846 3358 -3854 3338 2658 3402 3962 -3998 3590 -3810 2782 -2746 -4002 -4042 -3574 -3446 3942 3122 -2782 -2670 -3982 3826 3146 2978 -3990 3330 -4042 3546 -3998 -3190 2910 3694 -3122 -2698 3582 3474 3430 4030 -3286 -3882 3970 2958 3750 -3114 3134 4034 3962 3686 -3014 -3698 -3438 3318 -3910 -3106 3886 3702 3774 -2650 -2950 4038 3674 4038 -2662 3158 3866 3254 2718 3922 -3998 -2658 -2830 -3814 -3034 3170 -3322 -2942 3006 3362 3334 -3914 -3214 3486 -2690 -3642 2854 -2826 3930 3302 -3938 -2882 2758 4030 3074 -3174 2754 -2830 -3914 2726 3486 -2650 3930 -2666 -3762 4038 -3374 -3126 3398 -2942 -3474 -3834 -3238 4038 -2658 3222 -3590 2690 4010 3878 3998 -3426 -2658 3302 -3438 -3894 -3958 4038 -3886 -3890 -3710 -3438 3442 -3454 3950 2778 -3126 -2658 2890 3502 -3358 2942 -3282 -2734 -4022 -3722 3094 -3818 -2734 3722 3398 3178 -3414 -3850 -2698 -3954 -3026 -4010 4026 2798 -3042 3562 2718 3286 -3302 -3870 3414 3562 -3002 -3534 3082 3990 4014 -4042 -3878 -4042 3406 -2886 2650 3434 -3254 -3922 3954 -3470 -3238 3954 -2782 3458 2702 -3886 -2686 -3982 -3690 2694 3982 2854 3530 3358 -3958 -4002 3926 -3998 -3382 2934 3102 3422 -3990 -4034 4038 -3726 -3058 -2722 -4026 3630 3898 -3966 -4026 -3434 -4042 3430 3094 -2658 3394 2774 -2678 4002 3370 4022 3606 3422 3570 -3958 -3522 3650 -2910 2678 2778 -3882 3506 -3950 -4030 3298 3126 3262 -3950 -3354

Verifier Data (download as text)

8168 unsatisfied constraints, 53964 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/node72/watcher-275631-1169224224 -o ROOT/results/node72/solver-275631-1169224224 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275631-1169224224/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.01 2.01 2.00 5/93 32707
/proc/meminfo: memFree=1265448/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=18540 CPUtime=0
/proc/32706/stat : 32706 (runsolver) R 32704 32706 31562 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270831292 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32706/statm: 4635 279 244 17 0 2626 0

[startup+0.106905 s]
/proc/loadavg: 2.01 2.01 2.00 5/93 32707
/proc/meminfo: memFree=1265448/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=914988 CPUtime=0.09
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 270831292 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514941 s]
/proc/loadavg: 2.01 2.01 2.00 5/93 32707
/proc/meminfo: memFree=1265448/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915332 CPUtime=0.49
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 7859 0 1 0 45 4 0 0 18 0 8 0 270831292 937299968 7598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073585225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228833 7598 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33602 s]
/proc/loadavg: 2.01 2.01 2.00 4/100 32714
/proc/meminfo: memFree=1173496/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915604 CPUtime=1.3
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 28865 0 1 0 117 13 0 0 23 0 8 0 270831292 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380173 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228901 28602 2162 14 0 215371 0
[pid=32706/tid=32708] ppid=32704 vsize=915604 CPUtime=0.11
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 12309 0 0 0 7 4 0 0 16 0 8 0 270831296 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270831297 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915604 CPUtime=0.15
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 270831300 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937578496 28602 18446744073709551615 134512640 134570532 4294956480 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.98117 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 32714
/proc/meminfo: memFree=1149880/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915604 CPUtime=2.93
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 32555 0 1 0 278 15 0 0 25 0 8 0 270831292 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228901 32285 2162 14 0 215371 0
[pid=32706/tid=32708] ppid=32704 vsize=915604 CPUtime=0.3
/proc/32706/task/32708/stat : 32708 (java) R 32704 32706 31562 0 -1 64 15991 0 0 0 25 5 0 0 16 0 8 0 270831296 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827385 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270831297 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915604 CPUtime=0.16
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 270831300 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915604 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937578496 32285 18446744073709551615 134512640 134570532 4294956480 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.18945 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 32714
/proc/meminfo: memFree=1142520/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=6.11
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 33060 0 1 0 594 17 0 0 25 0 8 0 270831292 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228936 32788 2182 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=0.36
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 16421 0 0 0 30 6 0 0 16 0 8 0 270831296 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270831297 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.17
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 418 0 0 0 17 0 0 0 16 0 8 0 270831300 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 32788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915744

[startup+12.658 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1142648/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=12.51
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 33063 0 1 0 1234 17 0 0 25 0 8 0 270831292 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228936 32790 2182 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=0.36
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 16421 0 0 0 30 6 0 0 16 0 8 0 270831296 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270831297 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.19
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 420 0 0 0 18 1 0 0 16 0 8 0 270831300 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 32790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915744

[startup+25.5212 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1142776/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=25.26
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 33074 0 1 0 2508 18 0 0 25 0 8 0 270831292 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228936 32801 2183 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=0.36
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 16421 0 0 0 30 6 0 0 16 0 8 0 270831296 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270831297 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.2
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 270831300 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 32801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915744

[startup+51.1296 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1137016/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=50.63
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 34536 0 1 0 5043 20 0 0 25 0 8 0 270831292 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228936 34261 2183 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=0.43
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 17880 0 0 0 37 6 0 0 16 0 8 0 270831296 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270831297 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.21
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 270831300 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 34261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915744

[startup+102.363 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1083000/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=101.39
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48505 0 1 0 10110 29 0 0 25 0 8 0 270831292 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32706/statm: 228936 48082 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.27
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 467 0 0 0 26 1 0 0 16 0 8 0 270831300 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915744

[startup+162.435 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 32714
/proc/meminfo: memFree=1083000/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=160.9
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48506 0 1 0 16059 31 0 0 25 0 8 0 270831292 937721856 48082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.27 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 508
/proc/meminfo: memFree=979384/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=2070.97
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48518 0 1 0 207022 75 0 0 25 0 8 0 270831292 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32706/statm: 228936 48093 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.29
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.97
Current children cumulated vsize (KiB) 915744

[startup+2143.36 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 508
/proc/meminfo: memFree=909880/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=2130.72
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48518 0 1 0 212996 76 0 0 25 0 8 0 270831292 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32706/statm: 228936 48093 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.29
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.72
Current children cumulated vsize (KiB) 915744

[startup+2203.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 508
/proc/meminfo: memFree=909880/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=2190.44
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48518 0 1 0 218968 76 0 0 25 0 8 0 270831292 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32706/statm: 228936 48093 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.29
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2190.44
Current children cumulated vsize (KiB) 915744

[startup+2263.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 508
/proc/meminfo: memFree=909880/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=2250.18
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48518 0 1 0 224941 77 0 0 25 0 8 0 270831292 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32706/statm: 228936 48093 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.29
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2250.18
Current children cumulated vsize (KiB) 915744

[startup+2323.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 508
/proc/meminfo: memFree=909816/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=2309.85
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48518 0 1 0 230908 77 0 0 25 0 8 0 270831292 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32706/statm: 228936 48093 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.29
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.85
Current children cumulated vsize (KiB) 915744

[startup+2383.49 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 508
/proc/meminfo: memFree=909752/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=2369.53
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48518 0 1 0 236875 78 0 0 25 0 8 0 270831292 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32706/statm: 228936 48093 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.29
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.53
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2414.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 508
/proc/meminfo: memFree=909816/2055920 swapFree=4191880/4192956
[pid=32706] ppid=32704 vsize=915744 CPUtime=2400.04
/proc/32706/stat : 32706 (java) R 32704 32706 31562 0 -1 0 48518 0 1 0 239926 78 0 0 25 0 8 0 270831292 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32706/statm: 228936 48093 2501 14 0 215406 0
[pid=32706/tid=32708] ppid=32704 vsize=915744 CPUtime=1.67
/proc/32706/task/32708/stat : 32708 (java) S 32704 32706 31562 0 -1 64 31458 0 0 0 156 11 0 0 16 0 8 0 270831296 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32709] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32709/stat : 32709 (java) S 32704 32706 31562 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32710] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32710/stat : 32710 (java) S 32704 32706 31562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270831297 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32711] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32711/stat : 32711 (java) S 32704 32706 31562 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32712] ppid=32704 vsize=915744 CPUtime=0.29
/proc/32706/task/32712/stat : 32712 (java) S 32704 32706 31562 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32706/tid=32713] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32713/stat : 32713 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32706/tid=32714] ppid=32704 vsize=915744 CPUtime=0
/proc/32706/task/32714/stat : 32714 (java) S 32704 32706 31562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270831300 937721856 48093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2414.22
CPU time (s): 2400.1
CPU user time (s): 2399.29
CPU system time (s): 0.813876
CPU usage (%): 99.4153
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.29
system time used= 0.813876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48542
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= 50161
involuntary context switches= 95668

runsolver used 3.01554 s user time and 7.84981 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Fri Jan 19 16:30:25 UTC 2007


IDJOB= 275631
IDBENCH= 4175
IDSOLVER= 69
FILE ID= node72/275631-1169224224

PBS_JOBID= 3589109

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e17ec046c3a7997040f3d055b0024c8a

RANDOM SEED= 827119517

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.223
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.223
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:       1265928 kB
Buffers:         56784 kB
Cached:         575824 kB
SwapCached:        268 kB
Active:         311732 kB
Inactive:       397584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1265928 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           10244 kB
Writeback:           0 kB
Mapped:         104128 kB
Slab:            65208 kB
Committed_AS:  5318400 kB
PageTables:       2388 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= 66551 MiB



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