Trace number 275621

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.17 2401.3

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-3.xml
MD5SUMcad764e8b50fa9fdddcbd25c7290a916
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints46522
Best CPU time to get the best result obtained on this benchmark2400.17
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.31	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275621-1169224024/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.93	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.93	       =>  wckTime=0.615  cpuTime=0.43  mem=58M738
0.93	   
0.93	   predicates being loaded...
0.93	   
0.94	   constraints being loaded...
61.09	   
61.10	   INFO : Stopping converting binary constraints (cpu=60.11, mem = 115M822)
64.35	     nbConstraints=53548  nbConvertedConstraints=500  nbConvertConstraintsChecks=181992558  nbExtensionStructures=447
64.35	     nbSharedExtensionStructures=53  nbConflictsStructures=447  nbSharedConflictsStructures=53
64.35	     nbSharedBinaryRepresentations=505268  nbEvaluationManagers=12028  nbSharedEvaluationManagers=41020  maxDegree=104
64.35	     maxArity=2
64.35	       =>  wckTime=64.034  cpuTime=62.61  mem=125M222
64.78	   
64.78	   solver LocalSearchSolver being built... 
64.82	       =>  wckTime=64.505  cpuTime=62.66  mem=125M219
65.69	
65.69	s SATISFIABLE
65.69	o 39355
65.69	c 14193
66.23	o 39370
66.23	c 14178
66.52	o 39383
66.52	c 14165
66.76	o 39401
66.76	c 14147
67.13	o 39414
67.13	c 14134
67.52	o 39431
67.52	c 14117
67.83	o 39446
67.83	c 14102
68.09	o 39456
68.09	c 14092
68.28	o 39462
68.28	c 14086
68.47	o 39476
68.47	c 14072
68.71	o 39487
68.71	c 14061
68.88	o 39496
68.88	c 14052
68.98	o 39509
68.98	c 14039
69.19	o 39517
69.19	c 14031
69.40	o 39522
69.40	c 14026
69.55	o 39534
69.55	c 14014
69.73	o 39536
69.73	c 14012
69.94	o 39542
69.94	c 14006
70.12	o 39553
70.12	c 13995
70.48	o 39571
70.48	c 13977
70.58	o 39584
70.58	c 13964
70.86	o 39585
70.86	c 13963
71.07	o 39592
71.07	c 13956
71.46	o 39601
71.46	c 13947
71.65	o 39610
71.65	c 13938
71.95	o 39622
71.95	c 13926
72.13	o 39623
72.13	c 13925
72.29	o 39628
72.29	c 13920
72.39	o 39630
72.39	c 13918
72.57	o 39634
72.57	c 13914
72.73	o 39647
72.73	c 13901
73.00	o 39648
73.00	c 13900
73.28	o 39653
73.28	c 13895
73.48	o 39658
73.48	c 13890
73.58	o 39660
73.58	c 13888
73.84	o 39672
73.84	c 13876
74.09	o 39686
74.09	c 13862
74.36	o 39691
74.36	c 13857
74.57	o 39692
74.57	c 13856
74.79	o 39695
74.79	c 13853
75.15	o 39696
75.15	c 13852
75.29	o 39701
75.29	c 13847
75.44	o 39707
75.44	c 13841
75.62	o 39715
75.62	c 13833
75.86	o 39720
75.86	c 13828
76.02	o 39726
76.02	c 13822
76.23	o 39731
76.23	c 13817
76.41	o 39744
76.41	c 13804
76.60	o 39755
76.60	c 13793
76.81	o 39766
76.81	c 13782
77.00	o 39768
77.00	c 13780
77.21	o 39776
77.21	c 13772
77.44	o 39788
77.44	c 13760
77.56	o 39792
77.56	c 13756
77.75	o 39798
77.75	c 13750
77.88	o 39801
77.88	c 13747
78.06	o 39806
78.06	c 13742
78.18	o 39817
78.18	c 13731
78.35	o 39822
78.35	c 13726
78.46	o 39829
78.46	c 13719
78.66	o 39837
78.66	c 13711
79.34	o 39845
79.34	c 13703
79.50	o 39849
79.50	c 13699
79.66	o 39861
79.66	c 13687
79.87	o 39862
79.87	c 13686
80.09	o 39865
80.09	c 13683
80.22	o 39873
80.22	c 13675
80.38	o 39877
80.38	c 13671
80.60	o 39887
80.60	c 13661
80.84	o 39890
80.84	c 13658
81.02	o 39896
81.02	c 13652
81.21	o 39897
81.22	c 13651
81.44	o 39898
81.44	c 13650
81.67	o 39903
81.67	c 13645
81.93	o 39912
81.93	c 13636
82.40	o 39917
82.40	c 13631
82.99	o 39918
82.99	c 13630
83.30	o 39920
83.30	c 13628
83.59	o 39927
83.59	c 13621
84.11	o 39932
84.11	c 13616
84.37	o 39933
84.37	c 13615
84.61	o 39940
84.61	c 13608
84.88	o 39945
84.88	c 13603
85.14	o 39956
85.14	c 13592
85.39	o 39959
85.39	c 13589
85.59	o 39966
85.59	c 13582
85.88	o 39971
85.88	c 13577
86.09	o 39978
86.09	c 13570
86.29	o 39983
86.29	c 13565
86.54	o 39985
86.54	c 13563
86.74	o 39993
86.74	c 13555
87.02	o 39999
87.02	c 13549
87.40	o 40009
87.40	c 13539
87.96	o 40010
87.96	c 13538
88.25	o 40017
88.25	c 13531
88.57	o 40024
88.57	c 13524
88.85	o 40030
88.85	c 13518
89.15	o 40034
89.15	c 13514
89.47	o 40036
89.47	c 13512
90.28	o 40045
90.28	c 13503
90.52	o 40050
90.52	c 13498
90.78	o 40055
90.78	c 13493
91.11	o 40062
91.11	c 13486
91.44	o 40064
91.44	c 13484
91.81	o 40069
91.81	c 13479
92.09	o 40074
92.09	c 13474
92.36	o 40081
92.36	c 13467
92.59	o 40093
92.59	c 13455
92.88	o 40104
92.88	c 13444
93.08	o 40110
93.08	c 13438
93.32	o 40122
93.32	c 13426
93.60	o 40124
93.60	c 13424
93.88	o 40134
93.88	c 13414
94.62	o 40142
94.62	c 13406
94.87	o 40155
94.87	c 13393
95.10	o 40159
95.10	c 13389
95.32	o 40168
95.32	c 13380
95.52	o 40177
95.53	c 13371
96.04	o 40182
96.04	c 13366
96.25	o 40186
96.25	c 13362
96.56	o 40194
96.56	c 13354
98.15	o 40197
98.15	c 13351
98.38	o 40201
98.38	c 13347
98.70	o 40203
98.70	c 13345
99.32	o 40204
99.32	c 13344
100.04	o 40206
100.04	c 13342
100.48	o 40211
100.48	c 13337
100.81	o 40213
100.81	c 13335
101.19	o 40222
101.19	c 13326
101.59	o 40232
101.59	c 13316
101.95	o 40234
101.95	c 13314
102.45	o 40239
102.45	c 13309
103.28	o 40245
103.28	c 13303
103.66	o 40257
103.66	c 13291
104.05	o 40260
104.05	c 13288
104.35	o 40269
104.35	c 13279
104.72	o 40276
104.72	c 13272
104.99	o 40279
104.99	c 13269
105.64	o 40284
105.64	c 13264
105.90	o 40291
105.90	c 13257
106.25	o 40300
106.25	c 13248
107.10	o 40301
107.10	c 13247
107.53	o 40307
107.53	c 13241
108.04	o 40311
108.04	c 13237
108.77	o 40312
108.77	c 13236
109.22	o 40313
109.22	c 13235
110.32	o 40315
110.32	c 13233
110.62	o 40319
110.62	c 13229
111.06	o 40327
111.06	c 13221
111.41	o 40339
111.41	c 13209
111.72	o 40344
111.72	c 13204
112.05	o 40345
112.05	c 13203
112.32	o 40350
112.32	c 13198
112.62	o 40358
112.62	c 13190
112.93	o 40362
112.93	c 13186
113.22	o 40374
113.22	c 13174
113.52	o 40380
113.52	c 13168
113.80	o 40383
113.80	c 13165
114.05	o 40387
114.05	c 13161
114.34	o 40390
114.34	c 13158
115.03	o 40393
115.04	c 13155
115.41	o 40394
115.41	c 13154
116.36	o 40399
116.36	c 13149
116.72	o 40412
116.72	c 13136
117.38	o 40421
117.38	c 13127
117.71	o 40425
117.71	c 13123
117.98	o 40429
117.98	c 13119
118.36	o 40437
118.36	c 13111
119.04	o 40441
119.04	c 13107
120.46	o 40446
120.46	c 13102
120.81	o 40454
120.81	c 13094
121.16	o 40461
121.16	c 13087
121.56	o 40463
121.56	c 13085
122.32	o 40467
122.32	c 13081
122.61	o 40469
122.61	c 13079
122.96	o 40471
122.96	c 13077
123.34	o 40472
123.34	c 13076
123.68	o 40473
123.68	c 13075
124.09	o 40474
124.09	c 13074
124.43	o 40484
124.43	c 13064
124.79	o 40485
124.79	c 13063
125.17	o 40493
125.17	c 13055
125.51	o 40503
125.51	c 13045
125.91	o 40512
125.91	c 13036
126.22	o 40513
126.22	c 13035
126.56	o 40516
126.56	c 13032
126.85	o 40524
126.85	c 13024
127.33	o 40526
127.33	c 13022
127.76	o 40529
127.76	c 13019
128.21	o 40530
128.21	c 13018
128.65	o 40534
128.65	c 13014
129.05	o 40541
129.05	c 13007
129.53	o 40551
129.53	c 12997
129.99	o 40557
129.99	c 12991
130.40	o 40564
130.40	c 12984
130.73	o 40565
130.73	c 12983
131.08	o 40570
131.08	c 12978
131.46	o 40575
131.46	c 12973
131.77	o 40584
131.77	c 12964
132.13	o 40587
132.13	c 12961
132.48	o 40595
132.48	c 12953
132.78	o 40601
132.78	c 12947
133.16	o 40605
133.16	c 12943
133.47	o 40613
133.47	c 12935
133.78	o 40615
133.78	c 12933
134.15	o 40619
134.15	c 12929
134.49	o 40624
134.49	c 12924
134.88	o 40634
134.88	c 12914
135.28	o 40644
135.28	c 12904
135.69	o 40653
135.69	c 12895
136.09	o 40657
136.09	c 12891
136.45	o 40664
136.45	c 12884
136.82	o 40672
136.82	c 12876
137.21	o 40679
137.21	c 12869
137.58	o 40682
137.58	c 12866
138.00	o 40693
138.00	c 12855
138.34	o 40707
138.34	c 12841
138.68	o 40712
138.68	c 12836
139.09	o 40716
139.09	c 12832
139.39	o 40721
139.39	c 12827
139.82	o 40725
139.82	c 12823
140.17	o 40729
140.17	c 12819
140.61	o 40733
140.61	c 12815
141.00	o 40736
141.00	c 12812
141.39	o 40738
141.39	c 12810
141.73	o 40740
141.74	c 12808
142.06	o 40742
142.06	c 12806
142.39	o 40746
142.39	c 12802
142.68	o 40750
142.68	c 12798
143.09	o 40751
143.09	c 12797
143.40	o 40752
143.40	c 12796
144.14	o 40753
144.14	c 12795
144.56	o 40760
144.56	c 12788
145.05	o 40765
145.05	c 12783
145.45	o 40767
145.45	c 12781
145.82	o 40777
145.82	c 12771
146.21	o 40782
146.21	c 12766
146.55	o 40784
146.55	c 12764
146.97	o 40787
146.97	c 12761
147.34	o 40792
147.34	c 12756
148.19	o 40795
148.19	c 12753
148.67	o 40797
148.67	c 12751
149.08	o 40804
149.08	c 12744
149.44	o 40810
149.44	c 12738
150.26	o 40812
150.26	c 12736
150.65	o 40820
150.65	c 12728
151.01	o 40825
151.01	c 12723
151.38	o 40829
151.39	c 12719
151.81	o 40838
151.81	c 12710
152.18	o 40846
152.18	c 12702
152.54	o 40854
152.54	c 12694
152.97	o 40858
152.97	c 12690
153.45	o 40865
153.45	c 12683
153.95	o 40872
153.95	c 12676
154.55	o 40879
154.55	c 12669
155.00	o 40882
155.00	c 12666
155.47	o 40889
155.47	c 12659
155.92	o 40895
155.92	c 12653
156.39	o 40900
156.39	c 12648
156.88	o 40905
156.88	c 12643
157.37	o 40910
157.37	c 12638
157.97	o 40914
157.97	c 12634
158.46	o 40929
158.46	c 12619
158.94	o 40933
158.94	c 12615
159.41	o 40937
159.41	c 12611
159.85	o 40944
159.86	c 12604
160.31	o 40948
160.31	c 12600
160.71	o 40958
160.71	c 12590
161.11	o 40962
161.11	c 12586
161.60	o 40974
161.60	c 12574
162.06	o 40977
162.06	c 12571
162.45	o 40987
162.45	c 12561
162.88	o 40990
162.88	c 12558
163.28	o 40993
163.28	c 12555
163.75	o 40996
163.75	c 12552
164.16	o 40998
164.16	c 12550
164.63	o 41000
164.63	c 12548
165.01	o 41009
165.01	c 12539
165.42	o 41011
165.42	c 12537
165.77	o 41013
165.77	c 12535
166.13	o 41015
166.13	c 12533
166.55	o 41017
166.55	c 12531
166.93	o 41020
166.93	c 12528
167.30	o 41022
167.30	c 12526
167.71	o 41032
167.71	c 12516
168.10	o 41035
168.10	c 12513
168.47	o 41037
168.47	c 12511
168.83	o 41038
168.83	c 12510
169.22	o 41039
169.22	c 12509
169.58	o 41041
169.58	c 12507
170.31	o 41045
170.31	c 12503
170.71	o 41053
170.71	c 12495
171.13	o 41060
171.13	c 12488
172.83	o 41064
172.83	c 12484
173.21	o 41068
173.21	c 12480
173.62	o 41070
173.62	c 12478
174.11	o 41072
174.11	c 12476
174.63	o 41073
174.63	c 12475
177.04	o 41080
177.04	c 12468
177.48	o 41086
177.48	c 12462
177.96	o 41091
177.96	c 12457
178.44	o 41093
178.44	c 12455
179.02	o 41101
179.02	c 12447
179.51	o 41108
179.51	c 12440
180.02	o 41113
180.02	c 12435
180.58	o 41123
180.58	c 12425
181.10	o 41127
181.10	c 12421
181.60	o 41128
181.60	c 12420
182.13	o 41131
182.13	c 12417
182.70	o 41133
182.70	c 12415
183.18	o 41141
183.18	c 12407
183.66	o 41143
183.66	c 12405
184.13	o 41146
184.13	c 12402
185.18	o 41153
185.18	c 12395
185.72	o 41163
185.72	c 12385
186.24	o 41168
186.25	c 12380
186.78	o 41176
186.78	c 12372
187.32	o 41184
187.32	c 12364
187.93	o 41192
187.93	c 12356
188.48	o 41198
188.48	c 12350
189.09	o 41204
189.09	c 12344
189.68	o 41210
189.68	c 12338
190.24	o 41216
190.24	c 12332
190.82	o 41222
190.82	c 12326
191.47	o 41225
191.47	c 12323
192.02	o 41226
192.02	c 12322
192.58	o 41231
192.58	c 12317
193.14	o 41236
193.14	c 12312
193.75	o 41241
193.75	c 12307
194.29	o 41245
194.29	c 12303
194.86	o 41251
194.86	c 12297
195.45	o 41260
195.45	c 12288
195.86	o 41264
195.86	c 12284
196.31	o 41267
196.31	c 12281
196.77	o 41271
196.77	c 12277
197.27	o 41275
197.27	c 12273
197.72	o 41278
197.72	c 12270
198.19	o 41281
198.19	c 12267
198.68	o 41290
198.68	c 12258
199.15	o 41292
199.15	c 12256
199.57	o 41300
199.57	c 12248
200.05	o 41302
200.05	c 12246
200.55	o 41304
200.55	c 12244
200.96	o 41306
200.96	c 12242
201.37	o 41310
201.37	c 12238
201.76	o 41312
201.76	c 12236
202.19	o 41314
202.19	c 12234
202.62	o 41316
202.62	c 12232
203.07	o 41318
203.07	c 12230
203.54	o 41320
203.54	c 12228
203.97	o 41321
203.97	c 12227
204.42	o 41322
204.42	c 12226
204.83	o 41323
204.83	c 12225
205.23	o 41324
205.23	c 12224
206.12	o 41330
206.12	c 12218
206.55	o 41333
206.55	c 12215
206.95	o 41342
206.95	c 12206
207.34	o 41343
207.34	c 12205
207.78	o 41347
207.78	c 12201
208.21	o 41350
208.21	c 12198
208.63	o 41351
208.63	c 12197
209.18	o 41352
209.18	c 12196
209.65	o 41353
209.65	c 12195
210.53	o 41357
210.53	c 12191
210.99	o 41358
211.00	c 12190
211.49	o 41361
211.49	c 12187
212.56	o 41365
212.56	c 12183
213.11	o 41370
213.11	c 12178
213.71	o 41377
213.71	c 12171
214.16	o 41380
214.16	c 12168
214.62	o 41382
214.62	c 12166
215.15	o 41387
215.15	c 12161
215.73	o 41390
215.73	c 12158
216.30	o 41394
216.30	c 12154
216.76	o 41396
216.76	c 12152
217.21	o 41400
217.21	c 12148
217.63	o 41401
217.63	c 12147
218.09	o 41402
218.09	c 12146
218.57	o 41406
218.57	c 12142
219.05	o 41411
219.05	c 12137
219.53	o 41418
219.53	c 12130
222.27	o 41424
222.27	c 12124
222.77	o 41431
222.77	c 12117
223.25	o 41436
223.25	c 12112
223.84	o 41437
223.84	c 12111
224.52	o 41438
224.52	c 12110
225.11	o 41442
225.11	c 12106
225.71	o 41447
225.71	c 12101
226.33	o 41448
226.33	c 12100
226.92	o 41454
226.92	c 12094
227.60	o 41456
227.60	c 12092
228.28	o 41457
228.28	c 12091
228.85	o 41459
228.85	c 12089
229.60	o 41467
229.60	c 12081
230.30	o 41475
230.30	c 12073
231.01	o 41482
231.01	c 12066
231.73	o 41488
231.73	c 12060
233.24	o 41493
233.24	c 12055
233.99	o 41506
233.99	c 12042
235.37	o 41509
235.37	c 12039
236.05	o 41515
236.05	c 12033
236.76	o 41521
236.76	c 12027
237.42	o 41527
237.42	c 12021
238.10	o 41532
238.10	c 12016
238.78	o 41537
238.78	c 12011
239.46	o 41542
239.46	c 12006
240.17	o 41547
240.17	c 12001
240.81	o 41554
240.81	c 11994
241.47	o 41555
241.47	c 11993
242.17	o 41560
242.17	c 11988
242.84	o 41565
242.84	c 11983
243.48	o 41571
243.48	c 11977
244.15	o 41576
244.15	c 11972
244.82	o 41581
244.82	c 11967
245.55	o 41586
245.55	c 11962
246.25	o 41591
246.25	c 11957
247.02	o 41593
247.02	c 11955
247.71	o 41597
247.71	c 11951
248.42	o 41610
248.42	c 11938
249.10	o 41612
249.10	c 11936
250.37	o 41616
250.37	c 11932
250.95	o 41618
250.95	c 11930
251.54	o 41625
251.54	c 11923
252.22	o 41629
252.22	c 11919
252.82	o 41632
252.82	c 11916
253.44	o 41635
253.44	c 11913
254.03	o 41640
254.03	c 11908
254.66	o 41643
254.66	c 11905
255.32	o 41646
255.32	c 11902
255.98	o 41649
255.98	c 11899
256.56	o 41652
256.56	c 11896
257.18	o 41655
257.18	c 11893
257.74	o 41657
257.74	c 11891
258.36	o 41659
258.36	c 11889
258.93	o 41661
258.93	c 11887
259.57	o 41665
259.57	c 11883
260.17	o 41667
260.17	c 11881
260.76	o 41669
260.76	c 11879
261.32	o 41671
261.32	c 11877
261.90	o 41672
261.90	c 11876
262.98	o 41673
262.98	c 11875
263.55	o 41674
263.55	c 11874
264.14	o 41676
264.14	c 11872
264.70	o 41677
264.70	c 11871
265.26	o 41689
265.26	c 11859
265.90	o 41696
265.90	c 11852
267.01	o 41701
267.01	c 11847
267.47	o 41711
267.47	c 11837
267.96	o 41715
267.96	c 11833
268.48	o 41717
268.48	c 11831
269.03	o 41718
269.03	c 11830
269.63	o 41721
269.63	c 11827
270.16	o 41722
270.16	c 11826
270.67	o 41723
270.67	c 11825
271.78	o 41724
271.78	c 11824
272.35	o 41728
272.35	c 11820
273.39	o 41729
273.39	c 11819
274.00	o 41739
274.00	c 11809
274.53	o 41743
274.53	c 11805
275.00	o 41749
275.00	c 11799
275.56	o 41752
275.56	c 11796
278.30	o 41757
278.30	c 11791
278.87	o 41761
278.87	c 11787
280.02	o 41763
280.02	c 11785
280.58	o 41771
280.58	c 11777
281.77	o 41773
281.77	c 11775
282.43	o 41775
282.43	c 11773
282.96	o 41777
282.96	c 11771
283.56	o 41780
283.56	c 11768
284.10	o 41783
284.10	c 11765
284.68	o 41788
284.68	c 11760
285.16	o 41794
285.16	c 11754
285.71	o 41795
285.71	c 11753
286.29	o 41797
286.29	c 11751
287.36	o 41802
287.36	c 11746
287.85	o 41806
287.85	c 11742
288.41	o 41816
288.41	c 11732
288.98	o 41819
288.98	c 11729
289.46	o 41824
289.46	c 11724
290.02	o 41830
290.02	c 11718
290.58	o 41835
290.58	c 11713
291.14	o 41843
291.14	c 11705
292.23	o 41846
292.23	c 11702
292.74	o 41847
292.74	c 11701
293.28	o 41851
293.28	c 11697
293.80	o 41856
293.80	c 11692
294.39	o 41862
294.39	c 11686
294.89	o 41865
294.89	c 11683
295.89	o 41871
295.89	c 11677
296.38	o 41876
296.38	c 11672
297.43	o 41879
297.43	c 11669
297.96	o 41883
297.96	c 11665
298.50	o 41888
298.50	c 11660
299.06	o 41893
299.06	c 11655
299.61	o 41896
299.61	c 11652
300.12	o 41897
300.12	c 11651
300.61	o 41901
300.61	c 11647
301.12	o 41904
301.12	c 11644
301.74	o 41910
301.74	c 11638
302.28	o 41911
302.29	c 11637
302.82	o 41913
302.83	c 11635
303.38	o 41924
303.38	c 11624
303.95	o 41927
303.96	c 11621
304.49	o 41934
304.49	c 11614
305.01	o 41938
305.01	c 11610
306.55	o 41940
306.55	c 11608
307.05	o 41944
307.05	c 11604
307.50	o 41946
307.50	c 11602
308.00	o 41952
308.00	c 11596
309.41	o 41954
309.41	c 11594
309.85	o 41957
309.85	c 11591
310.27	o 41962
310.27	c 11586
310.78	o 41963
310.78	c 11585
311.21	o 41968
311.21	c 11580
311.69	o 41969
311.69	c 11579
312.70	o 41976
312.70	c 11572
313.27	o 41986
313.27	c 11562
313.80	o 41993
313.80	c 11555
314.32	o 41999
314.32	c 11549
314.92	o 42003
314.92	c 11545
315.49	o 42011
315.49	c 11537
316.56	o 42017
316.56	c 11531
317.09	o 42024
317.09	c 11524
317.67	o 42031
317.67	c 11517
318.25	o 42037
318.25	c 11511
318.77	o 42039
318.77	c 11509
319.30	o 42045
319.30	c 11503
319.81	o 42055
319.81	c 11493
320.33	o 42061
320.33	c 11487
320.87	o 42067
320.87	c 11481
321.40	o 42072
321.40	c 11476
321.91	o 42077
321.91	c 11471
322.44	o 42082
322.44	c 11466
324.42	o 42087
324.42	c 11461
324.98	o 42092
324.98	c 11456
325.50	o 42096
325.50	c 11452
326.03	o 42100
326.03	c 11448
326.60	o 42104
326.60	c 11444
327.14	o 42110
327.14	c 11438
327.66	o 42115
327.66	c 11433
328.13	o 42119
328.13	c 11429
328.64	o 42122
328.64	c 11426
329.12	o 42126
329.12	c 11422
329.61	o 42130
329.61	c 11418
330.16	o 42133
330.16	c 11415
330.68	o 42136
330.68	c 11412
331.22	o 42139
331.22	c 11409
331.70	o 42141
331.70	c 11407
332.23	o 42143
332.23	c 11405
332.74	o 42145
332.74	c 11403
333.38	o 42147
333.38	c 11401
333.92	o 42149
333.92	c 11399
334.42	o 42151
334.42	c 11397
334.95	o 42153
334.95	c 11395
335.46	o 42155
335.46	c 11393
335.95	o 42157
335.95	c 11391
336.48	o 42159
336.48	c 11389
337.00	o 42160
337.00	c 11388
337.56	o 42161
337.56	c 11387
338.08	o 42164
338.08	c 11384
338.60	o 42166
338.60	c 11382
339.12	o 42167
339.12	c 11381
339.62	o 42168
339.62	c 11380
340.08	o 42169
340.08	c 11379
340.58	o 42170
340.58	c 11378
341.07	o 42171
341.07	c 11377
341.52	o 42172
341.52	c 11376
342.08	o 42173
342.08	c 11375
342.61	o 42174
342.61	c 11374
343.10	o 42178
343.10	c 11370
343.63	o 42184
343.63	c 11364
348.09	o 42189
348.09	c 11359
348.63	o 42191
348.63	c 11357
349.16	o 42194
349.16	c 11354
349.62	o 42200
349.62	c 11348
350.12	o 42204
350.12	c 11344
350.59	o 42207
350.59	c 11341
351.09	o 42213
351.09	c 11335
352.18	o 42214
352.18	c 11334
352.64	o 42219
352.64	c 11329
353.14	o 42230
353.14	c 11318
353.68	o 42234
353.68	c 11314
354.23	o 42239
354.23	c 11309
354.71	o 42244
354.71	c 11304
355.25	o 42248
355.25	c 11300
356.87	o 42250
356.87	c 11298
359.76	o 42251
359.76	c 11297
360.39	o 42257
360.39	c 11291
361.57	o 42258
361.57	c 11290
362.66	o 42259
362.66	c 11289
363.27	o 42261
363.27	c 11287
363.87	o 42267
363.87	c 11281
364.52	o 42268
364.52	c 11280
365.12	o 42271
365.12	c 11277
365.76	o 42279
365.76	c 11269
368.41	o 42281
368.41	c 11267
369.02	o 42282
369.02	c 11266
370.17	o 42284
370.17	c 11264
370.75	o 42289
370.75	c 11259
372.50	o 42300
372.50	c 11248
373.61	o 42301
373.61	c 11247
374.17	o 42302
374.17	c 11246
374.77	o 42308
374.77	c 11240
375.40	o 42318
375.40	c 11230
376.02	o 42319
376.02	c 11229
376.62	o 42321
376.62	c 11227
377.22	o 42323
377.22	c 11225
377.84	o 42332
377.84	c 11216
378.48	o 42333
378.48	c 11215
379.14	o 42339
379.14	c 11209
379.82	o 42345
379.82	c 11203
380.50	o 42350
380.50	c 11198
381.18	o 42352
381.18	c 11196
381.86	o 42358
381.86	c 11190
382.52	o 42361
382.52	c 11187
383.78	o 42362
383.78	c 11186
385.00	o 42367
385.00	c 11181
386.13	o 42372
386.13	c 11176
386.77	o 42378
386.77	c 11170
387.38	o 42381
387.38	c 11167
387.95	o 42384
387.95	c 11164
388.52	o 42387
388.52	c 11161
389.67	o 42388
389.67	c 11160
390.23	o 42389
390.23	c 11159
391.43	o 42392
391.43	c 11156
392.08	o 42395
392.08	c 11153
392.71	o 42403
392.71	c 11145
393.32	o 42408
393.32	c 11140
393.91	o 42415
393.91	c 11133
394.56	o 42419
394.56	c 11129
395.20	o 42423
395.20	c 11125
397.05	o 42424
397.05	c 11124
398.86	o 42426
398.86	c 11122
399.42	o 42432
399.42	c 11116
400.02	o 42438
400.02	c 11110
400.63	o 42441
400.63	c 11107
401.88	o 42446
401.88	c 11102
402.45	o 42448
402.45	c 11100
403.01	o 42452
403.01	c 11096
403.55	o 42453
403.55	c 11095
404.07	o 42459
404.07	c 11089
404.64	o 42469
404.64	c 11079
405.16	o 42480
405.16	c 11068
405.77	o 42484
405.77	c 11064
406.32	o 42487
406.32	c 11061
406.90	o 42490
406.90	c 11058
407.54	o 42496
407.54	c 11052
408.19	o 42502
408.19	c 11046
408.83	o 42508
408.83	c 11040
409.52	o 42514
409.52	c 11034
410.08	o 42521
410.08	c 11027
411.37	o 42526
411.37	c 11022
412.57	o 42528
412.57	c 11020
413.20	o 42529
413.20	c 11019
413.81	o 42534
413.81	c 11014
414.45	o 42539
414.45	c 11009
415.07	o 42544
415.07	c 11004
415.70	o 42548
415.70	c 11000
416.36	o 42552
416.36	c 10996
416.99	o 42556
416.99	c 10992
417.65	o 42560
417.65	c 10988
418.30	o 42563
418.30	c 10985
418.91	o 42566
418.91	c 10982
419.56	o 42572
419.56	c 10976
420.24	o 42575
420.24	c 10973
420.86	o 42577
420.86	c 10971
422.20	o 42578
422.20	c 10970
422.87	o 42580
422.87	c 10968
423.49	o 42582
423.49	c 10966
424.10	o 42585
424.10	c 10963
424.73	o 42587
424.73	c 10961
425.37	o 42588
425.37	c 10960
426.67	o 42589
426.67	c 10959
427.28	o 42592
427.28	c 10956
427.91	o 42593
427.91	c 10955
428.59	o 42596
428.59	c 10952
429.84	o 42598
429.84	c 10950
431.15	o 42600
431.15	c 10948
432.51	o 42603
432.51	c 10945
433.22	o 42606
433.22	c 10942
433.97	o 42609
433.97	c 10939
434.72	o 42612
434.73	c 10936
435.46	o 42626
435.46	c 10922
436.15	o 42635
436.15	c 10913
438.81	o 42637
438.81	c 10911
440.04	o 42649
440.04	c 10899
440.58	o 42655
440.58	c 10893
441.16	o 42657
441.16	c 10891
441.81	o 42663
441.81	c 10885
442.40	o 42672
442.40	c 10876
442.97	o 42675
442.97	c 10873
443.56	o 42676
443.56	c 10872
444.80	o 42682
444.80	c 10866
445.45	o 42687
445.45	c 10861
446.09	o 42688
446.09	c 10860
446.68	o 42695
446.68	c 10853
447.35	o 42700
447.35	c 10848
448.68	o 42702
448.68	c 10846
449.32	o 42703
449.32	c 10845
450.63	o 42710
450.63	c 10838
451.96	o 42715
451.96	c 10833
453.39	o 42721
453.39	c 10827
454.05	o 42726
454.05	c 10822
454.73	o 42727
454.73	c 10821
455.42	o 42730
455.42	c 10818
456.10	o 42734
456.10	c 10814
456.82	o 42739
456.82	c 10809
457.52	o 42743
457.52	c 10805
458.23	o 42744
458.23	c 10804
458.95	o 42747
458.95	c 10801
459.66	o 42750
459.66	c 10798
460.48	o 42756
460.48	c 10792
461.95	o 42758
461.95	c 10790
462.65	o 42759
462.65	c 10789
463.30	o 42766
463.30	c 10782
464.04	o 42770
464.04	c 10778
464.75	o 42772
464.75	c 10776
466.28	o 42774
466.28	c 10774
467.69	o 42776
467.69	c 10772
468.38	o 42780
468.38	c 10768
469.05	o 42787
469.05	c 10761
469.75	o 42789
469.75	c 10759
471.83	o 42791
471.83	c 10757
472.54	o 42798
472.54	c 10750
473.24	o 42806
473.24	c 10742
473.94	o 42811
473.94	c 10737
475.31	o 42814
475.31	c 10734
476.00	o 42817
476.00	c 10731
476.63	o 42824
476.63	c 10724
477.30	o 42829
477.30	c 10719
477.98	o 42830
477.98	c 10718
478.68	o 42833
478.68	c 10715
479.36	o 42842
479.36	c 10706
480.05	o 42846
480.05	c 10702
481.35	o 42847
481.35	c 10701
482.01	o 42854
482.01	c 10694
482.65	o 42857
482.65	c 10691
485.85	o 42862
485.85	c 10686
486.47	o 42863
486.47	c 10685
487.08	o 42868
487.08	c 10680
487.69	o 42871
487.69	c 10677
488.36	o 42876
488.36	c 10672
490.15	o 42878
490.15	c 10670
491.43	o 42884
491.43	c 10664
492.73	o 42886
492.73	c 10662
493.35	o 42887
493.35	c 10661
493.94	o 42895
493.94	c 10653
494.58	o 42901
494.58	c 10647
495.18	o 42902
495.18	c 10646
495.79	o 42905
495.79	c 10643
496.41	o 42912
496.41	c 10636
497.05	o 42917
497.05	c 10631
497.70	o 42919
497.70	c 10629
498.88	o 42923
498.88	c 10625
499.52	o 42925
499.52	c 10623
500.16	o 42932
500.16	c 10616
502.11	o 42933
502.11	c 10615
502.81	o 42934
502.81	c 10614
503.43	o 42942
503.43	c 10606
504.14	o 42946
504.14	c 10602
504.83	o 42948
504.83	c 10600
506.80	o 42954
506.80	c 10594
507.53	o 42956
507.53	c 10592
508.18	o 42961
508.18	c 10587
508.84	o 42967
508.84	c 10581
510.90	o 42968
510.90	c 10580
511.59	o 42972
511.59	c 10576
512.30	o 42977
512.30	c 10571
513.62	o 42981
513.62	c 10567
514.32	o 42986
514.32	c 10562
515.10	o 42992
515.10	c 10556
515.80	o 42996
515.80	c 10552
517.17	o 43001
517.17	c 10547
519.79	o 43004
519.79	c 10544
520.42	o 43007
520.42	c 10541
521.01	o 43012
521.01	c 10536
521.64	o 43017
521.64	c 10531
522.27	o 43022
522.27	c 10526
522.97	o 43026
522.97	c 10522
523.56	o 43030
523.56	c 10518
524.17	o 43034
524.17	c 10514
524.77	o 43037
524.77	c 10511
525.37	o 43040
525.37	c 10508
526.03	o 43042
526.03	c 10506
526.66	o 43044
526.66	c 10504
527.90	o 43046
527.90	c 10502
528.54	o 43048
528.54	c 10500
529.16	o 43050
529.16	c 10498
529.77	o 43052
529.77	c 10496
530.37	o 43054
530.37	c 10494
530.98	o 43056
530.98	c 10492
531.62	o 43057
531.62	c 10491
532.25	o 43058
532.25	c 10490
532.88	o 43059
532.88	c 10489
533.55	o 43064
533.55	c 10484
534.21	o 43065
534.21	c 10483
534.90	o 43066
534.90	c 10482
535.50	o 43067
535.50	c 10481
536.13	o 43068
536.13	c 10480
536.76	o 43069
536.76	c 10479
537.38	o 43070
537.38	c 10478
537.99	o 43075
537.99	c 10473
539.23	o 43083
539.23	c 10465
539.89	o 43086
539.89	c 10462
547.36	o 43088
547.36	c 10460
547.93	o 43089
547.93	c 10459
548.55	o 43094
548.55	c 10454
549.17	o 43102
549.17	c 10446
549.77	o 43107
549.77	c 10441
550.35	o 43108
550.35	c 10440
550.95	o 43112
550.95	c 10436
551.54	o 43116
551.54	c 10432
552.09	o 43121
552.09	c 10427
552.65	o 43125
552.65	c 10423
553.20	o 43130
553.20	c 10418
553.78	o 43132
553.78	c 10416
555.40	o 43138
555.40	c 10410
556.43	o 43146
556.43	c 10402
556.97	o 43149
556.97	c 10399
558.11	o 43156
558.11	c 10392
558.75	o 43161
558.75	c 10387
559.30	o 43165
559.30	c 10383
559.92	o 43166
559.92	c 10382
560.47	o 43167
560.47	c 10381
561.03	o 43172
561.03	c 10376
562.17	o 43173
562.17	c 10375
562.74	o 43179
562.74	c 10369
563.38	o 43180
563.38	c 10368
565.18	o 43181
565.18	c 10367
565.78	o 43182
565.78	c 10366
566.39	o 43184
566.39	c 10364
566.96	o 43185
566.96	c 10363
567.67	o 43189
567.67	c 10359
568.30	o 43190
568.30	c 10358
568.87	o 43195
568.87	c 10353
569.44	o 43199
569.44	c 10349
569.99	o 43208
569.99	c 10340
571.76	o 43209
571.76	c 10339
572.39	o 43211
572.39	c 10337
572.95	o 43221
572.95	c 10327
573.59	o 43223
573.59	c 10325
574.15	o 43225
574.15	c 10323
574.74	o 43227
574.74	c 10321
575.35	o 43228
575.35	c 10320
576.02	o 43233
576.02	c 10315
576.66	o 43234
576.66	c 10314
577.36	o 43236
577.36	c 10312
578.00	o 43237
578.00	c 10311
578.70	o 43238
578.70	c 10310
579.44	o 43241
579.44	c 10307
581.59	o 43247
581.59	c 10301
582.37	o 43251
582.37	c 10297
583.13	o 43255
583.13	c 10293
583.88	o 43256
583.88	c 10292
584.68	o 43259
584.68	c 10289
585.38	o 43262
585.38	c 10286
586.15	o 43265
586.15	c 10283
587.70	o 43270
587.70	c 10278
588.49	o 43272
588.49	c 10276
589.30	o 43273
589.30	c 10275
590.08	o 43274
590.08	c 10274
590.89	o 43275
590.89	c 10273
594.05	o 43278
594.05	c 10270
594.81	o 43280
594.81	c 10268
595.62	o 43284
595.62	c 10264
596.50	o 43285
596.50	c 10263
598.14	o 43290
598.14	c 10258
600.55	o 43292
600.55	c 10256
602.03	o 43294
602.03	c 10254
602.77	o 43297
602.77	c 10251
603.49	o 43299
603.49	c 10249
604.94	o 43302
604.94	c 10246
605.70	o 43307
605.70	c 10241
606.41	o 43309
606.41	c 10239
607.15	o 43310
607.15	c 10238
610.61	o 43311
610.61	c 10237
611.26	o 43313
611.26	c 10235
612.01	o 43314
612.01	c 10234
612.72	o 43318
612.72	c 10230
613.41	o 43320
613.41	c 10228
614.84	o 43322
614.84	c 10226
615.60	o 43328
615.60	c 10220
616.34	o 43329
616.34	c 10219
622.32	o 43330
622.32	c 10218
623.07	o 43333
623.07	c 10215
623.83	o 43336
623.83	c 10212
624.58	o 43345
624.58	c 10203
625.36	o 43351
625.36	c 10197
626.23	o 43352
626.23	c 10196
626.98	o 43356
626.98	c 10192
627.75	o 43359
627.75	c 10189
631.52	o 43360
631.52	c 10188
632.24	o 43370
632.24	c 10178
633.03	o 43371
633.03	c 10177
633.81	o 43372
633.81	c 10176
634.59	o 43376
634.59	c 10172
635.35	o 43378
635.35	c 10170
636.16	o 43380
636.16	c 10168
636.96	o 43383
636.96	c 10165
637.72	o 43390
637.72	c 10158
639.24	o 43397
639.24	c 10151
639.98	o 43399
639.98	c 10149
643.03	o 43402
643.03	c 10146
643.81	o 43407
643.81	c 10141
644.60	o 43409
644.60	c 10139
645.36	o 43411
645.36	c 10137
646.13	o 43413
646.13	c 10135
646.93	o 43419
646.93	c 10129
647.77	o 43425
647.77	c 10123
650.91	o 43427
650.91	c 10121
651.65	o 43435
651.65	c 10113
652.42	o 43438
652.42	c 10110
653.22	o 43443
653.22	c 10105
654.07	o 43447
654.07	c 10101
655.67	o 43451
655.67	c 10097
656.48	o 43455
656.48	c 10093
657.29	o 43459
657.29	c 10089
658.06	o 43463
658.06	c 10085
658.93	o 43466
658.93	c 10082
659.75	o 43469
659.75	c 10079
660.56	o 43472
660.56	c 10076
661.37	o 43476
661.37	c 10072
662.14	o 43478
662.14	c 10070
662.90	o 43480
662.90	c 10068
663.67	o 43482
663.67	c 10066
664.47	o 43484
664.47	c 10064
665.28	o 43485
665.28	c 10063
666.06	o 43486
666.06	c 10062
666.86	o 43487
666.86	c 10061
667.68	o 43488
667.68	c 10060
672.59	o 43495
672.59	c 10053
673.36	o 43503
673.36	c 10045
675.04	o 43506
675.04	c 10042
675.71	o 43510
675.71	c 10038
676.46	o 43516
676.46	c 10032
677.26	o 43517
677.26	c 10031
679.63	o 43523
679.63	c 10025
680.49	o 43527
680.49	c 10021
681.35	o 43533
681.35	c 10015
682.19	o 43537
682.19	c 10011
683.08	o 43543
683.08	c 10005
683.90	o 43545
683.90	c 10003
685.55	o 43549
685.55	c 9999
686.34	o 43552
686.34	c 9996
687.16	o 43554
687.16	c 9994
687.95	o 43563
687.95	c 9985
688.78	o 43564
688.78	c 9984
689.67	o 43567
689.67	c 9981
690.48	o 43568
690.48	c 9980
691.36	o 43575
691.36	c 9973
692.18	o 43578
692.18	c 9970
693.92	o 43580
693.92	c 9968
694.77	o 43581
694.77	c 9967
695.54	o 43587
695.54	c 9961
697.90	o 43589
697.90	c 9959
698.69	o 43593
698.69	c 9955
699.53	o 43600
699.53	c 9948
701.18	o 43607
701.18	c 9941
702.01	o 43610
702.01	c 9938
704.59	o 43614
704.59	c 9934
705.43	o 43615
705.43	c 9933
706.34	o 43616
706.34	c 9932
707.33	o 43618
707.33	c 9930
708.26	o 43621
708.26	c 9927
709.16	o 43628
709.16	c 9920
710.07	o 43634
710.07	c 9914
710.96	o 43636
710.96	c 9912
712.70	o 43638
712.70	c 9910
713.60	o 43639
713.60	c 9909
716.12	o 43644
716.12	c 9904
717.03	o 43647
717.03	c 9901
717.87	o 43654
717.87	c 9894
718.68	o 43655
718.68	c 9893
719.54	o 43659
719.54	c 9889
720.44	o 43664
720.44	c 9884
725.35	o 43668
725.35	c 9880
726.19	o 43669
726.19	c 9879
727.08	o 43673
727.08	c 9875
727.97	o 43677
727.97	c 9871
728.83	o 43685
728.83	c 9863
732.92	o 43689
732.92	c 9859
733.72	o 43690
733.72	c 9858
734.64	o 43694
734.64	c 9854
735.50	o 43702
735.50	c 9846
736.32	o 43704
736.32	c 9844
737.14	o 43705
737.14	c 9843
737.98	o 43710
737.98	c 9838
738.78	o 43713
738.78	c 9835
739.62	o 43715
739.62	c 9833
740.46	o 43721
740.46	c 9827
741.34	o 43723
741.34	c 9825
742.16	o 43727
742.16	c 9821
742.99	o 43730
742.99	c 9818
743.82	o 43731
743.82	c 9817
744.69	o 43732
744.69	c 9816
745.51	o 43736
745.51	c 9812
747.26	o 43742
747.26	c 9806
748.90	o 43746
748.90	c 9802
749.76	o 43751
749.76	c 9797
750.60	o 43753
750.60	c 9795
752.87	o 43761
752.87	c 9787
753.73	o 43762
753.73	c 9786
754.63	o 43766
754.63	c 9782
755.40	o 43769
755.40	c 9779
756.26	o 43774
756.26	c 9774
758.68	o 43775
758.68	c 9773
759.48	o 43780
759.48	c 9768
762.88	o 43783
762.88	c 9765
764.15	o 43792
764.15	c 9756
765.94	o 43793
765.94	c 9755
769.41	o 43801
769.41	c 9747
770.27	o 43802
770.27	c 9746
771.13	o 43807
771.13	c 9741
772.05	o 43810
772.05	c 9738
773.78	o 43813
773.78	c 9735
774.66	o 43815
774.66	c 9733
775.56	o 43818
775.56	c 9730
776.44	o 43822
776.44	c 9726
779.11	o 43824
779.11	c 9724
780.03	o 43826
780.03	c 9722
780.98	o 43827
780.98	c 9721
781.93	o 43828
781.93	c 9720
784.76	o 43833
784.76	c 9715
785.74	o 43834
785.74	c 9714
786.71	o 43838
786.71	c 9710
789.39	o 43842
789.39	c 9706
792.09	o 43846
792.09	c 9702
792.93	o 43849
792.93	c 9699
794.75	o 43854
794.75	c 9694
797.45	o 43862
797.45	c 9686
798.34	o 43865
798.34	c 9683
799.23	o 43867
799.23	c 9681
800.14	o 43874
800.14	c 9674
800.99	o 43878
800.99	c 9670
801.92	o 43882
801.92	c 9666
802.82	o 43886
802.82	c 9662
804.63	o 43889
804.63	c 9659
806.52	o 43891
806.52	c 9657
807.42	o 43898
807.42	c 9650
809.18	o 43901
809.18	c 9647
810.09	o 43904
810.09	c 9644
810.97	o 43907
810.97	c 9641
811.86	o 43908
811.86	c 9640
812.73	o 43913
812.73	c 9635
813.63	o 43917
813.63	c 9631
814.53	o 43919
814.53	c 9629
815.39	o 43920
815.39	c 9628
816.30	o 43925
816.30	c 9623
817.23	o 43928
817.23	c 9620
818.12	o 43933
818.12	c 9615
818.98	o 43934
818.98	c 9614
819.90	o 43938
819.90	c 9610
820.75	o 43939
820.75	c 9609
821.63	o 43941
821.63	c 9607
822.53	o 43942
822.53	c 9606
823.47	o 43951
823.47	c 9597
824.44	o 43956
824.45	c 9592
827.31	o 43961
827.31	c 9587
828.22	o 43967
828.22	c 9581
830.12	o 43968
830.12	c 9580
833.06	o 43978
833.06	c 9570
834.01	o 43981
834.01	c 9567
834.95	o 43982
834.95	c 9566
835.85	o 43984
835.85	c 9564
836.84	o 43985
836.84	c 9563
838.64	o 43986
838.64	c 9562
839.58	o 43990
839.58	c 9558
842.39	o 43993
842.39	c 9555
843.31	o 43996
843.31	c 9552
844.29	o 44002
844.29	c 9546
845.25	o 44005
845.25	c 9543
846.16	o 44008
846.16	c 9540
847.12	o 44009
847.12	c 9539
848.08	o 44012
848.08	c 9536
849.83	o 44013
849.83	c 9535
850.80	o 44015
850.80	c 9533
851.79	o 44018
851.79	c 9530
852.75	o 44020
852.75	c 9528
853.74	o 44024
853.74	c 9524
854.78	o 44025
854.78	c 9523
855.77	o 44026
855.77	c 9522
856.75	o 44030
856.75	c 9518
857.73	o 44033
857.73	c 9515
858.78	o 44035
858.78	c 9513
859.71	o 44039
859.71	c 9509
860.66	o 44042
860.66	c 9506
862.33	o 44048
862.33	c 9500
863.30	o 44052
863.30	c 9496
868.14	o 44061
868.14	c 9487
870.03	o 44065
870.03	c 9483
870.96	o 44070
870.96	c 9478
871.90	o 44073
871.90	c 9475
872.92	o 44080
872.92	c 9468
873.85	o 44087
873.85	c 9461
874.86	o 44089
874.86	c 9459
875.86	o 44091
875.86	c 9457
876.87	o 44098
876.87	c 9450
883.54	o 44100
883.55	c 9448
884.58	o 44104
884.58	c 9444
885.62	o 44108
885.62	c 9440
886.65	o 44111
886.65	c 9437
887.61	o 44117
887.61	c 9431
888.60	o 44123
888.60	c 9425
889.56	o 44127
889.56	c 9421
890.52	o 44133
890.52	c 9415
892.31	o 44135
892.31	c 9413
893.26	o 44137
893.26	c 9411
894.21	o 44141
894.21	c 9407
895.11	o 44144
895.11	c 9404
896.05	o 44145
896.05	c 9403
896.98	o 44146
896.98	c 9402
897.91	o 44147
897.91	c 9401
898.83	o 44148
898.83	c 9400
899.77	o 44149
899.77	c 9399
900.75	o 44150
900.75	c 9398
901.70	o 44151
901.70	c 9397
902.63	o 44152
902.63	c 9396
903.60	o 44153
903.60	c 9395
904.55	o 44158
904.55	c 9390
906.55	o 44161
906.55	c 9387
907.49	o 44166
907.49	c 9382
908.42	o 44168
908.42	c 9380
910.30	o 44172
910.30	c 9376
911.19	o 44173
911.19	c 9375
912.17	o 44175
912.17	c 9373
913.11	o 44176
913.11	c 9372
914.13	o 44178
914.13	c 9370
915.10	o 44180
915.10	c 9368
916.14	o 44184
916.14	c 9364
918.04	o 44186
918.04	c 9362
918.98	o 44192
918.98	c 9356
920.85	o 44194
920.85	c 9354
921.79	o 44203
921.79	c 9345
922.81	o 44204
922.81	c 9344
923.77	o 44206
923.77	c 9342
924.72	o 44209
924.72	c 9339
926.61	o 44212
926.61	c 9336
927.53	o 44215
927.53	c 9333
928.51	o 44219
928.51	c 9329
929.48	o 44223
929.48	c 9325
930.44	o 44226
930.44	c 9322
931.42	o 44227
931.42	c 9321
932.40	o 44230
932.40	c 9318
933.33	o 44232
933.33	c 9316
934.34	o 44233
934.34	c 9315
935.29	o 44237
935.29	c 9311
936.33	o 44244
936.33	c 9304
937.35	o 44246
937.35	c 9302
938.29	o 44251
938.29	c 9297
939.21	o 44257
939.21	c 9291
940.16	o 44260
940.16	c 9288
940.99	o 44266
940.99	c 9282
942.84	o 44271
942.84	c 9277
943.77	o 44275
943.77	c 9273
944.70	o 44280
944.70	c 9268
946.64	o 44281
946.64	c 9267
947.55	o 44283
947.55	c 9265
948.49	o 44285
948.49	c 9263
949.43	o 44289
949.43	c 9259
950.34	o 44290
950.34	c 9258
951.32	o 44291
951.32	c 9257
953.22	o 44295
953.22	c 9253
954.23	o 44297
954.23	c 9251
955.15	o 44301
955.15	c 9247
956.07	o 44304
956.07	c 9244
957.02	o 44310
957.02	c 9238
957.99	o 44315
957.99	c 9233
958.98	o 44318
958.98	c 9230
960.01	o 44320
960.01	c 9228
960.99	o 44322
960.99	c 9226
962.92	o 44327
962.92	c 9221
963.87	o 44331
963.87	c 9217
964.87	o 44332
964.87	c 9216
965.89	o 44336
965.89	c 9212
966.94	o 44338
966.94	c 9210
967.93	o 44339
967.93	c 9209
968.97	o 44347
968.97	c 9201
970.06	o 44348
970.06	c 9200
971.13	o 44352
971.13	c 9196
972.15	o 44353
972.15	c 9195
973.20	o 44356
973.20	c 9192
974.26	o 44357
974.26	c 9191
976.36	o 44358
976.36	c 9190
977.39	o 44366
977.39	c 9182
978.39	o 44372
978.39	c 9176
979.40	o 44375
979.40	c 9173
980.46	o 44376
980.46	c 9172
981.48	o 44382
981.49	c 9166
982.56	o 44387
982.56	c 9161
984.64	o 44391
984.64	c 9157
985.68	o 44393
985.68	c 9155
987.88	o 44396
987.88	c 9152
988.99	o 44402
988.99	c 9146
990.05	o 44405
990.05	c 9143
991.19	o 44408
991.19	c 9140
992.33	o 44409
992.33	c 9139
994.07	o 44413
994.07	c 9135
997.37	o 44418
997.37	c 9130
1000.78	o 44424
1000.78	c 9124
1001.88	o 44426
1001.88	c 9122
1005.30	o 44435
1005.30	c 9113
1006.41	o 44436
1006.41	c 9112
1007.54	o 44439
1007.54	c 9109
1009.74	o 44444
1009.74	c 9104
1010.82	o 44446
1010.82	c 9102
1011.93	o 44447
1011.93	c 9101
1013.10	o 44449
1013.10	c 9099
1014.27	o 44451
1014.27	c 9097
1015.47	o 44457
1015.47	c 9091
1017.74	o 44459
1017.74	c 9089
1018.86	o 44460
1018.86	c 9088
1020.03	o 44462
1020.03	c 9086
1021.19	o 44463
1021.19	c 9085
1022.32	o 44470
1022.32	c 9078
1023.46	o 44472
1023.46	c 9076
1024.63	o 44477
1024.63	c 9071
1025.85	o 44479
1025.85	c 9069
1034.54	o 44484
1034.54	c 9064
1037.17	o 44490
1037.17	c 9058
1038.11	o 44496
1038.11	c 9052
1039.05	o 44499
1039.05	c 9049
1042.82	o 44502
1042.82	c 9046
1043.78	o 44504
1043.78	c 9044
1044.71	o 44509
1044.71	c 9039
1045.71	o 44510
1045.71	c 9038
1047.72	o 44512
1047.72	c 9036
1049.71	o 44515
1049.71	c 9033
1050.80	o 44519
1050.80	c 9029
1051.93	o 44522
1051.93	c 9026
1052.99	o 44525
1052.99	c 9023
1055.09	o 44530
1055.09	c 9018
1056.13	o 44532
1056.13	c 9016
1057.11	o 44538
1057.11	c 9010
1058.11	o 44542
1058.11	c 9006
1059.06	o 44544
1059.06	c 9004
1061.01	o 44552
1061.01	c 8996
1061.47	o 44561
1061.47	c 8987
1062.41	o 44562
1062.41	c 8986
1064.37	o 44564
1064.37	c 8984
1067.29	o 44568
1067.29	c 8980
1068.25	o 44569
1068.25	c 8979
1069.20	o 44572
1069.20	c 8976
1070.20	o 44573
1070.20	c 8975
1071.22	o 44579
1071.22	c 8969
1073.23	o 44581
1073.23	c 8967
1074.28	o 44584
1074.28	c 8964
1076.32	o 44585
1076.32	c 8963
1077.22	o 44594
1077.22	c 8954
1078.21	o 44596
1078.21	c 8952
1079.28	o 44600
1079.28	c 8948
1080.33	o 44603
1080.33	c 8945
1081.42	o 44604
1081.42	c 8944
1082.49	o 44607
1082.49	c 8941
1084.71	o 44608
1084.71	c 8940
1085.73	o 44611
1085.73	c 8937
1086.79	o 44614
1086.79	c 8934
1087.83	o 44619
1087.83	c 8929
1090.02	o 44624
1090.02	c 8924
1091.13	o 44628
1091.13	c 8920
1096.53	o 44629
1096.53	c 8919
1099.80	o 44630
1099.80	c 8918
1102.87	o 44633
1102.87	c 8915
1105.05	o 44639
1105.05	c 8909
1106.14	o 44644
1106.14	c 8904
1107.23	o 44647
1107.23	c 8901
1113.99	o 44650
1113.99	c 8898
1115.14	o 44653
1115.14	c 8895
1116.28	o 44654
1116.28	c 8894
1117.33	o 44664
1117.33	c 8884
1118.46	o 44670
1118.46	c 8878
1119.54	o 44672
1119.54	c 8876
1120.65	o 44674
1120.65	c 8874
1121.77	o 44681
1121.77	c 8867
1122.82	o 44682
1122.82	c 8866
1126.07	o 44684
1126.07	c 8864
1127.28	o 44685
1127.28	c 8863
1128.40	o 44687
1128.40	c 8861
1129.53	o 44690
1129.53	c 8858
1130.72	o 44693
1130.72	c 8855
1131.91	o 44695
1131.91	c 8853
1134.23	o 44696
1134.23	c 8852
1135.37	o 44701
1135.37	c 8847
1138.60	o 44704
1138.60	c 8844
1139.65	o 44706
1139.65	c 8842
1140.70	o 44707
1140.70	c 8841
1141.72	o 44713
1141.72	c 8835
1143.78	o 44718
1143.78	c 8830
1144.92	o 44719
1144.92	c 8829
1145.98	o 44720
1145.98	c 8828
1147.05	o 44725
1147.05	c 8823
1148.14	o 44726
1148.14	c 8822
1149.27	o 44728
1149.27	c 8820
1154.43	o 44729
1154.43	c 8819
1156.51	o 44734
1156.51	c 8814
1157.51	o 44737
1157.51	c 8811
1160.53	o 44738
1160.53	c 8810
1164.65	o 44740
1164.65	c 8808
1165.67	o 44742
1165.67	c 8806
1166.78	o 44745
1166.78	c 8803
1167.77	o 44746
1167.77	c 8802
1168.80	o 44748
1168.80	c 8800
1169.83	o 44752
1169.83	c 8796
1173.00	o 44753
1173.00	c 8795
1174.05	o 44758
1174.05	c 8790
1175.07	o 44764
1175.07	c 8784
1176.08	o 44767
1176.08	c 8781
1177.06	o 44772
1177.06	c 8776
1179.91	o 44778
1179.91	c 8770
1182.14	o 44783
1182.14	c 8765
1183.06	o 44789
1183.06	c 8759
1184.93	o 44790
1184.93	c 8758
1185.83	o 44795
1185.83	c 8753
1186.69	o 44798
1186.69	c 8750
1187.56	o 44800
1187.56	c 8748
1188.42	o 44806
1188.42	c 8742
1189.32	o 44810
1189.32	c 8738
1190.15	o 44813
1190.15	c 8735
1191.06	o 44816
1191.06	c 8732
1191.96	o 44817
1191.96	c 8731
1192.82	o 44822
1192.82	c 8726
1193.72	o 44826
1193.72	c 8722
1194.67	o 44830
1194.67	c 8718
1195.58	o 44833
1195.58	c 8715
1196.56	o 44835
1196.56	c 8713
1197.44	o 44837
1197.44	c 8711
1198.43	o 44838
1198.43	c 8710
1199.37	o 44839
1199.37	c 8709
1200.28	o 44840
1200.28	c 8708
1201.19	o 44843
1201.19	c 8705
1204.95	o 44848
1204.95	c 8700
1206.87	o 44851
1206.87	c 8697
1207.82	o 44856
1207.82	c 8692
1209.88	o 44858
1209.88	c 8690
1210.93	o 44864
1210.93	c 8684
1211.88	o 44865
1211.88	c 8683
1212.94	o 44871
1212.94	c 8677
1213.92	o 44872
1213.92	c 8676
1214.91	o 44873
1214.91	c 8675
1216.33	o 44882
1216.33	c 8666
1217.11	o 44891
1217.11	c 8657
1218.06	o 44893
1218.06	c 8655
1218.94	o 44898
1218.94	c 8650
1219.88	o 44899
1219.88	c 8649
1221.76	o 44901
1221.76	c 8647
1222.68	o 44903
1222.68	c 8645
1224.65	o 44906
1224.65	c 8642
1225.65	o 44911
1225.65	c 8637
1226.64	o 44918
1226.64	c 8630
1228.57	o 44921
1228.57	c 8627
1233.46	o 44930
1233.46	c 8618
1234.42	o 44934
1234.42	c 8614
1235.37	o 44938
1235.37	c 8610
1236.35	o 44943
1236.35	c 8605
1237.30	o 44946
1237.30	c 8602
1239.29	o 44950
1239.29	c 8598
1241.29	o 44954
1241.29	c 8594
1243.27	o 44956
1243.27	c 8592
1243.98	o 44961
1243.98	c 8587
1245.00	o 44966
1245.00	c 8582
1245.98	o 44968
1245.98	c 8580
1246.70	o 44971
1246.70	c 8577
1247.71	o 44974
1247.71	c 8574
1249.77	o 44976
1249.77	c 8572
1250.76	o 44979
1250.76	c 8569
1251.76	o 44982
1251.76	c 8566
1252.77	o 44984
1252.77	c 8564
1253.86	o 44986
1253.86	c 8562
1254.94	o 44991
1254.94	c 8557
1256.00	o 44993
1256.00	c 8555
1257.04	o 44996
1257.04	c 8552
1258.09	o 44998
1258.09	c 8550
1259.15	o 45000
1259.15	c 8548
1260.21	o 45002
1260.21	c 8546
1261.29	o 45003
1261.29	c 8545
1262.37	o 45004
1262.37	c 8544
1263.42	o 45008
1263.42	c 8540
1264.45	o 45011
1264.45	c 8537
1265.55	o 45012
1265.55	c 8536
1269.99	o 45014
1269.99	c 8534
1273.21	o 45015
1273.21	c 8533
1274.32	o 45016
1274.32	c 8532
1275.38	o 45017
1275.38	c 8531
1277.53	o 45021
1277.53	c 8527
1279.64	o 45022
1279.65	c 8526
1280.70	o 45025
1280.70	c 8523
1281.77	o 45029
1281.77	c 8519
1282.80	o 45032
1282.80	c 8516
1283.83	o 45037
1283.83	c 8511
1284.55	o 45043
1284.55	c 8505
1285.64	o 45046
1285.64	c 8502
1286.70	o 45047
1286.70	c 8501
1287.75	o 45048
1287.75	c 8500
1288.81	o 45054
1288.81	c 8494
1290.99	o 45057
1290.99	c 8491
1292.06	o 45060
1292.06	c 8488
1293.08	o 45063
1293.08	c 8485
1294.19	o 45068
1294.19	c 8480
1295.27	o 45069
1295.27	c 8479
1296.31	o 45070
1296.31	c 8478
1297.34	o 45072
1297.34	c 8476
1298.34	o 45074
1298.34	c 8474
1299.39	o 45079
1299.39	c 8469
1300.45	o 45082
1300.45	c 8466
1301.50	o 45084
1301.50	c 8464
1302.52	o 45085
1302.52	c 8463
1304.54	o 45090
1304.54	c 8458
1306.56	o 45091
1306.56	c 8457
1307.61	o 45094
1307.61	c 8454
1308.64	o 45097
1308.64	c 8451
1309.63	o 45100
1309.63	c 8448
1311.64	o 45101
1311.64	c 8447
1312.70	o 45102
1312.70	c 8446
1313.73	o 45105
1313.73	c 8443
1315.94	o 45106
1315.94	c 8442
1316.96	o 45107
1316.96	c 8441
1319.06	o 45108
1319.06	c 8440
1320.12	o 45113
1320.12	c 8435
1321.17	o 45119
1321.17	c 8429
1322.18	o 45121
1322.18	c 8427
1323.25	o 45126
1323.25	c 8422
1324.33	o 45127
1324.33	c 8421
1325.38	o 45132
1325.38	c 8416
1326.47	o 45135
1326.47	c 8413
1327.60	o 45140
1327.60	c 8408
1328.67	o 45142
1328.67	c 8406
1329.80	o 45148
1329.80	c 8400
1331.97	o 45153
1331.97	c 8395
1333.00	o 45156
1333.00	c 8392
1334.06	o 45157
1334.06	c 8391
1335.15	o 45159
1335.15	c 8389
1336.22	o 45161
1336.22	c 8387
1337.34	o 45165
1337.34	c 8383
1338.23	o 45172
1338.23	c 8376
1339.09	o 45176
1339.09	c 8372
1340.13	o 45180
1340.13	c 8368
1341.23	o 45182
1341.23	c 8366
1342.30	o 45185
1342.30	c 8363
1343.38	o 45192
1343.38	c 8356
1344.51	o 45195
1344.51	c 8353
1345.63	o 45198
1345.63	c 8350
1346.83	o 45209
1346.83	c 8339
1347.74	o 45210
1347.74	c 8338
1348.91	o 45213
1348.91	c 8335
1351.16	o 45215
1351.16	c 8333
1352.31	o 45219
1352.31	c 8329
1353.42	o 45222
1353.42	c 8326
1354.58	o 45224
1354.58	c 8324
1355.69	o 45228
1355.69	c 8320
1357.93	o 45233
1357.93	c 8315
1359.10	o 45236
1359.10	c 8312
1360.21	o 45237
1360.21	c 8311
1364.82	o 45240
1364.82	c 8308
1366.03	o 45245
1366.03	c 8303
1369.55	o 45246
1369.55	c 8302
1370.76	o 45247
1370.76	c 8301
1371.96	o 45251
1371.96	c 8297
1373.18	o 45255
1373.18	c 8293
1376.92	o 45258
1376.92	c 8290
1378.14	o 45261
1378.14	c 8287
1379.35	o 45264
1379.35	c 8284
1384.34	o 45267
1384.34	c 8281
1385.64	o 45270
1385.64	c 8278
1389.47	o 45273
1389.47	c 8275
1390.72	o 45274
1390.72	c 8274
1392.04	o 45277
1392.04	c 8271
1393.33	o 45281
1393.33	c 8267
1395.92	o 45284
1395.92	c 8264
1397.23	o 45285
1397.23	c 8263
1398.48	o 45291
1398.48	c 8257
1399.77	o 45292
1399.77	c 8256
1401.02	o 45297
1401.02	c 8251
1402.30	o 45298
1402.30	c 8250
1403.55	o 45299
1403.55	c 8249
1404.83	o 45301
1404.83	c 8247
1406.08	o 45302
1406.08	c 8246
1407.34	o 45306
1407.34	c 8242
1408.61	o 45312
1408.61	c 8236
1417.31	o 45316
1417.31	c 8232
1418.57	o 45321
1418.57	c 8227
1419.62	o 45327
1419.63	c 8221
1420.89	o 45331
1420.89	c 8217
1422.14	o 45333
1422.14	c 8215
1437.46	o 45334
1437.46	c 8214
1438.68	o 45336
1438.68	c 8212
1439.77	o 45342
1439.77	c 8206
1440.96	o 45347
1440.96	c 8201
1442.21	o 45350
1442.21	c 8198
1443.44	o 45353
1443.44	c 8195
1444.62	o 45356
1444.62	c 8192
1445.90	o 45360
1445.90	c 8188
1450.92	o 45362
1450.92	c 8186
1452.19	o 45363
1452.19	c 8185
1453.46	o 45364
1453.46	c 8184
1454.74	o 45365
1454.74	c 8183
1457.28	o 45370
1457.28	c 8178
1458.59	o 45374
1458.59	c 8174
1461.18	o 45378
1461.18	c 8170
1462.41	o 45380
1462.41	c 8168
1463.72	o 45383
1463.73	c 8165
1464.99	o 45387
1464.99	c 8161
1468.91	o 45388
1468.91	c 8160
1470.23	o 45390
1470.23	c 8158
1471.64	o 45397
1471.64	c 8151
1474.40	o 45402
1474.40	c 8146
1477.10	o 45405
1477.11	c 8143
1478.50	o 45409
1478.50	c 8139
1482.25	o 45415
1482.25	c 8133
1485.88	o 45421
1485.88	c 8127
1487.17	o 45427
1487.17	c 8121
1488.44	o 45430
1488.44	c 8118
1489.68	o 45431
1489.68	c 8117
1493.53	o 45434
1493.53	c 8114
1496.08	o 45435
1496.08	c 8113
1498.65	o 45436
1498.65	c 8112
1501.21	o 45439
1501.21	c 8109
1502.50	o 45446
1502.50	c 8102
1505.03	o 45448
1505.03	c 8100
1507.52	o 45449
1507.52	c 8099
1510.04	o 45453
1510.04	c 8095
1511.26	o 45454
1511.26	c 8094
1512.47	o 45456
1512.47	c 8092
1517.38	o 45460
1517.38	c 8088
1518.68	o 45465
1518.68	c 8083
1519.93	o 45469
1519.93	c 8079
1521.19	o 45471
1521.19	c 8077
1523.78	o 45476
1523.78	c 8072
1525.07	o 45480
1525.07	c 8068
1526.37	o 45484
1526.37	c 8064
1527.78	o 45486
1527.78	c 8062
1529.12	o 45489
1529.12	c 8059
1530.49	o 45494
1530.49	c 8054
1531.83	o 45497
1531.83	c 8051
1533.12	o 45499
1533.12	c 8049
1534.48	o 45504
1534.48	c 8044
1535.81	o 45507
1535.81	c 8041
1537.11	o 45508
1537.11	c 8040
1538.42	o 45511
1538.42	c 8037
1539.77	o 45514
1539.77	c 8034
1543.83	o 45515
1543.83	c 8033
1547.91	o 45516
1547.91	c 8032
1550.58	o 45523
1550.58	c 8025
1552.02	o 45527
1552.02	c 8021
1553.32	o 45529
1553.32	c 8019
1554.62	o 45530
1554.62	c 8018
1555.99	o 45532
1555.99	c 8016
1557.36	o 45534
1557.36	c 8014
1558.73	o 45535
1558.73	c 8013
1560.06	o 45539
1560.06	c 8009
1561.38	o 45543
1561.38	c 8005
1562.63	o 45548
1562.63	c 8000
1563.87	o 45550
1563.87	c 7998
1565.17	o 45552
1565.17	c 7996
1571.52	o 45556
1571.52	c 7992
1572.80	o 45558
1572.80	c 7990
1574.08	o 45560
1574.08	c 7988
1576.61	o 45563
1576.61	c 7985
1577.85	o 45568
1577.85	c 7980
1579.08	o 45569
1579.08	c 7979
1580.34	o 45570
1580.34	c 7978
1581.56	o 45572
1581.56	c 7976
1582.85	o 45573
1582.85	c 7975
1584.15	o 45577
1584.15	c 7971
1585.47	o 45582
1585.47	c 7966
1586.76	o 45585
1586.76	c 7963
1588.03	o 45588
1588.03	c 7960
1590.67	o 45595
1590.67	c 7953
1595.60	o 45602
1595.60	c 7946
1596.84	o 45605
1596.84	c 7943
1598.11	o 45606
1598.11	c 7942
1599.37	o 45609
1599.37	c 7939
1600.60	o 45611
1600.60	c 7937
1601.76	o 45615
1601.76	c 7933
1611.83	o 45619
1611.83	c 7929
1625.42	o 45620
1625.42	c 7928
1626.69	o 45623
1626.69	c 7925
1627.98	o 45625
1627.98	c 7923
1630.51	o 45629
1630.51	c 7919
1631.72	o 45632
1631.72	c 7916
1632.97	o 45636
1632.97	c 7912
1635.48	o 45639
1635.48	c 7909
1636.66	o 45643
1636.66	c 7905
1645.28	o 45645
1645.28	c 7903
1646.53	o 45646
1646.53	c 7902
1647.83	o 45654
1647.83	c 7894
1649.15	o 45659
1649.15	c 7889
1650.48	o 45665
1650.48	c 7883
1651.77	o 45668
1651.77	c 7880
1653.02	o 45672
1653.02	c 7876
1654.30	o 45676
1654.30	c 7872
1655.55	o 45678
1655.55	c 7870
1656.81	o 45681
1656.81	c 7867
1658.08	o 45686
1658.08	c 7862
1659.31	o 45689
1659.31	c 7859
1660.29	o 45692
1660.29	c 7856
1661.53	o 45697
1661.53	c 7851
1662.78	o 45698
1662.78	c 7850
1664.07	o 45701
1664.07	c 7847
1665.41	o 45706
1665.41	c 7842
1666.70	o 45710
1666.70	c 7838
1667.99	o 45712
1667.99	c 7836
1669.36	o 45716
1669.36	c 7832
1670.69	o 45720
1670.69	c 7828
1671.97	o 45722
1671.97	c 7826
1673.24	o 45730
1673.24	c 7818
1674.55	o 45731
1674.55	c 7817
1675.88	o 45733
1675.88	c 7815
1677.26	o 45734
1677.26	c 7814
1678.56	o 45738
1678.56	c 7810
1679.81	o 45743
1679.81	c 7805
1681.22	o 45750
1681.22	c 7798
1682.06	o 45753
1682.06	c 7795
1683.39	o 45755
1683.39	c 7793
1686.18	o 45758
1686.18	c 7790
1688.92	o 45763
1688.92	c 7785
1690.25	o 45764
1690.25	c 7784
1691.64	o 45766
1691.64	c 7782
1692.99	o 45767
1692.99	c 7781
1695.76	o 45768
1695.76	c 7780
1697.07	o 45772
1697.07	c 7776
1698.36	o 45776
1698.36	c 7772
1699.66	o 45778
1699.66	c 7770
1700.99	o 45782
1700.99	c 7766
1702.42	o 45786
1702.42	c 7762
1708.18	o 45787
1708.18	c 7761
1730.93	o 45788
1730.93	c 7760
1732.35	o 45792
1732.35	c 7756
1740.83	o 45797
1740.83	c 7751
1743.76	o 45798
1743.76	c 7750
1746.42	o 45800
1746.42	c 7748
1747.81	o 45802
1747.81	c 7746
1749.21	o 45806
1749.21	c 7742
1750.61	o 45807
1750.61	c 7741
1752.02	o 45809
1752.02	c 7739
1753.34	o 45813
1753.34	c 7735
1754.77	o 45817
1754.77	c 7731
1756.16	o 45822
1756.16	c 7726
1757.56	o 45824
1757.56	c 7724
1759.01	o 45831
1759.01	c 7717
1760.38	o 45834
1760.38	c 7714
1761.82	o 45836
1761.82	c 7712
1763.20	o 45839
1763.20	c 7709
1764.69	o 45842
1764.69	c 7706
1766.13	o 45844
1766.13	c 7704
1767.53	o 45847
1767.53	c 7701
1770.39	o 45850
1770.39	c 7698
1771.88	o 45854
1771.88	c 7694
1773.09	o 45858
1773.09	c 7690
1774.50	o 45861
1774.50	c 7687
1775.89	o 45868
1775.89	c 7680
1778.54	o 45873
1778.54	c 7675
1779.91	o 45876
1779.91	c 7672
1780.99	o 45880
1780.99	c 7668
1783.73	o 45881
1783.73	c 7667
1785.12	o 45882
1785.12	c 7666
1786.52	o 45884
1786.52	c 7664
1787.87	o 45885
1787.87	c 7663
1789.22	o 45889
1789.22	c 7659
1790.60	o 45890
1790.60	c 7658
1792.00	o 45897
1792.00	c 7651
1794.76	o 45902
1794.76	c 7646
1796.10	o 45903
1796.10	c 7645
1797.52	o 45905
1797.52	c 7643
1798.87	o 45909
1798.87	c 7639
1800.30	o 45911
1800.30	c 7637
1801.68	o 45912
1801.68	c 7636
1803.09	o 45914
1803.09	c 7634
1804.46	o 45916
1804.46	c 7632
1805.91	o 45921
1805.91	c 7627
1807.28	o 45923
1807.28	c 7625
1808.71	o 45924
1808.71	c 7624
1810.09	o 45927
1810.09	c 7621
1811.47	o 45928
1811.47	c 7620
1825.17	o 45930
1825.17	c 7618
1826.57	o 45931
1826.57	c 7617
1827.97	o 45932
1827.97	c 7616
1829.35	o 45933
1829.35	c 7615
1830.80	o 45940
1830.80	c 7608
1832.24	o 45942
1832.24	c 7606
1833.64	o 45948
1833.64	c 7600
1835.07	o 45949
1835.07	c 7599
1836.48	o 45950
1836.48	c 7598
1837.86	o 45953
1837.86	c 7595
1843.46	o 45956
1843.46	c 7592
1844.86	o 45959
1844.86	c 7589
1846.20	o 45964
1846.20	c 7584
1848.93	o 45967
1848.93	c 7581
1853.15	o 45970
1853.15	c 7578
1854.54	o 45972
1854.54	c 7576
1857.40	o 45975
1857.40	c 7573
1858.80	o 45977
1858.80	c 7571
1860.18	o 45979
1860.18	c 7569
1861.59	o 45980
1861.59	c 7568
1862.95	o 45983
1862.95	c 7565
1865.83	o 45984
1865.83	c 7564
1867.25	o 45987
1867.25	c 7561
1868.61	o 45990
1868.61	c 7558
1872.90	o 45993
1872.90	c 7555
1874.32	o 45994
1874.32	c 7554
1875.68	o 45999
1875.68	c 7549
1877.11	o 46000
1877.11	c 7548
1878.50	o 46001
1878.50	c 7547
1879.87	o 46005
1879.87	c 7543
1881.29	o 46008
1881.29	c 7540
1884.14	o 46010
1884.14	c 7538
1887.14	o 46011
1887.14	c 7537
1888.57	o 46015
1888.57	c 7533
1891.58	o 46016
1891.58	c 7532
1893.04	o 46018
1893.04	c 7530
1894.54	o 46019
1894.54	c 7529
1895.97	o 46022
1895.97	c 7526
1897.39	o 46024
1897.39	c 7524
1898.84	o 46028
1898.84	c 7520
1900.28	o 46029
1900.28	c 7519
1901.70	o 46031
1901.70	c 7517
1903.14	o 46034
1903.14	c 7514
1904.65	o 46036
1904.65	c 7512
1906.12	o 46039
1906.12	c 7509
1912.10	o 46043
1912.10	c 7505
1915.16	o 46047
1915.17	c 7501
1916.69	o 46049
1916.69	c 7499
1918.20	o 46051
1918.20	c 7497
1919.71	o 46052
1919.71	c 7496
1921.27	o 46053
1921.27	c 7495
1922.71	o 46062
1922.71	c 7486
1924.23	o 46065
1924.23	c 7483
1925.74	o 46068
1925.74	c 7480
1931.80	o 46073
1931.80	c 7475
1933.31	o 46077
1933.31	c 7471
1936.32	o 46079
1936.32	c 7469
1937.81	o 46081
1937.81	c 7467
1939.26	o 46082
1939.26	c 7466
1942.29	o 46088
1942.29	c 7460
1943.72	o 46090
1943.72	c 7458
1948.21	o 46093
1948.21	c 7455
1949.70	o 46097
1949.70	c 7451
1957.24	o 46098
1957.24	c 7450
1958.68	o 46100
1958.68	c 7448
1963.01	o 46106
1963.01	c 7442
1964.43	o 46109
1964.43	c 7439
1965.86	o 46112
1965.86	c 7436
1967.27	o 46116
1967.27	c 7432
1971.49	o 46123
1971.49	c 7425
1974.32	o 46124
1974.32	c 7424
1975.74	o 46125
1975.74	c 7423
1983.78	o 46128
1983.78	c 7420
1985.24	o 46130
1985.24	c 7418
1987.94	o 46131
1987.94	c 7417
1989.26	o 46132
1989.26	c 7416
1990.73	o 46135
1990.73	c 7413
1992.09	o 46139
1992.09	c 7409
1993.48	o 46143
1993.48	c 7405
1994.87	o 46146
1994.87	c 7402
1996.38	o 46149
1996.38	c 7399
1997.82	o 46150
1997.82	c 7398
1999.27	o 46153
1999.27	c 7395
2003.55	o 46158
2003.55	c 7390
2004.98	o 46160
2004.98	c 7388
2006.12	o 46162
2006.12	c 7386
2009.04	o 46163
2009.04	c 7385
2011.94	o 46166
2011.95	c 7382
2013.41	o 46167
2013.41	c 7381
2017.79	o 46171
2017.79	c 7377
2021.72	o 46184
2021.72	c 7364
2023.18	o 46189
2023.18	c 7359
2024.58	o 46193
2024.58	c 7355
2027.54	o 46195
2027.54	c 7353
2031.96	o 46204
2031.96	c 7344
2039.33	o 46205
2039.33	c 7343
2045.17	o 46208
2045.17	c 7340
2046.68	o 46211
2046.68	c 7337
2049.66	o 46213
2049.66	c 7335
2050.99	o 46217
2050.99	c 7331
2054.05	o 46223
2054.05	c 7325
2055.49	o 46225
2055.49	c 7323
2057.00	o 46227
2057.00	c 7321
2058.53	o 46229
2058.53	c 7319
2063.05	o 46232
2063.05	c 7316
2070.84	o 46236
2070.84	c 7312
2072.40	o 46239
2072.40	c 7309
2073.98	o 46240
2073.98	c 7308
2075.60	o 46243
2075.60	c 7305
2076.33	o 46245
2076.33	c 7303
2077.91	o 46249
2077.91	c 7299
2084.28	o 46251
2084.28	c 7297
2085.88	o 46254
2085.88	c 7294
2087.46	o 46260
2087.46	c 7288
2089.07	o 46265
2089.07	c 7283
2090.59	o 46266
2090.59	c 7282
2099.86	o 46267
2099.86	c 7281
2101.44	o 46269
2101.44	c 7279
2103.03	o 46271
2103.03	c 7277
2104.56	o 46272
2104.56	c 7276
2109.23	o 46275
2109.23	c 7273
2110.68	o 46279
2110.68	c 7269
2113.79	o 46286
2113.79	c 7262
2115.38	o 46290
2115.38	c 7258
2116.92	o 46293
2116.92	c 7255
2118.49	o 46294
2118.49	c 7254
2121.68	o 46297
2121.68	c 7251
2123.33	o 46298
2123.33	c 7250
2127.99	o 46301
2127.99	c 7247
2131.22	o 46302
2131.22	c 7246
2140.55	o 46304
2140.55	c 7244
2142.16	o 46309
2142.16	c 7239
2143.70	o 46310
2143.70	c 7238
2145.25	o 46314
2145.25	c 7234
2146.82	o 46318
2146.82	c 7230
2148.41	o 46323
2148.41	c 7225
2153.22	o 46325
2153.22	c 7223
2154.86	o 46327
2154.86	c 7221
2156.47	o 46329
2156.47	c 7219
2158.05	o 46334
2158.05	c 7214
2159.66	o 46335
2159.66	c 7213
2161.33	o 46336
2161.33	c 7212
2162.95	o 46339
2162.95	c 7209
2164.59	o 46342
2164.59	c 7206
2166.22	o 46345
2166.22	c 7203
2167.82	o 46350
2167.82	c 7198
2169.49	o 46354
2169.49	c 7194
2171.15	o 46356
2171.15	c 7192
2172.81	o 46361
2172.81	c 7187
2174.44	o 46363
2174.44	c 7185
2176.13	o 46367
2176.13	c 7181
2177.83	o 46371
2177.83	c 7177
2183.03	o 46376
2183.03	c 7172
2184.67	o 46382
2184.67	c 7166
2186.37	o 46384
2186.37	c 7164
2188.07	o 46385
2188.07	c 7163
2189.78	o 46386
2189.78	c 7162
2191.49	o 46389
2191.49	c 7159
2193.26	o 46395
2193.26	c 7153
2194.97	o 46397
2194.97	c 7151
2198.41	o 46399
2198.41	c 7149
2200.07	o 46401
2200.07	c 7147
2201.81	o 46402
2201.82	c 7146
2210.49	o 46404
2210.49	c 7144
2222.03	o 46406
2222.03	c 7142
2223.70	o 46408
2223.70	c 7140
2238.89	o 46410
2238.89	c 7138
2241.79	o 46412
2241.79	c 7136
2255.64	o 46413
2255.64	c 7135
2264.65	o 46414
2264.65	c 7134
2266.46	o 46416
2266.46	c 7132
2270.11	o 46417
2270.11	c 7131
2275.72	o 46422
2275.72	c 7126
2284.50	o 46425
2284.50	c 7123
2286.26	o 46431
2286.26	c 7117
2288.10	o 46433
2288.10	c 7115
2295.46	o 46435
2295.46	c 7113
2297.20	o 46437
2297.20	c 7111
2299.10	o 46439
2299.10	c 7109
2302.60	o 46446
2302.60	c 7102
2306.03	o 46447
2306.03	c 7101
2309.54	o 46452
2309.54	c 7096
2311.26	o 46456
2311.26	c 7092
2312.99	o 46459
2312.99	c 7089
2314.50	o 46463
2314.50	c 7085
2316.31	o 46467
2316.31	c 7081
2324.96	o 46470
2324.96	c 7078
2326.73	o 46471
2326.73	c 7077
2328.48	o 46472
2328.48	c 7076
2330.23	o 46474
2330.23	c 7074
2331.96	o 46478
2331.96	c 7070
2333.63	o 46481
2333.63	c 7067
2335.34	o 46483
2335.34	c 7065
2337.02	o 46484
2337.02	c 7064
2340.56	o 46487
2340.56	c 7061
2342.25	o 46492
2342.25	c 7056
2343.97	o 46495
2343.97	c 7053
2345.72	o 46499
2345.72	c 7049
2347.42	o 46503
2347.42	c 7045
2359.70	o 46504
2359.70	c 7044
2362.61	o 46506
2362.61	c 7042
2364.35	o 46508
2364.35	c 7040
2366.16	o 46509
2366.16	c 7039
2394.31	o 46513
2394.31	c 7035
2396.01	o 46517
2396.01	c 7031
2397.75	o 46518
2397.75	c 7030
2399.50	o 46519
2399.50	c 7029
2401.19	o 46522
2401.19	c 7026
2401.21	v 3430 -3166 -3150 3686 4494 4502 4014 4542 -3218 -3622 3958 -4518 -3594 3790 4534 -3838 -4458 4174 -3878 -3150 -3190 3618 -3254 -4170 3190 -3198 4518 -3686 3818 -3614 3238 4242 -3946 -3586 -3414 -4218 -3322 -3918 -4222 -3218 -4210 -4318 -3666 -4254 4254 4342 4426 3150 4322 3518 -3666 -4322 4390 4478 -4530 -4502 3242 3210 -4502 3922 3662 4338 -4502 4078 -3482 -4514 -3658 -4530 4442 4230 3190 -4322 4498 3510 -4374 -4254 3154 4142 4470 -4402 4294 4206 -3322 -4166 4022 3770 4430 3478 4478 3250 -4502 -4014 4478 3658 -3218 3286 4394 4142 -3554 -4498 4226 3150 3150 3190 4370 -3890 -3162 3162 -4062 -3194 3218 -3966 -4094 4202 -3878 3290 -3558 4186 -4398 3150 -3266 3822 3666 4422 -4158 -3262 3966 -4270 -3742 -4374 -4262 -3350 3382 -3382 -4214 -4538 4162 3882 3502 3666 3326 -3590 4106 3394 4526 3854 -3194 4306 3230 -3174 3770 3178 -3198 3498 -3606 3778 -3990 -3342 -3290 -4514 3278 -4282 -4518 3422 -3442 4194 3718 -4166 -3214 -3242 -3162 -3634 -3386 4410 -3378 -3178 -3618 4142 -4326 -3482 4422 3286 4254 -4294 3570 -3182 3318 -3718 -3574 4470 -3750 3190 -3482 -3594 4386 -4170 -3174 3490 3994 -4094 -4530 -3742 4346 -3542 -3990 -3190 -3198 3358 -4518 -4378 -3662 3226 4438 -3842 -3762 3178 -3214 3282 3266 -3230 3206 -3446 4386 -3582 -3726 4226 4306 -4542 -3990 4538 3794 4510 4178 4486 4470 3330 4422 3354 -3202 4454 3522 -4058 -3522 -3514 -4538 3158 -4158 4034 -3810 3234 -3310 -3306 -3562 3742 -4470 3702 4254 -4222 -4370 3242 4318 -3718 3722 3958 3350 -3194 3382 3166 -4414 -3606 -4438 -3226 4526 3358 -3350 -3422 3210 -3150 -3838 3482 4522 4430 3986 4366 3502 4418 -4174 -4458 3354 -4090 4446 4110 -4542 -3830 4498 4258 -3254 -4390 -3790 4474 -3598 4446 -3946 -3346 -4058 -4022 -3846 -3630 3750 -3582 4130 4498 4486 4466 4190 -3154 -3590 4266 3154 -3418 4098 -3474 4422 4502 -4250 -3150 -4082 3238 3150 -4530 -3190 4090 4270 3382 3726 4414 3282 -4470 -4410 -3266 -4542 3198 -4494 -3406 -4018 -3714 -4358 -4126 -3930 -4074 -3766 -4482 -4314 4166 -4306 4322 -4034 -4378 -4502 3326 3630 -4478 3242 -3314 3302 4514 -3158 -3278 -3970 3150 3902 4358 4438 4538 4414 4170 4338 -4510 -3894 3210 -3174 4286 3178 -3206 -3190 -3250 -4498 4082 4394 3170 4150 -3790 -4478 -4454 3214 4294 -3182 -4458 3810 -3302 -3178 -3582 -4538 4098 3726 4406 -4542 3478 -4294 4342 -4114 3314 3370 3398 3918 -4350 3454 3982 -3210 4378 -3814 -3986 4106 4062 -4542 3686 -4394 -4366 4246 -3214 3594 4106 -3722 4350 -4410 3614 3158 3190 4342 3298 4230 4498 4022 4226 -3922 3330 -3150 4206 3310 4274 -3814 3910 -3310 4542 3762 3370 -4242 3838 3726 -4198 -3270 -4118 -4498 3654 3994 -4482 4058 3150 -3178 3190 4458 -4350 3310 3226 -4354 -3306 -3254 4406 -3378 -3498 4498 4506 3734 3154 -4478 -3150 -4322 3430 3162 4538 3382 -3650 -4102 3526 3474 -4402 -3150 4418 -4326 3410 3830 -3222 -3218 3646 -4418 4134 3454 3650 -3458 -4526 3442 3150 -4046 -4098 3402 -4542 -4170 -3150 -4374 -4422 -4094 -4510 -4466 4446 3634 -3750 -3194 -3706 4390 4090 -4514 -3214 3190 4230 3582 -4046 3250 -4442 4474 3398 -3190 -3190 3210 4146 3166 -4542 4490 -3438 -3190 3302 -3762 -4366 4210 3986 3878 -4510 3662 -3694 -3954 3598 -3214 4542 -3882 4214 3294 -3906 -3818 4430 -3418 -3166 3670 3638 4446 3254 3230 3598 3670 3474 -4382 3658 -4282 3202 3922 3486 -3950 4486 4510 3782 -3818 4478 3634 -3510 -4490 3190 -3158 3994 3210 -4458 4510 4506 -3782 3874 4002 3546 -3354 -4494 -4458 3750 3870 4186 -3214 3514 -3154 -3166 -3426 -4174 4062 -3994 4498 3778 3354 4318 4534 3958 -3746 3298 4494 -3338 3266 4530 -4454 3418 3258 3694 -3766 -3206 -3182 -3314 3914 4054 3558 -4250 -4250 -4314 -4050 3186 -3590 4410 4314 -3842 4542 3666 3930 3542 -3202 3742 -3246 -3158 -3626 3606 -4326 4378 -3882 3266 -3190 -3202 -3170 -4410 4526 -4498 -3302 -3214 4542 -4146 3710 3718 3646 3766 -3546 -4346 3702 -4530 4502 3150 3678 -4250 -4534 -4186 4542 3346 4030 -3782 -3198 -4530 3222 3822 3578 3858 3302 -4298 4326 -3726 -3214 3154 3602 -3258 3686 3218 -4514 4170 -4510 3518 3246 4054 4330 4354 3942 3350 -3222 -3150 -3190 3742 3654 -3254 -4430 3274 -3970 -3742 4370 -3522 4210 3638 4538 -3370 -4182 4062 4534 -3198 3678 -3458 3190 -4210 -3190 -4130 -4526 -4402 -4310 -4542 3206 -3498 -4310 3150 -4542 -4442 -4506 -4458 -4466 -3370 -3962 -4538 3254 3818 3586 -4534 3494 3674 3190 3962 3634 3222 -3242 -3174 3686 4486 3186 3430 -4162 -3858 3270 -4370 3214 4526 -3186 4370 3802 3538 4542 3622 -4522 4450 3474 -4450 -3238 3682 3198 -4022 3190 3554 3298 -3762 -3262 4430 3842 -3202 -4218 -3374 -3866 -3286 -3150 3190 4342 4490 3754 -3270 3314 -3954 4426 4490 3882 -4466 4006 4486 4290 -3154 4182 -3150 -3602 -3542 -3302 -3434 -3318 3150 4446 -3498 -4034 -4418 -3758 4314 -4214 3394 -3342 4182 -4526 -3330 -3398 -4418 -3354 4470 3462 -3934 -4034 4130 4234 3310 3590 4486 3398 -3766 4294 -3422 3182 -4238 3154 -3302 3438 3150 -4530 -3890 -3826 3154 -4534 -3374 3894 -3286 -4266 3186 -4486 4210 -3326 3482 -3434 4434 4438 4258 3338 4510 -3494 4534 3206 4334 -4022 -3210 -4122 -3286 -4490 3434 -3686 3190 -3778 -3398 3154 -3474 3710 3774 3694 -3150 4494 -3554 3614 4034 -4130 -3346 -4078 4542 -3390 4386 4518 -4246 4262 -4242 -4154 3182 -3846 3458 -4438 3818 4474 -3254 -3398 -4510 3922 4542 -3162 -3158 -3802 4542 4514 4350 -3470 4186 3538 -4182 -4278 -4174 -3806 -3850 3254 -4326 3474 4342 -3782 -3266 -4214 -3386 4270 -3966 4274 4102 3722 3474 -4510 3150 3998 3606 3594 3374 4366 -4318 4542 3854 3222 -3414 4250 3610 3826 3194 -3394 -4302 4434 4470 -3970 3834 3562 -3426 -3330 3970 -3154 3178 3466 -3334 -4446 -3686 -4466 4474 -3530 4538 -3826 4458 -4538 -3254 -3334 4462 -3178 -4070 -4478 -3290 4454 -4498 -4010 -3722 3218 -4058 3290 -3882 3346 3990 -3674 -4430 3386 4358 -3886 -3338 -3982 -4214 3458 3858 4454 3222 3330 -4394 -3722 3282 3194 -4378 -3882 -3242 3186 -4014 3326 -3302 -4474 4042 -3878 3742 3450 -4034 -4530 -3358 3758 4354 3754 3210 3366 4502 4286 4526 3866 3290 -4454 -3674 3854 -4398 3958 3958 -4058 -4334 3230 -4382 4118 3194 4002 4258 -3150 -4530 3898 -3214 4454 3178 3882 3174 3790 -3766 3158 3186 -3842 -4510 3150 -4054 4010 -3930 -3294 4346 3266 -3530 3182 4446 4462 -4530 -4234 3198 3630 -4354 3258 -3222 3558 -3722 3158 -3154 3582 -3858 -3518 -4374 -3622 -3214 3182 4034 -3278 -4498 -4366 3686 -4206 4310 4162 3998 3754 4222 3322 3646 -3154 3730 -3150 -3618 4306 -3654 4074 3746 -4398 4246 3358 4498 3866 -3622 3614 4522 -4042 -4490 4282 3806 4530 -4362 -3998 -3850 -3686 3218 -4222 3982 3170 -3202 -4502 3186 3266 3150 3966 -3458 4530 -3318 -4318 -3918 3658 -3170 3166 -4002 -3806 3490 -4226 -3562 4502 4310 -3254 -3990 -4238 -3530 3218 -4222 4426 4146 3490 4446 4278 4018 3606 -3162 -3802 -3318 4470 3206 4538 4506 -3158 -3950 -3254 -4046 4370 3326 3594 -3178 -3878 4398 -4482 -3174 -3342 4170 -3418 3794 4462 3966 -3370 4214 4530 -3374 4482 3558 -3306 -4458 4366 -4370 -3190 4230 4422 4426 -4486 -4270 4542 -4082 4538 3918 -3238 -4542 -3726 4494 4418 -3514 4146 4506 3294 3710 3822 -3694 -3426 -3214 -3190 4502 3770 4514 3166 -4534 -3850 4250 -4466 -3678 4538 3194 3302 -3462 3450 -3426 3262 4066 3182 3622 3234 4374 4162 -3994 -4346 4266 -3394 -4422 4278 -3186 -4430 4430 -4190 4154 3602 -3342 3850 3310 -4178 -4374 -3190 3426 3150 4182 -3410 -3946 -4218 3998 3906 3314 3782 3290 3318 -3234 3858 -3274 3970 -3994 -4526 3786 3666 -4434 3158 -3294 -4174 -4486 3602 3410 4242 -3950 4406 -4530 -4502 4470 3442 3522 -4382 -4030 3994 -4410 3166 4510 -4458 -4486 -3674 4474 -3670 3814 3194 4454 -4202 -4514 3178 3226 4182 -4302 3198 -4298 4354 -4322 -4162 4542 -4438 3602 -4274 3158 4166 3822 -4118 -3518 4218 3298 -3450 -3306 4482 3270 -4542 -3306 3150 -3150 -3498 3162 -3926 4158 -4446 3322 4222 4174 4094 -4206 -3282 -3746 4426 -4522 -3238 3170 -3818 3838 4334 -4334 -3954 -4542 -3302 3678 -4474 -4158 3274 -4482 -3718 3342 3186 3194 -4538 -4314 -4358 3738 4418 3574 -3706 3410 3358 4518 -3522 3194 3502 3502 -3646 -3194 3286 -3162 -3198 4014 4414 3182 3802 3614 -3514 4034 4410 3634 -3434 -4006 3718 3154 3570 -4482 -4502 -3326 -3374 -4354 -4542 4450 -3266 -4178 -3618 4470 4518 4058 4118 4326 4186 4534 -3182 -3154 3982 3306 -3550 3214 3162 -4230 -4298 3498 4434 -4002 -3378 4522 -4310 3870 3542 3162 3802 -3278 -4274 -3354 -3218 -4126 3526 3198 3178 -3738 -4478 -3342 3862 -3162 -4342 4374 -4470 -3602 3630 3150 -4078 -3554 -4530 -4270 -4466 -3866 3678 3334 -3150 3762 -4102 -3466 -3262 4102 -3794 3866 -3422 3306 3230 4414 4134 4442 3890 3898 4510 -3710 -3218 -4238 -4486 3154 -3222 -3178 4462 4494 4442 -3190 -3758 -4374 3214 4290 -3834 4458 -3394 3714 3706 3450 4042 -3958 -4414 -4278 3494 -3230 3758 -4542 -3190 4502 3638 3938 4026 -4542 -4438 -4278 3858 3914 4154 3782 4050 3230 -3150 -4138 -3390 3202 3438 -4170 -3370 -4490 3238 3958 3266 3630 -3686 -3226 -4486 4322 -4498 3758 -4278 -3866 3250 -3886 -3754 4498 3810 4350 4462 -4258 3622 -3290 -4262 -3842 4098 3186 4330 3586 4518 3982 -4218 4170 -3186 -4038 -3878 3750 3882 3782 -3358 -3186 -3354 -3402 3834 -3950 3150 -4194 3806 -4178 3794 4286 3150 3682 -3594 3994 -3414 3190 -3214 -3150 -4262 -3594 -3906 -3322 3742 -3354 -4490 4542 -3366 -3226 -3238 4242 -3198 3486 -3350 3350 3154 3330 -4186 3842 -4386 4534 -4478 -3566 4478 -3458 -3762 3238 -3578 3162 4190 -3830 -4282 4506 4534 4382 4306 -3294 -3590 3762 -4410 4278 -4290 -3826 4514 3354 3786 -4494 3834 -3190 -4498 -4538 -3274 3598 -3518 -4226 4246 -3190 3974 -3198 4226 3222 -4210 3574 3158 -3294 3354 4534 -4342 -4502 4394 4502 -3162 -3642 -4502 3434 -3254 -3622 4458 4018 4486 -3634 3846 3766 4126 3750 4274 4422 -4510 -3154 4486 3194 -3578 -4474 3614 4146 -3162 -4054 -3686 3518 3174 3806 3802 -3190 -4486 3450 -3278 -3150 4406 -4538 -4398 -3806 4530 -3210 -4106 3414 -3430 -4310 -3382 -4270 3666 4358 3282 4538 4382 3434 -3410 -3586 3994 4130 3302 -3238 -3418 3882 -4538 3862 -3786 -3530 -3434 3202 -4506 4462 -3886 4086 4014 -3958 3166 4490 -3930 4530 -4514 -3178 -4534 -3370 3958 3898 4482 -4398 3982 3510 4430 4466 -4138 -4422 -3906 3354 3186 3858 3638 4066 -3206 4490 -4418 -4122 3162 -3802 4510 -3274 -3450 4370 -3302 3174 -4526 -3186 3230 4046 4238 4430 -3314 -4430 3306 -3494 -3610 -4510 -4290 -3794 3178 3206 -3162 -3150 4126 3178 3314 4154 3158 -3198 3438 -3182 3962 4538 -3698 -3346 -4494 -3546 -4494 3214 -4510 3222 3222 3282 3258 -4406 4450 3738 -4458 3626 -4222 4446 3214 -4190 4450 3946 -4310 -4382 3594 3942 4502 -4466 4298 4022 3618 -4514 -3578 3514 4450 -3310 3150 -3218 4094 3446 -3222 -4450 -3326 4190 4538 3782 -3534 -4202 3722 -3446 3886 -3242 3894 -4426 -3474 4250 -4510 4338 -3170 -4398 -4490 3214 3734 4502 -3278 3342 3446 3582 3722 -3394 -3278 4422 4086 -3794 -3738 -4314 -4206 4434 -3362 -4398 4462 -3702 3362 3182 -4174 4502 3470 4542 -3198 -3162 4374 -4046 -3270 3202 4242 4526 -3414 3902 -3818 -4326 3162 3682 3202 4338 -4074 -3742 -3826 4518 -3194 3790 3790 4210 -4270 3322 -4406 -3378 -3518 -4470 3494 3190 3874 4530 -3166 4322 3210 -4382 3502 -4442 -3330 -3418 4266 -3194 4278 -4218 3870 -4530 3530 -4490 -3402 -4106 4214 -4166 -3158 3302 -3314 -4258 3326 3634 4502 -3938 3350 3662 3566 4250 4170 3562 -4114 3654 -3202 3394 4410 4522 -4542 3882 4338 4490 3482 4542 3910 -4530 4170 -3942 -3746 -4358 4518 -4126 4382 -3162 -3462 -3214 4210 -3190 4158 4342 4530 3562 3814 4390 -3918 3458 3698 4274 3190 -3994 -3978 3174 4242 3346 3318 3266 4250 3734 -3882 3158 4358 4530 -3302 3150 -3702 4150 -3762 -4530 3262 -4366 -3374 -3490 -4382 -3222 -4526 3170 -4462 4386 4294 -4054 3178 -4382 3322 4442 4162 3154 4538 -3414 3174 -4106 -4474 -3578 4166 -3554 3418 -4266 -3218 -3942 4474 -4442 -3270 3202 -3326 4542 -4502 3986 3226 -3654 -3602 3570 4150 -4522 4182 4430 -4442 -3166 -3878 -3542 -3918 -3310 -3158 4150 -3282 3946 3206 3682 -3182 3210 -4534 -4198 3974 -3310 3150 -4358 -3842 -4338 4122 -4082 -4010 3406 -3794 4490 3942 4370 3286 -3350 -4398 -3222 3842 3394 3290 -4450 -4002 -4522 4454 3558 4438 3742 4470 3978 4486 -3774 -3250 3154 -3626 -3346 4070 -3958 -3406 -3870 4142 -3558 -3822 -3922 3250 -3414 -3950 -4474 -4326 -3190 -3202 4362 3278 3190 4542 -3238 -3178 4494 -3230 3190 -3902 4542 -3458 4490 -4542 3658 3934 3402 4514 -3158 -3726 -3570 4514 4314 3386 3286 3238 3370 -4254 -3178 3234 4410 -3646 -4538 3998 4398 3638 -3790 -3958 4446 3190 3766 3602 4502 3898 3602 4266 3954 3162 -3242 -4286 -4038 -3594 -3194 4474 -3290 -3150 3818 4122 4422 3538 -3990 3958 3318 -4110 -4358 -4238 -3710 -4502 3302 4502 4334 -4142 -3958 4278 -3626 -3214 4402 4390 3150 -4186 3410 -3498 3506 3726 -3690 -3990 4354 -4390 -4330 -3306 3946 -3250 3894 3618 4006 -3434 3150 4346 -3250 -3202 -3558 3218 -4286 -4538 3826 4090 -3906 -4542 4526 -4386 -3378 3454 4486 -4062 3766 3202 -3718 -4482 -4470 -3566 3710 -4466 -3314 4390 4062 -3158 3290 4474 -3498 3462 3278 3862 4282 -3562 4350 -3486 -4510 3874 -3302 -4250 3150 3254 -3310 3206 3610 -3802 3806 -4526 -3254 -4474 -3390 4366 4202 -3198 -4094 3794 -4538 -3898 -3858 -4130 4302 -4366 -3818 -3230 -3410 -4466 -4466 -3330 4022 -4502 4530 -3470 4402 -4426 -3778 3150 -4478 -4538 4282 3314 4442 4358 -4230 3338 4030 3298 -3346 -3414 -3838 3274 3206 3918 -4370 3490 -4438 -4086 4254 3642 4090 -4502 -3766 -3842 4138 3630 3238 -3194 -3218 -4326 3454 3882 -3722 -4278 3242 -4430 -4226 3626 3262 4190 -3990 3390 4398 3154 3754 -4458 3158 -3942 4446 -3342 -3598 -3178 3194 -3198 4506 3354 3542 3414 -3874 -4114 -4402 -3478 4494 -3674 3242 4134 -4302 -3174 -4374 -3154 4146 4542 -4398 4186 3446 4526 4486 3202 3474 3434 -3846 -4174 3950 3150 -3246 -4054 -4190 3254 3622 3878 -4002 -3590 -4114 4430 4446 4306 4058 3586 3170 3926 3914 3202 -4542 4254 4534 -4502 3878 -3834 -3618 3766 4498 -4134 -3198 -4486 -4502 3258 -3162 -4186 3762 -4098 -3210 4414 3922 3982 -4446 -3150 -3994 3762 4310 -4038 4130 -3250 -4138 -4302 3714 4486 3150 -4154 -3562 -3262 -4422 -3810 4270 -3550 4506 -4154 -4502 4458 3234 3878 3154 -3410 3162 4506 -3178 4006 3794 -4530 3158 -4370 -3278 4374 -3854 -4526 -3286 -4150 3678 -4470 4350 -3814 -3362 -3218 3422 -4146 -3158 4398 3434 3274 -4526 3890 3210 -3182 -4382 3986 4494 4514 -3150 -4170 -4490 3378 3342 3166 -3158 3594 -4238 -4322 4478 -3994 3934 4374 4514 -4110 -4446 -4358 -4446 -3174 -3846 4134 -3374 4006 -3226 3186 3314 -3242 3254 -4502 -3198 -4114 -4298 -3182 -4170 -3778 4330 -3514 -3270 -3918 -3454 -4486 -4442 3162 4306 -3342 4430 4234 3490 3334 -3626 4426 -4134 -3362 -4466 -4526 4506 3286 -4418 -3530 4326 4278 4426 3986 -3190 -4302 -4110 3190 4466 4190 3346 -3390 -4410 -3366 -4470 4294 3442 3654 3614 -3254 4362 4386 -3210 -4498 3170 -4538 -3286 3174 -3386 4514 3158 4498 -3974 3630 -4458 -4510 4334 -4002 -3394 -3774 -3850 3734 -4474 4354 3474 3818 4206 -3690 4462 -3994 -3194 -4486 4210 3150 4358 3150 3754 4498 -4046 4186 -4458 4518 -3222 -3750 -4338 3702 3578 4402 4154 3154 -3850 -3242 4274 -4018 -3650 3218 3374 3586 3150 -3546 3346 -4482 3662 -3230 3210 -4022 -3294 3782 3962 -3154 3630 -4330 -4386 -3534 -4270 -3154 -4270 -4486 -4498 4390 -4002 3198 3602 -3434 3282 3878 4174 -3726 3214 4534 -3546 3590 -3310 -4342 -3158 4518 3286 4042 3662 -3270 3926 -4498 3930 -4534 -3214 4486 3230 3734 -3394 -4482 4202 4466 -4266 4166 -3322 -4430 -3174 -3150 -4262 -3782 3194 -4294 4146 -4510 -3270 -3402 4486 -4154 3918 3706 4470 3306 -3502 -4462 3498 3826 3222 -4206 -3718 4258 -3918 4390 -3270 -4418 -4310 4450 4486 3506 3342 4398 -3638 -3618 3154 -4542 4298 4406 -4150 -4146 4314 -3202 4506 -4166 3602 -4538 -3586 -4402 -3646 4382 3658 3810 3494 3210 3642 4318 -3694 -4402 3814 -4030 -4158 3874 -3554 4394 3294 -4530 -4450 -4482 -4370 4530 4514 -3266 -4406 3170 -3354 -4542 -4542 -3278 3582 3218 3174 -4082 3534 3202 3378 -4490 3258 -3806 -4386 -4466 -3242 3230 3650 4502 3194 -4498 -3574 -3170 4342 4506 4422 -3442 -3622 4466 4094 -4306 -3890 3342 3722 3782 -3682 3326 -3162 -3830 3418 4498 3946 -3866 -4498 -3330 -3174 3690 -3214 -4062 -3598 3570 -3358 3154 4470 -3198 4226 4202 4034 -4286 4198 -4350 -4530 3250 -3210 -4314 4250 4298 -4518 4474 4334 -3642 3370 4490 3582 -4306 -4150 -4454 3962 4126 4342 -4342 -3222 -4502 3510 -3414 -3166 3726 3810 3174 -4490 3830 -4390 4506 3918 3218 3150 -4538 3238 4538 -3730 -4138 -4486 4370 3210 -4186 -3518 4082 -4130 -4490 -4418 -4514 3246 -3262 -4538 3902 3226 -3818 -3642 3318 -3314 -3874 -4470 -4454 3942 3458 4522 4466 4286 -3162 -4406 -4466 4038 3510 3290 4010 -3346 4114 3202 -4002 3502 4182 -3206 -3154 3434 -4074 -4362 4258 3190 -3254 4518 3442 4330 3458 -3166 -4534 3918 -4338 4202 -3278 -3350 -4298 3398 3218 -4474 3194 3490 -4126 -3930 -3962 -4478 4226 4526 -3830 -3934 3178 3862 4154 -3186 -3402 -3202 -3350 3398 -4002 3530 4186 3578 -4498 -3642 4542 -3210 4058 -4458 3302 3474 -4114 3766 3882 -3214 4126 3326 3554 -3902 3490 3150

Verifier Data (download as text)

7026 unsatisfied constraints, 46522 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node41/watcher-275621-1169224024 -o ROOT/results/node41/solver-275621-1169224024 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275621-1169224024/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: 0.93 1.04 1.39 4/70 14099
/proc/meminfo: memFree=1566952/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=1500 CPUtime=0
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 270801738 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 1933920 0 0 4096 0 0 0 0 17 1 0 0
/proc/14098/statm: 375 69 54 14 0 8 0

[startup+0.102859 s]
/proc/loadavg: 0.93 1.04 1.39 4/70 14099
/proc/meminfo: memFree=1566952/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=914988 CPUtime=0.08
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 2958 0 1 0 6 2 0 0 20 0 8 0 270801738 936947712 2704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228747 2705 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510896 s]
/proc/loadavg: 0.93 1.04 1.39 4/70 14099
/proc/meminfo: memFree=1566952/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915332 CPUtime=0.49
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 7786 0 1 0 44 5 0 0 18 0 8 0 270801738 937299968 7526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228833 7528 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34297 s]
/proc/loadavg: 1.09 1.07 1.40 4/88 14118
/proc/meminfo: memFree=1438296/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915604 CPUtime=1.31
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 31643 0 1 0 114 17 0 0 23 0 8 0 270801738 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228901 31380 2164 14 0 215371 0
[pid=14098/tid=14106] ppid=14095 vsize=915604 CPUtime=0.13
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 15082 0 0 0 7 6 0 0 16 0 8 0 270801742 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270801743 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915604 CPUtime=0.15
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 406 0 0 0 15 0 0 0 15 0 8 0 270801746 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915604

[startup+3.00813 s]
/proc/loadavg: 1.09 1.07 1.40 3/88 14118
/proc/meminfo: memFree=1367064/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915604 CPUtime=2.99
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 34893 0 1 0 279 20 0 0 25 0 8 0 270801738 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228901 34623 2164 14 0 215371 0
[pid=14098/tid=14106] ppid=14095 vsize=915604 CPUtime=0.33
/proc/14098/task/14106/stat : 14106 (java) R 14095 14098 13981 0 -1 64 18324 0 0 0 26 7 0 0 16 0 8 0 270801742 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154023785 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270801743 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915604 CPUtime=0.15
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 407 0 0 0 15 0 0 0 16 0 8 0 270801746 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915604 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937578496 34623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 915604

[startup+6.3074 s]
/proc/loadavg: 1.09 1.07 1.40 4/88 14118
/proc/meminfo: memFree=1232288/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=6.28
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 35357 0 1 0 608 20 0 0 25 0 8 0 270801738 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 35086 2184 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=0.34
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 18714 0 0 0 26 8 0 0 16 0 8 0 270801742 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270801743 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.17
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 418 0 0 0 17 0 0 0 16 0 8 0 270801746 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 915744

[startup+12.708 s]
/proc/loadavg: 1.23 1.10 1.41 3/88 14118
/proc/meminfo: memFree=993512/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=12.69
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 35359 0 1 0 1248 21 0 0 25 0 8 0 270801738 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 35088 2184 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=0.34
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 18714 0 0 0 26 8 0 0 16 0 8 0 270801742 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270801743 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.17
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 270801746 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915744

[startup+25.5591 s]
/proc/loadavg: 1.42 1.15 1.42 3/88 14118
/proc/meminfo: memFree=739560/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=25.53
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 35370 0 1 0 2531 22 0 0 25 0 8 0 270801738 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 35099 2185 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=0.34
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 18714 0 0 0 26 8 0 0 16 0 8 0 270801742 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270801743 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.19
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 430 0 0 0 19 0 0 0 16 0 8 0 270801746 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915744

[startup+51.1833 s]
/proc/loadavg: 1.68 1.23 1.44 3/88 14118
/proc/meminfo: memFree=733224/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=51.14
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 36746 0 1 0 5090 24 0 0 25 0 8 0 270801738 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 36474 2185 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=0.44
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 20087 0 0 0 35 9 0 0 16 0 8 0 270801742 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270801743 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.2
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 432 0 0 0 20 0 0 0 16 0 8 0 270801746 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 36474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915744

[startup+102.393 s]
/proc/loadavg: 1.87 1.36 1.47 4/87 14176
/proc/meminfo: memFree=1242160/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=102.24
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48944 0 1 0 10190 34 0 0 25 0 8 0 270801738 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48530 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.26
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 466 0 0 0 26 0 0 0 16 0 8 0 270801746 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915744

[startup+162.447 s]
/proc/loadavg: 1.99 1.49 1.50 3/87 14176
/proc/meminfo: memFree=1187248/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=162.26
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48947 0 1 0 16191 35 0 0 25 0 8 0 270801738 937721856 48532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.32 s]
/proc/loadavg: 2.07 2.00 1.91 3/93 14334
/proc/meminfo: memFree=1185464/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=2083.32
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48959 0 1 0 208265 67 0 0 25 0 8 0 270801738 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48543 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.29
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2083.32
Current children cumulated vsize (KiB) 915744

[startup+2144.39 s]
/proc/loadavg: 2.02 2.00 1.91 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=2143.33
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48959 0 1 0 214265 68 0 0 25 0 8 0 270801738 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48543 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.29
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2143.33
Current children cumulated vsize (KiB) 915744

[startup+2204.45 s]
/proc/loadavg: 2.01 2.00 1.91 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=2203.38
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48959 0 1 0 220269 69 0 0 25 0 8 0 270801738 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48543 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.29
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2203.38
Current children cumulated vsize (KiB) 915744

[startup+2264.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=2263.42
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48959 0 1 0 226273 69 0 0 25 0 8 0 270801738 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48543 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.29
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2263.42
Current children cumulated vsize (KiB) 915744

[startup+2324.57 s]
/proc/loadavg: 2.03 2.01 1.92 3/87 14374
/proc/meminfo: memFree=1186480/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=2323.46
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48959 0 1 0 232277 69 0 0 25 0 8 0 270801738 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48543 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.29
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2323.46
Current children cumulated vsize (KiB) 915744

[startup+2384.64 s]
/proc/loadavg: 2.09 2.02 1.93 3/87 14374
/proc/meminfo: memFree=1186544/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=2383.51
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48959 0 1 0 238281 70 0 0 25 0 8 0 270801738 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48543 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.29
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2383.51
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.2 s]
/proc/loadavg: 2.06 2.02 1.93 3/87 14374
/proc/meminfo: memFree=1186544/2055920 swapFree=4191892/4192956
[pid=14098] ppid=14095 vsize=915744 CPUtime=2400.07
/proc/14098/stat : 14098 (java) R 14095 14098 13981 0 -1 0 48959 0 1 0 239937 70 0 0 25 0 8 0 270801738 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14098/statm: 228936 48543 2504 14 0 215406 0
[pid=14098/tid=14106] ppid=14095 vsize=915744 CPUtime=1.51
/proc/14098/task/14106/stat : 14106 (java) S 14095 14098 13981 0 -1 64 31899 0 0 0 137 14 0 0 16 0 8 0 270801742 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14109] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14109/stat : 14109 (java) S 14095 14098 13981 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14110] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14110/stat : 14110 (java) S 14095 14098 13981 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270801743 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14115] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14115/stat : 14115 (java) S 14095 14098 13981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14116] ppid=14095 vsize=915744 CPUtime=0.29
/proc/14098/task/14116/stat : 14116 (java) S 14095 14098 13981 0 -1 64 479 0 0 0 28 1 0 0 16 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14117] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14117/stat : 14117 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14098/tid=14118] ppid=14095 vsize=915744 CPUtime=0
/proc/14098/task/14118/stat : 14118 (java) S 14095 14098 13981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270801746 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2401.3
CPU time (s): 2400.17
CPU user time (s): 2399.44
CPU system time (s): 0.732888
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 916248

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

runsolver used 2.72758 s user time and 6.68298 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Fri Jan 19 16:27:05 UTC 2007


IDJOB= 275621
IDBENCH= 4168
IDSOLVER= 68
FILE ID= node41/275621-1169224024

PBS_JOBID= 3589209

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cad764e8b50fa9fdddcbd25c7290a916

RANDOM SEED= 481017950

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1567832 kB
Buffers:         45720 kB
Cached:         344324 kB
SwapCached:        276 kB
Active:         135544 kB
Inactive:       273944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567832 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           17000 kB
Writeback:           0 kB
Mapped:          28396 kB
Slab:            64264 kB
Committed_AS:  4874308 kB
PageTables:       1700 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= 66546 MiB



End job on node41 on Fri Jan 19 17:07:06 UTC 2007