Trace number 275625

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.12 2400.97

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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/275625-1169224084/unknown.xml
0.36	   
0.36	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.85	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.85	       =>  wckTime=0.547  cpuTime=0.36  mem=44M623
0.85	   
0.85	   predicates being loaded...
0.85	   
0.85	   constraints being loaded...
60.97	   
60.97	   INFO : Stopping converting binary constraints (cpu=60.1, mem = 113M662)
64.66	     nbConstraints=62132  nbConvertedConstraints=572  nbConvertConstraintsChecks=200647520  nbExtensionStructures=512
64.66	     nbSharedExtensionStructures=60  nbConflictsStructures=512  nbSharedConflictsStructures=60
64.66	     nbSharedBinaryRepresentations=568613  nbEvaluationManagers=15686  nbSharedEvaluationManagers=45874  maxDegree=105
64.66	     maxArity=2
64.66	       =>  wckTime=64.355  cpuTime=62.91  mem=126M550
65.14	   
65.14	   solver LocalSearchSolver being built... 
65.18	       =>  wckTime=64.877  cpuTime=62.95  mem=124M216
66.25	
66.25	s SATISFIABLE
66.25	o 45595
66.25	c 16537
67.02	o 45609
67.03	c 16523
67.40	o 45626
67.40	c 16506
67.90	o 45641
67.90	c 16491
68.23	o 45660
68.23	c 16472
68.44	o 45675
68.44	c 16457
68.78	o 45680
68.78	c 16452
68.95	o 45692
68.95	c 16440
69.24	o 45705
69.24	c 16427
69.54	o 45720
69.54	c 16412
69.78	o 45734
69.78	c 16398
69.94	o 45748
69.94	c 16384
70.13	o 45759
70.13	c 16373
70.26	o 45770
70.26	c 16362
70.42	o 45777
70.42	c 16355
70.56	o 45780
70.56	c 16352
70.79	o 45783
70.79	c 16349
71.04	o 45794
71.04	c 16338
71.17	o 45808
71.17	c 16324
71.37	o 45817
71.37	c 16315
71.56	o 45818
71.56	c 16314
71.81	o 45831
71.81	c 16301
71.99	o 45833
71.99	c 16299
72.18	o 45837
72.18	c 16295
72.34	o 45849
72.34	c 16283
72.57	o 45856
72.57	c 16276
72.78	o 45863
72.78	c 16269
73.02	o 45869
73.02	c 16263
73.26	o 45881
73.26	c 16251
73.46	o 45885
73.46	c 16247
73.60	o 45888
73.60	c 16244
73.76	o 45890
73.76	c 16242
73.95	o 45892
73.95	c 16240
74.05	o 45897
74.05	c 16235
74.24	o 45901
74.24	c 16231
74.43	o 45908
74.43	c 16224
74.58	o 45917
74.58	c 16215
74.82	o 45920
74.82	c 16212
74.97	o 45932
74.97	c 16200
75.17	o 45944
75.17	c 16188
75.29	o 45949
75.29	c 16183
75.65	o 45953
75.65	c 16179
75.84	o 45957
75.84	c 16175
76.06	o 45959
76.06	c 16173
76.30	o 45960
76.30	c 16172
76.68	o 45963
76.68	c 16169
76.93	o 45968
76.93	c 16164
77.13	o 45975
77.13	c 16157
77.27	o 45978
77.27	c 16154
77.58	o 45979
77.58	c 16153
78.05	o 45986
78.05	c 16146
78.17	o 46003
78.17	c 16129
78.33	o 46009
78.33	c 16123
78.46	o 46011
78.46	c 16121
78.58	o 46014
78.58	c 16118
78.75	o 46018
78.75	c 16114
78.95	o 46031
78.95	c 16101
79.11	o 46037
79.11	c 16095
79.28	o 46041
79.28	c 16091
79.46	o 46045
79.46	c 16087
79.62	o 46054
79.62	c 16078
79.77	o 46057
79.77	c 16075
79.99	o 46066
79.99	c 16066
80.81	o 46070
80.81	c 16062
81.03	o 46082
81.03	c 16050
81.21	o 46089
81.21	c 16043
81.37	o 46091
81.37	c 16041
81.62	o 46094
81.62	c 16038
81.77	o 46097
81.77	c 16035
82.15	o 46100
82.15	c 16032
82.25	o 46104
82.25	c 16028
82.42	o 46106
82.42	c 16026
82.60	o 46116
82.60	c 16016
82.81	o 46122
82.81	c 16010
83.00	o 46128
83.00	c 16004
83.17	o 46133
83.17	c 15999
83.92	o 46137
83.92	c 15995
84.10	o 46142
84.10	c 15990
84.20	o 46146
84.20	c 15986
84.33	o 46157
84.33	c 15975
84.49	o 46159
84.49	c 15973
84.62	o 46169
84.62	c 15963
84.76	o 46170
84.76	c 15962
84.89	o 46175
84.90	c 15957
85.01	o 46178
85.01	c 15954
85.14	o 46180
85.14	c 15952
85.32	o 46183
85.32	c 15949
85.49	o 46190
85.49	c 15942
85.65	o 46191
85.65	c 15941
85.82	o 46198
85.82	c 15934
86.00	o 46205
86.00	c 15927
86.17	o 46214
86.17	c 15918
86.36	o 46221
86.36	c 15911
86.52	o 46222
86.52	c 15910
86.72	o 46224
86.72	c 15908
87.20	o 46225
87.20	c 15907
87.37	o 46233
87.37	c 15899
87.51	o 46237
87.51	c 15895
87.72	o 46240
87.72	c 15892
87.95	o 46245
87.95	c 15887
88.25	o 46256
88.25	c 15876
88.47	o 46266
88.47	c 15866
88.92	o 46270
88.92	c 15862
89.15	o 46277
89.15	c 15855
89.36	o 46292
89.36	c 15840
89.50	o 46299
89.50	c 15833
89.72	o 46300
89.72	c 15832
89.89	o 46309
89.89	c 15823
90.21	o 46310
90.21	c 15822
90.46	o 46321
90.46	c 15811
90.79	o 46325
90.79	c 15807
91.48	o 46339
91.48	c 15793
92.11	o 46342
92.11	c 15790
92.82	o 46345
92.82	c 15787
93.44	o 46353
93.44	c 15779
93.77	o 46373
93.77	c 15759
94.12	o 46378
94.12	c 15754
94.44	o 46381
94.44	c 15751
94.77	o 46387
94.77	c 15745
95.10	o 46399
95.10	c 15733
95.48	o 46405
95.48	c 15727
95.77	o 46412
95.77	c 15720
96.41	o 46416
96.41	c 15716
96.70	o 46420
96.70	c 15712
97.09	o 46431
97.09	c 15701
97.38	o 46435
97.38	c 15697
97.69	o 46437
97.69	c 15695
98.04	o 46444
98.04	c 15688
98.43	o 46449
98.43	c 15683
98.75	o 46452
98.75	c 15680
99.08	o 46464
99.08	c 15668
99.45	o 46465
99.45	c 15667
99.80	o 46468
99.80	c 15664
100.38	o 46474
100.38	c 15658
100.99	o 46480
100.99	c 15652
101.24	o 46482
101.24	c 15650
101.54	o 46490
101.54	c 15642
102.59	o 46498
102.59	c 15634
102.84	o 46504
102.84	c 15628
103.07	o 46513
103.07	c 15619
103.41	o 46519
103.41	c 15613
104.29	o 46523
104.29	c 15609
104.95	o 46527
104.95	c 15605
105.26	o 46528
105.26	c 15604
105.63	o 46537
105.63	c 15595
106.19	o 46543
106.19	c 15589
106.52	o 46550
106.52	c 15582
106.95	o 46553
106.95	c 15579
107.27	o 46557
107.27	c 15575
107.58	o 46558
107.58	c 15574
107.82	o 46559
107.82	c 15573
108.17	o 46560
108.17	c 15572
108.80	o 46563
108.80	c 15569
109.08	o 46575
109.08	c 15557
109.37	o 46586
109.37	c 15546
109.79	o 46592
109.79	c 15540
110.24	o 46594
110.24	c 15538
110.85	o 46601
110.85	c 15531
111.34	o 46609
111.34	c 15523
111.80	o 46612
111.80	c 15520
112.29	o 46623
112.29	c 15509
113.18	o 46626
113.18	c 15506
113.69	o 46633
113.69	c 15499
114.08	o 46636
114.08	c 15496
114.51	o 46637
114.51	c 15495
115.43	o 46641
115.43	c 15491
115.85	o 46651
115.85	c 15481
116.27	o 46660
116.27	c 15472
116.72	o 46667
116.72	c 15465
117.20	o 46676
117.20	c 15456
117.65	o 46680
117.65	c 15452
118.10	o 46691
118.10	c 15441
118.58	o 46694
118.58	c 15438
119.00	o 46697
119.00	c 15435
119.45	o 46700
119.45	c 15432
119.87	o 46703
119.87	c 15429
120.29	o 46706
120.29	c 15426
120.79	o 46722
120.79	c 15410
121.23	o 46727
121.23	c 15405
121.69	o 46728
121.69	c 15404
122.18	o 46734
122.18	c 15398
122.63	o 46742
122.63	c 15390
123.13	o 46747
123.13	c 15385
123.58	o 46751
123.58	c 15381
123.93	o 46756
123.93	c 15376
124.40	o 46763
124.40	c 15369
124.87	o 46770
124.87	c 15362
125.28	o 46774
125.28	c 15358
125.76	o 46784
125.76	c 15348
126.16	o 46786
126.16	c 15346
126.60	o 46793
126.60	c 15339
127.04	o 46801
127.04	c 15331
128.21	o 46811
128.21	c 15321
129.02	o 46824
129.02	c 15308
129.52	o 46827
129.52	c 15305
130.32	o 46838
130.32	c 15294
130.73	o 46842
130.73	c 15290
131.15	o 46848
131.15	c 15284
131.61	o 46849
131.61	c 15283
132.01	o 46853
132.01	c 15279
132.46	o 46860
132.46	c 15272
132.93	o 46866
132.93	c 15266
133.40	o 46872
133.40	c 15260
134.32	o 46879
134.32	c 15253
134.82	o 46882
134.82	c 15250
135.25	o 46887
135.25	c 15245
135.72	o 46888
135.72	c 15244
137.37	o 46891
137.37	c 15241
139.98	o 46903
139.98	c 15229
140.47	o 46904
140.47	c 15228
140.96	o 46906
140.96	c 15226
141.47	o 46915
141.47	c 15217
141.98	o 46920
141.98	c 15212
142.52	o 46921
142.52	c 15211
143.07	o 46923
143.07	c 15209
143.57	o 46925
143.57	c 15207
144.07	o 46934
144.07	c 15198
145.02	o 46943
145.02	c 15189
145.46	o 46950
145.46	c 15182
146.82	o 46952
146.82	c 15180
147.31	o 46960
147.31	c 15172
148.13	o 46965
148.13	c 15167
148.59	o 46977
148.59	c 15155
149.08	o 46989
149.08	c 15143
149.56	o 46995
149.56	c 15137
150.01	o 47003
150.01	c 15129
150.51	o 47006
150.51	c 15126
151.01	o 47010
151.01	c 15122
151.49	o 47018
151.49	c 15114
152.05	o 47021
152.05	c 15111
153.09	o 47035
153.09	c 15097
153.58	o 47044
153.58	c 15088
154.08	o 47053
154.08	c 15079
154.58	o 47058
154.58	c 15074
155.21	o 47066
155.21	c 15066
155.78	o 47067
155.78	c 15065
156.29	o 47074
156.29	c 15058
156.78	o 47081
156.78	c 15051
157.31	o 47087
157.31	c 15045
157.82	o 47092
157.82	c 15040
158.35	o 47097
158.35	c 15035
158.90	o 47102
158.90	c 15030
159.43	o 47106
159.43	c 15026
160.01	o 47108
160.01	c 15024
160.52	o 47110
160.52	c 15022
161.07	o 47112
161.07	c 15020
161.64	o 47113
161.64	c 15019
162.18	o 47114
162.18	c 15018
162.70	o 47122
162.70	c 15010
163.23	o 47133
163.23	c 14999
165.12	o 47135
165.12	c 14997
165.58	o 47137
165.58	c 14995
166.15	o 47140
166.15	c 14992
166.70	o 47145
166.70	c 14987
167.26	o 47158
167.26	c 14974
167.79	o 47167
167.79	c 14965
168.35	o 47169
168.35	c 14963
168.92	o 47183
168.92	c 14949
169.49	o 47185
169.49	c 14947
170.08	o 47190
170.08	c 14942
170.65	o 47195
170.65	c 14937
172.03	o 47207
172.03	c 14925
172.57	o 47213
172.57	c 14919
173.15	o 47222
173.15	c 14910
173.76	o 47225
173.76	c 14907
174.35	o 47226
174.35	c 14906
174.92	o 47233
174.92	c 14899
175.59	o 47238
175.59	c 14894
176.25	o 47248
176.25	c 14884
176.85	o 47260
176.85	c 14872
177.50	o 47262
177.50	c 14870
178.13	o 47270
178.13	c 14862
178.79	o 47274
178.79	c 14858
180.69	o 47277
180.69	c 14855
181.30	o 47278
181.30	c 14854
181.85	o 47286
181.85	c 14846
182.43	o 47293
182.43	c 14839
182.97	o 47301
182.97	c 14831
183.55	o 47303
183.55	c 14829
184.14	o 47310
184.14	c 14822
184.67	o 47319
184.67	c 14813
185.22	o 47323
185.22	c 14809
185.70	o 47329
185.70	c 14803
186.21	o 47335
186.21	c 14797
186.68	o 47348
186.68	c 14784
187.26	o 47354
187.26	c 14778
187.92	o 47364
187.92	c 14768
188.58	o 47375
188.58	c 14757
189.27	o 47384
189.27	c 14748
189.95	o 47392
189.95	c 14740
190.63	o 47400
190.63	c 14732
191.40	o 47408
191.40	c 14724
192.10	o 47414
192.10	c 14718
192.78	o 47420
192.78	c 14712
193.45	o 47426
193.45	c 14706
194.14	o 47428
194.14	c 14704
194.83	o 47431
194.83	c 14701
195.51	o 47437
195.51	c 14695
196.16	o 47445
196.16	c 14687
196.81	o 47450
196.81	c 14682
197.43	o 47453
197.43	c 14679
198.12	o 47457
198.12	c 14675
198.73	o 47461
198.73	c 14671
199.35	o 47464
199.35	c 14668
199.97	o 47467
199.97	c 14665
200.65	o 47470
200.65	c 14662
201.27	o 47473
201.27	c 14659
201.89	o 47481
201.89	c 14651
202.48	o 47483
202.48	c 14649
203.04	o 47490
203.04	c 14642
203.69	o 47492
203.69	c 14640
204.25	o 47494
204.25	c 14638
205.94	o 47502
205.94	c 14630
206.54	o 47503
206.54	c 14629
207.17	o 47509
207.17	c 14623
208.36	o 47510
208.36	c 14622
208.88	o 47512
208.88	c 14620
209.43	o 47514
209.43	c 14618
209.94	o 47515
209.94	c 14617
210.55	o 47521
210.55	c 14611
211.16	o 47522
211.16	c 14610
211.78	o 47523
211.78	c 14609
213.38	o 47524
213.38	c 14608
214.05	o 47532
214.05	c 14600
215.07	o 47535
215.07	c 14597
215.58	o 47539
215.58	c 14593
216.18	o 47543
216.18	c 14589
217.35	o 47553
217.35	c 14579
217.94	o 47554
217.94	c 14578
219.21	o 47560
219.21	c 14572
219.80	o 47563
219.80	c 14569
220.38	o 47572
220.38	c 14560
221.03	o 47581
221.03	c 14551
224.02	o 47586
224.02	c 14546
224.55	o 47593
224.55	c 14539
225.14	o 47598
225.15	c 14534
225.98	o 47605
225.98	c 14527
226.73	o 47608
226.73	c 14524
227.41	o 47609
227.41	c 14523
228.10	o 47615
228.10	c 14517
228.75	o 47620
228.75	c 14512
229.34	o 47624
229.34	c 14508
230.00	o 47628
230.00	c 14504
230.73	o 47634
230.73	c 14498
231.45	o 47640
231.45	c 14492
232.16	o 47646
232.16	c 14486
232.87	o 47656
232.87	c 14476
233.60	o 47664
233.60	c 14468
234.30	o 47669
234.30	c 14463
235.02	o 47673
235.02	c 14459
235.70	o 47687
235.70	c 14445
236.41	o 47691
236.41	c 14441
237.09	o 47695
237.09	c 14437
237.80	o 47698
237.80	c 14434
238.52	o 47708
238.52	c 14424
239.23	o 47711
239.23	c 14421
239.92	o 47714
239.92	c 14418
240.59	o 47717
240.59	c 14415
241.22	o 47723
241.22	c 14409
241.88	o 47725
241.88	c 14407
242.50	o 47730
242.50	c 14402
243.17	o 47732
243.17	c 14400
243.86	o 47734
243.86	c 14398
244.58	o 47736
244.58	c 14396
245.24	o 47738
245.24	c 14394
245.94	o 47748
245.94	c 14384
246.59	o 47750
246.59	c 14382
247.26	o 47761
247.26	c 14371
247.94	o 47762
247.94	c 14370
248.60	o 47764
248.60	c 14368
249.31	o 47769
249.31	c 14363
249.99	o 47770
249.99	c 14362
251.24	o 47779
251.24	c 14353
251.88	o 47787
251.88	c 14345
252.61	o 47788
252.61	c 14344
253.27	o 47798
253.27	c 14334
253.91	o 47801
253.91	c 14331
254.53	o 47804
254.53	c 14328
255.20	o 47805
255.20	c 14327
255.87	o 47807
255.87	c 14325
256.50	o 47810
256.50	c 14322
257.19	o 47812
257.19	c 14320
257.88	o 47823
257.88	c 14309
258.51	o 47832
258.51	c 14300
259.18	o 47834
259.18	c 14298
260.48	o 47835
260.48	c 14297
261.12	o 47841
261.12	c 14291
261.81	o 47844
261.81	c 14288
262.46	o 47855
262.46	c 14277
263.10	o 47864
263.10	c 14268
263.79	o 47867
263.79	c 14265
264.47	o 47871
264.47	c 14261
265.93	o 47873
265.93	c 14259
270.39	o 47878
270.39	c 14254
271.14	o 47888
271.14	c 14244
273.25	o 47890
273.25	c 14242
273.86	o 47892
273.86	c 14240
274.60	o 47895
274.60	c 14237
275.32	o 47908
275.32	c 14224
276.01	o 47919
276.01	c 14213
276.72	o 47924
276.72	c 14208
277.43	o 47929
277.43	c 14203
278.16	o 47940
278.16	c 14192
278.89	o 47942
278.89	c 14190
279.61	o 47946
279.61	c 14186
280.28	o 47947
280.28	c 14185
280.95	o 47948
280.95	c 14184
281.64	o 47956
281.64	c 14176
282.33	o 47963
282.33	c 14169
282.99	o 47964
282.99	c 14168
283.68	o 47968
283.68	c 14164
285.20	o 47974
285.20	c 14158
285.86	o 47978
285.86	c 14154
287.92	o 47984
287.92	c 14148
288.64	o 47991
288.64	c 14141
289.36	o 48000
289.36	c 14132
290.03	o 48006
290.03	c 14126
290.75	o 48010
290.75	c 14122
291.95	o 48015
291.95	c 14117
292.63	o 48027
292.63	c 14105
293.28	o 48033
293.28	c 14099
293.96	o 48040
293.96	c 14092
294.65	o 48046
294.65	c 14086
295.33	o 48052
295.33	c 14080
296.06	o 48057
296.06	c 14075
296.78	o 48062
296.78	c 14070
297.49	o 48067
297.49	c 14065
298.20	o 48072
298.20	c 14060
298.91	o 48077
298.91	c 14055
299.66	o 48081
299.66	c 14051
300.42	o 48084
300.42	c 14048
301.23	o 48090
301.23	c 14042
301.89	o 48095
301.89	c 14037
302.63	o 48099
302.63	c 14033
303.32	o 48102
303.32	c 14030
304.03	o 48105
304.03	c 14027
304.76	o 48108
304.76	c 14024
305.46	o 48111
305.46	c 14021
306.17	o 48114
306.17	c 14018
306.92	o 48117
306.92	c 14015
307.72	o 48120
307.72	c 14012
308.45	o 48122
308.45	c 14010
309.19	o 48124
309.19	c 14008
309.95	o 48125
309.95	c 14007
310.73	o 48126
310.73	c 14006
313.97	o 48128
313.97	c 14004
314.79	o 48135
314.79	c 13997
315.66	o 48138
315.66	c 13994
316.43	o 48144
316.43	c 13988
318.08	o 48146
318.08	c 13986
318.91	o 48159
318.91	c 13973
320.46	o 48160
320.46	c 13972
321.19	o 48163
321.19	c 13969
322.03	o 48168
322.03	c 13964
322.81	o 48173
322.81	c 13959
323.61	o 48175
323.61	c 13957
324.44	o 48181
324.44	c 13951
326.11	o 48188
326.11	c 13944
326.89	o 48196
326.89	c 13936
327.63	o 48203
327.63	c 13929
335.73	o 48210
335.73	c 13922
336.45	o 48222
336.45	c 13910
337.23	o 48224
337.23	c 13908
337.90	o 48230
337.90	c 13902
338.63	o 48238
338.63	c 13894
339.39	o 48239
339.39	c 13893
340.14	o 48241
340.14	c 13891
340.85	o 48246
340.85	c 13886
341.55	o 48254
341.55	c 13878
342.99	o 48255
342.99	c 13877
343.85	o 48262
343.85	c 13870
344.57	o 48270
344.57	c 13862
345.28	o 48273
345.28	c 13859
345.94	o 48280
345.94	c 13852
346.67	o 48281
346.67	c 13851
347.33	o 48283
347.33	c 13849
348.84	o 48285
348.84	c 13847
349.52	o 48295
349.52	c 13837
350.20	o 48296
350.20	c 13836
350.87	o 48297
350.87	c 13835
351.59	o 48302
351.59	c 13830
352.33	o 48307
352.33	c 13825
353.02	o 48308
353.02	c 13824
354.43	o 48312
354.43	c 13820
355.18	o 48318
355.18	c 13814
355.91	o 48324
355.91	c 13808
356.68	o 48329
356.68	c 13803
357.41	o 48331
357.41	c 13801
358.21	o 48343
358.21	c 13789
358.95	o 48346
358.95	c 13786
360.51	o 48352
360.51	c 13780
361.24	o 48355
361.24	c 13777
361.99	o 48364
361.99	c 13768
363.60	o 48369
363.60	c 13763
365.81	o 48379
365.81	c 13753
366.57	o 48381
366.57	c 13751
367.39	o 48388
367.39	c 13744
368.09	o 48391
368.09	c 13741
368.85	o 48400
368.85	c 13732
369.63	o 48408
369.63	c 13724
370.45	o 48416
370.45	c 13716
371.23	o 48418
371.23	c 13714
372.02	o 48421
372.02	c 13711
372.77	o 48424
372.77	c 13708
373.55	o 48426
373.55	c 13706
374.41	o 48427
374.41	c 13705
375.22	o 48436
375.22	c 13696
376.08	o 48437
376.08	c 13695
376.92	o 48438
376.92	c 13694
381.19	o 48442
381.19	c 13690
382.10	o 48447
382.10	c 13685
383.01	o 48450
383.01	c 13682
383.94	o 48456
383.94	c 13676
384.84	o 48466
384.84	c 13666
385.83	o 48470
385.83	c 13662
389.77	o 48472
389.77	c 13660
390.84	o 48474
390.84	c 13658
391.82	o 48482
391.82	c 13650
392.84	o 48485
392.84	c 13647
393.83	o 48487
393.83	c 13645
394.79	o 48489
394.79	c 13643
396.71	o 48492
396.71	c 13640
397.63	o 48496
397.63	c 13636
398.60	o 48502
398.60	c 13630
401.38	o 48506
401.38	c 13626
402.30	o 48512
402.30	c 13620
403.15	o 48521
403.15	c 13611
404.93	o 48529
404.93	c 13603
405.82	o 48534
405.82	c 13598
407.56	o 48536
407.56	c 13596
408.40	o 48542
408.40	c 13590
409.33	o 48549
409.33	c 13583
410.21	o 48559
410.21	c 13573
411.14	o 48564
411.14	c 13568
412.08	o 48566
412.08	c 13566
413.00	o 48575
413.00	c 13557
413.70	o 48584
413.70	c 13548
414.57	o 48588
414.57	c 13544
415.47	o 48592
415.47	c 13540
416.37	o 48598
416.37	c 13534
417.24	o 48602
417.24	c 13530
418.08	o 48603
418.08	c 13529
418.95	o 48608
418.95	c 13524
419.80	o 48609
419.80	c 13523
421.36	o 48619
421.36	c 13513
422.20	o 48623
422.20	c 13509
423.04	o 48624
423.04	c 13508
423.91	o 48625
423.91	c 13507
424.71	o 48631
424.71	c 13501
425.54	o 48637
425.54	c 13495
428.81	o 48638
428.81	c 13494
429.46	o 48642
429.46	c 13490
430.24	o 48645
430.24	c 13487
431.11	o 48648
431.11	c 13484
431.99	o 48653
431.99	c 13479
433.66	o 48661
433.66	c 13471
434.53	o 48663
434.53	c 13469
436.26	o 48664
436.26	c 13468
437.11	o 48670
437.11	c 13462
437.98	o 48673
437.98	c 13459
438.88	o 48677
438.88	c 13455
439.76	o 48685
439.76	c 13447
440.55	o 48687
440.55	c 13445
442.24	o 48688
442.24	c 13444
443.03	o 48692
443.03	c 13440
448.87	o 48695
448.87	c 13437
450.48	o 48698
450.48	c 13434
451.29	o 48705
451.29	c 13427
452.13	o 48707
452.13	c 13425
452.96	o 48716
452.96	c 13416
453.72	o 48718
453.72	c 13414
454.48	o 48725
454.48	c 13407
455.32	o 48726
455.32	c 13406
456.17	o 48731
456.17	c 13401
456.95	o 48737
456.95	c 13395
457.68	o 48740
457.68	c 13392
458.39	o 48742
458.39	c 13390
459.14	o 48747
459.14	c 13385
459.89	o 48753
459.89	c 13379
460.58	o 48757
460.58	c 13375
461.32	o 48760
461.32	c 13372
462.15	o 48764
462.15	c 13368
462.94	o 48770
462.94	c 13362
463.76	o 48776
463.76	c 13356
464.45	o 48779
464.45	c 13353
465.17	o 48782
465.17	c 13350
465.88	o 48785
465.88	c 13347
466.62	o 48788
466.62	c 13344
467.35	o 48791
467.35	c 13341
468.11	o 48792
468.11	c 13340
468.96	o 48794
468.96	c 13338
469.77	o 48795
469.77	c 13337
471.25	o 48798
471.25	c 13334
472.01	o 48802
472.01	c 13330
472.79	o 48807
472.79	c 13325
474.36	o 48808
474.36	c 13324
475.28	o 48811
475.28	c 13321
476.16	o 48814
476.16	c 13318
477.10	o 48817
477.10	c 13315
479.81	o 48819
479.81	c 13313
480.71	o 48827
480.71	c 13305
481.61	o 48832
481.61	c 13300
482.49	o 48840
482.49	c 13292
483.33	o 48845
483.33	c 13287
484.14	o 48847
484.14	c 13285
484.99	o 48848
484.99	c 13284
487.56	o 48854
487.56	c 13278
488.47	o 48861
488.47	c 13271
489.34	o 48867
489.34	c 13265
490.19	o 48869
490.19	c 13263
491.16	o 48870
491.16	c 13262
492.04	o 48872
492.04	c 13260
492.95	o 48874
492.95	c 13258
493.85	o 48884
493.85	c 13248
494.72	o 48890
494.72	c 13242
495.59	o 48897
495.59	c 13235
496.39	o 48901
496.39	c 13231
497.19	o 48909
497.19	c 13223
497.99	o 48913
497.99	c 13219
498.79	o 48919
498.79	c 13213
499.66	o 48922
499.66	c 13210
500.44	o 48925
500.44	c 13207
502.07	o 48933
502.07	c 13199
503.73	o 48937
503.73	c 13195
506.04	o 48940
506.04	c 13192
506.82	o 48949
506.82	c 13183
508.92	o 48959
508.92	c 13173
509.58	o 48963
509.58	c 13169
511.02	o 48965
511.02	c 13167
511.73	o 48969
511.73	c 13163
512.42	o 48976
512.42	c 13156
513.83	o 48979
513.83	c 13153
517.33	o 48985
517.33	c 13147
519.36	o 48987
519.36	c 13145
520.01	o 48994
520.01	c 13138
520.71	o 49001
520.71	c 13131
521.40	o 49004
521.40	c 13128
522.88	o 49008
522.88	c 13124
525.13	o 49010
525.13	c 13122
529.79	o 49013
529.79	c 13119
530.59	o 49017
530.59	c 13115
531.39	o 49021
531.39	c 13111
532.18	o 49022
532.18	c 13110
533.02	o 49024
533.02	c 13108
533.89	o 49029
533.89	c 13103
534.66	o 49031
534.66	c 13101
535.46	o 49036
535.46	c 13096
537.83	o 49041
537.83	c 13091
538.58	o 49043
538.58	c 13089
541.09	o 49046
541.09	c 13086
543.66	o 49052
543.66	c 13080
544.54	o 49056
544.54	c 13076
545.36	o 49059
545.36	c 13073
546.19	o 49060
546.19	c 13072
547.07	o 49062
547.07	c 13070
548.07	o 49064
548.07	c 13068
549.01	o 49065
549.01	c 13067
553.25	o 49069
553.25	c 13063
554.21	o 49073
554.21	c 13059
555.22	o 49078
555.22	c 13054
556.11	o 49079
556.11	c 13053
556.96	o 49083
556.96	c 13049
557.81	o 49096
557.81	c 13036
558.70	o 49097
558.70	c 13035
559.59	o 49098
559.59	c 13034
560.63	o 49099
560.63	c 13033
563.70	o 49101
563.70	c 13031
564.79	o 49106
564.79	c 13026
565.82	o 49112
565.82	c 13020
568.89	o 49118
568.89	c 13014
569.88	o 49119
569.88	c 13013
570.94	o 49120
570.94	c 13012
572.01	o 49125
572.01	c 13007
573.07	o 49130
573.07	c 13002
574.10	o 49137
574.10	c 12995
575.13	o 49138
575.13	c 12994
576.12	o 49142
576.12	c 12990
577.10	o 49152
577.10	c 12980
579.16	o 49154
579.16	c 12978
582.16	o 49155
582.16	c 12977
583.20	o 49161
583.20	c 12971
584.23	o 49162
584.23	c 12970
586.40	o 49169
586.40	c 12963
587.46	o 49175
587.46	c 12957
588.47	o 49177
588.47	c 12955
589.43	o 49183
589.43	c 12949
590.42	o 49189
590.42	c 12943
591.41	o 49197
591.41	c 12935
592.30	o 49201
592.30	c 12931
593.27	o 49202
593.27	c 12930
594.32	o 49209
594.32	c 12923
595.31	o 49211
595.31	c 12921
597.31	o 49216
597.31	c 12916
599.22	o 49220
599.22	c 12912
600.20	o 49225
600.20	c 12907
601.13	o 49230
601.13	c 12902
602.27	o 49236
602.27	c 12896
603.34	o 49246
603.34	c 12886
604.31	o 49249
604.31	c 12883
605.36	o 49251
605.36	c 12881
606.20	o 49260
606.20	c 12872
607.06	o 49264
607.06	c 12868
608.04	o 49265
608.04	c 12867
609.61	o 49272
609.61	c 12860
610.53	o 49275
610.53	c 12857
614.09	o 49282
614.09	c 12850
615.01	o 49285
615.01	c 12847
616.83	o 49288
616.83	c 12844
617.75	o 49293
617.75	c 12839
619.55	o 49294
619.55	c 12838
621.39	o 49299
621.39	c 12833
623.10	o 49300
623.10	c 12832
624.01	o 49302
624.01	c 12830
624.91	o 49307
624.91	c 12825
625.77	o 49310
625.77	c 12822
626.71	o 49312
626.71	c 12820
627.63	o 49314
627.63	c 12818
628.59	o 49316
628.59	c 12816
629.53	o 49317
629.53	c 12815
630.45	o 49318
630.45	c 12814
631.41	o 49320
631.41	c 12812
632.31	o 49322
632.31	c 12810
633.26	o 49326
633.26	c 12806
634.25	o 49329
634.25	c 12803
635.14	o 49334
635.14	c 12798
636.14	o 49349
636.14	c 12783
637.11	o 49358
637.11	c 12774
638.10	o 49364
638.10	c 12768
639.05	o 49366
639.05	c 12766
640.13	o 49370
640.13	c 12762
641.11	o 49371
641.11	c 12761
642.11	o 49380
642.11	c 12752
643.06	o 49381
643.06	c 12751
645.02	o 49384
645.02	c 12748
645.99	o 49386
645.99	c 12746
646.96	o 49393
646.96	c 12739
647.92	o 49398
647.92	c 12734
648.81	o 49409
648.81	c 12723
649.72	o 49410
649.72	c 12722
650.63	o 49412
650.63	c 12720
651.56	o 49421
651.56	c 12711
652.42	o 49422
652.42	c 12710
653.33	o 49423
653.33	c 12709
656.01	o 49425
656.01	c 12707
656.90	o 49427
656.90	c 12705
657.76	o 49431
657.76	c 12701
658.63	o 49441
658.63	c 12691
659.44	o 49449
659.44	c 12683
660.38	o 49453
660.38	c 12679
662.20	o 49462
662.20	c 12670
663.09	o 49470
663.09	c 12662
663.99	o 49472
663.99	c 12660
664.87	o 49474
664.87	c 12658
665.83	o 49477
665.83	c 12655
666.85	o 49481
666.85	c 12651
668.75	o 49485
668.75	c 12647
669.75	o 49487
669.75	c 12645
670.79	o 49495
670.79	c 12637
671.83	o 49497
671.83	c 12635
672.80	o 49500
672.80	c 12632
673.83	o 49503
673.83	c 12629
674.82	o 49506
674.82	c 12626
675.81	o 49509
675.81	c 12623
683.90	o 49517
683.90	c 12615
684.95	o 49520
684.95	c 12612
686.01	o 49521
686.01	c 12611
687.05	o 49527
687.05	c 12605
688.15	o 49529
688.15	c 12603
689.21	o 49539
689.21	c 12593
690.21	o 49543
690.21	c 12589
691.29	o 49550
691.29	c 12582
692.33	o 49554
692.33	c 12578
693.47	o 49557
693.47	c 12575
694.57	o 49563
694.57	c 12569
695.65	o 49565
695.65	c 12567
696.69	o 49578
696.69	c 12554
698.76	o 49579
698.76	c 12553
701.99	o 49583
701.99	c 12549
703.11	o 49588
703.11	c 12544
705.28	o 49589
705.28	c 12543
707.45	o 49595
707.46	c 12537
708.59	o 49601
708.59	c 12531
709.73	o 49603
709.73	c 12529
710.79	o 49605
710.79	c 12527
711.86	o 49610
711.86	c 12522
713.83	o 49616
713.83	c 12516
714.85	o 49621
714.85	c 12511
715.82	o 49631
715.82	c 12501
716.83	o 49633
716.83	c 12499
717.84	o 49638
717.84	c 12494
718.80	o 49641
718.80	c 12491
719.79	o 49643
719.79	c 12489
720.74	o 49651
720.74	c 12481
722.75	o 49654
722.75	c 12478
723.67	o 49663
723.67	c 12469
724.63	o 49666
724.63	c 12466
725.61	o 49672
725.61	c 12460
727.57	o 49677
727.57	c 12455
728.55	o 49688
728.55	c 12444
729.56	o 49695
729.56	c 12437
730.49	o 49696
730.49	c 12436
732.93	o 49703
732.93	c 12429
733.87	o 49705
733.87	c 12427
736.64	o 49709
736.64	c 12423
738.41	o 49713
738.41	c 12419
741.62	o 49714
741.62	c 12418
743.31	o 49715
743.31	c 12417
744.18	o 49724
744.18	c 12408
745.06	o 49727
745.06	c 12405
745.90	o 49730
745.90	c 12402
746.77	o 49736
746.77	c 12396
747.65	o 49743
747.65	c 12389
748.54	o 49746
748.54	c 12386
749.42	o 49750
749.42	c 12382
750.29	o 49754
750.29	c 12378
752.10	o 49758
752.10	c 12374
753.01	o 49761
753.01	c 12371
753.92	o 49766
753.92	c 12366
754.85	o 49773
754.85	c 12359
755.76	o 49784
755.76	c 12348
756.67	o 49786
756.67	c 12346
757.66	o 49788
757.66	c 12344
758.53	o 49791
758.53	c 12341
759.40	o 49798
759.40	c 12334
760.30	o 49799
760.30	c 12333
761.16	o 49807
761.16	c 12325
762.10	o 49811
762.10	c 12321
763.01	o 49813
763.01	c 12319
763.95	o 49814
763.95	c 12318
764.87	o 49818
764.87	c 12314
766.77	o 49824
766.77	c 12308
767.70	o 49827
767.70	c 12305
769.64	o 49830
769.64	c 12302
770.75	o 49834
770.75	c 12298
771.57	o 49836
771.57	c 12296
772.51	o 49841
772.51	c 12291
773.40	o 49846
773.40	c 12286
774.29	o 49850
774.29	c 12282
775.16	o 49859
775.16	c 12273
776.12	o 49867
776.12	c 12265
777.10	o 49874
777.10	c 12258
778.05	o 49880
778.05	c 12252
779.01	o 49883
779.01	c 12249
780.00	o 49889
780.00	c 12243
780.97	o 49894
780.97	c 12238
784.74	o 49904
784.74	c 12228
786.90	o 49908
786.90	c 12224
787.94	o 49911
787.94	c 12221
791.11	o 49913
791.11	c 12219
792.16	o 49924
792.16	c 12208
793.24	o 49931
793.24	c 12201
794.27	o 49933
794.27	c 12199
796.30	o 49937
796.30	c 12195
797.26	o 49939
797.26	c 12193
798.25	o 49946
798.25	c 12186
799.27	o 49948
799.27	c 12184
800.25	o 49953
800.25	c 12179
801.29	o 49966
801.29	c 12166
802.38	o 49968
802.38	c 12164
803.47	o 49973
803.47	c 12159
807.55	o 49977
807.55	c 12155
809.77	o 49985
809.77	c 12147
811.89	o 49987
811.89	c 12145
812.99	o 49990
812.99	c 12142
814.05	o 49997
814.05	c 12135
815.08	o 50008
815.08	c 12124
816.15	o 50013
816.15	c 12119
817.14	o 50014
817.14	c 12118
819.21	o 50020
819.21	c 12112
820.37	o 50023
820.37	c 12109
821.44	o 50027
821.44	c 12105
822.45	o 50028
822.45	c 12104
825.70	o 50029
825.70	c 12103
826.79	o 50039
826.79	c 12093
832.25	o 50042
832.25	c 12090
833.36	o 50045
833.36	c 12087
837.81	o 50055
837.81	c 12077
838.97	o 50059
838.97	c 12073
840.13	o 50060
840.13	c 12072
841.26	o 50062
841.26	c 12070
843.53	o 50067
843.53	c 12065
844.65	o 50069
844.65	c 12063
845.79	o 50074
845.79	c 12058
846.92	o 50080
846.92	c 12052
848.07	o 50083
848.07	c 12049
848.90	o 50090
848.90	c 12042
850.04	o 50095
850.04	c 12037
851.16	o 50101
851.16	c 12031
852.22	o 50107
852.22	c 12025
854.45	o 50114
854.45	c 12018
855.57	o 50118
855.57	c 12014
856.71	o 50121
856.71	c 12011
857.89	o 50130
857.89	c 12002
859.08	o 50131
859.08	c 12001
860.23	o 50134
860.23	c 11998
861.35	o 50136
861.35	c 11996
862.53	o 50143
862.53	c 11989
863.76	o 50146
863.76	c 11986
864.99	o 50151
864.99	c 11981
866.19	o 50153
866.19	c 11979
867.38	o 50156
867.38	c 11976
868.54	o 50165
868.54	c 11967
869.68	o 50171
869.68	c 11961
874.39	o 50172
874.39	c 11960
875.59	o 50176
875.59	c 11956
876.78	o 50181
876.78	c 11951
877.93	o 50183
877.93	c 11949
879.07	o 50187
879.07	c 11945
880.25	o 50190
880.25	c 11942
881.43	o 50194
881.43	c 11938
883.78	o 50196
883.78	c 11936
884.96	o 50198
884.96	c 11934
887.23	o 50200
887.23	c 11932
890.69	o 50208
890.69	c 11924
891.86	o 50214
891.86	c 11918
894.13	o 50215
894.13	c 11917
895.25	o 50218
895.25	c 11914
896.33	o 50226
896.33	c 11906
897.49	o 50232
897.49	c 11900
898.64	o 50238
898.64	c 11894
899.75	o 50242
899.75	c 11890
902.16	o 50248
902.16	c 11884
903.40	o 50254
903.40	c 11878
904.58	o 50257
904.58	c 11875
905.79	o 50263
905.79	c 11869
906.99	o 50269
906.99	c 11863
908.18	o 50280
908.18	c 11852
909.42	o 50281
909.42	c 11851
911.88	o 50282
911.88	c 11850
913.04	o 50283
913.04	c 11849
914.20	o 50285
914.20	c 11847
915.48	o 50287
915.48	c 11845
917.84	o 50292
917.84	c 11840
918.88	o 50301
918.88	c 11831
920.01	o 50304
920.01	c 11828
921.17	o 50306
921.17	c 11826
923.42	o 50307
923.42	c 11825
924.59	o 50308
924.59	c 11824
925.81	o 50315
925.81	c 11817
930.42	o 50316
930.42	c 11816
931.57	o 50321
931.57	c 11811
932.75	o 50323
932.75	c 11809
933.88	o 50324
933.88	c 11808
935.03	o 50334
935.03	c 11798
936.09	o 50336
936.09	c 11796
937.26	o 50341
937.26	c 11791
938.40	o 50345
938.40	c 11787
939.52	o 50351
939.52	c 11781
940.63	o 50352
940.63	c 11780
941.77	o 50357
941.77	c 11775
942.90	o 50359
942.90	c 11773
944.09	o 50361
944.09	c 11771
945.18	o 50366
945.18	c 11766
946.29	o 50367
946.29	c 11765
947.40	o 50371
947.40	c 11761
948.52	o 50374
948.52	c 11758
949.64	o 50376
949.64	c 11756
952.89	o 50379
952.89	c 11753
953.99	o 50386
953.99	c 11746
955.15	o 50388
955.15	c 11744
957.30	o 50389
957.30	c 11743
958.34	o 50394
958.34	c 11738
959.43	o 50398
959.43	c 11734
961.64	o 50402
961.64	c 11730
962.80	o 50407
962.80	c 11725
963.87	o 50410
963.87	c 11722
964.98	o 50416
964.98	c 11716
969.26	o 50417
969.26	c 11715
970.45	o 50422
970.45	c 11710
971.58	o 50425
971.58	c 11707
972.77	o 50435
972.77	c 11697
973.71	o 50438
973.71	c 11694
975.65	o 50445
975.65	c 11687
976.75	o 50456
976.75	c 11676
977.88	o 50458
977.88	c 11674
978.92	o 50461
978.92	c 11671
980.05	o 50462
980.05	c 11670
982.18	o 50466
982.18	c 11666
983.25	o 50473
983.25	c 11659
984.33	o 50478
984.33	c 11654
985.34	o 50485
985.34	c 11647
986.45	o 50493
986.45	c 11639
990.78	o 50495
990.78	c 11637
991.79	o 50497
991.79	c 11635
993.98	o 50501
993.98	c 11631
995.05	o 50504
995.05	c 11628
996.11	o 50508
996.11	c 11624
997.12	o 50514
997.12	c 11618
998.14	o 50515
998.14	c 11617
999.20	o 50516
999.20	c 11616
1000.25	o 50519
1000.25	c 11613
1001.31	o 50523
1001.31	c 11609
1003.37	o 50530
1003.37	c 11602
1005.46	o 50534
1005.46	c 11598
1006.58	o 50540
1006.58	c 11592
1007.68	o 50543
1007.68	c 11589
1008.80	o 50548
1008.80	c 11584
1011.05	o 50550
1011.05	c 11582
1013.34	o 50553
1013.34	c 11579
1014.49	o 50564
1014.49	c 11568
1015.65	o 50566
1015.65	c 11566
1016.80	o 50573
1016.80	c 11559
1017.98	o 50583
1017.98	c 11549
1019.15	o 50588
1019.15	c 11544
1020.25	o 50592
1020.25	c 11540
1021.45	o 50596
1021.45	c 11536
1024.82	o 50599
1024.82	c 11533
1027.02	o 50609
1027.02	c 11523
1028.21	o 50616
1028.21	c 11516
1029.32	o 50619
1029.32	c 11513
1030.49	o 50622
1030.49	c 11510
1031.67	o 50624
1031.67	c 11508
1035.16	o 50627
1035.16	c 11505
1036.27	o 50633
1036.27	c 11499
1037.51	o 50639
1037.51	c 11493
1039.77	o 50650
1039.77	c 11482
1040.95	o 50661
1040.95	c 11471
1042.05	o 50664
1042.05	c 11468
1043.21	o 50666
1043.21	c 11466
1044.38	o 50668
1044.38	c 11464
1045.58	o 50670
1045.58	c 11462
1051.02	o 50671
1051.03	c 11461
1052.21	o 50677
1052.21	c 11455
1053.28	o 50678
1053.28	c 11454
1055.50	o 50686
1055.50	c 11446
1057.76	o 50688
1057.76	c 11444
1058.84	o 50695
1058.84	c 11437
1061.01	o 50701
1061.01	c 11431
1063.26	o 50703
1063.26	c 11429
1064.43	o 50707
1064.43	c 11425
1066.50	o 50708
1066.50	c 11424
1067.70	o 50716
1067.70	c 11416
1068.86	o 50725
1068.86	c 11407
1070.00	o 50728
1070.00	c 11404
1071.14	o 50736
1071.14	c 11396
1073.38	o 50737
1073.38	c 11395
1074.60	o 50739
1074.60	c 11393
1075.80	o 50750
1075.80	c 11382
1081.58	o 50751
1081.58	c 11381
1082.75	o 50756
1082.75	c 11376
1085.23	o 50761
1085.23	c 11371
1086.44	o 50763
1086.44	c 11369
1087.65	o 50769
1087.65	c 11363
1088.84	o 50772
1088.84	c 11360
1090.13	o 50777
1090.13	c 11355
1091.36	o 50778
1091.36	c 11354
1092.70	o 50780
1092.70	c 11352
1094.11	o 50788
1094.11	c 11344
1095.42	o 50797
1095.42	c 11335
1096.71	o 50798
1096.71	c 11334
1098.03	o 50805
1098.03	c 11327
1099.29	o 50811
1099.29	c 11321
1100.61	o 50818
1100.61	c 11314
1101.96	o 50823
1101.96	c 11309
1103.33	o 50826
1103.33	c 11306
1104.70	o 50829
1104.70	c 11303
1106.07	o 50830
1106.07	c 11302
1107.36	o 50832
1107.36	c 11300
1108.65	o 50837
1108.65	c 11295
1109.99	o 50845
1109.99	c 11287
1111.27	o 50850
1111.27	c 11282
1112.61	o 50856
1112.61	c 11276
1113.91	o 50859
1113.91	c 11273
1115.33	o 50860
1115.33	c 11272
1116.68	o 50869
1116.68	c 11263
1118.08	o 50875
1118.08	c 11257
1119.34	o 50883
1119.34	c 11249
1120.68	o 50885
1120.68	c 11247
1122.00	o 50889
1122.00	c 11243
1123.08	o 50898
1123.08	c 11234
1124.40	o 50905
1124.40	c 11227
1125.76	o 50912
1125.76	c 11220
1127.06	o 50917
1127.06	c 11215
1128.48	o 50924
1128.48	c 11208
1129.93	o 50925
1129.93	c 11207
1131.39	o 50928
1131.39	c 11204
1132.94	o 50934
1132.94	c 11198
1134.39	o 50944
1134.39	c 11188
1137.27	o 50948
1137.27	c 11184
1138.69	o 50958
1138.69	c 11174
1140.12	o 50962
1140.12	c 11170
1144.30	o 50964
1144.30	c 11168
1145.79	o 50966
1145.79	c 11166
1147.20	o 50970
1147.20	c 11162
1148.64	o 50973
1148.64	c 11159
1150.10	o 50974
1150.10	c 11158
1151.64	o 50982
1151.64	c 11150
1153.19	o 50984
1153.19	c 11148
1154.64	o 50985
1154.64	c 11147
1156.13	o 50990
1156.13	c 11142
1159.11	o 50995
1159.11	c 11137
1160.52	o 51002
1160.52	c 11130
1161.98	o 51008
1161.98	c 11124
1163.45	o 51016
1163.45	c 11116
1169.29	o 51018
1169.29	c 11114
1170.68	o 51024
1170.68	c 11108
1172.05	o 51027
1172.05	c 11105
1173.43	o 51030
1173.43	c 11102
1174.82	o 51038
1174.82	c 11094
1176.22	o 51044
1176.22	c 11088
1178.90	o 51046
1178.90	c 11086
1181.42	o 51047
1181.42	c 11085
1184.09	o 51056
1184.09	c 11076
1185.41	o 51060
1185.41	c 11072
1186.69	o 51065
1186.69	c 11067
1188.03	o 51067
1188.03	c 11065
1189.33	o 51074
1189.33	c 11058
1190.60	o 51079
1190.60	c 11053
1191.92	o 51081
1191.92	c 11051
1193.24	o 51083
1193.24	c 11049
1194.54	o 51088
1194.54	c 11044
1195.48	o 51097
1195.48	c 11035
1196.78	o 51101
1196.78	c 11031
1200.86	o 51103
1200.86	c 11029
1202.18	o 51108
1202.18	c 11024
1203.46	o 51116
1203.46	c 11016
1204.77	o 51124
1204.77	c 11008
1206.10	o 51129
1206.10	c 11003
1208.78	o 51131
1208.78	c 11001
1209.92	o 51138
1209.92	c 10994
1211.25	o 51142
1211.25	c 10990
1212.63	o 51144
1212.63	c 10988
1213.94	o 51146
1213.94	c 10986
1215.30	o 51148
1215.30	c 10984
1216.66	o 51151
1216.66	c 10981
1217.97	o 51153
1217.97	c 10979
1219.31	o 51158
1219.31	c 10974
1220.64	o 51161
1220.64	c 10971
1230.13	o 51164
1230.13	c 10968
1231.52	o 51171
1231.52	c 10961
1237.04	o 51177
1237.04	c 10955
1238.39	o 51183
1238.39	c 10949
1239.81	o 51184
1239.81	c 10948
1241.25	o 51185
1241.25	c 10947
1242.66	o 51192
1242.66	c 10940
1244.04	o 51193
1244.04	c 10939
1245.54	o 51196
1245.54	c 10936
1246.96	o 51199
1246.96	c 10933
1248.40	o 51200
1248.40	c 10932
1251.31	o 51201
1251.31	c 10931
1252.77	o 51205
1252.77	c 10927
1254.19	o 51207
1254.19	c 10925
1255.65	o 51214
1255.65	c 10918
1257.18	o 51219
1257.18	c 10913
1258.64	o 51222
1258.64	c 10910
1260.18	o 51224
1260.18	c 10908
1261.68	o 51226
1261.68	c 10906
1263.14	o 51228
1263.14	c 10904
1264.71	o 51229
1264.71	c 10903
1266.25	o 51231
1266.25	c 10901
1269.23	o 51232
1269.23	c 10900
1270.77	o 51238
1270.77	c 10894
1271.85	o 51242
1271.85	c 10890
1274.95	o 51243
1274.95	c 10889
1277.88	o 51247
1277.88	c 10885
1279.43	o 51249
1279.43	c 10883
1282.42	o 51250
1282.42	c 10882
1283.94	o 51254
1283.94	c 10878
1285.45	o 51261
1285.45	c 10871
1286.97	o 51267
1286.97	c 10865
1289.98	o 51269
1289.98	c 10863
1291.53	o 51277
1291.53	c 10855
1293.06	o 51280
1293.06	c 10852
1294.63	o 51283
1294.63	c 10849
1296.17	o 51287
1296.17	c 10845
1297.76	o 51289
1297.76	c 10843
1299.31	o 51291
1299.31	c 10841
1300.91	o 51298
1300.91	c 10834
1302.49	o 51300
1302.49	c 10832
1303.68	o 51306
1303.68	c 10826
1305.25	o 51307
1305.25	c 10825
1306.84	o 51313
1306.84	c 10819
1308.45	o 51314
1308.45	c 10818
1309.98	o 51323
1309.98	c 10809
1314.76	o 51327
1314.76	c 10805
1316.37	o 51329
1316.37	c 10803
1317.94	o 51331
1317.94	c 10801
1319.48	o 51344
1319.48	c 10788
1321.06	o 51351
1321.06	c 10781
1322.66	o 51354
1322.66	c 10778
1324.29	o 51361
1324.29	c 10771
1327.60	o 51366
1327.60	c 10766
1330.98	o 51368
1330.98	c 10764
1332.61	o 51371
1332.61	c 10761
1334.24	o 51372
1334.24	c 10760
1335.91	o 51377
1335.91	c 10755
1337.55	o 51379
1337.55	c 10753
1340.91	o 51387
1340.91	c 10745
1342.47	o 51398
1342.47	c 10734
1344.04	o 51403
1344.04	c 10729
1345.67	o 51410
1345.67	c 10722
1347.10	o 51413
1347.10	c 10719
1347.89	o 51420
1347.89	c 10712
1348.73	o 51422
1348.73	c 10710
1350.00	o 51428
1350.00	c 10704
1351.68	o 51429
1351.68	c 10703
1353.29	o 51435
1353.29	c 10697
1354.86	o 51436
1354.86	c 10696
1358.04	o 51440
1358.04	c 10692
1359.60	o 51444
1359.60	c 10688
1361.20	o 51446
1361.20	c 10686
1362.74	o 51451
1362.74	c 10681
1364.36	o 51455
1364.36	c 10677
1365.98	o 51461
1365.98	c 10671
1367.64	o 51468
1367.64	c 10664
1369.33	o 51469
1369.33	c 10663
1370.92	o 51474
1370.92	c 10658
1372.63	o 51478
1372.63	c 10654
1374.33	o 51481
1374.33	c 10651
1376.00	o 51484
1376.00	c 10648
1377.77	o 51486
1377.77	c 10646
1379.47	o 51488
1379.47	c 10644
1381.09	o 51496
1381.09	c 10636
1382.67	o 51505
1382.67	c 10627
1387.66	o 51507
1387.66	c 10625
1389.24	o 51511
1389.24	c 10621
1390.86	o 51512
1390.86	c 10620
1395.67	o 51513
1395.67	c 10619
1397.26	o 51521
1397.26	c 10611
1398.28	o 51528
1398.28	c 10604
1399.87	o 51534
1399.87	c 10598
1401.50	o 51536
1401.50	c 10596
1404.67	o 51540
1404.67	c 10592
1406.29	o 51546
1406.29	c 10586
1407.89	o 51552
1407.89	c 10580
1409.47	o 51556
1409.47	c 10576
1411.15	o 51566
1411.15	c 10566
1412.71	o 51573
1412.71	c 10559
1414.24	o 51578
1414.24	c 10554
1415.80	o 51581
1415.80	c 10551
1417.38	o 51586
1417.38	c 10546
1418.94	o 51587
1418.94	c 10545
1421.97	o 51591
1421.97	c 10541
1423.48	o 51593
1423.48	c 10539
1425.03	o 51598
1425.03	c 10534
1428.06	o 51601
1428.06	c 10531
1429.66	o 51604
1429.66	c 10528
1431.27	o 51605
1431.27	c 10527
1432.75	o 51606
1432.75	c 10526
1434.38	o 51613
1434.38	c 10519
1435.96	o 51616
1435.96	c 10516
1437.46	o 51620
1437.46	c 10512
1442.04	o 51622
1442.04	c 10510
1443.64	o 51624
1443.64	c 10508
1445.18	o 51626
1445.18	c 10506
1446.75	o 51627
1446.75	c 10505
1448.29	o 51633
1448.29	c 10499
1449.79	o 51644
1449.79	c 10488
1451.35	o 51652
1451.35	c 10480
1452.85	o 51653
1452.85	c 10479
1454.42	o 51664
1454.42	c 10468
1455.94	o 51665
1455.94	c 10467
1460.35	o 51667
1460.35	c 10465
1461.86	o 51671
1461.86	c 10461
1463.34	o 51679
1463.34	c 10453
1466.56	o 51681
1466.56	c 10451
1472.81	o 51684
1472.81	c 10448
1474.42	o 51687
1474.42	c 10445
1476.07	o 51690
1476.07	c 10442
1477.45	o 51696
1477.45	c 10436
1479.04	o 51704
1479.04	c 10428
1480.60	o 51706
1480.60	c 10426
1483.93	o 51712
1483.93	c 10420
1485.63	o 51714
1485.63	c 10418
1487.20	o 51715
1487.20	c 10417
1488.80	o 51722
1488.80	c 10410
1490.47	o 51730
1490.47	c 10402
1492.09	o 51733
1492.09	c 10399
1493.77	o 51734
1493.77	c 10398
1495.36	o 51742
1495.36	c 10390
1497.00	o 51744
1497.00	c 10388
1498.67	o 51745
1498.67	c 10387
1502.07	o 51756
1502.07	c 10376
1507.24	o 51759
1507.24	c 10373
1517.26	o 51764
1517.26	c 10368
1518.84	o 51765
1518.84	c 10367
1520.42	o 51767
1520.42	c 10365
1522.03	o 51775
1522.03	c 10357
1523.63	o 51780
1523.63	c 10352
1525.21	o 51786
1525.21	c 10346
1526.75	o 51787
1526.75	c 10345
1528.36	o 51788
1528.36	c 10344
1529.95	o 51789
1529.95	c 10343
1531.54	o 51792
1531.54	c 10340
1533.13	o 51797
1533.13	c 10335
1534.70	o 51803
1534.70	c 10329
1539.48	o 51804
1539.48	c 10328
1541.07	o 51806
1541.07	c 10326
1544.29	o 51812
1544.29	c 10320
1545.93	o 51813
1545.93	c 10319
1549.30	o 51816
1549.30	c 10316
1552.65	o 51817
1552.65	c 10315
1554.28	o 51826
1554.28	c 10306
1555.89	o 51834
1555.89	c 10298
1557.50	o 51840
1557.50	c 10292
1559.19	o 51841
1559.19	c 10291
1568.98	o 51844
1568.98	c 10288
1570.58	o 51849
1570.58	c 10283
1572.22	o 51853
1572.22	c 10279
1573.90	o 51854
1573.90	c 10278
1575.51	o 51859
1575.51	c 10273
1577.12	o 51863
1577.12	c 10269
1578.74	o 51871
1578.74	c 10261
1581.95	o 51872
1581.95	c 10260
1583.56	o 51873
1583.56	c 10259
1585.18	o 51876
1585.18	c 10256
1586.81	o 51877
1586.81	c 10255
1588.46	o 51881
1588.46	c 10251
1595.02	o 51884
1595.02	c 10248
1596.62	o 51891
1596.62	c 10241
1598.18	o 51893
1598.18	c 10239
1602.93	o 51899
1602.93	c 10233
1604.46	o 51902
1604.46	c 10230
1605.98	o 51909
1605.98	c 10223
1607.56	o 51910
1607.56	c 10222
1609.21	o 51913
1609.21	c 10219
1610.71	o 51916
1610.71	c 10216
1612.27	o 51925
1612.27	c 10207
1613.90	o 51928
1613.90	c 10204
1615.37	o 51936
1615.37	c 10196
1616.87	o 51942
1616.87	c 10190
1618.39	o 51946
1618.39	c 10186
1619.89	o 51951
1619.89	c 10181
1622.94	o 51953
1622.94	c 10179
1624.46	o 51955
1624.46	c 10177
1627.50	o 51960
1627.50	c 10172
1632.06	o 51966
1632.06	c 10166
1633.59	o 51969
1633.59	c 10163
1635.09	o 51975
1635.09	c 10157
1636.56	o 51978
1636.56	c 10154
1638.15	o 51982
1638.15	c 10150
1639.75	o 51991
1639.75	c 10141
1641.31	o 52005
1641.31	c 10127
1642.68	o 52009
1642.68	c 10123
1648.82	o 52010
1648.82	c 10122
1653.31	o 52012
1653.31	c 10120
1654.82	o 52016
1654.82	c 10116
1656.32	o 52022
1656.32	c 10110
1657.85	o 52033
1657.85	c 10099
1660.97	o 52040
1660.97	c 10092
1662.53	o 52042
1662.53	c 10090
1664.04	o 52044
1664.04	c 10088
1665.55	o 52047
1665.55	c 10085
1667.08	o 52054
1667.08	c 10078
1670.32	o 52063
1670.32	c 10069
1671.88	o 52064
1671.88	c 10068
1673.45	o 52065
1673.45	c 10067
1674.96	o 52067
1674.96	c 10065
1676.48	o 52068
1676.48	c 10064
1678.00	o 52070
1678.00	c 10062
1679.53	o 52071
1679.53	c 10061
1681.04	o 52077
1681.04	c 10055
1682.54	o 52088
1682.54	c 10044
1684.06	o 52093
1684.06	c 10039
1685.55	o 52096
1685.55	c 10036
1687.03	o 52098
1687.03	c 10034
1690.16	o 52100
1690.16	c 10032
1691.67	o 52104
1691.67	c 10028
1693.14	o 52108
1693.14	c 10024
1694.62	o 52112
1694.62	c 10020
1696.12	o 52114
1696.12	c 10018
1697.56	o 52118
1697.56	c 10014
1698.98	o 52127
1698.98	c 10005
1700.42	o 52134
1700.42	c 9998
1701.90	o 52141
1701.90	c 9991
1703.44	o 52142
1703.44	c 9990
1704.96	o 52144
1704.96	c 9988
1707.99	o 52148
1707.99	c 9984
1709.45	o 52156
1709.45	c 9976
1712.45	o 52162
1712.45	c 9970
1713.93	o 52163
1713.93	c 9969
1715.44	o 52166
1715.44	c 9966
1716.92	o 52168
1716.92	c 9964
1718.36	o 52177
1718.36	c 9955
1728.74	o 52178
1728.74	c 9954
1730.21	o 52186
1730.21	c 9946
1731.68	o 52188
1731.68	c 9944
1736.21	o 52193
1736.21	c 9939
1741.90	o 52198
1741.90	c 9934
1744.93	o 52200
1744.93	c 9932
1747.76	o 52202
1747.76	c 9930
1749.20	o 52205
1749.20	c 9927
1755.18	o 52209
1755.18	c 9923
1756.71	o 52210
1756.71	c 9922
1758.17	o 52214
1758.17	c 9918
1759.66	o 52222
1759.66	c 9910
1762.53	o 52225
1762.53	c 9907
1764.01	o 52226
1764.01	c 9906
1765.48	o 52228
1765.48	c 9904
1768.35	o 52231
1768.35	c 9901
1769.83	o 52236
1769.83	c 9896
1771.32	o 52238
1771.32	c 9894
1772.74	o 52240
1772.74	c 9892
1776.88	o 52241
1776.88	c 9891
1778.25	o 52251
1778.25	c 9881
1779.67	o 52252
1779.67	c 9880
1781.16	o 52257
1781.16	c 9875
1782.59	o 52258
1782.59	c 9874
1785.49	o 52261
1785.49	c 9871
1786.87	o 52265
1786.87	c 9867
1788.39	o 52273
1788.39	c 9859
1791.22	o 52278
1791.22	c 9854
1792.70	o 52281
1792.70	c 9851
1794.08	o 52284
1794.08	c 9848
1799.71	o 52287
1799.71	c 9845
1801.04	o 52289
1801.04	c 9843
1802.38	o 52293
1802.38	c 9839
1806.60	o 52295
1806.60	c 9837
1808.01	o 52300
1808.01	c 9832
1809.43	o 52302
1809.43	c 9830
1810.84	o 52303
1810.84	c 9829
1812.17	o 52308
1812.17	c 9824
1813.58	o 52310
1813.58	c 9822
1814.96	o 52319
1814.96	c 9813
1819.06	o 52323
1819.06	c 9809
1820.50	o 52324
1820.50	c 9808
1823.38	o 52331
1823.38	c 9801
1824.80	o 52334
1824.80	c 9798
1826.32	o 52345
1826.32	c 9787
1830.81	o 52347
1830.81	c 9785
1832.38	o 52348
1832.38	c 9784
1844.34	o 52354
1844.34	c 9778
1845.82	o 52357
1845.82	c 9775
1848.67	o 52358
1848.68	c 9774
1850.18	o 52361
1850.18	c 9771
1851.74	o 52364
1851.74	c 9768
1853.27	o 52368
1853.27	c 9764
1857.85	o 52373
1857.85	c 9759
1859.35	o 52382
1859.35	c 9750
1860.76	o 52388
1860.76	c 9744
1862.20	o 52391
1862.20	c 9741
1863.69	o 52402
1863.69	c 9730
1865.08	o 52406
1865.08	c 9726
1866.54	o 52411
1866.54	c 9721
1869.35	o 52416
1869.35	c 9716
1870.77	o 52419
1870.77	c 9713
1872.11	o 52424
1872.11	c 9708
1873.48	o 52429
1873.48	c 9703
1874.68	o 52430
1874.68	c 9702
1876.03	o 52437
1876.03	c 9695
1877.33	o 52441
1877.33	c 9691
1878.65	o 52446
1878.65	c 9686
1881.49	o 52451
1881.49	c 9681
1882.75	o 52455
1882.75	c 9677
1885.34	o 52459
1885.34	c 9673
1886.61	o 52460
1886.61	c 9672
1887.89	o 52461
1887.89	c 9671
1889.27	o 52462
1889.27	c 9670
1890.55	o 52463
1890.55	c 9669
1891.86	o 52469
1891.86	c 9663
1893.20	o 52470
1893.20	c 9662
1894.47	o 52473
1894.47	c 9659
1895.74	o 52474
1895.74	c 9658
1897.06	o 52479
1897.06	c 9653
1898.33	o 52491
1898.33	c 9641
1899.62	o 52498
1899.62	c 9634
1903.51	o 52500
1903.51	c 9632
1904.86	o 52502
1904.86	c 9630
1906.19	o 52507
1906.19	c 9625
1907.58	o 52508
1907.58	c 9624
1910.30	o 52510
1910.31	c 9622
1911.62	o 52513
1911.62	c 9619
1912.93	o 52515
1912.93	c 9617
1914.23	o 52519
1914.23	c 9613
1915.70	o 52526
1915.70	c 9606
1917.05	o 52533
1917.05	c 9599
1918.36	o 52537
1918.36	c 9595
1922.34	o 52540
1922.34	c 9592
1923.69	o 52547
1923.69	c 9585
1925.08	o 52555
1925.08	c 9577
1926.50	o 52556
1926.50	c 9576
1929.30	o 52557
1929.30	c 9575
1932.01	o 52559
1932.01	c 9573
1933.35	o 52562
1933.35	c 9570
1934.84	o 52564
1934.84	c 9568
1936.23	o 52565
1936.23	c 9567
1937.67	o 52566
1937.67	c 9566
1939.07	o 52574
1939.07	c 9558
1940.44	o 52583
1940.44	c 9549
1941.81	o 52589
1941.81	c 9543
1943.11	o 52597
1943.11	c 9535
1944.53	o 52598
1944.53	c 9534
1945.88	o 52599
1945.88	c 9533
1947.28	o 52607
1947.28	c 9525
1951.61	o 52609
1951.61	c 9523
1952.97	o 52611
1952.97	c 9521
1954.37	o 52614
1954.37	c 9518
1955.80	o 52615
1955.80	c 9517
1957.14	o 52626
1957.14	c 9506
1959.30	o 52630
1959.30	c 9502
1961.90	o 52634
1961.90	c 9498
1964.48	o 52642
1964.48	c 9490
1965.81	o 52644
1965.81	c 9488
1967.15	o 52645
1967.15	c 9487
1968.48	o 52648
1968.48	c 9484
1969.77	o 52653
1969.77	c 9479
1972.47	o 52659
1972.47	c 9473
1973.84	o 52661
1973.84	c 9471
1976.56	o 52663
1976.56	c 9469
1979.35	o 52669
1979.35	c 9463
1980.70	o 52670
1980.70	c 9462
1982.01	o 52681
1982.01	c 9451
1983.28	o 52690
1983.28	c 9442
1984.66	o 52693
1984.66	c 9439
1985.99	o 52694
1985.99	c 9438
1987.32	o 52700
1987.32	c 9432
1988.70	o 52706
1988.70	c 9426
1991.38	o 52708
1991.38	c 9424
1996.87	o 52711
1996.87	c 9421
1998.21	o 52713
1998.21	c 9419
1999.62	o 52717
1999.62	c 9415
2000.93	o 52719
2000.93	c 9413
2003.69	o 52723
2003.69	c 9409
2005.03	o 52728
2005.03	c 9404
2006.33	o 52734
2006.33	c 9398
2007.71	o 52735
2007.71	c 9397
2009.02	o 52738
2009.02	c 9394
2010.41	o 52746
2010.41	c 9386
2011.77	o 52748
2011.77	c 9384
2013.12	o 52751
2013.12	c 9381
2014.49	o 52755
2014.49	c 9377
2015.88	o 52758
2015.88	c 9374
2017.25	o 52762
2017.25	c 9370
2021.39	o 52765
2021.39	c 9367
2028.63	o 52769
2028.63	c 9363
2031.46	o 52775
2031.46	c 9357
2032.91	o 52780
2032.91	c 9352
2034.33	o 52786
2034.33	c 9346
2035.74	o 52791
2035.74	c 9341
2037.10	o 52794
2037.10	c 9338
2041.25	o 52795
2041.25	c 9337
2042.67	o 52803
2042.67	c 9329
2045.28	o 52806
2045.28	c 9326
2048.25	o 52812
2048.25	c 9320
2049.76	o 52817
2049.76	c 9315
2051.24	o 52819
2051.24	c 9313
2053.95	o 52822
2053.95	c 9310
2054.52	o 52824
2054.52	c 9308
2055.98	o 52826
2055.98	c 9306
2061.67	o 52832
2061.67	c 9300
2063.12	o 52833
2063.12	c 9299
2064.53	o 52834
2064.53	c 9298
2067.38	o 52835
2067.38	c 9297
2068.81	o 52837
2068.81	c 9295
2070.21	o 52839
2070.21	c 9293
2071.72	o 52848
2071.72	c 9284
2077.17	o 52849
2077.17	c 9283
2084.62	o 52852
2084.62	c 9280
2087.87	o 52857
2087.87	c 9275
2092.41	o 52861
2092.41	c 9271
2093.93	o 52865
2093.93	c 9267
2095.41	o 52871
2095.41	c 9261
2096.89	o 52872
2096.89	c 9260
2098.41	o 52874
2098.41	c 9258
2099.87	o 52876
2099.87	c 9256
2101.38	o 52881
2101.38	c 9251
2102.91	o 52888
2102.91	c 9244
2104.39	o 52891
2104.39	c 9241
2107.43	o 52892
2107.43	c 9240
2108.94	o 52898
2108.94	c 9234
2111.93	o 52900
2111.93	c 9232
2113.45	o 52904
2113.45	c 9228
2114.99	o 52907
2114.99	c 9225
2119.94	o 52910
2119.94	c 9222
2121.56	o 52914
2121.56	c 9218
2126.10	o 52921
2126.10	c 9211
2127.69	o 52925
2127.69	c 9207
2129.37	o 52931
2129.37	c 9201
2130.98	o 52939
2130.98	c 9193
2132.61	o 52943
2132.61	c 9189
2134.24	o 52946
2134.24	c 9186
2135.85	o 52947
2135.85	c 9185
2139.23	o 52949
2139.23	c 9183
2140.86	o 52951
2140.86	c 9181
2143.74	o 52952
2143.74	c 9180
2145.34	o 52960
2145.34	c 9172
2147.02	o 52964
2147.02	c 9168
2148.70	o 52969
2148.70	c 9163
2150.33	o 52971
2150.33	c 9161
2155.38	o 52976
2155.38	c 9156
2157.02	o 52979
2157.02	c 9153
2162.11	o 52981
2162.11	c 9151
2163.83	o 52986
2163.83	c 9146
2167.18	o 52987
2167.18	c 9145
2168.89	o 52997
2168.89	c 9135
2170.57	o 53005
2170.57	c 9127
2172.28	o 53009
2172.28	c 9123
2173.94	o 53010
2173.94	c 9122
2187.27	o 53013
2187.27	c 9119
2197.39	o 53016
2197.39	c 9116
2200.99	o 53020
2200.99	c 9112
2202.67	o 53024
2202.67	c 9108
2204.46	o 53026
2204.46	c 9106
2208.03	o 53029
2208.03	c 9103
2211.18	o 53031
2211.18	c 9101
2212.85	o 53033
2212.85	c 9099
2214.58	o 53034
2214.58	c 9098
2217.25	o 53036
2217.25	c 9096
2218.90	o 53043
2218.90	c 9089
2220.52	o 53048
2220.52	c 9084
2221.89	o 53050
2221.89	c 9082
2223.48	o 53051
2223.48	c 9081
2225.11	o 53053
2225.11	c 9079
2226.77	o 53059
2226.77	c 9073
2228.44	o 53060
2228.44	c 9072
2235.08	o 53064
2235.08	c 9068
2237.74	o 53070
2237.74	c 9062
2239.29	o 53071
2239.29	c 9061
2240.86	o 53075
2240.86	c 9057
2242.37	o 53077
2242.37	c 9055
2243.93	o 53084
2243.93	c 9048
2245.44	o 53088
2245.44	c 9044
2247.05	o 53092
2247.05	c 9040
2248.70	o 53093
2248.70	c 9039
2251.79	o 53096
2251.79	c 9036
2253.41	o 53102
2253.41	c 9030
2255.01	o 53103
2255.01	c 9029
2258.19	o 53108
2258.19	c 9024
2262.95	o 53109
2262.95	c 9023
2264.58	o 53112
2264.58	c 9020
2266.19	o 53116
2266.19	c 9016
2267.84	o 53119
2267.84	c 9013
2269.49	o 53125
2269.49	c 9007
2271.28	o 53131
2271.28	c 9001
2273.04	o 53135
2273.04	c 8997
2274.76	o 53136
2274.76	c 8996
2276.46	o 53139
2276.46	c 8993
2281.42	o 53143
2281.42	c 8989
2284.75	o 53145
2284.75	c 8987
2289.74	o 53147
2289.74	c 8985
2291.36	o 53152
2291.36	c 8980
2294.33	o 53158
2294.33	c 8974
2295.96	o 53162
2295.96	c 8970
2299.20	o 53164
2299.20	c 8968
2300.84	o 53175
2300.84	c 8957
2302.52	o 53180
2302.52	c 8952
2304.30	o 53183
2304.30	c 8949
2305.95	o 53188
2305.95	c 8944
2307.62	o 53196
2307.62	c 8936
2309.32	o 53201
2309.32	c 8931
2310.92	o 53202
2310.92	c 8930
2312.64	o 53207
2312.64	c 8925
2314.32	o 53210
2314.32	c 8922
2315.92	o 53217
2315.92	c 8915
2319.24	o 53219
2319.24	c 8913
2322.70	o 53224
2322.70	c 8908
2324.47	o 53227
2324.47	c 8905
2326.12	o 53232
2326.12	c 8900
2331.08	o 53238
2331.08	c 8894
2332.72	o 53243
2332.72	c 8889
2334.40	o 53249
2334.40	c 8883
2336.06	o 53250
2336.06	c 8882
2339.37	o 53252
2339.37	c 8880
2342.77	o 53254
2342.77	c 8878
2344.49	o 53258
2344.49	c 8874
2346.23	o 53261
2346.23	c 8871
2348.02	o 53263
2348.02	c 8869
2349.87	o 53266
2349.87	c 8866
2351.63	o 53270
2351.63	c 8862
2353.42	o 53276
2353.42	c 8856
2355.27	o 53281
2355.27	c 8851
2358.89	o 53282
2358.89	c 8850
2362.58	o 53287
2362.58	c 8845
2364.45	o 53290
2364.45	c 8842
2370.13	o 53294
2370.13	c 8838
2372.02	o 53299
2372.02	c 8833
2377.76	o 53304
2377.76	c 8828
2381.63	o 53308
2381.63	c 8824
2395.51	o 53311
2395.51	c 8821
2397.49	o 53318
2397.49	c 8814
2399.51	o 53320
2399.51	c 8812
2400.91	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/node50/watcher-275625-1169224084 -o ROOT/results/node50/solver-275625-1169224084 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275625-1169224084/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.00 1.06 1.39 3/65 2793
/proc/meminfo: memFree=1450336/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=292 CPUtime=0
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 52 0 0 0 0 0 0 0 20 0 1 0 270807001 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7918372 0 0 4096 0 0 0 0 17 1 0 0
/proc/2792/statm: 73 35 27 14 0 5 0

[startup+0.105533 s]
/proc/loadavg: 1.00 1.06 1.39 3/65 2793
/proc/meminfo: memFree=1450336/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=914988 CPUtime=0.08
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 3021 0 1 0 7 1 0 0 16 0 8 0 270807001 936947712 2767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154159481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2792/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517602 s]
/proc/loadavg: 1.00 1.06 1.39 3/65 2793
/proc/meminfo: memFree=1450336/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915332 CPUtime=0.5
/proc/2792/stat : 2792 (java) S 2790 2792 1582 0 -1 0 8554 0 1 0 45 5 0 0 16 0 8 0 270807001 937299968 8293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2792/statm: 228833 8294 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34073 s]
/proc/loadavg: 1.00 1.06 1.39 2/72 2800
/proc/meminfo: memFree=1346408/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915604 CPUtime=1.33
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 28865 0 1 0 118 15 0 0 16 0 8 0 270807001 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228901 28602 2162 14 0 215371 0
[pid=2792/tid=2794] ppid=2790 vsize=915604 CPUtime=0.11
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 12309 0 0 0 6 5 0 0 16 0 8 0 270807005 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270807006 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807006 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915604 CPUtime=0.16
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 406 0 0 0 15 1 0 0 16 0 8 0 270807009 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937578496 28602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915604

[startup+2.97701 s]
/proc/loadavg: 1.00 1.05 1.38 2/72 2800
/proc/meminfo: memFree=1334760/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915604 CPUtime=2.96
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 32555 0 1 0 279 17 0 0 16 0 8 0 270807001 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073598728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228901 32285 2162 14 0 215371 0
[pid=2792/tid=2794] ppid=2790 vsize=915604 CPUtime=0.31
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 15991 0 0 0 25 6 0 0 17 0 8 0 270807005 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270807006 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807006 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915604 CPUtime=0.16
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 407 0 0 0 15 1 0 0 16 0 8 0 270807009 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937578496 32285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915604 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937578496 32285 18446744073709551615 134512640 134570532 4294956480 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.27256 s]
/proc/loadavg: 1.00 1.05 1.38 2/72 2800
/proc/meminfo: memFree=1327272/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=6.25
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 33062 0 1 0 608 17 0 0 17 0 8 0 270807001 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 32789 2182 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=0.34
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 16422 0 0 0 28 6 0 0 16 0 8 0 270807005 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.17
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 418 0 0 0 16 1 0 0 16 0 8 0 270807009 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 32789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915744

[startup+12.7426 s]
/proc/loadavg: 1.00 1.05 1.38 2/72 2800
/proc/meminfo: memFree=1327368/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=12.72
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 33064 0 1 0 1255 17 0 0 25 0 8 0 270807001 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 32791 2182 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=0.34
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 16422 0 0 0 28 6 0 0 16 0 8 0 270807005 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.18
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 420 0 0 0 17 1 0 0 16 0 8 0 270807009 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915744

[startup+25.5918 s]
/proc/loadavg: 1.00 1.05 1.37 2/72 2800
/proc/meminfo: memFree=1321672/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=25.57
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 34569 0 1 0 2538 19 0 0 17 0 8 0 270807001 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 34294 2183 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=0.42
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 17910 0 0 0 35 7 0 0 17 0 8 0 270807005 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.19
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 434 0 0 0 18 1 0 0 16 0 8 0 270807009 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 34294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915744

[startup+51.2841 s]
/proc/loadavg: 1.00 1.05 1.36 2/72 2800
/proc/meminfo: memFree=1321672/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=51.24
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 34571 0 1 0 5103 21 0 0 25 0 8 0 270807001 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 34296 2183 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=0.42
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 17910 0 0 0 35 7 0 0 16 0 8 0 270807005 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270807006 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.2
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 436 0 0 0 19 1 0 0 16 0 8 0 270807009 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 34296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915744

[startup+102.566 s]
/proc/loadavg: 1.00 1.04 1.34 2/72 2800
/proc/meminfo: memFree=1266888/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=102.49
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48751 0 1 0 10220 29 0 0 25 0 8 0 270807001 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48328 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.26
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 467 0 0 0 24 2 0 0 16 0 8 0 270807009 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 915744

[startup+162.572 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 2800
/proc/meminfo: memFree=1266888/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=162.48
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48753 0 1 0 16217 31 0 0 18 0 8 0 270807001 937721856 48329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2998
/proc/meminfo: memFree=1266376/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=2082.35
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48765 0 1 0 208171 64 0 0 25 0 8 0 270807001 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48340 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.28
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 479 0 0 0 26 2 0 0 16 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 915744

[startup+2143.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2998
/proc/meminfo: memFree=1266376/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=2142.34
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48765 0 1 0 214169 65 0 0 25 0 8 0 270807001 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48340 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.28
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 479 0 0 0 26 2 0 0 16 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 915744

[startup+2203.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2998
/proc/meminfo: memFree=1266440/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=2202.31
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48765 0 1 0 220166 65 0 0 25 0 8 0 270807001 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829172 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48340 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.28
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 479 0 0 0 26 2 0 0 16 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 915744

[startup+2263.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2998
/proc/meminfo: memFree=1266440/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=2262.31
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48765 0 1 0 226165 66 0 0 25 0 8 0 270807001 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48340 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.28
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 479 0 0 0 26 2 0 0 16 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 915744

[startup+2323.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2998
/proc/meminfo: memFree=1266504/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=2322.29
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48765 0 1 0 232163 66 0 0 25 0 8 0 270807001 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48340 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.28
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 479 0 0 0 26 2 0 0 16 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 915744

[startup+2383.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2998
/proc/meminfo: memFree=1266504/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=2382.28
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48765 0 1 0 238161 67 0 0 25 0 8 0 270807001 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48340 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.28
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 479 0 0 0 26 2 0 0 16 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2998
/proc/meminfo: memFree=1266504/2055920 swapFree=4191892/4192956
[pid=2792] ppid=2790 vsize=915744 CPUtime=2400.05
/proc/2792/stat : 2792 (java) R 2790 2792 1582 0 -1 0 48765 0 1 0 239938 67 0 0 25 0 8 0 270807001 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2792/statm: 228936 48340 2501 14 0 215406 0
[pid=2792/tid=2794] ppid=2790 vsize=915744 CPUtime=1.66
/proc/2792/task/2794/stat : 2794 (java) S 2790 2792 1582 0 -1 64 31704 0 0 0 154 12 0 0 16 0 8 0 270807005 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2795] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2795/stat : 2795 (java) S 2790 2792 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2796] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2796/stat : 2796 (java) S 2790 2792 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270807006 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2797] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2797/stat : 2797 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2798] ppid=2790 vsize=915744 CPUtime=0.28
/proc/2792/task/2798/stat : 2798 (java) S 2790 2792 1582 0 -1 64 479 0 0 0 26 2 0 0 16 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2792/tid=2799] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2799/stat : 2799 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2792/tid=2800] ppid=2790 vsize=915744 CPUtime=0
/proc/2792/task/2800/stat : 2800 (java) S 2790 2792 1582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270807009 937721856 48340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2400.97
CPU time (s): 2400.12
CPU user time (s): 2399.42
CPU system time (s): 0.705892
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.42
system time used= 0.705892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48788
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= 49567
involuntary context switches= 7126

runsolver used 2.52961 s user time and 6.09807 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Fri Jan 19 16:28:04 UTC 2007


IDJOB= 275625
IDBENCH= 4169
IDSOLVER= 69
FILE ID= node50/275625-1169224084

PBS_JOBID= 3589162

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/275625-1169224084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-275625-1169224084 -o ROOT/results/node50/solver-275625-1169224084 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275625-1169224084/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  00688de2264349cb35c485d1a6fd29a5

RANDOM SEED= 630789857

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.263
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	: 5931.00
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.263
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:       1450816 kB
Buffers:         45504 kB
Cached:         467484 kB
SwapCached:        276 kB
Active:         132352 kB
Inactive:       396160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1450816 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           10220 kB
Writeback:           0 kB
Mapped:          24456 kB
Slab:            62604 kB
Committed_AS:  5260340 kB
PageTables:       1464 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= 66555 MiB



End job on node50 on Fri Jan 19 17:08:06 UTC 2007