Trace number 1112786

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 2670.89 2811.03

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-2.xml
MD5SUM2fe472930e777421d5e31a3144b4206e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best Number of falsified constraints
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
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.12/1.64	
0.12/1.64	Abscon 112 (May, 2008)
0.29/1.92	
0.29/1.92	   configuration
0.29/1.92	     name=mrdac-ddeg.xml
0.29/1.96	   
0.29/1.96	   instance
0.29/1.96	     name=HOME/instance-1112786-1215874017.xml
0.39/2.00	   
0.39/2.00	   domains being loaded...
0.39/2.04	   
0.39/2.04	   variables being loaded...
0.94/2.66	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698  nbTotalValues=1873230
0.94/2.68	       =>  wckTime=0.744  cpuTime=0.41  mem=43M503
0.94/2.68	   
0.94/2.68	   predicates being loaded...
1.00/2.73	   
1.00/2.73	   constraints being loaded...
11.03/13.19	   
11.03/13.19	   INFO : Stopping converting binary constraints (cpu=10.08, mem = 76M350)
15.86/18.09	     nbConstraints=53548  nbConvertedConstraints=56  nbConvertConstraintsChecks=26457884  nbExtensionStructures=53
15.86/18.09	     nbSharedExtensionStructures=4  nbConflictsStructures=169  nbSharedConflictsStructures=149
15.86/18.09	     nbUnbuiltConflictsStructures=11307  nbSharedBinaryRepresentations=64000  nbEvaluationManagers=11423
15.86/18.09	     nbSharedEvaluationManagers=42069  minDegree=5  maxDegree=104  minArity=2  maxArity=2
15.86/18.09	       =>  wckTime=16.169  cpuTime=13.92  mem=123M927
16.62/18.82	   
16.62/18.82	   solver LocalSearchSolver being built... 
16.62/18.87	       =>  wckTime=16.953  cpuTime=13.96  mem=123M581
17.42/19.66	
17.42/19.66	s SATISFIABLE
17.42/19.66	o 14224
17.81/20.03	o 14209
18.11/20.32	o 14196
18.48/20.75	o 14178
18.76/21.02	o 14161
19.06/21.31	o 14149
19.26/21.55	o 14135
19.53/21.84	o 14125
19.73/22.01	o 14119
19.92/22.20	o 14105
20.02/22.35	o 14094
20.21/22.59	o 14085
20.41/22.75	o 14072
20.71/23.04	o 14064
20.90/23.21	o 14059
21.10/23.43	o 14047
21.50/23.80	o 14045
21.60/23.94	o 14034
21.99/24.31	o 14016
22.38/24.72	o 14004
22.58/24.96	o 14003
22.88/25.25	o 13994
23.07/25.44	o 13985
23.17/25.54	o 13973
23.27/25.70	o 13972
23.47/25.81	o 13967
23.57/25.92	o 13965
23.57/25.99	o 13961
23.78/26.10	o 13955
23.88/26.23	o 13942
24.08/26.46	o 13937
24.16/26.59	o 13932
24.26/26.66	o 13930
24.46/26.88	o 13918
24.66/27.04	o 13917
24.86/27.24	o 13903
25.06/27.41	o 13900
25.16/27.58	o 13897
25.55/27.91	o 13896
25.65/28.03	o 13890
25.75/28.15	o 13884
25.85/28.26	o 13876
26.05/28.44	o 13871
26.15/28.55	o 13865
26.33/28.74	o 13860
26.53/28.94	o 13847
26.73/29.15	o 13837
26.93/29.37	o 13835
27.13/29.55	o 13823
27.23/29.69	o 13815
27.42/29.86	o 13811
27.62/30.01	o 13808
27.72/30.19	o 13802
27.92/30.33	o 13796
28.02/30.46	o 13785
28.22/30.67	o 13778
28.50/30.92	o 13773
28.60/31.06	o 13764
29.20/31.68	o 13760
29.40/31.86	o 13757
29.50/31.98	o 13753
29.68/32.19	o 13741
29.88/32.33	o 13730
30.18/32.63	o 13722
30.38/32.86	o 13718
30.58/33.04	o 13708
30.76/33.27	o 13702
30.96/33.49	o 13699
31.26/33.71	o 13698
31.56/34.03	o 13693
31.75/34.24	o 13684
32.15/34.69	o 13678
32.45/34.92	o 13677
32.94/35.41	o 13676
33.14/35.66	o 13675
33.63/36.11	o 13671
33.83/36.35	o 13663
34.23/36.74	o 13656
34.43/36.97	o 13655
34.62/37.16	o 13651
34.82/37.36	o 13640
35.01/37.56	o 13637
35.20/37.77	o 13632
35.40/37.98	o 13625
35.60/38.16	o 13620
35.80/38.37	o 13619
36.00/38.57	o 13617
36.19/38.79	o 13605
36.39/38.94	o 13599
36.59/39.12	o 13593
36.79/39.39	o 13584
37.20/40.16	o 13574
37.48/40.42	o 13567
37.78/40.70	o 13562
37.97/40.96	o 13557
38.26/41.26	o 13551
38.56/41.50	o 13546
40.14/43.13	o 13543
40.53/43.59	o 13534
40.73/43.78	o 13527
41.03/44.05	o 13523
41.22/44.25	o 13518
41.42/44.47	o 13516
41.61/44.67	o 13510
41.81/44.86	o 13499
42.01/45.09	o 13493
42.31/45.30	o 13491
42.41/45.49	o 13481
42.70/45.77	o 13469
42.90/45.98	o 13462
43.20/46.24	o 13457
43.39/46.42	o 13455
43.50/46.58	o 13442
43.69/46.79	o 13433
44.33/47.78	o 13431
44.61/48.00	o 13426
44.81/48.24	o 13422
45.61/49.05	o 13421
45.91/49.35	o 13411
46.21/49.65	o 13397
46.50/49.95	o 13387
47.00/50.47	o 13385
47.30/50.78	o 13379
48.00/51.41	o 13375
48.30/51.72	o 13370
48.59/52.06	o 13368
48.89/52.36	o 13363
49.19/52.66	o 13361
49.58/53.00	o 13356
49.88/53.33	o 13344
50.18/53.62	o 13331
50.48/53.91	o 13328
50.67/54.18	o 13325
50.97/54.45	o 13316
51.27/54.74	o 13315
51.57/55.01	o 13314
51.77/55.26	o 13313
52.07/55.51	o 13306
52.68/56.19	o 13301
52.97/56.44	o 13295
53.27/56.74	o 13286
53.57/57.03	o 13285
55.15/58.63	o 13284
56.05/59.51	o 13280
56.25/59.80	o 13272
56.55/60.08	o 13265
56.95/60.41	o 13261
57.24/60.73	o 13260
57.54/61.01	o 13254
57.84/61.35	o 13251
58.14/61.66	o 13247
58.53/62.03	o 13244
59.52/63.01	o 13243
59.82/63.40	o 13237
60.61/64.45	o 13230
60.91/64.79	o 13217
61.31/65.12	o 13214
62.30/66.10	o 13206
63.20/67.06	o 13203
63.79/67.65	o 13195
64.09/67.90	o 13187
64.78/68.64	o 13176
65.08/68.96	o 13168
65.48/69.33	o 13161
65.87/69.71	o 13157
66.17/70.04	o 13155
66.57/70.42	o 13153
66.96/70.80	o 13152
69.75/73.67	o 13149
70.15/74.02	o 13141
71.25/75.12	o 13138
73.83/77.71	o 13136
74.13/78.02	o 13130
74.33/78.29	o 13124
74.72/78.67	o 13118
75.12/79.02	o 13112
75.42/79.30	o 13104
75.71/79.65	o 13099
76.01/79.93	o 13089
76.31/80.30	o 13082
76.61/80.56	o 13081
77.00/80.90	o 13074
77.20/81.17	o 13071
77.50/81.42	o 13062
77.70/81.68	o 13054
77.99/81.95	o 13053
78.29/82.22	o 13041
78.49/82.46	o 13031
78.69/82.68	o 13024
78.99/82.93	o 13021
79.28/83.20	o 13018
79.48/83.44	o 13013
79.68/83.67	o 13011
79.98/83.93	o 13003
80.17/84.16	o 12999
80.37/84.37	o 12993
80.57/84.57	o 12983
80.77/84.78	o 12973
81.07/85.01	o 12964
81.27/85.25	o 12956
81.56/85.50	o 12949
81.77/85.76	o 12944
82.07/86.01	o 12939
82.27/86.23	o 12930
82.47/86.45	o 12924
82.67/86.66	o 12920
82.87/86.89	o 12916
83.16/87.19	o 12910
83.45/87.47	o 12906
83.75/87.74	o 12903
84.05/88.02	o 12901
84.35/88.33	o 12899
84.54/88.57	o 12897
84.74/88.77	o 12894
85.04/89.01	o 12893
85.24/89.29	o 12892
85.84/89.88	o 12890
86.14/90.11	o 12884
86.43/90.46	o 12882
86.73/90.71	o 12874
87.03/91.07	o 12867
87.43/91.43	o 12864
88.12/92.20	o 12854
88.42/92.45	o 12849
88.81/92.87	o 12846
89.21/93.26	o 12842
89.61/93.66	o 12835
90.01/94.07	o 12825
90.90/94.96	o 12818
91.40/95.43	o 12816
91.80/95.82	o 12813
92.19/96.26	o 12809
92.69/96.74	o 12802
93.18/97.23	o 12795
93.68/97.70	o 12789
94.08/98.18	o 12775
94.57/98.62	o 12773
94.97/99.07	o 12767
95.47/99.50	o 12762
95.86/99.93	o 12753
96.26/100.36	o 12750
96.66/100.75	o 12747
97.06/101.13	o 12743
97.46/101.52	o 12740
97.85/101.90	o 12735
98.15/102.28	o 12730
98.55/102.67	o 12726
98.94/103.06	o 12722
99.34/103.43	o 12718
99.73/103.83	o 12715
100.13/104.24	o 12714
100.53/104.63	o 12711
100.92/105.05	o 12708
101.32/105.46	o 12700
101.72/105.90	o 12693
102.12/106.25	o 12691
102.52/106.62	o 12685
102.82/106.96	o 12683
103.20/107.37	o 12675
103.60/107.74	o 12673
104.00/108.17	o 12671
104.39/108.56	o 12669
104.79/108.96	o 12667
105.18/109.34	o 12665
105.58/109.77	o 12662
105.98/110.13	o 12660
106.37/110.51	o 12659
106.77/110.90	o 12657
107.07/111.28	o 12656
107.46/111.65	o 12655
108.66/112.87	o 12646
109.06/113.27	o 12639
109.55/113.73	o 12631
109.95/114.18	o 12629
110.45/114.67	o 12626
110.84/115.09	o 12623
111.34/115.52	o 12619
111.73/115.98	o 12617
112.92/117.19	o 12616
113.42/117.60	o 12610
113.82/118.08	o 12604
114.22/118.49	o 12595
114.62/118.86	o 12588
116.40/120.61	o 12585
116.80/121.02	o 12577
117.19/121.46	o 12574
117.59/121.88	o 12569
118.09/122.35	o 12559
118.49/122.79	o 12556
118.98/123.22	o 12547
119.38/123.67	o 12540
119.88/124.14	o 12537
120.28/124.53	o 12534
120.67/124.92	o 12532
121.17/125.46	o 12526
121.56/125.88	o 12520
122.06/126.31	o 12516
122.46/126.76	o 12506
122.85/127.19	o 12500
123.35/127.64	o 12497
123.75/128.07	o 12495
124.25/128.53	o 12492
124.75/129.01	o 12486
125.24/129.50	o 12475
125.74/130.03	o 12466
126.23/130.51	o 12456
126.73/131.04	o 12451
127.22/131.54	o 12446
127.72/132.05	o 12438
128.21/132.54	o 12430
128.61/132.99	o 12422
129.11/133.48	o 12416
129.61/133.97	o 12410
130.20/134.55	o 12404
130.70/135.08	o 12398
131.29/135.65	o 12392
131.79/136.17	o 12386
132.38/136.72	o 12381
132.89/137.28	o 12376
133.49/137.82	o 12371
133.98/138.35	o 12367
134.48/138.89	o 12363
135.07/139.41	o 12359
135.57/139.95	o 12351
136.16/140.50	o 12347
136.66/141.09	o 12341
137.25/141.62	o 12337
137.65/142.10	o 12330
138.24/142.64	o 12327
138.74/143.13	o 12321
139.24/143.60	o 12315
139.74/144.12	o 12312
140.13/144.57	o 12309
140.63/145.03	o 12307
141.13/145.54	o 12299
141.52/145.99	o 12297
142.02/146.43	o 12295
143.06/147.68	o 12287
143.55/148.11	o 12280
143.95/148.55	o 12278
144.45/149.00	o 12276
144.84/149.42	o 12274
145.34/149.92	o 12272
146.14/150.78	o 12263
146.63/151.25	o 12262
147.03/151.69	o 12260
147.53/152.15	o 12258
147.92/152.59	o 12254
148.42/153.08	o 12248
148.91/153.54	o 12245
149.31/153.98	o 12244
149.71/154.40	o 12243
150.20/154.83	o 12242
151.00/155.65	o 12241
151.40/156.08	o 12236
151.80/156.50	o 12227
152.29/156.93	o 12226
152.69/157.32	o 12224
153.48/158.16	o 12220
153.90/158.57	o 12213
154.18/158.92	o 12203
154.67/159.37	o 12199
155.07/159.77	o 12193
155.46/160.12	o 12184
155.76/160.46	o 12182
156.06/160.79	o 12177
156.55/161.25	o 12174
156.95/161.68	o 12163
157.35/162.09	o 12160
157.75/162.48	o 12154
158.25/162.90	o 12149
158.64/163.32	o 12147
159.04/163.75	o 12145
159.44/164.12	o 12144
159.73/164.47	o 12143
160.79/165.66	o 12142
161.19/166.09	o 12139
161.59/166.46	o 12132
161.98/166.88	o 12124
162.38/167.24	o 12116
162.78/167.66	o 12112
163.18/168.05	o 12109
164.57/169.44	o 12107
164.96/169.81	o 12096
165.36/170.25	o 12092
165.76/170.69	o 12080
166.86/171.72	o 12078
167.75/172.62	o 12077
168.85/173.71	o 12070
169.44/174.31	o 12062
169.94/174.88	o 12055
170.53/175.47	o 12049
171.13/176.03	o 12043
171.72/176.65	o 12037
172.31/177.28	o 12031
172.90/177.87	o 12025
173.50/178.46	o 12020
174.18/179.14	o 12015
174.74/179.79	o 12010
175.32/180.39	o 12005
175.92/180.96	o 12000
176.51/181.55	o 11995
177.10/182.18	o 11990
177.70/182.76	o 11985
178.28/183.38	o 11980
179.57/184.61	o 11975
180.16/185.29	o 11971
180.75/185.86	o 11967
181.44/186.53	o 11963
182.04/187.16	o 11960
182.62/187.75	o 11950
184.31/189.50	o 11949
184.89/190.08	o 11946
185.59/190.75	o 11943
186.18/191.37	o 11941
186.77/191.98	o 11939
187.37/192.55	o 11937
187.96/193.14	o 11930
188.45/193.66	o 11929
189.05/194.21	o 11919
189.54/194.79	o 11917
190.52/195.71	o 11911
191.02/196.25	o 11908
191.61/196.81	o 11906
192.20/197.40	o 11901
192.69/197.90	o 11898
193.09/198.38	o 11896
193.58/198.85	o 11894
193.98/199.25	o 11892
194.37/199.63	o 11886
195.16/200.48	o 11885
195.86/201.47	o 11883
196.40/202.06	o 11881
196.80/202.45	o 11878
197.19/202.83	o 11876
197.59/203.26	o 11874
197.99/203.67	o 11873
198.38/204.09	o 11872
199.57/205.30	o 11868
199.97/205.67	o 11867
200.46/206.12	o 11866
200.86/206.55	o 11865
201.36/207.02	o 11864
201.75/207.44	o 11863
202.15/207.85	o 11862
202.56/208.23	o 11861
202.95/208.60	o 11860
203.74/209.42	o 11858
204.14/209.81	o 11849
204.83/210.55	o 11842
205.92/211.66	o 11838
206.32/212.08	o 11830
206.72/212.44	o 11825
208.51/214.22	o 11822
208.81/214.58	o 11818
209.40/215.16	o 11816
209.70/215.45	o 11809
210.00/215.74	o 11807
210.59/216.35	o 11806
210.89/216.67	o 11804
211.19/216.99	o 11802
211.58/217.36	o 11801
212.17/218.00	o 11799
212.57/218.31	o 11796
213.27/219.07	o 11794
213.66/219.47	o 11786
214.16/219.94	o 11781
214.66/220.41	o 11778
215.15/220.94	o 11775
215.65/221.42	o 11769
216.15/221.94	o 11766
216.54/222.36	o 11763
217.33/223.18	o 11757
218.23/224.04	o 11747
218.62/224.49	o 11741
219.12/224.91	o 11736
219.52/225.36	o 11730
219.92/225.75	o 11729
220.31/226.20	o 11724
220.81/226.66	o 11723
221.30/227.12	o 11719
221.70/227.56	o 11718
222.20/228.01	o 11716
222.59/228.42	o 11712
222.99/228.85	o 11711
223.40/229.29	o 11707
223.89/229.73	o 11701
224.29/230.15	o 11700
224.69/230.55	o 11699
225.08/230.99	o 11691
225.57/231.45	o 11682
225.97/231.89	o 11676
226.37/232.28	o 11671
226.87/232.74	o 11667
228.16/234.03	o 11659
229.06/234.95	o 11657
229.55/235.47	o 11652
230.05/235.96	o 11644
231.04/236.97	o 11639
231.54/237.40	o 11637
231.94/237.86	o 11630
232.33/238.29	o 11625
232.83/238.76	o 11619
233.32/239.22	o 11613
233.72/239.67	o 11607
234.22/240.19	o 11602
234.72/240.65	o 11597
235.21/241.18	o 11592
235.71/241.64	o 11587
236.20/242.13	o 11583
236.70/242.62	o 11579
237.19/243.14	o 11575
238.19/244.14	o 11571
239.08/245.10	o 11566
239.58/245.56	o 11563
240.07/246.06	o 11560
240.57/246.54	o 11557
241.07/247.01	o 11554
241.46/247.48	o 11551
241.96/247.93	o 11549
242.36/248.38	o 11547
242.86/248.83	o 11543
243.35/249.32	o 11541
243.75/249.75	o 11540
244.64/250.62	o 11538
245.04/251.04	o 11536
245.43/251.46	o 11534
245.93/251.93	o 11532
246.33/252.39	o 11525
246.82/252.81	o 11523
247.22/253.25	o 11521
247.63/253.66	o 11520
248.02/254.10	o 11519
248.52/254.54	o 11518
248.92/254.98	o 11517
249.41/255.42	o 11513
251.00/257.04	o 11512
251.40/257.44	o 11511
251.79/257.80	o 11510
252.19/258.24	o 11509
252.70/258.72	o 11505
252.98/259.09	o 11504
254.18/260.27	o 11500
254.58/260.66	o 11494
258.05/264.11	o 11493
258.74/264.85	o 11486
259.14/265.26	o 11484
259.53/265.69	o 11473
260.03/266.13	o 11470
260.43/266.55	o 11466
260.93/267.01	o 11462
261.43/267.52	o 11461
261.82/267.91	o 11455
262.22/268.35	o 11453
262.62/268.73	o 11452
263.41/269.54	o 11451
263.80/269.99	o 11444
264.30/270.42	o 11439
264.70/270.87	o 11434
265.19/271.31	o 11430
265.69/271.81	o 11427
266.09/272.24	o 11423
266.59/272.71	o 11417
267.08/273.20	o 11413
267.88/274.08	o 11410
268.38/274.55	o 11401
272.35/278.60	o 11392
272.94/279.11	o 11389
273.44/279.63	o 11382
273.94/280.17	o 11377
275.03/281.24	o 11375
275.53/281.77	o 11368
276.12/282.33	o 11367
276.61/282.87	o 11359
277.21/283.41	o 11353
277.70/283.94	o 11352
278.20/284.46	o 11345
279.29/285.54	o 11341
279.79/286.05	o 11339
280.88/287.11	o 11338
281.37/287.65	o 11333
281.87/288.17	o 11330
282.37/288.68	o 11329
282.96/289.20	o 11327
283.46/289.71	o 11326
283.96/290.25	o 11324
284.56/290.80	o 11323
285.06/291.31	o 11317
285.56/291.84	o 11307
286.05/292.37	o 11302
286.65/292.94	o 11300
287.14/293.46	o 11299
287.64/293.99	o 11298
288.13/294.47	o 11295
288.63/294.99	o 11293
289.22/295.54	o 11292
289.72/296.02	o 11287
290.21/296.55	o 11281
290.71/297.05	o 11275
291.81/298.11	o 11271
292.30/298.67	o 11261
292.80/299.18	o 11256
293.39/299.73	o 11255
293.89/300.21	o 11252
294.38/300.75	o 11246
295.38/301.76	o 11237
295.87/302.27	o 11236
296.38/302.78	o 11233
296.97/303.34	o 11231
297.47/303.90	o 11226
298.06/304.42	o 11224
299.17/305.55	o 11221
300.24/306.67	o 11217
300.84/307.25	o 11216
301.43/307.81	o 11211
301.93/308.38	o 11207
302.52/308.96	o 11195
303.72/310.17	o 11188
304.31/310.78	o 11182
304.81/311.27	o 11179
305.51/311.93	o 11173
306.00/312.50	o 11171
307.19/313.69	o 11165
307.89/314.30	o 11159
308.39/314.88	o 11156
308.98/315.48	o 11153
309.58/316.04	o 11147
310.17/316.63	o 11144
310.77/317.24	o 11138
311.96/318.47	o 11133
312.55/319.05	o 11128
313.16/319.67	o 11127
313.75/320.26	o 11122
314.34/320.87	o 11117
315.54/322.01	o 11116
316.62/323.13	o 11114
317.12/323.69	o 11112
318.32/324.82	o 11109
318.82/325.36	o 11106
319.43/325.98	o 11103
320.01/326.52	o 11100
320.51/327.07	o 11098
321.10/327.64	o 11096
321.70/328.26	o 11094
322.30/328.84	o 11089
324.48/331.01	o 11088
324.98/331.54	o 11087
325.47/332.07	o 11080
325.97/332.59	o 11072
326.56/333.11	o 11068
327.06/333.63	o 11066
328.06/334.62	o 11063
328.55/335.13	o 11060
329.05/335.66	o 11059
329.55/336.12	o 11058
330.04/336.66	o 11057
330.54/337.16	o 11056
333.51/340.14	o 11054
334.01/340.61	o 11051
334.41/341.08	o 11049
335.01/341.62	o 11036
336.59/343.23	o 11027
336.99/343.82	o 11014
337.69/344.32	o 11011
339.58/346.30	o 11009
341.06/347.77	o 11004
341.56/348.24	o 11001
342.05/348.72	o 10997
342.55/349.22	o 10996
343.44/350.17	o 10989
347.01/353.74	o 10988
347.60/354.31	o 10984
348.60/355.34	o 10981
349.98/356.75	o 10979
350.88/357.69	o 10978
351.37/358.10	o 10974
352.27/359.05	o 10971
353.16/359.96	o 10968
353.56/360.40	o 10963
354.05/360.86	o 10962
354.55/361.32	o 10959
354.95/361.79	o 10956
355.45/362.20	o 10953
356.25/363.09	o 10950
356.74/363.58	o 10946
357.24/364.08	o 10943
358.23/365.06	o 10942
358.74/365.58	o 10937
359.14/366.06	o 10931
359.72/366.53	o 10930
360.12/366.98	o 10928
360.61/367.45	o 10921
361.11/367.91	o 10919
361.51/368.35	o 10917
362.00/368.86	o 10914
362.40/369.25	o 10907
363.69/370.56	o 10906
364.19/371.05	o 10904
364.58/371.49	o 10899
365.18/372.01	o 10894
365.68/372.53	o 10892
366.07/372.98	o 10884
366.47/373.40	o 10878
366.97/373.82	o 10869
367.36/374.28	o 10865
367.86/374.74	o 10860
368.75/375.65	o 10859
369.25/376.17	o 10856
369.74/376.63	o 10855
370.25/377.13	o 10848
370.74/377.60	o 10841
371.14/378.09	o 10840
371.63/378.53	o 10837
372.03/378.97	o 10835
372.53/379.41	o 10831
372.92/379.87	o 10828
373.32/380.30	o 10825
373.82/380.78	o 10819
374.31/381.27	o 10816
375.31/382.20	o 10811
375.71/382.70	o 10809
376.20/383.19	o 10800
376.70/383.67	o 10795
377.69/384.64	o 10793
378.18/385.15	o 10791
378.58/385.59	o 10786
379.18/386.11	o 10775
379.67/386.63	o 10768
380.18/387.15	o 10764
380.67/387.64	o 10757
381.26/388.27	o 10755
381.85/388.80	o 10752
382.85/389.86	o 10748
383.45/390.41	o 10747
383.94/390.97	o 10745
384.54/391.53	o 10744
386.64/393.68	o 10743
388.42/395.43	o 10742
388.92/395.99	o 10732
389.51/396.56	o 10730
390.11/397.19	o 10728
390.70/397.76	o 10726
391.21/398.30	o 10725
391.90/398.94	o 10720
392.49/399.53	o 10715
393.19/400.21	o 10708
393.78/400.83	o 10699
394.38/401.44	o 10693
394.98/402.07	o 10687
395.57/402.68	o 10686
396.17/403.27	o 10681
396.76/403.86	o 10670
397.36/404.47	o 10665
397.95/405.08	o 10660
398.55/405.68	o 10655
399.15/406.29	o 10651
399.85/406.94	o 10647
401.63/408.76	o 10644
402.72/409.87	o 10643
403.32/410.45	o 10641
403.81/410.98	o 10631
404.41/411.57	o 10626
405.00/412.11	o 10621
405.50/412.65	o 10618
406.10/413.21	o 10616
407.29/414.40	o 10614
407.78/414.99	o 10612
408.38/415.57	o 10610
408.97/416.14	o 10608
409.57/416.71	o 10606
410.07/417.29	o 10604
410.66/417.83	o 10602
411.25/418.42	o 10601
411.85/419.02	o 10600
412.44/419.61	o 10599
412.95/420.17	o 10598
413.54/420.73	o 10597
414.04/421.28	o 10594
414.73/421.92	o 10589
415.32/422.52	o 10588
415.92/423.11	o 10585
416.42/423.68	o 10584
417.01/424.21	o 10583
419.20/426.48	o 10582
419.80/427.01	o 10581
420.79/428.08	o 10578
421.29/428.59	o 10571
421.79/429.09	o 10569
422.38/429.62	o 10568
422.88/430.15	o 10567
423.37/430.67	o 10565
423.87/431.19	o 10558
424.96/432.23	o 10554
425.46/432.75	o 10548
426.45/433.76	o 10537
426.95/434.25	o 10528
427.94/435.27	o 10527
432.50/439.88	o 10514
433.10/440.42	o 10513
433.59/440.92	o 10509
434.09/441.42	o 10504
434.59/441.91	o 10499
435.08/442.41	o 10498
435.58/442.90	o 10496
436.07/443.44	o 10492
436.57/443.95	o 10491
437.57/444.99	o 10483
437.98/445.56	o 10481
439.25/446.61	o 10476
439.75/447.14	o 10469
440.25/447.67	o 10466
440.84/448.21	o 10463
441.34/448.78	o 10458
441.84/449.28	o 10457
442.33/449.79	o 10452
442.84/450.29	o 10445
443.43/450.86	o 10436
444.02/451.46	o 10432
444.52/451.99	o 10431
445.02/452.44	o 10425
445.51/452.93	o 10423
446.01/453.45	o 10422
446.50/453.97	o 10421
447.10/454.52	o 10420
447.59/455.05	o 10418
448.19/455.64	o 10417
448.68/456.16	o 10415
449.28/456.74	o 10411
449.88/457.30	o 10400
450.97/458.45	o 10396
451.57/459.05	o 10386
452.56/460.07	o 10372
453.15/460.61	o 10369
453.66/461.13	o 10365
454.15/461.69	o 10363
454.75/462.23	o 10357
455.34/462.82	o 10347
456.05/463.53	o 10338
456.65/464.18	o 10336
457.33/464.80	o 10331
457.93/465.44	o 10330
458.52/466.07	o 10328
459.12/466.67	o 10321
460.90/468.49	o 10320
461.50/469.08	o 10319
462.09/469.69	o 10314
462.69/470.24	o 10313
463.29/470.84	o 10310
463.88/471.42	o 10307
465.17/472.72	o 10305
465.77/473.33	o 10302
466.37/473.98	o 10298
467.06/474.60	o 10295
467.76/475.33	o 10294
468.35/475.94	o 10285
472.03/479.67	o 10275
472.62/480.29	o 10268
473.22/480.85	o 10267
473.81/481.44	o 10265
474.41/482.02	o 10264
474.90/482.57	o 10261
475.50/483.12	o 10257
476.80/484.41	o 10256
477.39/485.07	o 10251
479.88/487.52	o 10249
480.47/488.19	o 10247
481.17/488.86	o 10243
481.86/489.56	o 10240
482.55/490.28	o 10230
483.26/490.95	o 10229
483.95/491.61	o 10227
484.54/492.29	o 10225
485.24/492.98	o 10222
486.63/494.34	o 10210
487.22/494.97	o 10203
487.91/495.62	o 10201
489.20/496.99	o 10194
489.81/497.55	o 10192
492.28/500.02	o 10187
492.88/500.64	o 10180
493.57/501.34	o 10178
494.97/502.76	o 10175
495.65/503.46	o 10174
496.36/504.14	o 10168
499.12/506.91	o 10167
499.73/507.55	o 10164
500.42/508.21	o 10162
501.01/508.86	o 10157
502.40/510.22	o 10155
503.10/510.95	o 10148
503.79/511.65	o 10147
505.08/512.99	o 10141
505.78/513.68	o 10139
507.86/515.73	o 10137
508.46/516.36	o 10134
509.15/517.02	o 10130
514.22/522.13	o 10120
514.82/522.73	o 10112
515.51/523.43	o 10108
516.11/524.04	o 10102
516.70/524.66	o 10100
517.99/525.91	o 10098
518.59/526.54	o 10091
519.29/527.21	o 10089
519.88/527.85	o 10084
520.38/528.39	o 10080
521.57/529.57	o 10078
522.36/530.32	o 10072
522.96/530.94	o 10071
524.25/532.21	o 10066
524.85/532.80	o 10064
525.44/533.46	o 10061
526.73/534.72	o 10058
527.33/535.36	o 10054
528.02/536.01	o 10047
528.61/536.63	o 10042
529.21/537.27	o 10038
529.90/537.92	o 10034
530.52/538.56	o 10033
531.21/539.22	o 10030
531.90/539.92	o 10027
532.50/540.57	o 10024
533.19/541.22	o 10019
533.79/541.85	o 10017
534.38/542.46	o 10015
534.98/543.09	o 10013
535.68/543.72	o 10012
536.27/544.34	o 10011
536.97/545.01	o 10010
537.65/545.72	o 10009
538.28/546.36	o 10008
539.54/547.67	o 10007
540.24/548.33	o 10000
541.63/549.71	o 9995
544.71/552.89	o 9991
545.41/553.53	o 9987
546.10/554.24	o 9986
546.80/554.94	o 9984
548.18/556.34	o 9981
548.88/557.01	o 9978
549.57/557.70	o 9977
550.17/558.37	o 9974
551.56/559.74	o 9969
552.95/561.17	o 9968
553.65/561.90	o 9965
554.44/562.64	o 9962
555.13/563.38	o 9958
556.42/564.68	o 9953
557.02/565.29	o 9949
558.40/566.63	o 9947
560.58/568.85	o 9938
561.28/569.54	o 9937
561.97/570.25	o 9936
562.66/570.93	o 9935
563.36/571.65	o 9928
564.05/572.36	o 9922
564.75/573.07	o 9921
565.55/573.83	o 9918
566.24/574.59	o 9916
567.03/575.35	o 9915
567.73/576.09	o 9911
568.52/576.85	o 9909
569.03/577.36	o 9901
569.72/578.07	o 9900
570.41/578.78	o 9899
571.21/579.52	o 9896
571.90/580.24	o 9892
572.71/581.07	o 9887
573.48/581.91	o 9883
574.29/582.63	o 9878
574.98/583.36	o 9875
575.78/584.12	o 9866
576.47/584.86	o 9864
577.16/585.57	o 9863
577.86/586.25	o 9862
578.55/586.95	o 9861
579.25/587.69	o 9857
579.94/588.39	o 9850
580.74/589.10	o 9848
581.43/589.82	o 9846
582.13/590.55	o 9842
582.92/591.31	o 9840
584.41/592.83	o 9834
586.70/595.20	o 9831
587.49/595.99	o 9829
588.38/596.87	o 9827
589.37/597.84	o 9815
590.16/598.66	o 9810
590.97/599.49	o 9807
591.77/600.29	o 9803
592.56/601.07	o 9801
595.64/604.13	o 9800
596.34/604.89	o 9795
597.13/605.65	o 9792
597.93/606.49	o 9787
601.01/609.51	o 9775
601.70/610.22	o 9773
602.50/611.07	o 9770
603.29/611.85	o 9766
605.58/614.14	o 9754
606.38/614.93	o 9751
607.86/616.40	o 9749
608.56/617.15	o 9743
610.05/618.60	o 9737
611.54/620.16	o 9736
613.04/621.69	o 9735
613.83/622.48	o 9733
614.62/623.25	o 9732
615.42/624.03	o 9731
616.12/624.78	o 9727
616.91/625.52	o 9718
618.41/627.09	o 9714
619.20/627.90	o 9710
620.00/628.64	o 9706
620.79/629.44	o 9704
625.36/634.04	o 9701
626.16/634.85	o 9698
626.96/635.61	o 9692
627.65/636.38	o 9686
628.44/637.14	o 9683
629.24/637.98	o 9679
630.13/638.81	o 9674
632.52/641.22	o 9670
633.31/642.08	o 9661
634.30/643.04	o 9657
635.09/643.83	o 9656
635.90/644.62	o 9651
636.59/645.37	o 9649
638.18/646.92	o 9644
638.87/647.65	o 9641
640.45/649.20	o 9637
641.85/650.68	o 9634
642.64/651.41	o 9630
643.34/652.14	o 9627
644.03/652.86	o 9622
645.43/654.28	o 9621
646.13/654.91	o 9616
648.11/656.94	o 9614
648.81/657.68	o 9613
649.50/658.37	o 9612
650.29/659.12	o 9611
651.68/660.55	o 9606
652.39/661.26	o 9603
653.18/662.07	o 9597
653.87/662.78	o 9595
654.57/663.47	o 9592
655.36/664.23	o 9588
656.05/664.99	o 9584
656.84/665.78	o 9581
657.64/666.52	o 9574
659.72/668.67	o 9573
660.41/669.37	o 9564
661.21/670.12	o 9561
661.91/670.84	o 9555
662.60/671.58	o 9549
664.09/673.01	o 9546
664.78/673.72	o 9543
665.48/674.43	o 9542
666.17/675.14	o 9541
666.87/675.88	o 9539
667.57/676.60	o 9537
672.53/681.55	o 9536
673.93/682.97	o 9535
674.72/683.72	o 9531
675.33/684.38	o 9530
676.02/685.10	o 9522
676.81/685.80	o 9521
678.20/687.20	o 9519
679.04/688.12	o 9516
679.74/688.86	o 9510
680.44/689.54	o 9509
683.91/693.06	o 9505
684.61/693.77	o 9499
685.30/694.46	o 9494
686.00/695.18	o 9491
686.69/695.86	o 9481
687.38/696.56	o 9476
688.77/697.95	o 9473
689.48/698.65	o 9472
690.96/700.16	o 9467
691.75/700.91	o 9463
692.45/701.61	o 9462
693.14/702.33	o 9459
693.84/703.04	o 9458
694.54/703.70	o 9456
695.23/704.40	o 9453
695.93/705.12	o 9446
696.52/705.79	o 9441
697.21/706.45	o 9437
698.60/707.83	o 9427
699.30/708.55	o 9421
700.78/710.02	o 9418
702.17/711.46	o 9417
705.77/715.32	o 9416
706.47/716.08	o 9409
707.16/716.79	o 9407
707.96/717.56	o 9405
708.66/718.23	o 9403
710.15/719.71	o 9402
710.85/720.47	o 9400
711.54/721.16	o 9399
712.34/721.92	o 9392
713.04/722.65	o 9390
713.73/723.37	o 9385
714.52/724.14	o 9379
715.22/724.90	o 9375
716.11/725.71	o 9372
716.83/726.51	o 9369
717.61/727.27	o 9365
718.40/728.04	o 9361
719.19/728.83	o 9358
719.98/729.61	o 9355
720.68/730.39	o 9353
721.48/731.18	o 9351
722.27/731.94	o 9350
722.97/732.69	o 9349
723.76/733.47	o 9348
724.55/734.26	o 9345
725.35/735.03	o 9344
726.14/735.84	o 9343
726.94/736.66	o 9342
727.73/737.48	o 9341
728.53/738.27	o 9335
735.37/745.10	o 9329
736.07/745.82	o 9322
736.76/746.59	o 9317
738.26/748.08	o 9316
739.04/748.81	o 9312
739.73/749.56	o 9308
740.44/750.30	o 9303
744.90/754.77	o 9297
745.60/755.49	o 9295
746.40/756.23	o 9291
747.19/757.02	o 9287
747.88/757.72	o 9286
749.30/759.17	o 9285
749.97/759.88	o 9281
750.66/760.54	o 9270
751.36/761.23	o 9266
752.05/761.97	o 9262
752.75/762.65	o 9259
753.44/763.34	o 9256
754.14/764.05	o 9255
754.83/764.76	o 9253
755.53/765.49	o 9248
756.22/766.17	o 9246
756.73/766.90	o 9242
758.50/768.40	o 9238
760.00/769.91	o 9235
760.70/770.65	o 9230
762.98/772.92	o 9227
763.69/773.64	o 9220
765.87/775.80	o 9214
766.16/776.16	o 9209
767.56/777.56	o 9207
768.35/778.30	o 9203
768.95/778.98	o 9202
770.14/780.45	o 9197
771.13/781.17	o 9192
771.92/781.97	o 9189
772.72/782.73	o 9186
773.81/783.85	o 9181
774.52/784.58	o 9179
775.30/785.35	o 9175
776.10/786.11	o 9171
777.49/787.59	o 9168
778.29/788.32	o 9166
778.98/789.06	o 9163
779.77/789.86	o 9162
782.06/792.14	o 9155
782.66/792.72	o 9147
785.74/795.83	o 9145
789.61/799.75	o 9142
790.41/800.56	o 9140
791.20/801.35	o 9137
792.79/802.95	o 9136
794.18/804.31	o 9135
794.98/805.13	o 9133
795.77/805.94	o 9130
796.57/806.71	o 9120
797.26/807.49	o 9115
798.06/808.22	o 9111
798.85/809.00	o 9104
802.63/812.84	o 9100
803.43/813.62	o 9095
804.22/814.43	o 9094
805.81/816.05	o 9088
809.10/819.31	o 9084
809.90/820.14	o 9083
810.69/820.99	o 9078
811.67/821.95	o 9077
812.47/822.74	o 9073
813.27/823.53	o 9070
814.07/824.34	o 9068
815.75/826.02	o 9063
816.55/826.84	o 9061
817.34/827.67	o 9059
818.24/828.51	o 9054
819.03/829.34	o 9049
820.72/831.02	o 9048
821.62/831.94	o 9046
822.41/832.78	o 9045
823.40/833.70	o 9044
824.30/834.61	o 9041
825.19/835.56	o 9040
826.08/836.46	o 9039
827.08/837.45	o 9034
827.97/838.31	o 9031
829.86/840.21	o 9028
830.76/841.12	o 9023
831.64/842.07	o 9017
833.43/843.87	o 9014
835.21/845.61	o 9012
836.01/846.45	o 9008
837.00/847.40	o 9007
837.80/848.28	o 9003
839.58/850.05	o 9002
840.48/850.97	o 8999
841.37/851.88	o 8994
842.26/852.76	o 8992
843.15/853.67	o 8990
844.05/854.55	o 8982
844.94/855.46	o 8980
845.83/856.36	o 8979
846.82/857.30	o 8978
847.72/858.21	o 8977
852.98/863.53	o 8975
853.77/864.37	o 8973
854.67/865.23	o 8969
855.46/866.07	o 8966
856.26/866.88	o 8964
857.16/867.76	o 8962
858.14/868.71	o 8961
863.00/873.67	o 8960
863.79/874.46	o 8954
864.69/875.31	o 8950
865.48/876.13	o 8945
866.27/876.95	o 8943
868.76/879.50	o 8941
870.55/881.29	o 8933
872.33/883.00	o 8930
873.13/883.86	o 8925
873.92/884.66	o 8922
875.61/886.31	o 8921
878.19/888.93	o 8919
879.08/889.81	o 8918
881.56/892.39	o 8917
882.45/893.27	o 8914
883.35/894.17	o 8912
884.25/895.09	o 8908
885.24/896.02	o 8901
888.93/899.77	o 8899
889.81/900.68	o 8896
890.80/901.68	o 8886
891.80/902.65	o 8885
892.79/903.61	o 8884
893.68/904.59	o 8882
895.66/906.52	o 8878
896.56/907.49	o 8875
897.55/908.43	o 8872
898.45/909.39	o 8870
899.44/910.32	o 8868
901.32/912.20	o 8864
902.22/913.11	o 8853
903.01/914.00	o 8849
909.46/920.48	o 8846
910.46/921.41	o 8840
911.35/922.37	o 8836
912.24/923.28	o 8833
913.23/924.22	o 8829
914.13/925.12	o 8826
917.60/928.69	o 8817
918.50/929.57	o 8812
919.39/930.45	o 8802
919.69/930.75	o 8792
920.58/931.64	o 8791
921.48/932.50	o 8785
922.27/933.40	o 8778
923.37/934.42	o 8773
924.27/935.35	o 8770
925.16/936.22	o 8768
925.95/937.07	o 8767
926.85/937.96	o 8761
927.74/938.85	o 8760
928.63/939.77	o 8757
930.42/941.56	o 8754
931.21/942.34	o 8746
932.10/943.20	o 8745
932.92/944.05	o 8738
933.89/945.00	o 8735
934.69/945.89	o 8734
935.68/946.82	o 8732
936.57/947.74	o 8731
937.46/948.65	o 8728
938.56/949.70	o 8727
939.45/950.61	o 8723
940.34/951.52	o 8718
941.23/952.45	o 8712
941.92/953.18	o 8710
942.91/954.13	o 8707
943.81/955.09	o 8702
944.80/956.01	o 8699
945.70/956.94	o 8692
946.59/957.89	o 8689
947.48/958.80	o 8686
949.37/960.69	o 8684
950.26/961.58	o 8677
951.25/962.55	o 8668
952.15/963.43	o 8664
953.84/965.18	o 8663
954.73/966.08	o 8660
955.62/966.97	o 8658
956.52/967.86	o 8657
957.41/968.77	o 8652
958.30/969.66	o 8648
959.20/970.58	o 8645
960.10/971.49	o 8643
961.09/972.42	o 8637
961.99/973.32	o 8636
962.98/974.33	o 8635
973.31/984.79	o 8630
974.30/985.74	o 8623
975.19/986.68	o 8622
976.28/987.72	o 8617
977.18/988.66	o 8613
978.17/989.60	o 8604
980.05/991.53	o 8602
980.95/992.48	o 8599
981.94/993.41	o 8588
982.83/994.34	o 8582
983.73/995.26	o 8576
984.62/996.17	o 8574
985.61/997.14	o 8572
988.29/999.87	o 8570
989.08/1000.97	o 8567
990.27/1001.85	o 8566
992.16/1003.74	o 8562
993.05/1004.69	o 8559
994.84/1006.46	o 8551
995.73/1007.33	o 8549
998.41/1010.04	o 8547
999.31/1010.98	o 8541
1000.20/1011.89	o 8537
1001.19/1012.81	o 8533
1002.08/1013.73	o 8528
1003.08/1014.76	o 8524
1004.07/1015.75	o 8519
1006.06/1017.70	o 8509
1007.05/1018.74	o 8503
1008.05/1019.73	o 8498
1009.04/1020.71	o 8493
1009.93/1021.64	o 8491
1012.91/1024.61	o 8490
1013.80/1025.57	o 8489
1014.79/1026.52	o 8488
1015.69/1027.47	o 8480
1016.68/1028.47	o 8476
1017.67/1029.43	o 8472
1018.67/1030.45	o 8465
1019.67/1031.47	o 8457
1020.66/1032.48	o 8456
1022.64/1034.44	o 8454
1023.43/1035.28	o 8448
1024.44/1036.22	o 8446
1025.33/1037.12	o 8445
1026.12/1038.00	o 8442
1027.90/1039.79	o 8439
1028.90/1040.72	o 8434
1031.28/1043.12	o 8426
1032.19/1044.03	o 8422
1033.07/1044.96	o 8417
1033.96/1045.86	o 8415
1034.87/1046.74	o 8410
1035.74/1047.66	o 8406
1036.73/1048.64	o 8400
1037.63/1049.59	o 8396
1038.63/1050.53	o 8391
1040.51/1052.41	o 8385
1041.40/1053.34	o 8384
1042.39/1054.39	o 8381
1043.39/1055.35	o 8374
1044.38/1056.30	o 8365
1045.27/1057.26	o 8363
1047.16/1059.17	o 8361
1048.15/1060.12	o 8357
1049.06/1061.06	o 8356
1050.04/1062.01	o 8354
1050.93/1062.99	o 8351
1060.67/1072.78	o 8349
1061.66/1073.76	o 8348
1062.66/1074.73	o 8346
1063.55/1075.66	o 8343
1064.54/1076.60	o 8337
1065.44/1077.54	o 8333
1066.34/1078.48	o 8332
1067.33/1079.45	o 8331
1069.22/1081.32	o 8328
1070.11/1082.25	o 8326
1071.01/1083.19	o 8319
1072.83/1085.01	o 8317
1073.79/1085.95	o 8313
1075.58/1087.79	o 8311
1076.47/1088.68	o 8309
1080.75/1092.91	o 8308
1085.91/1098.15	o 8306
1086.71/1099.00	o 8301
1087.60/1099.85	o 8300
1088.39/1100.69	o 8290
1089.28/1101.55	o 8287
1090.32/1102.76	o 8284
1093.69/1106.11	o 8276
1095.28/1107.78	o 8275
1096.18/1108.62	o 8274
1097.07/1109.58	o 8271
1098.06/1110.51	o 8268
1098.95/1111.45	o 8264
1099.85/1112.36	o 8258
1100.84/1113.36	o 8255
1104.41/1116.98	o 8249
1105.41/1117.91	o 8245
1107.19/1119.78	o 8244
1110.07/1122.68	o 8243
1111.06/1123.63	o 8239
1111.96/1124.53	o 8237
1112.85/1125.46	o 8236
1113.84/1126.40	o 8235
1117.93/1131.04	o 8232
1118.73/1131.88	o 8229
1120.52/1133.62	o 8226
1121.31/1134.47	o 8219
1122.21/1135.33	o 8217
1123.10/1136.27	o 8215
1125.58/1138.76	o 8210
1126.48/1139.62	o 8209
1129.06/1142.27	o 8207
1129.96/1143.14	o 8201
1132.63/1145.87	o 8200
1136.21/1149.48	o 8196
1137.10/1150.39	o 8195
1138.00/1151.29	o 8192
1139.00/1152.21	o 8190
1139.89/1153.15	o 8188
1140.78/1154.06	o 8187
1141.67/1154.98	o 8183
1142.66/1155.92	o 8182
1143.56/1156.83	o 8180
1144.46/1157.79	o 8176
1146.34/1159.69	o 8171
1147.13/1160.47	o 8166
1148.02/1161.35	o 8163
1149.01/1162.34	o 8162
1149.91/1163.28	o 8161
1150.90/1164.22	o 8158
1151.79/1165.13	o 8155
1155.47/1168.89	o 8151
1156.47/1169.82	o 8147
1157.35/1170.76	o 8140
1158.25/1171.65	o 8138
1160.03/1173.46	o 8134
1161.82/1175.23	o 8133
1163.60/1177.01	o 8128
1164.40/1177.87	o 8123
1165.30/1178.73	o 8119
1166.19/1179.68	o 8115
1167.18/1180.60	o 8113
1167.97/1181.47	o 8109
1168.86/1182.37	o 8108
1169.75/1183.22	o 8107
1170.56/1184.06	o 8104
1171.46/1184.92	o 8100
1172.25/1185.78	o 8098
1173.14/1186.64	o 8097
1173.94/1187.48	o 8090
1174.83/1188.36	o 8087
1175.72/1189.22	o 8086
1178.31/1191.81	o 8084
1179.10/1192.68	o 8081
1179.99/1193.52	o 8076
1180.89/1194.44	o 8070
1181.78/1195.32	o 8066
1184.26/1197.87	o 8062
1185.96/1199.52	o 8059
1187.54/1201.18	o 8055
1188.43/1202.03	o 8053
1189.24/1202.85	o 8048
1190.03/1203.65	o 8044
1190.82/1204.49	o 8041
1191.69/1205.34	o 8039
1192.61/1206.25	o 8038
1195.99/1209.62	o 8036
1196.78/1210.46	o 8032
1197.57/1211.29	o 8030
1198.46/1212.12	o 8024
1199.26/1212.93	o 8021
1200.05/1213.75	o 8013
1200.84/1214.55	o 8012
1201.64/1215.35	o 8011
1203.23/1216.98	o 8010
1204.12/1217.88	o 8006
1205.02/1218.71	o 8001
1205.92/1219.61	o 8000
1208.30/1222.09	o 7994
1209.99/1223.72	o 7990
1210.78/1224.55	o 7986
1211.57/1225.38	o 7985
1212.37/1226.19	o 7981
1213.26/1227.04	o 7978
1214.84/1228.66	o 7973
1215.65/1229.50	o 7969
1216.54/1230.36	o 7968
1217.43/1231.22	o 7963
1218.32/1232.10	o 7960
1219.11/1232.97	o 7956
1220.02/1233.84	o 7954
1220.92/1234.73	o 7952
1221.71/1235.56	o 7951
1223.49/1237.35	o 7948
1224.29/1238.19	o 7947
1225.97/1239.89	o 7946
1227.77/1241.64	o 7945
1229.45/1243.35	o 7943
1230.34/1244.23	o 7942
1231.23/1245.14	o 7941
1232.04/1245.99	o 7937
1232.92/1246.91	o 7934
1233.91/1247.81	o 7929
1234.80/1248.73	o 7921
1235.60/1249.56	o 7916
1236.10/1250.04	o 7912
1236.99/1250.90	o 7910
1237.78/1251.77	o 7909
1238.68/1252.67	o 7906
1239.57/1253.51	o 7904
1240.36/1254.37	o 7902
1241.16/1255.20	o 7901
1242.05/1256.00	o 7900
1242.85/1256.84	o 7897
1245.44/1259.50	o 7895
1246.32/1260.32	o 7888
1247.12/1261.15	o 7886
1249.60/1263.66	o 7881
1250.49/1264.51	o 7879
1251.19/1265.29	o 7877
1252.09/1266.13	o 7874
1253.77/1267.85	o 7872
1254.66/1268.70	o 7870
1255.45/1269.54	o 7867
1256.25/1270.38	o 7866
1257.15/1271.22	o 7865
1257.94/1272.08	o 7864
1258.83/1272.92	o 7860
1259.63/1273.75	o 7853
1260.52/1274.61	o 7850
1261.42/1275.50	o 7848
1262.21/1276.32	o 7846
1264.49/1278.63	o 7843
1265.29/1279.46	o 7841
1266.10/1280.38	o 7839
1267.08/1281.21	o 7837
1267.97/1282.11	o 7832
1268.86/1283.03	o 7830
1269.75/1283.90	o 7828
1270.65/1284.81	o 7826
1271.44/1285.66	o 7824
1274.82/1289.07	o 7822
1275.71/1289.93	o 7821
1280.08/1294.36	o 7819
1282.86/1297.17	o 7817
1284.65/1298.99	o 7815
1285.64/1299.93	o 7812
1286.53/1300.89	o 7809
1287.43/1301.79	o 7807
1288.43/1302.73	o 7806
1289.23/1303.59	o 7805
1292.80/1307.19	o 7798
1293.79/1308.10	o 7795
1294.59/1309.00	o 7794
1296.47/1310.85	o 7790
1296.97/1311.37	o 7786
1298.85/1313.28	o 7785
1299.85/1314.22	o 7784
1301.73/1316.16	o 7777
1303.61/1318.09	o 7775
1305.51/1319.98	o 7774
1307.39/1321.87	o 7773
1308.38/1322.80	o 7770
1309.27/1323.74	o 7768
1312.95/1327.43	o 7767
1315.62/1330.16	o 7763
1316.62/1331.11	o 7760
1318.40/1332.97	o 7759
1319.29/1333.88	o 7753
1322.08/1336.67	o 7749
1323.07/1337.61	o 7748
1323.96/1338.54	o 7745
1324.85/1339.45	o 7742
1325.74/1340.31	o 7735
1327.72/1342.31	o 7728
1328.62/1343.28	o 7726
1330.51/1345.19	o 7720
1331.50/1346.14	o 7713
1332.50/1347.11	o 7712
1333.39/1348.04	o 7711
1334.39/1349.02	o 7708
1335.28/1349.99	o 7705
1337.27/1351.94	o 7699
1338.26/1352.90	o 7697
1339.15/1353.83	o 7692
1340.14/1354.87	o 7691
1342.03/1356.76	o 7688
1342.92/1357.67	o 7686
1345.81/1360.53	o 7680
1346.70/1361.46	o 7673
1348.58/1363.33	o 7666
1349.50/1364.25	o 7665
1351.47/1366.21	o 7662
1352.45/1367.24	o 7659
1353.35/1368.19	o 7654
1363.67/1378.54	o 7650
1364.57/1379.46	o 7648
1365.46/1380.38	o 7643
1367.44/1382.33	o 7640
1368.33/1383.29	o 7638
1372.12/1387.16	o 7637
1373.20/1388.11	o 7632
1376.07/1391.05	o 7631
1377.07/1392.05	o 7629
1378.07/1393.08	o 7628
1379.16/1394.13	o 7625
1380.15/1395.12	o 7619
1381.14/1396.15	o 7615
1382.13/1397.17	o 7614
1384.22/1399.20	o 7613
1386.20/1401.21	o 7610
1387.09/1402.19	o 7607
1388.08/1403.19	o 7604
1393.14/1408.23	o 7601
1394.13/1409.26	o 7599
1395.13/1410.29	o 7596
1396.12/1411.25	o 7592
1397.11/1412.29	o 7589
1404.46/1419.60	o 7586
1405.45/1420.63	o 7585
1406.45/1421.66	o 7584
1407.54/1422.72	o 7582
1408.53/1423.77	o 7581
1409.65/1424.85	o 7574
1410.72/1425.92	o 7572
1411.71/1426.94	o 7570
1412.81/1428.01	o 7568
1413.80/1429.06	o 7564
1414.89/1430.11	o 7562
1415.88/1431.16	o 7558
1416.87/1432.19	o 7556
1417.97/1433.28	o 7555
1419.06/1434.33	o 7551
1421.14/1436.45	o 7550
1422.23/1437.51	o 7545
1422.84/1438.11	o 7542
1423.83/1439.15	o 7541
1425.81/1441.20	o 7540
1428.99/1444.40	o 7538
1430.08/1445.44	o 7535
1431.07/1446.46	o 7528
1431.86/1447.22	o 7519
1434.85/1450.27	o 7516
1435.84/1451.27	o 7515
1436.94/1452.32	o 7513
1438.03/1453.44	o 7512
1439.13/1454.56	o 7510
1440.11/1455.59	o 7508
1441.22/1456.65	o 7505
1442.31/1457.76	o 7503
1443.40/1458.85	o 7499
1453.92/1469.47	o 7495
1455.01/1470.57	o 7492
1456.20/1471.78	o 7490
1457.29/1472.86	o 7487
1459.47/1475.04	o 7484
1460.56/1476.11	o 7480
1461.55/1477.15	o 7477
1462.65/1478.23	o 7473
1463.74/1479.30	o 7472
1465.82/1481.44	o 7468
1466.84/1482.50	o 7464
1467.91/1483.57	o 7458
1470.09/1485.78	o 7456
1471.18/1486.83	o 7455
1472.27/1487.94	o 7454
1473.37/1489.02	o 7451
1474.46/1490.11	o 7447
1475.45/1491.15	o 7443
1476.54/1492.22	o 7437
1477.54/1493.25	o 7435
1478.54/1494.27	o 7430
1479.53/1495.30	o 7428
1480.63/1496.36	o 7427
1481.62/1497.36	o 7426
1482.61/1498.36	o 7423
1483.70/1499.40	o 7419
1485.79/1501.56	o 7416
1486.88/1502.62	o 7414
1487.88/1503.66	o 7410
1489.07/1504.88	o 7405
1490.16/1505.95	o 7403
1491.25/1507.00	o 7402
1496.51/1512.34	o 7401
1498.70/1514.56	o 7398
1500.88/1516.76	o 7396
1502.07/1517.92	o 7393
1503.17/1519.06	o 7387
1505.35/1521.21	o 7382
1509.62/1525.58	o 7378
1510.72/1526.68	o 7377
1511.81/1527.77	o 7375
1514.00/1529.96	o 7374
1515.09/1531.05	o 7370
1517.27/1533.26	o 7369
1519.56/1535.51	o 7366
1520.65/1536.62	o 7360
1521.34/1537.37	o 7355
1522.43/1538.46	o 7348
1523.15/1539.27	o 7343
1524.32/1540.35	o 7339
1525.41/1541.47	o 7338
1527.59/1543.68	o 7334
1528.69/1544.76	o 7333
1529.78/1545.89	o 7330
1530.87/1546.95	o 7327
1531.96/1548.09	o 7326
1533.05/1549.18	o 7324
1535.34/1551.48	o 7315
1536.43/1552.58	o 7314
1537.52/1553.68	o 7311
1538.61/1554.77	o 7308
1540.79/1556.97	o 7307
1541.88/1558.07	o 7306
1544.16/1560.35	o 7302
1546.45/1562.65	o 7301
1547.73/1563.96	o 7297
1552.19/1568.42	o 7296
1553.29/1569.55	o 7290
1554.38/1570.68	o 7288
1555.47/1571.79	o 7285
1556.56/1572.86	o 7279
1558.75/1575.03	o 7278
1559.74/1576.07	o 7277
1560.74/1577.09	o 7270
1561.73/1578.10	o 7266
1563.92/1580.29	o 7262
1565.02/1581.37	o 7261
1566.10/1582.45	o 7260
1567.20/1583.56	o 7259
1568.29/1584.63	o 7256
1569.28/1585.69	o 7249
1570.37/1586.76	o 7246
1572.55/1588.98	o 7245
1574.73/1591.16	o 7239
1575.82/1592.20	o 7238
1577.91/1594.39	o 7236
1579.00/1595.48	o 7234
1580.20/1596.60	o 7233
1581.29/1597.70	o 7224
1584.47/1600.95	o 7223
1585.56/1602.03	o 7218
1586.55/1603.09	o 7217
1588.63/1605.18	o 7215
1589.74/1606.29	o 7210
1590.82/1607.38	o 7206
1591.91/1608.48	o 7205
1593.10/1609.66	o 7204
1594.20/1610.71	o 7201
1596.28/1612.87	o 7199
1598.46/1615.05	o 7192
1609.28/1625.97	o 7189
1612.55/1629.23	o 7187
1613.65/1630.36	o 7183
1614.74/1631.46	o 7179
1615.93/1632.61	o 7177
1617.02/1633.78	o 7176
1619.31/1636.04	o 7171
1620.50/1637.22	o 7168
1621.69/1638.45	o 7167
1625.07/1641.87	o 7165
1626.16/1642.97	o 7163
1627.25/1644.07	o 7159
1629.45/1646.32	o 7155
1630.63/1647.45	o 7154
1631.83/1648.66	o 7151
1634.10/1650.99	o 7147
1635.30/1652.12	o 7144
1636.39/1653.27	o 7141
1637.48/1654.39	o 7140
1638.77/1655.60	o 7139
1639.77/1656.68	o 7135
1640.96/1657.85	o 7134
1642.15/1659.04	o 7133
1644.43/1661.38	o 7132
1645.62/1662.61	o 7129
1649.20/1666.19	o 7127
1651.58/1668.57	o 7124
1652.88/1669.81	o 7122
1654.06/1671.03	o 7119
1655.25/1672.20	o 7117
1656.45/1673.42	o 7115
1657.64/1674.67	o 7112
1658.83/1675.86	o 7107
1662.51/1679.56	o 7105
1663.70/1680.73	o 7104
1664.90/1681.97	o 7100
1666.07/1683.18	o 7096
1668.46/1685.59	o 7093
1669.66/1686.73	o 7089
1670.84/1687.97	o 7087
1673.43/1690.53	o 7085
1674.73/1691.84	o 7084
1676.02/1693.15	o 7083
1677.31/1694.48	o 7080
1678.60/1695.75	o 7076
1679.89/1697.01	o 7075
1681.09/1698.26	o 7072
1682.38/1699.56	o 7066
1684.95/1702.18	o 7062
1686.34/1703.51	o 7056
1687.65/1704.82	o 7052
1691.60/1708.81	o 7051
1692.89/1710.17	o 7050
1694.18/1711.48	o 7041
1695.57/1712.80	o 7038
1698.25/1715.56	o 7036
1702.23/1719.55	o 7034
1703.51/1720.83	o 7031
1706.10/1723.44	o 7024
1708.67/1726.02	o 7021
1709.96/1727.37	o 7020
1717.51/1734.91	o 7019
1718.80/1736.21	o 7018
1720.00/1737.49	o 7016
1725.25/1742.73	o 7014
1727.73/1745.27	o 7011
1729.12/1746.66	o 7008
1733.29/1750.83	o 7004
1737.36/1754.90	o 7001
1738.55/1756.12	o 7000
1739.84/1757.40	o 6995
1741.03/1758.66	o 6991
1742.32/1759.92	o 6989
1743.61/1761.20	o 6988
1750.96/1768.69	o 6987
1754.73/1772.47	o 6986
1757.22/1774.98	o 6984
1758.61/1776.34	o 6982
1760.00/1777.74	o 6981
1761.29/1779.08	o 6978
1762.69/1780.41	o 6977
1763.87/1781.68	o 6973
1775.49/1793.33	o 6968
1777.98/1795.86	o 6966
1779.26/1797.12	o 6962
1780.45/1798.36	o 6958
1781.75/1799.66	o 6953
1784.43/1802.38	o 6951
1785.82/1803.73	o 6949
1787.11/1805.07	o 6944
1788.50/1806.42	o 6938
1789.79/1807.75	o 6934
1791.18/1809.13	o 6933
1793.76/1811.74	o 6932
1795.05/1813.04	o 6931
1796.35/1814.37	o 6930
1797.64/1815.67	o 6928
1801.71/1819.71	o 6927
1802.70/1820.83	o 6921
1804.09/1822.19	o 6916
1805.18/1823.21	o 6905
1806.48/1824.53	o 6900
1807.77/1825.82	o 6896
1808.95/1827.03	o 6892
1811.53/1829.61	o 6888
1812.83/1830.93	o 6885
1814.22/1832.32	o 6883
1818.29/1836.40	o 6878
1827.92/1846.14	o 6876
1832.09/1850.35	o 6875
1833.48/1851.73	o 6874
1836.16/1854.46	o 6872
1837.65/1855.93	o 6871
1839.04/1857.32	o 6867
1840.44/1858.74	o 6865
1841.83/1860.19	o 6859
1843.42/1861.73	o 6858
1844.81/1863.16	o 6857
1851.86/1870.29	o 6855
1853.35/1871.70	o 6852
1857.51/1875.98	o 6850
1860.40/1878.81	o 6848
1863.27/1881.79	o 6841
1864.76/1883.28	o 6839
1866.16/1884.66	o 6837
1868.93/1887.43	o 6833
1870.32/1888.81	o 6831
1871.71/1890.25	o 6828
1874.49/1893.00	o 6826
1875.89/1894.44	o 6825
1882.93/1901.51	o 6822
1884.22/1902.89	o 6820
1887.01/1905.66	o 6816
1889.81/1908.51	o 6811
1891.29/1909.91	o 6804
1899.52/1918.25	o 6797
1900.91/1919.60	o 6793
1902.21/1920.96	o 6791
1903.69/1922.40	o 6787
1904.98/1923.76	o 6784
1907.67/1926.43	o 6781
1908.95/1927.78	o 6780
1911.73/1930.52	o 6779
1913.03/1931.90	o 6777
1924.06/1942.96	o 6774
1925.55/1944.43	o 6771
1937.66/1956.69	o 6770
1939.05/1958.04	o 6768
1940.45/1959.40	o 6766
1941.73/1960.74	o 6763
1943.02/1962.07	o 6760
1944.42/1963.42	o 6759
1945.71/1964.74	o 6756
1948.28/1967.40	o 6755
1953.55/1972.62	o 6750
1954.84/1973.97	o 6747
1956.22/1975.32	o 6744
1957.51/1976.62	o 6743
1958.80/1977.91	o 6742
1960.10/1979.24	o 6733
1961.40/1980.59	o 6727
1962.77/1981.94	o 6725
1968.05/1987.26	o 6724
1969.43/1988.61	o 6723
1973.41/1992.63	o 6722
1974.69/1993.94	o 6719
1977.28/1996.52	o 6718
1978.57/1997.82	o 6715
1979.76/1999.10	o 6714
1980.95/2000.27	o 6709
1982.33/2001.66	o 6707
1983.73/2003.03	o 6706
1986.52/2005.85	o 6703
1989.29/2008.63	o 6701
1990.58/2009.98	o 6698
1991.98/2011.31	o 6695
1992.97/2012.36	o 6693
1998.23/2017.67	o 6692
1999.42/2018.82	o 6691
2000.71/2020.20	o 6690
2002.19/2021.63	o 6689
2003.39/2022.90	o 6686
2004.68/2024.17	o 6683
2005.97/2025.48	o 6682
2007.26/2026.77	o 6679
2008.55/2028.07	o 6673
2009.84/2029.32	o 6669
2011.03/2030.57	o 6665
2012.42/2031.90	o 6662
2016.19/2035.74	o 6659
2017.49/2037.06	o 6658
2018.78/2038.35	o 6656
2020.07/2039.64	o 6652
2021.37/2040.99	o 6647
2024.04/2043.66	o 6642
2027.91/2047.55	o 6640
2029.30/2049.00	o 6637
2030.68/2050.32	o 6634
2031.98/2051.65	o 6633
2034.56/2054.25	o 6630
2035.85/2055.57	o 6629
2037.23/2056.94	o 6627
2038.52/2058.26	o 6623
2039.81/2059.58	o 6619
2043.88/2063.67	o 6617
2045.27/2065.07	o 6616
2046.85/2066.61	o 6612
2048.14/2067.94	o 6609
2049.54/2069.30	o 6607
2052.12/2071.93	o 6605
2053.50/2073.31	o 6602
2054.79/2074.64	o 6601
2056.09/2075.98	o 6597
2057.49/2077.37	o 6591
2065.43/2085.30	o 6590
2069.40/2089.37	o 6589
2070.79/2090.70	o 6588
2071.88/2091.87	o 6585
2073.28/2093.23	o 6583
2074.56/2094.55	o 6578
2075.86/2095.89	o 6575
2077.25/2097.26	o 6571
2078.64/2098.64	o 6570
2080.12/2100.11	o 6569
2081.51/2101.55	o 6564
2090.05/2110.11	o 6563
2095.42/2115.53	o 6556
2096.71/2116.86	o 6549
2100.97/2121.10	o 6545
2102.27/2122.41	o 6543
2103.56/2123.73	o 6542
2104.85/2125.06	o 6541
2106.14/2126.37	o 6538
2107.04/2127.22	o 6535
2108.37/2128.56	o 6534
2109.81/2130.00	o 6531
2111.20/2131.46	o 6530
2113.88/2134.18	o 6528
2123.61/2143.94	o 6527
2127.78/2148.13	o 6525
2130.56/2150.97	o 6520
2131.95/2152.35	o 6516
2133.34/2153.77	o 6514
2134.82/2155.23	o 6511
2137.71/2158.16	o 6509
2139.19/2159.60	o 6507
2140.58/2161.08	o 6505
2143.46/2163.97	o 6500
2144.95/2165.41	o 6497
2146.34/2166.92	o 6495
2152.31/2172.88	o 6494
2153.80/2174.35	o 6493
2156.78/2177.36	o 6492
2158.37/2178.93	o 6490
2162.93/2183.51	o 6488
2165.91/2186.55	o 6485
2168.89/2189.57	o 6482
2170.39/2191.08	o 6481
2171.88/2192.57	o 6477
2173.36/2194.08	o 6474
2176.44/2197.14	o 6473
2177.93/2198.64	o 6467
2182.30/2203.07	o 6464
2183.79/2204.54	o 6463
2185.28/2206.01	o 6460
2186.67/2207.46	o 6458
2187.78/2208.58	o 6457
2189.05/2209.86	o 6455
2190.54/2211.34	o 6453
2192.03/2212.83	o 6451
2192.63/2213.48	o 6448
2198.38/2219.25	o 6439
2199.77/2220.69	o 6433
2205.53/2226.43	o 6431
2206.92/2227.83	o 6430
2208.30/2229.21	o 6421
2209.60/2230.58	o 6417
2212.68/2233.63	o 6412
2225.79/2246.80	o 6409
2227.18/2248.22	o 6405
2229.66/2250.73	o 6402
2232.44/2253.52	o 6401
2233.83/2254.95	o 6398
2239.49/2260.69	o 6397
2242.37/2263.55	o 6393
2243.85/2265.06	o 6388
2246.73/2267.96	o 6378
2251.89/2273.18	o 6377
2253.28/2274.57	o 6373
2254.28/2275.57	o 6371
2255.76/2277.00	o 6366
2257.16/2278.42	o 6364
2258.64/2279.90	o 6363
2260.04/2281.31	o 6362
2261.42/2282.80	o 6361
2262.91/2284.30	o 6359
2268.67/2290.09	o 6357
2270.17/2291.53	o 6354
2273.04/2294.49	o 6348
2277.41/2298.80	o 6346
2278.80/2300.29	o 6344
2283.07/2304.58	o 6341
2284.56/2306.07	o 6339
2286.04/2307.55	o 6337
2287.43/2308.98	o 6335
2291.80/2313.32	o 6334
2293.38/2314.91	o 6333
2294.87/2316.44	o 6328
2295.66/2317.23	o 6325
2297.15/2318.74	o 6324
2298.65/2320.26	o 6322
2300.13/2321.79	o 6319
2303.21/2324.84	o 6317
2304.50/2326.16	o 6313
2305.99/2327.68	o 6308
2307.48/2329.16	o 6307
2311.95/2333.70	o 6304
2313.54/2335.21	o 6300
2315.03/2336.80	o 6297
2336.20/2358.03	o 6295
2337.78/2359.67	o 6292
2339.38/2361.30	o 6290
2340.96/2362.84	o 6289
2344.05/2365.90	o 6286
2351.59/2373.56	o 6280
2353.18/2375.12	o 6277
2354.67/2376.67	o 6275
2361.01/2383.02	o 6274
2362.50/2384.59	o 6267
2364.09/2386.14	o 6266
2367.07/2389.18	o 6262
2368.66/2390.72	o 6258
2370.14/2392.29	o 6256
2373.32/2395.45	o 6253
2374.91/2397.09	o 6252
2376.60/2398.78	o 6250
2378.18/2400.31	o 6246
2379.68/2401.84	o 6244
2382.76/2404.93	o 6243
2384.35/2406.50	o 6241
2385.74/2407.97	o 6236
2390.51/2412.76	o 6233
2393.79/2416.02	o 6228
2396.97/2419.21	o 6226
2398.46/2420.79	o 6220
2400.05/2422.33	o 6217
2401.64/2423.91	o 6210
2405.92/2428.26	o 6209
2407.51/2429.87	o 6208
2409.20/2431.59	o 6207
2410.59/2432.91	o 6204
2415.25/2437.69	o 6202
2416.94/2439.30	o 6201
2418.42/2440.89	o 6200
2420.12/2442.51	o 6192
2421.11/2443.51	o 6188
2425.29/2447.75	o 6186
2426.57/2449.01	o 6180
2429.75/2452.22	o 6179
2432.93/2455.42	o 6176
2434.52/2457.03	o 6175
2436.01/2458.59	o 6172
2437.60/2460.18	o 6168
2439.18/2461.76	o 6165
2440.78/2463.32	o 6164
2443.95/2466.51	o 6163
2445.44/2468.08	o 6159
2447.03/2469.64	o 6155
2449.81/2472.50	o 6152
2451.40/2474.09	o 6151
2452.99/2475.69	o 6150
2462.72/2485.45	o 6148
2464.41/2487.12	o 6147
2466.00/2488.75	o 6146
2467.69/2490.43	o 6143
2472.55/2495.35	o 6141
2474.24/2497.00	o 6138
2480.00/2502.81	o 6136
2481.59/2504.47	o 6135
2486.66/2509.51	o 6132
2488.25/2511.19	o 6131
2489.93/2512.83	o 6127
2505.22/2528.20	o 6126
2506.81/2529.88	o 6125
2508.59/2531.61	o 6122
2510.28/2533.37	o 6121
2523.96/2547.16	o 6120
2527.45/2550.69	o 6116
2533.71/2556.96	o 6112
2534.60/2557.81	o 6108
2535.79/2559.01	o 6103
2539.17/2562.41	o 6102
2540.86/2564.16	o 6100
2542.54/2565.80	o 6099
2544.18/2567.52	o 6098
2545.92/2569.24	o 6094
2547.71/2571.07	o 6093
2551.28/2574.69	o 6088
2554.85/2578.21	o 6085
2561.61/2585.09	o 6084
2563.39/2586.88	o 6081
2565.28/2588.70	o 6078
2567.96/2591.45	o 6073
2569.75/2593.22	o 6072
2573.32/2596.81	o 6069
2582.06/2605.63	o 6066
2587.22/2610.80	o 6062
2601.32/2625.04	o 6057
2606.59/2630.33	o 6054
2608.28/2632.06	o 6052
2622.17/2646.02	o 6051
2625.55/2649.48	o 6048
2629.03/2652.91	o 6046
2660.29/2684.42	   
2660.29/2684.42	   search
2660.29/2684.42	     run=0  nbConstraintChecks=5591156066  nbAssignments=3132
2660.29/2684.42	       =>  wckTime=2665.545  cpuTime=2643.39  mem=124M645
2660.29/2684.42	   
2660.29/2684.42	   global
2660.29/2684.42	     nbConstraintChecks=5591156066  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2660.29/2684.42	     solvingWckTime=2665.513  solvingCpuTime=2643.36  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2660.29/2684.42	     globalCpuTime=2657.4
2660.29/2684.42	       =>  wckTime=2682.497  cpuTime=2657.35  mem=124M645
2660.29/2684.42	   
2660.29/2684.42	   solver DecomposerSolver being built... 
2670.67/2695.87	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112786-1215874017/watcher-1112786-1215874017 -o /tmp/evaluation-result-1112786-1215874017/solver-1112786-1215874017 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112786-1215874017.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.48 5.01 5.49 2/102 14888
/proc/meminfo: memFree=1920180/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=18572 CPUtime=0
/proc/14888/stat : 14888 (runsolver) D 14886 14888 14812 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44098312 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/14888/statm: 4643 292 257 25 0 2626 0

[startup+0.0684231 s]
/proc/loadavg: 3.48 5.01 5.49 2/102 14888
/proc/meminfo: memFree=1920180/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=18572 CPUtime=0
/proc/14888/stat : 14888 (runsolver) D 14886 14888 14812 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44098312 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 256364834087 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/14888/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572

[startup+0.112269 s]
/proc/loadavg: 3.48 5.01 5.49 2/102 14888
/proc/meminfo: memFree=1920180/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=140 CPUtime=0
/proc/14888/stat : 14888 (java) D 14886 14888 14812 0 -1 0 17 0 0 0 0 0 0 0 18 0 1 0 44098312 143360 2 996147200 0 0 4294956554 18446744073709551615 256364834087 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/14888/statm: 35 2 0 0 0 1 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 140

[startup+0.305303 s]
/proc/loadavg: 3.48 5.01 5.49 2/102 14888
/proc/meminfo: memFree=1920180/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=324 CPUtime=0
/proc/14888/stat : 14888 (java) D 14886 14888 14812 0 -1 0 58 0 2 0 0 0 0 0 18 0 1 0 44098312 331776 44 996147200 134512640 134550740 4294956128 18446744073709551615 10261412 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/14888/statm: 81 44 33 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 324

[startup+0.706377 s]
/proc/loadavg: 3.48 5.01 5.49 2/102 14888
/proc/meminfo: memFree=1920180/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=1472 CPUtime=0
/proc/14888/stat : 14888 (java) D 14886 14888 14812 0 -1 0 96 0 7 0 0 0 0 0 18 0 1 0 44098312 1507328 76 996147200 134512640 134550740 4294956128 18446744073709551615 11341454 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/14888/statm: 368 76 56 9 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1472

[startup+1.50252 s]
/proc/loadavg: 3.36 4.95 5.47 2/103 14889
/proc/meminfo: memFree=1916972/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=861228 CPUtime=0.05
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 1733 0 64 0 1 4 0 0 18 0 3 0 44098312 881897472 1489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 215307 1489 638 9 0 210286 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 861228

[startup+3.10183 s]
/proc/loadavg: 3.36 4.95 5.47 3/121 14908
/proc/meminfo: memFree=1859548/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868292 CPUtime=1.41
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 24676 0 134 0 115 26 0 0 18 0 9 0 44098312 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217073 24167 2025 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868292 CPUtime=1.07
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15697 0 86 0 91 16 0 0 20 0 9 0 44098427 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4126753283 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868292 CPUtime=0.13
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 7702 0 1 0 6 7 0 0 18 0 9 0 44098462 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868292 CPUtime=0.17
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 625 0 1 0 17 0 0 0 16 0 9 0 44098467 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44098467 889131008 24167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 868292

[startup+6.3024 s]
/proc/loadavg: 3.36 4.95 5.47 5/121 14918
/proc/meminfo: memFree=1760860/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868204 CPUtime=4.42
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 33362 0 134 0 410 32 0 0 18 0 9 0 44098312 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217051 32825 2006 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868204 CPUtime=3.72
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15731 0 86 0 355 17 0 0 21 0 9 0 44098427 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4126924776 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868204 CPUtime=0.47
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 16342 0 1 0 36 11 0 0 16 0 9 0 44098462 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868204 CPUtime=0.18
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 637 0 1 0 18 0 0 0 15 0 9 0 44098467 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44098467 889040896 32825 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 868204

[startup+12.7016 s]
/proc/loadavg: 3.54 4.94 5.46 3/121 14918
/proc/meminfo: memFree=1696604/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868204 CPUtime=10.63
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 35260 0 134 0 1030 33 0 0 18 0 9 0 44098312 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217051 34720 2006 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868204 CPUtime=9.79
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15737 0 86 0 962 17 0 0 25 0 9 0 44098427 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4126900945 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868204 CPUtime=0.59
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 18230 0 1 0 47 12 0 0 16 0 9 0 44098462 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868204 CPUtime=0.19
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 641 0 1 0 19 0 0 0 15 0 9 0 44098467 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44098467 889040896 34720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.63
Current children cumulated vsize (KiB) 868204

[startup+25.5029 s]
/proc/loadavg: 3.61 4.91 5.44 3/121 14918
/proc/meminfo: memFree=1616348/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868292 CPUtime=23.17
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 49733 0 134 0 2276 41 0 0 18 0 9 0 44098312 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217073 48866 2640 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868292 CPUtime=20.68
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15811 0 86 0 2049 19 0 0 25 0 9 0 44098427 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4126900919 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868292 CPUtime=2.15
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 32552 0 1 0 196 19 0 0 16 0 9 0 44098462 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868292 CPUtime=0.3
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 718 0 1 0 29 1 0 0 16 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.17
Current children cumulated vsize (KiB) 868292

[startup+51.1026 s]
/proc/loadavg: 3.37 4.73 5.36 3/121 14918
/proc/meminfo: memFree=1565596/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868292 CPUtime=47.7
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 49733 0 134 0 4726 44 0 0 18 0 9 0 44098312 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217073 48866 2640 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868292 CPUtime=45.19
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15811 0 86 0 4498 21 0 0 25 0 9 0 44098427 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4127219044 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868292 CPUtime=2.15
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 32552 0 1 0 196 19 0 0 16 0 9 0 44098462 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868292 CPUtime=0.3
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 718 0 1 0 29 1 0 0 16 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868292 CPUtime=0.01
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 1 0 0 0 15 0 9 0 44098467 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.7
Current children cumulated vsize (KiB) 868292

[startup+102.303 s]
/proc/loadavg: 2.91 4.41 5.22 3/121 14918
/proc/meminfo: memFree=1471516/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868292 CPUtime=98.25
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 49733 0 134 0 9778 47 0 0 18 0 9 0 44098312 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217073 48866 2640 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868292 CPUtime=95.72
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15811 0 86 0 9549 23 0 0 25 0 9 0 44098427 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4126896616 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868292 CPUtime=2.15
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 32552 0 1 0 196 19 0 0 16 0 9 0 44098462 889131008 48866 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0

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

[pid=14888/tid=14892] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868292 CPUtime=0.33
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 732 0 1 0 32 1 0 0 16 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868292 CPUtime=0.14
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 5 9 0 0 15 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2479.52
Current children cumulated vsize (KiB) 868292

[startup+2562.3 s]
/proc/loadavg: 6.00 6.02 6.08 2/129 14932
/proc/meminfo: memFree=281164/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868292 CPUtime=2539.07
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 49751 0 134 0 253809 98 0 0 18 0 9 0 44098312 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217073 48879 2640 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868292 CPUtime=2536.37
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15815 0 86 0 253573 64 0 0 25 0 9 0 44098427 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4127069240 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868292 CPUtime=2.17
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 32552 0 1 0 197 20 0 0 16 0 9 0 44098462 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868292 CPUtime=0.33
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 732 0 1 0 32 1 0 0 16 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868292 CPUtime=0.15
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 5 10 0 0 15 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2539.07
Current children cumulated vsize (KiB) 868292

[startup+2622.3 s]
/proc/loadavg: 6.00 6.01 6.07 2/129 14932
/proc/meminfo: memFree=281676/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868292 CPUtime=2598.64
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 49751 0 134 0 259766 98 0 0 18 0 9 0 44098312 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217073 48879 2640 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868292 CPUtime=2595.93
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15815 0 86 0 259529 64 0 0 25 0 9 0 44098427 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4127217951 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868292 CPUtime=2.17
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 32552 0 1 0 197 20 0 0 16 0 9 0 44098462 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868292 CPUtime=0.33
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 732 0 1 0 32 1 0 0 16 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868292 CPUtime=0.15
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 5 10 0 0 15 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2598.64
Current children cumulated vsize (KiB) 868292

[startup+2682.3 s]
/proc/loadavg: 6.00 6.01 6.07 2/129 14932
/proc/meminfo: memFree=282252/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868292 CPUtime=2658.2
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 49751 0 134 0 265722 98 0 0 18 0 9 0 44098312 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217073 48879 2640 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868292 CPUtime=2655.5
/proc/14888/task/14890/stat : 14890 (java) R 14886 14888 14812 0 -1 64 15815 0 86 0 265486 64 0 0 25 0 9 0 44098427 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4126900912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868292 CPUtime=2.17
/proc/14888/task/14891/stat : 14891 (java) S 14886 14888 14812 0 -1 64 32552 0 1 0 197 20 0 0 16 0 9 0 44098462 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44098463 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868292 CPUtime=0.33
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 732 0 1 0 32 1 0 0 16 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868292 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868292 CPUtime=0.15
/proc/14888/task/14897/stat : 14897 (java) S 14886 14888 14812 0 -1 64 1 0 0 0 5 10 0 0 15 0 9 0 44098467 889131008 48879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2658.2
Current children cumulated vsize (KiB) 868292

[startup+2742.31 s]
/proc/loadavg: 13.12 7.97 6.73 1/129 14932
/proc/meminfo: memFree=17740/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=868204 CPUtime=2670.74
/proc/14888/stat : 14888 (java) S 14886 14888 14812 0 -1 0 201584 0 134 0 266857 217 0 0 18 0 9 0 44098312 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 217051 199483 2618 9 0 211579 0
[pid=14888/tid=14890] ppid=14886 vsize=868204 CPUtime=2658.72
/proc/14888/task/14890/stat : 14890 (java) D 14886 14888 14812 0 -1 64 15929 0 86 0 265807 65 0 0 15 0 9 0 44098427 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14891] ppid=14886 vsize=868204 CPUtime=11.43
/proc/14888/task/14891/stat : 14891 (java) D 14886 14888 14812 0 -1 64 184232 0 1 0 1005 138 0 0 16 0 9 0 44098462 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14892] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14892/stat : 14892 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14893] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14893/stat : 14893 (java) S 14886 14888 14812 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44098463 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14894] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14894/stat : 14894 (java) D 14886 14888 14812 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 44098467 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4125950680 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14895] ppid=14886 vsize=868204 CPUtime=0.37
/proc/14888/task/14895/stat : 14895 (java) S 14886 14888 14812 0 -1 64 763 0 1 0 36 1 0 0 16 0 9 0 44098467 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14888/tid=14896] ppid=14886 vsize=868204 CPUtime=0
/proc/14888/task/14896/stat : 14896 (java) S 14886 14888 14812 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44098467 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14888/tid=14897] ppid=14886 vsize=868204 CPUtime=0.16
/proc/14888/task/14897/stat : 14897 (java) D 14886 14888 14812 0 -1 64 1 0 0 0 6 10 0 0 15 0 9 0 44098467 889040896 199483 996147200 134512640 134550740 4294955952 18446744073709551615 11365264 0 4 0 16800975 18446744071563479169 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2670.74
Current children cumulated vsize (KiB) 868204

[startup+2802.3 s]
/proc/loadavg: 13.80 9.12 7.20 1/122 14932
/proc/meminfo: memFree=807308/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=0 CPUtime=2670.87
/proc/14888/stat : 14888 (java) Z 14886 14888 14812 0 -1 12 201588 0 135 0 266857 230 0 0 16 0 2 0 44098312 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2670.87
Current children cumulated vsize (KiB) 0

Solver just ended. Dumping a history of the last processes samples

[startup+2806.8 s]
/proc/loadavg: 13.82 9.20 7.24 1/122 14932
/proc/meminfo: memFree=807308/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=0 CPUtime=2670.87
/proc/14888/stat : 14888 (java) Z 14886 14888 14812 0 -1 12 201588 0 135 0 266857 230 0 0 16 0 2 0 44098312 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2670.87
Current children cumulated vsize (KiB) 0

[startup+2808.4 s]
/proc/loadavg: 13.82 9.20 7.24 1/122 14932
/proc/meminfo: memFree=807372/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=0 CPUtime=2670.87
/proc/14888/stat : 14888 (java) Z 14886 14888 14812 0 -1 12 201588 0 135 0 266857 230 0 0 16 0 2 0 44098312 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2670.87
Current children cumulated vsize (KiB) 0

[startup+2810 s]
/proc/loadavg: 13.82 9.20 7.24 1/122 14932
/proc/meminfo: memFree=807372/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=0 CPUtime=2670.87
/proc/14888/stat : 14888 (java) Z 14886 14888 14812 0 -1 12 201588 0 135 0 266857 230 0 0 16 0 2 0 44098312 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2670.87
Current children cumulated vsize (KiB) 0

[startup+2810.8 s]
/proc/loadavg: 13.83 9.28 7.27 1/122 14932
/proc/meminfo: memFree=807372/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=0 CPUtime=2670.87
/proc/14888/stat : 14888 (java) Z 14886 14888 14812 0 -1 12 201588 0 135 0 266857 230 0 0 16 0 2 0 44098312 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2670.87
Current children cumulated vsize (KiB) 0

[startup+2811 s]
/proc/loadavg: 13.83 9.28 7.27 1/122 14932
/proc/meminfo: memFree=807372/2055920 swapFree=4152076/4192956
[pid=14888] ppid=14886 vsize=0 CPUtime=2670.87
/proc/14888/stat : 14888 (java) Z 14886 14888 14812 0 -1 12 201588 0 135 0 266857 230 0 0 16 0 2 0 44098312 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14888/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2670.87
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2811.03
CPU time (s): 2670.89
CPU user time (s): 2668.58
CPU system time (s): 2.30565
CPU usage (%): 95.0145
Max. virtual memory (cumulated for all children) (KiB): 868708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2668.58
system time used= 2.30565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201588
page faults= 135
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56933
involuntary context switches= 105872

runsolver used 13.353 second user time and 30.5474 second system time

The end

Launcher Data (download as text)

Begin job on node90 at 2008-07-12 16:46:57
IDJOB=1112786
IDBENCH=61474
IDSOLVER=360
FILE ID=node90/1112786-1215874017
PBS_JOBID= 7903584
Free space on /tmp= 66544 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp40/normalized-fapp40-3000-2.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112786-1215874017/watcher-1112786-1215874017 -o /tmp/evaluation-result-1112786-1215874017/solver-1112786-1215874017 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112786-1215874017.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 2fe472930e777421d5e31a3144b4206e
RANDOM SEED=2118448292

node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.256
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	: 5931.00
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.256
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1920724 kB
Buffers:          4800 kB
Cached:          39036 kB
SwapCached:      20900 kB
Active:          68468 kB
Inactive:         9328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1920724 kB
SwapTotal:     4192956 kB
SwapFree:      4152076 kB
Dirty:           17908 kB
Writeback:           0 kB
Mapped:          41524 kB
Slab:            39440 kB
Committed_AS:   332884 kB
PageTables:       4376 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= 65608 MiB
End job on node90 at 2008-07-12 17:33:49