Trace number 275612

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.12 2421.23

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-1.xml
MD5SUMe73fbce21894132281af3102ab806d6c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints46957
Best CPU time to get the best result obtained on this benchmark2400.07
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=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275612-1169223932/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.93	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.93	       =>  wckTime=0.612  cpuTime=0.44  mem=58M738
0.93	   
0.93	   predicates being loaded...
0.93	   
0.93	   constraints being loaded...
61.59	   
61.59	   INFO : Stopping converting binary constraints (cpu=60.15, mem = 116M702)
64.90	     nbConstraints=53548  nbConvertedConstraints=507  nbConvertConstraintsChecks=186377394  nbExtensionStructures=456
64.90	     nbSharedExtensionStructures=51  nbConflictsStructures=456  nbSharedConflictsStructures=51
64.90	     nbSharedBinaryRepresentations=518059  nbEvaluationManagers=12085  nbSharedEvaluationManagers=40956  maxDegree=104
64.90	     maxArity=2
64.90	       =>  wckTime=64.581  cpuTime=62.7  mem=127M56
65.32	   
65.32	   solver LocalSearchSolver being built... 
65.37	       =>  wckTime=65.053  cpuTime=62.76  mem=125M320
66.29	
66.29	s SATISFIABLE
66.29	o 39299
66.29	c 14249
66.86	o 39314
66.86	c 14234
67.16	o 39327
67.16	c 14221
67.48	o 39345
67.48	c 14203
67.68	o 39362
67.68	c 14186
67.97	o 39373
67.97	c 14175
68.25	o 39387
68.25	c 14161
68.49	o 39397
68.49	c 14151
68.67	o 39403
68.67	c 14145
68.87	o 39417
68.87	c 14131
69.02	o 39428
69.02	c 14120
69.21	o 39437
69.21	c 14111
69.37	o 39450
69.37	c 14098
69.64	o 39458
69.64	c 14090
69.87	o 39464
69.87	c 14084
70.26	o 39469
70.26	c 14079
70.65	o 39481
70.65	c 14067
70.88	o 39492
70.88	c 14056
71.04	o 39511
71.04	c 14037
71.35	o 39523
71.35	c 14025
71.55	o 39525
71.55	c 14023
71.66	o 39526
71.66	c 14022
72.03	o 39535
72.03	c 14013
72.22	o 39544
72.22	c 14004
72.41	o 39550
72.41	c 13998
72.52	o 39551
72.52	c 13997
72.66	o 39563
72.66	c 13985
72.78	o 39569
72.78	c 13979
72.88	o 39573
72.88	c 13975
73.09	o 39575
73.09	c 13973
73.25	o 39581
73.25	c 13967
73.46	o 39594
73.46	c 13954
73.85	o 39596
73.85	c 13952
74.18	o 39597
74.18	c 13951
74.41	o 39609
74.41	c 13939
74.79	o 39612
74.79	c 13936
75.02	o 39626
75.02	c 13922
75.26	o 39629
75.26	c 13919
75.75	o 39630
75.75	c 13918
75.91	o 39635
75.91	c 13913
76.04	o 39641
76.04	c 13907
76.15	o 39649
76.15	c 13899
76.40	o 39653
76.40	c 13895
76.59	o 39658
76.59	c 13890
76.78	o 39664
76.78	c 13884
77.04	o 39673
77.04	c 13875
77.25	o 39683
77.25	c 13865
77.47	o 39689
77.47	c 13859
77.69	o 39693
77.69	c 13855
77.89	o 39700
77.89	c 13848
78.07	o 39710
78.07	c 13838
78.29	o 39711
78.29	c 13837
78.42	o 39713
78.42	c 13835
78.66	o 39719
78.66	c 13829
78.89	o 39730
78.89	c 13818
79.21	o 39735
79.21	c 13813
79.77	o 39743
79.77	c 13805
80.01	o 39752
80.01	c 13796
80.32	o 39756
80.32	c 13792
80.57	o 39759
80.57	c 13789
80.82	o 39771
80.82	c 13777
81.04	o 39775
81.04	c 13773
81.24	o 39781
81.24	c 13767
81.71	o 39789
81.71	c 13759
81.96	o 39791
81.96	c 13757
82.19	o 39794
82.19	c 13754
82.41	o 39804
82.41	c 13744
82.68	o 39812
82.68	c 13736
82.90	o 39815
82.90	c 13733
83.14	o 39821
83.14	c 13727
83.35	o 39822
83.35	c 13726
83.76	o 39829
83.76	c 13719
84.03	o 39836
84.03	c 13712
84.28	o 39838
84.28	c 13710
84.57	o 39839
84.57	c 13709
84.86	o 39850
84.86	c 13698
85.13	o 39859
85.13	c 13689
85.37	o 39866
85.37	c 13682
85.70	o 39874
85.70	c 13674
86.26	o 39875
86.26	c 13673
86.58	o 39888
86.58	c 13660
87.08	o 39894
87.08	c 13654
87.28	o 39903
87.28	c 13645
87.55	o 39906
87.55	c 13642
87.82	o 39911
87.82	c 13637
88.08	o 39917
88.08	c 13631
88.41	o 39918
88.41	c 13630
88.66	o 39925
88.66	c 13623
88.91	o 39927
88.91	c 13621
89.21	o 39939
89.21	c 13609
89.49	o 39945
89.49	c 13603
89.76	o 39951
89.76	c 13597
90.05	o 39959
90.05	c 13589
90.40	o 39961
90.40	c 13587
90.79	o 39963
90.79	c 13585
91.15	o 39970
91.15	c 13578
91.45	o 39980
91.45	c 13568
91.73	o 39987
91.73	c 13561
92.05	o 39994
92.05	c 13554
92.33	o 39999
92.33	c 13549
92.58	o 40003
92.58	c 13545
92.90	o 40007
92.90	c 13541
93.62	o 40014
93.62	c 13534
93.96	o 40021
93.96	c 13527
94.24	o 40037
94.24	c 13511
94.48	o 40042
94.48	c 13506
95.04	o 40051
95.04	c 13497
95.31	o 40063
95.31	c 13485
95.54	o 40068
95.54	c 13480
96.23	o 40073
96.24	c 13475
96.47	o 40083
96.47	c 13465
96.75	o 40091
96.75	c 13457
97.05	o 40099
97.05	c 13449
97.26	o 40102
97.26	c 13446
97.62	o 40114
97.62	c 13434
97.87	o 40118
97.87	c 13430
98.25	o 40120
98.25	c 13428
98.56	o 40135
98.56	c 13413
98.78	o 40148
98.78	c 13400
99.03	o 40149
99.03	c 13399
99.26	o 40158
99.26	c 13390
99.45	o 40163
99.45	c 13385
99.65	o 40171
99.65	c 13377
99.89	o 40175
99.89	c 13373
101.40	o 40176
101.40	c 13372
101.73	o 40181
101.73	c 13367
102.47	o 40185
102.47	c 13363
102.86	o 40186
102.86	c 13362
103.23	o 40194
103.23	c 13354
103.56	o 40196
103.56	c 13352
103.93	o 40199
103.93	c 13349
104.31	o 40206
104.31	c 13342
105.04	o 40209
105.04	c 13339
105.41	o 40219
105.41	c 13329
105.81	o 40221
105.81	c 13327
106.13	o 40230
106.13	c 13318
107.27	o 40235
107.27	c 13313
107.98	o 40245
107.98	c 13303
108.43	o 40256
108.43	c 13292
108.75	o 40259
108.75	c 13289
109.25	o 40266
109.25	c 13282
109.68	o 40272
109.68	c 13276
110.14	o 40277
110.14	c 13271
110.56	o 40278
110.56	c 13270
111.32	o 40279
111.32	c 13269
111.68	o 40280
111.68	c 13268
112.06	o 40288
112.06	c 13260
112.40	o 40291
112.41	c 13257
114.50	o 40293
114.50	c 13255
114.81	o 40300
114.81	c 13248
115.07	o 40305
115.07	c 13243
115.33	o 40313
115.33	c 13235
115.74	o 40319
115.74	c 13229
116.13	o 40323
116.13	c 13225
116.48	o 40326
116.48	c 13222
116.88	o 40330
116.88	c 13218
117.58	o 40332
117.58	c 13216
117.94	o 40341
117.94	c 13207
119.69	o 40344
119.69	c 13204
120.12	o 40356
120.12	c 13192
120.52	o 40363
120.52	c 13185
121.00	o 40375
121.00	c 13173
121.81	o 40380
121.81	c 13168
122.25	o 40393
122.25	c 13155
122.56	o 40399
122.56	c 13149
122.89	o 40402
122.89	c 13146
123.59	o 40411
123.59	c 13137
124.30	o 40417
124.30	c 13131
124.72	o 40424
124.72	c 13124
125.11	o 40428
125.11	c 13120
125.92	o 40433
125.92	c 13115
126.26	o 40435
126.26	c 13113
126.70	o 40437
126.70	c 13111
127.12	o 40438
127.12	c 13110
127.49	o 40439
127.49	c 13109
127.86	o 40440
127.86	c 13108
128.18	o 40442
128.18	c 13106
128.63	o 40450
128.63	c 13098
129.05	o 40453
129.05	c 13095
130.35	o 40465
130.35	c 13083
130.81	o 40470
130.81	c 13078
131.22	o 40478
131.22	c 13070
131.75	o 40487
131.75	c 13061
132.18	o 40497
132.18	c 13051
133.11	o 40506
133.11	c 13042
133.60	o 40516
133.60	c 13032
134.04	o 40522
134.04	c 13026
134.50	o 40529
134.50	c 13019
134.96	o 40534
134.96	c 13014
135.36	o 40545
135.36	c 13003
135.77	o 40546
135.77	c 13002
136.18	o 40555
136.18	c 12993
136.57	o 40559
136.57	c 12989
136.96	o 40567
136.96	c 12981
137.37	o 40570
137.37	c 12978
137.78	o 40578
137.78	c 12970
138.18	o 40582
138.18	c 12966
138.67	o 40592
138.67	c 12956
139.15	o 40593
139.15	c 12955
139.60	o 40603
139.60	c 12945
140.06	o 40610
140.06	c 12938
140.51	o 40623
140.51	c 12925
140.91	o 40632
140.91	c 12916
141.29	o 40640
141.29	c 12908
141.66	o 40647
141.66	c 12901
142.08	o 40654
142.08	c 12894
142.57	o 40661
142.57	c 12887
143.04	o 40666
143.04	c 12882
143.50	o 40671
143.50	c 12877
143.95	o 40675
143.95	c 12873
144.38	o 40679
144.38	c 12869
144.83	o 40683
144.83	c 12865
145.30	o 40693
145.30	c 12855
145.70	o 40696
145.70	c 12852
146.07	o 40698
146.07	c 12850
146.45	o 40700
146.45	c 12848
146.85	o 40705
146.85	c 12843
147.24	o 40707
147.24	c 12841
147.59	o 40708
147.59	c 12840
148.06	o 40709
148.06	c 12839
148.50	o 40712
148.50	c 12836
148.90	o 40721
148.90	c 12827
149.73	o 40723
149.73	c 12825
150.16	o 40725
150.16	c 12823
150.52	o 40728
150.52	c 12820
150.86	o 40731
150.86	c 12817
151.32	o 40742
151.32	c 12806
151.69	o 40748
151.69	c 12800
152.08	o 40756
152.08	c 12792
152.44	o 40759
152.44	c 12789
152.90	o 40763
152.90	c 12785
153.38	o 40765
153.38	c 12783
154.57	o 40768
154.57	c 12780
155.10	o 40771
155.10	c 12777
155.56	o 40778
155.56	c 12770
156.08	o 40784
156.08	c 12764
156.58	o 40787
156.58	c 12761
157.06	o 40791
157.06	c 12757
157.55	o 40793
157.55	c 12755
158.12	o 40798
158.12	c 12750
158.61	o 40807
158.61	c 12741
159.10	o 40813
159.10	c 12735
159.61	o 40819
159.61	c 12729
160.21	o 40824
160.21	c 12724
160.72	o 40832
160.72	c 12716
161.20	o 40837
161.20	c 12711
162.66	o 40843
162.66	c 12705
163.14	o 40850
163.14	c 12698
163.61	o 40857
163.61	c 12691
164.11	o 40862
164.11	c 12686
164.57	o 40867
164.57	c 12681
165.08	o 40872
165.08	c 12676
165.57	o 40877
165.57	c 12671
166.05	o 40881
166.05	c 12667
166.59	o 40886
166.59	c 12662
167.11	o 40890
167.11	c 12658
167.63	o 40894
167.63	c 12654
168.10	o 40907
168.10	c 12641
168.53	o 40910
168.53	c 12638
168.93	o 40914
168.93	c 12634
169.31	o 40918
169.31	c 12630
170.15	o 40919
170.15	c 12629
170.53	o 40922
170.53	c 12626
170.92	o 40925
170.92	c 12623
171.35	o 40927
171.35	c 12621
171.73	o 40929
171.73	c 12619
172.21	o 40931
172.21	c 12617
172.67	o 40933
172.67	c 12615
173.09	o 40935
173.09	c 12613
173.58	o 40937
173.58	c 12611
174.04	o 40939
174.04	c 12609
174.55	o 40941
174.55	c 12607
175.04	o 40942
175.04	c 12606
175.47	o 40943
175.47	c 12605
176.70	o 40947
176.70	c 12601
177.12	o 40948
177.12	c 12600
178.02	o 40950
178.02	c 12598
178.89	o 40958
178.89	c 12590
179.26	o 40968
179.26	c 12580
179.65	o 40975
179.65	c 12573
180.08	o 40984
180.08	c 12564
180.49	o 40995
180.49	c 12553
180.92	o 41001
180.92	c 12547
181.39	o 41007
181.39	c 12541
181.82	o 41009
181.82	c 12539
182.23	o 41017
182.23	c 12531
183.04	o 41019
183.04	c 12529
183.61	o 41020
183.61	c 12528
184.09	o 41024
184.09	c 12524
185.21	o 41031
185.21	c 12517
185.78	o 41033
185.78	c 12515
186.38	o 41038
186.38	c 12510
187.08	o 41040
187.08	c 12508
187.70	o 41045
187.70	c 12503
188.39	o 41047
188.39	c 12501
189.08	o 41048
189.08	c 12500
189.88	o 41054
189.88	c 12494
190.61	o 41057
190.61	c 12491
191.99	o 41059
191.99	c 12489
192.68	o 41060
192.68	c 12488
193.39	o 41062
193.39	c 12486
194.09	o 41064
194.09	c 12484
194.80	o 41075
194.80	c 12473
198.12	o 41085
198.12	c 12463
198.77	o 41091
198.77	c 12457
199.38	o 41099
199.38	c 12449
200.65	o 41107
200.65	c 12441
201.28	o 41115
201.28	c 12433
201.94	o 41121
201.94	c 12427
202.62	o 41126
202.62	c 12422
203.20	o 41132
203.20	c 12416
203.83	o 41138
203.83	c 12410
204.48	o 41144
204.48	c 12404
205.07	o 41149
205.07	c 12399
205.66	o 41154
205.66	c 12394
206.28	o 41165
206.28	c 12383
206.75	o 41174
206.76	c 12374
207.31	o 41180
207.31	c 12368
207.91	o 41186
207.91	c 12362
208.41	o 41196
208.41	c 12352
208.92	o 41198
208.92	c 12350
209.44	o 41203
209.44	c 12345
209.97	o 41208
209.97	c 12340
210.48	o 41213
210.48	c 12335
210.99	o 41217
210.99	c 12331
211.57	o 41220
211.57	c 12328
212.03	o 41222
212.03	c 12326
212.49	o 41226
212.49	c 12322
212.98	o 41228
212.98	c 12320
213.46	o 41232
213.46	c 12316
213.93	o 41236
213.93	c 12312
214.37	o 41239
214.38	c 12309
214.84	o 41242
214.84	c 12306
215.30	o 41244
215.30	c 12304
215.79	o 41246
215.79	c 12302
216.27	o 41248
216.27	c 12300
216.70	o 41250
216.70	c 12298
217.24	o 41252
217.24	c 12296
217.73	o 41256
217.73	c 12292
218.21	o 41265
218.21	c 12283
218.71	o 41267
218.71	c 12281
219.17	o 41269
219.17	c 12279
219.67	o 41271
219.67	c 12277
220.17	o 41272
220.17	c 12276
220.67	o 41273
220.67	c 12275
222.07	o 41274
222.07	c 12274
222.55	o 41282
222.55	c 12266
223.03	o 41283
223.03	c 12265
223.57	o 41289
223.57	c 12259
223.99	o 41293
223.99	c 12255
224.85	o 41294
224.85	c 12254
225.34	o 41300
225.34	c 12248
225.77	o 41306
225.77	c 12242
226.22	o 41307
226.22	c 12241
226.64	o 41310
226.64	c 12238
227.07	o 41318
227.07	c 12230
227.47	o 41319
227.47	c 12229
227.89	o 41320
227.89	c 12228
228.32	o 41328
228.33	c 12220
228.76	o 41334
228.76	c 12214
229.34	o 41340
229.34	c 12208
229.93	o 41344
229.93	c 12204
230.33	o 41349
230.33	c 12199
230.80	o 41353
230.80	c 12195
231.22	o 41356
231.23	c 12192
233.27	o 41361
233.27	c 12187
233.78	o 41362
233.78	c 12186
234.35	o 41365
234.35	c 12183
234.94	o 41369
234.94	c 12179
235.55	o 41370
235.55	c 12178
236.11	o 41377
236.11	c 12171
236.78	o 41385
236.78	c 12163
237.48	o 41388
237.48	c 12160
238.03	o 41391
238.03	c 12157
238.61	o 41395
238.61	c 12153
239.21	o 41403
239.21	c 12145
239.85	o 41404
239.85	c 12144
240.65	o 41416
240.65	c 12132
241.24	o 41422
241.24	c 12126
241.89	o 41426
241.90	c 12122
243.20	o 41428
243.20	c 12120
243.76	o 41434
243.76	c 12114
244.91	o 41444
244.91	c 12104
245.48	o 41446
245.48	c 12102
246.03	o 41451
246.03	c 12097
246.61	o 41457
246.61	c 12091
247.20	o 41460
247.20	c 12088
247.80	o 41461
247.80	c 12087
248.39	o 41462
248.39	c 12086
248.99	o 41464
248.99	c 12084
249.59	o 41468
249.59	c 12080
250.09	o 41474
250.09	c 12074
250.61	o 41479
250.61	c 12069
251.64	o 41481
251.64	c 12067
252.16	o 41485
252.16	c 12063
252.66	o 41488
252.66	c 12060
253.24	o 41497
253.24	c 12051
253.89	o 41505
253.89	c 12043
254.55	o 41513
254.55	c 12035
255.72	o 41516
255.72	c 12032
256.29	o 41523
256.29	c 12025
256.85	o 41524
256.85	c 12024
257.36	o 41525
257.36	c 12023
257.90	o 41531
257.90	c 12017
258.43	o 41537
258.43	c 12011
258.99	o 41543
258.99	c 12005
259.51	o 41549
259.51	c 11999
260.06	o 41555
260.06	c 11993
260.57	o 41559
260.57	c 11989
261.11	o 41564
261.11	c 11984
261.67	o 41569
261.67	c 11979
262.18	o 41574
262.18	c 11974
262.70	o 41579
262.70	c 11969
263.23	o 41584
263.23	c 11964
263.79	o 41589
263.79	c 11959
264.36	o 41594
264.36	c 11954
264.97	o 41599
264.97	c 11949
265.54	o 41603
265.54	c 11945
266.10	o 41607
266.10	c 11941
266.63	o 41611
266.63	c 11937
267.19	o 41614
267.19	c 11934
268.34	o 41617
268.34	c 11931
268.89	o 41620
268.89	c 11928
269.43	o 41623
269.43	c 11925
269.96	o 41628
269.96	c 11920
270.48	o 41630
270.48	c 11918
270.97	o 41633
270.97	c 11915
271.46	o 41635
271.46	c 11913
272.00	o 41637
272.00	c 11911
272.55	o 41639
272.55	c 11909
273.09	o 41644
273.09	c 11904
273.99	o 41645
273.99	c 11903
274.48	o 41649
274.48	c 11899
275.45	o 41650
275.45	c 11898
275.89	o 41652
275.89	c 11896
276.36	o 41654
276.36	c 11894
276.80	o 41656
276.80	c 11892
277.25	o 41658
277.25	c 11890
277.77	o 41660
277.78	c 11888
278.23	o 41662
278.23	c 11886
278.70	o 41671
278.70	c 11877
279.04	o 41676
279.04	c 11872
279.54	o 41682
279.54	c 11866
280.01	o 41683
280.01	c 11865
280.52	o 41684
280.52	c 11864
284.04	o 41694
284.04	c 11854
286.87	o 41695
286.87	c 11853
287.40	o 41697
287.40	c 11851
287.90	o 41701
287.90	c 11847
288.43	o 41707
288.43	c 11841
288.93	o 41709
288.93	c 11839
289.49	o 41711
289.49	c 11837
290.05	o 41713
290.05	c 11835
290.59	o 41715
290.59	c 11833
291.12	o 41716
291.12	c 11832
291.64	o 41718
291.64	c 11830
293.44	o 41721
293.44	c 11827
294.06	o 41729
294.06	c 11819
295.25	o 41734
295.25	c 11814
295.86	o 41741
295.86	c 11807
296.48	o 41750
296.48	c 11798
297.70	o 41757
297.70	c 11791
299.03	o 41760
299.03	c 11788
299.65	o 41763
299.65	c 11785
300.34	o 41769
300.34	c 11779
300.99	o 41773
300.99	c 11775
302.22	o 41775
302.22	c 11773
302.76	o 41784
302.76	c 11764
303.40	o 41787
303.40	c 11761
304.03	o 41791
304.03	c 11757
306.40	o 41793
306.40	c 11755
307.00	o 41798
307.00	c 11750
307.53	o 41806
307.53	c 11742
308.07	o 41815
308.07	c 11733
308.61	o 41816
308.61	c 11732
309.18	o 41821
309.18	c 11727
309.80	o 41825
309.80	c 11723
310.43	o 41830
310.43	c 11718
311.06	o 41832
311.06	c 11716
311.69	o 41838
311.69	c 11710
312.31	o 41843
312.31	c 11705
312.92	o 41846
312.92	c 11702
313.61	o 41854
313.61	c 11694
314.26	o 41855
314.26	c 11693
316.02	o 41858
316.02	c 11690
317.12	o 41865
317.12	c 11683
317.68	o 41870
317.68	c 11678
320.26	o 41871
320.26	c 11677
320.80	o 41875
320.80	c 11673
323.22	o 41879
323.22	c 11669
323.87	o 41887
323.87	c 11661
324.48	o 41894
324.48	c 11654
325.08	o 41901
325.08	c 11647
325.70	o 41908
325.70	c 11640
326.32	o 41914
326.32	c 11634
326.93	o 41920
326.93	c 11628
327.55	o 41926
327.55	c 11622
328.10	o 41931
328.10	c 11617
328.75	o 41937
328.75	c 11611
329.77	o 41940
329.77	c 11608
330.36	o 41945
330.36	c 11603
330.92	o 41950
330.92	c 11598
331.49	o 41955
331.49	c 11593
332.07	o 41960
332.07	c 11588
332.70	o 41964
332.70	c 11584
333.26	o 41968
333.26	c 11580
333.82	o 41972
333.82	c 11576
334.42	o 41976
334.42	c 11572
335.02	o 41980
335.03	c 11568
335.58	o 41984
335.58	c 11564
336.16	o 41987
336.16	c 11561
336.72	o 41990
336.72	c 11558
337.29	o 41993
337.29	c 11555
337.85	o 41996
337.85	c 11552
338.40	o 41998
338.40	c 11550
339.00	o 42001
339.00	c 11547
339.57	o 42003
339.57	c 11545
340.18	o 42005
340.18	c 11543
340.72	o 42007
340.72	c 11541
341.32	o 42009
341.32	c 11539
341.88	o 42011
341.88	c 11537
342.46	o 42013
342.46	c 11535
343.05	o 42014
343.05	c 11534
343.64	o 42015
343.64	c 11533
344.25	o 42019
344.25	c 11529
344.85	o 42020
344.85	c 11528
345.44	o 42021
345.44	c 11527
345.97	o 42025
345.97	c 11523
346.58	o 42026
346.58	c 11522
347.16	o 42027
347.16	c 11521
347.74	o 42028
347.74	c 11520
348.89	o 42029
348.89	c 11519
349.49	o 42030
349.49	c 11518
350.16	o 42031
350.16	c 11517
351.36	o 42043
351.36	c 11505
351.91	o 42046
351.91	c 11502
352.43	o 42050
352.43	c 11498
352.96	o 42056
352.96	c 11492
353.54	o 42058
353.54	c 11490
354.09	o 42060
354.09	c 11488
355.15	o 42067
355.15	c 11481
355.66	o 42071
355.66	c 11477
357.20	o 42078
357.20	c 11470
358.75	o 42083
358.75	c 11465
360.89	o 42084
360.89	c 11464
361.32	o 42090
361.32	c 11458
362.31	o 42095
362.31	c 11453
362.83	o 42100
362.83	c 11448
363.35	o 42107
363.35	c 11441
363.81	o 42109
363.81	c 11439
364.81	o 42113
364.81	c 11435
365.32	o 42115
365.32	c 11433
365.85	o 42119
365.85	c 11429
366.34	o 42123
366.34	c 11425
366.83	o 42129
366.83	c 11419
367.28	o 42130
367.28	c 11418
367.68	o 42136
367.68	c 11412
368.16	o 42139
368.16	c 11409
368.61	o 42145
368.61	c 11403
369.55	o 42150
369.55	c 11398
369.94	o 42151
369.94	c 11397
370.43	o 42156
370.43	c 11392
370.93	o 42161
370.93	c 11387
371.49	o 42162
371.49	c 11386
372.51	o 42166
372.51	c 11382
373.50	o 42167
373.50	c 11381
374.00	o 42170
374.00	c 11378
374.51	o 42174
374.51	c 11374
375.07	o 42178
375.07	c 11370
375.58	o 42188
375.58	c 11360
377.43	o 42189
377.43	c 11359
380.68	o 42196
380.68	c 11352
381.53	o 42201
381.53	c 11347
382.04	o 42206
382.04	c 11342
382.51	o 42210
382.51	c 11338
382.91	o 42211
382.91	c 11337
383.36	o 42213
383.36	c 11335
383.83	o 42214
383.83	c 11334
384.28	o 42222
384.28	c 11326
385.32	o 42225
385.32	c 11323
385.73	o 42230
385.73	c 11318
386.20	o 42238
386.20	c 11310
386.66	o 42240
386.66	c 11308
388.23	o 42242
388.23	c 11306
388.76	o 42247
388.76	c 11301
389.20	o 42257
389.20	c 11291
389.65	o 42259
389.65	c 11289
390.10	o 42260
390.10	c 11288
390.54	o 42272
390.54	c 11276
391.44	o 42274
391.44	c 11274
391.95	o 42275
391.95	c 11273
392.39	o 42277
392.39	c 11271
392.86	o 42283
392.86	c 11265
393.33	o 42288
393.33	c 11260
393.86	o 42294
393.86	c 11254
394.38	o 42300
394.38	c 11248
394.93	o 42302
394.93	c 11246
395.54	o 42307
395.54	c 11241
396.10	o 42313
396.10	c 11235
396.69	o 42318
396.69	c 11230
397.35	o 42328
397.35	c 11220
397.91	o 42337
397.91	c 11211
398.52	o 42340
398.52	c 11208
399.06	o 42341
399.06	c 11207
399.66	o 42344
399.66	c 11204
400.22	o 42349
400.22	c 11199
400.76	o 42350
400.76	c 11198
401.33	o 42351
401.33	c 11197
401.91	o 42354
401.91	c 11194
402.50	o 42357
402.50	c 11191
403.06	o 42362
403.06	c 11186
404.22	o 42364
404.22	c 11184
404.85	o 42368
404.85	c 11180
406.20	o 42372
406.20	c 11176
407.41	o 42378
407.41	c 11170
408.05	o 42379
408.05	c 11169
408.67	o 42381
408.67	c 11167
409.43	o 42384
409.43	c 11164
410.10	o 42394
410.10	c 11154
410.72	o 42400
410.72	c 11148
412.13	o 42401
412.13	c 11147
412.83	o 42413
412.83	c 11135
413.58	o 42421
413.58	c 11127
414.97	o 42424
414.97	c 11124
415.72	o 42427
415.72	c 11121
416.45	o 42433
416.45	c 11115
417.18	o 42435
417.18	c 11113
417.93	o 42440
417.93	c 11108
418.64	o 42442
418.64	c 11106
419.42	o 42448
419.42	c 11100
420.15	o 42454
420.15	c 11094
421.54	o 42460
421.54	c 11088
422.25	o 42466
422.25	c 11082
422.95	o 42471
422.95	c 11077
425.00	o 42476
425.00	c 11072
425.69	o 42481
425.69	c 11067
426.32	o 42486
426.32	c 11062
426.97	o 42490
426.97	c 11058
427.61	o 42494
427.61	c 11054
428.26	o 42498
428.26	c 11050
428.90	o 42502
428.90	c 11046
429.60	o 42510
429.60	c 11038
430.32	o 42513
430.32	c 11035
430.97	o 42515
430.97	c 11033
431.60	o 42517
431.60	c 11031
432.23	o 42520
432.23	c 11028
432.87	o 42523
432.87	c 11025
433.50	o 42525
433.50	c 11023
434.16	o 42527
434.16	c 11021
434.88	o 42529
434.88	c 11019
435.49	o 42531
435.49	c 11017
436.16	o 42532
436.16	c 11016
436.80	o 42534
436.80	c 11014
437.47	o 42535
437.47	c 11013
438.12	o 42536
438.12	c 11012
438.77	o 42537
438.77	c 11011
439.39	o 42538
439.39	c 11010
440.66	o 42544
440.66	c 11004
441.29	o 42546
441.29	c 11002
442.63	o 42551
442.63	c 10997
443.30	o 42554
443.30	c 10994
444.03	o 42557
444.03	c 10991
444.69	o 42558
444.69	c 10990
445.36	o 42561
445.36	c 10987
446.73	o 42564
446.73	c 10984
447.39	o 42565
447.39	c 10983
448.74	o 42570
448.74	c 10978
449.41	o 42573
449.41	c 10975
450.02	o 42582
450.02	c 10966
450.71	o 42584
450.71	c 10964
451.33	o 42593
451.33	c 10955
452.05	o 42596
452.05	c 10952
452.70	o 42597
452.70	c 10951
453.39	o 42603
453.39	c 10945
457.41	o 42610
457.41	c 10938
458.79	o 42613
458.79	c 10935
459.44	o 42621
459.44	c 10927
460.14	o 42625
460.14	c 10923
460.79	o 42626
460.79	c 10922
462.79	o 42628
462.79	c 10920
464.05	o 42632
464.05	c 10916
464.64	o 42636
464.64	c 10912
466.50	o 42639
466.50	c 10909
467.79	o 42641
467.79	c 10907
468.39	o 42649
468.39	c 10899
469.02	o 42656
469.02	c 10892
469.73	o 42660
469.73	c 10888
470.39	o 42665
470.39	c 10883
471.69	o 42666
471.69	c 10882
472.31	o 42671
472.31	c 10877
473.00	o 42672
473.00	c 10876
473.65	o 42675
473.65	c 10873
474.35	o 42678
474.35	c 10870
475.74	o 42681
475.74	c 10867
476.39	o 42688
476.39	c 10860
477.11	o 42692
477.11	c 10856
477.87	o 42695
477.87	c 10853
478.57	o 42698
478.57	c 10850
479.91	o 42700
479.91	c 10848
480.60	o 42701
480.60	c 10847
481.24	o 42708
481.24	c 10840
481.87	o 42712
481.87	c 10836
482.48	o 42713
482.48	c 10835
483.08	o 42721
483.08	c 10827
484.35	o 42727
484.35	c 10821
485.56	o 42728
485.56	c 10820
486.16	o 42730
486.16	c 10818
486.79	o 42737
486.79	c 10811
487.38	o 42740
487.38	c 10808
488.59	o 42743
488.59	c 10805
489.79	o 42747
489.79	c 10801
490.40	o 42750
490.40	c 10798
491.00	o 42756
491.00	c 10792
491.59	o 42761
491.59	c 10787
492.18	o 42770
492.18	c 10778
492.78	o 42771
492.78	c 10777
493.42	o 42777
493.42	c 10771
494.09	o 42782
494.09	c 10766
494.74	o 42792
494.74	c 10756
496.08	o 42794
496.08	c 10754
496.77	o 42796
496.77	c 10752
497.51	o 42801
497.51	c 10747
498.19	o 42802
498.19	c 10746
498.87	o 42806
498.87	c 10742
499.60	o 42809
499.60	c 10739
500.32	o 42815
500.32	c 10733
501.00	o 42817
501.00	c 10731
501.71	o 42820
501.71	c 10728
502.48	o 42827
502.48	c 10721
503.26	o 42833
503.26	c 10715
503.99	o 42843
503.99	c 10705
504.72	o 42846
504.72	c 10702
505.42	o 42852
505.42	c 10696
506.00	o 42854
506.00	c 10694
507.34	o 42856
507.34	c 10692
508.01	o 42857
508.01	c 10691
508.63	o 42864
508.63	c 10684
510.07	o 42874
510.07	c 10674
510.74	o 42881
510.74	c 10667
511.44	o 42885
511.44	c 10663
512.14	o 42890
512.14	c 10658
512.86	o 42899
512.86	c 10649
513.51	o 42901
513.51	c 10647
514.23	o 42905
514.23	c 10643
514.94	o 42909
514.94	c 10639
515.59	o 42910
515.59	c 10638
519.18	o 42912
519.18	c 10636
519.91	o 42913
519.91	c 10635
521.44	o 42914
521.44	c 10634
523.59	o 42915
523.59	c 10633
524.31	o 42922
524.31	c 10626
526.99	o 42923
526.99	c 10625
527.67	o 42925
527.67	c 10623
528.36	o 42930
528.36	c 10618
529.58	o 42932
529.58	c 10616
530.23	o 42933
530.23	c 10615
530.92	o 42939
530.93	c 10609
531.53	o 42948
531.53	c 10600
532.16	o 42953
532.16	c 10595
532.78	o 42960
532.78	c 10588
533.35	o 42964
533.35	c 10584
534.00	o 42969
534.00	c 10579
534.78	o 42972
534.78	c 10576
535.47	o 42976
535.47	c 10572
536.22	o 42983
536.22	c 10565
536.88	o 42988
536.88	c 10560
537.59	o 42994
537.59	c 10554
538.27	o 42999
538.27	c 10549
538.94	o 43004
538.94	c 10544
539.65	o 43009
539.65	c 10539
540.33	o 43013
540.33	c 10535
541.01	o 43016
541.01	c 10532
541.75	o 43019
541.75	c 10529
542.45	o 43022
542.45	c 10526
543.16	o 43024
543.16	c 10524
543.87	o 43026
543.87	c 10522
544.61	o 43029
544.61	c 10519
545.25	o 43030
545.25	c 10518
545.89	o 43032
545.89	c 10516
546.53	o 43034
546.53	c 10514
547.17	o 43036
547.17	c 10512
547.88	o 43038
547.88	c 10510
548.50	o 43039
548.50	c 10509
549.14	o 43040
549.14	c 10508
549.78	o 43043
549.78	c 10505
550.43	o 43044
550.43	c 10504
551.12	o 43045
551.12	c 10503
553.69	o 43051
553.69	c 10497
554.32	o 43052
554.32	c 10496
555.00	o 43055
555.00	c 10493
555.67	o 43056
555.67	c 10492
556.33	o 43057
556.33	c 10491
557.61	o 43058
557.61	c 10490
558.26	o 43059
558.26	c 10489
559.50	o 43063
559.50	c 10485
560.15	o 43065
560.15	c 10483
563.28	o 43066
563.28	c 10482
563.80	o 43070
563.80	c 10478
566.76	o 43071
566.76	c 10477
567.34	o 43076
567.34	c 10472
567.92	o 43077
567.92	c 10471
568.50	o 43084
568.51	c 10464
569.02	o 43092
569.02	c 10456
569.58	o 43096
569.58	c 10452
570.69	o 43099
570.69	c 10449
571.28	o 43103
571.28	c 10445
571.98	o 43106
571.98	c 10442
572.54	o 43111
572.54	c 10437
573.18	o 43120
573.18	c 10428
573.81	o 43127
573.81	c 10421
574.40	o 43134
574.40	c 10414
575.78	o 43140
575.78	c 10408
576.42	o 43142
576.42	c 10406
577.75	o 43143
577.75	c 10405
578.41	o 43147
578.41	c 10401
579.07	o 43153
579.07	c 10395
580.30	o 43159
580.30	c 10389
580.86	o 43163
580.86	c 10385
583.31	o 43165
583.31	c 10383
583.88	o 43166
583.88	c 10382
584.48	o 43168
584.48	c 10380
585.75	o 43177
585.75	c 10371
586.37	o 43183
586.37	c 10365
587.01	o 43188
587.01	c 10360
587.66	o 43196
587.66	c 10352
588.25	o 43198
588.25	c 10350
588.88	o 43199
588.88	c 10349
589.49	o 43201
589.49	c 10347
590.17	o 43204
590.17	c 10344
590.75	o 43207
590.75	c 10341
591.33	o 43211
591.33	c 10337
592.40	o 43220
592.40	c 10328
593.01	o 43232
593.01	c 10316
593.60	o 43234
593.60	c 10314
594.18	o 43239
594.18	c 10309
594.83	o 43241
594.83	c 10307
595.45	o 43248
595.45	c 10300
596.10	o 43252
596.10	c 10296
596.77	o 43260
596.77	c 10288
597.34	o 43263
597.34	c 10285
597.98	o 43269
597.98	c 10279
599.24	o 43273
599.24	c 10275
599.86	o 43274
599.86	c 10274
600.48	o 43277
600.48	c 10271
601.16	o 43278
601.16	c 10270
603.70	o 43279
603.70	c 10269
604.34	o 43284
604.34	c 10264
605.67	o 43287
605.67	c 10261
607.08	o 43290
607.08	c 10258
607.74	o 43293
607.74	c 10255
608.47	o 43300
608.47	c 10248
609.18	o 43303
609.18	c 10245
609.80	o 43308
609.80	c 10240
611.25	o 43311
611.25	c 10237
612.62	o 43312
612.62	c 10236
613.33	o 43318
613.33	c 10230
615.50	o 43321
615.50	c 10227
616.18	o 43322
616.18	c 10226
616.91	o 43325
616.91	c 10223
617.68	o 43334
617.68	c 10214
618.37	o 43339
618.37	c 10209
619.12	o 43342
619.12	c 10206
620.57	o 43346
620.57	c 10202
622.81	o 43352
622.81	c 10196
623.55	o 43354
623.55	c 10194
624.30	o 43359
624.30	c 10189
625.06	o 43361
625.06	c 10187
626.56	o 43362
626.56	c 10186
627.31	o 43372
627.31	c 10176
628.10	o 43374
628.10	c 10174
628.84	o 43376
628.84	c 10172
629.59	o 43378
629.59	c 10170
630.32	o 43386
630.32	c 10162
631.09	o 43394
631.09	c 10154
631.92	o 43399
631.92	c 10149
632.71	o 43401
632.71	c 10147
633.51	o 43411
633.51	c 10137
634.34	o 43413
634.34	c 10135
639.01	o 43419
639.01	c 10129
639.79	o 43423
639.79	c 10125
640.51	o 43425
640.51	c 10123
642.99	o 43428
642.99	c 10120
643.83	o 43430
643.83	c 10118
647.50	o 43435
647.50	c 10113
648.97	o 43439
648.97	c 10109
650.29	o 43444
650.29	c 10104
650.98	o 43446
650.98	c 10102
651.65	o 43450
651.65	c 10098
652.97	o 43455
652.97	c 10093
653.70	o 43460
653.70	c 10088
655.06	o 43463
655.06	c 10085
655.80	o 43470
655.80	c 10078
658.42	o 43474
658.42	c 10074
659.10	o 43478
659.10	c 10070
659.72	o 43488
659.72	c 10060
662.57	o 43492
662.57	c 10056
663.25	o 43498
663.25	c 10050
663.92	o 43500
663.92	c 10048
666.65	o 43503
666.65	c 10045
667.99	o 43505
667.99	c 10043
668.68	o 43507
668.68	c 10041
670.16	o 43509
670.16	c 10039
670.89	o 43511
670.89	c 10037
671.56	o 43512
671.56	c 10036
672.50	o 43514
672.50	c 10034
673.34	o 43516
673.34	c 10032
674.08	o 43519
674.08	c 10029
674.80	o 43520
674.80	c 10028
675.65	o 43525
675.65	c 10023
676.48	o 43529
676.48	c 10019
677.30	o 43533
677.30	c 10015
678.10	o 43540
678.10	c 10008
678.89	o 43544
678.89	c 10004
679.71	o 43547
679.71	c 10001
680.57	o 43550
680.57	c 9998
682.21	o 43553
682.21	c 9995
683.00	o 43556
683.00	c 9992
683.87	o 43558
683.87	c 9990
684.65	o 43560
684.65	c 9988
686.29	o 43562
686.29	c 9986
687.10	o 43564
687.10	c 9984
687.90	o 43566
687.90	c 9982
688.72	o 43567
688.72	c 9981
689.55	o 43568
689.55	c 9980
690.35	o 43569
690.35	c 9979
691.21	o 43570
691.21	c 9978
692.03	o 43571
692.03	c 9977
692.82	o 43576
692.82	c 9972
693.64	o 43580
693.64	c 9968
696.06	o 43585
696.06	c 9963
701.02	o 43586
701.02	c 9962
702.64	o 43587
702.64	c 9961
704.26	o 43591
704.26	c 9957
705.09	o 43594
705.09	c 9954
705.96	o 43598
705.96	c 9950
706.78	o 43602
706.78	c 9946
707.63	o 43604
707.63	c 9944
708.45	o 43605
708.45	c 9943
709.32	o 43610
709.32	c 9938
710.14	o 43612
710.14	c 9936
712.60	o 43615
712.60	c 9933
716.78	o 43620
716.78	c 9928
717.69	o 43622
717.69	c 9926
718.58	o 43628
718.58	c 9920
720.44	o 43632
720.44	c 9916
722.29	o 43638
722.29	c 9910
724.10	o 43645
724.10	c 9903
725.00	o 43646
725.00	c 9902
725.87	o 43648
725.87	c 9900
727.71	o 43657
727.71	c 9891
728.61	o 43659
728.61	c 9889
729.47	o 43660
729.47	c 9888
730.34	o 43666
730.34	c 9882
731.23	o 43673
731.23	c 9875
732.11	o 43676
732.11	c 9872
733.04	o 43681
733.04	c 9867
733.95	o 43684
733.95	c 9864
734.87	o 43691
734.87	c 9857
735.75	o 43696
735.75	c 9852
736.61	o 43698
736.61	c 9850
737.51	o 43701
737.51	c 9847
738.40	o 43703
738.40	c 9845
739.25	o 43705
739.25	c 9843
740.13	o 43709
740.13	c 9839
741.03	o 43713
741.03	c 9835
742.86	o 43714
742.86	c 9834
743.73	o 43719
743.73	c 9829
744.65	o 43722
744.65	c 9826
746.56	o 43725
746.56	c 9823
747.52	o 43728
747.52	c 9820
748.43	o 43733
748.43	c 9815
749.39	o 43735
749.39	c 9813
750.42	o 43736
750.42	c 9812
751.38	o 43745
751.38	c 9803
752.42	o 43747
752.42	c 9801
753.42	o 43753
753.42	c 9795
754.41	o 43762
754.41	c 9786
757.49	o 43770
757.49	c 9778
758.48	o 43771
758.48	c 9777
759.52	o 43772
759.53	c 9776
763.44	o 43774
763.44	c 9774
764.46	o 43776
764.46	c 9772
765.45	o 43782
765.45	c 9766
766.41	o 43787
766.41	c 9761
767.38	o 43791
767.38	c 9757
768.40	o 43793
768.40	c 9755
769.38	o 43798
769.38	c 9750
770.39	o 43801
770.39	c 9747
771.43	o 43804
771.43	c 9744
772.44	o 43807
772.44	c 9741
773.54	o 43809
773.54	c 9739
774.62	o 43818
774.62	c 9730
775.63	o 43827
775.63	c 9721
776.64	o 43830
776.64	c 9718
777.69	o 43832
777.69	c 9716
779.80	o 43837
779.80	c 9711
782.99	o 43842
782.99	c 9706
784.06	o 43850
784.06	c 9698
785.05	o 43851
785.05	c 9697
786.12	o 43855
786.12	c 9693
787.11	o 43858
787.11	c 9690
788.13	o 43862
788.13	c 9686
789.15	o 43865
789.15	c 9683
790.18	o 43872
790.18	c 9676
791.15	o 43876
791.15	c 9672
794.13	o 43879
794.13	c 9669
795.10	o 43882
795.10	c 9666
796.09	o 43887
796.09	c 9661
797.01	o 43896
797.01	c 9652
798.03	o 43898
798.03	c 9650
799.00	o 43902
799.00	c 9646
802.90	o 43905
802.90	c 9643
803.89	o 43906
803.89	c 9642
804.84	o 43910
804.84	c 9638
805.83	o 43913
805.83	c 9635
806.77	o 43920
806.77	c 9628
807.70	o 43922
807.70	c 9626
808.68	o 43924
808.68	c 9624
810.69	o 43928
810.69	c 9620
812.76	o 43929
812.76	c 9619
813.79	o 43936
813.79	c 9612
814.78	o 43937
814.78	c 9611
815.78	o 43939
815.78	c 9609
817.74	o 43943
817.74	c 9605
818.77	o 43946
818.77	c 9602
819.77	o 43951
819.77	c 9597
820.76	o 43954
820.76	c 9594
822.82	o 43958
822.82	c 9590
825.87	o 43965
825.87	c 9583
826.86	o 43968
826.86	c 9580
829.91	o 43973
829.91	c 9575
832.71	o 43976
832.71	c 9572
833.25	o 43979
833.25	c 9569
835.02	o 43982
835.02	c 9566
835.92	o 43986
835.92	c 9562
836.86	o 43989
836.86	c 9559
837.81	o 43992
837.81	c 9556
840.39	o 43998
840.39	c 9550
842.21	o 44002
842.21	c 9546
843.09	o 44003
843.09	c 9545
843.99	o 44004
843.99	c 9544
844.87	o 44006
844.87	c 9542
847.57	o 44008
847.57	c 9540
849.32	o 44010
849.32	c 9538
850.27	o 44015
850.27	c 9533
851.19	o 44016
851.19	c 9532
852.10	o 44018
852.10	c 9530
853.08	o 44023
853.08	c 9525
855.86	o 44029
855.86	c 9519
856.75	o 44030
856.75	c 9518
857.60	o 44032
857.60	c 9516
859.43	o 44034
859.43	c 9514
863.18	o 44037
863.18	c 9511
864.13	o 44039
864.13	c 9509
865.03	o 44040
865.03	c 9508
865.91	o 44043
865.91	c 9505
866.79	o 44046
866.79	c 9502
867.70	o 44051
867.70	c 9497
868.58	o 44052
868.58	c 9496
869.46	o 44057
869.46	c 9491
870.33	o 44059
870.33	c 9489
873.09	o 44063
873.09	c 9485
873.98	o 44067
873.98	c 9481
874.81	o 44068
874.81	c 9480
875.74	o 44069
875.74	c 9479
876.64	o 44075
876.64	c 9473
877.58	o 44076
877.58	c 9472
878.51	o 44077
878.51	c 9471
879.42	o 44079
879.42	c 9469
880.31	o 44082
880.31	c 9466
881.25	o 44086
881.25	c 9462
882.18	o 44091
882.18	c 9457
884.04	o 44098
884.04	c 9450
886.87	o 44106
886.87	c 9442
887.71	o 44115
887.71	c 9433
888.61	o 44116
888.61	c 9432
889.49	o 44123
889.49	c 9425
890.43	o 44126
890.43	c 9422
891.37	o 44131
891.37	c 9417
892.30	o 44133
892.30	c 9415
892.90	o 44134
892.90	c 9414
893.79	o 44142
893.79	c 9406
894.74	o 44145
894.74	c 9403
895.64	o 44149
895.64	c 9399
896.57	o 44152
896.57	c 9396
898.39	o 44155
898.39	c 9393
899.40	o 44157
899.40	c 9391
900.39	o 44160
900.39	c 9388
902.26	o 44162
902.26	c 9386
903.20	o 44169
903.20	c 9379
904.12	o 44171
904.12	c 9377
905.93	o 44173
905.93	c 9375
906.91	o 44180
906.91	c 9368
907.90	o 44182
907.90	c 9366
908.86	o 44188
908.86	c 9360
910.85	o 44189
910.85	c 9359
911.84	o 44193
911.84	c 9355
913.71	o 44198
913.71	c 9350
915.58	o 44203
915.58	c 9345
916.50	o 44207
916.50	c 9341
917.46	o 44215
917.46	c 9333
918.43	o 44219
918.43	c 9329
919.39	o 44222
919.39	c 9326
920.40	o 44225
920.40	c 9323
921.40	o 44227
921.40	c 9321
922.43	o 44229
922.43	c 9319
928.94	o 44230
928.94	c 9318
930.77	o 44234
930.77	c 9314
933.61	o 44239
933.61	c 9309
934.53	o 44245
934.53	c 9303
936.49	o 44255
936.49	c 9293
937.54	o 44259
937.54	c 9289
938.48	o 44260
938.48	c 9288
941.46	o 44264
941.46	c 9284
944.39	o 44265
944.39	c 9283
945.34	o 44271
945.34	c 9277
948.27	o 44274
948.27	c 9274
949.27	o 44280
949.27	c 9268
950.23	o 44283
950.23	c 9265
951.13	o 44286
951.13	c 9262
952.10	o 44289
952.10	c 9259
955.95	o 44303
955.95	c 9245
956.90	o 44307
956.90	c 9241
957.87	o 44308
957.87	c 9240
958.84	o 44309
958.84	c 9239
960.82	o 44312
960.82	c 9236
961.77	o 44314
961.77	c 9234
963.84	o 44318
963.84	c 9230
964.78	o 44324
964.78	c 9224
965.82	o 44325
965.82	c 9223
966.87	o 44327
966.87	c 9221
967.84	o 44332
967.84	c 9216
968.83	o 44335
968.83	c 9213
969.82	o 44342
969.82	c 9206
970.84	o 44345
970.84	c 9203
971.91	o 44351
971.91	c 9197
972.97	o 44356
972.97	c 9192
974.00	o 44360
974.00	c 9188
976.05	o 44366
976.05	c 9182
977.15	o 44367
977.15	c 9181
978.19	o 44368
978.19	c 9180
979.27	o 44373
979.27	c 9175
980.25	o 44382
980.25	c 9166
981.29	o 44385
981.29	c 9163
982.35	o 44388
982.35	c 9160
985.47	o 44389
985.47	c 9159
987.57	o 44392
987.57	c 9156
988.57	o 44399
988.57	c 9149
990.43	o 44407
990.43	c 9141
992.44	o 44412
992.44	c 9136
993.45	o 44414
993.45	c 9134
995.40	o 44416
995.40	c 9132
996.39	o 44422
996.39	c 9126
997.45	o 44426
997.45	c 9122
998.46	o 44427
998.46	c 9121
999.49	o 44430
999.49	c 9118
1000.50	o 44432
1000.50	c 9116
1003.55	o 44433
1003.55	c 9115
1004.58	o 44434
1004.58	c 9114
1006.58	o 44439
1006.58	c 9109
1008.55	o 44441
1008.55	c 9107
1009.53	o 44445
1009.53	c 9103
1010.57	o 44449
1010.57	c 9099
1011.55	o 44451
1011.55	c 9097
1012.53	o 44457
1012.53	c 9091
1013.47	o 44458
1013.47	c 9090
1014.48	o 44461
1014.48	c 9087
1015.49	o 44463
1015.49	c 9085
1018.71	o 44467
1018.71	c 9081
1021.96	o 44472
1021.96	c 9076
1023.00	o 44479
1023.00	c 9069
1026.20	o 44482
1026.20	c 9066
1027.34	o 44486
1027.34	c 9062
1028.41	o 44487
1028.41	c 9061
1029.46	o 44493
1029.46	c 9055
1030.54	o 44494
1030.54	c 9054
1031.60	o 44497
1031.60	c 9051
1032.61	o 44499
1032.61	c 9049
1033.73	o 44501
1033.73	c 9047
1034.84	o 44502
1034.84	c 9046
1036.02	o 44503
1036.02	c 9045
1037.15	o 44505
1037.15	c 9043
1038.32	o 44507
1038.32	c 9041
1039.44	o 44512
1039.44	c 9036
1040.57	o 44519
1040.57	c 9029
1041.75	o 44522
1041.75	c 9026
1049.77	o 44523
1049.77	c 9025
1050.92	o 44525
1050.92	c 9023
1051.99	o 44527
1051.99	c 9021
1056.37	o 44530
1056.37	c 9018
1057.52	o 44531
1057.52	c 9017
1058.66	o 44534
1058.66	c 9014
1059.76	o 44539
1059.76	c 9009
1060.92	o 44542
1060.92	c 9006
1061.60	o 44544
1061.60	c 9004
1062.71	o 44549
1062.71	c 8999
1063.85	o 44550
1063.85	c 8998
1064.89	o 44557
1064.89	c 8991
1065.97	o 44558
1065.97	c 8990
1066.99	o 44564
1066.99	c 8984
1068.06	o 44568
1068.06	c 8980
1070.15	o 44570
1070.15	c 8978
1072.25	o 44572
1072.25	c 8976
1073.29	o 44574
1073.29	c 8974
1074.33	o 44575
1074.33	c 8973
1075.34	o 44579
1075.34	c 8969
1077.51	o 44586
1077.51	c 8962
1078.59	o 44587
1078.59	c 8961
1079.63	o 44593
1079.63	c 8955
1080.68	o 44594
1080.68	c 8954
1081.75	o 44596
1081.75	c 8952
1082.82	o 44602
1082.82	c 8946
1083.90	o 44605
1083.90	c 8943
1084.96	o 44606
1084.96	c 8942
1086.04	o 44608
1086.04	c 8940
1087.10	o 44611
1087.10	c 8937
1088.19	o 44614
1088.19	c 8934
1090.38	o 44616
1090.38	c 8932
1094.27	o 44619
1094.27	c 8929
1095.34	o 44622
1095.34	c 8926
1096.40	o 44624
1096.40	c 8924
1098.53	o 44625
1098.53	c 8923
1099.56	o 44631
1099.56	c 8917
1100.60	o 44635
1100.60	c 8913
1101.68	o 44636
1101.68	c 8912
1102.71	o 44639
1102.71	c 8909
1103.74	o 44640
1103.74	c 8908
1104.83	o 44641
1104.83	c 8907
1105.88	o 44645
1105.88	c 8903
1106.94	o 44648
1106.94	c 8900
1108.01	o 44652
1108.01	c 8896
1109.05	o 44654
1109.05	c 8894
1110.11	o 44659
1110.11	c 8889
1111.13	o 44664
1111.13	c 8884
1112.23	o 44666
1112.23	c 8882
1114.46	o 44667
1114.46	c 8881
1115.56	o 44675
1115.56	c 8873
1116.65	o 44678
1116.65	c 8870
1117.72	o 44681
1117.72	c 8867
1118.84	o 44683
1118.84	c 8865
1119.93	o 44687
1119.93	c 8861
1123.13	o 44691
1123.13	c 8857
1124.07	o 44693
1124.07	c 8855
1125.17	o 44703
1125.17	c 8845
1138.06	o 44710
1138.06	c 8838
1139.16	o 44715
1139.16	c 8833
1140.36	o 44719
1140.36	c 8829
1141.47	o 44720
1141.47	c 8828
1142.63	o 44723
1142.63	c 8825
1143.76	o 44727
1143.76	c 8821
1144.90	o 44728
1144.90	c 8820
1146.06	o 44734
1146.06	c 8814
1146.97	o 44737
1146.97	c 8811
1152.42	o 44740
1152.42	c 8808
1153.53	o 44748
1153.53	c 8800
1154.66	o 44754
1154.66	c 8794
1155.81	o 44760
1155.81	c 8788
1156.93	o 44762
1156.93	c 8786
1158.06	o 44767
1158.06	c 8781
1159.20	o 44768
1159.20	c 8780
1163.42	o 44770
1163.42	c 8778
1164.51	o 44771
1164.51	c 8777
1165.56	o 44773
1165.56	c 8775
1167.68	o 44774
1167.68	c 8774
1168.77	o 44775
1168.77	c 8773
1170.88	o 44778
1170.88	c 8770
1172.94	o 44779
1172.94	c 8769
1173.98	o 44782
1173.98	c 8766
1175.03	o 44792
1175.03	c 8756
1176.07	o 44793
1176.07	c 8755
1177.12	o 44796
1177.12	c 8752
1179.22	o 44797
1179.22	c 8751
1181.35	o 44805
1181.35	c 8743
1183.42	o 44806
1183.42	c 8742
1184.50	o 44808
1184.50	c 8740
1185.52	o 44809
1185.52	c 8739
1186.57	o 44810
1186.57	c 8738
1187.64	o 44812
1187.64	c 8736
1188.78	o 44813
1188.78	c 8735
1189.82	o 44820
1189.82	c 8728
1190.92	o 44822
1190.92	c 8726
1193.08	o 44828
1193.08	c 8720
1194.13	o 44834
1194.13	c 8714
1196.26	o 44836
1196.26	c 8712
1201.60	o 44837
1201.60	c 8711
1203.61	o 44840
1203.61	c 8708
1204.69	o 44845
1204.69	c 8703
1205.80	o 44851
1205.80	c 8697
1206.92	o 44854
1206.92	c 8694
1208.02	o 44855
1208.02	c 8693
1209.06	o 44858
1209.06	c 8690
1210.16	o 44861
1210.16	c 8687
1211.23	o 44869
1211.23	c 8679
1214.41	o 44873
1214.41	c 8675
1215.46	o 44877
1215.46	c 8671
1216.56	o 44880
1216.56	c 8668
1217.66	o 44882
1217.66	c 8666
1218.75	o 44887
1218.75	c 8661
1219.84	o 44889
1219.84	c 8659
1220.94	o 44894
1220.94	c 8654
1222.11	o 44897
1222.11	c 8651
1223.19	o 44901
1223.19	c 8647
1224.32	o 44903
1224.32	c 8645
1225.40	o 44905
1225.40	c 8643
1226.47	o 44906
1226.47	c 8642
1227.56	o 44907
1227.56	c 8641
1228.65	o 44908
1228.65	c 8640
1229.77	o 44909
1229.77	c 8639
1233.02	o 44914
1233.02	c 8634
1234.08	o 44918
1234.08	c 8630
1236.37	o 44924
1236.37	c 8624
1237.49	o 44925
1237.49	c 8623
1238.65	o 44928
1238.65	c 8620
1239.73	o 44933
1239.73	c 8615
1241.98	o 44937
1241.98	c 8611
1243.15	o 44941
1243.15	c 8607
1245.46	o 44945
1245.46	c 8603
1246.61	o 44947
1246.61	c 8601
1247.74	o 44950
1247.74	c 8598
1248.89	o 44954
1248.89	c 8594
1250.02	o 44955
1250.02	c 8593
1251.19	o 44959
1251.19	c 8589
1252.34	o 44965
1252.34	c 8583
1253.56	o 44974
1253.56	c 8574
1254.76	o 44976
1254.76	c 8572
1255.97	o 44980
1255.97	c 8568
1258.15	o 44985
1258.15	c 8563
1259.32	o 44986
1259.32	c 8562
1260.58	o 44991
1260.58	c 8557
1261.79	o 44993
1261.79	c 8555
1264.13	o 44995
1264.13	c 8553
1265.31	o 44997
1265.31	c 8551
1266.49	o 45001
1266.49	c 8547
1267.66	o 45004
1267.66	c 8544
1268.87	o 45008
1268.87	c 8540
1270.04	o 45016
1270.04	c 8532
1271.25	o 45022
1271.25	c 8526
1272.44	o 45027
1272.44	c 8521
1275.91	o 45030
1275.91	c 8518
1278.12	o 45032
1278.12	c 8516
1281.61	o 45039
1281.61	c 8509
1282.73	o 45049
1282.73	c 8499
1283.90	o 45052
1283.90	c 8496
1288.47	o 45055
1288.47	c 8493
1289.64	o 45060
1289.64	c 8488
1290.74	o 45064
1290.74	c 8484
1291.84	o 45069
1291.84	c 8479
1292.95	o 45071
1292.95	c 8477
1294.17	o 45072
1294.17	c 8476
1296.49	o 45074
1296.49	c 8474
1297.60	o 45078
1297.60	c 8470
1298.71	o 45084
1298.71	c 8464
1299.85	o 45085
1299.85	c 8463
1300.98	o 45086
1300.98	c 8462
1302.11	o 45090
1302.11	c 8458
1303.25	o 45095
1303.25	c 8453
1304.44	o 45099
1304.44	c 8449
1305.61	o 45104
1305.61	c 8444
1307.98	o 45106
1307.98	c 8442
1309.25	o 45109
1309.25	c 8439
1310.42	o 45111
1310.42	c 8437
1311.60	o 45112
1311.60	c 8436
1312.76	o 45117
1312.76	c 8431
1313.92	o 45120
1313.92	c 8428
1316.31	o 45122
1316.31	c 8426
1317.48	o 45131
1317.48	c 8417
1318.68	o 45135
1318.68	c 8413
1319.95	o 45138
1319.95	c 8410
1328.19	o 45141
1328.19	c 8407
1329.35	o 45144
1329.35	c 8404
1331.62	o 45152
1331.62	c 8396
1332.78	o 45154
1332.78	c 8394
1339.94	o 45156
1339.94	c 8392
1343.50	o 45158
1343.50	c 8390
1344.68	o 45160
1344.68	c 8388
1345.90	o 45163
1345.90	c 8385
1347.09	o 45166
1347.09	c 8382
1348.26	o 45168
1348.26	c 8380
1349.50	o 45169
1349.50	c 8379
1350.69	o 45172
1350.69	c 8376
1351.90	o 45173
1351.90	c 8375
1353.14	o 45174
1353.14	c 8374
1355.55	o 45181
1355.55	c 8367
1356.83	o 45193
1356.83	c 8355
1358.12	o 45194
1358.12	c 8354
1359.42	o 45199
1359.42	c 8349
1360.76	o 45200
1360.76	c 8348
1362.04	o 45201
1362.04	c 8347
1363.36	o 45206
1363.36	c 8342
1364.71	o 45209
1364.71	c 8339
1365.99	o 45213
1365.99	c 8335
1369.80	o 45216
1369.80	c 8332
1370.85	o 45225
1370.85	c 8323
1375.72	o 45230
1375.72	c 8318
1376.96	o 45232
1376.96	c 8316
1378.14	o 45234
1378.14	c 8314
1380.55	o 45237
1380.55	c 8311
1381.83	o 45247
1381.83	c 8301
1383.07	o 45250
1383.07	c 8298
1384.43	o 45251
1384.43	c 8297
1385.65	o 45254
1385.65	c 8294
1386.87	o 45255
1386.87	c 8293
1388.13	o 45258
1388.13	c 8290
1389.41	o 45259
1389.41	c 8289
1392.00	o 45264
1392.00	c 8284
1393.29	o 45266
1393.29	c 8282
1394.64	o 45271
1394.64	c 8277
1398.71	o 45275
1398.71	c 8273
1400.12	o 45276
1400.12	c 8272
1401.46	o 45279
1401.46	c 8269
1404.14	o 45281
1404.14	c 8267
1405.46	o 45282
1405.46	c 8266
1406.84	o 45285
1406.84	c 8263
1408.18	o 45289
1408.18	c 8259
1410.86	o 45296
1410.86	c 8252
1412.18	o 45299
1412.18	c 8249
1413.52	o 45301
1413.52	c 8247
1414.84	o 45303
1414.84	c 8245
1416.16	o 45304
1416.16	c 8244
1417.46	o 45306
1417.46	c 8242
1418.76	o 45309
1418.76	c 8239
1420.10	o 45315
1420.10	c 8233
1421.41	o 45317
1421.41	c 8231
1422.77	o 45322
1422.77	c 8226
1424.06	o 45327
1424.06	c 8221
1426.67	o 45329
1426.67	c 8219
1427.99	o 45330
1427.99	c 8218
1429.27	o 45334
1429.27	c 8214
1430.56	o 45336
1430.56	c 8212
1431.82	o 45342
1431.82	c 8206
1433.10	o 45344
1433.10	c 8204
1434.38	o 45349
1434.38	c 8199
1436.91	o 45354
1436.91	c 8194
1438.20	o 45357
1438.20	c 8191
1439.49	o 45359
1439.49	c 8189
1440.77	o 45366
1440.77	c 8182
1441.70	o 45371
1441.70	c 8177
1444.25	o 45374
1444.25	c 8174
1445.53	o 45378
1445.53	c 8170
1446.79	o 45380
1446.79	c 8168
1448.06	o 45382
1448.06	c 8166
1449.34	o 45390
1449.34	c 8158
1450.45	o 45398
1450.45	c 8150
1454.06	o 45399
1454.06	c 8149
1455.27	o 45404
1455.27	c 8144
1456.56	o 45409
1456.56	c 8139
1457.37	o 45420
1457.37	c 8128
1458.56	o 45430
1458.56	c 8118
1459.76	o 45431
1459.76	c 8117
1460.96	o 45433
1460.96	c 8115
1465.64	o 45434
1465.64	c 8114
1466.81	o 45435
1466.81	c 8113
1469.17	o 45440
1469.17	c 8108
1471.56	o 45446
1471.56	c 8102
1472.74	o 45447
1472.74	c 8101
1475.11	o 45448
1475.11	c 8100
1476.27	o 45450
1476.28	c 8098
1477.47	o 45454
1477.47	c 8094
1478.65	o 45459
1478.65	c 8089
1479.85	o 45462
1479.85	c 8086
1481.03	o 45463
1481.03	c 8085
1485.89	o 45468
1485.89	c 8080
1488.19	o 45469
1488.19	c 8079
1489.34	o 45471
1489.35	c 8077
1490.51	o 45473
1490.51	c 8075
1491.63	o 45477
1491.63	c 8071
1493.93	o 45482
1493.93	c 8066
1495.11	o 45485
1495.11	c 8063
1499.92	o 45488
1499.92	c 8060
1501.15	o 45493
1501.15	c 8055
1502.36	o 45499
1502.36	c 8049
1503.52	o 45504
1503.52	c 8044
1504.73	o 45509
1504.73	c 8039
1505.91	o 45513
1505.91	c 8035
1507.13	o 45520
1507.13	c 8028
1508.31	o 45523
1508.31	c 8025
1509.51	o 45525
1509.51	c 8023
1510.68	o 45526
1510.68	c 8022
1513.14	o 45529
1513.14	c 8019
1514.34	o 45534
1514.34	c 8014
1515.53	o 45539
1515.53	c 8009
1516.77	o 45542
1516.77	c 8006
1517.92	o 45546
1517.92	c 8002
1520.31	o 45552
1520.32	c 7996
1522.61	o 45557
1522.61	c 7991
1523.83	o 45558
1523.83	c 7990
1526.23	o 45562
1526.23	c 7986
1527.43	o 45563
1527.43	c 7985
1528.72	o 45573
1528.72	c 7975
1529.81	o 45576
1529.81	c 7972
1531.07	o 45585
1531.07	c 7963
1532.33	o 45589
1532.33	c 7959
1533.62	o 45591
1533.62	c 7957
1534.91	o 45593
1534.91	c 7955
1536.23	o 45598
1536.23	c 7950
1537.50	o 45600
1537.50	c 7948
1538.78	o 45609
1538.78	c 7939
1540.09	o 45610
1540.09	c 7938
1541.39	o 45612
1541.39	c 7936
1542.64	o 45613
1542.64	c 7935
1543.85	o 45619
1543.85	c 7929
1548.79	o 45621
1548.79	c 7927
1550.05	o 45626
1550.05	c 7922
1552.60	o 45632
1552.60	c 7916
1558.83	o 45637
1558.83	c 7911
1560.07	o 45639
1560.07	c 7909
1561.29	o 45642
1561.29	c 7906
1563.77	o 45643
1563.77	c 7905
1565.00	o 45647
1565.00	c 7901
1566.25	o 45650
1566.25	c 7898
1567.47	o 45653
1567.47	c 7895
1568.74	o 45657
1568.74	c 7891
1570.05	o 45666
1570.05	c 7882
1571.34	o 45667
1571.34	c 7881
1577.58	o 45668
1577.58	c 7880
1578.78	o 45675
1578.78	c 7873
1579.96	o 45678
1579.96	c 7870
1587.18	o 45683
1587.18	c 7865
1588.39	o 45686
1588.39	c 7862
1589.60	o 45688
1589.60	c 7860
1590.83	o 45691
1590.83	c 7857
1594.27	o 45698
1594.28	c 7850
1595.50	o 45700
1595.50	c 7848
1596.77	o 45701
1596.77	c 7847
1598.00	o 45703
1598.00	c 7845
1599.33	o 45706
1599.33	c 7842
1601.95	o 45708
1601.95	c 7840
1603.27	o 45713
1603.27	c 7835
1604.54	o 45714
1604.54	c 7834
1605.81	o 45720
1605.81	c 7828
1607.06	o 45725
1607.06	c 7823
1609.63	o 45732
1609.63	c 7816
1610.91	o 45736
1610.91	c 7812
1612.16	o 45741
1612.16	c 7807
1613.41	o 45743
1613.41	c 7805
1614.68	o 45744
1614.68	c 7804
1615.93	o 45748
1615.93	c 7800
1618.60	o 45751
1618.60	c 7797
1619.88	o 45753
1619.88	c 7795
1621.19	o 45754
1621.19	c 7794
1622.50	o 45760
1622.50	c 7788
1623.84	o 45765
1623.84	c 7783
1625.16	o 45766
1625.16	c 7782
1626.41	o 45767
1626.41	c 7781
1627.72	o 45769
1627.72	c 7779
1629.08	o 45771
1629.08	c 7777
1630.42	o 45772
1630.42	c 7776
1631.52	o 45778
1631.52	c 7770
1632.86	o 45783
1632.86	c 7765
1636.76	o 45785
1636.76	c 7763
1638.15	o 45787
1638.15	c 7761
1639.51	o 45789
1639.51	c 7759
1640.84	o 45790
1640.84	c 7758
1645.80	o 45791
1645.80	c 7757
1647.15	o 45796
1647.15	c 7752
1654.52	o 45800
1654.52	c 7748
1657.13	o 45804
1657.13	c 7744
1659.73	o 45805
1659.73	c 7743
1662.38	o 45812
1662.38	c 7736
1663.66	o 45817
1663.66	c 7731
1665.00	o 45819
1665.00	c 7729
1666.28	o 45822
1666.28	c 7726
1667.56	o 45825
1667.56	c 7723
1668.85	o 45828
1668.85	c 7720
1670.17	o 45831
1670.17	c 7717
1675.32	o 45836
1675.32	c 7712
1676.63	o 45838
1676.63	c 7710
1677.94	o 45839
1677.94	c 7709
1679.24	o 45840
1679.24	c 7708
1683.13	o 45844
1683.13	c 7704
1685.66	o 45846
1685.66	c 7702
1686.91	o 45850
1686.91	c 7698
1689.45	o 45852
1689.45	c 7696
1693.18	o 45853
1693.18	c 7695
1694.46	o 45855
1694.46	c 7693
1695.72	o 45858
1695.72	c 7690
1696.98	o 45862
1696.98	c 7686
1705.80	o 45866
1705.80	c 7682
1707.04	o 45869
1707.04	c 7679
1709.61	o 45871
1709.61	c 7677
1710.91	o 45874
1710.91	c 7674
1713.51	o 45877
1713.51	c 7671
1714.87	o 45880
1714.87	c 7668
1717.44	o 45884
1717.44	c 7664
1718.71	o 45888
1718.71	c 7660
1719.96	o 45894
1719.96	c 7654
1721.21	o 45895
1721.21	c 7653
1722.45	o 45906
1722.45	c 7642
1723.70	o 45908
1723.70	c 7640
1724.98	o 45909
1724.98	c 7639
1728.80	o 45912
1728.80	c 7636
1730.03	o 45913
1730.03	c 7635
1731.26	o 45915
1731.26	c 7633
1733.77	o 45916
1733.77	c 7632
1734.93	o 45920
1734.93	c 7628
1736.29	o 45922
1736.29	c 7626
1737.58	o 45928
1737.58	c 7620
1740.22	o 45930
1740.22	c 7618
1741.51	o 45933
1741.51	c 7615
1742.76	o 45937
1742.76	c 7611
1744.08	o 45941
1744.08	c 7607
1752.65	o 45944
1752.65	c 7604
1755.14	o 45947
1755.14	c 7601
1756.44	o 45949
1756.44	c 7599
1757.76	o 45954
1757.76	c 7594
1759.12	o 45956
1759.12	c 7592
1761.76	o 45960
1761.76	c 7588
1763.11	o 45964
1763.11	c 7584
1764.36	o 45970
1764.36	c 7578
1765.62	o 45972
1765.62	c 7576
1769.56	o 45977
1769.56	c 7571
1777.35	o 45980
1777.35	c 7568
1779.93	o 45983
1779.93	c 7565
1781.24	o 45984
1781.24	c 7564
1782.49	o 45991
1782.49	c 7557
1783.80	o 45996
1783.80	c 7552
1785.09	o 45997
1785.09	c 7551
1786.37	o 45999
1786.37	c 7549
1788.93	o 46003
1788.93	c 7545
1791.54	o 46004
1791.54	c 7544
1792.85	o 46007
1792.85	c 7541
1794.23	o 46010
1794.23	c 7538
1799.64	o 46018
1799.64	c 7530
1800.95	o 46020
1800.95	c 7528
1806.37	o 46021
1806.37	c 7527
1807.72	o 46023
1807.72	c 7525
1808.70	o 46024
1808.70	c 7524
1811.10	o 46026
1811.10	c 7522
1812.39	o 46027
1812.39	c 7521
1813.79	o 46030
1813.79	c 7518
1816.47	o 46033
1816.47	c 7515
1820.54	o 46036
1820.54	c 7512
1825.86	o 46042
1825.86	c 7506
1827.13	o 46048
1827.13	c 7500
1828.44	o 46052
1828.44	c 7496
1829.71	o 46054
1829.71	c 7494
1832.28	o 46056
1832.29	c 7492
1836.27	o 46061
1836.27	c 7487
1837.62	o 46064
1837.62	c 7484
1840.24	o 46065
1840.24	c 7483
1845.44	o 46066
1845.44	c 7482
1846.61	o 46069
1846.61	c 7479
1847.86	o 46072
1847.86	c 7476
1850.45	o 46074
1850.45	c 7474
1851.74	o 46077
1851.74	c 7471
1853.08	o 46081
1853.08	c 7467
1854.44	o 46082
1854.44	c 7466
1855.79	o 46083
1855.79	c 7465
1861.11	o 46085
1861.11	c 7463
1862.48	o 46086
1862.48	c 7462
1863.85	o 46087
1863.85	c 7461
1865.21	o 46092
1865.21	c 7456
1866.56	o 46093
1866.56	c 7455
1867.92	o 46097
1867.92	c 7451
1870.60	o 46101
1870.60	c 7447
1874.72	o 46104
1874.72	c 7444
1876.14	o 46107
1876.14	c 7441
1877.51	o 46109
1877.51	c 7439
1878.93	o 46111
1878.93	c 7437
1881.71	o 46112
1881.71	c 7436
1883.13	o 46115
1883.13	c 7433
1885.89	o 46119
1885.89	c 7429
1887.21	o 46121
1887.21	c 7427
1889.88	o 46124
1889.88	c 7424
1891.23	o 46126
1891.23	c 7422
1892.59	o 46129
1892.59	c 7419
1895.39	o 46131
1895.39	c 7417
1896.76	o 46138
1896.76	c 7410
1898.21	o 46139
1898.21	c 7409
1901.04	o 46141
1901.04	c 7407
1902.45	o 46143
1902.45	c 7405
1903.88	o 46145
1903.88	c 7403
1905.31	o 46155
1905.31	c 7393
1906.78	o 46156
1906.78	c 7392
1912.48	o 46158
1912.48	c 7390
1915.30	o 46159
1915.30	c 7389
1916.73	o 46160
1916.73	c 7388
1918.16	o 46161
1918.16	c 7387
1919.59	o 46164
1919.59	c 7384
1921.02	o 46166
1921.02	c 7382
1922.48	o 46170
1922.48	c 7378
1923.91	o 46171
1923.91	c 7377
1925.34	o 46179
1925.34	c 7369
1926.79	o 46181
1926.79	c 7367
1929.68	o 46182
1929.68	c 7366
1932.56	o 46185
1932.56	c 7363
1933.99	o 46186
1933.99	c 7362
1936.83	o 46190
1936.83	c 7358
1938.28	o 46193
1938.28	c 7355
1939.73	o 46194
1939.73	c 7354
1949.83	o 46195
1949.83	c 7353
1951.32	o 46196
1951.32	c 7352
1952.80	o 46199
1952.80	c 7349
1954.24	o 46201
1954.24	c 7347
1955.63	o 46206
1955.63	c 7342
1957.10	o 46211
1957.10	c 7337
1961.35	o 46212
1961.35	c 7336
1962.73	o 46215
1962.73	c 7333
1964.12	o 46217
1964.12	c 7331
1965.52	o 46218
1965.52	c 7330
1968.29	o 46220
1968.29	c 7328
1969.72	o 46223
1969.72	c 7325
1970.95	o 46227
1970.95	c 7321
1972.32	o 46229
1972.32	c 7319
1975.19	o 46231
1975.19	c 7317
1978.01	o 46232
1978.01	c 7316
1979.38	o 46236
1979.38	c 7312
1982.17	o 46238
1982.17	c 7310
1983.54	o 46239
1983.54	c 7309
1987.67	o 46243
1987.67	c 7305
1989.09	o 46247
1989.09	c 7301
1990.43	o 46250
1990.43	c 7298
1991.75	o 46253
1991.75	c 7295
1993.09	o 46255
1993.09	c 7293
1994.40	o 46258
1994.40	c 7290
1995.74	o 46267
1995.74	c 7281
1998.27	o 46270
1998.27	c 7278
1999.61	o 46274
1999.61	c 7274
2004.90	o 46278
2004.90	c 7270
2006.25	o 46285
2006.25	c 7263
2007.57	o 46287
2007.57	c 7261
2008.84	o 46289
2008.84	c 7259
2012.78	o 46290
2012.78	c 7258
2014.11	o 46294
2014.11	c 7254
2018.10	o 46297
2018.10	c 7251
2019.43	o 46299
2019.43	c 7249
2022.12	o 46303
2022.12	c 7245
2029.94	o 46304
2029.94	c 7244
2031.22	o 46305
2031.22	c 7243
2032.46	o 46310
2032.46	c 7238
2040.25	o 46313
2040.25	c 7235
2041.58	o 46316
2041.58	c 7232
2042.87	o 46321
2042.87	c 7227
2044.15	o 46328
2044.15	c 7220
2046.31	o 46329
2046.31	c 7219
2047.57	o 46330
2047.57	c 7218
2048.92	o 46334
2048.92	c 7214
2051.40	o 46337
2051.40	c 7211
2052.73	o 46340
2052.73	c 7208
2054.04	o 46344
2054.04	c 7204
2056.70	o 46345
2056.70	c 7203
2058.02	o 46347
2058.02	c 7201
2059.36	o 46348
2059.36	c 7200
2060.65	o 46354
2060.65	c 7194
2062.00	o 46357
2062.00	c 7191
2063.34	o 46363
2063.34	c 7185
2066.06	o 46369
2066.06	c 7179
2067.37	o 46372
2067.37	c 7176
2068.67	o 46373
2068.67	c 7175
2069.99	o 46376
2069.99	c 7172
2071.34	o 46377
2071.34	c 7171
2072.73	o 46381
2072.73	c 7167
2074.11	o 46384
2074.11	c 7164
2076.88	o 46388
2076.88	c 7160
2078.26	o 46390
2078.26	c 7158
2079.64	o 46394
2079.65	c 7154
2082.45	o 46402
2082.45	c 7146
2083.87	o 46403
2083.87	c 7145
2085.29	o 46404
2085.29	c 7144
2088.00	o 46406
2088.00	c 7142
2089.44	o 46411
2089.44	c 7137
2090.89	o 46413
2090.89	c 7135
2095.27	o 46414
2095.27	c 7134
2096.76	o 46416
2096.76	c 7132
2101.09	o 46418
2101.09	c 7130
2102.56	o 46422
2102.56	c 7126
2106.91	o 46425
2106.91	c 7123
2109.86	o 46429
2109.86	c 7119
2111.34	o 46431
2111.34	c 7117
2112.81	o 46438
2112.81	c 7110
2115.75	o 46439
2115.75	c 7109
2117.19	o 46443
2117.19	c 7105
2118.65	o 46447
2118.65	c 7101
2120.18	o 46449
2120.18	c 7099
2121.63	o 46450
2121.63	c 7098
2123.12	o 46452
2123.12	c 7096
2128.95	o 46453
2128.95	c 7095
2133.27	o 46456
2133.27	c 7092
2134.81	o 46459
2134.81	c 7089
2136.08	o 46466
2136.08	c 7082
2137.57	o 46472
2137.57	c 7076
2142.06	o 46473
2142.06	c 7075
2143.53	o 46474
2143.53	c 7074
2145.01	o 46475
2145.01	c 7073
2146.43	o 46476
2146.43	c 7072
2147.87	o 46477
2147.87	c 7071
2150.71	o 46478
2150.71	c 7070
2152.17	o 46484
2152.17	c 7064
2153.61	o 46485
2153.61	c 7063
2155.07	o 46487
2155.07	c 7061
2157.98	o 46488
2157.98	c 7060
2159.49	o 46490
2159.49	c 7058
2160.96	o 46493
2160.96	c 7055
2162.46	o 46498
2162.46	c 7050
2169.94	o 46500
2169.94	c 7048
2171.43	o 46502
2171.43	c 7046
2172.92	o 46503
2172.92	c 7045
2174.44	o 46508
2174.44	c 7040
2175.99	o 46510
2175.99	c 7038
2177.57	o 46516
2177.57	c 7032
2179.11	o 46520
2179.11	c 7028
2180.62	o 46521
2180.62	c 7027
2182.15	o 46525
2182.15	c 7023
2183.71	o 46526
2183.71	c 7022
2185.31	o 46529
2185.31	c 7019
2186.88	o 46535
2186.88	c 7013
2188.43	o 46539
2188.43	c 7009
2189.80	o 46544
2189.80	c 7004
2191.36	o 46548
2191.36	c 7000
2192.84	o 46553
2192.84	c 6995
2197.69	o 46556
2197.69	c 6992
2199.29	o 46557
2199.29	c 6991
2200.31	o 46561
2200.31	c 6987
2201.94	o 46564
2201.94	c 6984
2203.58	o 46567
2203.58	c 6981
2206.77	o 46575
2206.77	c 6973
2208.46	o 46576
2208.46	c 6972
2210.13	o 46577
2210.13	c 6971
2211.90	o 46579
2211.90	c 6969
2213.46	o 46584
2213.46	c 6964
2243.77	   
2243.77	   search
2243.77	     run=0  nbConstraintChecks=3636104147  nbAssignments=2486
2243.77	       =>  wckTime=2178.405  cpuTime=2158.83  mem=126M335
2243.77	   
2243.77	   global
2243.77	     nbConstraintChecks=3636104147  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2243.77	     solvingWckTime=2178.36  solvingCpuTime=2158.79  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2243.77	     globalCpuTime=2221.64
2243.77	       =>  wckTime=2243.457  cpuTime=2221.6  mem=126M335
2243.77	   
2243.77	   solver IterativeSystematicSolver being built... 
2245.66	       =>  wckTime=2245.351  cpuTime=2222.53  mem=532M592
2421.12	v 3430 4502 -3262 -3658 4502 -3274 -4094 4462 -3890 -3622 3958 3938 -3594 -3782 3194 -3838 -4522 4174 -3878 -3150 -3190 3730 -3158 -4170 3190 -3198 4518 -3686 3818 3762 3238 4310 -3946 -3586 -3414 -4218 3174 -3906 3682 -3218 -4502 -3618 -3666 -4254 -3718 4342 4426 3154 4322 3438 -3666 4438 4390 3150 -4498 -4518 3242 3154 3934 3922 3226 4386 -4502 4078 -3562 -4030 -3658 -4530 -3934 4310 3174 -4322 4498 3510 -3226 4002 3170 4142 3430 4494 4294 4206 3614 -4166 4022 3770 4458 3478 4354 3250 -3206 -4014 4478 3658 3150 -3286 4394 4142 -3554 4338 4226 -3154 3150 3190 -4450 -3890 4270 3194 -3794 -3218 3218 -4026 -4094 4246 -3878 3290 -3558 -3506 -4398 -3150 -3266 3822 4350 4422 -4182 4042 -4154 -4466 -3742 4374 -4262 -3270 3382 -3382 -3538 -4514 4162 -3918 3470 3666 -4346 -3294 4106 3394 4526 -3934 -3150 4534 3230 -3170 3762 3198 -3198 3498 -3606 3778 -3990 -3342 -3290 -4434 3278 -4430 -4394 3422 -3442 -4002 -4314 -4166 -3214 4470 -3178 4130 3334 -4330 -3378 -3234 -3582 4142 -4326 -3482 -3626 3286 4254 -4294 3570 4482 -3194 -3718 -3574 4470 -3750 -4230 -3482 4170 4386 3878 -3150 3490 3994 -4094 4514 -3742 -3390 -3542 -3990 -3190 -3202 -3518 -4518 3962 -3662 3226 4438 -3922 4446 3174 -3214 3282 -3198 -4494 -4490 -3446 4386 -3582 4010 -3154 4306 3162 -3990 3194 3794 -4078 4178 4486 4470 3646 4422 3354 -3202 4454 3522 -4058 -3522 -3346 -3158 3154 -4158 3954 -3818 -3338 -3390 -3366 -3906 -3978 4470 3782 4230 4142 4442 3242 4318 -3718 3722 -3878 3350 -3266 3382 3234 -4414 -3770 -4438 -3226 4526 3358 3510 3522 3210 -3158 -3838 3482 4522 -4514 3986 4366 3502 4418 -4254 -4298 3354 -4090 -4526 4110 -4542 -3830 -3154 4258 -3222 -4442 -3806 4514 -3606 -3730 -3786 -3326 -4058 4358 -3846 3830 3750 -3582 4130 4498 4486 -4466 4190 -3154 -3590 4266 3150 3666 4102 -3474 -3938 4506 3394 -3194 4046 -4538 -3214 3150 4478 4090 4270 4474 3726 4414 4302 -3230 -4330 -3186 -4534 3198 -4494 -3406 -4494 -3830 -4358 -4126 -4010 4154 -3766 4446 -4234 4166 -4306 4322 -4034 -4426 -4350 3326 3630 4498 3242 -3314 3302 4514 -3158 4534 3970 4362 -4142 4358 -4538 -4470 4334 4422 4338 -4510 -3894 3222 -3510 -3178 -4242 -4542 -3190 -3250 -4498 4082 4394 3170 3462 -3790 -3486 -4454 -4470 4294 -3182 -4458 3810 3266 -4350 -3582 -4058 4098 3726 4422 -3154 3478 -4422 4474 -4114 3314 3370 -3338 3918 -4526 4514 3982 -3210 4458 3874 -3986 -4154 4062 -4542 3686 -4314 -4386 4534 -4514 3594 4106 -3722 4350 -4410 3614 3162 -3210 4342 3378 4230 4482 -3754 4146 -3922 3326 -4530 4206 3310 4274 -3814 3990 -3390 3166 3762 -3366 -4242 3838 3726 -4198 -4290 3170 -4498 3654 3994 -4482 -4246 3150 -3178 3194 4458 -4350 -3470 3226 -4434 3206 -3254 4406 -3378 -3498 -4542 4506 3734 -4038 4478 -4502 -3322 3430 3158 -4534 3482 -3650 -4102 -3306 -4430 3974 4522 4418 -4326 4506 3830 -3222 -3218 3190 -4418 -4214 3454 3702 3458 -4526 3442 -4498 4274 -4098 3402 -4542 4330 -4502 -3946 3178 -4094 -4430 -4466 4526 3634 3974 -4310 -3706 -4382 -4170 -4514 4342 3190 -3926 3582 -4046 3250 -4442 -4474 3398 -3174 3238 3210 3918 3186 -3310 4498 -3438 -3190 3382 3842 -4366 4210 3986 3798 -4510 3662 3550 -4122 3598 -3214 4530 -3882 -4214 -3294 -3826 -3818 -3158 -3410 -3542 3598 3638 -3294 3254 3230 3598 -4118 3758 -4382 3658 -4282 3202 3922 3346 -3638 4486 4510 3782 -3786 -3182 3634 4046 -4490 3190 -3378 4074 3210 3770 4518 -4474 -3782 3874 -3682 -4486 -3710 4542 -4458 3846 3870 3194 -3162 3514 -3154 -3150 -3426 3398 4062 -4002 4498 3778 3354 3758 4534 -3214 -3746 3298 -3214 -3338 3402 -4458 -4454 3418 -3590 3694 -3926 -3206 -3182 -3322 3914 -3662 3558 -3590 -3494 -4314 4050 3186 -3590 -4490 4314 4542 -4330 3994 4018 4530 -3202 4018 -3502 3162 3414 4062 3170 4378 -3882 3266 4494 -3202 -3250 -3410 4534 -4530 -3302 3214 4542 -4142 3710 -3198 3646 3766 3634 -4346 3718 -4530 -4350 3170 4086 -4250 3254 -4186 4542 3346 4030 3838 4502 -4542 -3222 -4106 3578 3858 3222 4298 4326 -3726 4118 -4122 3602 -3258 3686 -3718 -4514 4170 3274 3518 3246 4018 4330 4354 3942 3350 -3222 -3206 3170 -3742 3574 -3242 -4542 3274 -3970 -3834 4370 3522 4290 3946 4482 -3370 4366 4330 3162 3538 3678 -3458 3190 3370 -3186 -4050 -4526 -4402 -4230 -3190 3206 -3498 -4310 -3154 -3202 3190 -4506 -4538 -4466 -3370 -3962 4542 3254 3818 3586 -3618 3494 3674 3154 -4082 3634 3166 -3242 -3174 3686 4486 3206 3430 -4206 -3858 3190 -4370 3206 4426 -3162 4450 3802 3538 -4534 3542 -4458 4450 -3406 -4450 -3238 3682 3198 -4022 -3194 3554 -3218 3798 -3262 4422 -3938 4258 -4298 -3454 -3818 -4462 3154 3198 -4534 -3266 3754 3158 3314 -3954 4426 4490 -3914 -4498 4006 4486 3442 3190 4182 -4386 3966 -3542 -3302 -3434 -3318 3150 4446 -3498 3362 -4418 -3758 4314 -4190 -3394 -3342 4182 -4290 -3330 3838 3150 -3354 4490 -4518 -3706 -4034 4130 -4166 3310 3590 4486 3398 4466 4374 4294 -4462 4182 -3154 -3302 3438 -3150 3210 -4086 -3826 -4542 -4534 3842 -3894 -3286 -4266 -3218 -4486 -4394 -3326 4482 -3434 -4434 4438 4258 3338 4530 -3494 4498 3206 4334 4218 -3242 -4278 -3198 -4490 3434 -3686 3190 -3778 -3478 3190 -3474 -4382 -4426 3694 -3214 4494 -3554 3614 4034 -4130 -3346 -4078 4542 3470 4386 4526 -4246 3674 4242 -4154 3182 -3922 -3974 -4438 3818 4474 4182 -3398 -4510 3922 4542 -3162 -4474 3882 4466 4514 4362 -3198 4266 -3206 -4182 -4278 -3458 -3806 3798 3254 -4326 3306 4342 -3782 -3266 -4214 -3386 4270 -3922 4274 4030 3754 3474 4446 -4498 3998 3606 3594 -3186 4446 -4322 4542 3834 3222 3538 3682 3610 4170 3194 -3394 -4302 4434 4486 4070 3834 3562 -3426 -3326 3970 -3178 -3390 3346 -3334 -4446 -3686 -4466 4474 -3530 -4346 -3826 4458 3166 -3254 -3334 4526 -3258 3618 -4478 -3290 4454 -4498 -4010 -3722 -3158 -4058 3290 -3882 3442 3990 -3674 -3190 3386 4358 4470 -3338 -3982 -4198 3458 3838 -4510 3302 3326 -4394 -3722 3282 -3222 -4378 -3882 -3182 3158 -3622 3326 -3302 -4474 4042 -3878 3742 3370 -4034 -4530 -3358 3758 -4354 3818 3250 4390 4502 4270 -3418 3866 3238 4542 3790 3854 -4398 3958 -3966 -3994 -4286 -4482 -4398 -3910 3662 4082 4258 -3158 4358 3898 -3210 4454 3178 3942 3174 3790 -3726 3158 3186 3810 3390 3150 -4054 4090 -4030 -3294 4346 -4394 -3530 3350 4502 4382 -4490 -4234 3198 4078 -4354 3258 -3222 3214 -3802 -4522 -3158 3574 -3858 -3518 -4374 -3622 -3214 3174 -4094 -4318 4502 -4366 3686 -4206 4310 4162 4006 -3846 4266 3322 3646 -3158 3730 -3202 -3618 -4354 -3654 4074 -3666 4458 -3822 -3358 -4018 3870 -3186 3614 4530 4042 -4490 4278 3766 -3162 -4362 -4318 3218 -3686 3218 -4222 3982 -3546 -3194 -4494 3186 3186 3162 -3906 3550 3170 -3318 -4318 -3918 3658 -3194 3258 -4002 -3886 3490 -4306 3250 4494 -3958 -3254 3582 -4238 -3610 3218 4326 -4426 4226 3490 4446 4310 4018 3606 -4342 3266 3286 4470 3206 -4538 4458 -3674 4198 -3254 4222 -4038 3158 3514 -4470 -3878 4398 3206 -3170 -3342 4170 -3418 3794 3234 3966 -3370 -4486 4530 -3374 4482 3558 -3306 -4458 4366 -4370 -3190 3566 4422 4442 -4486 -4270 4542 -4082 -4502 3918 3238 -3158 -3726 4494 4418 -3514 4146 4506 -3294 -3934 3894 -3694 -3426 -3162 -3270 4494 -3834 4514 3166 4466 -3910 4254 -4466 4354 -4542 3174 3302 -3462 3450 -4486 3154 4538 3182 3622 -3482 4374 4162 -3994 -4346 4526 -3394 -4482 -4278 -3190 4482 4430 4186 4154 3602 -3342 -3194 4526 -4178 -4374 4490 3426 -3170 4182 -3410 -3946 -4218 3998 3906 3314 -3794 3290 -4538 4258 3858 -3274 3970 -3994 4498 3786 -3742 -4514 3158 -3286 4158 -4486 -3950 -3586 4242 -3950 4406 -3982 -4502 -4018 3442 3522 -4462 -4030 3994 4482 3166 4510 -4458 3370 -3674 -3910 -3670 3814 -3190 4490 4202 3150 3294 3226 -4518 -4318 3206 -3242 -3942 4038 -4162 4542 -4438 3602 -4274 3158 4166 3822 -4198 -4138 -4178 3298 -3450 -3306 -4526 -3270 -4534 -3306 4534 4318 -3498 -3558 -3926 4158 -4358 3322 4222 3190 4094 -4206 -3282 3746 4426 -4490 -3238 -3154 -3810 -3838 -3190 3294 -3954 3202 -3302 3678 4474 -4158 -3442 -4482 4538 3342 3186 3198 -4538 -4314 -4358 3738 -3354 3574 -3706 3410 3322 4518 -3522 -4182 -3894 3502 -3574 -3190 -3150 -4538 -3190 3978 4414 3182 -3978 3534 -3514 4034 4154 -3634 -3434 -3330 3718 -4538 3570 -3290 -4542 -3326 3294 -4354 3614 4538 -3266 4098 -3618 4470 4430 4058 4118 4346 4186 4534 -4450 -3154 4010 3306 -3470 3190 3162 -4230 -4298 3498 -3926 -4002 -3378 -3250 -4310 -3826 3542 -3158 3802 -3198 -4274 4346 -3218 -4126 3526 3198 3238 -3738 -4478 3962 3618 -4502 -4342 4374 -4470 4494 3630 4270 -4078 -3554 4542 -4270 -4470 -3810 3678 3334 -3194 -4498 -4102 -3466 -3262 4102 -3794 -3302 3214 3306 -3738 4414 -3498 4486 -3838 3878 4510 -3710 -3218 -4238 -4494 3222 -3222 -3178 -3214 -4082 -4434 -3206 -3758 -4374 4502 -3630 -3834 -4430 -3394 3714 -4494 3450 3474 -3958 4414 -4198 3494 -3230 3858 3158 -4062 -3150 3634 3858 -4106 3166 -3910 -4538 4094 3914 -3962 3938 -4190 3230 -3150 -4138 -3390 4006 4542 -4246 3194 -3458 3238 -3774 -4406 4070 -3766 -3226 -4390 4322 -4502 3758 -4278 -3962 3250 -3886 3546 4498 3794 4350 4462 -4258 3622 -3290 4290 -3838 4098 3258 4330 3506 4470 3982 4218 4170 3250 -4038 -3798 -3894 3882 3782 -3438 -3186 -3354 -3402 3834 -4030 3150 -4194 -3882 -4178 3794 4286 3150 3682 -3594 3994 -3414 3194 -3214 -3150 4502 -3594 -3778 -3322 3722 -3354 -4490 -3186 -3358 -3226 -3238 4242 3198 4522 -3350 3350 3154 3330 -4186 3954 -4386 4542 -4478 -3566 4478 -3458 -3762 3238 -3678 3166 -4250 -3830 -4202 4506 4534 -4154 4306 -3294 -3590 -3226 -4486 4262 4290 -3826 3222 3354 3786 4506 3706 -3190 -4498 -4538 -3274 3598 4166 3150 -3458 3190 3974 3202 -3430 -3990 -4210 3574 3190 -4094 3222 4530 -4342 -4502 4394 4502 -3194 3926 -4502 -3926 3166 3154 4438 4018 -4486 -3634 3846 3766 4126 3750 4274 4422 3978 -4542 4458 3194 -3578 3570 3534 4146 -3150 -4054 4050 3518 3214 3806 3802 -4482 -3762 -3790 -3278 -4346 4326 4426 -4398 3886 -4434 -3210 -4106 -3434 -3546 -4310 -3174 -4270 3666 4362 3282 4538 -3666 -3390 -3410 3662 3994 4130 3302 -4494 -3418 3882 -4542 3862 -3786 -4542 -3434 3190 -4506 4542 3978 4086 -3942 4358 -4050 4474 -3850 4530 -4478 3162 -4534 -3370 3958 3898 4482 -4318 3982 3510 4430 4466 -4138 3762 -3906 3354 3166 3858 3638 4066 -3206 4490 -4418 -4202 3154 -3802 -4430 -4298 3154 4370 -3194 3194 -4526 -3850 -4542 -3290 4238 4430 -3234 -4430 3482 4474 -3590 4446 -4290 3890 3290 -3194 -3150 -3150 4126 3242 4386 4466 4478 3194 3438 -3182 3962 4378 -4066 -3346 -4494 -3546 -3154 3214 -4510 3222 3222 -4458 3258 -4406 -4478 3738 -4458 -3954 -4222 4446 -3214 -4190 4450 3946 -4310 -4542 3594 3942 4502 -4466 4298 4022 3618 -4514 -3578 -3182 3226 -3310 3150 3202 4094 -3754 -3222 4534 -3326 -3718 4502 3782 3190 -4202 3758 -3386 3886 4310 -3902 -4426 -3474 3482 -4510 -4534 -3170 -3374 -4518 3202 3654 -4118 4026 3262 -4430 3582 3722 -3394 -3278 4502 4086 -3794 -3738 4314 3578 4514 -3362 -4498 4462 -3622 -3442 3182 -4174 3198 3470 4542 -4094 -3162 4538 -4126 -3270 3202 4242 4526 -3990 -3858 -3818 -4326 3162 3762 -3154 4418 -4142 -3742 3342 -4438 -3178 3790 3790 -3198 -3606 3322 -4406 3706 -3518 -4518 -3150 4542 3874 -3202 -3162 4322 3210 -4382 3502 4266 -3330 -3418 4266 -4278 4250 4474 4538 3150 3530 -4490 -3386 -4106 -3522 -4166 -3194 3302 -3314 -4258 3246 3634 -4502 -3938 3350 3278 -4110 4250 4090 3218 -4114 -3998 -3198 -3786 4410 3210 -4542 3882 4338 -4542 3482 4542 3910 -4538 4170 4494 3746 -4362 4506 -3830 4382 -3162 -4350 -3214 -4186 -3194 4158 -3698 -4542 3562 3814 4382 -3918 3458 3698 -4382 -3174 -4082 -3978 3254 4242 3266 3318 -4542 4326 3734 -3882 3158 4358 4530 -3302 3150 3794 -4230 -3714 -4534 3262 -4366 3474 -3490 3790 -3222 -4446 3170 -4390 4386 4294 -4054 3178 4514 3322 4442 -4238 3198 4474 -3414 -3202 4102 -4474 3166 -3790 -3554 3418 4410 -4510 4498 4474 -4522 -3270 -3178 -4350 3154 -4502 3986 3226 -4002 -3602 4174 3514 -4486 3722 4510 -4522 -3170 -3958 4182 -3838 -3262 -4542 4146 -3282 3946 -3318 3682 -3206 -3422 3254 -4198 3974 3198 -3154 -4358 -3842 -4338 4122 -4082 -4010 4478 -3794 3162 3942 3318 3286 -3942 -4534 -3222 3842 -4142 3290 4194 -4002 -3246 -4026 3558 4438 3834 4470 3978 3270 -3854 3242 3154 3922 3166 4070 4078 -3406 3162 4142 -3558 -3822 -3922 3250 3450 3618 3150 3218 -3166 3282 4362 3194 3190 4542 -3238 4314 -4534 -3230 3206 -4474 3394 -3458 4490 -3158 -4106 3942 -3322 4514 3266 -3726 -3570 4434 4314 3386 3286 3238 3370 -4474 -3622 3242 4410 3646 -4534 4122 4398 4046 -3790 -3870 4446 -4538 3766 -3486 -4502 3898 3602 4266 4034 -4542 -3242 -4286 -4038 -3594 -3182 4474 -3290 -3150 3818 4042 4342 3538 -3990 -3554 3318 -4110 -4342 -4238 -3710 4502 3302 4502 4334 -4142 -3958 4278 -3626 -3214 3202 4498 -3158 -4186 3190 -3498 -3746 3726 -3690 -3990 4354 -4390 -4330 4426 -3802 3198 3894 3698 4006 -3434 3274 4346 -3250 -3202 -3558 3218 -4286 -4542 3830 4090 3678 -4534 4526 3438 -3378 3950 4486 -4062 3766 3202 -3718 -4482 -4470 -3566 3846 -4466 3274 4390 -3446 -3158 3290 4474 -3498 3462 3198 3862 4282 -3482 4350 -3406 -4526 3898 -4222 -4194 3150 4134 -3310 3190 3610 -3802 3806 -4526 4430 3406 -3486 4366 4202 -3198 -4094 3794 -4542 3898 -3858 -4130 -3654 -4366 4050 -3230 -3410 -4466 -4466 -3330 4022 -4502 4458 -3470 4402 -4426 -3858 -3226 -4478 4538 4282 3314 4442 -3434 -4230 3338 4030 3298 -4406 -3334 -3838 3274 3526 3918 -3558 3490 4494 -4086 4254 -3642 -3978 -4262 -3766 -3902 4058 3630 3154 -3194 4310 -3166 3454 3882 4486 -4278 3242 3190 4198 3626 3262 4270 -3990 3390 4398 -3182 -4006 -4458 4530 -3942 4446 -4182 -3598 -3190 3226 -3198 4426 3398 -3854 3462 -3874 -4506 -4402 -3478 -4490 -3674 3258 4134 -4302 -3166 -4374 3182 -3166 4474 -4402 4186 4490 4526 4534 3202 3474 3514 -3846 3922 3950 3166 -3246 -4054 -4170 4470 3622 3878 3950 -3590 -4114 4430 -3386 4306 4058 3586 3170 3886 3914 3202 -4542 4254 -4146 -3198 -4494 -3834 -3618 3766 4502 -4134 -3198 -4466 -3194 3258 -3162 -4186 3762 -4098 -3154 -3334 3922 3982 4362 -3150 -3994 3762 -4230 4162 4130 -3306 -4138 -4542 3714 4486 -3638 -4154 -3910 -3262 3194 -3810 4270 4470 4522 -4154 -4522 4538 3234 3878 4102 -3410 3162 4494 3310 4006 3714 4030 3158 -4370 -3358 4374 -3854 -4526 -3286 -4150 3678 -4470 3934 3822 -3510 -3462 3422 -4146 3162 4398 3434 3274 -4538 -3970 3290 -3182 -4382 -4066 4534 4446 -4450 -3406 4494 3298 3342 3246 -3182 3514 -4238 -4322 4478 -3994 -3498 4374 4478 -3442 -4430 -4358 -4446 -3174 -3846 4134 -3374 4006 -3234 3186 3358 -4126 3254 3198 -3198 -4114 -3154 3262 -4250 -3778 4330 3578 3778 -3918 -3454 3174 -4442 3162 4306 -3342 4430 4234 3490 3334 4066 3182 -3858 -3442 -4434 4286 4506 3286 -4390 -3530 4326 4278 4426 3986 3154 -4302 -4110 4538 4466 4190 3346 -3390 3598 -3366 4478 3150 3442 3654 4038 3254 4362 -4418 -3210 -4490 3170 -4542 -3286 -4246 -3386 4514 3162 4498 -3982 3630 -4510 -4510 4334 4302 -3394 -3774 -3850 3734 -3214 -3682 3474 3818 4286 -3690 4542 -3994 -3194 4538 4210 3154 4358 -4438 3834 4386 -4046 4106 4398 4518 -3222 -3750 -4338 3702 3638 -3150 4074 -3898 4126 -3242 4274 4034 -3654 3214 3374 -3674 3154 -3626 3346 -3518 3582 3318 3210 -3942 -3294 -4390 3962 -4534 3630 -4330 -4386 -3534 3998 -3150 -4494 -3334 3226 4390 -4002 3198 -3946 -3434 3282 3878 -4366 -3726 3294 -4258 -3546 3590 -4530 -4354 3498 4518 3282 4006 3670 3842 3882 -4498 3930 -4502 -3214 -4486 3230 3734 -3394 4394 -3210 4466 -4266 4166 -3322 4430 -3166 -3194 -3494 -3978 3170 -3334 4146 -4510 -3270 -3402 4486 -3838 3918 3706 4470 3306 -3502 3458 3498 -3890 3222 -4538 -3718 4258 4038 4390 -3270 -4338 -4390 4526 4494 -4526 3422 -3950 -3638 3538 3170 -4542 4378 4406 4466 -4146 -3954 -3202 4506 -4166 3602 -3154 -3586 4306 4022 4526 -3690 3870 -4194 3210 3642 4318 -4042 -4402 3814 -4030 4218 3874 -3554 4394 3234 4538 3450 -4482 -4370 4530 4454 3782 -3162 3290 -4502 -3230 -4542 -4478 4198 3218 3150 4238 3614 -3234 3378 4418 3258 -3806 3174 -4466 -3242 3246 3650 3166 3298 -4514 3162 3154 4342 4506 4342 -3174 -3622 4466 4174 -4306 3950 3342 3722 3702 -3682 -3190 -3218 3786 -3178 4466 3946 -3866 -4498 -3330 -3202 -3462 -3194 -4070 -3598 3650 -3358 -3562 4470 3262 -4146 4202 4102 -3594 4394 -4462 3318 3250 -3210 -4314 4250 4298 -4542 -3154 4334 -3642 3370 4490 4342 -4306 -4230 4534 -3626 -3578 4362 -4342 -4442 -4502 3510 -3414 -4530 3726 3810 3154 -4490 -3154 -4390 4506 3918 -4054 -3210 -4478 3238 4530 3694 -4138 -4486 4370 3194 -4186 -3518 -4082 4210 -4490 -4418 4506 3246 -3262 -4506 3902 -3226 -3850 4542 -4542 -3394 -3874 -3150 -4454 3942 3458 4522 4466 4286 3218 -4406 -4534 4038 3158 3290 4010 -3346 4114 -3218 -4002 -3466 -4118 -3206 -3186 3434 -4054 -4362 4258 3302 -3254 4538 3426 3278 3458 -3166 -3202 -3910 4258 4202 -3278 -3350 -4298 4502 -4202 -4474 3198 3490 4206 3758 -3962 -4478 4226 4446 -3830 -3934 3178 -3898 4154 -3150 -3482 -3218 -3350 -3318 -4002 -3202 4186 3578 -4498 -3642 3158 -3210 -4298 -4458 3302 3474 -4114 3766 3882 -3214 4126 -3586 3554 -3730 3490 3150

Verifier Data (download as text)

6964 unsatisfied constraints, 46584 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/node14/watcher-275612-1169223932 -o ROOT/results/node14/solver-275612-1169223932 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275612-1169223932/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.25 2.05 2.00 4/93 17720
/proc/meminfo: memFree=1142312/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=12008 CPUtime=0
/proc/17719/stat : 17719 (java) D 17717 17719 17579 0 -1 0 784 0 1 0 0 0 0 0 17 0 1 0 270788162 12296192 533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17719/statm: 3002 533 440 14 0 1602 0

[startup+0.103378 s]
/proc/loadavg: 2.25 2.05 2.00 4/93 17720
/proc/meminfo: memFree=1142312/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=914988 CPUtime=0.09
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 2996 0 1 0 8 1 0 0 19 0 8 0 270788162 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511417 s]
/proc/loadavg: 2.25 2.05 2.00 4/93 17720
/proc/meminfo: memFree=1142312/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915332 CPUtime=0.49
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 7801 0 1 0 45 4 0 0 22 0 8 0 270788162 937299968 7540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073584601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228833 7540 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3355 s]
/proc/loadavg: 2.25 2.05 2.00 3/100 17727
/proc/meminfo: memFree=1050288/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915604 CPUtime=1.31
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 31643 0 1 0 117 14 0 0 25 0 8 0 270788162 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228901 31380 2164 14 0 215371 0
[pid=17719/tid=17721] ppid=17717 vsize=915604 CPUtime=0.12
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 15082 0 0 0 8 4 0 0 16 0 8 0 270788166 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=915604 CPUtime=0.16
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 406 0 0 0 16 0 0 0 15 0 8 0 270788169 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270788169 937578496 31380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915604

[startup+2.98565 s]
/proc/loadavg: 2.23 2.05 2.00 3/100 17727
/proc/meminfo: memFree=1015664/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915604 CPUtime=2.94
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 34852 0 1 0 279 15 0 0 25 0 8 0 270788162 937578496 34583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073452538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228901 34583 2164 14 0 215371 0
[pid=17719/tid=17721] ppid=17717 vsize=915604 CPUtime=0.31
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 18284 0 0 0 25 6 0 0 16 0 8 0 270788166 937578496 34583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 937578496 34583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 937578496 34583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 937578496 34583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=915604 CPUtime=0.16
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 270788169 937578496 34583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 937578496 34583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=915604 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270788169 937578496 34583 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.26495 s]
/proc/loadavg: 2.23 2.05 2.00 3/100 17727
/proc/meminfo: memFree=1010224/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915744 CPUtime=6.19
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 35357 0 1 0 603 16 0 0 25 0 8 0 270788162 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228936 35086 2184 14 0 215406 0
[pid=17719/tid=17721] ppid=17717 vsize=915744 CPUtime=0.34
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 18714 0 0 0 28 6 0 0 16 0 8 0 270788166 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=915744 CPUtime=0.18
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 418 0 0 0 18 0 0 0 16 0 8 0 270788169 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 937721856 35086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270788169 937721856 35086 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.7536 s]
/proc/loadavg: 2.19 2.05 2.00 3/100 17727
/proc/meminfo: memFree=1010416/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915744 CPUtime=12.62
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 35359 0 1 0 1245 17 0 0 25 0 8 0 270788162 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228936 35088 2184 14 0 215406 0
[pid=17719/tid=17721] ppid=17717 vsize=915744 CPUtime=0.34
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 18714 0 0 0 28 6 0 0 16 0 8 0 270788166 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=915744 CPUtime=0.18
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 420 0 0 0 18 0 0 0 16 0 8 0 270788169 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 937721856 35088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270788169 937721856 35088 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.5958 s]
/proc/loadavg: 2.16 2.04 2.00 3/100 17727
/proc/meminfo: memFree=1010480/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915744 CPUtime=25.35
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 35370 0 1 0 2517 18 0 0 25 0 8 0 270788162 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228936 35099 2185 14 0 215406 0
[pid=17719/tid=17721] ppid=17717 vsize=915744 CPUtime=0.34
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 18714 0 0 0 28 6 0 0 16 0 8 0 270788166 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=915744 CPUtime=0.2
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 270788169 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 937721856 35099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270788169 937721856 35099 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.2042 s]
/proc/loadavg: 2.10 2.04 2.00 3/100 17727
/proc/meminfo: memFree=1005040/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915744 CPUtime=50.71
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 36714 0 1 0 5052 19 0 0 25 0 8 0 270788162 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228936 36442 2185 14 0 215406 0
[pid=17719/tid=17721] ppid=17717 vsize=915744 CPUtime=0.4
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 20055 0 0 0 34 6 0 0 16 0 8 0 270788166 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=915744 CPUtime=0.2
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 432 0 0 0 20 0 0 0 16 0 8 0 270788169 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270788169 937721856 36442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915744

[startup+102.439 s]
/proc/loadavg: 2.04 2.03 2.00 3/100 17727
/proc/meminfo: memFree=957808/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915744 CPUtime=101.47
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 48970 0 1 0 10119 28 0 0 25 0 8 0 270788162 937721856 48555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 228936 48555 2504 14 0 215406 0
[pid=17719/tid=17721] ppid=17717 vsize=915744 CPUtime=1.47
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 31924 0 0 0 137 10 0 0 16 0 8 0 270788166 937721856 48555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 937721856 48555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270788166 937721856 48555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 937721856 48555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=915744 CPUtime=0.27
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 466 0 0 0 26 1 0 0 16 0 8 0 270788169 937721856 48555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 937721856 48555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=915744 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270788169 937721856 48555 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.529 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 17727
/proc/meminfo: memFree=957872/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=915744 CPUtime=161.01
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 48972 0 1 0 16070 31 0 0 25 0 8 0 270788162 937721856 48556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2006.59
Current children cumulated vsize (KiB) 916768

[startup+2085.35 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 17727
/proc/meminfo: memFree=601648/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=916768 CPUtime=2066.14
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 48985 0 1 0 206541 73 0 0 25 0 8 0 270788162 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 229192 48568 2504 14 0 215662 0
[pid=17719/tid=17721] ppid=17717 vsize=916768 CPUtime=1.47
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 31924 0 0 0 137 10 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=916768 CPUtime=0.29
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2066.14
Current children cumulated vsize (KiB) 916768

[startup+2145.42 s]
/proc/loadavg: 2.04 2.03 2.00 3/106 17809
/proc/meminfo: memFree=600296/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=916768 CPUtime=2125.84
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 48985 0 1 0 212511 73 0 0 25 0 8 0 270788162 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 229192 48568 2504 14 0 215662 0
[pid=17719/tid=17721] ppid=17717 vsize=916768 CPUtime=1.47
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 31924 0 0 0 137 10 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=916768 CPUtime=0.29
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2125.84
Current children cumulated vsize (KiB) 916768

[startup+2205.47 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 17925
/proc/meminfo: memFree=601320/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=916768 CPUtime=2185.51
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 48985 0 1 0 218476 75 0 0 25 0 8 0 270788162 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 229192 48568 2504 14 0 215662 0
[pid=17719/tid=17721] ppid=17717 vsize=916768 CPUtime=1.47
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 31924 0 0 0 137 10 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270788166 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=916768 CPUtime=0.29
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=916768 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270788169 938770432 48568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2185.51
Current children cumulated vsize (KiB) 916768

[startup+2265.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 17925
/proc/meminfo: memFree=224240/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=917004 CPUtime=2245.25
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 143158 0 1 0 224415 110 0 0 25 0 8 0 270788162 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074284544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17719/statm: 229251 142727 2551 14 0 215721 0
[pid=17719/tid=17721] ppid=17717 vsize=917004 CPUtime=2.35
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 125868 0 0 0 190 45 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=917004 CPUtime=0.38
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 582 0 0 0 37 1 0 0 16 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2245.25
Current children cumulated vsize (KiB) 917004

[startup+2325.52 s]
/proc/loadavg: 2.12 2.04 2.01 3/101 17999
/proc/meminfo: memFree=715312/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=917004 CPUtime=2304.94
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 143158 0 1 0 230378 116 0 0 25 0 8 0 270788162 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074284605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17719/statm: 229251 142727 2551 14 0 215721 0
[pid=17719/tid=17721] ppid=17717 vsize=917004 CPUtime=2.35
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 125868 0 0 0 190 45 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=917004 CPUtime=0.38
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 582 0 0 0 37 1 0 0 16 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2304.94
Current children cumulated vsize (KiB) 917004

[startup+2385.55 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 17999
/proc/meminfo: memFree=670832/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=917004 CPUtime=2364.64
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 143158 0 1 0 236348 116 0 0 25 0 8 0 270788162 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17719/statm: 229251 142727 2551 14 0 215721 0
[pid=17719/tid=17721] ppid=17717 vsize=917004 CPUtime=2.35
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 125868 0 0 0 190 45 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=917004 CPUtime=0.38
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 582 0 0 0 37 1 0 0 16 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2364.64
Current children cumulated vsize (KiB) 917004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2421.11 s]
/proc/loadavg: 2.02 2.03 2.00 3/101 17999
/proc/meminfo: memFree=653744/2055920 swapFree=4158792/4192956
[pid=17719] ppid=17717 vsize=917004 CPUtime=2400
/proc/17719/stat : 17719 (java) R 17717 17719 17579 0 -1 0 143158 0 1 0 239884 116 0 0 25 0 8 0 270788162 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17719/statm: 229251 142727 2551 14 0 215721 0
[pid=17719/tid=17721] ppid=17717 vsize=917004 CPUtime=2.35
/proc/17719/task/17721/stat : 17721 (java) S 17717 17719 17579 0 -1 64 125868 0 0 0 190 45 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17722] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17722/stat : 17722 (java) S 17717 17719 17579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17723] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17723/stat : 17723 (java) S 17717 17719 17579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270788166 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17724] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17724/stat : 17724 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17725] ppid=17717 vsize=917004 CPUtime=0.38
/proc/17719/task/17725/stat : 17725 (java) S 17717 17719 17579 0 -1 64 582 0 0 0 37 1 0 0 16 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17726] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17726/stat : 17726 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17719/tid=17727] ppid=17717 vsize=917004 CPUtime=0
/proc/17719/task/17727/stat : 17727 (java) S 17717 17719 17579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270788169 939012096 142727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 917004

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

Child status: 143
Real time (s): 2421.23
CPU time (s): 2400.12
CPU user time (s): 2398.87
CPU system time (s): 1.25081
CPU usage (%): 99.1282
Max. virtual memory (cumulated for all children) (KiB): 917004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.87
system time used= 1.25081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143182
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= 50819
involuntary context switches= 134984

runsolver used 3.40948 s user time and 7.37388 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Jan 19 16:25:32 UTC 2007


IDJOB= 275612
IDBENCH= 4158
IDSOLVER= 68
FILE ID= node14/275612-1169223932

PBS_JOBID= 3588967

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e73fbce21894132281af3102ab806d6c

RANDOM SEED= 476656739

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.227
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.227
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:       1142728 kB
Buffers:         50080 kB
Cached:         581020 kB
SwapCached:       3272 kB
Active:         342476 kB
Inactive:       493696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1142728 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            9088 kB
Writeback:           0 kB
Mapped:         222664 kB
Slab:            61352 kB
Committed_AS:  9399088 kB
PageTables:       2564 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= 66552 MiB



End job on node14 on Fri Jan 19 17:05:54 UTC 2007