Trace number 1112906

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-dNo Cert. 3600.14 3612.68

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-1.xml
MD5SUM0ec16ab311064bfe5172278fde3994e0
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 constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
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.02/0.08	
0.02/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-ddeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1112906-1215875387.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.78/0.81	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778  nbTotalValues=1942250
0.78/0.81	       =>  wckTime=0.57  cpuTime=0.39  mem=45M385
0.78/0.81	   
0.78/0.81	   predicates being loaded...
0.78/0.87	   
0.78/0.87	   constraints being loaded...
10.97/11.06	   
10.97/11.06	   INFO : Stopping converting binary constraints (cpu=10.18, mem = 111M511)
15.57/15.66	     nbConstraints=63204  nbConvertedConstraints=44  nbConvertConstraintsChecks=25818732  nbExtensionStructures=42
15.57/15.66	     nbSharedExtensionStructures=2  nbConflictsStructures=87  nbSharedConflictsStructures=186
15.57/15.66	     nbUnbuiltConflictsStructures=4795  nbSharedBinaryRepresentations=58664  nbEvaluationManagers=4840
15.57/15.66	     nbSharedEvaluationManagers=58320  minDegree=3  maxDegree=115  minArity=2  maxArity=2
15.57/15.66	       =>  wckTime=15.415  cpuTime=13.79  mem=160M756
16.26/16.40	   
16.26/16.40	   solver LocalSearchSolver being built... 
16.37/16.44	       =>  wckTime=16.2  cpuTime=13.83  mem=135M423
17.07/17.11	
17.07/17.11	s SATISFIABLE
17.07/17.11	o 17548
17.47/17.56	o 17534
17.77/17.83	o 17520
17.87/17.98	o 17500
18.07/18.18	o 17488
18.47/18.52	o 17474
18.77/18.80	o 17453
18.87/19.00	o 17443
19.27/19.38	o 17436
19.56/19.65	o 17430
19.86/19.94	o 17425
20.16/20.23	o 17410
20.36/20.40	o 17409
20.56/20.60	o 17396
20.66/20.79	o 17381
20.87/20.95	o 17370
21.06/21.12	o 17362
21.16/21.29	o 17356
21.36/21.46	o 17354
21.56/21.63	o 17352
21.76/21.82	o 17351
21.87/21.94	o 17350
21.97/22.04	o 17346
22.06/22.18	o 17335
22.46/22.52	o 17327
22.56/22.69	o 17319
22.76/22.82	o 17304
22.86/22.94	o 17296
23.06/23.13	o 17294
23.16/23.26	o 17293
23.46/23.57	o 17283
23.66/23.75	o 17269
23.76/23.90	o 17261
23.96/24.05	o 17254
24.06/24.20	o 17248
24.16/24.28	o 17243
24.36/24.40	o 17239
24.46/24.56	o 17236
24.56/24.69	o 17235
24.76/24.83	o 17234
25.05/25.13	o 17231
25.26/25.32	o 17216
25.45/25.50	o 17207
25.65/25.74	o 17192
25.75/25.88	o 17180
25.95/26.02	o 17178
26.05/26.16	o 17171
26.26/26.37	o 17165
26.36/26.45	o 17161
26.45/26.56	o 17160
26.75/26.85	o 17156
26.85/26.94	o 17147
27.05/27.17	o 17135
27.55/27.66	o 17128
27.75/27.82	o 17121
27.95/28.03	o 17114
28.15/28.21	o 17110
28.25/28.39	o 17108
28.55/28.62	o 17100
28.95/29.01	o 17098
29.15/29.22	o 17090
29.35/29.45	o 17088
29.75/29.86	o 17084
29.95/30.02	o 17078
30.15/30.25	o 17077
30.35/30.46	o 17073
30.55/30.67	o 17062
30.85/30.91	o 17053
31.05/31.12	o 17044
31.25/31.31	o 17036
31.55/31.68	o 17033
31.76/31.88	o 17031
31.95/32.08	o 17030
32.15/32.26	o 17024
32.35/32.44	o 17017
32.55/32.62	o 17007
32.75/32.85	o 16992
32.95/33.07	o 16980
33.25/33.30	o 16977
33.45/33.52	o 16971
33.65/33.73	o 16968
33.75/33.89	o 16964
33.95/34.09	o 16958
34.15/34.28	o 16956
34.35/34.50	o 16947
34.65/34.74	o 16938
34.85/34.95	o 16926
35.05/35.19	o 16922
35.25/35.37	o 16915
35.44/35.59	o 16910
35.74/35.83	o 16905
35.94/36.06	o 16895
36.15/36.24	o 16891
36.34/36.41	o 16889
36.44/36.56	o 16888
36.64/36.70	o 16886
36.84/36.93	o 16884
37.14/37.27	o 16880
37.35/37.45	o 16866
37.54/37.67	o 16863
37.74/37.88	o 16860
38.04/38.11	o 16859
38.24/38.31	o 16850
38.45/38.58	o 16848
38.74/38.89	o 16847
39.04/39.18	o 16846
39.34/39.41	o 16844
39.55/39.62	o 16834
39.84/39.90	o 16823
40.34/40.46	o 16814
40.54/40.67	o 16804
40.94/41.02	o 16798
41.14/41.26	o 16788
41.44/41.51	o 16783
41.74/41.85	o 16778
41.94/42.10	o 16767
42.24/42.34	o 16763
42.44/42.57	o 16756
42.74/42.82	o 16752
42.94/43.06	o 16748
43.14/43.29	o 16747
43.63/43.73	o 16744
43.94/44.03	o 16741
44.13/44.26	o 16739
44.83/44.92	o 16734
45.04/45.13	o 16729
45.33/45.45	o 16725
46.13/46.27	o 16720
46.42/46.53	o 16719
46.72/46.87	o 16716
47.42/47.58	o 16704
47.92/48.06	o 16699
48.12/48.30	o 16697
48.33/48.46	o 16696
48.52/48.65	o 16683
48.82/48.95	o 16680
49.02/49.14	o 16678
49.52/49.64	o 16671
49.82/49.92	o 16670
50.02/50.13	o 16669
50.53/50.62	o 16664
50.72/50.87	o 16658
51.02/51.15	o 16649
51.22/51.37	o 16645
51.52/51.61	o 16639
51.72/51.89	o 16635
52.02/52.11	o 16631
52.22/52.37	o 16627
52.52/52.60	o 16625
52.72/52.88	o 16621
53.02/53.17	o 16613
53.32/53.46	o 16612
53.52/53.64	o 16600
53.72/53.85	o 16599
53.92/54.09	o 16592
54.12/54.28	o 16589
54.42/54.51	o 16584
54.62/54.72	o 16578
54.82/54.98	o 16577
55.32/55.49	o 16569
55.82/55.99	o 16566
56.12/56.27	o 16563
56.42/56.58	o 16554
56.82/56.92	o 16545
57.32/57.48	o 16536
57.62/57.74	o 16529
58.23/58.39	o 16519
58.52/58.65	o 16518
58.72/58.89	o 16514
59.02/59.16	o 16511
59.33/59.41	o 16507
59.62/59.71	o 16505
59.82/59.95	o 16502
60.02/60.17	o 16500
60.32/60.42	o 16489
60.52/60.67	o 16487
60.72/60.89	o 16486
61.02/61.14	o 16477
61.22/61.38	o 16468
61.52/61.67	o 16462
62.21/62.38	o 16455
62.52/62.69	o 16451
62.81/62.96	o 16438
63.11/63.26	o 16435
63.41/63.54	o 16428
63.62/63.78	o 16424
63.91/64.04	o 16419
64.21/64.31	o 16417
64.51/64.62	o 16408
64.71/64.88	o 16406
65.01/65.16	o 16395
65.31/65.44	o 16392
65.61/65.74	o 16386
65.81/65.97	o 16382
66.11/66.21	o 16370
66.31/66.44	o 16365
66.61/66.75	o 16364
66.81/66.97	o 16358
67.01/67.17	o 16356
67.30/67.45	o 16352
67.50/67.68	o 16340
67.80/67.96	o 16337
68.11/68.29	o 16334
68.40/68.57	o 16331
68.80/68.90	o 16327
69.00/69.18	o 16313
69.21/69.39	o 16310
69.50/69.61	o 16298
69.70/69.83	o 16293
70.00/70.11	o 16289
70.60/70.72	o 16287
70.90/71.02	o 16285
71.20/71.31	o 16272
71.50/71.61	o 16264
71.80/71.93	o 16261
72.00/72.18	o 16254
72.60/72.75	o 16244
72.90/73.00	o 16237
73.20/73.33	o 16229
73.50/73.64	o 16213
74.20/74.39	o 16211
74.60/74.75	o 16207
75.00/75.10	o 16204
75.39/75.50	o 16196
75.80/75.92	o 16192
76.49/76.67	o 16191
76.90/77.05	o 16182
77.19/77.37	o 16169
77.59/77.70	o 16157
78.00/78.12	o 16146
78.29/78.48	o 16142
79.09/79.23	o 16138
80.09/80.28	o 16136
80.49/80.62	o 16132
80.79/80.97	o 16130
81.19/81.36	o 16122
81.59/81.76	o 16120
81.99/82.16	o 16117
82.29/82.48	o 16107
82.69/82.80	o 16097
82.99/83.13	o 16091
83.29/83.47	o 16086
83.69/83.86	o 16082
84.09/84.25	o 16072
84.49/84.61	o 16063
84.79/84.97	o 16056
85.09/85.29	o 16049
85.48/85.63	o 16046
85.78/85.91	o 16041
86.08/86.22	o 16038
86.38/86.54	o 16037
86.98/87.15	o 16027
87.68/87.82	o 16025
87.98/88.13	o 16018
88.58/88.79	o 16014
88.89/89.10	o 16004
89.28/89.44	o 16000
89.68/89.80	o 15995
89.98/90.20	o 15993
90.78/90.93	o 15984
91.19/91.34	o 15978
91.58/91.75	o 15974
92.08/92.27	o 15970
92.48/92.64	o 15965
93.29/93.40	o 15963
93.68/93.81	o 15959
95.18/95.37	o 15952
96.48/96.64	o 15951
98.88/99.08	o 15947
99.38/99.59	o 15940
100.87/101.07	o 15938
101.37/101.51	o 15937
101.77/101.98	o 15936
102.37/102.51	o 15927
102.87/103.01	o 15918
103.37/103.50	o 15917
103.77/104.00	o 15914
104.27/104.47	o 15912
104.67/104.88	o 15908
105.17/105.35	o 15905
105.77/105.90	o 15897
106.17/106.37	o 15895
107.17/107.34	o 15891
107.67/107.88	o 15888
108.17/108.37	o 15886
108.67/108.84	o 15878
109.17/109.38	o 15868
110.57/110.79	o 15866
112.26/112.45	o 15854
113.96/114.12	o 15850
114.56/114.71	o 15846
115.06/115.25	o 15845
115.56/115.78	o 15843
116.16/116.31	o 15842
116.66/116.87	o 15832
117.16/117.35	o 15827
117.76/117.95	o 15824
119.16/119.32	o 15817
119.56/119.80	o 15816
120.06/120.23	o 15812
120.56/120.76	o 15802
121.06/121.21	o 15794
122.46/122.64	o 15786
123.06/123.21	o 15783
123.46/123.69	o 15776
123.96/124.14	o 15770
124.36/124.59	o 15764
124.86/125.04	o 15762
125.36/125.55	o 15760
126.26/126.41	o 15759
127.06/127.28	o 15754
127.56/127.74	o 15747
128.06/128.23	o 15737
128.56/128.71	o 15731
128.96/129.17	o 15723
129.46/129.63	o 15720
129.86/130.08	o 15709
130.36/130.56	o 15704
130.86/131.02	o 15696
131.25/131.45	o 15686
131.76/131.94	o 15685
132.25/132.48	o 15675
132.75/132.92	o 15674
133.15/133.37	o 15665
133.55/133.80	o 15659
134.45/134.66	o 15651
134.95/135.17	o 15643
135.45/135.63	o 15641
136.54/136.71	o 15638
137.04/137.24	o 15632
137.74/137.92	o 15626
138.35/138.54	o 15621
138.94/139.10	o 15608
139.44/139.65	o 15605
140.04/140.28	o 15600
140.64/140.83	o 15599
142.84/143.09	o 15598
144.54/144.78	o 15596
145.13/145.32	o 15592
145.63/145.82	o 15583
146.23/146.42	o 15576
147.24/147.48	o 15570
148.33/148.51	o 15567
148.84/149.06	o 15566
149.44/149.63	o 15565
149.94/150.18	o 15558
150.54/150.72	o 15555
151.04/151.26	o 15546
151.64/151.87	o 15545
152.24/152.45	o 15544
153.63/153.80	o 15540
154.23/154.40	o 15534
154.84/155.06	o 15528
155.54/155.74	o 15520
156.24/156.43	o 15515
156.83/157.02	o 15513
157.43/157.60	o 15509
158.03/158.20	o 15505
158.73/158.92	o 15495
159.34/159.51	o 15494
159.93/160.14	o 15482
160.53/160.71	o 15472
161.13/161.37	o 15465
162.43/162.68	o 15464
163.13/163.32	o 15455
163.63/163.89	o 15453
164.33/164.56	o 15448
164.92/165.15	o 15442
165.52/165.74	o 15437
166.12/166.35	o 15435
166.72/166.93	o 15430
167.42/167.60	o 15422
168.02/168.21	o 15421
169.23/169.45	o 15415
169.92/170.18	o 15411
170.52/170.77	o 15409
171.22/171.41	o 15405
171.92/172.13	o 15403
172.52/172.77	o 15402
173.92/174.17	o 15395
174.62/174.90	o 15391
175.42/175.64	o 15384
176.12/176.32	o 15379
176.82/177.03	o 15376
177.61/177.81	o 15367
178.31/178.53	o 15365
179.02/179.26	o 15352
179.61/179.89	o 15343
180.31/180.55	o 15341
181.01/181.29	o 15331
181.81/182.00	o 15327
182.51/182.74	o 15322
183.21/183.47	o 15314
184.01/184.20	o 15313
184.61/184.89	o 15312
185.41/185.63	o 15303
186.11/186.33	o 15297
187.60/187.83	o 15295
188.40/188.64	o 15287
189.20/189.44	o 15286
189.90/190.17	o 15285
190.70/190.93	o 15278
191.40/191.67	o 15276
192.20/192.45	o 15265
192.91/193.15	o 15259
194.41/194.68	o 15255
195.11/195.37	o 15254
195.81/196.06	o 15252
196.51/196.76	o 15249
197.30/197.50	o 15242
198.00/198.25	o 15241
198.70/198.98	o 15233
199.50/199.76	o 15225
200.20/200.48	o 15224
201.01/201.28	o 15216
201.70/201.97	o 15211
202.50/202.75	o 15201
203.21/203.49	o 15196
203.90/204.18	o 15189
204.60/204.87	o 15181
205.30/205.56	o 15180
210.50/210.79	o 15176
211.30/211.52	o 15174
212.10/212.32	o 15163
212.79/213.06	o 15156
214.39/214.60	o 15147
216.59/216.83	o 15139
217.29/217.56	o 15138
218.09/218.40	o 15130
219.69/219.96	o 15123
220.39/220.68	o 15120
221.19/221.44	o 15115
222.00/222.28	o 15108
222.69/222.98	o 15104
223.49/223.74	o 15100
224.29/224.56	o 15093
224.99/225.27	o 15089
225.68/225.99	o 15086
226.39/226.68	o 15077
227.68/227.95	o 15072
228.38/228.62	o 15068
229.08/229.36	o 15062
229.88/230.12	o 15058
230.48/230.79	o 15045
231.18/231.46	o 15041
232.68/232.98	o 15034
233.38/233.66	o 15024
234.08/234.34	o 15018
234.78/235.05	o 15015
235.48/235.74	o 15011
236.18/236.42	o 15005
236.88/237.13	o 15001
237.57/237.80	o 14997
238.17/238.46	o 14993
238.87/239.17	o 14989
239.58/239.81	o 14986
240.27/240.54	o 14983
240.97/241.22	o 14981
241.57/241.84	o 14979
242.27/242.51	o 14978
242.87/243.19	o 14977
243.57/243.88	o 14975
245.97/246.25	o 14967
247.67/247.93	o 14966
248.46/248.73	o 14957
249.26/249.51	o 14954
250.06/250.34	o 14946
250.86/251.10	o 14942
251.57/251.90	o 14939
252.46/252.76	o 14937
253.27/253.50	o 14924
254.87/255.19	o 14922
255.67/255.96	o 14918
258.27/258.57	o 14916
259.16/259.46	o 14905
261.06/261.36	o 14896
262.06/262.34	o 14895
262.96/263.28	o 14894
263.96/264.29	o 14893
264.96/265.21	o 14884
265.86/266.18	o 14883
267.76/268.09	o 14881
268.76/269.06	o 14878
269.66/270.00	o 14873
270.65/270.93	o 14866
272.56/272.87	o 14861
274.45/274.77	o 14856
276.45/276.73	o 14855
277.35/277.64	o 14853
278.25/278.59	o 14851
279.15/279.48	o 14849
281.15/281.44	o 14845
282.05/282.35	o 14842
283.05/283.32	o 14841
284.84/285.15	o 14840
285.75/286.08	o 14833
286.64/286.95	o 14830
287.64/287.90	o 14822
288.54/288.84	o 14812
289.44/289.79	o 14809
290.44/290.77	o 14807
291.34/291.67	o 14803
293.24/293.54	o 14797
294.14/294.43	o 14794
295.04/295.33	o 14788
297.74/298.08	o 14780
298.63/298.99	o 14777
299.53/299.85	o 14774
300.43/300.78	o 14767
302.43/302.78	o 14760
303.43/303.70	o 14757
304.33/304.64	o 14751
305.23/305.55	o 14744
306.13/306.42	o 14740
307.03/307.31	o 14734
307.93/308.24	o 14729
308.83/309.15	o 14724
309.73/310.00	o 14721
310.53/310.82	o 14717
311.43/311.71	o 14714
312.33/312.63	o 14711
313.13/313.49	o 14701
314.02/314.35	o 14700
315.72/316.03	o 14694
318.22/318.57	o 14689
319.12/319.44	o 14679
319.92/320.29	o 14672
320.82/321.12	o 14666
321.61/321.98	o 14660
324.12/324.42	o 14656
324.91/325.20	o 14655
329.61/329.94	o 14654
330.51/330.87	o 14646
333.11/333.41	o 14642
334.01/334.35	o 14639
334.91/335.25	o 14637
337.60/337.97	o 14635
340.40/340.74	o 14631
342.20/342.59	o 14624
343.10/343.47	o 14618
344.00/344.35	o 14609
345.80/346.19	o 14603
346.71/347.10	o 14601
347.71/348.08	o 14600
348.71/349.06	o 14597
349.60/349.92	o 14594
350.51/350.81	o 14582
351.40/351.76	o 14581
352.31/352.65	o 14574
355.80/356.11	o 14566
356.70/357.05	o 14562
358.60/358.97	o 14556
359.50/359.84	o 14553
360.40/360.78	o 14548
362.39/362.77	o 14544
363.39/363.76	o 14538
364.39/364.79	o 14532
365.29/365.68	o 14526
367.19/367.59	o 14520
368.29/368.62	o 14516
369.19/369.60	o 14509
371.19/371.54	o 14505
372.09/372.41	o 14498
372.99/373.35	o 14497
373.98/374.31	o 14495
374.88/375.27	o 14493
376.88/377.29	o 14480
377.88/378.26	o 14477
378.88/379.28	o 14466
380.78/381.15	o 14458
381.78/382.13	o 14452
382.88/383.20	o 14447
383.88/384.25	o 14439
384.97/385.31	o 14435
385.97/386.35	o 14432
386.97/387.33	o 14430
387.98/388.37	o 14428
389.08/389.42	o 14426
390.08/390.45	o 14425
391.07/391.47	o 14417
393.27/393.61	o 14414
394.27/394.70	o 14407
396.47/396.83	o 14406
397.47/397.85	o 14398
399.67/400.00	o 14394
400.67/401.08	o 14390
401.77/402.14	o 14377
402.77/403.20	o 14369
403.77/404.19	o 14362
404.76/405.19	o 14359
405.76/406.19	o 14353
407.76/408.12	o 14351
408.76/409.16	o 14345
409.86/410.27	o 14343
410.97/411.39	o 14342
412.17/412.51	o 14338
413.27/413.60	o 14330
414.27/414.65	o 14329
415.37/415.78	o 14328
416.47/416.86	o 14327
417.67/418.00	o 14324
418.67/419.07	o 14320
419.76/420.15	o 14317
420.86/421.23	o 14312
421.96/422.32	o 14304
423.06/423.48	o 14297
424.16/424.59	o 14291
425.36/425.73	o 14285
426.46/426.83	o 14280
427.46/427.90	o 14276
428.66/429.01	o 14267
429.55/429.93	o 14266
430.76/431.11	o 14258
432.85/433.28	o 14254
433.95/434.31	o 14251
434.95/435.37	o 14246
436.05/436.40	o 14238
437.15/437.51	o 14235
438.15/438.59	o 14231
439.25/439.61	o 14227
440.25/440.64	o 14220
441.24/441.66	o 14212
442.24/442.63	o 14207
443.24/443.70	o 14205
445.24/445.66	o 14197
446.25/446.66	o 14191
447.34/447.71	o 14189
448.34/448.75	o 14186
449.44/449.85	o 14178
450.54/450.97	o 14173
451.64/452.05	o 14165
452.74/453.11	o 14160
453.84/454.24	o 14155
456.13/456.52	o 14154
457.13/457.60	o 14144
458.23/458.66	o 14141
459.33/459.71	o 14136
460.33/460.76	o 14128
461.43/461.84	o 14124
462.53/462.92	o 14121
463.52/463.96	o 14120
464.52/464.95	o 14115
465.52/465.98	o 14107
466.62/467.02	o 14103
467.62/468.06	o 14097
468.72/469.13	o 14091
469.72/470.14	o 14087
470.82/471.22	o 14084
471.92/472.32	o 14080
473.02/473.40	o 14076
474.12/474.54	o 14071
475.22/475.66	o 14064
476.33/476.73	o 14062
478.63/479.04	o 14059
479.73/480.18	o 14054
481.82/482.29	o 14053
482.92/483.39	o 14051
484.02/484.43	o 14039
485.12/485.52	o 14038
486.12/486.59	o 14036
487.22/487.66	o 14032
488.32/488.77	o 14031
489.32/489.80	o 14030
490.42/490.87	o 14027
491.42/491.86	o 14024
492.42/492.86	o 14022
493.42/493.90	o 14020
494.52/494.90	o 14018
495.51/495.91	o 14014
496.51/496.94	o 14012
497.60/498.02	o 14011
500.80/501.24	o 14000
501.90/502.30	o 13998
504.00/504.43	o 13997
505.00/505.42	o 13993
506.00/506.44	o 13992
507.00/507.44	o 13991
508.10/508.51	o 13990
509.00/509.49	o 13982
510.10/510.52	o 13975
512.29/512.70	o 13969
513.39/513.89	o 13961
514.59/515.07	o 13958
515.80/516.23	o 13957
516.90/517.36	o 13956
518.00/518.46	o 13951
519.20/519.61	o 13948
520.20/520.66	o 13946
521.30/521.73	o 13944
522.29/522.72	o 13940
523.29/523.77	o 13932
524.39/524.85	o 13931
525.49/525.93	o 13922
526.59/527.05	o 13920
527.79/528.21	o 13914
528.89/529.31	o 13911
531.09/531.53	o 13907
532.19/532.63	o 13902
533.18/533.67	o 13892
534.38/534.88	o 13885
535.48/536.00	o 13876
536.68/537.12	o 13874
539.08/539.50	o 13872
540.18/540.69	o 13870
541.38/541.89	o 13868
551.47/551.92	o 13865
552.67/553.19	o 13863
554.07/554.50	o 13857
555.37/555.88	o 13855
556.88/557.30	o 13844
559.18/559.66	o 13839
560.48/560.97	o 13836
561.77/562.27	o 13832
564.47/564.94	o 13828
565.77/566.21	o 13825
568.37/568.84	o 13819
571.17/571.60	o 13813
573.87/574.35	o 13806
580.76/581.29	o 13803
582.16/582.62	o 13801
583.46/583.92	o 13800
584.86/585.37	o 13799
586.25/586.73	o 13797
587.55/588.01	o 13795
588.85/589.35	o 13793
591.45/591.91	o 13788
595.45/595.97	o 13784
596.85/597.31	o 13778
598.05/598.56	o 13771
600.84/601.30	o 13763
603.35/603.89	o 13761
604.74/605.20	o 13752
605.94/606.47	o 13749
607.34/607.84	o 13745
609.94/610.44	o 13738
611.24/611.78	o 13733
612.54/613.01	o 13724
613.84/614.38	o 13722
615.23/615.72	o 13714
616.54/617.04	o 13713
617.83/618.38	o 13711
619.13/619.70	o 13710
620.43/620.99	o 13704
621.73/622.27	o 13698
624.43/624.90	o 13690
625.63/626.14	o 13686
626.94/627.45	o 13682
628.34/628.81	o 13681
630.83/631.33	o 13677
632.23/632.73	o 13675
633.53/634.02	o 13669
634.83/635.33	o 13668
637.43/637.96	o 13665
638.72/639.21	o 13664
640.02/640.50	o 13656
641.22/641.78	o 13652
642.72/643.21	o 13641
644.12/644.62	o 13640
645.42/645.96	o 13639
646.82/647.38	o 13631
648.12/648.69	o 13625
649.52/650.05	o 13618
650.91/651.43	o 13613
652.41/652.90	o 13609
655.31/655.83	o 13603
659.61/660.14	o 13595
661.01/661.59	o 13593
662.51/663.07	o 13591
663.91/664.46	o 13588
665.30/665.89	o 13582
666.70/667.25	o 13575
668.10/668.66	o 13574
669.60/670.13	o 13571
672.50/673.00	o 13565
673.81/674.39	o 13558
675.19/675.77	o 13552
676.69/677.25	o 13547
678.10/678.63	o 13543
679.49/680.03	o 13540
680.89/681.46	o 13536
682.29/682.86	o 13533
683.70/684.20	o 13528
685.09/685.69	o 13526
686.59/687.18	o 13522
688.09/688.64	o 13519
689.59/690.16	o 13512
691.09/691.66	o 13505
709.79/710.37	o 13497
711.49/712.09	o 13490
713.19/713.79	o 13486
714.89/715.45	o 13475
716.59/717.12	o 13471
718.28/718.85	o 13470
720.08/720.65	o 13458
725.07/725.61	o 13450
726.67/727.27	o 13449
728.27/728.86	o 13441
729.97/730.55	o 13433
731.57/732.15	o 13427
733.17/733.76	o 13420
734.77/735.34	o 13415
736.37/736.93	o 13407
737.86/738.48	o 13401
739.56/740.11	o 13394
741.06/741.68	o 13388
745.76/746.31	o 13383
747.26/747.87	o 13380
748.76/749.37	o 13379
750.36/750.93	o 13372
751.95/752.56	o 13365
755.25/755.83	o 13364
758.35/758.95	o 13359
759.95/760.51	o 13351
761.45/762.08	o 13350
764.65/765.27	o 13345
767.65/768.26	o 13338
769.25/769.82	o 13332
770.75/771.36	o 13326
776.94/777.52	o 13320
778.44/779.06	o 13316
779.94/780.59	o 13314
781.55/782.13	o 13310
784.54/785.18	o 13303
786.14/786.80	o 13294
787.64/788.30	o 13290
789.14/789.80	o 13288
790.64/791.30	o 13284
792.24/792.81	o 13278
793.73/794.32	o 13277
795.23/795.80	o 13276
796.63/797.24	o 13275
798.04/798.67	o 13268
799.53/800.19	o 13267
801.03/801.68	o 13260
802.53/803.19	o 13255
804.13/804.70	o 13252
805.63/806.24	o 13245
807.13/807.77	o 13244
808.52/809.19	o 13243
810.12/810.76	o 13238
811.62/812.29	o 13237
813.22/813.85	o 13229
816.32/817.00	o 13227
817.91/818.56	o 13226
820.91/821.59	o 13221
828.11/828.74	o 13214
829.61/830.22	o 13207
831.01/831.63	o 13203
832.41/833.08	o 13202
833.91/834.55	o 13197
835.41/836.04	o 13192
836.81/837.49	o 13188
842.80/843.43	o 13180
844.20/844.87	o 13176
845.70/846.31	o 13172
847.10/847.74	o 13167
848.60/849.20	o 13163
849.90/850.59	o 13155
851.40/852.06	o 13150
852.81/853.50	o 13148
854.30/854.93	o 13145
855.80/856.47	o 13142
857.30/857.90	o 13139
858.69/859.35	o 13136
860.19/860.80	o 13133
861.59/862.26	o 13129
863.09/863.71	o 13127
864.49/865.17	o 13125
865.99/866.63	o 13123
867.39/868.08	o 13121
868.99/869.62	o 13116
870.39/871.06	o 13114
873.29/873.96	o 13112
874.78/875.42	o 13110
876.18/876.88	o 13108
877.68/878.35	o 13101
879.08/879.75	o 13100
880.49/881.17	o 13099
881.98/882.64	o 13098
883.38/884.02	o 13096
884.78/885.46	o 13094
886.28/886.93	o 13090
887.67/888.39	o 13089
889.28/889.97	o 13088
892.27/892.95	o 13083
893.77/894.40	o 13075
899.67/900.30	o 13070
901.17/901.84	o 13069
904.17/904.82	o 13067
905.77/906.42	o 13065
907.27/907.94	o 13060
908.77/909.45	o 13054
910.26/910.94	o 13052
913.37/914.07	o 13045
914.96/915.68	o 13036
916.56/917.29	o 13029
918.06/918.73	o 13023
919.56/920.21	o 13013
920.96/921.68	o 13008
922.46/923.15	o 12999
923.96/924.64	o 12992
925.46/926.18	o 12989
926.96/927.66	o 12987
931.46/932.11	o 12979
932.86/933.53	o 12978
934.26/934.97	o 12975
938.35/939.06	o 12973
939.65/940.39	o 12965
941.15/941.82	o 12962
942.45/943.19	o 12954
943.95/944.62	o 12947
946.64/947.30	o 12944
950.64/951.35	o 12942
952.04/952.72	o 12940
953.34/954.08	o 12939
958.74/959.45	o 12934
960.03/960.77	o 12928
961.43/962.17	o 12921
962.73/963.44	o 12914
964.04/964.73	o 12908
966.63/967.40	o 12903
968.03/968.73	o 12899
969.43/970.13	o 12895
970.63/971.37	o 12887
971.93/972.69	o 12885
973.33/974.04	o 12880
974.63/975.38	o 12871
976.03/976.77	o 12867
977.43/978.12	o 12858
978.73/979.49	o 12853
980.12/980.86	o 12846
981.42/982.18	o 12843
982.82/983.58	o 12841
985.62/986.33	o 12831
986.92/987.67	o 12828
989.62/990.39	o 12812
992.41/993.10	o 12811
993.72/994.41	o 12806
995.01/995.78	o 12800
996.41/997.10	o 12797
997.81/998.52	o 12792
999.21/999.97	o 12791
1000.61/1001.31	o 12783
1003.31/1004.04	o 12776
1011.50/1012.27	o 12769
1012.80/1013.60	o 12767
1014.20/1014.91	o 12766
1016.90/1017.63	o 12763
1018.20/1018.95	o 12759
1019.50/1020.28	o 12754
1020.79/1021.55	o 12746
1022.10/1022.84	o 12745
1026.10/1026.88	o 12744
1027.50/1028.24	o 12736
1028.90/1029.63	o 12729
1031.70/1032.43	o 12726
1033.10/1033.80	o 12719
1035.89/1036.62	o 12716
1037.29/1038.04	o 12713
1038.69/1039.44	o 12709
1040.09/1040.83	o 12701
1041.48/1042.21	o 12700
1042.88/1043.68	o 12693
1044.29/1045.04	o 12687
1045.68/1046.43	o 12684
1047.18/1047.93	o 12682
1048.68/1049.44	o 12673
1050.18/1050.93	o 12664
1052.98/1053.75	o 12662
1055.97/1056.70	o 12659
1057.38/1058.11	o 12654
1060.27/1061.03	o 12652
1061.57/1062.38	o 12650
1063.07/1063.80	o 12648
1064.47/1065.21	o 12644
1065.87/1066.61	o 12637
1067.16/1067.96	o 12632
1068.57/1069.31	o 12629
1069.87/1070.68	o 12624
1071.26/1072.02	o 12621
1072.66/1073.40	o 12618
1073.97/1074.78	o 12610
1076.66/1077.41	o 12605
1077.96/1078.75	o 12599
1079.36/1080.15	o 12595
1080.66/1081.49	o 12588
1082.05/1082.82	o 12586
1083.36/1084.14	o 12582
1084.66/1085.44	o 12578
1085.97/1086.76	o 12574
1087.26/1088.08	o 12568
1091.26/1092.05	o 12559
1092.56/1093.31	o 12549
1093.86/1094.60	o 12543
1095.16/1095.92	o 12540
1097.75/1098.58	o 12538
1099.16/1099.91	o 12536
1100.45/1101.22	o 12533
1101.75/1102.51	o 12531
1102.95/1103.76	o 12526
1104.35/1105.11	o 12523
1105.65/1106.47	o 12517
1107.14/1107.91	o 12516
1108.44/1109.28	o 12505
1109.84/1110.65	o 12501
1111.25/1112.04	o 12499
1112.54/1113.39	o 12497
1113.94/1114.70	o 12494
1116.54/1117.37	o 12493
1117.54/1118.36	o 12484
1120.14/1120.97	o 12481
1122.84/1123.62	o 12478
1124.14/1124.93	o 12476
1126.73/1127.53	o 12475
1128.03/1128.82	o 12468
1129.23/1130.10	o 12462
1130.53/1131.36	o 12456
1131.83/1132.70	o 12451
1133.12/1134.00	o 12447
1134.52/1135.34	o 12444
1135.82/1136.65	o 12441
1137.22/1138.02	o 12438
1138.52/1139.34	o 12432
1139.82/1140.61	o 12430
1141.12/1141.92	o 12428
1142.42/1143.23	o 12427
1143.83/1144.61	o 12422
1145.03/1145.87	o 12420
1146.33/1147.13	o 12418
1147.63/1148.48	o 12415
1148.92/1149.75	o 12411
1150.23/1151.03	o 12404
1151.52/1152.37	o 12402
1152.82/1153.69	o 12400
1154.22/1155.04	o 12398
1155.62/1156.40	o 12396
1156.92/1157.80	o 12394
1158.32/1159.13	o 12392
1159.62/1160.47	o 12384
1161.02/1161.81	o 12382
1162.52/1163.31	o 12376
1163.91/1164.75	o 12374
1165.22/1166.07	o 12373
1166.61/1167.44	o 12372
1168.01/1168.84	o 12371
1169.51/1170.32	o 12370
1170.81/1171.68	o 12363
1172.20/1173.06	o 12362
1173.60/1174.46	o 12358
1176.40/1177.27	o 12353
1179.20/1180.03	o 12352
1180.60/1181.45	o 12351
1182.00/1182.84	o 12350
1183.50/1184.32	o 12349
1184.90/1185.72	o 12348
1187.79/1188.61	o 12347
1190.59/1191.46	o 12342
1191.99/1192.87	o 12337
1193.59/1194.41	o 12334
1194.99/1195.87	o 12331
1196.59/1197.40	o 12324
1198.09/1198.99	o 12317
1201.20/1202.06	o 12314
1202.80/1203.61	o 12308
1204.29/1205.12	o 12307
1205.69/1206.55	o 12301
1207.00/1207.88	o 12296
1208.58/1209.44	o 12285
1211.58/1212.41	o 12278
1213.08/1213.92	o 12274
1214.68/1215.56	o 12272
1216.18/1217.08	o 12271
1217.77/1218.67	o 12270
1219.27/1220.17	o 12268
1220.87/1221.71	o 12264
1222.38/1223.26	o 12257
1223.87/1224.72	o 12256
1225.37/1226.20	o 12249
1228.27/1229.19	o 12241
1229.87/1230.70	o 12232
1232.87/1233.74	o 12227
1237.27/1238.18	o 12225
1238.77/1239.66	o 12219
1241.76/1242.65	o 12214
1243.27/1244.12	o 12212
1244.76/1245.63	o 12200
1249.16/1250.05	o 12199
1252.06/1252.94	o 12198
1253.56/1254.41	o 12190
1255.16/1256.01	o 12184
1256.65/1257.53	o 12178
1259.75/1260.60	o 12164
1261.24/1262.11	o 12158
1262.64/1263.52	o 12156
1264.15/1265.06	o 12149
1265.54/1266.49	o 12143
1267.04/1267.95	o 12137
1268.44/1269.35	o 12132
1271.43/1272.38	o 12126
1277.73/1278.63	o 12124
1279.23/1280.10	o 12123
1280.63/1281.59	o 12120
1283.72/1284.69	o 12114
1285.32/1286.21	o 12112
1286.81/1287.75	o 12109
1289.81/1290.79	o 12105
1293.01/1293.93	o 12103
1294.60/1295.50	o 12100
1296.10/1297.04	o 12094
1297.60/1298.59	o 12085
1299.10/1300.08	o 12079
1300.71/1301.66	o 12076
1302.20/1303.14	o 12067
1303.50/1304.49	o 12060
1305.19/1306.10	o 12052
1306.58/1307.58	o 12045
1308.10/1309.04	o 12037
1309.59/1310.50	o 12035
1311.09/1312.09	o 12034
1312.69/1313.61	o 12032
1314.19/1315.16	o 12025
1315.69/1316.64	o 12022
1317.09/1318.05	o 12020
1318.59/1319.52	o 12019
1319.99/1320.98	o 12011
1325.87/1326.82	o 12004
1327.38/1328.32	o 12001
1328.76/1329.78	o 11995
1330.36/1331.32	o 11994
1331.76/1332.78	o 11990
1336.26/1337.28	o 11980
1337.86/1338.88	o 11974
1341.06/1342.06	o 11973
1342.64/1343.61	o 11971
1344.14/1345.11	o 11966
1345.64/1346.65	o 11963
1348.84/1349.81	o 11959
1350.43/1351.41	o 11958
1353.53/1354.54	o 11950
1356.63/1357.66	o 11945
1359.73/1360.78	o 11933
1361.33/1362.34	o 11928
1362.82/1363.88	o 11923
1364.42/1365.44	o 11922
1366.01/1367.02	o 11916
1367.61/1368.69	o 11912
1369.20/1370.26	o 11910
1370.80/1371.86	o 11904
1372.50/1373.52	o 11899
1374.10/1375.20	o 11894
1375.79/1376.81	o 11887
1377.39/1378.45	o 11883
1378.99/1380.05	o 11880
1380.59/1381.65	o 11879
1385.38/1386.48	o 11871
1387.08/1388.16	o 11866
1388.76/1389.87	o 11864
1390.37/1391.46	o 11859
1392.06/1393.10	o 11856
1393.56/1394.70	o 11846
1396.86/1397.93	o 11845
1398.46/1399.56	o 11841
1400.06/1401.18	o 11840
1403.24/1404.35	o 11838
1404.75/1405.86	o 11835
1406.35/1407.48	o 11827
1408.04/1409.11	o 11823
1409.53/1410.63	o 11821
1411.13/1412.23	o 11816
1412.63/1413.78	o 11813
1414.23/1415.32	o 11810
1415.83/1416.91	o 11808
1417.33/1418.45	o 11802
1425.31/1426.46	o 11801
1426.91/1428.03	o 11799
1428.50/1429.60	o 11797
1430.01/1431.16	o 11790
1431.60/1432.71	o 11785
1433.21/1434.31	o 11784
1434.80/1435.91	o 11781
1437.90/1439.04	o 11772
1441.00/1442.18	o 11763
1442.59/1443.74	o 11759
1444.09/1445.24	o 11751
1445.59/1446.75	o 11743
1447.19/1448.30	o 11735
1451.98/1453.17	o 11721
1453.66/1454.83	o 11716
1455.26/1456.46	o 11712
1456.95/1458.13	o 11708
1458.56/1459.71	o 11694
1460.15/1461.33	o 11690
1461.65/1462.90	o 11686
1463.25/1464.47	o 11677
1464.85/1466.09	o 11673
1466.45/1467.69	o 11672
1468.15/1469.35	o 11668
1469.75/1470.97	o 11665
1471.44/1472.61	o 11662
1473.04/1474.27	o 11659
1474.74/1475.96	o 11656
1476.44/1477.64	o 11654
1478.14/1479.33	o 11652
1479.84/1481.07	o 11650
1481.64/1482.80	o 11648
1483.23/1484.47	o 11646
1484.92/1486.17	o 11644
1486.71/1487.91	o 11643
1488.30/1489.58	o 11637
1489.99/1491.24	o 11636
1491.69/1492.95	o 11635
1493.48/1494.72	o 11634
1495.17/1496.45	o 11633
1497.06/1498.30	o 11632
1505.63/1506.95	o 11624
1508.92/1510.30	o 11619
1510.71/1512.07	o 11616
1512.41/1513.73	o 11615
1514.10/1515.48	o 11612
1515.80/1517.18	o 11611
1520.88/1522.28	o 11610
1522.67/1524.00	o 11609
1527.75/1529.13	o 11605
1533.12/1534.58	o 11602
1535.01/1536.46	o 11594
1536.90/1538.30	o 11589
1538.70/1540.19	o 11587
1540.19/1541.66	o 11583
1543.77/1545.22	o 11580
1545.57/1547.06	o 11572
1547.46/1548.92	o 11568
1551.04/1552.59	o 11564
1552.84/1554.37	o 11561
1560.01/1561.53	o 11560
1563.49/1565.09	o 11558
1565.28/1566.82	o 11554
1566.98/1568.59	o 11547
1573.84/1575.49	o 11540
1575.54/1577.16	o 11529
1579.03/1580.68	o 11526
1582.42/1584.08	o 11520
1584.21/1585.83	o 11519
1585.60/1587.26	o 11514
1588.69/1590.38	o 11508
1590.38/1592.05	o 11503
1595.36/1597.03	o 11500
1597.05/1598.72	o 11491
1603.73/1605.41	o 11486
1605.32/1607.01	o 11483
1606.91/1608.69	o 11471
1608.61/1610.34	o 11468
1610.30/1612.06	o 11467
1611.89/1613.64	o 11466
1613.58/1615.35	o 11465
1618.56/1620.38	o 11464
1620.25/1622.02	o 11462
1621.94/1623.78	o 11457
1623.54/1625.30	o 11455
1625.23/1627.08	o 11454
1626.92/1628.75	o 11451
1628.61/1630.44	o 11448
1631.90/1633.78	o 11447
1633.49/1635.37	o 11446
1635.28/1637.18	o 11435
1636.98/1638.86	o 11430
1638.67/1640.53	o 11428
1640.26/1642.18	o 11421
1641.95/1643.86	o 11419
1645.24/1647.14	o 11418
1648.53/1650.42	o 11416
1650.02/1651.98	o 11413
1651.71/1653.60	o 11404
1653.31/1655.21	o 11401
1657.99/1659.97	o 11400
1659.58/1661.56	o 11398
1661.36/1663.32	o 11393
1664.94/1666.94	o 11387
1666.73/1668.77	o 11386
1668.53/1670.51	o 11384
1670.22/1672.28	o 11373
1672.02/1674.06	o 11372
1673.91/1675.91	o 11370
1677.49/1679.58	o 11366
1679.38/1681.41	o 11362
1683.07/1685.11	o 11361
1690.82/1692.92	o 11358
1692.61/1694.75	o 11354
1694.40/1696.56	o 11353
1696.29/1698.45	o 11350
1698.28/1700.44	o 11345
1700.17/1702.36	o 11337
1702.06/1704.26	o 11335
1713.40/1715.61	o 11332
1718.58/1720.85	o 11331
1720.47/1722.76	o 11325
1722.47/1724.74	o 11314
1726.24/1728.59	o 11312
1728.03/1730.38	o 11309
1729.92/1732.29	o 11306
1733.60/1735.93	o 11305
1735.39/1737.74	o 11302
1737.18/1739.54	o 11300
1738.88/1741.26	o 11299
1740.66/1743.08	o 11292
1742.35/1744.73	o 11289
1749.42/1751.88	o 11287
1751.22/1753.65	o 11285
1753.01/1755.46	o 11284
1756.59/1759.04	o 11282
1758.48/1760.92	o 11273
1760.17/1762.63	o 11267
1761.96/1764.50	o 11260
1765.64/1768.18	o 11255
1769.43/1771.98	o 11245
1771.41/1773.91	o 11243
1775.19/1777.72	o 11238
1777.19/1779.72	o 11236
1780.96/1783.54	o 11234
1782.95/1785.51	o 11221
1786.63/1789.27	o 11218
1790.42/1793.05	o 11217
1794.20/1796.85	o 11212
1796.09/1798.76	o 11203
1797.98/1800.63	o 11193
1799.97/1802.61	o 11186
1801.86/1804.57	o 11174
1803.75/1806.47	o 11172
1805.74/1808.45	o 11161
1807.53/1810.29	o 11155
1815.20/1817.90	o 11154
1817.09/1819.85	o 11146
1820.98/1823.76	o 11142
1822.96/1825.72	o 11140
1824.85/1827.66	o 11135
1826.84/1829.61	o 11123
1828.74/1831.56	o 11119
1830.43/1833.23	o 11115
1832.31/1835.18	o 11114
1834.30/1837.10	o 11108
1836.20/1839.01	o 11105
1840.08/1842.91	o 11104
1843.76/1846.69	o 11101
1847.74/1850.60	o 11098
1855.40/1858.38	o 11094
1857.39/1860.34	o 11083
1860.87/1863.89	o 11078
1862.76/1865.73	o 11074
1864.56/1867.58	o 11071
1871.92/1874.99	o 11070
1873.81/1876.89	o 11065
1875.71/1878.73	o 11063
1881.47/1884.59	o 11056
1883.37/1886.48	o 11054
1885.35/1888.43	o 11053
1889.33/1892.40	o 11051
1891.22/1894.34	o 11043
1895.30/1898.41	o 11041
1899.28/1902.41	o 11036
1903.16/1906.37	o 11035
1905.15/1908.38	o 11034
1916.80/1920.08	o 11032
1918.79/1922.09	o 11029
1922.87/1926.17	o 11026
1924.86/1928.13	o 11022
1926.85/1930.16	o 11013
1928.74/1932.07	o 11007
1936.60/1939.91	o 11006
1938.59/1941.94	o 11001
1940.58/1943.92	o 10997
1942.57/1945.92	o 10993
1944.56/1947.93	o 10990
1946.55/1949.93	o 10987
1948.54/1951.97	o 10984
1950.53/1953.96	o 10981
1952.52/1955.95	o 10979
1954.52/1957.94	o 10976
1956.50/1959.99	o 10973
1962.57/1966.00	o 10970
1964.56/1968.02	o 10968
1966.45/1969.98	o 10965
1974.22/1977.77	o 10962
1975.70/1979.23	o 10959
1977.60/1981.19	o 10957
1979.58/1983.12	o 10955
1981.47/1985.05	o 10953
1983.46/1987.02	o 10951
1985.45/1989.02	o 10949
1987.44/1991.01	o 10947
1989.33/1992.92	o 10944
1991.22/1994.89	o 10941
1993.31/1996.90	o 10939
1995.31/1998.93	o 10936
1997.21/2000.86	o 10934
1999.19/2002.82	o 10933
2000.49/2004.19	o 10932
2002.47/2006.11	o 10930
2004.36/2008.07	o 10925
2006.35/2010.03	o 10924
2008.25/2011.97	o 10923
2010.24/2013.98	o 10922
2012.23/2015.96	o 10921
2019.99/2023.75	o 10920
2021.98/2025.70	o 10919
2023.86/2027.67	o 10918
2025.86/2029.62	o 10917
2027.75/2031.53	o 10912
2029.64/2033.46	o 10909
2031.53/2035.39	o 10908
2033.51/2037.33	o 10907
2037.30/2041.15	o 10906
2043.17/2047.09	o 10901
2056.50/2060.44	o 10900
2058.09/2062.01	o 10898
2059.59/2063.51	o 10896
2061.37/2065.32	o 10889
2065.06/2069.01	o 10884
2066.95/2070.94	o 10878
2071.64/2075.63	o 10875
2073.42/2077.43	o 10873
2075.11/2079.17	o 10869
2080.58/2084.64	o 10866
2082.38/2086.40	o 10860
2083.17/2087.22	o 10857
2084.87/2088.99	o 10856
2088.45/2092.54	o 10852
2090.24/2094.30	o 10847
2092.03/2096.12	o 10845
2093.72/2097.89	o 10839
2095.51/2099.67	o 10833
2097.40/2101.51	o 10828
2099.10/2103.27	o 10827
2100.88/2105.08	o 10822
2102.77/2106.96	o 10815
2108.24/2112.44	o 10808
2113.62/2117.87	o 10804
2115.41/2119.64	o 10801
2117.20/2121.41	o 10800
2118.89/2123.20	o 10798
2120.78/2125.00	o 10792
2126.15/2130.40	o 10788
2131.13/2135.40	o 10787
2132.72/2137.07	o 10783
2134.31/2138.70	o 10777
2137.31/2141.63	o 10772
2138.90/2143.30	o 10770
2140.69/2145.01	o 10769
2142.28/2146.63	o 10768
2143.97/2148.33	o 10767
2148.85/2153.21	o 10759
2150.45/2154.85	o 10758
2152.13/2156.51	o 10756
2153.73/2158.15	o 10753
2155.41/2159.83	o 10747
2157.20/2161.63	o 10738
2158.79/2163.26	o 10727
2160.29/2164.74	o 10720
2161.98/2166.46	o 10714
2163.67/2168.16	o 10712
2165.36/2169.80	o 10710
2166.96/2171.45	o 10708
2168.54/2173.08	o 10706
2170.24/2174.77	o 10695
2171.93/2176.43	o 10689
2173.62/2178.13	o 10688
2186.75/2191.30	o 10685
2188.25/2192.89	o 10679
2189.94/2194.56	o 10678
2191.53/2196.18	o 10673
2193.22/2197.85	o 10671
2199.88/2204.52	o 10663
2201.48/2206.13	o 10659
2203.17/2207.83	o 10655
2216.11/2220.85	o 10653
2217.71/2222.46	o 10649
2219.30/2224.05	o 10644
2220.99/2225.72	o 10642
2222.58/2227.37	o 10633
2229.05/2233.89	o 10628
2230.74/2235.52	o 10626
2232.33/2237.12	o 10624
2233.92/2238.77	o 10618
2235.61/2240.42	o 10611
2237.20/2242.08	o 10605
2238.79/2243.66	o 10604
2240.38/2245.24	o 10599
2241.68/2246.53	o 10593
2243.17/2248.08	o 10587
2244.86/2249.74	o 10583
2246.36/2251.28	o 10576
2249.54/2254.45	o 10574
2251.03/2255.96	o 10569
2252.72/2257.61	o 10560
2254.23/2259.16	o 10559
2255.81/2260.74	o 10554
2257.41/2262.34	o 10553
2259.00/2263.92	o 10552
2263.68/2268.65	o 10551
2265.27/2270.29	o 10537
2266.86/2271.83	o 10528
2268.46/2273.45	o 10524
2270.04/2275.03	o 10521
2271.63/2276.62	o 10513
2274.82/2279.80	o 10504
2276.32/2281.34	o 10497
2279.40/2284.49	o 10493
2280.99/2286.00	o 10491
2282.48/2287.57	o 10488
2288.65/2293.77	o 10486
2293.12/2298.26	o 10473
2294.62/2299.78	o 10472
2296.21/2301.31	o 10470
2297.70/2302.81	o 10468
2299.10/2304.24	o 10464
2300.49/2305.68	o 10458
2301.98/2307.15	o 10443
2307.95/2313.16	o 10438
2309.15/2314.31	o 10436
2310.54/2315.79	o 10433
2312.03/2317.24	o 10428
2316.41/2321.66	o 10422
2317.91/2323.20	o 10415
2319.39/2324.69	o 10408
2320.89/2326.18	o 10399
2323.87/2329.11	o 10397
2325.26/2330.58	o 10391
2326.76/2332.06	o 10389
2327.95/2333.20	o 10382
2329.34/2334.60	o 10370
2336.21/2341.58	o 10358
2337.61/2343.00	o 10355
2343.47/2348.86	o 10353
2344.97/2350.35	o 10345
2346.37/2351.80	o 10341
2347.96/2353.31	o 10339
2349.35/2354.77	o 10336
2350.75/2356.19	o 10326
2353.83/2359.25	o 10322
2356.71/2362.15	o 10321
2362.68/2368.10	o 10320
2364.07/2369.59	o 10316
2365.67/2371.11	o 10314
2367.17/2372.65	o 10308
2368.55/2374.08	o 10306
2370.04/2375.59	o 10303
2371.64/2377.15	o 10298
2373.13/2378.65	o 10295
2374.62/2380.14	o 10293
2377.60/2383.18	o 10292
2379.20/2384.72	o 10289
2380.69/2386.27	o 10285
2388.35/2393.95	o 10282
2389.84/2395.48	o 10275
2391.34/2396.98	o 10274
2392.83/2398.45	o 10271
2394.32/2399.98	o 10270
2395.91/2401.51	o 10269
2397.31/2402.99	o 10263
2398.80/2404.48	o 10259
2400.39/2406.04	o 10255
2401.98/2407.61	o 10248
2403.47/2409.17	o 10245
2404.97/2410.69	o 10241
2406.57/2412.22	o 10237
2408.05/2413.75	o 10228
2411.13/2416.85	o 10226
2412.73/2418.44	o 10224
2415.61/2421.33	o 10216
2416.91/2422.68	o 10209
2418.40/2424.18	o 10207
2419.89/2425.67	o 10204
2421.28/2427.09	o 10201
2422.78/2428.57	o 10193
2424.27/2430.07	o 10186
2425.76/2431.51	o 10180
2427.15/2432.99	o 10174
2428.64/2434.45	o 10173
2430.14/2435.92	o 10171
2431.63/2437.42	o 10163
2433.02/2438.88	o 10160
2434.51/2440.38	o 10157
2436.01/2441.88	o 10153
2438.99/2444.85	o 10144
2440.18/2446.03	o 10140
2441.58/2447.49	o 10138
2443.07/2448.95	o 10137
2444.56/2450.49	o 10132
2447.65/2453.53	o 10131
2449.14/2455.04	o 10129
2453.32/2459.24	o 10128
2454.81/2460.72	o 10125
2456.20/2462.12	o 10114
2457.60/2463.59	o 10113
2459.20/2465.16	o 10107
2460.79/2466.71	o 10103
2461.78/2467.72	o 10098
2463.38/2469.32	o 10094
2467.86/2473.86	o 10084
2469.35/2475.36	o 10083
2470.84/2476.86	o 10077
2472.33/2478.31	o 10075
2473.82/2479.80	o 10073
2475.32/2481.35	o 10072
2476.81/2482.85	o 10070
2478.30/2484.36	o 10067
2479.79/2485.87	o 10060
2481.38/2487.44	o 10057
2484.57/2490.66	o 10054
2489.14/2495.20	o 10050
2490.64/2496.73	o 10049
2492.23/2498.30	o 10043
2493.72/2499.88	o 10038
2495.22/2501.40	o 10037
2496.81/2502.98	o 10034
2498.40/2504.52	o 10031
2499.70/2505.85	o 10028
2502.78/2508.93	o 10027
2504.27/2510.48	o 10024
2505.86/2512.05	o 10022
2508.85/2515.09	o 10015
2516.31/2522.51	o 10011
2517.80/2524.03	o 10010
2519.30/2525.57	o 10008
2520.89/2527.13	o 10004
2522.38/2528.68	o 9998
2527.15/2533.48	o 9997
2528.75/2535.09	o 9992
2533.53/2539.84	o 9991
2535.01/2541.39	o 9988
2536.61/2542.96	o 9987
2538.20/2544.56	o 9986
2539.79/2546.20	o 9984
2541.38/2547.76	o 9982
2544.57/2550.99	o 9979
2546.16/2552.56	o 9971
2549.34/2555.74	o 9967
2550.94/2557.34	o 9962
2552.43/2558.90	o 9957
2554.12/2560.50	o 9949
2555.71/2562.14	o 9945
2557.30/2563.78	o 9941
2560.49/2566.98	o 9931
2561.99/2568.41	o 9922
2563.57/2570.04	o 9919
2565.17/2571.66	o 9916
2566.76/2573.26	o 9914
2568.45/2574.93	o 9912
2570.04/2576.59	o 9910
2571.74/2578.23	o 9908
2573.33/2579.86	o 9906
2575.02/2581.53	o 9904
2576.61/2583.18	o 9902
2578.30/2584.89	o 9900
2579.99/2586.53	o 9898
2581.58/2588.20	o 9896
2583.28/2589.87	o 9894
2584.97/2591.55	o 9892
2586.56/2593.12	o 9890
2588.05/2594.65	o 9888
2597.09/2603.74	o 9887
2598.58/2605.27	o 9886
2600.07/2606.74	o 9885
2601.56/2608.27	o 9884
2606.23/2612.92	o 9878
2607.72/2614.42	o 9877
2609.31/2616.02	o 9876
2610.80/2617.56	o 9875
2612.40/2619.14	o 9874
2613.89/2620.66	o 9867
2615.38/2622.17	o 9864
2616.97/2623.73	o 9863
2618.47/2625.26	o 9857
2620.95/2627.74	o 9853
2622.44/2629.23	o 9847
2630.09/2636.99	o 9846
2639.24/2646.16	o 9845
2640.73/2647.67	o 9839
2642.21/2649.13	o 9835
2643.71/2650.69	o 9827
2646.69/2653.68	o 9826
2648.28/2655.25	o 9820
2651.36/2658.35	o 9818
2652.95/2659.92	o 9813
2654.45/2661.49	o 9812
2658.52/2665.51	o 9808
2660.01/2667.02	o 9801
2661.60/2668.61	o 9799
2663.09/2670.12	o 9797
2666.17/2673.25	o 9795
2667.76/2674.84	o 9787
2669.26/2676.38	o 9782
2672.44/2679.55	o 9775
2673.93/2681.06	o 9766
2675.52/2682.65	o 9763
2677.00/2684.18	o 9761
2678.50/2685.69	o 9755
2680.09/2687.22	o 9754
2681.58/2688.71	o 9752
2682.77/2689.98	o 9748
2685.75/2692.94	o 9747
2687.14/2694.35	o 9742
2688.54/2695.77	o 9741
2689.93/2697.20	o 9740
2691.42/2698.68	o 9738
2692.71/2699.95	o 9734
2694.20/2701.46	o 9730
2695.59/2702.85	o 9723
2697.08/2704.30	o 9719
2698.38/2705.69	o 9708
2699.97/2707.20	o 9703
2704.24/2711.51	o 9695
2707.12/2714.48	o 9690
2708.71/2716.04	o 9689
2710.30/2717.61	o 9687
2711.70/2719.08	o 9685
2714.78/2722.17	o 9684
2717.86/2725.22	o 9677
2719.35/2726.73	o 9671
2726.60/2734.09	o 9665
2728.10/2735.56	o 9662
2729.59/2737.09	o 9655
2731.18/2738.63	o 9653
2732.77/2740.20	o 9645
2734.26/2741.72	o 9643
2735.75/2743.20	o 9637
2737.14/2744.69	o 9636
2738.63/2746.17	o 9631
2741.62/2749.17	o 9629
2745.99/2753.54	o 9627
2753.25/2760.89	o 9625
2754.74/2762.37	o 9622
2759.12/2766.74	o 9620
2760.61/2768.22	o 9614
2764.99/2772.62	o 9612
2767.97/2775.62	o 9610
2770.95/2778.69	o 9603
2772.44/2780.18	o 9600
2773.93/2781.68	o 9591
2775.42/2783.20	o 9590
2780.00/2787.72	o 9589
2781.49/2789.21	o 9588
2784.47/2792.24	o 9583
2785.96/2793.76	o 9574
2790.44/2798.26	o 9572
2793.42/2801.23	o 9569
2797.89/2805.76	o 9563
2800.87/2808.73	o 9562
2802.37/2810.26	o 9555
2803.95/2811.81	o 9546
2805.45/2813.32	o 9545
2806.94/2814.84	o 9543
2811.51/2819.40	o 9541
2812.90/2820.88	o 9539
2814.39/2822.38	o 9537
2815.88/2823.88	o 9535
2820.46/2828.40	o 9531
2821.95/2829.91	o 9524
2823.35/2831.40	o 9519
2824.83/2832.88	o 9513
2834.87/2842.91	o 9511
2836.27/2844.33	o 9509
2837.66/2845.77	o 9508
2839.05/2847.19	o 9498
2840.54/2848.62	o 9496
2841.94/2850.05	o 9495
2843.22/2851.39	o 9494
2844.72/2852.84	o 9488
2846.11/2854.23	o 9485
2847.60/2855.71	o 9480
2848.99/2857.12	o 9475
2850.39/2858.55	o 9473
2851.88/2860.00	o 9472
2853.27/2861.45	o 9470
2854.66/2862.88	o 9467
2856.05/2864.27	o 9463
2858.94/2867.15	o 9455
2860.33/2868.58	o 9451
2867.30/2875.59	o 9448
2868.79/2877.01	o 9443
2870.08/2878.37	o 9440
2871.28/2879.54	o 9439
2872.57/2880.80	o 9437
2873.96/2882.21	o 9433
2875.25/2883.55	o 9429
2880.72/2889.03	o 9427
2882.01/2890.32	o 9425
2883.40/2891.76	o 9424
2884.79/2893.16	o 9421
2886.08/2894.46	o 9419
2887.48/2895.83	o 9417
2890.06/2898.48	o 9408
2891.45/2899.84	o 9407
2894.14/2902.56	o 9401
2895.43/2903.88	o 9393
2896.82/2905.25	o 9392
2898.11/2906.59	o 9391
2902.29/2910.74	o 9390
2903.68/2912.19	o 9382
2905.07/2913.56	o 9376
2906.57/2915.06	o 9370
2907.96/2916.45	o 9367
2910.84/2919.32	o 9365
2912.23/2920.72	o 9360
2916.60/2925.12	o 9353
2917.99/2926.59	o 9350
2919.49/2928.05	o 9343
2920.87/2929.45	o 9340
2922.17/2930.77	o 9337
2937.38/2946.00	o 9331
2938.67/2947.38	o 9330
2940.17/2948.83	o 9327
2941.56/2950.21	o 9325
2942.95/2951.69	o 9320
2944.44/2953.13	o 9319
2948.81/2957.52	o 9318
2950.21/2958.97	o 9317
2951.69/2960.41	o 9312
2953.09/2961.90	o 9307
2958.66/2967.41	o 9300
2959.65/2968.48	o 9289
2961.04/2969.87	o 9285
2962.43/2971.28	o 9278
2963.92/2972.74	o 9271
2965.31/2974.15	o 9269
2966.71/2975.55	o 9266
2968.10/2976.91	o 9264
2974.86/2983.80	o 9258
2976.25/2985.17	o 9251
2977.64/2986.56	o 9245
2978.93/2987.89	o 9244
2980.32/2989.25	o 9239
2981.61/2990.58	o 9232
2983.01/2991.97	o 9231
2984.39/2993.33	o 9228
2985.79/2994.71	o 9226
2987.08/2996.07	o 9219
2988.48/2997.46	o 9211
2989.87/2998.85	o 9210
2991.26/3000.21	o 9208
2992.56/3001.59	o 9203
2993.95/3002.94	o 9199
2995.33/3004.30	o 9198
2996.63/3005.67	o 9195
2998.02/3007.04	o 9193
2999.42/3008.46	o 9190
3003.69/3012.72	o 9187
3005.08/3014.18	o 9183
3006.56/3015.68	o 9177
3008.06/3017.13	o 9173
3010.94/3020.02	o 9166
3012.33/3021.42	o 9164
3015.11/3024.27	o 9157
3016.50/3025.64	o 9150
3017.90/3027.03	o 9149
3019.29/3028.42	o 9147
3021.97/3031.12	o 9142
3023.27/3032.44	o 9140
3024.56/3033.80	o 9136
3025.94/3035.19	o 9131
3027.34/3036.59	o 9128
3028.73/3037.98	o 9125
3030.12/3039.37	o 9121
3032.91/3042.10	o 9120
3034.20/3043.48	o 9115
3035.68/3044.91	o 9107
3049.99/3059.37	o 9105
3051.38/3060.79	o 9100
3052.78/3062.20	o 9098
3055.75/3065.12	o 9093
3057.25/3066.60	o 9091
3058.64/3068.07	o 9089
3060.13/3069.53	o 9087
3061.62/3071.05	o 9085
3069.08/3078.58	o 9080
3070.57/3080.06	o 9075
3080.70/3090.21	o 9074
3082.10/3091.66	o 9070
3087.86/3097.43	o 9068
3089.25/3098.89	o 9061
3090.74/3100.36	o 9058
3092.13/3101.78	o 9057
3096.50/3106.12	o 9052
3097.90/3107.57	o 9050
3103.46/3113.18	o 9042
3104.85/3114.59	o 9032
3107.64/3117.38	o 9029
3109.02/3118.77	o 9022
3110.31/3120.06	o 9021
3111.71/3121.47	o 9017
3114.20/3123.95	o 9015
3115.59/3125.32	o 9011
3116.99/3126.72	o 9009
3118.28/3128.08	o 9007
3119.77/3129.52	o 9005
3121.16/3130.90	o 9001
3122.45/3132.29	o 8999
3125.24/3135.06	o 8997
3126.62/3136.46	o 8996
3129.41/3139.21	o 8995
3130.79/3140.61	o 8994
3132.19/3142.02	o 8993
3133.58/3143.45	o 8991
3134.97/3144.81	o 8989
3136.26/3146.19	o 8987
3137.65/3147.56	o 8981
3139.05/3148.97	o 8980
3150.28/3160.24	o 8977
3154.45/3164.42	o 8968
3155.34/3165.37	o 8958
3160.91/3170.92	o 8955
3162.31/3172.31	o 8948
3163.60/3173.69	o 8941
3164.99/3175.07	o 8938
3166.38/3176.48	o 8937
3167.78/3177.88	o 8928
3169.17/3179.29	o 8927
3170.57/3180.68	o 8920
3174.84/3184.91	o 8917
3176.23/3186.33	o 8916
3177.63/3187.72	o 8911
3180.41/3190.56	o 8908
3181.90/3192.00	o 8904
3182.99/3193.15	o 8900
3185.87/3196.03	o 8888
3187.07/3197.28	o 8878
3189.85/3200.07	o 8877
3191.24/3201.49	o 8874
3192.64/3202.87	o 8871
3194.03/3204.25	o 8868
3195.42/3205.66	o 8861
3196.81/3207.06	o 8858
3198.20/3208.49	o 8856
3205.36/3215.63	o 8849
3209.04/3219.36	o 8844
3214.50/3224.82	o 8840
3215.89/3226.21	o 8838
3218.68/3229.04	o 8834
3220.07/3230.45	o 8832
3221.55/3231.90	o 8831
3224.34/3234.75	o 8829
3227.32/3237.73	o 8827
3228.22/3238.64	o 8823
3231.20/3241.64	o 8821
3232.69/3243.17	o 8820
3235.77/3246.22	o 8810
3238.76/3249.21	o 8806
3240.15/3250.67	o 8804
3243.13/3253.66	o 8800
3244.72/3255.25	o 8798
3247.70/3258.22	o 8797
3250.79/3261.37	o 8794
3252.37/3262.91	o 8793
3253.87/3264.46	o 8792
3255.36/3265.99	o 8788
3256.75/3267.36	o 8782
3263.61/3274.26	o 8777
3265.11/3275.76	o 8775
3266.70/3277.30	o 8772
3268.19/3278.85	o 8771
3269.78/3280.44	o 8768
3271.37/3282.00	o 8759
3272.68/3283.31	o 8754
3275.66/3286.39	o 8752
3278.34/3289.04	o 8750
3279.83/3290.53	o 8749
3281.32/3292.04	o 8745
3282.91/3293.61	o 8741
3284.40/3295.19	o 8740
3285.99/3296.72	o 8739
3287.48/3298.24	o 8736
3290.07/3300.87	o 8735
3294.84/3305.61	o 8732
3296.44/3307.23	o 8728
3297.93/3308.79	o 8724
3299.52/3310.36	o 8715
3300.61/3311.44	o 8710
3303.79/3314.66	o 8706
3305.39/3316.25	o 8696
3313.04/3323.94	o 8692
3317.62/3328.53	o 8683
3319.11/3330.01	o 8675
3320.60/3331.55	o 8673
3322.09/3333.06	o 8671
3323.68/3334.60	o 8670
3325.08/3336.06	o 8664
3338.20/3349.21	o 8663
3340.98/3352.03	o 8662
3346.75/3357.81	o 8659
3351.12/3362.23	o 8657
3352.62/3363.76	o 8654
3354.10/3365.25	o 8653
3355.60/3366.79	o 8651
3357.19/3368.37	o 8642
3358.78/3369.91	o 8641
3360.17/3371.39	o 8638
3361.76/3372.94	o 8637
3363.25/3374.49	o 8635
3364.94/3376.11	o 8634
3366.53/3377.71	o 8633
3369.71/3380.96	o 8630
3371.40/3382.60	o 8628
3372.89/3384.17	o 8623
3379.26/3390.53	o 8619
3380.85/3392.12	o 8614
3382.54/3393.80	o 8612
3384.13/3395.42	o 8603
3385.72/3397.04	o 8598
3388.90/3400.25	o 8590
3390.49/3401.85	o 8587
3393.68/3405.07	o 8584
3394.37/3405.77	o 8580
3395.97/3407.35	o 8578
3399.05/3410.50	o 8575
3400.75/3412.16	o 8566
3402.34/3413.79	o 8565
3404.03/3415.40	o 8563
3405.62/3417.06	o 8556
3413.77/3425.21	o 8549
3415.36/3426.83	o 8548
3417.05/3428.55	o 8543
3418.74/3430.22	o 8537
3422.02/3433.55	o 8535
3433.85/3445.41	o 8532
3435.54/3447.13	o 8527
3437.23/3448.86	o 8524
3440.71/3452.30	o 8519
3443.99/3455.69	o 8518
3445.68/3457.39	o 8516
3447.47/3459.14	o 8514
3449.26/3460.91	o 8508
3450.95/3462.61	o 8505
3452.64/3464.31	o 8501
3454.33/3466.02	o 8497
3456.02/3467.72	o 8496
3457.71/3469.43	o 8488
3460.79/3472.60	o 8485
3462.58/3474.30	o 8484
3471.03/3482.84	o 8483
3472.72/3484.50	o 8476
3474.40/3486.20	o 8468
3475.70/3487.53	o 8458
3477.39/3489.23	o 8456
3479.08/3490.92	o 8452
3489.02/3500.93	o 8445
3490.41/3502.39	o 8438
3495.28/3507.21	o 8437
3496.87/3508.81	o 8431
3498.47/3510.44	o 8428
3500.16/3512.12	o 8426
3501.75/3513.77	o 8423
3503.45/3515.47	o 8418
3508.31/3520.37	o 8416
3511.69/3523.74	o 8414
3515.07/3527.13	o 8407
3516.67/3528.80	o 8405
3518.35/3530.49	o 8402
3520.04/3532.12	o 8399
3521.73/3533.80	o 8397
3526.80/3538.93	o 8391
3528.39/3540.56	o 8390
3529.98/3542.19	o 8384
3531.67/3543.83	o 8377
3533.26/3545.46	o 8371
3534.85/3547.08	o 8367
3538.04/3550.29	o 8359
3539.63/3551.87	o 8356
3542.91/3555.10	o 8351
3544.49/3556.71	o 8348
3547.67/3559.97	o 8342
3550.95/3563.23	o 8341
3554.23/3566.53	o 8339
3557.51/3569.84	o 8335
3559.21/3571.51	o 8328
3560.80/3573.13	o 8327
3562.39/3574.75	o 8326
3563.98/3576.39	o 8323
3565.57/3577.99	o 8318
3567.16/3579.58	o 8317
3568.75/3581.13	o 8313
3570.34/3582.75	o 8312
3573.42/3585.84	o 8310
3575.01/3587.44	o 8308
3576.60/3589.04	o 8307
3578.19/3590.64	o 8306
3579.88/3592.31	o 8302
3582.96/3595.46	o 8293
3584.65/3597.11	o 8290
3589.62/3602.11	o 8286
3591.21/3603.72	o 8285
3592.70/3605.28	o 8284
3594.30/3606.89	o 8277
3597.48/3610.06	o 8275
3599.16/3611.70	o 8272

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-1112906-1215875387/watcher-1112906-1215875387 -o /tmp/evaluation-result-1112906-1215875387/solver-1112906-1215875387 -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-1112906-1215875387.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: 2.08 1.98 1.42 4/80 11594
/proc/meminfo: memFree=1766312/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=140 CPUtime=0
/proc/11594/stat : 11594 (java) R 11592 11594 11378 0 -1 0 182 0 0 0 0 0 0 0 18 0 1 0 44236827 143360 3 996147200 0 0 4294956389 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/11594/statm: 36 16 11 9 0 2 0

[startup+0.031057 s]
/proc/loadavg: 2.08 1.98 1.42 4/80 11594
/proc/meminfo: memFree=1766312/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=861876 CPUtime=0.02
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 2084 0 1 0 1 1 0 0 18 0 5 0 44236827 882561024 1736 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 215469 1736 800 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.101072 s]
/proc/loadavg: 2.08 1.98 1.42 4/80 11594
/proc/meminfo: memFree=1766312/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=865988 CPUtime=0.08
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 3719 0 1 0 7 1 0 0 18 0 9 0 44236827 886771712 3192 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216497 3193 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301112 s]
/proc/loadavg: 2.08 1.98 1.42 4/80 11594
/proc/meminfo: memFree=1766312/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=866360 CPUtime=0.28
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 5876 0 1 0 25 3 0 0 18 0 9 0 44236827 887152640 5251 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216590 5251 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360

[startup+0.70119 s]
/proc/loadavg: 2.08 1.98 1.42 4/80 11594
/proc/meminfo: memFree=1766312/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=867360 CPUtime=0.67
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 16778 0 1 0 58 9 0 0 18 0 9 0 44236827 888176640 16150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216840 16153 1972 9 0 211368 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867360

[startup+1.50135 s]
/proc/loadavg: 2.08 1.98 1.42 3/89 11603
/proc/meminfo: memFree=1677472/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=867492 CPUtime=1.47
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 29943 0 1 0 132 15 0 0 18 0 9 0 44236827 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216873 29279 2004 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867492 CPUtime=1.14
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15764 0 1 0 105 9 0 0 25 0 9 0 44236828 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4126530588 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867492 CPUtime=0.15
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 12869 0 0 0 10 5 0 0 16 0 9 0 44236830 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44236830 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867492 CPUtime=0.15
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 613 0 0 0 15 0 0 0 16 0 9 0 44236832 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888311808 29279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867492

[startup+3.10266 s]
/proc/loadavg: 2.07 1.98 1.43 3/89 11603
/proc/meminfo: memFree=1656416/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=867492 CPUtime=3.07
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 33677 0 1 0 289 18 0 0 18 0 9 0 44236827 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216873 33011 2004 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867492 CPUtime=2.51
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15766 0 1 0 241 10 0 0 25 0 9 0 44236828 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 102689690 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867492 CPUtime=0.38
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 16600 0 0 0 32 6 0 0 17 0 9 0 44236830 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44236830 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867492 CPUtime=0.15
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 614 0 0 0 15 0 0 0 16 0 9 0 44236832 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888311808 33011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867492

[startup+6.30129 s]
/proc/loadavg: 2.07 1.98 1.43 3/89 11603
/proc/meminfo: memFree=1633824/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=867492 CPUtime=6.27
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 35616 0 1 0 607 20 0 0 18 0 9 0 44236827 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216873 34945 2006 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867492 CPUtime=5.57
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15800 0 1 0 546 11 0 0 25 0 9 0 44236828 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4126923545 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867492 CPUtime=0.5
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 18491 0 0 0 43 7 0 0 16 0 9 0 44236830 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44236830 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867492 CPUtime=0.17
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 628 0 0 0 17 0 0 0 15 0 9 0 44236832 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888311808 34945 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867492

[startup+12.7026 s]
/proc/loadavg: 2.06 1.98 1.43 4/89 11603
/proc/meminfo: memFree=1625824/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=867492 CPUtime=12.66
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 40794 0 1 0 1245 21 0 0 18 0 9 0 44236827 888311808 40118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216873 40119 2007 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867492 CPUtime=11.56
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15811 0 1 0 1145 11 0 0 25 0 9 0 44236828 888311808 40120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867492 CPUtime=0.83
/proc/11594/task/11597/stat : 11597 (java) R 11592 11594 11378 0 -1 64 23612 0 0 0 75 8 0 0 16 0 9 0 44236830 888311808 40120 996147200 134512640 134550740 4294955952 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888311808 40121 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44236830 888311808 40122 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888311808 40122 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867492 CPUtime=0.24
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 676 0 0 0 24 0 0 0 15 0 9 0 44236832 888311808 40123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888311808 40123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867492 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888311808 40124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 867492

[startup+25.5011 s]
/proc/loadavg: 2.05 1.98 1.44 3/89 11603
/proc/meminfo: memFree=1569888/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=25.45
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52529 0 1 0 2518 27 0 0 18 0 9 0 44236827 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51530 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=23.02
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15881 0 1 0 2290 12 0 0 25 0 9 0 44236828 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4126900471 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.29
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 702 0 0 0 29 0 0 0 15 0 9 0 44236832 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 867580

[startup+51.1011 s]
/proc/loadavg: 2.03 1.98 1.45 3/89 11603
/proc/meminfo: memFree=1569888/2055920 swapFree=4180696/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=51.02
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52530 0 1 0 5074 28 0 0 18 0 9 0 44236827 888401920 51531 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51531 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=48.6
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15881 0 1 0 4846 14 0 0 25 0 9 0 44236828 888401920 51531 996147200 134512640 134550740 4294955952 18446744073709551615 4126457632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51531 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51531 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51531 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51531 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.29
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 703 0 0 0 29 0 0 0 16 0 9 0 44236832 888401920 51531 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0

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

/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.32
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 716 0 0 0 32 0 0 0 16 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3271.68
Current children cumulated vsize (KiB) 867580

[startup+3342.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/91 11732
/proc/meminfo: memFree=976400/2055920 swapFree=4180716/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=3331.34
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52548 0 1 0 333018 116 0 0 18 0 9 0 44236827 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51544 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=3328.88
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15886 0 1 0 332787 101 0 0 25 0 9 0 44236828 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4126899671 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.32
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 716 0 0 0 32 0 0 0 16 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3331.34
Current children cumulated vsize (KiB) 867580

[startup+3402.31 s]
/proc/loadavg: 1.00 1.06 1.38 2/91 11732
/proc/meminfo: memFree=976336/2055920 swapFree=4180716/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=3390.99
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52548 0 1 0 338983 116 0 0 18 0 9 0 44236827 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51544 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=3388.54
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15886 0 1 0 338753 101 0 0 25 0 9 0 44236828 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4126895056 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.32
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 716 0 0 0 32 0 0 0 16 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3390.99
Current children cumulated vsize (KiB) 867580

[startup+3462.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/91 11732
/proc/meminfo: memFree=976208/2055920 swapFree=4180716/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=3450.65
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52548 0 1 0 344948 117 0 0 18 0 9 0 44236827 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51544 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=3448.19
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15886 0 1 0 344717 102 0 0 25 0 9 0 44236828 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4126898547 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.32
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 716 0 0 0 32 0 0 0 16 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3450.65
Current children cumulated vsize (KiB) 867580

[startup+3522.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/91 11732
/proc/meminfo: memFree=976016/2055920 swapFree=4180716/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=3510.3
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52548 0 1 0 350912 118 0 0 18 0 9 0 44236827 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51544 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=3507.83
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15886 0 1 0 350681 102 0 0 25 0 9 0 44236828 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4126898528 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.32
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 716 0 0 0 32 0 0 0 16 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3510.3
Current children cumulated vsize (KiB) 867580

[startup+3582.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/91 11732
/proc/meminfo: memFree=976016/2055920 swapFree=4180716/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=3569.94
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52548 0 1 0 356876 118 0 0 18 0 9 0 44236827 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51544 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=3567.48
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15886 0 1 0 356645 103 0 0 25 0 9 0 44236828 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4126900519 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.32
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 716 0 0 0 32 0 0 0 16 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3569.94
Current children cumulated vsize (KiB) 867580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 1.00 1.02 1.30 2/91 11732
/proc/meminfo: memFree=976016/2055920 swapFree=4180716/4192956
[pid=11594] ppid=11592 vsize=867580 CPUtime=3600.06
/proc/11594/stat : 11594 (java) S 11592 11594 11378 0 -1 0 52548 0 1 0 359888 118 0 0 18 0 9 0 44236827 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11594/statm: 216895 51544 2640 9 0 211401 0
[pid=11594/tid=11596] ppid=11592 vsize=867580 CPUtime=3597.6
/proc/11594/task/11596/stat : 11596 (java) R 11592 11594 11378 0 -1 64 15886 0 1 0 359657 103 0 0 25 0 9 0 44236828 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4126898999 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11597] ppid=11592 vsize=867580 CPUtime=2.1
/proc/11594/task/11597/stat : 11597 (java) S 11592 11594 11378 0 -1 64 35249 0 0 0 197 13 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11598] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11598/stat : 11598 (java) S 11592 11594 11378 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11599] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11599/stat : 11599 (java) S 11592 11594 11378 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44236830 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11600] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11600/stat : 11600 (java) S 11592 11594 11378 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11601] ppid=11592 vsize=867580 CPUtime=0.32
/proc/11594/task/11601/stat : 11601 (java) S 11592 11594 11378 0 -1 64 716 0 0 0 32 0 0 0 16 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11594/tid=11602] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11602/stat : 11602 (java) S 11592 11594 11378 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11594/tid=11603] ppid=11592 vsize=867580 CPUtime=0
/proc/11594/task/11603/stat : 11603 (java) S 11592 11594 11378 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44236832 888401920 51544 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 867580

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

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

Child status: 143
Real time (s): 3612.68
CPU time (s): 3600.14
CPU user time (s): 3598.92
CPU system time (s): 1.21581
CPU usage (%): 99.6529
Max. virtual memory (cumulated for all children) (KiB): 867996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.92
system time used= 1.21582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52562
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74917
involuntary context switches= 127731

runsolver used 4.73128 second user time and 11.5902 second system time

The end

Launcher Data (download as text)

Begin job on node66 at 2008-07-12 17:09:48
IDJOB=1112906
IDBENCH=61494
IDSOLVER=360
FILE ID=node66/1112906-1215875387
PBS_JOBID= 7903593
Free space on /tmp= 66408 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-1.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-1112906-1215875387/watcher-1112906-1215875387 -o /tmp/evaluation-result-1112906-1215875387/solver-1112906-1215875387 -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-1112906-1215875387.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0ec16ab311064bfe5172278fde3994e0
RANDOM SEED=1953506228

node66.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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1766792 kB
Buffers:          4628 kB
Cached:          56768 kB
SwapCached:       5992 kB
Active:         230828 kB
Inactive:        10152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766792 kB
SwapTotal:     4192956 kB
SwapFree:      4180696 kB
Dirty:           10852 kB
Writeback:           0 kB
Mapped:         195880 kB
Slab:            33184 kB
Committed_AS:   915368 kB
PageTables:       2068 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= 66404 MiB
End job on node66 at 2008-07-12 18:10:03