Trace number 1112905

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-wNo Cert. 3600.14 3628.39

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.01/0.09	
0.01/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-wdeg.xml
0.27/0.32	   
0.27/0.32	   instance
0.27/0.32	     name=HOME/instance-1112905-1215875362.xml
0.27/0.36	   
0.27/0.36	   domains being loaded...
0.38/0.47	   
0.38/0.47	   variables being loaded...
0.97/1.00	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778  nbTotalValues=1942250
0.97/1.00	       =>  wckTime=0.757  cpuTime=0.53  mem=45M385
0.97/1.00	   
0.97/1.00	   predicates being loaded...
0.97/1.06	   
0.97/1.06	   constraints being loaded...
10.98/11.17	   
10.98/11.17	   INFO : Stopping converting binary constraints (cpu=10.13, mem = 111M511)
15.64/15.83	     nbConstraints=63204  nbConvertedConstraints=42  nbConvertConstraintsChecks=24608164  nbExtensionStructures=40
15.64/15.83	     nbSharedExtensionStructures=2  nbConflictsStructures=85  nbSharedConflictsStructures=186
15.64/15.83	     nbUnbuiltConflictsStructures=4795  nbSharedBinaryRepresentations=55998  nbEvaluationManagers=4840
15.64/15.83	     nbSharedEvaluationManagers=58322  minDegree=3  maxDegree=115  minArity=2  maxArity=2
15.64/15.83	       =>  wckTime=15.587  cpuTime=13.69  mem=160M193
16.33/16.59	   
16.33/16.59	   solver LocalSearchSolver being built... 
16.42/16.64	       =>  wckTime=16.403  cpuTime=13.73  mem=135M339
17.11/17.33	
17.11/17.34	s SATISFIABLE
17.11/17.34	o 17548
17.52/17.79	o 17534
17.82/18.07	o 17520
18.02/18.22	o 17500
18.21/18.43	o 17488
18.51/18.79	o 17474
18.81/19.08	o 17453
19.01/19.28	o 17443
19.40/19.68	o 17436
19.70/19.97	o 17430
20.00/20.27	o 17425
20.30/20.56	o 17410
20.49/20.74	o 17409
20.69/20.94	o 17396
20.89/21.14	o 17381
21.09/21.30	o 17370
21.19/21.48	o 17362
21.39/21.65	o 17356
21.58/21.83	o 17354
21.78/22.01	o 17352
21.98/22.20	o 17351
22.08/22.32	o 17350
22.18/22.43	o 17346
22.28/22.57	o 17335
22.67/22.92	o 17327
22.77/23.10	o 17319
22.96/23.23	o 17304
23.06/23.35	o 17296
23.26/23.54	o 17294
23.36/23.68	o 17293
23.76/24.00	o 17283
23.86/24.19	o 17269
24.05/24.34	o 17261
24.15/24.49	o 17254
24.35/24.65	o 17248
24.45/24.73	o 17243
24.55/24.86	o 17239
24.75/25.03	o 17236
24.85/25.17	o 17235
25.05/25.33	o 17234
25.34/25.63	o 17231
25.54/25.84	o 17216
25.74/26.03	o 17207
25.94/26.28	o 17192
26.14/26.42	o 17180
26.24/26.56	o 17178
26.44/26.71	o 17171
26.64/26.93	o 17165
26.74/27.01	o 17161
26.84/27.12	o 17160
27.13/27.43	o 17156
27.23/27.52	o 17147
27.43/27.75	o 17135
27.93/28.25	o 17128
28.12/28.42	o 17121
28.32/28.64	o 17114
28.51/28.82	o 17110
28.71/29.01	o 17108
28.91/29.24	o 17100
29.31/29.65	o 17098
29.50/29.87	o 17090
29.80/30.10	o 17088
30.20/30.53	o 17084
30.40/30.71	o 17078
30.59/30.93	o 17077
30.79/31.16	o 17073
30.99/31.37	o 17062
31.29/31.63	o 17053
31.49/31.85	o 17044
31.68/32.05	o 17036
32.08/32.44	o 17033
32.28/32.65	o 17031
32.48/32.86	o 17030
32.68/33.05	o 17024
32.87/33.24	o 17017
33.07/33.42	o 17007
33.27/33.66	o 16992
33.46/33.88	o 16980
33.76/34.12	o 16977
33.96/34.35	o 16971
34.16/34.56	o 16968
34.36/34.73	o 16964
34.55/34.93	o 16958
34.75/35.14	o 16956
34.95/35.35	o 16947
35.25/35.61	o 16938
35.45/35.81	o 16926
35.65/36.07	o 16922
35.84/36.25	o 16915
36.04/36.47	o 16910
36.34/36.72	o 16905
36.54/36.96	o 16895
36.73/37.14	o 16891
36.93/37.33	o 16889
37.03/37.48	o 16888
37.23/37.62	o 16886
37.43/37.86	o 16884
37.82/38.22	o 16880
38.02/38.42	o 16866
38.21/38.65	o 16863
38.41/38.86	o 16860
38.71/39.10	o 16859
38.91/39.30	o 16850
39.11/39.59	o 16848
39.50/39.90	o 16847
39.70/40.19	o 16846
40.00/40.43	o 16844
40.20/40.64	o 16834
40.49/40.93	o 16823
41.10/41.50	o 16814
41.30/41.72	o 16804
41.59/42.07	o 16798
41.89/42.32	o 16788
42.09/42.57	o 16783
42.49/42.92	o 16778
42.68/43.18	o 16767
42.98/43.43	o 16763
43.18/43.66	o 16756
43.48/43.92	o 16752
43.67/44.17	o 16748
43.97/44.41	o 16747
44.37/44.87	o 16744
44.67/45.19	o 16741
44.96/45.43	o 16739
45.66/46.12	o 16734
45.85/46.33	o 16729
46.15/46.65	o 16725
47.04/47.50	o 16720
47.24/47.77	o 16719
47.63/48.11	o 16716
48.33/48.84	o 16704
48.82/49.34	o 16699
49.02/49.59	o 16697
49.22/49.75	o 16696
49.42/49.95	o 16683
49.72/50.25	o 16680
49.91/50.46	o 16678
50.41/50.99	o 16671
50.71/51.28	o 16670
51.00/51.51	o 16669
51.50/52.03	o 16664
51.70/52.28	o 16658
51.99/52.57	o 16649
52.19/52.80	o 16645
52.49/53.04	o 16639
52.79/53.32	o 16635
52.99/53.55	o 16631
53.28/53.82	o 16627
53.48/54.06	o 16625
53.78/54.34	o 16621
54.08/54.64	o 16613
54.37/54.94	o 16612
54.57/55.12	o 16600
54.77/55.34	o 16599
54.97/55.58	o 16592
55.17/55.77	o 16589
55.47/56.03	o 16584
55.66/56.25	o 16578
55.96/56.51	o 16577
56.46/57.05	o 16569
56.95/57.57	o 16566
57.25/57.86	o 16563
57.55/58.18	o 16554
57.94/58.53	o 16545
58.54/59.10	o 16536
58.74/59.37	o 16529
59.43/60.02	o 16519
59.63/60.29	o 16518
59.93/60.54	o 16514
60.22/60.82	o 16511
60.42/61.07	o 16507
60.72/61.38	o 16505
61.02/61.62	o 16502
61.21/61.85	o 16500
61.51/62.10	o 16489
61.71/62.36	o 16487
61.91/62.60	o 16486
62.20/62.86	o 16477
62.50/63.11	o 16468
62.80/63.41	o 16462
63.49/64.15	o 16455
63.79/64.47	o 16451
64.09/64.74	o 16438
64.38/65.05	o 16435
64.68/65.34	o 16428
64.88/65.59	o 16424
65.17/65.86	o 16419
65.47/66.14	o 16417
65.77/66.45	o 16408
66.07/66.72	o 16406
66.36/67.01	o 16395
66.56/67.30	o 16392
66.96/67.60	o 16386
67.16/67.84	o 16382
67.35/68.09	o 16370
67.65/68.33	o 16365
67.95/68.66	o 16364
68.15/68.89	o 16358
68.44/69.10	o 16356
68.75/69.40	o 16352
68.95/69.64	o 16340
69.25/69.93	o 16337
69.54/70.28	o 16334
69.83/70.57	o 16331
70.23/70.91	o 16327
70.53/71.21	o 16313
70.73/71.42	o 16310
70.93/71.65	o 16298
71.12/71.87	o 16293
71.42/72.16	o 16289
72.01/72.79	o 16287
72.41/73.10	o 16285
72.71/73.41	o 16272
73.01/73.71	o 16264
73.30/74.03	o 16261
73.60/74.30	o 16254
74.10/74.89	o 16244
74.39/75.16	o 16237
74.79/75.51	o 16229
75.08/75.83	o 16213
75.88/76.60	o 16211
76.17/76.97	o 16207
76.57/77.33	o 16204
76.97/77.74	o 16196
77.36/78.18	o 16192
78.15/78.95	o 16191
78.55/79.33	o 16182
78.85/79.65	o 16169
79.15/79.98	o 16157
79.64/80.42	o 16146
79.94/80.79	o 16142
80.73/81.57	o 16138
81.81/82.65	o 16136
82.11/82.99	o 16132
82.51/83.36	o 16130
82.90/83.77	o 16122
83.30/84.17	o 16120
83.70/84.58	o 16117
84.09/84.92	o 16107
84.39/85.24	o 16097
84.69/85.57	o 16091
85.08/85.93	o 16086
85.48/86.33	o 16082
85.88/86.74	o 16072
86.27/87.12	o 16063
86.57/87.49	o 16056
86.98/87.83	o 16049
87.27/88.18	o 16046
87.57/88.46	o 16041
87.87/88.78	o 16038
88.27/89.12	o 16037
88.86/89.74	o 16027
89.55/90.44	o 16025
89.85/90.76	o 16018
90.54/91.45	o 16014
90.84/91.76	o 16004
91.24/92.12	o 16000
91.63/92.50	o 15995
92.03/92.91	o 15993
92.72/93.67	o 15984
93.22/94.10	o 15978
93.61/94.52	o 15974
94.11/95.06	o 15970
94.51/95.44	o 15965
95.30/96.22	o 15963
95.69/96.63	o 15959
97.28/98.24	o 15952
98.57/99.56	o 15951
101.05/102.05	o 15947
101.54/102.57	o 15940
103.03/104.08	o 15938
103.53/104.54	o 15937
104.02/105.02	o 15936
104.52/105.58	o 15927
105.11/106.10	o 15918
105.61/106.61	o 15917
106.10/107.12	o 15914
106.59/107.60	o 15912
106.99/108.03	o 15908
107.49/108.50	o 15905
107.98/109.08	o 15897
108.48/109.55	o 15895
109.47/110.57	o 15891
110.07/111.14	o 15888
110.56/111.65	o 15886
111.06/112.15	o 15878
111.65/112.70	o 15868
113.03/114.16	o 15866
114.72/115.87	o 15854
116.40/117.60	o 15850
117.10/118.21	o 15846
117.59/118.77	o 15845
118.19/119.31	o 15843
118.68/119.85	o 15842
119.28/120.42	o 15832
119.78/120.91	o 15827
120.38/121.51	o 15824
121.76/122.91	o 15817
122.26/123.41	o 15816
122.66/123.85	o 15812
123.25/124.41	o 15802
123.65/124.86	o 15794
125.13/126.33	o 15786
125.73/126.92	o 15783
126.22/127.41	o 15776
126.62/127.87	o 15770
127.12/128.33	o 15764
127.61/128.80	o 15762
128.11/129.33	o 15760
129.00/130.24	o 15759
129.89/131.14	o 15754
130.39/131.61	o 15747
130.88/132.12	o 15737
131.38/132.61	o 15731
131.77/133.10	o 15723
132.27/133.58	o 15720
132.76/134.06	o 15709
133.26/134.56	o 15704
133.75/135.04	o 15696
134.15/135.49	o 15686
134.75/136.00	o 15685
135.24/136.56	o 15675
135.74/137.01	o 15674
136.13/137.48	o 15665
136.63/137.92	o 15659
137.51/138.82	o 15651
138.01/139.33	o 15643
138.50/139.81	o 15641
139.59/140.92	o 15638
140.09/141.47	o 15632
140.78/142.17	o 15626
141.48/142.80	o 15621
141.97/143.38	o 15608
142.58/143.95	o 15605
143.17/144.59	o 15600
143.77/145.16	o 15599
146.14/147.50	o 15598
147.83/149.25	o 15596
148.42/149.82	o 15592
148.92/150.33	o 15583
149.51/150.96	o 15576
150.60/152.07	o 15570
151.69/153.14	o 15567
152.28/153.71	o 15566
152.88/154.32	o 15565
153.38/154.88	o 15558
153.97/155.44	o 15555
154.57/156.01	o 15546
155.16/156.64	o 15545
155.75/157.25	o 15544
157.14/158.63	o 15540
157.73/159.26	o 15534
158.43/159.93	o 15528
159.12/160.63	o 15520
159.82/161.33	o 15515
160.41/161.94	o 15513
161.00/162.54	o 15509
161.60/163.16	o 15505
162.29/163.89	o 15495
162.89/164.49	o 15494
163.58/165.14	o 15482
164.18/165.73	o 15472
164.86/166.42	o 15465
166.15/167.74	o 15464
166.84/168.42	o 15455
167.44/169.00	o 15453
168.13/169.71	o 15448
168.73/170.32	o 15442
169.32/170.93	o 15437
169.92/171.57	o 15435
170.51/172.17	o 15430
171.21/172.87	o 15422
171.91/173.51	o 15421
173.20/174.81	o 15415
173.89/175.56	o 15411
174.48/176.18	o 15409
175.17/176.85	o 15405
175.87/177.59	o 15403
176.56/178.25	o 15402
177.95/179.69	o 15395
178.74/180.44	o 15391
179.44/181.19	o 15384
180.13/181.88	o 15379
180.92/182.61	o 15376
181.71/183.42	o 15367
182.41/184.16	o 15365
183.20/184.90	o 15352
183.80/185.54	o 15343
184.49/186.20	o 15341
185.18/186.97	o 15331
185.98/187.70	o 15327
186.67/188.47	o 15322
187.46/189.22	o 15314
188.16/189.97	o 15313
188.85/190.68	o 15312
189.64/191.46	o 15303
190.34/192.18	o 15297
191.92/193.74	o 15295
192.71/194.58	o 15287
193.61/195.40	o 15286
194.30/196.16	o 15285
195.09/196.96	o 15278
195.88/197.72	o 15276
196.68/198.54	o 15265
197.37/199.26	o 15259
198.96/200.81	o 15255
199.65/201.52	o 15254
200.34/202.22	o 15252
201.05/202.94	o 15249
201.84/203.71	o 15242
202.53/204.47	o 15241
203.33/205.21	o 15233
204.12/206.01	o 15225
204.81/206.74	o 15224
205.61/207.55	o 15216
206.30/208.27	o 15211
207.09/209.08	o 15201
207.88/209.85	o 15196
208.58/210.56	o 15189
209.27/211.28	o 15181
209.97/212.00	o 15180
215.42/217.42	o 15176
216.11/218.17	o 15174
216.91/218.99	o 15163
217.70/219.74	o 15156
219.28/221.33	o 15147
221.56/223.61	o 15139
222.26/224.34	o 15138
223.05/225.18	o 15130
224.63/226.78	o 15123
225.43/227.52	o 15120
226.22/228.32	o 15115
227.01/229.18	o 15108
227.81/229.91	o 15104
228.50/230.69	o 15100
229.39/231.54	o 15093
230.08/232.27	o 15089
230.88/233.02	o 15086
231.57/233.74	o 15077
232.86/235.07	o 15072
233.55/235.76	o 15068
234.35/236.53	o 15062
235.14/237.31	o 15058
235.83/238.00	o 15045
236.43/238.69	o 15041
238.01/240.26	o 15034
238.70/240.96	o 15024
239.40/241.65	o 15018
240.09/242.37	o 15015
240.79/243.08	o 15011
241.48/243.76	o 15005
242.17/244.49	o 15001
242.87/245.17	o 14997
243.56/245.85	o 14993
244.25/246.58	o 14989
244.94/247.24	o 14986
245.64/247.97	o 14983
246.33/248.68	o 14981
247.03/249.31	o 14979
247.72/250.00	o 14978
248.42/250.71	o 14977
249.12/251.41	o 14975
251.49/253.89	o 14967
253.28/255.63	o 14966
254.07/256.46	o 14957
254.86/257.27	o 14954
255.76/258.14	o 14946
256.55/258.94	o 14942
257.34/259.75	o 14939
258.23/260.63	o 14937
258.93/261.38	o 14924
260.61/263.10	o 14922
261.40/263.88	o 14918
264.07/266.55	o 14916
264.97/267.45	o 14905
266.85/269.39	o 14896
267.94/270.42	o 14895
268.93/271.40	o 14894
269.93/272.45	o 14893
270.92/273.40	o 14884
271.91/274.40	o 14883
273.79/276.40	o 14881
274.88/277.41	o 14878
275.77/278.38	o 14873
276.76/279.35	o 14866
278.74/281.32	o 14861
280.63/283.27	o 14856
282.61/285.28	o 14855
283.60/286.20	o 14853
284.49/287.17	o 14851
285.38/288.07	o 14849
287.46/290.10	o 14845
288.36/291.04	o 14842
289.35/292.05	o 14841
291.23/293.94	o 14840
292.22/294.91	o 14833
293.11/295.83	o 14830
294.10/296.82	o 14822
295.00/297.78	o 14812
295.99/298.78	o 14809
296.98/299.78	o 14807
297.97/300.70	o 14803
299.85/302.63	o 14797
300.74/303.54	o 14794
301.63/304.45	o 14788
304.41/307.25	o 14780
305.30/308.19	o 14777
306.19/309.08	o 14774
307.18/310.04	o 14767
309.27/312.10	o 14760
310.17/313.06	o 14757
311.15/314.04	o 14751
312.04/314.99	o 14744
313.03/315.90	o 14740
313.93/316.82	o 14734
314.82/317.79	o 14729
315.81/318.73	o 14724
316.71/319.61	o 14721
317.50/320.46	o 14717
318.39/321.38	o 14714
319.38/322.32	o 14711
320.17/323.19	o 14701
321.07/324.06	o 14700
322.75/325.77	o 14694
325.33/328.39	o 14689
326.22/329.27	o 14679
327.11/330.14	o 14672
327.90/330.99	o 14666
328.80/331.88	o 14660
331.38/334.44	o 14656
332.17/335.23	o 14655
337.02/340.15	o 14654
338.02/341.10	o 14646
340.50/343.67	o 14642
341.49/344.63	o 14639
342.38/345.56	o 14637
345.16/348.34	o 14635
347.93/351.18	o 14631
349.82/353.10	o 14624
350.81/354.01	o 14618
351.70/354.92	o 14609
353.58/356.81	o 14603
354.47/357.77	o 14601
355.56/358.80	o 14600
356.55/359.81	o 14597
357.35/360.69	o 14594
358.25/361.59	o 14582
359.24/362.56	o 14581
360.13/363.47	o 14574
363.69/367.01	o 14566
364.58/367.96	o 14562
366.57/369.96	o 14556
367.46/370.86	o 14553
368.45/371.83	o 14548
370.53/373.91	o 14544
371.52/374.94	o 14538
372.61/376.02	o 14532
373.50/376.95	o 14526
375.48/378.95	o 14520
376.58/380.01	o 14516
377.57/381.03	o 14509
379.55/383.03	o 14505
380.44/383.93	o 14498
381.33/384.89	o 14497
382.32/385.87	o 14495
383.32/386.87	o 14493
385.40/388.94	o 14480
386.39/389.95	o 14477
387.39/391.00	o 14466
389.36/392.94	o 14458
390.36/393.97	o 14452
391.44/395.09	o 14447
392.53/396.18	o 14439
393.62/397.29	o 14435
394.71/398.38	o 14432
395.71/399.39	o 14430
396.80/400.47	o 14428
397.89/401.56	o 14426
398.98/402.62	o 14425
399.97/403.66	o 14417
402.15/405.87	o 14414
403.24/406.99	o 14407
405.42/409.18	o 14406
406.51/410.24	o 14398
408.69/412.46	o 14394
409.78/413.59	o 14390
410.87/414.70	o 14377
412.06/415.80	o 14369
413.05/416.83	o 14362
414.04/417.87	o 14359
415.13/418.92	o 14353
417.11/420.91	o 14351
418.10/421.97	o 14345
419.29/423.13	o 14343
420.38/424.28	o 14342
421.57/425.42	o 14338
422.66/426.54	o 14330
423.75/427.62	o 14329
424.84/428.77	o 14328
425.93/429.88	o 14327
427.12/431.05	o 14324
428.21/432.15	o 14320
429.30/433.27	o 14317
430.39/434.39	o 14312
431.58/435.53	o 14304
432.77/436.72	o 14297
433.86/437.87	o 14291
435.04/439.07	o 14285
436.23/440.20	o 14280
437.32/441.31	o 14276
438.41/442.44	o 14267
439.32/443.39	o 14266
440.60/444.61	o 14258
442.79/446.83	o 14254
443.78/447.88	o 14251
444.87/448.96	o 14246
445.96/450.03	o 14238
447.05/451.18	o 14235
448.14/452.28	o 14231
449.23/453.34	o 14227
450.22/454.40	o 14220
451.31/455.46	o 14212
452.30/456.49	o 14207
453.39/457.59	o 14205
455.47/459.63	o 14197
456.46/460.65	o 14191
457.55/461.73	o 14189
458.65/462.82	o 14186
459.74/463.96	o 14178
460.83/465.09	o 14173
461.92/466.20	o 14165
463.01/467.28	o 14160
464.20/468.44	o 14155
466.48/470.77	o 14154
467.57/471.88	o 14144
468.66/472.98	o 14141
469.75/474.07	o 14136
470.84/475.17	o 14128
471.93/476.28	o 14124
473.12/477.40	o 14121
474.11/478.48	o 14120
475.20/479.51	o 14115
476.20/480.57	o 14107
477.29/481.65	o 14103
478.38/482.72	o 14097
479.47/483.82	o 14091
480.46/484.85	o 14087
481.54/485.97	o 14084
482.73/487.10	o 14080
483.83/488.21	o 14076
484.92/489.37	o 14071
486.11/490.52	o 14064
487.20/491.62	o 14062
489.57/494.01	o 14059
490.66/495.18	o 14054
492.85/497.37	o 14053
494.03/498.51	o 14051
495.12/499.61	o 14039
496.22/500.73	o 14038
497.31/501.82	o 14036
498.40/502.93	o 14032
499.49/504.07	o 14031
500.58/505.14	o 14030
501.67/506.25	o 14027
502.66/507.25	o 14024
503.65/508.27	o 14022
504.74/509.34	o 14020
505.73/510.37	o 14018
506.82/511.42	o 14014
507.81/512.46	o 14012
508.90/513.58	o 14011
512.27/516.91	o 14000
513.36/518.02	o 13998
515.54/520.21	o 13997
516.54/521.22	o 13993
517.52/522.28	o 13992
518.61/523.32	o 13991
519.70/524.43	o 13990
520.70/525.44	o 13982
521.69/526.50	o 13975
523.97/528.72	o 13969
525.16/529.95	o 13961
526.35/531.17	o 13958
527.54/532.37	o 13957
528.73/533.52	o 13956
529.82/534.66	o 13951
531.01/535.86	o 13948
532.10/536.95	o 13946
533.19/538.06	o 13944
534.19/539.09	o 13940
535.28/540.16	o 13932
536.37/541.29	o 13931
537.55/542.41	o 13922
538.64/543.56	o 13920
539.84/544.75	o 13914
540.93/545.89	o 13911
543.21/548.18	o 13907
544.40/549.30	o 13902
545.39/550.37	o 13892
546.67/551.62	o 13885
547.76/552.77	o 13876
548.95/553.95	o 13874
551.43/556.40	o 13872
552.62/557.63	o 13870
553.81/558.87	o 13868
564.12/569.22	o 13865
565.41/570.53	o 13863
566.69/571.87	o 13857
568.18/573.31	o 13855
569.57/574.78	o 13844
572.05/577.20	o 13839
573.33/578.56	o 13836
574.72/579.91	o 13832
577.40/582.65	o 13828
578.69/583.95	o 13825
581.36/586.68	o 13819
584.24/589.51	o 13813
587.01/592.34	o 13806
594.16/599.52	o 13803
595.45/600.88	o 13801
596.84/602.24	o 13800
598.32/603.74	o 13799
599.71/605.15	o 13797
601.00/606.48	o 13795
602.39/607.86	o 13793
605.06/610.51	o 13788
609.22/614.72	o 13784
610.61/616.11	o 13778
611.90/617.41	o 13771
614.67/620.24	o 13763
617.35/622.92	o 13761
618.64/624.27	o 13752
619.93/625.59	o 13749
621.41/627.01	o 13745
624.09/629.70	o 13738
625.38/631.09	o 13733
626.66/632.35	o 13724
628.05/633.78	o 13722
629.44/635.16	o 13714
630.83/636.52	o 13713
632.21/637.91	o 13711
633.50/639.28	o 13710
634.89/640.61	o 13704
636.18/641.94	o 13698
638.85/644.66	o 13690
640.14/645.95	o 13686
641.43/647.29	o 13682
642.91/648.71	o 13681
645.49/651.33	o 13677
646.88/652.77	o 13675
648.17/654.09	o 13669
649.55/655.45	o 13668
652.23/658.16	o 13665
653.52/659.44	o 13664
654.81/660.76	o 13656
656.10/662.09	o 13652
657.58/663.57	o 13641
659.07/665.00	o 13640
660.36/666.39	o 13639
661.84/667.86	o 13631
663.23/669.21	o 13625
664.62/670.61	o 13618
666.01/672.04	o 13613
667.49/673.57	o 13609
670.47/676.58	o 13603
674.92/681.01	o 13595
676.31/682.49	o 13593
677.90/684.01	o 13591
679.29/685.45	o 13588
680.78/686.92	o 13582
682.17/688.31	o 13575
683.56/689.75	o 13574
685.05/691.29	o 13571
688.02/694.25	o 13565
689.41/695.67	o 13558
690.80/697.10	o 13552
692.38/698.63	o 13547
693.77/700.04	o 13543
695.16/701.46	o 13540
696.65/702.94	o 13536
698.03/704.39	o 13533
699.42/705.77	o 13528
700.91/707.30	o 13526
702.49/708.82	o 13522
703.98/710.33	o 13519
705.56/711.91	o 13512
707.05/713.45	o 13505
726.08/732.67	o 13497
727.87/734.44	o 13490
729.65/736.21	o 13486
731.34/737.91	o 13475
733.02/739.61	o 13471
734.71/741.39	o 13470
736.59/743.22	o 13458
741.65/748.32	o 13450
743.33/750.04	o 13449
744.92/751.67	o 13441
746.70/753.44	o 13433
748.29/755.08	o 13427
749.97/756.74	o 13420
751.56/758.36	o 13415
753.25/760.01	o 13407
754.74/761.58	o 13401
756.42/763.24	o 13394
758.01/764.85	o 13388
762.77/769.61	o 13383
764.35/771.25	o 13380
765.94/772.80	o 13379
767.53/774.42	o 13372
769.11/776.09	o 13365
772.48/779.47	o 13364
775.66/782.66	o 13359
777.24/784.28	o 13351
778.82/785.87	o 13350
782.10/789.16	o 13345
785.17/792.25	o 13338
786.76/793.87	o 13332
788.34/795.47	o 13326
794.59/801.79	o 13320
796.17/803.37	o 13316
797.76/804.92	o 13314
799.35/806.50	o 13310
802.42/809.65	o 13303
804.11/811.31	o 13294
805.59/812.87	o 13290
807.18/814.44	o 13288
808.66/815.99	o 13284
810.25/817.54	o 13278
811.74/819.08	o 13277
813.33/820.62	o 13276
814.71/822.08	o 13275
816.20/823.52	o 13268
817.69/825.07	o 13267
819.27/826.61	o 13260
820.76/828.16	o 13255
822.35/829.72	o 13252
823.93/831.31	o 13245
825.52/832.90	o 13244
826.91/834.37	o 13243
828.49/836.00	o 13238
830.08/837.58	o 13237
831.76/839.22	o 13229
834.94/842.43	o 13227
836.52/844.04	o 13226
839.59/847.15	o 13221
846.94/854.57	o 13214
848.52/856.11	o 13207
849.91/857.56	o 13203
851.40/859.08	o 13202
852.88/860.57	o 13197
854.47/862.10	o 13192
855.86/863.59	o 13188
861.90/869.68	o 13180
863.39/871.19	o 13176
864.87/872.69	o 13172
866.36/874.17	o 13167
867.95/875.70	o 13163
869.33/877.15	o 13155
870.82/878.66	o 13150
872.30/880.15	o 13148
873.79/881.60	o 13145
875.28/883.18	o 13142
876.76/884.64	o 13139
878.25/886.12	o 13136
879.74/887.61	o 13133
881.22/889.10	o 13129
882.71/890.61	o 13127
884.20/892.13	o 13125
885.69/893.63	o 13123
887.17/895.15	o 13121
888.75/896.75	o 13116
890.24/898.23	o 13114
893.12/901.20	o 13112
894.61/902.68	o 13110
896.09/904.17	o 13108
897.58/905.66	o 13101
898.97/907.09	o 13100
900.46/908.55	o 13099
901.94/910.06	o 13098
903.33/911.47	o 13096
904.82/912.97	o 13094
906.40/914.51	o 13090
907.89/916.02	o 13089
909.47/917.64	o 13088
912.55/920.72	o 13083
913.93/922.19	o 13075
919.98/928.20	o 13070
921.47/929.77	o 13069
924.55/932.87	o 13067
926.24/934.51	o 13065
927.72/936.09	o 13060
929.31/937.65	o 13054
930.89/939.21	o 13052
933.97/942.38	o 13045
935.65/944.02	o 13036
937.24/945.67	o 13029
938.72/947.14	o 13023
940.21/948.63	o 13013
941.70/950.14	o 13008
943.18/951.68	o 12999
944.77/953.21	o 12992
946.36/954.81	o 12989
947.84/956.34	o 12987
952.40/960.92	o 12979
953.79/962.37	o 12978
955.27/963.85	o 12975
959.34/968.00	o 12973
960.73/969.37	o 12965
962.22/970.84	o 12962
963.60/972.26	o 12954
965.09/973.74	o 12947
967.86/976.52	o 12944
971.93/980.69	o 12942
973.31/982.10	o 12940
974.70/983.48	o 12939
980.16/988.95	o 12934
981.44/990.29	o 12928
982.93/991.73	o 12921
984.22/993.05	o 12914
985.51/994.40	o 12908
988.28/997.14	o 12903
989.67/998.53	o 12899
991.06/999.97	o 12895
992.34/1001.25	o 12887
993.64/1002.58	o 12885
995.03/1003.95	o 12880
996.41/1005.33	o 12871
997.80/1006.74	o 12867
999.19/1008.12	o 12858
1000.57/1009.51	o 12853
1001.96/1010.91	o 12846
1003.25/1012.28	o 12843
1004.74/1013.73	o 12841
1007.51/1016.57	o 12831
1008.90/1017.96	o 12828
1011.68/1020.78	o 12812
1014.46/1023.51	o 12811
1015.75/1024.85	o 12806
1017.13/1026.25	o 12800
1018.42/1027.60	o 12797
1019.91/1029.03	o 12792
1021.40/1030.52	o 12791
1022.78/1031.91	o 12783
1025.56/1034.73	o 12776
1033.88/1043.20	o 12769
1035.27/1044.55	o 12767
1036.66/1045.90	o 12766
1039.34/1048.66	o 12763
1040.73/1050.01	o 12759
1042.01/1051.39	o 12754
1043.30/1052.70	o 12746
1044.69/1054.03	o 12745
1048.85/1058.22	o 12744
1050.24/1059.63	o 12736
1051.63/1061.04	o 12729
1054.50/1063.91	o 12726
1055.89/1065.31	o 12719
1058.67/1068.19	o 12716
1060.15/1069.65	o 12713
1061.54/1071.10	o 12709
1063.03/1072.54	o 12701
1064.41/1073.97	o 12700
1065.99/1075.50	o 12693
1067.38/1076.92	o 12687
1068.77/1078.38	o 12684
1070.36/1079.93	o 12682
1071.84/1081.48	o 12673
1073.43/1083.02	o 12664
1076.30/1085.91	o 12662
1079.28/1088.93	o 12659
1080.67/1090.37	o 12654
1083.65/1093.38	o 12652
1085.04/1094.79	o 12650
1086.53/1096.26	o 12648
1088.01/1097.73	o 12644
1089.40/1099.18	o 12637
1090.78/1100.58	o 12632
1092.17/1101.97	o 12629
1093.56/1103.37	o 12624
1094.95/1104.75	o 12621
1096.34/1106.16	o 12618
1097.72/1107.58	o 12610
1100.40/1110.28	o 12605
1101.79/1111.66	o 12599
1103.27/1113.11	o 12595
1104.66/1114.50	o 12588
1105.95/1115.88	o 12586
1107.33/1117.24	o 12582
1108.72/1118.61	o 12578
1110.01/1119.97	o 12574
1111.40/1121.32	o 12568
1115.36/1125.39	o 12559
1116.65/1126.68	o 12549
1118.04/1128.00	o 12543
1119.33/1129.35	o 12540
1122.00/1132.08	o 12538
1123.39/1133.46	o 12536
1124.68/1134.79	o 12533
1126.06/1136.13	o 12531
1127.35/1137.42	o 12526
1128.74/1138.84	o 12523
1130.13/1140.24	o 12517
1131.61/1141.71	o 12516
1133.00/1143.11	o 12505
1134.39/1144.53	o 12501
1135.77/1145.95	o 12499
1137.17/1147.32	o 12497
1138.45/1148.65	o 12494
1141.23/1151.40	o 12493
1142.22/1152.41	o 12484
1144.80/1155.09	o 12481
1147.58/1157.85	o 12478
1148.86/1159.20	o 12476
1151.54/1161.86	o 12475
1152.83/1163.19	o 12468
1154.23/1164.50	o 12462
1155.41/1165.79	o 12456
1156.80/1167.15	o 12451
1158.09/1168.47	o 12447
1159.48/1169.85	o 12444
1160.77/1171.18	o 12441
1162.15/1172.60	o 12438
1163.54/1173.95	o 12432
1164.83/1175.27	o 12430
1166.22/1176.62	o 12428
1167.50/1177.97	o 12427
1168.89/1179.39	o 12422
1170.28/1180.70	o 12420
1171.57/1182.00	o 12418
1172.85/1183.38	o 12415
1174.15/1184.68	o 12411
1175.43/1185.99	o 12404
1176.82/1187.36	o 12402
1178.21/1188.71	o 12400
1179.50/1190.09	o 12398
1180.89/1191.49	o 12396
1182.38/1192.92	o 12394
1183.76/1194.31	o 12392
1185.05/1195.68	o 12384
1186.44/1197.05	o 12382
1188.03/1198.60	o 12376
1189.51/1200.12	o 12374
1190.80/1201.47	o 12373
1192.19/1202.86	o 12372
1193.68/1204.30	o 12371
1195.16/1205.83	o 12370
1196.55/1207.22	o 12363
1197.94/1208.62	o 12362
1199.33/1210.05	o 12358
1202.20/1212.94	o 12353
1204.97/1215.77	o 12352
1206.46/1217.23	o 12351
1207.85/1218.69	o 12350
1209.43/1220.21	o 12349
1210.83/1221.64	o 12348
1213.80/1224.61	o 12347
1216.67/1227.53	o 12342
1218.07/1228.96	o 12337
1219.66/1230.53	o 12334
1221.15/1232.06	o 12331
1222.73/1233.62	o 12324
1224.32/1235.25	o 12317
1227.39/1238.38	o 12314
1228.97/1239.96	o 12308
1230.47/1241.46	o 12307
1231.95/1242.92	o 12301
1233.24/1244.27	o 12296
1234.83/1245.86	o 12285
1237.80/1248.88	o 12278
1239.39/1250.42	o 12274
1241.07/1252.10	o 12272
1242.56/1253.65	o 12271
1244.14/1255.28	o 12270
1245.73/1256.81	o 12268
1247.32/1258.41	o 12264
1248.81/1259.99	o 12257
1250.29/1261.47	o 12256
1251.78/1262.99	o 12249
1254.85/1266.05	o 12241
1256.34/1267.58	o 12232
1259.51/1270.71	o 12227
1263.97/1275.24	o 12225
1265.46/1276.77	o 12219
1268.53/1279.81	o 12214
1270.02/1281.32	o 12212
1271.50/1282.89	o 12200
1275.97/1287.38	o 12199
1278.94/1290.35	o 12198
1280.43/1291.85	o 12190
1282.01/1293.47	o 12184
1283.60/1295.04	o 12178
1286.67/1298.18	o 12164
1288.26/1299.73	o 12158
1289.64/1301.19	o 12156
1291.23/1302.78	o 12149
1292.72/1304.24	o 12143
1294.20/1305.74	o 12137
1295.59/1307.18	o 12132
1298.76/1310.30	o 12126
1305.10/1316.72	o 12124
1306.59/1318.23	o 12123
1308.07/1319.76	o 12120
1311.25/1322.92	o 12114
1312.73/1324.49	o 12112
1314.32/1326.05	o 12109
1317.39/1329.17	o 12105
1320.56/1332.39	o 12103
1322.25/1334.00	o 12100
1323.74/1335.58	o 12094
1325.33/1337.17	o 12085
1326.91/1338.72	o 12079
1328.50/1340.33	o 12076
1329.98/1341.84	o 12067
1331.37/1343.23	o 12060
1332.96/1344.88	o 12052
1334.44/1346.39	o 12045
1335.93/1347.89	o 12037
1337.42/1349.38	o 12035
1339.10/1351.03	o 12034
1340.59/1352.59	o 12032
1342.17/1354.19	o 12025
1343.76/1355.71	o 12022
1345.14/1357.16	o 12020
1346.63/1358.68	o 12019
1348.12/1360.17	o 12011
1354.07/1366.13	o 12004
1355.55/1367.63	o 12001
1357.04/1369.12	o 11995
1358.62/1370.72	o 11994
1360.11/1372.20	o 11990
1364.67/1376.80	o 11980
1366.26/1378.44	o 11974
1369.43/1381.69	o 11973
1371.02/1383.25	o 11971
1372.50/1384.78	o 11966
1374.09/1386.35	o 11963
1377.26/1389.56	o 11959
1378.95/1391.20	o 11958
1382.12/1394.40	o 11950
1385.19/1397.59	o 11945
1388.36/1400.78	o 11933
1389.95/1402.36	o 11928
1391.54/1403.91	o 11923
1393.12/1405.51	o 11922
1394.71/1407.12	o 11916
1396.29/1408.79	o 11912
1397.98/1410.41	o 11910
1399.57/1412.05	o 11904
1401.25/1413.75	o 11899
1402.93/1415.47	o 11894
1404.62/1417.11	o 11887
1406.21/1418.79	o 11883
1407.90/1420.42	o 11880
1409.49/1422.05	o 11879
1414.34/1426.96	o 11871
1416.03/1428.65	o 11866
1417.82/1430.41	o 11864
1419.40/1432.05	o 11859
1421.09/1433.72	o 11856
1422.67/1435.36	o 11846
1425.94/1438.66	o 11845
1427.63/1440.32	o 11841
1429.21/1441.98	o 11840
1432.38/1445.19	o 11838
1433.97/1446.73	o 11835
1435.56/1448.38	o 11827
1437.24/1450.04	o 11823
1438.73/1451.60	o 11821
1440.41/1453.25	o 11816
1442.00/1454.84	o 11813
1443.59/1456.42	o 11810
1445.17/1458.02	o 11808
1446.76/1459.61	o 11802
1454.79/1467.76	o 11801
1456.38/1469.34	o 11799
1457.97/1470.94	o 11797
1459.56/1472.54	o 11790
1461.14/1474.15	o 11785
1462.73/1475.77	o 11784
1464.41/1477.41	o 11781
1467.59/1480.62	o 11772
1470.66/1483.80	o 11763
1472.24/1485.38	o 11759
1473.83/1486.91	o 11751
1475.31/1488.45	o 11743
1476.91/1490.02	o 11735
1481.76/1494.99	o 11721
1483.45/1496.68	o 11716
1485.13/1498.37	o 11712
1486.82/1500.07	o 11708
1488.40/1501.68	o 11694
1490.09/1503.33	o 11690
1491.67/1504.96	o 11686
1493.26/1506.56	o 11677
1494.94/1508.22	o 11673
1496.53/1509.86	o 11672
1498.31/1511.60	o 11668
1499.90/1513.26	o 11665
1501.58/1514.95	o 11662
1503.27/1516.67	o 11659
1505.05/1518.40	o 11656
1506.74/1520.12	o 11654
1508.42/1521.84	o 11652
1510.21/1523.63	o 11650
1511.99/1525.40	o 11648
1513.58/1527.09	o 11646
1515.36/1528.82	o 11644
1517.15/1530.61	o 11643
1518.83/1532.31	o 11637
1520.52/1534.01	o 11636
1522.20/1535.77	o 11635
1523.98/1537.59	o 11634
1525.76/1539.35	o 11633
1527.65/1541.24	o 11632
1536.38/1550.08	o 11624
1539.85/1553.54	o 11619
1541.63/1555.35	o 11616
1543.32/1557.04	o 11615
1545.10/1558.85	o 11612
1546.79/1560.57	o 11611
1551.94/1565.75	o 11610
1553.72/1567.52	o 11609
1558.88/1572.78	o 11605
1564.43/1578.37	o 11602
1566.31/1580.28	o 11594
1568.19/1582.16	o 11589
1570.07/1584.06	o 11587
1571.56/1585.57	o 11583
1575.23/1589.20	o 11580
1577.01/1591.07	o 11572
1578.89/1593.00	o 11568
1582.66/1596.74	o 11564
1584.44/1598.57	o 11561
1591.68/1605.81	o 11560
1595.25/1609.43	o 11558
1597.03/1611.20	o 11554
1598.82/1613.02	o 11547
1605.76/1620.05	o 11540
1607.44/1621.76	o 11529
1610.92/1625.29	o 11526
1614.39/1628.76	o 11520
1616.17/1630.55	o 11519
1617.66/1632.00	o 11514
1620.83/1635.23	o 11508
1622.51/1636.92	o 11503
1627.47/1641.98	o 11500
1629.15/1643.69	o 11491
1635.90/1650.49	o 11486
1637.58/1652.15	o 11483
1639.27/1653.86	o 11471
1640.95/1655.56	o 11468
1642.74/1657.32	o 11467
1644.32/1658.94	o 11466
1646.01/1660.66	o 11465
1651.07/1665.75	o 11464
1652.75/1667.41	o 11462
1654.54/1669.21	o 11457
1656.03/1670.77	o 11455
1657.81/1672.59	o 11454
1659.59/1674.31	o 11451
1661.28/1676.05	o 11448
1664.65/1679.45	o 11447
1666.23/1681.07	o 11446
1668.12/1682.90	o 11435
1669.80/1684.60	o 11430
1671.39/1686.29	o 11428
1673.08/1687.98	o 11421
1674.76/1689.68	o 11419
1678.13/1693.06	o 11418
1681.50/1696.42	o 11416
1683.09/1698.01	o 11413
1684.67/1699.67	o 11404
1686.26/1701.29	o 11401
1691.12/1706.10	o 11400
1692.70/1707.70	o 11398
1694.29/1709.38	o 11393
1697.75/1712.81	o 11387
1699.44/1714.53	o 11386
1701.02/1716.17	o 11384
1702.71/1717.85	o 11373
1704.39/1719.55	o 11372
1706.08/1721.28	o 11370
1709.55/1724.75	o 11366
1711.24/1726.45	o 11362
1714.61/1729.89	o 11361
1721.94/1737.24	o 11358
1723.63/1738.97	o 11354
1725.32/1740.67	o 11353
1727.10/1742.46	o 11350
1728.98/1744.33	o 11345
1730.77/1746.10	o 11337
1732.46/1747.88	o 11335
1743.07/1758.56	o 11332
1748.02/1763.51	o 11331
1749.71/1765.28	o 11325
1751.60/1767.13	o 11314
1755.17/1770.71	o 11312
1756.85/1772.42	o 11309
1758.63/1774.25	o 11306
1762.10/1777.70	o 11305
1763.79/1779.44	o 11302
1765.47/1781.13	o 11300
1767.06/1782.75	o 11299
1768.74/1784.46	o 11292
1770.23/1785.99	o 11289
1776.96/1792.73	o 11287
1778.65/1794.41	o 11285
1780.33/1796.13	o 11284
1783.70/1799.54	o 11282
1785.49/1801.31	o 11273
1787.07/1802.90	o 11267
1788.76/1804.65	o 11260
1792.13/1808.09	o 11255
1795.69/1811.67	o 11245
1797.58/1813.51	o 11243
1801.15/1817.13	o 11238
1803.03/1819.03	o 11236
1806.60/1822.63	o 11234
1808.39/1824.44	o 11221
1811.85/1827.95	o 11218
1815.42/1831.51	o 11217
1818.89/1835.09	o 11212
1820.77/1836.92	o 11203
1822.45/1838.68	o 11193
1824.34/1840.54	o 11186
1826.12/1842.36	o 11174
1827.92/1844.13	o 11172
1829.70/1845.97	o 11161
1831.39/1847.68	o 11155
1838.52/1854.88	o 11154
1840.41/1856.73	o 11146
1843.97/1860.39	o 11142
1845.86/1862.24	o 11140
1847.65/1864.02	o 11135
1849.43/1865.84	o 11123
1851.21/1867.67	o 11119
1852.80/1869.24	o 11115
1854.59/1871.07	o 11114
1856.47/1872.90	o 11108
1858.25/1874.71	o 11105
1861.82/1878.37	o 11104
1865.39/1881.91	o 11101
1868.96/1885.56	o 11098
1876.20/1892.87	o 11094
1878.08/1894.71	o 11083
1881.35/1898.06	o 11078
1883.04/1899.79	o 11074
1884.83/1901.50	o 11071
1891.67/1908.44	o 11070
1893.45/1910.23	o 11065
1895.13/1911.97	o 11063
1900.59/1917.49	o 11056
1902.37/1919.26	o 11054
1904.15/1921.09	o 11053
1907.82/1924.79	o 11051
1909.70/1926.62	o 11043
1913.47/1930.44	o 11041
1917.24/1934.22	o 11036
1920.90/1937.95	o 11035
1922.79/1939.82	o 11034
1933.69/1950.80	o 11032
1935.47/1952.69	o 11029
1939.34/1956.52	o 11026
1941.12/1958.36	o 11022
1943.01/1960.28	o 11013
1944.80/1962.06	o 11007
1952.14/1969.42	o 11006
1954.02/1971.33	o 11001
1955.90/1973.20	o 10997
1957.69/1975.06	o 10993
1959.57/1976.96	o 10990
1961.46/1978.85	o 10987
1963.34/1980.74	o 10984
1965.22/1982.61	o 10981
1967.01/1984.49	o 10979
1968.89/1986.35	o 10976
1970.78/1988.27	o 10973
1976.43/1993.92	o 10970
1978.31/1995.82	o 10968
1980.10/1997.67	o 10965
1987.43/2005.04	o 10962
1988.82/2006.42	o 10959
1990.60/2008.27	o 10957
1992.38/2010.08	o 10955
1994.27/2011.91	o 10953
1996.05/2013.76	o 10951
1997.93/2015.64	o 10949
1999.81/2017.52	o 10947
2001.59/2019.34	o 10944
2003.48/2021.21	o 10941
2005.36/2023.10	o 10939
2007.26/2025.02	o 10936
2009.04/2026.83	o 10934
2010.82/2028.67	o 10933
2012.11/2029.95	o 10932
2013.90/2031.76	o 10930
2015.77/2033.60	o 10925
2017.56/2035.46	o 10924
2019.34/2037.30	o 10923
2021.32/2039.22	o 10922
2023.11/2041.09	o 10921
2030.44/2048.42	o 10920
2032.22/2050.24	o 10919
2034.01/2052.08	o 10918
2035.89/2053.92	o 10917
2037.67/2055.71	o 10912
2039.46/2057.55	o 10909
2041.24/2059.37	o 10908
2043.03/2061.19	o 10907
2046.60/2064.79	o 10906
2052.15/2070.33	o 10901
2064.65/2082.90	o 10900
2066.03/2084.37	o 10898
2067.42/2085.76	o 10896
2069.11/2087.45	o 10889
2072.48/2090.89	o 10884
2074.37/2092.71	o 10878
2078.73/2097.13	o 10875
2080.41/2098.85	o 10873
2082.00/2100.49	o 10869
2087.16/2105.61	o 10866
2088.75/2107.23	o 10860
2089.44/2107.99	o 10857
2091.12/2109.63	o 10856
2094.39/2112.98	o 10852
2096.08/2114.64	o 10847
2097.76/2116.37	o 10845
2099.45/2118.05	o 10839
2101.13/2119.73	o 10833
2102.82/2121.45	o 10828
2104.50/2123.10	o 10827
2106.09/2124.79	o 10822
2107.87/2126.52	o 10815
2112.93/2131.65	o 10808
2118.08/2136.80	o 10804
2119.67/2138.48	o 10801
2121.35/2140.15	o 10800
2123.04/2141.82	o 10798
2124.63/2143.49	o 10792
2129.68/2148.53	o 10788
2134.34/2153.24	o 10787
2135.93/2154.83	o 10783
2137.41/2156.36	o 10777
2140.19/2159.15	o 10772
2141.77/2160.70	o 10770
2143.26/2162.28	o 10769
2144.75/2163.80	o 10768
2146.33/2165.39	o 10767
2150.90/2169.93	o 10759
2152.48/2171.51	o 10758
2153.97/2173.07	o 10756
2155.55/2174.62	o 10753
2157.14/2176.21	o 10747
2158.82/2177.92	o 10738
2160.31/2179.44	o 10727
2161.70/2180.81	o 10720
2163.29/2182.42	o 10714
2164.87/2184.01	o 10712
2166.37/2185.53	o 10710
2167.85/2187.06	o 10708
2169.34/2188.59	o 10706
2170.93/2190.19	o 10695
2172.52/2191.75	o 10689
2174.10/2193.36	o 10688
2186.39/2205.70	o 10685
2187.78/2207.19	o 10679
2189.37/2208.78	o 10678
2190.85/2210.29	o 10673
2192.44/2211.86	o 10671
2198.68/2218.14	o 10663
2200.17/2219.66	o 10659
2201.75/2221.26	o 10655
2213.95/2233.50	o 10653
2215.43/2235.03	o 10649
2216.92/2236.54	o 10644
2218.51/2238.10	o 10642
2219.99/2239.67	o 10633
2226.04/2245.77	o 10628
2227.63/2247.32	o 10626
2229.11/2248.81	o 10624
2230.60/2250.37	o 10618
2232.18/2251.94	o 10611
2233.77/2253.51	o 10605
2235.16/2255.00	o 10604
2236.64/2256.48	o 10599
2237.93/2257.70	o 10593
2239.32/2259.17	o 10587
2240.91/2260.71	o 10583
2242.30/2262.15	o 10576
2245.26/2265.14	o 10574
2246.65/2266.57	o 10569
2248.24/2268.14	o 10560
2249.73/2269.61	o 10559
2251.22/2271.11	o 10554
2252.70/2272.64	o 10553
2254.18/2274.13	o 10552
2258.65/2278.61	o 10551
2260.14/2280.17	o 10537
2261.62/2281.61	o 10528
2263.11/2283.12	o 10524
2264.60/2284.62	o 10521
2266.09/2286.12	o 10513
2269.06/2289.12	o 10504
2270.45/2290.58	o 10497
2273.42/2293.55	o 10493
2274.81/2294.97	o 10491
2276.30/2296.46	o 10488
2282.14/2302.32	o 10486
2286.30/2306.54	o 10473
2287.69/2307.99	o 10472
2289.18/2309.43	o 10470
2290.57/2310.83	o 10468
2291.85/2312.17	o 10464
2293.24/2313.54	o 10458
2294.63/2314.94	o 10443
2300.28/2320.66	o 10438
2301.37/2321.75	o 10436
2302.76/2323.15	o 10433
2304.14/2324.52	o 10428
2308.31/2328.72	o 10422
2309.70/2330.17	o 10415
2311.09/2331.58	o 10408
2312.57/2333.02	o 10399
2315.25/2335.78	o 10397
2316.64/2337.17	o 10391
2318.12/2338.60	o 10389
2319.11/2339.70	o 10382
2320.50/2341.02	o 10370
2327.04/2347.63	o 10358
2328.33/2348.96	o 10355
2333.89/2354.52	o 10353
2335.27/2355.93	o 10345
2336.66/2357.32	o 10341
2338.05/2358.77	o 10339
2339.44/2360.16	o 10336
2340.82/2361.50	o 10326
2343.71/2364.42	o 10322
2346.38/2367.17	o 10321
2352.03/2372.80	o 10320
2353.42/2374.21	o 10316
2354.81/2375.65	o 10314
2356.30/2377.14	o 10308
2357.68/2378.50	o 10306
2359.07/2379.94	o 10303
2360.56/2381.44	o 10298
2361.94/2382.86	o 10295
2363.33/2384.27	o 10293
2366.20/2387.15	o 10292
2367.70/2388.60	o 10289
2369.08/2390.06	o 10285
2376.32/2397.37	o 10282
2377.80/2398.83	o 10275
2379.19/2400.28	o 10274
2380.58/2401.67	o 10271
2382.07/2403.11	o 10270
2383.45/2404.56	o 10269
2384.84/2405.97	o 10263
2386.23/2407.37	o 10259
2387.72/2408.83	o 10255
2389.10/2410.29	o 10248
2390.59/2411.78	o 10245
2392.08/2413.24	o 10241
2393.46/2414.69	o 10237
2394.96/2416.14	o 10228
2397.92/2419.13	o 10226
2399.41/2420.64	o 10224
2402.09/2423.38	o 10216
2403.38/2424.66	o 10209
2404.77/2426.07	o 10207
2406.15/2427.47	o 10204
2407.44/2428.80	o 10201
2408.93/2430.21	o 10193
2410.32/2431.63	o 10186
2411.71/2433.00	o 10180
2413.09/2434.41	o 10174
2414.48/2435.80	o 10173
2415.87/2437.23	o 10171
2417.25/2438.68	o 10163
2418.64/2440.06	o 10160
2420.03/2441.48	o 10157
2421.52/2442.91	o 10153
2424.29/2445.71	o 10144
2425.39/2446.81	o 10140
2426.68/2448.19	o 10138
2428.07/2449.58	o 10137
2429.56/2451.04	o 10132
2432.43/2453.93	o 10131
2433.82/2455.39	o 10129
2437.88/2459.41	o 10128
2439.27/2460.82	o 10125
2440.56/2462.16	o 10114
2441.95/2463.56	o 10113
2443.43/2465.05	o 10107
2444.92/2466.52	o 10103
2445.81/2467.48	o 10098
2447.29/2468.98	o 10094
2451.65/2473.34	o 10084
2453.04/2474.78	o 10083
2454.52/2476.22	o 10077
2455.91/2477.61	o 10075
2457.30/2479.05	o 10073
2458.79/2480.55	o 10072
2460.18/2481.95	o 10070
2461.56/2483.38	o 10067
2463.05/2484.82	o 10060
2464.53/2486.30	o 10057
2467.51/2489.35	o 10054
2471.77/2493.70	o 10050
2473.26/2495.16	o 10049
2474.74/2496.67	o 10043
2476.33/2498.20	o 10038
2477.72/2499.66	o 10037
2479.20/2501.16	o 10034
2480.68/2502.62	o 10031
2481.87/2503.88	o 10028
2484.85/2506.81	o 10027
2486.24/2508.26	o 10024
2487.73/2509.75	o 10022
2490.60/2512.67	o 10015
2497.64/2519.75	o 10011
2499.02/2521.19	o 10010
2500.51/2522.63	o 10008
2502.00/2524.11	o 10004
2503.38/2525.58	o 9998
2507.95/2530.13	o 9997
2509.44/2531.65	o 9992
2514.00/2536.20	o 9991
2515.39/2537.70	o 9988
2516.87/2539.18	o 9987
2518.46/2540.70	o 9986
2519.95/2542.26	o 9984
2521.44/2543.72	o 9982
2524.41/2546.75	o 9979
2525.90/2548.26	o 9971
2528.87/2551.25	o 9967
2530.36/2552.76	o 9962
2531.85/2554.26	o 9957
2533.33/2555.78	o 9949
2534.92/2557.33	o 9945
2536.40/2558.87	o 9941
2539.38/2561.88	o 9931
2540.76/2563.20	o 9922
2542.26/2564.70	o 9919
2543.74/2566.21	o 9916
2545.23/2567.72	o 9914
2546.72/2569.26	o 9912
2548.30/2570.82	o 9910
2549.79/2572.38	o 9908
2551.37/2573.92	o 9906
2552.96/2575.50	o 9904
2554.45/2577.03	o 9902
2556.03/2578.65	o 9900
2557.52/2580.18	o 9898
2559.11/2581.72	o 9896
2560.59/2583.26	o 9894
2562.18/2584.83	o 9892
2563.76/2586.42	o 9890
2565.25/2587.96	o 9888
2574.46/2597.20	o 9887
2575.95/2598.77	o 9886
2577.44/2600.28	o 9885
2579.03/2601.82	o 9884
2583.59/2606.48	o 9878
2585.08/2607.99	o 9877
2586.76/2609.60	o 9876
2588.25/2611.17	o 9875
2589.83/2612.77	o 9874
2591.42/2614.31	o 9867
2592.91/2615.88	o 9864
2594.49/2617.46	o 9863
2596.08/2619.03	o 9857
2598.56/2621.58	o 9853
2600.04/2623.08	o 9847
2607.87/2630.93	o 9846
2617.19/2640.31	o 9845
2618.68/2641.84	o 9839
2620.17/2643.33	o 9835
2621.75/2644.91	o 9827
2624.74/2647.94	o 9826
2626.33/2649.52	o 9820
2629.40/2652.62	o 9818
2630.98/2654.22	o 9813
2632.57/2655.81	o 9812
2636.63/2659.94	o 9808
2638.12/2661.47	o 9801
2639.80/2663.10	o 9799
2641.29/2664.64	o 9797
2644.46/2667.80	o 9795
2646.05/2669.42	o 9787
2647.53/2670.97	o 9782
2650.71/2674.19	o 9775
2652.29/2675.74	o 9766
2653.88/2677.36	o 9763
2655.47/2678.91	o 9761
2656.95/2680.47	o 9755
2658.54/2682.02	o 9754
2660.03/2683.53	o 9752
2661.31/2684.83	o 9748
2664.20/2687.76	o 9747
2665.59/2689.17	o 9742
2666.99/2690.59	o 9741
2668.48/2692.03	o 9740
2669.98/2693.51	o 9738
2671.18/2694.77	o 9734
2672.68/2696.21	o 9730
2673.98/2697.59	o 9723
2675.47/2699.03	o 9719
2676.88/2700.42	o 9708
2678.37/2701.93	o 9703
2682.63/2706.27	o 9695
2685.62/2709.25	o 9690
2687.11/2710.79	o 9689
2688.71/2712.37	o 9687
2690.20/2713.86	o 9685
2693.28/2716.98	o 9684
2696.37/2720.07	o 9677
2697.85/2721.59	o 9671
2705.21/2728.99	o 9665
2706.69/2730.48	o 9662
2708.29/2732.01	o 9655
2709.78/2733.57	o 9653
2711.37/2735.13	o 9645
2712.87/2736.67	o 9643
2714.36/2738.17	o 9637
2715.85/2739.68	o 9636
2717.35/2741.18	o 9631
2720.42/2744.20	o 9629
2724.79/2748.60	o 9627
2732.04/2755.97	o 9625
2733.53/2757.44	o 9622
2737.92/2761.84	o 9620
2739.41/2763.33	o 9614
2743.89/2767.82	o 9612
2746.88/2770.88	o 9610
2749.95/2774.00	o 9603
2751.55/2775.51	o 9600
2753.04/2777.01	o 9591
2754.53/2778.52	o 9590
2759.02/2783.09	o 9589
2760.61/2784.61	o 9588
2763.60/2787.67	o 9583
2765.19/2789.21	o 9574
2769.67/2793.71	o 9572
2772.56/2796.66	o 9569
2777.12/2801.35	o 9563
2780.08/2804.38	o 9562
2781.68/2805.93	o 9555
2783.27/2807.50	o 9546
2784.76/2809.05	o 9545
2786.26/2810.58	o 9543
2790.84/2815.18	o 9541
2792.33/2816.68	o 9539
2793.83/2818.19	o 9537
2795.41/2819.71	o 9535
2799.89/2824.26	o 9531
2801.38/2825.78	o 9524
2802.87/2827.28	o 9519
2804.37/2828.76	o 9513
2814.42/2838.89	o 9511
2815.91/2840.34	o 9509
2817.40/2841.80	o 9508
2818.80/2843.26	o 9498
2820.29/2844.73	o 9496
2821.68/2846.19	o 9495
2823.07/2847.56	o 9494
2824.57/2849.04	o 9488
2825.96/2850.46	o 9485
2827.45/2851.97	o 9480
2828.85/2853.39	o 9475
2830.33/2854.83	o 9473
2831.83/2856.30	o 9472
2833.22/2857.76	o 9470
2834.71/2859.21	o 9467
2836.11/2860.64	o 9463
2838.99/2863.55	o 9455
2840.49/2865.00	o 9451
2847.45/2872.09	o 9448
2848.94/2873.53	o 9443
2850.34/2874.91	o 9440
2851.43/2876.09	o 9439
2852.73/2877.34	o 9437
2854.12/2878.77	o 9433
2855.51/2880.14	o 9429
2860.99/2885.66	o 9427
2862.29/2886.96	o 9425
2863.78/2888.40	o 9424
2865.17/2889.81	o 9421
2866.46/2891.11	o 9419
2867.86/2892.50	o 9417
2870.45/2895.16	o 9408
2871.84/2896.55	o 9407
2874.63/2899.33	o 9401
2875.92/2900.69	o 9393
2877.31/2902.07	o 9392
2878.70/2903.43	o 9391
2882.87/2907.60	o 9390
2884.27/2909.05	o 9382
2885.66/2910.41	o 9376
2887.15/2911.92	o 9370
2888.54/2913.32	o 9367
2891.43/2916.24	o 9365
2892.82/2917.68	o 9360
2897.30/2922.17	o 9353
2898.79/2923.64	o 9350
2900.28/2925.11	o 9343
2901.68/2926.52	o 9340
2902.97/2927.86	o 9337
2918.50/2943.41	o 9331
2919.90/2944.80	o 9330
2921.29/2946.26	o 9327
2922.68/2947.65	o 9325
2924.18/2949.16	o 9320
2925.67/2950.61	o 9319
2930.05/2955.05	o 9318
2931.54/2956.53	o 9317
2932.93/2957.99	o 9312
2934.52/2959.50	o 9307
2940.00/2965.09	o 9300
2941.09/2966.18	o 9289
2942.48/2967.58	o 9285
2943.88/2968.96	o 9278
2945.37/2970.42	o 9271
2946.76/2971.85	o 9269
2948.16/2973.26	o 9266
2949.55/2974.63	o 9264
2956.41/2981.57	o 9258
2957.81/2982.95	o 9251
2959.20/2984.36	o 9245
2960.59/2985.72	o 9244
2961.98/2987.10	o 9239
2963.28/2988.44	o 9232
2964.67/2989.84	o 9231
2966.06/2991.23	o 9228
2967.46/2992.63	o 9226
2968.85/2994.01	o 9219
2970.24/2995.43	o 9211
2971.63/2996.86	o 9210
2973.03/2998.24	o 9208
2974.42/2999.64	o 9203
2975.81/3001.00	o 9199
2977.10/3002.38	o 9198
2978.50/3003.75	o 9195
2979.90/3005.13	o 9193
2981.29/3006.55	o 9190
2985.57/3010.85	o 9187
2987.06/3012.32	o 9183
2988.56/3013.84	o 9177
2990.05/3015.33	o 9173
2992.93/3018.26	o 9166
2994.42/3019.71	o 9164
2997.21/3022.56	o 9157
2998.61/3023.95	o 9150
3000.00/3025.34	o 9149
3001.39/3026.75	o 9147
3004.17/3029.51	o 9142
3005.47/3030.85	o 9140
3006.86/3032.22	o 9136
3008.25/3033.65	o 9131
3009.64/3035.09	o 9128
3011.14/3036.52	o 9125
3012.53/3037.94	o 9121
3015.32/3040.71	o 9120
3016.71/3042.10	o 9115
3018.11/3043.54	o 9107
3032.63/3058.16	o 9105
3034.02/3059.59	o 9100
3035.52/3061.02	o 9098
3038.40/3063.97	o 9093
3039.90/3065.46	o 9091
3041.39/3066.93	o 9089
3042.88/3068.41	o 9087
3044.38/3069.94	o 9085
3051.94/3077.52	o 9080
3053.43/3079.01	o 9075
3063.58/3089.29	o 9074
3065.08/3090.76	o 9070
3070.84/3096.57	o 9068
3072.33/3098.03	o 9061
3073.82/3099.51	o 9058
3075.22/3100.94	o 9057
3079.49/3105.28	o 9052
3080.98/3106.73	o 9050
3086.66/3112.45	o 9042
3088.05/3113.90	o 9032
3090.84/3116.68	o 9029
3092.23/3118.07	o 9022
3093.52/3119.38	o 9021
3095.01/3120.81	o 9017
3097.50/3123.32	o 9015
3098.90/3124.72	o 9011
3100.29/3126.17	o 9009
3101.68/3127.56	o 9007
3103.18/3129.02	o 9005
3104.57/3130.42	o 9001
3105.96/3131.84	o 8999
3108.75/3134.66	o 8997
3110.14/3136.08	o 8996
3112.93/3138.87	o 8995
3114.32/3140.27	o 8994
3115.72/3141.68	o 8993
3117.22/3143.13	o 8991
3118.61/3144.51	o 8989
3120.00/3145.91	o 8987
3121.39/3147.31	o 8981
3122.79/3148.74	o 8980
3134.03/3160.05	o 8977
3138.21/3164.27	o 8968
3139.20/3165.22	o 8958
3144.78/3170.82	o 8955
3146.17/3172.23	o 8948
3147.56/3173.64	o 8941
3148.96/3175.04	o 8938
3150.35/3176.47	o 8937
3151.74/3177.88	o 8928
3153.23/3179.32	o 8927
3154.63/3180.72	o 8920
3158.91/3185.01	o 8917
3160.30/3186.45	o 8916
3161.69/3187.87	o 8911
3164.58/3190.75	o 8908
3166.07/3192.22	o 8904
3167.17/3193.40	o 8900
3170.15/3196.31	o 8888
3171.35/3197.58	o 8878
3174.13/3200.39	o 8877
3175.63/3201.82	o 8874
3177.02/3203.22	o 8871
3178.41/3204.62	o 8868
3179.80/3206.04	o 8861
3181.19/3207.47	o 8858
3182.69/3208.92	o 8856
3189.85/3216.18	o 8849
3193.63/3219.97	o 8844
3199.10/3225.49	o 8840
3200.50/3226.89	o 8838
3203.38/3229.77	o 8834
3204.87/3231.21	o 8832
3206.27/3232.69	o 8831
3209.25/3235.60	o 8829
3212.25/3238.64	o 8827
3213.14/3239.56	o 8823
3216.13/3242.58	o 8821
3217.72/3244.13	o 8820
3220.81/3247.22	o 8810
3223.79/3250.25	o 8806
3225.28/3251.75	o 8804
3228.27/3254.78	o 8800
3229.86/3256.40	o 8798
3232.94/3259.42	o 8797
3236.13/3262.61	o 8794
3237.62/3264.16	o 8793
3239.21/3265.73	o 8792
3240.70/3267.29	o 8788
3242.10/3268.68	o 8782
3249.16/3275.72	o 8777
3250.65/3277.24	o 8775
3252.25/3278.82	o 8772
3253.74/3280.39	o 8771
3255.33/3281.99	o 8768
3256.93/3283.57	o 8759
3258.21/3284.89	o 8754
3261.40/3288.01	o 8752
3264.08/3290.70	o 8750
3265.58/3292.24	o 8749
3267.07/3293.77	o 8745
3268.66/3295.36	o 8741
3270.25/3296.97	o 8740
3271.85/3298.52	o 8739
3273.34/3300.07	o 8736
3276.03/3302.72	o 8735
3280.80/3307.53	o 8732
3282.40/3309.17	o 8728
3284.00/3310.75	o 8724
3285.59/3312.37	o 8715
3286.68/3313.47	o 8710
3289.96/3316.75	o 8706
3291.56/3318.36	o 8696
3299.32/3326.14	o 8692
3303.90/3330.80	o 8683
3305.49/3332.30	o 8675
3306.98/3333.86	o 8673
3308.47/3335.39	o 8671
3310.06/3336.95	o 8670
3311.56/3338.44	o 8664
3324.79/3351.77	o 8663
3327.68/3354.66	o 8662
3333.55/3360.55	o 8659
3338.02/3365.01	o 8657
3339.52/3366.55	o 8654
3341.01/3368.07	o 8653
3342.60/3369.64	o 8651
3344.20/3371.25	o 8642
3345.79/3372.83	o 8641
3347.28/3374.35	o 8638
3348.88/3375.93	o 8637
3350.46/3377.52	o 8635
3352.06/3379.15	o 8634
3353.65/3380.79	o 8633
3356.94/3384.05	o 8630
3358.63/3385.72	o 8628
3360.22/3387.32	o 8623
3366.69/3393.80	o 8619
3368.29/3395.43	o 8614
3369.98/3397.14	o 8612
3371.57/3398.78	o 8603
3373.26/3400.43	o 8598
3376.44/3403.67	o 8590
3378.04/3405.28	o 8587
3381.32/3408.56	o 8584
3382.02/3409.27	o 8580
3383.61/3410.88	o 8578
3386.90/3414.11	o 8575
3388.59/3415.82	o 8566
3390.18/3417.48	o 8565
3391.87/3419.13	o 8563
3393.56/3420.81	o 8556
3401.72/3429.04	o 8549
3403.31/3430.68	o 8548
3405.10/3432.45	o 8543
3406.80/3434.18	o 8537
3410.18/3437.58	o 8535
3422.12/3449.58	o 8532
3423.91/3451.34	o 8527
3425.70/3453.11	o 8524
3429.19/3456.64	o 8519
3432.57/3460.09	o 8518
3434.36/3461.81	o 8516
3436.05/3463.58	o 8514
3437.84/3465.36	o 8508
3439.54/3467.09	o 8505
3441.33/3468.82	o 8501
3443.02/3470.56	o 8497
3444.81/3472.31	o 8496
3446.50/3474.07	o 8488
3449.78/3477.32	o 8485
3451.48/3479.04	o 8484
3460.03/3487.68	o 8483
3461.72/3489.38	o 8476
3463.52/3491.10	o 8468
3464.81/3492.47	o 8458
3466.60/3494.21	o 8456
3468.29/3495.95	o 8452
3478.34/3506.10	o 8445
3479.84/3507.57	o 8438
3484.71/3512.48	o 8437
3486.40/3514.12	o 8431
3487.99/3515.79	o 8428
3489.69/3517.45	o 8426
3491.38/3519.12	o 8423
3493.07/3520.83	o 8418
3497.94/3525.73	o 8416
3501.22/3529.10	o 8414
3504.71/3532.54	o 8407
3506.41/3534.25	o 8405
3508.10/3535.99	o 8402
3509.79/3537.67	o 8399
3511.48/3539.37	o 8397
3516.66/3544.54	o 8391
3518.25/3546.16	o 8390
3519.94/3547.80	o 8384
3521.53/3549.45	o 8377
3523.22/3551.12	o 8371
3524.82/3552.79	o 8367
3528.20/3556.10	o 8359
3529.79/3557.73	o 8356
3533.07/3561.01	o 8351
3534.57/3562.57	o 8348
3537.85/3565.84	o 8342
3541.13/3569.11	o 8341
3544.52/3572.50	o 8339
3547.90/3575.90	o 8335
3549.59/3577.60	o 8328
3551.19/3579.24	o 8327
3552.77/3580.88	o 8326
3554.47/3582.51	o 8323
3556.06/3584.12	o 8318
3557.65/3585.71	o 8317
3559.14/3587.27	o 8313
3560.73/3588.89	o 8312
3563.92/3592.03	o 8310
3565.51/3593.66	o 8308
3567.10/3595.28	o 8307
3568.80/3596.92	o 8306
3570.49/3598.63	o 8302
3573.67/3601.81	o 8293
3575.27/3603.47	o 8290
3580.24/3608.44	o 8286
3581.83/3610.07	o 8285
3583.42/3611.67	o 8284
3585.12/3613.32	o 8277
3588.30/3616.57	o 8275
3589.99/3618.25	o 8272
3593.18/3621.48	o 8270
3594.98/3623.22	o 8264
3596.66/3624.93	o 8251
3598.36/3626.67	o 8248
3599.75/3628.07	o 8240

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-1112905-1215875362/watcher-1112905-1215875362 -o /tmp/evaluation-result-1112905-1215875362/solver-1112905-1215875362 -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-wdeg.xml 1 XSax HOME/instance-1112905-1215875362.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.68 2.48 1.78 3/81 12473
/proc/meminfo: memFree=1157584/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=18572 CPUtime=0
/proc/12473/stat : 12473 (runsolver) R 12471 12473 12262 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44234053 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 244276849959 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12473/statm: 4643 292 257 25 0 2626 0

[startup+0.031867 s]
/proc/loadavg: 2.68 2.48 1.78 3/81 12473
/proc/meminfo: memFree=1157584/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=861876 CPUtime=0.01
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 1878 0 1 0 1 0 0 0 18 0 5 0 44234053 882561024 1565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 215469 1565 695 9 0 210448 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861876

[startup+0.101954 s]
/proc/loadavg: 2.68 2.48 1.78 3/81 12473
/proc/meminfo: memFree=1157584/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=865984 CPUtime=0.08
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 3712 0 1 0 7 1 0 0 18 0 9 0 44234053 886767616 3182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216496 3182 1682 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301978 s]
/proc/loadavg: 2.68 2.48 1.78 3/81 12473
/proc/meminfo: memFree=1157584/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=866156 CPUtime=0.27
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 5620 0 1 0 24 3 0 0 18 0 9 0 44234053 886943744 5035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216539 5035 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156

[startup+0.702026 s]
/proc/loadavg: 2.68 2.48 1.78 3/81 12473
/proc/meminfo: memFree=1157584/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=866980 CPUtime=0.68
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 10929 0 1 0 61 7 0 0 18 0 9 0 44234053 887787520 10300 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216745 10300 1968 9 0 211273 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866980

[startup+1.5021 s]
/proc/loadavg: 2.62 2.47 1.78 3/90 12482
/proc/meminfo: memFree=1068936/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=1.46
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 24776 0 1 0 131 15 0 0 18 0 9 0 44234053 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 24135 2025 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=1.2
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15771 0 1 0 110 10 0 0 25 0 9 0 44234055 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4126418977 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=0.07
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 7705 0 0 0 4 3 0 0 17 0 9 0 44234056 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.17
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 603 0 0 0 17 0 0 0 16 0 9 0 44234058 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 24135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867500

[startup+3.10228 s]
/proc/loadavg: 2.62 2.47 1.78 3/90 12482
/proc/meminfo: memFree=1047816/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867412 CPUtime=3.05
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 31789 0 1 0 286 19 0 0 18 0 9 0 44234053 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216853 31124 2004 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867412 CPUtime=2.57
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15773 0 1 0 246 11 0 0 25 0 9 0 44234055 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4126602245 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867412 CPUtime=0.28
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 14715 0 0 0 22 6 0 0 17 0 9 0 44234056 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867412 CPUtime=0.17
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 604 0 0 0 17 0 0 0 16 0 9 0 44234058 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888229888 31124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867412

[startup+6.30162 s]
/proc/loadavg: 2.62 2.47 1.78 3/90 12482
/proc/meminfo: memFree=1025160/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867412 CPUtime=6.22
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 35613 0 1 0 600 22 0 0 18 0 9 0 44234053 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216853 34942 2006 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867412 CPUtime=5.47
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15808 0 1 0 535 12 0 0 25 0 9 0 44234055 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4126926341 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867412 CPUtime=0.53
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 18491 0 0 0 45 8 0 0 17 0 9 0 44234056 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867412 CPUtime=0.19
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 617 0 0 0 19 0 0 0 16 0 9 0 44234058 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888229888 34942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867412

[startup+12.7013 s]
/proc/loadavg: 2.60 2.47 1.78 3/90 12482
/proc/meminfo: memFree=1017488/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867412 CPUtime=12.56
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 39184 0 1 0 1232 24 0 0 18 0 9 0 44234053 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216853 38509 2007 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867412 CPUtime=11.5
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15818 0 1 0 1138 12 0 0 25 0 9 0 44234055 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4126519968 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867412 CPUtime=0.77
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 22003 0 0 0 67 10 0 0 17 0 9 0 44234056 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867412 CPUtime=0.26
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 666 0 0 0 26 0 0 0 15 0 9 0 44234058 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867412 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888229888 38509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867412

[startup+25.5017 s]
/proc/loadavg: 2.58 2.47 1.79 3/90 12482
/proc/meminfo: memFree=961104/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=25.24
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52504 0 1 0 2493 31 0 0 18 0 9 0 44234053 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51505 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=22.68
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15887 0 1 0 2254 14 0 0 25 0 9 0 44234055 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4127221308 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.32
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 695 0 0 0 32 0 0 0 15 0 9 0 44234058 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867500

[startup+51.1015 s]
/proc/loadavg: 2.45 2.45 1.80 4/90 12482
/proc/meminfo: memFree=961168/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=50.61
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52504 0 1 0 5028 33 0 0 18 0 9 0 44234053 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51505 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=48.04
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15887 0 1 0 4789 15 0 0 25 0 9 0 44234055 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4127220163 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.32
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 695 0 0 0 32 0 0 0 16 0 9 0 44234058 888320000 51505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0

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

/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.34
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3315.44
Current children cumulated vsize (KiB) 867500

[startup+3402.31 s]
/proc/loadavg: 2.02 2.11 2.17 3/83 12591
/proc/meminfo: memFree=376152/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=3375.16
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52522 0 1 0 337423 93 0 0 18 0 9 0 44234053 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51519 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=3372.55
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15890 0 1 0 337181 74 0 0 25 0 9 0 44234055 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4127229165 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.34
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3375.16
Current children cumulated vsize (KiB) 867500

[startup+3462.3 s]
/proc/loadavg: 2.01 2.09 2.16 3/83 12591
/proc/meminfo: memFree=375904/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=3434.86
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52522 0 1 0 343393 93 0 0 18 0 9 0 44234053 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51519 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=3432.26
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15890 0 1 0 343151 75 0 0 25 0 9 0 44234055 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4127213821 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.34
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3434.86
Current children cumulated vsize (KiB) 867500

[startup+3522.3 s]
/proc/loadavg: 2.00 2.07 2.15 3/83 12603
/proc/meminfo: memFree=1115808/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=3494.55
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52522 0 1 0 349362 93 0 0 18 0 9 0 44234053 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51519 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=3491.96
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15890 0 1 0 349121 75 0 0 25 0 9 0 44234055 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4126902903 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.34
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3494.55
Current children cumulated vsize (KiB) 867500

[startup+3582.3 s]
/proc/loadavg: 2.00 2.06 2.14 3/83 12603
/proc/meminfo: memFree=372192/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=3554.27
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52522 0 1 0 355333 94 0 0 18 0 9 0 44234053 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51519 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=3551.67
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15890 0 1 0 355091 76 0 0 25 0 9 0 44234055 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4126900976 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.34
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3554.27
Current children cumulated vsize (KiB) 867500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3628.3 s]
/proc/loadavg: 2.07 2.06 2.13 3/83 12603
/proc/meminfo: memFree=372000/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=3600.05
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52522 0 1 0 359910 95 0 0 18 0 9 0 44234053 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51519 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=3597.44
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15890 0 1 0 359668 76 0 0 25 0 9 0 44234055 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4126901525 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.34
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 867500

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

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

[startup+3628.3 s]
/proc/loadavg: 2.07 2.06 2.13 3/83 12603
/proc/meminfo: memFree=372000/2055920 swapFree=4192812/4192956
[pid=12473] ppid=12471 vsize=867500 CPUtime=3600.05
/proc/12473/stat : 12473 (java) S 12471 12473 12262 0 -1 0 52522 0 1 0 359910 95 0 0 18 0 9 0 44234053 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12473/statm: 216875 51519 2640 9 0 211381 0
[pid=12473/tid=12475] ppid=12471 vsize=867500 CPUtime=3597.44
/proc/12473/task/12475/stat : 12475 (java) R 12471 12473 12262 0 -1 64 15890 0 1 0 359668 76 0 0 25 0 9 0 44234055 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4126901525 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12476] ppid=12471 vsize=867500 CPUtime=2.21
/proc/12473/task/12476/stat : 12476 (java) S 12471 12473 12262 0 -1 64 35225 0 0 0 205 16 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12477] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12477/stat : 12477 (java) S 12471 12473 12262 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12478] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12478/stat : 12478 (java) S 12471 12473 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44234056 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12479] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12479/stat : 12479 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12480] ppid=12471 vsize=867500 CPUtime=0.34
/proc/12473/task/12480/stat : 12480 (java) S 12471 12473 12262 0 -1 64 710 0 0 0 34 0 0 0 16 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12481] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12481/stat : 12481 (java) S 12471 12473 12262 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12473/tid=12482] ppid=12471 vsize=867500 CPUtime=0
/proc/12473/task/12482/stat : 12482 (java) S 12471 12473 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44234058 888320000 51519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 867500

Child status: 143
Real time (s): 3628.39
CPU time (s): 3600.14
CPU user time (s): 3599.16
CPU system time (s): 0.98385
CPU usage (%): 99.2214
Max. virtual memory (cumulated for all children) (KiB): 867916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 0.98385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52535
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= 74949
involuntary context switches= 138241

runsolver used 4.20136 second user time and 10.9213 second system time

The end

Launcher Data (download as text)

Begin job on node63 at 2008-07-12 17:09:23
IDJOB=1112905
IDBENCH=61494
IDSOLVER=359
FILE ID=node63/1112905-1215875362
PBS_JOBID= 7903596
Free space on /tmp= 66512 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112905-1215875362/watcher-1112905-1215875362 -o /tmp/evaluation-result-1112905-1215875362/solver-1112905-1215875362 -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-wdeg.xml 1 XSax HOME/instance-1112905-1215875362.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0ec16ab311064bfe5172278fde3994e0
RANDOM SEED=865194471

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1158064 kB
Buffers:          4572 kB
Cached:          60232 kB
SwapCached:          0 kB
Active:         828092 kB
Inactive:        16260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1158064 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10836 kB
Writeback:           0 kB
Mapped:         799812 kB
Slab:            36980 kB
Committed_AS:   912004 kB
PageTables:       3416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66044 MiB
End job on node63 at 2008-07-12 18:09:53