Trace number 275589

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.2 2406.72

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275589-1169223750/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.90	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998
0.90	       =>  wckTime=0.584  cpuTime=0.39  mem=46M736
0.90	   
0.90	   predicates being loaded...
0.90	   
0.91	   constraints being loaded...
61.45	   
61.45	   INFO : Stopping converting binary constraints (cpu=60.08, mem = 107M874)
65.51	     nbConstraints=42699  nbConvertedConstraints=324  nbConvertConstraintsChecks=186431692  nbExtensionStructures=311
65.51	     nbSharedExtensionStructures=13  nbConflictsStructures=311  nbSharedConflictsStructures=13
65.51	     nbSharedBinaryRepresentations=394065  nbEvaluationManagers=20965  nbSharedEvaluationManagers=21410  maxDegree=136
65.51	     maxArity=2
65.51	       =>  wckTime=65.194  cpuTime=63.42  mem=142M840
65.95	   
65.95	   solver LocalSearchSolver being built... 
65.99	       =>  wckTime=65.671  cpuTime=63.47  mem=115M328
67.63	
67.63	s SATISFIABLE
67.63	o 31142
67.63	c 11557
68.77	o 31154
68.77	c 11545
69.40	o 31171
69.40	c 11528
69.83	o 31186
69.83	c 11513
70.18	o 31199
70.18	c 11500
70.79	o 31215
70.79	c 11484
71.24	o 31231
71.24	c 11468
71.47	o 31245
71.47	c 11454
71.92	o 31250
71.92	c 11449
72.30	o 31258
72.30	c 11441
72.69	o 31274
72.69	c 11425
73.14	o 31292
73.14	c 11407
73.39	o 31305
73.39	c 11394
73.80	o 31324
73.81	c 11375
74.31	o 31332
74.31	c 11367
74.94	o 31350
74.94	c 11349
75.33	o 31362
75.33	c 11337
75.78	o 31373
75.78	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.50	o 31427
77.50	c 11272
77.86	o 31444
77.86	c 11255
78.11	o 31454
78.11	c 11245
78.47	o 31457
78.47	c 11242
78.93	o 31468
78.93	c 11231
79.52	o 31469
79.52	c 11230
79.89	o 31475
79.89	c 11224
80.28	o 31491
80.28	c 11208
80.73	o 31500
80.73	c 11199
81.43	o 31514
81.43	c 11185
81.90	o 31527
81.90	c 11172
82.21	o 31537
82.21	c 11162
82.53	o 31547
82.53	c 11152
82.87	o 31562
82.87	c 11137
83.13	o 31566
83.13	c 11133
83.47	o 31568
83.47	c 11131
83.84	o 31576
83.84	c 11123
84.09	o 31589
84.09	c 11110
84.30	o 31601
84.30	c 11098
84.63	o 31613
84.63	c 11086
84.92	o 31626
84.92	c 11073
85.23	o 31631
85.23	c 11068
85.49	o 31645
85.49	c 11054
86.07	o 31650
86.07	c 11049
86.34	o 31662
86.34	c 11037
86.75	o 31677
86.75	c 11022
87.10	o 31690
87.10	c 11009
87.52	o 31694
87.52	c 11005
87.86	o 31700
87.86	c 10999
88.17	o 31702
88.17	c 10997
88.44	o 31710
88.44	c 10989
88.76	o 31712
88.76	c 10987
89.00	o 31716
89.00	c 10983
89.39	o 31725
89.39	c 10974
89.86	o 31732
89.86	c 10967
90.34	o 31744
90.34	c 10955
90.89	o 31745
90.89	c 10954
91.37	o 31755
91.37	c 10944
91.89	o 31762
91.89	c 10937
92.51	o 31766
92.51	c 10933
93.00	o 31772
93.00	c 10927
93.36	o 31773
93.36	c 10926
93.80	o 31784
93.80	c 10915
94.30	o 31787
94.30	c 10912
94.70	o 31797
94.70	c 10902
95.02	o 31811
95.02	c 10888
95.28	o 31816
95.28	c 10883
95.65	o 31828
95.65	c 10871
95.87	o 31831
95.87	c 10868
96.37	o 31845
96.37	c 10854
96.84	o 31852
96.84	c 10847
97.10	o 31864
97.10	c 10835
97.44	o 31872
97.44	c 10827
97.87	o 31877
97.87	c 10822
98.28	o 31883
98.28	c 10816
98.71	o 31891
98.71	c 10808
99.04	o 31895
99.04	c 10804
99.33	o 31897
99.33	c 10802
99.76	o 31902
99.76	c 10797
100.33	o 31907
100.33	c 10792
100.83	o 31914
100.83	c 10785
101.29	o 31921
101.29	c 10778
101.78	o 31929
101.78	c 10770
102.21	o 31942
102.21	c 10757
102.54	o 31951
102.54	c 10748
102.92	o 31952
102.92	c 10747
103.29	o 31959
103.29	c 10740
103.79	o 31967
103.79	c 10732
104.36	o 31970
104.36	c 10729
104.90	o 31976
104.90	c 10723
105.32	o 31979
105.32	c 10720
106.05	o 31984
106.05	c 10715
106.97	o 31986
106.97	c 10713
107.62	o 31994
107.62	c 10705
108.38	o 31996
108.38	c 10703
108.96	o 31998
108.96	c 10701
109.50	o 32004
109.50	c 10695
110.07	o 32012
110.07	c 10687
110.60	o 32013
110.60	c 10686
111.07	o 32028
111.07	c 10671
111.60	o 32030
111.60	c 10669
112.16	o 32034
112.16	c 10665
112.80	o 32044
112.81	c 10655
113.40	o 32054
113.40	c 10645
114.09	o 32062
114.09	c 10637
115.62	o 32073
115.62	c 10626
117.17	o 32076
117.17	c 10623
117.87	o 32080
117.87	c 10619
118.52	o 32095
118.52	c 10604
119.13	o 32105
119.13	c 10594
119.79	o 32106
119.79	c 10593
120.55	o 32108
120.55	c 10591
120.97	o 32109
120.97	c 10590
121.56	o 32110
121.56	c 10589
122.10	o 32116
122.10	c 10583
124.09	o 32117
124.09	c 10582
124.72	o 32119
124.72	c 10580
125.27	o 32124
125.27	c 10575
126.39	o 32133
126.39	c 10566
126.84	o 32138
126.85	c 10561
127.85	o 32143
127.85	c 10556
128.28	o 32149
128.28	c 10550
128.74	o 32153
128.74	c 10546
129.22	o 32155
129.22	c 10544
129.58	o 32166
129.58	c 10533
130.38	o 32174
130.38	c 10525
130.77	o 32188
130.77	c 10511
131.16	o 32190
131.16	c 10509
131.43	o 32205
131.43	c 10494
131.83	o 32210
131.83	c 10489
132.31	o 32217
132.31	c 10482
132.49	o 32222
132.49	c 10477
132.78	o 32225
132.78	c 10474
133.28	o 32230
133.28	c 10469
133.77	o 32241
133.77	c 10458
134.23	o 32243
134.23	c 10456
134.70	o 32257
134.70	c 10442
135.07	o 32267
135.07	c 10432
135.52	o 32270
135.52	c 10429
135.95	o 32280
135.95	c 10419
136.45	o 32289
136.45	c 10410
136.93	o 32296
136.93	c 10403
137.47	o 32301
137.47	c 10398
137.95	o 32313
137.95	c 10386
138.52	o 32314
138.52	c 10385
138.99	o 32315
138.99	c 10384
139.65	o 32319
139.65	c 10380
140.20	o 32327
140.20	c 10372
140.50	o 32329
140.50	c 10370
140.91	o 32337
140.91	c 10362
141.51	o 32342
141.51	c 10357
142.00	o 32344
142.00	c 10355
142.48	o 32345
142.48	c 10354
144.53	o 32346
144.53	c 10353
146.49	o 32356
146.49	c 10343
147.18	o 32358
147.18	c 10341
147.74	o 32363
147.74	c 10336
148.27	o 32367
148.27	c 10332
148.78	o 32376
148.78	c 10323
149.22	o 32390
149.22	c 10309
149.68	o 32396
149.68	c 10303
150.09	o 32405
150.09	c 10294
150.93	o 32410
150.93	c 10289
151.47	o 32411
151.47	c 10288
152.29	o 32418
152.29	c 10281
152.70	o 32424
152.70	c 10275
153.29	o 32426
153.29	c 10273
153.70	o 32428
153.70	c 10271
154.30	o 32440
154.30	c 10259
154.79	o 32442
154.79	c 10257
155.25	o 32444
155.25	c 10255
155.76	o 32445
155.76	c 10254
156.80	o 32446
156.80	c 10253
157.28	o 32455
157.28	c 10244
158.75	o 32462
158.75	c 10237
159.94	o 32463
159.94	c 10236
160.49	o 32470
160.49	c 10229
161.05	o 32478
161.05	c 10221
161.60	o 32485
161.60	c 10214
161.98	o 32492
161.98	c 10207
162.34	o 32499
162.34	c 10200
162.90	o 32514
162.90	c 10185
163.36	o 32523
163.36	c 10176
163.84	o 32537
163.84	c 10162
164.29	o 32553
164.29	c 10146
165.28	o 32559
165.28	c 10140
165.77	o 32570
165.77	c 10129
166.29	o 32578
166.29	c 10121
166.70	o 32592
166.70	c 10107
167.14	o 32603
167.14	c 10096
167.54	o 32612
167.54	c 10087
168.04	o 32619
168.04	c 10080
168.49	o 32628
168.49	c 10071
168.87	o 32637
168.87	c 10062
169.36	o 32645
169.36	c 10054
169.79	o 32652
169.79	c 10047
170.25	o 32659
170.25	c 10040
170.69	o 32666
170.69	c 10033
171.13	o 32673
171.13	c 10026
171.60	o 32680
171.60	c 10019
172.07	o 32686
172.07	c 10013
172.60	o 32699
172.60	c 10000
173.05	o 32705
173.05	c 9994
173.55	o 32710
173.55	c 9989
173.99	o 32714
173.99	c 9985
174.50	o 32718
174.50	c 9981
175.00	o 32722
175.00	c 9977
175.49	o 32735
175.49	c 9964
175.96	o 32744
175.96	c 9955
176.54	o 32745
176.54	c 9954
176.97	o 32760
176.97	c 9939
177.45	o 32763
177.45	c 9936
177.94	o 32766
177.94	c 9933
178.43	o 32768
178.43	c 9931
178.96	o 32780
178.96	c 9919
179.45	o 32782
179.45	c 9917
179.90	o 32784
179.90	c 9915
180.78	o 32785
180.78	c 9914
181.26	o 32787
181.26	c 9912
181.71	o 32792
181.71	c 9907
182.22	o 32794
182.22	c 9905
182.64	o 32805
182.64	c 9894
183.55	o 32818
183.55	c 9881
183.96	o 32819
183.96	c 9880
184.36	o 32838
184.36	c 9861
184.74	o 32839
184.74	c 9860
185.14	o 32840
185.14	c 9859
185.53	o 32841
185.53	c 9858
185.98	o 32842
185.98	c 9857
188.43	o 32853
188.43	c 9846
189.44	o 32866
189.44	c 9833
189.89	o 32874
189.90	c 9825
190.36	o 32876
190.36	c 9823
190.88	o 32886
190.88	c 9813
191.34	o 32897
191.34	c 9802
191.87	o 32900
191.87	c 9799
192.39	o 32908
192.39	c 9791
192.76	o 32923
192.76	c 9776
193.18	o 32931
193.18	c 9768
193.61	o 32935
193.61	c 9764
194.08	o 32945
194.08	c 9754
194.52	o 32948
194.53	c 9751
195.03	o 32953
195.03	c 9746
195.48	o 32956
195.48	c 9743
195.92	o 32959
195.92	c 9740
196.36	o 32966
196.36	c 9733
196.86	o 32971
196.86	c 9728
197.27	o 32972
197.27	c 9727
197.72	o 32982
197.72	c 9717
198.09	o 32983
198.09	c 9716
198.50	o 32995
198.50	c 9704
198.83	o 32998
198.83	c 9701
199.30	o 33001
199.30	c 9698
199.74	o 33004
199.74	c 9695
200.75	o 33006
200.75	c 9693
201.21	o 33007
201.21	c 9692
201.75	o 33014
201.75	c 9685
202.26	o 33020
202.26	c 9679
202.82	o 33026
202.82	c 9673
203.40	o 33032
203.40	c 9667
203.96	o 33037
203.96	c 9662
204.54	o 33041
204.54	c 9658
205.15	o 33046
205.15	c 9653
205.74	o 33054
205.74	c 9645
206.31	o 33057
206.31	c 9642
206.88	o 33060
206.88	c 9639
207.96	o 33061
207.96	c 9638
208.49	o 33077
208.49	c 9622
209.10	o 33082
209.10	c 9617
209.57	o 33090
209.57	c 9609
210.03	o 33092
210.03	c 9607
210.50	o 33095
210.50	c 9604
210.97	o 33107
210.97	c 9592
211.37	o 33111
211.37	c 9588
211.79	o 33120
211.79	c 9579
212.32	o 33122
212.32	c 9577
212.87	o 33124
212.87	c 9575
213.34	o 33125
213.34	c 9574
213.88	o 33126
213.88	c 9573
214.45	o 33127
214.45	c 9572
214.89	o 33128
214.89	c 9571
217.91	o 33131
217.91	c 9568
218.46	o 33137
218.46	c 9562
218.92	o 33153
218.92	c 9546
219.36	o 33168
219.36	c 9531
219.72	o 33177
219.72	c 9522
220.21	o 33186
220.21	c 9513
220.69	o 33193
220.69	c 9506
221.02	o 33204
221.02	c 9495
221.34	o 33207
221.34	c 9492
221.71	o 33215
221.71	c 9484
222.04	o 33222
222.04	c 9477
222.53	o 33231
222.53	c 9468
222.80	o 33240
222.80	c 9459
223.21	o 33249
223.21	c 9450
223.61	o 33258
223.61	c 9441
224.03	o 33260
224.03	c 9439
224.47	o 33277
224.47	c 9422
224.89	o 33281
224.89	c 9418
225.23	o 33285
225.23	c 9414
225.59	o 33290
225.59	c 9409
225.97	o 33304
225.97	c 9395
226.26	o 33313
226.26	c 9386
226.95	o 33318
226.95	c 9381
227.28	o 33328
227.28	c 9371
227.66	o 33335
227.66	c 9364
227.94	o 33337
227.94	c 9362
228.36	o 33340
228.36	c 9359
228.85	o 33351
228.85	c 9348
229.32	o 33359
229.32	c 9340
229.77	o 33364
229.77	c 9335
230.25	o 33367
230.25	c 9332
230.61	o 33381
230.61	c 9318
231.06	o 33386
231.06	c 9313
231.51	o 33390
231.51	c 9309
231.91	o 33392
231.91	c 9307
232.23	o 33397
232.23	c 9302
232.64	o 33401
232.64	c 9298
233.04	o 33405
233.04	c 9294
233.44	o 33409
233.44	c 9290
233.81	o 33413
233.81	c 9286
234.19	o 33417
234.19	c 9282
234.55	o 33418
234.55	c 9281
234.92	o 33422
234.93	c 9277
235.32	o 33425
235.32	c 9274
235.71	o 33428
235.71	c 9271
236.06	o 33431
236.06	c 9268
236.44	o 33436
236.44	c 9263
236.83	o 33438
236.83	c 9261
237.18	o 33449
237.18	c 9250
237.58	o 33451
237.58	c 9248
237.99	o 33453
237.99	c 9246
238.36	o 33455
238.36	c 9244
238.72	o 33457
238.72	c 9242
239.08	o 33460
239.08	c 9239
239.44	o 33462
239.44	c 9237
239.75	o 33463
239.75	c 9236
240.10	o 33464
240.10	c 9235
240.45	o 33465
240.45	c 9234
241.13	o 33471
241.13	c 9228
242.52	o 33479
242.52	c 9220
242.95	o 33481
242.95	c 9218
243.39	o 33491
243.39	c 9208
243.78	o 33492
243.78	c 9207
244.21	o 33500
244.21	c 9199
244.59	o 33503
244.59	c 9196
245.09	o 33509
245.09	c 9190
246.01	o 33516
246.01	c 9183
246.42	o 33523
246.42	c 9176
247.71	o 33531
247.71	c 9168
248.57	o 33538
248.57	c 9161
248.95	o 33541
248.95	c 9158
249.73	o 33547
249.73	c 9152
252.39	o 33555
252.39	c 9144
252.79	o 33556
252.79	c 9143
255.73	o 33557
255.73	c 9142
256.38	o 33566
256.38	c 9133
256.98	o 33573
256.98	c 9126
257.59	o 33579
257.59	c 9120
258.16	o 33584
258.16	c 9115
258.76	o 33589
258.76	c 9110
259.33	o 33594
259.33	c 9105
260.24	o 33595
260.24	c 9104
261.19	o 33602
261.19	c 9097
261.67	o 33606
261.67	c 9093
262.11	o 33609
262.11	c 9090
262.53	o 33616
262.53	c 9083
262.98	o 33619
262.98	c 9080
263.40	o 33626
263.40	c 9073
263.85	o 33635
263.85	c 9064
264.22	o 33639
264.22	c 9060
264.63	o 33648
264.63	c 9051
265.10	o 33659
265.10	c 9040
265.53	o 33662
265.53	c 9037
265.93	o 33665
265.93	c 9034
266.38	o 33667
266.38	c 9032
266.80	o 33669
266.80	c 9030
267.21	o 33671
267.21	c 9028
267.64	o 33673
267.64	c 9026
268.06	o 33675
268.06	c 9024
268.60	o 33677
268.60	c 9022
268.99	o 33681
268.99	c 9018
269.41	o 33683
269.41	c 9016
269.85	o 33685
269.85	c 9014
270.29	o 33687
270.29	c 9012
270.70	o 33688
270.70	c 9011
271.07	o 33689
271.07	c 9010
271.54	o 33690
271.54	c 9009
271.94	o 33691
271.94	c 9008
272.39	o 33692
272.39	c 9007
276.65	o 33695
276.65	c 9004
277.08	o 33706
277.08	c 8993
277.49	o 33713
277.49	c 8986
277.93	o 33718
277.93	c 8981
278.26	o 33721
278.26	c 8978
278.64	o 33732
278.64	c 8967
279.00	o 33743
279.00	c 8956
279.38	o 33755
279.38	c 8944
279.87	o 33756
279.87	c 8943
280.25	o 33758
280.25	c 8941
280.78	o 33764
280.78	c 8935
281.18	o 33769
281.18	c 8930
282.01	o 33779
282.01	c 8920
282.37	o 33782
282.37	c 8917
282.80	o 33787
282.80	c 8912
283.22	o 33789
283.22	c 8910
283.59	o 33791
283.59	c 8908
284.09	o 33796
284.09	c 8903
284.60	o 33804
284.60	c 8895
285.03	o 33814
285.03	c 8885
285.48	o 33816
285.48	c 8883
285.87	o 33827
285.87	c 8872
286.35	o 33834
286.35	c 8865
287.28	o 33842
287.28	c 8857
287.76	o 33848
287.76	c 8851
288.30	o 33856
288.30	c 8843
289.25	o 33857
289.25	c 8842
289.75	o 33859
289.75	c 8840
290.32	o 33864
290.32	c 8835
290.84	o 33874
290.84	c 8825
291.36	o 33878
291.36	c 8821
291.87	o 33885
291.87	c 8814
292.40	o 33887
292.40	c 8812
292.94	o 33896
292.94	c 8803
293.87	o 33908
293.87	c 8791
294.29	o 33912
294.29	c 8787
294.73	o 33914
294.73	c 8785
295.23	o 33918
295.23	c 8781
295.67	o 33920
295.67	c 8779
297.36	o 33924
297.36	c 8775
297.76	o 33927
297.76	c 8772
298.18	o 33931
298.18	c 8768
298.58	o 33935
298.58	c 8764
299.80	o 33936
299.80	c 8763
300.72	o 33940
300.72	c 8759
301.14	o 33948
301.14	c 8751
301.60	o 33949
301.60	c 8750
301.98	o 33952
301.98	c 8747
302.38	o 33956
302.38	c 8743
303.84	o 33959
303.84	c 8740
304.75	o 33962
304.75	c 8737
305.14	o 33968
305.14	c 8731
305.58	o 33973
305.58	c 8726
306.03	o 33974
306.03	c 8725
306.42	o 33975
306.42	c 8724
307.28	o 33982
307.28	c 8717
307.78	o 33987
307.78	c 8712
308.26	o 33992
308.26	c 8707
308.70	o 33996
308.70	c 8703
309.25	o 34000
309.25	c 8699
309.72	o 34003
309.72	c 8696
310.18	o 34006
310.18	c 8693
310.65	o 34009
310.65	c 8690
311.10	o 34011
311.10	c 8688
312.85	o 34013
312.85	c 8686
313.28	o 34018
313.28	c 8681
313.71	o 34020
313.71	c 8679
314.13	o 34021
314.13	c 8678
314.55	o 34022
314.55	c 8677
315.00	o 34031
315.00	c 8668
315.50	o 34032
315.50	c 8667
315.95	o 34033
315.95	c 8666
316.40	o 34034
316.40	c 8665
317.82	o 34037
317.82	c 8662
318.24	o 34042
318.24	c 8657
318.70	o 34049
318.70	c 8650
319.26	o 34050
319.26	c 8649
319.65	o 34051
319.65	c 8648
320.08	o 34058
320.08	c 8641
320.54	o 34061
320.54	c 8638
320.94	o 34062
320.94	c 8637
321.49	o 34072
321.49	c 8627
322.04	o 34077
322.04	c 8622
322.62	o 34078
322.62	c 8621
323.12	o 34087
323.12	c 8612
323.70	o 34095
323.70	c 8604
324.15	o 34098
324.15	c 8601
325.29	o 34102
325.29	c 8597
325.86	o 34107
325.86	c 8592
326.37	o 34115
326.37	c 8584
326.93	o 34116
326.93	c 8583
327.43	o 34127
327.43	c 8572
327.97	o 34133
327.97	c 8566
328.44	o 34135
328.44	c 8564
328.84	o 34141
328.84	c 8558
329.25	o 34143
329.25	c 8556
330.04	o 34147
330.04	c 8552
330.50	o 34152
330.50	c 8547
331.45	o 34159
331.45	c 8540
331.99	o 34161
331.99	c 8538
332.48	o 34165
332.48	c 8534
332.96	o 34170
332.96	c 8529
333.45	o 34173
333.45	c 8526
334.02	o 34175
334.02	c 8524
334.53	o 34180
334.53	c 8519
335.06	o 34181
335.06	c 8518
337.04	o 34183
337.04	c 8516
337.54	o 34184
337.54	c 8515
338.03	o 34197
338.03	c 8502
338.57	o 34199
338.57	c 8500
339.12	o 34202
339.12	c 8497
339.68	o 34207
339.68	c 8492
340.77	o 34211
340.77	c 8488
341.28	o 34214
341.28	c 8485
341.84	o 34217
341.84	c 8482
342.36	o 34218
342.36	c 8481
342.84	o 34224
342.84	c 8475
343.33	o 34225
343.34	c 8474
343.82	o 34226
343.82	c 8473
344.27	o 34230
344.27	c 8469
344.76	o 34232
344.76	c 8467
345.26	o 34239
345.26	c 8460
346.74	o 34240
346.74	c 8459
347.11	o 34243
347.11	c 8456
347.61	o 34247
347.61	c 8452
348.04	o 34249
348.04	c 8450
348.43	o 34251
348.43	c 8448
348.93	o 34258
348.93	c 8441
349.37	o 34262
349.37	c 8437
350.35	o 34263
350.35	c 8436
350.94	o 34265
350.94	c 8434
351.42	o 34267
351.42	c 8432
351.98	o 34270
351.98	c 8429
354.03	o 34272
354.03	c 8427
354.61	o 34278
354.61	c 8421
355.17	o 34282
355.17	c 8417
355.73	o 34293
355.73	c 8406
356.98	o 34294
356.98	c 8405
357.56	o 34296
357.56	c 8403
358.19	o 34298
358.19	c 8401
358.83	o 34299
358.83	c 8400
359.42	o 34300
359.42	c 8399
366.21	o 34309
366.21	c 8390
366.81	o 34312
366.81	c 8387
367.42	o 34321
367.42	c 8378
368.09	o 34330
368.09	c 8369
370.75	o 34333
370.75	c 8366
373.30	o 34336
373.30	c 8363
373.89	o 34338
373.89	c 8361
374.49	o 34339
374.49	c 8360
375.15	o 34340
375.15	c 8359
375.85	o 34341
375.85	c 8358
376.50	o 34346
376.50	c 8353
378.26	o 34351
378.26	c 8348
378.82	o 34359
378.82	c 8340
379.95	o 34363
379.95	c 8336
380.58	o 34364
380.58	c 8335
381.21	o 34365
381.21	c 8334
381.75	o 34366
381.75	c 8333
382.91	o 34373
382.91	c 8326
383.50	o 34376
383.50	c 8323
384.09	o 34377
384.09	c 8322
384.73	o 34378
384.73	c 8321
386.07	o 34380
386.07	c 8319
386.72	o 34382
386.72	c 8317
387.41	o 34383
387.41	c 8316
388.09	o 34387
388.09	c 8312
388.80	o 34394
388.80	c 8305
390.27	o 34397
390.27	c 8302
391.76	o 34399
391.76	c 8300
393.36	o 34407
393.36	c 8292
394.12	o 34410
394.12	c 8289
395.70	o 34413
395.70	c 8286
397.23	o 34423
397.23	c 8276
397.96	o 34424
397.96	c 8275
398.71	o 34431
398.71	c 8268
399.54	o 34442
399.54	c 8257
400.30	o 34448
400.30	c 8251
401.11	o 34451
401.11	c 8248
401.79	o 34453
401.79	c 8246
402.51	o 34454
402.51	c 8245
403.92	o 34459
403.92	c 8240
404.61	o 34464
404.61	c 8235
405.94	o 34471
405.94	c 8228
406.64	o 34479
406.64	c 8220
408.14	o 34483
408.14	c 8216
408.91	o 34488
408.91	c 8211
409.67	o 34490
409.67	c 8209
410.40	o 34497
410.40	c 8202
411.16	o 34498
411.16	c 8201
411.95	o 34506
411.95	c 8193
412.64	o 34512
412.64	c 8187
413.36	o 34515
413.36	c 8184
414.09	o 34518
414.09	c 8181
414.83	o 34525
414.83	c 8174
415.57	o 34531
415.57	c 8168
416.30	o 34541
416.30	c 8158
417.01	o 34546
417.01	c 8153
417.75	o 34547
417.75	c 8152
419.31	o 34550
419.31	c 8149
420.23	o 34552
420.23	c 8147
421.03	o 34560
421.03	c 8139
421.84	o 34563
421.84	c 8136
422.61	o 34572
422.61	c 8127
423.33	o 34573
423.33	c 8126
424.04	o 34577
424.04	c 8122
424.66	o 34583
424.66	c 8116
425.42	o 34584
425.42	c 8115
426.12	o 34586
426.12	c 8113
426.87	o 34587
426.87	c 8112
427.57	o 34588
427.57	c 8111
428.21	o 34590
428.21	c 8109
428.85	o 34591
428.85	c 8108
429.54	o 34598
429.54	c 8101
430.21	o 34602
430.21	c 8097
430.89	o 34603
430.89	c 8096
431.57	o 34604
431.57	c 8095
432.28	o 34605
432.28	c 8094
432.87	o 34609
432.87	c 8090
433.59	o 34613
433.59	c 8086
434.32	o 34615
434.32	c 8084
434.97	o 34617
434.97	c 8082
435.67	o 34619
435.67	c 8080
436.37	o 34621
436.37	c 8078
437.06	o 34623
437.06	c 8076
437.84	o 34624
437.84	c 8075
438.54	o 34625
438.54	c 8074
439.37	o 34635
439.37	c 8064
440.10	o 34636
440.10	c 8063
440.83	o 34637
440.83	c 8062
441.52	o 34638
441.52	c 8061
442.20	o 34639
442.20	c 8060
442.87	o 34640
442.87	c 8059
443.54	o 34644
443.54	c 8055
444.20	o 34645
444.20	c 8054
445.57	o 34647
445.57	c 8052
446.28	o 34648
446.28	c 8051
447.02	o 34657
447.02	c 8042
447.78	o 34658
447.78	c 8041
448.48	o 34663
448.48	c 8036
449.19	o 34665
449.19	c 8034
449.88	o 34670
449.88	c 8029
451.39	o 34672
451.39	c 8027
452.07	o 34684
452.07	c 8015
452.80	o 34693
452.80	c 8006
453.56	o 34699
453.56	c 8000
455.67	o 34700
455.67	c 7999
456.37	o 34706
456.37	c 7993
457.01	o 34713
457.01	c 7986
458.46	o 34720
458.46	c 7979
459.16	o 34722
459.16	c 7977
461.19	o 34723
461.19	c 7976
468.36	o 34727
468.36	c 7972
469.05	o 34730
469.05	c 7969
469.80	o 34732
469.80	c 7967
473.30	o 34734
473.30	c 7965
475.19	o 34737
475.19	c 7962
475.92	o 34740
475.92	c 7959
476.68	o 34743
476.68	c 7956
477.35	o 34744
477.35	c 7955
478.05	o 34745
478.05	c 7954
478.73	o 34749
478.73	c 7950
479.51	o 34755
479.51	c 7944
480.27	o 34761
480.27	c 7938
481.06	o 34763
481.06	c 7936
481.75	o 34764
481.75	c 7935
484.91	o 34770
484.91	c 7929
485.65	o 34778
485.65	c 7921
486.47	o 34780
486.47	c 7919
487.35	o 34782
487.35	c 7917
489.02	o 34786
489.02	c 7913
489.82	o 34795
489.82	c 7904
490.67	o 34798
490.67	c 7901
491.53	o 34800
491.53	c 7899
493.26	o 34802
493.26	c 7897
498.14	o 34804
498.14	c 7895
499.00	o 34805
499.00	c 7894
499.86	o 34807
499.86	c 7892
506.38	o 34809
506.38	c 7890
507.16	o 34815
507.16	c 7884
508.74	o 34817
508.74	c 7882
510.54	o 34825
510.54	c 7874
511.47	o 34827
511.47	c 7872
513.24	o 34833
513.24	c 7866
514.18	o 34835
514.18	c 7864
515.93	o 34837
515.93	c 7862
517.79	o 34841
517.79	c 7858
518.64	o 34844
518.64	c 7855
519.58	o 34854
519.58	c 7845
520.44	o 34861
520.44	c 7838
521.28	o 34870
521.28	c 7829
522.10	o 34874
522.10	c 7825
523.74	o 34875
523.74	c 7824
524.53	o 34880
524.53	c 7819
525.32	o 34887
525.32	c 7812
526.16	o 34890
526.16	c 7809
526.99	o 34899
526.99	c 7800
527.76	o 34902
527.76	c 7797
529.48	o 34909
529.48	c 7790
530.26	o 34913
530.26	c 7786
531.10	o 34915
531.10	c 7784
532.03	o 34918
532.03	c 7781
532.94	o 34921
532.94	c 7778
533.79	o 34922
533.79	c 7777
534.63	o 34924
534.63	c 7775
535.46	o 34926
535.46	c 7773
536.32	o 34927
536.32	c 7772
537.18	o 34928
537.18	c 7771
537.99	o 34929
537.99	c 7770
538.83	o 34934
538.83	c 7765
541.26	o 34945
541.26	c 7754
546.78	o 34946
546.78	c 7753
547.55	o 34947
547.55	c 7752
548.33	o 34953
548.33	c 7746
549.10	o 34954
549.10	c 7745
549.85	o 34957
549.85	c 7742
552.24	o 34961
552.24	c 7738
553.12	o 34965
553.12	c 7734
553.88	o 34971
553.88	c 7728
554.67	o 34974
554.67	c 7725
555.44	o 34978
555.44	c 7721
556.23	o 34985
556.23	c 7714
556.99	o 34986
556.99	c 7713
557.76	o 34990
557.76	c 7709
558.51	o 34993
558.51	c 7706
560.11	o 34997
560.11	c 7702
560.79	o 35001
560.79	c 7698
561.55	o 35004
561.55	c 7695
562.33	o 35008
562.33	c 7691
563.83	o 35013
563.83	c 7686
564.46	o 35015
564.46	c 7684
565.20	o 35020
565.20	c 7679
565.99	o 35022
565.99	c 7677
566.79	o 35024
566.79	c 7675
567.56	o 35030
567.56	c 7669
568.95	o 35032
568.95	c 7667
569.64	o 35034
569.64	c 7665
570.39	o 35039
570.39	c 7660
571.14	o 35040
571.14	c 7659
571.91	o 35046
571.91	c 7653
572.70	o 35047
572.70	c 7652
573.39	o 35053
573.39	c 7646
574.17	o 35055
574.17	c 7644
575.65	o 35059
575.65	c 7640
576.39	o 35061
576.39	c 7638
577.13	o 35064
577.13	c 7635
577.86	o 35069
577.86	c 7630
578.65	o 35072
578.65	c 7627
579.46	o 35073
579.46	c 7626
580.22	o 35078
580.22	c 7621
580.99	o 35080
580.99	c 7619
582.57	o 35086
582.57	c 7613
592.29	o 35093
592.29	c 7606
593.04	o 35095
593.04	c 7604
593.74	o 35097
593.74	c 7602
594.55	o 35101
594.55	c 7598
595.28	o 35104
595.28	c 7595
595.99	o 35107
595.99	c 7592
596.79	o 35110
596.79	c 7589
597.57	o 35114
597.57	c 7585
598.30	o 35115
598.30	c 7584
599.04	o 35116
599.04	c 7583
599.78	o 35119
599.78	c 7580
600.52	o 35123
600.52	c 7576
601.29	o 35126
601.29	c 7573
602.07	o 35127
602.07	c 7572
602.83	o 35128
602.83	c 7571
604.35	o 35130
604.35	c 7569
605.12	o 35136
605.12	c 7563
606.01	o 35148
606.01	c 7551
606.84	o 35151
606.84	c 7548
607.64	o 35157
607.64	c 7542
608.45	o 35161
608.45	c 7538
609.26	o 35163
609.26	c 7536
610.05	o 35167
610.05	c 7532
610.87	o 35174
610.87	c 7525
611.69	o 35181
611.69	c 7518
612.52	o 35188
612.52	c 7511
613.37	o 35194
613.37	c 7505
617.43	o 35200
617.43	c 7499
619.80	o 35204
619.80	c 7495
620.65	o 35208
620.65	c 7491
621.44	o 35214
621.44	c 7485
622.31	o 35222
622.31	c 7477
623.09	o 35227
623.09	c 7472
623.91	o 35229
623.91	c 7470
625.54	o 35233
625.54	c 7466
626.43	o 35239
626.43	c 7460
628.13	o 35241
628.13	c 7458
629.87	o 35244
629.87	c 7455
630.75	o 35249
630.75	c 7450
631.68	o 35253
631.68	c 7446
632.56	o 35255
632.56	c 7444
633.48	o 35257
633.48	c 7442
634.42	o 35261
634.42	c 7438
639.14	o 35265
639.14	c 7434
640.07	o 35266
640.07	c 7433
641.02	o 35270
641.02	c 7429
644.89	o 35276
644.89	c 7423
645.81	o 35277
645.81	c 7422
648.40	o 35280
648.40	c 7419
649.28	o 35283
649.28	c 7416
650.14	o 35288
650.14	c 7411
650.98	o 35289
650.98	c 7410
651.92	o 35296
651.92	c 7403
652.88	o 35298
652.88	c 7401
653.74	o 35302
653.74	c 7397
654.61	o 35305
654.61	c 7394
656.47	o 35309
656.47	c 7390
659.12	o 35313
659.12	c 7386
660.01	o 35317
660.01	c 7382
660.92	o 35318
660.92	c 7381
661.85	o 35319
661.85	c 7380
662.76	o 35324
662.76	c 7375
663.71	o 35328
663.71	c 7371
664.69	o 35330
664.69	c 7369
665.63	o 35334
665.63	c 7365
666.57	o 35351
666.57	c 7348
667.54	o 35353
667.54	c 7346
668.42	o 35364
668.42	c 7335
669.30	o 35367
669.30	c 7332
670.19	o 35368
670.19	c 7331
672.02	o 35372
672.02	c 7327
672.94	o 35373
672.94	c 7326
673.90	o 35375
673.90	c 7324
674.83	o 35379
674.83	c 7320
675.73	o 35386
675.73	c 7313
676.65	o 35387
676.65	c 7312
677.54	o 35388
677.54	c 7311
678.43	o 35390
678.43	c 7309
679.41	o 35399
679.41	c 7300
680.39	o 35405
680.39	c 7294
681.42	o 35407
681.42	c 7292
682.46	o 35411
682.46	c 7288
683.49	o 35414
683.49	c 7285
684.49	o 35415
684.49	c 7284
685.56	o 35419
685.56	c 7280
698.19	o 35420
698.19	c 7279
699.37	o 35426
699.37	c 7273
700.44	o 35430
700.44	c 7269
701.59	o 35431
701.59	c 7268
702.69	o 35434
702.69	c 7265
704.91	o 35440
704.91	c 7259
707.09	o 35442
707.09	c 7257
708.17	o 35443
708.17	c 7256
709.19	o 35447
709.19	c 7252
712.55	o 35448
712.55	c 7251
713.70	o 35451
713.70	c 7248
714.74	o 35453
714.74	c 7246
715.75	o 35458
715.75	c 7241
716.81	o 35462
716.81	c 7237
717.81	o 35465
717.81	c 7234
718.89	o 35466
718.89	c 7233
719.90	o 35473
719.90	c 7226
723.03	o 35479
723.04	c 7220
725.05	o 35485
725.05	c 7214
725.94	o 35493
725.94	c 7206
727.03	o 35499
727.03	c 7200
728.12	o 35502
728.12	c 7197
729.19	o 35507
729.19	c 7192
731.35	o 35510
731.35	c 7189
732.52	o 35514
732.52	c 7185
733.59	o 35519
733.59	c 7180
734.68	o 35520
734.68	c 7179
736.85	o 35521
736.85	c 7178
737.92	o 35525
737.92	c 7174
738.99	o 35526
738.99	c 7173
740.05	o 35527
740.05	c 7172
741.13	o 35533
741.13	c 7166
742.23	o 35536
742.23	c 7163
743.25	o 35538
743.25	c 7161
749.52	o 35544
749.52	c 7155
750.59	o 35545
750.59	c 7154
752.62	o 35551
752.62	c 7148
753.60	o 35556
753.60	c 7143
758.10	o 35584
758.10	c 7115
759.95	o 35585
759.95	c 7114
762.88	o 35587
762.88	c 7112
763.90	o 35589
763.90	c 7110
764.86	o 35594
764.86	c 7105
765.79	o 35595
765.79	c 7104
766.84	o 35598
766.84	c 7101
769.88	o 35599
769.88	c 7100
770.96	o 35602
770.96	c 7097
772.01	o 35605
772.01	c 7094
773.11	o 35608
773.11	c 7091
774.16	o 35612
774.16	c 7087
775.25	o 35618
775.25	c 7081
776.41	o 35620
776.41	c 7079
777.48	o 35623
777.48	c 7076
778.67	o 35629
778.67	c 7070
782.85	o 35631
782.85	c 7068
783.87	o 35633
783.87	c 7066
784.90	o 35634
784.90	c 7065
785.95	o 35641
785.95	c 7058
786.92	o 35648
786.92	c 7051
788.81	o 35649
788.81	c 7050
789.74	o 35651
789.74	c 7048
790.72	o 35654
790.72	c 7045
791.63	o 35655
791.63	c 7044
800.57	o 35659
800.57	c 7040
801.58	o 35665
801.58	c 7034
802.46	o 35667
802.46	c 7032
803.46	o 35669
803.46	c 7030
804.51	o 35670
804.51	c 7029
805.42	o 35673
805.42	c 7026
806.37	o 35674
806.37	c 7025
807.33	o 35682
807.33	c 7017
808.26	o 35685
808.26	c 7014
809.24	o 35690
809.24	c 7009
810.19	o 35696
810.19	c 7003
811.15	o 35698
811.15	c 7001
812.05	o 35704
812.05	c 6995
812.90	o 35708
812.90	c 6991
813.82	o 35711
813.82	c 6988
814.75	o 35717
814.75	c 6982
815.65	o 35723
815.65	c 6976
816.55	o 35724
816.55	c 6975
817.51	o 35726
817.51	c 6973
818.47	o 35727
818.47	c 6972
819.48	o 35729
819.48	c 6970
820.44	o 35732
820.44	c 6967
822.34	o 35737
822.34	c 6962
823.34	o 35738
823.34	c 6961
825.26	o 35742
825.26	c 6957
827.14	o 35746
827.14	c 6953
828.08	o 35750
828.08	c 6949
829.10	o 35755
829.10	c 6944
830.26	o 35757
830.26	c 6942
831.33	o 35761
831.33	c 6938
833.58	o 35765
833.58	c 6934
835.54	o 35769
835.54	c 6930
841.05	o 35771
841.05	c 6928
842.11	o 35773
842.11	c 6926
843.15	o 35777
843.15	c 6922
844.31	o 35783
844.31	c 6916
845.44	o 35785
845.44	c 6914
846.55	o 35788
846.55	c 6911
847.59	o 35792
847.59	c 6907
849.79	o 35796
849.79	c 6903
850.98	o 35802
850.98	c 6897
852.00	o 35811
852.00	c 6888
857.25	o 35813
857.25	c 6886
858.35	o 35817
858.35	c 6882
860.49	o 35820
860.49	c 6879
861.56	o 35824
861.56	c 6875
862.73	o 35826
862.73	c 6873
863.80	o 35828
863.80	c 6871
866.04	o 35830
866.04	c 6869
867.14	o 35835
867.14	c 6864
868.27	o 35838
868.27	c 6861
869.39	o 35839
869.39	c 6860
871.70	o 35842
871.70	c 6857
872.89	o 35844
872.89	c 6855
874.11	o 35846
874.11	c 6853
875.33	o 35849
875.33	c 6850
876.47	o 35850
876.47	c 6849
877.66	o 35851
877.66	c 6848
878.80	o 35854
878.80	c 6845
880.01	o 35856
880.01	c 6843
881.23	o 35861
881.23	c 6838
882.44	o 35862
882.44	c 6837
883.80	o 35864
883.80	c 6835
885.07	o 35868
885.07	c 6831
886.34	o 35870
886.34	c 6829
888.91	o 35874
888.91	c 6825
890.17	o 35876
890.17	c 6823
891.40	o 35878
891.40	c 6821
892.66	o 35882
892.66	c 6817
893.89	o 35884
893.89	c 6815
895.16	o 35890
895.16	c 6809
900.64	o 35896
900.64	c 6803
903.25	o 35897
903.25	c 6802
904.54	o 35902
904.54	c 6797
905.83	o 35908
905.83	c 6791
907.13	o 35911
907.13	c 6788
908.51	o 35914
908.51	c 6785
914.08	o 35918
914.08	c 6781
915.10	o 35921
915.10	c 6778
916.47	o 35926
916.47	c 6773
917.80	o 35927
917.80	c 6772
919.37	o 35933
919.37	c 6766
920.72	o 35940
920.72	c 6759
922.21	o 35943
922.21	c 6756
923.58	o 35946
923.58	c 6753
924.99	o 35948
924.99	c 6751
926.35	o 35951
926.35	c 6748
927.78	o 35956
927.78	c 6743
930.59	o 35958
930.59	c 6741
932.10	o 35960
932.10	c 6739
933.46	o 35961
933.46	c 6738
934.80	o 35966
934.80	c 6733
936.23	o 35970
936.23	c 6729
937.55	o 35978
937.55	c 6721
939.02	o 35980
939.02	c 6719
940.39	o 35984
940.39	c 6715
941.77	o 35989
941.77	c 6710
943.17	o 35992
943.18	c 6707
946.14	o 35996
946.14	c 6703
947.58	o 36000
947.58	c 6699
950.48	o 36002
950.48	c 6697
951.97	o 36009
951.97	c 6690
953.48	o 36012
953.48	c 6687
955.15	o 36014
955.15	c 6685
958.28	o 36027
958.28	c 6672
959.71	o 36028
959.71	c 6671
961.28	o 36029
961.28	c 6670
962.83	o 36036
962.83	c 6663
964.38	o 36049
964.38	c 6650
965.31	o 36055
965.31	c 6644
966.77	o 36061
966.77	c 6638
968.29	o 36064
968.29	c 6635
975.07	o 36065
975.07	c 6634
982.99	o 36071
982.99	c 6628
983.72	o 36074
983.72	c 6625
986.32	o 36081
986.32	c 6618
988.84	o 36086
988.84	c 6613
990.10	o 36091
990.10	c 6608
991.36	o 36097
991.36	c 6602
992.56	o 36102
992.56	c 6597
993.90	o 36106
993.90	c 6593
995.19	o 36110
995.19	c 6589
996.46	o 36114
996.46	c 6585
1000.41	o 36118
1000.41	c 6581
1003.15	o 36121
1003.15	c 6578
1004.57	o 36126
1004.57	c 6573
1005.94	o 36127
1005.94	c 6572
1009.78	o 36130
1009.78	c 6569
1012.46	o 36134
1012.46	c 6565
1013.48	o 36137
1013.48	c 6562
1014.78	o 36141
1014.78	c 6558
1018.79	o 36143
1018.79	c 6556
1020.13	o 36148
1020.13	c 6551
1021.47	o 36152
1021.47	c 6547
1022.76	o 36154
1022.76	c 6545
1024.21	o 36157
1024.21	c 6542
1025.70	o 36161
1025.70	c 6538
1028.49	o 36166
1028.49	c 6533
1029.84	o 36171
1029.84	c 6528
1034.07	o 36173
1034.07	c 6526
1035.41	o 36179
1035.41	c 6520
1036.82	o 36180
1036.82	c 6519
1038.19	o 36188
1038.19	c 6511
1047.34	o 36189
1047.34	c 6510
1048.68	o 36190
1048.68	c 6509
1050.04	o 36196
1050.04	c 6503
1052.56	o 36198
1052.56	c 6501
1053.79	o 36200
1053.79	c 6499
1055.01	o 36202
1055.01	c 6497
1056.27	o 36205
1056.27	c 6494
1057.50	o 36207
1057.50	c 6492
1060.05	o 36212
1060.05	c 6487
1061.33	o 36213
1061.33	c 6486
1063.79	o 36215
1063.79	c 6484
1065.03	o 36220
1065.03	c 6479
1066.30	o 36225
1066.30	c 6474
1067.51	o 36226
1067.51	c 6473
1068.78	o 36232
1068.78	c 6467
1070.05	o 36235
1070.05	c 6464
1072.53	o 36236
1072.53	c 6463
1073.76	o 36240
1073.76	c 6459
1074.97	o 36244
1074.97	c 6455
1076.16	o 36247
1076.16	c 6452
1077.42	o 36249
1077.42	c 6450
1078.65	o 36250
1078.65	c 6449
1079.92	o 36253
1079.92	c 6446
1081.23	o 36260
1081.23	c 6439
1084.92	o 36266
1084.92	c 6433
1086.20	o 36267
1086.20	c 6432
1087.57	o 36268
1087.57	c 6431
1088.89	o 36271
1088.89	c 6428
1090.15	o 36273
1090.15	c 6426
1091.45	o 36275
1091.45	c 6424
1092.76	o 36279
1092.76	c 6420
1094.02	o 36284
1094.02	c 6415
1095.34	o 36288
1095.34	c 6411
1096.65	o 36289
1096.65	c 6410
1099.11	o 36293
1099.11	c 6406
1104.76	o 36294
1104.76	c 6405
1106.03	o 36297
1106.03	c 6402
1107.18	o 36302
1107.18	c 6397
1108.35	o 36304
1108.35	c 6395
1109.45	o 36309
1109.45	c 6390
1110.64	o 36313
1110.64	c 6386
1111.75	o 36320
1111.75	c 6379
1112.92	o 36324
1112.92	c 6375
1114.05	o 36328
1114.05	c 6371
1115.30	o 36330
1115.30	c 6369
1116.44	o 36334
1116.44	c 6365
1117.60	o 36339
1117.60	c 6360
1118.62	o 36345
1118.62	c 6354
1119.77	o 36349
1119.77	c 6350
1120.95	o 36350
1120.95	c 6349
1122.12	o 36351
1122.12	c 6348
1123.36	o 36355
1123.36	c 6344
1124.56	o 36359
1124.56	c 6340
1125.79	o 36363
1125.79	c 6336
1126.99	o 36364
1126.99	c 6335
1128.22	o 36369
1128.22	c 6330
1129.43	o 36370
1129.43	c 6329
1130.62	o 36371
1130.62	c 6328
1131.79	o 36377
1131.79	c 6322
1134.20	o 36383
1134.20	c 6316
1135.55	o 36387
1135.55	c 6312
1136.72	o 36393
1136.72	c 6306
1137.89	o 36394
1137.89	c 6305
1140.18	o 36397
1140.18	c 6302
1141.38	o 36400
1141.38	c 6299
1142.53	o 36407
1142.53	c 6292
1143.81	o 36409
1143.81	c 6290
1145.15	o 36413
1145.15	c 6286
1146.42	o 36417
1146.42	c 6282
1147.70	o 36419
1147.70	c 6280
1148.94	o 36421
1148.94	c 6278
1150.21	o 36423
1150.21	c 6276
1151.44	o 36425
1151.44	c 6274
1152.72	o 36430
1152.72	c 6269
1156.53	o 36432
1156.53	c 6267
1157.82	o 36437
1157.82	c 6262
1168.13	o 36439
1168.13	c 6260
1169.40	o 36441
1169.40	c 6258
1170.74	o 36447
1170.74	c 6252
1172.03	o 36452
1172.03	c 6247
1173.35	o 36453
1173.35	c 6246
1175.99	o 36456
1175.99	c 6243
1177.27	o 36458
1177.27	c 6241
1178.58	o 36462
1178.58	c 6237
1179.91	o 36467
1179.91	c 6232
1181.27	o 36468
1181.27	c 6231
1182.53	o 36469
1182.53	c 6230
1183.82	o 36472
1183.82	c 6227
1187.74	o 36474
1187.74	c 6225
1189.06	o 36479
1189.06	c 6220
1191.86	o 36480
1191.86	c 6219
1193.25	o 36482
1193.25	c 6217
1194.63	o 36484
1194.63	c 6215
1196.02	o 36490
1196.02	c 6209
1197.50	o 36493
1197.50	c 6206
1198.90	o 36495
1198.90	c 6204
1200.33	o 36497
1200.33	c 6202
1201.68	o 36502
1201.68	c 6197
1203.08	o 36506
1203.08	c 6193
1204.48	o 36509
1204.48	c 6190
1205.85	o 36512
1205.85	c 6187
1207.28	o 36520
1207.28	c 6179
1208.66	o 36524
1208.66	c 6175
1210.18	o 36526
1210.18	c 6173
1211.59	o 36529
1211.59	c 6170
1213.05	o 36530
1213.05	c 6169
1215.95	o 36533
1215.95	c 6166
1220.22	o 36534
1220.22	c 6165
1221.62	o 36539
1221.62	c 6160
1224.57	o 36540
1224.57	c 6159
1226.05	o 36544
1226.05	c 6155
1234.45	o 36545
1234.45	c 6154
1248.67	o 36548
1248.67	c 6151
1250.10	o 36552
1250.10	c 6147
1251.58	o 36558
1251.58	c 6141
1253.03	o 36559
1253.03	c 6140
1255.89	o 36561
1255.89	c 6138
1257.24	o 36567
1257.24	c 6132
1258.66	o 36569
1258.66	c 6130
1260.17	o 36576
1260.17	c 6123
1261.60	o 36579
1261.60	c 6120
1262.98	o 36580
1262.98	c 6119
1264.43	o 36583
1264.43	c 6116
1265.81	o 36588
1265.81	c 6111
1267.20	o 36591
1267.20	c 6108
1268.63	o 36594
1268.63	c 6105
1272.88	o 36595
1272.88	c 6104
1275.60	o 36599
1275.60	c 6100
1276.91	o 36605
1276.91	c 6094
1278.05	o 36611
1278.05	c 6088
1279.41	o 36614
1279.41	c 6085
1280.84	o 36615
1280.84	c 6084
1283.64	o 36620
1283.64	c 6079
1290.71	o 36623
1290.71	c 6076
1291.89	o 36627
1291.89	c 6072
1293.34	o 36632
1293.34	c 6067
1294.79	o 36636
1294.79	c 6063
1297.75	o 36639
1297.75	c 6060
1299.20	o 36644
1299.20	c 6055
1300.70	o 36646
1300.70	c 6053
1302.17	o 36647
1302.17	c 6052
1303.61	o 36650
1303.61	c 6049
1305.08	o 36651
1305.08	c 6048
1306.52	o 36653
1306.52	c 6046
1310.71	o 36658
1310.71	c 6041
1312.09	o 36659
1312.09	c 6040
1314.84	o 36661
1314.84	c 6038
1320.29	o 36663
1320.29	c 6036
1321.59	o 36668
1321.59	c 6031
1322.95	o 36673
1322.95	c 6026
1324.28	o 36679
1324.28	c 6020
1325.60	o 36680
1325.60	c 6019
1326.99	o 36681
1326.99	c 6018
1328.37	o 36685
1328.37	c 6014
1329.67	o 36692
1329.67	c 6007
1331.07	o 36693
1331.07	c 6006
1332.43	o 36696
1332.43	c 6003
1335.30	o 36697
1335.30	c 6002
1336.72	o 36700
1336.72	c 5999
1338.08	o 36702
1338.08	c 5997
1339.43	o 36704
1339.43	c 5995
1340.76	o 36708
1340.76	c 5991
1342.13	o 36710
1342.13	c 5989
1344.95	o 36711
1344.95	c 5988
1346.32	o 36715
1346.32	c 5984
1347.51	o 36721
1347.51	c 5978
1349.02	o 36723
1349.02	c 5976
1351.92	o 36724
1351.92	c 5975
1353.34	o 36727
1353.34	c 5972
1357.26	o 36733
1357.26	c 5966
1360.21	o 36737
1360.22	c 5962
1361.69	o 36738
1361.69	c 5961
1363.20	o 36741
1363.20	c 5958
1364.74	o 36743
1364.74	c 5956
1366.28	o 36745
1366.28	c 5954
1367.81	o 36750
1367.81	c 5949
1368.94	o 36751
1368.94	c 5948
1370.47	o 36754
1370.47	c 5945
1372.10	o 36758
1372.10	c 5941
1373.65	o 36761
1373.65	c 5938
1375.15	o 36764
1375.15	c 5935
1376.68	o 36768
1376.68	c 5931
1378.18	o 36771
1378.18	c 5928
1379.73	o 36773
1379.73	c 5926
1381.29	o 36778
1381.29	c 5921
1384.41	o 36783
1384.41	c 5916
1386.04	o 36786
1386.04	c 5913
1387.63	o 36788
1387.63	c 5911
1390.88	o 36789
1390.88	c 5910
1394.06	o 36792
1394.06	c 5907
1395.66	o 36795
1395.66	c 5904
1397.27	o 36802
1397.27	c 5897
1398.81	o 36803
1398.81	c 5896
1400.43	o 36805
1400.43	c 5894
1402.02	o 36808
1402.02	c 5891
1403.65	o 36812
1403.65	c 5887
1405.25	o 36816
1405.25	c 5883
1406.83	o 36820
1406.83	c 5879
1407.89	o 36828
1407.89	c 5871
1409.47	o 36834
1409.47	c 5865
1411.03	o 36835
1411.03	c 5864
1412.56	o 36839
1412.56	c 5860
1414.11	o 36842
1414.11	c 5857
1417.26	o 36843
1417.26	c 5856
1420.35	o 36845
1420.35	c 5854
1421.90	o 36850
1421.90	c 5849
1423.51	o 36851
1423.51	c 5848
1425.09	o 36859
1425.09	c 5840
1428.20	o 36860
1428.20	c 5839
1431.34	o 36861
1431.34	c 5838
1432.81	o 36862
1432.81	c 5837
1434.41	o 36867
1434.41	c 5832
1437.54	o 36873
1437.54	c 5826
1438.35	o 36876
1438.35	c 5823
1439.86	o 36882
1439.86	c 5817
1442.65	o 36885
1442.65	c 5814
1445.52	o 36886
1445.52	c 5813
1446.96	o 36890
1446.96	c 5809
1448.44	o 36893
1448.44	c 5806
1449.88	o 36894
1449.88	c 5805
1451.35	o 36901
1451.35	c 5798
1452.81	o 36906
1452.81	c 5793
1454.33	o 36910
1454.33	c 5789
1455.75	o 36914
1455.75	c 5785
1457.15	o 36915
1457.15	c 5784
1458.61	o 36916
1458.61	c 5783
1460.06	o 36922
1460.06	c 5777
1461.46	o 36924
1461.46	c 5775
1462.88	o 36925
1462.88	c 5774
1467.16	o 36927
1467.16	c 5772
1468.63	o 36935
1468.63	c 5764
1470.09	o 36937
1470.09	c 5762
1471.55	o 36941
1471.55	c 5758
1473.01	o 36948
1473.01	c 5751
1474.22	o 36957
1474.22	c 5742
1481.09	o 36962
1481.09	c 5737
1482.41	o 36964
1482.41	c 5735
1483.79	o 36969
1483.79	c 5730
1487.80	o 36976
1487.80	c 5723
1489.00	o 36980
1489.00	c 5719
1489.70	o 36983
1489.70	c 5716
1492.48	o 36987
1492.48	c 5712
1493.89	o 36989
1493.89	c 5710
1496.68	o 36990
1496.68	c 5709
1499.53	o 36994
1499.53	c 5705
1500.92	o 36995
1500.92	c 5704
1502.31	o 36999
1502.31	c 5700
1503.74	o 37006
1503.74	c 5693
1505.13	o 37008
1505.13	c 5691
1507.84	o 37010
1507.84	c 5689
1509.21	o 37013
1509.21	c 5686
1510.65	o 37014
1510.65	c 5685
1512.02	o 37016
1512.02	c 5683
1513.24	o 37018
1513.25	c 5681
1514.66	o 37022
1514.66	c 5677
1517.45	o 37026
1517.45	c 5673
1521.71	o 37027
1521.71	c 5672
1523.15	o 37028
1523.15	c 5671
1524.59	o 37029
1524.59	c 5670
1526.02	o 37031
1526.02	c 5668
1527.54	o 37034
1527.54	c 5665
1528.99	o 37035
1528.99	c 5664
1530.54	o 37038
1530.54	c 5661
1532.05	o 37039
1532.05	c 5660
1533.29	o 37042
1533.29	c 5657
1534.73	o 37044
1534.73	c 5655
1536.18	o 37048
1536.18	c 5651
1540.59	o 37050
1540.59	c 5649
1545.12	o 37057
1545.12	c 5642
1546.64	o 37061
1546.64	c 5638
1548.20	o 37062
1548.20	c 5637
1551.39	o 37064
1551.39	c 5635
1553.03	o 37066
1553.03	c 5633
1554.61	o 37067
1554.61	c 5632
1556.10	o 37070
1556.10	c 5629
1559.17	o 37072
1559.17	c 5627
1560.70	o 37073
1560.70	c 5626
1562.21	o 37078
1562.21	c 5621
1576.64	o 37080
1576.64	c 5619
1578.10	o 37085
1578.10	c 5614
1579.61	o 37087
1579.61	c 5612
1582.45	o 37091
1582.45	c 5608
1583.82	o 37098
1583.82	c 5601
1586.64	o 37100
1586.64	c 5599
1588.10	o 37104
1588.10	c 5595
1590.75	o 37107
1590.75	c 5592
1592.03	o 37110
1592.03	c 5589
1594.78	o 37112
1594.78	c 5587
1597.51	o 37115
1597.51	c 5584
1600.22	o 37117
1600.22	c 5582
1602.95	o 37122
1602.95	c 5577
1604.37	o 37127
1604.37	c 5572
1605.79	o 37128
1605.79	c 5571
1607.21	o 37133
1607.21	c 5566
1608.65	o 37135
1608.65	c 5564
1610.13	o 37136
1610.13	c 5563
1611.57	o 37138
1611.57	c 5561
1612.93	o 37141
1612.93	c 5558
1617.20	o 37143
1617.20	c 5556
1618.59	o 37145
1618.59	c 5554
1626.93	o 37147
1626.93	c 5552
1628.37	o 37150
1628.37	c 5549
1629.78	o 37154
1629.78	c 5545
1631.22	o 37156
1631.22	c 5543
1632.59	o 37157
1632.59	c 5542
1633.99	o 37161
1633.99	c 5538
1635.41	o 37162
1635.41	c 5537
1636.80	o 37163
1636.80	c 5536
1638.24	o 37165
1638.25	c 5534
1639.64	o 37168
1639.64	c 5531
1641.08	o 37169
1641.08	c 5530
1642.60	o 37173
1642.60	c 5526
1644.03	o 37174
1644.03	c 5525
1646.96	o 37178
1646.96	c 5521
1649.92	o 37182
1649.92	c 5517
1651.33	o 37188
1651.33	c 5511
1652.81	o 37191
1652.81	c 5508
1654.31	o 37196
1654.31	c 5503
1655.77	o 37199
1655.77	c 5500
1657.02	o 37204
1657.02	c 5495
1658.02	o 37207
1658.02	c 5492
1660.75	o 37214
1660.75	c 5485
1662.15	o 37218
1662.15	c 5481
1663.62	o 37220
1663.62	c 5479
1669.39	o 37222
1669.39	c 5477
1670.90	o 37224
1670.90	c 5475
1672.29	o 37227
1672.29	c 5472
1675.02	o 37233
1675.02	c 5466
1677.71	o 37236
1677.71	c 5463
1678.78	o 37241
1678.78	c 5458
1680.15	o 37245
1680.15	c 5454
1681.48	o 37250
1681.48	c 5449
1685.61	o 37253
1685.61	c 5446
1687.09	o 37258
1687.09	c 5441
1688.50	o 37261
1688.50	c 5438
1689.97	o 37265
1689.97	c 5434
1691.40	o 37266
1691.40	c 5433
1692.84	o 37267
1692.84	c 5432
1694.26	o 37272
1694.26	c 5427
1695.67	o 37274
1695.67	c 5425
1697.07	o 37276
1697.07	c 5423
1698.53	o 37282
1698.53	c 5417
1700.07	o 37287
1700.07	c 5412
1704.51	o 37288
1704.51	c 5411
1707.52	o 37293
1707.52	c 5406
1710.55	o 37295
1710.55	c 5404
1712.07	o 37301
1712.07	c 5398
1714.99	o 37306
1714.99	c 5393
1716.46	o 37308
1716.46	c 5391
1718.04	o 37310
1718.04	c 5389
1719.54	o 37315
1719.54	c 5384
1721.06	o 37318
1721.06	c 5381
1724.04	o 37319
1724.04	c 5380
1725.52	o 37324
1725.52	c 5375
1728.39	o 37326
1728.39	c 5373
1729.87	o 37329
1729.87	c 5370
1731.44	o 37331
1731.44	c 5368
1732.94	o 37334
1732.94	c 5365
1734.36	o 37340
1734.36	c 5359
1737.34	o 37346
1737.34	c 5353
1738.86	o 37349
1738.86	c 5350
1743.04	o 37350
1743.04	c 5349
1744.54	o 37351
1744.54	c 5348
1747.39	o 37353
1747.39	c 5346
1748.60	o 37357
1748.60	c 5342
1750.10	o 37359
1750.10	c 5340
1751.49	o 37363
1751.49	c 5336
1752.94	o 37364
1752.94	c 5335
1761.33	o 37367
1761.33	c 5332
1762.75	o 37369
1762.75	c 5330
1765.49	o 37372
1765.49	c 5327
1766.94	o 37373
1766.94	c 5326
1771.17	o 37375
1771.17	c 5324
1772.61	o 37376
1772.61	c 5323
1774.06	o 37379
1774.06	c 5320
1777.00	o 37381
1777.00	c 5318
1778.47	o 37383
1778.47	c 5316
1779.92	o 37388
1779.92	c 5311
1781.42	o 37391
1781.42	c 5308
1782.96	o 37393
1782.96	c 5306
1784.44	o 37405
1784.44	c 5294
1785.94	o 37409
1785.94	c 5290
1787.40	o 37414
1787.40	c 5285
1788.90	o 37417
1788.90	c 5282
1791.82	o 37418
1791.82	c 5281
1793.29	o 37419
1793.29	c 5280
1794.78	o 37422
1794.78	c 5277
1796.28	o 37425
1796.28	c 5274
1797.80	o 37429
1797.80	c 5270
1803.26	o 37432
1803.26	c 5267
1804.74	o 37435
1804.74	c 5264
1806.29	o 37436
1806.29	c 5263
1807.88	o 37441
1807.88	c 5258
1809.37	o 37443
1809.37	c 5256
1810.86	o 37448
1810.86	c 5251
1812.25	o 37452
1812.25	c 5247
1813.59	o 37456
1813.59	c 5243
1815.96	o 37458
1815.96	c 5241
1819.05	o 37460
1819.05	c 5239
1820.26	o 37462
1820.26	c 5237
1822.86	o 37463
1822.86	c 5236
1826.40	o 37465
1826.40	c 5234
1827.74	o 37469
1827.74	c 5230
1829.09	o 37471
1829.09	c 5228
1830.49	o 37478
1830.49	c 5221
1831.75	o 37480
1831.75	c 5219
1833.09	o 37484
1833.09	c 5215
1834.40	o 37487
1834.40	c 5212
1835.77	o 37488
1835.77	c 5211
1838.48	o 37490
1838.48	c 5209
1841.20	o 37491
1841.20	c 5208
1843.83	o 37492
1843.83	c 5207
1845.20	o 37496
1845.20	c 5203
1847.89	o 37497
1847.89	c 5202
1849.28	o 37500
1849.28	c 5199
1850.69	o 37502
1850.69	c 5197
1852.08	o 37503
1852.08	c 5196
1854.76	o 37508
1854.76	c 5191
1856.11	o 37527
1856.11	c 5172
1857.20	o 37536
1857.20	c 5163
1858.39	o 37537
1858.39	c 5162
1859.61	o 37540
1859.61	c 5159
1860.83	o 37544
1860.83	c 5155
1865.73	o 37549
1865.73	c 5150
1866.94	o 37555
1866.94	c 5144
1868.18	o 37559
1868.19	c 5140
1869.40	o 37560
1869.40	c 5139
1873.09	o 37564
1873.09	c 5135
1874.29	o 37567
1874.29	c 5132
1875.50	o 37571
1875.50	c 5128
1876.79	o 37574
1876.79	c 5125
1877.77	o 37579
1877.77	c 5120
1879.05	o 37580
1879.05	c 5119
1880.29	o 37583
1880.29	c 5116
1881.55	o 37586
1881.55	c 5113
1882.83	o 37592
1882.83	c 5107
1883.85	o 37594
1883.85	c 5105
1887.69	o 37597
1887.69	c 5102
1888.88	o 37601
1888.88	c 5098
1890.21	o 37604
1890.21	c 5095
1891.48	o 37609
1891.48	c 5090
1892.73	o 37614
1892.73	c 5085
1895.28	o 37615
1895.28	c 5084
1896.54	o 37619
1896.54	c 5080
1897.76	o 37622
1897.76	c 5077
1898.97	o 37625
1898.97	c 5074
1900.27	o 37626
1900.27	c 5073
1901.57	o 37628
1901.57	c 5071
1902.88	o 37632
1902.88	c 5067
1905.55	o 37638
1905.55	c 5061
1906.93	o 37640
1906.93	c 5059
1908.23	o 37641
1908.23	c 5058
1909.58	o 37644
1909.58	c 5055
1910.95	o 37649
1910.95	c 5050
1913.64	o 37652
1913.64	c 5047
1915.02	o 37653
1915.02	c 5046
1917.76	o 37654
1917.76	c 5045
1919.14	o 37657
1919.14	c 5042
1920.53	o 37671
1920.53	c 5028
1921.80	o 37674
1921.80	c 5025
1923.04	o 37675
1923.04	c 5024
1924.29	o 37677
1924.29	c 5022
1925.30	o 37678
1925.30	c 5021
1926.58	o 37685
1926.58	c 5014
1927.82	o 37687
1927.82	c 5012
1930.29	o 37688
1930.29	c 5011
1931.51	o 37690
1931.51	c 5009
1932.77	o 37691
1932.77	c 5008
1934.05	o 37710
1934.05	c 4989
1936.40	o 37713
1936.40	c 4986
1937.61	o 37717
1937.61	c 4982
1938.85	o 37719
1938.85	c 4980
1940.10	o 37724
1940.10	c 4975
1942.48	o 37727
1942.48	c 4972
1943.67	o 37728
1943.67	c 4971
1945.84	o 37730
1945.84	c 4969
1965.73	o 37734
1965.73	c 4965
1966.95	o 37738
1966.95	c 4961
1968.23	o 37740
1968.23	c 4959
1969.46	o 37744
1969.46	c 4955
1970.68	o 37746
1970.68	c 4953
1971.90	o 37747
1971.90	c 4952
1973.11	o 37748
1973.11	c 4951
1974.32	o 37749
1974.32	c 4950
1975.54	o 37752
1975.54	c 4947
1976.72	o 37753
1976.72	c 4946
1979.23	o 37757
1979.23	c 4942
1981.69	o 37761
1981.69	c 4938
1986.95	o 37765
1986.95	c 4934
1988.23	o 37769
1988.23	c 4930
1989.29	o 37772
1989.29	c 4927
1990.57	o 37776
1990.57	c 4923
1991.89	o 37782
1991.89	c 4917
1993.23	o 37786
1993.23	c 4913
1997.04	o 37791
1997.04	c 4908
1998.31	o 37792
1998.31	c 4907
1999.66	o 37797
1999.66	c 4902
2000.94	o 37799
2000.94	c 4900
2004.91	o 37808
2004.91	c 4891
2006.23	o 37814
2006.23	c 4885
2007.03	o 37819
2007.03	c 4880
2008.30	o 37822
2008.30	c 4877
2008.66	o 37827
2008.66	c 4872
2014.91	o 37829
2014.91	c 4870
2016.21	o 37831
2016.21	c 4868
2017.43	o 37835
2017.43	c 4864
2018.73	o 37838
2018.73	c 4861
2020.00	o 37843
2020.00	c 4856
2022.48	o 37845
2022.48	c 4854
2025.03	o 37847
2025.03	c 4852
2026.36	o 37850
2026.36	c 4849
2027.62	o 37855
2027.62	c 4844
2028.91	o 37859
2028.91	c 4840
2030.15	o 37864
2030.15	c 4835
2031.42	o 37867
2031.42	c 4832
2036.42	o 37869
2036.42	c 4830
2042.54	o 37871
2042.54	c 4828
2043.77	o 37872
2043.77	c 4827
2044.97	o 37875
2044.97	c 4824
2046.21	o 37880
2046.21	c 4819
2047.48	o 37883
2047.48	c 4816
2048.71	o 37886
2048.71	c 4813
2050.00	o 37889
2050.00	c 4810
2053.83	o 37891
2053.83	c 4808
2055.14	o 37895
2055.14	c 4804
2056.36	o 37901
2056.36	c 4798
2060.05	o 37902
2060.05	c 4797
2060.77	o 37903
2060.77	c 4796
2061.98	o 37909
2061.98	c 4790
2063.21	o 37911
2063.21	c 4788
2064.48	o 37915
2064.48	c 4784
2065.71	o 37918
2065.71	c 4781
2067.02	o 37919
2067.02	c 4780
2068.28	o 37921
2068.28	c 4778
2069.56	o 37923
2069.56	c 4776
2070.83	o 37925
2070.83	c 4774
2072.09	o 37926
2072.09	c 4773
2077.03	o 37931
2077.03	c 4768
2078.32	o 37932
2078.32	c 4767
2079.59	o 37937
2079.59	c 4762
2080.90	o 37938
2080.90	c 4761
2082.17	o 37941
2082.17	c 4758
2083.46	o 37943
2083.46	c 4756
2087.26	o 37944
2087.26	c 4755
2088.32	o 37945
2088.32	c 4754
2089.60	o 37946
2089.60	c 4753
2090.89	o 37950
2090.89	c 4749
2093.38	o 37951
2093.38	c 4748
2094.64	o 37955
2094.64	c 4744
2095.67	o 37957
2095.67	c 4742
2096.80	o 37958
2096.80	c 4741
2098.08	o 37962
2098.08	c 4737
2099.33	o 37965
2099.33	c 4734
2100.58	o 37968
2100.58	c 4731
2101.85	o 37972
2101.85	c 4727
2103.08	o 37975
2103.08	c 4724
2105.58	o 37977
2105.58	c 4722
2109.39	o 37978
2109.39	c 4721
2110.61	o 37981
2110.61	c 4718
2111.88	o 37983
2111.88	c 4716
2113.13	o 37984
2113.13	c 4715
2115.67	o 37987
2115.67	c 4712
2116.75	o 37991
2116.75	c 4708
2118.05	o 37994
2118.05	c 4705
2119.30	o 37998
2119.30	c 4701
2120.56	o 38000
2120.56	c 4699
2121.77	o 38002
2121.77	c 4697
2124.22	o 38009
2124.22	c 4690
2125.52	o 38012
2125.52	c 4687
2126.86	o 38016
2126.86	c 4683
2128.16	o 38019
2128.16	c 4680
2129.47	o 38024
2129.47	c 4675
2130.74	o 38027
2130.74	c 4672
2132.05	o 38030
2132.05	c 4669
2133.39	o 38032
2133.39	c 4667
2136.04	o 38035
2136.04	c 4664
2137.41	o 38038
2137.41	c 4661
2138.18	o 38040
2138.18	c 4659
2139.53	o 38041
2139.53	c 4658
2140.84	o 38043
2140.84	c 4656
2141.84	o 38047
2141.84	c 4652
2143.11	o 38049
2143.11	c 4650
2144.39	o 38055
2144.39	c 4644
2145.69	o 38058
2145.69	c 4641
2147.05	o 38062
2147.05	c 4637
2148.39	o 38063
2148.39	c 4636
2151.07	o 38065
2151.07	c 4634
2152.45	o 38067
2152.45	c 4632
2153.80	o 38071
2153.80	c 4628
2155.11	o 38076
2155.11	c 4623
2156.48	o 38078
2156.48	c 4621
2157.82	o 38079
2157.82	c 4620
2159.11	o 38082
2159.11	c 4617
2161.69	o 38083
2161.69	c 4616
2163.04	o 38085
2163.04	c 4614
2164.41	o 38087
2164.41	c 4612
2171.32	o 38094
2171.32	c 4605
2172.40	o 38097
2172.40	c 4602
2173.73	o 38100
2173.73	c 4599
2175.02	o 38101
2175.02	c 4598
2176.38	o 38104
2176.38	c 4595
2177.34	o 38109
2177.34	c 4590
2178.70	o 38111
2178.70	c 4588
2181.32	o 38117
2181.32	c 4582
2182.64	o 38118
2182.64	c 4581
2185.48	o 38122
2185.48	c 4577
2186.94	o 38125
2186.94	c 4574
2188.33	o 38126
2188.33	c 4573
2189.75	o 38127
2189.75	c 4572
2191.13	o 38131
2191.13	c 4568
2192.49	o 38133
2192.49	c 4566
2193.81	o 38136
2193.81	c 4563
2195.22	o 38143
2195.22	c 4556
2196.51	o 38148
2196.51	c 4551
2197.65	o 38154
2197.65	c 4545
2198.97	o 38155
2198.97	c 4544
2211.97	o 38158
2211.97	c 4541
2213.13	o 38162
2213.13	c 4537
2216.98	o 38164
2216.98	c 4535
2218.09	o 38167
2218.09	c 4532
2219.38	o 38169
2219.38	c 4530
2220.67	o 38170
2220.67	c 4529
2221.94	o 38174
2221.94	c 4525
2223.29	o 38180
2223.29	c 4519
2224.55	o 38184
2224.55	c 4515
2225.40	o 38186
2225.40	c 4513
2226.68	o 38190
2226.68	c 4509
2229.26	o 38191
2229.26	c 4508
2234.47	o 38196
2234.47	c 4503
2235.72	o 38198
2235.72	c 4501
2236.86	o 38204
2236.86	c 4495
2238.16	o 38207
2238.16	c 4492
2239.43	o 38211
2239.43	c 4488
2240.68	o 38212
2240.68	c 4487
2243.16	o 38214
2243.16	c 4485
2244.38	o 38220
2244.38	c 4479
2245.68	o 38224
2245.68	c 4475
2246.91	o 38226
2246.91	c 4473
2248.18	o 38230
2248.18	c 4469
2249.47	o 38233
2249.47	c 4466
2250.64	o 38235
2250.64	c 4464
2251.49	o 38237
2251.49	c 4462
2252.75	o 38241
2252.75	c 4458
2254.01	o 38242
2254.01	c 4457
2255.21	o 38244
2255.21	c 4455
2256.47	o 38247
2256.47	c 4452
2257.87	o 38248
2257.87	c 4451
2260.40	o 38252
2260.40	c 4447
2264.53	o 38254
2264.53	c 4445
2265.85	o 38262
2265.85	c 4437
2266.89	o 38266
2266.89	c 4433
2268.28	o 38273
2268.28	c 4426
2269.21	o 38279
2269.21	c 4420
2270.50	o 38283
2270.50	c 4416
2271.87	o 38285
2271.87	c 4414
2273.26	o 38286
2273.26	c 4413
2274.60	o 38288
2274.60	c 4411
2275.95	o 38290
2275.95	c 4409
2277.31	o 38293
2277.31	c 4406
2278.42	o 38295
2278.42	c 4404
2279.77	o 38297
2279.77	c 4402
2281.14	o 38298
2281.14	c 4401
2282.53	o 38299
2282.53	c 4400
2283.83	o 38302
2283.83	c 4397
2285.19	o 38303
2285.19	c 4396
2287.93	o 38305
2287.93	c 4394
2289.18	o 38308
2289.18	c 4391
2290.60	o 38310
2290.60	c 4389
2291.98	o 38313
2291.98	c 4386
2292.66	o 38317
2292.66	c 4382
2295.46	o 38318
2295.46	c 4381
2298.12	o 38321
2298.12	c 4378
2299.48	o 38326
2299.48	c 4373
2302.31	o 38330
2302.32	c 4369
2303.71	o 38335
2303.71	c 4364
2305.08	o 38338
2305.08	c 4361
2308.08	o 38339
2308.08	c 4360
2314.03	o 38341
2314.03	c 4358
2315.52	o 38343
2315.52	c 4356
2316.97	o 38344
2316.97	c 4355
2318.52	o 38351
2318.52	c 4348
2321.59	o 38355
2321.59	c 4344
2323.11	o 38356
2323.11	c 4343
2324.55	o 38357
2324.55	c 4342
2326.06	o 38359
2326.06	c 4340
2327.57	o 38360
2327.57	c 4339
2329.19	o 38362
2329.19	c 4337
2332.35	o 38364
2332.35	c 4335
2335.27	o 38366
2335.27	c 4333
2336.73	o 38369
2336.73	c 4330
2338.23	o 38371
2338.23	c 4328
2339.67	o 38374
2339.67	c 4325
2341.07	o 38375
2341.07	c 4324
2351.78	o 38383
2351.78	c 4316
2357.39	o 38384
2357.39	c 4315
2358.78	o 38385
2358.78	c 4314
2360.20	o 38386
2360.20	c 4313
2361.58	o 38387
2361.58	c 4312
2363.06	o 38390
2363.06	c 4309
2365.93	o 38391
2365.93	c 4308
2367.31	o 38395
2367.31	c 4304
2380.58	o 38396
2380.58	c 4303
2381.58	o 38402
2381.58	c 4297
2386.84	o 38404
2386.84	c 4295
2388.15	o 38408
2388.15	c 4291
2390.77	o 38412
2390.77	c 4287
2392.06	o 38414
2392.06	c 4285
2393.38	o 38415
2393.38	c 4284
2395.94	o 38418
2395.94	c 4281
2401.18	o 38422
2401.18	c 4277
2402.53	o 38424
2402.53	c 4275
2405.11	o 38426
2405.11	c 4273
2406.42	o 38427
2406.42	c 4272
2406.64	v -3572 2936 2524 -2504 -2812 4092 2200 3940 2212 3960 2140 3428 -3480 -3760 4116 -2976 -3116 -3296 4088 -2656 -2424 2516 -2540 2372 4012 -4004 3596 -2496 3680 -2644 2352 -2140 2900 2892 4000 -3036 4016 2328 -2852 -3656 2576 -3160 2492 4112 3536 -2516 2140 3804 3388 2376 4016 -3800 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 -4120 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 4000 3988 -2492 3540 2216 3332 -4092 3940 -4024 -3988 -2644 -2840 2368 -2544 -3108 -2728 3712 -2932 4032 -2456 -3980 -4012 -4012 -3996 -4124 -2376 4084 3368 2244 2548 -2660 -2876 -3988 3348 4040 2960 3348 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 -2292 -2600 2496 -4004 3936 -2240 2384 3852 2348 3240 -4012 -2140 -4064 3116 -3296 -3720 -4120 -4040 -2408 2624 -2380 2192 -2340 -3188 4012 3396 3952 4000 3992 3320 -2152 -3372 2208 4044 2384 2520 -2516 3332 2308 2864 2176 -3708 3992 4068 -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 -3468 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 -3904 -2464 -4060 2528 2444 -2400 4104 -2464 -2144 -4076 -4132 -2536 3956 2416 -2184 2548 -2788 -3964 -3984 -2212 3508 -2476 -2204 2144 3368 2916 3184 3016 -3508 -4072 2144 2344 -2616 -4008 -2196 -2220 -2652 2200 -3860 2460 2592 2152 3968 2912 -3376 2444 2160 3628 -4116 4060 2232 3860 3736 3000 -3480 -4016 3060 3804 2160 2152 -2616 -4016 4104 3308 -3728 -2656 2852 -3392 2632 -2180 -3064 -3184 -2220 -2520 4032 -3652 3364 -2164 3076 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 4092 2860 -3640 3020 3764 -2144 3988 -2452 2836 -3552 -2504 2364 3548 3984 2140 3876 -3472 -2608 4132 4088 4048 -3976 2240 3948 -2752 4052 2560 3532 -2868 -2636 -2192 -4092 -3944 -2200 -4112 -2248 -4016 2784 -4124 -2516 3076 2192 -2284 -3592 3360 -3984 -2176 3088 -2144 2504 -2160 -3528 -3948 -3796 4068 2768 2456 -4012 3512 2456 3540 4076 -3928 -3980 3996 -3280 3796 2592 -2560 4016 2836 2872 2432 3968 -2156 -2496 3588 2244 -3624 -4028 -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 -3624 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 -4092 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 -2252 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 4132 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 -2820 -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 2656 -2144 -4028 2676 3640 2472 -3964 -2576 -2348 -4088 -2408 2276 2140 3772 2360 2184 -4044 -3932 4132 -3980 -3616 2548 3960 2492 2496 -3472 3960 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 3224 -4076 -2496 -2212 -4048 2300 2520 -3124 4024 4060 -3052 -3996 -2332 -2480 4064 -3356 -2840 -3968 4012 3716 3952 -2180 3016 3908 3956 3860 -2616 3972 2536 -3712 2716 -2248 -2604 -2172 -3796 3720 -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 2600 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 -2260 4020 -3988 -3964 -3980 2612 3320 2180 -4052 -3968 2144 -3796 -2456 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 -4072 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 -4064 -4132 2560 -2140 -3336 -3576 -2180 2372 -4112 -2596 3944 3660 2192 -2816 2764 -2456 -2260 -3560 -4092 -2844 -2896 -2236 4028 -3932 3964 3708 2476 3940 -3948 2184 -3536 -3996 2192 2172 3996 -2204 -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 2228 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 -2676 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 3796 4100 3988 2200 3152 -2144 -3308 3772 -3248 -2356 -4024 2188 -4080 -4100 3376 3904 -3984 3992 2516 3960 4004 -4132 2944 -2856 -2152 4008 -3212 4004 4028 3312 2260 4092 -3464 -2196 3636 -4092 2356 3352 3408 3984 4024 -3872 -2784 -2172 4120 -4072 2536 -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 3396 2304 2352 -3752 -3948 -3760 -3652 -2208 -2180 4024 4008 -2152 -2436 4048 3416 -4008 -3364 4088 -3688 3512 -3520 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 -4132 -3936 -4100 3980 3364 2668 3076 4008 2504 -4128 -3732 -2348 4008 -3056 -3200 -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 -3740 -3888 -2400 -2204 2144 -3336 -2236 2140 2396 2388 3992 -3972 3348 2380 -2156 2256 -3664 2604 -4056 -3964 2300 -4000 -3600 -2336 -4120 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 -4016 2632 -2612 -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 2984 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 2484 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 4128 2236 -4092 -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 -2144 3320 3980 -3556 -4120 -2144 -2252 3152 2504 -2140 2596 3756 3460 -4128 4036 3864 2724 -2208 -2476 -3560 3908 3432 -2244 -3884 -3356 -2180 2712 -4072 -4080 -3052 3492 3976 -3332 -2608 3324 -2176 -3596 2412 3360 -3004 -4112 -3968 2152 -2656 3388 -2360 -4104 3972 -2360 4008 2904 -3952 -2144 -2456 3992 -3564 -3160 -2508 -2492 -2192 2796 -2140 2180 -3944 2224 -2192 3976 -2584 -2480 2488 4064 3468 2220 -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 -3560 2572 2140 -2476 3364 -2556 -2496 4028 -3412 -3368 4080 3044 -2296 -3108 -2756 -3868 -3980 2996 -3072 -3256 2196 3988 2536 -2612 -4088 -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 4116 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 2616 -4060 3308 -4044 2340 -2148 2740 4100 -3576 -4108 4000 -2640 2592 -3808 -2332 -3348 -3436 2192 -2480 -3324 -2784 -3600 -3460 -2472 3976 -2404 -4104 2164 4120 -2392 -4092 -3992 2456 2372 -4132 2460 3704 2200 2552 4080 2796 2184 4088 -3916 3196 -4108 -2340 2192 2520 -4132 -2456 2140 4012 -3924 -4092 -3676 -4000 3712 -2196 3636 -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)

4272 unsatisfied constraints, 38427 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/node15/watcher-275589-1169223750 -o ROOT/results/node15/solver-275589-1169223750 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275589-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.85 1.97 1.99 4/87 6633
/proc/meminfo: memFree=1139472/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=18540 CPUtime=0
/proc/6632/stat : 6632 (runsolver) R 6630 6632 6564 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270769895 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6632/statm: 4635 279 244 17 0 2626 0

[startup+0.103487 s]
/proc/loadavg: 1.85 1.97 1.99 4/87 6633
/proc/meminfo: memFree=1139472/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=914988 CPUtime=0.08
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 2952 0 1 0 6 2 0 0 17 0 8 0 270769895 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511558 s]
/proc/loadavg: 1.85 1.97 1.99 4/87 6633
/proc/meminfo: memFree=1139472/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915332 CPUtime=0.49
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 7627 0 1 0 45 4 0 0 18 0 8 0 270769895 937299968 7366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228833 7366 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3327 s]
/proc/loadavg: 1.85 1.97 1.99 3/94 6640
/proc/meminfo: memFree=1047448/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915604 CPUtime=1.29
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 29308 0 1 0 116 13 0 0 24 0 8 0 270769895 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228901 29045 2161 14 0 215371 0
[pid=6632/tid=6634] ppid=6630 vsize=915604 CPUtime=0.11
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 12751 0 0 0 7 4 0 0 16 0 8 0 270769899 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915604 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915604 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769900 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915604 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915604 CPUtime=0.17
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 406 0 0 0 17 0 0 0 16 0 8 0 270769903 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915604 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915604 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915604

[startup+2.97197 s]
/proc/loadavg: 1.86 1.97 1.99 4/94 6640
/proc/meminfo: memFree=1023640/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2.92
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 32163 0 1 0 277 15 0 0 25 0 8 0 270769895 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228936 31895 2181 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=0.26
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 15527 0 0 0 21 5 0 0 16 0 8 0 270769899 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769900 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.19
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 418 0 0 0 19 0 0 0 16 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915744

[startup+6.27154 s]
/proc/loadavg: 1.86 1.97 1.99 3/94 6640
/proc/meminfo: memFree=1019928/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=6.19
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 32164 0 1 0 603 16 0 0 25 0 8 0 270769895 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228936 31895 2181 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=0.26
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 15527 0 0 0 21 5 0 0 16 0 8 0 270769899 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769900 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.19
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 418 0 0 0 19 0 0 0 16 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 31895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.7487 s]
/proc/loadavg: 1.88 1.97 1.99 3/94 6640
/proc/meminfo: memFree=1019936/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=12.6
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 32166 0 1 0 1244 16 0 0 25 0 8 0 270769895 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228936 31897 2181 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=0.26
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 15527 0 0 0 21 5 0 0 16 0 8 0 270769899 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769900 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.19
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 420 0 0 0 19 0 0 0 16 0 8 0 270769903 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 31897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915744

[startup+25.6149 s]
/proc/loadavg: 1.90 1.97 1.99 3/94 6640
/proc/meminfo: memFree=1014240/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=25.35
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 33683 0 1 0 2518 17 0 0 25 0 8 0 270769895 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228936 33413 2181 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=0.34
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 17036 0 0 0 28 6 0 0 16 0 8 0 270769899 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769900 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.2
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 427 0 0 0 20 0 0 0 16 0 8 0 270769903 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 33413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 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.35
Current children cumulated vsize (KiB) 915744

[startup+51.2273 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 6640
/proc/meminfo: memFree=1014240/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=50.72
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 33689 0 1 0 5054 18 0 0 25 0 8 0 270769895 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228936 33418 2182 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=0.34
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 17036 0 0 0 28 6 0 0 16 0 8 0 270769899 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270769900 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.21
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 431 0 0 0 21 0 0 0 16 0 8 0 270769903 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 33418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 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.72
Current children cumulated vsize (KiB) 915744

[startup+102.463 s]
/proc/loadavg: 1.97 1.97 1.99 3/94 6640
/proc/meminfo: memFree=964448/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=101.47
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46515 0 1 0 10122 25 0 0 25 0 8 0 270769895 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6632/statm: 228936 46184 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.27
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 469 0 0 0 26 1 0 0 16 0 8 0 270769903 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915744

[startup+162.549 s]
/proc/loadavg: 1.99 1.97 1.99 3/94 6640
/proc/meminfo: memFree=964448/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=161
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46515 0 1 0 16073 27 0 0 25 0 8 0 270769895 937721856 46184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.96 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 6773
/proc/meminfo: memFree=1093488/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2078.87
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46529 0 1 0 207821 66 0 0 25 0 8 0 270769895 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6632/statm: 228936 46196 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.3
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.87
Current children cumulated vsize (KiB) 915744

[startup+2144.98 s]
/proc/loadavg: 2.06 2.03 2.00 3/100 6773
/proc/meminfo: memFree=1093424/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2138.82
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46529 0 1 0 213815 67 0 0 25 0 8 0 270769895 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6632/statm: 228936 46196 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.3
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.82
Current children cumulated vsize (KiB) 915744

[startup+2204.99 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 6773
/proc/meminfo: memFree=1093424/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2198.77
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46529 0 1 0 219810 67 0 0 25 0 8 0 270769895 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6632/statm: 228936 46196 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.3
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.77
Current children cumulated vsize (KiB) 915744

[startup+2265.09 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 6773
/proc/meminfo: memFree=1093424/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2258.79
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46529 0 1 0 225811 68 0 0 25 0 8 0 270769895 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6632/statm: 228936 46196 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.3
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) R 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.79
Current children cumulated vsize (KiB) 915744

[startup+2325.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/106 6847
/proc/meminfo: memFree=1092136/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2318.71
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46529 0 1 0 231797 74 0 0 25 0 8 0 270769895 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6632/statm: 228936 46196 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.3
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.71
Current children cumulated vsize (KiB) 915744

[startup+2385.11 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 6971
/proc/meminfo: memFree=1093144/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2378.62
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46529 0 1 0 237782 80 0 0 25 0 8 0 270769895 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6632/statm: 228936 46196 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.3
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.62
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2406.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 6971
/proc/meminfo: memFree=1093160/2055920 swapFree=4173628/4192956
[pid=6632] ppid=6630 vsize=915744 CPUtime=2400.11
/proc/6632/stat : 6632 (java) R 6630 6632 6564 0 -1 0 46529 0 1 0 239930 81 0 0 25 0 8 0 270769895 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6632/statm: 228936 46196 2501 14 0 215406 0
[pid=6632/tid=6634] ppid=6630 vsize=915744 CPUtime=1.36
/proc/6632/task/6634/stat : 6634 (java) S 6630 6632 6564 0 -1 64 29473 0 0 0 125 11 0 0 16 0 8 0 270769899 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6635] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6635/stat : 6635 (java) S 6630 6632 6564 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6636] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6636/stat : 6636 (java) S 6630 6632 6564 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270769900 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6637] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6637/stat : 6637 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6638] ppid=6630 vsize=915744 CPUtime=0.3
/proc/6632/task/6638/stat : 6638 (java) S 6630 6632 6564 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6632/tid=6639] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6639/stat : 6639 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6632/tid=6640] ppid=6630 vsize=915744 CPUtime=0
/proc/6632/task/6640/stat : 6640 (java) S 6630 6632 6564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270769903 937721856 46196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.11
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2406.72
CPU time (s): 2400.2
CPU user time (s): 2399.36
CPU system time (s): 0.842871
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 915996

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

runsolver used 3.14452 s user time and 7.69083 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Fri Jan 19 16:22:30 UTC 2007


IDJOB= 275589
IDBENCH= 4138
IDSOLVER= 69
FILE ID= node15/275589-1169223750

PBS_JOBID= 3588962

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a47e2dd557afef22184c3730edca47ba

RANDOM SEED= 891864179

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.276
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.276
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:       1139952 kB
Buffers:         49872 kB
Cached:         428624 kB
SwapCached:       5936 kB
Active:         488744 kB
Inactive:       352808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1139952 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            7784 kB
Writeback:           0 kB
Mapped:         373836 kB
Slab:            58420 kB
Committed_AS:  8397224 kB
PageTables:       3048 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= 66547 MiB



End job on node15 on Fri Jan 19 17:02:37 UTC 2007