Trace number 275619

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.1 2401.04

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275619-1169223992/unknown.xml
0.39	   
0.39	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.91	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.91	       =>  wckTime=0.591  cpuTime=0.42  mem=58M778
0.92	   
0.92	   predicates being loaded...
0.92	   
0.92	   constraints being loaded...
61.01	   
61.01	   INFO : Stopping converting binary constraints (cpu=60.11, mem = 116M746)
64.13	     nbConstraints=53548  nbConvertedConstraints=493  nbConvertConstraintsChecks=186377394  nbExtensionStructures=456
64.13	     nbSharedExtensionStructures=37  nbConflictsStructures=456  nbSharedConflictsStructures=37
64.13	     nbSharedBinaryRepresentations=516285  nbEvaluationManagers=12214  nbSharedEvaluationManagers=40841  maxDegree=104
64.13	     maxArity=2
64.13	       =>  wckTime=63.807  cpuTime=62.5  mem=128M323
64.55	   
64.55	   solver LocalSearchSolver being built... 
64.59	       =>  wckTime=64.265  cpuTime=62.55  mem=125M680
65.46	
65.46	s SATISFIABLE
65.46	o 39071
65.46	c 14477
65.97	o 39089
65.97	c 14459
66.38	o 39104
66.38	c 14444
66.63	o 39116
66.63	c 14432
66.92	o 39134
66.92	c 14414
67.17	o 39148
67.17	c 14400
67.40	o 39158
67.40	c 14390
67.62	o 39172
67.62	c 14376
67.93	o 39184
67.93	c 14364
68.16	o 39189
68.16	c 14359
68.45	o 39195
68.45	c 14353
68.68	o 39204
68.68	c 14344
68.83	o 39212
68.83	c 14336
69.03	o 39215
69.03	c 14333
69.19	o 39216
69.19	c 14332
69.40	o 39236
69.40	c 14312
69.62	o 39244
69.62	c 14304
70.20	o 39248
70.20	c 14300
70.35	o 39262
70.35	c 14286
70.56	o 39264
70.56	c 14284
70.75	o 39266
70.75	c 14282
70.96	o 39277
70.96	c 14271
71.18	o 39281
71.18	c 14267
71.34	o 39283
71.34	c 14265
71.55	o 39284
71.55	c 14264
71.67	o 39296
71.67	c 14252
71.82	o 39308
71.82	c 14240
71.98	o 39317
71.98	c 14231
72.13	o 39322
72.13	c 14226
72.28	o 39334
72.28	c 14214
72.43	o 39340
72.43	c 14208
72.67	o 39343
72.67	c 14205
72.90	o 39356
72.90	c 14192
73.05	o 39358
73.05	c 14190
73.30	o 39360
73.30	c 14188
73.78	o 39373
73.78	c 14175
74.01	o 39382
74.01	c 14166
74.19	o 39389
74.19	c 14159
74.38	o 39390
74.38	c 14158
74.53	o 39404
74.53	c 14144
74.72	o 39405
74.72	c 14143
74.89	o 39406
74.89	c 14142
75.37	o 39420
75.37	c 14128
75.65	o 39425
75.65	c 14123
75.82	o 39432
75.82	c 14116
75.96	o 39438
75.96	c 14110
76.22	o 39442
76.22	c 14106
76.39	o 39452
76.39	c 14096
76.50	o 39463
76.50	c 14085
76.73	o 39469
76.73	c 14079
76.83	o 39474
76.83	c 14074
77.00	o 39483
77.00	c 14065
77.21	o 39487
77.21	c 14061
77.57	o 39492
77.57	c 14056
77.73	o 39498
77.73	c 14050
77.93	o 39500
77.93	c 14048
78.16	o 39505
78.16	c 14043
78.41	o 39516
78.41	c 14032
78.73	o 39525
78.73	c 14023
78.93	o 39537
78.93	c 14011
79.20	o 39538
79.20	c 14010
79.39	o 39549
79.39	c 13999
79.67	o 39557
79.67	c 13991
80.48	o 39569
80.48	c 13979
80.70	o 39570
80.70	c 13978
80.98	o 39574
80.98	c 13974
81.70	o 39575
81.70	c 13973
81.90	o 39578
81.90	c 13970
82.17	o 39580
82.17	c 13968
82.61	o 39587
82.61	c 13961
82.80	o 39595
82.80	c 13953
83.01	o 39602
83.01	c 13946
83.22	o 39605
83.22	c 13943
83.54	o 39607
83.54	c 13941
83.85	o 39609
83.85	c 13939
84.16	o 39615
84.16	c 13933
84.49	o 39621
84.49	c 13927
84.97	o 39628
84.97	c 13920
85.31	o 39633
85.31	c 13915
85.63	o 39643
85.63	c 13905
86.02	o 39646
86.02	c 13902
86.47	o 39650
86.47	c 13898
86.84	o 39656
86.84	c 13892
87.19	o 39661
87.19	c 13887
87.61	o 39664
87.61	c 13884
88.03	o 39677
88.03	c 13871
88.42	o 39685
88.42	c 13863
88.76	o 39686
88.76	c 13862
89.13	o 39689
89.13	c 13859
89.45	o 39694
89.45	c 13854
90.22	o 39704
90.22	c 13844
90.51	o 39709
90.51	c 13839
90.83	o 39715
90.83	c 13833
91.12	o 39719
91.12	c 13829
91.39	o 39721
91.39	c 13827
91.67	o 39727
91.67	c 13821
92.01	o 39734
92.01	c 13814
92.34	o 39740
92.34	c 13808
92.86	o 39748
92.86	c 13800
93.13	o 39750
93.13	c 13798
93.35	o 39758
93.35	c 13790
93.64	o 39767
93.64	c 13781
93.95	o 39768
93.95	c 13780
94.18	o 39769
94.18	c 13779
95.17	o 39772
95.17	c 13776
95.43	o 39777
95.43	c 13771
95.69	o 39784
95.69	c 13764
96.25	o 39786
96.25	c 13762
96.60	o 39792
96.60	c 13756
96.94	o 39794
96.94	c 13754
97.59	o 39795
97.59	c 13753
97.93	o 39803
97.93	c 13745
98.22	o 39813
98.22	c 13735
98.49	o 39820
98.49	c 13728
99.09	o 39826
99.09	c 13722
99.44	o 39835
99.44	c 13713
99.73	o 39841
99.73	c 13707
100.08	o 39854
100.08	c 13694
100.48	o 39865
100.48	c 13683
100.84	o 39870
100.84	c 13678
101.20	o 39872
101.20	c 13676
101.45	o 39880
101.45	c 13668
101.75	o 39887
101.75	c 13661
102.48	o 39897
102.48	c 13651
102.79	o 39898
102.79	c 13650
103.14	o 39901
103.14	c 13647
103.94	o 39906
103.94	c 13642
104.27	o 39917
104.27	c 13631
105.17	o 39920
105.17	c 13628
105.77	o 39923
105.77	c 13625
106.37	o 39929
106.37	c 13619
106.62	o 39933
106.62	c 13615
106.96	o 39947
106.96	c 13601
107.91	o 39952
107.91	c 13596
108.33	o 39956
108.33	c 13592
108.64	o 39957
108.64	c 13591
108.95	o 39964
108.95	c 13584
109.34	o 39969
109.34	c 13579
109.82	o 39974
109.82	c 13574
110.12	o 39982
110.12	c 13566
110.87	o 39988
110.87	c 13560
111.18	o 39992
111.18	c 13556
111.92	o 39993
111.92	c 13555
112.24	o 39995
112.24	c 13553
112.58	o 40004
112.58	c 13544
112.96	o 40014
112.96	c 13534
113.31	o 40020
113.31	c 13528
113.61	o 40025
113.61	c 13523
113.98	o 40029
113.98	c 13519
114.35	o 40030
114.35	c 13518
116.05	o 40031
116.05	c 13517
116.40	o 40035
116.40	c 13513
116.86	o 40041
116.86	c 13507
117.27	o 40044
117.27	c 13504
117.63	o 40049
117.63	c 13499
118.04	o 40051
118.04	c 13497
118.45	o 40060
118.45	c 13488
118.88	o 40070
118.88	c 13478
120.62	o 40075
120.62	c 13473
121.38	o 40087
121.38	c 13461
122.16	o 40097
122.16	c 13451
122.51	o 40100
122.51	c 13448
123.85	o 40106
123.85	c 13442
124.36	o 40117
124.36	c 13431
124.90	o 40125
124.90	c 13423
125.35	o 40135
125.35	c 13413
125.76	o 40140
125.76	c 13408
126.22	o 40143
126.22	c 13405
127.04	o 40144
127.04	c 13404
127.52	o 40149
127.52	c 13399
127.96	o 40156
127.96	c 13392
128.39	o 40161
128.39	c 13387
128.89	o 40165
128.89	c 13383
129.40	o 40167
129.40	c 13381
129.87	o 40168
129.87	c 13380
130.31	o 40174
130.31	c 13374
130.77	o 40175
130.77	c 13373
131.18	o 40176
131.18	c 13372
131.65	o 40177
131.65	c 13371
132.11	o 40185
132.11	c 13363
132.58	o 40193
132.58	c 13355
133.07	o 40201
133.07	c 13347
133.64	o 40205
133.64	c 13343
134.17	o 40210
134.17	c 13338
134.72	o 40214
134.72	c 13334
136.18	o 40222
136.18	c 13326
136.75	o 40223
136.75	c 13325
138.32	o 40233
138.32	c 13315
139.25	o 40236
139.25	c 13312
139.72	o 40243
139.72	c 13305
140.21	o 40244
140.21	c 13304
140.69	o 40252
140.69	c 13296
141.12	o 40265
141.12	c 13283
141.56	o 40267
141.56	c 13281
142.04	o 40268
142.04	c 13280
142.50	o 40275
142.50	c 13273
142.91	o 40283
142.91	c 13265
143.34	o 40286
143.34	c 13262
143.78	o 40290
143.78	c 13258
144.29	o 40292
144.29	c 13256
145.77	o 40302
145.77	c 13246
146.30	o 40311
146.30	c 13237
146.80	o 40319
146.80	c 13229
147.35	o 40332
147.35	c 13216
147.86	o 40338
147.86	c 13210
148.35	o 40340
148.35	c 13208
148.87	o 40347
148.87	c 13201
149.39	o 40354
149.39	c 13194
149.90	o 40359
149.90	c 13189
150.42	o 40364
150.42	c 13184
150.97	o 40365
150.97	c 13183
151.44	o 40369
151.44	c 13179
151.92	o 40374
151.92	c 13174
152.39	o 40379
152.39	c 13169
153.36	o 40383
153.36	c 13165
153.89	o 40387
153.89	c 13161
154.34	o 40390
154.34	c 13158
154.81	o 40392
154.81	c 13156
155.31	o 40399
155.31	c 13149
155.78	o 40400
155.78	c 13148
156.24	o 40403
156.24	c 13145
156.78	o 40405
156.78	c 13143
157.25	o 40414
157.25	c 13134
157.79	o 40416
157.79	c 13132
158.29	o 40417
158.29	c 13131
158.76	o 40418
158.76	c 13130
160.48	o 40427
160.48	c 13121
161.63	o 40431
161.63	c 13117
162.12	o 40433
162.12	c 13115
162.61	o 40440
162.61	c 13108
163.62	o 40444
163.62	c 13104
164.08	o 40445
164.08	c 13103
164.55	o 40456
164.55	c 13092
164.97	o 40460
164.97	c 13088
165.45	o 40468
165.45	c 13080
165.90	o 40475
165.90	c 13073
166.31	o 40483
166.31	c 13065
166.75	o 40489
166.75	c 13059
167.22	o 40491
167.22	c 13057
167.69	o 40495
167.69	c 13053
168.16	o 40503
168.16	c 13045
168.62	o 40505
168.62	c 13043
169.13	o 40507
169.13	c 13041
169.49	o 40517
169.49	c 13031
170.01	o 40518
170.01	c 13030
170.45	o 40519
170.45	c 13029
170.82	o 40533
170.82	c 13015
171.15	o 40538
171.15	c 13010
171.59	o 40540
171.59	c 13008
171.97	o 40542
171.97	c 13006
172.31	o 40547
172.31	c 13001
173.97	o 40554
173.97	c 12994
174.36	o 40560
174.36	c 12988
174.86	o 40572
174.86	c 12976
175.38	o 40581
175.38	c 12967
175.86	o 40588
175.86	c 12960
176.35	o 40595
176.35	c 12953
176.84	o 40605
176.84	c 12943
177.32	o 40612
177.32	c 12936
177.83	o 40618
177.83	c 12930
178.29	o 40627
178.29	c 12921
178.77	o 40632
178.77	c 12916
179.32	o 40637
179.32	c 12911
179.81	o 40644
179.81	c 12904
180.37	o 40648
180.37	c 12900
180.84	o 40652
180.84	c 12896
181.31	o 40656
181.31	c 12892
181.79	o 40659
181.79	c 12889
182.28	o 40662
182.28	c 12886
182.86	o 40666
182.86	c 12882
183.40	o 40669
183.40	c 12879
183.91	o 40679
183.91	c 12869
184.40	o 40682
184.40	c 12866
184.94	o 40683
184.94	c 12865
185.44	o 40685
185.44	c 12863
185.97	o 40693
185.97	c 12855
186.53	o 40695
186.53	c 12853
187.09	o 40697
187.09	c 12851
187.66	o 40699
187.66	c 12849
188.18	o 40701
188.18	c 12847
188.66	o 40703
188.66	c 12845
189.14	o 40705
189.14	c 12843
189.72	o 40707
189.72	c 12841
190.28	o 40709
190.28	c 12839
190.84	o 40710
190.84	c 12838
191.38	o 40711
191.38	c 12837
191.98	o 40713
191.98	c 12835
192.48	o 40714
192.48	c 12834
194.28	o 40719
194.28	c 12829
194.86	o 40723
194.87	c 12825
195.90	o 40730
195.90	c 12818
196.33	o 40737
196.33	c 12811
196.81	o 40748
196.81	c 12800
197.31	o 40750
197.31	c 12798
197.77	o 40752
197.77	c 12796
198.28	o 40754
198.28	c 12794
198.83	o 40760
198.83	c 12788
202.35	o 40766
202.35	c 12782
202.91	o 40770
202.91	c 12778
204.23	o 40773
204.23	c 12775
204.85	o 40778
204.85	c 12770
205.43	o 40789
205.43	c 12759
206.15	o 40796
206.15	c 12752
208.22	o 40802
208.22	c 12746
208.97	o 40803
208.97	c 12745
209.67	o 40811
209.67	c 12737
210.32	o 40812
210.32	c 12736
211.04	o 40820
211.04	c 12728
211.67	o 40829
211.67	c 12719
212.37	o 40834
212.37	c 12714
213.05	o 40840
213.05	c 12708
213.75	o 40841
213.75	c 12707
214.42	o 40842
214.42	c 12706
215.18	o 40852
215.18	c 12696
215.94	o 40860
215.94	c 12688
216.76	o 40868
216.76	c 12680
217.50	o 40876
217.50	c 12672
218.26	o 40883
218.26	c 12665
219.05	o 40890
219.06	c 12658
219.86	o 40894
219.86	c 12654
220.60	o 40901
220.60	c 12647
221.39	o 40907
221.39	c 12641
222.19	o 40913
222.19	c 12635
222.98	o 40919
222.98	c 12629
223.76	o 40925
223.76	c 12623
224.53	o 40931
224.53	c 12617
225.24	o 40934
225.24	c 12614
225.99	o 40939
225.99	c 12609
226.77	o 40944
226.77	c 12604
227.50	o 40952
227.50	c 12596
228.28	o 40956
228.28	c 12592
229.03	o 40960
229.04	c 12588
229.77	o 40963
229.77	c 12585
230.53	o 40967
230.53	c 12581
231.30	o 40972
231.30	c 12576
232.00	o 40976
232.00	c 12572
232.70	o 40982
232.70	c 12566
233.32	o 40985
233.32	c 12563
233.95	o 40988
233.95	c 12560
234.58	o 40994
234.58	c 12554
235.20	o 41005
235.20	c 12543
235.77	o 41007
235.77	c 12541
236.36	o 41010
236.36	c 12538
236.97	o 41015
236.97	c 12533
237.48	o 41025
237.48	c 12523
238.06	o 41027
238.06	c 12521
238.60	o 41029
238.60	c 12519
239.17	o 41031
239.17	c 12517
239.71	o 41033
239.71	c 12515
240.23	o 41035
240.23	c 12513
240.77	o 41037
240.77	c 12511
241.35	o 41039
241.35	c 12509
241.94	o 41041
241.94	c 12507
242.50	o 41042
242.50	c 12506
243.18	o 41043
243.18	c 12505
244.46	o 41045
244.46	c 12503
245.70	o 41046
245.70	c 12502
246.29	o 41052
246.29	c 12496
246.89	o 41053
246.90	c 12495
247.41	o 41057
247.41	c 12491
248.03	o 41059
248.03	c 12489
248.59	o 41068
248.59	c 12480
249.29	o 41069
249.29	c 12479
249.98	o 41072
249.98	c 12476
250.67	o 41079
250.67	c 12469
251.33	o 41083
251.33	c 12465
252.02	o 41085
252.02	c 12463
252.73	o 41088
252.73	c 12460
253.45	o 41094
253.45	c 12454
256.98	o 41100
256.98	c 12448
257.67	o 41105
257.67	c 12443
258.41	o 41109
258.41	c 12439
259.08	o 41118
259.08	c 12430
259.81	o 41122
259.81	c 12426
260.51	o 41128
260.51	c 12420
261.15	o 41130
261.15	c 12418
261.85	o 41133
261.85	c 12415
262.48	o 41139
262.48	c 12409
263.69	o 41146
263.69	c 12402
264.18	o 41151
264.18	c 12397
264.74	o 41160
264.74	c 12388
265.29	o 41162
265.29	c 12386
265.81	o 41169
265.81	c 12379
266.37	o 41171
266.37	c 12377
266.94	o 41172
266.94	c 12376
268.83	o 41173
268.83	c 12375
269.39	o 41174
269.39	c 12374
269.95	o 41184
269.95	c 12364
271.04	o 41186
271.04	c 12362
271.59	o 41190
271.59	c 12358
272.09	o 41194
272.09	c 12354
272.59	o 41195
272.59	c 12353
273.12	o 41202
273.12	c 12346
273.64	o 41205
273.64	c 12343
274.16	o 41206
274.16	c 12342
274.64	o 41213
274.64	c 12335
275.15	o 41218
275.15	c 12330
276.19	o 41223
276.19	c 12325
276.72	o 41229
276.72	c 12319
277.22	o 41234
277.22	c 12314
277.74	o 41239
277.74	c 12309
278.25	o 41241
278.25	c 12307
278.76	o 41242
278.76	c 12306
280.26	o 41243
280.26	c 12305
280.75	o 41250
280.75	c 12298
281.38	o 41258
281.38	c 12290
281.97	o 41262
281.97	c 12286
282.56	o 41270
282.56	c 12278
283.05	o 41275
283.05	c 12273
283.66	o 41282
283.66	c 12266
284.24	o 41289
284.24	c 12259
284.84	o 41295
284.84	c 12253
285.44	o 41297
285.44	c 12251
285.98	o 41303
285.98	c 12245
286.67	o 41308
286.67	c 12240
287.27	o 41313
287.27	c 12235
287.86	o 41318
287.86	c 12230
288.47	o 41323
288.47	c 12225
289.08	o 41328
289.08	c 12220
289.69	o 41333
289.69	c 12215
290.25	o 41338
290.25	c 12210
290.84	o 41343
290.84	c 12205
291.42	o 41348
291.42	c 12200
292.02	o 41353
292.02	c 12195
292.66	o 41358
292.66	c 12190
293.24	o 41362
293.24	c 12186
293.88	o 41368
293.88	c 12180
294.46	o 41372
294.46	c 12176
295.08	o 41376
295.08	c 12172
295.66	o 41378
295.66	c 12170
296.27	o 41382
296.27	c 12166
296.87	o 41386
296.87	c 12162
297.50	o 41389
297.50	c 12159
298.10	o 41395
298.10	c 12153
298.70	o 41398
298.70	c 12150
299.29	o 41401
299.29	c 12147
299.93	o 41403
299.93	c 12145
300.51	o 41405
300.51	c 12143
301.15	o 41417
301.15	c 12131
301.77	o 41419
301.77	c 12129
302.37	o 41421
302.37	c 12127
303.07	o 41423
303.07	c 12125
303.67	o 41425
303.67	c 12123
304.30	o 41427
304.30	c 12121
304.91	o 41429
304.91	c 12119
306.10	o 41441
306.10	c 12107
306.75	o 41448
306.75	c 12100
307.31	o 41450
307.31	c 12098
307.89	o 41452
307.89	c 12096
308.48	o 41456
308.48	c 12092
309.09	o 41459
309.09	c 12089
309.66	o 41461
309.66	c 12087
310.27	o 41463
310.27	c 12085
310.88	o 41465
310.88	c 12083
311.51	o 41466
311.51	c 12082
312.10	o 41473
312.10	c 12075
312.74	o 41474
312.74	c 12074
313.31	o 41475
313.31	c 12073
313.88	o 41481
313.88	c 12067
314.42	o 41482
314.42	c 12066
315.02	o 41483
315.02	c 12065
316.73	o 41490
316.73	c 12058
317.27	o 41494
317.27	c 12054
320.93	o 41500
320.93	c 12048
321.52	o 41503
321.52	c 12045
322.15	o 41505
322.15	c 12043
322.79	o 41508
322.79	c 12040
323.42	o 41513
323.42	c 12035
324.07	o 41516
324.07	c 12032
324.67	o 41518
324.67	c 12030
325.25	o 41526
325.25	c 12022
325.81	o 41529
325.81	c 12019
326.34	o 41531
326.34	c 12017
326.99	o 41533
326.99	c 12015
328.21	o 41540
328.21	c 12008
328.75	o 41542
328.75	c 12006
329.90	o 41550
329.90	c 11998
331.59	o 41552
331.59	c 11996
332.19	o 41554
332.19	c 11994
332.78	o 41560
332.78	c 11988
333.32	o 41571
333.32	c 11977
333.96	o 41577
333.96	c 11971
334.52	o 41580
334.52	c 11968
335.13	o 41587
335.13	c 11961
335.67	o 41588
335.67	c 11960
336.24	o 41593
336.24	c 11955
336.76	o 41597
336.76	c 11951
338.38	o 41606
338.38	c 11942
338.98	o 41607
338.98	c 11941
339.59	o 41608
339.59	c 11940
340.22	o 41610
340.22	c 11938
340.80	o 41613
340.80	c 11935
341.34	o 41618
341.34	c 11930
342.04	o 41621
342.04	c 11927
342.70	o 41626
342.70	c 11922
344.38	o 41630
344.38	c 11918
345.43	o 41634
345.43	c 11914
345.98	o 41639
345.98	c 11909
346.54	o 41645
346.54	c 11903
348.23	o 41649
348.23	c 11899
348.79	o 41653
348.79	c 11895
349.97	o 41657
349.97	c 11891
350.55	o 41659
350.55	c 11889
351.16	o 41662
351.16	c 11886
352.39	o 41669
352.39	c 11879
353.58	o 41674
353.58	c 11874
354.19	o 41676
354.19	c 11872
355.97	o 41684
355.97	c 11864
356.54	o 41689
356.54	c 11859
357.15	o 41693
357.15	c 11855
357.79	o 41697
357.79	c 11851
358.48	o 41700
358.48	c 11848
359.22	o 41706
359.22	c 11842
360.52	o 41716
360.52	c 11832
361.30	o 41724
361.30	c 11824
362.10	o 41730
362.10	c 11818
362.90	o 41736
362.90	c 11812
363.72	o 41742
363.72	c 11806
364.51	o 41747
364.51	c 11801
365.35	o 41752
365.35	c 11796
366.13	o 41757
366.13	c 11791
366.96	o 41762
366.96	c 11786
367.75	o 41766
367.75	c 11782
368.58	o 41773
368.58	c 11775
369.39	o 41777
369.39	c 11771
370.18	o 41781
370.18	c 11767
370.95	o 41785
370.95	c 11763
371.72	o 41789
371.72	c 11759
372.53	o 41792
372.53	c 11756
373.33	o 41795
373.33	c 11753
374.14	o 41798
374.14	c 11750
374.93	o 41801
374.93	c 11747
375.75	o 41804
375.75	c 11744
376.55	o 41807
376.55	c 11741
377.36	o 41809
377.36	c 11739
378.12	o 41811
378.12	c 11737
378.90	o 41813
378.90	c 11735
379.67	o 41816
379.67	c 11732
380.44	o 41818
380.44	c 11730
381.25	o 41824
381.25	c 11724
381.99	o 41826
381.99	c 11722
382.78	o 41830
382.78	c 11718
383.52	o 41832
383.52	c 11716
388.14	o 41833
388.14	c 11715
388.88	o 41837
388.88	c 11711
389.66	o 41838
389.66	c 11710
391.81	o 41839
391.81	c 11709
392.49	o 41841
392.49	c 11707
393.20	o 41842
393.20	c 11706
393.85	o 41843
393.85	c 11705
394.49	o 41845
394.49	c 11703
395.09	o 41846
395.09	c 11702
395.70	o 41847
395.70	c 11701
396.97	o 41850
396.97	c 11698
397.66	o 41855
397.66	c 11693
401.35	o 41859
401.35	c 11689
401.98	o 41866
401.98	c 11682
402.62	o 41867
402.62	c 11681
404.46	o 41872
404.46	c 11676
405.16	o 41876
405.16	c 11672
406.46	o 41877
406.46	c 11671
407.13	o 41884
407.13	c 11664
408.35	o 41885
408.35	c 11663
408.96	o 41889
408.96	c 11659
409.52	o 41890
409.52	c 11658
410.22	o 41891
410.22	c 11657
410.81	o 41892
410.81	c 11656
411.43	o 41897
411.43	c 11651
412.10	o 41903
412.10	c 11645
412.68	o 41908
412.68	c 11640
413.95	o 41910
413.96	c 11638
414.61	o 41912
414.61	c 11636
415.21	o 41916
415.21	c 11632
416.38	o 41923
416.38	c 11625
417.00	o 41924
417.00	c 11624
419.44	o 41927
419.44	c 11621
420.02	o 41929
420.02	c 11619
420.55	o 41930
420.55	c 11618
421.06	o 41931
421.06	c 11617
421.61	o 41936
421.61	c 11612
422.13	o 41937
422.13	c 11611
422.66	o 41939
422.66	c 11609
423.17	o 41942
423.17	c 11606
423.65	o 41944
423.65	c 11604
426.79	o 41946
426.79	c 11602
427.36	o 41950
427.36	c 11598
427.89	o 41956
427.89	c 11592
428.45	o 41958
428.45	c 11590
428.98	o 41963
428.98	c 11585
429.47	o 41964
429.47	c 11584
430.46	o 41968
430.46	c 11580
430.95	o 41969
430.95	c 11579
431.92	o 41970
431.92	c 11578
432.48	o 41978
432.48	c 11570
434.12	o 41980
434.12	c 11568
434.68	o 41982
434.68	c 11566
435.26	o 41984
435.26	c 11564
436.37	o 41988
436.37	c 11560
438.69	o 41989
438.69	c 11559
439.35	o 41992
439.35	c 11556
440.66	o 41994
440.66	c 11554
441.35	o 41996
441.35	c 11552
442.61	o 42002
442.61	c 11546
443.23	o 42007
443.23	c 11541
443.92	o 42008
443.92	c 11540
444.49	o 42011
444.49	c 11537
445.14	o 42018
445.14	c 11530
445.80	o 42021
445.80	c 11527
446.45	o 42027
446.45	c 11521
447.05	o 42032
447.05	c 11516
447.70	o 42038
447.70	c 11510
448.37	o 42044
448.37	c 11504
449.03	o 42051
449.03	c 11497
450.31	o 42057
450.31	c 11491
451.00	o 42062
451.00	c 11486
451.71	o 42068
451.71	c 11480
452.38	o 42077
452.38	c 11471
453.08	o 42081
453.08	c 11467
453.78	o 42082
453.78	c 11466
454.49	o 42083
454.49	c 11465
455.17	o 42086
455.17	c 11462
455.93	o 42087
455.93	c 11461
456.71	o 42092
456.71	c 11456
457.50	o 42095
457.50	c 11453
460.52	o 42096
460.52	c 11452
461.25	o 42099
461.25	c 11449
462.02	o 42101
462.02	c 11447
463.55	o 42103
463.55	c 11445
464.93	o 42105
464.93	c 11443
466.37	o 42107
466.37	c 11441
467.06	o 42110
467.06	c 11438
467.72	o 42112
467.72	c 11436
468.39	o 42115
468.39	c 11433
469.04	o 42118
469.04	c 11430
469.68	o 42121
469.68	c 11427
470.40	o 42127
470.40	c 11421
471.91	o 42133
471.91	c 11415
472.65	o 42139
472.65	c 11409
473.38	o 42144
473.38	c 11404
474.17	o 42149
474.17	c 11399
474.96	o 42154
474.96	c 11394
476.35	o 42156
476.35	c 11392
477.06	o 42160
477.06	c 11388
477.84	o 42163
477.84	c 11385
478.61	o 42165
478.61	c 11383
479.29	o 42168
479.29	c 11380
480.00	o 42171
480.00	c 11377
480.70	o 42174
480.70	c 11374
481.39	o 42177
481.39	c 11371
482.08	o 42179
482.08	c 11369
482.79	o 42181
482.79	c 11367
483.48	o 42183
483.48	c 11365
484.17	o 42185
484.17	c 11363
484.85	o 42187
484.85	c 11361
485.53	o 42200
485.53	c 11348
486.22	o 42202
486.22	c 11346
486.90	o 42204
486.90	c 11344
487.53	o 42206
487.53	c 11342
488.20	o 42207
488.20	c 11341
488.90	o 42209
488.90	c 11339
489.60	o 42216
489.60	c 11332
490.30	o 42218
490.30	c 11330
490.95	o 42219
490.95	c 11329
494.27	o 42220
494.27	c 11328
494.99	o 42222
494.99	c 11326
495.71	o 42229
495.71	c 11319
496.43	o 42231
496.43	c 11317
497.21	o 42236
497.21	c 11312
497.93	o 42244
497.93	c 11304
498.65	o 42250
498.65	c 11298
500.89	o 42255
500.89	c 11293
503.75	o 42256
503.75	c 11292
504.51	o 42260
504.51	c 11288
506.06	o 42266
506.06	c 11282
506.88	o 42268
506.88	c 11280
507.66	o 42269
507.66	c 11279
508.46	o 42270
508.46	c 11278
509.25	o 42271
509.25	c 11277
510.02	o 42277
510.02	c 11271
510.82	o 42278
510.82	c 11270
511.67	o 42279
511.67	c 11269
512.45	o 42283
512.45	c 11265
513.27	o 42286
513.27	c 11262
514.10	o 42287
514.10	c 11261
515.76	o 42289
515.76	c 11259
516.58	o 42292
516.58	c 11256
517.36	o 42300
517.36	c 11248
518.21	o 42302
518.21	c 11246
518.99	o 42303
518.99	c 11245
519.74	o 42304
519.74	c 11244
520.47	o 42306
520.47	c 11242
521.29	o 42312
521.29	c 11236
522.08	o 42320
522.08	c 11228
522.80	o 42323
522.80	c 11225
523.52	o 42333
523.52	c 11215
524.18	o 42336
524.18	c 11212
524.90	o 42342
524.90	c 11206
525.58	o 42344
525.58	c 11204
526.31	o 42351
526.31	c 11197
527.00	o 42354
527.00	c 11194
527.74	o 42358
527.74	c 11190
528.47	o 42363
528.47	c 11185
529.21	o 42366
529.21	c 11182
529.90	o 42369
529.90	c 11179
530.57	o 42372
530.57	c 11176
531.29	o 42375
531.29	c 11173
532.02	o 42379
532.02	c 11169
532.75	o 42387
532.75	c 11161
533.58	o 42391
533.58	c 11157
534.33	o 42398
534.33	c 11150
535.07	o 42402
535.07	c 11146
535.83	o 42403
535.83	c 11145
537.38	o 42410
537.38	c 11138
538.09	o 42418
538.09	c 11130
538.84	o 42430
538.84	c 11118
539.59	o 42432
539.59	c 11116
540.31	o 42433
540.31	c 11115
541.05	o 42440
541.05	c 11108
545.49	o 42442
545.49	c 11106
546.32	o 42446
546.32	c 11102
548.54	o 42448
548.54	c 11100
549.28	o 42449
549.28	c 11099
550.09	o 42452
550.09	c 11096
550.72	o 42463
550.72	c 11085
552.17	o 42468
552.17	c 11080
552.88	o 42473
552.88	c 11075
553.61	o 42476
553.61	c 11072
554.33	o 42477
554.33	c 11071
554.99	o 42485
554.99	c 11063
557.86	o 42488
557.86	c 11060
558.55	o 42491
558.55	c 11057
559.30	o 42492
559.30	c 11056
560.68	o 42494
560.68	c 11054
561.40	o 42499
561.40	c 11049
563.40	o 42500
563.40	c 11048
564.10	o 42502
564.10	c 11046
564.75	o 42504
564.75	c 11044
565.44	o 42506
565.44	c 11042
566.17	o 42508
566.17	c 11040
566.92	o 42513
566.92	c 11035
567.61	o 42515
567.61	c 11033
568.36	o 42516
568.36	c 11032
569.06	o 42522
569.06	c 11026
569.75	o 42526
569.75	c 11022
570.44	o 42528
570.44	c 11020
571.08	o 42529
571.09	c 11019
571.77	o 42530
571.77	c 11018
572.43	o 42531
572.43	c 11017
573.07	o 42534
573.07	c 11014
573.70	o 42542
573.70	c 11006
574.39	o 42548
574.39	c 11000
575.12	o 42552
575.12	c 10996
575.79	o 42557
575.79	c 10991
576.48	o 42563
576.48	c 10985
580.06	o 42564
580.06	c 10984
580.79	o 42568
580.79	c 10980
583.13	o 42571
583.13	c 10977
583.89	o 42572
583.89	c 10976
584.72	o 42576
584.72	c 10972
585.52	o 42577
585.52	c 10971
586.34	o 42580
586.34	c 10968
587.10	o 42581
587.10	c 10967
590.73	o 42586
590.73	c 10962
592.54	o 42587
592.54	c 10961
593.45	o 42589
593.45	c 10959
594.32	o 42593
594.32	c 10955
594.88	o 42602
594.88	c 10946
595.73	o 42613
595.73	c 10935
596.60	o 42614
596.60	c 10934
597.53	o 42621
597.53	c 10927
598.50	o 42627
598.50	c 10921
599.51	o 42632
599.51	c 10916
600.54	o 42637
600.54	c 10911
601.51	o 42640
601.51	c 10908
602.47	o 42645
602.47	c 10903
603.44	o 42649
603.44	c 10899
605.40	o 42651
605.40	c 10897
607.98	o 42652
607.98	c 10896
608.88	o 42657
608.88	c 10891
609.70	o 42662
609.70	c 10886
610.59	o 42665
610.59	c 10883
611.44	o 42669
611.44	c 10879
612.32	o 42672
612.32	c 10876
613.16	o 42675
613.16	c 10873
614.00	o 42678
614.00	c 10870
614.82	o 42683
614.82	c 10865
615.71	o 42685
615.71	c 10863
616.56	o 42687
616.56	c 10861
617.48	o 42689
617.48	c 10859
618.38	o 42691
618.38	c 10857
619.23	o 42693
619.23	c 10855
620.10	o 42694
620.10	c 10854
620.97	o 42696
620.97	c 10852
621.83	o 42697
621.83	c 10851
622.66	o 42698
622.66	c 10850
623.62	o 42706
623.62	c 10842
624.41	o 42712
624.41	c 10836
625.18	o 42713
625.18	c 10835
626.13	o 42714
626.13	c 10834
626.98	o 42715
626.98	c 10833
627.77	o 42716
627.77	c 10832
628.59	o 42719
628.59	c 10829
629.35	o 42727
629.35	c 10821
629.99	o 42731
629.99	c 10817
630.66	o 42738
630.66	c 10810
631.43	o 42739
631.43	c 10809
632.17	o 42740
632.17	c 10808
632.91	o 42741
632.91	c 10807
633.68	o 42742
633.68	c 10806
638.35	o 42745
638.35	c 10803
639.97	o 42746
639.97	c 10802
641.54	o 42750
641.54	c 10798
643.41	o 42756
643.41	c 10792
644.25	o 42757
644.25	c 10791
645.09	o 42760
645.09	c 10788
645.90	o 42768
645.90	c 10780
646.74	o 42773
646.74	c 10775
648.49	o 42774
648.49	c 10774
650.18	o 42777
650.18	c 10771
651.08	o 42781
651.08	c 10767
651.94	o 42784
651.94	c 10764
658.21	o 42792
658.21	c 10756
658.99	o 42797
658.99	c 10751
659.80	o 42798
659.80	c 10750
661.33	o 42803
661.33	c 10745
662.09	o 42804
662.09	c 10744
662.93	o 42805
662.93	c 10743
663.71	o 42808
663.71	c 10740
666.03	o 42812
666.03	c 10736
666.78	o 42816
666.78	c 10732
667.55	o 42826
667.55	c 10722
668.32	o 42830
668.32	c 10718
669.05	o 42834
669.05	c 10714
669.81	o 42836
669.81	c 10712
670.54	o 42839
670.54	c 10709
671.30	o 42841
671.30	c 10707
672.05	o 42847
672.05	c 10701
672.79	o 42849
672.79	c 10699
674.31	o 42853
674.31	c 10695
675.79	o 42855
675.79	c 10693
676.58	o 42859
676.58	c 10689
678.97	o 42861
678.97	c 10687
679.78	o 42865
679.78	c 10683
681.39	o 42874
681.39	c 10674
682.15	o 42875
682.15	c 10673
682.91	o 42877
682.91	c 10671
683.75	o 42880
683.75	c 10668
684.56	o 42883
684.56	c 10665
685.31	o 42884
685.31	c 10664
686.17	o 42886
686.17	c 10662
687.06	o 42890
687.06	c 10658
687.53	o 42895
687.53	c 10653
688.25	o 42898
688.25	c 10650
689.04	o 42899
689.04	c 10649
689.88	o 42900
689.88	c 10648
690.74	o 42901
690.74	c 10647
691.56	o 42904
691.56	c 10644
693.07	o 42906
693.07	c 10642
697.48	o 42907
697.48	c 10641
698.22	o 42910
698.22	c 10638
698.99	o 42913
698.99	c 10635
699.69	o 42917
699.69	c 10631
701.12	o 42920
701.12	c 10628
701.85	o 42926
701.85	c 10622
703.36	o 42934
703.36	c 10614
704.15	o 42939
704.15	c 10609
704.88	o 42943
704.88	c 10605
705.62	o 42947
705.62	c 10601
706.35	o 42956
706.35	c 10592
707.86	o 42961
707.86	c 10587
708.70	o 42966
708.70	c 10582
710.19	o 42973
710.19	c 10575
712.40	o 42978
712.40	c 10570
713.94	o 42982
713.94	c 10566
714.72	o 42986
714.72	c 10562
715.51	o 42991
715.51	c 10557
716.33	o 42997
716.33	c 10551
717.11	o 42998
717.11	c 10550
718.55	o 43004
718.55	c 10544
719.29	o 43007
719.29	c 10541
720.03	o 43015
720.03	c 10533
720.74	o 43017
720.74	c 10531
721.53	o 43019
721.53	c 10529
722.29	o 43020
722.29	c 10528
723.06	o 43026
723.06	c 10522
723.84	o 43029
723.84	c 10519
724.70	o 43034
724.70	c 10514
725.47	o 43044
725.47	c 10504
726.23	o 43049
726.23	c 10499
727.03	o 43053
727.03	c 10495
729.48	o 43057
729.48	c 10491
730.30	o 43059
730.30	c 10489
731.08	o 43061
731.08	c 10487
731.88	o 43062
731.88	c 10486
732.68	o 43063
732.68	c 10485
733.53	o 43069
733.53	c 10479
734.31	o 43071
734.31	c 10477
740.14	o 43076
740.14	c 10472
740.97	o 43077
740.97	c 10471
741.82	o 43079
741.82	c 10469
742.73	o 43085
742.73	c 10463
743.59	o 43088
743.59	c 10460
744.43	o 43094
744.43	c 10454
745.20	o 43100
745.20	c 10448
746.01	o 43108
746.01	c 10440
746.80	o 43109
746.80	c 10439
747.73	o 43114
747.73	c 10434
748.64	o 43115
748.64	c 10433
749.50	o 43119
749.50	c 10429
750.35	o 43123
750.35	c 10425
751.27	o 43130
751.27	c 10418
752.99	o 43134
752.99	c 10414
753.85	o 43135
753.85	c 10413
754.72	o 43137
754.72	c 10411
755.59	o 43139
755.59	c 10409
756.50	o 43142
756.50	c 10406
757.33	o 43145
757.33	c 10403
760.48	o 43148
760.48	c 10400
761.29	o 43152
761.29	c 10396
762.08	o 43157
762.08	c 10391
762.89	o 43161
762.89	c 10387
763.74	o 43163
763.74	c 10385
764.56	o 43167
764.56	c 10381
765.39	o 43169
765.39	c 10379
766.27	o 43172
766.27	c 10376
767.12	o 43177
767.12	c 10371
767.99	o 43178
767.99	c 10370
768.81	o 43181
768.81	c 10367
769.69	o 43185
769.69	c 10363
770.53	o 43190
770.53	c 10358
772.33	o 43196
772.33	c 10352
774.11	o 43201
774.11	c 10347
774.92	o 43205
774.92	c 10343
775.61	o 43209
775.61	c 10339
776.48	o 43212
776.48	c 10336
777.39	o 43215
777.39	c 10333
778.21	o 43223
778.21	c 10325
779.01	o 43235
779.01	c 10313
781.40	o 43237
781.40	c 10311
782.23	o 43242
782.23	c 10306
783.05	o 43246
783.05	c 10302
783.84	o 43249
783.84	c 10299
784.68	o 43256
784.68	c 10292
785.51	o 43259
785.51	c 10289
786.37	o 43261
786.37	c 10287
787.23	o 43263
787.23	c 10285
788.04	o 43264
788.04	c 10284
788.85	o 43265
788.85	c 10283
789.65	o 43266
789.65	c 10282
790.50	o 43267
790.50	c 10281
797.50	o 43276
797.51	c 10272
805.91	o 43279
805.91	c 10269
808.41	o 43283
808.41	c 10265
809.25	o 43293
809.25	c 10255
810.78	o 43294
810.78	c 10254
811.60	o 43296
811.60	c 10252
812.37	o 43305
812.37	c 10243
813.17	o 43311
813.17	c 10237
813.93	o 43316
813.93	c 10232
814.79	o 43324
814.79	c 10224
815.53	o 43327
815.53	c 10221
817.09	o 43330
817.09	c 10218
817.89	o 43334
817.89	c 10214
818.63	o 43336
818.63	c 10212
819.38	o 43337
819.38	c 10211
820.87	o 43343
820.87	c 10205
821.67	o 43349
821.67	c 10199
822.50	o 43356
822.50	c 10192
823.32	o 43360
823.32	c 10188
824.14	o 43363
824.14	c 10185
825.01	o 43369
825.01	c 10179
825.82	o 43374
825.82	c 10174
826.62	o 43380
826.62	c 10168
828.27	o 43389
828.27	c 10159
829.06	o 43393
829.06	c 10155
829.84	o 43397
829.84	c 10151
830.64	o 43398
830.64	c 10150
831.48	o 43401
831.49	c 10147
836.45	o 43410
836.45	c 10138
837.30	o 43414
837.30	c 10134
838.12	o 43417
838.12	c 10131
838.90	o 43422
838.90	c 10126
839.74	o 43424
839.74	c 10124
840.33	o 43427
840.33	c 10121
841.14	o 43428
841.14	c 10120
841.90	o 43431
841.90	c 10117
842.73	o 43437
842.73	c 10111
843.51	o 43446
843.51	c 10102
846.69	o 43450
846.69	c 10098
847.48	o 43459
847.48	c 10089
849.72	o 43460
849.72	c 10088
850.51	o 43463
850.51	c 10085
853.53	o 43464
853.53	c 10084
855.00	o 43468
855.00	c 10080
855.75	o 43474
855.75	c 10074
856.58	o 43478
856.58	c 10070
858.07	o 43482
858.07	c 10066
858.87	o 43487
858.87	c 10061
860.45	o 43493
860.45	c 10055
861.97	o 43494
861.97	c 10054
862.83	o 43505
862.83	c 10043
863.59	o 43506
863.59	c 10042
865.10	o 43509
865.10	c 10039
865.84	o 43512
865.84	c 10036
866.62	o 43516
866.62	c 10032
867.40	o 43519
867.40	c 10029
868.21	o 43523
868.21	c 10025
868.92	o 43524
868.92	c 10024
869.64	o 43529
869.64	c 10019
870.39	o 43530
870.39	c 10018
871.13	o 43537
871.13	c 10011
871.95	o 43543
871.95	c 10005
872.71	o 43546
872.71	c 10002
873.54	o 43548
873.54	c 10000
874.32	o 43554
874.32	c 9994
875.11	o 43556
875.11	c 9992
875.94	o 43561
875.94	c 9987
876.84	o 43569
876.84	c 9979
877.66	o 43572
877.66	c 9976
881.02	o 43575
881.02	c 9973
881.86	o 43576
881.86	c 9972
882.66	o 43578
882.66	c 9970
883.43	o 43581
883.43	c 9967
885.09	o 43584
885.09	c 9964
885.91	o 43590
885.91	c 9958
886.72	o 43591
886.72	c 9957
887.54	o 43600
887.54	c 9948
888.37	o 43608
888.37	c 9940
889.21	o 43610
889.21	c 9938
890.03	o 43614
890.03	c 9934
890.87	o 43623
890.87	c 9925
891.71	o 43624
891.71	c 9924
892.56	o 43625
892.56	c 9923
893.43	o 43630
893.43	c 9918
894.24	o 43633
894.24	c 9915
895.10	o 43635
895.10	c 9913
895.90	o 43636
895.90	c 9912
897.54	o 43637
897.54	c 9911
898.37	o 43638
898.37	c 9910
899.99	o 43639
899.99	c 9909
900.84	o 43643
900.85	c 9905
901.70	o 43647
901.70	c 9901
902.52	o 43650
902.52	c 9898
904.14	o 43654
904.14	c 9894
905.00	o 43656
905.00	c 9892
905.83	o 43658
905.83	c 9890
906.63	o 43659
906.63	c 9889
907.45	o 43661
907.45	c 9887
909.02	o 43664
909.02	c 9884
910.78	o 43669
910.78	c 9879
911.69	o 43670
911.69	c 9878
912.53	o 43671
912.53	c 9877
913.40	o 43673
913.40	c 9875
916.76	o 43678
916.76	c 9870
917.56	o 43680
917.56	c 9868
918.37	o 43685
918.37	c 9863
919.22	o 43686
919.22	c 9862
920.10	o 43689
920.10	c 9859
920.88	o 43699
920.88	c 9849
921.73	o 43702
921.73	c 9846
922.66	o 43704
922.66	c 9844
923.55	o 43707
923.55	c 9841
924.39	o 43708
924.39	c 9840
925.38	o 43713
925.38	c 9835
926.32	o 43714
926.32	c 9834
927.28	o 43718
927.28	c 9830
928.21	o 43722
928.21	c 9826
929.16	o 43723
929.16	c 9825
931.03	o 43724
931.03	c 9824
931.99	o 43730
931.99	c 9818
932.91	o 43731
932.91	c 9817
933.92	o 43733
933.92	c 9815
934.81	o 43747
934.81	c 9801
935.74	o 43751
935.74	c 9797
936.70	o 43755
936.70	c 9793
937.60	o 43763
937.60	c 9785
938.47	o 43765
938.47	c 9783
939.37	o 43766
939.37	c 9782
940.26	o 43770
940.26	c 9778
941.13	o 43779
941.13	c 9769
942.01	o 43782
942.01	c 9766
943.77	o 43785
943.77	c 9763
944.65	o 43788
944.65	c 9760
945.54	o 43789
945.54	c 9759
946.44	o 43794
946.44	c 9754
947.37	o 43801
947.37	c 9747
948.31	o 43802
948.31	c 9746
949.23	o 43807
949.23	c 9741
950.16	o 43812
950.16	c 9736
951.05	o 43821
951.05	c 9727
951.95	o 43825
951.95	c 9723
952.83	o 43830
952.83	c 9718
953.69	o 43831
953.69	c 9717
954.56	o 43838
954.56	c 9710
955.42	o 43844
955.42	c 9704
956.29	o 43850
956.29	c 9698
957.14	o 43853
957.14	c 9695
958.02	o 43858
958.02	c 9690
958.92	o 43863
958.92	c 9685
961.41	o 43868
961.41	c 9680
962.11	o 43875
962.11	c 9673
962.95	o 43878
962.95	c 9670
963.73	o 43882
963.73	c 9666
965.42	o 43885
965.42	c 9663
966.24	o 43887
966.24	c 9661
967.11	o 43892
967.11	c 9656
967.96	o 43897
967.96	c 9651
968.85	o 43899
968.85	c 9649
969.72	o 43900
969.72	c 9648
971.47	o 43904
971.47	c 9644
972.35	o 43907
972.35	c 9641
974.07	o 43908
974.07	c 9640
975.01	o 43910
975.01	c 9638
975.93	o 43914
975.93	c 9634
976.83	o 43916
976.83	c 9632
977.76	o 43922
977.76	c 9626
978.71	o 43924
978.71	c 9624
979.65	o 43927
979.65	c 9621
980.55	o 43930
980.56	c 9618
981.51	o 43931
981.51	c 9617
982.42	o 43933
982.42	c 9615
983.31	o 43938
983.31	c 9610
984.26	o 43943
984.26	c 9605
986.95	o 43944
986.95	c 9604
987.87	o 43947
987.87	c 9601
989.67	o 43949
989.67	c 9599
990.60	o 43956
990.60	c 9592
991.49	o 43958
991.49	c 9590
992.44	o 43961
992.44	c 9587
993.36	o 43966
993.36	c 9582
994.26	o 43971
994.26	c 9577
995.11	o 43977
995.11	c 9571
996.04	o 43979
996.04	c 9569
996.95	o 43980
996.95	c 9568
997.91	o 43985
997.91	c 9563
998.88	o 43988
998.88	c 9560
999.84	o 43990
999.84	c 9558
1000.71	o 43995
1000.71	c 9553
1001.70	o 43998
1001.70	c 9550
1002.67	o 44001
1002.67	c 9547
1003.63	o 44003
1003.63	c 9545
1004.61	o 44006
1004.61	c 9542
1005.61	o 44008
1005.61	c 9540
1007.55	o 44009
1007.55	c 9539
1008.52	o 44011
1008.52	c 9537
1009.48	o 44012
1009.48	c 9536
1010.45	o 44013
1010.45	c 9535
1015.60	o 44014
1015.60	c 9534
1016.57	o 44015
1016.57	c 9533
1023.62	o 44020
1023.62	c 9528
1025.50	o 44021
1025.50	c 9527
1026.45	o 44027
1026.45	c 9521
1027.45	o 44029
1027.45	c 9519
1029.48	o 44034
1029.48	c 9514
1030.48	o 44039
1030.48	c 9509
1032.46	o 44040
1032.46	c 9508
1033.44	o 44043
1033.44	c 9505
1035.51	o 44050
1035.51	c 9498
1036.44	o 44051
1036.44	c 9497
1038.36	o 44057
1038.36	c 9491
1042.19	o 44060
1042.19	c 9488
1043.98	o 44064
1043.98	c 9484
1044.95	o 44068
1044.95	c 9480
1045.87	o 44069
1045.87	c 9479
1046.85	o 44073
1046.85	c 9475
1047.76	o 44076
1047.76	c 9472
1048.68	o 44077
1048.68	c 9471
1049.63	o 44078
1049.63	c 9470
1050.55	o 44079
1050.55	c 9469
1053.31	o 44083
1053.31	c 9465
1054.23	o 44085
1054.23	c 9463
1055.16	o 44086
1055.16	c 9462
1056.11	o 44087
1056.11	c 9461
1057.07	o 44089
1057.07	c 9459
1058.91	o 44092
1058.91	c 9456
1059.85	o 44095
1059.85	c 9453
1061.69	o 44098
1061.69	c 9450
1062.61	o 44104
1062.61	c 9444
1063.52	o 44110
1063.52	c 9438
1064.47	o 44113
1064.47	c 9435
1066.24	o 44116
1066.24	c 9432
1067.14	o 44118
1067.14	c 9430
1068.00	o 44119
1068.00	c 9429
1069.76	o 44120
1069.76	c 9428
1070.60	o 44125
1070.60	c 9423
1071.48	o 44132
1071.48	c 9416
1074.15	o 44133
1074.15	c 9415
1074.98	o 44136
1074.98	c 9412
1077.60	o 44137
1077.60	c 9411
1078.51	o 44142
1078.51	c 9406
1079.47	o 44148
1079.47	c 9400
1080.39	o 44150
1080.39	c 9398
1081.29	o 44154
1081.29	c 9394
1082.27	o 44159
1082.27	c 9389
1083.20	o 44164
1083.20	c 9384
1084.11	o 44166
1084.12	c 9382
1085.01	o 44168
1085.01	c 9380
1085.97	o 44171
1085.97	c 9377
1086.90	o 44177
1086.90	c 9371
1088.77	o 44182
1088.77	c 9366
1089.75	o 44184
1089.75	c 9364
1090.71	o 44186
1090.71	c 9362
1091.69	o 44189
1091.69	c 9359
1092.63	o 44191
1092.64	c 9357
1093.58	o 44192
1093.58	c 9356
1094.54	o 44195
1094.54	c 9353
1095.48	o 44196
1095.48	c 9352
1096.41	o 44202
1096.41	c 9346
1098.23	o 44205
1098.23	c 9343
1099.20	o 44210
1099.20	c 9338
1100.14	o 44211
1100.14	c 9337
1101.10	o 44216
1101.10	c 9332
1102.88	o 44221
1102.88	c 9327
1103.84	o 44224
1103.84	c 9324
1104.77	o 44229
1104.77	c 9319
1105.74	o 44230
1105.74	c 9318
1106.73	o 44235
1106.73	c 9313
1107.70	o 44236
1107.70	c 9312
1108.71	o 44237
1108.71	c 9311
1109.68	o 44245
1109.68	c 9303
1111.57	o 44246
1111.57	c 9302
1112.50	o 44249
1112.50	c 9299
1113.42	o 44251
1113.43	c 9297
1114.36	o 44254
1114.36	c 9294
1115.35	o 44255
1115.35	c 9293
1116.35	o 44261
1116.35	c 9287
1117.35	o 44264
1117.35	c 9284
1118.39	o 44265
1118.39	c 9283
1122.45	o 44269
1122.45	c 9279
1126.55	o 44275
1126.55	c 9273
1127.50	o 44279
1127.50	c 9269
1128.50	o 44291
1128.50	c 9257
1129.51	o 44296
1129.51	c 9252
1130.47	o 44301
1130.47	c 9247
1131.42	o 44302
1131.42	c 9246
1132.40	o 44303
1132.40	c 9245
1133.37	o 44306
1133.37	c 9242
1134.35	o 44310
1134.35	c 9238
1135.37	o 44312
1135.37	c 9236
1136.33	o 44315
1136.33	c 9233
1137.29	o 44321
1137.29	c 9227
1138.26	o 44324
1138.26	c 9224
1140.20	o 44326
1140.20	c 9222
1141.18	o 44327
1141.18	c 9221
1143.11	o 44330
1143.11	c 9218
1144.14	o 44333
1144.14	c 9215
1145.14	o 44338
1145.14	c 9210
1146.13	o 44339
1146.13	c 9209
1148.13	o 44341
1148.13	c 9207
1149.15	o 44348
1149.15	c 9200
1150.17	o 44352
1150.17	c 9196
1156.16	o 44353
1156.16	c 9195
1157.15	o 44354
1157.15	c 9194
1158.14	o 44356
1158.14	c 9192
1159.16	o 44361
1159.16	c 9187
1161.26	o 44365
1161.26	c 9183
1162.26	o 44369
1162.26	c 9179
1163.26	o 44371
1163.26	c 9177
1164.28	o 44377
1164.28	c 9171
1165.31	o 44383
1165.31	c 9165
1166.29	o 44384
1166.29	c 9164
1168.35	o 44385
1168.35	c 9163
1172.36	o 44392
1172.36	c 9156
1173.36	o 44395
1173.36	c 9153
1175.35	o 44399
1175.35	c 9149
1176.35	o 44400
1176.35	c 9148
1177.36	o 44401
1177.36	c 9147
1178.44	o 44403
1178.44	c 9145
1179.47	o 44404
1179.47	c 9144
1180.55	o 44405
1180.55	c 9143
1181.59	o 44411
1181.59	c 9137
1182.66	o 44416
1182.66	c 9132
1183.73	o 44420
1183.73	c 9128
1185.87	o 44425
1185.87	c 9123
1186.99	o 44426
1186.99	c 9122
1189.05	o 44429
1189.05	c 9119
1190.08	o 44431
1190.08	c 9117
1191.13	o 44438
1191.13	c 9110
1192.14	o 44441
1192.14	c 9107
1193.19	o 44446
1193.19	c 9102
1194.24	o 44451
1194.24	c 9097
1195.25	o 44452
1195.25	c 9096
1196.28	o 44457
1196.28	c 9091
1197.29	o 44458
1197.29	c 9090
1198.35	o 44459
1198.35	c 9089
1199.40	o 44460
1199.40	c 9088
1200.48	o 44464
1200.48	c 9084
1201.53	o 44467
1201.53	c 9081
1206.93	o 44469
1206.93	c 9079
1209.08	o 44470
1209.08	c 9078
1210.14	o 44472
1210.14	c 9076
1211.21	o 44481
1211.21	c 9067
1213.35	o 44485
1213.35	c 9063
1214.50	o 44486
1214.50	c 9062
1215.59	o 44489
1215.59	c 9059
1217.75	o 44494
1217.75	c 9054
1218.86	o 44505
1218.86	c 9043
1219.90	o 44507
1219.90	c 9041
1220.95	o 44513
1220.95	c 9035
1222.06	o 44515
1222.06	c 9033
1223.11	o 44522
1223.11	c 9026
1224.16	o 44523
1224.16	c 9025
1226.26	o 44528
1226.26	c 9020
1227.31	o 44534
1227.31	c 9014
1228.42	o 44538
1228.42	c 9010
1230.47	o 44542
1230.47	c 9006
1232.49	o 44546
1232.49	c 9002
1233.55	o 44549
1233.55	c 8999
1234.56	o 44552
1234.56	c 8996
1235.59	o 44555
1235.59	c 8993
1236.62	o 44556
1236.63	c 8992
1238.70	o 44558
1238.70	c 8990
1239.77	o 44567
1239.77	c 8981
1240.77	o 44570
1240.77	c 8978
1242.76	o 44575
1242.76	c 8973
1243.78	o 44583
1243.78	c 8965
1244.76	o 44586
1244.76	c 8962
1245.74	o 44590
1245.74	c 8958
1246.75	o 44592
1246.75	c 8956
1248.69	o 44597
1248.69	c 8951
1249.68	o 44601
1249.68	c 8947
1250.69	o 44609
1250.69	c 8939
1253.40	o 44612
1253.40	c 8936
1254.30	o 44614
1254.30	c 8934
1255.21	o 44617
1255.21	c 8931
1256.14	o 44623
1256.14	c 8925
1257.06	o 44630
1257.06	c 8918
1257.99	o 44631
1257.99	c 8917
1258.89	o 44633
1258.89	c 8915
1259.77	o 44640
1259.77	c 8908
1260.66	o 44645
1260.66	c 8903
1263.39	o 44649
1263.39	c 8899
1266.95	o 44651
1266.95	c 8897
1267.85	o 44654
1267.85	c 8894
1268.77	o 44655
1268.77	c 8893
1269.71	o 44663
1269.71	c 8885
1270.65	o 44667
1270.65	c 8881
1271.56	o 44670
1271.56	c 8878
1272.44	o 44671
1272.44	c 8877
1274.23	o 44672
1274.23	c 8876
1276.99	o 44676
1276.99	c 8872
1277.90	o 44679
1277.90	c 8869
1278.79	o 44682
1278.79	c 8866
1281.61	o 44687
1281.61	c 8861
1283.47	o 44691
1283.47	c 8857
1284.41	o 44695
1284.41	c 8853
1285.37	o 44696
1285.37	c 8852
1289.79	o 44700
1289.79	c 8848
1290.68	o 44702
1290.68	c 8846
1292.50	o 44705
1292.50	c 8843
1294.37	o 44708
1294.37	c 8840
1295.27	o 44711
1295.27	c 8837
1296.28	o 44713
1296.28	c 8835
1297.24	o 44717
1297.24	c 8831
1298.13	o 44723
1298.13	c 8825
1299.08	o 44729
1299.08	c 8819
1300.03	o 44737
1300.03	c 8811
1300.98	o 44741
1300.98	c 8807
1301.92	o 44743
1301.92	c 8805
1302.92	o 44744
1302.92	c 8804
1303.92	o 44752
1303.92	c 8796
1304.90	o 44753
1304.90	c 8795
1305.87	o 44754
1305.87	c 8794
1309.72	o 44756
1309.72	c 8792
1310.76	o 44760
1310.76	c 8788
1311.73	o 44764
1311.73	c 8784
1314.58	o 44767
1314.58	c 8781
1315.56	o 44770
1315.56	c 8778
1316.48	o 44774
1316.48	c 8774
1317.39	o 44780
1317.39	c 8768
1318.32	o 44789
1318.32	c 8759
1319.27	o 44798
1319.27	c 8750
1320.21	o 44800
1320.21	c 8748
1320.81	o 44803
1320.81	c 8745
1321.71	o 44810
1321.71	c 8738
1322.62	o 44818
1322.62	c 8730
1324.46	o 44823
1324.46	c 8725
1325.38	o 44829
1325.38	c 8719
1326.35	o 44833
1326.35	c 8715
1328.21	o 44837
1328.21	c 8711
1329.19	o 44843
1329.19	c 8705
1330.11	o 44844
1330.11	c 8704
1332.94	o 44848
1332.94	c 8700
1333.84	o 44851
1333.84	c 8697
1334.69	o 44854
1334.69	c 8694
1337.30	o 44859
1337.30	c 8689
1338.21	o 44861
1338.21	c 8687
1340.02	o 44863
1340.02	c 8685
1340.89	o 44864
1340.89	c 8684
1341.79	o 44871
1341.79	c 8677
1342.71	o 44874
1342.71	c 8674
1343.63	o 44875
1343.63	c 8673
1344.50	o 44881
1344.50	c 8667
1346.31	o 44883
1346.31	c 8665
1347.22	o 44888
1347.22	c 8660
1348.16	o 44891
1348.16	c 8657
1349.05	o 44894
1349.05	c 8654
1349.98	o 44900
1349.98	c 8648
1351.82	o 44903
1351.82	c 8645
1352.73	o 44906
1352.73	c 8642
1354.57	o 44916
1354.57	c 8632
1355.54	o 44920
1355.54	c 8628
1360.31	o 44921
1360.31	c 8627
1361.29	o 44925
1361.29	c 8623
1362.24	o 44927
1362.24	c 8621
1363.19	o 44931
1363.19	c 8617
1364.17	o 44932
1364.17	c 8616
1366.17	o 44934
1366.17	c 8614
1367.13	o 44939
1367.13	c 8609
1368.09	o 44940
1368.09	c 8608
1370.13	o 44944
1370.13	c 8604
1371.10	o 44946
1371.10	c 8602
1372.07	o 44947
1372.07	c 8601
1373.04	o 44948
1373.04	c 8600
1374.01	o 44951
1374.01	c 8597
1375.99	o 44953
1375.99	c 8595
1376.94	o 44958
1376.94	c 8590
1378.87	o 44959
1378.87	c 8589
1379.82	o 44964
1379.82	c 8584
1380.80	o 44966
1380.80	c 8582
1381.76	o 44980
1381.76	c 8568
1382.73	o 44984
1382.73	c 8564
1383.65	o 44988
1383.65	c 8560
1384.61	o 44996
1384.61	c 8552
1385.45	o 45000
1385.45	c 8548
1386.40	o 45006
1386.40	c 8542
1387.31	o 45010
1387.31	c 8538
1388.22	o 45012
1388.22	c 8536
1389.21	o 45017
1389.21	c 8531
1390.19	o 45021
1390.19	c 8527
1391.07	o 45024
1391.07	c 8524
1392.90	o 45025
1392.90	c 8523
1393.89	o 45027
1393.89	c 8521
1394.82	o 45028
1394.82	c 8520
1395.75	o 45029
1395.75	c 8519
1396.68	o 45030
1396.68	c 8518
1397.62	o 45035
1397.62	c 8513
1398.60	o 45040
1398.60	c 8508
1399.52	o 45045
1399.52	c 8503
1400.45	o 45046
1400.45	c 8502
1401.42	o 45053
1401.42	c 8495
1402.42	o 45054
1402.42	c 8494
1403.42	o 45059
1403.42	c 8489
1404.39	o 45060
1404.39	c 8488
1417.15	o 45061
1417.15	c 8487
1418.12	o 45065
1418.12	c 8483
1419.07	o 45068
1419.07	c 8480
1420.01	o 45070
1420.01	c 8478
1420.94	o 45074
1420.94	c 8474
1421.97	o 45076
1421.97	c 8472
1422.96	o 45078
1422.96	c 8470
1423.97	o 45083
1423.97	c 8465
1424.92	o 45086
1424.92	c 8462
1425.90	o 45089
1425.90	c 8459
1426.89	o 45094
1426.89	c 8454
1427.90	o 45101
1427.90	c 8447
1428.87	o 45105
1428.87	c 8443
1429.84	o 45112
1429.84	c 8436
1430.83	o 45117
1430.83	c 8431
1431.84	o 45119
1431.84	c 8429
1432.81	o 45121
1432.81	c 8427
1433.76	o 45125
1433.76	c 8423
1434.71	o 45129
1434.71	c 8419
1435.67	o 45135
1435.67	c 8413
1447.36	o 45136
1447.36	c 8412
1448.43	o 45141
1448.43	c 8407
1449.44	o 45148
1449.44	c 8400
1451.48	o 45152
1451.48	c 8396
1452.56	o 45154
1452.56	c 8394
1453.57	o 45160
1453.57	c 8388
1454.57	o 45163
1454.57	c 8385
1455.60	o 45165
1455.60	c 8383
1456.64	o 45168
1456.64	c 8380
1457.67	o 45170
1457.67	c 8378
1458.67	o 45172
1458.67	c 8376
1460.68	o 45174
1460.68	c 8374
1461.67	o 45178
1461.67	c 8370
1462.78	o 45185
1462.78	c 8363
1465.00	o 45187
1465.00	c 8361
1466.07	o 45188
1466.07	c 8360
1467.12	o 45192
1467.12	c 8356
1468.16	o 45195
1468.16	c 8353
1469.23	o 45199
1469.23	c 8349
1470.24	o 45202
1470.24	c 8346
1471.30	o 45206
1471.30	c 8342
1472.40	o 45211
1472.40	c 8337
1473.49	o 45214
1473.49	c 8334
1474.56	o 45215
1474.56	c 8333
1476.72	o 45218
1476.72	c 8330
1477.81	o 45224
1477.81	c 8324
1478.94	o 45226
1478.94	c 8322
1480.04	o 45233
1480.04	c 8315
1482.23	o 45234
1482.23	c 8314
1483.38	o 45238
1483.38	c 8310
1484.49	o 45240
1484.49	c 8308
1493.92	o 45243
1493.92	c 8305
1495.06	o 45244
1495.06	c 8304
1496.22	o 45248
1496.22	c 8300
1497.44	o 45249
1497.44	c 8299
1498.64	o 45255
1498.64	c 8293
1499.85	o 45257
1499.85	c 8291
1501.06	o 45261
1501.06	c 8287
1502.34	o 45267
1502.34	c 8281
1504.81	o 45269
1504.81	c 8279
1506.04	o 45271
1506.04	c 8277
1508.59	o 45275
1508.59	c 8273
1509.84	o 45278
1509.84	c 8270
1511.07	o 45287
1511.07	c 8261
1512.32	o 45294
1512.32	c 8254
1513.50	o 45295
1513.50	c 8253
1517.18	o 45296
1517.18	c 8252
1518.38	o 45302
1518.38	c 8246
1533.07	o 45305
1533.07	c 8243
1534.28	o 45312
1534.28	c 8236
1535.51	o 45317
1535.51	c 8231
1536.74	o 45318
1536.74	c 8230
1537.99	o 45320
1537.99	c 8228
1541.77	o 45321
1541.77	c 8227
1544.30	o 45324
1544.30	c 8224
1546.86	o 45325
1546.86	c 8223
1550.57	o 45326
1550.57	c 8222
1551.83	o 45327
1551.83	c 8221
1553.12	o 45332
1553.12	c 8216
1555.70	o 45337
1555.70	c 8211
1556.99	o 45338
1556.99	c 8210
1559.55	o 45342
1559.55	c 8206
1563.67	o 45343
1563.67	c 8205
1565.01	o 45348
1565.01	c 8200
1566.39	o 45354
1566.39	c 8194
1567.76	o 45361
1567.76	c 8187
1570.46	o 45364
1570.46	c 8184
1571.80	o 45368
1571.80	c 8180
1573.13	o 45370
1573.13	c 8178
1575.61	o 45383
1575.61	c 8165
1576.92	o 45387
1576.92	c 8161
1578.23	o 45389
1578.23	c 8159
1579.53	o 45390
1579.53	c 8158
1580.87	o 45392
1580.87	c 8156
1582.18	o 45393
1582.18	c 8155
1583.49	o 45399
1583.49	c 8149
1584.83	o 45400
1584.83	c 8148
1586.16	o 45403
1586.16	c 8145
1587.49	o 45404
1587.49	c 8144
1588.80	o 45406
1588.80	c 8142
1590.15	o 45409
1590.15	c 8139
1595.39	o 45417
1595.39	c 8131
1596.74	o 45419
1596.74	c 8129
1598.07	o 45422
1598.07	c 8126
1604.65	o 45423
1604.65	c 8125
1605.96	o 45424
1605.96	c 8124
1607.33	o 45427
1607.33	c 8121
1608.64	o 45428
1608.64	c 8120
1611.35	o 45430
1611.35	c 8118
1612.66	o 45432
1612.66	c 8116
1613.99	o 45437
1613.99	c 8111
1615.29	o 45438
1615.29	c 8110
1616.69	o 45440
1616.69	c 8108
1617.98	o 45441
1617.98	c 8107
1619.32	o 45442
1619.32	c 8106
1620.66	o 45444
1620.66	c 8104
1621.96	o 45445
1621.96	c 8103
1624.71	o 45449
1624.71	c 8099
1625.90	o 45450
1625.90	c 8098
1627.29	o 45453
1627.29	c 8095
1628.70	o 45455
1628.70	c 8093
1630.08	o 45457
1630.08	c 8091
1631.43	o 45458
1631.43	c 8090
1632.80	o 45459
1632.80	c 8089
1634.18	o 45462
1634.18	c 8086
1635.41	o 45467
1635.41	c 8081
1636.79	o 45468
1636.79	c 8080
1638.13	o 45470
1638.13	c 8078
1639.47	o 45473
1639.48	c 8075
1640.91	o 45477
1640.91	c 8071
1642.35	o 45479
1642.35	c 8069
1643.74	o 45483
1643.74	c 8065
1645.17	o 45485
1645.17	c 8063
1646.65	o 45486
1646.65	c 8062
1648.09	o 45488
1648.09	c 8060
1649.52	o 45490
1649.52	c 8058
1650.98	o 45495
1650.98	c 8053
1652.43	o 45499
1652.43	c 8049
1653.58	o 45508
1653.58	c 8040
1654.97	o 45511
1654.97	c 8037
1656.38	o 45514
1656.38	c 8034
1657.82	o 45516
1657.82	c 8032
1660.57	o 45518
1660.57	c 8030
1661.94	o 45519
1661.94	c 8029
1664.72	o 45521
1664.72	c 8027
1666.13	o 45526
1666.13	c 8022
1667.58	o 45531
1667.59	c 8017
1671.94	o 45533
1671.94	c 8015
1673.34	o 45539
1673.34	c 8009
1676.20	o 45541
1676.20	c 8007
1677.67	o 45544
1677.67	c 8004
1679.11	o 45546
1679.11	c 8002
1680.52	o 45548
1680.52	c 8000
1681.94	o 45551
1681.94	c 7997
1684.80	o 45552
1684.80	c 7996
1687.69	o 45554
1687.69	c 7994
1690.40	o 45555
1690.40	c 7993
1691.83	o 45558
1691.83	c 7990
1693.33	o 45561
1693.33	c 7987
1694.73	o 45562
1694.73	c 7986
1696.14	o 45570
1696.14	c 7978
1697.59	o 45572
1697.59	c 7976
1698.99	o 45574
1698.99	c 7974
1700.46	o 45575
1700.46	c 7973
1701.89	o 45576
1701.89	c 7972
1703.33	o 45577
1703.33	c 7971
1704.79	o 45583
1704.79	c 7965
1710.50	o 45585
1710.50	c 7963
1714.69	o 45588
1714.69	c 7960
1716.08	o 45589
1716.08	c 7959
1717.44	o 45595
1717.44	c 7953
1718.89	o 45596
1718.89	c 7952
1720.33	o 45597
1720.33	c 7951
1721.75	o 45602
1721.75	c 7946
1723.11	o 45604
1723.11	c 7944
1724.43	o 45606
1724.43	c 7942
1725.84	o 45607
1725.84	c 7941
1727.20	o 45614
1727.20	c 7934
1731.17	o 45617
1731.17	c 7931
1733.93	o 45620
1733.93	c 7928
1736.62	o 45623
1736.62	c 7925
1737.98	o 45624
1737.98	c 7924
1739.32	o 45626
1739.32	c 7922
1740.68	o 45629
1740.68	c 7919
1742.06	o 45633
1742.06	c 7915
1743.42	o 45635
1743.42	c 7913
1744.84	o 45639
1744.84	c 7909
1746.23	o 45641
1746.23	c 7907
1747.52	o 45645
1747.52	c 7903
1751.68	o 45647
1751.68	c 7901
1753.05	o 45655
1753.05	c 7893
1755.84	o 45664
1755.84	c 7884
1757.27	o 45666
1757.27	c 7882
1761.47	o 45669
1761.47	c 7879
1762.85	o 45671
1762.85	c 7877
1764.20	o 45673
1764.20	c 7875
1767.02	o 45676
1767.02	c 7872
1768.45	o 45680
1768.45	c 7868
1772.79	o 45682
1772.79	c 7866
1774.18	o 45688
1774.18	c 7860
1775.38	o 45692
1775.38	c 7856
1776.74	o 45696
1776.74	c 7852
1778.12	o 45701
1778.12	c 7847
1779.46	o 45704
1779.46	c 7844
1780.85	o 45710
1780.85	c 7838
1784.90	o 45712
1784.90	c 7836
1786.20	o 45719
1786.20	c 7829
1787.55	o 45724
1787.55	c 7824
1791.61	o 45725
1791.61	c 7823
1797.11	o 45726
1797.11	c 7822
1806.33	o 45732
1806.33	c 7816
1809.07	o 45736
1809.07	c 7812
1810.45	o 45737
1810.45	c 7811
1811.86	o 45740
1811.86	c 7808
1813.28	o 45744
1813.28	c 7804
1816.02	o 45746
1816.02	c 7802
1817.44	o 45748
1817.44	c 7800
1821.66	o 45750
1821.66	c 7798
1823.10	o 45754
1823.10	c 7794
1824.59	o 45757
1824.59	c 7791
1826.03	o 45758
1826.03	c 7790
1831.78	o 45761
1831.78	c 7787
1833.22	o 45767
1833.22	c 7781
1834.70	o 45768
1834.70	c 7780
1836.15	o 45772
1836.15	c 7776
1837.58	o 45773
1837.58	c 7775
1839.07	o 45778
1839.07	c 7770
1840.57	o 45781
1840.57	c 7767
1842.08	o 45785
1842.08	c 7763
1843.56	o 45787
1843.56	c 7761
1845.06	o 45789
1845.06	c 7759
1854.00	o 45792
1854.00	c 7756
1856.77	o 45793
1856.77	c 7755
1858.22	o 45795
1858.22	c 7753
1859.65	o 45796
1859.65	c 7752
1861.16	o 45801
1861.16	c 7747
1862.65	o 45805
1862.65	c 7743
1864.16	o 45807
1864.16	c 7741
1871.23	o 45808
1871.23	c 7740
1872.66	o 45810
1872.66	c 7738
1874.20	o 45814
1874.20	c 7734
1875.69	o 45815
1875.69	c 7733
1877.17	o 45817
1877.17	c 7731
1878.63	o 45820
1878.63	c 7728
1880.06	o 45823
1880.06	c 7725
1883.01	o 45826
1883.01	c 7722
1885.96	o 45828
1885.96	c 7720
1887.38	o 45829
1887.38	c 7719
1893.14	o 45830
1893.14	c 7718
1894.58	o 45834
1894.58	c 7714
1896.06	o 45837
1896.06	c 7711
1897.44	o 45842
1897.44	c 7706
1900.06	o 45846
1900.06	c 7702
1901.49	o 45853
1901.49	c 7695
1907.24	o 45854
1907.24	c 7694
1908.63	o 45859
1908.63	c 7689
1910.15	o 45861
1910.15	c 7687
1911.63	o 45869
1911.63	c 7679
1913.14	o 45872
1913.14	c 7676
1914.60	o 45876
1914.60	c 7672
1917.54	o 45878
1917.54	c 7670
1920.45	o 45882
1920.45	c 7666
1921.91	o 45883
1921.91	c 7665
1924.84	o 45885
1924.84	c 7663
1927.73	o 45889
1927.73	c 7659
1932.10	o 45896
1932.10	c 7652
1933.02	o 45901
1933.02	c 7647
1935.92	o 45903
1935.92	c 7645
1937.32	o 45908
1937.32	c 7640
1940.12	o 45911
1940.12	c 7637
1941.55	o 45913
1941.55	c 7635
1942.93	o 45914
1942.93	c 7634
1944.39	o 45916
1944.39	c 7632
1947.19	o 45919
1947.19	c 7629
1951.38	o 45921
1951.38	c 7627
1952.79	o 45925
1952.79	c 7623
1953.87	o 45928
1953.87	c 7620
1955.27	o 45931
1955.27	c 7617
1958.12	o 45932
1958.12	c 7616
1959.54	o 45933
1959.54	c 7615
1960.92	o 45935
1960.92	c 7613
1962.30	o 45936
1962.30	c 7612
1963.72	o 45937
1963.72	c 7611
1965.14	o 45943
1965.14	c 7605
1966.53	o 45947
1966.53	c 7601
1967.93	o 45948
1967.93	c 7600
1969.32	o 45953
1969.32	c 7595
1973.39	o 45954
1973.39	c 7594
1974.78	o 45957
1974.78	c 7591
1977.50	o 45958
1977.50	c 7590
1978.90	o 45959
1978.90	c 7589
1980.32	o 45962
1980.32	c 7586
1981.76	o 45968
1981.76	c 7580
1983.20	o 45972
1983.20	c 7576
1987.41	o 45976
1987.41	c 7572
1991.64	o 45978
1991.64	c 7570
1993.06	o 45979
1993.06	c 7569
1995.96	o 45980
1995.96	c 7568
1997.37	o 45986
1997.37	c 7562
1998.84	o 45988
1998.84	c 7560
2006.11	o 45989
2006.11	c 7559
2007.57	o 45990
2007.57	c 7558
2009.01	o 45993
2009.01	c 7555
2010.52	o 45994
2010.52	c 7554
2013.46	o 45996
2013.46	c 7552
2016.47	o 45998
2016.47	c 7550
2018.06	o 46001
2018.06	c 7547
2021.13	o 46004
2021.13	c 7544
2022.74	o 46007
2022.74	c 7541
2024.29	o 46011
2024.29	c 7537
2025.89	o 46013
2025.89	c 7535
2027.39	o 46017
2027.39	c 7531
2030.51	o 46021
2030.51	c 7527
2032.08	o 46027
2032.08	c 7521
2035.07	o 46032
2035.07	c 7516
2041.37	o 46033
2041.37	c 7515
2044.40	o 46038
2044.40	c 7510
2048.94	o 46040
2048.94	c 7508
2050.49	o 46045
2050.49	c 7503
2052.02	o 46046
2052.02	c 7502
2053.55	o 46047
2053.55	c 7501
2056.57	o 46049
2056.57	c 7499
2061.01	o 46050
2061.01	c 7498
2062.49	o 46052
2062.49	c 7496
2063.98	o 46055
2063.98	c 7493
2065.48	o 46058
2065.48	c 7490
2066.97	o 46059
2066.97	c 7489
2073.81	o 46061
2073.81	c 7487
2075.28	o 46063
2075.28	c 7485
2078.23	o 46064
2078.23	c 7484
2079.71	o 46068
2079.71	c 7480
2081.10	o 46073
2081.10	c 7475
2082.55	o 46074
2082.55	c 7474
2083.93	o 46079
2083.93	c 7469
2085.40	o 46082
2085.40	c 7466
2086.81	o 46084
2086.81	c 7464
2089.59	o 46085
2089.59	c 7463
2090.97	o 46087
2090.97	c 7461
2092.37	o 46089
2092.37	c 7459
2096.85	o 46093
2096.85	c 7455
2098.32	o 46097
2098.32	c 7451
2099.75	o 46099
2099.75	c 7449
2102.69	o 46103
2102.69	c 7445
2104.18	o 46106
2104.18	c 7442
2105.70	o 46108
2105.70	c 7440
2107.16	o 46113
2107.16	c 7435
2111.41	o 46118
2111.41	c 7430
2112.90	o 46121
2112.90	c 7427
2124.88	o 46123
2124.88	c 7425
2126.44	o 46124
2126.44	c 7424
2127.98	o 46126
2127.98	c 7422
2135.43	o 46127
2135.43	c 7421
2137.03	o 46131
2137.03	c 7417
2138.54	o 46132
2138.54	c 7416
2139.98	o 46135
2139.98	c 7413
2141.44	o 46141
2141.44	c 7407
2144.45	o 46142
2144.45	c 7406
2145.97	o 46145
2145.97	c 7403
2147.48	o 46146
2147.48	c 7402
2148.73	o 46150
2148.73	c 7398
2150.23	o 46151
2150.23	c 7397
2163.55	o 46154
2163.55	c 7394
2165.15	o 46156
2165.15	c 7392
2166.69	o 46159
2166.69	c 7389
2171.53	o 46160
2171.53	c 7388
2173.05	o 46163
2173.05	c 7385
2174.46	o 46164
2174.46	c 7384
2176.02	o 46167
2176.02	c 7381
2180.15	o 46169
2180.15	c 7379
2183.13	o 46170
2183.13	c 7378
2184.72	o 46173
2184.72	c 7375
2186.23	o 46179
2186.23	c 7369
2187.57	o 46185
2187.57	c 7363
2189.08	o 46191
2189.08	c 7357
2192.14	o 46198
2192.14	c 7350
2193.69	o 46200
2193.69	c 7348
2196.68	o 46206
2196.68	c 7342
2198.23	o 46212
2198.23	c 7336
2199.73	o 46215
2199.73	c 7333
2201.20	o 46218
2201.20	c 7330
2204.26	o 46221
2204.26	c 7327
2207.39	o 46222
2207.39	c 7326
2210.39	o 46227
2210.39	c 7321
2211.97	o 46232
2211.97	c 7316
2216.44	o 46233
2216.44	c 7315
2220.98	o 46234
2220.98	c 7314
2222.60	o 46235
2222.60	c 7313
2224.19	o 46236
2224.19	c 7312
2227.23	o 46237
2227.23	c 7311
2230.43	o 46242
2230.43	c 7306
2232.04	o 46243
2232.04	c 7305
2233.63	o 46247
2233.63	c 7301
2236.89	o 46249
2236.89	c 7299
2238.46	o 46252
2238.46	c 7296
2240.05	o 46255
2240.05	c 7293
2244.85	o 46257
2244.85	c 7291
2252.88	o 46258
2252.88	c 7290
2254.54	o 46262
2254.54	c 7286
2256.27	o 46263
2256.27	c 7285
2257.92	o 46265
2257.92	c 7283
2261.03	o 46269
2261.03	c 7279
2262.69	o 46273
2262.69	c 7275
2264.35	o 46278
2264.35	c 7270
2266.07	o 46280
2266.07	c 7268
2269.48	o 46282
2269.48	c 7266
2271.23	o 46289
2271.23	c 7259
2272.93	o 46290
2272.93	c 7258
2274.63	o 46298
2274.63	c 7250
2279.48	o 46307
2279.49	c 7241
2281.20	o 46308
2281.20	c 7240
2282.94	o 46311
2282.94	c 7237
2284.58	o 46316
2284.58	c 7232
2289.77	o 46317
2289.77	c 7231
2293.24	o 46318
2293.24	c 7230
2294.99	o 46322
2294.99	c 7226
2298.46	o 46325
2298.46	c 7223
2300.19	o 46328
2300.19	c 7220
2301.93	o 46333
2301.93	c 7215
2308.72	o 46336
2308.72	c 7212
2310.38	o 46339
2310.38	c 7209
2313.71	o 46340
2313.71	c 7208
2319.97	o 46341
2319.97	c 7207
2321.63	o 46345
2321.63	c 7203
2323.36	o 46347
2323.36	c 7201
2324.52	o 46348
2324.52	c 7200
2329.63	o 46349
2329.63	c 7199
2331.32	o 46350
2331.32	c 7198
2333.00	o 46352
2333.00	c 7196
2334.72	o 46356
2334.72	c 7192
2336.45	o 46358
2336.45	c 7190
2344.84	o 46361
2344.84	c 7187
2348.25	o 46363
2348.25	c 7185
2349.92	o 46367
2349.92	c 7181
2351.60	o 46372
2351.60	c 7176
2355.00	o 46374
2355.00	c 7174
2356.70	o 46376
2356.71	c 7172
2358.19	o 46377
2358.19	c 7171
2359.88	o 46379
2359.88	c 7169
2361.52	o 46380
2361.52	c 7168
2370.07	o 46385
2370.07	c 7163
2371.80	o 46388
2371.80	c 7160
2376.79	o 46399
2376.79	c 7149
2378.40	o 46401
2378.40	c 7147
2380.05	o 46404
2380.05	c 7144
2381.74	o 46405
2381.74	c 7143
2383.46	o 46408
2383.46	c 7140
2385.24	o 46409
2385.24	c 7139
2386.99	o 46413
2386.99	c 7135
2390.51	o 46415
2390.51	c 7133
2392.27	o 46416
2392.27	c 7132
2395.90	o 46417
2395.90	c 7131
2397.70	o 46418
2397.70	c 7130
2400.99	v -4322 4534 3194 3686 4158 -4502 -3662 4542 -3890 -3622 3958 3162 -3594 3766 -3866 3758 4542 4186 -3878 -3150 -4530 3970 -3174 -4170 4486 -4430 4518 -3686 3818 -3242 3238 -4218 -3946 -3586 -3414 -4218 3386 -4322 -3678 -3218 -4110 -4398 -3666 -4254 3434 -3998 4506 4410 4322 3518 -3666 4518 4390 -3270 -3850 3154 -3162 3162 -4538 3150 -3734 4326 -3154 4078 -3482 -3950 -3658 -4530 -3934 4230 4542 4322 4498 3510 -3182 4002 3150 4142 -4266 3190 4294 4206 3614 -4166 4022 3770 4498 3478 4374 4286 -3206 3290 -4478 -3174 3218 3286 4394 -4390 -3554 -3202 4226 4538 3150 3190 4370 -3890 -4270 3158 -3766 -4498 3218 3746 -3466 4214 -3878 3290 -3558 -4186 -4398 -4438 -3266 3902 4334 4422 -3862 4042 -4154 -4478 -3254 4374 -4262 -3350 3382 -3382 -3562 -3422 -4082 -3918 3442 3666 4510 -3670 3166 3394 4526 3854 3214 4542 3230 -3150 -3706 3158 -3198 3498 -3686 3778 -3990 -3342 -3290 -4514 3278 -3266 -4414 3422 -3442 -4002 3638 4166 -4234 -3154 3162 4210 -3210 3422 -3378 4446 4130 4142 -4246 -3482 -3626 3286 4174 -4294 3570 4482 -3166 3194 -3574 4470 -3750 -4310 -3482 4170 4386 -3958 -3174 -3190 3994 -4094 3186 -3742 3362 -3542 -3990 -3190 -3266 -3238 -4518 -3190 -3662 3226 4438 -3842 -3606 3150 -3214 3282 3266 -3226 4430 -3446 4386 -3582 -3978 -3338 4306 -3154 -3990 3194 3794 4542 4178 4486 4470 3490 4422 3354 -3202 4454 3522 -4058 -3522 -3346 -4538 -4474 -4158 4034 -3878 3230 -3310 -3362 -3906 -3798 -4470 3702 3354 4222 4442 3242 4318 -3718 3722 -3878 3350 -3230 3382 3150 -4414 -3590 -4438 -3226 4526 3358 -4542 4262 3210 -3150 -3838 3482 -3150 4430 3986 4366 3502 4418 3182 -4418 -4022 -4090 4446 4110 -4498 -3830 -3154 4258 -3206 -4410 -3754 4378 -3646 4442 -3442 -3322 3990 4358 -3846 -3666 3750 -3582 4130 4498 4486 4466 4190 -4478 -3590 -3902 4162 3666 -4078 -3474 -4018 4542 3354 3250 -3946 -4542 -4466 -3150 -3194 4090 4270 4474 3726 4414 -3202 3222 4330 -3186 -4542 3198 -4494 -3406 4002 3742 -4358 -4126 3650 -3610 -3766 -4474 -3178 4166 -4306 4322 4298 -4366 -4350 3326 3630 -3462 3242 -3314 3302 4514 -3158 4538 -3970 3150 -3822 4358 3150 -3306 4414 4478 4338 -4510 -3894 3210 3402 -3158 -4242 -4542 -3190 -3250 -4498 4082 -4538 3170 4150 -3790 -3486 -4454 4486 4294 -3182 -3314 3810 -3306 -4270 -3582 -4506 4098 3714 4390 3150 3478 -3174 3162 -4114 3314 -3310 3278 3918 -3194 4514 3982 -3210 -3222 -4162 -3986 -4290 4062 -4542 -3646 4538 -4466 -3438 -4514 3674 4106 -3722 4350 -4410 3614 4418 -3222 3214 4426 4230 -4502 -3806 4146 -3922 3162 4470 4206 3310 3154 4234 3990 -3310 3158 3762 -3154 3278 3838 3726 -4198 -3226 4226 -3194 3654 3994 3150 -4246 3150 -3178 3198 4458 -4350 -4502 -3226 -4354 3206 -3174 4406 4278 -3498 3458 4506 3734 -4118 -4502 -4534 -3202 3430 3158 4538 4198 -3650 -4102 3526 -4430 3894 4534 4418 -4326 4506 3830 -3222 -3218 -4542 -4418 -3394 3454 4042 -3458 -4526 3442 -4534 4290 3594 3402 -4514 3214 -4470 -3686 3170 3370 -4430 -4466 3190 3742 -3670 -4526 -3706 3158 3350 -4514 4342 3270 3182 3582 -3966 3250 -4362 3990 3398 4506 4086 3210 4146 3158 3914 4490 -3438 -3190 3382 3762 -3210 4210 3986 3878 -4510 3662 -3694 3674 3598 -3214 4482 -3190 4134 3282 3838 -3818 -3174 -3430 3410 3818 3638 3150 3254 3230 3598 4094 3474 -4382 3658 -4282 3202 3922 4230 4030 4486 4510 3782 -3810 -3182 3714 3990 4490 -3190 3458 3994 3210 3690 4518 4518 -3782 3874 -3678 -4486 3354 4526 -4458 3794 3870 3238 -3190 3514 -3158 -3150 -3426 3398 4142 -3782 -4498 -3738 3354 3746 -3170 3958 4362 3298 -3178 3338 -4530 -4542 -4454 3418 -3590 3694 3878 -3206 -3182 -3326 3914 -3642 -4426 -3510 3518 -4314 3694 3186 -3590 -4490 4314 -3842 3194 -4022 -3698 4522 -3202 -3962 -3502 -4542 -3546 4002 3170 4378 -3882 3266 -4482 -3202 -3170 3162 3430 3910 -3302 3214 3162 -4070 3710 3718 3646 3766 -3646 3290 3698 -4530 -4258 -3578 4118 -4250 -3326 -4186 4542 3346 -3542 -3866 -4470 -4486 3222 3822 3578 3886 3222 4298 4326 -3726 -3178 3154 3602 -3258 3686 3218 -4514 4170 -4542 3518 3246 4030 3282 -3162 3942 3350 -3222 -3162 4390 3978 3654 -3238 -4490 3354 -3970 3794 4370 -3442 4210 3718 4482 -3370 -3410 4074 4458 3254 3678 -3538 -3554 3326 4330 -4430 -4526 -4402 4194 -3206 -4426 -3498 -4310 4482 -4498 3194 -4506 -4538 -3150 -3370 -3962 3150 3254 3818 -3586 3538 3494 3674 3210 -4082 -3634 -3254 -3242 -3174 3950 4486 3198 3430 -4174 -3858 -4050 -4290 3202 3454 -3178 4450 3802 3538 4522 -3658 3770 4450 -3406 -4450 -3238 -3166 3198 -4102 4238 3554 -3218 -3910 3198 -4382 3758 4258 3166 -3454 -3782 4526 -4530 -4306 4518 3254 -3246 4538 3314 -3954 4426 4490 -3786 4406 -3926 4486 4290 -4538 4182 4374 -3982 -3542 -3302 -3434 -3318 3150 4446 -3498 -4034 -4486 -3758 4314 -4210 -3394 -3342 4182 -4034 -3330 -3478 3150 -3354 4470 3462 3786 -4034 4130 -4246 3310 3590 4486 3398 4466 4294 -3330 -4462 4190 3154 -3302 3438 4502 -3246 4030 -3826 4502 -3206 3762 3894 -3286 -3166 3218 3150 -4394 -3326 3482 -3354 -4434 -3154 4258 3338 4510 -3494 -4510 3206 4334 -3174 -3194 -3438 3202 -4490 3434 -3686 3190 -3778 -3398 -3174 -3474 -4382 -4426 3694 4526 4494 -3554 3614 4034 -4130 -3346 3722 -3194 -4282 -3250 4474 -4246 -4334 4242 -4154 3182 3818 3458 -4438 -3278 4474 4182 -3398 -4510 -4122 4542 -3162 -4178 3722 -4502 4514 4362 -4246 4266 -3206 -4182 3714 3454 -3806 3814 4342 -4326 -3270 4342 3354 -3266 -4214 -3386 4270 4502 4274 -3998 3730 -4378 -3194 -4498 3998 3606 3594 -3186 3150 -4314 3174 4122 3222 -3462 4250 3610 4186 3194 -3394 -4358 4434 3154 -3634 3834 -3878 -3426 -3194 3970 -3186 3158 3410 -3334 -4446 -3686 -4466 4474 -3530 -3346 -3826 4458 -3150 4194 -3334 4494 -3178 -4070 -4098 -3290 4454 -4498 -3930 -3722 4306 -4058 -3170 -3882 3358 -4026 -3410 -3206 3386 4358 -3886 4466 -3982 -4186 3458 -3810 -4530 3222 3542 -4394 -3722 3282 -4542 -4378 -3882 -4382 3150 3602 3326 -3302 -4474 4042 -3878 3742 3370 -4034 -4450 -3358 3758 -4358 -3930 -4542 4390 4502 -4202 -3418 -3682 4538 4118 3702 3854 -4398 3958 -3598 -4034 -4326 3186 -4542 -3910 -4502 4082 4258 3170 4358 -3282 4506 4454 3178 3866 3174 3790 -3726 -3614 3186 -3698 -4538 -3186 -4054 -3654 -3674 3250 3190 -3174 3530 -3430 4458 4462 -4498 -4234 3198 -4054 -4354 3258 -3158 3214 -3722 4542 -3314 -3818 -3938 3494 3682 -3622 -3214 3226 -3378 -4346 4494 -4366 3686 -4206 4310 4162 3558 3754 4166 3322 3646 -4222 3730 4542 -3618 4354 3730 4010 -3666 4458 4326 -3358 -4466 4014 -3694 -3962 4514 -4042 -4490 -3258 3766 -4542 -4362 3942 -3850 -3686 3218 -4222 3982 -3546 -3190 -4502 3186 -3258 3182 3966 -3302 -3186 -3318 4318 -3918 3658 -3162 3186 -4002 -3806 3490 -4306 3258 4498 3810 -3254 3582 -4238 -3530 -3218 3186 -4426 4146 3490 4446 -4374 -3950 3606 -4342 3266 -3318 4470 3206 -4538 4534 -3182 -3950 -3254 3582 -3682 3162 3514 3170 4178 4398 3206 3350 3314 4170 -3418 3794 4462 3966 -3370 -4482 4530 -3374 4482 3558 -4462 -4538 4366 -4370 -3190 -3558 4422 -4502 -4486 -4270 -3150 -4082 -4494 3918 -3238 3258 -3726 4494 4418 -3514 -3218 4506 3294 3582 3806 -3694 -3426 4318 -3190 4494 -4474 4514 3166 4502 -3830 -3262 -4466 -3678 -3154 3166 3302 -3462 3450 -4486 4518 -4350 3182 3622 3314 4374 4162 -3994 -4346 -4186 -3394 -4198 -4278 -3242 4450 4510 4154 4154 3602 -3342 3150 3310 4482 -4374 4510 3426 3182 -3622 -3410 -3946 -4218 3998 3906 3314 -3706 3290 3318 4258 -4010 -3274 3970 3994 4502 3786 -4002 -4514 3158 3274 4146 -4486 -3950 -3498 4242 -3950 4406 -3902 -4502 4470 3442 -3838 -4382 -4030 3994 4482 3166 4510 4446 -4494 -3674 -3910 -3750 3814 -3150 4514 -3194 -3190 3154 3226 -4506 4526 3202 -3242 4354 -4274 -4162 4542 -4438 3602 3198 -3610 4166 -3858 3194 -4122 -4178 3298 3150 -3306 3306 -3270 -4538 -3306 4522 -3910 -3498 3162 -3926 4158 4326 3322 4222 3602 4094 -4206 -3282 3154 4426 -4486 -3238 3150 -3834 3838 -3218 3358 -3954 -3202 -3222 3678 -3298 -4158 3274 -4482 3866 3342 3186 -4262 -4538 -4314 4538 3738 -3354 3574 3910 3410 -3778 4518 3442 -4262 3902 3502 3646 -3202 -3150 -4538 -3158 -3966 -4362 3182 -3798 3534 -3514 4034 4082 -3714 -3434 4006 3718 -4538 3570 -3302 -4538 -3326 3374 -4354 3454 4498 -3266 4098 3710 -3582 4514 4058 4118 4506 4186 4534 -4450 -3154 3938 3226 -3470 3162 3162 4010 -4298 3418 4354 -4002 -3378 -3262 -4310 3810 3542 -4494 3802 -3198 3218 4346 -4538 -4126 3526 3198 3190 -3878 -4478 3962 -3798 -4502 -4342 -4402 -4470 4502 3630 4270 3874 -3554 -4542 -4270 4030 3826 -3154 3334 -3154 -4498 -4102 -3466 -3262 4102 -3794 3786 -3422 3306 3230 -4494 -3494 -3346 3854 -3850 4510 -3710 -4346 -4238 3390 -3166 -3222 -3178 4542 4162 -4434 -4534 3266 3170 3214 3470 -3834 -4446 -3394 3714 4530 4466 3654 -3958 4414 -4278 3494 -3230 -3826 -4542 4542 -3154 3562 -4302 -3970 -3166 -3910 -4230 3858 3914 -3962 3838 4050 3230 3154 -4138 -3390 4006 4542 -4162 3190 3458 3238 3958 -4406 -4230 -3766 -3226 -4266 4322 4418 3758 -4286 -4170 3250 -3886 -3754 4418 3946 4350 4462 -4258 3622 -3290 4274 -3998 -4398 -4378 4410 3586 4286 3982 -4218 4170 -3214 -4038 -3718 -3894 3882 3782 -3438 -3186 -3354 -3402 3834 3358 -4510 -4194 -3738 -4178 3794 4286 3150 3682 -3594 3994 -3414 3194 3854 3450 3310 -3674 -3742 -3322 -4542 -3354 -4490 -3222 -3366 -3226 -3238 4242 3574 -4522 3786 3350 3154 -3210 -4186 -3826 -4386 4474 -4478 -3566 4478 -3458 -3682 3238 -4038 4218 4258 -3830 -3238 3190 4534 4382 4386 -3294 -4246 3762 -3190 -4198 3174 -3826 4530 3354 3786 4542 3770 -3190 -4498 -4542 -3274 3598 -3518 4522 -3506 -4542 -3330 -3278 3322 3302 -3194 3574 4542 -4094 -4342 3158 -4342 -4502 4394 4502 -3150 -4022 -4502 3354 3154 -3622 4418 4018 -4486 -4506 3846 -3846 4126 3750 4274 4422 4510 -4538 -3242 3194 -3578 3490 3534 4146 -3622 -4054 4018 -4466 3246 3806 3802 -4534 -3762 3450 -3278 -4346 4326 -4438 -4398 3838 4530 -4498 -3178 3414 -3550 -4310 -3158 4066 3666 4350 3282 4538 -3666 3354 -3410 -3586 3994 4130 3302 -4498 -3418 3882 -4534 3862 -3786 4186 -3434 -3662 -4506 4542 4018 4086 3838 -4074 3150 -4466 -3850 4542 -3626 4438 -4534 3906 3958 3898 4482 -4398 -4318 -3510 -4486 4466 -4138 3182 -3906 3354 3962 3858 3638 4066 -3206 4490 -4418 3650 3150 -3802 -3282 -4298 -3450 4370 4070 3194 -4526 -3914 -4522 -4046 -3202 4430 -3314 -4430 -3398 4474 -3590 -4446 -4290 3890 -3298 -3174 3814 -3150 4126 4530 4386 3162 4478 -4434 3358 -3182 3962 4358 -3966 3878 -4542 -3546 -4498 3214 -4510 3222 -3222 -3494 4306 -4406 -3150 3738 -4458 4062 -4222 -4446 -3214 -4190 4450 -3946 3222 4534 3594 3942 4502 -4466 4218 -4022 3618 -4514 -3578 -3154 4510 -3310 3182 3222 -4462 -3754 -3222 4530 3358 4190 3498 3782 3286 -4202 -3950 -4270 -3758 4258 3914 -4426 3554 3482 -4510 -4330 -3170 -4538 -4530 3198 3734 -4118 -3278 3262 3446 3582 3282 -4082 -3278 4502 -3190 -3794 -3738 4314 3546 4434 -3362 -4126 4462 -4530 4510 3182 -4174 3850 -3214 4542 -3198 3538 -3186 -3150 -3270 3202 4242 4526 -3990 3838 -3818 -4326 -4494 3762 -3190 4338 -3502 -3742 -3826 -4518 4094 3790 3790 3350 -4190 3322 -4406 3706 -3518 -4402 -3326 4542 3874 3158 -3174 4202 3210 -4382 3502 -4442 -3330 -3418 3954 -4442 4234 -4362 4542 3150 3530 -4490 -3522 -4106 -3522 4146 -3150 3302 -3314 -4258 3326 3634 4538 -3938 3350 3582 -4270 4250 4170 3318 -4114 3990 4214 -3762 -4410 3150 -4538 3802 4338 4538 4466 -4150 3910 -4498 -3234 -3942 -4014 -4362 3310 3978 4382 -3162 -4258 -3214 4082 -4490 4158 -3698 4534 -3162 3814 4366 -3918 3458 3698 4274 -3222 -3506 -3978 3174 4242 4082 3318 4494 -4210 3734 -3962 3158 4438 4450 -3274 3150 -3734 4150 -3506 -3150 3262 -4366 -3374 -3490 3790 -3222 -4526 4466 -4426 3150 4542 -4054 3178 -3598 3322 4522 3218 -4534 -4542 -3414 3230 -4030 -3150 3166 3938 -3554 -4238 -4266 -3210 4230 4474 -4522 -3270 -4438 -4386 -3190 -4502 3986 3226 -4010 -3278 4146 3506 -4514 3718 -4218 -4522 -4522 -3878 -4138 -3918 -3286 -4470 -4114 -3282 3946 3206 3682 4182 -3426 3254 -4198 3974 4310 3154 -4438 -3842 4338 4122 -4082 -4010 -4442 -3794 -3198 3942 3238 3286 -3350 -3210 -3222 3842 -4178 3210 -4122 -4002 -3246 -4026 3558 4438 -3666 4470 3978 4486 -4274 3242 -3154 -3626 3246 4070 3534 -3406 3162 4142 -3558 -3822 4058 3250 3450 3686 4318 -3198 -3202 -3154 -4502 3158 3190 -3150 -3238 4314 -3186 -3230 3350 3658 4542 -3538 4490 3158 4006 3918 4474 4514 3178 -3726 4234 -4514 -4402 3386 3286 3238 3370 4510 -4522 -3222 4410 -3646 -4534 3646 4398 4078 -3790 3870 4446 -4542 -3502 -3514 -4498 3898 3618 4266 3202 -4526 -3242 -4286 -4038 -3594 -3158 4474 -4246 -3382 -3846 4042 4342 3538 4070 3958 3318 -4110 -4338 -4238 -3710 3662 -3722 4502 4334 -4142 -3958 4278 3546 -3214 4534 4538 -4526 -4106 3422 3578 -3746 3726 -3690 -3990 4354 -4390 -4330 4426 -3802 -4498 -3742 3618 4006 3722 3154 4346 -3250 -3282 -3558 3218 -4286 -3190 3818 -4390 3678 4526 4526 -3150 -3378 4030 4486 4166 3766 3202 -3718 -3186 -3162 -3202 -3746 -4466 3274 4390 -3334 -3158 3290 4474 -3498 3462 3198 3862 4282 -3482 4350 -3406 -3558 3810 -3302 -4250 -4414 4134 -3310 4538 3610 -3802 3806 -4526 4526 3406 -3486 4366 4202 -3198 -4094 3794 4542 -4262 -3858 -4130 -3654 -4366 4050 -3230 -3410 -4466 -4466 -3330 4022 -4502 -3166 -3470 4402 -4426 -3858 -4290 -4478 4542 4282 3314 4442 -4122 -4230 3418 4030 3218 -4406 -3414 -3838 3274 3446 4322 -4474 3490 3170 -4250 4254 3642 -3978 -4262 -3766 -3906 4138 3550 3198 -3194 4310 -4326 3454 -4498 4542 -4278 3242 3182 -3206 4098 3262 4190 -3990 -3194 4398 3150 4030 -4458 4502 -3942 4366 -3342 -3598 -3178 3174 -3198 4426 -4338 3614 3402 -3874 -4198 4542 -3478 -3198 -3674 4530 4134 -4302 4474 -4374 3174 4146 3718 4542 4186 4490 4526 3334 3202 3474 3434 -3846 3922 3950 4538 -3246 3622 -4214 4230 3622 3878 4030 -3590 3370 -4430 -3386 4306 4058 3586 3170 -3854 3914 3202 -4542 4254 -3470 3218 -4498 -3834 -3618 3766 3150 -4134 3354 3414 3190 -4498 -3162 -4186 3762 -4018 -3202 4414 3922 3982 -4526 4542 -3994 -3762 -4230 3606 4130 -4262 -4138 3270 3738 4486 -3210 -4154 -4450 3182 -3582 -3810 4270 -3550 4510 -4154 -3178 4458 3234 -3878 4102 -3410 3162 4526 3310 4006 3794 -4030 3158 -3382 -3358 4374 -3854 -4526 3658 -4150 3678 -4470 -3906 -3794 4502 -3158 3422 -4146 -3306 4398 -4338 3274 -4538 -3690 3210 4526 -4382 4010 4538 4514 -4502 -3374 -4490 3298 4130 3166 -3170 3514 -4238 -4322 4478 -3994 -3418 4374 3178 -3162 -4446 -4358 -4446 -3174 -3846 4134 -3374 4006 -4538 3266 4506 -4206 3254 3150 -3198 3938 -3162 -3182 -4398 -3778 4330 3518 3778 -3918 -3454 3254 -4442 3162 -3150 -3278 4430 4234 3490 -3706 -3706 -3206 -3838 4346 -4478 3262 4506 3286 -4406 4458 -4298 4358 4426 3986 -3150 -4302 -4190 -4538 4466 -4382 3346 -3390 -4434 -3446 4282 3178 3442 3654 -3950 3254 -3962 4386 -3210 4478 3170 -4542 -3286 -4402 4446 4514 3154 -4346 -3878 3630 -4522 4430 3722 -4002 -3394 -3774 -3850 3734 -3186 -3682 3474 3818 4206 -3690 -4366 -3994 -3194 4542 4210 3154 4358 3354 3834 3306 -4046 -4258 4286 4542 -3222 -3750 -4338 3702 -4302 3154 -3942 3202 -4070 -3242 4274 3994 -3574 3198 3374 3154 4198 -3626 3346 -4494 3582 4458 3210 -4022 -3294 -4390 3962 -4534 3630 -4330 3162 -3534 4126 3158 -3246 3190 -4498 -4446 -4002 3198 3946 -3434 3282 -3594 -3434 -3726 3214 -4186 -3546 3590 -3310 -4362 3294 4518 3462 3986 3722 -3350 4542 -4498 -4146 -4486 -3214 -4486 3230 3734 -3394 4394 -3190 4466 -4266 -3734 -3322 4510 3162 -3190 -3406 -3922 3170 3398 4146 3170 -3270 -3402 4486 3838 3918 -3626 4470 -3306 -3502 -3378 3498 -3642 4542 -4542 -3306 -3206 3574 4390 -3270 -4458 -4310 4542 4486 4526 3422 -3870 -3638 -3618 -4482 -4542 -4378 -3190 -4150 -4146 -3954 -3202 4506 -4166 3602 4538 -3586 -4482 4042 3738 -4010 3870 4218 -4426 3642 4318 -4070 -4402 3814 -4030 -4146 3874 -3634 4394 -4270 4470 3450 -4482 -4370 -4450 4462 3754 -3318 -3182 4486 -3198 4502 -4478 4198 3218 4474 -3398 -3870 3198 3378 -3542 3258 3842 4542 -4466 -3242 3310 3650 3166 3190 -4542 3158 3266 4342 4506 4422 3478 -3622 4466 4174 -4306 -3738 3342 3722 4454 -3682 -3190 -3842 3770 -4342 4502 3946 -3866 -4498 -3330 4358 3386 -3238 4038 -3598 3570 -3358 -3562 4470 -3198 4298 4202 3602 -3594 4514 4410 -4542 3250 3618 -4314 4250 4298 -4542 4334 4334 -3642 3370 4490 3582 -4306 4342 4390 -3626 -3646 3686 -4342 4442 -4502 3510 -3414 -4542 -3150 3810 3154 -4490 -4502 -4390 4506 3918 -4054 4430 -4474 3238 4518 3154 -4522 -4406 4370 3306 -4186 -3518 4082 -4438 -4490 -4418 4506 3246 -3262 -4542 3902 3218 -3810 3562 4502 -3394 -3874 3166 -4454 3942 3458 4522 4466 4286 4478 -3150 3170 -4154 4206 3290 4010 -3346 -3982 -3202 -4002 -3434 4126 -3206 3214 3434 3418 -4278 4258 3154 -3254 -3422 3562 3278 3458 -3166 -3158 -3910 4258 4202 -3278 -3350 -4298 4502 -4202 -4474 3186 3490 -4126 -4010 -3962 -4478 4226 4526 -3830 -3702 3258 3798 4154 4502 3530 4534 -3350 -3318 -4002 3610 4186 3578 -4418 -4106 -3162 -3210 -4302 -4458 3302 3474 -4114 3766 3882 -3214 4126 -3586 3554 -3902 -4502 3150

Verifier Data (download as text)

7130 unsatisfied constraints, 46418 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/node60/watcher-275619-1169223992 -o ROOT/results/node60/solver-275619-1169223992 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275619-1169223992/unknown.xml 

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

/proc/loadavg: 0.92 0.98 1.13 4/65 26763
/proc/meminfo: memFree=1206880/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=1500 CPUtime=0
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 86 0 0 0 0 0 0 0 19 0 1 0 270797142 1536000 68 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5503969 0 0 4096 0 0 0 0 17 1 0 0
/proc/26762/statm: 375 69 55 14 0 8 0

[startup+0.104405 s]
/proc/loadavg: 0.92 0.98 1.13 4/65 26763
/proc/meminfo: memFree=1206880/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=909872 CPUtime=0.06
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 2543 0 1 0 5 1 0 0 22 0 8 0 270797142 931708928 2290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155070547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26762/statm: 227468 2290 1246 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909872

[startup+0.512445 s]
/proc/loadavg: 0.92 0.98 1.13 4/65 26763
/proc/meminfo: memFree=1206880/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915332 CPUtime=0.47
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 7704 0 1 0 42 5 0 0 16 0 8 0 270797142 937299968 7443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228833 7443 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33453 s]
/proc/loadavg: 0.92 0.98 1.13 2/72 26770
/proc/meminfo: memFree=1105512/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915604 CPUtime=1.29
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 31638 0 1 0 115 14 0 0 17 0 8 0 270797142 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26762/statm: 228901 31375 2161 14 0 215371 0
[pid=26762/tid=26764] ppid=26760 vsize=915604 CPUtime=0.13
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 15083 0 0 0 8 5 0 0 16 0 8 0 270797149 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270797150 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915604 CPUtime=0.16
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 406 0 0 0 15 1 0 0 15 0 8 0 270797153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 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.98668 s]
/proc/loadavg: 0.92 0.98 1.13 2/72 26770
/proc/meminfo: memFree=1080232/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915604 CPUtime=2.93
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 35282 0 1 0 276 17 0 0 16 0 8 0 270797142 937578496 35012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5969531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228901 35012 2161 14 0 215371 0
[pid=26762/tid=26764] ppid=26760 vsize=915604 CPUtime=0.33
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 18716 0 0 0 27 6 0 0 16 0 8 0 270797149 937578496 35012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270797150 937578496 35013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937578496 35013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937578496 35013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915604 CPUtime=0.16
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 407 0 0 0 15 1 0 0 16 0 8 0 270797153 937578496 35013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937578496 35013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915604 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937578496 35014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915604

[startup+6.27001 s]
/proc/loadavg: 0.93 0.98 1.13 2/72 26770
/proc/meminfo: memFree=1074664/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=6.22
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 35353 0 1 0 604 18 0 0 18 0 8 0 270797142 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 35082 2181 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=0.33
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 18716 0 0 0 27 6 0 0 16 0 8 0 270797149 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270797150 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.18
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 418 0 0 0 17 1 0 0 16 0 8 0 270797153 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 35082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915744

[startup+12.7507 s]
/proc/loadavg: 0.93 0.98 1.13 2/72 26770
/proc/meminfo: memFree=1074936/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=12.7
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 35355 0 1 0 1252 18 0 0 17 0 8 0 270797142 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 35084 2181 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=0.33
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 18716 0 0 0 27 6 0 0 16 0 8 0 270797149 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270797150 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.18
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 420 0 0 0 17 1 0 0 16 0 8 0 270797153 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 35084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915744

[startup+25.5759 s]
/proc/loadavg: 0.95 0.98 1.13 2/72 26770
/proc/meminfo: memFree=1075128/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=25.52
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 35366 0 1 0 2533 19 0 0 17 0 8 0 270797142 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 35095 2182 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=0.33
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 18716 0 0 0 27 6 0 0 16 0 8 0 270797149 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270797150 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.2
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 270797153 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 35095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915744

[startup+51.2565 s]
/proc/loadavg: 0.96 0.98 1.12 2/72 26770
/proc/meminfo: memFree=1069816/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=51.17
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 36720 0 1 0 5097 20 0 0 19 0 8 0 270797142 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 36447 2182 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=0.4
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 20066 0 0 0 33 7 0 0 16 0 8 0 270797149 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270797150 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.2
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 432 0 0 0 19 1 0 0 16 0 8 0 270797153 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 36447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915744

[startup+102.513 s]
/proc/loadavg: 0.98 0.98 1.11 2/72 26770
/proc/meminfo: memFree=1022264/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=102.4
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49044 0 1 0 10212 28 0 0 25 0 8 0 270797142 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48630 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.26
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 467 0 0 0 25 1 0 0 16 0 8 0 270797153 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 915744

[startup+162.597 s]
/proc/loadavg: 0.99 0.98 1.10 2/72 26770
/proc/meminfo: memFree=1022264/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=162.46
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49047 0 1 0 16216 30 0 0 25 0 8 0 270797142 937721856 48632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2085.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 26852
/proc/meminfo: memFree=1020864/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=2084.53
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49059 0 1 0 208389 64 0 0 25 0 8 0 270797142 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48643 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.28
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 480 0 0 0 27 1 0 0 16 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.53
Current children cumulated vsize (KiB) 915744

[startup+2145.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26968
/proc/meminfo: memFree=1021736/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=2144.46
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49059 0 1 0 214381 65 0 0 25 0 8 0 270797142 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48643 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.28
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 480 0 0 0 27 1 0 0 16 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.46
Current children cumulated vsize (KiB) 915744

[startup+2205.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26968
/proc/meminfo: memFree=1021816/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=2204.53
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49059 0 1 0 220387 66 0 0 25 0 8 0 270797142 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48643 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.28
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 480 0 0 0 27 1 0 0 16 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.53
Current children cumulated vsize (KiB) 915744

[startup+2265.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26968
/proc/meminfo: memFree=1021880/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=2264.6
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49059 0 1 0 226394 66 0 0 25 0 8 0 270797142 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48643 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.28
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 480 0 0 0 27 1 0 0 16 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.6
Current children cumulated vsize (KiB) 915744

[startup+2325.59 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26968
/proc/meminfo: memFree=1021816/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=2324.66
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49059 0 1 0 232400 66 0 0 25 0 8 0 270797142 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48643 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.28
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 480 0 0 0 27 1 0 0 16 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.66
Current children cumulated vsize (KiB) 915744

[startup+2385.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26968
/proc/meminfo: memFree=1021816/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=2384.73
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49059 0 1 0 238406 67 0 0 25 0 8 0 270797142 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48643 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.28
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 480 0 0 0 27 1 0 0 16 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.73
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26968
/proc/meminfo: memFree=1021816/2055920 swapFree=4192812/4192956
[pid=26762] ppid=26760 vsize=915744 CPUtime=2400.04
/proc/26762/stat : 26762 (java) R 26760 26762 25670 0 -1 0 49059 0 1 0 239937 67 0 0 25 0 8 0 270797142 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26762/statm: 228936 48643 2501 14 0 215406 0
[pid=26762/tid=26764] ppid=26760 vsize=915744 CPUtime=1.45
/proc/26762/task/26764/stat : 26764 (java) S 26760 26762 25670 0 -1 64 32003 0 0 0 133 12 0 0 16 0 8 0 270797149 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26765] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26765/stat : 26765 (java) S 26760 26762 25670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26766] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26766/stat : 26766 (java) S 26760 26762 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270797150 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26767] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26767/stat : 26767 (java) S 26760 26762 25670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26768] ppid=26760 vsize=915744 CPUtime=0.28
/proc/26762/task/26768/stat : 26768 (java) S 26760 26762 25670 0 -1 64 480 0 0 0 27 1 0 0 16 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26762/tid=26769] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26769/stat : 26769 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26762/tid=26770] ppid=26760 vsize=915744 CPUtime=0
/proc/26762/task/26770/stat : 26770 (java) S 26760 26762 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270797153 937721856 48643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2401.04
CPU time (s): 2400.1
CPU user time (s): 2399.39
CPU system time (s): 0.706892
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.39
system time used= 0.706892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49083
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= 49638
involuntary context switches= 13923

runsolver used 2.25266 s user time and 6.43802 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Fri Jan 19 16:26:33 UTC 2007


IDJOB= 275619
IDBENCH= 4166
IDSOLVER= 69
FILE ID= node60/275619-1169223992

PBS_JOBID= 3589173

Free space on /tmp= 66556 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f23290b809fa6afaa52593a6e4d3f1f9

RANDOM SEED= 502300427

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.236
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.236
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:       1207360 kB
Buffers:         55272 kB
Cached:         696060 kB
SwapCached:          0 kB
Active:          99180 kB
Inactive:       668488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1207360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9084 kB
Writeback:           0 kB
Mapped:          26504 kB
Slab:            66892 kB
Committed_AS:  5260940 kB
PageTables:       1468 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= 66556 MiB



End job on node60 on Fri Jan 19 17:06:34 UTC 2007