Trace number 1112785

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-w? 2618.3 2624.1

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-2.xml
MD5SUM2fe472930e777421d5e31a3144b4206e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best Number of falsified constraints
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.04/0.08	
0.04/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-wdeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1112785-1215874014.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.78/0.80	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698  nbTotalValues=1873230
0.78/0.80	       =>  wckTime=0.562  cpuTime=0.38  mem=43M503
0.78/0.80	   
0.78/0.80	   predicates being loaded...
0.78/0.86	   
0.78/0.86	   constraints being loaded...
10.99/11.04	   
10.99/11.04	   INFO : Stopping converting binary constraints (cpu=10.15, mem = 77M345)
15.78/15.80	     nbConstraints=53548  nbConvertedConstraints=60  nbConvertConstraintsChecks=28406700  nbExtensionStructures=57
15.78/15.80	     nbSharedExtensionStructures=4  nbConflictsStructures=173  nbSharedConflictsStructures=149
15.78/15.80	     nbUnbuiltConflictsStructures=11307  nbSharedBinaryRepresentations=67808  nbEvaluationManagers=11423
15.78/15.80	     nbSharedEvaluationManagers=42065  minDegree=5  maxDegree=104  minArity=2  maxArity=2
15.78/15.80	       =>  wckTime=15.562  cpuTime=13.96  mem=124M127
16.38/16.42	   
16.38/16.42	   solver LocalSearchSolver being built... 
16.38/16.47	       =>  wckTime=16.229  cpuTime=14.0  mem=123M881
17.17/17.20	
17.17/17.20	s SATISFIABLE
17.17/17.20	o 14224
17.49/17.55	o 14209
17.78/17.84	o 14196
18.08/18.18	o 14178
18.38/18.42	o 14161
18.68/18.71	o 14149
18.88/18.93	o 14135
19.08/19.16	o 14125
19.28/19.32	o 14119
19.38/19.49	o 14105
19.58/19.64	o 14094
19.78/19.88	o 14085
19.98/20.04	o 14072
20.28/20.31	o 14064
20.38/20.48	o 14059
20.58/20.69	o 14047
20.97/21.06	o 14045
21.07/21.19	o 14034
21.47/21.54	o 14016
21.88/21.95	o 14004
22.07/22.19	o 14003
22.37/22.47	o 13994
22.57/22.65	o 13985
22.67/22.74	o 13973
22.77/22.90	o 13972
22.97/23.01	o 13967
23.07/23.12	o 13965
23.07/23.18	o 13961
23.27/23.30	o 13955
23.37/23.43	o 13942
23.57/23.65	o 13937
23.67/23.77	o 13932
23.77/23.84	o 13930
23.97/24.06	o 13918
24.17/24.22	o 13917
24.37/24.42	o 13903
24.47/24.58	o 13900
24.67/24.74	o 13897
24.97/25.07	o 13896
25.07/25.18	o 13890
25.27/25.30	o 13884
25.38/25.41	o 13876
25.48/25.59	o 13871
25.58/25.69	o 13865
25.78/25.87	o 13860
25.98/26.07	o 13847
26.17/26.28	o 13837
26.38/26.49	o 13835
26.57/26.67	o 13823
26.77/26.80	o 13815
26.87/26.96	o 13811
27.07/27.11	o 13808
27.17/27.28	o 13802
27.37/27.43	o 13796
27.47/27.56	o 13785
27.67/27.76	o 13778
27.86/27.99	o 13773
28.06/28.14	o 13764
28.66/28.75	o 13760
28.86/28.91	o 13757
28.96/29.02	o 13753
29.16/29.22	o 13741
29.26/29.36	o 13730
29.57/29.66	o 13722
29.76/29.88	o 13718
29.96/30.06	o 13708
30.16/30.27	o 13702
30.36/30.48	o 13699
30.56/30.70	o 13698
30.96/31.01	o 13693
31.16/31.21	o 13684
31.56/31.65	o 13678
31.77/31.88	o 13677
32.26/32.35	o 13676
32.46/32.59	o 13675
32.96/33.04	o 13671
33.16/33.26	o 13663
33.56/33.64	o 13656
33.76/33.87	o 13655
33.96/34.04	o 13651
34.16/34.23	o 13640
34.36/34.42	o 13637
34.56/34.62	o 13632
34.76/34.82	o 13625
34.96/35.00	o 13620
35.16/35.21	o 13619
35.26/35.40	o 13617
35.56/35.60	o 13605
35.66/35.76	o 13599
35.86/35.94	o 13593
36.06/36.20	o 13584
36.46/36.52	o 13574
36.66/36.78	o 13567
36.95/37.05	o 13562
37.27/37.31	o 13557
37.46/37.59	o 13551
37.76/37.83	o 13546
39.36/39.41	o 13543
39.76/39.86	o 13534
39.96/40.05	o 13527
40.26/40.31	o 13523
40.46/40.51	o 13518
40.66/40.72	o 13516
40.86/40.91	o 13510
41.06/41.10	o 13499
41.26/41.32	o 13493
41.46/41.53	o 13491
41.66/41.72	o 13481
41.86/41.99	o 13469
42.06/42.19	o 13462
42.36/42.44	o 13457
42.56/42.62	o 13455
42.66/42.77	o 13442
42.86/42.97	o 13433
43.16/43.20	o 13431
43.36/43.40	o 13426
43.56/43.65	o 13422
44.35/44.45	o 13421
44.65/44.74	o 13411
44.96/45.03	o 13397
45.25/45.33	o 13387
45.75/45.85	o 13385
46.06/46.14	o 13379
46.65/46.77	o 13375
46.95/47.07	o 13370
47.35/47.40	o 13368
47.65/47.70	o 13363
47.95/48.00	o 13361
48.25/48.33	o 13356
48.55/48.66	o 13344
48.85/48.95	o 13331
49.15/49.22	o 13328
49.35/49.49	o 13325
49.65/49.76	o 13316
49.95/50.05	o 13315
50.26/50.30	o 13314
50.46/50.56	o 13313
50.76/50.80	o 13306
51.36/51.47	o 13301
51.66/51.72	o 13295
51.96/52.01	o 13286
52.26/52.30	o 13285
53.76/53.87	o 13284
54.65/54.74	o 13280
54.96/55.02	o 13272
55.25/55.30	o 13265
55.55/55.62	o 13261
55.85/55.94	o 13260
56.15/56.22	o 13254
56.45/56.56	o 13251
56.75/56.85	o 13247
57.16/57.22	o 13244
58.05/58.19	o 13243
58.45/58.57	o 13237
58.85/58.97	o 13230
59.25/59.31	o 13217
59.55/59.62	o 13214
60.45/60.60	o 13206
61.45/61.54	o 13203
62.05/62.11	o 13195
62.25/62.36	o 13187
62.94/63.09	o 13176
63.34/63.41	o 13168
63.65/63.77	o 13161
64.04/64.13	o 13157
64.34/64.47	o 13155
64.75/64.84	o 13153
65.14/65.21	o 13152
67.94/68.03	o 13149
68.24/68.37	o 13141
69.34/69.45	o 13138
71.94/72.01	o 13136
72.24/72.32	o 13130
72.44/72.59	o 13124
72.83/72.97	o 13118
73.23/73.32	o 13112
73.43/73.59	o 13104
73.83/73.93	o 13099
74.13/74.20	o 13089
74.43/74.56	o 13082
74.73/74.82	o 13081
75.03/75.15	o 13074
75.33/75.43	o 13071
75.53/75.67	o 13062
75.83/75.92	o 13054
76.03/76.19	o 13053
76.33/76.45	o 13041
76.53/76.70	o 13031
76.83/76.92	o 13024
77.03/77.15	o 13021
77.33/77.43	o 13018
77.53/77.66	o 13013
77.73/77.89	o 13011
78.04/78.14	o 13003
78.24/78.37	o 12999
78.44/78.58	o 12993
78.64/78.78	o 12983
78.84/78.98	o 12973
79.04/79.19	o 12964
79.34/79.43	o 12956
79.54/79.68	o 12949
79.83/79.94	o 12944
80.03/80.18	o 12939
80.33/80.40	o 12930
80.53/80.61	o 12924
80.73/80.83	o 12920
80.93/81.06	o 12916
81.24/81.34	o 12910
81.53/81.61	o 12906
81.73/81.88	o 12903
82.03/82.16	o 12901
82.34/82.46	o 12899
82.53/82.69	o 12897
82.73/82.89	o 12894
83.03/83.13	o 12893
83.33/83.40	o 12892
83.83/83.98	o 12890
84.13/84.21	o 12884
84.43/84.54	o 12882
84.63/84.79	o 12874
85.03/85.16	o 12867
85.43/85.51	o 12864
86.13/86.26	o 12854
86.43/86.52	o 12849
86.83/86.93	o 12846
87.23/87.31	o 12842
87.63/87.71	o 12835
88.03/88.11	o 12825
88.83/88.98	o 12818
89.33/89.45	o 12816
89.73/89.83	o 12813
90.13/90.27	o 12809
90.62/90.74	o 12802
91.13/91.22	o 12795
91.52/91.69	o 12789
92.02/92.16	o 12775
92.52/92.60	o 12773
92.92/93.05	o 12767
93.32/93.47	o 12762
93.72/93.89	o 12753
94.22/94.31	o 12750
94.62/94.70	o 12747
94.92/95.08	o 12743
95.32/95.45	o 12740
95.72/95.83	o 12735
96.12/96.21	o 12730
96.42/96.59	o 12726
96.82/96.98	o 12722
97.22/97.35	o 12718
97.62/97.74	o 12715
98.02/98.14	o 12714
98.42/98.53	o 12711
98.83/98.94	o 12708
99.22/99.33	o 12700
99.62/99.76	o 12693
100.03/100.11	o 12691
100.32/100.48	o 12685
100.72/100.81	o 12683
101.02/101.17	o 12675
101.42/101.53	o 12673
101.82/101.95	o 12671
102.22/102.33	o 12669
102.62/102.73	o 12667
103.02/103.10	o 12665
103.42/103.52	o 12662
103.72/103.88	o 12660
104.11/104.25	o 12659
104.51/104.64	o 12657
104.91/105.01	o 12656
105.21/105.37	o 12655
106.41/106.57	o 12646
106.81/106.97	o 12639
107.31/107.42	o 12631
107.72/107.87	o 12629
108.21/108.35	o 12626
108.61/108.76	o 12623
109.01/109.19	o 12619
109.51/109.63	o 12617
110.71/110.82	o 12616
111.11/111.22	o 12610
111.51/111.70	o 12604
111.91/112.10	o 12595
112.31/112.47	o 12588
114.01/114.18	o 12585
114.41/114.59	o 12577
114.91/115.01	o 12574
115.31/115.43	o 12569
115.70/115.89	o 12559
116.20/116.32	o 12556
116.61/116.75	o 12547
117.00/117.20	o 12540
117.50/117.66	o 12537
117.90/118.05	o 12534
118.30/118.43	o 12532
118.80/118.96	o 12526
119.20/119.37	o 12520
119.60/119.80	o 12516
120.10/120.24	o 12506
120.50/120.67	o 12500
121.00/121.11	o 12497
121.40/121.53	o 12495
121.80/121.98	o 12492
122.30/122.45	o 12486
122.80/122.93	o 12475
123.30/123.44	o 12466
123.80/123.92	o 12456
124.30/124.45	o 12451
124.80/124.94	o 12446
125.30/125.44	o 12438
125.79/125.92	o 12430
126.19/126.36	o 12422
126.70/126.84	o 12416
127.19/127.33	o 12410
127.69/127.90	o 12404
128.29/128.41	o 12398
128.79/128.96	o 12392
129.29/129.48	o 12386
129.89/130.02	o 12381
130.39/130.56	o 12376
130.89/131.09	o 12371
131.49/131.61	o 12367
131.99/132.14	o 12363
132.49/132.66	o 12359
132.99/133.18	o 12351
133.59/133.72	o 12347
134.09/134.28	o 12341
134.59/134.79	o 12337
135.09/135.26	o 12330
135.59/135.80	o 12327
136.09/136.29	o 12321
136.59/136.74	o 12315
137.09/137.26	o 12312
137.59/137.70	o 12309
137.99/138.16	o 12307
138.49/138.66	o 12299
138.99/139.10	o 12297
139.39/139.54	o 12295
139.89/140.02	o 12287
140.29/140.45	o 12280
140.69/140.88	o 12278
141.19/141.32	o 12276
141.58/141.73	o 12274
142.09/142.21	o 12272
142.90/143.07	o 12263
143.39/143.53	o 12262
143.79/143.96	o 12260
144.29/144.42	o 12258
144.69/144.85	o 12254
145.19/145.34	o 12248
145.59/145.79	o 12245
146.09/146.23	o 12244
146.49/146.64	o 12243
146.89/147.07	o 12242
147.69/147.88	o 12241
148.19/148.31	o 12236
148.59/148.72	o 12227
148.99/149.14	o 12226
149.39/149.54	o 12224
150.18/150.37	o 12220
150.59/150.75	o 12213
150.88/151.09	o 12203
151.28/151.48	o 12199
151.69/151.88	o 12193
152.08/152.23	o 12184
152.38/152.57	o 12182
152.68/152.90	o 12177
153.18/153.35	o 12174
153.58/153.78	o 12163
153.98/154.18	o 12160
154.38/154.56	o 12154
154.78/154.99	o 12149
155.28/155.40	o 12147
155.68/155.82	o 12145
155.98/156.19	o 12144
156.38/156.53	o 12143
157.08/157.27	o 12142
157.58/157.70	o 12139
157.88/158.07	o 12132
158.28/158.48	o 12124
158.67/158.84	o 12116
159.07/159.25	o 12112
159.47/159.64	o 12109
160.87/161.01	o 12107
161.17/161.37	o 12096
161.67/161.80	o 12092
162.07/162.24	o 12080
163.07/163.25	o 12078
163.97/164.13	o 12077
165.06/165.22	o 12070
165.66/165.80	o 12062
166.16/166.37	o 12055
166.76/166.95	o 12049
167.36/167.50	o 12043
167.96/168.11	o 12037
168.56/168.73	o 12031
169.06/169.29	o 12025
169.66/169.87	o 12020
170.26/170.45	o 12015
170.86/171.03	o 12010
171.46/171.61	o 12005
171.96/172.18	o 12000
172.56/172.76	o 11995
173.16/173.37	o 11990
173.76/173.94	o 11985
174.36/174.54	o 11980
175.56/175.74	o 11975
176.26/176.41	o 11971
176.76/176.96	o 11967
177.46/177.63	o 11963
178.06/178.23	o 11960
178.66/178.80	o 11950
180.35/180.51	o 11949
180.85/181.07	o 11946
181.55/181.71	o 11943
182.15/182.32	o 11941
182.75/182.90	o 11939
183.25/183.46	o 11937
183.85/184.04	o 11930
184.35/184.54	o 11929
184.85/185.08	o 11919
185.45/185.65	o 11917
186.35/186.54	o 11911
186.86/187.07	o 11908
187.45/187.62	o 11906
187.96/188.19	o 11901
188.45/188.68	o 11898
188.96/189.15	o 11896
189.45/189.62	o 11894
189.85/190.02	o 11892
190.16/190.39	o 11886
191.06/191.22	o 11885
191.46/191.64	o 11883
191.86/192.03	o 11881
192.26/192.41	o 11878
192.56/192.79	o 11876
193.06/193.22	o 11874
193.46/193.62	o 11873
193.86/194.03	o 11872
195.06/195.22	o 11868
195.36/195.59	o 11867
195.86/196.03	o 11866
196.26/196.42	o 11865
196.66/196.81	o 11864
197.05/197.23	o 11863
197.45/197.63	o 11862
197.76/198.00	o 11861
198.15/198.38	o 11860
198.96/199.18	o 11858
199.35/199.56	o 11849
200.06/200.29	o 11842
201.16/201.38	o 11838
201.65/201.80	o 11830
201.95/202.15	o 11825
203.75/203.91	o 11822
204.05/204.26	o 11818
204.65/204.83	o 11816
204.95/205.12	o 11809
205.25/205.41	o 11807
205.84/206.00	o 11806
206.14/206.31	o 11804
206.34/206.60	o 11802
206.74/206.94	o 11801
207.34/207.56	o 11799
207.64/207.87	o 11796
208.44/208.63	o 11794
208.85/209.02	o 11786
209.24/209.49	o 11781
209.74/209.95	o 11778
210.24/210.47	o 11775
210.74/210.95	o 11769
211.24/211.46	o 11766
211.64/211.88	o 11763
212.44/212.68	o 11757
213.34/213.54	o 11747
213.74/213.97	o 11741
214.14/214.38	o 11736
214.64/214.82	o 11730
215.04/215.21	o 11729
215.44/215.65	o 11724
215.93/216.10	o 11723
216.33/216.56	o 11719
216.73/216.99	o 11718
217.23/217.43	o 11716
217.64/217.83	o 11712
218.03/218.26	o 11711
218.43/218.67	o 11707
218.93/219.11	o 11701
219.33/219.51	o 11700
219.74/219.91	o 11699
220.13/220.34	o 11691
220.53/220.79	o 11682
221.04/221.23	o 11676
221.44/221.61	o 11671
221.84/222.02	o 11667
223.04/223.27	o 11659
223.94/224.18	o 11657
224.44/224.69	o 11652
224.94/225.18	o 11644
225.94/226.16	o 11639
226.34/226.57	o 11637
226.84/227.02	o 11630
227.24/227.45	o 11625
227.74/227.92	o 11619
228.14/228.37	o 11613
228.64/228.81	o 11607
229.14/229.30	o 11602
229.54/229.76	o 11597
230.04/230.27	o 11592
230.53/230.73	o 11587
230.93/231.19	o 11583
231.43/231.66	o 11579
231.94/232.14	o 11575
232.94/233.12	o 11571
233.83/234.03	o 11566
234.23/234.48	o 11563
234.73/234.97	o 11560
235.24/235.45	o 11557
235.73/235.91	o 11554
236.13/236.37	o 11551
236.63/236.81	o 11549
237.03/237.25	o 11547
237.43/237.69	o 11543
237.93/238.18	o 11541
238.43/238.61	o 11540
239.23/239.45	o 11538
239.63/239.86	o 11536
240.03/240.28	o 11534
240.53/240.74	o 11532
240.93/241.20	o 11525
241.43/241.61	o 11523
241.83/242.04	o 11521
242.23/242.44	o 11520
242.62/242.87	o 11519
243.12/243.31	o 11518
243.53/243.71	o 11517
243.93/244.14	o 11513
245.52/245.72	o 11512
245.92/246.11	o 11511
246.23/246.46	o 11510
246.62/246.82	o 11509
247.02/247.24	o 11505
247.42/247.61	o 11504
248.52/248.77	o 11500
248.92/249.16	o 11494
252.31/252.56	o 11493
253.01/253.28	o 11486
253.41/253.69	o 11484
253.91/254.10	o 11473
254.31/254.54	o 11470
254.71/254.95	o 11466
255.21/255.40	o 11462
255.71/255.90	o 11461
256.01/256.29	o 11455
256.51/256.72	o 11453
256.82/257.08	o 11452
257.62/257.89	o 11451
258.12/258.33	o 11444
258.52/258.75	o 11439
258.92/259.20	o 11434
259.42/259.63	o 11430
259.92/260.12	o 11427
260.32/260.54	o 11423
260.81/261.01	o 11417
261.21/261.43	o 11413
262.11/262.30	o 11410
262.51/262.73	o 11401
266.41/266.63	o 11392
266.91/267.14	o 11389
267.41/267.65	o 11382
267.91/268.18	o 11377
269.01/269.23	o 11375
269.51/269.76	o 11368
270.11/270.31	o 11367
270.61/270.84	o 11359
271.10/271.37	o 11353
271.60/271.89	o 11352
272.20/272.41	o 11345
273.20/273.46	o 11341
273.71/273.96	o 11339
274.71/275.00	o 11338
275.30/275.52	o 11333
275.80/276.04	o 11330
276.30/276.53	o 11329
276.80/277.04	o 11327
277.30/277.54	o 11326
277.80/278.06	o 11324
278.40/278.60	o 11323
278.90/279.10	o 11317
279.40/279.61	o 11307
279.90/280.13	o 11302
280.40/280.68	o 11300
281.00/281.20	o 11299
281.50/281.71	o 11298
281.90/282.19	o 11295
282.40/282.70	o 11293
283.00/283.23	o 11292
283.50/283.71	o 11287
284.00/284.23	o 11281
284.50/284.73	o 11275
285.49/285.77	o 11271
286.09/286.32	o 11261
286.59/286.84	o 11256
287.09/287.37	o 11255
287.59/287.86	o 11252
288.19/288.40	o 11246
289.19/289.41	o 11237
289.69/289.92	o 11236
290.20/290.41	o 11233
290.69/290.98	o 11231
291.30/291.53	o 11226
291.79/292.05	o 11224
292.89/293.13	o 11221
293.99/294.21	o 11217
294.49/294.77	o 11216
295.09/295.31	o 11211
295.59/295.88	o 11207
296.09/296.40	o 11195
297.28/297.51	o 11188
297.89/298.11	o 11182
298.28/298.59	o 11179
298.89/299.12	o 11173
299.38/299.67	o 11171
300.59/300.83	o 11165
301.20/301.43	o 11159
301.69/301.99	o 11156
302.29/302.58	o 11153
302.89/303.13	o 11147
303.49/303.70	o 11144
304.09/304.30	o 11138
305.29/305.52	o 11133
305.89/306.10	o 11128
306.49/306.70	o 11127
307.09/307.30	o 11122
307.59/307.89	o 11117
308.79/309.02	o 11116
309.89/310.12	o 11114
310.38/310.68	o 11112
311.48/311.79	o 11109
312.09/312.33	o 11106
312.68/312.90	o 11103
313.18/313.44	o 11100
313.68/313.97	o 11098
314.28/314.53	o 11096
314.78/315.09	o 11094
315.38/315.66	o 11089
317.48/317.71	o 11088
317.98/318.23	o 11087
318.48/318.71	o 11080
318.98/319.21	o 11072
319.38/319.69	o 11068
319.88/320.19	o 11066
320.88/321.13	o 11063
321.37/321.60	o 11060
321.77/322.09	o 11059
322.27/322.54	o 11058
322.77/323.04	o 11057
323.27/323.53	o 11056
326.17/326.49	o 11054
326.67/326.95	o 11051
327.17/327.41	o 11049
327.67/327.95	o 11036
329.27/329.54	o 11027
329.77/330.04	o 11014
330.27/330.53	o 11011
332.16/332.43	o 11009
333.56/333.88	o 11004
334.07/334.34	o 11001
334.56/334.81	o 10997
335.07/335.30	o 10996
335.96/336.24	o 10989
339.47/339.75	o 10988
339.97/340.20	o 10984
340.97/341.20	o 10981
342.27/342.52	o 10979
343.16/343.43	o 10978
343.56/343.83	o 10974
344.46/344.73	o 10971
345.36/345.64	o 10968
345.76/346.07	o 10963
346.26/346.53	o 10962
346.66/346.98	o 10959
347.16/347.45	o 10956
347.56/347.85	o 10953
348.46/348.74	o 10950
348.96/349.22	o 10946
349.46/349.72	o 10943
350.36/350.69	o 10942
350.86/351.18	o 10937
351.36/351.63	o 10931
351.76/352.10	o 10930
352.26/352.52	o 10928
352.66/352.97	o 10921
353.16/353.42	o 10919
353.56/353.84	o 10917
354.05/354.31	o 10914
354.45/354.70	o 10907
355.65/355.93	o 10906
356.16/356.41	o 10904
356.55/356.84	o 10899
357.05/357.35	o 10894
357.55/357.86	o 10892
357.95/358.30	o 10884
358.45/358.71	o 10878
358.85/359.12	o 10869
359.25/359.57	o 10865
359.75/360.02	o 10860
360.65/360.92	o 10859
361.05/361.38	o 10856
361.55/361.84	o 10855
362.05/362.33	o 10848
362.45/362.76	o 10841
362.95/363.23	o 10840
363.35/363.67	o 10837
363.75/364.09	o 10835
364.25/364.54	o 10831
364.65/364.98	o 10828
365.15/365.41	o 10825
365.55/365.89	o 10819
366.05/366.37	o 10816
366.94/367.29	o 10811
367.44/367.79	o 10809
367.94/368.27	o 10800
368.45/368.75	o 10795
369.45/369.71	o 10793
369.95/370.22	o 10791
370.35/370.65	o 10786
370.85/371.16	o 10775
371.35/371.68	o 10768
371.85/372.20	o 10764
372.35/372.67	o 10757
372.94/373.22	o 10755
373.44/373.74	o 10752
374.44/374.79	o 10748
375.04/375.32	o 10747
375.54/375.87	o 10745
376.14/376.42	o 10744
378.24/378.53	o 10743
379.94/380.22	o 10742
380.44/380.76	o 10732
381.04/381.32	o 10730
381.64/381.92	o 10728
382.14/382.48	o 10726
382.74/383.01	o 10725
383.34/383.63	o 10720
383.94/384.20	o 10715
384.54/384.86	o 10708
385.14/385.48	o 10699
385.74/386.08	o 10693
386.44/386.71	o 10687
387.03/387.31	o 10686
387.63/387.91	o 10681
388.13/388.49	o 10670
388.73/389.09	o 10665
389.33/389.70	o 10660
389.93/390.29	o 10655
390.53/390.89	o 10651
391.24/391.54	o 10647
392.93/393.22	o 10644
394.03/394.31	o 10643
394.53/394.88	o 10641
395.13/395.40	o 10631
395.63/395.98	o 10626
396.23/396.50	o 10621
396.73/397.04	o 10618
397.23/397.59	o 10616
398.43/398.71	o 10614
398.93/399.28	o 10612
399.52/399.85	o 10610
400.13/400.41	o 10608
400.62/400.97	o 10606
401.23/401.54	o 10604
401.72/402.08	o 10602
402.33/402.65	o 10601
402.92/403.25	o 10600
403.52/403.83	o 10599
404.02/404.39	o 10598
404.62/404.94	o 10597
405.12/405.48	o 10594
405.82/406.12	o 10589
406.32/406.69	o 10588
406.92/407.23	o 10585
407.42/407.79	o 10584
408.02/408.32	o 10583
410.12/410.44	o 10582
410.62/410.96	o 10581
411.73/412.03	o 10578
412.23/412.53	o 10571
412.73/413.03	o 10569
413.23/413.54	o 10568
413.72/414.07	o 10567
414.22/414.58	o 10565
414.72/415.08	o 10558
415.82/416.11	o 10554
416.22/416.59	o 10548
417.22/417.58	o 10537
417.73/418.05	o 10528
418.62/418.99	o 10527
423.22/423.51	o 10514
423.72/424.05	o 10513
424.22/424.55	o 10509
424.72/425.04	o 10504
425.22/425.52	o 10499
425.72/426.02	o 10498
426.22/426.50	o 10496
426.72/427.04	o 10492
427.22/427.54	o 10491
428.22/428.57	o 10483
428.72/429.09	o 10481
429.82/430.12	o 10476
430.32/430.64	o 10469
430.82/431.14	o 10466
431.31/431.67	o 10463
431.91/432.22	o 10458
432.41/432.72	o 10457
432.91/433.22	o 10452
433.41/433.71	o 10445
433.91/434.28	o 10436
434.50/434.86	o 10432
435.00/435.38	o 10431
435.50/435.83	o 10425
436.00/436.30	o 10423
436.50/436.81	o 10422
437.00/437.33	o 10421
437.51/437.87	o 10420
438.00/438.39	o 10418
438.61/438.96	o 10417
439.10/439.48	o 10415
439.71/440.04	o 10411
440.30/440.60	o 10400
441.40/441.73	o 10396
442.00/442.32	o 10386
443.00/443.33	o 10372
443.50/443.86	o 10369
444.01/444.38	o 10365
444.60/444.94	o 10363
445.11/445.48	o 10357
445.70/446.06	o 10347
446.31/446.70	o 10338
447.00/447.30	o 10336
447.60/447.91	o 10331
448.20/448.52	o 10330
448.80/449.14	o 10328
449.40/449.74	o 10321
451.20/451.54	o 10320
451.81/452.13	o 10319
452.40/452.73	o 10314
452.91/453.28	o 10313
453.50/453.86	o 10310
454.10/454.43	o 10307
455.40/455.71	o 10305
456.00/456.31	o 10302
456.60/456.95	o 10298
457.20/457.55	o 10295
457.90/458.27	o 10294
458.50/458.86	o 10285
462.19/462.54	o 10275
462.80/463.15	o 10268
463.39/463.70	o 10267
463.90/464.29	o 10265
464.49/464.86	o 10264
465.09/465.41	o 10261
465.59/465.96	o 10257
466.79/467.19	o 10256
467.49/467.82	o 10251
469.89/470.21	o 10249
470.49/470.87	o 10247
471.19/471.53	o 10243
471.89/472.20	o 10240
472.49/472.90	o 10230
473.19/473.56	o 10229
473.89/474.20	o 10227
474.48/474.86	o 10225
475.18/475.54	o 10222
476.47/476.87	o 10210
477.08/477.49	o 10203
477.77/478.13	o 10201
479.06/479.50	o 10194
479.66/480.05	o 10192
482.15/482.51	o 10187
482.75/483.12	o 10180
483.44/483.82	o 10178
484.74/485.19	o 10175
485.43/485.89	o 10174
486.13/486.55	o 10168
488.81/489.27	o 10167
489.51/489.92	o 10164
490.11/490.55	o 10162
490.80/491.20	o 10157
492.10/492.55	o 10155
492.80/493.22	o 10148
493.50/493.91	o 10147
494.78/495.24	o 10141
495.48/495.92	o 10139
497.47/497.96	o 10137
498.07/498.59	o 10134
498.78/499.24	o 10130
503.75/504.26	o 10120
504.35/504.87	o 10112
505.04/505.52	o 10108
505.64/506.14	o 10102
506.24/506.75	o 10100
507.43/508.00	o 10098
508.13/508.63	o 10091
508.73/509.30	o 10089
509.42/509.93	o 10084
509.92/510.47	o 10080
511.11/511.67	o 10078
511.81/512.35	o 10072
512.41/512.97	o 10071
513.70/514.23	o 10066
514.30/514.82	o 10064
514.89/515.47	o 10061
516.19/516.72	o 10058
516.78/517.35	o 10054
517.38/518.00	o 10047
518.08/518.62	o 10042
518.68/519.25	o 10038
519.27/519.89	o 10034
519.97/520.53	o 10033
520.56/521.19	o 10030
521.26/521.88	o 10027
521.96/522.54	o 10024
522.56/523.19	o 10019
523.26/523.81	o 10017
523.85/524.43	o 10015
524.45/525.06	o 10013
525.15/525.70	o 10012
525.74/526.33	o 10011
526.44/527.01	o 10010
527.03/527.64	o 10009
527.63/528.27	o 10008
528.93/529.58	o 10007
529.63/530.24	o 10000
531.01/531.60	o 9995
534.10/534.77	o 9991
534.79/535.41	o 9987
535.49/536.11	o 9986
536.19/536.80	o 9984
537.48/538.15	o 9981
538.18/538.81	o 9978
538.87/539.50	o 9977
539.48/540.16	o 9974
540.86/541.51	o 9969
542.16/542.85	o 9968
542.86/543.58	o 9965
543.65/544.33	o 9962
544.34/545.07	o 9958
545.64/546.38	o 9953
546.24/546.99	o 9949
547.63/548.34	o 9947
549.72/550.47	o 9938
550.42/551.17	o 9937
551.11/551.87	o 9936
551.81/552.55	o 9935
552.51/553.27	o 9928
553.20/553.97	o 9922
553.90/554.68	o 9921
554.70/555.43	o 9918
555.39/556.18	o 9916
556.19/556.93	o 9915
556.89/557.66	o 9911
557.68/558.42	o 9909
558.18/558.93	o 9901
558.88/559.63	o 9900
559.57/560.34	o 9899
560.27/561.06	o 9896
560.96/561.79	o 9892
561.76/562.55	o 9887
562.56/563.30	o 9883
563.26/564.03	o 9878
563.95/564.75	o 9875
564.65/565.50	o 9866
565.44/566.24	o 9864
566.14/566.96	o 9863
566.84/567.64	o 9862
567.53/568.34	o 9861
568.23/569.07	o 9857
568.93/569.77	o 9850
569.62/570.49	o 9848
570.42/571.20	o 9846
571.11/571.95	o 9842
571.90/572.70	o 9840
573.40/574.22	o 9834
575.69/576.56	o 9831
576.49/577.34	o 9829
577.29/578.16	o 9827
578.09/578.94	o 9815
578.89/579.74	o 9810
579.68/580.57	o 9807
580.48/581.37	o 9803
581.28/582.12	o 9801
584.26/585.17	o 9800
585.05/585.93	o 9795
585.75/586.69	o 9792
586.65/587.52	o 9787
589.63/590.54	o 9775
590.33/591.27	o 9773
591.13/592.02	o 9770
591.82/592.80	o 9766
594.12/595.08	o 9754
594.91/595.86	o 9751
596.41/597.33	o 9749
597.10/598.07	o 9743
598.60/599.52	o 9737
600.09/601.06	o 9736
601.58/602.58	o 9735
602.37/603.37	o 9733
603.17/604.13	o 9732
603.97/604.91	o 9731
604.66/605.65	o 9727
605.36/606.39	o 9718
606.95/607.95	o 9714
607.75/608.76	o 9710
608.55/609.50	o 9706
609.34/610.31	o 9704
613.92/614.93	o 9701
614.71/615.74	o 9698
615.51/616.50	o 9692
616.21/617.26	o 9686
617.00/618.02	o 9683
617.69/618.78	o 9679
618.49/619.52	o 9674
620.78/621.85	o 9670
621.58/622.64	o 9661
622.37/623.44	o 9657
623.17/624.23	o 9656
623.97/625.01	o 9651
624.66/625.77	o 9649
626.26/627.32	o 9644
626.95/628.07	o 9641
628.55/629.61	o 9637
629.94/631.10	o 9634
630.73/631.82	o 9630
631.43/632.56	o 9627
632.12/633.27	o 9622
633.52/634.61	o 9621
634.11/635.22	o 9616
636.11/637.22	o 9614
636.81/637.96	o 9613
637.50/638.64	o 9612
638.20/639.31	o 9611
639.50/640.65	o 9606
640.20/641.33	o 9603
640.89/642.04	o 9597
641.59/642.74	o 9595
642.29/643.44	o 9592
643.08/644.21	o 9588
643.78/644.96	o 9584
644.58/645.75	o 9581
645.37/646.50	o 9574
647.45/648.66	o 9573
648.15/649.35	o 9564
648.85/650.10	o 9561
649.64/650.82	o 9555
650.34/651.53	o 9549
651.73/652.96	o 9546
652.43/653.64	o 9543
653.12/654.34	o 9542
653.82/655.04	o 9541
654.52/655.77	o 9539
655.21/656.49	o 9537
660.19/661.43	o 9536
661.58/662.85	o 9535
662.28/663.54	o 9531
662.97/664.20	o 9530
663.57/664.87	o 9522
664.27/665.56	o 9521
665.66/666.98	o 9519
666.36/667.70	o 9516
667.15/668.43	o 9510
667.85/669.11	o 9509
671.32/672.60	o 9505
672.02/673.31	o 9499
672.62/673.98	o 9494
673.32/674.69	o 9491
674.02/675.37	o 9481
674.71/676.05	o 9476
676.00/677.37	o 9473
676.70/678.05	o 9472
678.09/679.46	o 9467
678.79/680.17	o 9463
679.49/680.87	o 9462
680.18/681.59	o 9459
680.88/682.29	o 9458
681.57/682.95	o 9456
682.27/683.65	o 9453
682.97/684.37	o 9446
683.66/685.04	o 9441
684.36/685.70	o 9437
685.65/687.07	o 9427
686.35/687.79	o 9421
687.84/689.26	o 9418
689.34/690.70	o 9417
692.23/693.61	o 9416
692.93/694.35	o 9409
693.62/695.04	o 9407
694.32/695.79	o 9405
695.02/696.45	o 9403
696.51/697.93	o 9402
697.21/698.68	o 9400
697.90/699.38	o 9399
698.70/700.13	o 9392
699.40/700.85	o 9390
700.09/701.57	o 9385
700.88/702.34	o 9379
701.58/703.10	o 9375
702.48/703.91	o 9372
703.17/704.69	o 9369
703.97/705.45	o 9365
704.77/706.21	o 9361
705.56/707.00	o 9358
706.26/707.76	o 9355
707.05/708.55	o 9353
707.85/709.33	o 9351
708.54/710.08	o 9350
709.34/710.82	o 9349
710.04/711.60	o 9348
710.83/712.37	o 9345
711.63/713.12	o 9344
712.43/713.92	o 9343
713.22/714.72	o 9342
714.02/715.53	o 9341
714.82/716.32	o 9335
721.49/723.01	o 9329
722.19/723.72	o 9322
722.88/724.48	o 9317
724.38/725.96	o 9316
725.07/726.69	o 9312
725.87/727.43	o 9308
726.57/728.18	o 9303
731.05/732.64	o 9297
731.74/733.36	o 9295
732.44/734.07	o 9291
733.24/734.81	o 9287
733.83/735.49	o 9286
735.33/736.92	o 9285
736.02/737.62	o 9281
736.62/738.27	o 9270
737.31/738.96	o 9266
738.01/739.69	o 9262
738.71/740.36	o 9259
739.40/741.06	o 9256
740.10/741.75	o 9255
740.80/742.45	o 9253
741.49/743.18	o 9248
742.19/743.86	o 9246
742.89/744.54	o 9242
744.28/745.96	o 9238
745.76/747.46	o 9235
746.56/748.21	o 9230
748.75/750.47	o 9227
749.45/751.18	o 9220
751.63/753.34	o 9214
751.93/753.69	o 9209
753.33/755.08	o 9207
754.12/755.81	o 9203
754.72/756.49	o 9202
756.12/757.90	o 9197
756.91/758.61	o 9192
757.61/759.39	o 9189
758.42/760.14	o 9186
759.51/761.25	o 9181
760.20/761.97	o 9179
761.00/762.74	o 9175
761.70/763.48	o 9171
763.19/764.96	o 9168
763.89/765.69	o 9166
764.68/766.40	o 9163
765.38/767.15	o 9162
767.57/769.38	o 9155
768.17/769.94	o 9147
771.25/773.00	o 9145
775.03/776.88	o 9142
775.83/777.68	o 9140
776.62/778.48	o 9137
778.22/780.05	o 9136
779.51/781.39	o 9135
780.31/782.19	o 9133
781.10/782.99	o 9130
781.90/783.76	o 9120
782.69/784.53	o 9115
783.39/785.26	o 9111
784.18/786.05	o 9104
787.97/789.90	o 9100
788.76/790.68	o 9095
789.56/791.49	o 9094
791.25/793.11	o 9088
794.33/796.27	o 9084
795.13/797.04	o 9083
795.93/797.84	o 9078
796.82/798.71	o 9077
797.53/799.49	o 9073
798.32/800.26	o 9070
799.12/801.06	o 9068
800.81/802.73	o 9063
801.60/803.56	o 9061
802.40/804.38	o 9059
803.30/805.22	o 9054
804.09/806.05	o 9049
805.78/807.72	o 9048
806.68/808.64	o 9046
807.47/809.47	o 9045
808.37/810.40	o 9044
809.26/811.28	o 9041
810.16/812.17	o 9040
811.05/813.05	o 9039
812.05/814.02	o 9034
812.84/814.86	o 9031
814.64/816.69	o 9028
815.53/817.55	o 9023
816.43/818.45	o 9017
818.23/820.23	o 9014
819.92/821.95	o 9012
820.72/822.79	o 9008
821.71/823.74	o 9007
822.61/824.62	o 9003
824.30/826.38	o 9002
825.20/827.30	o 8999
826.19/828.21	o 8994
826.98/829.08	o 8992
827.88/829.98	o 8990
828.78/830.86	o 8982
829.67/831.77	o 8980
830.57/832.66	o 8979
831.56/833.60	o 8978
832.35/834.49	o 8977
837.63/839.73	o 8975
838.42/840.56	o 8973
839.32/841.42	o 8969
840.11/842.26	o 8966
840.91/843.06	o 8964
841.81/843.93	o 8962
842.60/844.78	o 8961
847.57/849.73	o 8960
848.37/850.52	o 8954
849.17/851.37	o 8950
849.96/852.18	o 8945
850.85/853.00	o 8943
853.24/855.47	o 8941
854.94/857.14	o 8933
856.62/858.82	o 8930
857.42/859.67	o 8925
858.22/860.46	o 8922
859.91/862.10	o 8921
862.50/864.70	o 8919
863.29/865.58	o 8918
865.88/868.16	o 8917
866.78/869.04	o 8914
867.68/869.94	o 8912
868.57/870.85	o 8908
869.47/871.78	o 8901
873.16/875.46	o 8899
874.05/876.37	o 8896
875.04/877.32	o 8886
875.94/878.27	o 8885
876.84/879.19	o 8884
877.83/880.17	o 8882
879.72/882.08	o 8878
880.71/883.05	o 8875
881.61/883.99	o 8872
882.60/884.95	o 8870
883.50/885.88	o 8868
885.40/887.76	o 8864
886.29/888.66	o 8853
887.18/889.55	o 8849
893.45/895.89	o 8846
894.35/896.79	o 8840
895.34/897.71	o 8836
896.24/898.61	o 8833
897.13/899.53	o 8829
898.03/900.43	o 8826
901.51/903.98	o 8817
902.41/904.86	o 8812
903.31/905.74	o 8802
903.60/906.04	o 8792
904.40/906.88	o 8791
905.30/907.75	o 8785
906.20/908.63	o 8778
907.09/909.54	o 8773
907.98/910.41	o 8770
908.78/911.28	o 8768
909.67/912.13	o 8767
910.57/913.01	o 8761
911.47/913.90	o 8760
912.37/914.81	o 8757
914.06/916.58	o 8754
914.86/917.36	o 8746
915.75/918.20	o 8745
916.55/919.05	o 8738
917.45/919.94	o 8735
918.25/920.79	o 8734
919.14/921.68	o 8732
920.03/922.59	o 8731
920.92/923.45	o 8728
921.92/924.41	o 8727
922.72/925.30	o 8723
923.62/926.19	o 8718
924.60/927.12	o 8712
925.30/927.86	o 8710
926.20/928.80	o 8707
927.19/929.76	o 8702
928.09/930.68	o 8699
929.08/931.62	o 8692
929.97/932.54	o 8689
930.87/933.45	o 8686
932.76/935.32	o 8684
933.66/936.21	o 8677
934.56/937.14	o 8668
935.45/938.01	o 8664
937.14/939.74	o 8663
938.04/940.62	o 8660
938.94/941.50	o 8658
939.73/942.39	o 8657
940.72/943.30	o 8652
941.52/944.18	o 8648
942.52/945.10	o 8645
943.32/945.99	o 8643
944.30/946.91	o 8637
945.20/947.80	o 8636
946.09/948.73	o 8635
956.25/959.00	o 8630
957.24/959.94	o 8623
958.14/960.87	o 8622
959.04/961.78	o 8617
960.03/962.71	o 8613
960.93/963.65	o 8604
962.82/965.52	o 8602
963.71/966.48	o 8599
964.71/967.40	o 8588
965.61/968.34	o 8582
966.51/969.26	o 8576
967.41/970.17	o 8574
968.40/971.15	o 8572
971.08/973.87	o 8570
972.08/974.81	o 8567
972.88/975.67	o 8566
974.66/977.49	o 8562
975.66/978.42	o 8559
977.36/980.16	o 8551
978.25/981.02	o 8549
980.94/983.72	o 8547
981.83/984.65	o 8541
982.73/985.57	o 8537
983.62/986.49	o 8533
984.61/987.41	o 8528
985.51/988.37	o 8524
986.51/989.31	o 8519
988.30/991.20	o 8509
989.30/992.16	o 8503
990.28/993.15	o 8498
991.28/994.12	o 8493
992.17/995.05	o 8491
995.06/997.99	o 8490
996.06/998.94	o 8489
996.96/999.88	o 8488
997.95/1000.83	o 8480
998.94/1001.82	o 8476
999.84/1002.77	o 8472
1000.83/1003.72	o 8465
1001.73/1004.67	o 8457
1002.72/1005.62	o 8456
1004.62/1007.55	o 8454
1005.41/1008.32	o 8448
1006.30/1009.27	o 8446
1007.20/1010.17	o 8445
1008.09/1011.05	o 8442
1009.88/1012.85	o 8439
1010.79/1013.78	o 8434
1013.18/1016.15	o 8426
1014.07/1017.06	o 8422
1014.97/1017.95	o 8417
1015.86/1018.81	o 8415
1016.66/1019.68	o 8410
1017.55/1020.58	o 8406
1018.45/1021.46	o 8400
1019.35/1022.36	o 8396
1020.24/1023.29	o 8391
1022.13/1025.19	o 8385
1023.12/1026.12	o 8384
1024.02/1027.07	o 8381
1025.01/1028.04	o 8374
1025.91/1028.99	o 8365
1026.90/1029.95	o 8363
1028.80/1031.86	o 8361
1029.79/1032.82	o 8357
1030.68/1033.75	o 8356
1031.57/1034.68	o 8354
1032.57/1035.65	o 8351
1042.04/1045.17	o 8349
1043.04/1046.16	o 8348
1044.03/1047.13	o 8346
1044.92/1048.07	o 8343
1045.91/1049.01	o 8337
1046.81/1049.95	o 8333
1047.71/1050.89	o 8332
1048.70/1051.86	o 8331
1050.59/1053.72	o 8328
1051.49/1054.65	o 8326
1052.38/1055.58	o 8319
1054.17/1057.36	o 8317
1055.07/1058.21	o 8313
1056.86/1060.04	o 8311
1057.75/1060.92	o 8309
1061.93/1065.15	o 8308
1067.11/1070.32	o 8306
1067.90/1071.18	o 8301
1068.80/1072.03	o 8300
1069.60/1072.86	o 8290
1070.49/1073.73	o 8287
1071.28/1074.58	o 8284
1074.68/1077.91	o 8276
1076.27/1079.57	o 8275
1077.07/1080.39	o 8274
1078.07/1081.30	o 8271
1078.96/1082.24	o 8268
1079.85/1083.14	o 8264
1080.75/1084.05	o 8258
1081.75/1085.02	o 8255
1085.33/1088.63	o 8249
1086.22/1089.56	o 8245
1088.11/1091.43	o 8244
1090.90/1094.28	o 8243
1091.89/1095.22	o 8239
1092.79/1096.11	o 8237
1093.69/1097.04	o 8236
1094.58/1097.97	o 8235
1098.26/1101.60	o 8232
1099.06/1102.42	o 8229
1100.75/1104.14	o 8226
1101.54/1104.99	o 8219
1102.44/1105.84	o 8217
1103.34/1106.77	o 8215
1105.82/1109.27	o 8210
1106.71/1110.13	o 8209
1109.30/1112.79	o 8207
1110.20/1113.66	o 8201
1112.79/1116.28	o 8200
1116.28/1119.80	o 8196
1117.17/1120.69	o 8195
1118.07/1121.57	o 8192
1118.96/1122.48	o 8190
1119.96/1123.41	o 8188
1120.85/1124.32	o 8187
1121.75/1125.24	o 8183
1122.64/1126.17	o 8182
1123.54/1127.08	o 8180
1124.53/1128.04	o 8176
1126.42/1129.94	o 8171
1127.12/1130.64	o 8166
1128.01/1131.51	o 8163
1128.91/1132.44	o 8162
1129.81/1133.33	o 8161
1130.70/1134.24	o 8158
1131.60/1135.12	o 8155
1135.18/1138.70	o 8151
1136.08/1139.62	o 8147
1136.97/1140.56	o 8140
1137.87/1141.44	o 8138
1139.66/1143.22	o 8134
1141.35/1144.99	o 8133
1143.14/1146.77	o 8128
1144.04/1147.61	o 8123
1144.84/1148.47	o 8119
1145.73/1149.35	o 8115
1146.62/1150.21	o 8113
1147.42/1151.05	o 8109
1148.32/1151.91	o 8108
1149.11/1152.76	o 8107
1150.00/1153.61	o 8104
1150.79/1154.47	o 8100
1151.69/1155.32	o 8098
1152.49/1156.17	o 8097
1153.38/1157.01	o 8090
1154.28/1157.90	o 8087
1155.08/1158.74	o 8086
1157.66/1161.30	o 8084
1158.45/1162.16	o 8081
1159.25/1162.99	o 8076
1160.15/1163.89	o 8070
1161.04/1164.77	o 8066
1163.63/1167.32	o 8062
1165.22/1168.97	o 8059
1166.91/1170.63	o 8055
1167.71/1171.49	o 8053
1168.60/1172.31	o 8048
1169.40/1173.12	o 8044
1170.20/1173.95	o 8041
1171.00/1174.75	o 8039
1171.88/1175.60	o 8038
1175.18/1178.92	o 8036
1175.97/1179.75	o 8032
1176.77/1180.57	o 8030
1177.57/1181.39	o 8024
1178.36/1182.18	o 8021
1179.26/1183.00	o 8013
1179.96/1183.79	o 8012
1180.75/1184.59	o 8011
1182.44/1186.22	o 8010
1183.24/1187.06	o 8006
1184.03/1187.89	o 8001
1184.93/1188.75	o 8000
1187.42/1191.22	o 7994
1189.01/1192.87	o 7990
1189.81/1193.68	o 7986
1190.71/1194.51	o 7985
1191.50/1195.32	o 7981
1192.29/1196.17	o 7978
1193.88/1197.78	o 7973
1194.77/1198.61	o 7969
1195.57/1199.46	o 7968
1196.47/1200.30	o 7963
1197.27/1201.18	o 7960
1198.16/1202.04	o 7956
1199.05/1202.90	o 7954
1199.85/1203.78	o 7952
1200.75/1204.60	o 7951
1202.44/1206.34	o 7948
1203.23/1207.19	o 7947
1204.93/1208.88	o 7946
1206.71/1210.64	o 7945
1208.40/1212.35	o 7943
1209.30/1213.24	o 7942
1210.19/1214.15	o 7941
1210.99/1214.99	o 7937
1211.89/1215.87	o 7934
1212.78/1216.75	o 7929
1213.68/1217.62	o 7921
1214.47/1218.44	o 7916
1214.87/1218.86	o 7912
1215.67/1219.69	o 7910
1216.56/1220.53	o 7909
1217.36/1221.37	o 7906
1218.25/1222.20	o 7904
1219.05/1223.06	o 7902
1219.85/1223.88	o 7901
1220.65/1224.69	o 7900
1221.55/1225.53	o 7897
1224.13/1228.12	o 7895
1224.93/1228.94	o 7888
1225.73/1229.77	o 7886
1228.21/1232.27	o 7881
1229.11/1233.11	o 7879
1229.80/1233.87	o 7877
1230.70/1234.70	o 7874
1232.30/1236.39	o 7872
1233.19/1237.20	o 7870
1233.98/1238.01	o 7867
1234.78/1238.83	o 7866
1235.58/1239.67	o 7865
1236.47/1240.52	o 7864
1237.27/1241.35	o 7860
1238.06/1242.18	o 7853
1238.96/1243.04	o 7850
1239.85/1243.93	o 7848
1240.65/1244.75	o 7846
1242.93/1247.06	o 7843
1243.73/1247.89	o 7841
1244.63/1248.76	o 7839
1245.43/1249.59	o 7837
1246.32/1250.47	o 7832
1247.11/1251.29	o 7830
1248.01/1252.14	o 7828
1248.90/1253.04	o 7826
1249.70/1253.89	o 7824
1253.09/1257.24	o 7822
1253.98/1258.10	o 7821
1258.35/1262.51	o 7819
1260.95/1265.17	o 7817
1262.73/1266.91	o 7815
1263.63/1267.80	o 7812
1264.53/1268.74	o 7809
1265.42/1269.64	o 7807
1266.32/1270.58	o 7806
1267.21/1271.45	o 7805
1270.80/1275.05	o 7798
1271.70/1275.96	o 7795
1272.59/1276.85	o 7794
1274.39/1278.68	o 7790
1274.88/1279.19	o 7786
1276.77/1281.08	o 7785
1277.76/1282.01	o 7784
1279.66/1283.93	o 7777
1281.55/1285.85	o 7775
1283.43/1287.75	o 7774
1285.32/1289.65	o 7773
1286.22/1290.58	o 7770
1287.21/1291.52	o 7768
1290.70/1295.09	o 7767
1293.38/1297.77	o 7763
1294.38/1298.70	o 7760
1296.17/1300.54	o 7759
1297.07/1301.44	o 7753
1299.85/1304.22	o 7749
1300.75/1305.14	o 7748
1301.65/1306.04	o 7745
1302.54/1306.94	o 7742
1303.34/1307.74	o 7735
1305.22/1309.61	o 7728
1306.13/1310.52	o 7726
1307.92/1312.33	o 7720
1308.81/1313.29	o 7713
1309.80/1314.26	o 7712
1310.69/1315.18	o 7711
1311.69/1316.16	o 7708
1312.69/1317.12	o 7705
1314.58/1319.05	o 7699
1315.48/1320.00	o 7697
1316.47/1320.92	o 7692
1317.36/1321.87	o 7691
1319.26/1323.73	o 7688
1320.15/1324.65	o 7686
1323.04/1327.51	o 7680
1323.93/1328.44	o 7673
1325.82/1330.32	o 7666
1326.72/1331.24	o 7665
1328.50/1333.09	o 7662
1329.50/1334.04	o 7659
1330.39/1334.97	o 7654
1340.66/1345.25	o 7650
1341.55/1346.17	o 7648
1342.45/1347.09	o 7643
1344.34/1348.99	o 7640
1345.33/1349.96	o 7638
1349.21/1353.82	o 7637
1350.11/1354.75	o 7632
1353.00/1357.62	o 7631
1353.90/1358.59	o 7629
1354.99/1359.61	o 7628
1355.99/1360.63	o 7625
1356.98/1361.61	o 7619
1357.97/1362.63	o 7615
1358.97/1363.65	o 7614
1360.96/1365.69	o 7613
1363.05/1367.70	o 7610
1363.94/1368.68	o 7607
1364.94/1369.69	o 7604
1369.91/1374.62	o 7601
1370.90/1375.64	o 7599
1371.90/1376.66	o 7596
1372.90/1377.61	o 7592
1373.89/1378.63	o 7589
1381.15/1385.91	o 7586
1382.15/1386.95	o 7585
1383.14/1387.99	o 7584
1384.23/1389.06	o 7582
1385.33/1390.11	o 7581
1386.32/1391.15	o 7574
1387.42/1392.22	o 7572
1388.41/1393.21	o 7570
1389.41/1394.26	o 7568
1390.41/1395.28	o 7564
1391.50/1396.32	o 7562
1392.49/1397.35	o 7558
1393.49/1398.36	o 7556
1394.58/1399.44	o 7555
1395.58/1400.47	o 7551
1397.68/1402.58	o 7550
1398.78/1403.64	o 7545
1399.37/1404.23	o 7542
1400.36/1405.28	o 7541
1402.45/1407.32	o 7540
1405.54/1410.40	o 7538
1406.53/1411.44	o 7535
1407.53/1412.47	o 7528
1408.32/1413.23	o 7519
1411.31/1416.27	o 7516
1412.31/1417.26	o 7515
1413.40/1418.31	o 7513
1414.50/1419.41	o 7512
1415.59/1420.52	o 7510
1416.58/1421.54	o 7508
1417.58/1422.60	o 7505
1418.67/1423.70	o 7503
1419.76/1424.77	o 7499
1430.42/1435.43	o 7495
1431.51/1436.52	o 7492
1432.61/1437.62	o 7490
1433.60/1438.67	o 7487
1435.78/1440.82	o 7484
1436.78/1441.89	o 7480
1437.87/1442.92	o 7477
1438.87/1444.00	o 7473
1439.96/1445.07	o 7472
1442.15/1447.21	o 7468
1443.15/1448.26	o 7464
1444.24/1449.33	o 7458
1446.33/1451.46	o 7456
1447.42/1452.50	o 7455
1448.42/1453.56	o 7454
1449.52/1454.64	o 7451
1450.61/1455.71	o 7447
1451.60/1456.75	o 7443
1452.70/1457.81	o 7437
1453.70/1458.82	o 7435
1454.70/1459.84	o 7430
1455.70/1460.85	o 7428
1456.79/1461.91	o 7427
1457.79/1462.90	o 7426
1458.78/1463.90	o 7423
1459.77/1464.94	o 7419
1461.85/1467.08	o 7416
1462.95/1468.15	o 7414
1463.95/1469.18	o 7410
1465.04/1470.25	o 7405
1466.13/1471.31	o 7403
1467.13/1472.37	o 7402
1472.41/1477.67	o 7401
1474.60/1479.86	o 7398
1476.78/1482.01	o 7396
1477.78/1483.09	o 7393
1478.87/1484.20	o 7387
1481.08/1486.32	o 7382
1485.37/1490.65	o 7378
1486.47/1491.74	o 7377
1487.48/1492.78	o 7375
1489.68/1494.91	o 7374
1490.68/1495.98	o 7370
1492.88/1498.16	o 7369
1495.08/1500.37	o 7366
1496.17/1501.46	o 7360
1496.97/1502.20	o 7355
1497.97/1503.27	o 7348
1498.77/1504.04	o 7343
1499.87/1505.11	o 7339
1500.97/1506.22	o 7338
1503.17/1508.41	o 7334
1504.17/1509.48	o 7333
1505.37/1510.60	o 7330
1506.36/1511.66	o 7327
1507.46/1512.79	o 7326
1508.56/1513.87	o 7324
1510.76/1516.04	o 7315
1511.86/1517.12	o 7314
1512.86/1518.20	o 7311
1513.96/1519.26	o 7308
1516.15/1521.43	o 7307
1517.25/1522.50	o 7306
1519.45/1524.71	o 7302
1521.65/1526.92	o 7301
1522.75/1528.04	o 7297
1526.95/1532.21	o 7296
1528.05/1533.32	o 7290
1529.15/1534.44	o 7288
1530.25/1535.53	o 7285
1531.25/1536.58	o 7279
1533.34/1538.70	o 7278
1534.44/1539.72	o 7277
1535.35/1540.63	o 7270
1536.35/1541.61	o 7266
1538.45/1543.71	o 7262
1539.45/1544.76	o 7261
1540.45/1545.80	o 7260
1541.55/1546.88	o 7259
1542.65/1547.95	o 7256
1543.65/1549.00	o 7249
1544.75/1550.06	o 7246
1546.85/1552.17	o 7245
1548.95/1554.29	o 7239
1549.94/1555.29	o 7238
1552.04/1557.38	o 7236
1553.14/1558.45	o 7234
1554.24/1559.51	o 7233
1555.24/1560.55	o 7224
1558.44/1563.76	o 7223
1559.54/1564.82	o 7218
1560.54/1565.87	o 7217
1562.63/1567.94	o 7215
1563.63/1569.00	o 7210
1564.73/1570.07	o 7206
1565.83/1571.12	o 7205
1566.93/1572.22	o 7204
1567.93/1573.25	o 7201
1570.03/1575.31	o 7199
1572.13/1577.44	o 7192
1582.62/1587.93	o 7189
1585.82/1591.12	o 7187
1586.92/1592.24	o 7183
1588.02/1593.33	o 7179
1589.12/1594.46	o 7177
1590.32/1595.61	o 7176
1592.42/1597.79	o 7171
1593.52/1598.85	o 7168
1594.72/1600.03	o 7167
1597.92/1603.29	o 7165
1599.01/1604.38	o 7163
1600.11/1605.47	o 7159
1602.31/1607.66	o 7155
1603.41/1608.71	o 7154
1604.51/1609.83	o 7151
1606.71/1612.03	o 7147
1607.81/1613.15	o 7144
1608.91/1614.27	o 7141
1610.01/1615.37	o 7140
1611.21/1616.56	o 7139
1612.31/1617.63	o 7135
1613.41/1618.78	o 7134
1614.61/1619.94	o 7133
1616.91/1622.25	o 7132
1618.00/1623.40	o 7129
1621.61/1626.91	o 7127
1623.90/1629.29	o 7124
1625.20/1630.51	o 7122
1626.40/1631.71	o 7119
1627.50/1632.87	o 7117
1628.70/1634.05	o 7115
1629.90/1635.27	o 7112
1631.10/1636.42	o 7107
1634.70/1640.02	o 7105
1635.80/1641.16	o 7104
1637.00/1642.38	o 7100
1638.19/1643.57	o 7096
1640.59/1645.97	o 7093
1641.79/1647.10	o 7089
1642.99/1648.33	o 7087
1645.49/1650.80	o 7085
1646.69/1652.05	o 7084
1647.89/1653.30	o 7083
1649.19/1654.53	o 7080
1650.39/1655.79	o 7076
1651.68/1657.02	o 7075
1652.88/1658.27	o 7072
1654.18/1659.53	o 7066
1656.69/1662.09	o 7062
1658.08/1663.40	o 7056
1659.28/1664.69	o 7052
1663.18/1668.59	o 7051
1664.58/1669.91	o 7050
1665.78/1671.17	o 7041
1667.08/1672.48	o 7038
1669.68/1675.07	o 7036
1673.58/1678.92	o 7034
1674.78/1680.18	o 7031
1677.28/1682.68	o 7024
1679.78/1685.17	o 7021
1681.08/1686.46	o 7020
1688.47/1693.84	o 7019
1689.68/1695.07	o 7018
1690.88/1696.29	o 7016
1695.97/1701.30	o 7014
1698.37/1703.80	o 7011
1699.77/1705.13	o 7008
1703.56/1708.98	o 7004
1707.46/1712.86	o 7001
1708.66/1714.07	o 7000
1709.96/1715.33	o 6995
1711.16/1716.58	o 6991
1712.46/1717.81	o 6989
1713.66/1719.06	o 6988
1720.96/1726.38	o 6987
1724.75/1730.13	o 6986
1727.25/1732.62	o 6984
1728.45/1733.88	o 6982
1729.75/1735.12	o 6981
1730.95/1736.36	o 6978
1732.24/1737.61	o 6977
1733.44/1738.86	o 6973
1744.74/1750.18	o 6968
1747.25/1752.68	o 6966
1748.54/1753.94	o 6962
1749.74/1755.16	o 6958
1751.04/1756.43	o 6953
1753.64/1759.03	o 6951
1754.94/1760.30	o 6949
1756.14/1761.60	o 6944
1757.54/1762.90	o 6938
1758.74/1764.17	o 6934
1760.04/1765.47	o 6933
1762.64/1768.06	o 6932
1763.93/1769.34	o 6931
1765.23/1770.66	o 6930
1766.53/1771.94	o 6928
1770.53/1775.92	o 6927
1771.63/1777.00	o 6921
1772.93/1778.31	o 6916
1773.93/1779.31	o 6905
1775.23/1780.62	o 6900
1776.43/1781.88	o 6896
1777.63/1783.08	o 6892
1780.12/1785.56	o 6888
1781.42/1786.86	o 6885
1782.72/1788.19	o 6883
1786.82/1792.21	o 6878
1796.21/1801.64	o 6876
1800.31/1805.73	o 6875
1801.71/1807.10	o 6874
1804.41/1809.82	o 6872
1805.81/1811.26	o 6871
1807.21/1812.64	o 6867
1808.61/1814.03	o 6865
1810.01/1815.43	o 6859
1811.41/1816.85	o 6858
1812.81/1818.22	o 6857
1819.60/1825.10	o 6855
1821.00/1826.50	o 6852
1825.30/1830.72	o 6850
1828.10/1833.50	o 6848
1830.79/1836.27	o 6841
1832.19/1837.64	o 6839
1833.49/1839.00	o 6837
1836.29/1841.73	o 6833
1837.59/1843.08	o 6831
1839.09/1844.51	o 6828
1841.79/1847.22	o 6826
1843.19/1848.63	o 6825
1850.08/1855.56	o 6822
1851.48/1856.92	o 6820
1854.18/1859.65	o 6816
1856.88/1862.39	o 6811
1858.28/1863.75	o 6804
1866.47/1871.91	o 6797
1867.78/1873.24	o 6793
1869.08/1874.56	o 6791
1870.48/1875.92	o 6787
1871.78/1877.20	o 6784
1874.38/1879.82	o 6781
1875.68/1881.15	o 6780
1878.37/1883.83	o 6779
1879.67/1885.18	o 6777
1890.37/1895.85	o 6774
1891.67/1897.18	o 6771
1903.46/1908.95	o 6770
1904.76/1910.25	o 6768
1906.16/1911.60	o 6766
1907.46/1912.92	o 6763
1908.76/1914.24	o 6760
1910.06/1915.57	o 6759
1911.35/1916.86	o 6756
1913.85/1919.39	o 6755
1918.94/1924.45	o 6750
1920.24/1925.78	o 6747
1921.65/1927.11	o 6744
1922.85/1928.39	o 6743
1924.14/1929.67	o 6742
1925.44/1930.98	o 6733
1926.75/1932.29	o 6727
1928.05/1933.59	o 6725
1933.25/1938.71	o 6724
1934.55/1940.04	o 6723
1938.44/1943.97	o 6722
1939.74/1945.26	o 6719
1942.34/1947.81	o 6718
1943.54/1949.09	o 6715
1944.84/1950.35	o 6714
1946.04/1951.52	o 6709
1947.24/1952.78	o 6707
1948.54/1954.09	o 6706
1951.24/1956.71	o 6703
1953.83/1959.32	o 6701
1955.13/1960.63	o 6698
1956.43/1961.94	o 6695
1957.43/1962.97	o 6693
1962.72/1968.20	o 6692
1963.72/1969.30	o 6691
1965.12/1970.61	o 6690
1966.32/1971.89	o 6689
1967.62/1973.12	o 6686
1968.82/1974.38	o 6683
1970.13/1975.66	o 6682
1971.42/1976.93	o 6679
1972.72/1978.20	o 6673
1973.92/1979.42	o 6669
1975.12/1980.65	o 6665
1976.42/1981.95	o 6662
1980.22/1985.73	o 6659
1981.52/1987.04	o 6658
1982.82/1988.32	o 6656
1984.02/1989.59	o 6652
1985.32/1990.84	o 6647
1987.91/1993.49	o 6642
1991.71/1997.28	o 6640
1993.01/1998.60	o 6637
1994.31/1999.88	o 6634
1995.61/2001.18	o 6633
1998.21/2003.73	o 6630
1999.51/2005.03	o 6629
2000.81/2006.37	o 6627
2002.10/2007.68	o 6623
2003.40/2008.99	o 6619
2007.40/2012.93	o 6617
2008.70/2014.22	o 6616
2010.00/2015.57	o 6612
2011.30/2016.88	o 6609
2012.70/2018.22	o 6607
2015.20/2020.78	o 6605
2016.59/2022.13	o 6602
2017.89/2023.43	o 6601
2019.19/2024.72	o 6597
2020.49/2026.08	o 6591
2028.29/2033.85	o 6590
2032.19/2037.78	o 6589
2033.49/2039.09	o 6588
2034.69/2040.23	o 6585
2035.99/2041.54	o 6583
2037.29/2042.84	o 6578
2038.59/2044.16	o 6575
2039.99/2045.51	o 6571
2041.29/2046.85	o 6570
2042.69/2048.24	o 6569
2043.99/2049.57	o 6564
2052.18/2057.71	o 6563
2057.48/2063.02	o 6556
2058.78/2064.32	o 6549
2062.78/2068.31	o 6545
2064.07/2069.60	o 6543
2065.37/2070.91	o 6542
2066.67/2072.23	o 6541
2067.98/2073.53	o 6538
2068.77/2074.36	o 6535
2070.07/2075.65	o 6534
2071.47/2077.06	o 6531
2072.87/2078.49	o 6530
2075.57/2081.14	o 6528
2085.06/2090.64	o 6527
2089.16/2094.76	o 6525
2091.96/2097.54	o 6520
2093.26/2098.89	o 6516
2094.65/2100.27	o 6514
2096.05/2101.68	o 6511
2098.95/2104.56	o 6509
2100.35/2105.99	o 6507
2101.85/2107.46	o 6505
2104.75/2110.32	o 6500
2106.14/2111.76	o 6497
2107.65/2113.24	o 6495
2113.44/2119.02	o 6494
2114.84/2120.46	o 6493
2117.84/2123.40	o 6492
2119.24/2124.89	o 6490
2123.74/2129.34	o 6488
2126.64/2132.25	o 6485
2129.65/2135.22	o 6482
2131.14/2136.71	o 6481
2132.54/2138.17	o 6477
2134.04/2139.62	o 6474
2136.94/2142.55	o 6473
2138.34/2143.99	o 6467
2142.74/2148.36	o 6464
2144.24/2149.81	o 6463
2145.63/2151.26	o 6460
2147.04/2152.69	o 6458
2148.14/2153.77	o 6457
2149.43/2155.01	o 6455
2150.83/2156.42	o 6453
2152.13/2157.77	o 6451
2152.73/2158.40	o 6448
2158.43/2164.06	o 6439
2159.83/2165.48	o 6433
2165.43/2171.07	o 6431
2166.83/2172.45	o 6430
2168.23/2173.81	o 6421
2169.52/2175.17	o 6417
2172.33/2177.93	o 6412
2185.01/2190.64	o 6409
2186.41/2192.04	o 6405
2188.81/2194.45	o 6402
2191.51/2197.19	o 6401
2193.01/2198.60	o 6398
2198.61/2204.25	o 6397
2201.40/2207.02	o 6393
2202.80/2208.49	o 6388
2205.70/2211.32	o 6378
2210.80/2216.46	o 6377
2212.20/2217.83	o 6373
2213.20/2218.82	o 6371
2214.60/2220.22	o 6366
2215.99/2221.60	o 6364
2217.40/2223.02	o 6363
2218.79/2224.40	o 6362
2220.19/2225.86	o 6361
2221.69/2227.34	o 6359
2227.39/2233.03	o 6357
2228.78/2234.45	o 6354
2231.68/2237.33	o 6348
2235.89/2241.56	o 6346
2237.39/2243.02	o 6344
2241.59/2247.21	o 6341
2242.98/2248.65	o 6339
2244.48/2250.11	o 6337
2245.88/2251.52	o 6335
2250.18/2255.80	o 6334
2251.58/2257.27	o 6333
2252.98/2258.69	o 6328
2253.68/2259.38	o 6325
2255.18/2260.84	o 6324
2256.68/2262.31	o 6322
2258.08/2263.78	o 6319
2261.07/2266.79	o 6317
2262.37/2268.09	o 6313
2263.87/2269.59	o 6308
2265.37/2271.06	o 6307
2269.77/2275.44	o 6304
2271.27/2276.91	o 6300
2272.76/2278.40	o 6297
2293.36/2299.03	o 6295
2294.86/2300.56	o 6292
2296.36/2302.09	o 6290
2297.95/2303.60	o 6289
2300.85/2306.59	o 6286
2308.45/2314.17	o 6280
2309.95/2315.69	o 6277
2311.55/2317.21	o 6275
2317.55/2323.28	o 6274
2319.14/2324.81	o 6267
2320.64/2326.35	o 6266
2323.64/2329.36	o 6262
2325.14/2330.88	o 6258
2326.74/2332.43	o 6256
2329.74/2335.44	o 6253
2331.24/2336.96	o 6252
2332.74/2338.49	o 6250
2334.23/2339.98	o 6246
2335.73/2341.49	o 6244
2338.83/2344.53	o 6243
2340.33/2346.07	o 6241
2341.83/2347.51	o 6236
2346.43/2352.14	o 6233
2349.54/2355.20	o 6228
2352.64/2358.32	o 6226
2354.14/2359.86	o 6220
2355.63/2361.37	o 6217
2357.23/2362.92	o 6210
2361.43/2367.17	o 6209
2363.02/2368.74	o 6208
2364.62/2370.32	o 6207
2365.83/2371.58	o 6204
2370.52/2376.24	o 6202
2372.12/2377.83	o 6201
2373.62/2379.39	o 6200
2375.22/2380.98	o 6192
2376.22/2381.95	o 6188
2380.31/2386.04	o 6186
2381.51/2387.28	o 6180
2384.52/2390.30	o 6179
2387.61/2393.37	o 6176
2389.21/2394.91	o 6175
2390.71/2396.45	o 6172
2392.21/2398.00	o 6168
2393.80/2399.55	o 6165
2395.30/2401.07	o 6164
2398.40/2404.19	o 6163
2400.01/2405.72	o 6159
2401.50/2407.25	o 6155
2404.21/2409.98	o 6152
2405.81/2411.56	o 6151
2407.41/2413.15	o 6150
2416.90/2422.64	o 6148
2418.50/2424.24	o 6147
2420.10/2425.85	o 6146
2421.80/2427.51	o 6143
2426.59/2432.38	o 6141
2428.29/2434.02	o 6138
2433.89/2439.65	o 6136
2435.49/2441.25	o 6135
2440.38/2446.17	o 6132
2442.08/2447.83	o 6131
2443.68/2449.45	o 6127
2458.67/2464.44	o 6126
2460.27/2466.07	o 6125
2461.97/2467.79	o 6122
2463.77/2469.53	o 6121
2477.06/2482.83	o 6120
2480.46/2486.24	o 6116
2486.46/2492.20	o 6112
2487.26/2493.04	o 6108
2488.46/2494.23	o 6103
2491.76/2497.57	o 6102
2493.47/2499.29	o 6100
2495.06/2500.89	o 6099
2496.76/2502.55	o 6098
2498.46/2504.21	o 6094
2500.16/2505.95	o 6093
2503.65/2509.40	o 6088
2507.05/2512.80	o 6085
2513.75/2519.56	o 6084
2515.45/2521.25	o 6081
2517.15/2522.94	o 6078
2519.75/2525.60	o 6073
2521.55/2527.31	o 6072
2525.05/2530.82	o 6069
2533.64/2539.45	o 6066
2538.74/2544.53	o 6062
2552.43/2558.23	o 6057
2557.53/2563.37	o 6054
2559.23/2565.09	o 6052
2572.72/2578.57	o 6051
2576.12/2581.97	o 6048
2579.52/2585.36	o 6046
2610.20/2616.01	   
2610.20/2616.01	   search
2610.20/2616.01	     run=0  nbConstraintChecks=5591156066  nbAssignments=3132
2610.20/2616.01	       =>  wckTime=2599.542  cpuTime=2593.71  mem=124M946
2610.20/2616.01	   
2610.20/2616.01	   global
2610.20/2616.01	     nbConstraintChecks=5591156066  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2610.20/2616.01	     solvingWckTime=2599.512  solvingCpuTime=2593.68  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2610.20/2616.01	     globalCpuTime=2607.74
2610.20/2616.01	       =>  wckTime=2615.77  cpuTime=2607.71  mem=124M946
2610.20/2616.01	   
2610.20/2616.01	   solver DecomposerSolver being built... 
2618.09/2623.98	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112785-1215874014/watcher-1112785-1215874014 -o /tmp/evaluation-result-1112785-1215874014/solver-1112785-1215874014 -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-1112785-1215874014.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.46 2.57 2.49 4/81 20760
/proc/meminfo: memFree=1891048/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=152 CPUtime=0
/proc/20760/stat : 20760 (java) R 20758 20760 20515 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 44103373 155648 26 996147200 134512640 134550740 4294955952 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 0 0 0
/proc/20760/statm: 38 26 19 9 0 4 0

[startup+0.0612921 s]
/proc/loadavg: 2.46 2.57 2.49 4/81 20760
/proc/meminfo: memFree=1891048/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=864076 CPUtime=0.04
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 2808 0 1 0 3 1 0 0 18 0 9 0 44103373 884813824 2346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216019 2346 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076

[startup+0.101299 s]
/proc/loadavg: 2.46 2.57 2.49 4/81 20760
/proc/meminfo: memFree=1891048/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=865988 CPUtime=0.08
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 3747 0 1 0 7 1 0 0 18 0 9 0 44103373 886771712 3211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216497 3211 1694 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301333 s]
/proc/loadavg: 2.46 2.57 2.49 4/81 20760
/proc/meminfo: memFree=1891048/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=866484 CPUtime=0.28
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 5907 0 1 0 25 3 0 0 18 0 9 0 44103373 887279616 5282 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216621 5282 1957 9 0 211149 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866484

[startup+0.701401 s]
/proc/loadavg: 2.46 2.57 2.49 4/81 20760
/proc/meminfo: memFree=1891048/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867360 CPUtime=0.68
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 16960 0 1 0 59 9 0 0 18 0 9 0 44103373 888176640 16330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216840 16330 1979 9 0 211368 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867360

[startup+1.50254 s]
/proc/loadavg: 2.46 2.57 2.49 3/90 20769
/proc/meminfo: memFree=1802280/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867492 CPUtime=1.48
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 29672 0 1 0 135 13 0 0 18 0 9 0 44103373 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216873 29008 2004 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867492 CPUtime=1.13
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15765 0 1 0 105 8 0 0 25 0 9 0 44103374 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4126154688 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867492 CPUtime=0.15
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 12596 0 0 0 12 3 0 0 17 0 9 0 44103375 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44103376 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867492 CPUtime=0.16
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 613 0 0 0 16 0 0 0 16 0 9 0 44103378 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888311808 29008 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867492

[startup+3.10181 s]
/proc/loadavg: 2.46 2.57 2.49 3/90 20769
/proc/meminfo: memFree=1782248/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867492 CPUtime=3.08
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 33421 0 1 0 293 15 0 0 18 0 9 0 44103373 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216873 32755 2004 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867492 CPUtime=2.51
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15767 0 1 0 242 9 0 0 25 0 9 0 44103374 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 102689624 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867492 CPUtime=0.39
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 16343 0 0 0 34 5 0 0 17 0 9 0 44103375 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44103376 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867492 CPUtime=0.16
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 613 0 0 0 16 0 0 0 16 0 9 0 44103378 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888311808 32755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867492

[startup+6.30236 s]
/proc/loadavg: 2.43 2.56 2.49 3/90 20769
/proc/meminfo: memFree=1759784/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867492 CPUtime=6.28
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 35359 0 1 0 612 16 0 0 18 0 9 0 44103373 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216873 34688 2006 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867492 CPUtime=5.57
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15802 0 1 0 547 10 0 0 25 0 9 0 44103374 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4126929959 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867492 CPUtime=0.5
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 18231 0 0 0 45 5 0 0 16 0 9 0 44103375 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44103376 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867492 CPUtime=0.19
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 628 0 0 0 19 0 0 0 15 0 9 0 44103378 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888311808 34688 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867492

[startup+12.7015 s]
/proc/loadavg: 2.39 2.55 2.49 3/90 20769
/proc/meminfo: memFree=1753256/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867492 CPUtime=12.68
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 38511 0 1 0 1249 19 0 0 18 0 9 0 44103373 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216873 37836 2007 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867492 CPUtime=11.67
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15809 0 1 0 1157 10 0 0 25 0 9 0 44103374 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 104454685 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867492 CPUtime=0.71
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 21326 0 0 0 64 7 0 0 17 0 9 0 44103375 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44103376 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867492 CPUtime=0.26
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 678 0 0 0 26 0 0 0 15 0 9 0 44103378 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867492 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888311808 37836 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867492

[startup+25.5026 s]
/proc/loadavg: 2.37 2.54 2.48 3/90 20769
/proc/meminfo: memFree=1705192/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867580 CPUtime=25.48
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 49908 0 1 0 2524 24 0 0 18 0 9 0 44103373 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216895 48909 2640 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867580 CPUtime=23.19
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15877 0 1 0 2307 12 0 0 25 0 9 0 44103374 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4126902464 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867580 CPUtime=1.95
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 32626 0 0 0 185 10 0 0 16 0 9 0 44103375 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867580 CPUtime=0.3
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 707 0 0 0 30 0 0 0 16 0 9 0 44103378 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 867580

[startup+51.103 s]
/proc/loadavg: 2.24 2.49 2.47 3/90 20769
/proc/meminfo: memFree=1705192/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867580 CPUtime=51.06
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 49908 0 1 0 5080 26 0 0 18 0 9 0 44103373 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216895 48909 2640 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867580 CPUtime=48.77
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15877 0 1 0 4863 14 0 0 25 0 9 0 44103374 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4127224865 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867580 CPUtime=1.95
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 32626 0 0 0 185 10 0 0 16 0 9 0 44103375 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867580 CPUtime=0.3
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 707 0 0 0 30 0 0 0 16 0 9 0 44103378 888401920 48909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867580 CPUtime=0

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

/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867580 CPUtime=0.33
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 721 0 0 0 33 0 0 0 16 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2376.62
Current children cumulated vsize (KiB) 867580

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/89 20815
/proc/meminfo: memFree=1587248/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867580 CPUtime=2436.59
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 49925 0 1 0 243588 71 0 0 18 0 9 0 44103373 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216895 48923 2640 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867580 CPUtime=2434.26
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15880 0 1 0 243368 58 0 0 25 0 9 0 44103374 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4127222822 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867580 CPUtime=1.95
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 32626 0 0 0 185 10 0 0 16 0 9 0 44103375 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867580 CPUtime=0.33
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 721 0 0 0 33 0 0 0 16 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2436.59
Current children cumulated vsize (KiB) 867580

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/89 20815
/proc/meminfo: memFree=1587248/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867580 CPUtime=2496.56
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 49925 0 1 0 249584 72 0 0 18 0 9 0 44103373 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216895 48923 2640 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867580 CPUtime=2494.23
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15880 0 1 0 249364 59 0 0 25 0 9 0 44103374 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4127072759 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867580 CPUtime=1.95
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 32626 0 0 0 185 10 0 0 16 0 9 0 44103375 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867580 CPUtime=0.33
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 721 0 0 0 33 0 0 0 16 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2496.56
Current children cumulated vsize (KiB) 867580

[startup+2562.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/89 20815
/proc/meminfo: memFree=1587184/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867580 CPUtime=2556.53
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 49925 0 1 0 255581 72 0 0 18 0 9 0 44103373 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216895 48923 2640 9 0 211401 0
[pid=20760/tid=20762] ppid=20758 vsize=867580 CPUtime=2554.2
/proc/20760/task/20762/stat : 20762 (java) R 20758 20760 20515 0 -1 64 15880 0 1 0 255361 59 0 0 25 0 9 0 44103374 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4126896520 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867580 CPUtime=1.95
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20515 0 -1 64 32626 0 0 0 185 10 0 0 16 0 9 0 44103375 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44103376 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867580 CPUtime=0.33
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 721 0 0 0 33 0 0 0 16 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867580 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888401920 48923 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2556.53
Current children cumulated vsize (KiB) 867580

[startup+2622.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/89 20815
/proc/meminfo: memFree=983024/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867996 CPUtime=2616.5
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 201483 0 1 0 261525 125 0 0 18 0 9 0 44103373 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216999 199576 2618 9 0 211527 0
[pid=20760/tid=20762] ppid=20758 vsize=867996 CPUtime=2608.95
/proc/20760/task/20762/stat : 20762 (java) S 20758 20760 20515 0 -1 64 15974 0 1 0 260835 60 0 0 16 0 9 0 44103374 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867996 CPUtime=7.14
/proc/20760/task/20763/stat : 20763 (java) R 20758 20760 20515 0 -1 64 184042 0 0 0 651 63 0 0 21 0 9 0 44103375 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44103376 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867996 CPUtime=0.38
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 751 0 0 0 37 1 0 0 15 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2616.5
Current children cumulated vsize (KiB) 867996

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

[startup+2623.1 s]
/proc/loadavg: 2.08 2.03 2.01 3/89 20815
/proc/meminfo: memFree=983024/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867996 CPUtime=2617.29
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 201609 0 1 0 261604 125 0 0 18 0 9 0 44103373 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216999 199576 2618 9 0 211527 0
[pid=20760/tid=20762] ppid=20758 vsize=867996 CPUtime=2608.95
/proc/20760/task/20762/stat : 20762 (java) S 20758 20760 20515 0 -1 64 15974 0 1 0 260835 60 0 0 16 0 9 0 44103374 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867996 CPUtime=7.93
/proc/20760/task/20763/stat : 20763 (java) R 20758 20760 20515 0 -1 64 184168 0 0 0 730 63 0 0 25 0 9 0 44103375 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44103376 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867996 CPUtime=0.38
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 751 0 0 0 37 1 0 0 15 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2617.29
Current children cumulated vsize (KiB) 867996

[startup+2623.9 s]
/proc/loadavg: 2.08 2.03 2.01 3/89 20815
/proc/meminfo: memFree=983216/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=867996 CPUtime=2618.09
/proc/20760/stat : 20760 (java) S 20758 20760 20515 0 -1 0 201736 0 1 0 261684 125 0 0 18 0 9 0 44103373 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 216999 199576 2618 9 0 211527 0
[pid=20760/tid=20762] ppid=20758 vsize=867996 CPUtime=2608.95
/proc/20760/task/20762/stat : 20762 (java) S 20758 20760 20515 0 -1 64 15975 0 1 0 260835 60 0 0 17 0 9 0 44103374 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=867996 CPUtime=8.73
/proc/20760/task/20763/stat : 20763 (java) R 20758 20760 20515 0 -1 64 184294 0 0 0 810 63 0 0 25 0 9 0 44103375 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20515 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44103376 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20515 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44103376 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=867996 CPUtime=0.38
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20515 0 -1 64 751 0 0 0 37 1 0 0 15 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20515 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=867996 CPUtime=0
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20515 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44103378 888827904 199576 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2618.09
Current children cumulated vsize (KiB) 867996

[startup+2624.1 s]
/proc/loadavg: 2.08 2.03 2.01 3/89 20815
/proc/meminfo: memFree=983216/2055920 swapFree=4180932/4192956
[pid=20760] ppid=20758 vsize=0 CPUtime=2618.3
/proc/20760/stat : 20760 (java) Z 20758 20760 20515 0 -1 12 201744 0 1 0 261693 137 0 0 16 0 2 0 44103373 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20760/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2618.3
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2624.1
CPU time (s): 2618.3
CPU user time (s): 2616.93
CPU system time (s): 1.37379
CPU usage (%): 99.779
Max. virtual memory (cumulated for all children) (KiB): 867996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2616.93
system time used= 1.37379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201744
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= 55293
involuntary context switches= 78622

runsolver used 3.13352 second user time and 9.02363 second system time

The end

Launcher Data (download as text)

Begin job on node25 at 2008-07-12 16:46:55
IDJOB=1112785
IDBENCH=61474
IDSOLVER=359
FILE ID=node25/1112785-1215874014
PBS_JOBID= 7903548
Free space on /tmp= 66524 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp40/normalized-fapp40-3000-2.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112785-1215874014/watcher-1112785-1215874014 -o /tmp/evaluation-result-1112785-1215874014/solver-1112785-1215874014 -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-1112785-1215874014.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 2fe472930e777421d5e31a3144b4206e
RANDOM SEED=616747796

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1891528 kB
Buffers:         33688 kB
Cached:          65512 kB
SwapCached:       5792 kB
Active:          83412 kB
Inactive:        39060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891528 kB
SwapTotal:     4192956 kB
SwapFree:      4180932 kB
Dirty:            9628 kB
Writeback:           0 kB
Mapped:          39356 kB
Slab:            26924 kB
Committed_AS:   292276 kB
PageTables:       2108 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66516 MiB
End job on node25 at 2008-07-12 17:30:39