Trace number 1112989

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? 1789.78 1807.33

General information on the benchmark

Namecsp/fapp/fapp23/
normalized-fapp23-1800-4.xml
MD5SUM26fa47e715f58ab849bf125de88d1d96
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 variables1800
Number of constraints63962
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63962
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.03/0.09	
0.03/0.09	Abscon 112 (May, 2008)
0.17/0.24	
0.17/0.24	   configuration
0.17/0.24	     name=mrdac-wdeg.xml
0.28/0.33	   
0.28/0.33	   instance
0.28/0.33	     name=HOME/instance-1112989-1215876461.xml
0.28/0.37	   
0.28/0.37	   domains being loaded...
0.37/0.43	   
0.37/0.43	   variables being loaded...
0.67/0.76	     nbVariables=1800  nbDomainTypes=24  minDomainSize=46  maxDomainSize=302  nbTotalValues=455735
0.67/0.76	       =>  wckTime=0.513  cpuTime=0.36  mem=22M550
0.67/0.76	   
0.67/0.76	   predicates being loaded...
0.77/0.83	   
0.77/0.83	   constraints being loaded...
11.06/11.23	   
11.06/11.23	   INFO : Stopping converting binary constraints (cpu=10.09, mem = 58M128)
20.48/20.74	     nbConstraints=63962  nbConvertedConstraints=430  nbConvertConstraintsChecks=35068016  nbExtensionStructures=380
20.48/20.74	     nbSharedExtensionStructures=96  nbConflictsStructures=2392  nbSharedConflictsStructures=743
20.48/20.75	     nbUnbuiltConflictsStructures=11866  nbSharedBinaryRepresentations=165047  nbEvaluationManagers=13878
20.48/20.75	     nbSharedEvaluationManagers=49654  minDegree=18  maxDegree=93  minArity=2  maxArity=2
20.48/20.75	       =>  wckTime=20.496  cpuTime=18.37  mem=132M683
21.27/21.58	   
21.27/21.58	   solver LocalSearchSolver being built... 
21.37/21.63	       =>  wckTime=21.381  cpuTime=18.41  mem=111M57
21.96/22.24	
21.96/22.24	s SATISFIABLE
21.96/22.24	o 16333
22.16/22.47	o 16316
22.36/22.62	o 16298
22.45/22.77	o 16279
22.55/22.88	o 16265
22.65/22.96	o 16264
22.75/23.05	o 16254
22.85/23.12	o 16239
22.95/23.22	o 16224
23.05/23.33	o 16223
23.15/23.43	o 16213
23.25/23.50	o 16197
23.25/23.58	o 16190
23.35/23.65	o 16186
23.35/23.69	o 16179
23.45/23.76	o 16174
23.54/23.80	o 16170
23.54/23.86	o 16168
23.64/23.92	o 16159
23.74/24.02	o 16153
23.74/24.08	o 16148
23.94/24.26	o 16136
24.03/24.31	o 16125
24.03/24.36	o 16117
24.13/24.45	o 16110
24.23/24.53	o 16107
24.33/24.61	o 16104
24.33/24.66	o 16083
24.44/24.74	o 16080
24.54/24.81	o 16077
24.54/24.89	o 16064
24.63/24.96	o 16055
24.73/25.02	o 16047
24.73/25.08	o 16040
24.83/25.14	o 16034
24.93/25.22	o 16032
24.93/25.30	o 16030
25.03/25.36	o 16029
25.13/25.44	o 16015
25.23/25.51	o 16011
25.23/25.56	o 16008
25.33/25.62	o 15994
25.42/25.70	o 15988
25.42/25.76	o 15970
25.52/25.85	o 15954
25.62/25.92	o 15937
25.62/25.97	o 15926
25.72/26.01	o 15920
25.72/26.06	o 15918
25.82/26.13	o 15917
25.92/26.20	o 15909
25.92/26.28	o 15901
26.02/26.36	o 15896
26.12/26.43	o 15893
26.12/26.49	o 15891
26.21/26.54	o 15883
26.31/26.62	o 15879
26.31/26.69	o 15873
26.41/26.75	o 15872
26.51/26.82	o 15865
26.51/26.88	o 15857
26.61/26.94	o 15852
26.71/27.00	o 15850
26.71/27.07	o 15846
26.81/27.14	o 15842
26.91/27.22	o 15840
26.91/27.29	o 15838
27.00/27.35	o 15835
27.10/27.42	o 15831
27.10/27.48	o 15819
27.20/27.56	o 15817
27.30/27.64	o 15812
27.40/27.71	o 15803
27.40/27.77	o 15794
27.50/27.85	o 15786
27.60/27.91	o 15779
27.60/27.97	o 15777
27.69/28.03	o 15772
27.79/28.12	o 15764
27.79/28.18	o 15760
27.89/28.25	o 15759
27.99/28.32	o 15758
27.99/28.39	o 15747
28.09/28.44	o 15738
28.19/28.54	o 15724
28.29/28.62	o 15707
28.38/28.70	o 15689
28.38/28.78	o 15674
28.48/28.85	o 15670
28.58/28.97	o 15668
28.68/29.02	o 15666
28.68/29.09	o 15657
28.78/29.16	o 15652
28.88/29.22	o 15649
28.88/29.29	o 15644
28.98/29.39	o 15639
29.18/29.54	o 15635
29.27/29.64	o 15628
29.37/29.71	o 15621
29.47/29.81	o 15619
29.47/29.88	o 15602
29.57/29.95	o 15595
29.67/30.00	o 15585
29.77/30.10	o 15571
29.77/30.18	o 15567
29.87/30.23	o 15566
29.97/30.30	o 15556
29.97/30.36	o 15554
30.06/30.43	o 15546
30.17/30.50	o 15542
30.27/30.61	o 15539
30.27/30.68	o 15537
30.37/30.76	o 15532
30.47/30.84	o 15530
30.57/30.93	o 15518
30.67/31.04	o 15510
30.77/31.12	o 15501
30.87/31.23	o 15499
30.97/31.32	o 15497
31.07/31.41	o 15495
31.16/31.51	o 15485
31.16/31.59	o 15484
31.26/31.68	o 15477
31.36/31.77	o 15468
31.46/31.88	o 15457
31.56/31.95	o 15454
31.66/32.04	o 15452
31.76/32.13	o 15451
31.86/32.23	o 15444
31.96/32.30	o 15437
32.06/32.46	o 15429
32.25/32.65	o 15421
32.44/32.86	o 15420
32.54/32.98	o 15414
32.94/33.33	o 15413
33.04/33.45	o 15410
33.33/33.70	o 15407
33.43/33.80	o 15403
33.53/33.94	o 15398
33.63/34.06	o 15390
33.73/34.15	o 15381
33.82/34.27	o 15369
33.92/34.36	o 15368
34.02/34.45	o 15366
34.12/34.53	o 15356
34.12/34.58	o 15350
34.22/34.67	o 15345
34.32/34.77	o 15336
34.42/34.86	o 15331
34.52/34.98	o 15327
34.62/35.07	o 15319
34.72/35.16	o 15311
34.81/35.27	o 15309
34.91/35.36	o 15297
35.01/35.45	o 15284
35.11/35.53	o 15269
35.21/35.60	o 15262
35.31/35.71	o 15258
35.31/35.79	o 15246
35.60/36.03	o 15244
35.70/36.14	o 15231
35.80/36.22	o 15219
35.91/36.31	o 15212
36.00/36.41	o 15197
36.10/36.54	o 15191
36.20/36.70	o 15184
36.40/36.82	o 15178
36.50/36.99	o 15175
36.70/37.12	o 15171
36.80/37.25	o 15157
37.00/37.41	o 15145
37.09/37.53	o 15134
37.19/37.68	o 15127
37.39/37.81	o 15124
37.49/37.96	o 15121
37.59/38.09	o 15119
37.78/38.20	o 15107
38.08/38.51	o 15101
38.18/38.68	o 15089
38.48/38.98	o 15082
38.68/39.16	o 15072
38.87/39.32	o 15063
38.97/39.46	o 15060
39.17/39.63	o 15053
39.37/39.81	o 15051
39.67/40.12	o 15043
39.77/40.26	o 15035
39.96/40.41	o 15021
40.06/40.54	o 15009
40.26/40.71	o 15001
40.46/40.97	o 14996
40.66/41.13	o 14992
40.76/41.26	o 14989
40.95/41.40	o 14979
41.05/41.56	o 14978
41.15/41.70	o 14974
41.35/41.84	o 14965
41.44/41.98	o 14957
41.64/42.11	o 14949
41.84/42.39	o 14946
42.04/42.52	o 14935
42.14/42.67	o 14932
42.34/42.80	o 14927
42.44/42.90	o 14920
42.53/43.03	o 14913
42.63/43.16	o 14906
42.83/43.32	o 14892
42.93/43.44	o 14886
43.13/43.61	o 14870
43.23/43.77	o 14860
43.33/43.89	o 14849
43.53/44.02	o 14839
43.83/44.35	o 14837
44.03/44.54	o 14835
44.13/44.69	o 14830
44.32/44.89	o 14819
44.52/45.08	o 14809
44.71/45.25	o 14798
44.81/45.40	o 14785
45.01/45.59	o 14783
45.21/45.76	o 14771
45.51/46.07	o 14766
45.71/46.22	o 14759
45.90/46.42	o 14750
46.10/46.60	o 14741
46.20/46.76	o 14730
46.40/46.94	o 14729
46.69/47.26	o 14720
46.89/47.40	o 14719
46.99/47.59	o 14710
47.19/47.76	o 14703
47.39/47.90	o 14701
47.48/48.06	o 14688
47.68/48.22	o 14677
47.78/48.35	o 14664
47.88/48.49	o 14657
48.08/48.65	o 14654
48.18/48.79	o 14651
48.48/49.01	o 14650
48.67/49.21	o 14646
48.77/49.38	o 14635
49.17/49.71	o 14632
49.47/50.04	o 14631
49.66/50.21	o 14624
49.76/50.36	o 14618
49.96/50.51	o 14612
50.26/50.83	o 14604
50.66/51.22	o 14597
50.85/51.42	o 14591
51.05/51.63	o 14575
51.25/51.85	o 14567
51.44/52.06	o 14566
51.64/52.26	o 14562
51.84/52.46	o 14545
52.04/52.68	o 14544
52.24/52.87	o 14536
52.63/53.22	o 14534
52.83/53.45	o 14532
53.03/53.66	o 14530
53.42/54.07	o 14521
53.62/54.27	o 14516
53.92/54.51	o 14513
54.11/54.73	o 14507
54.31/54.93	o 14493
54.91/55.57	o 14489
55.10/55.75	o 14488
55.30/55.97	o 14478
55.60/56.20	o 14466
55.80/56.44	o 14460
56.00/56.68	o 14455
56.19/56.89	o 14453
56.69/57.35	o 14436
56.89/57.54	o 14431
57.09/57.74	o 14423
57.28/57.95	o 14416
57.48/58.17	o 14408
57.68/58.39	o 14402
58.07/58.80	o 14397
58.37/59.01	o 14394
58.57/59.20	o 14390
58.67/59.40	o 14387
58.96/59.61	o 14384
59.16/59.83	o 14381
59.57/60.20	o 14379
59.77/60.44	o 14372
59.96/60.66	o 14365
60.16/60.86	o 14354
60.36/61.06	o 14353
60.55/61.26	o 14345
60.75/61.48	o 14336
60.95/61.68	o 14334
61.15/61.88	o 14329
61.35/62.09	o 14318
61.84/62.51	o 14315
62.04/62.72	o 14314
62.23/62.92	o 14310
62.43/63.14	o 14300
62.63/63.36	o 14291
62.83/63.59	o 14287
63.13/63.80	o 14285
63.32/64.06	o 14282
63.62/64.32	o 14268
64.01/64.79	o 14266
64.31/65.06	o 14259
64.81/65.54	o 14257
65.01/65.79	o 14256
65.31/66.04	o 14249
65.60/66.31	o 14247
65.80/66.55	o 14241
66.09/66.80	o 14235
66.29/67.08	o 14226
66.59/67.36	o 14225
66.79/67.60	o 14221
67.08/67.86	o 14216
67.38/68.16	o 14207
67.68/68.41	o 14206
67.87/68.69	o 14202
68.47/69.22	o 14195
68.66/69.45	o 14192
68.96/69.73	o 14186
69.46/70.25	o 14180
69.75/70.50	o 14177
69.95/70.78	o 14173
70.25/71.05	o 14168
70.55/71.36	o 14165
70.84/71.64	o 14152
71.14/71.95	o 14146
71.44/72.23	o 14137
71.74/72.52	o 14128
71.93/72.80	o 14126
72.23/73.09	o 14120
72.52/73.36	o 14116
73.02/73.89	o 14105
73.32/74.17	o 14102
73.61/74.43	o 14088
73.81/74.69	o 14076
74.11/74.95	o 14069
74.41/75.21	o 14056
74.61/75.45	o 14047
74.80/75.66	o 14034
75.10/75.91	o 14021
75.30/76.13	o 14013
75.79/76.62	o 14007
75.99/76.86	o 13997
76.29/77.11	o 13989
76.49/77.34	o 13984
76.69/77.57	o 13983
76.98/77.80	o 13980
77.18/78.04	o 13971
77.38/78.26	o 13960
77.58/78.49	o 13953
77.88/78.71	o 13952
78.07/78.96	o 13951
78.27/79.20	o 13940
78.57/79.40	o 13935
78.67/79.59	o 13933
79.76/80.62	o 13928
80.65/81.56	o 13927
80.85/81.78	o 13919
81.35/82.21	o 13906
81.55/82.44	o 13901
81.74/82.69	o 13896
81.94/82.90	o 13895
82.24/83.12	o 13893
82.43/83.33	o 13876
82.63/83.54	o 13868
82.83/83.76	o 13865
83.03/83.98	o 13849
83.52/84.42	o 13843
83.72/84.70	o 13840
84.02/84.94	o 13836
84.51/85.44	o 13827
84.71/85.65	o 13825
85.80/86.71	o 13823
86.00/86.97	o 13819
86.29/87.22	o 13811
86.49/87.47	o 13810
86.79/87.71	o 13804
86.99/87.96	o 13794
87.28/88.21	o 13786
87.58/88.52	o 13777
87.78/88.80	o 13770
88.08/89.09	o 13758
88.37/89.35	o 13745
88.67/89.62	o 13739
89.26/90.21	o 13733
89.46/90.47	o 13720
89.76/90.72	o 13714
89.96/90.99	o 13710
90.25/91.23	o 13705
90.45/91.49	o 13698
90.75/91.71	o 13686
90.95/91.98	o 13684
91.24/92.21	o 13679
91.44/92.48	o 13672
91.74/92.75	o 13666
91.94/92.98	o 13657
92.23/93.23	o 13648
92.43/93.47	o 13646
92.72/93.73	o 13636
93.02/94.01	o 13627
93.32/94.30	o 13621
93.52/94.58	o 13617
93.82/94.83	o 13611
94.12/95.12	o 13610
94.31/95.39	o 13608
94.61/95.70	o 13603
94.91/95.94	o 13595
95.11/96.20	o 13592
95.40/96.45	o 13591
95.70/96.72	o 13579
96.79/97.86	o 13578
97.09/98.14	o 13571
97.38/98.45	o 13566
97.68/98.77	o 13562
97.98/99.08	o 13560
98.37/99.44	o 13552
98.67/99.76	o 13538
98.97/100.08	o 13535
99.66/100.76	o 13533
100.05/101.11	o 13527
100.45/101.50	o 13526
100.75/101.87	o 13522
101.14/102.24	o 13512
101.44/102.59	o 13503
101.84/102.96	o 13492
102.13/103.29	o 13485
102.53/103.64	o 13476
102.82/103.97	o 13475
103.22/104.31	o 13473
103.51/104.63	o 13466
104.11/105.29	o 13455
104.80/105.95	o 13454
105.10/106.25	o 13438
105.40/106.58	o 13430
105.79/106.91	o 13418
106.09/107.20	o 13416
106.39/107.50	o 13406
106.69/107.81	o 13397
107.28/108.47	o 13392
107.67/108.83	o 13386
107.97/109.16	o 13384
108.27/109.48	o 13371
108.66/109.82	o 13365
109.27/110.45	o 13358
109.56/110.77	o 13357
109.86/111.05	o 13354
110.16/111.34	o 13345
110.46/111.64	o 13332
110.75/111.92	o 13327
111.05/112.25	o 13319
111.45/112.61	o 13313
111.74/112.97	o 13309
112.04/113.28	o 13303
112.43/113.62	o 13295
112.73/113.95	o 13291
113.03/114.28	o 13279
113.42/114.62	o 13277
113.72/114.96	o 13274
114.12/115.32	o 13272
114.41/115.69	o 13271
114.81/116.02	o 13268
115.10/116.35	o 13258
115.50/116.71	o 13247
115.90/117.10	o 13244
116.19/117.47	o 13236
116.59/117.85	o 13228
117.28/118.57	o 13220
118.37/119.66	o 13219
118.76/120.01	o 13212
120.15/121.50	o 13208
120.55/121.85	o 13197
120.94/122.23	o 13188
121.24/122.58	o 13185
121.64/122.96	o 13183
123.42/124.76	o 13172
123.82/125.12	o 13160
124.12/125.49	o 13153
124.91/126.21	o 13145
125.21/126.59	o 13141
125.60/126.92	o 13130
125.90/127.25	o 13124
126.29/127.62	o 13117
126.98/128.30	o 13116
127.28/128.67	o 13110
127.68/129.02	o 13107
127.98/129.35	o 13100
128.37/129.74	o 13091
128.66/130.08	o 13078
129.36/130.77	o 13072
129.65/131.09	o 13065
130.05/131.44	o 13060
130.36/131.78	o 13050
131.35/132.74	o 13045
131.65/133.06	o 13044
131.94/133.38	o 13036
132.34/133.71	o 13028
132.63/134.02	o 13017
132.93/134.38	o 13013
133.23/134.68	o 13005
133.52/135.00	o 13001
133.92/135.36	o 12996
134.31/135.72	o 12991
134.61/136.06	o 12983
134.91/136.40	o 12981
135.30/136.72	o 12975
135.60/137.02	o 12964
136.19/137.70	o 12963
136.89/138.34	o 12955
138.47/139.97	o 12951
138.77/140.29	o 12949
139.16/140.61	o 12938
139.77/141.26	o 12936
140.46/141.97	o 12932
140.76/142.27	o 12923
141.15/142.64	o 12912
141.45/142.99	o 12906
141.75/143.29	o 12900
142.15/143.62	o 12898
142.44/143.94	o 12888
143.13/144.62	o 12886
143.53/145.00	o 12876
144.12/145.68	o 12866
144.52/146.03	o 12856
144.82/146.37	o 12850
145.21/146.75	o 12841
145.51/147.08	o 12836
145.81/147.40	o 12832
146.20/147.74	o 12829
146.60/148.12	o 12824
146.90/148.48	o 12820
147.29/148.83	o 12816
147.59/149.19	o 12806
147.98/149.54	o 12804
148.28/149.89	o 12799
148.68/150.24	o 12794
148.97/150.58	o 12790
149.37/150.92	o 12785
149.67/151.28	o 12768
150.06/151.61	o 12763
150.36/151.97	o 12756
150.66/152.28	o 12755
151.05/152.65	o 12751
151.44/153.03	o 12746
151.74/153.35	o 12738
152.04/153.66	o 12737
152.34/153.99	o 12728
153.03/154.64	o 12722
153.32/154.96	o 12717
153.72/155.34	o 12716
154.02/155.65	o 12708
154.31/155.96	o 12702
154.61/156.27	o 12695
154.91/156.59	o 12690
155.21/156.89	o 12684
155.50/157.19	o 12679
155.80/157.49	o 12675
156.20/157.81	o 12664
156.49/158.19	o 12653
156.89/158.53	o 12645
157.58/159.24	o 12640
157.97/159.60	o 12638
158.37/160.00	o 12634
159.16/160.81	o 12631
159.46/161.17	o 12624
160.25/161.92	o 12612
160.55/162.30	o 12602
160.95/162.66	o 12601
161.34/163.02	o 12591
162.04/163.77	o 12590
162.83/164.51	o 12587
163.12/164.89	o 12584
163.52/165.26	o 12581
163.92/165.64	o 12573
164.31/166.04	o 12571
164.61/166.39	o 12568
165.01/166.77	o 12559
165.40/167.13	o 12550
165.70/167.49	o 12542
166.10/167.86	o 12532
166.49/168.21	o 12525
166.79/168.55	o 12519
167.08/168.89	o 12511
167.48/169.26	o 12507
167.77/169.60	o 12496
168.17/169.92	o 12486
168.47/170.28	o 12478
168.86/170.60	o 12475
169.16/170.91	o 12470
169.45/171.24	o 12461
169.75/171.57	o 12453
170.15/171.90	o 12440
170.45/172.25	o 12429
170.74/172.57	o 12428
171.04/172.89	o 12422
171.45/173.22	o 12421
171.74/173.56	o 12414
172.14/173.93	o 12401
172.44/174.29	o 12394
173.23/175.00	o 12388
173.53/175.34	o 12380
173.82/175.67	o 12371
174.22/176.04	o 12367
175.60/177.43	o 12363
175.90/177.78	o 12356
176.59/178.47	o 12350
177.68/179.55	o 12347
177.98/179.85	o 12345
178.67/180.52	o 12344
178.97/180.86	o 12339
179.36/181.27	o 12336
179.76/181.63	o 12323
180.06/181.98	o 12312
180.45/182.33	o 12309
181.15/183.01	o 12306
181.74/183.69	o 12304
182.43/184.36	o 12303
182.83/184.72	o 12297
183.22/185.11	o 12293
183.52/185.48	o 12290
183.82/185.78	o 12279
184.21/186.18	o 12268
184.61/186.54	o 12263
185.01/186.93	o 12256
185.40/187.30	o 12244
185.70/187.66	o 12241
186.49/188.42	o 12234
187.98/189.99	o 12232
188.38/190.39	o 12221
188.78/190.77	o 12219
189.57/191.51	o 12214
189.97/191.91	o 12205
190.36/192.32	o 12202
190.76/192.70	o 12200
191.85/193.89	o 12192
192.25/194.28	o 12187
192.64/194.67	o 12186
193.04/195.07	o 12182
193.83/195.83	o 12178
194.22/196.21	o 12173
194.62/196.61	o 12170
195.01/197.00	o 12169
195.31/197.39	o 12167
195.71/197.78	o 12158
196.10/198.18	o 12151
196.50/198.54	o 12145
196.90/198.98	o 12139
197.29/199.38	o 12135
197.69/199.78	o 12132
198.08/200.15	o 12121
198.48/200.54	o 12113
199.17/201.28	o 12112
199.57/201.67	o 12107
199.96/202.07	o 12098
200.46/202.51	o 12094
200.76/202.88	o 12088
201.15/203.30	o 12086
201.55/203.69	o 12080
202.05/204.10	o 12079
203.13/205.30	o 12074
203.63/205.73	o 12069
204.02/206.18	o 12062
205.31/207.42	o 12061
205.71/207.85	o 12055
206.20/208.31	o 12049
206.60/208.74	o 12040
207.09/209.20	o 12039
207.49/209.61	o 12031
207.89/210.02	o 12030
208.28/210.44	o 12028
208.67/210.89	o 12017
209.17/211.30	o 12005
209.96/212.12	o 12000
210.36/212.53	o 11997
210.76/212.92	o 11992
211.15/213.34	o 11986
212.04/214.20	o 11982
212.44/214.60	o 11973
212.84/215.00	o 11966
213.23/215.47	o 11961
213.63/215.90	o 11956
214.12/216.35	o 11952
214.52/216.75	o 11946
214.91/217.19	o 11938
215.41/217.60	o 11932
215.70/217.99	o 11922
216.10/218.37	o 11918
216.50/218.76	o 11908
216.89/219.18	o 11904
217.29/219.60	o 11900
218.18/220.41	o 11894
218.58/220.84	o 11891
218.97/221.26	o 11883
219.37/221.67	o 11877
219.86/222.12	o 11867
220.26/222.54	o 11858
221.55/223.86	o 11857
222.44/224.76	o 11853
223.73/226.03	o 11849
224.52/226.87	o 11843
224.92/227.27	o 11835
225.41/227.71	o 11831
225.80/228.19	o 11829
226.30/228.63	o 11827
226.69/229.08	o 11822
227.19/229.51	o 11812
227.49/229.88	o 11810
228.38/230.74	o 11805
228.77/231.16	o 11803
229.27/231.60	o 11802
229.57/231.99	o 11796
230.06/232.41	o 11788
230.46/232.82	o 11785
230.86/233.26	o 11776
231.26/233.69	o 11769
231.75/234.11	o 11766
232.15/234.55	o 11765
232.64/235.00	o 11754
233.04/235.47	o 11751
233.44/235.89	o 11740
233.93/236.34	o 11734
234.43/236.80	o 11728
235.31/237.77	o 11726
235.81/238.23	o 11722
236.31/238.72	o 11720
236.80/239.20	o 11716
237.30/239.72	o 11706
238.68/241.19	o 11705
240.76/243.28	o 11696
241.36/243.84	o 11689
241.95/244.41	o 11688
242.45/244.98	o 11680
243.04/245.58	o 11670
243.63/246.14	o 11663
244.82/247.33	o 11658
245.42/247.90	o 11651
246.51/249.03	o 11645
247.00/249.56	o 11640
247.60/250.11	o 11629
248.09/250.67	o 11626
248.69/251.23	o 11617
249.18/251.79	o 11611
249.78/252.34	o 11608
250.27/252.88	o 11607
250.86/253.44	o 11602
251.36/253.98	o 11590
251.95/254.53	o 11587
253.04/255.63	o 11580
253.54/256.14	o 11573
254.03/256.63	o 11563
255.02/257.66	o 11560
255.52/258.17	o 11558
256.01/258.66	o 11551
256.51/259.19	o 11548
257.01/259.68	o 11541
257.50/260.18	o 11533
257.99/260.70	o 11530
258.59/261.22	o 11524
259.08/261.74	o 11520
259.58/262.28	o 11516
260.17/262.85	o 11513
260.67/263.37	o 11512
261.16/263.88	o 11504
261.76/264.41	o 11500
262.26/264.94	o 11499
262.75/265.47	o 11498
263.35/266.02	o 11493
264.34/267.01	o 11492
264.83/267.54	o 11491
265.33/268.02	o 11489
265.82/268.52	o 11487
266.32/269.02	o 11479
267.31/270.06	o 11474
267.81/270.59	o 11467
268.30/271.09	o 11460
268.79/271.60	o 11450
269.39/272.11	o 11448
269.78/272.58	o 11446
270.38/273.14	o 11437
271.47/274.21	o 11433
271.96/274.76	o 11423
272.46/275.28	o 11412
273.05/275.84	o 11409
273.54/276.39	o 11408
274.14/276.93	o 11403
274.63/277.47	o 11400
275.13/277.99	o 11398
275.72/278.53	o 11388
276.22/279.08	o 11386
276.81/279.61	o 11379
277.31/280.15	o 11373
277.90/280.73	o 11367
278.39/281.28	o 11365
278.99/281.80	o 11363
279.48/282.35	o 11357
280.08/282.91	o 11350
281.76/284.62	o 11344
282.26/285.20	o 11337
283.45/286.34	o 11332
283.94/286.89	o 11322
284.53/287.44	o 11312
285.13/288.03	o 11310
285.72/288.63	o 11306
286.32/289.21	o 11305
286.91/289.82	o 11297
287.31/290.29	o 11285
287.90/290.86	o 11283
288.50/291.46	o 11277
288.99/291.99	o 11272
289.58/292.55	o 11268
290.18/293.13	o 11266
290.67/293.68	o 11262
291.27/294.22	o 11254
291.76/294.79	o 11251
292.36/295.36	o 11248
292.85/295.90	o 11241
293.35/296.39	o 11239
293.94/296.95	o 11230
294.43/297.47	o 11222
295.03/298.01	o 11218
295.52/298.53	o 11210
296.02/299.08	o 11204
296.61/299.65	o 11198
297.11/300.19	o 11190
297.70/300.71	o 11188
298.30/301.31	o 11184
299.89/302.94	o 11179
300.39/303.48	o 11177
300.98/304.03	o 11176
301.48/304.57	o 11174
302.07/305.14	o 11171
303.06/306.19	o 11163
303.65/306.70	o 11159
304.15/307.23	o 11147
305.14/308.28	o 11146
305.73/308.82	o 11141
306.23/309.36	o 11140
306.72/309.90	o 11133
307.32/310.44	o 11128
308.81/312.00	o 11122
309.39/312.53	o 11116
309.89/313.05	o 11112
310.88/314.08	o 11105
311.38/314.57	o 11101
311.87/315.06	o 11099
312.96/316.19	o 11095
313.56/316.75	o 11091
314.15/317.37	o 11082
314.75/317.91	o 11076
315.24/318.48	o 11075
315.84/319.01	o 11071
316.33/319.56	o 11064
316.92/320.17	o 11054
319.20/322.50	o 11049
320.39/323.63	o 11048
321.48/324.80	o 11041
322.07/325.38	o 11034
322.67/325.98	o 11030
323.26/326.56	o 11027
323.85/327.13	o 11026
324.94/328.24	o 11024
325.54/328.84	o 11020
326.13/329.40	o 11011
326.63/329.94	o 11009
327.72/331.06	o 11000
328.31/331.64	o 10994
329.40/332.76	o 10989
330.49/333.86	o 10984
331.68/335.04	o 10977
332.77/336.15	o 10970
333.86/337.23	o 10968
334.35/337.77	o 10963
334.94/338.32	o 10959
335.44/338.89	o 10955
336.03/339.45	o 10946
336.62/340.02	o 10945
337.12/340.59	o 10941
337.62/341.09	o 10937
338.21/341.61	o 10936
338.71/342.15	o 10929
339.20/342.67	o 10922
339.70/343.20	o 10919
341.28/344.79	o 10917
341.88/345.32	o 10906
346.43/349.99	o 10902
347.52/351.06	o 10898
349.50/353.07	o 10894
350.09/353.61	o 10885
350.59/354.12	o 10875
351.08/354.63	o 10866
352.77/356.31	o 10863
353.26/356.86	o 10859
353.76/357.39	o 10852
354.36/357.96	o 10850
354.96/358.53	o 10848
356.04/359.65	o 10841
356.54/360.10	o 10837
357.03/360.64	o 10832
357.53/361.18	o 10829
358.62/362.26	o 10826
359.11/362.79	o 10812
359.71/363.30	o 10806
360.20/363.83	o 10804
360.70/364.33	o 10798
361.69/365.34	o 10795
362.18/365.84	o 10787
362.68/366.34	o 10780
363.17/366.85	o 10770
363.77/367.43	o 10769
364.75/368.49	o 10763
365.35/369.05	o 10759
365.84/369.58	o 10758
368.42/372.17	o 10749
369.01/372.70	o 10746
369.50/373.21	o 10741
370.00/373.75	o 10735
370.49/374.23	o 10730
370.99/374.73	o 10724
371.49/375.25	o 10718
371.99/375.73	o 10712
372.38/376.20	o 10708
372.77/376.60	o 10705
373.76/377.54	o 10696
374.26/378.03	o 10687
374.66/378.49	o 10686
375.15/378.98	o 10681
376.14/379.95	o 10677
376.54/380.38	o 10672
377.03/380.88	o 10663
377.53/381.35	o 10655
377.93/381.80	o 10651
378.42/382.24	o 10643
378.92/382.71	o 10637
379.31/383.15	o 10634
380.20/384.06	o 10627
380.70/384.57	o 10620
381.19/385.05	o 10609
381.69/385.52	o 10599
382.18/386.00	o 10591
383.57/387.47	o 10589
384.16/388.00	o 10587
385.06/388.99	o 10585
385.55/389.44	o 10584
386.54/390.40	o 10577
386.93/390.86	o 10571
387.43/391.34	o 10568
387.93/391.82	o 10561
388.33/392.28	o 10557
388.82/392.74	o 10549
389.22/393.17	o 10543
389.71/393.65	o 10538
390.21/394.17	o 10533
390.70/394.65	o 10527
391.69/395.61	o 10525
392.09/396.05	o 10522
392.59/396.52	o 10515
393.08/397.01	o 10505
393.58/397.50	o 10504
393.97/397.95	o 10499
394.46/398.43	o 10488
394.96/398.91	o 10487
395.36/399.37	o 10478
395.85/399.87	o 10472
396.84/400.85	o 10461
397.33/401.36	o 10453
397.83/401.85	o 10451
398.32/402.34	o 10448
399.31/403.31	o 10442
399.81/403.80	o 10440
400.21/404.26	o 10437
400.70/404.76	o 10430
401.19/405.24	o 10423
401.69/405.72	o 10421
402.18/406.22	o 10417
402.58/406.68	o 10410
403.07/407.19	o 10405
404.07/408.18	o 10398
404.56/408.65	o 10394
405.06/409.13	o 10390
405.55/409.65	o 10388
405.95/410.08	o 10384
406.44/410.58	o 10380
406.94/411.05	o 10377
407.43/411.55	o 10371
407.93/412.03	o 10362
408.32/412.50	o 10361
408.82/412.96	o 10358
409.31/413.43	o 10353
409.71/413.89	o 10344
410.20/414.38	o 10340
411.69/415.85	o 10333
412.19/416.35	o 10327
412.68/416.81	o 10321
413.57/417.78	o 10307
414.56/418.74	o 10296
415.05/419.24	o 10286
415.45/419.68	o 10281
415.95/420.17	o 10275
416.44/420.67	o 10273
416.94/421.12	o 10272
417.43/421.60	o 10269
417.93/422.12	o 10267
418.32/422.58	o 10266
418.82/423.06	o 10264
419.32/423.54	o 10261
420.20/424.47	o 10256
420.70/424.91	o 10252
421.09/425.36	o 10249
422.48/426.75	o 10246
423.47/427.70	o 10236
423.87/428.15	o 10230
424.36/428.66	o 10224
424.87/429.14	o 10217
425.27/429.59	o 10212
425.76/430.09	o 10207
426.26/430.53	o 10202
426.65/430.97	o 10193
427.15/431.42	o 10184
428.53/432.81	o 10180
428.93/433.24	o 10170
429.42/433.71	o 10166
429.92/434.23	o 10161
430.41/434.75	o 10158
430.90/435.24	o 10156
431.40/435.78	o 10151
431.99/436.33	o 10145
432.49/436.88	o 10137
433.08/437.42	o 10133
434.57/438.94	o 10122
435.66/440.03	o 10120
436.16/440.55	o 10117
436.65/441.08	o 10111
437.15/441.60	o 10107
437.74/442.14	o 10098
438.24/442.67	o 10091
438.73/443.18	o 10086
439.23/443.68	o 10073
440.21/444.65	o 10071
440.71/445.13	o 10066
441.20/445.64	o 10063
441.70/446.13	o 10055
442.20/446.65	o 10051
442.69/447.16	o 10043
443.19/447.68	o 10042
443.68/448.17	o 10037
444.67/449.19	o 10032
445.26/449.71	o 10031
445.56/450.09	o 10024
446.16/450.62	o 10019
446.56/451.09	o 10015
447.16/451.62	o 10010
447.65/452.15	o 10008
448.15/452.63	o 10004
448.64/453.11	o 10002
449.03/453.59	o 9998
449.63/454.10	o 9996
450.02/454.59	o 9994
450.52/455.08	o 9991
451.01/455.55	o 9990
451.51/456.05	o 9985
452.01/456.56	o 9980
452.50/457.03	o 9974
452.90/457.48	o 9969
453.79/458.35	o 9964
454.28/458.83	o 9963
454.68/459.27	o 9951
455.17/459.75	o 9950
455.57/460.19	o 9943
456.06/460.65	o 9929
456.56/461.13	o 9926
457.05/461.62	o 9922
457.45/462.06	o 9919
457.95/462.55	o 9913
458.44/463.04	o 9909
458.84/463.48	o 9897
459.83/464.45	o 9892
460.32/464.95	o 9888
460.82/465.43	o 9886
461.31/465.92	o 9878
461.71/466.40	o 9873
462.20/466.86	o 9865
462.70/467.36	o 9853
463.69/468.33	o 9850
464.18/468.81	o 9848
465.08/469.76	o 9846
465.57/470.22	o 9838
465.96/470.68	o 9834
466.46/471.16	o 9826
466.95/471.64	o 9815
467.45/472.13	o 9810
468.34/473.06	o 9803
469.23/473.98	o 9800
469.73/474.42	o 9795
470.12/474.87	o 9785
470.52/475.29	o 9773
471.01/475.76	o 9768
471.50/476.22	o 9764
472.40/477.14	o 9763
472.89/477.65	o 9753
473.39/478.12	o 9743
473.88/478.61	o 9738
474.38/479.12	o 9731
474.87/479.63	o 9726
475.37/480.10	o 9718
475.86/480.63	o 9717
476.36/481.19	o 9714
476.95/481.72	o 9709
477.45/482.22	o 9705
477.94/482.74	o 9703
478.44/483.25	o 9699
479.92/484.74	o 9694
480.41/485.24	o 9692
480.91/485.76	o 9688
481.42/486.27	o 9680
482.90/487.78	o 9675
483.40/488.28	o 9671
483.99/488.81	o 9667
484.98/489.88	o 9664
485.48/490.39	o 9653
486.57/491.42	o 9651
488.05/492.92	o 9643
488.45/493.32	o 9642
488.74/493.69	o 9637
489.64/494.59	o 9629
490.13/495.07	o 9627
490.63/495.50	o 9617
491.02/495.95	o 9610
491.52/496.44	o 9606
492.41/497.39	o 9597
493.79/498.77	o 9594
494.29/499.21	o 9588
494.68/499.65	o 9582
495.18/500.11	o 9577
495.67/500.61	o 9573
496.07/501.00	o 9571
496.47/501.47	o 9565
496.96/501.98	o 9557
497.46/502.44	o 9547
497.95/502.94	o 9542
498.45/503.43	o 9537
498.85/503.88	o 9535
500.62/505.66	o 9529
501.12/506.13	o 9528
501.51/506.58	o 9526
502.01/507.07	o 9522
502.30/507.32	o 9516
502.70/507.75	o 9511
503.59/508.61	o 9504
503.99/509.09	o 9496
504.48/509.56	o 9491
504.98/510.02	o 9486
505.47/510.50	o 9475
505.87/510.95	o 9467
506.37/511.43	o 9460
506.76/511.88	o 9450
507.26/512.33	o 9442
507.75/512.80	o 9440
508.25/513.30	o 9437
508.64/513.78	o 9433
509.15/514.28	o 9425
509.64/514.76	o 9418
510.14/515.20	o 9413
510.53/515.67	o 9404
510.92/516.08	o 9398
511.42/516.53	o 9390
512.42/517.50	o 9387
512.81/517.98	o 9380
513.31/518.47	o 9368
513.80/518.91	o 9367
514.19/519.38	o 9365
515.09/520.30	o 9361
516.08/521.24	o 9352
516.97/522.18	o 9347
517.46/522.65	o 9345
517.86/523.09	o 9344
518.36/523.55	o 9333
518.85/524.01	o 9330
519.25/524.48	o 9325
520.23/525.47	o 9323
520.73/525.94	o 9314
521.62/526.87	o 9310
522.61/527.80	o 9302
523.11/528.32	o 9301
523.50/528.79	o 9297
526.48/531.73	o 9296
526.97/532.24	o 9292
527.37/532.67	o 9285
527.67/532.98	o 9276
528.65/533.91	o 9266
529.05/534.36	o 9257
529.44/534.71	o 9256
529.84/535.19	o 9253
531.82/537.12	o 9248
532.22/537.57	o 9239
532.71/538.02	o 9237
533.11/538.50	o 9234
533.61/538.97	o 9220
534.59/539.93	o 9219
535.09/540.43	o 9218
535.58/540.91	o 9214
535.98/541.38	o 9213
536.48/541.87	o 9210
536.97/542.34	o 9206
537.47/542.82	o 9205
537.86/543.30	o 9201
538.36/543.74	o 9190
538.85/544.23	o 9185
539.35/544.72	o 9180
539.84/545.21	o 9169
540.24/545.69	o 9159
540.63/546.08	o 9146
541.13/546.53	o 9142
542.02/547.43	o 9140
542.42/547.89	o 9134
542.91/548.37	o 9128
543.41/548.84	o 9122
543.90/549.31	o 9120
544.30/549.77	o 9113
544.79/550.25	o 9108
545.29/550.74	o 9102
545.78/551.21	o 9100
546.18/551.66	o 9098
546.67/552.10	o 9090
546.97/552.49	o 9088
547.86/553.36	o 9083
548.26/553.79	o 9082
548.75/554.26	o 9079
549.25/554.70	o 9076
549.64/555.18	o 9067
550.14/555.65	o 9061
550.54/556.07	o 9054
550.93/556.49	o 9047
551.42/556.94	o 9039
551.82/557.36	o 9028
552.72/558.22	o 9022
553.11/558.68	o 9014
553.61/559.15	o 9010
554.01/559.57	o 9002
554.90/560.43	o 8993
555.79/561.32	o 8988
556.19/561.76	o 8985
557.08/562.64	o 8981
558.86/564.40	o 8980
559.75/565.34	o 8977
560.25/565.81	o 8969
561.14/566.75	o 8961
561.63/567.21	o 8956
562.03/567.69	o 8954
562.53/568.15	o 8949
563.02/568.62	o 8944
563.81/569.49	o 8942
564.31/569.95	o 8940
564.81/570.42	o 8927
565.30/570.91	o 8925
565.69/571.39	o 8922
566.19/571.85	o 8911
566.68/572.30	o 8906
567.08/572.74	o 8901
567.48/573.16	o 8892
567.87/573.60	o 8891
568.37/574.07	o 8885
568.86/574.52	o 8881
569.26/574.99	o 8880
569.75/575.44	o 8869
570.05/575.77	o 8857
570.94/576.67	o 8851
571.43/577.15	o 8848
571.83/577.52	o 8837
572.23/577.98	o 8828
572.72/578.43	o 8826
573.12/578.89	o 8825
573.61/579.36	o 8813
574.01/579.76	o 8803
574.51/580.23	o 8796
574.90/580.70	o 8790
575.39/581.17	o 8789
575.89/581.67	o 8786
576.38/582.19	o 8782
576.88/582.69	o 8778
577.37/583.15	o 8775
577.87/583.65	o 8767
578.37/584.14	o 8761
578.86/584.64	o 8760
580.74/586.58	o 8752
581.33/587.10	o 8751
582.32/588.10	o 8747
582.82/588.62	o 8738
583.71/589.60	o 8736
584.20/590.09	o 8728
585.29/591.11	o 8721
585.69/591.58	o 8714
587.18/593.07	o 8704
587.68/593.59	o 8700
588.17/594.09	o 8692
588.77/594.60	o 8684
589.26/595.13	o 8676
589.76/595.66	o 8673
590.35/596.22	o 8668
591.34/597.23	o 8667
591.84/597.75	o 8661
592.33/598.28	o 8651
592.82/598.77	o 8642
593.32/599.28	o 8638
593.81/599.76	o 8637
594.80/600.79	o 8634
595.20/601.15	o 8632
595.70/601.66	o 8628
596.19/602.17	o 8621
596.78/602.72	o 8616
597.28/603.25	o 8611
597.77/603.76	o 8603
599.85/605.86	o 8594
600.35/606.36	o 8585
601.84/607.86	o 8580
602.33/608.36	o 8576
602.82/608.86	o 8568
603.32/609.39	o 8567
604.41/610.40	o 8559
604.90/610.90	o 8555
605.20/611.20	o 8553
606.19/612.25	o 8548
606.69/612.74	o 8546
607.18/613.25	o 8542
607.67/613.78	o 8533
608.17/614.25	o 8525
609.16/615.29	o 8517
609.75/615.83	o 8510
610.74/616.82	o 8505
611.24/617.34	o 8494
611.73/617.85	o 8486
612.22/618.37	o 8480
612.72/618.86	o 8476
613.22/619.38	o 8474
614.80/620.95	o 8473
615.30/621.46	o 8466
615.69/621.86	o 8465
616.19/622.31	o 8454
616.68/622.82	o 8447
617.17/623.30	o 8444
617.57/623.78	o 8436
618.07/624.25	o 8432
618.57/624.75	o 8424
619.06/625.22	o 8414
620.05/626.21	o 8413
620.44/626.69	o 8406
620.94/627.15	o 8404
622.92/629.15	o 8398
623.42/629.64	o 8392
623.91/630.13	o 8385
624.41/630.63	o 8381
624.90/631.12	o 8370
625.39/631.63	o 8367
626.38/632.65	o 8358
626.88/633.16	o 8351
627.37/633.66	o 8347
627.87/634.15	o 8341
628.36/634.63	o 8332
628.86/635.12	o 8330
629.36/635.61	o 8325
629.86/636.14	o 8324
630.35/636.65	o 8321
630.85/637.13	o 8315
631.64/637.98	o 8312
632.63/638.92	o 8310
633.13/639.42	o 8304
633.62/639.91	o 8293
634.11/640.40	o 8292
634.51/640.88	o 8288
635.10/641.40	o 8281
635.50/641.90	o 8278
636.10/642.42	o 8275
636.59/642.93	o 8272
637.08/643.43	o 8263
637.58/643.92	o 8259
638.08/644.41	o 8251
638.57/644.90	o 8250
639.06/645.40	o 8245
639.56/645.91	o 8243
640.05/646.44	o 8241
640.55/646.97	o 8237
641.14/647.50	o 8230
641.64/648.04	o 8226
642.13/648.58	o 8216
643.62/650.02	o 8209
644.11/650.52	o 8203
644.61/651.04	o 8201
645.10/651.55	o 8193
645.50/651.99	o 8188
646.89/653.39	o 8181
647.38/653.87	o 8176
648.37/654.86	o 8165
648.87/655.38	o 8158
649.46/655.90	o 8155
650.45/656.95	o 8152
650.94/657.44	o 8142
651.44/657.95	o 8140
651.94/658.42	o 8132
652.43/658.92	o 8124
652.93/659.41	o 8118
653.42/659.92	o 8108
653.92/660.41	o 8107
654.81/661.37	o 8100
655.40/661.90	o 8094
655.80/662.36	o 8086
656.30/662.83	o 8083
656.79/663.33	o 8080
657.29/663.81	o 8078
657.69/664.29	o 8075
658.18/664.79	o 8067
658.68/665.27	o 8056
659.17/665.76	o 8048
659.67/666.26	o 8047
660.16/666.74	o 8046
660.66/667.23	o 8038
661.16/667.71	o 8035
661.55/668.19	o 8033
662.05/668.69	o 8026
662.54/669.16	o 8024
663.04/669.63	o 8016
664.43/671.10	o 8010
664.92/671.56	o 8002
665.81/672.49	o 7998
666.30/672.97	o 7988
666.80/673.44	o 7986
667.29/673.91	o 7981
668.19/674.83	o 7980
669.08/675.74	o 7977
669.47/676.19	o 7976
669.97/676.66	o 7973
670.47/677.11	o 7970
670.86/677.57	o 7963
671.35/678.03	o 7960
671.75/678.48	o 7956
672.24/678.93	o 7946
672.64/679.38	o 7940
673.14/679.86	o 7938
673.53/680.29	o 7932
674.52/681.22	o 7926
674.92/681.67	o 7916
675.41/682.14	o 7911
675.81/682.59	o 7909
676.30/683.04	o 7905
676.80/683.52	o 7900
677.19/683.97	o 7899
677.69/684.40	o 7893
678.09/684.84	o 7884
678.48/685.26	o 7873
678.88/685.68	o 7871
679.27/686.09	o 7864
679.77/686.52	o 7859
680.17/686.97	o 7852
680.66/687.48	o 7850
681.16/687.94	o 7842
681.55/688.38	o 7838
682.04/688.82	o 7831
682.44/689.24	o 7830
682.94/689.72	o 7828
683.33/690.16	o 7823
683.73/690.59	o 7819
684.22/691.09	o 7814
685.12/691.99	o 7806
685.61/692.46	o 7800
686.11/692.94	o 7799
686.60/693.42	o 7792
687.49/694.32	o 7789
687.89/694.79	o 7780
688.38/695.28	o 7777
688.88/695.78	o 7764
691.65/698.59	o 7761
692.16/699.08	o 7757
692.65/699.58	o 7751
693.15/700.09	o 7741
693.64/700.57	o 7735
694.63/701.53	o 7726
696.02/702.99	o 7720
696.51/703.46	o 7711
697.50/704.42	o 7709
698.00/704.91	o 7702
698.39/705.39	o 7696
698.89/705.86	o 7689
699.38/706.39	o 7682
699.88/706.87	o 7675
700.37/707.38	o 7666
701.36/708.39	o 7663
701.86/708.88	o 7662
702.35/709.36	o 7657
703.34/710.32	o 7653
703.84/710.80	o 7650
704.33/711.32	o 7643
704.82/711.80	o 7640
705.22/712.28	o 7633
705.72/712.78	o 7628
706.21/713.28	o 7619
706.71/713.77	o 7610
707.20/714.27	o 7602
709.18/716.28	o 7601
709.68/716.79	o 7592
710.67/717.77	o 7586
711.16/718.27	o 7584
711.66/718.71	o 7581
712.05/719.19	o 7572
712.55/719.67	o 7566
713.04/720.18	o 7562
713.54/720.70	o 7558
714.04/721.18	o 7551
714.53/721.68	o 7550
715.03/722.18	o 7547
715.52/722.69	o 7539
716.51/723.69	o 7536
717.50/724.65	o 7529
717.99/725.14	o 7524
718.49/725.61	o 7519
718.98/726.12	o 7514
719.48/726.63	o 7503
719.98/727.17	o 7494
720.48/727.67	o 7492
720.98/728.20	o 7483
721.47/728.67	o 7482
721.96/729.19	o 7480
722.46/729.63	o 7473
722.95/730.16	o 7463
723.65/730.88	o 7462
724.14/731.33	o 7456
724.54/731.77	o 7450
725.03/732.20	o 7448
725.82/733.07	o 7433
726.32/733.53	o 7427
726.71/733.97	o 7424
727.21/734.47	o 7422
727.70/734.93	o 7419
728.99/736.29	o 7417
729.49/736.79	o 7416
729.98/737.26	o 7410
730.38/737.62	o 7408
730.77/738.08	o 7398
731.27/738.53	o 7393
732.26/739.54	o 7385
732.75/740.05	o 7381
733.25/740.54	o 7380
733.74/741.02	o 7379
734.24/741.53	o 7371
735.13/742.50	o 7365
736.12/743.48	o 7364
736.62/743.92	o 7360
737.11/744.41	o 7357
737.61/744.91	o 7347
738.01/745.36	o 7340
738.50/745.81	o 7334
738.90/746.27	o 7327
739.39/746.75	o 7325
739.78/747.19	o 7321
740.28/747.65	o 7318
740.77/748.13	o 7310
741.27/748.62	o 7304
741.66/749.09	o 7302
742.16/749.51	o 7301
742.45/749.88	o 7296
742.95/750.35	o 7287
743.45/750.84	o 7280
743.94/751.30	o 7271
744.34/751.76	o 7266
744.73/752.19	o 7264
745.22/752.64	o 7262
745.62/753.08	o 7260
746.12/753.56	o 7254
746.62/754.02	o 7247
746.92/754.39	o 7245
747.31/754.70	o 7238
747.71/755.12	o 7230
748.11/755.57	o 7228
748.50/755.99	o 7218
749.00/756.44	o 7210
750.58/758.08	o 7202
751.08/758.50	o 7198
752.86/760.33	o 7197
753.26/760.79	o 7193
753.75/761.26	o 7187
754.25/761.75	o 7183
754.74/762.23	o 7182
755.24/762.71	o 7181
755.73/763.21	o 7179
756.13/763.67	o 7172
757.51/765.05	o 7162
758.90/766.44	o 7154
759.39/766.92	o 7148
759.79/767.38	o 7142
760.68/768.25	o 7138
761.08/768.68	o 7133
761.57/769.11	o 7129
761.97/769.52	o 7128
762.86/770.40	o 7122
763.25/770.82	o 7114
763.65/771.27	o 7109
764.15/771.70	o 7107
766.23/773.89	o 7103
766.72/774.34	o 7101
767.61/775.22	o 7098
768.00/775.68	o 7097
768.40/776.07	o 7090
769.79/777.40	o 7079
770.18/777.84	o 7075
770.58/778.29	o 7068
771.08/778.75	o 7064
771.47/779.18	o 7059
771.97/779.61	o 7057
772.36/780.04	o 7050
772.76/780.49	o 7044
773.65/781.33	o 7042
774.94/782.69	o 7039
775.43/783.16	o 7035
776.82/784.50	o 7031
777.22/784.93	o 7023
777.62/785.37	o 7019
778.12/785.81	o 7012
778.51/786.24	o 7003
778.91/786.68	o 7002
779.90/787.61	o 6999
780.30/788.04	o 6995
781.18/788.96	o 6992
781.58/789.37	o 6991
782.08/789.80	o 6982
782.47/790.22	o 6973
782.87/790.68	o 6971
783.36/791.13	o 6968
784.55/792.37	o 6967
785.04/792.81	o 6966
785.44/793.26	o 6960
785.84/793.69	o 6952
786.33/794.13	o 6951
786.73/794.57	o 6948
787.22/795.02	o 6946
787.62/795.45	o 6936
788.51/796.35	o 6932
788.91/796.80	o 6924
789.40/797.24	o 6917
789.80/797.69	o 6912
790.30/798.15	o 6907
790.79/798.62	o 6901
791.18/799.08	o 6900
791.68/799.57	o 6897
792.17/800.02	o 6894
793.56/801.40	o 6889
793.96/801.87	o 6883
794.45/802.31	o 6880
794.85/802.75	o 6871
795.15/803.02	o 6864
795.54/803.45	o 6862
796.43/804.35	o 6857
796.83/804.79	o 6856
797.32/805.23	o 6852
797.72/805.65	o 6845
798.11/806.07	o 6840
798.61/806.52	o 6838
799.01/806.96	o 6830
799.40/807.40	o 6826
799.90/807.85	o 6823
800.29/808.29	o 6817
800.79/808.75	o 6815
801.19/809.17	o 6804
801.68/809.63	o 6803
802.07/810.07	o 6797
802.57/810.52	o 6796
802.96/810.95	o 6794
803.46/811.46	o 6788
803.95/811.90	o 6786
804.85/812.82	o 6778
805.24/813.28	o 6772
805.73/813.73	o 6768
806.13/814.20	o 6765
807.03/815.08	o 6759
807.53/815.53	o 6752
807.92/815.99	o 6749
808.42/816.43	o 6741
808.91/816.91	o 6739
809.80/817.84	o 6732
810.30/818.30	o 6724
810.59/818.66	o 6720
810.99/819.01	o 6718
811.39/819.45	o 6717
812.28/820.32	o 6711
812.77/820.80	o 6710
813.17/821.20	o 6709
813.57/821.68	o 6697
816.93/825.04	o 6691
817.92/826.01	o 6683
818.81/826.96	o 6675
819.80/827.94	o 6671
820.29/828.43	o 6663
820.69/828.89	o 6656
821.19/829.40	o 6653
822.28/830.43	o 6648
822.77/830.95	o 6645
823.27/831.47	o 6643
823.76/831.98	o 6636
824.26/832.50	o 6622
824.85/833.01	o 6617
825.35/833.53	o 6612
825.94/834.12	o 6608
826.44/834.63	o 6601
830.20/838.42	o 6597
830.69/838.94	o 6592
831.29/839.51	o 6587
831.78/840.05	o 6582
833.87/842.17	o 6580
834.96/843.24	o 6571
835.95/844.29	o 6566
836.54/844.81	o 6558
837.03/845.32	o 6554
837.53/845.88	o 6551
838.12/846.42	o 6548
838.62/846.98	o 6545
840.30/848.68	o 6541
840.90/849.26	o 6534
841.50/849.83	o 6525
841.89/850.28	o 6516
842.49/850.87	o 6514
843.68/852.03	o 6507
844.07/852.49	o 6500
844.67/853.07	o 6495
845.26/853.68	o 6490
845.85/854.26	o 6485
846.94/855.36	o 6477
847.53/855.93	o 6472
848.13/856.53	o 6468
848.62/857.09	o 6460
849.12/857.60	o 6450
849.71/858.17	o 6444
850.30/858.74	o 6438
850.90/859.34	o 6433
851.49/859.93	o 6429
852.09/860.52	o 6428
853.87/862.32	o 6426
855.66/864.14	o 6417
856.25/864.76	o 6410
856.84/865.35	o 6401
857.33/865.82	o 6400
857.83/866.38	o 6395
858.42/866.94	o 6392
859.02/867.53	o 6386
859.61/868.10	o 6381
860.21/868.73	o 6374
860.80/869.32	o 6373
861.30/869.89	o 6371
861.89/870.47	o 6370
863.08/871.67	o 6369
863.68/872.29	o 6363
864.27/872.87	o 6359
864.96/873.50	o 6355
865.55/874.11	o 6347
865.95/874.58	o 6339
868.33/876.97	o 6334
868.92/877.55	o 6329
869.52/878.15	o 6326
870.11/878.74	o 6317
870.70/879.34	o 6314
871.30/879.97	o 6306
873.18/881.80	o 6304
873.77/882.41	o 6303
876.65/885.38	o 6302
877.84/886.56	o 6296
879.03/887.79	o 6293
879.72/888.40	o 6285
880.21/888.99	o 6275
881.40/890.16	o 6267
881.99/890.74	o 6264
882.59/891.33	o 6263
883.18/891.91	o 6256
883.68/892.48	o 6251
884.27/893.04	o 6241
884.87/893.62	o 6234
885.36/894.18	o 6225
885.96/894.74	o 6220
886.45/895.29	o 6216
887.64/896.40	o 6213
888.14/896.97	o 6207
889.23/898.07	o 6202
889.83/898.63	o 6201
890.32/899.16	o 6200
890.92/899.73	o 6199
891.41/900.27	o 6194
892.01/900.85	o 6191
892.60/901.42	o 6184
893.20/902.02	o 6177
893.39/902.28	o 6165
894.58/903.44	o 6162
895.18/904.02	o 6160
895.77/904.64	o 6154
898.74/907.61	o 6152
899.24/908.17	o 6147
899.83/908.75	o 6144
901.02/909.93	o 6140
901.61/910.51	o 6138
902.00/910.99	o 6132
903.19/912.11	o 6126
903.69/912.67	o 6116
904.28/913.27	o 6115
904.88/913.84	o 6109
905.37/914.39	o 6108
905.97/914.97	o 6107
906.56/915.52	o 6103
907.65/916.68	o 6100
908.24/917.24	o 6094
908.74/917.80	o 6085
909.33/918.35	o 6079
909.83/918.89	o 6067
911.02/920.02	o 6064
911.51/920.58	o 6060
912.11/921.14	o 6057
913.20/922.26	o 6053
913.79/922.86	o 6051
914.39/923.43	o 6044
914.89/924.00	o 6038
916.08/925.10	o 6034
916.47/925.53	o 6033
917.07/926.11	o 6029
917.56/926.65	o 6028
917.96/927.01	o 6021
918.45/927.54	o 6018
918.95/928.09	o 6017
919.54/928.65	o 6012
920.14/929.21	o 6008
920.63/929.77	o 6000
921.23/930.33	o 5995
921.72/930.85	o 5991
922.12/931.21	o 5982
922.41/931.59	o 5976
923.01/932.14	o 5975
924.10/933.21	o 5972
924.49/933.68	o 5965
925.09/934.24	o 5957
925.58/934.76	o 5947
925.88/935.05	o 5942
926.37/935.52	o 5935
926.87/936.05	o 5934
927.46/936.60	o 5930
927.96/937.15	o 5926
928.55/937.70	o 5923
929.04/938.25	o 5921
929.64/938.80	o 5911
930.13/939.34	o 5910
930.73/939.91	o 5902
931.02/940.24	o 5898
931.52/940.77	o 5895
932.11/941.37	o 5891
932.71/941.96	o 5886
933.20/942.49	o 5881
933.80/943.04	o 5875
934.29/943.60	o 5868
934.79/944.05	o 5864
935.38/944.61	o 5854
937.56/946.83	o 5853
938.05/947.39	o 5847
938.65/947.95	o 5840
939.24/948.50	o 5833
939.74/949.08	o 5832
940.33/949.64	o 5831
940.83/950.19	o 5825
941.42/950.76	o 5822
942.01/951.32	o 5816
942.51/951.86	o 5808
943.00/952.39	o 5804
943.60/952.92	o 5798
944.09/953.47	o 5789
944.69/954.01	o 5779
945.19/954.57	o 5777
946.28/955.69	o 5774
946.88/956.26	o 5771
947.47/956.83	o 5765
948.66/958.03	o 5755
949.75/959.13	o 5746
950.34/959.71	o 5740
950.83/960.29	o 5739
951.43/960.85	o 5736
952.02/961.42	o 5726
954.30/963.74	o 5721
954.89/964.33	o 5717
955.48/964.94	o 5711
956.08/965.54	o 5705
956.67/966.15	o 5702
956.97/966.45	o 5693
957.47/966.93	o 5687
958.06/967.50	o 5683
958.65/968.10	o 5680
959.15/968.67	o 5676
959.74/969.26	o 5672
960.93/970.41	o 5661
961.42/970.98	o 5657
962.02/971.58	o 5655
963.80/973.32	o 5654
964.40/973.91	o 5640
964.89/974.48	o 5633
965.49/975.08	o 5629
965.98/975.52	o 5620
966.58/976.10	o 5615
967.07/976.66	o 5605
967.56/977.19	o 5598
968.16/977.75	o 5597
968.65/978.29	o 5596
969.84/979.40	o 5590
970.34/979.99	o 5587
970.93/980.53	o 5582
971.54/981.16	o 5580
973.22/982.85	o 5579
974.41/984.02	o 5578
975.00/984.63	o 5576
975.59/985.21	o 5575
976.19/985.80	o 5569
976.68/986.38	o 5565
977.28/986.99	o 5564
977.87/987.58	o 5562
978.46/988.17	o 5559
979.06/988.76	o 5556
980.25/989.91	o 5554
980.74/990.49	o 5550
981.34/991.07	o 5546
981.93/991.64	o 5545
982.53/992.23	o 5539
984.21/993.96	o 5534
985.39/995.13	o 5530
985.99/995.71	o 5523
986.58/996.31	o 5517
987.08/996.89	o 5512
988.27/998.07	o 5508
989.46/999.24	o 5501
990.05/999.83	o 5497
990.65/1000.42	o 5490
991.24/1001.02	o 5484
991.83/1001.61	o 5483
993.03/1002.81	o 5479
994.12/1003.96	o 5478
994.71/1004.51	o 5472
995.20/1005.09	o 5466
995.80/1005.64	o 5464
996.39/1006.22	o 5461
996.79/1006.68	o 5455
997.38/1007.23	o 5451
997.98/1007.80	o 5443
998.47/1008.36	o 5437
999.07/1008.97	o 5430
999.66/1009.55	o 5424
1000.26/1010.12	o 5421
1001.35/1011.28	o 5416
1003.13/1013.09	o 5412
1003.72/1013.67	o 5400
1004.12/1014.09	o 5394
1004.71/1014.67	o 5389
1005.90/1015.86	o 5386
1006.50/1016.42	o 5381
1006.99/1016.97	o 5374
1007.58/1017.56	o 5368
1008.77/1018.73	o 5361
1009.27/1019.27	o 5359
1009.85/1019.83	o 5358
1010.35/1020.40	o 5349
1010.95/1020.96	o 5346
1011.54/1021.54	o 5345
1012.04/1022.09	o 5337
1012.63/1022.66	o 5332
1013.22/1023.23	o 5329
1013.82/1023.81	o 5324
1014.31/1024.39	o 5316
1014.91/1024.93	o 5313
1015.40/1025.47	o 5308
1016.59/1026.62	o 5301
1017.09/1027.19	o 5298
1017.68/1027.76	o 5297
1018.28/1028.32	o 5296
1018.77/1028.87	o 5294
1019.37/1029.44	o 5292
1019.96/1030.00	o 5288
1021.45/1031.58	o 5282
1022.04/1032.17	o 5277
1022.64/1032.71	o 5270
1023.13/1033.27	o 5263
1023.72/1033.81	o 5262
1024.22/1034.37	o 5255
1024.81/1034.90	o 5246
1025.31/1035.45	o 5244
1025.80/1035.92	o 5243
1026.30/1036.46	o 5241
1026.89/1037.00	o 5237
1027.39/1037.55	o 5235
1028.48/1038.63	o 5231
1028.97/1039.19	o 5227
1030.06/1040.29	o 5226
1031.15/1041.40	o 5224
1032.34/1042.52	o 5223
1033.43/1043.63	o 5215
1033.92/1044.17	o 5204
1034.42/1044.62	o 5201
1034.91/1045.19	o 5194
1035.51/1045.74	o 5192
1036.00/1046.28	o 5191
1036.59/1046.87	o 5188
1037.19/1047.43	o 5185
1037.68/1047.99	o 5176
1038.28/1048.57	o 5173
1039.37/1049.68	o 5169
1039.96/1050.26	o 5159
1040.55/1050.80	o 5153
1041.05/1051.36	o 5148
1041.64/1051.92	o 5141
1042.14/1052.50	o 5138
1042.73/1053.06	o 5136
1043.82/1054.19	o 5133
1044.31/1054.65	o 5131
1044.91/1055.20	o 5112
1045.40/1055.77	o 5106
1046.40/1056.71	o 5097
1046.90/1057.24	o 5094
1047.40/1057.78	o 5092
1047.98/1058.33	o 5082
1048.48/1058.88	o 5074
1049.07/1059.42	o 5063
1050.16/1060.51	o 5061
1050.66/1061.05	o 5055
1051.16/1061.58	o 5043
1051.75/1062.12	o 5041
1052.84/1063.24	o 5037
1053.43/1063.81	o 5036
1053.93/1064.37	o 5025
1054.52/1064.94	o 5012
1055.12/1065.50	o 5003
1056.11/1066.50	o 4998
1056.61/1067.08	o 4991
1057.20/1067.64	o 4990
1057.79/1068.20	o 4989
1058.29/1068.79	o 4984
1061.36/1071.83	o 4978
1061.85/1072.37	o 4968
1062.35/1072.89	o 4967
1063.43/1073.95	o 4961
1063.63/1074.16	o 4951
1064.62/1075.17	o 4944
1065.12/1075.67	o 4943
1065.61/1076.19	o 4937
1066.21/1076.71	o 4927
1067.20/1077.73	o 4921
1069.58/1080.12	o 4915
1070.07/1080.61	o 4901
1070.27/1080.85	o 4890
1070.76/1081.38	o 4880
1071.26/1081.80	o 4873
1071.65/1082.28	o 4867
1073.14/1083.77	o 4859
1074.13/1084.79	o 4850
1074.72/1085.30	o 4847
1075.22/1085.80	o 4846
1075.72/1086.32	o 4838
1076.21/1086.80	o 4827
1078.09/1088.80	o 4825
1078.68/1089.32	o 4824
1079.18/1089.81	o 4823
1079.67/1090.31	o 4816
1080.17/1090.81	o 4812
1080.27/1091.00	o 4809
1080.86/1091.51	o 4803
1081.36/1092.01	o 4797
1081.85/1092.50	o 4790
1082.35/1093.04	o 4786
1082.84/1093.56	o 4784
1083.34/1094.06	o 4781
1084.33/1095.08	o 4773
1084.82/1095.53	o 4765
1085.12/1095.81	o 4760
1085.62/1096.31	o 4756
1086.02/1096.79	o 4746
1086.52/1097.22	o 4739
1087.51/1098.25	o 4736
1088.00/1098.75	o 4730
1088.50/1099.23	o 4724
1088.99/1099.75	o 4723
1089.98/1100.77	o 4720
1090.18/1100.97	o 4715
1090.67/1101.45	o 4705
1091.17/1101.96	o 4694
1092.16/1102.98	o 4691
1093.15/1103.99	o 4685
1093.65/1104.49	o 4682
1094.74/1105.50	o 4678
1095.23/1106.00	o 4673
1095.73/1106.50	o 4671
1097.11/1107.94	o 4670
1097.61/1108.41	o 4667
1097.91/1108.77	o 4660
1098.40/1109.26	o 4652
1098.89/1109.74	o 4646
1099.39/1110.21	o 4642
1099.88/1110.71	o 4639
1100.28/1111.18	o 4632
1100.78/1111.66	o 4623
1101.27/1112.15	o 4620
1102.26/1113.11	o 4619
1102.66/1113.59	o 4616
1103.15/1114.08	o 4609
1103.65/1114.59	o 4603
1104.24/1115.10	o 4598
1104.63/1115.59	o 4597
1105.13/1116.08	o 4592
1105.63/1116.59	o 4590
1106.12/1117.09	o 4589
1106.72/1117.62	o 4587
1107.21/1118.13	o 4585
1107.71/1118.64	o 4581
1108.20/1119.15	o 4578
1108.70/1119.65	o 4577
1109.19/1120.17	o 4568
1109.69/1120.68	o 4567
1110.18/1121.20	o 4561
1110.77/1121.72	o 4559
1111.17/1122.19	o 4555
1111.76/1122.72	o 4549
1112.26/1123.21	o 4542
1113.65/1124.65	o 4538
1114.64/1125.64	o 4535
1116.12/1127.11	o 4532
1117.11/1128.14	o 4520
1118.10/1129.16	o 4514
1119.09/1130.14	o 4513
1120.18/1131.20	o 4505
1121.07/1132.18	o 4498
1121.67/1132.72	o 4494
1122.16/1133.23	o 4490
1123.65/1134.71	o 4486
1124.14/1135.24	o 4485
1124.64/1135.73	o 4480
1125.13/1136.24	o 4474
1125.63/1136.71	o 4470
1125.83/1136.99	o 4465
1126.32/1137.48	o 4462
1126.82/1137.97	o 4458
1127.31/1138.43	o 4452
1129.29/1140.44	o 4449
1129.79/1140.95	o 4448
1130.28/1141.45	o 4446
1130.78/1141.94	o 4437
1132.27/1143.45	o 4430
1132.76/1143.97	o 4423
1134.24/1145.47	o 4422
1134.74/1145.99	o 4418
1135.24/1146.48	o 4413
1135.74/1146.98	o 4410
1136.33/1147.51	o 4404
1136.83/1148.03	o 4398
1137.23/1148.49	o 4394
1137.82/1149.01	o 4385
1138.12/1149.32	o 4376
1138.61/1149.82	o 4371
1139.10/1150.35	o 4365
1139.60/1150.85	o 4359
1140.09/1151.35	o 4349
1140.59/1151.89	o 4347
1141.09/1152.37	o 4341
1141.58/1152.84	o 4339
1141.98/1153.29	o 4335
1142.57/1153.81	o 4327
1142.97/1154.29	o 4322
1143.46/1154.78	o 4317
1144.45/1155.80	o 4316
1145.04/1156.33	o 4306
1145.24/1156.59	o 4295
1145.84/1157.14	o 4291
1146.83/1158.17	o 4286
1147.42/1158.71	o 4285
1148.41/1159.77	o 4278
1149.01/1160.32	o 4267
1149.20/1160.52	o 4257
1149.70/1161.04	o 4252
1150.29/1161.61	o 4251
1150.79/1162.17	o 4246
1151.38/1162.74	o 4245
1151.88/1163.27	o 4236
1152.27/1163.61	o 4231
1152.67/1164.07	o 4222
1153.76/1165.15	o 4219
1154.25/1165.69	o 4215
1154.84/1166.23	o 4214
1155.93/1167.30	o 4206
1156.43/1167.85	o 4193
1157.02/1168.40	o 4187
1157.42/1168.89	o 4179
1157.92/1169.33	o 4169
1158.41/1169.85	o 4168
1158.90/1170.39	o 4166
1159.50/1170.92	o 4161
1159.99/1171.47	o 4155
1160.59/1172.02	o 4148
1162.07/1173.50	o 4142
1162.57/1174.06	o 4138
1163.06/1174.59	o 4136
1163.66/1175.15	o 4133
1164.26/1175.72	o 4127
1164.75/1176.28	o 4121
1165.35/1176.86	o 4117
1166.54/1178.01	o 4116
1167.63/1179.14	o 4113
1168.22/1179.70	o 4110
1168.72/1180.26	o 4101
1169.31/1180.85	o 4096
1170.50/1182.00	o 4090
1171.00/1182.59	o 4081
1171.49/1183.06	o 4074
1171.98/1183.52	o 4073
1172.38/1183.99	o 4067
1172.97/1184.57	o 4061
1173.57/1185.15	o 4056
1174.06/1185.69	o 4053
1174.65/1186.29	o 4047
1175.25/1186.87	o 4039
1175.84/1187.44	o 4029
1176.44/1188.03	o 4024
1177.03/1188.61	o 4015
1177.53/1189.16	o 4007
1178.12/1189.75	o 4005
1178.52/1190.12	o 4002
1178.81/1190.49	o 3992
1179.40/1191.04	o 3987
1180.00/1191.61	o 3981
1181.09/1192.70	o 3976
1181.59/1193.24	o 3972
1182.08/1193.77	o 3967
1182.68/1194.33	o 3963
1183.27/1194.91	o 3957
1183.76/1195.46	o 3952
1184.36/1196.00	o 3951
1185.94/1197.62	o 3945
1186.44/1198.20	o 3942
1187.03/1198.77	o 3931
1187.53/1199.29	o 3925
1188.12/1199.89	o 3921
1188.72/1200.42	o 3915
1189.21/1200.99	o 3914
1189.80/1201.55	o 3904
1190.89/1202.69	o 3901
1191.49/1203.25	o 3893
1192.08/1203.81	o 3891
1192.58/1204.36	o 3882
1192.87/1204.68	o 3875
1193.47/1205.24	o 3873
1193.96/1205.73	o 3871
1195.05/1206.80	o 3866
1195.55/1207.33	o 3856
1196.14/1207.90	o 3848
1196.64/1208.48	o 3840
1197.14/1208.97	o 3836
1199.92/1211.71	o 3833
1200.41/1212.25	o 3823
1201.01/1212.80	o 3814
1201.50/1213.36	o 3810
1202.49/1214.36	o 3809
1203.58/1215.43	o 3802
1203.97/1215.89	o 3795
1204.57/1216.44	o 3794
1205.16/1217.01	o 3791
1205.66/1217.55	o 3780
1206.15/1218.08	o 3777
1206.75/1218.61	o 3773
1207.14/1219.01	o 3767
1207.63/1219.57	o 3759
1207.93/1219.88	o 3756
1208.53/1220.41	o 3746
1209.02/1220.96	o 3741
1210.61/1222.56	o 3737
1211.70/1223.65	o 3733
1212.29/1224.23	o 3726
1213.88/1225.87	o 3716
1214.47/1226.43	o 3709
1214.96/1226.99	o 3705
1215.56/1227.55	o 3697
1216.15/1228.10	o 3691
1217.74/1229.76	o 3681
1218.23/1230.25	o 3672
1218.73/1230.79	o 3667
1219.81/1231.89	o 3661
1220.31/1232.32	o 3653
1220.80/1232.88	o 3649
1222.49/1234.57	o 3645
1223.08/1235.12	o 3634
1223.59/1235.70	o 3633
1224.77/1236.81	o 3625
1225.07/1237.14	o 3621
1225.56/1237.69	o 3612
1226.16/1238.24	o 3611
1226.75/1238.80	o 3606
1227.25/1239.35	o 3605
1227.84/1239.92	o 3604
1228.34/1240.45	o 3599
1228.83/1240.98	o 3593
1229.43/1241.52	o 3587
1229.92/1242.05	o 3581
1230.42/1242.54	o 3580
1232.00/1244.12	o 3572
1232.40/1244.55	o 3563
1233.39/1245.59	o 3561
1233.98/1246.11	o 3558
1234.48/1246.64	o 3550
1234.87/1247.07	o 3544
1235.37/1247.58	o 3535
1235.87/1248.08	o 3529
1236.36/1248.52	o 3527
1236.86/1249.00	o 3523
1237.25/1249.48	o 3512
1238.24/1250.46	o 3503
1238.74/1250.94	o 3500
1239.23/1251.43	o 3491
1239.73/1251.90	o 3482
1239.93/1252.13	o 3472
1240.23/1252.46	o 3466
1240.72/1252.94	o 3465
1241.21/1253.40	o 3464
1241.61/1253.88	o 3458
1242.10/1254.36	o 3443
1242.30/1254.51	o 3439
1242.70/1254.94	o 3432
1243.09/1255.39	o 3427
1244.08/1256.31	o 3423
1244.98/1257.23	o 3418
1245.37/1257.67	o 3415
1246.26/1258.58	o 3410
1246.76/1259.02	o 3399
1247.65/1259.92	o 3396
1248.34/1260.66	o 3395
1248.64/1260.97	o 3389
1249.93/1262.25	o 3384
1250.32/1262.67	o 3373
1250.82/1263.11	o 3368
1251.21/1263.53	o 3363
1251.61/1263.96	o 3357
1252.01/1264.38	o 3355
1252.50/1264.83	o 3349
1252.80/1265.16	o 3347
1253.59/1265.99	o 3341
1254.48/1266.85	o 3336
1254.88/1267.27	o 3329
1255.28/1267.64	o 3320
1255.67/1268.01	o 3310
1256.07/1268.43	o 3308
1257.36/1269.73	o 3302
1257.75/1270.10	o 3295
1258.15/1270.51	o 3291
1258.54/1270.93	o 3287
1258.94/1271.35	o 3282
1259.33/1271.79	o 3276
1259.83/1272.24	o 3272
1260.23/1272.68	o 3268
1260.72/1273.10	o 3266
1261.61/1274.02	o 3258
1262.11/1274.50	o 3253
1262.51/1274.95	o 3249
1263.00/1275.43	o 3246
1263.50/1275.91	o 3245
1263.89/1276.37	o 3242
1264.78/1277.29	o 3240
1265.28/1277.79	o 3234
1265.77/1278.26	o 3226
1266.17/1278.61	o 3217
1266.56/1279.06	o 3214
1267.06/1279.51	o 3206
1267.16/1279.66	o 3200
1267.65/1280.16	o 3197
1268.15/1280.62	o 3194
1268.64/1281.10	o 3188
1269.04/1281.59	o 3183
1269.54/1282.04	o 3173
1270.03/1282.52	o 3163
1270.42/1282.97	o 3161
1270.92/1283.45	o 3158
1271.41/1283.93	o 3152
1272.80/1285.36	o 3148
1273.30/1285.84	o 3145
1273.79/1286.32	o 3133
1274.18/1286.78	o 3122
1274.68/1287.26	o 3113
1274.98/1287.59	o 3103
1275.47/1288.05	o 3100
1276.47/1289.00	o 3097
1276.87/1289.46	o 3090
1277.36/1289.94	o 3082
1277.76/1290.35	o 3080
1278.75/1291.30	o 3076
1278.85/1291.45	o 3069
1279.34/1291.93	o 3065
1279.84/1292.42	o 3056
1280.23/1292.85	o 3050
1280.73/1293.34	o 3041
1280.93/1293.59	o 3037
1281.42/1294.05	o 3036
1281.91/1294.50	o 3032
1284.09/1296.74	o 3029
1284.19/1296.86	o 3022
1284.69/1297.32	o 3021
1286.07/1298.71	o 3020
1286.47/1299.18	o 3019
1286.96/1299.60	o 3009
1287.16/1299.84	o 3003
1287.56/1300.21	o 2996
1287.95/1300.66	o 2990
1288.84/1301.59	o 2984
1289.34/1302.02	o 2979
1289.74/1302.49	o 2974
1290.23/1302.93	o 2971
1290.62/1303.37	o 2961
1291.51/1304.26	o 2958
1292.90/1305.62	o 2956
1293.30/1306.07	o 2953
1293.79/1306.52	o 2947
1294.19/1306.99	o 2942
1294.69/1307.46	o 2938
1295.18/1307.94	o 2931
1295.58/1308.36	o 2920
1296.07/1308.85	o 2916
1296.56/1309.32	o 2909
1297.06/1309.80	o 2901
1297.46/1310.28	o 2900
1297.96/1310.74	o 2897
1298.46/1311.21	o 2896
1298.85/1311.68	o 2891
1299.35/1312.18	o 2887
1299.84/1312.65	o 2884
1300.33/1313.13	o 2874
1300.83/1313.61	o 2869
1301.23/1314.08	o 2865
1301.72/1314.51	o 2854
1301.82/1314.62	o 2844
1302.22/1315.09	o 2841
1302.71/1315.53	o 2838
1303.60/1316.46	o 2833
1304.59/1317.40	o 2829
1304.99/1317.87	o 2825
1305.49/1318.33	o 2818
1305.88/1318.78	o 2807
1306.18/1319.06	o 2802
1306.68/1319.51	o 2797
1307.07/1319.97	o 2796
1307.96/1320.88	o 2787
1308.36/1321.24	o 2775
1308.76/1321.67	o 2763
1309.25/1322.14	o 2752
1309.65/1322.56	o 2745
1310.14/1323.01	o 2743
1310.53/1323.47	o 2735
1313.31/1326.22	o 2729
1313.80/1326.71	o 2723
1314.10/1327.10	o 2720
1316.38/1329.39	o 2716
1316.77/1329.78	o 2710
1317.27/1330.23	o 2700
1318.07/1331.08	o 2691
1318.26/1331.28	o 2684
1318.76/1331.71	o 2671
1318.96/1331.92	o 2663
1319.35/1332.33	o 2650
1319.75/1332.74	o 2638
1320.14/1333.19	o 2630
1320.64/1333.62	o 2625
1321.03/1334.06	o 2617
1321.43/1334.48	o 2609
1322.32/1335.34	o 2604
1322.72/1335.76	o 2601
1323.11/1336.19	o 2600
1323.61/1336.61	o 2593
1324.40/1337.45	o 2590
1324.89/1337.90	o 2585
1325.29/1338.33	o 2577
1325.69/1338.78	o 2570
1326.18/1339.23	o 2559
1326.58/1339.67	o 2556
1327.07/1340.12	o 2543
1327.47/1340.57	o 2539
1327.96/1341.01	o 2536
1328.36/1341.45	o 2529
1328.86/1341.92	o 2525
1329.25/1342.38	o 2524
1329.74/1342.86	o 2520
1330.24/1343.33	o 2512
1330.64/1343.79	o 2510
1331.13/1344.24	o 2504
1331.53/1344.69	o 2503
1332.02/1345.14	o 2501
1333.31/1346.45	o 2499
1333.71/1346.88	o 2494
1334.20/1347.35	o 2489
1334.60/1347.78	o 2485
1335.09/1348.23	o 2481
1335.49/1348.68	o 2473
1335.99/1349.10	o 2467
1336.38/1349.57	o 2464
1336.87/1350.02	o 2457
1337.27/1350.48	o 2447
1337.67/1350.83	o 2435
1338.06/1351.25	o 2428
1338.46/1351.68	o 2415
1338.76/1351.93	o 2408
1339.05/1352.29	o 2399
1339.45/1352.62	o 2393
1339.85/1353.04	o 2392
1340.24/1353.45	o 2388
1340.64/1353.88	o 2379
1341.04/1354.27	o 2376
1341.44/1354.68	o 2373
1341.83/1355.09	o 2365
1342.33/1355.51	o 2364
1342.72/1355.92	o 2356
1343.52/1356.78	o 2350
1344.01/1357.20	o 2349
1344.41/1357.62	o 2342
1345.20/1358.47	o 2337
1345.70/1358.90	o 2334
1346.09/1359.33	o 2333
1346.49/1359.77	o 2323
1346.98/1360.21	o 2320
1347.38/1360.66	o 2312
1347.77/1361.10	o 2301
1348.27/1361.54	o 2298
1348.47/1361.73	o 2294
1348.86/1362.16	o 2290
1349.36/1362.62	o 2289
1349.75/1363.07	o 2285
1350.15/1363.47	o 2279
1350.64/1363.90	o 2267
1350.84/1364.16	o 2262
1351.24/1364.59	o 2259
1351.63/1364.91	o 2253
1351.73/1365.09	o 2242
1352.23/1365.51	o 2240
1352.62/1365.93	o 2239
1353.02/1366.36	o 2235
1353.42/1366.77	o 2230
1353.91/1367.23	o 2229
1354.70/1368.06	o 2228
1355.10/1368.49	o 2226
1355.60/1368.91	o 2219
1355.89/1369.20	o 2214
1356.19/1369.58	o 2213
1356.58/1369.99	o 2207
1357.78/1371.18	o 2202
1358.17/1371.59	o 2196
1358.56/1372.00	o 2191
1359.06/1372.40	o 2187
1359.46/1372.81	o 2186
1359.65/1373.07	o 2183
1360.35/1373.78	o 2181
1360.74/1374.19	o 2179
1361.14/1374.58	o 2175
1361.53/1374.99	o 2170
1361.93/1375.35	o 2164
1362.32/1375.76	o 2159
1362.72/1376.15	o 2155
1363.12/1376.56	o 2151
1363.51/1376.96	o 2149
1365.11/1378.55	o 2147
1365.50/1378.95	o 2143
1365.90/1379.36	o 2134
1366.00/1379.47	o 2124
1366.79/1380.24	o 2118
1367.18/1380.65	o 2113
1367.58/1381.06	o 2108
1367.98/1381.47	o 2107
1368.37/1381.89	o 2100
1368.77/1382.21	o 2091
1369.56/1383.01	o 2087
1369.96/1383.44	o 2085
1370.35/1383.84	o 2081
1370.65/1384.10	o 2075
1371.84/1385.31	o 2072
1372.13/1385.66	o 2069
1372.53/1386.05	o 2063
1372.93/1386.43	o 2058
1373.32/1386.84	o 2047
1373.72/1387.24	o 2027
1374.12/1387.63	o 2026
1374.51/1388.02	o 2023
1374.81/1388.39	o 2020
1375.20/1388.78	o 2015
1375.99/1389.57	o 2013
1376.39/1389.95	o 2006
1376.69/1390.25	o 2002
1377.38/1390.94	o 1998
1378.87/1392.46	o 1991
1379.26/1392.84	o 1988
1379.66/1393.24	o 1984
1380.75/1394.39	o 1972
1381.15/1394.78	o 1969
1381.54/1395.16	o 1965
1381.93/1395.54	o 1961
1382.33/1395.92	o 1956
1382.73/1396.30	o 1949
1383.02/1396.69	o 1944
1383.42/1397.08	o 1939
1383.82/1397.44	o 1938
1385.30/1398.91	o 1937
1385.60/1399.28	o 1930
1385.99/1399.65	o 1926
1386.39/1400.02	o 1921
1386.69/1400.40	o 1912
1387.08/1400.75	o 1910
1387.87/1401.53	o 1907
1388.17/1401.89	o 1904
1388.57/1402.27	o 1899
1388.96/1402.65	o 1895
1389.76/1403.44	o 1892
1390.15/1403.84	o 1888
1390.55/1404.24	o 1887
1390.94/1404.64	o 1881
1391.34/1405.02	o 1880
1392.13/1405.81	o 1875
1392.82/1406.58	o 1873
1393.22/1406.95	o 1871
1393.62/1407.34	o 1865
1393.72/1407.48	o 1857
1394.51/1408.23	o 1848
1394.71/1408.44	o 1842
1396.19/1409.90	o 1838
1396.49/1410.27	o 1828
1396.88/1410.63	o 1827
1397.18/1411.00	o 1823
1397.58/1411.37	o 1819
1398.37/1412.13	o 1818
1399.06/1412.88	o 1809
1399.36/1413.17	o 1803
1399.76/1413.53	o 1799
1400.15/1413.91	o 1798
1400.56/1414.31	o 1789
1400.86/1414.65	o 1777
1401.25/1415.03	o 1771
1401.94/1415.77	o 1770
1402.34/1416.11	o 1765
1402.63/1416.47	o 1764
1403.03/1416.83	o 1762
1403.33/1417.20	o 1758
1403.72/1417.56	o 1754
1404.12/1417.92	o 1748
1404.42/1418.22	o 1745
1405.11/1418.96	o 1741
1405.51/1419.33	o 1739
1405.90/1419.70	o 1738
1406.20/1420.06	o 1733
1406.59/1420.44	o 1721
1406.89/1420.71	o 1713
1407.09/1420.99	o 1710
1407.39/1421.28	o 1707
1407.78/1421.63	o 1706
1408.08/1421.99	o 1703
1408.38/1422.27	o 1697
1408.77/1422.65	o 1692
1409.17/1423.02	o 1687
1409.47/1423.38	o 1685
1409.86/1423.73	o 1680
1410.85/1424.79	o 1679
1411.25/1425.15	o 1677
1411.64/1425.52	o 1675
1413.13/1427.03	o 1674
1413.52/1427.41	o 1669
1413.82/1427.77	o 1668
1414.22/1428.13	o 1667
1414.52/1428.49	o 1663
1414.91/1428.85	o 1660
1415.31/1429.20	o 1656
1415.60/1429.55	o 1652
1415.90/1429.90	o 1645
1416.29/1430.25	o 1642
1416.99/1430.98	o 1639
1417.38/1431.36	o 1637
1417.78/1431.74	o 1629
1418.47/1432.49	o 1619
1418.77/1432.77	o 1615
1419.07/1433.02	o 1611
1419.37/1433.38	o 1608
1419.76/1433.76	o 1605
1420.16/1434.13	o 1603
1420.55/1434.51	o 1601
1420.85/1434.89	o 1599
1421.64/1435.62	o 1596
1421.94/1435.98	o 1594
1422.73/1436.74	o 1593
1423.13/1437.12	o 1591
1423.52/1437.50	o 1586
1423.82/1437.89	o 1582
1424.12/1438.14	o 1577
1425.11/1439.19	o 1573
1425.41/1439.49	o 1566
1425.80/1439.85	o 1561
1426.10/1440.17	o 1558
1426.50/1440.55	o 1554
1426.89/1440.91	o 1552
1427.19/1441.27	o 1546
1427.59/1441.64	o 1542
1428.27/1442.37	o 1541
1428.67/1442.75	o 1531
1428.97/1443.07	o 1522
1429.26/1443.37	o 1515
1429.66/1443.70	o 1506
1429.97/1444.06	o 1505
1430.36/1444.41	o 1503
1430.66/1444.76	o 1500
1431.35/1445.49	o 1498
1431.75/1445.85	o 1493
1432.14/1446.23	o 1490
1432.84/1446.95	o 1488
1433.24/1447.32	o 1487
1433.63/1447.71	o 1485
1433.93/1448.08	o 1484
1434.32/1448.46	o 1479
1434.72/1448.86	o 1471
1435.02/1449.17	o 1466
1435.81/1449.92	o 1465
1436.21/1450.31	o 1464
1436.50/1450.68	o 1463
1437.30/1451.43	o 1461
1437.69/1451.82	o 1451
1437.99/1452.16	o 1443
1441.06/1455.22	o 1438
1441.25/1455.41	o 1431
1441.55/1455.70	o 1430
1441.85/1456.08	o 1428
1442.25/1456.47	o 1425
1442.54/1456.80	o 1420
1443.24/1457.49	o 1415
1443.53/1457.78	o 1409
1443.93/1458.13	o 1406
1444.23/1458.49	o 1403
1444.62/1458.84	o 1401
1444.92/1459.19	o 1398
1445.71/1459.91	o 1396
1446.01/1460.27	o 1391
1446.41/1460.63	o 1388
1447.10/1461.33	o 1385
1448.09/1462.39	o 1384
1448.29/1462.51	o 1377
1448.48/1462.77	o 1375
1449.38/1463.68	o 1371
1449.77/1464.00	o 1369
1449.97/1464.29	o 1368
1450.66/1464.92	o 1367
1450.96/1465.25	o 1363
1451.26/1465.57	o 1361
1451.85/1466.17	o 1360
1452.15/1466.46	o 1358
1452.45/1466.75	o 1354
1452.74/1467.07	o 1347
1453.14/1467.40	o 1344
1453.44/1467.71	o 1342
1454.03/1468.33	o 1337
1454.33/1468.63	o 1334
1455.51/1469.86	o 1328
1455.81/1470.16	o 1325
1456.11/1470.47	o 1323
1456.41/1470.79	o 1319
1456.70/1471.10	o 1317
1457.10/1471.42	o 1315
1457.40/1471.73	o 1313
1457.69/1472.00	o 1312
1458.29/1472.61	o 1308
1458.58/1472.92	o 1302
1458.88/1473.23	o 1301
1459.18/1473.54	o 1300
1459.47/1473.85	o 1296
1460.07/1474.46	o 1295
1460.56/1474.94	o 1294
1460.86/1475.23	o 1286
1461.16/1475.52	o 1283
1461.45/1475.80	o 1281
1461.95/1476.38	o 1280
1462.25/1476.67	o 1279
1463.14/1477.57	o 1278
1463.44/1477.88	o 1272
1463.73/1478.18	o 1267
1464.03/1478.49	o 1265
1464.32/1478.79	o 1258
1464.62/1479.08	o 1253
1464.82/1479.27	o 1249
1465.12/1479.59	o 1245
1466.01/1480.49	o 1244
1466.70/1481.11	o 1242
1467.00/1481.43	o 1239
1467.59/1482.06	o 1237
1468.19/1482.62	o 1235
1468.39/1482.88	o 1231
1468.58/1483.09	o 1227
1468.88/1483.39	o 1223
1469.57/1484.01	o 1222
1469.77/1484.28	o 1219
1470.37/1484.89	o 1213
1470.66/1485.16	o 1205
1470.86/1485.35	o 1202
1471.16/1485.65	o 1199
1471.45/1485.94	o 1197
1472.35/1486.85	o 1189
1472.55/1487.06	o 1183
1473.15/1487.66	o 1182
1473.44/1487.96	o 1181
1474.04/1488.52	o 1177
1474.63/1489.10	o 1174
1474.83/1489.40	o 1169
1474.93/1489.45	o 1157
1475.22/1489.73	o 1148
1475.42/1489.97	o 1146
1475.72/1490.24	o 1135
1475.92/1490.43	o 1130
1476.41/1490.96	o 1129
1476.61/1491.19	o 1126
1476.91/1491.46	o 1122
1477.20/1491.74	o 1121
1477.50/1492.01	o 1120
1478.59/1493.10	o 1115
1478.69/1493.21	o 1110
1478.88/1493.49	o 1108
1480.27/1494.82	o 1106
1480.57/1495.10	o 1105
1481.06/1495.60	o 1101
1481.26/1495.88	o 1100
1481.55/1496.15	o 1096
1481.75/1496.32	o 1095
1481.95/1496.59	o 1090
1482.54/1497.17	o 1089
1482.84/1497.45	o 1088
1483.34/1497.92	o 1084
1483.63/1498.21	o 1083
1483.83/1498.48	o 1079
1484.03/1498.67	o 1076
1484.32/1498.92	o 1074
1484.82/1499.46	o 1071
1485.12/1499.71	o 1069
1485.51/1500.16	o 1064
1485.81/1500.42	o 1063
1486.01/1500.69	o 1060
1486.31/1500.96	o 1059
1486.60/1501.23	o 1054
1487.10/1501.80	o 1048
1487.39/1502.02	o 1041
1487.79/1502.48	o 1039
1488.29/1502.99	o 1038
1488.59/1503.26	o 1037
1489.38/1504.09	o 1031
1489.58/1504.25	o 1029
1489.87/1504.52	o 1028
1490.17/1504.81	o 1025
1490.37/1505.07	o 1022
1490.96/1505.65	o 1021
1491.86/1506.51	o 1020
1492.65/1507.36	o 1018
1493.25/1507.93	o 1001
1493.54/1508.21	o 999
1494.04/1508.76	o 995
1494.63/1509.32	o 993
1495.13/1509.88	o 991
1495.43/1510.16	o 988
1495.72/1510.45	o 987
1496.22/1510.97	o 984
1496.81/1511.54	o 983
1497.11/1511.84	o 980
1497.40/1512.15	o 976
1498.00/1512.75	o 974
1498.30/1513.05	o 973
1498.59/1513.36	o 972
1499.78/1514.60	o 971
1500.08/1514.83	o 969
1500.38/1515.13	o 966
1500.67/1515.45	o 963
1500.97/1515.75	o 960
1501.26/1516.02	o 955
1501.86/1516.62	o 954
1502.45/1517.22	o 953
1502.75/1517.54	o 952
1503.05/1517.85	o 947
1503.34/1518.17	o 946
1503.64/1518.47	o 943
1506.11/1520.93	o 942
1506.41/1521.24	o 938
1506.71/1521.57	o 937
1507.01/1521.88	o 935
1507.41/1522.20	o 932
1507.70/1522.51	o 931
1508.00/1522.86	o 929
1508.10/1522.96	o 925
1508.40/1523.27	o 924
1508.70/1523.59	o 923
1509.09/1523.91	o 922
1509.39/1524.24	o 921
1509.69/1524.55	o 920
1509.98/1524.87	o 919
1510.28/1525.18	o 910
1510.47/1525.30	o 906
1510.77/1525.62	o 905
1511.96/1526.84	o 903
1512.26/1527.12	o 901
1512.56/1527.41	o 899
1512.85/1527.72	o 898
1513.15/1528.03	o 897
1513.45/1528.34	o 896
1514.54/1529.44	o 893
1515.52/1530.41	o 892
1516.02/1530.98	o 890
1516.41/1531.31	o 889
1516.71/1531.64	o 886
1518.39/1533.33	o 885
1519.88/1534.86	o 881
1520.18/1535.19	o 875
1520.57/1535.52	o 872
1521.56/1536.50	o 871
1522.16/1537.18	o 867
1522.55/1537.50	o 863
1522.85/1537.85	o 862
1523.15/1538.16	o 861
1523.45/1538.47	o 860
1523.84/1538.81	o 859
1524.04/1539.04	o 858
1524.34/1539.32	o 857
1524.63/1539.63	o 855
1524.93/1539.95	o 853
1526.52/1541.58	o 850
1526.92/1541.92	o 845
1527.02/1542.02	o 840
1527.31/1542.37	o 837
1528.00/1543.05	o 832
1528.30/1543.31	o 828
1528.60/1543.64	o 825
1529.29/1544.33	o 823
1530.28/1545.35	o 822
1530.58/1545.69	o 821
1530.98/1546.01	o 818
1531.27/1546.35	o 813
1531.57/1546.63	o 808
1532.17/1547.28	o 806
1532.56/1547.61	o 804
1534.44/1549.56	o 803
1534.74/1549.89	o 801
1535.14/1550.22	o 800
1535.44/1550.55	o 798
1535.73/1550.89	o 796
1536.03/1551.17	o 792
1536.42/1551.50	o 791
1536.72/1551.84	o 790
1537.02/1552.18	o 788
1537.41/1552.53	o 786
1538.11/1553.22	o 783
1538.40/1553.57	o 780
1538.80/1553.91	o 777
1539.10/1554.25	o 775
1539.39/1554.55	o 773
1539.79/1554.90	o 772
1540.08/1555.25	o 767
1540.28/1555.41	o 760
1540.58/1555.74	o 759
1540.88/1556.07	o 757
1541.57/1556.75	o 756
1541.97/1557.10	o 755
1543.25/1558.44	o 754
1543.64/1558.80	o 752
1544.24/1559.43	o 748
1544.54/1559.77	o 747
1549.39/1564.60	o 744
1549.69/1564.94	o 740
1550.09/1565.30	o 737
1550.38/1565.60	o 732
1550.68/1565.96	o 731
1551.08/1566.32	o 730
1551.37/1566.66	o 728
1552.06/1567.37	o 726
1552.46/1567.70	o 722
1553.15/1568.42	o 721
1553.45/1568.78	o 720
1553.85/1569.15	o 718
1554.25/1569.51	o 717
1554.55/1569.87	o 715
1554.95/1570.23	o 711
1555.24/1570.53	o 708
1555.63/1570.91	o 707
1556.33/1571.64	o 706
1557.42/1572.73	o 704
1558.40/1573.78	o 702
1559.49/1574.88	o 701
1560.29/1575.60	o 700
1561.28/1576.64	o 699
1561.97/1577.39	o 698
1562.36/1577.74	o 697
1562.76/1578.11	o 695
1563.06/1578.47	o 694
1563.45/1578.83	o 693
1563.85/1579.21	o 692
1564.54/1579.98	o 691
1565.34/1580.76	o 690
1565.73/1581.16	o 688
1566.52/1581.94	o 687
1566.92/1582.34	o 684
1568.11/1583.52	o 683
1568.50/1583.93	o 681
1568.80/1584.23	o 678
1569.29/1584.73	o 677
1569.70/1585.11	o 676
1570.10/1585.51	o 670
1570.89/1586.31	o 669
1571.19/1586.69	o 668
1571.97/1587.48	o 660
1572.27/1587.72	o 657
1572.67/1588.11	o 656
1573.06/1588.52	o 654
1573.26/1588.78	o 648
1573.65/1589.16	o 647
1574.05/1589.53	o 646
1574.45/1589.91	o 645
1576.04/1591.51	o 644
1576.43/1591.90	o 643
1576.83/1592.30	o 641
1578.01/1593.54	o 640
1579.01/1594.58	o 639
1579.40/1594.98	o 635
1579.70/1595.29	o 632
1580.19/1595.71	o 630
1580.59/1596.13	o 629
1582.97/1598.59	o 628
1583.36/1598.99	o 627
1583.76/1599.34	o 623
1584.15/1599.75	o 622
1584.95/1600.56	o 621
1585.34/1600.96	o 620
1585.74/1601.37	o 619
1586.13/1601.78	o 615
1588.51/1604.15	o 614
1588.91/1604.57	o 613
1589.31/1604.98	o 612
1590.20/1605.80	o 610
1591.29/1606.94	o 608
1592.08/1607.77	o 606
1592.47/1608.19	o 603
1592.67/1608.34	o 600
1593.07/1608.75	o 599
1593.46/1609.16	o 598
1594.65/1610.34	o 596
1595.05/1610.72	o 594
1595.44/1611.12	o 593
1595.84/1611.54	o 588
1596.23/1611.93	o 586
1597.02/1612.73	o 585
1597.42/1613.13	o 584
1598.21/1613.95	o 583
1598.31/1614.07	o 581
1598.51/1614.23	o 578
1598.91/1614.64	o 574
1599.11/1614.87	o 570
1599.50/1615.27	o 569
1599.90/1615.66	o 566
1602.27/1618.09	o 565
1602.67/1618.50	o 564
1602.87/1618.66	o 558
1603.06/1618.81	o 552
1603.26/1619.04	o 550
1603.46/1619.26	o 544
1603.66/1619.48	o 543
1604.06/1619.87	o 540
1604.45/1620.25	o 539
1604.85/1620.64	o 538
1605.24/1621.05	o 534
1605.34/1621.19	o 527
1605.74/1621.54	o 526
1606.15/1621.93	o 525
1606.93/1622.75	o 523
1607.33/1623.15	o 521
1607.63/1623.44	o 519
1608.02/1623.85	o 518
1608.42/1624.27	o 515
1608.82/1624.66	o 514
1609.01/1624.82	o 510
1609.11/1624.97	o 506
1609.51/1625.33	o 505
1610.30/1626.12	o 504
1611.10/1626.94	o 503
1611.49/1627.36	o 501
1611.89/1627.73	o 498
1612.28/1628.12	o 493
1612.48/1628.38	o 488
1613.67/1629.57	o 487
1614.06/1629.93	o 485
1615.25/1631.15	o 484
1615.55/1631.44	o 481
1616.34/1632.27	o 479
1616.84/1632.70	o 477
1617.04/1632.97	o 471
1617.73/1633.60	o 466
1618.03/1633.98	o 463
1618.42/1634.39	o 457
1618.62/1634.58	o 450
1619.81/1635.79	o 449
1621.09/1637.00	o 448
1621.49/1637.42	o 446
1621.89/1637.83	o 445
1622.28/1638.25	o 444
1622.68/1638.68	o 443
1623.17/1639.12	o 442
1623.57/1639.54	o 440
1623.97/1639.98	o 438
1624.17/1640.19	o 436
1624.66/1640.61	o 433
1625.06/1641.04	o 432
1625.85/1641.86	o 430
1627.13/1643.10	o 429
1627.53/1643.53	o 428
1628.32/1644.37	o 426
1628.82/1644.82	o 425
1628.92/1644.94	o 423
1629.81/1645.81	o 421
1630.11/1646.10	o 419
1631.39/1647.44	o 417
1631.69/1647.76	o 413
1632.58/1648.63	o 412
1633.87/1649.94	o 411
1634.06/1650.12	o 407
1635.35/1651.40	o 406
1635.75/1651.83	o 405
1636.05/1652.18	o 404
1637.33/1653.41	o 403
1638.52/1654.67	o 402
1639.01/1655.10	o 401
1639.51/1655.67	o 399
1640.70/1656.87	o 396
1641.19/1657.31	o 394
1641.49/1657.64	o 388
1643.37/1659.57	o 387
1643.87/1660.00	o 386
1644.46/1660.66	o 385
1644.86/1661.05	o 383
1645.26/1661.42	o 380
1646.45/1662.66	o 379
1648.52/1664.70	o 378
1649.31/1665.57	o 377
1649.71/1666.00	o 371
1649.91/1666.17	o 367
1651.49/1667.79	o 365
1652.28/1668.59	o 364
1653.17/1669.43	o 363
1653.57/1669.86	o 362
1654.66/1670.96	o 360
1656.74/1673.05	o 359
1657.04/1673.37	o 355
1657.34/1673.69	o 354
1658.43/1674.75	o 353
1659.32/1675.65	o 352
1660.61/1676.96	o 351
1661.50/1677.89	o 350
1662.99/1679.31	o 349
1663.39/1679.79	o 348
1663.88/1680.25	o 345
1663.98/1680.39	o 343
1664.97/1681.34	o 342
1665.47/1681.82	o 341
1666.85/1683.25	o 340
1667.34/1683.73	o 338
1668.63/1685.03	o 336
1668.93/1685.36	o 333
1669.92/1686.33	o 332
1671.11/1687.55	o 331
1672.10/1688.54	o 329
1672.40/1688.85	o 328
1672.79/1689.25	o 326
1673.78/1690.20	o 325
1673.78/1690.25	o 322
1676.36/1692.89	o 319
1677.35/1693.84	o 317
1677.55/1694.05	o 314
1678.34/1694.86	o 313
1678.83/1695.33	o 312
1681.11/1697.65	o 311
1681.60/1698.12	o 310
1682.00/1698.59	o 308
1682.20/1698.80	o 306
1683.09/1699.61	o 305
1684.87/1701.50	o 304
1687.15/1703.70	o 303
1691.61/1708.23	o 302
1692.10/1708.70	o 301
1692.70/1709.40	o 300
1694.08/1710.72	o 299
1694.58/1711.20	o 298
1694.88/1711.53	o 296
1695.77/1712.47	o 295
1696.26/1712.95	o 294
1698.34/1715.09	o 293
1699.53/1716.22	o 292
1700.32/1717.02	o 291
1700.72/1717.50	o 289
1701.81/1718.54	o 288
1702.50/1719.23	o 286
1706.66/1723.41	o 285
1707.45/1724.23	o 284
1708.65/1725.49	o 283
1709.04/1725.88	o 282
1711.02/1727.83	o 281
1711.42/1728.29	o 280
1711.92/1728.75	o 279
1713.10/1729.95	o 278
1713.20/1730.05	o 277
1713.70/1730.50	o 276
1714.00/1730.80	o 275
1716.86/1733.74	o 274
1717.56/1734.49	o 273
1717.76/1734.65	o 271
1720.04/1736.91	o 270
1720.43/1737.34	o 269
1721.22/1738.19	o 268
1721.42/1738.31	o 267
1722.51/1739.45	o 266
1723.21/1740.15	o 265
1723.60/1740.57	o 264
1723.80/1740.73	o 261
1724.59/1741.56	o 260
1725.58/1742.54	o 259
1726.37/1743.38	o 258
1726.57/1743.57	o 256
1727.46/1744.41	o 255
1728.65/1745.64	o 252
1730.14/1747.14	o 250
1733.01/1750.10	o 249
1733.11/1750.16	o 246
1733.90/1750.90	o 244
1734.29/1751.30	o 243
1736.47/1753.51	o 242
1737.27/1754.32	o 241
1737.66/1754.74	o 240
1738.06/1755.10	o 235
1738.35/1755.41	o 234
1738.65/1755.77	o 233
1739.24/1756.38	o 232
1741.13/1758.20	o 231
1741.52/1758.61	o 229
1741.82/1758.96	o 227
1742.22/1759.35	o 224
1742.32/1759.44	o 220
1743.50/1760.66	o 219
1743.90/1761.04	o 218
1744.29/1761.45	o 217
1745.48/1762.65	o 216
1745.58/1762.75	o 214
1746.77/1763.96	o 212
1747.07/1764.27	o 211
1747.46/1764.66	o 210
1747.86/1765.04	o 209
1748.55/1765.73	o 208
1748.95/1766.12	o 207
1749.25/1766.43	o 206
1779.65/1797.11	   
1779.65/1797.11	   search
1779.65/1797.11	     run=0  nbConstraintChecks=3431890858  nbAssignments=4336
1779.65/1797.11	       =>  wckTime=1775.481  cpuTime=1758.21  mem=112M59
1779.65/1797.11	   
1779.65/1797.11	   global
1779.65/1797.11	     nbConstraintChecks=3431890858  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1779.65/1797.11	     solvingWckTime=1775.468  solvingCpuTime=1758.2  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1779.65/1797.11	     globalCpuTime=1776.67
1779.65/1797.11	       =>  wckTime=1796.863  cpuTime=1776.62  mem=112M59
1779.65/1797.11	   
1779.65/1797.11	   solver DecomposerSolver being built... 
1789.56/1807.18	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-1112989-1215876461/watcher-1112989-1215876461 -o /tmp/evaluation-result-1112989-1215876461/solver-1112989-1215876461 -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-1112989-1215876461.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.00 2.17 2.37 3/81 16892
/proc/meminfo: memFree=1238976/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=18572 CPUtime=0
/proc/16892/stat : 16892 (runsolver) R 16890 16892 16678 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44348811 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16892/statm: 4643 292 257 25 0 2626 0

[startup+0.056493 s]
/proc/loadavg: 2.00 2.17 2.37 3/81 16892
/proc/meminfo: memFree=1238976/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=863688 CPUtime=0.03
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 2412 0 1 0 2 1 0 0 18 0 9 0 44348811 884416512 1991 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 215922 1991 911 9 0 210901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863688

[startup+0.101536 s]
/proc/loadavg: 2.00 2.17 2.37 3/81 16892
/proc/meminfo: memFree=1238976/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=865984 CPUtime=0.08
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 3688 0 1 0 6 2 0 0 18 0 9 0 44348811 886767616 3163 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216496 3163 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301538 s]
/proc/loadavg: 2.00 2.17 2.37 3/81 16892
/proc/meminfo: memFree=1238976/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=866156 CPUtime=0.28
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 5594 0 1 0 25 3 0 0 18 0 9 0 44348811 886943744 5009 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216539 5009 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701612 s]
/proc/loadavg: 2.00 2.17 2.37 3/81 16892
/proc/meminfo: memFree=1238976/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867028 CPUtime=0.67
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 9372 0 1 0 61 6 0 0 18 0 9 0 44348811 887836672 8743 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216757 8743 1968 9 0 211285 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867028

[startup+1.50275 s]
/proc/loadavg: 2.00 2.17 2.37 3/90 16901
/proc/meminfo: memFree=1198200/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867468 CPUtime=1.46
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 20588 0 1 0 134 12 0 0 18 0 9 0 44348811 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216867 19924 2004 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867468 CPUtime=1.18
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15768 0 1 0 109 9 0 0 25 0 9 0 44348813 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 101444378 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867468 CPUtime=0.08
/proc/16892/task/16895/stat : 16895 (java) S 16890 16892 16678 0 -1 64 3520 0 0 0 7 1 0 0 16 0 9 0 44348814 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867468 CPUtime=0.17
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 604 0 0 0 17 0 0 0 16 0 9 0 44348817 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888287232 19924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867468

[startup+3.10203 s]
/proc/loadavg: 2.00 2.16 2.37 3/90 16901
/proc/meminfo: memFree=1166264/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867468 CPUtime=3.04
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 25132 0 1 0 289 15 0 0 18 0 9 0 44348811 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216867 24466 2004 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867468 CPUtime=2.54
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15772 0 1 0 243 11 0 0 25 0 9 0 44348813 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867468 CPUtime=0.31
/proc/16892/task/16895/stat : 16895 (java) R 16890 16892 16678 0 -1 64 8060 0 0 0 28 3 0 0 16 0 9 0 44348814 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867468 CPUtime=0.17
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 604 0 0 0 17 0 0 0 16 0 9 0 44348817 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888287232 24466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867468

[startup+6.30258 s]
/proc/loadavg: 2.00 2.16 2.37 3/90 16901
/proc/meminfo: memFree=1137912/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867468 CPUtime=6.22
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 29689 0 1 0 603 19 0 0 18 0 9 0 44348811 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216867 29017 2006 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867468 CPUtime=5.39
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15811 0 1 0 527 12 0 0 25 0 9 0 44348813 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4126899884 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867468 CPUtime=0.6
/proc/16892/task/16895/stat : 16895 (java) S 16890 16892 16678 0 -1 64 12557 0 0 0 55 5 0 0 17 0 9 0 44348814 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867468 CPUtime=0.2
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 625 0 0 0 20 0 0 0 15 0 9 0 44348817 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888287232 29017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867468

[startup+12.7017 s]
/proc/loadavg: 2.07 2.17 2.37 3/90 16901
/proc/meminfo: memFree=1129912/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867468 CPUtime=12.55
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 31361 0 1 0 1234 21 0 0 18 0 9 0 44348811 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216867 30684 2007 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867468 CPUtime=11.55
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15818 0 1 0 1141 14 0 0 25 0 9 0 44348813 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4126154690 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867468 CPUtime=0.71
/proc/16892/task/16895/stat : 16895 (java) S 16890 16892 16678 0 -1 64 14178 0 0 0 65 6 0 0 17 0 9 0 44348814 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44348814 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867468 CPUtime=0.26
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 669 0 0 0 26 0 0 0 15 0 9 0 44348817 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867468 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888287232 30684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867468

[startup+25.5029 s]
/proc/loadavg: 2.14 2.18 2.37 3/90 16901
/proc/meminfo: memFree=1064824/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867556 CPUtime=25.23
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 46935 0 1 0 2494 29 0 0 18 0 9 0 44348811 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216889 45932 2640 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867556 CPUtime=22.42
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15889 0 1 0 2227 15 0 0 25 0 9 0 44348813 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4126903229 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867556 CPUtime=2.45
/proc/16892/task/16895/stat : 16895 (java) S 16890 16892 16678 0 -1 64 29652 0 0 0 233 12 0 0 16 0 9 0 44348814 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867556 CPUtime=0.32
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 698 0 0 0 32 0 0 0 15 0 9 0 44348817 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867556

[startup+51.1024 s]
/proc/loadavg: 2.09 2.17 2.36 3/90 16901
/proc/meminfo: memFree=1064824/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867556 CPUtime=50.56
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 46935 0 1 0 5024 32 0 0 18 0 9 0 44348811 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216889 45932 2640 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867556 CPUtime=47.75
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15889 0 1 0 4757 18 0 0 25 0 9 0 44348813 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4127076568 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867556 CPUtime=2.45
/proc/16892/task/16895/stat : 16895 (java) S 16890 16892 16678 0 -1 64 29652 0 0 0 233 12 0 0 16 0 9 0 44348814 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867556 CPUtime=0.32
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 698 0 0 0 32 0 0 0 16 0 9 0 44348817 888377344 45932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867556 CPUtime=0

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

/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867556 CPUtime=0.35
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 712 0 0 0 35 0 0 0 16 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765
Current children cumulated vsize (KiB) 867556

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

[startup+1791.91 s]
/proc/loadavg: 2.09 2.03 2.03 3/90 16901
/proc/meminfo: memFree=1061368/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867556 CPUtime=1774.51
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 46951 0 1 0 177365 86 0 0 18 0 9 0 44348811 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216889 45946 2640 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867556 CPUtime=1771.67
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15891 0 1 0 177095 72 0 0 25 0 9 0 44348813 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4127221821 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867556 CPUtime=2.45
/proc/16892/task/16895/stat : 16895 (java) S 16890 16892 16678 0 -1 64 29652 0 0 0 233 12 0 0 16 0 9 0 44348814 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867556 CPUtime=0.35
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 712 0 0 0 35 0 0 0 16 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888377344 45946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.51
Current children cumulated vsize (KiB) 867556

[startup+1798.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/90 16901
/proc/meminfo: memFree=1051640/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867556 CPUtime=1780.85
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 78859 0 1 0 177984 101 0 0 18 0 9 0 44348811 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216889 77809 2641 9 0 211395 0
[pid=16892/tid=16894] ppid=16890 vsize=867556 CPUtime=1777.52
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15965 0 1 0 177679 73 0 0 25 0 9 0 44348813 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4159717229 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867556 CPUtime=2.92
/proc/16892/task/16895/stat : 16895 (java) S 16890 16892 16678 0 -1 64 61454 0 0 0 266 26 0 0 16 0 9 0 44348814 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 44348814 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867556 CPUtime=0.39
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 731 0 0 0 38 1 0 0 16 0 9 0 44348817 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867556 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888377344 77809 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.85
Current children cumulated vsize (KiB) 867556

[startup+1801.5 s]
/proc/loadavg: 2.08 2.03 2.03 4/90 16901
/proc/meminfo: memFree=478712/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867980 CPUtime=1784.01
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 200932 0 1 0 178248 153 0 0 18 0 9 0 44348811 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216995 199590 2618 9 0 211523 0
[pid=16892/tid=16894] ppid=16890 vsize=867980 CPUtime=1778.04
/proc/16892/task/16894/stat : 16894 (java) R 16890 16892 16678 0 -1 64 15984 0 1 0 177731 73 0 0 25 0 9 0 44348813 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867980 CPUtime=5.54
/proc/16892/task/16895/stat : 16895 (java) R 16890 16892 16678 0 -1 64 183494 0 0 0 476 78 0 0 17 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867980 CPUtime=0.4
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.01
Current children cumulated vsize (KiB) 867980

[startup+1804.7 s]
/proc/loadavg: 2.16 2.04 2.04 3/90 16901
/proc/meminfo: memFree=445432/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867980 CPUtime=1787.19
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 201501 0 1 0 178565 154 0 0 18 0 9 0 44348811 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216995 199590 2618 9 0 211523 0
[pid=16892/tid=16894] ppid=16890 vsize=867980 CPUtime=1778.07
/proc/16892/task/16894/stat : 16894 (java) S 16890 16892 16678 0 -1 64 15986 0 1 0 177734 73 0 0 16 0 9 0 44348813 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867980 CPUtime=8.69
/proc/16892/task/16895/stat : 16895 (java) R 16890 16892 16678 0 -1 64 184061 0 0 0 790 79 0 0 22 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 104181400 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867980 CPUtime=0.4
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1787.19
Current children cumulated vsize (KiB) 867980

[startup+1806.3 s]
/proc/loadavg: 2.14 2.04 2.04 3/90 16901
/proc/meminfo: memFree=445432/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867980 CPUtime=1788.77
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 201690 0 1 0 178723 154 0 0 18 0 9 0 44348811 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216995 199590 2618 9 0 211523 0
[pid=16892/tid=16894] ppid=16890 vsize=867980 CPUtime=1778.07
/proc/16892/task/16894/stat : 16894 (java) S 16890 16892 16678 0 -1 64 15986 0 1 0 177734 73 0 0 16 0 9 0 44348813 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867980 CPUtime=10.27
/proc/16892/task/16895/stat : 16895 (java) R 16890 16892 16678 0 -1 64 184250 0 0 0 948 79 0 0 25 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867980 CPUtime=0.4
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1788.77
Current children cumulated vsize (KiB) 867980

[startup+1807.1 s]
/proc/loadavg: 2.14 2.04 2.04 3/90 16901
/proc/meminfo: memFree=445432/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=867980 CPUtime=1789.56
/proc/16892/stat : 16892 (java) S 16890 16892 16678 0 -1 0 201880 0 1 0 178802 154 0 0 18 0 9 0 44348811 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 216995 199590 2618 9 0 211523 0
[pid=16892/tid=16894] ppid=16890 vsize=867980 CPUtime=1778.07
/proc/16892/task/16894/stat : 16894 (java) S 16890 16892 16678 0 -1 64 15987 0 1 0 177734 73 0 0 17 0 9 0 44348813 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16895] ppid=16890 vsize=867980 CPUtime=11.06
/proc/16892/task/16895/stat : 16895 (java) R 16890 16892 16678 0 -1 64 184439 0 0 0 1027 79 0 0 25 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16896] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16896/stat : 16896 (java) S 16890 16892 16678 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16897] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16897/stat : 16897 (java) S 16890 16892 16678 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44348814 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16898] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16898/stat : 16898 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16899] ppid=16890 vsize=867980 CPUtime=0.4
/proc/16892/task/16899/stat : 16899 (java) S 16890 16892 16678 0 -1 64 740 0 0 0 39 1 0 0 16 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16900] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16900/stat : 16900 (java) S 16890 16892 16678 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16892/tid=16901] ppid=16890 vsize=867980 CPUtime=0
/proc/16892/task/16901/stat : 16901 (java) S 16890 16892 16678 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44348817 888811520 199590 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (KiB) 867980

[startup+1807.31 s]
/proc/loadavg: 2.14 2.04 2.04 3/83 16901
/proc/meminfo: memFree=457592/2055920 swapFree=4192812/4192956
[pid=16892] ppid=16890 vsize=0 CPUtime=1789.75
/proc/16892/stat : 16892 (java) Z 16890 16892 16678 0 -1 12 201888 0 1 0 178811 164 0 0 16 0 2 0 44348811 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16892/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1789.75
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1807.33
CPU time (s): 1789.78
CPU user time (s): 1788.11
CPU system time (s): 1.66775
CPU usage (%): 99.0292
Max. virtual memory (cumulated for all children) (KiB): 867980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.11
system time used= 1.66775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201888
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= 38477
involuntary context switches= 100699

runsolver used 2.6546 second user time and 5.96409 second system time

The end

Launcher Data (download as text)

Begin job on node14 at 2008-07-12 17:27:42
IDJOB=1112989
IDBENCH=61508
IDSOLVER=359
FILE ID=node14/1112989-1215876461
PBS_JOBID= 7903552
Free space on /tmp= 66448 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp23/normalized-fapp23-1800-4.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-1112989-1215876461/watcher-1112989-1215876461 -o /tmp/evaluation-result-1112989-1215876461/solver-1112989-1215876461 -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-1112989-1215876461.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 26fa47e715f58ab849bf125de88d1d96
RANDOM SEED=1505061678

node14.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.270
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.270
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:       1239456 kB
Buffers:         12040 kB
Cached:          58068 kB
SwapCached:          0 kB
Active:         745756 kB
Inactive:        18628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1239456 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10788 kB
Writeback:           0 kB
Mapped:         714460 kB
Slab:            35800 kB
Committed_AS:   969348 kB
PageTables:       3320 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= 66448 MiB
End job on node14 at 2008-07-12 17:57:49