Trace number 275616

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.15 2415.89

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275616-1169223973/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.93	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.93	       =>  wckTime=0.619  cpuTime=0.42  mem=58M778
0.93	   
0.94	   predicates being loaded...
0.94	   
0.94	   constraints being loaded...
61.57	   
61.57	   INFO : Stopping converting binary constraints (cpu=60.12, mem = 117M260)
64.84	     nbConstraints=53548  nbConvertedConstraints=507  nbConvertConstraintsChecks=186864598  nbExtensionStructures=457
64.84	     nbSharedExtensionStructures=50  nbConflictsStructures=457  nbSharedConflictsStructures=50
64.84	     nbSharedBinaryRepresentations=519966  nbEvaluationManagers=12051  nbSharedEvaluationManagers=40990  maxDegree=104
64.84	     maxArity=2
64.84	       =>  wckTime=64.522  cpuTime=62.62  mem=127M68
65.27	   
65.27	   solver LocalSearchSolver being built... 
65.31	       =>  wckTime=64.998  cpuTime=62.67  mem=125M268
66.22	
66.22	s SATISFIABLE
66.22	o 39324
66.22	c 14224
66.64	o 39339
66.64	c 14209
67.01	o 39352
67.01	c 14196
67.42	o 39370
67.42	c 14178
67.73	o 39387
67.73	c 14161
68.09	o 39399
68.09	c 14149
68.36	o 39413
68.36	c 14135
68.63	o 39423
68.63	c 14125
68.83	o 39429
68.83	c 14119
69.01	o 39443
69.01	c 14105
69.21	o 39454
69.21	c 14094
69.48	o 39463
69.48	c 14085
69.65	o 39476
69.65	c 14072
69.96	o 39484
69.96	c 14064
70.14	o 39489
70.14	c 14059
70.38	o 39501
70.38	c 14047
70.80	o 39503
70.80	c 14045
70.96	o 39514
70.96	c 14034
71.31	o 39532
71.31	c 14016
71.79	o 39544
71.79	c 14004
72.08	o 39545
72.08	c 14003
72.36	o 39554
72.36	c 13994
72.58	o 39563
72.58	c 13985
72.69	o 39575
72.69	c 13973
72.88	o 39576
72.88	c 13972
73.02	o 39581
73.02	c 13967
73.14	o 39583
73.14	c 13965
73.22	o 39587
73.22	c 13961
73.38	o 39593
73.38	c 13955
73.53	o 39606
73.53	c 13942
73.81	o 39611
73.81	c 13937
73.94	o 39616
73.94	c 13932
74.04	o 39618
74.04	c 13930
74.32	o 39630
74.32	c 13918
74.54	o 39631
74.54	c 13917
74.83	o 39645
74.83	c 13903
75.07	o 39648
75.07	c 13900
75.28	o 39651
75.28	c 13897
75.74	o 39652
75.74	c 13896
75.90	o 39658
75.90	c 13890
76.05	o 39664
76.05	c 13884
76.21	o 39672
76.21	c 13876
76.45	o 39677
76.45	c 13871
76.58	o 39683
76.58	c 13865
76.77	o 39688
76.77	c 13860
77.01	o 39701
77.01	c 13847
77.25	o 39711
77.25	c 13837
77.51	o 39713
77.51	c 13835
77.72	o 39725
77.72	c 13823
77.87	o 39733
77.87	c 13815
78.05	o 39737
78.05	c 13811
78.24	o 39740
78.24	c 13808
78.47	o 39746
78.47	c 13802
78.65	o 39752
78.65	c 13796
78.80	o 39763
78.80	c 13785
79.03	o 39770
79.03	c 13778
79.35	o 39775
79.35	c 13773
79.53	o 39784
79.53	c 13764
80.36	o 39788
80.36	c 13760
80.56	o 39791
80.56	c 13757
80.73	o 39795
80.73	c 13753
80.98	o 39807
80.98	c 13741
81.16	o 39818
81.16	c 13730
81.58	o 39826
81.58	c 13722
81.84	o 39830
81.84	c 13718
82.06	o 39840
82.06	c 13708
82.33	o 39846
82.33	c 13702
82.61	o 39849
82.61	c 13699
82.91	o 39850
82.91	c 13698
83.29	o 39855
83.29	c 13693
83.53	o 39864
83.53	c 13684
84.11	o 39870
84.11	c 13678
84.40	o 39871
84.40	c 13677
85.03	o 39872
85.03	c 13676
85.36	o 39873
85.36	c 13675
85.96	o 39877
85.96	c 13671
86.25	o 39885
86.25	c 13663
86.79	o 39892
86.79	c 13656
87.05	o 39893
87.05	c 13655
87.29	o 39897
87.29	c 13651
87.54	o 39908
87.54	c 13640
87.79	o 39911
87.79	c 13637
88.05	o 39916
88.05	c 13632
88.31	o 39923
88.31	c 13625
88.52	o 39928
88.52	c 13620
88.78	o 39929
88.78	c 13619
89.03	o 39931
89.03	c 13617
89.28	o 39943
89.28	c 13605
89.50	o 39949
89.50	c 13599
89.73	o 39955
89.73	c 13593
90.06	o 39964
90.06	c 13584
90.45	o 39974
90.45	c 13574
90.83	o 39981
90.83	c 13567
91.17	o 39986
91.18	c 13562
91.52	o 39991
91.52	c 13557
91.89	o 39997
91.89	c 13551
92.20	o 40002
92.20	c 13546
94.30	o 40005
94.30	c 13543
94.88	o 40014
94.88	c 13534
95.12	o 40021
95.12	c 13527
95.43	o 40025
95.43	c 13523
95.67	o 40030
95.67	c 13518
95.95	o 40032
95.95	c 13516
96.19	o 40038
96.19	c 13510
96.44	o 40049
96.44	c 13499
96.69	o 40055
96.69	c 13493
96.97	o 40057
96.97	c 13491
97.17	o 40067
97.17	c 13481
97.48	o 40079
97.48	c 13469
97.68	o 40086
97.68	c 13462
97.97	o 40091
97.97	c 13457
98.16	o 40093
98.16	c 13455
98.32	o 40106
98.32	c 13442
98.58	o 40115
98.58	c 13433
98.84	o 40117
98.84	c 13431
99.09	o 40122
99.09	c 13426
99.36	o 40126
99.36	c 13422
100.31	o 40127
100.31	c 13421
100.66	o 40137
100.66	c 13411
101.04	o 40151
101.04	c 13397
101.40	o 40161
101.40	c 13387
102.06	o 40163
102.06	c 13385
102.42	o 40169
102.42	c 13379
103.18	o 40173
103.18	c 13375
103.54	o 40178
103.54	c 13370
103.88	o 40180
103.88	c 13368
104.28	o 40185
104.28	c 13363
104.64	o 40187
104.64	c 13361
105.02	o 40192
105.02	c 13356
105.41	o 40204
105.41	c 13344
105.76	o 40217
105.76	c 13331
106.08	o 40220
106.08	c 13328
106.40	o 40223
106.40	c 13325
106.72	o 40232
106.72	c 13316
107.08	o 40233
107.08	c 13315
107.40	o 40234
107.40	c 13314
107.73	o 40235
107.73	c 13313
108.00	o 40242
108.00	c 13306
108.81	o 40247
108.81	c 13301
109.11	o 40253
109.11	c 13295
109.47	o 40262
109.47	c 13286
109.82	o 40263
109.82	c 13285
111.85	o 40264
111.85	c 13284
112.94	o 40268
112.94	c 13280
113.30	o 40276
113.30	c 13272
113.65	o 40283
113.65	c 13265
114.05	o 40287
114.05	c 13261
114.43	o 40288
114.43	c 13260
114.78	o 40294
114.78	c 13254
115.21	o 40297
115.21	c 13251
115.60	o 40301
115.60	c 13247
116.08	o 40304
116.08	c 13244
117.33	o 40305
117.33	c 13243
117.80	o 40311
117.80	c 13237
118.31	o 40318
118.31	c 13230
118.72	o 40331
118.72	c 13217
119.09	o 40334
119.09	c 13214
120.22	o 40342
120.22	c 13206
121.26	o 40345
121.26	c 13203
121.91	o 40353
121.91	c 13195
122.19	o 40361
122.19	c 13187
123.09	o 40372
123.09	c 13176
123.47	o 40380
123.47	c 13168
123.89	o 40387
123.89	c 13161
124.33	o 40391
124.33	c 13157
124.72	o 40393
124.72	c 13155
125.15	o 40395
125.15	c 13153
125.61	o 40396
125.61	c 13152
129.01	o 40399
129.01	c 13149
129.41	o 40407
129.41	c 13141
130.75	o 40410
130.75	c 13138
133.90	o 40412
133.90	c 13136
134.29	o 40418
134.29	c 13130
134.63	o 40424
134.63	c 13124
135.12	o 40430
135.12	c 13118
135.58	o 40436
135.58	c 13112
135.94	o 40444
135.94	c 13104
136.36	o 40449
136.36	c 13099
136.70	o 40459
136.70	c 13089
137.13	o 40466
137.13	c 13082
137.49	o 40467
137.49	c 13081
137.89	o 40474
137.89	c 13074
138.25	o 40477
138.25	c 13071
138.58	o 40486
138.58	c 13062
138.90	o 40494
138.90	c 13054
139.26	o 40495
139.26	c 13053
139.60	o 40507
139.60	c 13041
139.91	o 40517
139.91	c 13031
140.19	o 40524
140.19	c 13024
140.48	o 40527
140.48	c 13021
140.84	o 40530
140.84	c 13018
141.14	o 40535
141.14	c 13013
141.45	o 40537
141.45	c 13011
141.76	o 40545
141.76	c 13003
142.07	o 40549
142.07	c 12999
142.35	o 40555
142.35	c 12993
142.62	o 40565
142.62	c 12983
142.87	o 40575
142.87	c 12973
143.16	o 40584
143.16	c 12964
143.46	o 40592
143.46	c 12956
143.78	o 40599
143.78	c 12949
144.11	o 40604
144.11	c 12944
144.40	o 40609
144.40	c 12939
144.69	o 40618
144.69	c 12930
144.96	o 40624
144.96	c 12924
145.22	o 40628
145.22	c 12920
145.51	o 40632
145.51	c 12916
145.88	o 40638
145.88	c 12910
146.23	o 40642
146.23	c 12906
146.54	o 40645
146.54	c 12903
146.88	o 40647
146.88	c 12901
147.25	o 40649
147.25	c 12899
147.55	o 40651
147.55	c 12897
147.78	o 40654
147.78	c 12894
148.08	o 40655
148.08	c 12893
148.41	o 40656
148.41	c 12892
149.13	o 40658
149.13	c 12890
149.41	o 40664
149.41	c 12884
149.83	o 40666
149.83	c 12882
150.15	o 40674
150.15	c 12874
150.60	o 40681
150.60	c 12867
151.04	o 40684
151.04	c 12864
151.95	o 40694
151.95	c 12854
152.28	o 40699
152.28	c 12849
152.79	o 40702
152.79	c 12846
153.27	o 40706
153.27	c 12842
153.77	o 40713
153.77	c 12835
154.27	o 40723
154.27	c 12825
155.38	o 40730
155.38	c 12818
155.96	o 40732
155.96	c 12816
156.43	o 40735
156.43	c 12813
156.96	o 40739
156.96	c 12809
157.55	o 40746
157.55	c 12802
158.15	o 40753
158.15	c 12795
158.76	o 40759
158.76	c 12789
159.36	o 40773
159.36	c 12775
159.92	o 40775
159.92	c 12773
160.47	o 40781
160.47	c 12767
161.03	o 40786
161.03	c 12762
161.58	o 40795
161.58	c 12753
162.13	o 40798
162.13	c 12750
162.65	o 40801
162.65	c 12747
163.16	o 40805
163.16	c 12743
163.65	o 40808
163.65	c 12740
164.15	o 40813
164.15	c 12735
164.64	o 40818
164.64	c 12730
165.14	o 40822
165.14	c 12726
165.64	o 40826
165.64	c 12722
166.13	o 40830
166.13	c 12718
166.63	o 40833
166.63	c 12715
167.15	o 40834
167.15	c 12714
167.66	o 40837
167.66	c 12711
168.18	o 40840
168.18	c 12708
168.68	o 40848
168.68	c 12700
169.22	o 40855
169.22	c 12693
169.68	o 40857
169.68	c 12691
170.16	o 40863
170.16	c 12685
170.59	o 40865
170.59	c 12683
171.05	o 40873
171.05	c 12675
171.54	o 40875
171.54	c 12673
172.05	o 40877
172.05	c 12671
172.56	o 40879
172.56	c 12669
173.09	o 40881
173.09	c 12667
173.57	o 40883
173.57	c 12665
174.11	o 40886
174.11	c 12662
174.59	o 40888
174.59	c 12660
175.09	o 40889
175.09	c 12659
175.60	o 40891
175.60	c 12657
176.10	o 40892
176.10	c 12656
176.59	o 40893
176.59	c 12655
178.20	o 40902
178.20	c 12646
178.71	o 40909
178.71	c 12639
179.30	o 40917
179.30	c 12631
179.90	o 40919
179.90	c 12629
180.54	o 40922
180.54	c 12626
181.09	o 40925
181.09	c 12623
181.66	o 40929
181.66	c 12619
182.25	o 40931
182.25	c 12617
183.86	o 40932
183.86	c 12616
184.39	o 40938
184.39	c 12610
185.02	o 40944
185.02	c 12604
185.56	o 40953
185.56	c 12595
186.05	o 40960
186.05	c 12588
188.25	o 40963
188.25	c 12585
188.73	o 40971
188.73	c 12577
189.26	o 40974
189.26	c 12574
189.78	o 40979
189.78	c 12569
190.36	o 40989
190.36	c 12559
190.89	o 40992
190.89	c 12556
191.42	o 41001
191.42	c 12547
191.96	o 41008
191.96	c 12540
192.53	o 41011
192.53	c 12537
193.00	o 41014
193.00	c 12534
193.45	o 41016
193.45	c 12532
194.09	o 41022
194.09	c 12526
194.59	o 41028
194.59	c 12520
195.13	o 41032
195.13	c 12516
195.65	o 41042
195.65	c 12506
196.18	o 41048
196.18	c 12500
196.73	o 41051
196.73	c 12497
197.26	o 41053
197.26	c 12495
197.80	o 41056
197.80	c 12492
198.39	o 41062
198.39	c 12486
198.97	o 41073
198.97	c 12475
199.60	o 41082
199.60	c 12466
200.17	o 41092
200.17	c 12456
200.79	o 41097
200.79	c 12451
201.38	o 41102
201.38	c 12446
201.99	o 41110
201.99	c 12438
202.55	o 41118
202.55	c 12430
203.08	o 41126
203.12	c 12422
203.63	o 41132
203.63	c 12416
204.21	o 41138
204.21	c 12410
204.88	o 41144
204.88	c 12404
205.51	o 41150
205.51	c 12398
206.14	o 41156
206.14	c 12392
206.74	o 41162
206.74	c 12386
207.37	o 41167
207.37	c 12381
208.03	o 41172
208.03	c 12376
208.67	o 41177
208.67	c 12371
209.29	o 41181
209.29	c 12367
209.92	o 41185
209.92	c 12363
210.54	o 41189
210.54	c 12359
211.15	o 41197
211.15	c 12351
211.80	o 41201
211.80	c 12347
212.46	o 41207
212.46	c 12341
213.08	o 41211
213.08	c 12337
213.64	o 41218
213.64	c 12330
214.28	o 41221
214.28	c 12327
214.87	o 41227
214.87	c 12321
215.45	o 41233
215.45	c 12315
216.09	o 41236
216.09	c 12312
216.66	o 41239
216.66	c 12309
217.24	o 41241
217.24	c 12307
217.89	o 41249
217.89	c 12299
218.46	o 41251
218.46	c 12297
219.03	o 41253
219.03	c 12295
219.66	o 41261
219.66	c 12287
220.22	o 41268
220.22	c 12280
220.78	o 41270
220.78	c 12278
221.36	o 41272
221.36	c 12276
221.92	o 41274
221.92	c 12274
222.53	o 41276
222.53	c 12272
223.64	o 41285
223.64	c 12263
224.21	o 41286
224.21	c 12262
224.74	o 41288
224.74	c 12260
225.32	o 41290
225.32	c 12258
225.87	o 41294
225.87	c 12254
226.47	o 41300
226.47	c 12248
227.02	o 41303
227.02	c 12245
227.57	o 41304
227.57	c 12244
228.09	o 41305
228.09	c 12243
228.63	o 41306
228.63	c 12242
229.66	o 41307
229.66	c 12241
230.21	o 41312
230.21	c 12236
230.71	o 41321
230.71	c 12227
231.29	o 41322
231.29	c 12226
231.81	o 41324
231.81	c 12224
232.90	o 41328
232.90	c 12220
233.43	o 41335
233.43	c 12213
233.90	o 41345
233.90	c 12203
234.42	o 41349
234.42	c 12199
234.96	o 41355
234.96	c 12193
235.44	o 41364
235.44	c 12184
235.92	o 41366
235.93	c 12182
236.35	o 41371
236.35	c 12177
236.95	o 41374
236.95	c 12174
237.53	o 41385
237.53	c 12163
238.06	o 41388
238.06	c 12160
238.59	o 41394
238.59	c 12154
239.18	o 41399
239.18	c 12149
239.73	o 41401
239.73	c 12147
240.32	o 41403
240.32	c 12145
240.82	o 41404
240.82	c 12144
241.31	o 41405
241.31	c 12143
242.30	o 41406
242.31	c 12142
242.86	o 41409
242.86	c 12139
243.36	o 41416
243.36	c 12132
243.95	o 41424
243.95	c 12124
244.49	o 41432
244.49	c 12116
245.11	o 41436
245.11	c 12112
245.66	o 41439
245.66	c 12109
247.59	o 41441
247.59	c 12107
248.11	o 41452
248.11	c 12096
248.69	o 41456
248.69	c 12092
249.32	o 41468
249.32	c 12080
250.65	o 41470
250.65	c 12078
251.83	o 41471
251.83	c 12077
253.26	o 41478
253.26	c 12070
254.01	o 41486
254.01	c 12062
254.74	o 41493
254.74	c 12055
255.49	o 41499
255.49	c 12049
256.21	o 41505
256.21	c 12043
256.99	o 41511
256.99	c 12037
257.78	o 41517
257.78	c 12031
258.53	o 41523
258.53	c 12025
259.29	o 41528
259.29	c 12020
260.05	o 41533
260.05	c 12015
260.81	o 41538
260.81	c 12010
261.59	o 41543
261.59	c 12005
262.35	o 41548
262.35	c 12000
263.12	o 41553
263.12	c 11995
263.91	o 41558
263.91	c 11990
264.65	o 41563
264.65	c 11985
265.48	o 41568
265.48	c 11980
267.06	o 41573
267.06	c 11975
267.96	o 41577
267.96	c 11971
268.70	o 41581
268.70	c 11967
269.55	o 41585
269.55	c 11963
270.36	o 41588
270.36	c 11960
271.11	o 41598
271.11	c 11950
273.31	o 41599
273.31	c 11949
274.05	o 41602
274.05	c 11946
274.85	o 41605
274.85	c 11943
275.63	o 41607
275.63	c 11941
276.38	o 41609
276.38	c 11939
277.09	o 41611
277.09	c 11937
277.84	o 41618
277.84	c 11930
278.48	o 41619
278.48	c 11929
279.15	o 41629
279.15	c 11919
279.86	o 41631
279.86	c 11917
281.01	o 41637
281.01	c 11911
281.67	o 41640
281.67	c 11908
282.38	o 41642
282.38	c 11906
283.08	o 41647
283.08	c 11901
283.69	o 41650
283.69	c 11898
284.31	o 41652
284.31	c 11896
284.89	o 41654
284.89	c 11894
285.41	o 41656
285.41	c 11892
285.89	o 41662
285.89	c 11886
286.93	o 41663
286.93	c 11885
287.47	o 41665
287.47	c 11883
287.95	o 41667
287.95	c 11881
288.43	o 41670
288.43	c 11878
288.93	o 41672
288.93	c 11876
289.50	o 41674
289.50	c 11874
290.02	o 41675
290.02	c 11873
290.55	o 41676
290.55	c 11872
292.13	o 41680
292.13	c 11868
292.62	o 41681
292.62	c 11867
293.18	o 41682
293.18	c 11866
293.71	o 41683
293.71	c 11865
294.22	o 41684
294.22	c 11864
294.79	o 41685
294.79	c 11863
295.32	o 41686
295.32	c 11862
295.83	o 41687
295.83	c 11861
296.32	o 41688
296.32	c 11860
297.34	o 41690
297.34	c 11858
297.85	o 41699
297.85	c 11849
298.82	o 41706
298.82	c 11842
300.32	o 41710
300.32	c 11838
300.87	o 41718
300.87	c 11830
301.34	o 41723
301.34	c 11825
303.63	o 41726
303.63	c 11822
304.08	o 41730
304.08	c 11818
304.84	o 41732
304.84	c 11816
305.20	o 41739
305.20	c 11809
305.57	o 41741
305.57	c 11807
306.31	o 41742
306.31	c 11806
306.67	o 41744
306.67	c 11804
307.03	o 41746
307.03	c 11802
307.43	o 41747
307.43	c 11801
308.17	o 41749
308.17	c 11799
308.54	o 41752
308.54	c 11796
309.41	o 41754
309.41	c 11794
309.86	o 41762
309.86	c 11786
310.42	o 41767
310.42	c 11781
310.96	o 41770
310.96	c 11778
311.57	o 41773
311.57	c 11775
312.11	o 41779
312.11	c 11769
312.71	o 41782
312.71	c 11766
313.19	o 41785
313.19	c 11763
314.11	o 41791
314.11	c 11757
315.09	o 41801
315.09	c 11747
315.60	o 41807
315.60	c 11741
316.11	o 41812
316.11	c 11736
316.67	o 41818
316.67	c 11730
317.16	o 41819
317.16	c 11729
317.72	o 41824
317.72	c 11724
318.29	o 41825
318.29	c 11723
318.87	o 41829
318.87	c 11719
319.42	o 41830
319.42	c 11718
319.95	o 41832
319.95	c 11716
320.43	o 41836
320.43	c 11712
320.98	o 41837
320.98	c 11711
321.49	o 41841
321.49	c 11707
322.02	o 41847
322.02	c 11701
322.52	o 41848
322.52	c 11700
323.02	o 41849
323.02	c 11699
323.55	o 41857
323.55	c 11691
324.13	o 41866
324.13	c 11682
324.68	o 41872
324.68	c 11676
325.17	o 41877
325.17	c 11671
325.72	o 41881
325.72	c 11667
327.30	o 41889
327.30	c 11659
328.47	o 41891
328.47	c 11657
329.14	o 41896
329.14	c 11652
329.77	o 41904
329.77	c 11644
331.05	o 41909
331.05	c 11639
331.59	o 41911
331.59	c 11637
332.18	o 41918
332.18	c 11630
332.75	o 41923
332.75	c 11625
333.36	o 41929
333.36	c 11619
333.95	o 41935
333.95	c 11613
334.53	o 41941
334.53	c 11607
335.15	o 41946
335.15	c 11602
335.73	o 41951
335.73	c 11597
336.36	o 41956
336.36	c 11592
336.95	o 41961
336.95	c 11587
337.53	o 41965
337.53	c 11583
338.12	o 41969
338.12	c 11579
338.75	o 41973
338.75	c 11575
339.99	o 41977
339.99	c 11571
341.17	o 41982
341.17	c 11566
341.76	o 41985
341.76	c 11563
342.40	o 41988
342.40	c 11560
343.02	o 41991
343.02	c 11557
343.62	o 41994
343.62	c 11554
344.22	o 41997
344.22	c 11551
344.80	o 41999
344.80	c 11549
345.40	o 42001
345.40	c 11547
345.98	o 42005
345.98	c 11543
346.62	o 42007
346.62	c 11541
347.18	o 42008
347.18	c 11540
348.32	o 42010
348.32	c 11538
348.87	o 42012
348.87	c 11536
349.43	o 42014
349.43	c 11534
350.05	o 42016
350.05	c 11532
350.64	o 42023
350.64	c 11525
351.18	o 42025
351.18	c 11523
351.74	o 42027
351.74	c 11521
352.27	o 42028
352.27	c 11520
352.81	o 42029
352.81	c 11519
353.36	o 42030
353.36	c 11518
353.89	o 42031
353.89	c 11517
354.46	o 42035
354.46	c 11513
356.51	o 42036
356.51	c 11512
357.01	o 42037
357.01	c 11511
357.46	o 42038
357.46	c 11510
357.92	o 42039
357.92	c 11509
358.42	o 42043
358.42	c 11505
358.89	o 42044
358.89	c 11504
360.35	o 42048
360.35	c 11500
360.85	o 42054
360.85	c 11494
365.14	o 42055
365.14	c 11493
366.08	o 42062
366.08	c 11486
366.61	o 42064
366.61	c 11484
367.16	o 42075
367.16	c 11473
367.70	o 42078
367.70	c 11470
368.21	o 42082
368.21	c 11466
368.74	o 42086
368.74	c 11462
369.32	o 42087
369.32	c 11461
369.77	o 42093
369.77	c 11455
370.30	o 42095
370.30	c 11453
370.74	o 42096
370.74	c 11452
371.68	o 42097
371.68	c 11451
372.20	o 42104
372.20	c 11444
372.72	o 42109
372.72	c 11439
373.25	o 42114
373.25	c 11434
373.76	o 42118
373.76	c 11430
374.35	o 42121
374.35	c 11427
374.87	o 42125
374.87	c 11423
375.44	o 42131
375.44	c 11417
375.96	o 42135
375.96	c 11413
377.00	o 42138
377.00	c 11410
377.55	o 42147
377.55	c 11401
382.26	o 42156
382.26	c 11392
382.89	o 42159
382.89	c 11389
383.53	o 42166
383.53	c 11382
384.21	o 42171
384.21	c 11377
385.49	o 42173
385.49	c 11375
386.16	o 42180
386.16	c 11368
386.81	o 42181
386.81	c 11367
387.45	o 42189
387.45	c 11359
388.08	o 42195
388.08	c 11353
388.71	o 42196
388.71	c 11352
389.34	o 42203
389.34	c 11345
390.62	o 42207
390.62	c 11341
391.23	o 42209
391.23	c 11339
392.52	o 42210
392.52	c 11338
393.16	o 42215
393.16	c 11333
393.79	o 42218
393.79	c 11330
394.38	o 42219
394.38	c 11329
394.99	o 42221
394.99	c 11327
395.57	o 42222
395.57	c 11326
396.23	o 42224
396.23	c 11324
396.88	o 42225
396.88	c 11323
397.52	o 42231
397.52	c 11317
398.15	o 42241
398.15	c 11307
398.80	o 42246
398.80	c 11302
399.49	o 42248
399.49	c 11300
400.14	o 42249
400.14	c 11299
400.76	o 42250
400.76	c 11298
401.35	o 42253
401.35	c 11295
401.98	o 42255
401.98	c 11293
402.63	o 42256
402.63	c 11292
403.20	o 42261
403.20	c 11287
403.82	o 42267
403.82	c 11281
404.41	o 42273
404.41	c 11275
405.71	o 42277
405.71	c 11271
406.39	o 42287
406.39	c 11261
407.01	o 42292
407.01	c 11256
407.67	o 42293
407.67	c 11255
408.23	o 42296
408.23	c 11252
408.91	o 42302
408.91	c 11246
410.16	o 42311
410.16	c 11237
410.78	o 42312
410.78	c 11236
411.38	o 42315
411.38	c 11233
412.10	o 42317
412.10	c 11231
412.78	o 42322
412.78	c 11226
413.44	o 42324
413.44	c 11224
414.83	o 42327
414.83	c 11221
416.21	o 42331
416.21	c 11217
416.92	o 42332
416.92	c 11216
417.60	o 42337
417.60	c 11211
418.31	o 42341
418.31	c 11207
418.96	o 42353
418.96	c 11195
420.39	o 42360
420.39	c 11188
421.17	o 42366
421.17	c 11182
421.79	o 42369
421.79	c 11179
422.50	o 42375
422.50	c 11173
423.20	o 42377
423.20	c 11171
424.76	o 42383
424.76	c 11165
425.55	o 42389
425.55	c 11159
426.30	o 42392
426.30	c 11156
427.10	o 42395
427.10	c 11153
427.85	o 42401
427.85	c 11147
428.60	o 42404
428.60	c 11144
429.43	o 42410
429.43	c 11138
431.06	o 42415
431.06	c 11133
431.84	o 42420
431.84	c 11128
432.63	o 42421
432.63	c 11127
433.42	o 42426
433.42	c 11122
434.22	o 42431
434.22	c 11117
435.75	o 42432
435.76	c 11116
437.26	o 42434
437.26	c 11114
438.06	o 42436
438.06	c 11112
439.60	o 42439
439.60	c 11109
440.37	o 42442
440.37	c 11106
441.15	o 42445
441.15	c 11103
441.90	o 42448
441.90	c 11100
442.65	o 42450
442.65	c 11098
443.45	o 42452
443.45	c 11096
444.23	o 42454
444.23	c 11094
445.01	o 42459
445.01	c 11089
447.86	o 42460
447.86	c 11088
448.60	o 42461
448.60	c 11087
449.28	o 42468
449.28	c 11080
449.99	o 42476
449.99	c 11072
450.69	o 42480
450.69	c 11068
451.42	o 42482
451.42	c 11066
452.80	o 42485
452.80	c 11063
453.48	o 42488
453.48	c 11060
454.18	o 42489
454.18	c 11059
454.82	o 42490
454.82	c 11058
455.50	o 42491
455.50	c 11057
456.17	o 42492
456.17	c 11056
460.22	o 42494
460.22	c 11054
460.85	o 42497
460.85	c 11051
461.49	o 42499
461.49	c 11049
462.20	o 42512
462.20	c 11036
464.31	o 42521
464.31	c 11027
464.98	o 42534
464.98	c 11014
465.63	o 42537
465.63	c 11011
468.14	o 42539
468.14	c 11009
470.02	o 42544
470.02	c 11004
470.62	o 42547
470.62	c 11001
471.24	o 42551
471.24	c 10997
471.88	o 42552
471.88	c 10996
473.11	o 42559
473.11	c 10989
477.85	o 42560
477.85	c 10988
478.46	o 42564
478.46	c 10984
479.81	o 42567
479.81	c 10981
481.57	o 42569
481.57	c 10979
482.80	o 42570
482.80	c 10978
483.35	o 42574
483.35	c 10974
484.53	o 42577
484.53	c 10971
485.72	o 42580
485.72	c 10968
486.29	o 42585
486.29	c 10963
486.91	o 42586
486.91	c 10962
487.50	o 42589
487.50	c 10959
488.09	o 42592
488.09	c 10956
488.61	o 42595
488.61	c 10953
489.79	o 42598
489.79	c 10950
490.40	o 42602
490.40	c 10946
491.04	o 42605
491.04	c 10943
492.33	o 42606
492.33	c 10942
492.96	o 42611
492.97	c 10937
493.57	o 42617
493.57	c 10931
494.16	o 42618
494.16	c 10930
494.72	o 42620
494.72	c 10928
495.29	o 42627
495.29	c 10921
495.88	o 42629
495.88	c 10919
496.40	o 42631
496.40	c 10917
497.01	o 42634
497.01	c 10914
497.52	o 42641
497.52	c 10907
499.08	o 42642
499.08	c 10906
499.71	o 42644
499.71	c 10904
500.27	o 42649
500.27	c 10899
500.94	o 42654
500.94	c 10894
501.60	o 42656
501.60	c 10892
502.16	o 42664
502.16	c 10884
502.71	o 42670
502.71	c 10878
503.26	o 42679
503.26	c 10869
503.83	o 42683
503.83	c 10865
504.40	o 42688
504.40	c 10860
505.52	o 42689
505.52	c 10859
506.12	o 42692
506.12	c 10856
506.68	o 42693
506.68	c 10855
507.31	o 42700
507.31	c 10848
507.84	o 42707
507.84	c 10841
508.46	o 42708
508.46	c 10840
509.02	o 42711
509.02	c 10837
509.57	o 42713
509.57	c 10835
510.14	o 42717
510.14	c 10831
510.71	o 42720
510.71	c 10828
511.24	o 42723
511.24	c 10825
511.87	o 42729
511.87	c 10819
512.47	o 42732
512.47	c 10816
513.61	o 42737
513.61	c 10811
514.23	o 42739
514.23	c 10809
514.82	o 42748
514.82	c 10800
515.43	o 42753
515.43	c 10795
516.66	o 42755
516.66	c 10793
517.32	o 42757
517.32	c 10791
517.89	o 42762
517.89	c 10786
518.55	o 42773
518.55	c 10775
519.21	o 42780
519.21	c 10768
519.85	o 42784
519.85	c 10764
520.47	o 42791
520.47	c 10757
521.18	o 42793
521.18	c 10755
521.87	o 42796
521.87	c 10752
523.26	o 42800
523.26	c 10748
523.97	o 42801
523.97	c 10747
524.70	o 42803
524.70	c 10745
525.44	o 42804
525.44	c 10744
528.27	o 42805
528.27	c 10743
530.51	o 42806
530.51	c 10742
531.23	o 42816
531.23	c 10732
531.97	o 42818
531.97	c 10730
532.74	o 42820
532.74	c 10728
533.46	o 42822
533.46	c 10726
534.17	o 42823
534.17	c 10725
534.96	o 42828
534.96	c 10720
535.72	o 42833
535.72	c 10715
536.59	o 42840
536.59	c 10708
537.38	o 42849
537.38	c 10699
538.18	o 42855
538.18	c 10693
539.00	o 42861
539.00	c 10687
539.76	o 42862
539.76	c 10686
540.51	o 42867
540.51	c 10681
541.28	o 42878
541.28	c 10670
542.04	o 42883
542.04	c 10665
542.81	o 42888
542.81	c 10660
543.57	o 42893
543.57	c 10655
544.31	o 42897
544.32	c 10651
545.12	o 42901
545.12	c 10647
547.24	o 42904
547.24	c 10644
548.61	o 42905
548.61	c 10643
549.35	o 42907
549.35	c 10641
550.00	o 42917
550.00	c 10631
550.72	o 42922
550.72	c 10626
551.39	o 42927
551.39	c 10621
552.05	o 42930
552.05	c 10618
552.74	o 42932
552.74	c 10616
554.14	o 42934
554.14	c 10614
554.89	o 42936
554.89	c 10612
555.62	o 42938
555.62	c 10610
556.35	o 42940
556.35	c 10608
557.07	o 42942
557.07	c 10606
557.82	o 42944
557.82	c 10604
558.50	o 42946
558.50	c 10602
559.21	o 42947
559.21	c 10601
559.94	o 42948
559.94	c 10600
560.65	o 42949
560.65	c 10599
561.35	o 42950
561.35	c 10598
562.06	o 42951
562.06	c 10597
562.75	o 42954
562.75	c 10594
563.54	o 42959
563.54	c 10589
564.26	o 42960
564.26	c 10588
564.95	o 42963
564.95	c 10585
565.63	o 42964
565.63	c 10584
566.30	o 42965
566.30	c 10583
568.99	o 42966
568.99	c 10582
569.64	o 42967
569.64	c 10581
570.97	o 42970
570.97	c 10578
571.61	o 42977
571.61	c 10571
572.24	o 42979
572.24	c 10569
572.91	o 42980
572.91	c 10568
573.58	o 42981
573.58	c 10567
574.25	o 42983
574.25	c 10565
574.90	o 42990
574.90	c 10558
576.25	o 42994
576.25	c 10554
576.88	o 43000
576.88	c 10548
578.12	o 43011
578.12	c 10537
578.70	o 43020
578.70	c 10528
579.84	o 43021
579.84	c 10527
585.53	o 43034
585.53	c 10514
586.18	o 43035
586.18	c 10513
586.79	o 43039
586.79	c 10509
587.43	o 43044
587.43	c 10504
588.02	o 43049
588.02	c 10499
588.65	o 43050
588.65	c 10498
589.26	o 43052
589.26	c 10496
589.96	o 43056
589.96	c 10492
590.57	o 43057
590.57	c 10491
591.84	o 43065
591.84	c 10483
592.47	o 43067
592.47	c 10481
593.70	o 43072
593.70	c 10476
594.34	o 43079
594.34	c 10469
594.93	o 43082
594.93	c 10466
595.57	o 43085
595.57	c 10463
596.23	o 43090
596.23	c 10458
596.84	o 43091
596.84	c 10457
597.46	o 43096
597.46	c 10452
598.05	o 43103
598.05	c 10445
598.74	o 43112
598.74	c 10436
599.42	o 43116
599.42	c 10432
600.07	o 43117
600.07	c 10431
600.64	o 43123
600.64	c 10425
601.26	o 43125
601.26	c 10423
601.92	o 43126
601.92	c 10422
602.56	o 43127
602.56	c 10421
603.23	o 43128
603.23	c 10420
603.90	o 43130
603.90	c 10418
604.58	o 43131
604.58	c 10417
605.22	o 43133
605.22	c 10415
605.91	o 43137
605.91	c 10411
606.57	o 43148
606.57	c 10400
607.95	o 43152
607.95	c 10396
608.68	o 43162
608.68	c 10386
609.90	o 43176
609.90	c 10372
610.54	o 43179
610.54	c 10369
611.18	o 43183
611.18	c 10365
611.83	o 43185
611.83	c 10363
612.50	o 43191
612.50	c 10357
613.19	o 43201
613.19	c 10347
613.97	o 43210
613.97	c 10338
614.71	o 43212
614.71	c 10336
615.44	o 43217
615.44	c 10331
616.15	o 43218
616.15	c 10330
616.93	o 43220
616.93	c 10328
617.65	o 43227
617.65	c 10321
619.85	o 43228
619.85	c 10320
620.58	o 43229
620.58	c 10319
621.30	o 43234
621.30	c 10314
621.98	o 43235
621.98	c 10313
622.71	o 43238
622.71	c 10310
623.45	o 43241
623.45	c 10307
625.01	o 43243
625.01	c 10305
625.73	o 43246
625.73	c 10302
626.51	o 43250
626.51	c 10298
627.26	o 43253
627.26	c 10295
628.09	o 43254
628.09	c 10294
628.81	o 43263
628.81	c 10285
633.38	o 43273
633.38	c 10275
634.16	o 43280
634.16	c 10268
634.86	o 43281
634.86	c 10267
635.58	o 43283
635.58	c 10265
636.33	o 43284
636.33	c 10264
637.04	o 43287
637.04	c 10261
637.73	o 43291
637.73	c 10257
639.30	o 43292
639.30	c 10256
640.12	o 43297
640.12	c 10251
643.19	o 43299
643.19	c 10249
644.02	o 43301
644.02	c 10247
644.84	o 43305
644.84	c 10243
645.70	o 43308
645.70	c 10240
646.57	o 43318
646.57	c 10230
647.42	o 43319
647.42	c 10229
648.21	o 43321
648.21	c 10227
649.05	o 43323
649.05	c 10225
649.90	o 43326
649.90	c 10222
651.56	o 43338
651.56	c 10210
652.34	o 43345
652.34	c 10203
653.16	o 43347
653.16	c 10201
654.88	o 43354
654.88	c 10194
655.57	o 43356
655.57	c 10192
658.60	o 43361
658.60	c 10187
659.36	o 43368
659.36	c 10180
660.21	o 43370
660.21	c 10178
661.86	o 43373
661.86	c 10175
662.68	o 43374
662.68	c 10174
663.46	o 43380
663.46	c 10168
666.64	o 43381
666.64	c 10167
667.41	o 43384
667.41	c 10164
668.18	o 43386
668.18	c 10162
668.95	o 43391
668.95	c 10157
670.57	o 43393
670.57	c 10155
671.37	o 43400
671.37	c 10148
672.20	o 43401
672.20	c 10147
673.79	o 43407
673.79	c 10141
674.64	o 43409
674.64	c 10139
677.15	o 43411
677.15	c 10137
677.96	o 43414
677.96	c 10134
678.77	o 43418
678.77	c 10130
685.07	o 43428
685.07	c 10120
685.83	o 43436
685.83	c 10112
686.63	o 43440
686.63	c 10108
687.41	o 43446
687.41	c 10102
688.17	o 43448
688.17	c 10100
689.71	o 43450
689.71	c 10098
690.48	o 43457
690.48	c 10091
691.31	o 43459
691.31	c 10089
692.10	o 43464
692.10	c 10084
692.76	o 43468
692.76	c 10080
694.22	o 43470
694.22	c 10078
695.07	o 43476
695.07	c 10072
695.84	o 43477
695.84	c 10071
697.44	o 43482
697.44	c 10066
698.17	o 43484
698.17	c 10064
698.96	o 43487
698.96	c 10061
700.51	o 43490
700.51	c 10058
701.31	o 43494
701.31	c 10054
702.13	o 43501
702.13	c 10047
702.91	o 43506
702.91	c 10042
703.71	o 43510
703.71	c 10038
704.49	o 43514
704.49	c 10034
705.28	o 43515
705.28	c 10033
706.09	o 43518
706.09	c 10030
706.96	o 43521
706.96	c 10027
707.77	o 43524
707.77	c 10024
708.58	o 43529
708.58	c 10019
709.35	o 43531
709.35	c 10017
710.13	o 43533
710.13	c 10015
710.92	o 43535
710.92	c 10013
711.70	o 43536
711.70	c 10012
712.49	o 43537
712.49	c 10011
713.32	o 43538
713.32	c 10010
714.09	o 43539
714.09	c 10009
714.88	o 43540
714.88	c 10008
716.52	o 43541
716.52	c 10007
717.34	o 43548
717.34	c 10000
719.03	o 43553
719.04	c 9995
723.00	o 43557
723.00	c 9991
723.79	o 43561
723.79	c 9987
724.66	o 43562
724.66	c 9986
725.50	o 43564
725.50	c 9984
727.20	o 43567
727.20	c 9981
728.03	o 43570
728.03	c 9978
728.89	o 43571
728.89	c 9977
729.72	o 43574
729.72	c 9974
731.40	o 43579
731.40	c 9969
733.07	o 43580
733.07	c 9968
734.03	o 43583
734.03	c 9965
734.98	o 43586
734.98	c 9962
735.92	o 43590
735.92	c 9958
737.59	o 43595
737.59	c 9953
738.34	o 43599
738.34	c 9949
740.05	o 43601
740.05	c 9947
742.75	o 43610
742.75	c 9938
743.65	o 43611
743.65	c 9937
744.54	o 43612
744.54	c 9936
745.40	o 43613
745.40	c 9935
746.32	o 43620
746.32	c 9928
747.22	o 43626
747.22	c 9922
748.11	o 43627
748.11	c 9921
749.07	o 43630
749.07	c 9918
750.01	o 43632
750.01	c 9916
750.98	o 43633
750.98	c 9915
751.95	o 43637
751.95	c 9911
752.93	o 43639
752.93	c 9909
753.59	o 43647
753.59	c 9901
754.52	o 43648
754.52	c 9900
755.47	o 43649
755.47	c 9899
756.45	o 43652
756.45	c 9896
757.42	o 43656
757.42	c 9892
758.46	o 43661
758.46	c 9887
759.45	o 43665
759.45	c 9883
760.40	o 43670
760.40	c 9878
761.35	o 43673
761.35	c 9875
762.35	o 43682
762.35	c 9866
763.34	o 43684
763.34	c 9864
764.28	o 43685
764.28	c 9863
765.17	o 43686
765.17	c 9862
766.09	o 43687
766.09	c 9861
767.05	o 43691
767.05	c 9857
767.98	o 43698
767.98	c 9850
768.95	o 43700
768.95	c 9848
769.91	o 43702
769.92	c 9846
770.90	o 43706
770.90	c 9842
771.90	o 43708
771.90	c 9840
773.93	o 43714
773.93	c 9834
777.07	o 43717
777.07	c 9831
778.12	o 43719
778.12	c 9829
779.20	o 43721
779.20	c 9827
780.23	o 43733
780.23	c 9815
781.29	o 43738
781.29	c 9810
782.38	o 43741
782.38	c 9807
783.45	o 43745
783.45	c 9803
784.46	o 43747
784.46	c 9801
788.46	o 43748
788.46	c 9800
789.46	o 43753
789.46	c 9795
790.45	o 43756
790.45	c 9792
791.51	o 43761
791.51	c 9787
795.53	o 43773
795.53	c 9775
796.47	o 43775
796.47	c 9773
797.47	o 43778
797.47	c 9770
798.50	o 43782
798.50	c 9766
801.56	o 43794
801.56	c 9754
802.58	o 43797
802.58	c 9751
804.51	o 43799
804.51	c 9749
805.49	o 43805
805.49	c 9743
807.44	o 43811
807.44	c 9737
809.46	o 43812
809.46	c 9736
811.47	o 43813
811.47	c 9735
812.52	o 43815
812.52	c 9733
813.54	o 43816
813.54	c 9732
814.57	o 43817
814.57	c 9731
815.57	o 43821
815.57	c 9727
816.54	o 43830
816.54	c 9718
818.60	o 43834
818.60	c 9714
819.69	o 43838
819.69	c 9710
820.68	o 43842
820.68	c 9706
821.75	o 43844
821.75	c 9704
827.68	o 43847
827.68	c 9701
828.71	o 43850
828.71	c 9698
829.69	o 43856
829.69	c 9692
830.66	o 43862
830.66	c 9686
831.65	o 43865
831.65	c 9683
832.61	o 43869
832.61	c 9679
833.58	o 43874
833.58	c 9674
836.60	o 43878
836.60	c 9670
837.61	o 43887
837.61	c 9661
838.63	o 43891
838.63	c 9657
839.63	o 43892
839.63	c 9656
840.63	o 43897
840.63	c 9651
841.60	o 43899
841.60	c 9649
843.56	o 43904
843.56	c 9644
844.51	o 43907
844.51	c 9641
846.45	o 43911
846.45	c 9637
848.35	o 43914
848.35	c 9634
849.27	o 43918
849.27	c 9630
850.21	o 43921
850.21	c 9627
851.12	o 43926
851.12	c 9622
852.84	o 43927
852.84	c 9621
853.64	o 43932
853.64	c 9616
856.26	o 43934
856.26	c 9614
857.23	o 43935
857.23	c 9613
858.12	o 43936
858.12	c 9612
858.98	o 43937
858.98	c 9611
860.69	o 43942
860.69	c 9606
861.57	o 43945
861.57	c 9603
862.47	o 43951
862.47	c 9597
863.38	o 43953
863.38	c 9595
864.26	o 43956
864.26	c 9592
865.21	o 43960
865.21	c 9588
866.15	o 43964
866.15	c 9584
867.13	o 43967
867.13	c 9581
868.06	o 43974
868.06	c 9574
870.78	o 43975
870.78	c 9573
871.66	o 43984
871.66	c 9564
872.61	o 43987
872.61	c 9561
873.52	o 43993
873.52	c 9555
874.39	o 43999
874.39	c 9549
876.19	o 44002
876.19	c 9546
877.06	o 44005
877.06	c 9543
877.95	o 44006
877.95	c 9542
878.86	o 44007
878.86	c 9541
879.79	o 44009
879.79	c 9539
880.71	o 44011
880.71	c 9537
887.07	o 44012
887.07	c 9536
888.86	o 44013
888.86	c 9535
889.74	o 44017
889.74	c 9531
890.56	o 44018
890.56	c 9530
891.39	o 44026
891.39	c 9522
892.28	o 44027
892.28	c 9521
894.03	o 44029
894.03	c 9519
894.93	o 44032
894.93	c 9516
895.83	o 44038
895.83	c 9510
896.68	o 44039
896.68	c 9509
901.07	o 44043
901.07	c 9505
901.96	o 44049
901.96	c 9499
902.81	o 44054
902.81	c 9494
903.72	o 44057
903.72	c 9491
904.57	o 44067
904.57	c 9481
905.46	o 44072
905.46	c 9476
907.14	o 44075
907.14	c 9473
907.99	o 44076
907.99	c 9472
909.77	o 44081
909.77	c 9467
910.65	o 44085
910.65	c 9463
911.53	o 44086
911.53	c 9462
912.42	o 44089
912.42	c 9459
913.30	o 44090
913.30	c 9458
914.14	o 44092
914.14	c 9456
915.02	o 44095
915.02	c 9453
915.93	o 44102
915.93	c 9446
916.77	o 44107
916.77	c 9441
917.60	o 44111
917.60	c 9437
919.28	o 44121
919.28	c 9427
920.17	o 44127
920.17	c 9421
921.97	o 44130
921.97	c 9418
923.70	o 44131
923.70	c 9417
927.17	o 44132
927.17	c 9416
928.08	o 44139
928.08	c 9409
928.90	o 44141
928.90	c 9407
929.82	o 44143
929.82	c 9405
930.61	o 44145
930.61	c 9403
932.38	o 44146
932.38	c 9402
933.29	o 44148
933.29	c 9400
934.11	o 44149
934.11	c 9399
935.03	o 44156
935.03	c 9392
935.90	o 44158
935.90	c 9390
936.75	o 44163
936.75	c 9385
937.68	o 44169
937.68	c 9379
938.60	o 44173
938.60	c 9375
939.54	o 44176
939.54	c 9372
940.47	o 44179
940.47	c 9369
941.37	o 44183
941.37	c 9365
942.25	o 44187
942.26	c 9361
943.18	o 44190
943.18	c 9358
944.06	o 44193
944.06	c 9355
944.97	o 44195
944.97	c 9353
945.88	o 44197
945.88	c 9351
946.75	o 44198
946.75	c 9350
947.61	o 44199
947.61	c 9349
948.50	o 44200
948.50	c 9348
949.39	o 44203
949.39	c 9345
950.25	o 44204
950.25	c 9344
951.19	o 44205
951.19	c 9343
952.14	o 44206
952.14	c 9342
953.12	o 44207
953.12	c 9341
954.06	o 44213
954.06	c 9335
962.06	o 44219
962.06	c 9329
962.92	o 44226
962.92	c 9322
963.81	o 44231
963.81	c 9317
965.56	o 44232
965.56	c 9316
966.41	o 44236
966.41	c 9312
967.29	o 44240
967.29	c 9308
968.17	o 44245
968.17	c 9303
973.42	o 44251
973.42	c 9297
974.27	o 44253
974.27	c 9295
975.14	o 44257
975.14	c 9291
976.04	o 44261
976.04	c 9287
976.86	o 44262
976.86	c 9286
978.60	o 44263
978.60	c 9285
979.44	o 44267
979.44	c 9281
980.22	o 44278
980.22	c 9270
981.04	o 44282
981.04	c 9266
981.90	o 44286
981.90	c 9262
982.71	o 44289
982.71	c 9259
983.52	o 44292
983.52	c 9256
984.37	o 44293
984.37	c 9255
985.20	o 44295
985.20	c 9253
986.06	o 44300
986.06	c 9248
986.88	o 44302
986.88	c 9246
987.68	o 44306
987.68	c 9242
989.37	o 44310
989.37	c 9238
991.14	o 44313
991.14	c 9235
992.03	o 44318
992.03	c 9230
994.69	o 44321
994.69	c 9227
995.55	o 44328
995.55	c 9220
998.13	o 44334
998.13	c 9214
998.57	o 44339
998.57	c 9209
1000.27	o 44341
1000.27	c 9207
1001.16	o 44345
1001.16	c 9203
1001.99	o 44346
1001.99	c 9202
1003.73	o 44351
1003.73	c 9197
1004.60	o 44356
1004.60	c 9192
1005.56	o 44359
1005.56	c 9189
1006.46	o 44362
1006.46	c 9186
1007.83	o 44367
1007.83	c 9181
1008.74	o 44369
1008.74	c 9179
1009.68	o 44373
1009.68	c 9175
1010.58	o 44377
1010.58	c 9171
1012.39	o 44380
1012.39	c 9168
1013.32	o 44382
1013.32	c 9166
1014.22	o 44385
1014.22	c 9163
1015.14	o 44386
1015.14	c 9162
1017.90	o 44393
1017.90	c 9155
1018.59	o 44401
1018.59	c 9147
1022.32	o 44403
1022.32	c 9145
1026.95	o 44406
1026.95	c 9142
1027.89	o 44408
1027.89	c 9140
1028.85	o 44411
1028.85	c 9137
1030.75	o 44412
1030.75	c 9136
1032.34	o 44413
1032.34	c 9135
1033.30	o 44415
1033.30	c 9133
1034.24	o 44418
1034.24	c 9130
1035.16	o 44428
1035.16	c 9120
1036.06	o 44433
1036.06	c 9115
1036.89	o 44437
1036.89	c 9111
1037.83	o 44444
1037.83	c 9104
1042.34	o 44448
1042.34	c 9100
1043.25	o 44453
1043.25	c 9095
1044.19	o 44454
1044.19	c 9094
1046.10	o 44460
1046.10	c 9088
1049.85	o 44464
1049.85	c 9084
1050.77	o 44465
1050.77	c 9083
1051.73	o 44470
1051.73	c 9078
1052.79	o 44471
1052.79	c 9077
1053.73	o 44475
1053.73	c 9073
1054.69	o 44478
1054.69	c 9070
1055.68	o 44480
1055.68	c 9068
1057.73	o 44485
1057.73	c 9063
1058.74	o 44487
1058.74	c 9061
1059.76	o 44489
1059.76	c 9059
1060.80	o 44494
1060.80	c 9054
1061.82	o 44499
1061.82	c 9049
1063.89	o 44500
1063.89	c 9048
1065.00	o 44502
1065.00	c 9046
1066.02	o 44503
1066.02	c 9045
1067.17	o 44504
1067.17	c 9044
1068.26	o 44507
1068.26	c 9041
1069.36	o 44508
1069.36	c 9040
1070.47	o 44509
1070.47	c 9039
1071.68	o 44514
1071.68	c 9034
1072.75	o 44517
1072.75	c 9031
1075.05	o 44520
1075.05	c 9028
1076.16	o 44525
1076.16	c 9023
1077.30	o 44531
1077.30	c 9017
1079.55	o 44534
1079.55	c 9014
1081.74	o 44536
1081.74	c 9012
1082.82	o 44540
1082.82	c 9008
1084.01	o 44541
1084.01	c 9007
1085.13	o 44545
1085.13	c 9003
1087.36	o 44546
1087.36	c 9002
1088.49	o 44549
1088.49	c 8999
1089.63	o 44554
1089.63	c 8994
1090.70	o 44556
1090.70	c 8992
1091.79	o 44558
1091.79	c 8990
1092.89	o 44566
1092.89	c 8982
1094.02	o 44568
1094.02	c 8980
1095.14	o 44569
1095.14	c 8979
1096.32	o 44570
1096.32	c 8978
1097.44	o 44571
1097.44	c 8977
1104.12	o 44573
1104.12	c 8975
1105.16	o 44575
1105.16	c 8973
1106.24	o 44579
1106.24	c 8969
1107.29	o 44582
1107.29	c 8966
1108.29	o 44584
1108.29	c 8964
1109.37	o 44586
1109.37	c 8962
1110.43	o 44587
1110.43	c 8961
1116.68	o 44588
1116.68	c 8960
1117.68	o 44594
1117.68	c 8954
1118.75	o 44598
1118.75	c 8950
1119.78	o 44603
1119.78	c 8945
1120.79	o 44605
1120.79	c 8943
1123.93	o 44607
1123.93	c 8941
1126.03	o 44615
1126.03	c 8933
1128.13	o 44618
1128.13	c 8930
1129.22	o 44623
1129.22	c 8925
1130.23	o 44626
1130.23	c 8922
1132.31	o 44627
1132.31	c 8921
1135.63	o 44629
1135.63	c 8919
1136.76	o 44630
1136.76	c 8918
1140.00	o 44631
1140.00	c 8917
1141.09	o 44634
1141.09	c 8914
1142.23	o 44636
1142.23	c 8912
1143.37	o 44640
1143.37	c 8908
1144.52	o 44647
1144.52	c 8901
1149.13	o 44649
1149.13	c 8899
1150.26	o 44652
1150.26	c 8896
1151.44	o 44662
1151.44	c 8886
1152.65	o 44663
1152.65	c 8885
1153.80	o 44664
1153.80	c 8884
1155.02	o 44666
1155.02	c 8882
1157.40	o 44670
1157.40	c 8878
1158.61	o 44673
1158.61	c 8875
1159.78	o 44676
1159.78	c 8872
1160.97	o 44678
1160.97	c 8870
1162.12	o 44680
1162.12	c 8868
1164.45	o 44684
1164.45	c 8864
1165.57	o 44695
1165.57	c 8853
1166.65	o 44699
1166.65	c 8849
1174.52	o 44702
1174.52	c 8846
1175.67	o 44708
1175.67	c 8840
1176.82	o 44712
1176.82	c 8836
1177.95	o 44715
1177.95	c 8833
1179.13	o 44719
1179.13	c 8829
1180.25	o 44722
1180.25	c 8826
1184.78	o 44731
1184.78	c 8817
1185.87	o 44736
1185.87	c 8812
1186.96	o 44746
1186.96	c 8802
1187.31	o 44756
1187.31	c 8792
1188.35	o 44757
1188.35	c 8791
1189.41	o 44763
1189.41	c 8785
1190.49	o 44770
1190.49	c 8778
1191.60	o 44775
1191.60	c 8773
1192.66	o 44778
1192.66	c 8770
1193.73	o 44780
1193.73	c 8768
1194.77	o 44781
1194.77	c 8767
1195.87	o 44787
1195.87	c 8761
1196.96	o 44788
1196.96	c 8760
1198.08	o 44791
1198.08	c 8757
1200.26	o 44794
1200.26	c 8754
1201.22	o 44802
1201.22	c 8746
1202.26	o 44803
1202.26	c 8745
1203.29	o 44810
1203.30	c 8738
1204.40	o 44813
1204.40	c 8735
1205.43	o 44814
1205.43	c 8734
1206.53	o 44816
1206.53	c 8732
1207.67	o 44817
1207.67	c 8731
1208.73	o 44820
1208.73	c 8728
1209.92	o 44821
1209.92	c 8727
1210.99	o 44825
1210.99	c 8723
1212.08	o 44830
1212.08	c 8718
1213.20	o 44836
1213.20	c 8712
1214.11	o 44838
1214.11	c 8710
1215.28	o 44841
1215.28	c 8707
1216.47	o 44846
1216.47	c 8702
1217.60	o 44849
1217.60	c 8699
1218.75	o 44856
1218.75	c 8692
1219.89	o 44859
1219.89	c 8689
1221.01	o 44862
1221.01	c 8686
1223.33	o 44864
1223.33	c 8684
1224.44	o 44871
1224.44	c 8677
1225.58	o 44880
1225.58	c 8668
1226.67	o 44884
1226.67	c 8664
1228.79	o 44885
1228.79	c 8663
1229.89	o 44888
1229.89	c 8660
1230.99	o 44890
1230.99	c 8658
1232.09	o 44891
1232.09	c 8657
1233.23	o 44896
1233.23	c 8652
1234.34	o 44900
1234.34	c 8648
1235.50	o 44903
1235.50	c 8645
1236.62	o 44905
1236.62	c 8643
1237.76	o 44911
1237.76	c 8637
1238.87	o 44912
1238.87	c 8636
1240.02	o 44913
1240.02	c 8635
1252.63	o 44918
1252.63	c 8630
1253.80	o 44925
1253.80	c 8623
1254.96	o 44926
1254.97	c 8622
1256.12	o 44931
1256.12	c 8617
1257.29	o 44935
1257.29	c 8613
1258.48	o 44944
1258.48	c 8604
1260.80	o 44946
1260.80	c 8602
1261.99	o 44949
1261.99	c 8599
1263.14	o 44960
1263.14	c 8588
1264.30	o 44966
1264.30	c 8582
1265.41	o 44972
1265.41	c 8576
1266.51	o 44974
1266.51	c 8574
1267.70	o 44976
1267.70	c 8572
1271.03	o 44978
1271.03	c 8570
1272.17	o 44981
1272.17	c 8567
1273.24	o 44982
1273.24	c 8566
1275.53	o 44986
1275.53	c 8562
1276.68	o 44989
1276.68	c 8559
1278.84	o 44997
1278.84	c 8551
1279.92	o 44999
1279.92	c 8549
1283.29	o 45001
1283.29	c 8547
1284.45	o 45007
1284.45	c 8541
1285.60	o 45011
1285.60	c 8537
1286.74	o 45015
1286.74	c 8533
1287.88	o 45020
1287.88	c 8528
1289.07	o 45024
1289.07	c 8524
1290.24	o 45029
1290.24	c 8519
1292.59	o 45039
1292.59	c 8509
1293.80	o 45045
1293.80	c 8503
1295.03	o 45050
1295.03	c 8498
1296.25	o 45055
1296.25	c 8493
1297.45	o 45057
1297.45	c 8491
1301.22	o 45058
1301.22	c 8490
1302.45	o 45059
1302.45	c 8489
1303.67	o 45060
1303.67	c 8488
1304.87	o 45068
1304.87	c 8480
1306.16	o 45072
1306.16	c 8476
1307.38	o 45076
1307.38	c 8472
1308.58	o 45083
1308.58	c 8465
1309.79	o 45091
1309.79	c 8457
1311.00	o 45092
1311.00	c 8456
1313.46	o 45094
1313.46	c 8454
1314.44	o 45100
1314.44	c 8448
1315.66	o 45102
1315.66	c 8446
1316.82	o 45103
1316.82	c 8445
1317.96	o 45106
1317.96	c 8442
1320.26	o 45109
1320.26	c 8439
1321.45	o 45114
1321.45	c 8434
1324.52	o 45122
1324.52	c 8426
1325.67	o 45126
1325.67	c 8422
1326.79	o 45131
1326.79	c 8417
1327.89	o 45133
1327.89	c 8415
1328.98	o 45138
1328.98	c 8410
1330.10	o 45142
1330.10	c 8406
1331.22	o 45148
1331.22	c 8400
1332.36	o 45152
1332.36	c 8396
1333.54	o 45157
1333.54	c 8391
1335.89	o 45163
1335.89	c 8385
1337.05	o 45164
1337.05	c 8384
1338.22	o 45167
1338.22	c 8381
1339.43	o 45174
1339.43	c 8374
1340.60	o 45183
1340.60	c 8365
1341.79	o 45185
1341.79	c 8363
1344.18	o 45187
1344.18	c 8361
1345.37	o 45191
1345.37	c 8357
1346.52	o 45192
1346.52	c 8356
1347.70	o 45194
1347.70	c 8354
1348.88	o 45197
1348.88	c 8351
1360.84	o 45199
1360.84	c 8349
1362.08	o 45200
1362.08	c 8348
1363.30	o 45202
1363.30	c 8346
1364.48	o 45205
1364.48	c 8343
1365.65	o 45211
1365.65	c 8337
1366.82	o 45215
1366.82	c 8333
1368.01	o 45216
1368.01	c 8332
1369.20	o 45217
1369.20	c 8331
1371.52	o 45220
1371.52	c 8328
1372.67	o 45222
1372.67	c 8326
1373.83	o 45229
1373.83	c 8319
1376.06	o 45231
1376.06	c 8317
1377.15	o 45235
1377.15	c 8313
1379.42	o 45237
1379.42	c 8311
1380.52	o 45239
1380.52	c 8309
1385.70	o 45240
1385.70	c 8308
1391.98	o 45242
1391.98	c 8306
1393.01	o 45247
1393.01	c 8301
1394.05	o 45248
1394.05	c 8300
1395.07	o 45258
1395.07	c 8290
1396.13	o 45261
1396.13	c 8287
1397.17	o 45264
1397.17	c 8284
1401.23	o 45272
1401.23	c 8276
1403.28	o 45273
1403.28	c 8275
1404.30	o 45274
1404.30	c 8274
1405.42	o 45277
1405.42	c 8271
1406.57	o 45280
1406.57	c 8268
1407.67	o 45284
1407.67	c 8264
1408.75	o 45290
1408.75	c 8258
1409.92	o 45293
1409.92	c 8255
1414.30	o 45299
1414.30	c 8249
1415.45	o 45303
1415.45	c 8245
1417.78	o 45304
1417.78	c 8244
1421.35	o 45305
1421.35	c 8243
1422.55	o 45309
1422.55	c 8239
1423.66	o 45311
1423.66	c 8237
1424.86	o 45312
1424.86	c 8236
1426.01	o 45313
1426.01	c 8235
1430.62	o 45316
1430.62	c 8232
1431.67	o 45319
1431.67	c 8229
1433.83	o 45322
1433.83	c 8226
1434.90	o 45329
1434.90	c 8219
1435.99	o 45331
1435.99	c 8217
1437.16	o 45333
1437.16	c 8215
1440.35	o 45338
1440.35	c 8210
1441.45	o 45339
1441.45	c 8209
1444.79	o 45341
1444.79	c 8207
1445.88	o 45347
1445.88	c 8201
1449.19	o 45348
1449.20	c 8200
1453.64	o 45352
1453.64	c 8196
1454.77	o 45353
1454.77	c 8195
1455.87	o 45356
1455.87	c 8192
1457.01	o 45358
1457.01	c 8190
1458.18	o 45360
1458.18	c 8188
1459.31	o 45361
1459.31	c 8187
1460.48	o 45365
1460.48	c 8183
1461.67	o 45366
1461.67	c 8182
1462.82	o 45368
1462.82	c 8180
1464.00	o 45372
1464.00	c 8176
1466.35	o 45377
1466.35	c 8171
1467.20	o 45382
1467.20	c 8166
1468.27	o 45385
1468.27	c 8163
1469.38	o 45386
1469.38	c 8162
1470.47	o 45387
1470.47	c 8161
1471.57	o 45390
1471.57	c 8158
1472.63	o 45393
1472.63	c 8155
1476.93	o 45397
1476.93	c 8151
1478.04	o 45401
1478.04	c 8147
1479.18	o 45408
1479.18	c 8140
1480.23	o 45410
1480.23	c 8138
1482.37	o 45414
1482.37	c 8134
1484.49	o 45415
1484.49	c 8133
1486.59	o 45420
1486.59	c 8128
1487.61	o 45425
1487.61	c 8123
1488.65	o 45429
1488.65	c 8119
1489.70	o 45433
1489.70	c 8115
1490.73	o 45435
1490.73	c 8113
1491.75	o 45439
1491.76	c 8109
1492.80	o 45440
1492.80	c 8108
1493.83	o 45441
1493.83	c 8107
1494.87	o 45444
1494.87	c 8104
1495.92	o 45448
1495.92	c 8100
1496.98	o 45450
1496.98	c 8098
1498.02	o 45451
1498.02	c 8097
1499.06	o 45458
1499.06	c 8090
1500.16	o 45461
1500.16	c 8087
1501.22	o 45462
1501.22	c 8086
1504.42	o 45464
1504.42	c 8084
1505.46	o 45467
1505.46	c 8081
1506.51	o 45472
1506.51	c 8076
1507.62	o 45478
1507.62	c 8070
1508.70	o 45482
1508.70	c 8066
1511.86	o 45486
1511.86	c 8062
1513.90	o 45489
1513.90	c 8059
1516.00	o 45493
1516.00	c 8055
1517.07	o 45495
1517.07	c 8053
1518.12	o 45500
1518.12	c 8048
1519.13	o 45504
1519.13	c 8044
1520.19	o 45507
1520.19	c 8041
1521.21	o 45509
1521.21	c 8039
1522.29	o 45510
1522.29	c 8038
1526.46	o 45512
1526.46	c 8036
1527.48	o 45516
1527.48	c 8032
1528.51	o 45518
1528.51	c 8030
1529.54	o 45524
1529.54	c 8024
1530.52	o 45527
1530.52	c 8021
1531.53	o 45535
1531.53	c 8013
1532.51	o 45536
1532.51	c 8012
1533.47	o 45537
1533.47	c 8011
1535.45	o 45538
1535.45	c 8010
1536.48	o 45542
1536.48	c 8006
1537.51	o 45547
1537.51	c 8001
1538.59	o 45548
1538.59	c 8000
1541.64	o 45554
1541.64	c 7994
1543.66	o 45558
1543.66	c 7990
1544.66	o 45562
1544.66	c 7986
1545.69	o 45563
1545.69	c 7985
1546.67	o 45567
1546.67	c 7981
1547.69	o 45570
1547.69	c 7978
1549.64	o 45575
1549.64	c 7973
1550.64	o 45579
1550.64	c 7969
1551.69	o 45580
1551.69	c 7968
1552.72	o 45585
1552.72	c 7963
1553.80	o 45588
1553.80	c 7960
1554.86	o 45592
1554.86	c 7956
1555.93	o 45594
1555.93	c 7954
1557.02	o 45596
1557.02	c 7952
1558.03	o 45597
1558.03	c 7951
1560.16	o 45600
1560.16	c 7948
1561.24	o 45601
1561.24	c 7947
1563.33	o 45602
1563.33	c 7946
1565.48	o 45603
1565.48	c 7945
1567.58	o 45605
1567.58	c 7943
1568.67	o 45606
1568.67	c 7942
1569.82	o 45607
1569.82	c 7941
1570.89	o 45611
1570.89	c 7937
1571.99	o 45614
1571.99	c 7934
1573.09	o 45619
1573.09	c 7929
1574.18	o 45627
1574.18	c 7921
1575.20	o 45632
1575.20	c 7916
1575.73	o 45636
1575.73	c 7912
1576.78	o 45638
1576.78	c 7910
1577.84	o 45639
1577.84	c 7909
1578.93	o 45642
1578.93	c 7906
1579.94	o 45644
1579.94	c 7904
1580.97	o 45646
1580.97	c 7902
1581.95	o 45647
1581.95	c 7901
1582.91	o 45648
1582.91	c 7900
1583.91	o 45651
1583.91	c 7897
1587.00	o 45653
1587.00	c 7895
1587.97	o 45660
1587.97	c 7888
1588.94	o 45662
1588.94	c 7886
1591.88	o 45667
1591.88	c 7881
1592.86	o 45669
1592.86	c 7879
1593.77	o 45671
1593.77	c 7877
1594.77	o 45674
1594.77	c 7874
1596.76	o 45676
1596.76	c 7872
1597.69	o 45678
1597.69	c 7870
1598.63	o 45681
1598.63	c 7867
1599.61	o 45682
1599.61	c 7866
1600.59	o 45683
1600.59	c 7865
1601.59	o 45684
1601.59	c 7864
1602.58	o 45688
1602.58	c 7860
1603.54	o 45695
1603.54	c 7853
1604.57	o 45698
1604.57	c 7850
1605.62	o 45700
1605.62	c 7848
1606.60	o 45702
1606.60	c 7846
1609.32	o 45705
1609.32	c 7843
1610.30	o 45707
1610.30	c 7841
1611.35	o 45709
1611.35	c 7839
1612.33	o 45711
1612.33	c 7837
1613.36	o 45716
1613.36	c 7832
1614.33	o 45718
1614.33	c 7830
1615.32	o 45720
1615.32	c 7828
1616.41	o 45722
1616.41	c 7826
1617.42	o 45724
1617.42	c 7824
1621.42	o 45726
1621.42	c 7822
1622.45	o 45727
1622.45	c 7821
1627.74	o 45729
1627.74	c 7819
1630.96	o 45731
1630.96	c 7817
1633.04	o 45733
1633.04	c 7815
1634.10	o 45736
1634.10	c 7812
1635.20	o 45739
1635.20	c 7809
1636.27	o 45741
1636.27	c 7807
1637.38	o 45742
1637.38	c 7806
1638.41	o 45743
1638.41	c 7805
1642.72	o 45750
1642.72	c 7798
1643.80	o 45753
1643.80	c 7795
1644.89	o 45754
1644.89	c 7794
1647.06	o 45758
1647.06	c 7790
1647.67	o 45762
1647.67	c 7786
1649.89	o 45763
1649.89	c 7785
1650.99	o 45764
1650.99	c 7784
1653.25	o 45771
1653.25	c 7777
1655.48	o 45773
1655.48	c 7775
1657.69	o 45774
1657.69	c 7774
1659.86	o 45775
1659.86	c 7773
1660.92	o 45778
1660.92	c 7770
1661.98	o 45780
1661.98	c 7768
1666.04	o 45781
1666.04	c 7767
1669.12	o 45785
1669.12	c 7763
1670.18	o 45788
1670.18	c 7760
1672.26	o 45789
1672.26	c 7759
1673.29	o 45795
1673.29	c 7753
1676.42	o 45799
1676.42	c 7749
1677.47	o 45800
1677.47	c 7748
1678.49	o 45803
1678.49	c 7745
1679.51	o 45806
1679.51	c 7742
1680.42	o 45813
1680.42	c 7735
1682.53	o 45820
1682.53	c 7728
1683.56	o 45822
1683.56	c 7726
1685.66	o 45828
1685.66	c 7720
1686.76	o 45835
1686.76	c 7713
1687.84	o 45836
1687.84	c 7712
1688.88	o 45837
1688.88	c 7711
1689.97	o 45840
1689.97	c 7708
1691.05	o 45843
1691.05	c 7705
1693.23	o 45849
1693.23	c 7699
1694.31	o 45851
1694.31	c 7697
1695.33	o 45856
1695.33	c 7692
1696.39	o 45857
1696.39	c 7691
1698.47	o 45860
1698.47	c 7688
1699.48	o 45862
1699.48	c 7686
1702.65	o 45868
1702.65	c 7680
1703.71	o 45875
1703.71	c 7673
1705.83	o 45882
1705.83	c 7666
1706.88	o 45883
1706.88	c 7665
1708.98	o 45886
1708.98	c 7662
1710.09	o 45889
1710.09	c 7659
1711.16	o 45894
1711.16	c 7654
1723.22	o 45898
1723.22	c 7650
1724.32	o 45900
1724.32	c 7648
1725.41	o 45905
1725.41	c 7643
1727.68	o 45908
1727.68	c 7640
1728.81	o 45910
1728.81	c 7638
1733.40	o 45911
1733.40	c 7637
1734.50	o 45916
1734.50	c 7632
1737.94	o 45917
1737.94	c 7631
1739.09	o 45919
1739.09	c 7629
1740.30	o 45920
1740.30	c 7628
1741.52	o 45923
1741.52	c 7625
1742.67	o 45929
1742.67	c 7619
1743.89	o 45933
1743.89	c 7615
1745.10	o 45934
1745.10	c 7614
1747.50	o 45935
1747.50	c 7613
1749.86	o 45938
1749.86	c 7610
1751.01	o 45941
1751.01	c 7607
1752.20	o 45944
1752.20	c 7604
1757.99	o 45947
1757.99	c 7601
1759.20	o 45949
1759.20	c 7599
1760.40	o 45952
1760.40	c 7596
1761.49	o 45956
1761.49	c 7592
1762.70	o 45959
1762.70	c 7589
1771.18	o 45962
1771.27	c 7586
1772.37	o 45963
1772.37	c 7585
1773.56	o 45964
1773.56	c 7584
1774.79	o 45966
1774.79	c 7582
1776.00	o 45967
1776.00	c 7581
1777.18	o 45974
1777.18	c 7574
1778.41	o 45976
1778.41	c 7572
1779.55	o 45978
1779.55	c 7570
1780.77	o 45980
1780.77	c 7568
1781.94	o 45984
1781.94	c 7564
1783.14	o 45986
1783.14	c 7562
1784.32	o 45990
1784.32	c 7558
1785.48	o 45992
1785.48	c 7556
1786.71	o 45993
1786.71	c 7555
1787.89	o 45997
1787.89	c 7551
1790.30	o 45998
1790.30	c 7550
1791.50	o 46003
1791.50	c 7545
1792.17	o 46006
1792.17	c 7542
1793.38	o 46007
1793.38	c 7541
1795.66	o 46008
1795.66	c 7540
1799.10	o 46010
1799.10	c 7538
1800.27	o 46013
1800.27	c 7535
1801.43	o 46020
1801.43	c 7528
1802.24	o 46029
1802.24	c 7519
1805.72	o 46032
1805.72	c 7516
1806.86	o 46033
1806.86	c 7515
1808.06	o 46035
1808.06	c 7513
1809.34	o 46036
1809.34	c 7512
1810.62	o 46038
1810.62	c 7510
1811.78	o 46040
1811.78	c 7508
1813.00	o 46043
1813.00	c 7505
1814.26	o 46045
1814.26	c 7503
1815.48	o 46049
1815.48	c 7499
1827.89	o 46053
1827.89	c 7495
1829.19	o 46056
1829.19	c 7492
1830.49	o 46058
1830.49	c 7490
1831.73	o 46061
1831.73	c 7487
1834.24	o 46064
1834.24	c 7484
1835.49	o 46068
1835.49	c 7480
1836.70	o 46071
1836.70	c 7477
1837.94	o 46075
1837.94	c 7473
1839.18	o 46076
1839.18	c 7472
1841.65	o 46080
1841.65	c 7468
1842.86	o 46084
1842.86	c 7464
1844.09	o 46090
1844.09	c 7458
1846.56	o 46092
1846.56	c 7456
1847.76	o 46093
1847.76	c 7455
1848.98	o 46094
1848.98	c 7454
1850.25	o 46097
1850.25	c 7451
1851.51	o 46101
1851.51	c 7447
1852.70	o 46105
1852.70	c 7443
1853.95	o 46111
1853.95	c 7437
1855.13	o 46113
1855.13	c 7435
1856.31	o 46118
1856.31	c 7430
1857.48	o 46120
1857.48	c 7428
1858.73	o 46121
1858.73	c 7427
1859.91	o 46122
1859.91	c 7426
1861.08	o 46125
1861.08	c 7423
1862.29	o 46129
1862.29	c 7419
1864.82	o 46132
1864.82	c 7416
1866.09	o 46134
1866.09	c 7414
1867.30	o 46138
1867.30	c 7410
1868.55	o 46143
1868.55	c 7405
1869.81	o 46145
1869.81	c 7403
1871.07	o 46146
1871.07	c 7402
1877.36	o 46147
1877.36	c 7401
1879.93	o 46150
1879.93	c 7398
1882.40	o 46152
1882.40	c 7396
1883.67	o 46155
1883.67	c 7393
1884.98	o 46161
1884.98	c 7387
1887.47	o 46166
1887.47	c 7382
1892.66	o 46170
1892.66	c 7378
1893.96	o 46171
1893.96	c 7377
1895.20	o 46173
1895.20	c 7375
1897.76	o 46174
1897.76	c 7374
1899.05	o 46178
1899.05	c 7370
1901.65	o 46179
1901.65	c 7369
1904.31	o 46182
1904.31	c 7366
1905.63	o 46188
1905.63	c 7360
1906.53	o 46193
1906.53	c 7355
1907.83	o 46200
1907.83	c 7348
1908.76	o 46205
1908.76	c 7343
1910.05	o 46209
1910.05	c 7339
1911.37	o 46210
1911.37	c 7338
1913.95	o 46214
1913.95	c 7334
1915.22	o 46215
1915.22	c 7333
1916.53	o 46218
1916.53	c 7330
1917.78	o 46221
1917.79	c 7327
1919.11	o 46222
1919.11	c 7326
1920.39	o 46224
1920.39	c 7324
1922.97	o 46233
1922.97	c 7315
1924.26	o 46234
1924.26	c 7314
1925.56	o 46237
1925.56	c 7311
1926.83	o 46240
1926.83	c 7308
1929.41	o 46241
1929.41	c 7307
1930.69	o 46242
1930.69	c 7306
1933.30	o 46246
1933.30	c 7302
1935.90	o 46247
1935.90	c 7301
1937.22	o 46251
1937.22	c 7297
1942.14	o 46252
1942.14	c 7296
1943.42	o 46258
1943.42	c 7290
1944.75	o 46260
1944.75	c 7288
1946.04	o 46263
1946.04	c 7285
1947.29	o 46269
1947.29	c 7279
1949.83	o 46270
1949.83	c 7278
1951.06	o 46271
1951.06	c 7277
1952.17	o 46278
1952.17	c 7270
1953.36	o 46282
1953.36	c 7266
1955.88	o 46286
1955.88	c 7262
1957.10	o 46287
1957.10	c 7261
1958.31	o 46288
1958.31	c 7260
1959.60	o 46289
1959.60	c 7259
1960.85	o 46292
1960.85	c 7256
1962.08	o 46299
1962.08	c 7249
1963.33	o 46302
1963.33	c 7246
1965.82	o 46303
1965.82	c 7245
1968.32	o 46309
1968.33	c 7239
1969.53	o 46310
1969.53	c 7238
1972.04	o 46312
1972.04	c 7236
1973.30	o 46314
1973.30	c 7234
1974.57	o 46315
1974.57	c 7233
1975.79	o 46324
1975.80	c 7224
1979.61	o 46325
1979.61	c 7223
1980.87	o 46330
1980.87	c 7218
1982.11	o 46331
1982.11	c 7217
1984.57	o 46333
1984.57	c 7215
1985.84	o 46338
1985.84	c 7210
1987.11	o 46342
1987.11	c 7206
1988.37	o 46343
1988.37	c 7205
1989.68	o 46344
1989.68	c 7204
1990.91	o 46347
1990.91	c 7201
1993.40	o 46349
1993.40	c 7199
1995.94	o 46356
1995.94	c 7192
2008.31	o 46359
2008.31	c 7189
2012.05	o 46361
2012.05	c 7187
2013.35	o 46365
2013.35	c 7183
2014.62	o 46369
2014.62	c 7179
2015.94	o 46371
2015.94	c 7177
2017.28	o 46372
2017.28	c 7176
2019.81	o 46377
2019.81	c 7171
2021.07	o 46380
2021.07	c 7168
2022.45	o 46381
2022.45	c 7167
2026.31	o 46383
2026.31	c 7165
2027.58	o 46385
2027.58	c 7163
2028.86	o 46389
2028.86	c 7159
2031.41	o 46393
2031.41	c 7155
2032.64	o 46394
2032.64	c 7154
2033.93	o 46397
2033.93	c 7151
2036.46	o 46401
2036.46	c 7147
2037.75	o 46404
2037.75	c 7144
2039.05	o 46407
2039.05	c 7141
2040.32	o 46408
2040.32	c 7140
2041.70	o 46409
2041.70	c 7139
2042.93	o 46413
2042.93	c 7135
2044.25	o 46414
2044.25	c 7134
2045.62	o 46415
2045.62	c 7133
2048.27	o 46416
2048.27	c 7132
2049.60	o 46419
2049.60	c 7129
2053.61	o 46421
2053.61	c 7127
2056.32	o 46424
2056.32	c 7124
2057.68	o 46426
2057.68	c 7122
2059.03	o 46429
2059.03	c 7119
2060.33	o 46431
2060.33	c 7117
2061.67	o 46433
2061.67	c 7115
2063.05	o 46436
2063.05	c 7112
2064.34	o 46441
2064.34	c 7107
2068.50	o 46443
2068.50	c 7105
2069.80	o 46444
2069.80	c 7104
2071.21	o 46448
2071.21	c 7100
2072.57	o 46452
2072.57	c 7096
2075.30	o 46455
2075.30	c 7093
2076.59	o 46459
2076.59	c 7089
2077.99	o 46461
2077.99	c 7087
2080.78	o 46463
2080.78	c 7085
2082.19	o 46464
2082.19	c 7084
2083.60	o 46465
2083.60	c 7083
2085.02	o 46468
2085.02	c 7080
2086.47	o 46472
2086.47	c 7076
2087.88	o 46473
2087.88	c 7075
2089.32	o 46476
2089.32	c 7072
2090.80	o 46482
2090.80	c 7066
2093.77	o 46486
2093.77	c 7062
2095.26	o 46492
2095.26	c 7056
2096.71	o 46496
2096.71	c 7052
2101.10	o 46497
2101.10	c 7051
2102.60	o 46498
2102.60	c 7050
2104.02	o 46507
2104.02	c 7041
2105.49	o 46510
2105.49	c 7038
2108.44	o 46512
2108.44	c 7036
2112.85	o 46514
2112.85	c 7034
2114.29	o 46517
2114.29	c 7031
2117.14	o 46524
2117.14	c 7024
2119.95	o 46527
2119.95	c 7021
2121.38	o 46528
2121.38	c 7020
2129.71	o 46529
2129.71	c 7019
2131.13	o 46530
2131.13	c 7018
2132.54	o 46532
2132.54	c 7016
2138.28	o 46534
2138.28	c 7014
2141.13	o 46537
2141.13	c 7011
2142.63	o 46540
2142.63	c 7008
2147.02	o 46544
2147.02	c 7004
2151.44	o 46547
2151.44	c 7001
2152.81	o 46548
2152.81	c 7000
2154.25	o 46553
2154.25	c 6995
2155.67	o 46557
2155.67	c 6991
2157.08	o 46559
2157.08	c 6989
2158.50	o 46560
2158.50	c 6988
2166.75	o 46561
2166.75	c 6987
2171.07	o 46562
2171.07	c 6986
2173.95	o 46564
2173.95	c 6984
2175.41	o 46566
2175.41	c 6982
2176.85	o 46567
2176.85	c 6981
2178.28	o 46570
2178.28	c 6978
2179.73	o 46571
2179.73	c 6977
2181.20	o 46575
2181.20	c 6973
2194.29	o 46580
2194.29	c 6968
2197.18	o 46582
2197.18	c 6966
2198.63	o 46586
2198.63	c 6962
2200.05	o 46590
2200.05	c 6958
2201.55	o 46595
2201.55	c 6953
2204.60	o 46597
2204.60	c 6951
2206.10	o 46599
2206.10	c 6949
2207.63	o 46604
2207.63	c 6944
2209.17	o 46610
2209.17	c 6938
2210.66	o 46614
2210.66	c 6934
2212.17	o 46615
2212.17	c 6933
2215.18	o 46616
2215.18	c 6932
2216.67	o 46617
2216.67	c 6931
2218.21	o 46618
2218.21	c 6930
2219.71	o 46620
2219.71	c 6928
2224.46	o 46621
2224.46	c 6927
2225.75	o 46627
2225.75	c 6921
2227.31	o 46632
2227.31	c 6916
2228.49	o 46643
2228.49	c 6905
2230.06	o 46648
2230.06	c 6900
2231.59	o 46652
2231.59	c 6896
2233.02	o 46656
2233.02	c 6892
2235.94	o 46660
2235.94	c 6888
2237.49	o 46663
2237.49	c 6885
2239.06	o 46665
2239.06	c 6883
2243.83	o 46670
2243.83	c 6878
2255.06	o 46672
2255.06	c 6876
2259.88	o 46673
2259.88	c 6875
2261.48	o 46674
2261.48	c 6874
2264.65	o 46676
2264.65	c 6872
2266.35	o 46677
2266.35	c 6871
2267.97	o 46681
2267.97	c 6867
2269.65	o 46683
2269.65	c 6865
2271.31	o 46689
2271.31	c 6859
2273.00	o 46690
2273.00	c 6858
2274.62	o 46691
2274.62	c 6857
2282.75	o 46693
2282.75	c 6855
2284.43	o 46696
2284.43	c 6852
2289.47	o 46698
2289.47	c 6850
2292.80	o 46700
2292.80	c 6848
2296.12	o 46707
2296.12	c 6841
2297.76	o 46709
2297.76	c 6839
2299.38	o 46711
2299.38	c 6837
2302.63	o 46715
2302.63	c 6833
2304.23	o 46717
2304.23	c 6831
2305.92	o 46720
2305.92	c 6828
2309.12	o 46722
2309.12	c 6826
2310.79	o 46723
2310.79	c 6825
2318.93	o 46726
2318.93	c 6822
2320.53	o 46728
2320.53	c 6820
2323.73	o 46732
2323.73	c 6816
2326.95	o 46737
2326.95	c 6811
2328.54	o 46744
2328.54	c 6804
2338.14	o 46751
2338.14	c 6797
2339.69	o 46755
2339.69	c 6793
2341.24	o 46757
2341.24	c 6791
2342.84	o 46761
2342.84	c 6787
2344.35	o 46764
2344.35	c 6784
2347.45	o 46767
2347.45	c 6781
2349.02	o 46768
2349.02	c 6780
2352.16	o 46769
2352.16	c 6779
2353.72	o 46771
2353.72	c 6777
2366.21	o 46774
2366.21	c 6774
2367.78	o 46777
2367.78	c 6771
2381.64	o 46778
2381.64	c 6770
2383.15	o 46780
2383.18	c 6768
2384.71	o 46782
2384.71	c 6766
2386.27	o 46785
2386.27	c 6763
2387.82	o 46788
2387.82	c 6760
2389.40	o 46789
2389.40	c 6759
2390.93	o 46792
2390.93	c 6756
2393.91	o 46793
2393.91	c 6755
2399.76	o 46798
2399.76	c 6750
2401.26	o 46801
2401.26	c 6747
2402.79	o 46804
2402.79	c 6744
2404.26	o 46805
2404.26	c 6743
2405.76	o 46806
2405.76	c 6742
2407.28	o 46815
2407.28	c 6733
2408.80	o 46821
2408.80	c 6727
2410.31	o 46823
2410.31	c 6725
2415.83	v -3218 -4542 -3238 -3658 4502 -3274 4014 4542 -4366 -3622 3958 3170 -3594 -3786 -3170 -3838 4522 4158 -3878 -3150 -3190 3502 -3258 -4170 3190 -4346 4518 -3686 3818 3506 3238 4250 -3946 -3586 -3414 -4218 3494 -3906 -3598 -3218 -4098 -4398 -3666 -4254 3434 4342 4426 3154 4322 3438 -3666 4518 4390 4490 -4186 -4526 3242 3210 -3194 3922 3726 4390 -4474 4078 -3554 4010 -3658 3954 -3934 -3194 4478 -4322 4498 3510 -3170 -4510 3182 4142 3430 -4474 4294 4206 -3322 -4166 4022 3770 4410 3478 4466 3250 -3414 -4014 4478 3658 -3190 3366 4394 -4390 -3554 -4258 4226 3154 3150 3190 4370 -3890 -3154 3202 3678 -3210 3218 3834 -3466 -4194 -3878 3290 -3558 -4186 -4398 -3150 -3266 3822 4350 4422 -4186 -3262 -4074 4478 4450 4374 -4262 -3350 3382 -3382 -3594 -4538 4162 -3918 3498 3666 -4286 -3170 -3218 3394 3254 3934 -3178 4534 3230 -3154 3738 3186 -3198 3498 -3606 3778 -3990 -3422 -3210 3510 3278 -4482 4506 3422 -3522 -4002 -4314 -4166 -3214 3150 -3158 4210 4526 -4410 -3378 -3226 3662 4142 -4246 -3482 -3626 3286 4174 -4294 3570 4482 -3158 -3718 -3574 4470 3922 -4230 -3482 4170 4386 3878 3190 3490 3994 -4094 4470 -3742 3366 -3542 -3990 -3190 -3198 -3438 -4518 -3190 -3662 3226 4438 3754 -3762 -3750 -3214 3282 3266 -3174 -4542 4522 4306 -3582 -3990 -3338 -4538 3202 -3990 3194 3794 4518 4178 4486 4470 -3646 4422 3354 -3202 4454 -4538 -4058 3370 -3346 -4538 4470 -4158 4034 -3826 3154 -3310 -3170 -3818 -3798 4470 3782 -3262 4142 -4522 3242 4318 -3718 3722 -3878 3350 -3190 3382 3190 -4414 -3614 -4438 -3226 4526 3358 -3350 3422 3210 -3158 -3838 3482 4522 4430 -3642 4366 3422 4418 -3506 -4458 3354 -4090 -4446 4110 -4542 -3830 3154 4258 -3178 -4434 -3786 4318 3646 4414 -3946 -3210 -4058 4334 3486 3202 3750 4498 4130 4498 4486 -4466 4190 -3154 -3590 4266 4162 -3418 -4054 -3474 -4018 4446 3410 4354 4046 -4534 -3178 -3930 3190 4090 4270 -3302 -4458 -4494 3202 -4470 4330 -3266 4534 3198 4494 -3406 -4034 3890 -4358 -4126 4010 -3610 3198 4438 -4314 4166 -4306 4322 4218 -4430 -4370 3326 3630 -4526 3242 -3314 3302 4514 -3158 4498 -3970 3182 -4146 4358 -4498 4442 4414 4374 4338 -4510 -3894 3270 -3174 -3442 -4242 -4542 -3190 -3250 -4498 4082 -4314 3170 4150 3598 -4478 -4454 -4534 4294 -3998 -4458 -3890 3290 4270 -3582 -3978 4098 -4114 4462 3150 3478 -4294 -3558 -4114 3314 -3310 3294 3918 -3382 4514 -3810 -3210 4458 3874 -3986 -4290 4062 -4542 3686 -4394 -4366 -4298 -3190 3674 4106 -3722 4350 -4410 3614 3158 -3198 4342 3378 -3214 4482 3718 4146 -3922 3342 4478 4206 3310 4274 -3814 3990 3174 3262 3762 -4466 -4242 3838 3726 -4198 -3558 -4302 -3222 3654 3994 -4482 -4246 3150 -3178 3190 4458 3182 3310 3226 -4354 -3306 -3254 4406 -3378 -3498 3378 4506 3734 4494 -4478 -4502 3202 3430 3154 4534 3450 -3650 -4102 3526 -4430 3974 4490 -4470 -4326 4506 3830 -3222 -3218 -3638 -4418 4326 3454 -3610 -3538 -4526 3442 4542 4274 3594 3402 -4514 4250 4526 -4338 -3174 -4094 -4510 -4466 4526 3634 3974 -4410 4006 -3194 4170 -4514 4342 3190 -3926 3582 -4046 3250 -4362 4086 3398 3218 -3202 3210 -3918 3162 -4530 4542 -3438 -3190 3382 -3914 -3210 4210 3986 3878 -4510 3662 -3694 4014 3598 -3214 4518 3934 -4214 -3294 -3906 -3818 3150 -3398 -3154 3686 3638 -3170 3254 3230 3598 -4114 3474 -3722 3658 -4282 3202 3922 3486 -3950 4486 4510 3782 -3810 -3182 3634 4034 4410 3190 -3174 3994 3210 -4454 4510 -4518 -3782 3874 3758 4218 -3710 4542 -4458 3826 3870 3150 -4446 3514 -3162 -3154 -3426 3398 4142 -3998 4498 3778 3354 3830 4534 -3214 -3746 3298 -3278 -3338 3338 -4394 -4454 3418 3258 3694 3766 -3206 -3182 3322 3914 -3658 3558 -3526 3494 -4314 -4030 3186 -3670 -4490 4314 4530 -4522 -4030 -4030 4146 4102 4022 -3502 -3150 -3546 4070 3170 -4526 -3882 4166 4498 -3202 -3250 -3410 4514 -4474 -3302 -3294 -4542 -4054 3962 3718 3646 3766 -3642 -4346 3686 -4530 4486 3210 4086 -4250 -3238 -4186 4538 -3250 4030 -3702 -4474 4522 -3222 3822 3578 3858 3302 4298 4326 -3726 -3154 3158 3602 -3258 3686 3218 -4514 -3326 -4498 3518 3246 4010 4330 4354 3942 3350 -3222 -3182 3214 -3742 3574 -3262 4542 3274 -3970 -3778 4370 -3522 4290 3946 4482 -3370 4282 4086 -3150 -3202 -3878 -3458 3190 -3450 -3182 -4130 -4526 -4402 -4310 -3270 -4426 -3498 -4310 3150 -3154 3254 -4506 -4538 4466 -3370 -3962 -4542 3254 3818 3586 -3170 3494 3674 4314 -4082 -3634 3226 -3242 -3174 3686 4486 3302 -4542 -4154 -3858 3270 -4370 3214 4350 -3190 4450 3802 3538 -4526 3542 -4490 4450 -3406 -4450 -3238 -3682 3198 -3270 -3190 3554 3218 3694 -3262 4398 -3878 4258 -4298 -3374 -3742 4518 3274 3194 4366 4498 3754 3198 3314 -3954 4426 3222 -3894 4406 4006 4486 4290 3190 4182 -4382 -3910 -3542 -3302 -3434 -3318 3150 4446 -3498 -4034 -4498 -3758 4314 -4542 3394 -3342 4182 -4494 -3330 -3478 3150 -3354 4494 -4542 3786 -4034 4130 -4166 3310 3590 4486 3398 4466 4374 -3258 -3214 4118 -3154 -3302 3438 3150 3190 3890 -3826 -4542 -4534 -4054 -3974 -3286 -4266 3218 -4486 -4278 -3326 3482 -3434 -4434 4438 4258 3338 4534 -3494 -4542 3206 4334 3170 -3426 4122 -3222 -4490 3434 -3686 3190 -3778 -3398 3218 -3474 3686 3854 3694 -3210 -4286 -3554 3614 4034 -4130 -3346 -4078 4434 3178 4386 4534 -4246 4322 -4242 -4154 3182 -3842 3458 -4438 3278 4474 -3198 -3398 -4510 -4042 4542 -3162 -4250 3954 4486 4514 3562 -4246 4186 3538 -4182 -3722 -3458 3526 -3870 3254 -4326 -3306 4342 3530 -3266 4502 -3386 4270 -4102 4274 -4102 -3698 3394 4454 -4502 3998 3606 3594 -3186 -4366 -4310 4538 3834 3222 3466 4250 3610 -4054 3194 -3394 -4302 3366 4414 -4030 3834 3562 -3426 -3342 3970 -3170 3270 3190 -3334 -4446 -3686 -4466 -3470 -3530 -4530 -3826 4458 3198 -3254 -3334 4542 -3258 -4070 -4478 -3290 4454 -4498 -4010 -3722 -3226 -4058 3246 -3882 -3414 3990 -3626 -3190 3386 4358 -3886 -3338 -3982 -4482 3458 -3834 4522 3222 3334 -4394 -3722 3282 -3198 -4378 -3882 3258 3202 -3618 3326 -3302 -4474 -3830 4114 3742 3370 -4034 -4450 -3358 3758 -4366 3930 3482 4490 4502 -4242 -4490 3866 3302 4210 3930 3854 -4398 3958 3942 -3946 -4234 3266 -3258 -3910 3170 4082 -3858 -3154 4358 -3182 -4486 4454 3178 3958 3174 3790 3786 3158 3186 -3846 -3390 3150 -4054 -4070 -3990 3314 4266 3266 3530 3350 3198 4462 -4514 -4234 3198 -4154 -4354 3258 -3178 3214 -3802 -4542 -3346 3574 -3938 3494 -4374 -3622 -3214 3178 -4050 4362 -4538 -4366 3686 -4206 4310 4162 3982 3754 -4190 3322 3646 3150 3730 3150 -3618 4354 3730 4074 -3966 -4354 -3634 3358 -4018 -3850 3686 -3990 4522 -4042 -4490 4246 -3826 3206 4362 3982 3650 -3686 3218 3158 3982 -3546 -3222 -4494 3186 3266 3150 -3906 -3550 4542 -3318 -4318 -3918 3658 -3202 -3178 -4002 -3806 3490 -4226 -3566 4474 3958 -3254 -4070 -4238 -3610 3218 -4242 -4426 4226 3490 4446 4310 4018 3686 -4342 3266 -3318 4470 3206 -4538 -4498 -3154 -3950 -3174 -4106 4186 3182 3514 -4490 -3878 4398 3206 -3170 -3342 4170 -3418 3794 3314 3966 3166 -3546 4530 -3374 4482 -4190 -3306 -4538 4366 -4370 -3190 3566 4422 4478 -4486 -4270 4542 -4082 4502 3918 3238 -3154 -3726 4494 4418 -3434 4146 4506 -3294 -3934 3886 -3694 -3426 -3150 -3190 4490 -3802 4514 3166 -4462 -3250 4234 -4466 4354 -4538 3158 3302 -3462 3450 -4486 3158 4542 3182 3622 3314 4374 4162 -3994 -4346 4510 -3394 -4230 -4278 -3170 -4474 4510 4210 4154 3602 -3342 3158 3230 -4178 -4374 -4518 3426 -3158 4066 -3410 -3946 -4218 3998 3906 3314 -3686 3290 3318 -3150 3858 -3274 3970 -3994 4498 3786 3650 -4514 3158 3190 -4190 -4486 3602 -3502 4242 -3950 4406 -4538 -4502 -4018 3442 3522 -4462 -4030 3994 4482 3166 4510 -4458 4530 -3674 3878 -3670 3814 -3150 4462 -4202 -4530 3298 3226 -4530 -4322 3202 -4302 4354 4038 -4162 4542 -4438 -3454 -4274 4306 4166 -3858 -4198 4174 -4178 3298 3450 -3306 -4010 -3270 -4514 -3306 -4538 4318 -3498 3162 -3926 4158 -4442 3322 4222 3190 4094 3458 -3282 3154 -4378 3198 -3238 -3162 -3818 -3838 -4538 3358 -3954 3202 -3222 3678 -4474 -4158 3274 -4482 3746 3342 3186 3190 -4538 -4314 -4358 3738 4498 3574 3194 3410 3406 4518 3594 -4262 -3954 3502 3646 4202 3230 -4538 -3238 -4082 -4362 3182 -3838 3614 -3514 4034 4142 -4210 -3434 -4006 3718 3150 3570 3206 -4498 -3326 4542 -4354 3454 -3154 -3266 -3730 -3618 4470 -4514 4058 4118 4326 4186 4534 -4450 -3154 3686 3306 -3550 3198 3162 4010 -4298 -4270 4434 -4002 -3378 -3246 -4310 -3914 3542 4538 3802 -3198 -4274 4346 -3218 -4126 3526 3198 3238 -4530 -4478 -3262 -3798 3150 -4342 -4402 -4470 3154 3630 4270 -4078 -3554 4542 -4270 3162 3866 3678 3334 -3194 -4498 -4102 -3466 -3262 -3934 -3794 3786 3226 3306 -3738 4414 3558 3970 -3910 -3874 4510 -3710 -3218 -4238 -4474 -3190 -3222 -3178 4542 4478 4442 3150 -3758 3150 4498 3486 -3834 4442 3314 3714 -4494 3450 3474 -3958 4414 -4278 3494 -3230 -3786 -4534 4542 3162 3594 -4302 4026 3274 -3910 -4538 4094 3914 -3962 3838 4050 3230 -3150 4490 -3390 3198 4542 -4166 3230 -3458 3238 3958 -4406 4042 3218 -3226 -4494 4322 3242 3758 -4278 -3954 3250 -3886 3546 4498 3842 4350 4462 -4258 3622 -3290 4362 3818 4098 -3226 4410 3506 4274 3982 4218 4170 -4422 -4038 -3798 -3894 3882 3782 -3438 -3186 -3354 -3402 3834 -3950 -3154 -4194 -3882 -4178 3794 4286 3150 3682 -3594 3994 -3414 3190 -3294 -3150 4534 -3594 3782 -4370 3758 -3354 -4490 3210 -3370 -3226 -3238 4242 -3198 -4522 3786 3350 3154 -3286 -4186 -3854 -4386 4482 -4478 -3566 4478 -3458 -3762 3238 -3702 3190 4254 -3830 -4282 4506 4534 -4154 4386 -3294 -4166 3762 -4430 -4198 4290 4514 4538 3354 3786 4542 -3914 -3190 -4498 -4538 -3274 -4150 3438 3178 -3570 3162 3974 3406 -3406 4502 -4290 3574 -3190 -4094 3298 4542 -4342 -4502 4394 4502 -3170 -3950 -4502 3434 -3150 -3622 4486 4018 -4486 -4526 3846 3846 4126 3750 4274 4422 3978 -4542 4386 -3194 -3578 3490 3614 4146 -3170 -4054 -3950 3518 4538 3806 3802 4530 -4486 -3790 -3278 -4346 4406 -4518 -4398 -3854 4530 -4498 -3446 3414 -3542 -4390 -3186 4066 3666 -4362 3282 4538 3666 3354 -3410 -3586 3994 4130 3302 -4458 -3338 3882 4498 3862 3210 -4206 4390 3210 -4506 4462 4278 4086 3838 -4178 3170 4474 -3930 4530 -3626 3182 -4534 -3986 3958 3898 4482 -4318 -4374 -3510 4430 4466 -4138 3682 -3906 3354 3962 3858 3638 4066 -3206 4490 -4418 -4122 3182 -3802 -4510 -3190 3154 4370 -3198 3234 -4526 -3906 4502 -4046 4238 4430 -3234 -4430 3374 4474 -3606 -4446 -4290 -3890 -3194 3154 -3182 -3150 4126 -3194 4306 4498 4478 -4510 3438 -3182 3962 4354 3966 3878 -4490 -3546 4534 3214 -4510 3222 -3262 3298 3258 -4406 -3150 3738 -4458 -4070 -4222 4446 -3214 -4190 4450 3946 -4310 4542 3594 3942 4502 -4466 4298 4022 3618 -4514 -3578 3510 4538 -3310 3150 -3222 3186 -3754 -3222 4538 -3326 4190 3418 3782 3174 -4202 3734 -3526 3886 -4330 3898 -4426 -3474 3482 -4510 -4310 -3170 -4390 -4526 3222 3734 4502 -3278 3262 -4234 3582 3466 -3314 -3278 4422 4086 -3794 -3738 4314 -3530 4434 -3362 -4538 4462 4474 3362 3182 -4174 4042 -4502 4542 -3174 -3158 3150 -4126 -3270 3202 4242 4526 -3990 -3874 -3818 -4326 3162 3762 -3210 4418 4186 -3742 -3826 -4438 -4498 3790 3790 -3198 -3606 3322 -4406 -3378 -4534 -4446 -3214 4542 3542 3194 -3598 -4282 3210 -4382 3502 -4442 -4526 -3418 4266 -4358 -4322 -4206 4534 -3170 3530 4490 -3562 -4106 -3522 -4166 -3158 3302 -3314 -4258 3246 3634 4502 -3858 3350 3582 4058 4250 4170 3266 -4114 -3998 -3194 3978 -4386 3154 -4526 3882 4338 -4498 4466 4542 3910 -4542 4250 -4494 -3882 -4362 4530 4326 4382 -3162 -4370 -3214 -4126 3150 4158 -3698 4530 3562 3814 4358 -3998 3458 3698 4274 3170 4054 -3978 3254 4242 3346 3318 -4542 4222 3734 -3962 3674 4358 4450 -3302 3150 3738 3530 3658 -4514 3262 -4366 -3374 -3490 3790 -3222 -4526 3170 -4394 4386 4294 -4054 3178 3598 3322 4522 4286 4530 -4534 -3414 4486 4014 4538 3166 -4286 -3554 3418 -4186 -4530 4498 4474 -3154 -3270 -3226 -4290 -3582 -4502 4278 3226 -4066 -3602 -4166 3582 -4478 3710 -4146 -4442 -4510 3214 4190 -3918 3162 -4434 4170 4482 3946 -3206 3682 3186 -3674 4530 -4198 3974 -3158 3150 -4438 -3842 -4338 4122 -4082 -4010 4406 -3794 -3154 3942 3238 3286 -3954 -4438 -3222 3842 -4230 3290 4182 -4002 -3166 3330 3558 4438 4114 -3674 3978 4486 -3774 -3250 3154 -3626 3266 4070 -3990 -3406 3162 4142 -3558 4430 -3922 3250 -3414 3646 -4498 -4326 -3222 4498 4362 3194 3190 -4538 -3158 4314 -3214 -3230 3290 -3838 4542 -3458 4490 -4534 4006 3938 -3322 4514 -3162 -3726 -3258 4514 4314 3918 -3794 3238 3370 -4542 -3206 3218 4410 3646 -4534 -4150 4398 -4046 -3790 3842 4446 4542 3766 3602 -4502 3898 3602 4266 3954 3154 -3242 -4286 4518 -3594 -3190 4474 -3290 3150 3818 4042 -3646 3538 -3990 3958 3318 -4110 -4342 -4238 -3710 4502 3302 4502 4334 -4142 -3958 4278 -3626 -3214 4482 4370 -3174 -4186 3434 -3498 -3746 3726 -3690 -3990 4354 -4390 -4330 4426 -4318 -3342 -4446 -3618 4006 -3354 3270 4346 -3250 -3202 -3558 3218 -4286 -4542 3810 4090 -4542 4490 4526 -3474 3242 4030 4486 -4062 3766 3202 -3718 -3194 -4470 -3566 3838 -4466 3274 4390 4062 -3158 3290 4474 -3498 3462 3198 3862 4282 -3562 4350 4482 4494 -3874 3302 4250 3190 4134 -3310 4530 3610 -3802 3806 -4526 4494 3406 -3426 4366 4202 -3198 -4094 -3650 -4538 -4262 -3858 -4130 -3574 -4366 4050 -3310 -3410 -4466 -4466 -3330 4022 -4502 4522 -3470 4402 -4426 -3778 -4290 -3334 4542 4282 3314 4442 4150 -4230 3338 4030 3298 -3346 -4502 -3838 3274 -3466 3918 3638 3490 4478 4086 4254 3642 -3978 -4262 -3766 3918 4138 -4442 3154 -3194 4310 -4406 3454 3882 -3722 3710 3242 -4510 -4226 4098 3262 4270 -3990 3390 4398 -3158 3994 -4458 3166 3850 4446 -3342 -3598 -3150 3190 -3198 4426 -3362 -3914 3414 -3874 4538 -4402 -3478 -4502 -3674 4462 4134 3534 3150 4414 3206 4146 3798 -4402 4186 3154 4526 3334 3202 3474 3514 -3846 -3190 3950 3190 -3246 -4054 4182 3246 3622 3878 4030 -3590 -4114 4430 4446 4226 4058 3586 3170 -3774 3914 3206 -4542 4254 -4066 -3194 3878 -3834 -3618 3766 4502 -4134 -3198 3366 -3190 3258 -3162 -4186 3762 -4098 -3162 -3334 3922 3982 4362 3202 -3994 3762 4230 4034 4130 -3290 -4138 -4494 3714 4486 3150 -4154 4530 3262 -3662 -3810 4270 4470 4510 -4154 -4474 4538 3234 3878 3150 -3410 3162 4518 -3178 4006 3794 4030 3158 -4370 -4490 4374 -3854 -4526 3726 -4150 3678 -4470 3934 3778 3438 -3478 3422 -4146 3158 4398 3354 -3718 -4530 -3970 3210 4470 -4382 -4066 3166 3918 -4502 4102 4498 3378 3342 3166 -3170 3514 -4238 -4322 4478 -3994 3934 4374 3170 -4110 -4454 -4358 -4446 -3174 -3846 4134 -3374 4006 3218 3266 -3322 -3198 3254 3154 -3198 -4114 -3190 -3182 -4250 -3778 4330 3538 3778 -3998 4458 3174 -4442 3162 4306 -3342 4430 4234 3490 3334 -3794 3150 -3866 -3442 -4478 4262 -4518 3286 -4402 -3530 4326 4358 4426 3986 -3190 -4302 -4110 -4542 4466 4190 3346 -3390 3598 -3366 4478 4294 -4494 3654 4038 3254 -3962 -4418 -3210 -4486 3170 -4538 -3366 -3174 -3386 4514 3150 4498 -3798 3630 -4410 -3634 4334 4282 -3394 -3774 -3850 3814 -3218 4274 3474 3818 4206 -3690 4366 -3994 -3274 4538 4210 3194 4358 -4438 3610 -4322 -4046 -4322 -4458 4438 -3222 -3830 -4338 3702 3614 3294 4154 3158 -4082 -3242 4274 3986 -3618 3230 3374 -3682 3150 -3546 3346 -3598 -4514 -3246 3210 -3942 -3294 -4390 -3650 -4474 3630 -4330 3982 -3534 3998 3190 4494 3210 4418 4390 3610 3198 3938 -3434 3282 3878 -4366 3178 3294 4262 -3546 3590 -3310 -4278 3162 4518 3542 -3986 3666 -3350 4062 -4498 3930 -4502 -3214 -4486 -3198 3734 -3394 -4482 -3222 4466 -4266 -3734 -3322 4510 -3174 3150 -3494 -3982 -4078 3398 4146 -4518 -3270 -3402 4486 -4154 3918 -3626 -3222 3306 -3502 3458 3498 3826 3302 -3374 -3718 -3186 3950 4390 -3270 -4442 3222 4470 4530 -4258 3342 -3950 -3638 3538 -4318 -4542 4298 4406 4490 -4146 4318 -3202 4506 -4166 3602 3158 -3586 -4402 -4110 3658 3542 3290 -4290 -3210 -4470 4318 -4026 -4402 3814 -4030 4222 3874 -3554 4394 3286 4542 3450 -4482 -4370 4530 -4506 3818 -3366 3162 4478 -3198 -4542 3762 3582 3218 3158 4162 3534 -3830 3378 4482 3258 -3806 4518 -4466 3162 3330 3650 3170 -3194 -4494 -3494 -3294 4342 4506 3682 -3206 -3622 4466 4094 -4306 -3366 3342 3722 3702 -3602 -3190 3598 -3874 3418 4470 -3602 -3866 -4498 -3330 -3190 -3462 -3214 -4062 -3598 3570 -3358 3162 4470 -3198 -4146 4202 -4146 -4286 4386 -4350 3206 3250 -3210 -4314 4250 4298 -4542 -3150 4334 -3642 3290 4490 -4422 -4306 -4230 -4434 3962 3606 3686 -4342 4442 -4502 3510 -3414 4502 -3178 3810 3162 -4490 3830 -4390 4506 3918 -4054 3174 -4474 3238 4526 -3698 -4138 -4486 4290 3334 -4186 -3518 4082 -4414 -4490 -4418 -4514 3246 -3262 -4510 3902 -3226 -3882 3562 -4542 -3314 -3874 3230 -4454 3942 3458 4522 4466 4286 -3186 -3158 -4478 4038 4206 3290 4010 -3346 4114 -3190 -4002 3330 -4150 4070 -3150 3434 -4090 -4358 4258 3198 -3254 4486 -3602 3278 3458 3246 -3554 -3930 -3670 4202 -3278 -3350 -4298 4502 -4202 -4474 3190 3490 3166 -3930 -3962 -4478 4226 4446 -3830 -3934 3178 -3834 4154 3498 -3402 -3198 -3350 -3318 -4002 -3218 4186 3578 -4498 -3642 -3162 3718 -4254 -4458 3302 3474 -4114 3766 3882 -3214 -3774 -3586 3554 -3718 3490 3150

Verifier Data (download as text)

6725 unsatisfied constraints, 46823 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/node19/watcher-275616-1169223973 -o ROOT/results/node19/solver-275616-1169223973 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275616-1169223973/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: 2.15 2.04 2.01 4/87 9803
/proc/meminfo: memFree=1040160/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=18540 CPUtime=0
/proc/9802/stat : 9802 (runsolver) R 9800 9802 9153 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270791954 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9802/statm: 4635 279 244 17 0 2626 0

[startup+0.103107 s]
/proc/loadavg: 2.15 2.04 2.01 4/87 9803
/proc/meminfo: memFree=1040160/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=914988 CPUtime=0.08
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 2954 0 1 0 7 1 0 0 17 0 8 0 270791954 936947712 2700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511185 s]
/proc/loadavg: 2.15 2.04 2.01 4/87 9803
/proc/meminfo: memFree=1040160/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915332 CPUtime=0.49
/proc/9802/stat : 9802 (java) S 9800 9802 9153 0 -1 0 7687 0 1 0 45 4 0 0 18 0 8 0 270791954 937299968 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228833 7426 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33434 s]
/proc/loadavg: 2.15 2.04 2.01 3/94 9810
/proc/meminfo: memFree=948072/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915604 CPUtime=1.3
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 31638 0 1 0 116 14 0 0 23 0 8 0 270791954 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228901 31375 2161 14 0 215371 0
[pid=9802/tid=9804] ppid=9800 vsize=915604 CPUtime=0.13
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 15082 0 0 0 8 5 0 0 16 0 8 0 270791958 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270791958 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915604 CPUtime=0.17
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 406 0 0 0 17 0 0 0 16 0 8 0 270791962 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937578496 31375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915604

[startup+2.98565 s]
/proc/loadavg: 2.13 2.04 2.01 3/94 9810
/proc/meminfo: memFree=913448/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915604 CPUtime=2.94
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 34847 0 1 0 278 16 0 0 25 0 8 0 270791954 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073578497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228901 34578 2161 14 0 215371 0
[pid=9802/tid=9804] ppid=9800 vsize=915604 CPUtime=0.31
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 18284 0 0 0 25 6 0 0 16 0 8 0 270791958 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270791958 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915604 CPUtime=0.17
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 407 0 0 0 17 0 0 0 16 0 8 0 270791962 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915604 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937578496 34578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915604

[startup+6.26626 s]
/proc/loadavg: 2.13 2.04 2.01 3/94 9810
/proc/meminfo: memFree=908080/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=6.19
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 35352 0 1 0 603 16 0 0 25 0 8 0 270791954 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228936 35081 2181 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=0.33
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 18714 0 0 0 27 6 0 0 16 0 8 0 270791958 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270791958 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.19
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 418 0 0 0 19 0 0 0 16 0 8 0 270791962 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 35081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.7545 s]
/proc/loadavg: 2.11 2.04 2.01 3/94 9810
/proc/meminfo: memFree=908208/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=12.62
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 35354 0 1 0 1245 17 0 0 25 0 8 0 270791954 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228936 35083 2181 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=0.33
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 18714 0 0 0 27 6 0 0 16 0 8 0 270791958 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270791958 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.2
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 420 0 0 0 20 0 0 0 16 0 8 0 270791962 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 35083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915744

[startup+25.6069 s]
/proc/loadavg: 2.10 2.04 2.01 3/94 9810
/proc/meminfo: memFree=908336/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=25.35
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 35365 0 1 0 2518 17 0 0 25 0 8 0 270791954 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228936 35094 2182 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=0.33
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 18714 0 0 0 27 6 0 0 16 0 8 0 270791958 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270791958 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.21
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 430 0 0 0 21 0 0 0 17 0 8 0 270791962 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 35094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915744

[startup+51.2187 s]
/proc/loadavg: 2.06 2.03 2.01 3/94 9810
/proc/meminfo: memFree=902832/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=50.72
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 36726 0 1 0 5052 20 0 0 25 0 8 0 270791954 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228936 36453 2182 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=0.41
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 20071 0 0 0 34 7 0 0 16 0 8 0 270791958 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270791958 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.22
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 432 0 0 0 22 0 0 0 16 0 8 0 270791962 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 36453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915744

[startup+102.452 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 9810
/proc/meminfo: memFree=855856/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=101.47
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48947 0 1 0 10119 28 0 0 25 0 8 0 270791954 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9802/statm: 228936 48531 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.28
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 467 0 0 0 28 0 0 0 16 0 8 0 270791962 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48531 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915744

[startup+162.54 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 9810
/proc/meminfo: memFree=855920/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=160.99
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48949 0 1 0 16068 31 0 0 25 0 8 0 270791954 937721856 48532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.59 s]
/proc/loadavg: 2.01 2.03 2.00 3/101 9919
/proc/meminfo: memFree=991872/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=2069.31
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48961 0 1 0 206855 76 0 0 25 0 8 0 270791954 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9802/statm: 228936 48543 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.31
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 479 0 0 0 31 0 0 0 16 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2069.31
Current children cumulated vsize (KiB) 915744

[startup+2144.61 s]
/proc/loadavg: 2.00 2.02 2.00 3/107 10087
/proc/meminfo: memFree=990584/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=2129.17
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48961 0 1 0 212834 83 0 0 25 0 8 0 270791954 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9802/statm: 228936 48543 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.31
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 479 0 0 0 31 0 0 0 16 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.17
Current children cumulated vsize (KiB) 915744

[startup+2204.71 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 10117
/proc/meminfo: memFree=991544/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=2189.2
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48961 0 1 0 218834 86 0 0 25 0 8 0 270791954 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9802/statm: 228936 48543 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.31
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 479 0 0 0 31 0 0 0 16 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.2
Current children cumulated vsize (KiB) 915744

[startup+2264.79 s]
/proc/loadavg: 2.12 2.04 2.01 3/101 10117
/proc/meminfo: memFree=991544/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=2249.23
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48961 0 1 0 224836 87 0 0 25 0 8 0 270791954 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9802/statm: 228936 48543 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.31
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 479 0 0 0 31 0 0 0 16 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.23
Current children cumulated vsize (KiB) 915744

[startup+2324.8 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 10117
/proc/meminfo: memFree=991544/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=2309.17
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48961 0 1 0 230829 88 0 0 25 0 8 0 270791954 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9802/statm: 228936 48543 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.31
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 479 0 0 0 31 0 0 0 16 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.17
Current children cumulated vsize (KiB) 915744

[startup+2384.83 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 10117
/proc/meminfo: memFree=991608/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=2369.13
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48961 0 1 0 236825 88 0 0 25 0 8 0 270791954 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9802/statm: 228936 48543 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.31
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 479 0 0 0 31 0 0 0 16 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.13
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.82 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 10117
/proc/meminfo: memFree=991608/2055920 swapFree=4171264/4192956
[pid=9802] ppid=9800 vsize=915744 CPUtime=2400.09
/proc/9802/stat : 9802 (java) R 9800 9802 9153 0 -1 0 48961 0 1 0 239920 89 0 0 25 0 8 0 270791954 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9802/statm: 228936 48543 2501 14 0 215406 0
[pid=9802/tid=9804] ppid=9800 vsize=915744 CPUtime=1.47
/proc/9802/task/9804/stat : 9804 (java) S 9800 9802 9153 0 -1 64 31903 0 0 0 135 12 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9805] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9805/stat : 9805 (java) S 9800 9802 9153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9806] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9806/stat : 9806 (java) S 9800 9802 9153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270791958 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9807] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9807/stat : 9807 (java) S 9800 9802 9153 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9808] ppid=9800 vsize=915744 CPUtime=0.31
/proc/9802/task/9808/stat : 9808 (java) S 9800 9802 9153 0 -1 64 479 0 0 0 31 0 0 0 16 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9809] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9809/stat : 9809 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9802/tid=9810] ppid=9800 vsize=915744 CPUtime=0
/proc/9802/task/9810/stat : 9810 (java) S 9800 9802 9153 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270791962 937721856 48543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2415.89
CPU time (s): 2400.15
CPU user time (s): 2399.23
CPU system time (s): 0.91886
CPU usage (%): 99.3487
Max. virtual memory (cumulated for all children) (KiB): 916248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.23
system time used= 0.91886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48985
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= 50175
involuntary context switches= 90887

runsolver used 3.06153 s user time and 7.82981 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Fri Jan 19 16:26:13 UTC 2007


IDJOB= 275616
IDBENCH= 4163
IDSOLVER= 69
FILE ID= node19/275616-1169223973

PBS_JOBID= 3588945

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7914318078e2e6bda68bc227b451eb9e

RANDOM SEED= 190994375

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.260
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.260
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:       1040640 kB
Buffers:         60912 kB
Cached:         694052 kB
SwapCached:      10172 kB
Active:         472016 kB
Inactive:       463980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1040640 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            9104 kB
Writeback:           0 kB
Mapped:         191092 kB
Slab:            63532 kB
Committed_AS:  7323196 kB
PageTables:       2676 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= 66555 MiB



End job on node19 on Fri Jan 19 17:06:29 UTC 2007