Trace number 275624

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.1 2420.39

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-0.xml
MD5SUM00688de2264349cb35c485d1a6fd29a5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints53320
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275624-1169224083/unknown.xml
0.35	   
0.35	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.82	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.82	       =>  wckTime=0.532  cpuTime=0.37  mem=44M687
0.82	   
0.82	   predicates being loaded...
0.82	   
0.82	   constraints being loaded...
61.32	   
61.32	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 112M929)
65.09	     nbConstraints=62132  nbConvertedConstraints=566  nbConvertConstraintsChecks=199630480  nbExtensionStructures=508
65.09	     nbSharedExtensionStructures=58  nbConflictsStructures=508  nbSharedConflictsStructures=58
65.09	     nbSharedBinaryRepresentations=565237  nbEvaluationManagers=15688  nbSharedEvaluationManagers=45878  maxDegree=105
65.09	     maxArity=2
65.09	       =>  wckTime=64.801  cpuTime=62.92  mem=126M691
65.57	   
65.57	   solver LocalSearchSolver being built... 
65.61	       =>  wckTime=65.323  cpuTime=62.96  mem=123M981
66.69	
66.69	s SATISFIABLE
66.69	o 45595
66.69	c 16537
67.46	o 45609
67.46	c 16523
67.86	o 45626
67.86	c 16506
68.34	o 45641
68.34	c 16491
68.67	o 45660
68.67	c 16472
68.89	o 45675
68.89	c 16457
69.23	o 45680
69.23	c 16452
69.41	o 45692
69.41	c 16440
69.69	o 45705
69.69	c 16427
70.00	o 45720
70.00	c 16412
70.25	o 45734
70.25	c 16398
70.40	o 45748
70.40	c 16384
70.59	o 45759
70.59	c 16373
70.72	o 45770
70.72	c 16362
70.88	o 45777
70.88	c 16355
71.02	o 45780
71.02	c 16352
71.26	o 45783
71.26	c 16349
71.50	o 45794
71.50	c 16338
71.64	o 45808
71.64	c 16324
71.84	o 45817
71.84	c 16315
72.03	o 45818
72.03	c 16314
72.28	o 45831
72.28	c 16301
72.47	o 45833
72.47	c 16299
72.65	o 45837
72.65	c 16295
72.81	o 45849
72.81	c 16283
73.04	o 45856
73.04	c 16276
73.25	o 45863
73.25	c 16269
73.50	o 45869
73.50	c 16263
73.75	o 45881
73.75	c 16251
73.95	o 45885
73.95	c 16247
74.09	o 45888
74.09	c 16244
74.25	o 45890
74.25	c 16242
74.44	o 45892
74.44	c 16240
74.55	o 45897
74.55	c 16235
74.74	o 45901
74.74	c 16231
74.94	o 45908
74.94	c 16224
75.09	o 45917
75.09	c 16215
75.33	o 45920
75.33	c 16212
75.48	o 45932
75.48	c 16200
75.68	o 45944
75.68	c 16188
75.81	o 45949
75.81	c 16183
76.18	o 45953
76.18	c 16179
76.37	o 45957
76.37	c 16175
76.59	o 45959
76.59	c 16173
76.84	o 45960
76.84	c 16172
77.24	o 45963
77.24	c 16169
77.49	o 45968
77.49	c 16164
77.69	o 45975
77.69	c 16157
77.83	o 45978
77.83	c 16154
78.16	o 45979
78.16	c 16153
78.63	o 45986
78.63	c 16146
78.76	o 46003
78.76	c 16129
78.92	o 46009
78.92	c 16123
79.05	o 46011
79.05	c 16121
79.18	o 46014
79.18	c 16118
79.36	o 46018
79.36	c 16114
79.55	o 46031
79.55	c 16101
79.72	o 46037
79.72	c 16095
79.89	o 46041
79.89	c 16091
80.08	o 46045
80.08	c 16087
80.24	o 46054
80.24	c 16078
80.39	o 46057
80.39	c 16075
80.62	o 46066
80.62	c 16066
81.47	o 46070
81.47	c 16062
81.68	o 46082
81.68	c 16050
81.87	o 46089
81.87	c 16043
82.03	o 46091
82.03	c 16041
82.28	o 46094
82.28	c 16038
82.43	o 46097
82.43	c 16035
82.83	o 46100
82.83	c 16032
82.93	o 46104
82.93	c 16028
83.10	o 46106
83.10	c 16026
83.28	o 46116
83.29	c 16016
83.50	o 46122
83.50	c 16010
83.70	o 46128
83.70	c 16004
83.86	o 46133
83.86	c 15999
84.62	o 46137
84.62	c 15995
84.81	o 46142
84.81	c 15990
84.91	o 46146
84.91	c 15986
85.04	o 46157
85.04	c 15975
85.20	o 46159
85.20	c 15973
85.33	o 46169
85.33	c 15963
85.47	o 46170
85.47	c 15962
85.61	o 46175
85.61	c 15957
85.72	o 46178
85.72	c 15954
85.86	o 46180
85.86	c 15952
86.04	o 46183
86.04	c 15949
86.21	o 46190
86.21	c 15942
86.37	o 46191
86.37	c 15941
86.54	o 46198
86.54	c 15934
86.71	o 46205
86.71	c 15927
86.89	o 46214
86.89	c 15918
87.09	o 46221
87.09	c 15911
87.25	o 46222
87.25	c 15910
87.44	o 46224
87.44	c 15908
87.93	o 46225
87.93	c 15907
88.10	o 46233
88.10	c 15899
88.24	o 46237
88.24	c 15895
88.45	o 46240
88.45	c 15892
88.68	o 46245
88.68	c 15887
88.99	o 46256
88.99	c 15876
89.22	o 46266
89.22	c 15866
89.67	o 46270
89.67	c 15862
89.90	o 46277
89.90	c 15855
90.12	o 46292
90.12	c 15840
90.26	o 46299
90.26	c 15833
90.49	o 46300
90.49	c 15832
90.65	o 46309
90.65	c 15823
90.97	o 46310
90.97	c 15822
91.21	o 46321
91.21	c 15811
91.55	o 46325
91.55	c 15807
92.24	o 46339
92.24	c 15793
92.87	o 46342
92.87	c 15790
93.58	o 46345
93.58	c 15787
94.21	o 46353
94.21	c 15779
94.55	o 46373
94.55	c 15759
94.90	o 46378
94.90	c 15754
95.23	o 46381
95.23	c 15751
95.56	o 46387
95.56	c 15745
95.89	o 46399
95.89	c 15733
96.29	o 46405
96.29	c 15727
96.59	o 46412
96.59	c 15720
97.25	o 46416
97.25	c 15716
97.54	o 46420
97.54	c 15712
97.93	o 46431
97.93	c 15701
98.23	o 46435
98.23	c 15697
98.55	o 46437
98.55	c 15695
98.90	o 46444
98.90	c 15688
99.30	o 46449
99.30	c 15683
99.63	o 46452
99.63	c 15680
99.97	o 46464
99.97	c 15668
100.34	o 46465
100.34	c 15667
100.70	o 46468
100.70	c 15664
101.29	o 46474
101.29	c 15658
101.92	o 46480
101.92	c 15652
102.18	o 46482
102.18	c 15650
102.48	o 46490
102.48	c 15642
103.56	o 46498
103.56	c 15634
103.81	o 46504
103.81	c 15628
104.05	o 46513
104.05	c 15619
104.39	o 46519
104.39	c 15613
105.29	o 46523
105.29	c 15609
105.95	o 46527
105.95	c 15605
106.27	o 46528
106.27	c 15604
106.64	o 46537
106.64	c 15595
107.20	o 46543
107.20	c 15589
107.53	o 46550
107.53	c 15582
107.96	o 46553
107.96	c 15579
108.29	o 46557
108.29	c 15575
108.61	o 46558
108.61	c 15574
108.85	o 46559
108.85	c 15573
109.20	o 46560
109.20	c 15572
109.83	o 46563
109.83	c 15569
110.11	o 46575
110.11	c 15557
110.40	o 46586
110.40	c 15546
110.83	o 46592
110.83	c 15540
111.27	o 46594
111.27	c 15538
111.89	o 46601
111.89	c 15531
112.38	o 46609
112.38	c 15523
112.84	o 46612
112.84	c 15520
113.34	o 46623
113.34	c 15509
114.24	o 46626
114.24	c 15506
114.74	o 46633
114.74	c 15499
115.13	o 46636
115.13	c 15496
115.58	o 46637
115.58	c 15495
116.51	o 46641
116.51	c 15491
116.93	o 46651
116.93	c 15481
117.36	o 46660
117.36	c 15472
117.83	o 46667
117.83	c 15465
118.32	o 46676
118.32	c 15456
118.78	o 46680
118.78	c 15452
119.23	o 46691
119.23	c 15441
119.72	o 46694
119.72	c 15438
120.15	o 46697
120.15	c 15435
120.62	o 46700
120.62	c 15432
121.05	o 46703
121.05	c 15429
121.47	o 46706
121.48	c 15426
121.98	o 46722
121.98	c 15410
122.44	o 46727
122.44	c 15405
122.91	o 46728
122.91	c 15404
123.41	o 46734
123.41	c 15398
123.87	o 46742
123.87	c 15390
124.38	o 46747
124.38	c 15385
124.84	o 46751
124.84	c 15381
125.18	o 46756
125.18	c 15376
125.67	o 46763
125.67	c 15369
126.14	o 46770
126.14	c 15362
126.55	o 46774
126.55	c 15358
127.03	o 46784
127.03	c 15348
127.43	o 46786
127.43	c 15346
127.88	o 46793
127.88	c 15339
128.33	o 46801
128.33	c 15331
129.51	o 46811
129.51	c 15321
130.32	o 46824
130.32	c 15308
130.82	o 46827
130.82	c 15305
131.61	o 46838
131.61	c 15294
132.03	o 46842
132.03	c 15290
132.46	o 46848
132.46	c 15284
132.92	o 46849
132.92	c 15283
133.31	o 46853
133.31	c 15279
133.77	o 46860
133.77	c 15272
134.26	o 46866
134.26	c 15266
134.75	o 46872
134.75	c 15260
135.67	o 46879
135.67	c 15253
136.19	o 46882
136.19	c 15250
136.62	o 46887
136.62	c 15245
137.11	o 46888
137.11	c 15244
138.79	o 46891
138.79	c 15241
141.45	o 46903
141.45	c 15229
141.95	o 46904
141.95	c 15228
142.44	o 46906
142.45	c 15226
142.97	o 46915
142.97	c 15217
143.48	o 46920
143.48	c 15212
144.05	o 46921
144.05	c 15211
144.60	o 46923
144.60	c 15209
145.12	o 46925
145.12	c 15207
145.62	o 46934
145.62	c 15198
146.58	o 46943
146.58	c 15189
147.02	o 46950
147.02	c 15182
148.38	o 46952
148.38	c 15180
148.87	o 46960
148.87	c 15172
149.70	o 46965
149.70	c 15167
150.16	o 46977
150.16	c 15155
150.66	o 46989
150.66	c 15143
151.13	o 46995
151.13	c 15137
151.60	o 47003
151.60	c 15129
152.09	o 47006
152.09	c 15126
152.60	o 47010
152.60	c 15122
153.08	o 47018
153.08	c 15114
153.64	o 47021
153.64	c 15111
154.69	o 47035
154.69	c 15097
155.19	o 47044
155.19	c 15088
155.70	o 47053
155.70	c 15079
156.21	o 47058
156.21	c 15074
156.85	o 47066
156.85	c 15066
157.43	o 47067
157.43	c 15065
157.96	o 47074
157.96	c 15058
158.46	o 47081
158.46	c 15051
158.99	o 47087
158.99	c 15045
159.52	o 47092
159.52	c 15040
160.06	o 47097
160.06	c 15035
160.62	o 47102
160.62	c 15030
161.17	o 47106
161.17	c 15026
161.76	o 47108
161.76	c 15024
162.28	o 47110
162.28	c 15022
162.84	o 47112
162.84	c 15020
163.42	o 47113
163.42	c 15019
163.98	o 47114
163.98	c 15018
164.50	o 47122
164.50	c 15010
165.05	o 47133
165.05	c 14999
166.95	o 47135
166.95	c 14997
167.43	o 47137
167.43	c 14995
167.99	o 47140
167.99	c 14992
168.56	o 47145
168.56	c 14987
169.11	o 47158
169.11	c 14974
169.65	o 47167
169.65	c 14965
170.20	o 47169
170.20	c 14963
170.78	o 47183
170.78	c 14949
171.34	o 47185
171.34	c 14947
171.94	o 47190
171.94	c 14942
172.51	o 47195
172.51	c 14937
173.89	o 47207
173.89	c 14925
174.43	o 47213
174.44	c 14919
175.02	o 47222
175.02	c 14910
175.64	o 47225
175.64	c 14907
176.23	o 47226
176.23	c 14906
176.82	o 47233
176.82	c 14899
177.50	o 47238
177.50	c 14894
178.17	o 47248
178.17	c 14884
178.79	o 47260
178.79	c 14872
179.47	o 47262
179.47	c 14870
180.12	o 47270
180.12	c 14862
180.79	o 47274
180.79	c 14858
182.73	o 47277
182.73	c 14855
183.35	o 47278
183.35	c 14854
183.92	o 47286
183.92	c 14846
184.51	o 47293
184.51	c 14839
185.05	o 47301
185.05	c 14831
185.65	o 47303
185.65	c 14829
186.23	o 47310
186.23	c 14822
186.77	o 47319
186.77	c 14813
187.31	o 47323
187.31	c 14809
187.80	o 47329
187.80	c 14803
188.31	o 47335
188.31	c 14797
188.78	o 47348
188.78	c 14784
189.36	o 47354
189.36	c 14778
190.03	o 47364
190.03	c 14768
190.69	o 47375
190.69	c 14757
191.38	o 47384
191.38	c 14748
192.06	o 47392
192.06	c 14740
192.75	o 47400
192.75	c 14732
193.53	o 47408
193.53	c 14724
194.23	o 47414
194.23	c 14718
194.91	o 47420
194.91	c 14712
195.59	o 47426
195.59	c 14706
196.28	o 47428
196.28	c 14704
196.99	o 47431
196.99	c 14701
197.68	o 47437
197.68	c 14695
198.35	o 47445
198.35	c 14687
199.00	o 47450
199.00	c 14682
199.63	o 47453
199.63	c 14679
200.34	o 47457
200.34	c 14675
200.96	o 47461
200.96	c 14671
201.59	o 47464
201.59	c 14668
202.22	o 47467
202.22	c 14665
202.91	o 47470
202.91	c 14662
203.54	o 47473
203.54	c 14659
204.17	o 47481
204.17	c 14651
204.78	o 47483
204.78	c 14649
205.35	o 47490
205.35	c 14642
206.01	o 47492
206.01	c 14640
206.57	o 47494
206.57	c 14638
208.27	o 47502
208.27	c 14630
208.86	o 47503
208.86	c 14629
209.50	o 47509
209.50	c 14623
210.70	o 47510
210.70	c 14622
211.21	o 47512
211.22	c 14620
211.77	o 47514
211.77	c 14618
212.28	o 47515
212.28	c 14617
212.89	o 47521
212.89	c 14611
213.51	o 47522
213.51	c 14610
214.12	o 47523
214.12	c 14609
215.73	o 47524
215.73	c 14608
216.41	o 47532
216.41	c 14600
217.45	o 47535
217.45	c 14597
217.97	o 47539
217.97	c 14593
218.58	o 47543
218.58	c 14589
219.77	o 47553
219.77	c 14579
220.37	o 47554
220.37	c 14578
221.67	o 47560
221.67	c 14572
222.27	o 47563
222.27	c 14569
222.87	o 47572
222.87	c 14560
223.53	o 47581
223.53	c 14551
226.57	o 47586
226.57	c 14546
227.10	o 47593
227.10	c 14539
227.70	o 47598
227.70	c 14534
228.54	o 47605
228.54	c 14527
229.28	o 47608
229.28	c 14524
229.96	o 47609
229.96	c 14523
230.65	o 47615
230.65	c 14517
231.31	o 47620
231.31	c 14512
231.91	o 47624
231.91	c 14508
232.56	o 47628
232.56	c 14504
233.29	o 47634
233.29	c 14498
234.01	o 47640
234.01	c 14492
234.72	o 47646
234.72	c 14486
235.44	o 47656
235.44	c 14476
236.18	o 47664
236.18	c 14468
236.89	o 47669
236.89	c 14463
237.63	o 47673
237.63	c 14459
238.32	o 47687
238.32	c 14445
239.05	o 47691
239.05	c 14441
239.74	o 47695
239.74	c 14437
240.46	o 47698
240.46	c 14434
241.21	o 47708
241.21	c 14424
241.93	o 47711
241.93	c 14421
242.63	o 47714
242.63	c 14418
243.31	o 47717
243.31	c 14415
243.95	o 47723
243.95	c 14409
244.62	o 47725
244.62	c 14407
245.25	o 47730
245.25	c 14402
245.95	o 47732
245.95	c 14400
246.64	o 47734
246.64	c 14398
247.35	o 47736
247.35	c 14396
248.02	o 47738
248.02	c 14394
248.72	o 47748
248.72	c 14384
249.37	o 47750
249.37	c 14382
250.05	o 47761
250.05	c 14371
250.72	o 47762
250.72	c 14370
251.39	o 47764
251.39	c 14368
252.09	o 47769
252.09	c 14363
252.79	o 47770
252.79	c 14362
254.04	o 47779
254.04	c 14353
254.68	o 47787
254.68	c 14345
255.41	o 47788
255.41	c 14344
256.08	o 47798
256.08	c 14334
256.73	o 47801
256.73	c 14331
257.36	o 47804
257.36	c 14328
258.05	o 47805
258.05	c 14327
258.72	o 47807
258.72	c 14325
259.37	o 47810
259.37	c 14322
260.07	o 47812
260.08	c 14320
260.77	o 47823
260.77	c 14309
261.41	o 47832
261.42	c 14300
262.10	o 47834
262.10	c 14298
263.42	o 47835
263.42	c 14297
264.07	o 47841
264.07	c 14291
264.78	o 47844
264.78	c 14288
265.43	o 47855
265.43	c 14277
266.09	o 47864
266.09	c 14268
266.77	o 47867
266.77	c 14265
267.45	o 47871
267.45	c 14261
268.94	o 47873
268.94	c 14259
273.41	o 47878
273.41	c 14254
274.17	o 47888
274.17	c 14244
276.28	o 47890
276.28	c 14242
276.90	o 47892
276.90	c 14240
277.66	o 47895
277.66	c 14237
278.40	o 47908
278.40	c 14224
279.10	o 47919
279.10	c 14213
279.83	o 47924
279.83	c 14208
280.56	o 47929
280.56	c 14203
281.29	o 47940
281.29	c 14192
282.04	o 47942
282.04	c 14190
282.78	o 47946
282.78	c 14186
283.46	o 47947
283.46	c 14185
284.14	o 47948
284.14	c 14184
284.84	o 47956
284.84	c 14176
285.55	o 47963
285.55	c 14169
286.22	o 47964
286.22	c 14168
286.91	o 47968
286.91	c 14164
288.44	o 47974
288.44	c 14158
289.10	o 47978
289.10	c 14154
291.17	o 47984
291.17	c 14148
291.89	o 47991
291.89	c 14141
292.62	o 48000
292.62	c 14132
293.30	o 48006
293.30	c 14126
294.02	o 48010
294.02	c 14122
295.23	o 48015
295.23	c 14117
295.90	o 48027
295.90	c 14105
296.57	o 48033
296.57	c 14099
297.25	o 48040
297.25	c 14092
297.95	o 48046
297.95	c 14086
298.66	o 48052
298.66	c 14080
299.40	o 48057
299.40	c 14075
300.14	o 48062
300.14	c 14070
300.86	o 48067
300.86	c 14065
301.57	o 48072
301.57	c 14060
302.30	o 48077
302.30	c 14055
303.06	o 48081
303.06	c 14051
303.83	o 48084
303.83	c 14048
304.66	o 48090
304.66	c 14042
305.34	o 48095
305.34	c 14037
306.09	o 48099
306.09	c 14033
306.78	o 48102
306.78	c 14030
307.50	o 48105
307.50	c 14027
308.23	o 48108
308.23	c 14024
308.94	o 48111
308.94	c 14021
309.64	o 48114
309.64	c 14018
310.39	o 48117
310.39	c 14015
311.19	o 48120
311.19	c 14012
311.92	o 48122
311.92	c 14010
312.67	o 48124
312.67	c 14008
313.43	o 48125
313.44	c 14007
314.23	o 48126
314.23	c 14006
317.51	o 48128
317.51	c 14004
318.34	o 48135
318.34	c 13997
319.24	o 48138
319.24	c 13994
320.02	o 48144
320.02	c 13988
321.70	o 48146
321.70	c 13986
322.56	o 48159
322.56	c 13973
324.13	o 48160
324.13	c 13972
324.88	o 48163
324.88	c 13969
325.75	o 48168
325.75	c 13964
326.53	o 48173
326.53	c 13959
327.34	o 48175
327.34	c 13957
328.17	o 48181
328.17	c 13951
329.84	o 48188
329.84	c 13944
330.62	o 48196
330.62	c 13936
331.36	o 48203
331.36	c 13929
339.55	o 48210
339.55	c 13922
340.27	o 48222
340.27	c 13910
341.07	o 48224
341.07	c 13908
341.76	o 48230
341.76	c 13902
342.50	o 48238
342.50	c 13894
343.28	o 48239
343.28	c 13893
344.04	o 48241
344.04	c 13891
344.75	o 48246
344.75	c 13886
345.48	o 48254
345.48	c 13878
346.94	o 48255
346.94	c 13877
347.80	o 48262
347.80	c 13870
348.53	o 48270
348.53	c 13862
349.24	o 48273
349.24	c 13859
349.90	o 48280
349.90	c 13852
350.63	o 48281
350.63	c 13851
351.29	o 48283
351.29	c 13849
352.81	o 48285
352.81	c 13847
353.49	o 48295
353.49	c 13837
354.17	o 48296
354.17	c 13836
354.84	o 48297
354.84	c 13835
355.57	o 48302
355.57	c 13830
356.32	o 48307
356.32	c 13825
357.01	o 48308
357.01	c 13824
358.44	o 48312
358.44	c 13820
359.23	o 48318
359.23	c 13814
359.98	o 48324
359.98	c 13808
360.77	o 48329
360.77	c 13803
361.51	o 48331
361.51	c 13801
362.34	o 48343
362.36	c 13789
363.09	o 48346
363.09	c 13786
364.67	o 48352
364.67	c 13780
365.41	o 48355
365.41	c 13777
366.18	o 48364
366.18	c 13768
367.81	o 48369
367.81	c 13763
370.03	o 48379
370.03	c 13753
370.79	o 48381
370.79	c 13751
371.61	o 48388
371.61	c 13744
372.32	o 48391
372.32	c 13741
373.07	o 48400
373.07	c 13732
373.85	o 48408
373.85	c 13724
374.68	o 48416
374.68	c 13716
375.45	o 48418
375.45	c 13714
376.26	o 48421
376.26	c 13711
377.02	o 48424
377.02	c 13708
377.81	o 48426
377.81	c 13706
378.68	o 48427
378.68	c 13705
379.50	o 48436
379.50	c 13696
380.38	o 48437
380.39	c 13695
381.24	o 48438
381.24	c 13694
385.63	o 48442
385.63	c 13690
386.54	o 48447
386.54	c 13685
387.46	o 48450
387.46	c 13682
388.40	o 48456
388.40	c 13676
389.30	o 48466
389.30	c 13666
390.30	o 48470
390.30	c 13662
394.23	o 48472
394.23	c 13660
395.31	o 48474
395.31	c 13658
396.30	o 48482
396.30	c 13650
397.32	o 48485
397.32	c 13647
398.33	o 48487
398.33	c 13645
399.31	o 48489
399.31	c 13643
401.27	o 48492
401.27	c 13640
402.21	o 48496
402.21	c 13636
403.20	o 48502
403.20	c 13630
406.06	o 48506
406.06	c 13626
406.99	o 48512
406.99	c 13620
407.85	o 48521
407.85	c 13611
409.63	o 48529
409.63	c 13603
410.53	o 48534
410.53	c 13598
412.28	o 48536
412.28	c 13596
413.12	o 48542
413.12	c 13590
414.07	o 48549
414.07	c 13583
414.94	o 48559
414.94	c 13573
415.87	o 48564
415.87	c 13568
416.82	o 48566
416.82	c 13566
417.75	o 48575
417.75	c 13557
418.46	o 48584
418.46	c 13548
419.35	o 48588
419.35	c 13544
420.27	o 48592
420.27	c 13540
421.18	o 48598
421.18	c 13534
422.07	o 48602
422.07	c 13530
422.93	o 48603
422.93	c 13529
423.82	o 48608
423.82	c 13524
424.68	o 48609
424.68	c 13523
426.27	o 48619
426.27	c 13513
427.13	o 48623
427.13	c 13509
427.98	o 48624
427.98	c 13508
428.86	o 48625
428.86	c 13507
429.65	o 48631
429.65	c 13501
430.49	o 48637
430.49	c 13495
433.77	o 48638
433.77	c 13494
434.43	o 48642
434.43	c 13490
435.21	o 48645
435.21	c 13487
436.08	o 48648
436.08	c 13484
436.97	o 48653
436.97	c 13479
438.66	o 48661
438.66	c 13471
439.55	o 48663
439.55	c 13469
441.32	o 48664
441.32	c 13468
442.18	o 48670
442.18	c 13462
443.07	o 48673
443.07	c 13459
443.99	o 48677
443.99	c 13455
444.89	o 48685
444.89	c 13447
445.69	o 48687
445.69	c 13445
447.41	o 48688
447.41	c 13444
448.21	o 48692
448.21	c 13440
454.10	o 48695
454.10	c 13437
455.72	o 48698
455.72	c 13434
456.54	o 48705
456.54	c 13427
457.39	o 48707
457.39	c 13425
458.23	o 48716
458.23	c 13416
459.00	o 48718
459.00	c 13414
459.78	o 48725
459.78	c 13407
460.64	o 48726
460.64	c 13406
461.51	o 48731
461.51	c 13401
462.30	o 48737
462.30	c 13395
463.04	o 48740
463.04	c 13392
463.76	o 48742
463.76	c 13390
464.53	o 48747
464.53	c 13385
465.30	o 48753
465.30	c 13379
466.01	o 48757
466.01	c 13375
466.74	o 48760
466.74	c 13372
467.59	o 48764
467.59	c 13368
468.38	o 48770
468.38	c 13362
469.20	o 48776
469.20	c 13356
469.90	o 48779
469.90	c 13353
470.63	o 48782
470.63	c 13350
471.33	o 48785
471.33	c 13347
472.08	o 48788
472.08	c 13344
472.82	o 48791
472.82	c 13341
473.57	o 48792
473.57	c 13340
474.43	o 48794
474.43	c 13338
475.24	o 48795
475.24	c 13337
476.75	o 48798
476.75	c 13334
477.53	o 48802
477.53	c 13330
478.31	o 48807
478.31	c 13325
479.91	o 48808
479.91	c 13324
480.84	o 48811
480.84	c 13321
481.74	o 48814
481.74	c 13318
482.70	o 48817
482.70	c 13315
485.46	o 48819
485.46	c 13313
486.38	o 48827
486.38	c 13305
487.29	o 48832
487.29	c 13300
488.18	o 48840
488.18	c 13292
489.03	o 48845
489.03	c 13287
489.84	o 48847
489.84	c 13285
490.69	o 48848
490.69	c 13284
493.28	o 48854
493.28	c 13278
494.21	o 48861
494.21	c 13271
495.08	o 48867
495.08	c 13265
495.93	o 48869
495.93	c 13263
496.92	o 48870
496.92	c 13262
497.81	o 48872
497.81	c 13260
498.72	o 48874
498.72	c 13258
499.63	o 48884
499.63	c 13248
500.52	o 48890
500.52	c 13242
501.41	o 48897
501.41	c 13235
502.23	o 48901
502.23	c 13231
503.04	o 48909
503.04	c 13223
503.87	o 48913
503.87	c 13219
504.69	o 48919
504.69	c 13213
505.56	o 48922
505.56	c 13210
506.36	o 48925
506.36	c 13207
508.01	o 48933
508.01	c 13199
509.68	o 48937
509.68	c 13195
512.00	o 48940
512.00	c 13192
512.78	o 48949
512.78	c 13183
514.88	o 48959
514.88	c 13173
515.54	o 48963
515.54	c 13169
516.99	o 48965
516.99	c 13167
517.71	o 48969
517.71	c 13163
518.40	o 48976
518.40	c 13156
519.83	o 48979
519.83	c 13153
523.42	o 48985
523.42	c 13147
525.50	o 48987
525.50	c 13145
526.16	o 48994
526.16	c 13138
526.86	o 49001
526.86	c 13131
527.57	o 49004
527.57	c 13128
529.07	o 49008
529.07	c 13124
531.33	o 49010
531.33	c 13122
535.99	o 49013
535.99	c 13119
536.80	o 49017
536.80	c 13115
537.62	o 49021
537.62	c 13111
538.41	o 49022
538.41	c 13110
539.28	o 49024
539.28	c 13108
540.16	o 49029
540.16	c 13103
540.96	o 49031
540.96	c 13101
541.77	o 49036
541.77	c 13096
544.18	o 49041
544.18	c 13091
544.95	o 49043
544.95	c 13089
547.49	o 49046
547.49	c 13086
550.08	o 49052
550.08	c 13080
550.96	o 49056
550.96	c 13076
551.78	o 49059
551.78	c 13073
552.62	o 49060
552.62	c 13072
553.50	o 49062
553.50	c 13070
554.50	o 49064
554.50	c 13068
555.44	o 49065
555.44	c 13067
559.72	o 49069
559.72	c 13063
560.71	o 49073
560.71	c 13059
561.74	o 49078
561.74	c 13054
562.64	o 49079
562.64	c 13053
563.50	o 49083
563.50	c 13049
564.37	o 49096
564.37	c 13036
565.28	o 49097
565.28	c 13035
566.19	o 49098
566.19	c 13034
567.24	o 49099
567.24	c 13033
570.35	o 49101
570.35	c 13031
571.44	o 49106
571.44	c 13026
572.48	o 49112
572.48	c 13020
575.54	o 49118
575.54	c 13014
576.54	o 49119
576.54	c 13013
577.62	o 49120
577.62	c 13012
578.70	o 49125
578.70	c 13007
579.77	o 49130
579.77	c 13002
580.81	o 49137
580.81	c 12995
581.87	o 49138
581.87	c 12994
582.89	o 49142
582.89	c 12990
583.89	o 49152
583.89	c 12980
586.01	o 49154
586.01	c 12978
589.04	o 49155
589.04	c 12977
590.08	o 49161
590.08	c 12971
591.12	o 49162
591.12	c 12970
593.29	o 49169
593.29	c 12963
594.35	o 49175
594.35	c 12957
595.36	o 49177
595.37	c 12955
596.33	o 49183
596.33	c 12949
597.32	o 49189
597.32	c 12943
598.33	o 49197
598.33	c 12935
599.22	o 49201
599.22	c 12931
600.20	o 49202
600.20	c 12930
601.27	o 49209
601.27	c 12923
602.28	o 49211
602.28	c 12921
604.33	o 49216
604.33	c 12916
606.26	o 49220
606.26	c 12912
607.25	o 49225
607.25	c 12907
608.19	o 49230
608.19	c 12902
609.35	o 49236
609.35	c 12896
610.42	o 49246
610.42	c 12886
611.40	o 49249
611.40	c 12883
612.45	o 49251
612.45	c 12881
613.30	o 49260
613.30	c 12872
614.16	o 49264
614.16	c 12868
615.15	o 49265
615.15	c 12867
616.73	o 49272
616.73	c 12860
617.66	o 49275
617.66	c 12857
621.28	o 49282
621.28	c 12850
622.22	o 49285
622.23	c 12847
624.07	o 49288
624.07	c 12844
625.02	o 49293
625.02	c 12839
626.84	o 49294
626.84	c 12838
628.69	o 49299
628.69	c 12833
630.45	o 49300
630.45	c 12832
631.37	o 49302
631.37	c 12830
632.26	o 49307
632.26	c 12825
633.12	o 49310
633.12	c 12822
634.07	o 49312
634.07	c 12820
635.00	o 49314
635.00	c 12818
635.96	o 49316
635.96	c 12816
636.91	o 49317
636.91	c 12815
637.84	o 49318
637.84	c 12814
638.82	o 49320
638.82	c 12812
639.72	o 49322
639.72	c 12810
640.69	o 49326
640.69	c 12806
641.70	o 49329
641.70	c 12803
642.61	o 49334
642.61	c 12798
643.63	o 49349
643.63	c 12783
644.61	o 49358
644.61	c 12774
645.62	o 49364
645.62	c 12768
646.58	o 49366
646.58	c 12766
647.68	o 49370
647.68	c 12762
648.67	o 49371
648.67	c 12761
649.68	o 49380
649.69	c 12752
650.65	o 49381
650.65	c 12751
652.60	o 49384
652.60	c 12748
653.57	o 49386
653.57	c 12746
654.54	o 49393
654.54	c 12739
655.51	o 49398
655.51	c 12734
656.41	o 49409
656.41	c 12723
657.34	o 49410
657.34	c 12722
658.25	o 49412
658.25	c 12720
659.19	o 49421
659.19	c 12711
660.07	o 49422
660.07	c 12710
661.00	o 49423
661.00	c 12709
663.74	o 49425
663.74	c 12707
664.65	o 49427
664.65	c 12705
665.53	o 49431
665.53	c 12701
666.41	o 49441
666.41	c 12691
667.23	o 49449
667.23	c 12683
668.18	o 49453
668.18	c 12679
670.02	o 49462
670.02	c 12670
670.92	o 49470
670.92	c 12662
671.83	o 49472
671.83	c 12660
672.70	o 49474
672.70	c 12658
673.67	o 49477
673.67	c 12655
674.72	o 49481
674.72	c 12651
676.63	o 49485
676.63	c 12647
677.65	o 49487
677.65	c 12645
678.70	o 49495
678.70	c 12637
679.75	o 49497
679.75	c 12635
680.73	o 49500
680.73	c 12632
681.77	o 49503
681.77	c 12629
682.78	o 49506
682.78	c 12626
683.80	o 49509
683.80	c 12623
692.03	o 49517
692.03	c 12615
693.09	o 49520
693.09	c 12612
694.14	o 49521
694.14	c 12611
695.19	o 49527
695.19	c 12605
696.29	o 49529
696.29	c 12603
697.38	o 49539
697.38	c 12593
698.40	o 49543
698.40	c 12589
699.49	o 49550
699.49	c 12582
700.55	o 49554
700.55	c 12578
701.70	o 49557
701.70	c 12575
702.83	o 49563
702.83	c 12569
703.93	o 49565
703.93	c 12567
704.99	o 49578
704.99	c 12554
707.11	o 49579
707.11	c 12553
710.37	o 49583
710.37	c 12549
711.51	o 49588
711.51	c 12544
713.68	o 49589
713.68	c 12543
715.87	o 49595
715.87	c 12537
717.01	o 49601
717.01	c 12531
718.17	o 49603
718.17	c 12529
719.27	o 49605
719.27	c 12527
720.35	o 49610
720.35	c 12522
722.34	o 49616
722.34	c 12516
723.38	o 49621
723.38	c 12511
724.37	o 49631
724.37	c 12501
725.41	o 49633
725.41	c 12499
726.44	o 49638
726.44	c 12494
727.41	o 49641
727.41	c 12491
728.42	o 49643
728.42	c 12489
729.37	o 49651
729.37	c 12481
731.42	o 49654
731.42	c 12478
732.36	o 49663
732.36	c 12469
733.32	o 49666
733.32	c 12466
734.30	o 49672
734.30	c 12460
736.27	o 49677
736.27	c 12455
737.26	o 49688
737.26	c 12444
738.27	o 49695
738.27	c 12437
739.21	o 49696
739.21	c 12436
741.68	o 49703
741.68	c 12429
742.64	o 49705
742.64	c 12427
745.47	o 49709
745.47	c 12423
747.25	o 49713
747.25	c 12419
750.51	o 49714
750.51	c 12418
752.23	o 49715
752.23	c 12417
753.10	o 49724
753.10	c 12408
754.00	o 49727
754.00	c 12405
754.84	o 49730
754.84	c 12402
755.72	o 49736
755.72	c 12396
756.59	o 49743
756.59	c 12389
757.49	o 49746
757.50	c 12386
758.39	o 49750
758.39	c 12382
759.28	o 49754
759.28	c 12378
761.10	o 49758
761.10	c 12374
762.02	o 49761
762.02	c 12371
762.94	o 49766
762.94	c 12366
763.91	o 49773
763.91	c 12359
764.85	o 49784
764.85	c 12348
765.77	o 49786
765.77	c 12346
766.76	o 49788
766.76	c 12344
767.64	o 49791
767.64	c 12341
768.53	o 49798
768.53	c 12334
769.44	o 49799
769.44	c 12333
770.31	o 49807
770.31	c 12325
771.25	o 49811
771.25	c 12321
772.16	o 49813
772.16	c 12319
773.11	o 49814
773.11	c 12318
774.03	o 49818
774.03	c 12314
775.93	o 49824
775.93	c 12308
776.87	o 49827
776.87	c 12305
778.83	o 49830
778.83	c 12302
779.95	o 49834
779.95	c 12298
780.79	o 49836
780.79	c 12296
781.74	o 49841
781.74	c 12291
782.64	o 49846
782.64	c 12286
783.55	o 49850
783.55	c 12282
784.44	o 49859
784.44	c 12273
785.42	o 49867
785.42	c 12265
786.41	o 49874
786.41	c 12258
787.37	o 49880
787.37	c 12252
788.34	o 49883
788.34	c 12249
789.34	o 49889
789.34	c 12243
790.32	o 49894
790.32	c 12238
794.12	o 49904
794.12	c 12228
796.29	o 49908
796.29	c 12224
797.35	o 49911
797.35	c 12221
800.55	o 49913
800.55	c 12219
801.61	o 49924
801.61	c 12208
802.70	o 49931
802.70	c 12201
803.75	o 49933
803.76	c 12199
805.82	o 49937
805.82	c 12195
806.80	o 49939
806.80	c 12193
807.79	o 49946
807.79	c 12186
808.83	o 49948
808.83	c 12184
809.84	o 49953
809.84	c 12179
810.89	o 49966
810.89	c 12166
811.99	o 49968
811.99	c 12164
813.09	o 49973
813.09	c 12159
817.20	o 49977
817.20	c 12155
819.44	o 49985
819.44	c 12147
821.59	o 49987
821.59	c 12145
822.70	o 49990
822.70	c 12142
823.79	o 49997
823.79	c 12135
824.84	o 50008
824.84	c 12124
825.92	o 50013
825.92	c 12119
826.92	o 50014
826.92	c 12118
828.99	o 50020
828.99	c 12112
830.16	o 50023
830.16	c 12109
831.24	o 50027
831.24	c 12105
832.26	o 50028
832.26	c 12104
835.52	o 50029
835.52	c 12103
836.63	o 50039
836.63	c 12093
842.14	o 50042
842.14	c 12090
843.27	o 50045
843.27	c 12087
847.80	o 50055
847.80	c 12077
848.98	o 50059
848.98	c 12073
850.16	o 50060
850.16	c 12072
851.29	o 50062
851.29	c 12070
853.59	o 50067
853.59	c 12065
854.73	o 50069
854.73	c 12063
855.87	o 50074
855.87	c 12058
857.01	o 50080
857.01	c 12052
858.17	o 50083
858.17	c 12049
859.01	o 50090
859.01	c 12042
860.16	o 50095
860.16	c 12037
861.28	o 50101
861.28	c 12031
862.36	o 50107
862.36	c 12025
864.61	o 50114
864.61	c 12018
865.76	o 50118
865.76	c 12014
866.91	o 50121
866.91	c 12011
868.10	o 50130
868.10	c 12002
869.29	o 50131
869.29	c 12001
870.46	o 50134
870.46	c 11998
871.60	o 50136
871.60	c 11996
872.78	o 50143
872.78	c 11989
874.01	o 50146
874.01	c 11986
875.26	o 50151
875.26	c 11981
876.46	o 50153
876.46	c 11979
877.66	o 50156
877.66	c 11976
878.84	o 50165
878.84	c 11967
879.99	o 50171
879.99	c 11961
884.77	o 50172
884.77	c 11960
886.00	o 50176
886.00	c 11956
887.20	o 50181
887.20	c 11951
888.36	o 50183
888.36	c 11949
889.51	o 50187
889.51	c 11945
890.71	o 50190
890.71	c 11942
891.91	o 50194
891.91	c 11938
894.29	o 50196
894.29	c 11936
895.46	o 50198
895.46	c 11934
897.75	o 50200
897.75	c 11932
901.27	o 50208
901.27	c 11924
902.45	o 50214
902.45	c 11918
904.76	o 50215
904.76	c 11917
905.91	o 50218
905.91	c 11914
906.99	o 50226
906.99	c 11906
908.17	o 50232
908.17	c 11900
909.33	o 50238
909.33	c 11894
910.45	o 50242
910.45	c 11890
912.90	o 50248
912.90	c 11884
914.17	o 50254
914.17	c 11878
915.36	o 50257
915.36	c 11875
916.57	o 50263
916.57	c 11869
917.80	o 50269
917.80	c 11863
919.00	o 50280
919.00	c 11852
920.26	o 50281
920.26	c 11851
922.73	o 50282
922.73	c 11850
923.90	o 50283
923.90	c 11849
925.08	o 50285
925.08	c 11847
926.39	o 50287
926.39	c 11845
928.77	o 50292
928.77	c 11840
929.81	o 50301
929.81	c 11831
930.95	o 50304
930.95	c 11828
932.12	o 50306
932.12	c 11826
934.39	o 50307
934.39	c 11825
935.56	o 50308
935.56	c 11824
936.80	o 50315
936.80	c 11817
941.46	o 50316
941.46	c 11816
942.63	o 50321
942.63	c 11811
943.82	o 50323
943.83	c 11809
944.99	o 50324
944.99	c 11808
946.17	o 50334
946.17	c 11798
947.24	o 50336
947.24	c 11796
948.42	o 50341
948.42	c 11791
949.57	o 50345
949.57	c 11787
950.70	o 50351
950.70	c 11781
951.83	o 50352
951.83	c 11780
952.98	o 50357
952.98	c 11775
954.12	o 50359
954.12	c 11773
955.31	o 50361
955.31	c 11771
956.41	o 50366
956.41	c 11766
957.54	o 50367
957.54	c 11765
958.66	o 50371
958.66	c 11761
959.79	o 50374
959.79	c 11758
960.91	o 50376
960.91	c 11756
964.20	o 50379
964.20	c 11753
965.31	o 50386
965.31	c 11746
966.49	o 50388
966.49	c 11744
968.66	o 50389
968.66	c 11743
969.71	o 50394
969.71	c 11738
970.81	o 50398
970.81	c 11734
973.04	o 50402
973.04	c 11730
974.21	o 50407
974.21	c 11725
975.29	o 50410
975.29	c 11722
976.40	o 50416
976.40	c 11716
980.75	o 50417
980.75	c 11715
981.95	o 50422
981.95	c 11710
983.10	o 50425
983.10	c 11707
984.29	o 50435
984.29	c 11697
985.25	o 50438
985.25	c 11694
987.20	o 50445
987.20	c 11687
988.31	o 50456
988.31	c 11676
989.47	o 50458
989.47	c 11674
990.53	o 50461
990.53	c 11671
991.68	o 50462
991.68	c 11670
993.83	o 50466
993.83	c 11666
994.93	o 50473
994.93	c 11659
996.01	o 50478
996.01	c 11654
997.04	o 50485
997.04	c 11647
998.16	o 50493
998.16	c 11639
1002.54	o 50495
1002.54	c 11637
1003.56	o 50497
1003.56	c 11635
1005.79	o 50501
1005.79	c 11631
1006.87	o 50504
1006.87	c 11628
1007.95	o 50508
1007.95	c 11624
1008.97	o 50514
1008.97	c 11618
1010.00	o 50515
1010.00	c 11617
1011.07	o 50516
1011.07	c 11616
1012.14	o 50519
1012.14	c 11613
1013.20	o 50523
1013.20	c 11609
1015.29	o 50530
1015.29	c 11602
1017.40	o 50534
1017.40	c 11598
1018.52	o 50540
1018.52	c 11592
1019.64	o 50543
1019.64	c 11589
1020.77	o 50548
1020.77	c 11584
1023.04	o 50550
1023.04	c 11582
1025.36	o 50553
1025.36	c 11579
1026.54	o 50564
1026.54	c 11568
1027.72	o 50566
1027.72	c 11566
1028.88	o 50573
1028.88	c 11559
1030.08	o 50583
1030.08	c 11549
1031.27	o 50588
1031.27	c 11544
1032.39	o 50592
1032.39	c 11540
1033.60	o 50596
1033.60	c 11536
1037.03	o 50599
1037.03	c 11533
1039.26	o 50609
1039.26	c 11523
1040.47	o 50616
1040.47	c 11516
1041.59	o 50619
1041.59	c 11513
1042.77	o 50622
1042.77	c 11510
1043.97	o 50624
1043.97	c 11508
1047.51	o 50627
1047.51	c 11505
1048.63	o 50633
1048.63	c 11499
1049.88	o 50639
1049.88	c 11493
1052.16	o 50650
1052.17	c 11482
1053.36	o 50661
1053.36	c 11471
1054.47	o 50664
1054.47	c 11468
1055.65	o 50666
1055.65	c 11466
1056.83	o 50668
1056.83	c 11464
1058.05	o 50670
1058.05	c 11462
1063.55	o 50671
1063.56	c 11461
1064.75	o 50677
1064.75	c 11455
1065.84	o 50678
1065.84	c 11454
1068.09	o 50686
1068.09	c 11446
1070.38	o 50688
1070.38	c 11444
1071.47	o 50695
1071.47	c 11437
1073.67	o 50701
1073.67	c 11431
1075.95	o 50703
1075.95	c 11429
1077.14	o 50707
1077.14	c 11425
1079.25	o 50708
1079.25	c 11424
1080.47	o 50716
1080.47	c 11416
1081.65	o 50725
1081.65	c 11407
1082.80	o 50728
1082.80	c 11404
1083.96	o 50736
1083.96	c 11396
1086.22	o 50737
1086.22	c 11395
1087.45	o 50739
1087.45	c 11393
1088.67	o 50750
1088.67	c 11382
1094.52	o 50751
1094.52	c 11381
1095.69	o 50756
1095.69	c 11376
1098.21	o 50761
1098.21	c 11371
1099.43	o 50763
1099.43	c 11369
1100.65	o 50769
1100.65	c 11363
1101.86	o 50772
1101.86	c 11360
1103.17	o 50777
1103.17	c 11355
1104.41	o 50778
1104.41	c 11354
1105.76	o 50780
1105.76	c 11352
1107.17	o 50788
1107.17	c 11344
1108.50	o 50797
1108.50	c 11335
1109.82	o 50798
1109.82	c 11334
1111.14	o 50805
1111.14	c 11327
1112.42	o 50811
1112.42	c 11321
1113.75	o 50818
1113.75	c 11314
1115.11	o 50823
1115.11	c 11309
1116.51	o 50826
1116.51	c 11306
1117.89	o 50829
1117.89	c 11303
1119.27	o 50830
1119.27	c 11302
1120.58	o 50832
1120.58	c 11300
1121.90	o 50837
1121.90	c 11295
1123.26	o 50845
1123.26	c 11287
1124.57	o 50850
1124.57	c 11282
1125.92	o 50856
1125.92	c 11276
1127.22	o 50859
1127.22	c 11273
1128.66	o 50860
1128.66	c 11272
1130.02	o 50869
1130.02	c 11263
1131.44	o 50875
1131.44	c 11257
1132.72	o 50883
1132.72	c 11249
1134.08	o 50885
1134.08	c 11247
1135.41	o 50889
1135.41	c 11243
1136.51	o 50898
1136.51	c 11234
1137.84	o 50905
1137.84	c 11227
1139.23	o 50912
1139.23	c 11220
1140.54	o 50917
1140.54	c 11215
1141.98	o 50924
1141.98	c 11208
1143.44	o 50925
1143.44	c 11207
1144.92	o 50928
1144.92	c 11204
1146.48	o 50934
1146.48	c 11198
1147.94	o 50944
1147.94	c 11188
1150.86	o 50948
1150.86	c 11184
1152.29	o 50958
1152.29	c 11174
1153.74	o 50962
1153.74	c 11170
1157.98	o 50964
1157.98	c 11168
1159.48	o 50966
1159.48	c 11166
1160.90	o 50970
1160.90	c 11162
1162.35	o 50973
1162.35	c 11159
1163.83	o 50974
1163.83	c 11158
1165.39	o 50982
1165.39	c 11150
1166.96	o 50984
1166.96	c 11148
1168.42	o 50985
1168.42	c 11147
1169.94	o 50990
1169.94	c 11142
1172.95	o 50995
1172.95	c 11137
1174.39	o 51002
1174.39	c 11130
1175.86	o 51008
1175.86	c 11124
1177.35	o 51016
1177.35	c 11116
1183.27	o 51018
1183.27	c 11114
1184.67	o 51024
1184.67	c 11108
1186.06	o 51027
1186.06	c 11105
1187.45	o 51030
1187.45	c 11102
1188.86	o 51038
1188.86	c 11094
1190.27	o 51044
1190.27	c 11088
1192.97	o 51046
1192.97	c 11086
1195.52	o 51047
1195.52	c 11085
1198.24	o 51056
1198.24	c 11076
1199.56	o 51060
1199.56	c 11072
1200.85	o 51065
1200.85	c 11067
1202.20	o 51067
1202.20	c 11065
1203.52	o 51074
1203.52	c 11058
1204.81	o 51079
1204.81	c 11053
1206.14	o 51081
1206.14	c 11051
1207.47	o 51083
1207.47	c 11049
1208.79	o 51088
1208.79	c 11044
1209.74	o 51097
1209.74	c 11035
1211.05	o 51101
1211.05	c 11031
1215.21	o 51103
1215.21	c 11029
1216.55	o 51108
1216.55	c 11024
1217.86	o 51116
1217.86	c 11016
1219.18	o 51124
1219.18	c 11008
1220.52	o 51129
1220.52	c 11003
1223.24	o 51131
1223.24	c 11001
1224.39	o 51138
1224.40	c 10994
1225.75	o 51142
1225.75	c 10990
1227.14	o 51144
1227.14	c 10988
1228.46	o 51146
1228.46	c 10986
1229.84	o 51148
1229.84	c 10984
1231.21	o 51151
1231.21	c 10981
1232.54	o 51153
1232.54	c 10979
1233.89	o 51158
1233.89	c 10974
1235.25	o 51161
1235.25	c 10971
1244.85	o 51164
1244.85	c 10968
1246.26	o 51171
1246.26	c 10961
1251.82	o 51177
1251.82	c 10955
1253.19	o 51183
1253.19	c 10949
1254.65	o 51184
1254.65	c 10948
1256.09	o 51185
1256.09	c 10947
1257.52	o 51192
1257.52	c 10940
1258.96	o 51193
1258.96	c 10939
1260.48	o 51196
1260.48	c 10936
1261.92	o 51199
1261.92	c 10933
1263.38	o 51200
1263.38	c 10932
1266.32	o 51201
1266.32	c 10931
1267.79	o 51205
1267.79	c 10927
1269.22	o 51207
1269.22	c 10925
1270.69	o 51214
1270.69	c 10918
1272.23	o 51219
1272.23	c 10913
1273.72	o 51222
1273.72	c 10910
1275.27	o 51224
1275.27	c 10908
1276.80	o 51226
1276.80	c 10906
1278.29	o 51228
1278.29	c 10904
1279.88	o 51229
1279.88	c 10903
1281.43	o 51231
1281.43	c 10901
1284.45	o 51232
1284.45	c 10900
1286.01	o 51238
1286.01	c 10894
1287.09	o 51242
1287.09	c 10890
1290.21	o 51243
1290.21	c 10889
1293.19	o 51247
1293.19	c 10885
1294.74	o 51249
1294.74	c 10883
1297.78	o 51250
1297.78	c 10882
1299.32	o 51254
1299.32	c 10878
1300.86	o 51261
1300.86	c 10871
1302.39	o 51267
1302.39	c 10865
1305.46	o 51269
1305.46	c 10863
1307.03	o 51277
1307.03	c 10855
1308.55	o 51280
1308.55	c 10852
1310.14	o 51283
1310.14	c 10849
1311.69	o 51287
1311.69	c 10845
1313.29	o 51289
1313.29	c 10843
1314.86	o 51291
1314.86	c 10841
1316.47	o 51298
1316.47	c 10834
1318.09	o 51300
1318.09	c 10832
1319.29	o 51306
1319.29	c 10826
1320.88	o 51307
1320.88	c 10825
1322.51	o 51313
1322.51	c 10819
1324.12	o 51314
1324.12	c 10818
1325.67	o 51323
1325.67	c 10809
1330.48	o 51327
1330.48	c 10805
1332.08	o 51329
1332.08	c 10803
1333.67	o 51331
1333.67	c 10801
1335.21	o 51344
1335.21	c 10788
1336.79	o 51351
1336.79	c 10781
1338.42	o 51354
1338.42	c 10778
1340.06	o 51361
1340.06	c 10771
1343.38	o 51366
1343.38	c 10766
1346.75	o 51368
1346.75	c 10764
1348.38	o 51371
1348.38	c 10761
1350.03	o 51372
1350.03	c 10760
1351.72	o 51377
1351.72	c 10755
1353.36	o 51379
1353.36	c 10753
1356.73	o 51387
1356.73	c 10745
1358.31	o 51398
1358.31	c 10734
1359.90	o 51403
1359.90	c 10729
1361.52	o 51410
1361.52	c 10722
1362.97	o 51413
1362.97	c 10719
1363.76	o 51420
1363.76	c 10712
1364.60	o 51422
1364.60	c 10710
1365.87	o 51428
1365.87	c 10704
1367.54	o 51429
1367.54	c 10703
1369.14	o 51435
1369.14	c 10697
1370.71	o 51436
1370.71	c 10696
1373.91	o 51440
1373.91	c 10692
1375.47	o 51444
1375.47	c 10688
1377.08	o 51446
1377.08	c 10686
1378.64	o 51451
1378.64	c 10681
1380.27	o 51455
1380.27	c 10677
1381.90	o 51461
1381.90	c 10671
1383.56	o 51468
1383.56	c 10664
1385.25	o 51469
1385.25	c 10663
1386.85	o 51474
1386.85	c 10658
1388.55	o 51478
1388.55	c 10654
1390.26	o 51481
1390.26	c 10651
1391.92	o 51484
1391.92	c 10648
1393.70	o 51486
1393.70	c 10646
1395.42	o 51488
1395.42	c 10644
1397.07	o 51496
1397.07	c 10636
1398.67	o 51505
1398.67	c 10627
1403.68	o 51507
1403.68	c 10625
1405.27	o 51511
1405.27	c 10621
1406.89	o 51512
1406.89	c 10620
1411.69	o 51513
1411.69	c 10619
1413.28	o 51521
1413.28	c 10611
1414.31	o 51528
1414.31	c 10604
1415.91	o 51534
1415.91	c 10598
1417.55	o 51536
1417.55	c 10596
1420.75	o 51540
1420.75	c 10592
1422.37	o 51546
1422.37	c 10586
1423.97	o 51552
1423.97	c 10580
1425.56	o 51556
1425.56	c 10576
1427.23	o 51566
1427.23	c 10566
1428.78	o 51573
1428.79	c 10559
1430.31	o 51578
1430.31	c 10554
1431.88	o 51581
1431.88	c 10551
1433.46	o 51586
1433.46	c 10546
1435.02	o 51587
1435.02	c 10545
1438.09	o 51591
1438.09	c 10541
1439.65	o 51593
1439.65	c 10539
1441.20	o 51598
1441.20	c 10534
1444.24	o 51601
1444.24	c 10531
1445.85	o 51604
1445.85	c 10528
1447.45	o 51605
1447.45	c 10527
1448.93	o 51606
1448.93	c 10526
1450.56	o 51613
1450.56	c 10519
1452.14	o 51616
1452.14	c 10516
1453.65	o 51620
1453.65	c 10512
1458.26	o 51622
1458.26	c 10510
1459.88	o 51624
1459.88	c 10508
1461.42	o 51626
1461.42	c 10506
1463.00	o 51627
1463.00	c 10505
1464.54	o 51633
1464.54	c 10499
1466.04	o 51644
1466.04	c 10488
1467.60	o 51652
1467.60	c 10480
1469.09	o 51653
1469.09	c 10479
1470.66	o 51664
1470.66	c 10468
1472.19	o 51665
1472.19	c 10467
1476.62	o 51667
1476.62	c 10465
1478.14	o 51671
1478.14	c 10461
1479.64	o 51679
1479.64	c 10453
1482.87	o 51681
1482.87	c 10451
1489.17	o 51684
1489.17	c 10448
1490.77	o 51687
1490.77	c 10445
1492.44	o 51690
1492.44	c 10442
1493.82	o 51696
1493.82	c 10436
1495.43	o 51704
1495.43	c 10428
1497.01	o 51706
1497.01	c 10426
1500.37	o 51712
1500.37	c 10420
1502.07	o 51714
1502.07	c 10418
1503.65	o 51715
1503.65	c 10417
1505.25	o 51722
1505.25	c 10410
1506.92	o 51730
1506.92	c 10402
1508.53	o 51733
1508.53	c 10399
1510.20	o 51734
1510.20	c 10398
1511.80	o 51742
1511.80	c 10390
1513.45	o 51744
1513.45	c 10388
1515.12	o 51745
1515.12	c 10387
1518.56	o 51756
1518.56	c 10376
1523.77	o 51759
1523.77	c 10373
1533.80	o 51764
1533.80	c 10368
1535.39	o 51765
1535.39	c 10367
1536.97	o 51767
1536.97	c 10365
1538.61	o 51775
1538.61	c 10357
1540.23	o 51780
1540.23	c 10352
1541.82	o 51786
1541.82	c 10346
1543.37	o 51787
1543.37	c 10345
1544.97	o 51788
1544.97	c 10344
1546.58	o 51789
1546.58	c 10343
1548.15	o 51792
1548.15	c 10340
1549.74	o 51797
1549.74	c 10335
1551.31	o 51803
1551.31	c 10329
1556.11	o 51804
1556.11	c 10328
1557.72	o 51806
1557.72	c 10326
1560.96	o 51812
1560.96	c 10320
1562.59	o 51813
1562.59	c 10319
1565.98	o 51816
1565.98	c 10316
1569.32	o 51817
1569.32	c 10315
1570.94	o 51826
1570.94	c 10306
1572.56	o 51834
1572.56	c 10298
1574.19	o 51840
1574.19	c 10292
1575.89	o 51841
1575.89	c 10291
1585.74	o 51844
1585.74	c 10288
1587.35	o 51849
1587.35	c 10283
1588.97	o 51853
1588.97	c 10279
1590.66	o 51854
1590.66	c 10278
1592.27	o 51859
1592.27	c 10273
1593.89	o 51863
1593.89	c 10269
1595.52	o 51871
1595.52	c 10261
1598.76	o 51872
1598.76	c 10260
1600.39	o 51873
1600.39	c 10259
1602.00	o 51876
1602.00	c 10256
1603.63	o 51877
1603.63	c 10255
1605.29	o 51881
1605.29	c 10251
1611.83	o 51884
1611.83	c 10248
1613.43	o 51891
1613.43	c 10241
1615.00	o 51893
1615.00	c 10239
1619.84	o 51899
1619.84	c 10233
1621.38	o 51902
1621.38	c 10230
1622.90	o 51909
1622.90	c 10223
1624.49	o 51910
1624.49	c 10222
1626.14	o 51913
1626.14	c 10219
1627.64	o 51916
1627.64	c 10216
1629.20	o 51925
1629.20	c 10207
1630.81	o 51928
1630.81	c 10204
1632.30	o 51936
1632.30	c 10196
1633.80	o 51942
1633.80	c 10190
1635.33	o 51946
1635.33	c 10186
1636.84	o 51951
1636.84	c 10181
1639.91	o 51953
1639.91	c 10179
1641.44	o 51955
1641.44	c 10177
1644.49	o 51960
1644.49	c 10172
1649.04	o 51966
1649.04	c 10166
1650.57	o 51969
1650.57	c 10163
1652.09	o 51975
1652.09	c 10157
1653.56	o 51978
1653.56	c 10154
1655.16	o 51982
1655.16	c 10150
1656.77	o 51991
1656.77	c 10141
1658.36	o 52005
1658.36	c 10127
1659.74	o 52009
1659.74	c 10123
1665.94	o 52010
1665.94	c 10122
1670.42	o 52012
1670.42	c 10120
1671.95	o 52016
1671.95	c 10116
1673.46	o 52022
1673.46	c 10110
1674.98	o 52033
1674.98	c 10099
1678.13	o 52040
1678.13	c 10092
1679.71	o 52042
1679.71	c 10090
1681.24	o 52044
1681.24	c 10088
1682.75	o 52047
1682.75	c 10085
1684.28	o 52054
1684.28	c 10078
1687.52	o 52063
1687.52	c 10069
1689.07	o 52064
1689.07	c 10068
1690.63	o 52065
1690.63	c 10067
1692.14	o 52067
1692.14	c 10065
1693.67	o 52068
1693.67	c 10064
1695.20	o 52070
1695.20	c 10062
1696.74	o 52071
1696.74	c 10061
1698.27	o 52077
1698.27	c 10055
1699.79	o 52088
1699.79	c 10044
1701.32	o 52093
1701.32	c 10039
1702.82	o 52096
1702.82	c 10036
1704.30	o 52098
1704.30	c 10034
1707.43	o 52100
1707.43	c 10032
1708.94	o 52104
1708.94	c 10028
1710.43	o 52108
1710.43	c 10024
1711.91	o 52112
1711.91	c 10020
1713.42	o 52114
1713.42	c 10018
1714.87	o 52118
1714.87	c 10014
1716.30	o 52127
1716.30	c 10005
1717.74	o 52134
1717.74	c 9998
1719.24	o 52141
1719.24	c 9991
1720.82	o 52142
1720.82	c 9990
1722.34	o 52144
1722.34	c 9988
1725.40	o 52148
1725.40	c 9984
1726.85	o 52156
1726.85	c 9976
1729.85	o 52162
1729.85	c 9970
1731.33	o 52163
1731.33	c 9969
1732.83	o 52166
1732.83	c 9966
1734.32	o 52168
1734.32	c 9964
1735.77	o 52177
1735.77	c 9955
1746.24	o 52178
1746.24	c 9954
1747.71	o 52186
1747.71	c 9946
1749.17	o 52188
1749.17	c 9944
1753.71	o 52193
1753.71	c 9939
1759.48	o 52198
1759.48	c 9934
1762.54	o 52200
1762.54	c 9932
1765.38	o 52202
1765.38	c 9930
1766.83	o 52205
1766.83	c 9927
1772.80	o 52209
1772.80	c 9923
1774.32	o 52210
1774.32	c 9922
1775.78	o 52214
1775.78	c 9918
1777.29	o 52222
1777.29	c 9910
1780.19	o 52225
1780.19	c 9907
1781.69	o 52226
1781.69	c 9906
1783.17	o 52228
1783.17	c 9904
1786.05	o 52231
1786.05	c 9901
1787.53	o 52236
1787.53	c 9896
1789.00	o 52238
1789.00	c 9894
1790.42	o 52240
1790.42	c 9892
1794.56	o 52241
1794.56	c 9891
1795.93	o 52251
1795.93	c 9881
1797.37	o 52252
1797.37	c 9880
1798.86	o 52257
1798.86	c 9875
1800.33	o 52258
1800.33	c 9874
1803.25	o 52261
1803.25	c 9871
1804.63	o 52265
1804.63	c 9867
1806.16	o 52273
1806.16	c 9859
1808.98	o 52278
1808.98	c 9854
1810.46	o 52281
1810.46	c 9851
1811.83	o 52284
1811.83	c 9848
1817.51	o 52287
1817.51	c 9845
1818.86	o 52289
1818.86	c 9843
1820.22	o 52293
1820.22	c 9839
1824.45	o 52295
1824.45	c 9837
1825.88	o 52300
1825.88	c 9832
1827.30	o 52302
1827.30	c 9830
1828.71	o 52303
1828.71	c 9829
1830.04	o 52308
1830.04	c 9824
1831.45	o 52310
1831.45	c 9822
1832.84	o 52319
1832.84	c 9813
1836.95	o 52323
1836.95	c 9809
1838.42	o 52324
1838.42	c 9808
1841.33	o 52331
1841.33	c 9801
1842.76	o 52334
1842.76	c 9798
1844.31	o 52345
1844.31	c 9787
1848.78	o 52347
1848.78	c 9785
1850.34	o 52348
1850.34	c 9784
1862.38	o 52354
1862.38	c 9778
1863.85	o 52357
1863.85	c 9775
1866.73	o 52358
1866.73	c 9774
1868.23	o 52361
1868.23	c 9771
1869.79	o 52364
1869.79	c 9768
1871.30	o 52368
1871.30	c 9764
1875.90	o 52373
1875.90	c 9759
1877.41	o 52382
1877.41	c 9750
1878.84	o 52388
1878.84	c 9744
1880.30	o 52391
1880.30	c 9741
1881.81	o 52402
1881.81	c 9730
1883.20	o 52406
1883.20	c 9726
1884.68	o 52411
1884.68	c 9721
1887.49	o 52416
1887.49	c 9716
1888.91	o 52419
1888.91	c 9713
1890.28	o 52424
1890.28	c 9708
1891.63	o 52429
1891.63	c 9703
1892.84	o 52430
1892.84	c 9702
1894.19	o 52437
1894.19	c 9695
1895.50	o 52441
1895.50	c 9691
1896.82	o 52446
1896.82	c 9686
1899.70	o 52451
1899.70	c 9681
1900.98	o 52455
1900.98	c 9677
1903.59	o 52459
1903.59	c 9673
1904.87	o 52460
1904.87	c 9672
1906.16	o 52461
1906.16	c 9671
1907.53	o 52462
1907.53	c 9670
1908.81	o 52463
1908.81	c 9669
1910.11	o 52469
1910.11	c 9663
1911.45	o 52470
1911.45	c 9662
1912.72	o 52473
1912.72	c 9659
1914.01	o 52474
1914.01	c 9658
1915.33	o 52479
1915.33	c 9653
1916.59	o 52491
1916.59	c 9641
1917.90	o 52498
1917.90	c 9634
1921.85	o 52500
1921.85	c 9632
1923.20	o 52502
1923.20	c 9630
1924.54	o 52507
1924.54	c 9625
1925.93	o 52508
1925.93	c 9624
1928.65	o 52510
1928.65	c 9622
1929.96	o 52513
1929.96	c 9619
1931.26	o 52515
1931.26	c 9617
1932.55	o 52519
1932.55	c 9613
1934.04	o 52526
1934.04	c 9606
1935.40	o 52533
1935.40	c 9599
1936.72	o 52537
1936.73	c 9595
1940.75	o 52540
1940.75	c 9592
1942.11	o 52547
1942.11	c 9585
1943.51	o 52555
1943.51	c 9577
1944.94	o 52556
1944.94	c 9576
1947.73	o 52557
1947.73	c 9575
1950.44	o 52559
1950.44	c 9573
1951.77	o 52562
1951.77	c 9570
1953.26	o 52564
1953.26	c 9568
1954.66	o 52565
1954.66	c 9567
1956.10	o 52566
1956.10	c 9566
1957.51	o 52574
1957.51	c 9558
1958.90	o 52583
1958.90	c 9549
1960.29	o 52589
1960.29	c 9543
1961.60	o 52597
1961.60	c 9535
1963.04	o 52598
1963.04	c 9534
1964.38	o 52599
1964.38	c 9533
1965.78	o 52607
1965.78	c 9525
1970.09	o 52609
1970.09	c 9523
1971.45	o 52611
1971.45	c 9521
1972.85	o 52614
1972.85	c 9518
1974.28	o 52615
1974.28	c 9517
1975.62	o 52626
1975.62	c 9506
1977.80	o 52630
1977.80	c 9502
1980.47	o 52634
1980.47	c 9498
1983.11	o 52642
1983.11	c 9490
1984.45	o 52644
1984.45	c 9488
1985.79	o 52645
1985.79	c 9487
1987.12	o 52648
1987.12	c 9484
1988.40	o 52653
1988.40	c 9479
1991.11	o 52659
1991.11	c 9473
1992.48	o 52661
1992.48	c 9471
1995.22	o 52663
1995.22	c 9469
1998.04	o 52669
1998.04	c 9463
1999.39	o 52670
1999.39	c 9462
2000.73	o 52681
2000.73	c 9451
2002.02	o 52690
2002.02	c 9442
2003.42	o 52693
2003.42	c 9439
2004.76	o 52694
2004.76	c 9438
2006.10	o 52700
2006.10	c 9432
2007.47	o 52706
2007.47	c 9426
2010.14	o 52708
2010.14	c 9424
2015.64	o 52711
2015.64	c 9421
2016.99	o 52713
2016.99	c 9419
2018.43	o 52717
2018.43	c 9415
2019.74	o 52719
2019.74	c 9413
2022.55	o 52723
2022.55	c 9409
2023.90	o 52728
2023.90	c 9404
2025.22	o 52734
2025.22	c 9398
2026.60	o 52735
2026.60	c 9397
2027.91	o 52738
2027.91	c 9394
2029.29	o 52746
2029.29	c 9386
2030.64	o 52748
2030.64	c 9384
2031.98	o 52751
2031.98	c 9381
2033.35	o 52755
2033.35	c 9377
2034.74	o 52758
2034.74	c 9374
2036.11	o 52762
2036.11	c 9370
2040.30	o 52765
2040.30	c 9367
2047.60	o 52769
2047.60	c 9363
2050.41	o 52775
2050.41	c 9357
2051.86	o 52780
2051.86	c 9352
2053.29	o 52786
2053.29	c 9346
2054.70	o 52791
2054.70	c 9341
2056.05	o 52794
2056.05	c 9338
2060.25	o 52795
2060.25	c 9337
2061.67	o 52803
2061.67	c 9329
2064.30	o 52806
2064.30	c 9326
2067.26	o 52812
2067.26	c 9320
2068.76	o 52817
2068.76	c 9315
2070.27	o 52819
2070.27	c 9313
2072.97	o 52822
2072.97	c 9310
2073.55	o 52824
2073.55	c 9308
2075.01	o 52826
2075.01	c 9306
2080.75	o 52832
2080.75	c 9300
2082.20	o 52833
2082.20	c 9299
2083.62	o 52834
2083.62	c 9298
2086.48	o 52835
2086.48	c 9297
2087.91	o 52837
2087.91	c 9295
2089.31	o 52839
2089.31	c 9293
2090.81	o 52848
2090.81	c 9284
2096.26	o 52849
2096.26	c 9283
2103.78	o 52852
2103.78	c 9280
2107.05	o 52857
2107.05	c 9275
2111.57	o 52861
2111.57	c 9271
2113.08	o 52865
2113.08	c 9267
2114.59	o 52871
2114.59	c 9261
2116.07	o 52872
2116.07	c 9260
2117.60	o 52874
2117.60	c 9258
2119.08	o 52876
2119.08	c 9256
2120.61	o 52881
2120.61	c 9251
2122.16	o 52888
2122.16	c 9244
2123.66	o 52891
2123.66	c 9241
2126.71	o 52892
2126.71	c 9240
2128.21	o 52898
2128.21	c 9234
2131.18	o 52900
2131.18	c 9232
2132.71	o 52904
2132.71	c 9228
2134.25	o 52907
2134.25	c 9225
2139.24	o 52910
2139.24	c 9222
2140.89	o 52914
2140.89	c 9218
2145.45	o 52921
2145.45	c 9211
2147.04	o 52925
2147.04	c 9207
2148.72	o 52931
2148.72	c 9201
2150.31	o 52939
2150.31	c 9193
2151.94	o 52943
2151.94	c 9189
2153.56	o 52946
2153.56	c 9186
2155.19	o 52947
2155.19	c 9185
2158.59	o 52949
2158.60	c 9183
2160.27	o 52951
2160.27	c 9181
2163.18	o 52952
2163.18	c 9180
2164.79	o 52960
2164.79	c 9172
2166.48	o 52964
2166.48	c 9168
2168.15	o 52969
2168.15	c 9163
2169.78	o 52971
2169.78	c 9161
2174.80	o 52976
2174.80	c 9156
2176.45	o 52979
2176.45	c 9153
2181.62	o 52981
2181.62	c 9151
2183.36	o 52986
2183.36	c 9146
2186.73	o 52987
2186.73	c 9145
2188.42	o 52997
2188.42	c 9135
2190.11	o 53005
2190.11	c 9127
2191.79	o 53009
2191.79	c 9123
2193.45	o 53010
2193.45	c 9122
2206.89	o 53013
2206.89	c 9119
2216.99	o 53016
2216.99	c 9116
2220.64	o 53020
2220.64	c 9112
2222.33	o 53024
2222.33	c 9108
2224.15	o 53026
2224.15	c 9106
2227.71	o 53029
2227.71	c 9103
2230.85	o 53031
2230.85	c 9101
2232.51	o 53033
2232.51	c 9099
2234.25	o 53034
2234.25	c 9098
2236.92	o 53036
2236.92	c 9096
2238.60	o 53043
2238.60	c 9089
2240.25	o 53048
2240.25	c 9084
2241.63	o 53050
2241.63	c 9082
2243.24	o 53051
2243.24	c 9081
2244.86	o 53053
2244.86	c 9079
2246.53	o 53059
2246.53	c 9073
2248.19	o 53060
2248.20	c 9072
2254.85	o 53064
2254.85	c 9068
2257.51	o 53070
2257.51	c 9062
2259.08	o 53071
2259.08	c 9061
2260.66	o 53075
2260.66	c 9057
2262.19	o 53077
2262.19	c 9055
2263.77	o 53084
2263.77	c 9048
2265.27	o 53088
2265.27	c 9044
2266.89	o 53092
2266.89	c 9040
2268.53	o 53093
2268.53	c 9039
2271.62	o 53096
2271.62	c 9036
2273.24	o 53102
2273.24	c 9030
2274.84	o 53103
2274.84	c 9029
2278.03	o 53108
2278.03	c 9024
2282.85	o 53109
2282.85	c 9023
2284.49	o 53112
2284.49	c 9020
2286.11	o 53116
2286.11	c 9016
2287.74	o 53119
2287.74	c 9013
2289.38	o 53125
2289.38	c 9007
2291.16	o 53131
2291.16	c 9001
2292.91	o 53135
2292.91	c 8997
2294.66	o 53136
2294.66	c 8996
2296.36	o 53139
2296.36	c 8993
2301.37	o 53143
2301.37	c 8989
2304.73	o 53145
2304.73	c 8987
2309.72	o 53147
2309.72	c 8985
2311.33	o 53152
2311.33	c 8980
2314.28	o 53158
2314.28	c 8974
2315.93	o 53162
2315.93	c 8970
2319.21	o 53164
2319.21	c 8968
2320.87	o 53175
2320.87	c 8957
2322.57	o 53180
2322.57	c 8952
2324.37	o 53183
2324.37	c 8949
2326.03	o 53188
2326.03	c 8944
2327.70	o 53196
2327.70	c 8936
2329.40	o 53201
2329.40	c 8931
2330.99	o 53202
2330.99	c 8930
2332.71	o 53207
2332.71	c 8925
2334.37	o 53210
2334.37	c 8922
2335.99	o 53217
2335.99	c 8915
2339.35	o 53219
2339.35	c 8913
2342.85	o 53224
2342.85	c 8908
2344.63	o 53227
2344.63	c 8905
2346.28	o 53232
2346.28	c 8900
2351.31	o 53238
2351.31	c 8894
2352.93	o 53243
2352.93	c 8889
2354.59	o 53249
2354.59	c 8883
2356.25	o 53250
2356.25	c 8882
2359.56	o 53252
2359.56	c 8880
2362.99	o 53254
2362.99	c 8878
2364.73	o 53258
2364.73	c 8874
2366.47	o 53261
2366.47	c 8871
2368.24	o 53263
2368.24	c 8869
2370.08	o 53266
2370.08	c 8866
2371.81	o 53270
2371.81	c 8862
2373.60	o 53276
2373.60	c 8856
2375.44	o 53281
2375.44	c 8851
2379.09	o 53282
2379.09	c 8850
2382.82	o 53287
2382.82	c 8845
2384.71	o 53290
2384.71	c 8842
2390.38	o 53294
2390.38	c 8838
2392.27	o 53299
2392.27	c 8833
2398.03	o 53304
2398.03	c 8828
2401.94	o 53308
2401.94	c 8824
2415.83	o 53311
2415.83	c 8821
2417.82	o 53318
2417.82	c 8814
2419.87	o 53320
2419.87	c 8812
2420.32	v 3854 3206 2762 3886 2654 2774 -3970 -3722 3702 -3122 3458 -2654 3666 -2714 -3366 2750 3994 2658 -2650 3358 3206 -2906 3182 3966 3714 3150 -3434 -3162 4034 2850 -2658 2906 -3206 2826 2770 2870 2674 -2650 -3922 -3646 3034 3858 -3774 -3110 -3218 3482 4034 4018 -3890 -3386 3470 -2778 -4018 -3322 3402 4042 3458 -3430 3050 3206 -3858 -3570 3638 -3558 -3930 3282 -4026 3454 -2734 -3530 4034 -3110 4038 -3154 -3874 -3458 -3450 -4038 -3906 2694 3794 -3138 3114 2906 -3926 3270 -2954 4018 -3434 2654 3626 3562 -3214 3678 3602 3998 -3430 -3890 3974 -3110 3982 -2838 2650 3830 -3894 -3538 -2694 3762 3294 3914 -3966 3894 -3594 3894 -2850 -3942 -3058 -2974 3822 3166 3694 -3014 -2694 -2786 -3362 -3258 -3130 3886 -3726 -3350 -3790 3970 2882 2954 2666 3510 3234 -3150 -3642 3474 2838 3706 -3834 -4006 -3078 -3174 -3686 4042 -2718 -3382 4042 -3846 2718 2726 -3194 -3930 4030 -2802 3930 3010 2778 4042 -3290 3102 -2666 -3818 -3862 -3898 2794 -4042 3946 -3858 2718 2922 4030 -4042 3978 -2730 -3070 -3730 -4042 -4002 -3774 3982 -3498 -4030 -2950 -3270 -3730 3970 -3102 3506 -3870 -2650 -2806 -3370 -3082 3766 -3974 3270 -3150 3894 -3294 -2698 3094 -3370 3990 2698 -4030 -3582 3878 3402 -3610 3254 3226 3830 3038 -3514 -3950 4042 2786 -2946 -2670 -3194 -3794 -3954 -3258 2890 -3490 3362 4042 -2662 4042 3986 3970 3018 3938 -3926 3634 -3874 -4042 -3994 -3022 2686 -4038 -3926 2650 3298 3070 3842 4042 3070 -3066 3994 2678 -3838 -3526 -2854 -3570 -3850 -2974 4038 -2698 -4014 -2746 -3390 -3246 -3146 -3998 -3542 -2982 -3682 -2654 -3678 3010 4038 -3658 -3342 -3558 2982 -2798 -4042 3166 3950 4002 3918 3754 3830 4010 3102 -2926 3198 4042 3966 -2654 2962 3362 2722 -2662 3490 2882 3678 2658 3930 3098 3174 3702 2702 -3990 2834 -3142 3998 2650 2974 3690 -2814 -4038 -2738 -2662 -2918 -4038 -4042 3586 -3714 4014 -3194 -3554 3810 3826 4002 -4022 3590 -3562 -3918 3942 3782 2918 -3942 3150 2982 3758 3006 3086 -2906 3206 3202 -2650 -4022 -3854 -3110 -3266 3962 -3690 -2654 3442 3990 -3534 -3846 -3970 2826 -3782 3414 3282 -2814 3342 -2658 -3994 3474 2718 -3614 3742 -3494 -2914 3298 -3166 -3870 3282 2666 3122 2774 4034 4022 2678 3046 3146 2890 -3654 -3630 -4002 2670 -2850 -2694 -3066 3686 -4034 -2650 3946 4018 3310 3614 3610 -3082 3442 -3774 -2690 -3606 -3870 -2898 3442 -3970 3782 -3886 2754 2798 -2846 -2818 -3890 2698 -2830 3978 -3686 3734 -2830 3562 -3974 2854 -2710 -3790 -3474 2706 3810 3606 3482 -3422 2974 -3450 3946 3078 2662 3926 2762 3714 -3866 4038 -3898 3778 -2946 -2934 2810 -4014 -3722 -3926 -2866 -2694 -3450 -3786 3190 -3906 -2938 2654 2774 -3546 3314 -2706 -2650 3126 3470 3478 2678 -3054 3958 -3850 2810 -3806 -4010 -2742 -3718 3906 -3854 -4042 2754 4006 -2846 -3950 -2650 -2926 -2738 2930 3174 3918 -4014 -3150 3734 3826 4002 3982 -3070 3918 3282 -2686 -3910 3870 -2718 3534 -2678 -3894 -3846 3246 -3162 -4026 4030 -3018 2650 -3882 3650 -2650 -3198 -4034 3742 3074 4038 2954 -2698 -3926 3914 -2654 -2790 -3118 3094 3802 -4042 -2690 -3362 -2690 -4042 -3198 -3614 -3398 3974 3298 -3362 -3126 3918 -2654 3390 -4014 3022 -2938 3578 -3146 2670 -3866 3454 -3866 2894 -3410 -2654 -3754 -3762 2690 -2714 4042 3094 -4042 2882 -4006 -3630 -4018 3762 3478 -3306 3946 2650 2754 2990 2654 -3830 3022 3970 -2694 -2670 3870 3542 -2926 3366 -2706 4010 3958 -3678 -2682 -3906 3110 2998 3966 3386 -3982 2722 4018 3706 -4014 3238 3374 3294 -3506 2758 2738 -3958 -3818 2886 -3618 3774 2650 -2810 -3690 -2650 2898 3710 -3030 -2674 -3522 2854 -3486 -2650 -3434 -3710 2798 -3758 -2838 4042 -3358 -2650 4014 -3770 -4022 -3882 2654 -2682 4002 -2762 2698 3058 -2650 3110 -3814 3326 4014 -2650 3666 -3910 3498 -3618 -3350 -3806 -3602 -3914 4018 2706 -3142 -3866 -2730 2670 3878 -2694 2766 -3658 3118 3446 -3246 2930 -3174 -2802 -3990 -3878 -3318 -3106 3982 4002 3922 -3650 3466 -3442 -4030 4030 3518 -3114 3574 -3570 2698 -3982 2846 4042 -3970 -2650 -2866 -2662 -3470 3090 -3998 4038 4042 -2722 3338 -3958 3274 -4014 -3810 -3506 2758 -2742 2666 -2690 -3114 2698 -2966 3830 3358 3730 -4030 -3390 4002 -3866 -3558 -3722 3250 2882 -3958 -3470 -4042 -3018 3286 -3858 -4042 -4014 -3010 3782 -3678 -3494 -2826 -3378 -2766 3994 -3210 3710 -3054 3374 -2694 2702 -3778 -2706 -4042 -2730 -4018 -4042 2694 -3982 -2674 3750 -2870 2926 -3990 2754 -3974 3290 -2674 -3910 -3918 3406 3186 -3626 -3886 -3370 -2674 3094 -3966 3514 -2650 3966 -3358 -3550 -3330 -3454 -3434 -3762 2670 -3074 3038 3506 -3830 -3526 -3318 -4026 3646 3070 -2658 3682 2858 -3658 3054 -2718 2674 -3082 -3858 3950 -4034 3890 2706 -3974 2834 -4042 2938 -3946 3150 3254 3062 -3962 2698 -3282 3990 -2714 4002 -2886 -3166 3790 2666 -3982 -3986 2686 -3670 -2802 -4042 3954 3902 -3974 -2998 -2878 -3538 -3258 4014 -2734 3878 3302 3218 -3806 2710 3338 3902 -3774 3898 3970 -4022 3990 -3474 3734 2658 3090 -2706 -2658 3158 2690 -3138 2686 2674 -2654 -3170 3914 -3938 3550 -3886 4030 -2974 -4034 -2722 4010 -3838 -3974 -2718 -3986 -3050 -2918 -2682 -2934 2714 3938 -2718 3354 3722 4042 -3770 -2870 -2886 3718 -3750 -2670 2990 3346 2934 -3186 -3898 -3278 -2822 -3334 3382 3166 -3926 3938 -3870 3886 -3506 -4006 -3926 3718 3206 2650 3210 -3994 2910 2682 2654 3418 -3058 3922 -3246 3346 -3474 -4042 2678 3974 3682 3830 3922 -3966 4042 2998 -2658 3222 2714 -3154 -3918 -2958 4034 3038 -3906 -4002 3818 3026 3762 2726 3514 -3790 2674 -3978 3886 -3958 -2782 -3966 -3430 2662 -3158 -3970 2670 -3762 -3170 3650 -3590 -3998 3830 -3866 -3798 -3530 3022 -3590 -2650 3710 3862 3794 -3626 -2894 2694 4014 4042 -2694 -4038 -3646 -2926 3942 2678 3994 3406 -2706 3226 2746 3270 3742 3666 -3426 3582 2818 2650 3886 2734 -3770 3518 -2690 3118 3778 2658 -3682 -3998 3162 -4042 -2650 -3830 3750 -2814 3906 -3734 -3458 4042 -3198 -4002 3838 -4002 -4018 -3362 -3218 -3578 -3014 -3474 -3930 -2690 3690 2782 3238 -3006 4042 2682 -2654 3094 -3806 3074 2718 -2650 3350 -2942 3554 2734 2782 4002 3258 -2806 3918 3478 -3178 4002 -3002 -2918 -3710 2710 3178 -3958 3354 -2786 2650 -3498 3942 3998 2894 -3274 -2690 2946 -4034 -3758 -3762 3858 3734 3382 3314 3710 2650 3886 -3694 3786 -2702 2686 -3994 2650 3158 -3554 -4030 -3146 -2650 3670 -3530 2678 4026 3998 3058 3882 3150 3258 3782 -3738 -3490 -2746 3962 -4030 3594 -3422 -2650 -2710 -3562 4042 -3518 2806 3278 -3870 -3926 3806 -3866 3186 -3874 3810 -3534 -2806 2658 -3130 3202 3866 3298 3230 -4038 3758 2706 -3154 -2946 3286 -2930 3826 3990 2650 -2906 -3178 -3446 -3654 2730 2802 3646 2914 4038 -3470 -3946 -3178 2910 4042 -3566 -3146 -2670 -3274 2650 2686 -2758 -3170 -3670 -3250 -3462 3606 2714 3970 -2726 3286 2914 -2690 -3194 3866 3866 -3854 -3110 -2694 -3166 4042 2966 -3850 4042 3890 2754 -2786 2990 3946 3510 -3990 3942 -3166 2766 -3242 2858 3946 -4038 3278 -3938 3974 -3962 -2794 -3154 3930 -2990 -2714 3890 -2690 -3738 4030 -3958 3650 -3590 -2686 3494 -2890 -4026 2774 4030 -3958 3134 2818 -2654 -3058 -3526 3702 3894 -2690 3922 -3618 2846 3098 4002 -3762 3822 3878 3206 -3294 -3510 2714 3918 -3990 -3866 -3826 -3310 -2690 -2666 3838 3250 2722 2758 -2906 4042 -3350 4006 -3926 3670 3010 -2890 -3530 3854 -3306 2810 -2962 -4034 -2926 4030 3054 2658 -3870 3498 3998 3054 -2718 3022 -3686 -3070 3074 3338 -3366 -2698 -3470 -3906 -2654 2770 3114 3226 -3150 3598 -3874 3114 2926 -3914 4018 -3538 -3386 -4042 4042 -3218 2690 2886 -2674 -3954 3410 -3994 -3714 3470 -3386 -3802 2866 -2922 2650 -3190 3654 2706 3726 -4038 4002 -3030 -3882 -3886 -3062 2898 3822 -2690 3022 -3110 -3530 4030 -3958 -3326 3318 3138 -3270 3866 -3846 -3490 -3470 3442 -4002 3934 -3338 -2670 -4042 -2818 -3574 4034 -3186 3990 -3926 3346 -3450 2754 -3442 -3686 -3326 -3426 -3162 3298 -3770 3170 -3154 3086 4002 -3242 -3114 -3074 3850 3642 -4026 3730 3814 2758 3658 4042 2822 2814 4014 -2898 -3926 2838 -3466 3726 -2666 -2658 -4030 -2746 4018 2662 -4042 -3646 2894 2650 3178 3986 3162 -3466 2650 -3958 3198 3546 3910 -2918 3102 3234 3238 2666 -3218 -3562 -4002 3758 4018 3650 3426 -4038 -4002 3978 -3338 -2650 -3838 4042 -3334 3934 3890 3482 2690 2710 3486 -3910 2986 2854 3742 -3258 -3734 -3898 -2698 2906 3670 -2874 4002 4006 -2866 -2766 4034 2650 4038 3454 -3098 -4042 -3778 -3310 -3502 -2706 -3842 -2718 4030 3766 4002 4030 -3730 2802 -3914 -3926 -2726 -2878 3214 -3810 -2658 -2890 3738 3302 3902 -3294 3846 -4042 3698 3826 -3586 2882 -3378 -3162 -2698 3822 -3870 -3842 3214 3046 2886 -2650 3770 -3450 4042 3890 -3770 -2738 2978 2722 2834 3154 2662 -2650 -2966 -3826 3602 -3410 -2802 4022 -3698 -3962 -2714 -3286 2902 3026 -3606 4010 2850 -3822 3966 3990 3974 2970 -3218 -2714 -3582 2674 -2778 4002 3750 4042 -3130 3954 -4042 -2894 -3582 -3526 -3846 2650 3990 3706 3986 -2814 -3854 -3930 2658 2982 -4006 3874 -3998 -2650 3194 -3990 -3930 -3950 -3926 -2650 -3414 -3014 -3194 -3138 -2650 3406 -2734 4042 -3978 3830 -2742 -3998 2722 2922 2762 -2694 -2726 -3850 3822 -3738 -2770 3966 -3842 -3990 -3614 3350 -3010 -2814 -3194 2806 -3758 -3622 2886 2662 3158 3534 3958 -3358 -2702 2658 -3342 3718 3670 3058 -3902 -3134 2650 -3554 3962 3306 -3934 3390 -3750 -3442 2650 3058 3998 3498 -3678 2670 3786 -2874 -3618 -3398 3494 -2666 -3242 4042 -3950 -4006 -3446 -2650 3274 -2922 -3602 3826 3646 -4042 -3782 -3702 3402 -3926 -4022 3286 -2770 -3934 3122 3534 3010 3262 3726 -3978 4042 4022 -3478 -2694 -2942 -3350 -2654 -3694 -3534 2974 -3986 3698 -2654 3730 3086 3602 3818 2694 -3394 -3370 2690 2698 4038 2706 -3446 -3354 -3994 3582 -3998 2854 3846 3666 3278 2910 -3046 4042 -3850 3806 -3086 2898 3266 2658 2694 3202 3154 -2894 3478 -3866 3130 2982 -2962 3174 2658 -3574 -3518 -2890 3862 -2662 -2714 -2654 -2666 -4034 3866 -2662 3922 -4010 -3886 2662 -3094 -4014 -2666 -3470 -3710 -4038 3322 -3822 3206 3798 -3630 2654 -3062 2718 2950 -3602 3842 2718 3190 3570 -2650 -2650 -3038 -4038 3942 -3986 3522 -3886 -3198 3410 3026 -3154 -3470 -3354 -3346 2658 -2682 -3854 -3190 -2662 3334 3322 -3902 4042 3190 -3570 -3402 3978 3998 3542 -3962 3318 -2650 -2674 2690 2850 2654 3702 2674 -2942 -3130 -3074 3802 3458 3398 3602 3778 -2658 2674 3138 3654 -3114 -3922 -3922 -3654 -3578 3738 -2922 -3906 -3874 3914 -3918 -3070 3162 -3886 4010 -4002 3450 3870 -2978 -3186 -3354 3154 -3358 -2654 2942 3822 -3662 2994 -2674 -2994 3446 2650 -3790 3310 2926 -4038 -2658 -3314 -4014 -3938 -2894 -2770 -2658 -3862 -3706 -3990 -3634 -3898 -4022 -3022 -3710 -2650 -2686 -2838 3186 3254 3390 3670 -3806 3630 3170 2794 -3214 3774 -2658 3150 3182 -3690 2990 2734 3926 -2758 -2770 -4030 -3678 -3894 3174 -2802 3118 -2678 3194 -2670 4010 3378 2674 2690 -2662 -3254 -2722 -2770 3762 2702 3834 3602 -3282 3950 -3486 -3330 -2738 -2738 3706 -3926 -3454 2982 -4010 2902 -2670 3250 4042 4034 -3606 -3778 -3842 2654 2946 3082 4026 3070 3894 -3418 -3998 2950 2650 -2742 3206 -2730 3686 -3206 -3310 -3922 3394 2682 -3674 3178 -2714 -3950 -2782 -4002 3614 2858 3710 2702 -3650 -2902 3642 -3902 -2678 -2650 -2718 2810 3986 2662 3494 -3242 4042 2786 3230 -3494 2662 2850 -2690 3886 -2682 4042 3346 -2682 -4034 3150 -3686 2734 2654 2670 -3970 -2730 2706 3874 3166 4042 -3970 2650 3986 2682 2770 -2650 3994 -4006 -3890 -4042 -3962 -3058 2702 -3910 -2814 2718 3494 -2650 2678 3094 -3890 2770 -3986 -4002 2834 -4034 -3614 -2818 -3386 2894 -2714 2690 3434 -3018 -3962 3274 -2950 -3166 -3282 -3210 2682 3910 3242 4002 3730 -3986 -2726 2654 3998 -4038 3742 3982 2674 -4042 2678 -4026 -2654 3878 -2746 2962 -3642 -3458 3186 2866 3846 -2662 -3734 3582 -3066 3146 -3774 2658 -3094 3322 3174 2818 2854 -3998 -3946 -3730 -3006 2654 2762 2806 -3382 -2990 3278 3618 3930 -2758 3018 3570 2730 -4002 2678 -3394 2822 2802 -3974 -3994 -3822 2718 -3774 -3238 2726 2666 3890 3762 -2838 -2870 3922 3986 3750 -3962 3194 -3914 3098 2650 -2654 2650 -4018 -2686 3666 3118 -3354 -4006 -2650 2814 -3714 2942 3970 -3966 3290 3538 3970 3210 3982 3446 -3338 3182 -3862 -3622 -3894 -3698 -3918 2774 -4042 2706 -3342 3130 -2714 3674 3170 -3694 -3362 -2878 2690 2714 -3882 -2850 -3222 -3610 3410 4022 -2694 -4002 -3258 3358 3902 -2834 -3930 3614 3290 3578 2770 -3294 -2662 2654 3982 -3990 2746 2690 -3342 -3058 3642 3946 2706 -4022 4034 3926 3594 3106 -3826 2674 -2698 -3614 2970 -3918 -2734 2658 2746 2934 -3998 -3494 3366 3982 3690 -3214 2842 2754 -2946 -2802 3474 3850 -2810 4010 2654 2650 -2746 3858 3830 -2950 3298 -4034 -3730 -3302 -3378 -2654 -3226 -2658 -2866 4034 2794 -2686 -3946 -4002 2722 -3266 -2894 3246 2950 -3942 4030 -3798 -2678 3894 -3402 -3166 2662 -2790 -2650 2658 3866 -3922 -2714 3242 -3458 -3166 3354 -3494 3886 3542 2650 -3470 3178 -3374 4042 -3982 -3006 -4010 -2674 -2982 -3282 4034 -3898 2694 -3658 -2926 -3570 3966 3498 3142 3134 -3830 3926 3234 2958 2650 3998 -3850 -3730 -2650 -3854 3358 3702 3338 -3850 3402 3962 -3998 3590 -3990 2702 -2702 3906 2666 -3574 -3446 2650 -3426 -2782 -2650 -3982 2706 3146 2978 3186 -3978 -3994 3546 -4042 -3190 2910 3694 -3042 -2690 -3530 3366 -3510 4034 -3314 3946 3970 2902 3118 -2654 -3554 -2810 2690 3890 3006 -3698 3090 3318 -3910 -3106 3886 3702 2762 -2962 3906 -2650 3674 4038 -2658 3158 -3866 3382 3450 3922 4038 -2658 -2830 -3814 2990 3170 -3322 -2974 -2742 -3358 3454 -3914 -3214 3486 3798 3722 2854 2826 -3426 -3330 -4002 3014 2762 2786 3702 3514 4002 -2830 3986 2718 3486 -2670 3854 2694 -2658 -3266 -3374 -3126 3374 2890 -3474 2950 3238 4042 4042 3222 2674 -3166 4010 -3978 -2994 -3426 -2650 3302 -3438 -3894 2694 3034 -3886 -2650 -3710 -3438 -3194 -3534 3958 -2686 -3126 2654 2862 3358 3322 -2942 -3282 3742 -4026 2730 3682 3070 4022 -3038 3318 3178 -3414 -3850 -2698 -2650 -3026 2694 -2714 2690 -3038 3638 -4026 3286 -3238 -3870 3382 3562 -3898 -3534 3082 3998 4014 4038 -3878 -4018 3406 -2886 -2682 3434 -3254 -3846 -4026 -3474 -3238 3954 2862 3458 2658 -3886 -2654 2670 2754 -4002 3958 2854 -3882 -3422 -3958 -4018 -2662 -3998 3234 2934 3934 3422 -4042 4010 -3026 3930 -3058 -4042 4026 3630 3898 2822 3942 -3434 4042 3430 -3654 2686 3394 2878 3226 4006 -4018 2938 3606 3422 3194 -4002 -3522 3198 -2910 2790 2650 -3882 3506 -3986 -4030 3382 -3582 3262 -3950 -3354

Verifier Data (download as text)

8812 unsatisfied constraints, 53320 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/node41/watcher-275624-1169224083 -o ROOT/results/node41/solver-275624-1169224083 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275624-1169224083/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: 1.65 1.24 1.44 4/80 14169
/proc/meminfo: memFree=1417832/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=9740 CPUtime=0
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 611 0 0 0 0 0 0 0 18 0 1 0 270807529 9973760 388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/14168/statm: 2435 395 316 14 0 1138 0

[startup+0.104644 s]
/proc/loadavg: 1.65 1.24 1.44 4/80 14169
/proc/meminfo: memFree=1417832/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=914988 CPUtime=0.09
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 3088 0 1 0 7 2 0 0 22 0 8 0 270807529 936947712 2834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512673 s]
/proc/loadavg: 1.65 1.24 1.44 4/80 14169
/proc/meminfo: memFree=1417832/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915332 CPUtime=0.5
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 8954 0 1 0 44 6 0 0 25 0 8 0 270807529 937299968 8693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228833 8695 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33575 s]
/proc/loadavg: 1.65 1.24 1.44 3/87 14176
/proc/meminfo: memFree=1311664/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915604 CPUtime=1.31
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 30165 0 1 0 116 15 0 0 25 0 8 0 270807529 937578496 29901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228901 29908 2164 14 0 215371 0
[pid=14168/tid=14170] ppid=14166 vsize=915604 CPUtime=0.12
/proc/14168/task/14170/stat : 14170 (java) R 14166 14168 13951 0 -1 64 13614 0 0 0 7 5 0 0 16 0 8 0 270807533 937578496 29913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937578496 29920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807533 937578496 29926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937578496 29932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915604 CPUtime=0.14
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 405 0 0 0 14 0 0 0 16 0 8 0 270807536 937578496 29938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937578496 29945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937578496 29951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915604

[startup+2.98889 s]
/proc/loadavg: 1.65 1.24 1.44 3/87 14176
/proc/meminfo: memFree=1302192/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915604 CPUtime=2.96
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 32559 0 1 0 279 17 0 0 25 0 8 0 270807529 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073544366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228901 32289 2164 14 0 215371 0
[pid=14168/tid=14170] ppid=14166 vsize=915604 CPUtime=0.3
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 15989 0 0 0 24 6 0 0 16 0 8 0 270807533 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807533 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915604 CPUtime=0.15
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 270807536 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915604 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937578496 32289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915604

[startup+6.27218 s]
/proc/loadavg: 1.75 1.27 1.45 3/87 14176
/proc/meminfo: memFree=1263792/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=6.22
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 33065 0 1 0 605 17 0 0 25 0 8 0 270807529 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827826 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 32792 2184 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=0.34
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 16419 0 0 0 27 7 0 0 17 0 8 0 270807533 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807533 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.17
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 417 0 0 0 17 0 0 0 15 0 8 0 270807536 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 32792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915744

[startup+12.7475 s]
/proc/loadavg: 1.77 1.28 1.45 3/87 14176
/proc/meminfo: memFree=1247856/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=12.65
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 33067 0 1 0 1247 18 0 0 25 0 8 0 270807529 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 32794 2184 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=0.34
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 16419 0 0 0 27 7 0 0 16 0 8 0 270807533 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807533 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.17
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 419 0 0 0 17 0 0 0 16 0 8 0 270807536 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 32794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915744

[startup+25.5847 s]
/proc/loadavg: 1.82 1.31 1.46 3/87 14176
/proc/meminfo: memFree=1247984/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=25.39
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 34560 0 1 0 2520 19 0 0 25 0 8 0 270807529 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 34285 2185 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=0.41
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 17895 0 0 0 34 7 0 0 17 0 8 0 270807533 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807533 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.19
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 433 0 0 0 19 0 0 0 16 0 8 0 270807536 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 34285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915744

[startup+51.2789 s]
/proc/loadavg: 1.88 1.37 1.47 3/87 14176
/proc/meminfo: memFree=1242160/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=50.87
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 34562 0 1 0 5067 20 0 0 25 0 8 0 270807529 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 34287 2185 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=0.41
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 17895 0 0 0 34 7 0 0 16 0 8 0 270807533 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807533 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.19
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 435 0 0 0 19 0 0 0 16 0 8 0 270807536 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 34287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915744

[startup+102.479 s]
/proc/loadavg: 1.99 1.48 1.50 3/87 14176
/proc/meminfo: memFree=1187248/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=101.63
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48749 0 1 0 10134 29 0 0 25 0 8 0 270807529 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48326 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.26
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 466 0 0 0 25 1 0 0 16 0 8 0 270807536 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 915744

[startup+162.535 s]
/proc/loadavg: 1.99 1.57 1.53 3/87 14176
/proc/meminfo: memFree=1187184/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=161.15
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48751 0 1 0 16085 30 0 0 25 0 8 0 270807529 937721856 48327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.42 s]
/proc/loadavg: 2.02 2.00 1.91 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=2066.66
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48763 0 1 0 206600 66 0 0 25 0 8 0 270807529 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48338 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.28
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.66
Current children cumulated vsize (KiB) 915744

[startup+2144.48 s]
/proc/loadavg: 2.01 2.00 1.91 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=2126.22
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48763 0 1 0 212556 66 0 0 25 0 8 0 270807529 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827746 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48338 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.28
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2126.22
Current children cumulated vsize (KiB) 915744

[startup+2204.54 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=2185.77
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48763 0 1 0 218510 67 0 0 25 0 8 0 270807529 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48338 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.28
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.77
Current children cumulated vsize (KiB) 915744

[startup+2264.61 s]
/proc/loadavg: 2.03 2.01 1.92 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=2245.34
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48763 0 1 0 224467 67 0 0 25 0 8 0 270807529 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991883 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48338 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.28
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2245.34
Current children cumulated vsize (KiB) 915744

[startup+2324.67 s]
/proc/loadavg: 2.09 2.02 1.93 3/87 14374
/proc/meminfo: memFree=1186544/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=2304.89
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48763 0 1 0 230421 68 0 0 25 0 8 0 270807529 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48338 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.28
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.89
Current children cumulated vsize (KiB) 915744

[startup+2384.74 s]
/proc/loadavg: 1.99 2.00 1.92 3/87 14434
/proc/meminfo: memFree=1310064/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=2364.58
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48763 0 1 0 236389 69 0 0 25 0 8 0 270807529 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48338 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.28
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2364.58
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2420.32 s]
/proc/loadavg: 1.99 2.00 1.92 3/87 14434
/proc/meminfo: memFree=1310064/2055920 swapFree=4191892/4192956
[pid=14168] ppid=14166 vsize=915744 CPUtime=2400.02
/proc/14168/stat : 14168 (java) R 14166 14168 13951 0 -1 0 48763 0 1 0 239932 70 0 0 25 0 8 0 270807529 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14168/statm: 228936 48338 2504 14 0 215406 0
[pid=14168/tid=14170] ppid=14166 vsize=915744 CPUtime=1.62
/proc/14168/task/14170/stat : 14170 (java) S 14166 14168 13951 0 -1 64 31697 0 0 0 150 12 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14171] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14171/stat : 14171 (java) S 14166 14168 13951 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14172] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14172/stat : 14172 (java) S 14166 14168 13951 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807533 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14173] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14173/stat : 14173 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14174] ppid=14166 vsize=915744 CPUtime=0.28
/proc/14168/task/14174/stat : 14174 (java) S 14166 14168 13951 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14175] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14175/stat : 14175 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14168/tid=14176] ppid=14166 vsize=915744 CPUtime=0
/proc/14168/task/14176/stat : 14176 (java) S 14166 14168 13951 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807536 937721856 48338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2420.39
CPU time (s): 2400.1
CPU user time (s): 2399.36
CPU system time (s): 0.732888
CPU usage (%): 99.1613
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.36
system time used= 0.732888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48786
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= 50347
involuntary context switches= 117976

runsolver used 2.31165 s user time and 6.73597 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Fri Jan 19 16:28:03 UTC 2007


IDJOB= 275624
IDBENCH= 4169
IDSOLVER= 68
FILE ID= node41/275624-1169224083

PBS_JOBID= 3589208

Free space on /tmp= 66546 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  00688de2264349cb35c485d1a6fd29a5

RANDOM SEED= 82702433

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.234
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.234
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:       1418312 kB
Buffers:         45788 kB
Cached:         355544 kB
SwapCached:        276 kB
Active:         276016 kB
Inactive:       282560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1418312 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           10228 kB
Writeback:           0 kB
Mapped:         175412 kB
Slab:            64092 kB
Committed_AS:  5699096 kB
PageTables:       2180 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= 66553 MiB



End job on node41 on Fri Jan 19 17:08:23 UTC 2007