Trace number 275588

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.16 2421.91

General information on the benchmark

Namefapp/fapp36-40/fapp37/
fapp37-2250-1.xml
MD5SUMa47e2dd557afef22184c3730edca47ba
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints38427
Best CPU time to get the best result obtained on this benchmark2400.2
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2250
Number of constraints42699
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension42699
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.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=epfc.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/275588-1169223750/unknown.xml
0.45	   
0.45	   domains being loaded...
0.50	   
0.50	   variables being loaded...
0.96	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998
0.96	       =>  wckTime=0.573  cpuTime=0.4  mem=46M738
0.96	   
0.96	   predicates being loaded...
0.97	   
0.97	   constraints being loaded...
61.56	   
61.56	   INFO : Stopping converting binary constraints (cpu=60.16, mem = 107M858)
65.53	     nbConstraints=42699  nbConvertedConstraints=326  nbConvertConstraintsChecks=187784980  nbExtensionStructures=313
65.53	     nbSharedExtensionStructures=13  nbConflictsStructures=313  nbSharedConflictsStructures=13
65.53	     nbSharedBinaryRepresentations=395225  nbEvaluationManagers=20964  nbSharedEvaluationManagers=21409  maxDegree=136
65.53	     maxArity=2
65.53	       =>  wckTime=65.138  cpuTime=63.41  mem=144M177
65.97	   
65.97	   solver LocalSearchSolver being built... 
66.01	       =>  wckTime=65.62  cpuTime=63.46  mem=115M713
67.64	
67.65	s SATISFIABLE
67.65	o 31142
67.65	c 11557
68.78	o 31154
68.78	c 11545
69.41	o 31171
69.41	c 11528
69.83	o 31186
69.83	c 11513
70.19	o 31199
70.19	c 11500
70.80	o 31215
70.80	c 11484
71.25	o 31231
71.25	c 11468
71.48	o 31245
71.48	c 11454
71.93	o 31250
71.93	c 11449
72.31	o 31258
72.31	c 11441
72.71	o 31274
72.71	c 11425
73.15	o 31292
73.15	c 11407
73.40	o 31305
73.40	c 11394
73.82	o 31324
73.82	c 11375
74.32	o 31332
74.32	c 11367
74.95	o 31350
74.95	c 11349
75.33	o 31362
75.33	c 11337
75.79	o 31373
75.79	c 11326
76.08	o 31378
76.08	c 11321
76.41	o 31387
76.41	c 11312
76.76	o 31395
76.76	c 11304
77.08	o 31410
77.08	c 11289
77.49	o 31427
77.49	c 11272
77.84	o 31444
77.84	c 11255
78.10	o 31454
78.10	c 11245
78.46	o 31457
78.46	c 11242
78.91	o 31468
78.91	c 11231
79.51	o 31469
79.51	c 11230
79.87	o 31475
79.87	c 11224
80.25	o 31491
80.25	c 11208
80.70	o 31500
80.70	c 11199
81.40	o 31514
81.40	c 11185
81.86	o 31527
81.86	c 11172
82.17	o 31537
82.17	c 11162
82.49	o 31547
82.49	c 11152
82.83	o 31562
82.83	c 11137
83.09	o 31566
83.09	c 11133
83.42	o 31568
83.42	c 11131
83.80	o 31576
83.80	c 11123
84.05	o 31589
84.05	c 11110
84.26	o 31601
84.26	c 11098
84.58	o 31613
84.58	c 11086
84.88	o 31626
84.88	c 11073
85.18	o 31631
85.18	c 11068
85.44	o 31645
85.44	c 11054
86.03	o 31650
86.03	c 11049
86.29	o 31662
86.29	c 11037
86.69	o 31677
86.69	c 11022
87.04	o 31690
87.04	c 11009
87.46	o 31694
87.46	c 11005
87.80	o 31700
87.80	c 10999
88.11	o 31702
88.11	c 10997
88.38	o 31710
88.38	c 10989
88.70	o 31712
88.70	c 10987
88.94	o 31716
88.94	c 10983
89.32	o 31725
89.32	c 10974
89.80	o 31732
89.80	c 10967
90.28	o 31744
90.28	c 10955
90.83	o 31745
90.83	c 10954
91.30	o 31755
91.30	c 10944
91.83	o 31762
91.83	c 10937
92.44	o 31766
92.44	c 10933
92.94	o 31772
92.94	c 10927
93.30	o 31773
93.30	c 10926
93.73	o 31784
93.73	c 10915
94.23	o 31787
94.23	c 10912
94.63	o 31797
94.63	c 10902
94.94	o 31811
94.94	c 10888
95.21	o 31816
95.21	c 10883
95.57	o 31828
95.57	c 10871
95.79	o 31831
95.79	c 10868
96.30	o 31845
96.30	c 10854
96.75	o 31852
96.75	c 10847
97.01	o 31864
97.01	c 10835
97.36	o 31872
97.36	c 10827
97.78	o 31877
97.78	c 10822
98.19	o 31883
98.19	c 10816
98.63	o 31891
98.63	c 10808
98.95	o 31895
98.95	c 10804
99.24	o 31897
99.24	c 10802
99.67	o 31902
99.67	c 10797
100.23	o 31907
100.23	c 10792
100.73	o 31914
100.73	c 10785
101.18	o 31921
101.18	c 10778
101.66	o 31929
101.66	c 10770
102.10	o 31942
102.10	c 10757
102.42	o 31951
102.42	c 10748
102.80	o 31952
102.80	c 10747
103.18	o 31959
103.18	c 10740
103.66	o 31967
103.66	c 10732
104.24	o 31970
104.24	c 10729
104.77	o 31976
104.77	c 10723
105.20	o 31979
105.20	c 10720
105.92	o 31984
105.92	c 10715
106.83	o 31986
106.83	c 10713
107.49	o 31994
107.49	c 10705
108.23	o 31996
108.23	c 10703
108.83	o 31998
108.83	c 10701
109.36	o 32004
109.36	c 10695
109.93	o 32012
109.93	c 10687
110.45	o 32013
110.45	c 10686
110.92	o 32028
110.92	c 10671
111.45	o 32030
111.45	c 10669
112.01	o 32034
112.02	c 10665
112.65	o 32044
112.65	c 10655
113.25	o 32054
113.25	c 10645
113.94	o 32062
113.94	c 10637
115.46	o 32073
115.46	c 10626
117.00	o 32076
117.00	c 10623
117.70	o 32080
117.70	c 10619
118.35	o 32095
118.35	c 10604
118.95	o 32105
118.95	c 10594
119.61	o 32106
119.61	c 10593
120.36	o 32108
120.36	c 10591
120.78	o 32109
120.78	c 10590
121.37	o 32110
121.37	c 10589
121.90	o 32116
121.90	c 10583
123.87	o 32117
123.87	c 10582
124.51	o 32119
124.51	c 10580
125.05	o 32124
125.05	c 10575
126.17	o 32133
126.17	c 10566
126.61	o 32138
126.61	c 10561
127.61	o 32143
127.61	c 10556
128.04	o 32149
128.04	c 10550
128.50	o 32153
128.50	c 10546
128.99	o 32155
128.99	c 10544
129.33	o 32166
129.33	c 10533
130.14	o 32174
130.14	c 10525
130.52	o 32188
130.52	c 10511
130.92	o 32190
130.92	c 10509
131.18	o 32205
131.18	c 10494
131.58	o 32210
131.58	c 10489
132.07	o 32217
132.07	c 10482
132.24	o 32222
132.24	c 10477
132.54	o 32225
132.54	c 10474
133.03	o 32230
133.03	c 10469
133.53	o 32241
133.53	c 10458
133.98	o 32243
133.98	c 10456
134.44	o 32257
134.44	c 10442
134.82	o 32267
134.82	c 10432
135.26	o 32270
135.26	c 10429
135.69	o 32280
135.69	c 10419
136.19	o 32289
136.19	c 10410
136.66	o 32296
136.66	c 10403
137.20	o 32301
137.20	c 10398
137.68	o 32313
137.68	c 10386
138.25	o 32314
138.25	c 10385
138.72	o 32315
138.72	c 10384
139.38	o 32319
139.38	c 10380
139.93	o 32327
139.93	c 10372
140.22	o 32329
140.22	c 10370
140.63	o 32337
140.63	c 10362
141.22	o 32342
141.22	c 10357
141.71	o 32344
141.71	c 10355
142.19	o 32345
142.19	c 10354
144.23	o 32346
144.23	c 10353
146.18	o 32356
146.18	c 10343
146.86	o 32358
146.86	c 10341
147.43	o 32363
147.43	c 10336
147.95	o 32367
147.95	c 10332
148.46	o 32376
148.46	c 10323
148.90	o 32390
148.90	c 10309
149.36	o 32396
149.36	c 10303
149.77	o 32405
149.77	c 10294
150.61	o 32410
150.61	c 10289
151.15	o 32411
151.15	c 10288
151.97	o 32418
151.97	c 10281
152.38	o 32424
152.38	c 10275
152.98	o 32426
152.98	c 10273
153.38	o 32428
153.38	c 10271
153.97	o 32440
153.97	c 10259
154.47	o 32442
154.47	c 10257
154.92	o 32444
154.92	c 10255
155.43	o 32445
155.43	c 10254
156.48	o 32446
156.48	c 10253
156.95	o 32455
156.95	c 10244
158.42	o 32462
158.42	c 10237
159.60	o 32463
159.60	c 10236
160.15	o 32470
160.15	c 10229
160.71	o 32478
160.71	c 10221
161.25	o 32485
161.25	c 10214
161.62	o 32492
161.62	c 10207
161.98	o 32499
161.98	c 10200
162.54	o 32514
162.54	c 10185
163.00	o 32523
163.00	c 10176
163.48	o 32537
163.48	c 10162
163.93	o 32553
163.93	c 10146
164.91	o 32559
164.91	c 10140
165.41	o 32570
165.41	c 10129
165.92	o 32578
165.92	c 10121
166.34	o 32592
166.34	c 10107
166.78	o 32603
166.78	c 10096
167.17	o 32612
167.17	c 10087
167.67	o 32619
167.67	c 10080
168.11	o 32628
168.11	c 10071
168.48	o 32637
168.49	c 10062
168.98	o 32645
168.98	c 10054
169.40	o 32652
169.40	c 10047
169.87	o 32659
169.87	c 10040
170.31	o 32666
170.31	c 10033
170.73	o 32673
170.73	c 10026
171.21	o 32680
171.21	c 10019
171.68	o 32686
171.68	c 10013
172.21	o 32699
172.21	c 10000
172.66	o 32705
172.66	c 9994
173.16	o 32710
173.20	c 9989
173.60	o 32714
173.60	c 9985
174.10	o 32718
174.10	c 9981
174.60	o 32722
174.60	c 9977
175.09	o 32735
175.09	c 9964
175.56	o 32744
175.56	c 9955
176.13	o 32745
176.13	c 9954
176.56	o 32760
176.56	c 9939
177.04	o 32763
177.04	c 9936
177.53	o 32766
177.53	c 9933
178.02	o 32768
178.02	c 9931
178.53	o 32780
178.53	c 9919
179.02	o 32782
179.02	c 9917
179.47	o 32784
179.47	c 9915
180.35	o 32785
180.35	c 9914
180.82	o 32787
180.82	c 9912
181.27	o 32792
181.27	c 9907
181.77	o 32794
181.77	c 9905
182.18	o 32805
182.18	c 9894
183.09	o 32818
183.09	c 9881
183.50	o 32819
183.50	c 9880
183.90	o 32838
183.90	c 9861
184.27	o 32839
184.27	c 9860
184.68	o 32840
184.68	c 9859
185.07	o 32841
185.07	c 9858
185.50	o 32842
185.50	c 9857
187.94	o 32853
187.94	c 9846
188.94	o 32866
188.94	c 9833
189.40	o 32874
189.40	c 9825
189.86	o 32876
189.86	c 9823
190.38	o 32886
190.38	c 9813
190.84	o 32897
190.84	c 9802
191.37	o 32900
191.37	c 9799
191.88	o 32908
191.88	c 9791
192.25	o 32923
192.25	c 9776
192.67	o 32931
192.67	c 9768
193.10	o 32935
193.10	c 9764
193.57	o 32945
193.57	c 9754
194.02	o 32948
194.02	c 9751
194.50	o 32953
194.50	c 9746
194.97	o 32956
194.97	c 9743
195.40	o 32959
195.40	c 9740
195.84	o 32966
195.84	c 9733
196.34	o 32971
196.34	c 9728
196.74	o 32972
196.74	c 9727
197.19	o 32982
197.19	c 9717
197.56	o 32983
197.56	c 9716
197.95	o 32995
197.95	c 9704
198.30	o 32998
198.30	c 9701
198.76	o 33001
198.76	c 9698
199.21	o 33004
199.21	c 9695
200.20	o 33006
200.20	c 9693
200.66	o 33007
200.66	c 9692
201.19	o 33014
201.19	c 9685
201.71	o 33020
201.71	c 9679
202.26	o 33026
202.26	c 9673
202.84	o 33032
202.84	c 9667
203.40	o 33037
203.40	c 9662
203.98	o 33041
203.98	c 9658
204.57	o 33046
204.57	c 9653
205.17	o 33054
205.17	c 9645
205.73	o 33057
205.73	c 9642
206.31	o 33060
206.31	c 9639
207.38	o 33061
207.38	c 9638
207.91	o 33077
207.91	c 9622
208.52	o 33082
208.52	c 9617
208.98	o 33090
208.98	c 9609
209.44	o 33092
209.44	c 9607
209.91	o 33095
209.91	c 9604
210.37	o 33107
210.37	c 9592
210.78	o 33111
210.78	c 9588
211.20	o 33120
211.20	c 9579
211.74	o 33122
211.74	c 9577
212.28	o 33124
212.28	c 9575
212.75	o 33125
212.75	c 9574
213.29	o 33126
213.29	c 9573
213.85	o 33127
213.85	c 9572
214.30	o 33128
214.30	c 9571
217.31	o 33131
217.31	c 9568
217.85	o 33137
217.85	c 9562
218.31	o 33153
218.31	c 9546
218.76	o 33168
218.76	c 9531
219.11	o 33177
219.11	c 9522
219.60	o 33186
219.60	c 9513
220.07	o 33193
220.07	c 9506
220.40	o 33204
220.40	c 9495
220.72	o 33207
220.72	c 9492
221.10	o 33215
221.10	c 9484
221.42	o 33222
221.42	c 9477
221.91	o 33231
221.91	c 9468
222.18	o 33240
222.18	c 9459
222.58	o 33249
222.58	c 9450
222.99	o 33258
222.99	c 9441
223.40	o 33260
223.40	c 9439
223.84	o 33277
223.84	c 9422
224.26	o 33281
224.26	c 9418
224.59	o 33285
224.59	c 9414
224.95	o 33290
224.95	c 9409
225.34	o 33304
225.34	c 9395
225.63	o 33313
225.63	c 9386
226.30	o 33318
226.30	c 9381
226.64	o 33328
226.64	c 9371
227.01	o 33335
227.01	c 9364
227.29	o 33337
227.29	c 9362
227.72	o 33340
227.72	c 9359
228.20	o 33351
228.20	c 9348
228.67	o 33359
228.67	c 9340
229.12	o 33364
229.12	c 9335
229.59	o 33367
229.59	c 9332
229.96	o 33381
229.96	c 9318
230.39	o 33386
230.39	c 9313
230.84	o 33390
230.84	c 9309
231.26	o 33392
231.26	c 9307
231.56	o 33397
231.56	c 9302
231.98	o 33401
231.98	c 9298
232.38	o 33405
232.38	c 9294
232.77	o 33409
232.77	c 9290
233.14	o 33413
233.14	c 9286
233.52	o 33417
233.52	c 9282
233.87	o 33418
233.87	c 9281
234.24	o 33422
234.24	c 9277
234.65	o 33425
234.65	c 9274
235.02	o 33428
235.02	c 9271
235.37	o 33431
235.37	c 9268
235.76	o 33436
235.76	c 9263
236.14	o 33438
236.14	c 9261
236.49	o 33449
236.49	c 9250
236.90	o 33451
236.90	c 9248
237.30	o 33453
237.30	c 9246
237.66	o 33455
237.66	c 9244
238.03	o 33457
238.03	c 9242
238.38	o 33460
238.38	c 9239
238.73	o 33462
238.73	c 9237
239.06	o 33463
239.06	c 9236
239.40	o 33464
239.40	c 9235
239.74	o 33465
239.74	c 9234
240.42	o 33471
240.42	c 9228
241.80	o 33479
241.80	c 9220
242.22	o 33481
242.22	c 9218
242.67	o 33491
242.67	c 9208
243.05	o 33492
243.05	c 9207
243.49	o 33500
243.49	c 9199
243.86	o 33503
243.86	c 9196
244.36	o 33509
244.36	c 9190
245.27	o 33516
245.27	c 9183
245.70	o 33523
245.70	c 9176
246.98	o 33531
246.98	c 9168
247.82	o 33538
247.82	c 9161
248.21	o 33541
248.21	c 9158
248.98	o 33547
248.98	c 9152
251.64	o 33555
251.64	c 9144
252.04	o 33556
252.04	c 9143
254.97	o 33557
254.97	c 9142
255.61	o 33566
255.61	c 9133
256.21	o 33573
256.21	c 9126
256.81	o 33579
256.81	c 9120
257.39	o 33584
257.39	c 9115
257.98	o 33589
257.98	c 9110
258.55	o 33594
258.55	c 9105
259.46	o 33595
259.46	c 9104
260.40	o 33602
260.40	c 9097
260.86	o 33606
260.86	c 9093
261.31	o 33609
261.31	c 9090
261.73	o 33616
261.73	c 9083
262.17	o 33619
262.17	c 9080
262.59	o 33626
262.59	c 9073
263.04	o 33635
263.04	c 9064
263.40	o 33639
263.40	c 9060
263.82	o 33648
263.82	c 9051
264.28	o 33659
264.28	c 9040
264.70	o 33662
264.70	c 9037
265.12	o 33665
265.12	c 9034
265.55	o 33667
265.55	c 9032
265.97	o 33669
265.97	c 9030
266.38	o 33671
266.38	c 9028
266.81	o 33673
266.81	c 9026
267.24	o 33675
267.24	c 9024
267.76	o 33677
267.76	c 9022
268.16	o 33681
268.16	c 9018
268.58	o 33683
268.58	c 9016
269.02	o 33685
269.02	c 9014
269.47	o 33687
269.47	c 9012
269.87	o 33688
269.87	c 9011
270.23	o 33689
270.23	c 9010
270.71	o 33690
270.71	c 9009
271.11	o 33691
271.11	c 9008
271.55	o 33692
271.55	c 9007
275.80	o 33695
275.80	c 9004
276.24	o 33706
276.24	c 8993
276.64	o 33713
276.64	c 8986
277.08	o 33718
277.08	c 8981
277.42	o 33721
277.42	c 8978
277.78	o 33732
277.78	c 8967
278.14	o 33743
278.14	c 8956
278.53	o 33755
278.53	c 8944
279.01	o 33756
279.01	c 8943
279.38	o 33758
279.38	c 8941
279.91	o 33764
279.91	c 8935
280.31	o 33769
280.31	c 8930
281.13	o 33779
281.13	c 8920
281.49	o 33782
281.49	c 8917
281.93	o 33787
281.93	c 8912
282.34	o 33789
282.34	c 8910
282.70	o 33791
282.70	c 8908
283.21	o 33796
283.21	c 8903
283.71	o 33804
283.71	c 8895
284.15	o 33814
284.15	c 8885
284.59	o 33816
284.59	c 8883
284.98	o 33827
284.98	c 8872
285.46	o 33834
285.46	c 8865
286.38	o 33842
286.38	c 8857
286.86	o 33848
286.86	c 8851
287.39	o 33856
287.39	c 8843
288.34	o 33857
288.34	c 8842
288.84	o 33859
288.84	c 8840
289.41	o 33864
289.41	c 8835
289.94	o 33874
289.94	c 8825
290.45	o 33878
290.45	c 8821
290.97	o 33885
290.97	c 8814
291.49	o 33887
291.49	c 8812
292.03	o 33896
292.03	c 8803
292.96	o 33908
292.96	c 8791
293.39	o 33912
293.39	c 8787
293.81	o 33914
293.81	c 8785
294.31	o 33918
294.31	c 8781
294.76	o 33920
294.76	c 8779
296.44	o 33924
296.44	c 8775
296.85	o 33927
296.85	c 8772
297.26	o 33931
297.26	c 8768
297.66	o 33935
297.66	c 8764
298.89	o 33936
298.89	c 8763
299.80	o 33940
299.80	c 8759
300.21	o 33948
300.21	c 8751
300.68	o 33949
300.68	c 8750
301.05	o 33952
301.05	c 8747
301.45	o 33956
301.45	c 8743
302.91	o 33959
302.91	c 8740
303.81	o 33962
303.81	c 8737
304.20	o 33968
304.20	c 8731
304.65	o 33973
304.65	c 8726
305.09	o 33974
305.09	c 8725
305.48	o 33975
305.48	c 8724
306.33	o 33982
306.33	c 8717
306.84	o 33987
306.84	c 8712
307.31	o 33992
307.31	c 8707
307.75	o 33996
307.75	c 8703
308.29	o 34000
308.29	c 8699
308.77	o 34003
308.77	c 8696
309.22	o 34006
309.22	c 8693
309.69	o 34009
309.69	c 8690
310.13	o 34011
310.14	c 8688
311.89	o 34013
311.89	c 8686
312.32	o 34018
312.32	c 8681
312.75	o 34020
312.75	c 8679
313.17	o 34021
313.17	c 8678
313.60	o 34022
313.60	c 8677
314.04	o 34031
314.04	c 8668
314.53	o 34032
314.53	c 8667
314.98	o 34033
314.98	c 8666
315.43	o 34034
315.43	c 8665
316.84	o 34037
316.84	c 8662
317.26	o 34042
317.26	c 8657
317.73	o 34049
317.73	c 8650
318.28	o 34050
318.28	c 8649
318.67	o 34051
318.67	c 8648
319.10	o 34058
319.10	c 8641
319.55	o 34061
319.55	c 8638
319.96	o 34062
319.96	c 8637
320.50	o 34072
320.50	c 8627
321.05	o 34077
321.05	c 8622
321.63	o 34078
321.63	c 8621
322.12	o 34087
322.12	c 8612
322.70	o 34095
322.70	c 8604
323.14	o 34098
323.14	c 8601
324.28	o 34102
324.28	c 8597
324.85	o 34107
324.85	c 8592
325.36	o 34115
325.36	c 8584
325.91	o 34116
325.91	c 8583
326.42	o 34127
326.42	c 8572
326.95	o 34133
326.95	c 8566
327.42	o 34135
327.42	c 8564
327.82	o 34141
327.82	c 8558
328.23	o 34143
328.23	c 8556
329.01	o 34147
329.01	c 8552
329.47	o 34152
329.47	c 8547
330.42	o 34159
330.42	c 8540
330.96	o 34161
330.96	c 8538
331.44	o 34165
331.44	c 8534
331.93	o 34170
331.93	c 8529
332.42	o 34173
332.42	c 8526
332.98	o 34175
332.98	c 8524
333.50	o 34180
333.50	c 8519
334.02	o 34181
334.02	c 8518
335.99	o 34183
335.99	c 8516
336.49	o 34184
336.49	c 8515
336.98	o 34197
336.98	c 8502
337.52	o 34199
337.52	c 8500
338.07	o 34202
338.07	c 8497
338.62	o 34207
338.62	c 8492
339.71	o 34211
339.71	c 8488
340.22	o 34214
340.22	c 8485
340.77	o 34217
340.77	c 8482
341.29	o 34218
341.29	c 8481
341.77	o 34224
341.77	c 8475
342.26	o 34225
342.26	c 8474
342.74	o 34226
342.74	c 8473
343.19	o 34230
343.19	c 8469
343.68	o 34232
343.68	c 8467
344.17	o 34239
344.17	c 8460
345.64	o 34240
345.64	c 8459
346.01	o 34243
346.01	c 8456
346.52	o 34247
346.52	c 8452
346.94	o 34249
346.94	c 8450
347.33	o 34251
347.33	c 8448
347.83	o 34258
347.83	c 8441
348.27	o 34262
348.27	c 8437
349.24	o 34263
349.24	c 8436
349.84	o 34265
349.84	c 8434
350.31	o 34267
350.31	c 8432
350.86	o 34270
350.86	c 8429
352.92	o 34272
352.92	c 8427
353.50	o 34278
353.50	c 8421
354.05	o 34282
354.05	c 8417
354.62	o 34293
354.62	c 8406
355.86	o 34294
355.86	c 8405
356.43	o 34296
356.43	c 8403
357.06	o 34298
357.06	c 8401
357.69	o 34299
357.69	c 8400
358.28	o 34300
358.28	c 8399
365.05	o 34309
365.05	c 8390
365.63	o 34312
365.63	c 8387
366.26	o 34321
366.26	c 8378
366.92	o 34330
366.92	c 8369
369.57	o 34333
369.57	c 8366
372.11	o 34336
372.11	c 8363
372.70	o 34338
372.70	c 8361
373.29	o 34339
373.29	c 8360
373.95	o 34340
373.95	c 8359
374.64	o 34341
374.64	c 8358
375.30	o 34346
375.30	c 8353
377.06	o 34351
377.06	c 8348
377.61	o 34359
377.61	c 8340
378.73	o 34363
378.73	c 8336
379.36	o 34364
379.36	c 8335
380.00	o 34365
380.00	c 8334
380.53	o 34366
380.53	c 8333
381.68	o 34373
381.68	c 8326
382.27	o 34376
382.27	c 8323
382.86	o 34377
382.86	c 8322
383.48	o 34378
383.48	c 8321
384.82	o 34380
384.82	c 8319
385.48	o 34382
385.48	c 8317
386.16	o 34383
386.16	c 8316
386.84	o 34387
386.84	c 8312
387.55	o 34394
387.55	c 8305
389.01	o 34397
389.01	c 8302
390.49	o 34399
390.49	c 8300
392.10	o 34407
392.10	c 8292
392.86	o 34410
392.86	c 8289
394.44	o 34413
394.44	c 8286
395.95	o 34423
395.95	c 8276
396.68	o 34424
396.68	c 8275
397.43	o 34431
397.43	c 8268
398.25	o 34442
398.25	c 8257
399.02	o 34448
399.02	c 8251
399.82	o 34451
399.82	c 8248
400.49	o 34453
400.49	c 8246
401.21	o 34454
401.21	c 8245
402.61	o 34459
402.61	c 8240
403.30	o 34464
403.30	c 8235
404.63	o 34471
404.63	c 8228
405.33	o 34479
405.33	c 8220
406.82	o 34483
406.82	c 8216
407.58	o 34488
407.58	c 8211
408.34	o 34490
408.34	c 8209
409.07	o 34497
409.07	c 8202
409.82	o 34498
409.82	c 8201
410.61	o 34506
410.61	c 8193
411.30	o 34512
411.30	c 8187
412.00	o 34515
412.00	c 8184
412.75	o 34518
412.75	c 8181
413.48	o 34525
413.48	c 8174
414.21	o 34531
414.21	c 8168
414.94	o 34541
414.94	c 8158
415.65	o 34546
415.65	c 8153
416.38	o 34547
416.38	c 8152
417.94	o 34550
417.94	c 8149
418.84	o 34552
418.84	c 8147
419.64	o 34560
419.64	c 8139
420.46	o 34563
420.46	c 8136
421.22	o 34572
421.22	c 8127
421.98	o 34573
421.98	c 8126
422.67	o 34577
422.67	c 8122
423.32	o 34583
423.32	c 8116
424.13	o 34584
424.13	c 8115
424.89	o 34586
424.89	c 8113
425.69	o 34587
425.69	c 8112
426.43	o 34588
426.43	c 8111
427.11	o 34590
427.11	c 8109
427.78	o 34591
427.78	c 8108
428.53	o 34598
428.53	c 8101
429.24	o 34602
429.24	c 8097
429.95	o 34603
429.95	c 8096
430.67	o 34604
430.67	c 8095
431.43	o 34605
431.43	c 8094
432.07	o 34609
432.07	c 8090
432.85	o 34613
432.85	c 8086
433.63	o 34615
433.63	c 8084
434.33	o 34617
434.33	c 8082
435.08	o 34619
435.08	c 8080
435.81	o 34621
435.81	c 8078
436.54	o 34623
436.54	c 8076
437.38	o 34624
437.38	c 8075
438.15	o 34625
438.15	c 8074
439.03	o 34635
439.03	c 8064
439.81	o 34636
439.81	c 8063
440.61	o 34637
440.61	c 8062
441.33	o 34638
441.33	c 8061
442.03	o 34639
442.03	c 8060
442.74	o 34640
442.74	c 8059
443.44	o 34644
443.44	c 8055
444.14	o 34645
444.14	c 8054
445.58	o 34647
445.58	c 8052
446.34	o 34648
446.34	c 8051
447.11	o 34657
447.11	c 8042
447.91	o 34658
447.91	c 8041
448.65	o 34663
448.65	c 8036
449.38	o 34665
449.38	c 8034
450.10	o 34670
450.10	c 8029
451.70	o 34672
451.70	c 8027
452.41	o 34684
452.41	c 8015
453.19	o 34693
453.19	c 8006
453.99	o 34699
453.99	c 8000
456.21	o 34700
456.21	c 7999
456.95	o 34706
456.95	c 7993
457.63	o 34713
457.63	c 7986
459.15	o 34720
459.15	c 7979
459.89	o 34722
459.89	c 7977
461.99	o 34723
461.99	c 7976
469.53	o 34727
469.53	c 7972
470.27	o 34730
470.27	c 7969
471.09	o 34732
471.09	c 7967
474.88	o 34734
474.88	c 7965
476.95	o 34737
476.95	c 7962
477.75	o 34740
477.75	c 7959
478.56	o 34743
478.56	c 7956
479.30	o 34744
479.30	c 7955
480.06	o 34745
480.06	c 7954
480.80	o 34749
480.80	c 7950
481.65	o 34755
481.65	c 7944
482.47	o 34761
482.47	c 7938
483.31	o 34763
483.31	c 7936
484.07	o 34764
484.07	c 7935
487.46	o 34770
487.46	c 7929
488.25	o 34778
488.25	c 7921
489.13	o 34780
489.13	c 7919
490.06	o 34782
490.06	c 7917
491.88	o 34786
491.88	c 7913
492.76	o 34795
492.76	c 7904
493.67	o 34798
493.67	c 7901
494.60	o 34800
494.60	c 7899
496.48	o 34802
496.48	c 7897
501.80	o 34804
501.80	c 7895
502.73	o 34805
502.73	c 7894
503.65	o 34807
503.65	c 7892
510.66	o 34809
510.66	c 7890
511.50	o 34815
511.50	c 7884
513.22	o 34817
513.22	c 7882
515.17	o 34825
515.17	c 7874
516.17	o 34827
516.17	c 7872
518.10	o 34833
518.10	c 7866
519.13	o 34835
519.13	c 7864
521.03	o 34837
521.03	c 7862
523.05	o 34841
523.05	c 7858
523.96	o 34844
523.96	c 7855
524.97	o 34854
524.97	c 7845
525.91	o 34861
525.91	c 7838
526.82	o 34870
526.82	c 7829
527.71	o 34874
527.71	c 7825
529.46	o 34875
529.46	c 7824
530.31	o 34880
530.31	c 7819
531.17	o 34887
531.17	c 7812
532.08	o 34890
532.08	c 7809
532.97	o 34899
532.97	c 7800
533.81	o 34902
533.81	c 7797
535.65	o 34909
535.65	c 7790
536.49	o 34913
536.49	c 7786
537.40	o 34915
537.40	c 7784
538.40	o 34918
538.40	c 7781
539.39	o 34921
539.39	c 7778
540.32	o 34922
540.32	c 7777
541.24	o 34924
541.24	c 7775
542.13	o 34926
542.13	c 7773
543.06	o 34927
543.06	c 7772
543.99	o 34928
543.99	c 7771
544.87	o 34929
544.87	c 7770
545.78	o 34934
545.78	c 7765
548.41	o 34945
548.41	c 7754
554.36	o 34946
554.36	c 7753
555.20	o 34947
555.20	c 7752
556.05	o 34953
556.05	c 7746
556.88	o 34954
556.88	c 7745
557.70	o 34957
557.70	c 7742
560.12	o 34961
560.12	c 7738
561.07	o 34965
561.07	c 7734
561.90	o 34971
561.90	c 7728
562.75	o 34974
562.75	c 7725
563.59	o 34978
563.59	c 7721
564.44	o 34985
564.44	c 7714
565.27	o 34986
565.27	c 7713
566.10	o 34990
566.10	c 7709
566.91	o 34993
566.91	c 7706
568.64	o 34997
568.64	c 7702
569.36	o 35001
569.36	c 7698
570.20	o 35004
570.20	c 7695
571.04	o 35008
571.04	c 7691
572.67	o 35013
572.67	c 7686
573.34	o 35015
573.34	c 7684
574.15	o 35020
574.15	c 7679
574.99	o 35022
574.99	c 7677
575.86	o 35024
575.86	c 7675
576.70	o 35030
576.70	c 7669
578.19	o 35032
578.19	c 7667
578.94	o 35034
578.94	c 7665
579.76	o 35039
579.76	c 7660
580.56	o 35040
580.56	c 7659
581.39	o 35046
581.39	c 7653
582.25	o 35047
582.25	c 7652
582.99	o 35053
582.99	c 7646
583.83	o 35055
583.83	c 7644
585.42	o 35059
585.42	c 7640
586.21	o 35061
586.21	c 7638
587.02	o 35064
587.02	c 7635
587.82	o 35069
587.82	c 7630
588.66	o 35072
588.66	c 7627
589.54	o 35073
589.54	c 7626
590.36	o 35078
590.36	c 7621
591.20	o 35080
591.20	c 7619
592.92	o 35086
592.92	c 7613
603.41	o 35093
603.41	c 7606
604.22	o 35095
604.22	c 7604
604.99	o 35097
604.99	c 7602
605.87	o 35101
605.87	c 7598
606.65	o 35104
606.65	c 7595
607.42	o 35107
607.42	c 7592
608.27	o 35110
608.27	c 7589
609.11	o 35114
609.11	c 7585
609.89	o 35115
609.89	c 7584
610.70	o 35116
610.70	c 7583
611.51	o 35119
611.51	c 7580
612.30	o 35123
612.30	c 7576
613.15	o 35126
613.15	c 7573
613.99	o 35127
613.99	c 7572
614.83	o 35128
614.83	c 7571
616.46	o 35130
616.46	c 7569
617.30	o 35136
617.30	c 7563
618.26	o 35148
618.26	c 7551
619.16	o 35151
619.16	c 7548
620.03	o 35157
620.03	c 7542
620.90	o 35161
620.90	c 7538
621.76	o 35163
621.76	c 7536
622.62	o 35167
622.62	c 7532
623.50	o 35174
623.50	c 7525
624.38	o 35181
624.38	c 7518
625.28	o 35188
625.28	c 7511
626.20	o 35194
626.20	c 7505
630.60	o 35200
630.60	c 7499
633.17	o 35204
633.17	c 7495
634.10	o 35208
634.10	c 7491
634.95	o 35214
634.95	c 7485
635.91	o 35222
635.91	c 7477
636.75	o 35227
636.75	c 7472
637.64	o 35229
637.64	c 7470
639.41	o 35233
639.41	c 7466
640.37	o 35239
640.37	c 7460
642.20	o 35241
642.20	c 7458
644.07	o 35244
644.07	c 7455
645.02	o 35249
645.02	c 7450
646.02	o 35253
646.02	c 7446
646.98	o 35255
646.98	c 7444
647.98	o 35257
647.98	c 7442
649.00	o 35261
649.00	c 7438
654.13	o 35265
654.13	c 7434
655.15	o 35266
655.15	c 7433
656.19	o 35270
656.19	c 7429
660.38	o 35276
660.38	c 7423
661.38	o 35277
661.38	c 7422
664.16	o 35280
664.16	c 7419
665.10	o 35283
665.10	c 7416
666.03	o 35288
666.03	c 7411
666.94	o 35289
666.94	c 7410
667.95	o 35296
667.95	c 7403
668.98	o 35298
668.98	c 7401
669.91	o 35302
669.91	c 7397
670.86	o 35305
670.86	c 7394
672.90	o 35309
672.90	c 7390
675.79	o 35313
675.79	c 7386
676.76	o 35317
676.76	c 7382
677.75	o 35318
677.75	c 7381
678.77	o 35319
678.77	c 7380
679.76	o 35324
679.76	c 7375
680.79	o 35328
680.79	c 7371
681.85	o 35330
681.85	c 7369
682.86	o 35334
682.86	c 7365
683.85	o 35351
683.85	c 7348
684.90	o 35353
684.90	c 7346
685.84	o 35364
685.84	c 7335
686.79	o 35367
686.79	c 7332
687.74	o 35368
687.74	c 7331
689.72	o 35372
689.72	c 7327
690.72	o 35373
690.72	c 7326
691.77	o 35375
691.77	c 7324
692.79	o 35379
692.79	c 7320
693.77	o 35386
693.77	c 7313
694.78	o 35387
694.78	c 7312
695.75	o 35388
695.75	c 7311
696.72	o 35390
696.72	c 7309
697.79	o 35399
697.79	c 7300
698.87	o 35405
698.87	c 7294
699.99	o 35407
699.99	c 7292
701.12	o 35411
701.12	c 7288
702.23	o 35414
702.23	c 7285
703.31	o 35415
703.31	c 7284
704.45	o 35419
704.45	c 7280
718.12	o 35420
718.12	c 7279
719.41	o 35426
719.41	c 7273
720.58	o 35430
720.58	c 7269
721.82	o 35431
721.82	c 7268
723.01	o 35434
723.01	c 7265
725.39	o 35440
725.39	c 7259
727.74	o 35442
727.74	c 7257
728.90	o 35443
728.90	c 7256
729.99	o 35447
729.99	c 7252
733.63	o 35448
733.63	c 7251
734.88	o 35451
734.88	c 7248
736.02	o 35453
736.02	c 7246
737.13	o 35458
737.13	c 7241
738.29	o 35462
738.29	c 7237
739.38	o 35465
739.38	c 7234
740.56	o 35466
740.56	c 7233
741.66	o 35473
741.66	c 7226
745.04	o 35479
745.04	c 7220
747.21	o 35485
747.21	c 7214
748.16	o 35493
748.16	c 7206
749.33	o 35499
749.33	c 7200
750.51	o 35502
750.51	c 7197
751.66	o 35507
751.66	c 7192
753.99	o 35510
753.99	c 7189
755.26	o 35514
755.26	c 7185
756.43	o 35519
756.43	c 7180
757.62	o 35520
757.62	c 7179
759.99	o 35521
759.99	c 7178
761.16	o 35525
761.16	c 7174
762.31	o 35526
762.31	c 7173
763.46	o 35527
763.47	c 7172
764.63	o 35533
764.63	c 7166
765.81	o 35536
765.81	c 7163
766.91	o 35538
766.91	c 7161
773.67	o 35544
773.67	c 7155
774.83	o 35545
774.83	c 7154
777.04	o 35551
777.04	c 7148
778.10	o 35556
778.10	c 7143
782.99	o 35584
782.99	c 7115
784.99	o 35585
784.99	c 7114
788.15	o 35587
788.15	c 7112
789.25	o 35589
789.25	c 7110
790.27	o 35594
790.27	c 7105
791.27	o 35595
791.27	c 7104
792.41	o 35598
792.41	c 7101
795.69	o 35599
795.69	c 7100
796.87	o 35602
796.87	c 7097
798.01	o 35605
798.01	c 7094
799.22	o 35608
799.22	c 7091
800.36	o 35612
800.36	c 7087
801.54	o 35618
801.54	c 7081
802.77	o 35620
802.77	c 7079
803.93	o 35623
803.93	c 7076
805.22	o 35629
805.22	c 7070
809.73	o 35631
809.73	c 7068
810.82	o 35633
810.82	c 7066
811.94	o 35634
811.94	c 7065
813.07	o 35641
813.07	c 7058
814.13	o 35648
814.13	c 7051
816.16	o 35649
816.16	c 7050
817.17	o 35651
817.17	c 7048
818.22	o 35654
818.22	c 7045
819.20	o 35655
819.20	c 7044
828.88	o 35659
828.88	c 7040
829.96	o 35665
829.96	c 7034
830.92	o 35667
830.92	c 7032
832.00	o 35669
832.00	c 7030
833.12	o 35670
833.12	c 7029
834.11	o 35673
834.11	c 7026
835.12	o 35674
835.12	c 7025
836.17	o 35682
836.17	c 7017
837.17	o 35685
837.17	c 7014
838.23	o 35690
838.23	c 7009
839.26	o 35696
839.26	c 7003
840.30	o 35698
840.30	c 7001
841.27	o 35704
841.27	c 6995
842.18	o 35708
842.18	c 6991
843.17	o 35711
843.17	c 6988
844.18	o 35717
844.18	c 6982
845.16	o 35723
845.16	c 6976
846.13	o 35724
846.13	c 6975
847.17	o 35726
847.17	c 6973
848.20	o 35727
848.20	c 6972
849.30	o 35729
849.30	c 6970
850.33	o 35732
850.33	c 6967
852.37	o 35737
852.37	c 6962
853.46	o 35738
853.46	c 6961
855.55	o 35742
855.55	c 6957
857.58	o 35746
857.58	c 6953
858.60	o 35750
858.60	c 6949
859.69	o 35755
859.69	c 6944
860.95	o 35757
860.95	c 6942
862.09	o 35761
862.09	c 6938
864.52	o 35765
864.52	c 6934
866.64	o 35769
866.64	c 6930
872.62	o 35771
872.62	c 6928
873.77	o 35773
873.77	c 6926
874.90	o 35777
874.90	c 6922
876.16	o 35783
876.16	c 6916
877.39	o 35785
877.39	c 6914
878.59	o 35788
878.59	c 6911
879.71	o 35792
879.71	c 6907
882.08	o 35796
882.08	c 6903
883.35	o 35802
883.35	c 6897
884.44	o 35811
884.44	c 6888
890.10	o 35813
890.10	c 6886
891.30	o 35817
891.30	c 6882
893.63	o 35820
893.63	c 6879
894.80	o 35824
894.80	c 6875
896.06	o 35826
896.06	c 6873
897.23	o 35828
897.23	c 6871
899.65	o 35830
899.65	c 6869
900.81	o 35835
900.81	c 6864
902.02	o 35838
902.02	c 6861
903.23	o 35839
903.23	c 6860
905.70	o 35842
905.70	c 6857
906.99	o 35844
906.99	c 6855
908.30	o 35846
908.30	c 6853
909.63	o 35849
909.63	c 6850
910.86	o 35850
910.86	c 6849
912.16	o 35851
912.16	c 6848
913.41	o 35854
913.41	c 6845
914.74	o 35856
914.74	c 6843
916.06	o 35861
916.06	c 6838
917.38	o 35862
917.38	c 6837
918.85	o 35864
918.85	c 6835
920.22	o 35868
920.22	c 6831
921.60	o 35870
921.60	c 6829
924.34	o 35874
924.34	c 6825
925.69	o 35876
925.69	c 6823
927.01	o 35878
927.01	c 6821
928.37	o 35882
928.37	c 6817
929.70	o 35884
929.70	c 6815
931.07	o 35890
931.07	c 6809
937.05	o 35896
937.05	c 6803
939.89	o 35897
939.89	c 6802
941.28	o 35902
941.28	c 6797
942.66	o 35908
942.66	c 6791
944.06	o 35911
944.06	c 6788
945.54	o 35914
945.54	c 6785
951.52	o 35918
951.52	c 6781
952.64	o 35921
952.64	c 6778
954.13	o 35926
954.13	c 6773
955.59	o 35927
955.59	c 6772
957.29	o 35933
957.29	c 6766
958.78	o 35940
958.78	c 6759
960.40	o 35943
960.40	c 6756
961.87	o 35946
961.87	c 6753
963.39	o 35948
963.40	c 6751
964.85	o 35951
964.85	c 6748
966.38	o 35956
966.38	c 6743
969.39	o 35958
969.39	c 6741
971.02	o 35960
971.02	c 6739
972.52	o 35961
972.52	c 6738
973.97	o 35966
973.97	c 6733
975.52	o 35970
975.52	c 6729
976.98	o 35978
976.98	c 6721
978.58	o 35980
978.58	c 6719
980.07	o 35984
980.07	c 6715
981.57	o 35989
981.57	c 6710
983.07	o 35992
983.07	c 6707
986.26	o 35996
986.26	c 6703
987.80	o 36000
987.80	c 6699
990.91	o 36002
990.91	c 6697
992.53	o 36009
992.53	c 6690
994.18	o 36012
994.18	c 6687
996.00	o 36014
996.00	c 6685
999.38	o 36027
999.38	c 6672
1000.95	o 36028
1000.95	c 6671
1002.64	o 36029
1002.64	c 6670
1004.32	o 36036
1004.32	c 6663
1005.97	o 36049
1005.97	c 6650
1006.98	o 36055
1006.98	c 6644
1008.54	o 36061
1008.54	c 6638
1010.17	o 36064
1010.17	c 6635
1017.54	o 36065
1017.54	c 6634
1026.12	o 36071
1026.12	c 6628
1026.91	o 36074
1026.91	c 6625
1029.68	o 36081
1029.68	c 6618
1032.41	o 36086
1032.41	c 6613
1033.77	o 36091
1033.77	c 6608
1035.13	o 36097
1035.13	c 6602
1036.44	o 36102
1036.44	c 6597
1037.91	o 36106
1037.91	c 6593
1039.32	o 36110
1039.32	c 6589
1040.69	o 36114
1040.69	c 6585
1044.98	o 36118
1044.98	c 6581
1047.91	o 36121
1047.91	c 6578
1049.43	o 36126
1049.43	c 6573
1050.90	o 36127
1050.90	c 6572
1055.07	o 36130
1055.07	c 6569
1057.97	o 36134
1057.97	c 6565
1059.09	o 36137
1059.09	c 6562
1060.50	o 36141
1060.50	c 6558
1064.84	o 36143
1064.84	c 6556
1066.31	o 36148
1066.31	c 6551
1067.75	o 36152
1067.75	c 6547
1069.14	o 36154
1069.14	c 6545
1070.69	o 36157
1070.69	c 6542
1072.32	o 36161
1072.32	c 6538
1075.34	o 36166
1075.34	c 6533
1076.81	o 36171
1076.81	c 6528
1081.39	o 36173
1081.39	c 6526
1082.83	o 36179
1082.83	c 6520
1084.35	o 36180
1084.35	c 6519
1085.83	o 36188
1085.83	c 6511
1095.71	o 36189
1095.71	c 6510
1097.16	o 36190
1097.16	c 6509
1098.62	o 36196
1098.62	c 6503
1101.36	o 36198
1101.36	c 6501
1102.68	o 36200
1102.68	c 6499
1104.00	o 36202
1104.00	c 6497
1105.36	o 36205
1105.36	c 6494
1106.69	o 36207
1106.69	c 6492
1109.45	o 36212
1109.45	c 6487
1110.84	o 36213
1110.84	c 6486
1113.51	o 36215
1113.51	c 6484
1114.86	o 36220
1114.86	c 6479
1116.23	o 36225
1116.23	c 6474
1117.55	o 36226
1117.55	c 6473
1118.92	o 36232
1118.92	c 6467
1120.29	o 36235
1120.29	c 6464
1122.97	o 36236
1122.97	c 6463
1124.29	o 36240
1124.29	c 6459
1125.60	o 36244
1125.60	c 6455
1126.89	o 36247
1126.89	c 6452
1128.25	o 36249
1128.25	c 6450
1129.58	o 36250
1129.58	c 6449
1130.96	o 36253
1130.96	c 6446
1132.37	o 36260
1132.37	c 6439
1136.38	o 36266
1136.38	c 6433
1137.77	o 36267
1137.77	c 6432
1139.25	o 36268
1139.25	c 6431
1140.67	o 36271
1140.67	c 6428
1142.03	o 36273
1142.03	c 6426
1143.40	o 36275
1143.40	c 6424
1144.82	o 36279
1144.82	c 6420
1146.18	o 36284
1146.18	c 6415
1147.60	o 36288
1147.60	c 6411
1149.03	o 36289
1149.03	c 6410
1151.70	o 36293
1151.70	c 6406
1157.85	o 36294
1157.85	c 6405
1159.23	o 36297
1159.23	c 6402
1160.47	o 36302
1160.47	c 6397
1161.73	o 36304
1161.73	c 6395
1162.91	o 36309
1162.91	c 6390
1164.18	o 36313
1164.18	c 6386
1165.37	o 36320
1165.37	c 6379
1166.64	o 36324
1166.64	c 6375
1167.86	o 36328
1167.90	c 6371
1169.23	o 36330
1169.23	c 6369
1170.46	o 36334
1170.46	c 6365
1171.73	o 36339
1171.73	c 6360
1172.84	o 36345
1172.84	c 6354
1174.11	o 36349
1174.11	c 6350
1175.39	o 36350
1175.39	c 6349
1176.66	o 36351
1176.66	c 6348
1178.01	o 36355
1178.01	c 6344
1179.30	o 36359
1179.30	c 6340
1180.64	o 36363
1180.64	c 6336
1181.92	o 36364
1181.92	c 6335
1183.23	o 36369
1183.23	c 6330
1184.54	o 36370
1184.54	c 6329
1185.81	o 36371
1185.81	c 6328
1187.07	o 36377
1187.07	c 6322
1189.68	o 36383
1189.68	c 6316
1191.15	o 36387
1191.15	c 6312
1192.40	o 36393
1192.40	c 6306
1193.68	o 36394
1193.68	c 6305
1196.17	o 36397
1196.17	c 6302
1197.48	o 36400
1197.48	c 6299
1198.74	o 36407
1198.75	c 6292
1200.13	o 36409
1200.13	c 6290
1201.57	o 36413
1201.57	c 6286
1202.92	o 36417
1202.92	c 6282
1204.30	o 36419
1204.30	c 6280
1205.63	o 36421
1205.63	c 6278
1207.00	o 36423
1207.00	c 6276
1208.32	o 36425
1208.32	c 6274
1209.70	o 36430
1209.70	c 6269
1213.85	o 36432
1213.85	c 6267
1215.26	o 36437
1215.26	c 6262
1226.42	o 36439
1226.42	c 6260
1227.78	o 36441
1227.78	c 6258
1229.23	o 36447
1229.23	c 6252
1230.62	o 36452
1230.62	c 6247
1232.05	o 36453
1232.05	c 6246
1234.93	o 36456
1234.93	c 6243
1236.32	o 36458
1236.32	c 6241
1237.75	o 36462
1237.75	c 6237
1239.19	o 36467
1239.19	c 6232
1240.66	o 36468
1240.66	c 6231
1242.02	o 36469
1242.02	c 6230
1243.40	o 36472
1243.40	c 6227
1247.62	o 36474
1247.62	c 6225
1249.04	o 36479
1249.04	c 6220
1252.06	o 36480
1252.06	c 6219
1253.58	o 36482
1253.58	c 6217
1255.08	o 36484
1255.08	c 6215
1256.61	o 36490
1256.61	c 6209
1258.22	o 36493
1258.22	c 6206
1259.76	o 36495
1259.76	c 6204
1261.31	o 36497
1261.31	c 6202
1262.77	o 36502
1262.77	c 6197
1264.28	o 36506
1264.28	c 6193
1265.79	o 36509
1265.79	c 6190
1267.26	o 36512
1267.26	c 6187
1268.78	o 36520
1268.78	c 6179
1270.28	o 36524
1270.28	c 6175
1271.91	o 36526
1271.91	c 6173
1273.46	o 36529
1273.46	c 6170
1275.04	o 36530
1275.04	c 6169
1278.21	o 36533
1278.21	c 6166
1282.83	o 36534
1282.83	c 6165
1284.33	o 36539
1284.33	c 6160
1287.50	o 36540
1287.50	c 6159
1289.08	o 36544
1289.08	c 6155
1298.15	o 36545
1298.15	c 6154
1313.47	o 36548
1313.47	c 6151
1315.02	o 36552
1315.02	c 6147
1316.61	o 36558
1316.62	c 6141
1318.19	o 36559
1318.19	c 6140
1321.29	o 36561
1321.29	c 6138
1322.75	o 36567
1322.75	c 6132
1324.29	o 36569
1324.29	c 6130
1325.92	o 36576
1325.92	c 6123
1327.46	o 36579
1327.46	c 6120
1328.95	o 36580
1328.95	c 6119
1330.48	o 36583
1330.48	c 6116
1331.96	o 36588
1331.96	c 6111
1333.48	o 36591
1333.48	c 6108
1335.02	o 36594
1335.02	c 6105
1339.60	o 36595
1339.60	c 6104
1342.56	o 36599
1342.56	c 6100
1343.97	o 36605
1343.97	c 6094
1345.19	o 36611
1345.19	c 6088
1346.66	o 36614
1346.66	c 6085
1348.22	o 36615
1348.22	c 6084
1351.22	o 36620
1351.22	c 6079
1358.86	o 36623
1358.86	c 6076
1360.15	o 36627
1360.15	c 6072
1361.71	o 36632
1361.71	c 6067
1363.28	o 36636
1363.28	c 6063
1366.48	o 36639
1366.48	c 6060
1368.04	o 36644
1368.04	c 6055
1369.67	o 36646
1369.67	c 6053
1371.26	o 36647
1371.26	c 6052
1372.81	o 36650
1372.81	c 6049
1374.41	o 36651
1374.41	c 6048
1375.95	o 36653
1375.95	c 6046
1380.46	o 36658
1380.46	c 6041
1381.94	o 36659
1381.94	c 6040
1384.90	o 36661
1384.90	c 6038
1390.77	o 36663
1390.77	c 6036
1392.19	o 36668
1392.19	c 6031
1393.67	o 36673
1393.67	c 6026
1395.10	o 36679
1395.10	c 6020
1396.52	o 36680
1396.52	c 6019
1398.02	o 36681
1398.02	c 6018
1399.50	o 36685
1399.50	c 6014
1400.90	o 36692
1400.90	c 6007
1402.42	o 36693
1402.42	c 6006
1403.87	o 36696
1403.87	c 6003
1406.97	o 36697
1406.97	c 6002
1408.50	o 36700
1408.50	c 5999
1409.97	o 36702
1409.97	c 5997
1411.44	o 36704
1411.44	c 5995
1412.89	o 36708
1412.89	c 5991
1414.39	o 36710
1414.39	c 5989
1417.43	o 36711
1417.43	c 5988
1418.91	o 36715
1418.91	c 5984
1420.19	o 36721
1420.19	c 5978
1421.82	o 36723
1421.82	c 5976
1424.91	o 36724
1424.91	c 5975
1426.45	o 36727
1426.45	c 5972
1430.67	o 36733
1430.67	c 5966
1433.88	o 36737
1433.88	c 5962
1435.46	o 36738
1435.46	c 5961
1437.09	o 36741
1437.09	c 5958
1438.75	o 36743
1438.75	c 5956
1440.42	o 36745
1440.42	c 5954
1442.06	o 36750
1442.06	c 5949
1443.27	o 36751
1443.27	c 5948
1444.90	o 36754
1444.90	c 5945
1446.63	o 36758
1446.63	c 5941
1448.30	o 36761
1448.30	c 5938
1449.92	o 36764
1449.92	c 5935
1451.57	o 36768
1451.57	c 5931
1453.21	o 36771
1453.21	c 5928
1454.89	o 36773
1454.89	c 5926
1456.59	o 36778
1456.59	c 5921
1459.98	o 36783
1459.98	c 5916
1461.73	o 36786
1461.73	c 5913
1463.43	o 36788
1463.43	c 5911
1466.91	o 36789
1466.91	c 5910
1470.33	o 36792
1470.33	c 5907
1472.07	o 36795
1472.07	c 5904
1473.83	o 36802
1473.83	c 5897
1475.49	o 36803
1475.49	c 5896
1477.27	o 36805
1477.27	c 5894
1478.99	o 36808
1478.99	c 5891
1480.75	o 36812
1480.75	c 5887
1482.45	o 36816
1482.45	c 5883
1484.12	o 36820
1484.12	c 5879
1485.26	o 36828
1485.26	c 5871
1486.95	o 36834
1486.95	c 5865
1488.62	o 36835
1488.62	c 5864
1490.26	o 36839
1490.26	c 5860
1491.95	o 36842
1491.95	c 5857
1495.38	o 36843
1495.38	c 5856
1498.73	o 36845
1498.73	c 5854
1500.42	o 36850
1500.42	c 5849
1502.15	o 36851
1502.15	c 5848
1503.84	o 36859
1503.84	c 5840
1507.17	o 36860
1507.17	c 5839
1510.54	o 36861
1510.54	c 5838
1512.13	o 36862
1512.13	c 5837
1513.87	o 36867
1513.87	c 5832
1517.29	o 36873
1517.29	c 5826
1518.17	o 36876
1518.17	c 5823
1519.80	o 36882
1519.80	c 5817
1522.82	o 36885
1522.82	c 5814
1525.90	o 36886
1525.90	c 5813
1527.43	o 36890
1527.43	c 5809
1529.01	o 36893
1529.01	c 5806
1530.55	o 36894
1530.55	c 5805
1532.10	o 36901
1532.10	c 5798
1533.69	o 36906
1533.69	c 5793
1535.35	o 36910
1535.35	c 5789
1536.88	o 36914
1536.88	c 5785
1538.41	o 36915
1538.41	c 5784
1540.01	o 36916
1540.01	c 5783
1541.58	o 36922
1541.58	c 5777
1543.09	o 36924
1543.09	c 5775
1544.62	o 36925
1544.62	c 5774
1549.19	o 36927
1549.19	c 5772
1550.78	o 36935
1550.78	c 5764
1552.35	o 36937
1552.35	c 5762
1553.93	o 36941
1553.93	c 5758
1555.51	o 36948
1555.51	c 5751
1556.83	o 36957
1556.83	c 5742
1564.28	o 36962
1564.28	c 5737
1565.70	o 36964
1565.70	c 5735
1567.17	o 36969
1567.17	c 5730
1571.47	o 36976
1571.47	c 5723
1572.77	o 36980
1572.77	c 5719
1573.53	o 36983
1573.53	c 5716
1576.54	o 36987
1576.54	c 5712
1578.08	o 36989
1578.08	c 5710
1581.08	o 36990
1581.08	c 5709
1584.16	o 36994
1584.16	c 5705
1585.66	o 36995
1585.66	c 5704
1587.16	o 36999
1587.16	c 5700
1588.68	o 37006
1588.68	c 5693
1590.18	o 37008
1590.18	c 5691
1593.11	o 37010
1593.11	c 5689
1594.59	o 37013
1594.59	c 5686
1596.15	o 37014
1596.15	c 5685
1597.63	o 37016
1597.63	c 5683
1598.96	o 37018
1598.96	c 5681
1600.51	o 37022
1600.51	c 5677
1603.52	o 37026
1603.52	c 5673
1608.12	o 37027
1608.12	c 5672
1609.67	o 37028
1609.67	c 5671
1611.22	o 37029
1611.22	c 5670
1612.77	o 37031
1612.77	c 5668
1614.41	o 37034
1614.41	c 5665
1615.98	o 37035
1615.98	c 5664
1617.66	o 37038
1617.66	c 5661
1619.29	o 37039
1619.29	c 5660
1620.64	o 37042
1620.64	c 5657
1622.20	o 37044
1622.20	c 5655
1623.77	o 37048
1623.77	c 5651
1628.53	o 37050
1628.53	c 5649
1633.41	o 37057
1633.41	c 5642
1635.05	o 37061
1635.05	c 5638
1636.73	o 37062
1636.73	c 5637
1640.18	o 37064
1640.18	c 5635
1641.96	o 37066
1641.96	c 5633
1643.66	o 37067
1643.66	c 5632
1645.27	o 37070
1645.27	c 5629
1648.60	o 37072
1648.60	c 5627
1650.25	o 37073
1650.25	c 5626
1651.89	o 37078
1651.89	c 5621
1667.49	o 37080
1667.49	c 5619
1669.06	o 37085
1669.06	c 5614
1670.70	o 37087
1670.70	c 5612
1673.79	o 37091
1673.79	c 5608
1675.28	o 37098
1675.28	c 5601
1678.29	o 37100
1678.29	c 5599
1679.87	o 37104
1679.87	c 5595
1682.71	o 37107
1682.71	c 5592
1684.08	o 37110
1684.08	c 5589
1687.05	o 37112
1687.05	c 5587
1690.01	o 37115
1690.01	c 5584
1692.95	o 37117
1692.95	c 5582
1695.92	o 37122
1695.92	c 5577
1697.46	o 37127
1697.46	c 5572
1699.00	o 37128
1699.00	c 5571
1700.53	o 37133
1700.53	c 5566
1702.07	o 37135
1702.07	c 5564
1703.66	o 37136
1703.66	c 5563
1705.20	o 37138
1705.20	c 5561
1706.66	o 37141
1706.66	c 5558
1711.30	o 37143
1711.30	c 5556
1712.81	o 37145
1712.81	c 5554
1721.85	o 37147
1721.85	c 5552
1723.39	o 37150
1723.39	c 5549
1724.90	o 37154
1724.90	c 5545
1726.42	o 37156
1726.42	c 5543
1727.88	o 37157
1727.88	c 5542
1729.40	o 37161
1729.40	c 5538
1730.94	o 37162
1730.94	c 5537
1732.44	o 37163
1732.44	c 5536
1734.03	o 37165
1734.03	c 5534
1735.54	o 37168
1735.54	c 5531
1737.12	o 37169
1737.12	c 5530
1738.77	o 37173
1738.77	c 5526
1740.31	o 37174
1740.31	c 5525
1743.45	o 37178
1743.45	c 5521
1746.63	o 37182
1746.63	c 5517
1748.13	o 37188
1748.13	c 5511
1749.72	o 37191
1749.72	c 5508
1751.35	o 37196
1751.35	c 5503
1752.94	o 37199
1752.94	c 5500
1754.31	o 37204
1754.31	c 5495
1755.39	o 37207
1755.39	c 5492
1758.37	o 37214
1758.37	c 5485
1759.89	o 37218
1759.89	c 5481
1761.48	o 37220
1761.48	c 5479
1767.66	o 37222
1767.66	c 5477
1769.28	o 37224
1769.28	c 5475
1770.78	o 37227
1770.78	c 5472
1773.75	o 37233
1773.75	c 5466
1776.65	o 37236
1776.65	c 5463
1777.81	o 37241
1777.81	c 5458
1779.31	o 37245
1779.31	c 5454
1780.75	o 37250
1780.75	c 5449
1785.18	o 37253
1785.18	c 5446
1786.76	o 37258
1786.76	c 5441
1788.28	o 37261
1788.28	c 5438
1789.85	o 37265
1789.85	c 5434
1791.38	o 37266
1791.38	c 5433
1792.95	o 37267
1792.95	c 5432
1794.49	o 37272
1794.49	c 5427
1796.02	o 37274
1796.02	c 5425
1797.56	o 37276
1797.56	c 5423
1799.14	o 37282
1799.14	c 5417
1800.82	o 37287
1800.82	c 5412
1805.60	o 37288
1805.60	c 5411
1808.82	o 37293
1808.82	c 5406
1812.08	o 37295
1812.08	c 5404
1813.72	o 37301
1813.72	c 5398
1816.89	o 37306
1816.89	c 5393
1818.50	o 37308
1818.50	c 5391
1820.21	o 37310
1820.21	c 5389
1821.83	o 37315
1821.83	c 5384
1823.46	o 37318
1823.46	c 5381
1826.64	o 37319
1826.64	c 5380
1828.23	o 37324
1828.23	c 5375
1831.31	o 37326
1831.31	c 5373
1832.90	o 37329
1832.90	c 5370
1834.60	o 37331
1834.60	c 5368
1836.23	o 37334
1836.23	c 5365
1837.77	o 37340
1837.77	c 5359
1841.01	o 37346
1841.01	c 5353
1842.65	o 37349
1842.66	c 5350
1847.17	o 37350
1847.17	c 5349
1848.77	o 37351
1848.77	c 5348
1851.83	o 37353
1851.83	c 5346
1853.15	o 37357
1853.15	c 5342
1854.76	o 37359
1854.76	c 5340
1856.27	o 37363
1856.27	c 5336
1857.84	o 37364
1857.84	c 5335
1866.92	o 37367
1866.92	c 5332
1868.44	o 37369
1868.44	c 5330
1871.39	o 37372
1871.39	c 5327
1872.93	o 37373
1872.93	c 5326
1877.49	o 37375
1877.49	c 5324
1879.05	o 37376
1879.05	c 5323
1880.63	o 37379
1880.63	c 5320
1883.81	o 37381
1883.81	c 5318
1885.39	o 37383
1885.39	c 5316
1886.96	o 37388
1886.96	c 5311
1888.57	o 37391
1888.57	c 5308
1890.24	o 37393
1890.24	c 5306
1891.84	o 37405
1891.84	c 5294
1893.46	o 37409
1893.46	c 5290
1895.04	o 37414
1895.04	c 5285
1896.65	o 37417
1896.65	c 5282
1899.81	o 37418
1899.81	c 5281
1901.40	o 37419
1901.40	c 5280
1903.01	o 37422
1903.01	c 5277
1904.63	o 37425
1904.63	c 5274
1906.27	o 37429
1906.27	c 5270
1912.18	o 37432
1912.18	c 5267
1913.78	o 37435
1913.78	c 5264
1915.46	o 37436
1915.46	c 5263
1917.18	o 37441
1917.18	c 5258
1918.78	o 37443
1918.78	c 5256
1920.39	o 37448
1920.39	c 5251
1921.86	o 37452
1921.86	c 5247
1923.31	o 37456
1923.31	c 5243
1925.87	o 37458
1925.87	c 5241
1929.19	o 37460
1929.19	c 5239
1930.50	o 37462
1930.50	c 5237
1933.33	o 37463
1933.33	c 5236
1937.15	o 37465
1937.15	c 5234
1938.59	o 37469
1938.59	c 5230
1940.06	o 37471
1940.06	c 5228
1941.56	o 37478
1941.56	c 5221
1942.90	o 37480
1942.91	c 5219
1944.35	o 37484
1944.35	c 5215
1945.76	o 37487
1945.76	c 5212
1947.24	o 37488
1947.24	c 5211
1950.17	o 37490
1950.17	c 5209
1953.12	o 37491
1953.12	c 5208
1955.98	o 37492
1955.98	c 5207
1957.45	o 37496
1957.45	c 5203
1960.36	o 37497
1960.36	c 5202
1961.84	o 37500
1961.84	c 5199
1963.35	o 37502
1963.35	c 5197
1964.85	o 37503
1964.85	c 5196
1967.73	o 37508
1967.73	c 5191
1969.18	o 37527
1969.18	c 5172
1970.34	o 37536
1970.34	c 5163
1971.65	o 37537
1971.65	c 5162
1972.96	o 37540
1972.96	c 5159
1974.29	o 37544
1974.29	c 5155
1979.60	o 37549
1979.60	c 5150
1980.90	o 37555
1980.90	c 5144
1982.23	o 37559
1982.23	c 5140
1983.53	o 37560
1983.53	c 5139
1987.49	o 37564
1987.49	c 5135
1988.79	o 37567
1988.79	c 5132
1990.10	o 37571
1990.10	c 5128
1991.50	o 37574
1991.50	c 5125
1992.56	o 37579
1992.56	c 5120
1993.96	o 37580
1993.96	c 5119
1995.32	o 37583
1995.32	c 5116
1996.68	o 37586
1996.68	c 5113
1998.08	o 37592
1998.08	c 5107
1999.18	o 37594
1999.18	c 5105
2003.30	o 37597
2003.30	c 5102
2004.58	o 37601
2004.58	c 5098
2006.00	o 37604
2006.00	c 5095
2007.37	o 37609
2007.37	c 5090
2008.70	o 37614
2008.70	c 5085
2011.46	o 37615
2011.46	c 5084
2012.84	o 37619
2012.84	c 5080
2014.17	o 37622
2014.17	c 5077
2015.49	o 37625
2015.49	c 5074
2016.91	o 37626
2016.91	c 5073
2018.30	o 37628
2018.30	c 5071
2019.72	o 37632
2019.72	c 5067
2022.59	o 37638
2022.59	c 5061
2024.07	o 37640
2024.07	c 5059
2025.44	o 37641
2025.44	c 5058
2026.88	o 37644
2026.88	c 5055
2028.37	o 37649
2028.37	c 5050
2031.26	o 37652
2031.26	c 5047
2032.77	o 37653
2032.77	c 5046
2035.75	o 37654
2035.75	c 5045
2037.27	o 37657
2037.27	c 5042
2038.77	o 37671
2038.77	c 5028
2040.16	o 37674
2040.16	c 5025
2041.50	o 37675
2041.50	c 5024
2042.84	o 37677
2042.84	c 5022
2043.92	o 37678
2043.92	c 5021
2045.29	o 37685
2045.29	c 5014
2046.62	o 37687
2046.62	c 5012
2049.26	o 37688
2049.26	c 5011
2050.57	o 37690
2050.57	c 5009
2051.95	o 37691
2051.95	c 5008
2053.33	o 37710
2053.33	c 4989
2055.89	o 37713
2055.89	c 4986
2057.21	o 37717
2057.21	c 4982
2058.56	o 37719
2058.56	c 4980
2059.92	o 37724
2059.92	c 4975
2062.50	o 37727
2062.50	c 4972
2063.77	o 37728
2063.77	c 4971
2066.09	o 37730
2066.09	c 4969
2087.54	o 37734
2087.54	c 4965
2088.85	o 37738
2088.85	c 4961
2090.22	o 37740
2090.22	c 4959
2091.55	o 37744
2091.55	c 4955
2092.87	o 37746
2092.87	c 4953
2094.18	o 37747
2094.18	c 4952
2095.49	o 37748
2095.49	c 4951
2096.81	o 37749
2096.81	c 4950
2098.14	o 37752
2098.14	c 4947
2099.43	o 37753
2099.43	c 4946
2102.15	o 37757
2102.15	c 4942
2104.80	o 37761
2104.80	c 4938
2110.44	o 37765
2110.44	c 4934
2111.83	o 37769
2111.83	c 4930
2112.97	o 37772
2112.97	c 4927
2114.35	o 37776
2114.35	c 4923
2115.76	o 37782
2115.76	c 4917
2117.20	o 37786
2117.20	c 4913
2121.35	o 37791
2121.35	c 4908
2122.72	o 37792
2122.72	c 4907
2124.17	o 37797
2124.17	c 4902
2125.56	o 37799
2125.56	c 4900
2129.81	o 37808
2129.81	c 4891
2131.24	o 37814
2131.24	c 4885
2132.10	o 37819
2132.10	c 4880
2133.48	o 37822
2133.48	c 4877
2133.87	o 37827
2133.87	c 4872
2140.65	o 37829
2140.65	c 4870
2142.05	o 37831
2142.05	c 4868
2143.36	o 37835
2143.36	c 4864
2144.78	o 37838
2144.78	c 4861
2146.14	o 37843
2146.14	c 4856
2148.82	o 37845
2148.82	c 4854
2151.56	o 37847
2151.56	c 4852
2153.00	o 37850
2153.00	c 4849
2154.36	o 37855
2154.36	c 4844
2155.75	o 37859
2155.75	c 4840
2157.09	o 37864
2157.09	c 4835
2158.46	o 37867
2158.46	c 4832
2163.83	o 37869
2163.83	c 4830
2170.45	o 37871
2170.45	c 4828
2171.78	o 37872
2171.78	c 4827
2173.08	o 37875
2173.08	c 4824
2174.42	o 37880
2174.42	c 4819
2175.77	o 37883
2175.77	c 4816
2177.10	o 37886
2177.10	c 4813
2178.49	o 37889
2178.49	c 4810
2182.63	o 37891
2182.63	c 4808
2184.05	o 37895
2184.05	c 4804
2185.37	o 37901
2185.37	c 4798
2189.36	o 37902
2189.36	c 4797
2190.13	o 37903
2190.13	c 4796
2191.46	o 37909
2191.46	c 4790
2192.79	o 37911
2192.79	c 4788
2194.15	o 37915
2194.15	c 4784
2195.49	o 37918
2195.49	c 4781
2196.91	o 37919
2196.91	c 4780
2198.27	o 37921
2198.27	c 4778
2199.65	o 37923
2199.65	c 4776
2201.01	o 37925
2201.01	c 4774
2202.37	o 37926
2202.37	c 4773
2207.70	o 37931
2207.70	c 4768
2209.08	o 37932
2209.08	c 4767
2210.47	o 37937
2210.47	c 4762
2211.90	o 37938
2211.90	c 4761
2213.25	o 37941
2213.25	c 4758
2214.65	o 37943
2214.65	c 4756
2218.75	o 37944
2218.75	c 4755
2219.89	o 37945
2219.89	c 4754
2221.26	o 37946
2221.26	c 4753
2222.64	o 37950
2222.64	c 4749
2225.32	o 37951
2225.32	c 4748
2226.67	o 37955
2226.67	c 4744
2227.79	o 37957
2227.79	c 4742
2229.00	o 37958
2229.00	c 4741
2230.38	o 37962
2230.38	c 4737
2231.74	o 37965
2231.74	c 4734
2233.11	o 37968
2233.11	c 4731
2234.50	o 37972
2234.50	c 4727
2235.83	o 37975
2235.83	c 4724
2238.53	o 37977
2238.53	c 4722
2242.62	o 37978
2242.62	c 4721
2243.92	o 37981
2243.92	c 4718
2245.28	o 37983
2245.28	c 4716
2246.63	o 37984
2246.63	c 4715
2249.37	o 37987
2249.37	c 4712
2250.54	o 37991
2250.54	c 4708
2251.95	o 37994
2251.95	c 4705
2253.31	o 37998
2253.31	c 4701
2254.69	o 38000
2254.69	c 4699
2256.01	o 38002
2256.01	c 4697
2258.66	o 38009
2258.66	c 4690
2260.06	o 38012
2260.06	c 4687
2261.47	o 38016
2261.47	c 4683
2262.87	o 38019
2262.87	c 4680
2264.26	o 38024
2264.26	c 4675
2265.62	o 38027
2265.62	c 4672
2267.03	o 38030
2267.03	c 4669
2268.47	o 38032
2268.47	c 4667
2271.33	o 38035
2271.33	c 4664
2272.83	o 38038
2272.83	c 4661
2273.66	o 38040
2273.66	c 4659
2275.13	o 38041
2275.13	c 4658
2276.56	o 38043
2276.56	c 4656
2277.64	o 38047
2277.64	c 4652
2279.02	o 38049
2279.02	c 4650
2280.39	o 38055
2280.40	c 4644
2281.79	o 38058
2281.79	c 4641
2283.25	o 38062
2283.25	c 4637
2284.68	o 38063
2284.68	c 4636
2287.55	o 38065
2287.55	c 4634
2289.03	o 38067
2289.03	c 4632
2290.48	o 38071
2290.48	c 4628
2291.91	o 38076
2291.91	c 4623
2293.41	o 38078
2293.41	c 4621
2294.86	o 38079
2294.86	c 4620
2296.27	o 38082
2296.27	c 4617
2299.08	o 38083
2299.08	c 4616
2300.53	o 38085
2300.53	c 4614
2302.00	o 38087
2302.00	c 4612
2309.38	o 38094
2309.38	c 4605
2310.57	o 38097
2310.57	c 4602
2312.01	o 38100
2312.01	c 4599
2313.46	o 38101
2313.46	c 4598
2314.94	o 38104
2314.94	c 4595
2315.99	o 38109
2315.99	c 4590
2317.47	o 38111
2317.47	c 4588
2320.34	o 38117
2320.34	c 4582
2321.77	o 38118
2321.77	c 4581
2324.80	o 38122
2324.80	c 4577
2326.37	o 38125
2326.37	c 4574
2327.86	o 38126
2327.86	c 4573
2329.39	o 38127
2329.39	c 4572
2330.88	o 38131
2330.88	c 4568
2332.36	o 38133
2332.36	c 4566
2333.81	o 38136
2333.81	c 4563
2335.35	o 38143
2335.35	c 4556
2336.75	o 38148
2336.75	c 4551
2338.00	o 38154
2338.00	c 4545
2339.45	o 38155
2339.45	c 4544
2353.48	o 38158
2353.48	c 4541
2354.73	o 38162
2354.73	c 4537
2358.92	o 38164
2358.92	c 4535
2360.13	o 38167
2360.13	c 4532
2361.53	o 38169
2361.53	c 4530
2362.92	o 38170
2362.92	c 4529
2364.30	o 38174
2364.30	c 4525
2365.74	o 38180
2365.74	c 4519
2367.10	o 38184
2367.10	c 4515
2368.01	o 38186
2368.01	c 4513
2369.37	o 38190
2369.37	c 4509
2372.16	o 38191
2372.16	c 4508
2377.80	o 38196
2377.80	c 4503
2379.16	o 38198
2379.16	c 4501
2380.42	o 38204
2380.42	c 4495
2381.81	o 38207
2381.81	c 4492
2383.21	o 38211
2383.21	c 4488
2384.57	o 38212
2384.57	c 4487
2387.22	o 38214
2387.22	c 4485
2388.51	o 38220
2388.51	c 4479
2389.89	o 38224
2389.89	c 4475
2391.21	o 38226
2391.21	c 4473
2392.56	o 38230
2392.56	c 4469
2393.94	o 38233
2393.94	c 4466
2395.19	o 38235
2395.19	c 4464
2396.10	o 38237
2396.10	c 4462
2397.45	o 38241
2397.45	c 4458
2398.81	o 38242
2398.81	c 4457
2400.10	o 38244
2400.10	c 4455
2401.46	o 38247
2401.46	c 4452
2402.95	o 38248
2402.95	c 4451
2405.66	o 38252
2405.66	c 4447
2410.03	o 38254
2410.03	c 4445
2411.45	o 38262
2411.45	c 4437
2412.55	o 38266
2412.55	c 4433
2414.04	o 38273
2414.04	c 4426
2415.04	o 38279
2415.04	c 4420
2416.42	o 38283
2416.42	c 4416
2417.88	o 38285
2417.88	c 4414
2419.37	o 38286
2419.37	c 4413
2420.81	o 38288
2420.81	c 4411
2421.82	v -3572 2936 2524 -2504 -2812 4092 2200 3940 2212 3960 2140 3428 -3480 2168 4116 -2976 -3116 -3296 4088 -2656 -2424 2516 -2540 2372 4012 -4004 3596 -2496 -3248 -2644 2352 -2140 2900 2892 4000 -3036 -3776 2328 -2852 -3656 2576 -3160 2492 4112 3536 -2516 2140 3804 3388 2376 4016 2520 4112 -3844 -2660 -3196 -4020 -2140 2572 3740 -3604 2532 2200 2248 2788 -4012 -3608 2660 2520 -3364 3136 4060 2488 -2168 -2376 3448 -2496 -3872 -3928 -2496 2480 -2640 2312 3704 -2144 2432 -3956 -3000 2572 -2140 2960 2768 2140 -3572 -3940 4064 -3936 2172 2456 -3596 -2296 2388 4012 -3972 -3504 3380 3144 -4128 -4024 4080 3864 3688 -3300 -3776 -3388 2520 -3012 -2688 3968 -3348 2928 2496 -2264 -2200 2268 2204 3176 2676 -3996 -2656 2240 3976 3904 -3744 -2652 4040 2456 3616 3984 2328 -2688 -3368 -4020 -3112 3920 2468 3980 -2256 3272 -2408 -2152 4112 -3080 -2208 4032 3320 -2144 -3676 -3684 2364 3936 3956 -3396 2316 2152 2944 3612 -2604 -3980 -3640 -2612 2180 4060 2556 -3944 3988 2460 3540 2216 3332 -4092 3940 -4024 -3988 -2644 -2840 2368 -2544 -3108 -2728 3712 -2932 4032 -2456 -3980 -4012 -4012 -3996 2368 -2376 4084 3368 2244 2548 -2660 -2876 -3988 3348 4040 2960 -4128 3976 -2612 3336 3172 2408 -3552 2820 3992 -3820 -2496 -4072 3332 -3976 4016 -3472 -4128 3180 3660 2376 -3988 4076 -3092 -3880 -2860 -2500 3324 2184 3596 -2192 2176 -2600 2496 -4004 3936 -2240 2384 3852 2348 3240 -4012 -2140 -4064 3116 3276 -3720 -4120 -4040 -4052 2624 -2380 2192 -2340 -3188 4012 3396 3952 4000 3992 3320 -2152 -3372 3708 4044 2384 2520 -2516 3332 2308 2864 2176 -3708 3992 -4084 -3188 -3900 -2912 3972 -3612 3324 -3376 -2296 4056 -3432 -4132 -2140 -3616 2368 -4052 -3968 -3720 -2780 2332 3616 -2640 3496 3312 -3848 -2568 2576 2816 -3980 3924 4000 -3944 2140 3996 3040 -3880 3220 -2144 -2292 3360 -2196 2156 2192 2296 -2160 4068 -2380 2216 2476 -2672 -3812 -3432 2200 3660 3992 2424 -4020 4132 -3416 3096 4128 -2716 3756 -4016 -2504 -2536 4044 -2464 -4060 2528 2444 -2400 4104 -2464 -2144 -3548 -4132 2536 3956 2416 -2184 2548 -2788 -3964 -3984 -2212 3508 -2476 -2204 2144 3368 2916 3184 -2364 -3508 4072 2144 2344 -2616 -4008 -2196 -2220 -2652 2200 -3860 2460 2592 2152 3968 2912 -3376 2444 2160 3628 -4116 3532 2232 3860 3736 3000 -3480 -4016 3060 3804 2160 2152 -2616 -4016 2404 3080 -3728 -2656 2852 -3392 2632 -2180 -3064 -3184 -2220 -2520 -3992 -3652 3364 -2164 -3868 3932 4132 3544 2480 -2360 3980 -3396 -3808 -3708 2172 4012 -2576 2180 -3820 -3988 -2140 -3960 -3820 4020 2288 3364 4068 2148 4076 2148 2636 2508 3616 -3312 -2360 -3948 -3412 4072 -3768 3944 2500 3576 3992 -2628 -2160 -2184 -2180 -4044 2540 -4020 -2524 3944 -4036 -2184 4112 3780 -2460 -3956 -3948 2256 4000 -3212 2968 2860 -2140 2744 -2380 2916 2860 -3640 3020 3764 -2144 3988 -2452 2836 -3552 -2504 2364 3548 3984 2140 3876 -3472 2604 4132 4088 4048 -3976 2240 3948 -2752 4052 2560 3532 -2868 -2636 -2192 -4092 3992 -2200 -4112 -2248 -4016 2784 -4124 -2516 3076 2192 -2284 -3592 3360 -3984 -2176 3088 -2144 2504 -2160 -3528 -3948 -3796 2212 2768 2456 -4012 3512 2456 3540 4076 -3928 -3980 3996 -3280 3796 2592 -2560 -3936 2836 2872 2432 3968 -2156 2600 3588 2244 -3624 3784 -2164 -2932 2616 -2140 3932 -3348 3856 3944 -3660 2920 -3952 -2140 -4016 -3840 -2728 -3160 2788 -3628 2780 -3452 3488 2648 -3396 4032 4124 3952 4128 2204 -3684 2408 2180 2360 -3936 3976 -3836 3584 4008 2148 3312 -3536 4008 -2192 4024 2704 3932 -2672 2148 -2908 -2540 3924 2148 4064 2184 -3376 2852 -2456 3964 -3112 2672 -3096 -3140 4024 2688 -3324 2464 -2480 -2520 2516 3572 -3640 -2500 -2312 -4040 3620 2940 4088 3968 3076 2728 -3100 -3996 -2284 -4092 -4088 2668 -2184 -2500 -4052 2184 -2452 3988 -2216 3388 3456 2472 3940 2412 -2204 3380 -4028 -2800 3956 -2620 2428 3532 -2168 4108 -2480 3188 -3136 4056 2620 -3164 2532 -2180 2200 3976 4120 3388 3888 4020 -2200 3312 -3672 -3332 2276 -4012 2536 -2656 -3356 3960 4124 4128 2488 -4096 -2616 3260 3532 -4024 2824 -2512 4116 3024 -4092 3248 -4040 2348 3572 3964 2328 -2620 -3996 2780 2388 -3792 4032 -2760 3384 -2160 2476 2816 -4128 -4044 3948 -3736 -4112 2264 -2668 -3112 2540 -3080 2184 4076 3880 4004 3436 -2528 2328 -3992 2344 -2220 2460 -3984 -3956 -3300 3668 2244 -4000 -3852 4072 4060 -2516 2716 2432 3956 2468 -4032 2820 2220 4032 4044 3952 2352 3956 2660 2644 -4100 2316 3980 -2144 4080 -4128 -2332 -2152 2224 2564 3388 -2516 4096 2488 -4116 3504 -3648 -2848 2872 3780 -2656 2540 -2388 -4000 -3396 3756 -3404 -2140 -3608 2496 2140 4040 3928 -2640 4096 2152 2184 2628 -4128 2612 -2188 -2192 -3680 -3924 3976 -3944 2628 2200 2764 -3112 -3312 4060 -2212 4008 2780 -2344 -3612 2196 -2164 4100 -2780 3464 -3948 -2296 3920 3588 -3976 -3344 -4132 -2184 -3584 3288 -3576 3984 -3408 2572 -2396 -2152 -2896 -4132 -3588 2864 -3172 3888 4120 2460 -2272 3872 3920 3984 -2188 -2168 -2272 -3656 -3236 2756 3680 2140 -2228 -2144 -4028 2544 2904 -4060 3940 -2244 4036 -2192 2616 -4100 4100 4024 2552 2752 -3556 2584 3916 3932 -4004 -4068 -3464 -3372 3736 -2460 2964 -2416 -3948 -4008 -3612 -3732 2632 3960 -2456 2648 3316 3628 -4120 2936 -4120 -2612 -2144 -4028 2676 3640 2472 -3964 -2576 -2348 -4088 -2408 2276 2140 3772 2360 2184 -4044 -3932 4132 -3980 -3616 2548 3960 -2464 2496 -3472 -3692 4008 2416 4036 3684 2872 3844 -3664 3988 -3420 3308 -2204 -2292 2644 -4080 -2796 2780 -2140 2384 2484 -3312 -2512 2156 4044 -2184 4032 2428 -3336 -2676 -3144 4116 -2496 -2212 -4048 2300 2520 -2172 4024 4060 -3052 4008 -2332 -2480 4064 -3356 -2840 -3968 4012 3716 3952 -2180 3016 3908 3956 3860 -2616 3972 2536 -3712 2716 -2248 -2604 -2172 -3796 -3224 -2372 3308 2556 -2620 2804 -2340 4020 -3984 3976 -2140 4124 3884 -4016 4016 -3256 2684 -2480 -2352 -2308 -2824 -3780 3968 -3236 4008 -3696 -2188 -3748 -2392 -4036 -2532 -2428 -2144 -4056 4120 -2344 3640 3684 -3336 2416 3960 -2536 2500 3156 -4132 2528 -3184 -3268 2460 -2656 3164 -3876 3472 -4044 -3616 3940 2216 -3624 4052 3972 -3472 -2920 -3812 2420 -4048 -2392 -3476 -2524 -3024 3360 -4100 -4036 3628 -3676 3716 -3652 2700 -3948 4112 3464 -2200 4080 -3452 2448 -4064 -3860 -3388 3680 3932 2536 2184 -4092 2428 -2208 2184 2620 2852 -3240 3996 -3948 -2368 3720 -4088 -3384 2204 2876 -4040 3316 3124 -3836 -2148 3640 3560 3632 4132 3728 4092 3992 2236 -3408 -2392 -2512 -4008 -2248 -2444 2820 4092 3408 2828 4016 -3948 -2908 3920 3944 -2452 -3824 2864 -3040 3388 -3224 2140 -4048 4116 4032 -2512 -2228 3620 -3964 -2156 3732 -4036 -2392 2240 -2792 3680 -2512 -3940 2192 2804 -3240 -2184 2216 3048 4020 -3988 -3964 -3980 -2764 3320 2180 -4052 -3968 2144 -3796 2536 3136 2892 2160 -2184 3776 2660 -2572 -2168 -3848 2576 2216 3380 -3376 -4120 3396 -4008 2676 2188 3428 4064 -3320 -4072 3576 2180 -2392 -3644 -2568 -3984 2916 2284 3628 -3756 2144 -2140 2464 3944 -4132 3588 2456 3680 -2184 2756 3972 3400 -3796 -2352 4088 -3372 -3600 4120 4092 -3148 2180 -2292 -2888 -3376 -4040 4132 -2228 -3328 -3328 -2708 -2616 -3952 2864 2716 3176 2724 3512 -3676 2564 3984 -4132 2560 -2140 -3336 -3576 -2180 2372 -4112 -2596 3944 3660 2192 -2816 2764 -2456 2528 -3560 -4092 -2844 -2896 -2236 4028 -3932 3964 3708 2476 3940 -3948 2184 -3536 -3996 2192 2172 3996 3628 -3988 4080 3996 -2288 -2524 -4064 -3312 3980 3960 -2396 3844 -2472 -2400 4040 4028 -2180 2556 -2600 -4072 -2784 -3964 3996 -3680 3980 3316 -4008 3716 -3732 -4024 3228 4096 -3920 -2848 -3952 2544 2564 -4040 -2180 -3944 4060 3840 4092 -2248 -3612 3356 -2468 -2500 -3348 2400 2800 2416 2520 3740 -3296 -2180 -3916 2384 2144 -3920 2560 3388 4008 3356 2944 2244 -2180 2324 -3636 -4036 -3552 4092 2872 2168 3972 -2308 2192 2968 4128 3472 4004 2180 -2256 4068 -2900 3980 -2204 -3592 -3376 3992 2492 -4012 3900 2460 -4124 -4004 4032 -3892 -2264 3500 -3392 3280 -2564 3340 -2728 3328 -3768 4112 2356 -3936 2212 -2208 -4116 -2556 2648 2792 -2284 -4100 -3488 2184 -3988 -2336 -3228 -2556 4076 -2672 2456 2648 3196 -3372 -3908 -3796 2144 -3452 -3360 2828 4108 2532 -4088 -2204 -2616 4032 -2608 -3116 4076 3976 -3332 -2216 -3388 -2180 3516 -3396 3748 2340 -2220 3176 -2392 -2232 3156 4100 3988 2200 3152 2144 -3308 3772 -3248 -2356 -4024 2188 -4080 -4100 3376 3168 -3984 3992 2516 3960 4004 -4132 2944 -2856 -2152 4008 -3212 4004 2172 3312 2260 4092 -3464 -2196 3636 -4092 2356 3352 -3708 3984 4024 -3872 -2784 -3892 4120 -4072 -4036 -2232 3492 2716 2484 4020 -2496 3428 2624 -4000 3108 -3968 -4132 -2140 2744 -3964 -4132 -2828 2364 4132 -2792 2624 -2288 2832 4004 -3004 -3780 -4032 4092 2280 3312 -2496 -3140 -2832 -2296 2792 2192 -3996 2464 2808 3956 -2328 4044 2748 3340 -3996 3880 -3388 2548 3820 -2460 -2312 -3396 2504 2288 3888 -3952 4068 -3432 3976 -2144 2304 2352 -3752 -3948 -3760 -3652 -2208 -2180 4024 4008 -2152 -2436 4048 3416 -4008 -3364 4088 -3688 3512 3632 3980 4056 3996 -3952 -2148 2460 2356 2580 -3952 2220 -3936 3268 3040 -4056 -2244 3096 3588 2800 2240 -3964 3968 3884 -4092 2244 -4064 2224 3636 -3104 3032 2356 -2836 4044 2208 2180 3508 3416 3688 -2432 3364 -4032 2396 -3772 -3164 2516 -4016 -2416 2508 -2888 2472 2204 3976 -2480 -2196 3524 3692 -2720 -3504 3836 -2532 4060 -2820 2356 -4020 -2180 -3944 2872 -3556 -4064 3376 3100 3336 3348 4072 -4000 2648 3448 -2308 -3984 -4052 -3512 3128 3356 -4084 -2508 2496 -2236 -3936 -4100 3980 3364 2668 3076 4008 2504 -4128 -3732 -2348 4008 -3056 -3812 -2520 2532 3372 -2656 3996 -4128 3420 3324 2496 4068 3896 3796 3940 -3652 -3824 -4060 4000 -2516 3716 2188 4040 3932 -3500 2492 2180 4080 2196 2412 -2512 -3984 3780 2140 2852 3208 2396 2180 -2904 3972 -2396 -4036 3040 -4132 -4092 3656 -4096 2180 -3352 3968 -2500 -3668 -4128 2164 -2480 -3940 4052 4004 -3532 -2828 3200 -3356 -2288 3988 3968 -3888 -2400 -2204 2144 -3336 -2236 2140 2396 2388 3992 -3972 3348 2380 -2156 -2148 -3664 2604 -4056 -3964 2300 -4000 -3600 -2336 4080 3820 -4032 4004 2324 3972 3096 2824 -2496 -2628 3100 -3948 2356 -4008 2152 -3552 2480 -3384 -2900 3900 3792 3320 2448 -4060 -4108 2324 -3908 4016 2532 3972 3940 2632 4076 -4004 2256 -2456 2348 -4088 -3456 3348 -2636 -2472 -3852 2140 -4092 2144 3952 -4016 2376 -2184 -3860 2624 -2188 3560 -2932 -3500 -2816 2208 -4116 -2500 -2412 4028 -3068 -3976 -2436 4020 -3364 -2184 3280 -4084 -3260 4012 3964 3816 -3884 -3312 -4088 3820 3200 -3656 -3984 2324 3932 -2260 -3688 -4004 -3980 2620 2692 -3176 2616 2796 -2896 3556 -2776 -3344 3680 -3296 4008 -2488 2140 -4004 -2204 2456 -3352 4112 -4072 4012 -2552 -2536 2476 -3344 -3968 -4020 2144 2824 2140 2496 -4116 3224 -3360 3496 2340 3336 -2352 -4032 3008 -3308 -2188 2736 3308 -2164 2232 -3692 -3976 3116 -3396 -3336 3376 2316 3268 -3856 2184 -4056 2236 -3564 -4004 -3488 -4088 -3360 -2776 2188 -2388 2200 2144 -2224 -3552 3156 4020 -2488 3416 2536 3588 3936 -4000 -3348 -2928 -3896 3596 3584 3996 2232 2708 3668 2528 2424 -3592 3320 3980 -3556 -4120 -2144 2180 3152 2504 -2140 2596 3756 3460 -4128 4036 3128 2724 -2208 -2476 -3560 3908 3432 -2244 -3884 -3356 -2180 2712 -4072 -4080 -3052 3492 3976 -3332 -2608 3324 -2176 -3596 3896 3360 -3004 -4112 -3968 2152 -2656 3388 -2360 -4104 3972 -2360 4008 2904 -3952 -2144 -2184 3992 -3564 -3160 -2508 -2492 -2192 2796 -2140 2180 -3944 2224 -2192 3976 -2584 -2480 2488 4064 2908 3812 -2276 -2236 3960 2420 3356 -4000 2880 -2532 -3100 2520 2364 -2840 -2884 -4008 2868 -3880 2160 3368 -3372 -2200 -3936 -2472 -2820 3268 -2256 2160 3140 2456 3280 2448 -3408 3988 -4128 2232 3988 -3320 4120 -2684 -4104 3112 2348 -2344 2396 2152 -2180 2272 -2168 -2672 4000 -3980 -3676 2384 -4036 2856 -4004 -4020 -4004 3700 -4104 -2224 2180 -2140 3684 3560 4064 2180 -3980 -2240 3700 -3400 2712 2572 -3968 -2476 3364 -2556 -2496 4028 -3884 -3368 4080 3044 -2296 -3108 -2756 -3868 -3980 2996 -3072 -3256 3216 3988 2536 -2612 4096 -4060 3980 -3628 3992 3568 3968 2180 -2276 -3796 -2228 4132 -3320 -2304 -2148 -2208 3512 -2796 4088 -2412 3340 4024 2784 2432 -2676 4008 2832 -2508 2500 3076 2524 2432 2420 3724 3668 -2516 -3284 3624 2500 4056 -3892 4128 3972 -3628 -4132 2844 -2276 3988 -3756 4128 -4044 3996 2468 -3668 -2796 -3040 4020 3900 3636 -4068 -2564 -3948 -3132 -4072 2636 4076 -2824 -4036 4028 -3836 3652 -4060 3308 -4044 2340 -2148 2740 4100 -3576 -4108 4000 -2640 2592 -3808 -2332 -3348 -3436 2192 -2480 -3324 -2784 -3484 -3460 -2472 3976 -2404 -4104 2164 4120 -2392 -4092 -3992 2456 2372 4004 2460 3704 2200 2552 4080 2796 3552 4088 -3916 3196 -4108 -2340 2192 2520 -4132 -2456 2140 4012 -3924 -4092 -3676 -4000 3712 -2196 -2392 -2224 -4128 2348 3396 -2204 -4068 2232 4032 3340 2812 3984 2512 -3588 2436 2672 -2948 -4012 3776 -3592 3936

Verifier Data (download as text)

4411 unsatisfied constraints, 38288 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/node16/watcher-275588-1169223750 -o ROOT/results/node16/solver-275588-1169223750 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275588-1169223750/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.79 1.97 1.98 2/94 16188
/proc/meminfo: memFree=1338728/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=18540 CPUtime=0
/proc/16187/stat : 16187 (runsolver) R 16185 16187 16119 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270769899 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16187/statm: 4635 279 244 17 0 2626 0

[startup+0.102543 s]
/proc/loadavg: 1.79 1.97 1.98 2/94 16188
/proc/meminfo: memFree=1338728/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=905992 CPUtime=0.01
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 1868 0 1 0 1 0 0 0 17 0 1 0 270769899 927735808 1617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160642522 0 4 0 7368 0 0 0 17 1 0 0
/proc/16187/statm: 226498 1617 950 14 0 214081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905992

[startup+0.511054 s]
/proc/loadavg: 1.79 1.97 1.98 2/94 16188
/proc/meminfo: memFree=1338728/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915332 CPUtime=0.41
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 6065 0 1 0 39 2 0 0 18 0 8 0 270769899 937299968 5804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228833 5804 2126 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.34232 s]
/proc/loadavg: 1.79 1.97 1.98 3/101 16195
/proc/meminfo: memFree=1246704/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915604 CPUtime=1.24
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 29313 0 1 0 111 13 0 0 22 0 8 0 270769899 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073578336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228901 29050 2164 14 0 215371 0
[pid=16187/tid=16189] ppid=16185 vsize=915604 CPUtime=0.11
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 12752 0 0 0 7 4 0 0 16 0 8 0 270769911 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915604 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915604 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769911 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915604 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915604 CPUtime=0.16
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 270769914 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915604 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915604 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915604

[startup+2.993 s]
/proc/loadavg: 1.81 1.97 1.98 3/101 16195
/proc/meminfo: memFree=1223024/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2.88
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 32168 0 1 0 273 15 0 0 25 0 8 0 270769899 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073340533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 31900 2184 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=0.26
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 15528 0 0 0 20 6 0 0 16 0 8 0 270769911 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769911 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.17
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 270769914 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915744

[startup+6.27139 s]
/proc/loadavg: 1.81 1.97 1.98 3/101 16195
/proc/meminfo: memFree=1219192/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=6.12
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 32169 0 1 0 597 15 0 0 25 0 8 0 270769899 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 31900 2184 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=0.26
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 15528 0 0 0 20 6 0 0 16 0 8 0 270769911 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769911 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.18
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 416 0 0 0 18 0 0 0 16 0 8 0 270769914 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915744

[startup+12.7592 s]
/proc/loadavg: 1.84 1.97 1.98 3/101 16195
/proc/meminfo: memFree=1219200/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=12.55
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 32171 0 1 0 1240 15 0 0 25 0 8 0 270769899 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 31902 2184 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=0.26
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 15528 0 0 0 20 6 0 0 16 0 8 0 270769911 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769911 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.18
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 418 0 0 0 18 0 0 0 16 0 8 0 270769914 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915744

[startup+25.5988 s]
/proc/loadavg: 1.86 1.97 1.98 3/101 16195
/proc/meminfo: memFree=1213440/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=25.28
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 33683 0 1 0 2512 16 0 0 25 0 8 0 270769899 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 33413 2184 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=0.33
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 17032 0 0 0 27 6 0 0 16 0 8 0 270769911 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769911 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.19
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 425 0 0 0 19 0 0 0 16 0 8 0 270769914 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915744

[startup+51.201 s]
/proc/loadavg: 1.91 1.97 1.98 3/101 16195
/proc/meminfo: memFree=1213568/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=50.65
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 33689 0 1 0 5049 16 0 0 25 0 8 0 270769899 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 33418 2185 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=0.33
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 17032 0 0 0 27 6 0 0 16 0 8 0 270769911 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769911 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.2
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 429 0 0 0 20 0 0 0 17 0 8 0 270769914 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915744

[startup+102.415 s]
/proc/loadavg: 2.04 1.99 1.99 3/101 16195
/proc/meminfo: memFree=1163328/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=101.41
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46611 0 1 0 10117 24 0 0 25 0 8 0 270769899 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46281 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.26
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 461 0 0 0 26 0 0 0 16 0 8 0 270769914 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915744

[startup+162.516 s]
/proc/loadavg: 2.01 1.99 1.99 6/101 16195
/proc/meminfo: memFree=1163328/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=160.97
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46612 0 1 0 16070 27 0 0 25 0 8 0 270769899 937721856 46282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828909 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.94 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 16255
/proc/meminfo: memFree=1039616/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2066.26
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46626 0 1 0 206554 72 0 0 25 0 8 0 270769899 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46294 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.28
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 474 0 0 0 28 0 0 0 16 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.26
Current children cumulated vsize (KiB) 915744

[startup+2145.03 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 16255
/proc/meminfo: memFree=1039680/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2125.81
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46626 0 1 0 212508 73 0 0 25 0 8 0 270769899 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46294 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.28
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 474 0 0 0 28 0 0 0 16 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.81
Current children cumulated vsize (KiB) 915744

[startup+2205.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 16255
/proc/meminfo: memFree=1039616/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2185.36
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46626 0 1 0 218461 75 0 0 25 0 8 0 270769899 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46294 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.28
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 474 0 0 0 28 0 0 0 16 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.36
Current children cumulated vsize (KiB) 915744

[startup+2265.19 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 16255
/proc/meminfo: memFree=1039616/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2244.9
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46626 0 1 0 224414 76 0 0 25 0 8 0 270769899 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46294 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.28
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 474 0 0 0 28 0 0 0 16 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.9
Current children cumulated vsize (KiB) 915744

[startup+2325.27 s]
/proc/loadavg: 2.03 2.02 2.00 3/106 16329
/proc/meminfo: memFree=1038376/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2304.37
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46626 0 1 0 230360 77 0 0 25 0 8 0 270769899 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46294 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.28
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 474 0 0 0 28 0 0 0 16 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.37
Current children cumulated vsize (KiB) 915744

[startup+2385.27 s]
/proc/loadavg: 2.15 2.05 2.01 3/100 16453
/proc/meminfo: memFree=969952/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2363.68
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46626 0 1 0 236290 78 0 0 25 0 8 0 270769899 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46294 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.28
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 474 0 0 0 28 0 0 0 16 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2363.68
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2421.82 s]
/proc/loadavg: 2.08 2.05 2.01 3/100 16453
/proc/meminfo: memFree=969984/2055920 swapFree=4191880/4192956
[pid=16187] ppid=16185 vsize=915744 CPUtime=2400.07
/proc/16187/stat : 16187 (java) R 16185 16187 16119 0 -1 0 46626 0 1 0 239928 79 0 0 25 0 8 0 270769899 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 228936 46294 2504 14 0 215406 0
[pid=16187/tid=16189] ppid=16185 vsize=915744 CPUtime=1.35
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16119 0 -1 64 29571 0 0 0 124 11 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16119 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16119 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769911 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16119 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=915744 CPUtime=0.28
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16119 0 -1 64 474 0 0 0 28 0 0 0 16 0 8 0 270769914 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16194] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16195] ppid=16185 vsize=915744 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16119 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769915 937721856 46294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 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): 2421.91
CPU time (s): 2400.16
CPU user time (s): 2399.34
CPU system time (s): 0.824874
CPU usage (%): 99.1021
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.34
system time used= 0.824874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46651
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= 50332
involuntary context switches= 138808

runsolver used 3.07253 s user time and 7.80881 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Fri Jan 19 16:22:31 UTC 2007


IDJOB= 275588
IDBENCH= 4138
IDSOLVER= 68
FILE ID= node16/275588-1169223750

PBS_JOBID= 3588961

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a47e2dd557afef22184c3730edca47ba

RANDOM SEED= 566561424

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.220
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.220
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:       1339208 kB
Buffers:         42952 kB
Cached:         542464 kB
SwapCached:        268 kB
Active:         257508 kB
Inactive:       385532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1339208 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7876 kB
Writeback:           0 kB
Mapped:          83592 kB
Slab:            58288 kB
Committed_AS:  7285164 kB
PageTables:       2460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66553 MiB



End job on node16 on Fri Jan 19 17:02:53 UTC 2007