Trace number 275613

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.07 2420.69

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-1.xml
MD5SUMe73fbce21894132281af3102ab806d6c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints46957
Best CPU time to get the best result obtained on this benchmark2400.07
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.29	   
0.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/275613-1169223955/unknown.xml
0.36	   
0.36	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.88	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.88	       =>  wckTime=0.579  cpuTime=0.4  mem=58M778
0.88	   
0.88	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
61.39	   
61.39	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 121M783)
64.47	     nbConstraints=53548  nbConvertedConstraints=547  nbConvertConstraintsChecks=199996770  nbExtensionStructures=488
64.47	     nbSharedExtensionStructures=59  nbConflictsStructures=488  nbSharedConflictsStructures=59
64.47	     nbSharedBinaryRepresentations=556154  nbEvaluationManagers=12079  nbSharedEvaluationManagers=40922  maxDegree=104
64.47	     maxArity=2
64.47	       =>  wckTime=64.175  cpuTime=62.37  mem=131M472
64.89	   
64.90	   solver LocalSearchSolver being built... 
64.94	       =>  wckTime=64.637  cpuTime=62.41  mem=126M184
65.79	
65.79	s SATISFIABLE
65.79	o 39299
65.79	c 14249
66.31	o 39314
66.31	c 14234
66.59	o 39327
66.59	c 14221
66.89	o 39345
66.89	c 14203
67.08	o 39362
67.08	c 14186
67.33	o 39373
67.34	c 14175
67.59	o 39387
67.59	c 14161
67.81	o 39397
67.81	c 14151
67.99	o 39403
67.99	c 14145
68.17	o 39417
68.17	c 14131
68.30	o 39428
68.30	c 14120
68.48	o 39437
68.48	c 14111
68.63	o 39450
68.63	c 14098
68.87	o 39458
68.87	c 14090
69.09	o 39464
69.09	c 14084
69.45	o 39469
69.45	c 14079
69.81	o 39481
69.81	c 14067
70.02	o 39492
70.02	c 14056
70.18	o 39511
70.18	c 14037
70.46	o 39523
70.46	c 14025
70.64	o 39525
70.64	c 14023
70.74	o 39526
70.74	c 14022
71.09	o 39535
71.09	c 14013
71.27	o 39544
71.27	c 14004
71.44	o 39550
71.44	c 13998
71.54	o 39551
71.54	c 13997
71.66	o 39563
71.66	c 13985
71.78	o 39569
71.78	c 13979
71.87	o 39573
71.87	c 13975
72.06	o 39575
72.06	c 13973
72.22	o 39581
72.22	c 13967
72.41	o 39594
72.41	c 13954
72.78	o 39596
72.78	c 13952
73.08	o 39597
73.08	c 13951
73.29	o 39609
73.29	c 13939
73.64	o 39612
73.64	c 13936
73.85	o 39626
73.85	c 13922
74.06	o 39629
74.06	c 13919
74.51	o 39630
74.51	c 13918
74.66	o 39635
74.66	c 13913
74.79	o 39641
74.79	c 13907
74.88	o 39649
74.88	c 13899
75.12	o 39653
75.12	c 13895
75.30	o 39658
75.30	c 13890
75.46	o 39664
75.46	c 13884
75.70	o 39673
75.70	c 13875
75.90	o 39683
75.90	c 13865
76.10	o 39689
76.10	c 13859
76.31	o 39693
76.31	c 13855
76.49	o 39700
76.49	c 13848
76.65	o 39710
76.65	c 13838
76.86	o 39711
76.86	c 13837
76.98	o 39713
76.98	c 13835
77.20	o 39719
77.20	c 13829
77.41	o 39730
77.41	c 13818
77.70	o 39735
77.70	c 13813
78.23	o 39743
78.23	c 13805
78.44	o 39752
78.44	c 13796
78.73	o 39756
78.73	c 13792
78.95	o 39759
78.95	c 13789
79.19	o 39771
79.19	c 13777
79.40	o 39775
79.40	c 13773
79.58	o 39781
79.58	c 13767
80.01	o 39789
80.01	c 13759
80.24	o 39791
80.24	c 13757
80.46	o 39794
80.46	c 13754
80.66	o 39804
80.66	c 13744
80.92	o 39812
80.92	c 13736
81.13	o 39815
81.13	c 13733
81.35	o 39821
81.35	c 13727
81.55	o 39822
81.55	c 13726
81.92	o 39829
81.92	c 13719
82.17	o 39836
82.17	c 13712
82.41	o 39838
82.41	c 13710
82.68	o 39839
82.68	c 13709
82.94	o 39850
82.94	c 13698
83.20	o 39859
83.20	c 13689
83.42	o 39866
83.42	c 13682
83.74	o 39874
83.74	c 13674
84.25	o 39875
84.25	c 13673
84.55	o 39888
84.55	c 13660
85.02	o 39894
85.02	c 13654
85.19	o 39903
85.19	c 13645
85.44	o 39906
85.44	c 13642
85.69	o 39911
85.69	c 13637
85.94	o 39917
85.94	c 13631
86.24	o 39918
86.24	c 13630
86.47	o 39925
86.47	c 13623
86.71	o 39927
86.71	c 13621
86.99	o 39939
86.99	c 13609
87.25	o 39945
87.25	c 13603
87.50	o 39951
87.50	c 13597
87.77	o 39959
87.77	c 13589
88.09	o 39961
88.09	c 13587
88.46	o 39963
88.46	c 13585
88.79	o 39970
88.79	c 13578
89.06	o 39980
89.06	c 13568
89.32	o 39987
89.32	c 13561
89.61	o 39994
89.62	c 13554
89.88	o 39999
89.88	c 13549
90.10	o 40003
90.10	c 13545
90.40	o 40007
90.40	c 13541
91.07	o 40014
91.07	c 13534
91.37	o 40021
91.37	c 13527
91.65	o 40037
91.65	c 13511
91.86	o 40042
91.87	c 13506
92.37	o 40051
92.37	c 13497
92.61	o 40063
92.61	c 13485
92.83	o 40068
92.83	c 13480
93.46	o 40073
93.46	c 13475
93.68	o 40083
93.68	c 13465
93.94	o 40091
93.94	c 13457
94.22	o 40099
94.22	c 13449
94.40	o 40102
94.41	c 13446
94.73	o 40114
94.73	c 13434
94.96	o 40118
94.96	c 13430
95.32	o 40120
95.32	c 13428
95.60	o 40135
95.60	c 13413
95.80	o 40148
95.80	c 13400
96.04	o 40149
96.04	c 13399
96.25	o 40158
96.25	c 13390
96.43	o 40163
96.43	c 13385
96.61	o 40171
96.61	c 13377
96.83	o 40175
96.83	c 13373
98.22	o 40176
98.22	c 13372
98.53	o 40181
98.53	c 13367
99.21	o 40185
99.21	c 13363
99.57	o 40186
99.57	c 13362
99.91	o 40194
99.91	c 13354
100.21	o 40196
100.21	c 13352
100.56	o 40199
100.56	c 13349
100.91	o 40206
100.91	c 13342
101.58	o 40209
101.58	c 13339
101.93	o 40219
101.93	c 13329
102.31	o 40221
102.31	c 13327
102.61	o 40230
102.61	c 13318
103.67	o 40235
103.67	c 13313
104.33	o 40245
104.33	c 13303
104.75	o 40256
104.75	c 13292
105.03	o 40259
105.03	c 13289
105.50	o 40266
105.50	c 13282
105.89	o 40272
105.89	c 13276
106.33	o 40277
106.33	c 13271
106.71	o 40278
106.71	c 13270
107.41	o 40279
107.41	c 13269
107.74	o 40280
107.74	c 13268
108.08	o 40288
108.08	c 13260
108.41	o 40291
108.41	c 13257
110.34	o 40293
110.34	c 13255
110.62	o 40300
110.62	c 13248
110.87	o 40305
110.87	c 13243
111.11	o 40313
111.11	c 13235
111.47	o 40319
111.47	c 13229
111.84	o 40323
111.84	c 13225
112.16	o 40326
112.16	c 13222
112.52	o 40330
112.52	c 13218
113.16	o 40332
113.16	c 13216
113.49	o 40341
113.49	c 13207
115.10	o 40344
115.10	c 13204
115.49	o 40356
115.49	c 13192
115.85	o 40363
115.85	c 13185
116.30	o 40375
116.30	c 13173
117.04	o 40380
117.04	c 13168
117.44	o 40393
117.44	c 13155
117.74	o 40399
117.74	c 13149
118.04	o 40402
118.04	c 13146
118.68	o 40411
118.68	c 13137
119.34	o 40417
119.34	c 13131
119.72	o 40424
119.72	c 13124
120.09	o 40428
120.09	c 13120
120.83	o 40433
120.83	c 13115
121.16	o 40435
121.16	c 13113
121.56	o 40437
121.57	c 13111
121.95	o 40438
121.95	c 13110
122.30	o 40439
122.30	c 13109
122.64	o 40440
122.64	c 13108
122.93	o 40442
122.93	c 13106
123.36	o 40450
123.36	c 13098
123.74	o 40453
123.74	c 13095
124.95	o 40465
124.95	c 13083
125.38	o 40470
125.38	c 13078
125.76	o 40478
125.76	c 13070
126.26	o 40487
126.27	c 13061
126.66	o 40497
126.66	c 13051
127.52	o 40506
127.52	c 13042
127.97	o 40516
127.97	c 13032
128.37	o 40522
128.37	c 13026
128.79	o 40529
128.80	c 13019
129.21	o 40534
129.22	c 13014
129.58	o 40545
129.58	c 13003
129.94	o 40546
129.94	c 13002
130.33	o 40555
130.33	c 12993
130.68	o 40559
130.68	c 12989
131.03	o 40567
131.03	c 12981
131.41	o 40570
131.41	c 12978
131.79	o 40578
131.79	c 12970
132.14	o 40582
132.14	c 12966
132.61	o 40592
132.61	c 12956
133.04	o 40593
133.04	c 12955
133.46	o 40603
133.46	c 12945
133.89	o 40610
133.89	c 12938
134.29	o 40623
134.29	c 12925
134.66	o 40632
134.66	c 12916
135.01	o 40640
135.01	c 12908
135.34	o 40647
135.34	c 12901
135.73	o 40654
135.73	c 12894
136.18	o 40661
136.18	c 12887
136.61	o 40666
136.61	c 12882
137.05	o 40671
137.05	c 12877
137.45	o 40675
137.45	c 12873
137.85	o 40679
137.85	c 12869
138.26	o 40683
138.26	c 12865
138.70	o 40693
138.70	c 12855
139.08	o 40696
139.08	c 12852
139.43	o 40698
139.43	c 12850
139.78	o 40700
139.78	c 12848
140.15	o 40705
140.15	c 12843
140.51	o 40707
140.51	c 12841
140.84	o 40708
140.84	c 12840
141.27	o 40709
141.27	c 12839
141.68	o 40712
141.68	c 12836
142.05	o 40721
142.05	c 12827
142.83	o 40723
142.83	c 12825
143.22	o 40725
143.22	c 12823
143.55	o 40728
143.55	c 12820
143.88	o 40731
143.88	c 12817
144.31	o 40742
144.31	c 12806
144.64	o 40748
144.64	c 12800
145.01	o 40756
145.01	c 12792
145.34	o 40759
145.34	c 12789
145.75	o 40763
145.75	c 12785
146.20	o 40765
146.20	c 12783
147.30	o 40768
147.30	c 12780
147.78	o 40771
147.78	c 12777
148.22	o 40778
148.22	c 12770
148.69	o 40784
148.69	c 12764
149.14	o 40787
149.14	c 12761
149.59	o 40791
149.59	c 12757
150.03	o 40793
150.03	c 12755
150.56	o 40798
150.56	c 12750
151.00	o 40807
151.00	c 12741
151.45	o 40813
151.45	c 12735
151.92	o 40819
151.92	c 12729
152.47	o 40824
152.47	c 12724
152.93	o 40832
152.93	c 12716
153.37	o 40837
153.37	c 12711
154.71	o 40843
154.71	c 12705
155.15	o 40850
155.15	c 12698
155.58	o 40857
155.58	c 12691
156.04	o 40862
156.04	c 12686
156.47	o 40867
156.47	c 12681
156.95	o 40872
156.95	c 12676
157.41	o 40877
157.41	c 12671
157.85	o 40881
157.85	c 12667
158.36	o 40886
158.36	c 12662
158.84	o 40890
158.84	c 12658
159.32	o 40894
159.32	c 12654
159.77	o 40907
159.77	c 12641
160.17	o 40910
160.17	c 12638
160.54	o 40914
160.54	c 12634
160.90	o 40918
160.90	c 12630
161.68	o 40919
161.68	c 12629
162.03	o 40922
162.03	c 12626
162.39	o 40925
162.39	c 12623
162.79	o 40927
162.79	c 12621
163.16	o 40929
163.16	c 12619
163.59	o 40931
163.59	c 12617
164.03	o 40933
164.03	c 12615
164.41	o 40935
164.41	c 12613
164.87	o 40937
164.87	c 12611
165.30	o 40939
165.30	c 12609
165.77	o 40941
165.77	c 12607
166.22	o 40942
166.22	c 12606
166.61	o 40943
166.61	c 12605
167.74	o 40947
167.74	c 12601
168.12	o 40948
168.12	c 12600
168.95	o 40950
168.95	c 12598
169.75	o 40958
169.75	c 12590
170.09	o 40968
170.09	c 12580
170.45	o 40975
170.45	c 12573
170.84	o 40984
170.84	c 12564
171.24	o 40995
171.24	c 12553
171.63	o 41001
171.63	c 12547
172.06	o 41007
172.06	c 12541
172.46	o 41009
172.46	c 12539
172.83	o 41017
172.83	c 12531
173.57	o 41019
173.57	c 12529
174.09	o 41020
174.09	c 12528
174.54	o 41024
174.54	c 12524
175.58	o 41031
175.58	c 12517
176.10	o 41033
176.10	c 12515
176.67	o 41038
176.67	c 12510
177.30	o 41040
177.30	c 12508
177.89	o 41045
177.89	c 12503
178.53	o 41047
178.53	c 12501
179.17	o 41048
179.17	c 12500
179.93	o 41054
179.93	c 12494
180.60	o 41057
180.60	c 12491
181.88	o 41059
181.88	c 12489
182.52	o 41060
182.52	c 12488
183.19	o 41062
183.19	c 12486
183.84	o 41064
183.84	c 12484
184.49	o 41075
184.49	c 12473
187.52	o 41085
187.52	c 12463
188.12	o 41091
188.12	c 12457
188.67	o 41099
188.67	c 12449
189.82	o 41107
189.82	c 12441
190.41	o 41115
190.41	c 12433
191.00	o 41121
191.00	c 12427
191.63	o 41126
191.63	c 12422
192.16	o 41132
192.16	c 12416
192.74	o 41138
192.74	c 12410
193.34	o 41144
193.34	c 12404
193.88	o 41149
193.88	c 12399
194.42	o 41154
194.42	c 12394
194.99	o 41165
194.99	c 12383
195.44	o 41174
195.44	c 12374
195.96	o 41180
195.96	c 12368
196.51	o 41186
196.51	c 12362
196.98	o 41196
196.98	c 12352
197.46	o 41198
197.46	c 12350
197.93	o 41203
197.93	c 12345
198.43	o 41208
198.43	c 12340
198.89	o 41213
198.89	c 12335
199.37	o 41217
199.37	c 12331
199.91	o 41220
199.91	c 12328
200.34	o 41222
200.34	c 12326
200.77	o 41226
200.77	c 12322
201.22	o 41228
201.22	c 12320
201.67	o 41232
201.67	c 12316
202.09	o 41236
202.09	c 12312
202.52	o 41239
202.52	c 12309
202.94	o 41242
202.94	c 12306
203.36	o 41244
203.36	c 12304
203.82	o 41246
203.82	c 12302
204.25	o 41248
204.25	c 12300
204.65	o 41250
204.65	c 12298
205.15	o 41252
205.15	c 12296
205.59	o 41256
205.59	c 12292
206.04	o 41265
206.04	c 12283
206.49	o 41267
206.49	c 12281
206.91	o 41269
206.91	c 12279
207.37	o 41271
207.37	c 12277
207.82	o 41272
207.82	c 12276
208.29	o 41273
208.29	c 12275
209.56	o 41274
209.56	c 12274
210.00	o 41282
210.00	c 12266
210.44	o 41283
210.44	c 12265
210.93	o 41289
210.93	c 12259
211.31	o 41293
211.31	c 12255
212.11	o 41294
212.11	c 12254
212.55	o 41300
212.55	c 12248
212.96	o 41306
212.96	c 12242
213.38	o 41307
213.38	c 12241
213.76	o 41310
213.76	c 12238
214.16	o 41318
214.16	c 12230
214.52	o 41319
214.52	c 12229
214.91	o 41320
214.91	c 12228
215.32	o 41328
215.32	c 12220
215.72	o 41334
215.72	c 12214
216.28	o 41340
216.28	c 12208
216.83	o 41344
216.83	c 12204
217.21	o 41349
217.21	c 12199
217.64	o 41353
217.64	c 12195
218.03	o 41356
218.04	c 12192
219.94	o 41361
219.94	c 12187
220.42	o 41362
220.42	c 12186
220.95	o 41365
220.95	c 12183
221.50	o 41369
221.50	c 12179
222.06	o 41370
222.06	c 12178
222.58	o 41377
222.58	c 12171
223.19	o 41385
223.19	c 12163
223.84	o 41388
223.84	c 12160
224.35	o 41391
224.35	c 12157
224.88	o 41395
224.88	c 12153
225.43	o 41403
225.43	c 12145
226.02	o 41404
226.02	c 12144
226.75	o 41416
226.75	c 12132
227.29	o 41422
227.29	c 12126
227.89	o 41426
227.89	c 12122
229.09	o 41428
229.09	c 12120
229.59	o 41434
229.59	c 12114
230.64	o 41444
230.64	c 12104
231.17	o 41446
231.17	c 12102
231.67	o 41451
231.67	c 12097
232.21	o 41457
232.21	c 12091
232.75	o 41460
232.75	c 12088
233.31	o 41461
233.31	c 12087
233.84	o 41462
233.84	c 12086
234.41	o 41464
234.41	c 12084
234.96	o 41468
234.96	c 12080
235.43	o 41474
235.43	c 12074
235.91	o 41479
235.91	c 12069
236.87	o 41481
236.87	c 12067
237.35	o 41485
237.35	c 12063
237.82	o 41488
237.82	c 12060
238.36	o 41497
238.36	c 12051
238.96	o 41505
238.96	c 12043
239.57	o 41513
239.57	c 12035
240.64	o 41516
240.64	c 12032
241.17	o 41523
241.17	c 12025
241.69	o 41524
241.69	c 12024
242.16	o 41525
242.16	c 12023
242.66	o 41531
242.66	c 12017
243.14	o 41537
243.14	c 12011
243.66	o 41543
243.66	c 12005
244.13	o 41549
244.13	c 11999
244.64	o 41555
244.64	c 11993
245.10	o 41559
245.10	c 11989
245.60	o 41564
245.60	c 11984
246.11	o 41569
246.11	c 11979
246.57	o 41574
246.57	c 11974
247.05	o 41579
247.05	c 11969
247.53	o 41584
247.53	c 11964
248.04	o 41589
248.04	c 11959
248.56	o 41594
248.56	c 11954
249.13	o 41599
249.13	c 11949
249.65	o 41603
249.65	c 11945
250.17	o 41607
250.17	c 11941
250.66	o 41611
250.66	c 11937
251.18	o 41614
251.18	c 11934
252.23	o 41617
252.23	c 11931
252.74	o 41620
252.74	c 11928
253.23	o 41623
253.23	c 11925
253.73	o 41628
253.73	c 11920
254.20	o 41630
254.20	c 11918
254.66	o 41633
254.66	c 11915
255.12	o 41635
255.12	c 11913
255.61	o 41637
255.61	c 11911
256.13	o 41639
256.13	c 11909
256.62	o 41644
256.62	c 11904
257.46	o 41645
257.46	c 11903
257.93	o 41649
257.93	c 11899
258.81	o 41650
258.81	c 11898
259.23	o 41652
259.23	c 11896
259.64	o 41654
259.64	c 11894
260.05	o 41656
260.05	c 11892
260.47	o 41658
260.47	c 11890
260.94	o 41660
260.94	c 11888
261.40	o 41662
261.40	c 11886
261.82	o 41671
261.82	c 11877
262.13	o 41676
262.13	c 11872
262.59	o 41682
262.59	c 11866
263.03	o 41683
263.03	c 11865
263.50	o 41684
263.50	c 11864
266.71	o 41694
266.71	c 11854
269.32	o 41695
269.32	c 11853
269.80	o 41697
269.80	c 11851
270.26	o 41701
270.26	c 11847
270.76	o 41707
270.76	c 11841
271.22	o 41709
271.22	c 11839
271.74	o 41711
271.74	c 11837
272.25	o 41713
272.25	c 11835
272.76	o 41715
272.76	c 11833
273.24	o 41716
273.24	c 11832
273.72	o 41718
273.72	c 11830
275.38	o 41721
275.38	c 11827
275.96	o 41729
275.96	c 11819
277.06	o 41734
277.06	c 11814
277.62	o 41741
277.62	c 11807
278.20	o 41750
278.20	c 11798
279.32	o 41757
279.32	c 11791
280.54	o 41760
280.54	c 11788
281.12	o 41763
281.12	c 11785
281.75	o 41769
281.75	c 11779
282.35	o 41773
282.35	c 11775
283.49	o 41775
283.49	c 11773
284.00	o 41784
284.00	c 11764
284.58	o 41787
284.58	c 11761
285.16	o 41791
285.16	c 11757
287.35	o 41793
287.35	c 11755
287.89	o 41798
287.89	c 11750
288.39	o 41806
288.39	c 11742
288.88	o 41815
288.88	c 11733
289.38	o 41816
289.38	c 11732
289.91	o 41821
289.91	c 11727
290.47	o 41825
290.48	c 11723
291.06	o 41830
291.06	c 11718
291.65	o 41832
291.65	c 11716
292.22	o 41838
292.22	c 11710
292.80	o 41843
292.80	c 11705
293.36	o 41846
293.36	c 11702
293.99	o 41854
293.99	c 11694
294.60	o 41855
294.60	c 11693
296.22	o 41858
296.22	c 11690
297.23	o 41865
297.23	c 11683
297.76	o 41870
297.76	c 11678
300.14	o 41871
300.14	c 11677
300.64	o 41875
300.64	c 11673
302.86	o 41879
302.86	c 11669
303.46	o 41887
303.46	c 11661
304.03	o 41894
304.03	c 11654
304.59	o 41901
304.59	c 11647
305.16	o 41908
305.16	c 11640
305.73	o 41914
305.73	c 11634
306.32	o 41920
306.32	c 11628
306.88	o 41926
306.88	c 11622
307.39	o 41931
307.39	c 11617
307.99	o 41937
307.99	c 11611
308.94	o 41940
308.94	c 11608
309.48	o 41945
309.48	c 11603
309.99	o 41950
309.99	c 11598
310.52	o 41955
310.52	c 11593
311.05	o 41960
311.05	c 11588
311.63	o 41964
311.63	c 11584
312.15	o 41968
312.15	c 11580
312.67	o 41972
312.67	c 11576
313.21	o 41976
313.21	c 11572
313.77	o 41980
313.77	c 11568
314.28	o 41984
314.28	c 11564
314.80	o 41987
314.80	c 11561
315.32	o 41990
315.32	c 11558
315.84	o 41993
315.84	c 11555
316.36	o 41996
316.36	c 11552
316.87	o 41998
316.88	c 11550
317.43	o 42001
317.43	c 11547
317.96	o 42003
317.96	c 11545
318.52	o 42005
318.52	c 11543
319.03	o 42007
319.03	c 11541
319.57	o 42009
319.57	c 11539
320.08	o 42011
320.08	c 11537
320.63	o 42013
320.63	c 11535
321.17	o 42014
321.17	c 11534
321.71	o 42015
321.71	c 11533
322.27	o 42019
322.27	c 11529
322.84	o 42020
322.84	c 11528
323.38	o 42021
323.38	c 11527
323.88	o 42025
323.88	c 11523
324.44	o 42026
324.44	c 11522
324.99	o 42027
324.99	c 11521
325.51	o 42028
325.51	c 11520
326.57	o 42029
326.57	c 11519
327.14	o 42030
327.14	c 11518
327.75	o 42031
327.75	c 11517
328.85	o 42043
328.85	c 11505
329.36	o 42046
329.36	c 11502
329.83	o 42050
329.83	c 11498
330.34	o 42056
330.34	c 11492
330.86	o 42058
330.86	c 11490
331.37	o 42060
331.37	c 11488
332.34	o 42067
332.34	c 11481
332.80	o 42071
332.80	c 11477
334.21	o 42078
334.21	c 11470
335.64	o 42083
335.64	c 11465
337.61	o 42084
337.61	c 11464
338.00	o 42090
338.00	c 11458
338.91	o 42095
338.91	c 11453
339.40	o 42100
339.40	c 11448
339.87	o 42107
339.87	c 11441
340.30	o 42109
340.30	c 11439
341.22	o 42113
341.22	c 11435
341.71	o 42115
341.71	c 11433
342.19	o 42119
342.19	c 11429
342.65	o 42123
342.65	c 11425
343.10	o 42129
343.10	c 11419
343.52	o 42130
343.52	c 11418
343.90	o 42136
343.90	c 11412
344.34	o 42139
344.34	c 11409
344.76	o 42145
344.76	c 11403
345.62	o 42150
345.62	c 11398
345.99	o 42151
345.99	c 11397
346.44	o 42156
346.44	c 11392
346.90	o 42161
346.90	c 11387
347.41	o 42162
347.41	c 11386
348.35	o 42166
348.35	c 11382
349.26	o 42167
349.26	c 11381
349.72	o 42170
349.72	c 11378
350.19	o 42174
350.19	c 11374
350.71	o 42178
350.71	c 11370
351.19	o 42188
351.19	c 11360
352.88	o 42189
352.88	c 11359
355.85	o 42196
355.85	c 11352
356.64	o 42201
356.64	c 11347
357.11	o 42206
357.11	c 11342
357.54	o 42210
357.54	c 11338
357.90	o 42211
357.90	c 11337
358.32	o 42213
358.32	c 11335
358.76	o 42214
358.76	c 11334
359.17	o 42222
359.17	c 11326
360.13	o 42225
360.13	c 11323
360.52	o 42230
360.52	c 11318
360.95	o 42238
360.95	c 11310
361.37	o 42240
361.37	c 11308
362.83	o 42242
362.83	c 11306
363.34	o 42247
363.34	c 11301
363.75	o 42257
363.75	c 11291
364.16	o 42259
364.16	c 11289
364.58	o 42260
364.58	c 11288
364.98	o 42272
364.98	c 11276
365.81	o 42274
365.81	c 11274
366.28	o 42275
366.28	c 11273
366.69	o 42277
366.69	c 11271
367.12	o 42283
367.12	c 11265
367.56	o 42288
367.56	c 11260
368.04	o 42294
368.04	c 11254
368.52	o 42300
368.52	c 11248
369.02	o 42302
369.02	c 11246
369.58	o 42307
369.58	c 11241
370.09	o 42313
370.09	c 11235
370.62	o 42318
370.62	c 11230
371.23	o 42328
371.23	c 11220
371.74	o 42337
371.74	c 11211
372.29	o 42340
372.29	c 11208
372.78	o 42341
372.78	c 11207
373.34	o 42344
373.34	c 11204
373.84	o 42349
373.84	c 11199
374.33	o 42350
374.33	c 11198
374.86	o 42351
374.86	c 11197
375.38	o 42354
375.38	c 11194
375.94	o 42357
375.94	c 11191
376.45	o 42362
376.45	c 11186
377.51	o 42364
377.51	c 11184
378.11	o 42368
378.11	c 11180
379.37	o 42372
379.37	c 11176
380.49	o 42378
380.49	c 11170
381.08	o 42379
381.08	c 11169
381.65	o 42381
381.65	c 11167
382.36	o 42384
382.36	c 11164
382.98	o 42394
382.98	c 11154
383.57	o 42400
383.57	c 11148
384.87	o 42401
384.87	c 11147
385.52	o 42413
385.52	c 11135
386.21	o 42421
386.21	c 11127
387.49	o 42424
387.49	c 11124
388.17	o 42427
388.17	c 11121
388.83	o 42433
388.83	c 11115
389.51	o 42435
389.51	c 11113
390.18	o 42440
390.18	c 11108
390.84	o 42442
390.84	c 11106
391.55	o 42448
391.55	c 11100
392.21	o 42454
392.21	c 11094
393.48	o 42460
393.48	c 11088
394.13	o 42466
394.13	c 11082
394.77	o 42471
394.77	c 11077
396.69	o 42476
396.69	c 11072
397.32	o 42481
397.32	c 11067
397.91	o 42486
397.91	c 11062
398.51	o 42490
398.51	c 11058
399.11	o 42494
399.11	c 11054
399.71	o 42498
399.71	c 11050
400.30	o 42502
400.30	c 11046
400.96	o 42510
400.96	c 11038
401.62	o 42513
401.62	c 11035
402.23	o 42515
402.23	c 11033
402.82	o 42517
402.82	c 11031
403.40	o 42520
403.40	c 11028
403.99	o 42523
403.99	c 11025
404.57	o 42525
404.57	c 11023
405.18	o 42527
405.18	c 11021
405.84	o 42529
405.84	c 11019
406.39	o 42531
406.39	c 11017
407.00	o 42532
407.00	c 11016
407.58	o 42534
407.58	c 11014
408.20	o 42535
408.20	c 11013
408.78	o 42536
408.78	c 11012
409.40	o 42537
409.40	c 11011
409.95	o 42538
409.95	c 11010
411.12	o 42544
411.12	c 11004
411.69	o 42546
411.69	c 11002
412.91	o 42551
412.91	c 10997
413.53	o 42554
413.53	c 10994
414.19	o 42557
414.19	c 10991
414.81	o 42558
414.81	c 10990
415.42	o 42561
415.42	c 10987
416.69	o 42564
416.69	c 10984
417.30	o 42565
417.30	c 10983
418.55	o 42570
418.55	c 10978
419.17	o 42573
419.17	c 10975
419.75	o 42582
419.75	c 10966
420.38	o 42584
420.38	c 10964
420.96	o 42593
420.96	c 10955
421.63	o 42596
421.63	c 10952
422.23	o 42597
422.23	c 10951
422.87	o 42603
422.87	c 10945
426.56	o 42610
426.56	c 10938
427.82	o 42613
427.82	c 10935
428.41	o 42621
428.41	c 10927
429.06	o 42625
429.06	c 10923
429.64	o 42626
429.64	c 10922
431.47	o 42628
431.47	c 10920
432.62	o 42632
432.62	c 10916
433.16	o 42636
433.16	c 10912
434.87	o 42639
434.87	c 10909
436.06	o 42641
436.06	c 10907
436.63	o 42649
436.63	c 10899
437.20	o 42656
437.20	c 10892
437.86	o 42660
437.86	c 10888
438.48	o 42665
438.48	c 10883
439.69	o 42666
439.69	c 10882
440.25	o 42671
440.25	c 10877
440.90	o 42672
440.90	c 10876
441.53	o 42675
441.53	c 10873
442.17	o 42678
442.17	c 10870
443.45	o 42681
443.45	c 10867
444.05	o 42688
444.05	c 10860
444.71	o 42692
444.72	c 10856
445.40	o 42695
445.40	c 10853
446.05	o 42698
446.05	c 10850
447.27	o 42700
447.27	c 10848
447.90	o 42701
447.90	c 10847
448.48	o 42708
448.48	c 10840
449.06	o 42712
449.06	c 10836
449.62	o 42713
449.62	c 10835
450.17	o 42721
450.17	c 10827
451.32	o 42727
451.32	c 10821
452.43	o 42728
452.43	c 10820
452.99	o 42730
452.99	c 10818
453.56	o 42737
453.56	c 10811
454.11	o 42740
454.11	c 10808
455.24	o 42743
455.24	c 10805
456.35	o 42747
456.36	c 10801
456.92	o 42750
456.92	c 10798
457.49	o 42756
457.49	c 10792
458.03	o 42761
458.03	c 10787
458.58	o 42770
458.58	c 10778
459.13	o 42771
459.13	c 10777
459.73	o 42777
459.73	c 10771
460.35	o 42782
460.35	c 10766
460.94	o 42792
460.94	c 10756
462.19	o 42794
462.19	c 10754
462.83	o 42796
462.83	c 10752
463.51	o 42801
463.51	c 10747
464.13	o 42802
464.13	c 10746
464.76	o 42806
464.76	c 10742
465.43	o 42809
465.43	c 10739
466.09	o 42815
466.09	c 10733
466.71	o 42817
466.71	c 10731
467.35	o 42820
467.36	c 10728
468.06	o 42827
468.06	c 10721
468.77	o 42833
468.77	c 10715
469.44	o 42843
469.44	c 10705
470.11	o 42846
470.11	c 10702
470.76	o 42852
470.76	c 10696
471.29	o 42854
471.29	c 10694
472.52	o 42856
472.52	c 10692
473.15	o 42857
473.15	c 10691
473.72	o 42864
473.72	c 10684
475.05	o 42874
475.05	c 10674
475.67	o 42881
475.67	c 10667
476.33	o 42885
476.33	c 10663
476.97	o 42890
476.97	c 10658
477.64	o 42899
477.64	c 10649
478.25	o 42901
478.25	c 10647
478.91	o 42905
478.91	c 10643
479.56	o 42909
479.56	c 10639
480.17	o 42910
480.17	c 10638
483.48	o 42912
483.48	c 10636
484.14	o 42913
484.14	c 10635
485.55	o 42914
485.55	c 10634
487.53	o 42915
487.53	c 10633
488.18	o 42922
488.18	c 10626
490.65	o 42923
490.65	c 10625
491.27	o 42925
491.27	c 10623
491.91	o 42930
491.91	c 10618
493.03	o 42932
493.03	c 10616
493.63	o 42933
493.63	c 10615
494.26	o 42939
494.26	c 10609
494.83	o 42948
494.83	c 10600
495.41	o 42953
495.41	c 10595
495.99	o 42960
495.99	c 10588
496.51	o 42964
496.51	c 10584
497.12	o 42969
497.12	c 10579
497.83	o 42972
497.83	c 10576
498.46	o 42976
498.46	c 10572
499.16	o 42983
499.16	c 10565
499.76	o 42988
499.76	c 10560
500.41	o 42994
500.41	c 10554
501.04	o 42999
501.04	c 10549
501.66	o 43004
501.66	c 10544
502.32	o 43009
502.32	c 10539
502.94	o 43013
502.94	c 10535
503.57	o 43016
503.57	c 10532
504.24	o 43019
504.24	c 10529
504.88	o 43022
504.88	c 10526
505.54	o 43024
505.54	c 10524
506.18	o 43026
506.18	c 10522
506.86	o 43029
506.86	c 10519
507.44	o 43030
507.44	c 10518
508.03	o 43032
508.03	c 10516
508.62	o 43034
508.62	c 10514
509.21	o 43036
509.21	c 10512
509.86	o 43038
509.86	c 10510
510.43	o 43039
510.43	c 10509
511.02	o 43040
511.02	c 10508
511.61	o 43043
511.61	c 10505
512.20	o 43044
512.20	c 10504
512.84	o 43045
512.84	c 10503
515.20	o 43051
515.20	c 10497
515.78	o 43052
515.78	c 10496
516.41	o 43055
516.41	c 10493
517.03	o 43056
517.03	c 10492
517.63	o 43057
517.63	c 10491
518.81	o 43058
518.81	c 10490
519.41	o 43059
519.41	c 10489
520.55	o 43063
520.55	c 10485
521.15	o 43065
521.15	c 10483
524.03	o 43066
524.03	c 10482
524.50	o 43070
524.50	c 10478
527.23	o 43071
527.23	c 10477
527.75	o 43076
527.75	c 10472
528.29	o 43077
528.29	c 10471
528.82	o 43084
528.82	c 10464
529.29	o 43092
529.29	c 10456
529.81	o 43096
529.81	c 10452
530.83	o 43099
530.83	c 10449
531.39	o 43103
531.39	c 10445
532.03	o 43106
532.03	c 10442
532.55	o 43111
532.55	c 10437
533.14	o 43120
533.14	c 10428
533.72	o 43127
533.72	c 10421
534.26	o 43134
534.26	c 10414
535.52	o 43140
535.52	c 10408
536.11	o 43142
536.11	c 10406
537.33	o 43143
537.33	c 10405
537.93	o 43147
537.93	c 10401
538.54	o 43153
538.54	c 10395
539.68	o 43159
539.68	c 10389
540.18	o 43163
540.18	c 10385
542.43	o 43165
542.43	c 10383
542.95	o 43166
542.95	c 10382
543.51	o 43168
543.51	c 10380
544.68	o 43177
544.68	c 10371
545.25	o 43183
545.25	c 10365
545.85	o 43188
545.85	c 10360
546.44	o 43196
546.44	c 10352
546.98	o 43198
546.98	c 10350
547.57	o 43199
547.57	c 10349
548.13	o 43201
548.13	c 10347
548.75	o 43204
548.75	c 10344
549.28	o 43207
549.28	c 10341
549.82	o 43211
549.82	c 10337
550.80	o 43220
550.80	c 10328
551.37	o 43232
551.37	c 10316
551.90	o 43234
551.90	c 10314
552.44	o 43239
552.44	c 10309
553.03	o 43241
553.03	c 10307
553.59	o 43248
553.59	c 10300
554.18	o 43252
554.18	c 10296
554.79	o 43260
554.79	c 10288
555.32	o 43263
555.32	c 10285
555.91	o 43269
555.91	c 10279
557.07	o 43273
557.07	c 10275
557.63	o 43274
557.63	c 10274
558.21	o 43277
558.21	c 10271
558.82	o 43278
558.82	c 10270
561.16	o 43279
561.16	c 10269
561.75	o 43284
561.75	c 10264
562.98	o 43287
562.98	c 10261
564.29	o 43290
564.29	c 10258
564.90	o 43293
564.90	c 10255
565.57	o 43300
565.57	c 10248
566.22	o 43303
566.22	c 10245
566.81	o 43308
566.81	c 10240
568.13	o 43311
568.13	c 10237
569.39	o 43312
569.39	c 10236
570.05	o 43318
570.05	c 10230
572.05	o 43321
572.05	c 10227
572.67	o 43322
572.67	c 10226
573.32	o 43325
573.32	c 10223
574.03	o 43334
574.03	c 10214
574.65	o 43339
574.65	c 10209
575.35	o 43342
575.35	c 10206
576.70	o 43346
576.70	c 10202
578.77	o 43352
578.77	c 10196
579.45	o 43354
579.45	c 10194
580.14	o 43359
580.14	c 10189
580.84	o 43361
580.84	c 10187
582.23	o 43362
582.23	c 10186
582.93	o 43372
582.93	c 10176
583.66	o 43374
583.66	c 10174
584.34	o 43376
584.34	c 10172
585.04	o 43378
585.04	c 10170
585.72	o 43386
585.72	c 10162
586.42	o 43394
586.42	c 10154
587.18	o 43399
587.18	c 10149
587.90	o 43401
587.90	c 10147
588.65	o 43411
588.65	c 10137
589.42	o 43413
589.42	c 10135
593.68	o 43419
593.68	c 10129
594.40	o 43423
594.40	c 10125
595.07	o 43425
595.07	c 10123
597.34	o 43428
597.34	c 10120
598.12	o 43430
598.12	c 10118
601.52	o 43435
601.52	c 10113
602.89	o 43439
602.89	c 10109
604.12	o 43444
604.12	c 10104
604.76	o 43446
604.76	c 10102
605.38	o 43450
605.38	c 10098
606.61	o 43455
606.61	c 10093
607.28	o 43460
607.28	c 10088
608.57	o 43463
608.57	c 10085
609.25	o 43470
609.25	c 10078
611.64	o 43474
611.64	c 10074
612.27	o 43478
612.27	c 10070
612.84	o 43488
612.84	c 10060
615.45	o 43492
615.45	c 10056
616.09	o 43498
616.09	c 10050
616.72	o 43500
616.72	c 10048
619.28	o 43503
619.28	c 10045
620.53	o 43505
620.53	c 10043
621.22	o 43507
621.22	c 10041
622.61	o 43509
622.61	c 10039
623.29	o 43511
623.29	c 10037
623.92	o 43512
623.92	c 10036
624.81	o 43514
624.81	c 10034
625.60	o 43516
625.60	c 10032
626.28	o 43519
626.28	c 10029
626.95	o 43520
626.95	c 10028
627.73	o 43525
627.73	c 10023
628.50	o 43529
628.50	c 10019
629.25	o 43533
629.25	c 10015
629.98	o 43540
629.98	c 10008
630.72	o 43544
630.72	c 10004
631.49	o 43547
631.49	c 10001
632.28	o 43550
632.28	c 9998
633.80	o 43553
633.80	c 9995
634.52	o 43556
634.52	c 9992
635.33	o 43558
635.33	c 9990
636.07	o 43560
636.07	c 9988
637.61	o 43562
637.61	c 9986
638.37	o 43564
638.37	c 9984
639.13	o 43566
639.13	c 9982
639.90	o 43567
639.90	c 9981
640.67	o 43568
640.67	c 9980
641.43	o 43569
641.43	c 9979
642.26	o 43570
642.26	c 9978
643.03	o 43571
643.03	c 9977
643.77	o 43576
643.77	c 9972
644.55	o 43580
644.55	c 9968
646.79	o 43585
646.79	c 9963
651.37	o 43586
651.37	c 9962
652.87	o 43587
652.87	c 9961
654.35	o 43591
654.35	c 9957
655.14	o 43594
655.14	c 9954
655.97	o 43598
655.97	c 9950
656.74	o 43602
656.74	c 9946
657.54	o 43604
657.54	c 9944
658.31	o 43605
658.31	c 9943
659.13	o 43610
659.13	c 9938
659.90	o 43612
659.90	c 9936
662.22	o 43615
662.22	c 9933
666.14	o 43620
666.14	c 9928
666.98	o 43622
666.98	c 9926
667.81	o 43628
667.81	c 9920
669.53	o 43632
669.53	c 9916
671.24	o 43638
671.24	c 9910
672.93	o 43645
672.93	c 9903
673.76	o 43646
673.76	c 9902
674.57	o 43648
674.57	c 9900
676.30	o 43657
676.30	c 9891
677.15	o 43659
677.15	c 9889
677.96	o 43660
677.96	c 9888
678.77	o 43666
678.77	c 9882
679.60	o 43673
679.60	c 9875
680.42	o 43676
680.42	c 9872
681.29	o 43681
681.29	c 9867
682.13	o 43684
682.13	c 9864
682.98	o 43691
682.98	c 9857
683.80	o 43696
683.80	c 9852
684.60	o 43698
684.60	c 9850
685.44	o 43701
685.44	c 9847
686.24	o 43703
686.24	c 9845
687.02	o 43705
687.02	c 9843
687.84	o 43709
687.84	c 9839
688.66	o 43713
688.66	c 9835
690.33	o 43714
690.33	c 9834
691.13	o 43719
691.13	c 9829
691.97	o 43722
691.97	c 9826
693.74	o 43725
693.74	c 9823
694.63	o 43728
694.63	c 9820
695.46	o 43733
695.46	c 9815
696.36	o 43735
696.36	c 9813
697.32	o 43736
697.32	c 9812
698.23	o 43745
698.23	c 9803
699.19	o 43747
699.19	c 9801
700.12	o 43753
700.12	c 9795
701.04	o 43762
701.04	c 9786
703.88	o 43770
703.88	c 9778
704.80	o 43771
704.80	c 9777
705.75	o 43772
705.75	c 9776
709.35	o 43774
709.35	c 9774
710.28	o 43776
710.28	c 9772
711.21	o 43782
711.21	c 9766
712.10	o 43787
712.10	c 9761
713.00	o 43791
713.00	c 9757
713.95	o 43793
713.95	c 9755
714.85	o 43798
714.85	c 9750
715.79	o 43801
715.79	c 9747
716.76	o 43804
716.76	c 9744
717.70	o 43807
717.70	c 9741
718.72	o 43809
718.72	c 9739
719.72	o 43818
719.72	c 9730
720.65	o 43827
720.65	c 9721
721.58	o 43830
721.58	c 9718
722.55	o 43832
722.55	c 9716
724.50	o 43837
724.50	c 9711
727.42	o 43842
727.42	c 9706
728.41	o 43850
728.41	c 9698
729.32	o 43851
729.32	c 9697
730.30	o 43855
730.30	c 9693
731.23	o 43858
731.23	c 9690
732.17	o 43862
732.17	c 9686
733.12	o 43865
733.12	c 9683
734.06	o 43872
734.06	c 9676
734.96	o 43876
734.96	c 9672
737.74	o 43879
737.74	c 9669
738.64	o 43882
738.64	c 9666
739.55	o 43887
739.55	c 9661
740.40	o 43896
740.40	c 9652
741.35	o 43898
741.35	c 9650
742.25	o 43902
742.25	c 9646
745.84	o 43905
745.84	c 9643
746.75	o 43906
746.75	c 9642
747.62	o 43910
747.62	c 9638
748.53	o 43913
748.53	c 9635
749.40	o 43920
749.40	c 9628
750.25	o 43922
750.25	c 9626
751.16	o 43924
751.16	c 9624
753.01	o 43928
753.01	c 9620
754.93	o 43929
754.93	c 9619
755.91	o 43936
755.91	c 9612
756.84	o 43937
756.84	c 9611
757.76	o 43939
757.76	c 9609
759.56	o 43943
759.56	c 9605
760.51	o 43946
760.51	c 9602
761.43	o 43951
761.43	c 9597
762.33	o 43954
762.33	c 9594
764.24	o 43958
764.24	c 9590
767.05	o 43965
767.05	c 9583
767.97	o 43968
767.97	c 9580
770.78	o 43973
770.78	c 9575
773.37	o 43976
773.37	c 9572
773.86	o 43979
773.86	c 9569
775.50	o 43982
775.50	c 9566
776.33	o 43986
776.33	c 9562
777.21	o 43989
777.21	c 9559
778.08	o 43992
778.08	c 9556
780.46	o 43998
780.46	c 9550
782.14	o 44002
782.14	c 9546
782.96	o 44003
782.96	c 9545
783.79	o 44004
783.79	c 9544
784.60	o 44006
784.60	c 9542
787.10	o 44008
787.10	c 9540
788.71	o 44010
788.71	c 9538
789.58	o 44015
789.58	c 9533
790.44	o 44016
790.44	c 9532
791.28	o 44018
791.28	c 9530
792.19	o 44023
792.19	c 9525
794.74	o 44029
794.74	c 9519
795.57	o 44030
795.57	c 9518
796.35	o 44032
796.35	c 9516
798.04	o 44034
798.04	c 9514
801.53	o 44037
801.53	c 9511
802.41	o 44039
802.41	c 9509
803.25	o 44040
803.25	c 9508
804.06	o 44043
804.06	c 9505
804.88	o 44046
804.88	c 9502
805.72	o 44051
805.72	c 9497
806.53	o 44052
806.53	c 9496
807.34	o 44057
807.34	c 9491
808.15	o 44059
808.15	c 9489
810.69	o 44063
810.69	c 9485
811.52	o 44067
811.52	c 9481
812.28	o 44068
812.28	c 9480
813.14	o 44069
813.14	c 9479
813.96	o 44075
813.96	c 9473
814.82	o 44076
814.82	c 9472
815.67	o 44077
815.67	c 9471
816.51	o 44079
816.51	c 9469
817.34	o 44082
817.34	c 9466
818.20	o 44086
818.20	c 9462
819.06	o 44091
819.06	c 9457
820.77	o 44098
820.77	c 9450
823.42	o 44106
823.42	c 9442
824.20	o 44115
824.20	c 9433
825.03	o 44116
825.03	c 9432
825.86	o 44123
825.86	c 9425
826.72	o 44126
826.72	c 9422
827.59	o 44131
827.59	c 9417
828.45	o 44133
828.45	c 9415
829.01	o 44134
829.01	c 9414
829.82	o 44142
829.82	c 9406
830.69	o 44145
830.69	c 9403
831.51	o 44149
831.51	c 9399
832.37	o 44152
832.37	c 9396
834.04	o 44155
834.04	c 9393
834.97	o 44157
834.97	c 9391
835.87	o 44160
835.87	c 9388
837.60	o 44162
837.60	c 9386
838.47	o 44169
838.47	c 9379
839.33	o 44171
839.33	c 9377
841.00	o 44173
841.00	c 9375
841.92	o 44180
841.92	c 9368
842.84	o 44182
842.84	c 9366
843.74	o 44188
843.74	c 9360
845.59	o 44189
845.59	c 9359
846.53	o 44193
846.53	c 9355
848.26	o 44198
848.26	c 9350
849.99	o 44203
849.99	c 9345
850.83	o 44207
850.83	c 9341
851.70	o 44215
851.70	c 9333
852.59	o 44219
852.59	c 9329
853.47	o 44222
853.47	c 9326
854.39	o 44225
854.39	c 9323
855.32	o 44227
855.32	c 9321
856.27	o 44229
856.27	c 9319
862.33	o 44230
862.33	c 9318
864.03	o 44234
864.03	c 9314
866.66	o 44239
866.66	c 9309
867.51	o 44245
867.51	c 9303
869.31	o 44255
869.31	c 9293
870.27	o 44259
870.27	c 9289
871.13	o 44260
871.13	c 9288
873.87	o 44264
873.87	c 9284
876.57	o 44265
876.57	c 9283
877.45	o 44271
877.45	c 9277
880.19	o 44274
880.19	c 9274
881.12	o 44280
881.12	c 9268
882.01	o 44283
882.01	c 9265
882.85	o 44286
882.85	c 9262
883.75	o 44289
883.75	c 9259
887.31	o 44303
887.31	c 9245
888.18	o 44307
888.18	c 9241
889.07	o 44308
889.07	c 9240
889.95	o 44309
889.95	c 9239
891.79	o 44312
891.80	c 9236
892.67	o 44314
892.67	c 9234
894.56	o 44318
894.56	c 9230
895.43	o 44324
895.43	c 9224
896.39	o 44325
896.39	c 9223
897.37	o 44327
897.37	c 9221
898.28	o 44332
898.28	c 9216
899.20	o 44335
899.20	c 9213
900.13	o 44342
900.13	c 9206
901.08	o 44345
901.08	c 9203
902.07	o 44351
902.07	c 9197
903.06	o 44356
903.06	c 9192
904.02	o 44360
904.02	c 9188
905.91	o 44366
905.91	c 9182
906.91	o 44367
906.91	c 9181
907.87	o 44368
907.87	c 9180
908.85	o 44373
908.85	c 9175
909.75	o 44382
909.75	c 9166
910.71	o 44385
910.71	c 9163
911.68	o 44388
911.68	c 9160
914.55	o 44389
914.55	c 9159
916.52	o 44392
916.52	c 9156
917.45	o 44399
917.45	c 9149
919.17	o 44407
919.17	c 9141
921.05	o 44412
921.05	c 9136
921.99	o 44414
921.99	c 9134
923.80	o 44416
923.80	c 9132
924.72	o 44422
924.72	c 9126
925.69	o 44426
925.69	c 9122
926.62	o 44427
926.62	c 9121
927.55	o 44430
927.55	c 9118
928.48	o 44432
928.48	c 9116
931.28	o 44433
931.28	c 9115
932.23	o 44434
932.23	c 9114
934.07	o 44439
934.07	c 9109
935.90	o 44441
935.90	c 9107
936.85	o 44445
936.85	c 9103
937.81	o 44449
937.81	c 9099
938.73	o 44451
938.73	c 9097
939.64	o 44457
939.64	c 9091
940.52	o 44458
940.52	c 9090
941.46	o 44461
941.46	c 9087
942.40	o 44463
942.40	c 9085
945.37	o 44467
945.37	c 9081
948.37	o 44472
948.37	c 9076
949.32	o 44479
949.32	c 9069
952.28	o 44482
952.28	c 9066
953.32	o 44486
953.32	c 9062
954.32	o 44487
954.32	c 9061
955.29	o 44493
955.29	c 9055
956.30	o 44494
956.30	c 9054
957.28	o 44497
957.28	c 9051
958.23	o 44499
958.23	c 9049
959.27	o 44501
959.27	c 9047
960.31	o 44502
960.31	c 9046
961.41	o 44503
961.41	c 9045
962.46	o 44505
962.46	c 9043
963.53	o 44507
963.53	c 9041
964.57	o 44512
964.57	c 9036
965.61	o 44519
965.61	c 9029
966.69	o 44522
966.70	c 9026
974.10	o 44523
974.10	c 9025
975.16	o 44525
975.16	c 9023
976.16	o 44527
976.16	c 9021
980.23	o 44530
980.23	c 9018
981.32	o 44531
981.32	c 9017
982.38	o 44534
982.38	c 9014
983.39	o 44539
983.39	c 9009
984.46	o 44542
984.46	c 9006
985.10	o 44544
985.10	c 9004
986.12	o 44549
986.12	c 8999
987.16	o 44550
987.16	c 8998
988.12	o 44557
988.12	c 8991
989.11	o 44558
989.11	c 8990
990.06	o 44564
990.06	c 8984
991.06	o 44568
991.06	c 8980
992.98	o 44570
992.98	c 8978
994.92	o 44572
994.92	c 8976
995.89	o 44574
995.89	c 8974
996.86	o 44575
996.86	c 8973
997.80	o 44579
997.80	c 8969
999.80	o 44586
999.80	c 8962
1000.80	o 44587
1000.80	c 8961
1001.77	o 44593
1001.77	c 8955
1002.73	o 44594
1002.73	c 8954
1003.73	o 44596
1003.73	c 8952
1004.73	o 44602
1004.73	c 8946
1005.70	o 44605
1005.70	c 8943
1006.68	o 44606
1006.68	c 8942
1007.69	o 44608
1007.69	c 8940
1008.67	o 44611
1008.67	c 8937
1009.68	o 44614
1009.68	c 8934
1011.70	o 44616
1011.70	c 8932
1015.30	o 44619
1015.30	c 8929
1016.29	o 44622
1016.29	c 8926
1017.28	o 44624
1017.28	c 8924
1019.24	o 44625
1019.24	c 8923
1020.20	o 44631
1020.20	c 8917
1021.15	o 44635
1021.15	c 8913
1022.15	o 44636
1022.15	c 8912
1023.11	o 44639
1023.11	c 8909
1024.06	o 44640
1024.06	c 8908
1025.06	o 44641
1025.06	c 8907
1026.06	o 44645
1026.06	c 8903
1027.04	o 44648
1027.04	c 8900
1028.03	o 44652
1028.03	c 8896
1028.99	o 44654
1028.99	c 8894
1029.97	o 44659
1029.97	c 8889
1030.92	o 44664
1030.92	c 8884
1031.93	o 44666
1031.93	c 8882
1034.00	o 44667
1034.00	c 8881
1035.01	o 44675
1035.01	c 8873
1036.02	o 44678
1036.02	c 8870
1037.00	o 44681
1037.00	c 8867
1038.04	o 44683
1038.04	c 8865
1039.05	o 44687
1039.05	c 8861
1042.01	o 44691
1042.01	c 8857
1042.88	o 44693
1042.88	c 8855
1043.89	o 44703
1043.89	c 8845
1055.83	o 44710
1055.83	c 8838
1056.85	o 44715
1056.85	c 8833
1057.96	o 44719
1057.96	c 8829
1058.99	o 44720
1058.99	c 8828
1060.06	o 44723
1060.06	c 8825
1061.10	o 44727
1061.10	c 8821
1062.17	o 44728
1062.17	c 8820
1063.24	o 44734
1063.24	c 8814
1064.09	o 44737
1064.09	c 8811
1069.14	o 44740
1069.14	c 8808
1070.16	o 44748
1070.16	c 8800
1071.23	o 44754
1071.23	c 8794
1072.28	o 44760
1072.28	c 8788
1073.30	o 44762
1073.30	c 8786
1074.34	o 44767
1074.34	c 8781
1075.39	o 44768
1075.39	c 8780
1079.33	o 44770
1079.33	c 8778
1080.33	o 44771
1080.33	c 8777
1081.31	o 44773
1081.31	c 8775
1083.28	o 44774
1083.28	c 8774
1084.30	o 44775
1084.30	c 8773
1086.26	o 44778
1086.26	c 8770
1088.16	o 44779
1088.16	c 8769
1089.12	o 44782
1089.12	c 8766
1090.09	o 44792
1090.09	c 8756
1091.03	o 44793
1091.04	c 8755
1092.00	o 44796
1092.00	c 8752
1093.93	o 44797
1093.93	c 8751
1095.88	o 44805
1095.88	c 8743
1097.80	o 44806
1097.80	c 8742
1098.80	o 44808
1098.80	c 8740
1099.76	o 44809
1099.76	c 8739
1100.74	o 44810
1100.74	c 8738
1101.74	o 44812
1101.74	c 8736
1102.80	o 44813
1102.80	c 8735
1103.77	o 44820
1103.77	c 8728
1104.79	o 44822
1104.79	c 8726
1106.80	o 44828
1106.80	c 8720
1107.77	o 44834
1107.77	c 8714
1109.73	o 44836
1109.73	c 8712
1114.62	o 44837
1114.62	c 8711
1116.50	o 44840
1116.50	c 8708
1117.49	o 44845
1117.49	c 8703
1118.52	o 44851
1118.52	c 8697
1119.57	o 44854
1119.57	c 8694
1120.60	o 44855
1120.60	c 8693
1121.57	o 44858
1121.57	c 8690
1122.60	o 44861
1122.60	c 8687
1123.59	o 44869
1123.59	c 8679
1126.55	o 44873
1126.55	c 8675
1127.51	o 44877
1127.51	c 8671
1128.52	o 44880
1128.52	c 8668
1129.53	o 44882
1129.53	c 8666
1130.52	o 44887
1130.52	c 8661
1131.52	o 44889
1131.52	c 8659
1132.53	o 44894
1132.53	c 8654
1133.61	o 44897
1133.61	c 8651
1134.60	o 44901
1134.60	c 8647
1135.63	o 44903
1135.63	c 8645
1136.64	o 44905
1136.64	c 8643
1137.64	o 44906
1137.64	c 8642
1138.65	o 44907
1138.65	c 8641
1139.67	o 44908
1139.67	c 8640
1140.72	o 44909
1140.72	c 8639
1143.74	o 44914
1143.74	c 8634
1144.73	o 44918
1144.73	c 8630
1146.84	o 44924
1146.84	c 8624
1147.86	o 44925
1147.86	c 8623
1148.93	o 44928
1148.93	c 8620
1149.92	o 44933
1149.92	c 8615
1151.98	o 44937
1151.98	c 8611
1153.06	o 44941
1153.06	c 8607
1155.18	o 44945
1155.18	c 8603
1156.25	o 44947
1156.25	c 8601
1157.29	o 44950
1157.29	c 8598
1158.37	o 44954
1158.37	c 8594
1159.43	o 44955
1159.43	c 8593
1160.50	o 44959
1160.50	c 8589
1161.60	o 44965
1161.60	c 8583
1162.74	o 44974
1162.74	c 8574
1163.86	o 44976
1163.86	c 8572
1164.97	o 44980
1164.97	c 8568
1166.97	o 44985
1166.97	c 8563
1168.04	o 44986
1168.04	c 8562
1169.19	o 44991
1169.19	c 8557
1170.31	o 44993
1170.31	c 8555
1172.45	o 44995
1172.45	c 8553
1173.54	o 44997
1173.54	c 8551
1174.63	o 45001
1174.63	c 8547
1175.72	o 45004
1175.72	c 8544
1176.85	o 45008
1176.85	c 8540
1177.94	o 45016
1177.94	c 8532
1179.06	o 45022
1179.06	c 8526
1180.17	o 45027
1180.17	c 8521
1183.40	o 45030
1183.40	c 8518
1185.43	o 45032
1185.43	c 8516
1188.63	o 45039
1188.63	c 8509
1189.65	o 45049
1189.65	c 8499
1190.72	o 45052
1190.72	c 8496
1194.96	o 45055
1194.96	c 8493
1196.05	o 45060
1196.05	c 8488
1197.08	o 45064
1197.08	c 8484
1198.09	o 45069
1198.09	c 8479
1199.12	o 45071
1199.12	c 8477
1200.26	o 45072
1200.26	c 8476
1202.40	o 45074
1202.40	c 8474
1203.43	o 45078
1203.43	c 8470
1204.45	o 45084
1204.45	c 8464
1205.50	o 45085
1205.50	c 8463
1206.55	o 45086
1206.55	c 8462
1207.59	o 45090
1207.59	c 8458
1208.63	o 45095
1208.63	c 8453
1209.72	o 45099
1209.72	c 8449
1210.80	o 45104
1210.80	c 8444
1212.99	o 45106
1212.99	c 8442
1214.16	o 45109
1214.16	c 8439
1215.25	o 45111
1215.25	c 8437
1216.35	o 45112
1216.35	c 8436
1217.42	o 45117
1217.42	c 8431
1218.50	o 45120
1218.50	c 8428
1220.72	o 45122
1220.72	c 8426
1221.79	o 45131
1221.79	c 8417
1222.91	o 45135
1222.91	c 8413
1224.07	o 45138
1224.07	c 8410
1231.66	o 45141
1231.66	c 8407
1232.73	o 45144
1232.73	c 8404
1234.83	o 45152
1234.83	c 8396
1235.91	o 45154
1235.91	c 8394
1242.56	o 45156
1242.56	c 8392
1245.83	o 45158
1245.83	c 8390
1246.92	o 45160
1246.92	c 8388
1248.03	o 45163
1248.03	c 8385
1249.13	o 45166
1249.13	c 8382
1250.22	o 45168
1250.22	c 8380
1251.38	o 45169
1251.38	c 8379
1252.49	o 45172
1252.49	c 8376
1253.60	o 45173
1253.60	c 8375
1254.75	o 45174
1254.75	c 8374
1256.99	o 45181
1256.99	c 8367
1258.17	o 45193
1258.17	c 8355
1259.36	o 45194
1259.36	c 8354
1260.57	o 45199
1260.57	c 8349
1261.80	o 45200
1261.80	c 8348
1262.98	o 45201
1262.98	c 8347
1264.20	o 45206
1264.20	c 8342
1265.44	o 45209
1265.44	c 8339
1266.63	o 45213
1266.63	c 8335
1270.15	o 45216
1270.15	c 8332
1271.12	o 45225
1271.12	c 8323
1275.62	o 45230
1275.62	c 8318
1276.76	o 45232
1276.76	c 8316
1277.85	o 45234
1277.85	c 8314
1280.08	o 45237
1280.08	c 8311
1281.26	o 45247
1281.26	c 8301
1282.41	o 45250
1282.41	c 8298
1283.67	o 45251
1283.67	c 8297
1284.80	o 45254
1284.80	c 8294
1285.93	o 45255
1285.93	c 8293
1287.10	o 45258
1287.10	c 8290
1288.28	o 45259
1288.28	c 8289
1290.67	o 45264
1290.67	c 8284
1291.87	o 45266
1291.87	c 8282
1293.11	o 45271
1293.11	c 8277
1296.88	o 45275
1296.88	c 8273
1298.19	o 45276
1298.19	c 8272
1299.42	o 45279
1299.42	c 8269
1301.90	o 45281
1301.90	c 8267
1303.13	o 45282
1303.13	c 8266
1304.43	o 45285
1304.43	c 8263
1305.66	o 45289
1305.66	c 8259
1308.14	o 45296
1308.14	c 8252
1309.36	o 45299
1309.36	c 8249
1310.60	o 45301
1310.60	c 8247
1311.81	o 45303
1311.81	c 8245
1313.02	o 45304
1313.02	c 8244
1314.21	o 45306
1314.21	c 8242
1315.41	o 45309
1315.41	c 8239
1316.64	o 45315
1316.64	c 8233
1317.86	o 45317
1317.86	c 8231
1319.11	o 45322
1319.11	c 8226
1320.31	o 45327
1320.31	c 8221
1322.74	o 45329
1322.74	c 8219
1323.97	o 45330
1323.97	c 8218
1325.16	o 45334
1325.16	c 8214
1326.36	o 45336
1326.36	c 8212
1327.52	o 45342
1327.52	c 8206
1328.70	o 45344
1328.70	c 8204
1329.90	o 45349
1329.90	c 8199
1332.22	o 45354
1332.22	c 8194
1333.40	o 45357
1333.40	c 8191
1334.59	o 45359
1334.59	c 8189
1335.77	o 45366
1335.77	c 8182
1336.63	o 45371
1336.63	c 8177
1338.99	o 45374
1338.99	c 8174
1340.17	o 45378
1340.17	c 8170
1341.35	o 45380
1341.35	c 8168
1342.56	o 45382
1342.56	c 8166
1343.75	o 45390
1343.75	c 8158
1344.78	o 45398
1344.78	c 8150
1348.14	o 45399
1348.14	c 8149
1349.25	o 45404
1349.25	c 8144
1350.43	o 45409
1350.43	c 8139
1351.17	o 45420
1351.17	c 8128
1352.27	o 45430
1352.27	c 8118
1353.37	o 45431
1353.37	c 8117
1354.47	o 45433
1354.47	c 8115
1358.80	o 45434
1358.80	c 8114
1359.90	o 45435
1359.90	c 8113
1362.09	o 45440
1362.09	c 8108
1364.31	o 45446
1364.31	c 8102
1365.40	o 45447
1365.40	c 8101
1367.59	o 45448
1367.59	c 8100
1368.66	o 45450
1368.66	c 8098
1369.76	o 45454
1369.76	c 8094
1370.84	o 45459
1370.84	c 8089
1371.94	o 45462
1371.94	c 8086
1373.03	o 45463
1373.03	c 8085
1377.52	o 45468
1377.52	c 8080
1379.67	o 45469
1379.67	c 8079
1380.75	o 45471
1380.75	c 8077
1381.83	o 45473
1381.83	c 8075
1382.88	o 45477
1382.88	c 8071
1385.02	o 45482
1385.02	c 8066
1386.11	o 45485
1386.11	c 8063
1390.54	o 45488
1390.54	c 8060
1391.67	o 45493
1391.67	c 8055
1392.77	o 45499
1392.77	c 8049
1393.84	o 45504
1393.84	c 8044
1394.94	o 45509
1394.94	c 8039
1396.05	o 45513
1396.05	c 8035
1397.18	o 45520
1397.18	c 8028
1398.29	o 45523
1398.29	c 8025
1399.41	o 45525
1399.41	c 8023
1400.49	o 45526
1400.49	c 8022
1402.80	o 45529
1402.80	c 8019
1403.93	o 45534
1403.93	c 8014
1405.02	o 45539
1405.02	c 8009
1406.15	o 45542
1406.15	c 8006
1407.22	o 45546
1407.22	c 8002
1409.40	o 45552
1409.40	c 7996
1411.50	o 45557
1411.50	c 7991
1412.62	o 45558
1412.62	c 7990
1414.84	o 45562
1414.84	c 7986
1415.95	o 45563
1415.95	c 7985
1417.16	o 45573
1417.16	c 7975
1418.17	o 45576
1418.17	c 7972
1419.35	o 45585
1419.35	c 7963
1420.52	o 45589
1420.52	c 7959
1421.73	o 45591
1421.73	c 7957
1422.93	o 45593
1422.93	c 7955
1424.14	o 45598
1424.14	c 7950
1425.32	o 45600
1425.32	c 7948
1426.49	o 45609
1426.49	c 7939
1427.70	o 45610
1427.70	c 7938
1428.89	o 45612
1428.89	c 7936
1430.05	o 45613
1430.05	c 7935
1431.17	o 45619
1431.17	c 7929
1435.74	o 45621
1435.74	c 7927
1436.91	o 45626
1436.91	c 7922
1439.29	o 45632
1439.29	c 7916
1445.05	o 45637
1445.05	c 7911
1446.19	o 45639
1446.19	c 7909
1447.32	o 45642
1447.32	c 7906
1449.59	o 45643
1449.59	c 7905
1450.72	o 45647
1450.72	c 7901
1451.87	o 45650
1451.87	c 7898
1453.01	o 45653
1453.01	c 7895
1454.18	o 45657
1454.18	c 7891
1455.38	o 45666
1455.38	c 7882
1456.59	o 45667
1456.59	c 7881
1462.39	o 45668
1462.39	c 7880
1463.50	o 45675
1463.50	c 7873
1464.59	o 45678
1464.59	c 7870
1471.24	o 45683
1471.24	c 7865
1472.36	o 45686
1472.36	c 7862
1473.48	o 45688
1473.48	c 7860
1474.62	o 45691
1474.62	c 7857
1477.85	o 45698
1477.85	c 7850
1478.99	o 45700
1478.99	c 7848
1480.16	o 45701
1480.16	c 7847
1481.31	o 45703
1481.31	c 7845
1482.53	o 45706
1482.53	c 7842
1484.95	o 45708
1484.95	c 7840
1486.15	o 45713
1486.15	c 7835
1487.32	o 45714
1487.32	c 7834
1488.49	o 45720
1488.49	c 7828
1489.65	o 45725
1489.65	c 7823
1492.02	o 45732
1492.02	c 7816
1493.20	o 45736
1493.20	c 7812
1494.35	o 45741
1494.35	c 7807
1495.51	o 45743
1495.51	c 7805
1496.69	o 45744
1496.70	c 7804
1497.85	o 45748
1497.85	c 7800
1500.33	o 45751
1500.33	c 7797
1501.50	o 45753
1501.50	c 7795
1502.70	o 45754
1502.70	c 7794
1503.92	o 45760
1503.92	c 7788
1505.16	o 45765
1505.16	c 7783
1506.37	o 45766
1506.37	c 7782
1507.53	o 45767
1507.53	c 7781
1508.73	o 45769
1508.73	c 7779
1509.98	o 45771
1509.98	c 7777
1511.21	o 45772
1511.21	c 7776
1512.24	o 45778
1512.24	c 7770
1513.49	o 45783
1513.49	c 7765
1517.08	o 45785
1517.08	c 7763
1518.37	o 45787
1518.37	c 7761
1519.62	o 45789
1519.62	c 7759
1520.85	o 45790
1520.85	c 7758
1525.46	o 45791
1525.46	c 7757
1526.70	o 45796
1526.70	c 7752
1533.50	o 45800
1533.50	c 7748
1535.89	o 45804
1535.89	c 7744
1538.28	o 45805
1538.28	c 7743
1540.73	o 45812
1540.73	c 7736
1541.91	o 45817
1541.91	c 7731
1543.15	o 45819
1543.15	c 7729
1544.34	o 45822
1544.34	c 7726
1545.53	o 45825
1545.53	c 7723
1546.72	o 45828
1546.72	c 7720
1547.94	o 45831
1547.94	c 7717
1552.68	o 45836
1552.68	c 7712
1553.88	o 45838
1553.88	c 7710
1555.08	o 45839
1555.08	c 7709
1556.28	o 45840
1556.28	c 7708
1559.87	o 45844
1559.87	c 7704
1562.21	o 45846
1562.21	c 7702
1563.38	o 45850
1563.38	c 7698
1565.73	o 45852
1565.73	c 7696
1569.20	o 45853
1569.20	c 7695
1570.38	o 45855
1570.38	c 7693
1571.53	o 45858
1571.53	c 7690
1572.69	o 45862
1572.69	c 7686
1580.82	o 45866
1580.82	c 7682
1581.97	o 45869
1581.97	c 7679
1584.37	o 45871
1584.37	c 7677
1585.58	o 45874
1585.58	c 7674
1587.97	o 45877
1587.97	c 7671
1589.22	o 45880
1589.22	c 7668
1591.57	o 45884
1591.57	c 7664
1592.73	o 45888
1592.73	c 7660
1593.88	o 45894
1593.88	c 7654
1595.02	o 45895
1595.02	c 7653
1596.17	o 45906
1596.17	c 7642
1597.32	o 45908
1597.32	c 7640
1598.50	o 45909
1598.50	c 7639
1602.06	o 45912
1602.06	c 7636
1603.21	o 45913
1603.21	c 7635
1604.36	o 45915
1604.36	c 7633
1606.69	o 45916
1606.69	c 7632
1607.76	o 45920
1607.76	c 7628
1609.00	o 45922
1609.00	c 7626
1610.17	o 45928
1610.17	c 7620
1612.62	o 45930
1612.62	c 7618
1613.79	o 45933
1613.79	c 7615
1614.94	o 45937
1614.94	c 7611
1616.15	o 45941
1616.15	c 7607
1624.12	o 45944
1624.12	c 7604
1626.42	o 45947
1626.42	c 7601
1627.62	o 45949
1627.62	c 7599
1628.83	o 45954
1628.83	c 7594
1630.07	o 45956
1630.07	c 7592
1632.49	o 45960
1632.49	c 7588
1633.74	o 45964
1633.74	c 7584
1634.88	o 45970
1634.88	c 7578
1636.05	o 45972
1636.05	c 7576
1639.70	o 45977
1639.70	c 7571
1646.91	o 45980
1646.91	c 7568
1649.27	o 45983
1649.27	c 7565
1650.47	o 45984
1650.47	c 7564
1651.62	o 45991
1651.62	c 7557
1652.82	o 45996
1652.82	c 7552
1653.99	o 45997
1653.99	c 7551
1655.19	o 45999
1655.19	c 7549
1657.59	o 46003
1657.59	c 7545
1660.02	o 46004
1660.02	c 7544
1661.24	o 46007
1661.24	c 7541
1662.51	o 46010
1662.51	c 7538
1667.50	o 46018
1667.50	c 7530
1668.69	o 46020
1668.69	c 7528
1673.67	o 46021
1673.67	c 7527
1674.90	o 46023
1674.90	c 7525
1675.82	o 46024
1675.82	c 7524
1678.05	o 46026
1678.05	c 7522
1679.25	o 46027
1679.25	c 7521
1680.56	o 46030
1680.56	c 7518
1683.01	o 46033
1683.01	c 7515
1686.74	o 46036
1686.74	c 7512
1691.62	o 46042
1691.62	c 7506
1692.78	o 46048
1692.78	c 7500
1693.99	o 46052
1693.99	c 7496
1695.16	o 46054
1695.16	c 7494
1697.57	o 46056
1697.57	c 7492
1701.28	o 46061
1701.28	c 7487
1702.53	o 46064
1702.53	c 7484
1704.94	o 46065
1704.94	c 7483
1709.71	o 46066
1709.71	c 7482
1710.79	o 46069
1710.79	c 7479
1711.94	o 46072
1711.94	c 7476
1714.33	o 46074
1714.33	c 7474
1715.52	o 46077
1715.52	c 7471
1716.78	o 46081
1716.78	c 7467
1718.09	o 46082
1718.09	c 7466
1719.37	o 46083
1719.37	c 7465
1724.32	o 46085
1724.32	c 7463
1725.58	o 46086
1725.58	c 7462
1726.82	o 46087
1726.82	c 7461
1728.06	o 46092
1728.06	c 7456
1729.30	o 46093
1729.30	c 7455
1730.53	o 46097
1730.53	c 7451
1732.99	o 46101
1732.99	c 7447
1736.76	o 46104
1736.76	c 7444
1738.07	o 46107
1738.07	c 7441
1739.32	o 46109
1739.32	c 7439
1740.62	o 46111
1740.62	c 7437
1743.17	o 46112
1743.17	c 7436
1744.47	o 46115
1744.47	c 7433
1747.01	o 46119
1747.01	c 7429
1748.22	o 46121
1748.22	c 7427
1750.67	o 46124
1750.67	c 7424
1751.90	o 46126
1751.90	c 7422
1753.15	o 46129
1753.15	c 7419
1755.70	o 46131
1755.70	c 7417
1756.96	o 46138
1756.96	c 7410
1758.28	o 46139
1758.28	c 7409
1760.87	o 46141
1760.87	c 7407
1762.16	o 46143
1762.16	c 7405
1763.46	o 46145
1763.46	c 7403
1764.77	o 46155
1764.77	c 7393
1766.13	o 46156
1766.13	c 7392
1771.34	o 46158
1771.34	c 7390
1773.90	o 46159
1773.90	c 7389
1775.21	o 46160
1775.21	c 7388
1776.52	o 46161
1776.52	c 7387
1777.83	o 46164
1777.83	c 7384
1779.14	o 46166
1779.14	c 7382
1780.47	o 46170
1780.47	c 7378
1781.79	o 46171
1781.79	c 7377
1783.10	o 46179
1783.10	c 7369
1784.43	o 46181
1784.43	c 7367
1787.09	o 46182
1787.09	c 7366
1789.73	o 46185
1789.73	c 7363
1791.06	o 46186
1791.06	c 7362
1793.65	o 46190
1793.65	c 7358
1794.96	o 46193
1794.96	c 7355
1796.30	o 46194
1796.30	c 7354
1805.57	o 46195
1805.57	c 7353
1806.93	o 46196
1806.93	c 7352
1808.28	o 46199
1808.28	c 7349
1809.60	o 46201
1809.60	c 7347
1810.87	o 46206
1810.87	c 7342
1812.20	o 46211
1812.20	c 7337
1816.08	o 46212
1816.08	c 7336
1817.34	o 46215
1817.34	c 7333
1818.61	o 46217
1818.61	c 7331
1819.89	o 46218
1819.89	c 7330
1822.45	o 46220
1822.45	c 7328
1823.77	o 46223
1823.77	c 7325
1824.90	o 46227
1824.90	c 7321
1826.17	o 46229
1826.17	c 7319
1828.78	o 46231
1828.78	c 7317
1831.34	o 46232
1831.34	c 7316
1832.58	o 46236
1832.58	c 7312
1835.12	o 46238
1835.12	c 7310
1836.41	o 46239
1836.41	c 7309
1840.21	o 46243
1840.21	c 7305
1841.52	o 46247
1841.52	c 7301
1842.75	o 46250
1842.75	c 7298
1843.97	o 46253
1843.97	c 7295
1845.22	o 46255
1845.22	c 7293
1846.41	o 46258
1846.41	c 7290
1847.62	o 46267
1847.62	c 7281
1849.93	o 46270
1849.93	c 7278
1851.14	o 46274
1851.14	c 7274
1855.95	o 46278
1855.95	c 7270
1857.20	o 46285
1857.20	c 7263
1858.42	o 46287
1858.42	c 7261
1859.60	o 46289
1859.60	c 7259
1863.23	o 46290
1863.23	c 7258
1864.47	o 46294
1864.47	c 7254
1868.11	o 46297
1868.11	c 7251
1869.31	o 46299
1869.31	c 7249
1871.75	o 46303
1871.75	c 7245
1878.92	o 46304
1878.92	c 7244
1880.11	o 46305
1880.11	c 7243
1881.28	o 46310
1881.28	c 7238
1888.40	o 46313
1888.40	c 7235
1889.61	o 46316
1889.61	c 7232
1890.78	o 46321
1890.78	c 7227
1891.95	o 46328
1891.95	c 7220
1893.92	o 46329
1893.92	c 7219
1895.08	o 46330
1895.08	c 7218
1896.31	o 46334
1896.31	c 7214
1898.61	o 46337
1898.61	c 7211
1899.83	o 46340
1899.83	c 7208
1901.04	o 46344
1901.04	c 7204
1903.48	o 46345
1903.48	c 7203
1904.68	o 46347
1904.68	c 7201
1905.90	o 46348
1905.90	c 7200
1907.07	o 46354
1907.07	c 7194
1908.29	o 46357
1908.29	c 7191
1909.51	o 46363
1909.51	c 7185
1911.98	o 46369
1911.98	c 7179
1913.18	o 46372
1913.18	c 7176
1914.37	o 46373
1914.37	c 7175
1915.58	o 46376
1915.58	c 7172
1916.83	o 46377
1916.83	c 7171
1918.10	o 46381
1918.10	c 7167
1919.37	o 46384
1919.37	c 7164
1921.92	o 46388
1921.92	c 7160
1923.17	o 46390
1923.17	c 7158
1924.44	o 46394
1924.44	c 7154
1927.03	o 46402
1927.03	c 7146
1928.32	o 46403
1928.32	c 7145
1929.61	o 46404
1929.61	c 7144
1932.12	o 46406
1932.12	c 7142
1933.45	o 46411
1933.45	c 7137
1934.79	o 46413
1934.79	c 7135
1938.87	o 46414
1938.87	c 7134
1940.23	o 46416
1940.23	c 7132
1944.24	o 46418
1944.24	c 7130
1945.58	o 46422
1945.58	c 7126
1949.58	o 46425
1949.58	c 7123
1952.29	o 46429
1952.29	c 7119
1953.66	o 46431
1953.66	c 7117
1955.02	o 46438
1955.02	c 7110
1957.74	o 46439
1957.74	c 7109
1959.07	o 46443
1959.07	c 7105
1960.42	o 46447
1960.42	c 7101
1961.83	o 46449
1961.83	c 7099
1963.16	o 46450
1963.16	c 7098
1964.53	o 46452
1964.53	c 7096
1969.90	o 46453
1969.90	c 7095
1973.86	o 46456
1973.86	c 7092
1975.26	o 46459
1975.27	c 7089
1976.43	o 46466
1976.43	c 7082
1977.81	o 46472
1977.81	c 7076
1981.95	o 46473
1981.95	c 7075
1983.30	o 46474
1983.30	c 7074
1984.66	o 46475
1984.66	c 7073
1985.97	o 46476
1985.97	c 7072
1987.30	o 46477
1987.30	c 7071
1989.90	o 46478
1989.90	c 7070
1991.25	o 46484
1991.25	c 7064
1992.58	o 46485
1992.58	c 7063
1993.92	o 46487
1993.92	c 7061
1996.58	o 46488
1996.58	c 7060
1997.97	o 46490
1997.97	c 7058
1999.32	o 46493
1999.32	c 7055
2000.70	o 46498
2000.70	c 7050
2007.60	o 46500
2007.60	c 7048
2008.98	o 46502
2008.98	c 7046
2010.33	o 46503
2010.33	c 7045
2011.73	o 46508
2011.73	c 7040
2013.15	o 46510
2013.15	c 7038
2014.60	o 46516
2014.60	c 7032
2016.02	o 46520
2016.02	c 7028
2017.42	o 46521
2017.42	c 7027
2018.82	o 46525
2018.82	c 7023
2020.27	o 46526
2020.27	c 7022
2021.75	o 46529
2021.75	c 7019
2023.21	o 46535
2023.21	c 7013
2024.66	o 46539
2024.66	c 7009
2025.92	o 46544
2025.92	c 7004
2027.36	o 46548
2027.36	c 7000
2028.73	o 46553
2028.73	c 6995
2033.16	o 46556
2033.16	c 6992
2034.62	o 46557
2034.62	c 6991
2035.56	o 46561
2035.56	c 6987
2037.03	o 46564
2037.03	c 6984
2038.53	o 46567
2038.53	c 6981
2041.50	o 46575
2041.50	c 6973
2043.05	o 46576
2043.05	c 6972
2044.61	o 46577
2044.61	c 6971
2046.24	o 46579
2046.24	c 6969
2047.68	o 46584
2047.68	c 6964
2078.55	o 46585
2078.55	c 6963
2081.56	o 46586
2081.56	c 6962
2083.04	o 46592
2083.04	c 6956
2087.33	o 46595
2087.33	c 6953
2090.32	o 46602
2090.32	c 6946
2091.82	o 46610
2091.82	c 6938
2097.44	o 46614
2097.44	c 6934
2098.91	o 46617
2098.91	c 6931
2100.42	o 46618
2100.42	c 6930
2101.93	o 46620
2101.93	c 6928
2103.44	o 46624
2103.44	c 6924
2105.04	o 46626
2105.04	c 6922
2106.56	o 46630
2106.56	c 6918
2108.13	o 46633
2108.13	c 6915
2109.58	o 46635
2109.58	c 6913
2111.11	o 46639
2111.11	c 6909
2112.67	o 46642
2112.67	c 6906
2114.22	o 46644
2114.22	c 6904
2115.74	o 46647
2115.74	c 6901
2117.23	o 46655
2117.23	c 6893
2118.56	o 46658
2118.56	c 6890
2120.06	o 46660
2120.06	c 6888
2126.18	o 46661
2126.18	c 6887
2127.74	o 46670
2127.74	c 6878
2129.25	o 46672
2129.25	c 6876
2133.75	o 46675
2133.75	c 6873
2135.24	o 46679
2135.24	c 6869
2136.71	o 46681
2136.71	c 6867
2138.17	o 46684
2138.17	c 6864
2139.62	o 46686
2139.62	c 6862
2141.07	o 46688
2141.07	c 6860
2152.53	o 46691
2152.53	c 6857
2153.67	o 46695
2153.67	c 6853
2155.12	o 46696
2155.12	c 6852
2156.61	o 46699
2156.61	c 6849
2159.56	o 46700
2159.56	c 6848
2161.11	o 46701
2161.11	c 6847
2164.07	o 46702
2164.08	c 6846
2167.05	o 46704
2167.05	c 6844
2168.54	o 46706
2168.54	c 6842
2170.02	o 46707
2170.02	c 6841
2171.55	o 46711
2171.55	c 6837
2174.55	o 46715
2174.55	c 6833
2176.09	o 46716
2176.09	c 6832
2183.25	o 46718
2183.25	c 6830
2184.76	o 46721
2184.76	c 6827
2186.20	o 46727
2186.20	c 6821
2192.18	o 46728
2192.18	c 6820
2193.71	o 46731
2193.71	c 6817
2195.22	o 46737
2195.22	c 6811
2196.75	o 46740
2196.75	c 6808
2198.23	o 46743
2198.23	c 6805
2199.80	o 46747
2199.80	c 6801
2201.31	o 46749
2201.31	c 6799
2204.34	o 46751
2204.34	c 6797
2205.84	o 46754
2205.84	c 6794
2207.35	o 46755
2207.35	c 6793
2208.35	o 46761
2208.35	c 6787
2209.54	o 46766
2209.54	c 6782
2211.02	o 46767
2211.02	c 6781
2212.44	o 46772
2212.44	c 6776
2216.76	o 46775
2216.76	c 6773
2219.64	o 46776
2219.64	c 6772
2221.18	o 46781
2221.18	c 6767
2226.95	o 46782
2226.95	c 6766
2231.44	o 46784
2231.44	c 6764
2234.41	o 46787
2234.41	c 6761
2235.89	o 46789
2235.89	c 6759
2244.79	o 46791
2244.79	c 6757
2246.25	o 46792
2246.25	c 6756
2247.70	o 46795
2247.70	c 6753
2249.22	o 46796
2249.22	c 6752
2252.18	o 46800
2252.18	c 6748
2253.68	o 46801
2253.68	c 6747
2256.63	o 46805
2256.63	c 6743
2258.09	o 46810
2258.09	c 6738
2261.14	o 46812
2261.14	c 6736
2291.23	o 46813
2291.23	c 6735
2292.77	o 46815
2292.77	c 6733
2294.44	o 46819
2294.44	c 6729
2297.58	o 46820
2297.58	c 6728
2299.22	o 46825
2299.22	c 6723
2300.35	o 46826
2300.35	c 6722
2301.97	o 46829
2301.97	c 6719
2305.18	o 46830
2305.18	c 6718
2306.74	o 46834
2306.74	c 6714
2313.12	o 46838
2313.12	c 6710
2314.74	o 46841
2314.74	c 6707
2317.91	o 46844
2317.91	c 6704
2319.47	o 46845
2319.47	c 6703
2323.98	o 46848
2323.98	c 6700
2325.57	o 46851
2325.57	c 6697
2327.22	o 46852
2327.22	c 6696
2328.84	o 46856
2328.84	c 6692
2330.48	o 46857
2330.48	c 6691
2332.11	o 46859
2332.11	c 6689
2335.26	o 46862
2335.26	c 6686
2336.91	o 46866
2336.91	c 6682
2340.15	o 46871
2340.15	c 6677
2341.81	o 46872
2341.81	c 6676
2354.07	o 46874
2354.07	c 6674
2355.65	o 46879
2355.65	c 6669
2357.15	o 46882
2357.15	c 6666
2358.76	o 46883
2358.76	c 6665
2361.91	o 46886
2361.91	c 6662
2364.93	o 46890
2364.93	c 6658
2366.51	o 46894
2366.51	c 6654
2368.01	o 46898
2368.01	c 6650
2375.88	o 46901
2375.88	c 6647
2377.48	o 46902
2377.48	c 6646
2379.14	o 46904
2379.14	c 6644
2380.74	o 46911
2380.74	c 6637
2382.34	o 46913
2382.34	c 6635
2385.54	o 46918
2385.54	c 6630
2388.69	o 46919
2388.69	c 6629
2390.29	o 46922
2390.29	c 6626
2391.90	o 46926
2391.90	c 6622
2393.46	o 46928
2393.46	c 6620
2395.03	o 46929
2395.03	c 6619
2396.60	o 46933
2396.60	c 6615
2398.13	o 46934
2398.13	c 6614
2399.80	o 46935
2399.80	c 6613
2403.16	o 46939
2403.16	c 6609
2406.04	o 46940
2406.04	c 6608
2407.68	o 46942
2407.68	c 6606
2409.32	o 46950
2409.32	c 6598
2412.50	o 46952
2412.50	c 6596
2415.81	o 46955
2415.81	c 6593
2417.52	o 46957
2417.52	c 6591
2420.63	v 3430 4502 -3262 -3658 -4142 -3274 -4094 4462 -3890 -3622 3958 3210 3594 -3782 3194 -3838 -4522 4174 -3878 -3150 -3190 3730 -3158 -4170 3190 -3198 4518 -3686 3818 3586 3238 4310 -3946 -3586 -3414 -4218 3174 -3906 3682 -3218 -4502 -3618 -3666 -4254 -3718 4342 4426 3154 4322 3438 4438 4438 4390 3150 -4498 -4518 3242 3154 -4170 3922 3226 4386 -4502 4078 -3562 -4030 -3658 -4530 -3934 4310 -4534 -4322 4498 3510 -3226 4002 3170 4142 3430 4494 4294 4206 3614 -4166 4022 3770 4458 3478 4354 3250 3386 -4014 4478 3658 3150 -3286 4394 4142 -3554 4338 4226 -3154 -4426 3190 -4450 -3890 -4350 3194 -3794 -3218 3218 -3810 -3466 4246 -3878 3290 -3558 -3506 -4398 -3150 -3266 3822 4350 4422 -4182 4042 -4154 -4466 4394 4374 -4262 -3270 3382 -3382 -3538 -4514 4162 -3918 3470 3666 -4346 -3294 4106 3394 4526 -3934 -3150 4534 3230 -3170 3762 3198 -3198 3498 -3606 3778 -3990 -3342 -3290 -4434 3278 -4430 -4394 3422 -3442 -4002 -4314 -4166 -3214 -3170 -3178 4130 3334 -4330 -3378 -3234 -3582 4142 -4326 -3482 -3626 3286 4254 -4294 3570 3158 -3194 -3718 -3574 4470 -3750 -4230 -3482 4170 4386 3878 -3150 3490 3994 -4094 -4514 -3742 -3390 -3542 -3990 -3190 -3202 -3518 -4518 3962 -3662 3226 4438 -3922 4446 3174 -3214 3282 -3198 -4494 4490 -3446 4386 -3582 4010 -3154 4306 3162 -3990 3194 3794 4510 4178 4486 4470 3646 4422 3354 -3202 4454 3522 -4058 -3522 -3346 -3158 3154 -4158 3954 -3818 -3338 -3390 -3366 -3906 -3978 4470 3782 4230 4142 4442 3242 4318 -3718 3722 -3878 3350 -3266 3382 3234 -4414 -3770 -4438 -3226 4526 3358 3510 -3442 3210 -3158 -3838 3482 4522 -4514 3986 -4458 3502 4418 3186 -4298 3354 -4090 -4526 4110 -4542 -3830 -3154 4258 -3222 -4442 -3806 4514 -3606 4406 -3786 -3326 -4058 4358 -3846 3202 3750 4502 4130 4498 4486 -4466 4190 -3154 -3590 4266 3150 3666 4102 -3474 -3938 4506 3394 -3194 4046 -4538 -3214 3150 4478 4090 4270 -3302 3726 -4494 4302 -3230 -4330 -3186 4534 3198 -4494 -3406 -4058 -3830 -4358 -4126 -4010 4154 -3766 4446 -4234 4166 -4306 4322 4298 -4426 -4350 3326 3630 4498 3242 -3314 3302 4514 -3158 4534 3970 4362 -4142 4358 -4538 -4470 4334 4422 4338 -4510 -3894 3222 -3510 -3178 -4242 -4542 -3190 -3250 -4498 4082 4394 3170 3462 3590 4478 -4454 -4470 -4378 3194 -4458 3810 3266 -4350 -3582 -4058 4098 3726 4422 -3154 3478 -4422 4474 -4114 3314 3370 -3338 -3838 -3194 4514 3982 -3210 -3366 3874 -3986 -4154 4062 -4542 3686 -4314 -4386 4534 -3206 3594 4106 -3722 -4270 -4410 3614 3162 -3210 4342 3378 4230 -4482 -3754 -4486 -3922 3326 -4530 4206 3310 4274 -3814 3990 -3390 3166 3762 -3366 -4242 3838 3726 -4198 -4290 4322 -4498 3654 3994 -4482 -4246 3150 -3178 3194 4458 -4350 -3470 3226 -4434 3206 -3254 4406 -3378 -3498 4542 4506 3734 3150 4478 -4502 -3322 3430 3158 -4534 3482 -3650 -4102 -3306 -4430 3974 4522 4418 -4326 4506 3830 -3222 -3218 3190 -4418 -4214 3454 3702 3458 -4526 3442 -4498 4274 3514 3402 -4542 4330 -4502 -3946 3178 -4094 -4430 -4466 4526 3634 3974 -4310 -3706 -4382 -4170 -4514 4342 3190 4230 3582 -4046 3250 -4442 -4474 3398 -3174 3238 3210 3918 3186 -3310 4498 -3438 -3190 3382 3842 -4366 4210 3986 3798 -4510 3662 3550 -4122 3598 -3214 4530 3938 -4214 -3294 -3826 -3818 -3158 -3410 4390 3598 3638 -3294 3254 3230 3598 -4118 3758 -4382 3658 -4282 3202 3922 3346 -3638 4486 4510 3782 -3786 -3182 3634 4046 -4490 -4386 -3378 4074 3210 4462 4518 -4474 -3782 3874 -3682 -4486 -3354 4542 -4458 3846 3870 3194 -3162 -3514 -3154 -3150 -3426 3398 4062 -4002 4498 3778 3354 3758 4534 -3214 -3746 3298 -3214 -3338 3402 -4334 -4454 3418 -3590 3694 -3926 -3206 -3182 -3322 3914 -3662 3558 3518 -3494 -4314 4050 3930 -3590 -4490 4314 4542 -4330 3994 4018 4530 4098 4018 -3242 3162 -3546 4062 3170 4378 -3882 4166 4494 -3202 -3250 -3410 4534 -4530 -3302 3214 4542 -4142 -3598 -3198 3646 3766 3634 -4346 3718 -4530 -4350 3170 -4086 -4250 3254 -4186 4542 3346 4030 3838 4502 4542 -3222 -4106 3578 3858 3222 4298 4326 -4322 -3162 -4122 3602 -3258 4506 3218 -4514 -3326 4458 3518 3246 4018 4330 4354 3942 3350 -3222 -3206 3170 -3742 3574 -3242 -4542 3274 -3970 -3834 4370 3522 4290 3718 4482 -3370 4366 4330 -4538 3538 3678 -3458 3190 3370 -3186 -4050 3802 -4402 -4230 -3190 -4426 -3498 -4310 -3154 -3202 3190 -4506 -4538 -4466 -3370 -3962 4542 3254 3818 3586 -3618 3494 4266 3154 -4082 3634 3166 -3242 -3174 3686 4486 3206 3430 -4206 -3858 3190 -4370 3206 4426 -3162 4450 3802 3538 -3150 3542 -4458 4450 -3406 -4450 -3238 -4534 3198 -4022 -3194 3554 3218 3798 -3262 4422 -3938 3206 -4298 -3454 -3818 -4462 3154 3198 -4534 -3266 3754 3158 3314 -3954 4426 3190 -3914 -4498 4006 4486 3442 3190 4182 -4386 3966 -3542 -3302 -3434 -3318 3150 4446 -4166 3362 -4418 -3758 -3642 -4190 -3394 -3342 4182 -4290 -3330 -3478 -4002 -3354 4490 -4518 -3706 -4034 4130 -4166 3310 3590 4486 3398 4466 4374 4294 -3782 4182 -3154 -3302 3438 -3150 3210 -4086 -3826 -4542 -4534 -3390 -3894 -3286 -4266 -3218 -4486 -4238 -3326 4482 -3434 -4434 4438 4258 3338 4530 -3494 4498 3206 4334 4218 -3242 -4278 -3198 -4490 3434 -3686 3190 -3778 -3478 4050 -4542 -4382 3774 3694 -3214 4494 -3554 3614 4034 -4130 -3346 -4078 4542 3470 4386 4526 -4246 3674 4242 -4154 3182 -3922 -3234 -4438 3818 4474 4182 -3398 -4510 3922 4542 -3162 -4474 3882 4466 4514 4362 -3198 4266 -3206 -4182 -4278 -3458 -3806 3798 3254 -4326 3306 4342 -3782 3266 -4214 -3386 4270 -3922 4274 4030 3754 3474 4446 -4498 3998 3606 3594 -3186 4446 -4322 4542 3834 3222 3538 3682 3610 4170 3194 -3394 -4302 4434 4486 4070 -3702 3562 -3426 4190 3718 -3178 -3390 3346 -3334 -4446 -3686 -4466 4474 -3530 -4346 -3826 4458 3166 -3254 -3334 4526 -3258 -4070 -4478 -3290 4454 -4498 4110 -3722 -3158 -4058 3290 -3882 3442 3990 -3674 -3190 3386 3686 4470 -3338 -3982 -4198 3458 3838 -4510 3302 3326 -4394 -3722 3282 -3222 -4378 -3882 -3182 3158 -3622 3326 -3302 -4474 -3862 -3878 3742 3370 -4034 -4530 -4378 3758 -4354 3818 4242 4390 4502 4270 4498 3866 3238 -4182 3790 3854 -4398 3958 -3966 -3994 -4286 -4482 -4398 -3910 4282 4082 4258 -3158 4358 4338 -3210 4454 3178 3942 3174 3790 -3726 3158 3186 3810 3390 3150 -4054 4090 -4030 3374 4346 -4394 -3530 3350 3202 4382 -4490 -4234 3198 4078 -4354 3258 -3222 3214 -3802 -4522 -3158 3574 -3858 -3518 -4374 -3622 -3214 3174 -4094 -4318 4502 -3206 3686 -4206 4310 4162 4006 -3166 4266 3322 3646 -3158 3730 -3202 -3618 4278 -3654 4074 -3666 4458 -3822 -3358 -4018 3870 -3186 3954 4530 4042 -4490 4278 3766 -3162 -4362 -4318 3218 -3686 3218 -4222 3982 -3546 -3194 -4494 3186 3186 3162 -3906 3550 -3150 3858 -4318 -3918 3658 -3194 3258 -4002 -3886 3490 -4306 3250 4494 4038 -3254 -4070 -4238 -3610 3218 4326 -4426 3546 3490 4446 4310 4018 3606 -4342 3266 3286 4470 3206 -4538 4458 -3674 4198 -3254 4222 -4038 3158 3514 -4470 -3878 4398 3206 -3170 -3342 4170 -3418 3794 3234 3966 -3546 -4486 4530 -3374 4482 3558 -3306 -4458 4366 3194 -3190 3566 4422 4442 -4486 -4270 4542 -4082 -4502 3918 3238 -3158 -3726 4494 4418 -3514 4146 4506 -3294 -3934 3894 -3694 -3426 -3162 -3270 4494 -3834 4514 3166 4466 -3910 4254 -4466 4354 -4542 3174 3302 -3462 3450 -4486 3154 4538 -3386 3622 -3482 4374 4162 -3994 -4346 4526 -3394 -4482 -4278 -3190 4482 4430 4186 4154 3602 -3342 -3194 4526 -4178 -4374 -4474 3426 -3170 4182 -3410 -3946 -4218 3998 3906 3314 -3794 3290 -4538 -3254 3858 -3274 3970 -3994 4498 3786 -3742 -4514 3158 -3286 4158 -4486 -3950 -3586 4242 -3950 4406 -3982 -4502 -4018 3442 3522 -4462 -4030 3994 4482 3166 4510 -4458 -4538 -3674 -3910 -3670 3814 -3190 4490 4202 3150 3294 3226 -4518 -4318 3206 -3242 -3942 -4318 -4162 4542 -4438 3602 -4274 3158 4166 3822 4518 -4138 -4178 -3630 -3450 -3306 -4526 -3270 -4534 -3306 4534 4318 -3498 -3558 -3926 4158 -4358 3322 4222 -3578 4094 -4206 -3282 3746 -4458 -4490 -3238 -3154 -3810 -3838 -3190 3294 -3954 3202 -3302 3678 4474 4222 -3442 -4482 3818 3342 3186 3198 -4538 -4314 -4358 3738 4498 -3994 -3706 3410 3322 4518 -3522 -4182 -3894 3502 -3574 -3190 -4450 -4538 -3190 3978 4414 3182 -3862 3534 -3514 4034 4154 -3634 -3434 -3330 3718 -4538 3570 -3290 -3150 3178 3294 -4354 -4522 4538 -3266 4098 -3618 4470 4430 4058 4118 4346 4186 4534 -4450 -3154 4010 3306 3150 3190 3162 -4230 -4298 3498 4354 -4002 -3378 -3250 -4310 -3826 3542 -3158 3802 -3198 -4274 4346 -3218 -4126 3526 3198 3238 -3738 -4478 -3262 3618 -4502 -4342 4374 -4470 -4542 3630 4270 -4078 -3554 4542 -4270 -4470 -3810 3678 3334 -3194 -4498 -4102 -3466 -3262 3934 -3794 -3302 3214 3306 -3738 4414 -3498 4486 -3838 3878 4510 -3710 -3218 -4238 -4494 3222 -3222 -3178 -3214 -4082 -4434 -3206 -3758 3174 4502 3478 3206 4430 3162 3714 -4494 3450 -3554 -3958 4414 -4198 3494 -3230 3858 3158 -3190 -3150 3634 3858 -4106 3166 -3910 -4538 4094 3914 -3962 3938 -4190 3230 -3150 4490 4542 3202 4542 -4246 3194 -3458 3238 -3774 -4406 4070 -3766 -3226 -4390 4322 -4502 3758 -4278 -3962 3250 -3886 3546 4498 3794 4350 4462 -4258 3622 -3290 4290 -3838 4098 3258 4330 3506 4470 -4334 4218 4170 3250 -4038 -3798 -3894 3882 3782 -3438 -3186 -3354 -3402 3834 -4030 -3282 -4194 -3882 -4178 3794 4286 3150 3682 -3594 3994 -3414 3194 -3214 -3150 4502 -3594 -3778 -3322 3722 -3354 -4490 -3186 -3358 -3226 -3238 4242 3198 4522 -3350 3350 3154 3330 -4186 3954 -4386 4542 -4478 -3566 4478 -3458 -3762 3238 -3678 3166 -4250 -3830 -4202 4506 4534 -4154 4306 -3294 -3590 -3226 -4486 4262 4290 -3826 3222 3354 3786 4506 3706 -3190 3198 -4538 -3274 3598 4166 4490 -3458 3190 3974 3434 -3430 4530 -4210 3574 3190 -4094 3222 3262 -4342 -4502 4394 4502 -3194 3926 -4502 -3926 3166 3154 4438 4018 -4486 -3634 3846 3766 4126 3750 4274 4422 3978 -4542 4458 3194 -3578 3570 3534 4146 -3150 -4054 4050 3518 3214 3806 3802 4482 -3762 -3790 -3278 -4346 4326 4426 -4398 3886 -4434 -3210 -4106 -3434 -3546 -4310 -3174 -4270 3666 4362 3282 4538 -3666 -3390 -3410 3662 3994 4130 3302 -4494 -3418 3882 -4542 3862 -3786 -4542 -3434 3190 -4506 4542 3978 4086 -3942 4358 4510 4474 3930 4530 -4478 -3162 -4534 -3370 3958 3898 4482 -4318 3982 3510 4430 4466 -4138 3762 -3906 3354 3166 3858 3638 4066 -3206 4490 -4418 -4202 3154 -3802 -4430 -3294 3154 4370 -3194 3194 -4526 -3850 -4542 -3290 3202 4430 -3234 -4430 3482 4474 -3590 -4510 -4290 3890 3290 -3194 -3150 -3150 4126 3242 4386 4466 4478 3194 3438 -3182 3962 4378 -4066 -3346 -4494 -3546 4498 3214 -4510 3222 3222 -4458 3258 -4406 -4478 3738 -4458 -3954 -4222 4446 -3214 -4190 4450 3946 -4310 -4542 3594 3942 4502 -4466 4298 4022 3618 -4514 -3578 -3182 3226 -3310 3150 3202 4094 3466 -3222 4534 -3326 -3718 4502 3782 3562 -4202 3758 -3386 3886 4310 -3902 -4426 -3474 3482 -4510 -4310 -3170 -4362 -4518 3202 3654 -4118 -4498 3262 -4430 3582 -3546 -3394 -3278 4502 4086 -3794 -3738 4314 3578 4514 -3362 -4498 4462 -3622 -3442 3182 -4174 3198 3470 4542 -4094 -3162 4538 -4126 -3270 3202 4242 4526 -3990 -3858 -3818 -4326 3162 3762 -3154 4418 -4142 -3742 3342 -4438 -3178 3790 3790 -3198 -3606 3322 -4406 3706 -3518 -4518 -3150 4542 3874 -3202 -3162 4322 3210 -4382 3502 4266 -3330 -3418 4266 -3210 4250 4262 4538 3150 3530 -4490 -3386 -4106 -3522 -4166 -3194 -3222 -3314 -4258 3246 3634 -4502 -3938 3350 3278 -4110 4250 4090 3218 -4114 3918 -3198 -3786 -4386 -3150 -4542 3882 4338 -4542 4466 -4462 3910 -4538 4170 4494 -3886 -4362 4506 -4138 4382 -3162 -4350 -3214 -4186 -3194 4158 4486 -4542 3562 3814 4382 -3918 3458 3698 -4382 -3174 -4082 -3978 3254 4242 3266 3318 -4542 4326 3734 -3882 3158 4358 4530 -3302 3150 3794 -4230 -3714 -4534 3262 -4366 3474 -3490 3790 -3222 -4446 3170 -4390 4386 4294 -4054 3178 4514 3322 4442 -4238 -3198 4474 3642 -3202 4102 -3174 3166 -4098 -3554 3418 4410 -4510 4498 4474 -4522 -3270 -3178 -4350 3154 -4502 3986 3226 -4002 -3602 4174 3514 -4486 3722 4510 -4522 -3170 -3958 4182 -3838 -3262 -4542 4146 -3282 -3330 -3318 3682 -3206 -3422 3254 -4198 3974 3198 -3154 -4358 -3842 -4338 4122 -4082 -4010 4478 -3794 3162 3942 3318 3286 -3942 -4534 -3222 3842 -4142 3290 4194 -4002 -3246 3330 3558 4438 3834 4470 3978 4486 -3854 3242 3154 3922 3166 4070 4078 -3406 3162 4142 -3558 4430 -3922 3250 3450 3618 3150 3218 -3166 3282 4362 3194 3190 4542 -3238 -3190 -4534 -3230 3206 -4474 -4462 -3458 4490 -3158 -4106 3942 -3322 4514 3266 -3234 -3570 4434 4314 3386 3286 3238 3370 -4474 -3622 3242 4410 3646 -4534 4122 4398 4046 -3790 -3870 4446 -4538 3766 -3486 -4502 3898 3602 4266 4034 -4542 -3242 -4286 -3282 -3594 -3182 4474 -3290 -3418 3818 4042 4342 3538 -3990 -3554 3318 -4110 -4342 -4238 -3710 4502 3302 4502 4334 -4142 -3958 4278 -3626 -3214 4522 4498 -3158 -4186 -3506 -3498 -3746 3726 -3690 -3990 -3150 -4390 -4330 -3286 -3802 3198 -4406 3698 4006 -3434 3274 4346 -3250 -3202 -3558 3218 -4286 -4542 3830 4090 4486 -4534 4526 3438 -3378 -3150 4486 -4062 3766 3202 -3718 -4482 -4470 -3566 3846 -4466 -3314 4390 -3446 -3158 3290 4474 3418 3462 3198 3862 4282 -3482 4350 -3406 -4526 3898 -4222 -4194 3150 4134 -3310 3190 3610 -3802 3806 -4526 -4430 4394 -3486 4366 4202 -3198 -4094 3794 -4542 3898 -3858 -4130 -3654 -4366 4050 -3230 -3410 -4466 -4466 -3330 4022 -4502 4458 3150 4402 -4426 -3858 -3226 -4478 -4242 4282 3314 4442 4330 -4230 3338 4030 3298 -4406 -3334 -3838 3274 3526 3918 -3558 3490 -4494 -4086 4254 -3642 -3978 -4262 -3766 -3902 4058 3630 3154 -3194 4310 -3166 3454 3882 4486 -4278 3242 3190 4198 4098 3262 4270 -3990 3390 4398 -3182 -4006 -4458 4530 -3942 4446 -4182 -3598 -3190 3226 -3198 4426 3398 -3854 3462 -3874 -4506 -4402 -3478 -4490 -3674 3258 4134 -4302 -3166 4414 3818 -3166 4474 -4402 4186 3330 4526 4534 3202 3474 3514 -3846 3922 3950 3166 -3246 -4054 -4170 4470 3622 3878 3950 -3590 -4114 4430 -3386 4306 4058 3586 3170 3886 3914 3202 -4542 4254 -4146 -3198 -4494 -3834 -3618 4514 4502 -4134 -3198 -4466 -3194 3258 -3162 -4186 3762 -4098 -3154 -3334 3922 3982 4362 -3150 -3994 3762 -4230 4162 -3302 -3306 -4138 -4542 3714 4486 -3638 -4154 -3910 3182 3194 -3810 4270 4470 4522 -4154 -4522 4538 3234 3878 4102 -3410 3162 4494 -3258 4006 3714 4030 3158 -4370 -3358 4374 -3854 -4526 -3286 -4150 3678 -4470 3934 3822 -3510 -3462 3422 -4146 3162 4398 3434 3274 -4538 -3970 3290 4454 -4382 -4066 4534 4446 -4450 -3406 4494 3298 -3342 3246 -3182 3514 -4238 -4322 4478 -3994 -3498 4374 4478 -3442 -4430 -4358 4526 -3174 -3846 4134 -3374 4006 -3234 3186 3358 -4126 3254 3198 -3198 4034 4442 3262 -4250 -3778 4330 3578 3778 -3918 -3454 3174 -4442 3162 -3170 -3342 4430 4234 3490 3334 3770 3182 -3858 -3442 -4434 4286 4506 3286 -4390 -3530 4326 4278 4426 3986 3154 -4302 -4110 4538 4466 4190 3346 -3390 3598 -3366 4478 3150 -4486 3654 4038 3254 4362 -4418 -4470 -4490 3170 -4542 -3286 -4246 -3386 4514 3162 4498 -3982 3630 -4510 -4510 4334 4302 -3394 -3774 -3850 3734 -3214 -3682 3474 3818 4286 -3690 4542 -3994 -3194 4538 4210 3154 4358 -4438 3834 4386 -4046 4106 4398 4518 -3222 -3750 -4338 3702 3638 -3150 4074 3170 4126 -3242 4274 4034 -3654 3214 -4494 -3674 3154 -3626 3346 -3518 3582 3318 3210 -3942 -3294 -4390 3962 -4534 3630 -4330 -4386 -3534 3998 -3150 -4494 -3334 3226 4390 -4002 3198 -3946 -3434 3282 3878 -4366 -3726 3294 -4258 -3546 3590 -4530 -4354 3498 4518 3282 4006 3670 -3350 3882 -4498 3930 -4502 -3214 -4486 3230 3734 -3394 4394 -3210 4466 -4266 4166 -3322 4430 -3166 -3194 -3494 -3978 3170 -3334 4146 -4510 -3270 -3402 4486 -3838 3918 3706 4470 3306 -3502 3458 3498 -3890 3222 -4538 -3718 4258 4038 4390 -3270 -4338 -4390 4526 4494 -4526 3422 -3950 -3638 3538 3170 -4542 4378 4406 4466 -4146 4314 -3202 4506 -4166 -3406 -3154 -3586 4306 4022 4526 -3690 3870 -4194 3210 3642 4318 -4042 -4402 3814 -4030 4218 3874 -3554 4394 3234 4538 3450 -4482 -4370 4530 4454 3782 4542 3290 -4502 -3230 -4542 3422 3582 3218 3150 4238 3614 -3234 3378 4418 3258 -3806 3174 -4466 -3242 3246 3650 3166 3298 -4514 3162 3154 -4194 4506 4342 -3538 -3622 4466 4174 -4306 3950 3342 3722 3702 -3682 -3190 -3218 3786 -3178 4466 3946 -3866 -4498 -3330 -3202 -3462 -3194 -4070 -3598 3650 -3358 -3562 4470 3262 -4146 4202 4102 -4286 4394 -4462 3318 3250 -3210 -4314 4250 4298 4514 -4474 4334 -3642 3370 4490 4342 -4306 -4230 4534 -3626 -3578 4362 -4342 4442 -4502 4498 -3414 4530 -3170 3810 -4538 -4490 -3154 -4390 4506 3918 -4054 -3210 -4478 3238 4530 3694 -4138 -4486 4370 3194 -4186 -3518 -4082 4210 -4490 -4418 4506 3246 -3262 -4506 3902 -3226 -3850 4542 -4542 -3394 -3874 -3150 -4454 3942 3458 4522 4466 4286 3218 -4406 -4534 4038 3158 3290 4010 -3346 4114 -3218 -4002 -3466 -4118 -3206 -3186 3434 -4054 -4362 4258 -3206 -3254 4538 3426 3278 3458 -3166 -3202 -3910 4258 4202 -3278 -3350 -4298 4502 -4202 -4474 3198 3490 4206 3758 -3962 -4478 4226 4446 -3830 -3934 3178 -3898 4154 -3150 -3482 -3218 -3350 3398 -4002 -3202 4186 3578 -4498 -3642 3158 -3210 -4298 -4458 3302 3474 -4114 3766 3882 -3214 4126 -3586 3554 -3730 3490 3150

Verifier Data (download as text)

6591 unsatisfied constraints, 46957 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/node13/watcher-275613-1169223955 -o ROOT/results/node13/solver-275613-1169223955 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275613-1169223955/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.99 2.00 2.00 5/86 14135
/proc/meminfo: memFree=1376024/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=18540 CPUtime=0
/proc/14134/stat : 14134 (runsolver) R 14132 14134 14066 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270790658 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14134/statm: 4635 279 244 17 0 2626 0

[startup+0.104336 s]
/proc/loadavg: 1.99 2.00 2.00 5/86 14135
/proc/meminfo: memFree=1376024/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=914988 CPUtime=0.09
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 2996 0 1 0 7 2 0 0 25 0 8 0 270790658 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512392 s]
/proc/loadavg: 1.99 2.00 2.00 5/86 14135
/proc/meminfo: memFree=1376024/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915332 CPUtime=0.49
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 8665 0 1 0 44 5 0 0 25 0 8 0 270790658 937299968 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228833 8404 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3335 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 14142
/proc/meminfo: memFree=1258784/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915604 CPUtime=1.3
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 31638 0 1 0 117 13 0 0 25 0 8 0 270790658 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073524164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228901 31375 2161 14 0 215371 0
[pid=14134/tid=14136] ppid=14132 vsize=915604 CPUtime=0.13
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 15083 0 0 0 8 5 0 0 16 0 8 0 270790662 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915604 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915604 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270790663 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915604 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915604 CPUtime=0.14
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 270790666 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915604 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915604 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915604

[startup+2.97073 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 14142
/proc/meminfo: memFree=1249312/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2.93
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 35345 0 1 0 277 16 0 0 25 0 8 0 270790658 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 35075 2181 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=0.32
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 18715 0 0 0 26 6 0 0 16 0 8 0 270790662 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270790663 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.16
/proc/14134/task/14140/stat : 14140 (java) R 14132 14134 14066 0 -1 64 412 0 0 0 15 1 0 0 16 0 8 0 270790666 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153328340 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 35075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915744

[startup+6.26617 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 14142
/proc/meminfo: memFree=1243808/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=6.19
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 35352 0 1 0 603 16 0 0 25 0 8 0 270790658 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834087 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 35081 2181 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=0.32
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 18715 0 0 0 26 6 0 0 16 0 8 0 270790662 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270790663 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.17
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 418 0 0 0 16 1 0 0 16 0 8 0 270790666 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.736 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 14142
/proc/meminfo: memFree=1243936/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=12.62
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 35354 0 1 0 1245 17 0 0 25 0 8 0 270790658 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 35083 2181 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=0.32
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 18715 0 0 0 26 6 0 0 16 0 8 0 270790662 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270790663 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.17
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 420 0 0 0 16 1 0 0 16 0 8 0 270790666 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915744

[startup+25.6018 s]
/proc/loadavg: 2.05 2.02 2.00 3/93 14142
/proc/meminfo: memFree=1244128/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=25.38
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 36714 0 1 0 2521 17 0 0 25 0 8 0 270790658 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 36441 2182 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=0.39
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 20062 0 0 0 33 6 0 0 16 0 8 0 270790662 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270790663 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.19
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 430 0 0 0 18 1 0 0 15 0 8 0 270790666 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 36441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915744

[startup+51.3033 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 14142
/proc/meminfo: memFree=1238880/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=50.83
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 36716 0 1 0 5064 19 0 0 25 0 8 0 270790658 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 36443 2182 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=0.39
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 20062 0 0 0 33 6 0 0 16 0 8 0 270790662 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270790663 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.19
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 432 0 0 0 18 1 0 0 16 0 8 0 270790666 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 36443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915744

[startup+102.524 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 14142
/proc/meminfo: memFree=1190944/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=101.55
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49168 0 1 0 10127 28 0 0 25 0 8 0 270790658 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48753 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.25
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 465 0 0 0 24 1 0 0 16 0 8 0 270790666 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915744

[startup+162.591 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14142
/proc/meminfo: memFree=1190944/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=161.02
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49171 0 1 0 16072 30 0 0 25 0 8 0 270790658 937721856 48755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.73 s]
/proc/loadavg: 2.03 2.03 2.00 3/94 14293
/proc/meminfo: memFree=1187480/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2066.04
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49183 0 1 0 206536 68 0 0 25 0 8 0 270790658 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48766 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.28
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.04
Current children cumulated vsize (KiB) 915744

[startup+2144.82 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 14431
/proc/meminfo: memFree=1186136/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2125.74
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49183 0 1 0 212498 76 0 0 25 0 8 0 270790658 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48766 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.28
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.74
Current children cumulated vsize (KiB) 915744

[startup+2204.9 s]
/proc/loadavg: 2.06 2.03 2.00 3/94 14491
/proc/meminfo: memFree=1187160/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2185.45
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49183 0 1 0 218465 80 0 0 25 0 8 0 270790658 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48766 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.28
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.45
Current children cumulated vsize (KiB) 915744

[startup+2264.97 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 14491
/proc/meminfo: memFree=1187160/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2245.2
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49183 0 1 0 224439 81 0 0 25 0 8 0 270790658 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48766 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.28
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2245.2
Current children cumulated vsize (KiB) 915744

[startup+2325.04 s]
/proc/loadavg: 2.08 2.03 2.00 3/94 14491
/proc/meminfo: memFree=1187160/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2304.95
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49183 0 1 0 230414 81 0 0 25 0 8 0 270790658 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827885 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48766 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.28
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.95
Current children cumulated vsize (KiB) 915744

[startup+2385.12 s]
/proc/loadavg: 2.03 2.03 2.00 3/94 14491
/proc/meminfo: memFree=1187160/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2364.68
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49183 0 1 0 236387 81 0 0 25 0 8 0 270790658 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48766 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.28
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2364.68
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2420.62 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 14491
/proc/meminfo: memFree=1187160/2055920 swapFree=4169400/4192956
[pid=14134] ppid=14132 vsize=915744 CPUtime=2400
/proc/14134/stat : 14134 (java) R 14132 14134 14066 0 -1 0 49183 0 1 0 239918 82 0 0 25 0 8 0 270790658 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14134/statm: 228936 48766 2501 14 0 215406 0
[pid=14134/tid=14136] ppid=14132 vsize=915744 CPUtime=1.43
/proc/14134/task/14136/stat : 14136 (java) S 14132 14134 14066 0 -1 64 32127 0 0 0 132 11 0 0 16 0 8 0 270790662 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14137] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14137/stat : 14137 (java) S 14132 14134 14066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14138] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14138/stat : 14138 (java) S 14132 14134 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270790663 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14139] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14139/stat : 14139 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14140] ppid=14132 vsize=915744 CPUtime=0.28
/proc/14134/task/14140/stat : 14140 (java) S 14132 14134 14066 0 -1 64 478 0 0 0 27 1 0 0 16 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14141] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14141/stat : 14141 (java) S 14132 14134 14066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14134/tid=14142] ppid=14132 vsize=915744 CPUtime=0
/proc/14134/task/14142/stat : 14142 (java) S 14132 14134 14066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270790666 937721856 48766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2420.69
CPU time (s): 2400.07
CPU user time (s): 2399.22
CPU system time (s): 0.85087
CPU usage (%): 99.1481
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.22
system time used= 0.85087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49205
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= 50372
involuntary context switches= 110267

runsolver used 2.93255 s user time and 7.84681 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Fri Jan 19 16:25:57 UTC 2007


IDJOB= 275613
IDBENCH= 4158
IDSOLVER= 69
FILE ID= node13/275613-1169223955

PBS_JOBID= 3588970

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e73fbce21894132281af3102ab806d6c

RANDOM SEED= 997999737

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
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:       1376696 kB
Buffers:         58940 kB
Cached:         509984 kB
SwapCached:       3092 kB
Active:         283668 kB
Inactive:       318664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1376696 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            9308 kB
Writeback:           0 kB
Mapped:          42372 kB
Slab:            61628 kB
Committed_AS:  7379868 kB
PageTables:       2344 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB



End job on node13 on Fri Jan 19 17:06:17 UTC 2007