Trace number 1112990

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 1720.88 1729.44

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.02/0.18	
0.02/0.18	Abscon 112 (May, 2008)
0.24/0.41	
0.24/0.41	   configuration
0.24/0.41	     name=mrdac-ddeg.xml
0.24/0.48	   
0.24/0.48	   instance
0.24/0.49	     name=HOME/instance-1112990-1215876481.xml
0.31/0.53	   
0.31/0.53	   domains being loaded...
0.31/0.57	   
0.31/0.57	   variables being loaded...
0.60/0.80	     nbVariables=1800  nbDomainTypes=24  minDomainSize=46  maxDomainSize=302  nbTotalValues=455735
0.60/0.80	       =>  wckTime=0.386  cpuTime=0.25  mem=22M550
0.60/0.80	   
0.60/0.80	   predicates being loaded...
0.60/0.86	   
0.60/0.86	   constraints being loaded...
11.00/11.22	   
11.00/11.22	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 60M117)
19.81/20.03	     nbConstraints=63962  nbConvertedConstraints=487  nbConvertConstraintsChecks=38086656  nbExtensionStructures=424
19.81/20.03	     nbSharedExtensionStructures=123  nbConflictsStructures=2436  nbSharedConflictsStructures=770
19.81/20.03	     nbUnbuiltConflictsStructures=11859  nbSharedBinaryRepresentations=187534  nbEvaluationManagers=13871
19.81/20.03	     nbSharedEvaluationManagers=49604  minDegree=18  maxDegree=93  minArity=2  maxArity=2
19.81/20.03	       =>  wckTime=19.618  cpuTime=17.82  mem=134M910
20.61/20.86	   
20.61/20.86	   solver LocalSearchSolver being built... 
20.71/20.91	       =>  wckTime=20.49  cpuTime=17.86  mem=111M236
21.20/21.48	
21.20/21.48	s SATISFIABLE
21.20/21.48	o 16333
21.40/21.69	o 16316
21.60/21.83	o 16298
21.70/21.97	o 16279
21.80/22.07	o 16265
21.90/22.14	o 16264
22.00/22.23	o 16254
22.00/22.29	o 16239
22.10/22.39	o 16224
22.20/22.49	o 16223
22.30/22.59	o 16213
22.40/22.65	o 16197
22.50/22.73	o 16190
22.50/22.79	o 16186
22.60/22.83	o 16179
22.60/22.89	o 16174
22.69/22.93	o 16170
22.69/22.98	o 16168
22.79/23.05	o 16159
22.89/23.14	o 16153
22.89/23.19	o 16148
23.09/23.36	o 16136
23.19/23.41	o 16125
23.19/23.46	o 16117
23.29/23.54	o 16110
23.39/23.61	o 16107
23.39/23.69	o 16104
23.49/23.73	o 16083
23.59/23.81	o 16080
23.59/23.87	o 16077
23.69/23.95	o 16064
23.79/24.01	o 16055
23.79/24.07	o 16047
23.89/24.13	o 16040
23.89/24.19	o 16034
23.99/24.26	o 16032
24.08/24.33	o 16030
24.08/24.39	o 16029
24.18/24.47	o 16015
24.28/24.53	o 16011
24.28/24.58	o 16008
24.39/24.64	o 15994
24.49/24.72	o 15988
24.49/24.77	o 15970
24.59/24.85	o 15954
24.69/24.91	o 15937
24.69/24.96	o 15926
24.69/24.99	o 15920
24.79/25.05	o 15918
24.89/25.11	o 15917
24.89/25.18	o 15909
24.99/25.25	o 15901
25.09/25.32	o 15896
25.09/25.39	o 15893
25.18/25.44	o 15891
25.18/25.50	o 15883
25.28/25.57	o 15879
25.38/25.63	o 15873
25.38/25.69	o 15872
25.48/25.76	o 15865
25.58/25.81	o 15857
25.58/25.87	o 15852
25.68/25.92	o 15850
25.68/25.98	o 15846
25.78/26.05	o 15842
25.88/26.12	o 15840
25.88/26.19	o 15838
25.98/26.24	o 15835
26.08/26.31	o 15831
26.08/26.37	o 15819
26.18/26.44	o 15817
26.27/26.51	o 15812
26.27/26.58	o 15803
26.37/26.64	o 15794
26.47/26.72	o 15786
26.47/26.76	o 15779
26.57/26.82	o 15777
26.57/26.88	o 15772
26.67/26.96	o 15764
26.77/27.02	o 15760
26.77/27.08	o 15759
26.87/27.15	o 15758
26.97/27.21	o 15747
26.97/27.26	o 15738
27.07/27.35	o 15724
27.17/27.43	o 15707
27.27/27.51	o 15689
27.27/27.58	o 15674
27.36/27.64	o 15670
27.46/27.76	o 15668
27.56/27.81	o 15666
27.56/27.87	o 15657
27.66/27.94	o 15652
27.66/27.99	o 15649
27.76/28.06	o 15644
27.86/28.15	o 15639
28.06/28.30	o 15635
28.06/28.40	o 15628
28.16/28.47	o 15621
28.26/28.56	o 15619
28.36/28.63	o 15602
28.36/28.69	o 15595
28.46/28.74	o 15585
28.56/28.83	o 15571
28.66/28.91	o 15567
28.66/28.96	o 15566
28.76/29.02	o 15556
28.76/29.07	o 15554
28.86/29.14	o 15546
28.96/29.21	o 15542
29.05/29.31	o 15539
29.05/29.37	o 15537
29.15/29.44	o 15532
29.25/29.52	o 15530
29.35/29.61	o 15518
29.45/29.71	o 15510
29.45/29.79	o 15501
29.55/29.89	o 15499
29.65/29.97	o 15497
29.75/30.06	o 15495
29.85/30.15	o 15485
29.95/30.23	o 15484
30.05/30.31	o 15477
30.15/30.40	o 15468
30.15/30.49	o 15457
30.24/30.56	o 15454
30.34/30.64	o 15452
30.44/30.73	o 15451
30.54/30.82	o 15444
30.54/30.89	o 15437
30.74/31.04	o 15429
30.93/31.21	o 15421
31.13/31.41	o 15420
31.23/31.52	o 15414
31.53/31.85	o 15413
31.63/31.97	o 15410
31.93/32.20	o 15407
31.93/32.29	o 15403
32.12/32.43	o 15398
32.23/32.54	o 15390
32.33/32.62	o 15381
32.43/32.73	o 15369
32.53/32.82	o 15368
32.63/32.91	o 15366
32.63/32.98	o 15356
32.73/33.03	o 15350
32.83/33.12	o 15345
32.93/33.20	o 15336
32.93/33.28	o 15331
33.13/33.40	o 15327
33.13/33.48	o 15319
33.22/33.56	o 15311
33.32/33.67	o 15309
33.42/33.76	o 15297
33.52/33.84	o 15284
33.62/33.92	o 15269
33.62/33.98	o 15262
33.72/34.09	o 15258
33.82/34.16	o 15246
34.02/34.38	o 15244
34.12/34.49	o 15231
34.22/34.56	o 15219
34.32/34.64	o 15212
34.42/34.73	o 15197
34.52/34.86	o 15191
34.71/35.01	o 15184
34.81/35.13	o 15178
34.91/35.28	o 15175
35.11/35.41	o 15171
35.21/35.54	o 15157
35.31/35.68	o 15145
35.41/35.80	o 15134
35.61/35.93	o 15127
35.71/36.06	o 15124
35.91/36.21	o 15121
36.01/36.32	o 15119
36.10/36.43	o 15107
36.40/36.71	o 15101
36.50/36.88	o 15089
36.80/37.16	o 15082
37.00/37.33	o 15072
37.10/37.48	o 15063
37.30/37.61	o 15060
37.40/37.76	o 15053
37.59/37.93	o 15051
37.89/38.22	o 15043
37.99/38.35	o 15035
38.09/38.49	o 15021
38.29/38.62	o 15009
38.39/38.77	o 15001
38.69/39.02	o 14996
38.80/39.17	o 14992
38.90/39.29	o 14989
39.10/39.42	o 14979
39.19/39.58	o 14978
39.39/39.71	o 14974
39.49/39.84	o 14965
39.59/39.96	o 14957
39.69/40.09	o 14949
39.99/40.36	o 14946
40.09/40.48	o 14935
40.29/40.63	o 14932
40.39/40.75	o 14927
40.48/40.85	o 14920
40.58/40.97	o 14913
40.68/41.10	o 14906
40.88/41.25	o 14892
40.98/41.37	o 14886
41.18/41.52	o 14870
41.28/41.67	o 14860
41.38/41.79	o 14849
41.57/41.91	o 14839
41.87/42.22	o 14837
42.07/42.40	o 14835
42.17/42.54	o 14830
42.37/42.72	o 14819
42.57/42.90	o 14809
42.66/43.06	o 14798
42.86/43.20	o 14785
42.96/43.38	o 14783
43.16/43.54	o 14771
43.46/43.83	o 14766
43.56/43.97	o 14759
43.76/44.16	o 14750
43.96/44.33	o 14741
44.06/44.48	o 14730
44.26/44.65	o 14729
44.56/44.95	o 14720
44.66/45.08	o 14719
44.85/45.25	o 14710
45.05/45.41	o 14703
45.15/45.54	o 14701
45.25/45.68	o 14688
45.45/45.83	o 14677
45.55/45.95	o 14664
45.65/46.09	o 14657
45.85/46.23	o 14654
45.95/46.37	o 14651
46.14/46.58	o 14650
46.34/46.76	o 14646
46.54/46.92	o 14635
46.84/47.24	o 14632
47.13/47.55	o 14631
47.23/47.70	o 14624
47.43/47.84	o 14618
47.53/47.97	o 14612
47.84/48.28	o 14604
48.24/48.65	o 14597
48.44/48.83	o 14591
48.64/49.02	o 14575
48.84/49.23	o 14567
49.04/49.43	o 14566
49.23/49.62	o 14562
49.43/49.81	o 14545
49.63/50.02	o 14544
49.73/50.19	o 14536
50.13/50.52	o 14534
50.33/50.73	o 14532
50.53/50.93	o 14530
50.92/51.31	o 14521
51.12/51.50	o 14516
51.32/51.73	o 14513
51.52/51.93	o 14507
51.72/52.11	o 14493
52.32/52.72	o 14489
52.42/52.88	o 14488
52.61/53.09	o 14478
52.81/53.30	o 14466
53.11/53.53	o 14460
53.31/53.75	o 14455
53.51/53.95	o 14453
53.91/54.37	o 14436
54.11/54.55	o 14431
54.31/54.74	o 14423
54.51/54.94	o 14416
54.70/55.15	o 14408
54.90/55.35	o 14402
55.30/55.73	o 14397
55.50/55.93	o 14394
55.70/56.11	o 14390
55.79/56.30	o 14387
55.99/56.50	o 14384
56.29/56.70	o 14381
56.59/57.04	o 14379
56.79/57.26	o 14372
56.99/57.47	o 14365
57.19/57.66	o 14354
57.39/57.85	o 14353
57.59/58.03	o 14345
57.79/58.24	o 14336
57.98/58.43	o 14334
58.18/58.61	o 14329
58.38/58.82	o 14318
58.78/59.21	o 14315
58.98/59.42	o 14314
59.18/59.61	o 14310
59.38/59.81	o 14300
59.57/60.02	o 14291
59.77/60.23	o 14287
59.97/60.43	o 14285
60.17/60.67	o 14282
60.47/60.92	o 14268
60.87/61.35	o 14266
61.17/61.61	o 14259
61.56/62.05	o 14257
61.76/62.29	o 14256
62.06/62.52	o 14249
62.26/62.78	o 14247
62.56/63.00	o 14241
62.76/63.24	o 14235
62.96/63.49	o 14226
63.26/63.76	o 14225
63.45/63.98	o 14221
63.75/64.23	o 14216
64.05/64.50	o 14207
64.26/64.74	o 14206
64.56/65.01	o 14202
65.06/65.50	o 14195
65.26/65.71	o 14192
65.46/65.98	o 14186
65.95/66.46	o 14180
66.15/66.70	o 14177
66.45/66.96	o 14173
66.75/67.22	o 14168
67.04/67.50	o 14165
67.25/67.76	o 14152
67.55/68.06	o 14146
67.84/68.32	o 14137
68.04/68.59	o 14128
68.34/68.85	o 14126
68.64/69.13	o 14120
68.84/69.38	o 14116
69.34/69.87	o 14105
69.64/70.13	o 14102
69.84/70.38	o 14088
70.13/70.63	o 14076
70.33/70.87	o 14069
70.63/71.11	o 14056
70.83/71.33	o 14047
71.03/71.54	o 14034
71.22/71.76	o 14021
71.42/71.98	o 14013
71.92/72.43	o 14007
72.12/72.67	o 13997
72.31/72.90	o 13989
72.61/73.11	o 13984
72.81/73.33	o 13983
73.01/73.54	o 13980
73.21/73.77	o 13971
73.41/73.98	o 13960
73.61/74.19	o 13953
73.91/74.40	o 13952
74.11/74.63	o 13951
74.30/74.85	o 13940
74.50/75.04	o 13935
74.70/75.21	o 13933
75.60/76.19	o 13928
76.49/77.06	o 13927
76.69/77.27	o 13919
77.09/77.67	o 13906
77.29/77.88	o 13901
77.58/78.13	o 13896
77.78/78.32	o 13895
77.98/78.53	o 13893
78.18/78.72	o 13876
78.38/78.91	o 13868
78.58/79.12	o 13865
78.77/79.34	o 13849
79.17/79.74	o 13843
79.47/80.00	o 13840
79.67/80.23	o 13836
80.16/80.70	o 13827
80.26/80.90	o 13825
81.26/81.88	o 13823
81.56/82.12	o 13819
81.76/82.36	o 13811
82.05/82.60	o 13810
82.25/82.82	o 13804
82.45/83.05	o 13794
82.65/83.29	o 13786
82.95/83.58	o 13777
83.25/83.84	o 13770
83.55/84.11	o 13758
83.75/84.36	o 13745
84.05/84.61	o 13739
84.54/85.17	o 13733
84.84/85.41	o 13720
85.04/85.65	o 13714
85.34/85.91	o 13710
85.54/86.14	o 13705
85.74/86.38	o 13698
85.93/86.60	o 13686
86.23/86.85	o 13684
86.43/87.07	o 13679
86.73/87.31	o 13672
86.93/87.56	o 13666
87.13/87.79	o 13657
87.43/88.02	o 13648
87.62/88.24	o 13646
87.82/88.48	o 13636
88.12/88.75	o 13627
88.42/89.02	o 13621
88.61/89.28	o 13617
88.91/89.51	o 13611
89.11/89.79	o 13610
89.41/90.03	o 13608
89.71/90.32	o 13603
89.91/90.55	o 13595
90.11/90.79	o 13592
90.41/91.02	o 13591
90.61/91.28	o 13579
91.71/92.34	o 13578
92.01/92.60	o 13571
92.20/92.89	o 13566
92.50/93.19	o 13562
92.80/93.48	o 13560
93.20/93.82	o 13552
93.50/94.10	o 13538
93.80/94.40	o 13535
94.39/95.03	o 13533
94.69/95.36	o 13527
95.09/95.73	o 13526
95.39/96.08	o 13522
95.79/96.42	o 13512
96.09/96.76	o 13503
96.38/97.09	o 13492
96.78/97.41	o 13485
97.08/97.74	o 13476
97.38/98.05	o 13475
97.68/98.37	o 13473
97.98/98.66	o 13466
98.57/99.28	o 13455
99.17/99.90	o 13454
99.47/100.18	o 13438
99.76/100.49	o 13430
100.06/100.79	o 13418
100.36/101.07	o 13416
100.65/101.35	o 13406
100.95/101.64	o 13397
101.55/102.27	o 13392
101.95/102.61	o 13386
102.25/102.92	o 13384
102.55/103.22	o 13371
102.84/103.55	o 13365
103.44/104.14	o 13358
103.74/104.45	o 13357
104.04/104.72	o 13354
104.24/105.00	o 13345
104.54/105.28	o 13332
104.84/105.55	o 13327
105.13/105.85	o 13319
105.43/106.19	o 13313
105.83/106.53	o 13309
106.12/106.83	o 13303
106.42/107.16	o 13295
106.72/107.46	o 13291
107.02/107.78	o 13279
107.32/108.10	o 13277
107.72/108.42	o 13274
108.02/108.76	o 13272
108.41/109.11	o 13271
108.72/109.42	o 13268
109.02/109.74	o 13258
109.32/110.09	o 13247
109.71/110.46	o 13244
110.11/110.80	o 13236
110.41/111.18	o 13228
111.11/111.86	o 13220
112.10/112.87	o 13219
112.40/113.19	o 13212
113.79/114.58	o 13208
114.19/114.90	o 13197
114.49/115.26	o 13188
114.79/115.59	o 13185
115.18/115.94	o 13183
116.88/117.62	o 13172
117.17/117.96	o 13160
117.57/118.31	o 13153
118.17/118.98	o 13145
118.57/119.34	o 13141
118.87/119.64	o 13130
119.16/119.95	o 13124
119.56/120.30	o 13117
120.16/120.94	o 13116
120.45/121.29	o 13110
120.85/121.62	o 13107
121.15/121.93	o 13100
121.54/122.30	o 13091
121.84/122.63	o 13078
122.44/123.28	o 13072
122.73/123.58	o 13065
123.13/123.91	o 13060
123.43/124.24	o 13050
124.33/125.15	o 13045
124.63/125.44	o 13044
124.93/125.75	o 13036
125.23/126.06	o 13028
125.53/126.35	o 13017
125.91/126.70	o 13013
126.11/126.99	o 13005
126.41/127.28	o 13001
126.81/127.62	o 12996
127.11/127.96	o 12991
127.40/128.27	o 12983
127.70/128.59	o 12981
128.10/128.90	o 12975
128.30/129.18	o 12964
129.00/129.82	o 12963
129.60/130.43	o 12955
131.08/131.96	o 12951
131.39/132.26	o 12949
131.69/132.56	o 12938
132.27/133.17	o 12936
132.97/133.83	o 12932
133.27/134.12	o 12923
133.56/134.46	o 12912
133.85/134.79	o 12906
134.15/135.08	o 12900
134.45/135.39	o 12898
134.75/135.69	o 12888
135.45/136.33	o 12886
135.74/136.68	o 12876
136.44/137.32	o 12866
136.74/137.65	o 12856
137.04/137.96	o 12850
137.44/138.32	o 12841
137.74/138.64	o 12836
138.03/138.93	o 12832
138.33/139.25	o 12829
138.73/139.60	o 12824
139.03/139.95	o 12820
139.32/140.29	o 12816
139.72/140.62	o 12806
140.02/140.96	o 12804
140.33/141.29	o 12799
140.73/141.62	o 12794
141.02/141.94	o 12790
141.32/142.27	o 12785
141.72/142.61	o 12768
142.02/142.92	o 12763
142.31/143.26	o 12756
142.61/143.56	o 12755
143.01/143.90	o 12751
143.31/144.26	o 12746
143.61/144.57	o 12738
143.90/144.87	o 12737
144.20/145.18	o 12728
144.79/145.79	o 12722
145.10/146.09	o 12717
145.49/146.45	o 12716
145.79/146.75	o 12708
146.09/147.03	o 12702
146.39/147.33	o 12695
146.68/147.63	o 12690
146.98/147.91	o 12684
147.27/148.21	o 12679
147.48/148.48	o 12675
147.77/148.79	o 12664
148.17/149.16	o 12653
148.47/149.50	o 12645
149.26/150.21	o 12640
149.56/150.58	o 12638
149.96/150.98	o 12634
150.76/151.79	o 12631
151.15/152.15	o 12624
151.95/152.90	o 12612
152.25/153.28	o 12602
152.64/153.65	o 12601
152.95/154.00	o 12591
153.74/154.70	o 12590
154.44/155.44	o 12587
154.83/155.82	o 12584
155.14/156.18	o 12581
155.53/156.56	o 12573
155.93/156.95	o 12571
156.23/157.30	o 12568
156.63/157.68	o 12559
157.02/158.04	o 12550
157.33/158.40	o 12542
157.72/158.76	o 12532
158.11/159.12	o 12525
158.42/159.46	o 12519
158.71/159.80	o 12511
159.10/160.17	o 12507
159.51/160.51	o 12496
159.80/160.83	o 12486
160.10/161.19	o 12478
160.50/161.52	o 12475
160.80/161.83	o 12470
161.10/162.15	o 12461
161.39/162.49	o 12453
161.80/162.82	o 12440
162.09/163.16	o 12429
162.39/163.49	o 12428
162.79/163.81	o 12422
163.09/164.14	o 12421
163.39/164.48	o 12414
163.79/164.85	o 12401
164.18/165.22	o 12394
164.88/165.94	o 12388
165.17/166.28	o 12380
165.57/166.62	o 12371
165.87/166.99	o 12367
167.27/168.39	o 12363
167.66/168.74	o 12356
168.36/169.44	o 12350
169.46/170.52	o 12347
169.75/170.82	o 12345
170.35/171.50	o 12344
170.75/171.83	o 12339
171.14/172.24	o 12336
171.44/172.60	o 12323
171.84/172.96	o 12312
172.24/173.30	o 12309
172.83/173.99	o 12306
173.53/174.66	o 12304
174.23/175.34	o 12303
174.52/175.69	o 12297
174.92/176.08	o 12293
175.32/176.45	o 12290
175.61/176.74	o 12279
176.02/177.14	o 12268
176.32/177.49	o 12263
176.72/177.88	o 12256
177.12/178.25	o 12244
177.51/178.61	o 12241
178.21/179.36	o 12234
179.79/180.94	o 12232
180.19/181.34	o 12221
180.59/181.72	o 12219
181.29/182.46	o 12214
181.69/182.86	o 12205
182.08/183.27	o 12202
182.48/183.66	o 12200
183.68/184.85	o 12192
184.08/185.24	o 12187
184.47/185.64	o 12186
184.87/186.04	o 12182
185.67/186.81	o 12178
186.07/187.20	o 12173
186.36/187.60	o 12170
186.76/187.99	o 12169
187.16/188.38	o 12167
187.56/188.78	o 12158
187.96/189.18	o 12151
188.36/189.55	o 12145
188.75/189.99	o 12139
189.15/190.39	o 12135
189.55/190.79	o 12132
189.94/191.15	o 12121
190.34/191.55	o 12113
191.04/192.29	o 12112
191.44/192.68	o 12107
191.83/193.08	o 12098
192.33/193.51	o 12094
192.63/193.89	o 12088
193.12/194.31	o 12086
193.53/194.70	o 12080
193.92/195.12	o 12079
195.11/196.30	o 12074
195.51/196.73	o 12069
195.91/197.17	o 12062
197.20/198.41	o 12061
197.60/198.83	o 12055
198.00/199.29	o 12049
198.50/199.72	o 12040
198.90/200.18	o 12039
199.29/200.59	o 12031
199.78/201.00	o 12030
200.18/201.42	o 12028
200.58/201.87	o 12017
200.98/202.28	o 12005
201.87/203.11	o 12000
202.28/203.51	o 11997
202.67/203.91	o 11992
203.08/204.31	o 11986
203.87/205.19	o 11982
204.27/205.59	o 11973
204.67/205.99	o 11966
205.16/206.47	o 11961
205.57/206.89	o 11956
206.06/207.35	o 11952
206.46/207.75	o 11946
206.96/208.20	o 11938
207.35/208.61	o 11932
207.65/209.00	o 11922
208.05/209.38	o 11918
208.44/209.78	o 11908
208.85/210.19	o 11904
209.34/210.61	o 11900
210.14/211.43	o 11894
210.53/211.85	o 11891
210.94/212.28	o 11883
211.33/212.68	o 11877
211.83/213.13	o 11867
212.23/213.55	o 11858
213.52/214.87	o 11857
214.41/215.76	o 11853
215.71/217.02	o 11849
216.50/217.85	o 11843
216.90/218.26	o 11835
217.29/218.69	o 11831
217.79/219.17	o 11829
218.29/219.61	o 11827
218.69/220.06	o 11822
219.19/220.50	o 11812
219.49/220.87	o 11810
220.38/221.73	o 11805
220.79/222.14	o 11803
221.18/222.59	o 11802
221.58/222.99	o 11796
221.98/223.40	o 11788
222.47/223.81	o 11785
222.87/224.25	o 11776
223.27/224.68	o 11769
223.76/225.11	o 11766
224.17/225.55	o 11765
224.66/226.01	o 11754
225.06/226.47	o 11751
225.56/226.91	o 11740
225.95/227.36	o 11734
226.45/227.82	o 11728
227.35/228.80	o 11726
227.84/229.27	o 11722
228.34/229.76	o 11720
228.84/230.24	o 11716
229.34/230.76	o 11706
230.83/232.23	o 11705
232.92/234.31	o 11696
233.41/234.88	o 11689
234.02/235.44	o 11688
234.61/236.01	o 11680
235.21/236.60	o 11670
235.70/237.16	o 11663
236.90/238.34	o 11658
237.50/238.90	o 11651
238.58/240.03	o 11645
239.08/240.57	o 11640
239.68/241.12	o 11629
240.18/241.68	o 11626
240.78/242.24	o 11617
241.37/242.80	o 11611
241.87/243.35	o 11608
242.37/243.89	o 11607
242.96/244.45	o 11602
243.46/244.99	o 11590
244.05/245.55	o 11587
245.15/246.66	o 11580
245.64/247.18	o 11573
246.14/247.67	o 11563
247.24/248.70	o 11560
247.73/249.22	o 11558
248.24/249.71	o 11551
248.74/250.25	o 11548
249.24/250.74	o 11541
249.74/251.24	o 11533
250.23/251.75	o 11530
250.73/252.27	o 11524
251.22/252.79	o 11520
251.82/253.33	o 11516
252.42/253.90	o 11513
252.92/254.42	o 11512
253.41/254.93	o 11504
253.91/255.46	o 11500
254.40/255.99	o 11499
255.00/256.52	o 11498
255.50/257.06	o 11493
256.49/258.05	o 11492
257.00/258.57	o 11491
257.49/259.04	o 11489
257.99/259.54	o 11487
258.49/260.05	o 11479
259.47/261.09	o 11474
260.07/261.62	o 11467
260.57/262.12	o 11460
261.07/262.63	o 11450
261.57/263.14	o 11448
262.06/263.61	o 11446
262.56/264.18	o 11437
263.65/265.25	o 11433
264.24/265.81	o 11423
264.74/266.33	o 11412
265.24/266.89	o 11409
265.84/267.46	o 11408
266.44/268.00	o 11403
266.94/268.54	o 11400
267.44/269.07	o 11398
268.04/269.61	o 11388
268.53/270.16	o 11386
269.04/270.69	o 11379
269.63/271.23	o 11373
270.22/271.81	o 11367
270.72/272.36	o 11365
271.22/272.88	o 11363
271.81/273.43	o 11357
272.32/273.99	o 11350
274.09/275.71	o 11344
274.59/276.27	o 11337
275.79/277.40	o 11332
276.28/277.95	o 11322
276.78/278.49	o 11312
277.38/279.08	o 11310
277.98/279.68	o 11306
278.57/280.26	o 11305
279.17/280.87	o 11297
279.66/281.35	o 11285
280.26/281.91	o 11283
280.86/282.52	o 11277
281.36/283.05	o 11272
281.95/283.61	o 11268
282.45/284.18	o 11266
283.05/284.74	o 11262
283.55/285.29	o 11254
284.15/285.86	o 11251
284.75/286.43	o 11248
285.24/286.97	o 11241
285.74/287.47	o 11239
286.33/288.03	o 11230
286.83/288.55	o 11222
287.33/289.10	o 11218
287.93/289.62	o 11210
288.42/290.18	o 11204
289.02/290.75	o 11198
289.52/291.29	o 11190
290.12/291.81	o 11188
290.71/292.40	o 11184
292.10/294.04	o 11179
292.77/294.59	o 11177
293.37/295.14	o 11176
293.86/295.69	o 11174
294.46/296.24	o 11171
295.46/297.29	o 11163
296.05/297.80	o 11159
296.55/298.32	o 11147
297.55/299.36	o 11146
298.04/299.89	o 11141
298.64/300.41	o 11140
299.13/300.95	o 11133
299.63/301.49	o 11128
301.22/303.05	o 11122
301.71/303.58	o 11116
302.21/304.10	o 11112
303.31/305.14	o 11105
303.81/305.63	o 11101
304.30/306.13	o 11099
305.40/307.27	o 11095
305.99/307.83	o 11091
306.60/308.47	o 11082
307.19/309.01	o 11076
307.69/309.58	o 11075
308.28/310.11	o 11071
308.78/310.66	o 11064
309.38/311.27	o 11054
311.66/313.60	o 11049
312.86/314.74	o 11048
313.96/315.90	o 11041
314.56/316.48	o 11034
315.15/317.07	o 11030
315.75/317.66	o 11027
316.34/318.22	o 11026
317.43/319.32	o 11024
318.03/319.92	o 11020
318.53/320.48	o 11011
319.12/321.03	o 11009
320.22/322.14	o 11000
320.82/322.73	o 10994
321.91/323.85	o 10989
323.01/324.95	o 10984
324.20/326.13	o 10977
325.30/327.25	o 10970
326.39/328.35	o 10968
326.89/328.90	o 10963
327.49/329.46	o 10959
328.08/330.02	o 10955
328.58/330.58	o 10946
329.18/331.16	o 10945
329.77/331.72	o 10941
330.27/332.23	o 10937
330.77/332.75	o 10936
331.26/333.28	o 10929
331.86/333.81	o 10922
332.36/334.34	o 10919
333.95/335.93	o 10917
334.45/336.45	o 10906
339.13/341.12	o 10902
340.12/342.19	o 10898
342.20/344.20	o 10894
342.70/344.74	o 10885
343.20/345.24	o 10875
343.70/345.76	o 10866
345.38/347.44	o 10863
345.98/348.00	o 10859
346.48/348.54	o 10852
347.08/349.11	o 10850
347.57/349.68	o 10848
348.77/350.80	o 10841
349.17/351.26	o 10837
349.66/351.80	o 10832
350.26/352.33	o 10829
351.36/353.41	o 10826
351.85/353.94	o 10812
352.35/354.45	o 10806
352.85/354.98	o 10804
353.35/355.48	o 10798
354.34/356.49	o 10795
354.84/356.98	o 10787
355.33/357.48	o 10780
355.83/357.98	o 10770
356.42/358.56	o 10769
357.52/359.61	o 10763
358.03/360.17	o 10759
358.61/360.70	o 10758
361.20/363.30	o 10749
361.69/363.83	o 10746
362.20/364.34	o 10741
362.70/364.88	o 10735
363.19/365.36	o 10730
363.69/365.87	o 10724
364.18/366.39	o 10718
364.69/366.88	o 10712
365.18/367.35	o 10708
365.58/367.75	o 10705
366.58/368.71	o 10696
367.07/369.21	o 10687
367.47/369.67	o 10686
367.97/370.16	o 10681
368.96/371.13	o 10677
369.36/371.56	o 10672
369.86/372.06	o 10663
370.36/372.53	o 10655
370.75/372.98	o 10651
371.25/373.42	o 10643
371.64/373.89	o 10637
372.14/374.33	o 10634
373.04/375.23	o 10627
373.53/375.75	o 10620
374.03/376.22	o 10609
374.43/376.69	o 10599
374.93/377.17	o 10591
376.43/378.63	o 10589
376.93/379.16	o 10587
377.91/380.14	o 10585
378.31/380.59	o 10584
379.30/381.56	o 10577
379.80/382.02	o 10571
380.20/382.49	o 10568
380.70/382.97	o 10561
381.19/383.42	o 10557
381.59/383.88	o 10549
382.09/384.32	o 10543
382.59/384.80	o 10538
383.09/385.32	o 10533
383.58/385.81	o 10527
384.48/386.77	o 10525
384.98/387.22	o 10522
385.38/387.69	o 10515
385.87/388.19	o 10505
386.37/388.68	o 10504
386.87/389.14	o 10499
387.37/389.62	o 10488
387.87/390.11	o 10487
388.26/390.56	o 10478
388.76/391.06	o 10472
389.75/392.04	o 10461
390.25/392.55	o 10453
390.75/393.03	o 10451
391.24/393.53	o 10448
392.14/394.49	o 10442
392.64/394.99	o 10440
393.13/395.45	o 10437
393.64/395.92	o 10430
394.03/396.38	o 10423
394.53/396.83	o 10421
394.93/397.29	o 10417
395.42/397.72	o 10410
395.82/398.19	o 10405
396.82/399.12	o 10398
397.21/399.57	o 10394
397.71/400.02	o 10390
398.21/400.51	o 10388
398.60/400.92	o 10384
399.00/401.38	o 10380
399.50/401.83	o 10377
399.90/402.30	o 10371
400.39/402.76	o 10362
400.79/403.19	o 10361
401.29/403.63	o 10358
401.68/404.07	o 10353
402.18/404.50	o 10344
402.58/404.96	o 10340
403.96/406.35	o 10333
404.47/406.81	o 10327
404.87/407.24	o 10321
405.76/408.14	o 10307
406.66/409.04	o 10296
407.15/409.51	o 10286
407.55/409.92	o 10281
407.95/410.37	o 10275
408.45/410.84	o 10273
408.84/411.26	o 10272
409.34/411.71	o 10269
409.74/412.18	o 10267
410.24/412.61	o 10266
410.63/413.06	o 10264
411.03/413.50	o 10261
411.93/414.36	o 10256
412.33/414.76	o 10252
412.72/415.19	o 10249
414.01/416.49	o 10246
414.91/417.37	o 10236
415.31/417.79	o 10230
415.81/418.27	o 10224
416.30/418.72	o 10217
416.70/419.14	o 10212
417.20/419.61	o 10207
417.60/420.02	o 10202
418.00/420.44	o 10193
418.39/420.87	o 10184
419.69/422.18	o 10180
420.09/422.58	o 10170
420.58/423.02	o 10166
421.08/423.51	o 10161
421.57/424.00	o 10158
421.97/424.46	o 10156
422.47/424.97	o 10151
422.97/425.48	o 10145
423.56/426.01	o 10137
424.06/426.51	o 10133
425.46/427.93	o 10122
426.45/428.94	o 10120
426.95/429.42	o 10117
427.44/429.91	o 10111
427.94/430.40	o 10107
428.43/430.90	o 10098
428.83/431.40	o 10091
429.33/431.86	o 10086
429.83/432.33	o 10073
430.72/433.23	o 10071
431.12/433.67	o 10066
431.61/434.14	o 10063
432.01/434.59	o 10055
432.52/435.08	o 10051
433.02/435.55	o 10043
433.51/436.04	o 10042
434.01/436.50	o 10037
434.90/437.45	o 10032
435.40/437.95	o 10031
435.80/438.30	o 10024
436.20/438.79	o 10019
436.69/439.24	o 10015
437.19/439.74	o 10010
437.69/440.23	o 10008
438.08/440.69	o 10004
438.58/441.13	o 10002
438.98/441.59	o 9998
439.47/442.07	o 9996
439.97/442.53	o 9994
440.37/442.99	o 9991
440.87/443.44	o 9990
441.36/443.90	o 9985
441.76/444.38	o 9980
442.26/444.82	o 9974
442.66/445.25	o 9969
443.45/446.06	o 9964
443.95/446.51	o 9963
444.34/446.92	o 9951
444.74/447.36	o 9950
445.14/447.77	o 9943
445.54/448.19	o 9929
446.04/448.64	o 9926
446.44/449.09	o 9922
446.84/449.49	o 9919
447.34/449.95	o 9913
447.83/450.40	o 9909
448.22/450.82	o 9897
449.12/451.71	o 9892
449.52/452.18	o 9888
450.01/452.62	o 9886
450.41/453.08	o 9878
450.91/453.51	o 9873
451.31/453.94	o 9865
451.71/454.40	o 9853
452.71/455.30	o 9850
453.10/455.75	o 9848
454.00/456.65	o 9846
454.40/457.08	o 9838
454.89/457.51	o 9834
455.29/457.96	o 9826
455.79/458.41	o 9815
456.19/458.87	o 9810
457.08/459.74	o 9803
457.98/460.61	o 9800
458.38/461.03	o 9795
458.77/461.45	o 9785
459.17/461.85	o 9773
459.57/462.29	o 9768
460.07/462.71	o 9764
460.86/463.59	o 9763
461.36/464.06	o 9753
461.85/464.50	o 9743
462.25/464.96	o 9738
462.75/465.45	o 9731
463.24/465.92	o 9726
463.64/466.35	o 9718
464.13/466.84	o 9717
464.63/467.36	o 9714
465.12/467.85	o 9709
465.62/468.32	o 9705
466.02/468.80	o 9703
466.52/469.27	o 9699
467.91/470.65	o 9694
468.41/471.12	o 9692
468.81/471.59	o 9688
469.31/472.07	o 9680
470.70/473.47	o 9675
471.20/473.93	o 9671
471.69/474.42	o 9667
472.69/475.42	o 9664
473.18/475.90	o 9653
474.08/476.86	o 9651
475.47/478.28	o 9643
475.87/478.65	o 9642
476.17/479.00	o 9637
477.06/479.85	o 9629
477.56/480.30	o 9627
477.96/480.70	o 9617
478.35/481.13	o 9610
478.75/481.59	o 9606
479.64/482.48	o 9597
480.94/483.79	o 9594
481.34/484.19	o 9588
481.83/484.60	o 9582
482.23/485.03	o 9577
482.73/485.50	o 9573
483.03/485.86	o 9571
483.42/486.30	o 9565
483.92/486.77	o 9557
484.32/487.20	o 9547
484.82/487.65	o 9542
485.32/488.11	o 9537
485.72/488.53	o 9535
487.31/490.17	o 9529
487.81/490.61	o 9528
488.20/491.03	o 9526
488.59/491.48	o 9522
488.89/491.72	o 9516
489.29/492.11	o 9511
490.09/492.91	o 9504
490.48/493.35	o 9496
490.88/493.79	o 9491
491.37/494.22	o 9486
491.77/494.66	o 9475
492.18/495.09	o 9467
492.68/495.54	o 9460
493.08/495.96	o 9450
493.48/496.38	o 9442
493.97/496.82	o 9440
494.37/497.29	o 9437
494.87/497.74	o 9433
495.37/498.22	o 9425
495.76/498.67	o 9418
496.16/499.08	o 9413
496.66/499.53	o 9404
497.05/499.91	o 9398
497.45/500.33	o 9390
498.35/501.25	o 9387
498.75/501.69	o 9380
499.24/502.16	o 9368
499.64/502.56	o 9367
500.12/503.04	o 9365
501.01/503.94	o 9361
501.90/504.82	o 9352
502.69/505.69	o 9347
503.19/506.12	o 9345
503.59/506.54	o 9344
503.99/506.95	o 9333
504.38/507.38	o 9330
504.88/507.81	o 9325
505.77/508.72	o 9323
506.17/509.15	o 9314
507.07/510.01	o 9310
507.86/510.88	o 9302
508.36/511.35	o 9301
508.77/511.79	o 9297
511.55/514.53	o 9296
512.05/515.01	o 9292
512.45/515.40	o 9285
512.75/515.70	o 9276
513.54/516.57	o 9266
513.94/516.99	o 9257
514.33/517.32	o 9256
514.73/517.77	o 9253
516.53/519.58	o 9248
517.03/520.01	o 9239
517.43/520.43	o 9237
517.83/520.88	o 9234
518.33/521.32	o 9220
519.22/522.21	o 9219
519.62/522.68	o 9218
520.11/523.12	o 9214
520.51/523.56	o 9213
521.01/524.01	o 9210
521.41/524.44	o 9206
521.81/524.90	o 9205
522.30/525.34	o 9201
522.70/525.74	o 9190
523.19/526.20	o 9185
523.59/526.65	o 9180
524.09/527.11	o 9169
524.49/527.55	o 9159
524.89/527.91	o 9146
525.28/528.32	o 9142
526.08/529.15	o 9140
526.48/529.57	o 9134
526.98/530.02	o 9128
527.37/530.45	o 9122
527.77/530.89	o 9120
528.27/531.32	o 9113
528.66/531.77	o 9108
529.16/532.22	o 9102
529.56/532.67	o 9100
529.96/533.09	o 9098
530.36/533.49	o 9090
530.75/533.86	o 9088
531.55/534.66	o 9083
531.96/535.07	o 9082
532.46/535.51	o 9079
532.86/535.93	o 9076
533.25/536.38	o 9067
533.75/536.81	o 9061
534.14/537.22	o 9054
534.55/537.61	o 9047
534.94/538.03	o 9039
535.34/538.42	o 9028
536.14/539.24	o 9022
536.54/539.66	o 9014
536.94/540.09	o 9010
537.33/540.49	o 9002
538.13/541.29	o 8993
539.02/542.12	o 8988
539.42/542.54	o 8985
540.22/543.35	o 8981
541.81/544.99	o 8980
542.71/545.86	o 8977
543.10/546.29	o 8969
544.00/547.16	o 8961
544.40/547.58	o 8956
544.90/548.02	o 8954
545.29/548.44	o 8949
545.69/548.87	o 8944
546.49/549.69	o 8942
546.99/550.12	o 8940
547.38/550.56	o 8927
547.88/551.01	o 8925
548.28/551.46	o 8922
548.68/551.89	o 8911
549.17/552.31	o 8906
549.57/552.72	o 8901
549.97/553.10	o 8892
550.37/553.52	o 8891
550.76/553.95	o 8885
551.16/554.37	o 8881
551.66/554.81	o 8880
552.06/555.23	o 8869
552.36/555.54	o 8857
553.16/556.39	o 8851
553.65/556.84	o 8848
553.95/557.18	o 8837
554.45/557.61	o 8828
554.84/558.04	o 8826
555.24/558.47	o 8825
555.74/558.91	o 8813
556.04/559.28	o 8803
556.54/559.72	o 8796
556.94/560.15	o 8790
557.33/560.59	o 8789
557.84/561.05	o 8786
558.33/561.54	o 8782
558.83/562.00	o 8778
559.23/562.43	o 8775
559.63/562.89	o 8767
560.12/563.35	o 8761
560.62/563.82	o 8760
562.41/565.61	o 8752
562.81/566.10	o 8751
563.80/567.02	o 8747
564.20/567.50	o 8738
565.20/568.40	o 8736
565.60/568.87	o 8728
566.59/569.81	o 8721
566.99/570.24	o 8714
568.38/571.63	o 8704
568.88/572.11	o 8700
569.27/572.58	o 8692
569.77/573.05	o 8684
570.27/573.55	o 8676
570.77/574.04	o 8673
571.26/574.56	o 8668
572.16/575.50	o 8667
572.66/575.99	o 8661
573.16/576.48	o 8651
573.65/576.94	o 8642
574.15/577.42	o 8638
574.54/577.87	o 8637
575.54/578.82	o 8634
575.84/579.16	o 8632
576.34/579.63	o 8628
576.83/580.11	o 8621
577.33/580.61	o 8616
577.83/581.11	o 8611
578.23/581.58	o 8603
580.22/583.53	o 8594
580.62/584.00	o 8585
582.02/585.39	o 8580
582.51/585.84	o 8576
583.01/586.31	o 8568
583.51/586.80	o 8567
584.41/587.75	o 8559
584.91/588.21	o 8555
585.11/588.49	o 8553
586.10/589.46	o 8548
586.60/589.92	o 8546
587.00/590.39	o 8542
587.50/590.88	o 8533
587.99/591.33	o 8525
588.89/592.29	o 8517
589.39/592.79	o 8510
590.38/593.72	o 8505
590.78/594.20	o 8494
591.28/594.67	o 8486
591.77/595.16	o 8480
592.27/595.61	o 8476
592.77/596.10	o 8474
594.16/597.56	o 8473
594.66/598.03	o 8466
595.06/598.40	o 8465
595.45/598.82	o 8454
595.85/599.29	o 8447
596.35/599.74	o 8444
596.74/600.18	o 8436
597.24/600.63	o 8432
597.64/601.08	o 8424
598.14/601.53	o 8414
599.03/602.44	o 8413
599.43/602.89	o 8406
599.93/603.33	o 8404
601.72/605.18	o 8398
602.22/605.64	o 8392
602.62/606.09	o 8385
603.11/606.56	o 8381
603.61/607.01	o 8370
604.01/607.49	o 8367
605.01/608.44	o 8358
605.50/608.91	o 8351
605.90/609.37	o 8347
606.39/609.83	o 8341
606.79/610.27	o 8332
607.29/610.74	o 8330
607.69/611.19	o 8325
608.19/611.68	o 8324
608.68/612.15	o 8321
609.18/612.61	o 8315
609.88/613.39	o 8312
610.77/614.27	o 8310
611.27/614.72	o 8304
611.68/615.18	o 8293
612.17/615.64	o 8292
612.57/616.08	o 8288
613.06/616.57	o 8281
613.56/617.03	o 8278
614.05/617.52	o 8275
614.45/617.99	o 8272
614.95/618.45	o 8263
615.45/618.90	o 8259
615.85/619.36	o 8251
616.34/619.81	o 8250
616.74/620.28	o 8245
617.24/620.75	o 8243
617.74/621.24	o 8241
618.25/621.74	o 8237
618.74/622.22	o 8230
619.24/622.73	o 8226
619.73/623.22	o 8216
621.03/624.57	o 8209
621.53/625.05	o 8203
622.02/625.53	o 8201
622.42/626.00	o 8193
622.92/626.41	o 8188
624.21/627.71	o 8181
624.61/628.16	o 8176
625.51/629.08	o 8165
626.00/629.56	o 8158
626.50/630.05	o 8155
627.50/631.02	o 8152
627.90/631.47	o 8142
628.39/631.94	o 8140
628.79/632.39	o 8132
629.29/632.84	o 8124
629.79/633.30	o 8118
630.19/633.77	o 8108
630.69/634.22	o 8107
631.58/635.10	o 8100
631.98/635.60	o 8094
632.48/636.03	o 8086
632.87/636.46	o 8083
633.37/636.92	o 8080
633.77/637.38	o 8078
634.27/637.82	o 8075
634.67/638.29	o 8067
635.16/638.72	o 8056
635.56/639.18	o 8048
636.06/639.64	o 8047
636.46/640.09	o 8046
636.95/640.55	o 8038
637.35/640.99	o 8035
637.85/641.44	o 8033
638.35/641.90	o 8026
638.75/642.35	o 8024
639.14/642.78	o 8016
640.54/644.15	o 8010
640.94/644.59	o 8002
641.83/645.46	o 7998
642.33/645.91	o 7988
642.73/646.34	o 7986
643.13/646.78	o 7981
644.02/647.64	o 7980
644.82/648.48	o 7977
645.32/648.90	o 7976
645.71/649.33	o 7973
646.11/649.75	o 7970
646.51/650.18	o 7963
647.01/650.62	o 7960
647.41/651.03	o 7956
647.81/651.45	o 7946
648.20/651.87	o 7940
648.70/652.30	o 7938
649.10/652.71	o 7932
649.90/653.57	o 7926
650.29/653.98	o 7916
650.79/654.40	o 7911
651.18/654.82	o 7909
651.58/655.23	o 7905
651.98/655.69	o 7900
652.48/656.10	o 7899
652.89/656.50	o 7893
653.29/656.91	o 7884
653.58/657.29	o 7873
653.98/657.69	o 7871
654.38/658.08	o 7864
654.78/658.47	o 7859
655.18/658.89	o 7852
655.67/659.36	o 7850
656.07/659.79	o 7842
656.57/660.21	o 7838
656.97/660.61	o 7831
657.37/661.00	o 7830
657.76/661.46	o 7828
658.16/661.88	o 7823
658.56/662.27	o 7819
659.05/662.74	o 7814
659.85/663.59	o 7806
660.35/664.03	o 7800
660.75/664.48	o 7799
661.24/664.93	o 7792
662.04/665.76	o 7789
662.44/666.20	o 7780
662.94/666.65	o 7777
663.43/667.13	o 7764
666.02/669.73	o 7761
666.42/670.19	o 7757
666.92/670.65	o 7751
667.42/671.12	o 7741
667.81/671.56	o 7735
668.71/672.45	o 7726
670.10/673.80	o 7720
670.50/674.23	o 7711
671.40/675.11	o 7709
671.80/675.57	o 7702
672.29/676.02	o 7696
672.69/676.46	o 7689
673.19/676.94	o 7682
673.59/677.39	o 7675
674.09/677.86	o 7666
675.08/678.80	o 7663
675.48/679.27	o 7662
675.98/679.71	o 7657
676.87/680.62	o 7653
677.27/681.07	o 7650
677.77/681.56	o 7643
678.27/682.01	o 7640
678.66/682.47	o 7633
679.16/682.93	o 7628
679.66/683.40	o 7619
680.06/683.86	o 7610
680.56/684.33	o 7602
682.45/686.20	o 7601
682.85/686.68	o 7592
683.74/687.59	o 7586
684.23/688.09	o 7584
684.73/688.50	o 7581
685.12/688.94	o 7572
685.52/689.39	o 7566
686.02/689.86	o 7562
686.52/690.34	o 7558
686.92/690.79	o 7551
687.41/691.25	o 7550
687.91/691.71	o 7547
688.31/692.18	o 7539
689.31/693.12	o 7536
690.10/694.00	o 7529
690.60/694.45	o 7524
691.00/694.89	o 7519
691.49/695.36	o 7514
691.99/695.83	o 7503
692.49/696.33	o 7494
692.98/696.81	o 7492
693.48/697.30	o 7483
693.88/697.74	o 7482
694.38/698.23	o 7480
694.78/698.65	o 7473
695.27/699.14	o 7463
695.97/699.82	o 7462
696.36/700.24	o 7456
696.76/700.65	o 7450
697.16/701.06	o 7448
697.96/701.88	o 7433
698.45/702.31	o 7427
698.85/702.71	o 7424
699.25/703.20	o 7422
699.75/703.62	o 7419
701.04/704.90	o 7417
701.44/705.38	o 7416
701.93/705.81	o 7410
702.23/706.15	o 7408
702.63/706.57	o 7398
703.02/706.99	o 7393
704.02/707.93	o 7385
704.52/708.40	o 7381
704.91/708.85	o 7380
705.41/709.30	o 7379
705.81/709.77	o 7371
706.71/710.66	o 7365
707.60/711.57	o 7364
708.00/711.98	o 7360
708.50/712.43	o 7357
708.90/712.89	o 7347
709.39/713.31	o 7340
709.79/713.72	o 7334
710.19/714.16	o 7327
710.58/714.59	o 7325
711.08/715.01	o 7321
711.48/715.44	o 7318
711.88/715.88	o 7310
712.38/716.34	o 7304
712.77/716.78	o 7302
713.17/717.17	o 7301
713.57/717.52	o 7296
713.97/717.96	o 7287
714.47/718.42	o 7280
714.87/718.86	o 7271
715.27/719.29	o 7266
715.76/719.70	o 7264
716.16/720.12	o 7262
716.56/720.54	o 7260
716.96/720.98	o 7254
717.46/721.42	o 7247
717.76/721.78	o 7245
718.05/722.07	o 7238
718.45/722.46	o 7230
718.85/722.89	o 7228
719.24/723.29	o 7218
719.74/723.72	o 7210
721.23/725.28	o 7202
721.63/725.68	o 7198
723.33/727.37	o 7197
723.82/727.80	o 7193
724.22/728.23	o 7187
724.62/728.69	o 7183
725.12/729.13	o 7182
725.51/729.57	o 7181
726.01/730.03	o 7179
726.41/730.46	o 7172
727.70/731.73	o 7162
728.99/733.01	o 7154
729.39/733.45	o 7148
729.79/733.87	o 7142
730.59/734.68	o 7138
730.99/735.08	o 7133
731.38/735.48	o 7129
731.78/735.86	o 7128
732.57/736.69	o 7122
732.97/737.08	o 7114
733.47/737.51	o 7109
733.87/737.91	o 7107
735.86/739.97	o 7103
736.26/740.38	o 7101
737.15/741.21	o 7098
737.55/741.64	o 7097
737.95/742.01	o 7090
739.15/743.26	o 7079
739.55/743.67	o 7075
740.04/744.10	o 7068
740.44/744.53	o 7064
740.84/744.94	o 7059
741.24/745.34	o 7057
741.63/745.74	o 7050
742.02/746.17	o 7044
742.82/746.95	o 7042
744.11/748.22	o 7039
744.51/748.64	o 7035
745.70/749.89	o 7031
746.10/750.29	o 7023
746.60/750.71	o 7019
747.00/751.11	o 7012
747.39/751.52	o 7003
747.79/751.93	o 7002
748.67/752.82	o 6999
749.07/753.22	o 6995
749.87/754.07	o 6992
750.27/754.46	o 6991
750.67/754.86	o 6982
751.06/755.26	o 6973
751.46/755.68	o 6971
751.96/756.11	o 6968
753.05/757.28	o 6967
753.45/757.69	o 6966
753.95/758.11	o 6960
754.35/758.52	o 6952
754.74/758.93	o 6951
755.14/759.35	o 6948
755.54/759.77	o 6946
755.94/760.17	o 6936
756.83/761.02	o 6932
757.23/761.44	o 6924
757.63/761.86	o 6917
758.03/762.27	o 6912
758.53/762.72	o 6907
758.93/763.16	o 6901
759.33/763.58	o 6900
759.82/764.04	o 6897
760.22/764.46	o 6894
761.51/765.75	o 6889
761.90/766.18	o 6883
762.30/766.59	o 6880
762.70/766.99	o 6871
763.00/767.24	o 6864
763.40/767.64	o 6862
764.19/768.47	o 6857
764.59/768.87	o 6856
764.98/769.28	o 6852
765.38/769.66	o 6845
765.78/770.05	o 6840
766.18/770.48	o 6838
766.58/770.88	o 6830
766.98/771.29	o 6826
767.48/771.71	o 6823
767.88/772.11	o 6817
768.27/772.54	o 6815
768.67/772.93	o 6804
769.07/773.35	o 6803
769.46/773.77	o 6797
769.86/774.18	o 6796
770.26/774.58	o 6794
770.75/775.06	o 6788
771.15/775.47	o 6786
772.05/776.33	o 6778
772.45/776.77	o 6772
772.84/777.19	o 6768
773.34/777.63	o 6765
774.14/778.46	o 6759
774.54/778.88	o 6752
775.03/779.32	o 6749
775.43/779.73	o 6741
775.83/780.17	o 6739
776.72/781.05	o 6732
777.12/781.48	o 6724
777.52/781.82	o 6720
777.82/782.15	o 6718
778.21/782.56	o 6717
779.01/783.37	o 6711
779.51/783.81	o 6710
779.81/784.19	o 6709
780.30/784.63	o 6697
783.39/787.74	o 6691
784.28/788.63	o 6683
785.18/789.51	o 6675
786.07/790.42	o 6671
786.47/790.87	o 6663
786.96/791.30	o 6656
787.36/791.77	o 6653
788.36/792.73	o 6648
788.86/793.21	o 6645
789.36/793.71	o 6643
789.76/794.17	o 6636
790.25/794.66	o 6622
790.75/795.13	o 6617
791.25/795.62	o 6612
791.75/796.18	o 6608
792.24/796.66	o 6601
795.82/800.22	o 6597
796.32/800.70	o 6592
796.82/801.23	o 6587
797.32/801.73	o 6582
799.31/803.71	o 6580
800.30/804.72	o 6571
801.29/805.71	o 6566
801.69/806.19	o 6558
802.18/806.67	o 6554
802.68/807.18	o 6551
803.18/807.68	o 6548
803.67/808.19	o 6545
805.27/809.77	o 6541
805.86/810.30	o 6534
806.36/810.84	o 6525
806.76/811.26	o 6516
807.36/811.80	o 6514
808.35/812.88	o 6507
808.85/813.31	o 6500
809.35/813.85	o 6495
809.94/814.42	o 6490
810.44/814.95	o 6485
811.44/815.99	o 6477
812.03/816.52	o 6472
812.53/817.08	o 6468
813.12/817.61	o 6460
813.52/818.08	o 6450
814.12/818.62	o 6444
814.62/819.15	o 6438
815.22/819.71	o 6433
815.71/820.25	o 6429
816.31/820.81	o 6428
817.91/822.48	o 6426
819.60/824.18	o 6417
820.20/824.75	o 6410
820.79/825.31	o 6401
821.19/825.74	o 6400
821.68/826.26	o 6395
822.18/826.78	o 6392
822.78/827.33	o 6386
823.27/827.85	o 6381
823.87/828.43	o 6374
824.36/828.98	o 6373
824.96/829.52	o 6371
825.46/830.05	o 6370
826.56/831.18	o 6369
827.16/831.76	o 6363
827.75/832.31	o 6359
828.25/832.89	o 6355
828.84/833.45	o 6347
829.24/833.90	o 6339
831.53/836.14	o 6334
832.03/836.68	o 6329
832.63/837.25	o 6326
833.22/837.80	o 6317
833.72/838.36	o 6314
834.32/838.94	o 6306
836.01/840.65	o 6304
836.60/841.23	o 6303
839.29/844.00	o 6302
840.48/845.10	o 6296
841.58/846.24	o 6293
842.18/846.80	o 6285
842.67/847.35	o 6275
843.76/848.44	o 6267
844.26/848.98	o 6264
844.86/849.53	o 6263
845.36/850.07	o 6256
845.95/850.61	o 6251
846.45/851.13	o 6241
846.95/851.67	o 6234
847.44/852.19	o 6225
848.04/852.72	o 6220
848.53/853.23	o 6216
849.53/854.26	o 6213
850.03/854.80	o 6207
851.12/855.83	o 6202
851.61/856.35	o 6201
852.11/856.85	o 6200
852.61/857.38	o 6199
853.11/857.88	o 6194
853.70/858.41	o 6191
854.20/858.95	o 6184
854.80/859.51	o 6177
855.00/859.75	o 6165
856.09/860.83	o 6162
856.59/861.37	o 6160
857.19/861.95	o 6154
859.98/864.71	o 6152
860.47/865.23	o 6147
860.98/865.77	o 6144
862.07/866.87	o 6140
862.66/867.41	o 6138
863.06/867.86	o 6132
864.15/868.90	o 6126
864.65/869.43	o 6116
865.15/869.99	o 6115
865.75/870.52	o 6109
866.24/871.04	o 6108
866.74/871.59	o 6107
867.24/872.09	o 6103
868.33/873.18	o 6100
868.93/873.70	o 6094
869.43/874.22	o 6085
869.92/874.74	o 6079
870.42/875.25	o 6067
871.41/876.30	o 6064
872.01/876.82	o 6060
872.51/877.34	o 6057
873.50/878.38	o 6053
874.10/878.94	o 6051
874.59/879.48	o 6044
875.19/880.00	o 6038
876.19/881.03	o 6034
876.58/881.44	o 6033
877.08/881.97	o 6029
877.58/882.48	o 6028
877.98/882.81	o 6021
878.48/883.31	o 6018
878.97/883.82	o 6017
879.47/884.34	o 6012
879.96/884.87	o 6008
880.46/885.39	o 6000
881.06/885.92	o 5995
881.55/886.41	o 5991
881.85/886.75	o 5982
882.25/887.11	o 5976
882.75/887.62	o 5975
883.74/888.61	o 5972
884.15/889.04	o 5965
884.64/889.56	o 5957
885.14/890.05	o 5947
885.44/890.32	o 5942
885.83/890.76	o 5935
886.33/891.25	o 5934
886.82/891.77	o 5930
887.32/892.28	o 5926
887.82/892.79	o 5923
888.32/893.29	o 5921
888.91/893.82	o 5911
889.41/894.31	o 5910
889.91/894.84	o 5902
890.21/895.14	o 5898
890.71/895.64	o 5895
891.20/896.19	o 5891
891.80/896.75	o 5886
892.29/897.24	o 5881
892.79/897.75	o 5875
893.29/898.26	o 5868
893.69/898.69	o 5864
894.28/899.20	o 5854
896.27/901.27	o 5853
896.77/901.79	o 5847
897.37/902.31	o 5840
897.87/902.83	o 5833
898.37/903.37	o 5832
898.86/903.89	o 5831
899.47/904.41	o 5825
899.96/904.95	o 5822
900.46/905.47	o 5816
900.95/905.98	o 5808
901.45/906.47	o 5804
901.94/906.97	o 5798
902.44/907.48	o 5789
902.94/907.99	o 5779
903.54/908.51	o 5777
904.53/909.55	o 5774
905.03/910.08	o 5771
905.62/910.62	o 5765
906.72/911.74	o 5755
907.71/912.77	o 5746
908.31/913.30	o 5740
908.81/913.84	o 5739
909.30/914.36	o 5736
909.80/914.88	o 5726
912.00/917.04	o 5721
912.50/917.59	o 5717
913.09/918.16	o 5711
913.69/918.71	o 5705
914.19/919.28	o 5702
914.49/919.56	o 5693
914.98/920.01	o 5687
915.48/920.55	o 5683
916.07/921.10	o 5680
916.57/921.64	o 5676
917.07/922.19	o 5672
918.16/923.27	o 5661
918.76/923.81	o 5657
919.26/924.37	o 5655
920.95/926.01	o 5654
921.45/926.56	o 5640
921.95/927.09	o 5633
922.54/927.65	o 5629
922.94/928.05	o 5620
923.44/928.60	o 5615
924.03/929.11	o 5605
924.53/929.61	o 5598
925.03/930.13	o 5597
925.53/930.64	o 5596
926.51/931.67	o 5590
927.11/932.22	o 5587
927.61/932.72	o 5582
928.10/933.30	o 5580
929.70/934.86	o 5579
930.79/935.95	o 5578
931.38/936.51	o 5576
931.88/937.05	o 5575
932.48/937.61	o 5569
932.98/938.15	o 5565
933.57/938.71	o 5564
934.07/939.26	o 5562
934.67/939.81	o 5559
935.17/940.37	o 5556
936.26/941.43	o 5554
936.76/941.99	o 5550
937.36/942.52	o 5546
937.85/943.07	o 5545
938.45/943.62	o 5539
940.04/945.25	o 5534
941.13/946.35	o 5530
941.63/946.88	o 5523
942.23/947.45	o 5517
942.73/947.98	o 5512
943.82/949.09	o 5508
944.92/950.17	o 5501
945.51/950.72	o 5497
946.01/951.27	o 5490
946.61/951.83	o 5484
947.11/952.38	o 5483
948.20/953.48	o 5479
949.29/954.54	o 5478
949.79/955.05	o 5472
950.29/955.58	o 5466
950.89/956.11	o 5464
951.38/956.64	o 5461
951.78/957.07	o 5455
952.28/957.58	o 5451
952.88/958.11	o 5443
953.37/958.64	o 5437
953.97/959.20	o 5430
954.47/959.75	o 5424
954.97/960.28	o 5421
956.06/961.38	o 5416
957.75/963.08	o 5412
958.35/963.63	o 5400
958.74/964.03	o 5394
959.24/964.57	o 5389
960.34/965.68	o 5386
960.93/966.21	o 5381
961.43/966.72	o 5374
961.92/967.27	o 5368
963.02/968.36	o 5361
963.52/968.87	o 5359
964.02/969.38	o 5358
964.61/969.90	o 5349
965.11/970.43	o 5346
965.61/970.96	o 5345
966.11/971.48	o 5337
966.60/972.00	o 5332
967.20/972.53	o 5329
967.69/973.06	o 5324
968.19/973.59	o 5316
968.69/974.09	o 5313
969.19/974.60	o 5308
970.28/975.66	o 5301
970.87/976.20	o 5298
971.37/976.73	o 5297
971.87/977.25	o 5296
972.37/977.77	o 5294
972.96/978.30	o 5292
973.46/978.82	o 5288
974.96/980.31	o 5282
975.45/980.86	o 5277
975.95/981.38	o 5270
976.54/981.90	o 5263
977.04/982.41	o 5262
977.54/982.93	o 5255
978.04/983.42	o 5246
978.53/983.95	o 5244
978.93/984.39	o 5243
979.43/984.89	o 5241
980.03/985.40	o 5237
980.53/985.92	o 5235
981.52/986.93	o 5231
982.01/987.45	o 5227
983.00/988.47	o 5226
984.00/989.49	o 5224
985.09/990.53	o 5223
986.09/991.56	o 5215
986.59/992.05	o 5204
986.99/992.48	o 5201
987.48/993.00	o 5194
988.08/993.51	o 5192
988.57/994.01	o 5191
989.08/994.55	o 5188
989.58/995.07	o 5185
990.08/995.59	o 5176
990.67/996.13	o 5173
991.66/997.17	o 5169
992.26/997.72	o 5159
992.76/998.23	o 5153
993.26/998.75	o 5148
993.75/999.28	o 5141
994.35/999.82	o 5138
994.85/1000.36	o 5136
995.94/1001.41	o 5133
996.34/1001.84	o 5131
996.84/1002.37	o 5112
997.43/1002.90	o 5106
998.23/1003.79	o 5097
998.73/1004.28	o 5094
999.22/1004.79	o 5092
999.82/1005.31	o 5082
1000.31/1005.83	o 5074
1000.81/1006.33	o 5063
1001.80/1007.33	o 5061
1002.30/1007.83	o 5055
1002.80/1008.32	o 5043
1003.30/1008.83	o 5041
1004.29/1009.86	o 5037
1004.79/1010.39	o 5036
1005.39/1010.91	o 5025
1005.89/1011.44	o 5012
1006.39/1011.96	o 5003
1007.28/1012.89	o 4998
1007.88/1013.42	o 4991
1008.38/1013.93	o 4990
1008.88/1014.45	o 4989
1009.37/1014.99	o 4984
1012.26/1017.86	o 4978
1012.76/1018.36	o 4968
1013.25/1018.85	o 4967
1014.25/1019.84	o 4961
1014.44/1020.04	o 4951
1015.34/1020.99	o 4944
1015.83/1021.47	o 4943
1016.33/1021.94	o 4937
1016.82/1022.44	o 4927
1017.72/1023.40	o 4921
1020.01/1025.63	o 4915
1020.41/1026.09	o 4901
1020.71/1026.30	o 4890
1021.20/1026.80	o 4880
1021.50/1027.19	o 4873
1022.00/1027.64	o 4867
1023.39/1029.01	o 4859
1024.29/1029.95	o 4850
1024.79/1030.42	o 4847
1025.19/1030.89	o 4846
1025.67/1031.37	o 4838
1026.17/1031.81	o 4827
1027.96/1033.66	o 4825
1028.46/1034.15	o 4824
1028.86/1034.60	o 4823
1029.36/1035.06	o 4816
1029.85/1035.54	o 4812
1030.05/1035.71	o 4809
1030.45/1036.20	o 4803
1030.95/1036.67	o 4797
1031.45/1037.13	o 4790
1031.94/1037.64	o 4786
1032.44/1038.12	o 4784
1032.84/1038.59	o 4781
1033.84/1039.55	o 4773
1034.23/1039.97	o 4765
1034.53/1040.23	o 4760
1035.03/1040.71	o 4756
1035.42/1041.16	o 4746
1035.82/1041.56	o 4739
1036.82/1042.53	o 4736
1037.22/1043.00	o 4730
1037.71/1043.45	o 4724
1038.21/1043.93	o 4723
1039.11/1044.88	o 4720
1039.31/1045.06	o 4715
1039.80/1045.52	o 4705
1040.21/1045.99	o 4694
1041.20/1046.93	o 4691
1042.09/1047.87	o 4685
1042.59/1048.33	o 4682
1043.48/1049.26	o 4678
1043.98/1049.72	o 4673
1044.38/1050.18	o 4671
1045.77/1051.53	o 4670
1046.17/1051.96	o 4667
1046.47/1052.29	o 4660
1046.97/1052.74	o 4652
1047.36/1053.19	o 4646
1047.86/1053.63	o 4642
1048.26/1054.09	o 4639
1048.75/1054.53	o 4632
1049.15/1054.98	o 4623
1049.65/1055.44	o 4620
1050.55/1056.34	o 4619
1051.05/1056.80	o 4616
1051.45/1057.26	o 4609
1051.94/1057.73	o 4603
1052.44/1058.21	o 4598
1052.84/1058.68	o 4597
1053.34/1059.13	o 4592
1053.83/1059.61	o 4590
1054.23/1060.08	o 4589
1054.73/1060.58	o 4587
1055.23/1061.06	o 4585
1055.73/1061.54	o 4581
1056.22/1062.02	o 4578
1056.62/1062.48	o 4577
1057.12/1062.97	o 4568
1057.62/1063.44	o 4567
1058.12/1063.93	o 4561
1058.61/1064.42	o 4559
1059.01/1064.85	o 4555
1059.50/1065.34	o 4549
1059.90/1065.79	o 4542
1061.29/1067.14	o 4538
1062.19/1068.05	o 4535
1063.58/1069.41	o 4532
1064.48/1070.35	o 4520
1065.46/1071.31	o 4514
1066.36/1072.23	o 4513
1067.36/1073.22	o 4505
1068.25/1074.14	o 4498
1068.75/1074.63	o 4494
1069.25/1075.11	o 4490
1070.64/1076.50	o 4486
1071.04/1076.99	o 4485
1071.54/1077.46	o 4480
1072.04/1077.93	o 4474
1072.43/1078.38	o 4470
1072.73/1078.64	o 4465
1073.23/1079.10	o 4462
1073.62/1079.56	o 4458
1074.02/1079.99	o 4452
1075.91/1081.87	o 4449
1076.41/1082.34	o 4448
1076.91/1082.81	o 4446
1077.31/1083.27	o 4437
1078.70/1084.67	o 4430
1079.20/1085.16	o 4423
1080.59/1086.55	o 4422
1081.09/1087.04	o 4418
1081.48/1087.49	o 4413
1081.98/1087.95	o 4410
1082.48/1088.44	o 4404
1082.98/1088.91	o 4398
1083.37/1089.34	o 4394
1083.87/1089.82	o 4385
1084.17/1090.11	o 4376
1084.57/1090.58	o 4371
1085.06/1091.07	o 4365
1085.56/1091.55	o 4359
1086.06/1092.01	o 4349
1086.56/1092.51	o 4347
1086.95/1092.96	o 4341
1087.35/1093.39	o 4339
1087.85/1093.82	o 4335
1088.34/1094.30	o 4327
1088.74/1094.75	o 4322
1089.24/1095.21	o 4317
1090.14/1096.16	o 4316
1090.64/1096.66	o 4306
1090.93/1096.91	o 4295
1091.43/1097.42	o 4291
1092.33/1098.39	o 4286
1092.92/1098.90	o 4285
1093.82/1099.89	o 4278
1094.31/1100.39	o 4267
1094.51/1100.58	o 4257
1095.01/1101.07	o 4252
1095.51/1101.60	o 4251
1096.11/1102.12	o 4246
1096.60/1102.65	o 4245
1097.10/1103.15	o 4236
1097.40/1103.46	o 4231
1097.80/1103.89	o 4222
1098.79/1104.89	o 4219
1099.29/1105.39	o 4215
1099.79/1105.89	o 4214
1100.79/1106.89	o 4206
1101.28/1107.39	o 4193
1101.88/1107.91	o 4187
1102.27/1108.35	o 4179
1102.67/1108.75	o 4169
1103.17/1109.24	o 4168
1103.67/1109.74	o 4166
1104.16/1110.24	o 4161
1104.66/1110.75	o 4155
1105.15/1111.27	o 4148
1106.55/1112.65	o 4142
1107.05/1113.18	o 4138
1107.54/1113.67	o 4136
1108.04/1114.19	o 4133
1108.64/1114.72	o 4127
1109.14/1115.24	o 4121
1109.63/1115.79	o 4117
1110.73/1116.87	o 4116
1111.82/1117.93	o 4113
1112.32/1118.46	o 4110
1112.82/1118.97	o 4101
1113.41/1119.52	o 4096
1114.51/1120.60	o 4090
1115.01/1121.14	o 4081
1115.40/1121.58	o 4074
1115.90/1122.01	o 4073
1116.29/1122.45	o 4067
1116.79/1122.99	o 4061
1117.39/1123.53	o 4056
1117.89/1124.03	o 4053
1118.38/1124.59	o 4047
1118.98/1125.12	o 4039
1119.48/1125.66	o 4029
1120.07/1126.20	o 4024
1120.56/1126.74	o 4015
1121.06/1127.25	o 4007
1121.66/1127.80	o 4005
1121.96/1128.15	o 4002
1122.26/1128.49	o 3992
1122.85/1129.01	o 3987
1123.35/1129.54	o 3981
1124.35/1130.55	o 3976
1124.86/1131.06	o 3972
1125.35/1131.56	o 3967
1125.85/1132.08	o 3963
1126.44/1132.63	o 3957
1126.94/1133.14	o 3952
1127.43/1133.63	o 3951
1128.93/1135.14	o 3945
1129.42/1135.69	o 3942
1130.02/1136.22	o 3931
1130.52/1136.72	o 3925
1131.02/1137.27	o 3921
1131.51/1137.77	o 3915
1132.11/1138.30	o 3914
1132.60/1138.82	o 3904
1133.69/1139.95	o 3901
1134.29/1140.50	o 3893
1134.78/1141.06	o 3891
1135.28/1141.57	o 3882
1135.58/1141.86	o 3875
1136.07/1142.39	o 3873
1136.57/1142.84	o 3871
1137.57/1143.84	o 3866
1138.06/1144.34	o 3856
1138.56/1144.86	o 3848
1139.16/1145.41	o 3840
1139.57/1145.86	o 3836
1142.15/1148.42	o 3833
1142.65/1148.92	o 3823
1143.14/1149.44	o 3814
1143.64/1149.96	o 3810
1144.63/1150.91	o 3809
1145.63/1151.91	o 3802
1146.02/1152.35	o 3795
1146.52/1152.87	o 3794
1147.11/1153.41	o 3791
1147.61/1153.92	o 3780
1148.10/1154.42	o 3777
1148.60/1154.92	o 3773
1148.89/1155.30	o 3767
1149.49/1155.82	o 3759
1149.79/1156.11	o 3756
1150.27/1156.61	o 3746
1150.77/1157.13	o 3741
1152.25/1158.64	o 3737
1153.25/1159.67	o 3733
1153.84/1160.21	o 3726
1155.32/1161.76	o 3716
1155.81/1162.28	o 3709
1156.41/1162.82	o 3705
1156.90/1163.34	o 3697
1157.40/1163.85	o 3691
1158.98/1165.42	o 3681
1159.38/1165.88	o 3672
1159.97/1166.41	o 3667
1160.96/1167.44	o 3661
1161.36/1167.85	o 3653
1161.86/1168.37	o 3649
1163.44/1169.96	o 3645
1163.94/1170.48	o 3634
1164.52/1171.03	o 3633
1165.52/1172.08	o 3625
1165.82/1172.39	o 3621
1166.41/1172.91	o 3612
1166.90/1173.43	o 3611
1167.40/1173.96	o 3606
1167.89/1174.47	o 3605
1168.39/1175.00	o 3604
1168.98/1175.50	o 3599
1169.38/1175.99	o 3593
1169.97/1176.51	o 3587
1170.47/1177.00	o 3581
1170.86/1177.47	o 3580
1172.35/1178.96	o 3572
1172.75/1179.37	o 3563
1173.74/1180.34	o 3561
1174.23/1180.84	o 3558
1174.73/1181.33	o 3550
1175.12/1181.75	o 3544
1175.62/1182.22	o 3535
1176.02/1182.70	o 3529
1176.51/1183.10	o 3527
1176.91/1183.56	o 3523
1177.40/1184.01	o 3512
1178.29/1184.94	o 3503
1178.78/1185.40	o 3500
1179.18/1185.86	o 3491
1179.68/1186.31	o 3482
1179.88/1186.53	o 3472
1180.17/1186.84	o 3466
1180.56/1187.29	o 3465
1181.06/1187.73	o 3464
1181.46/1188.18	o 3458
1181.95/1188.63	o 3443
1182.05/1188.77	o 3439
1182.45/1189.17	o 3432
1182.94/1189.61	o 3427
1183.74/1190.47	o 3423
1184.63/1191.34	o 3418
1185.02/1191.76	o 3415
1185.92/1192.62	o 3410
1186.31/1193.04	o 3399
1187.10/1193.88	o 3396
1187.80/1194.56	o 3395
1188.09/1194.87	o 3389
1189.28/1196.07	o 3384
1189.67/1196.46	o 3373
1190.08/1196.86	o 3368
1190.47/1197.26	o 3363
1190.87/1197.66	o 3357
1191.27/1198.07	o 3355
1191.66/1198.49	o 3349
1191.96/1198.79	o 3347
1192.74/1199.58	o 3341
1193.54/1200.39	o 3336
1193.93/1200.79	o 3329
1194.33/1201.13	o 3320
1194.63/1201.49	o 3310
1195.02/1201.89	o 3308
1196.31/1203.11	o 3302
1196.61/1203.46	o 3295
1197.00/1203.86	o 3291
1197.40/1204.25	o 3287
1197.80/1204.65	o 3282
1198.18/1205.07	o 3276
1198.58/1205.49	o 3272
1199.07/1205.91	o 3268
1199.47/1206.31	o 3266
1200.27/1207.19	o 3258
1200.77/1207.64	o 3253
1201.17/1208.06	o 3249
1201.66/1208.51	o 3246
1202.06/1208.95	o 3245
1202.45/1209.39	o 3242
1203.35/1210.26	o 3240
1203.83/1210.72	o 3234
1204.23/1211.19	o 3226
1204.63/1211.54	o 3217
1205.03/1211.99	o 3214
1205.53/1212.43	o 3206
1205.63/1212.58	o 3200
1206.13/1213.07	o 3197
1206.63/1213.52	o 3194
1207.13/1214.00	o 3188
1207.53/1214.48	o 3183
1208.03/1214.93	o 3173
1208.53/1215.40	o 3163
1208.93/1215.84	o 3161
1209.42/1216.30	o 3158
1209.82/1216.74	o 3152
1211.20/1218.10	o 3148
1211.60/1218.54	o 3145
1212.00/1219.00	o 3133
1212.49/1219.44	o 3122
1212.89/1219.87	o 3113
1213.28/1220.20	o 3103
1213.68/1220.62	o 3100
1214.56/1221.53	o 3097
1214.96/1221.96	o 3090
1215.45/1222.42	o 3082
1215.85/1222.81	o 3080
1216.74/1223.71	o 3076
1216.84/1223.85	o 3069
1217.34/1224.32	o 3065
1217.73/1224.77	o 3056
1218.13/1225.19	o 3050
1218.63/1225.65	o 3041
1218.82/1225.89	o 3037
1219.32/1226.32	o 3036
1219.72/1226.75	o 3032
1221.80/1228.86	o 3029
1221.90/1228.97	o 3022
1222.39/1229.41	o 3021
1223.68/1230.71	o 3020
1224.08/1231.16	o 3019
1224.47/1231.56	o 3009
1224.66/1231.78	o 3003
1225.06/1232.12	o 2996
1225.45/1232.55	o 2990
1226.34/1233.42	o 2984
1226.74/1233.82	o 2979
1227.14/1234.25	o 2974
1227.53/1234.68	o 2971
1227.93/1235.08	o 2961
1228.82/1235.92	o 2958
1230.01/1237.19	o 2956
1230.51/1237.62	o 2953
1230.90/1238.05	o 2947
1231.29/1238.48	o 2942
1231.78/1238.93	o 2938
1232.18/1239.38	o 2931
1232.58/1239.78	o 2920
1233.07/1240.24	o 2916
1233.47/1240.69	o 2909
1233.96/1241.15	o 2901
1234.46/1241.60	o 2900
1234.86/1242.03	o 2897
1235.25/1242.48	o 2896
1235.75/1242.93	o 2891
1236.24/1243.41	o 2887
1236.64/1243.85	o 2884
1237.04/1244.30	o 2874
1237.53/1244.76	o 2869
1238.04/1245.21	o 2865
1238.43/1245.61	o 2854
1238.53/1245.71	o 2844
1238.92/1246.17	o 2841
1239.32/1246.59	o 2838
1240.20/1247.46	o 2833
1241.09/1248.35	o 2829
1241.49/1248.79	o 2825
1241.98/1249.23	o 2818
1242.38/1249.64	o 2807
1242.67/1249.91	o 2802
1243.07/1250.33	o 2797
1243.48/1250.75	o 2796
1244.36/1251.61	o 2787
1244.66/1251.95	o 2775
1245.05/1252.36	o 2763
1245.45/1252.79	o 2752
1245.85/1253.19	o 2745
1246.33/1253.61	o 2743
1246.73/1254.02	o 2735
1249.30/1256.62	o 2729
1249.70/1257.07	o 2723
1250.10/1257.44	o 2720
1252.29/1259.61	o 2716
1252.58/1259.98	o 2710
1253.08/1260.40	o 2700
1253.87/1261.20	o 2691
1253.97/1261.39	o 2684
1254.37/1261.79	o 2671
1254.66/1262.01	o 2663
1254.96/1262.39	o 2650
1255.36/1262.77	o 2638
1255.85/1263.21	o 2630
1256.25/1263.62	o 2625
1256.65/1264.03	o 2617
1257.04/1264.43	o 2609
1257.84/1265.25	o 2604
1258.23/1265.65	o 2601
1258.63/1266.05	o 2600
1259.01/1266.46	o 2593
1259.81/1267.25	o 2590
1260.20/1267.68	o 2585
1260.60/1268.08	o 2577
1261.00/1268.50	o 2570
1261.49/1268.93	o 2559
1261.89/1269.34	o 2556
1262.28/1269.76	o 2543
1262.68/1270.18	o 2539
1263.08/1270.58	o 2536
1263.57/1271.00	o 2529
1263.97/1271.44	o 2525
1264.37/1271.88	o 2524
1264.86/1272.33	o 2520
1265.26/1272.76	o 2512
1265.75/1273.20	o 2510
1266.15/1273.62	o 2504
1266.55/1274.04	o 2503
1266.94/1274.46	o 2501
1268.13/1275.68	o 2499
1268.53/1276.09	o 2494
1269.01/1276.55	o 2489
1269.41/1276.95	o 2485
1269.81/1277.38	o 2481
1270.20/1277.80	o 2473
1270.60/1278.19	o 2467
1271.08/1278.67	o 2464
1271.57/1279.13	o 2457
1271.95/1279.59	o 2447
1272.35/1279.93	o 2435
1272.75/1280.35	o 2428
1273.15/1280.78	o 2415
1273.45/1281.02	o 2408
1273.75/1281.38	o 2399
1274.16/1281.70	o 2393
1274.55/1282.12	o 2392
1274.95/1282.53	o 2388
1275.35/1282.96	o 2379
1275.75/1283.33	o 2376
1276.15/1283.75	o 2373
1276.55/1284.15	o 2365
1276.95/1284.56	o 2364
1277.35/1284.97	o 2356
1278.25/1285.83	o 2350
1278.65/1286.25	o 2349
1279.04/1286.67	o 2342
1279.94/1287.52	o 2337
1280.34/1287.95	o 2334
1280.75/1288.38	o 2333
1281.24/1288.81	o 2323
1281.64/1289.25	o 2320
1282.04/1289.68	o 2312
1282.54/1290.12	o 2301
1282.95/1290.56	o 2298
1283.14/1290.74	o 2294
1283.54/1291.17	o 2290
1284.05/1291.63	o 2289
1284.44/1292.08	o 2285
1284.84/1292.47	o 2279
1285.24/1292.89	o 2267
1285.54/1293.15	o 2262
1285.94/1293.57	o 2259
1286.24/1293.89	o 2253
1286.44/1294.06	o 2242
1286.84/1294.48	o 2240
1287.34/1294.90	o 2239
1287.74/1295.32	o 2235
1288.14/1295.72	o 2230
1288.54/1296.17	o 2229
1289.35/1296.99	o 2228
1289.85/1297.41	o 2226
1290.24/1297.82	o 2219
1290.55/1298.11	o 2214
1290.84/1298.48	o 2213
1291.24/1298.89	o 2207
1292.44/1300.08	o 2202
1292.85/1300.48	o 2196
1293.24/1300.88	o 2191
1293.64/1301.29	o 2187
1294.04/1301.69	o 2186
1294.34/1301.94	o 2183
1295.04/1302.65	o 2181
1295.44/1303.05	o 2179
1295.84/1303.44	o 2175
1296.24/1303.84	o 2170
1296.64/1304.21	o 2164
1297.04/1304.60	o 2159
1297.34/1305.00	o 2155
1297.84/1305.40	o 2151
1298.24/1305.80	o 2149
1299.74/1307.39	o 2147
1300.14/1307.78	o 2143
1300.54/1308.19	o 2134
1300.74/1308.30	o 2124
1301.44/1309.06	o 2118
1301.84/1309.47	o 2113
1302.23/1309.88	o 2108
1302.64/1310.28	o 2107
1303.03/1310.69	o 2100
1303.43/1311.01	o 2091
1304.23/1311.80	o 2087
1304.63/1312.23	o 2085
1305.03/1312.62	o 2081
1305.23/1312.88	o 2075
1306.43/1314.08	o 2072
1306.83/1314.42	o 2069
1307.23/1314.80	o 2063
1307.53/1315.18	o 2058
1307.93/1315.59	o 2047
1308.33/1315.97	o 2027
1308.73/1316.36	o 2026
1309.13/1316.74	o 2023
1309.43/1317.10	o 2020
1309.83/1317.49	o 2015
1310.63/1318.26	o 2013
1311.03/1318.64	o 2006
1311.33/1318.94	o 2002
1312.03/1319.62	o 1998
1313.53/1321.12	o 1991
1313.83/1321.49	o 1988
1314.23/1321.89	o 1984
1315.43/1323.02	o 1972
1315.83/1323.41	o 1969
1316.13/1323.79	o 1965
1316.52/1324.17	o 1961
1316.93/1324.53	o 1956
1317.32/1324.92	o 1949
1317.72/1325.30	o 1944
1318.03/1325.68	o 1939
1318.42/1326.05	o 1938
1319.92/1327.50	o 1937
1320.23/1327.87	o 1930
1320.62/1328.24	o 1926
1321.03/1328.61	o 1921
1321.33/1328.98	o 1912
1321.73/1329.33	o 1910
1322.43/1330.09	o 1907
1322.83/1330.46	o 1904
1323.23/1330.83	o 1899
1323.63/1331.20	o 1895
1324.33/1331.98	o 1892
1324.73/1332.37	o 1888
1325.13/1332.77	o 1887
1325.53/1333.16	o 1881
1325.93/1333.54	o 1880
1326.73/1334.32	o 1875
1327.43/1335.08	o 1873
1327.82/1335.44	o 1871
1328.22/1335.82	o 1865
1328.32/1335.96	o 1857
1329.03/1336.69	o 1848
1329.32/1336.90	o 1842
1330.72/1338.34	o 1838
1331.12/1338.70	o 1828
1331.42/1339.06	o 1827
1331.82/1339.42	o 1823
1332.12/1339.78	o 1819
1332.92/1340.53	o 1818
1333.62/1341.27	o 1809
1333.92/1341.56	o 1803
1334.32/1341.92	o 1799
1334.72/1342.30	o 1798
1335.02/1342.69	o 1789
1335.42/1343.02	o 1777
1335.82/1343.40	o 1771
1336.52/1344.13	o 1770
1336.82/1344.47	o 1765
1337.22/1344.82	o 1764
1337.52/1345.17	o 1762
1337.92/1345.54	o 1758
1338.22/1345.89	o 1754
1338.62/1346.26	o 1748
1338.93/1346.56	o 1745
1339.62/1347.29	o 1741
1340.03/1347.65	o 1739
1340.42/1348.03	o 1738
1340.72/1348.38	o 1733
1341.13/1348.75	o 1721
1341.42/1349.02	o 1713
1341.72/1349.30	o 1710
1341.92/1349.58	o 1707
1342.33/1349.93	o 1706
1342.62/1350.28	o 1703
1342.92/1350.55	o 1697
1343.32/1350.94	o 1692
1343.62/1351.29	o 1687
1344.02/1351.65	o 1685
1344.32/1351.99	o 1680
1345.42/1353.04	o 1679
1345.72/1353.39	o 1677
1346.12/1353.76	o 1675
1347.62/1355.24	o 1674
1348.01/1355.62	o 1669
1348.31/1355.97	o 1668
1348.71/1356.32	o 1667
1349.01/1356.68	o 1663
1349.41/1357.02	o 1660
1349.71/1357.38	o 1656
1350.11/1357.72	o 1652
1350.41/1358.06	o 1645
1350.81/1358.41	o 1642
1351.51/1359.13	o 1639
1351.91/1359.51	o 1637
1352.22/1359.87	o 1629
1353.01/1360.62	o 1619
1353.22/1360.90	o 1615
1353.51/1361.14	o 1611
1353.81/1361.49	o 1608
1354.21/1361.87	o 1605
1354.61/1362.24	o 1603
1355.01/1362.61	o 1601
1355.31/1362.99	o 1599
1356.11/1363.70	o 1596
1356.41/1364.06	o 1594
1357.21/1364.81	o 1593
1357.50/1365.19	o 1591
1357.90/1365.56	o 1586
1358.31/1365.94	o 1582
1358.51/1366.20	o 1577
1359.61/1367.24	o 1573
1359.92/1367.53	o 1566
1360.21/1367.89	o 1561
1360.61/1368.20	o 1558
1360.92/1368.58	o 1554
1361.31/1368.92	o 1552
1361.61/1369.28	o 1546
1362.02/1369.65	o 1542
1362.71/1370.37	o 1541
1363.11/1370.74	o 1531
1363.41/1371.05	o 1522
1363.71/1371.35	o 1515
1364.01/1371.68	o 1506
1364.41/1372.03	o 1505
1364.71/1372.37	o 1503
1365.11/1372.72	o 1500
1365.81/1373.44	o 1498
1366.21/1373.80	o 1493
1366.51/1374.17	o 1490
1367.21/1374.87	o 1488
1367.61/1375.24	o 1487
1368.01/1375.62	o 1485
1368.31/1375.98	o 1484
1368.71/1376.35	o 1479
1369.11/1376.74	o 1471
1369.41/1377.05	o 1466
1370.11/1377.78	o 1465
1370.51/1378.16	o 1464
1370.91/1378.53	o 1463
1371.61/1379.28	o 1461
1372.01/1379.65	o 1451
1372.31/1379.99	o 1443
1375.40/1383.00	o 1438
1375.50/1383.19	o 1431
1375.80/1383.48	o 1430
1376.20/1383.85	o 1428
1376.60/1384.24	o 1425
1376.90/1384.56	o 1420
1377.60/1385.24	o 1415
1377.90/1385.53	o 1409
1378.20/1385.87	o 1406
1378.61/1386.23	o 1403
1378.90/1386.58	o 1401
1379.30/1386.93	o 1398
1380.00/1387.63	o 1396
1380.30/1387.99	o 1391
1380.70/1388.34	o 1388
1381.40/1389.03	o 1385
1382.40/1390.07	o 1384
1382.50/1390.19	o 1377
1382.80/1390.45	o 1375
1383.70/1391.35	o 1371
1384.00/1391.66	o 1369
1384.30/1391.94	o 1368
1384.90/1392.57	o 1367
1385.30/1392.90	o 1363
1385.60/1393.21	o 1361
1386.20/1393.81	o 1360
1386.40/1394.08	o 1358
1386.70/1394.38	o 1354
1387.00/1394.69	o 1347
1387.40/1395.01	o 1344
1387.70/1395.31	o 1342
1388.30/1395.92	o 1337
1388.60/1396.21	o 1334
1389.79/1397.42	o 1328
1390.09/1397.72	o 1325
1390.39/1398.02	o 1323
1390.70/1398.33	o 1319
1391.00/1398.64	o 1317
1391.30/1398.95	o 1315
1391.60/1399.26	o 1313
1391.90/1399.53	o 1312
1392.50/1400.13	o 1308
1392.80/1400.43	o 1302
1393.10/1400.74	o 1301
1393.40/1401.04	o 1300
1393.70/1401.35	o 1296
1394.30/1401.95	o 1295
1394.80/1402.43	o 1294
1395.10/1402.71	o 1286
1395.40/1403.00	o 1283
1395.60/1403.27	o 1281
1396.20/1403.85	o 1280
1396.50/1404.14	o 1279
1397.40/1405.02	o 1278
1397.70/1405.33	o 1272
1398.00/1405.63	o 1267
1398.30/1405.93	o 1265
1398.60/1406.23	o 1258
1398.90/1406.52	o 1253
1399.09/1406.70	o 1249
1399.40/1407.02	o 1245
1400.29/1407.91	o 1244
1400.89/1408.52	o 1242
1401.19/1408.84	o 1239
1401.79/1409.46	o 1237
1402.39/1410.02	o 1235
1402.59/1410.27	o 1231
1402.79/1410.48	o 1227
1403.09/1410.78	o 1223
1403.69/1411.38	o 1222
1403.99/1411.66	o 1219
1404.59/1412.25	o 1213
1404.89/1412.52	o 1205
1405.09/1412.71	o 1202
1405.39/1413.01	o 1199
1405.59/1413.29	o 1197
1406.49/1414.19	o 1189
1406.79/1414.40	o 1183
1407.29/1414.99	o 1182
1407.58/1415.28	o 1181
1408.19/1415.83	o 1177
1408.68/1416.40	o 1174
1408.98/1416.69	o 1169
1409.08/1416.73	o 1157
1409.39/1417.01	o 1148
1409.58/1417.25	o 1146
1409.88/1417.52	o 1135
1410.08/1417.70	o 1130
1410.58/1418.23	o 1129
1410.78/1418.46	o 1126
1411.08/1418.73	o 1122
1411.38/1419.00	o 1121
1411.58/1419.26	o 1120
1412.68/1420.34	o 1115
1412.78/1420.46	o 1110
1413.08/1420.72	o 1108
1414.39/1422.04	o 1106
1414.69/1422.32	o 1105
1415.19/1422.81	o 1101
1415.39/1423.08	o 1100
1415.69/1423.35	o 1096
1415.89/1423.52	o 1095
1416.09/1423.79	o 1090
1416.69/1424.35	o 1089
1416.99/1424.63	o 1088
1417.39/1425.09	o 1084
1417.69/1425.37	o 1083
1417.99/1425.65	o 1079
1418.19/1425.84	o 1076
1418.39/1426.09	o 1074
1418.98/1426.61	o 1071
1419.19/1426.86	o 1069
1419.68/1427.31	o 1064
1419.88/1427.56	o 1063
1420.18/1427.83	o 1060
1420.48/1428.10	o 1059
1420.68/1428.36	o 1054
1421.28/1428.92	o 1048
1421.49/1429.14	o 1041
1421.88/1429.59	o 1039
1422.38/1430.09	o 1038
1422.68/1430.36	o 1037
1423.48/1431.17	o 1031
1423.69/1431.33	o 1029
1423.88/1431.59	o 1028
1424.18/1431.87	o 1025
1424.48/1432.14	o 1022
1425.08/1432.71	o 1021
1425.89/1433.55	o 1020
1426.68/1434.38	o 1018
1427.28/1434.95	o 1001
1427.58/1435.22	o 999
1428.08/1435.75	o 995
1428.68/1436.31	o 993
1429.18/1436.85	o 991
1429.48/1437.14	o 988
1429.78/1437.42	o 987
1430.28/1437.93	o 984
1430.78/1438.49	o 983
1431.08/1438.78	o 980
1431.38/1439.09	o 976
1431.98/1439.68	o 974
1432.28/1439.98	o 973
1432.58/1440.28	o 972
1433.87/1441.50	o 971
1434.07/1441.73	o 969
1434.37/1442.03	o 966
1434.68/1442.33	o 963
1434.97/1442.63	o 960
1435.27/1442.90	o 955
1435.78/1443.49	o 954
1436.37/1444.09	o 953
1436.67/1444.39	o 952
1437.07/1444.70	o 947
1437.37/1445.01	o 946
1437.67/1445.32	o 943
1440.08/1447.75	o 942
1440.37/1448.05	o 938
1440.67/1448.37	o 937
1440.97/1448.68	o 935
1441.28/1449.00	o 932
1441.67/1449.30	o 931
1441.97/1449.64	o 929
1442.07/1449.74	o 925
1442.37/1450.04	o 924
1442.67/1450.36	o 923
1442.97/1450.68	o 922
1443.27/1451.00	o 921
1443.67/1451.30	o 920
1443.97/1451.62	o 919
1444.27/1451.93	o 910
1444.37/1452.05	o 906
1444.67/1452.36	o 905
1445.87/1453.57	o 903
1446.17/1453.84	o 901
1446.47/1454.13	o 899
1446.77/1454.43	o 898
1447.07/1454.74	o 897
1447.37/1455.04	o 896
1448.47/1456.12	o 893
1449.38/1457.07	o 892
1449.98/1457.64	o 890
1450.28/1457.96	o 889
1450.57/1458.29	o 886
1452.28/1459.95	o 885
1453.77/1461.46	o 881
1454.07/1461.79	o 875
1454.48/1462.10	o 872
1455.37/1463.08	o 871
1456.07/1463.74	o 867
1456.37/1464.06	o 863
1456.77/1464.41	o 862
1457.07/1464.71	o 861
1457.37/1465.02	o 860
1457.67/1465.35	o 859
1457.87/1465.58	o 858
1458.17/1465.86	o 857
1458.47/1466.16	o 855
1458.77/1466.47	o 853
1460.37/1468.08	o 850
1460.77/1468.42	o 845
1460.87/1468.52	o 840
1461.17/1468.86	o 837
1461.87/1469.53	o 832
1462.07/1469.79	o 828
1462.47/1470.11	o 825
1463.07/1470.79	o 823
1464.07/1471.80	o 822
1464.47/1472.13	o 821
1464.77/1472.45	o 818
1465.07/1472.78	o 813
1465.37/1473.05	o 808
1465.97/1473.70	o 806
1466.36/1474.02	o 804
1468.26/1475.94	o 803
1468.56/1476.27	o 801
1468.86/1476.60	o 800
1469.26/1476.92	o 798
1469.56/1477.25	o 796
1469.86/1477.53	o 792
1470.16/1477.86	o 791
1470.46/1478.19	o 790
1470.86/1478.52	o 788
1471.16/1478.87	o 786
1471.86/1479.54	o 783
1472.16/1479.89	o 780
1472.56/1480.23	o 777
1472.86/1480.56	o 775
1473.16/1480.86	o 773
1473.55/1481.21	o 772
1473.85/1481.55	o 767
1474.05/1481.70	o 760
1474.35/1482.03	o 759
1474.65/1482.35	o 757
1475.36/1483.02	o 756
1475.65/1483.37	o 755
1476.95/1484.70	o 754
1477.35/1485.04	o 752
1477.95/1485.67	o 748
1478.36/1486.00	o 747
1483.06/1490.76	o 744
1483.46/1491.10	o 740
1483.76/1491.45	o 737
1484.06/1491.75	o 732
1484.36/1492.10	o 731
1484.76/1492.45	o 730
1485.06/1492.80	o 728
1485.76/1493.49	o 726
1486.16/1493.82	o 722
1486.86/1494.53	o 721
1487.16/1494.88	o 720
1487.56/1495.25	o 718
1487.96/1495.60	o 717
1488.26/1495.95	o 715
1488.65/1496.31	o 711
1488.95/1496.61	o 708
1489.25/1496.98	o 707
1490.05/1497.70	o 706
1491.05/1498.77	o 704
1492.15/1499.80	o 702
1493.15/1500.89	o 701
1493.85/1501.60	o 700
1494.95/1502.62	o 699
1495.65/1503.35	o 698
1496.05/1503.71	o 697
1496.35/1504.06	o 695
1496.75/1504.42	o 694
1497.05/1504.78	o 693
1497.45/1505.15	o 692
1498.25/1505.91	o 691
1498.95/1506.67	o 690
1499.35/1507.07	o 688
1500.15/1507.84	o 687
1500.55/1508.23	o 684
1501.65/1509.39	o 683
1502.04/1509.79	o 681
1502.34/1510.09	o 678
1502.85/1510.58	o 677
1503.24/1510.96	o 676
1503.64/1511.35	o 670
1504.44/1512.13	o 669
1504.84/1512.52	o 668
1505.54/1513.29	o 660
1505.84/1513.52	o 657
1506.24/1513.91	o 656
1506.64/1514.30	o 654
1506.84/1514.56	o 648
1507.25/1514.93	o 647
1507.64/1515.30	o 646
1507.94/1515.68	o 645
1509.54/1517.26	o 644
1509.94/1517.64	o 643
1510.34/1518.04	o 641
1511.54/1519.25	o 640
1512.54/1520.28	o 639
1512.94/1520.67	o 635
1513.24/1520.98	o 632
1513.64/1521.39	o 630
1514.04/1521.79	o 629
1516.55/1524.22	o 628
1516.95/1524.61	o 627
1517.25/1524.96	o 623
1517.65/1525.36	o 622
1518.45/1526.15	o 621
1518.85/1526.55	o 620
1519.25/1526.95	o 619
1519.64/1527.35	o 615
1521.94/1529.69	o 614
1522.44/1530.10	o 613
1522.84/1530.51	o 612
1523.65/1531.31	o 610
1524.75/1532.44	o 608
1525.54/1533.25	o 606
1525.95/1533.66	o 603
1526.14/1533.81	o 600
1526.54/1534.22	o 599
1526.95/1534.62	o 598
1528.04/1535.78	o 596
1528.44/1536.16	o 594
1528.84/1536.56	o 593
1529.24/1536.96	o 588
1529.64/1537.35	o 586
1530.44/1538.14	o 585
1530.84/1538.54	o 584
1531.64/1539.34	o 583
1531.74/1539.46	o 581
1531.94/1539.62	o 578
1532.34/1540.02	o 574
1532.54/1540.24	o 570
1532.94/1540.64	o 569
1533.34/1541.02	o 566
1535.74/1543.42	o 565
1536.14/1543.81	o 564
1536.24/1543.97	o 558
1536.44/1544.12	o 552
1536.63/1544.35	o 550
1536.84/1544.56	o 544
1537.03/1544.78	o 543
1537.43/1545.15	o 540
1537.83/1545.53	o 539
1538.23/1545.92	o 538
1538.63/1546.32	o 534
1538.73/1546.46	o 527
1539.04/1546.80	o 526
1539.43/1547.19	o 525
1540.24/1547.99	o 523
1540.63/1548.38	o 521
1540.93/1548.67	o 519
1541.34/1549.08	o 518
1541.73/1549.48	o 515
1542.13/1549.87	o 514
1542.33/1550.02	o 510
1542.43/1550.18	o 506
1542.83/1550.53	o 505
1543.63/1551.31	o 504
1544.43/1552.11	o 503
1544.83/1552.53	o 501
1545.13/1552.89	o 498
1545.53/1553.27	o 493
1545.83/1553.54	o 488
1547.03/1554.71	o 487
1547.33/1555.06	o 485
1548.53/1556.27	o 484
1548.83/1556.56	o 481
1549.63/1557.37	o 479
1550.03/1557.80	o 477
1550.33/1558.06	o 471
1550.93/1558.68	o 466
1551.33/1559.06	o 463
1551.73/1559.46	o 457
1551.93/1559.64	o 450
1553.13/1560.83	o 449
1554.33/1562.03	o 448
1554.73/1562.44	o 446
1555.13/1562.84	o 445
1555.53/1563.26	o 444
1555.93/1563.67	o 443
1556.43/1564.11	o 442
1556.83/1564.52	o 440
1557.23/1564.96	o 438
1557.43/1565.15	o 436
1557.84/1565.57	o 433
1558.23/1565.99	o 432
1559.13/1566.80	o 430
1560.33/1568.02	o 429
1560.73/1568.44	o 428
1561.53/1569.28	o 426
1562.03/1569.71	o 425
1562.13/1569.84	o 423
1562.93/1570.69	o 421
1563.23/1570.98	o 419
1564.52/1572.29	o 417
1564.92/1572.61	o 413
1565.72/1573.46	o 412
1567.03/1574.75	o 411
1567.22/1574.94	o 407
1568.52/1576.20	o 406
1568.92/1576.62	o 405
1569.22/1576.96	o 404
1570.42/1578.17	o 403
1571.72/1579.41	o 402
1572.12/1579.83	o 401
1572.62/1580.39	o 399
1573.82/1581.58	o 396
1574.32/1582.01	o 394
1574.62/1582.33	o 388
1576.52/1584.23	o 387
1576.92/1584.65	o 386
1577.52/1585.30	o 385
1577.91/1585.68	o 383
1578.31/1586.04	o 380
1579.51/1587.26	o 379
1581.51/1589.27	o 378
1582.42/1590.12	o 377
1582.82/1590.55	o 371
1583.03/1590.72	o 367
1584.62/1592.31	o 365
1585.42/1593.10	o 364
1586.22/1593.93	o 363
1586.62/1594.35	o 362
1587.72/1595.45	o 360
1589.82/1597.50	o 359
1590.12/1597.82	o 355
1590.42/1598.14	o 354
1591.42/1599.18	o 353
1592.32/1600.07	o 352
1593.62/1601.35	o 351
1594.52/1602.27	o 350
1595.91/1603.67	o 349
1596.41/1604.13	o 348
1596.81/1604.59	o 345
1597.01/1604.72	o 343
1597.91/1605.65	o 342
1598.41/1606.12	o 341
1599.81/1607.54	o 340
1600.31/1608.01	o 338
1601.51/1609.28	o 336
1601.91/1609.61	o 333
1602.81/1610.57	o 332
1604.01/1611.77	o 331
1605.01/1612.74	o 329
1605.31/1613.05	o 328
1605.70/1613.45	o 326
1606.60/1614.40	o 325
1606.70/1614.44	o 322
1609.30/1617.06	o 319
1610.20/1617.99	o 317
1610.40/1618.20	o 314
1611.30/1619.00	o 313
1611.71/1619.46	o 312
1614.00/1621.75	o 311
1614.50/1622.21	o 310
1614.90/1622.68	o 308
1615.10/1622.88	o 306
1615.90/1623.67	o 305
1617.80/1625.52	o 304
1619.91/1627.69	o 303
1624.40/1632.15	o 302
1624.91/1632.62	o 301
1625.60/1633.31	o 300
1626.90/1634.63	o 299
1627.40/1635.10	o 298
1627.70/1635.42	o 296
1628.60/1636.36	o 295
1629.10/1636.83	o 294
1631.20/1638.94	o 293
1632.30/1640.05	o 292
1633.10/1640.84	o 291
1633.60/1641.31	o 289
1634.60/1642.34	o 288
1635.30/1643.01	o 286
1639.40/1647.12	o 285
1640.20/1647.93	o 284
1641.40/1649.16	o 283
1641.79/1649.55	o 282
1643.69/1651.48	o 281
1644.19/1651.92	o 280
1644.60/1652.37	o 279
1645.80/1653.56	o 278
1645.89/1653.67	o 277
1646.39/1654.11	o 276
1646.69/1654.41	o 275
1649.59/1657.32	o 274
1650.29/1658.06	o 273
1650.49/1658.21	o 271
1652.69/1660.44	o 270
1653.09/1660.87	o 269
1653.99/1661.71	o 268
1654.09/1661.83	o 267
1655.19/1662.94	o 266
1655.88/1663.62	o 265
1656.28/1664.04	o 264
1656.48/1664.20	o 261
1657.28/1665.01	o 260
1658.18/1665.97	o 259
1658.99/1666.80	o 258
1659.18/1666.98	o 256
1660.09/1667.81	o 255
1661.28/1669.02	o 252
1662.79/1670.50	o 250
1665.69/1673.43	o 249
1665.69/1673.49	o 246
1666.49/1674.23	o 244
1666.89/1674.62	o 243
1669.09/1676.80	o 242
1669.89/1677.61	o 241
1670.29/1678.02	o 240
1670.59/1678.37	o 235
1670.89/1678.68	o 234
1671.29/1679.03	o 233
1671.89/1679.63	o 232
1673.68/1681.43	o 231
1674.08/1681.83	o 229
1674.39/1682.17	o 227
1674.78/1682.56	o 224
1674.88/1682.65	o 220
1676.08/1683.83	o 219
1676.48/1684.21	o 218
1676.88/1684.61	o 217
1677.98/1685.78	o 216
1678.08/1685.89	o 214
1679.28/1687.08	o 212
1679.58/1687.39	o 211
1679.98/1687.77	o 210
1680.38/1688.14	o 209
1681.08/1688.83	o 208
1681.48/1689.22	o 207
1681.78/1689.52	o 206
1712.07/1719.80	   
1712.07/1719.80	   search
1712.07/1719.80	     run=0  nbConstraintChecks=3431890858  nbAssignments=4336
1712.07/1719.80	       =>  wckTime=1698.898  cpuTime=1691.31  mem=112M234
1712.07/1719.80	   
1712.07/1719.80	   global
1712.07/1719.80	     nbConstraintChecks=3431890858  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1712.07/1719.80	     solvingWckTime=1698.886  solvingCpuTime=1691.29  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1712.07/1719.80	     globalCpuTime=1709.2
1712.07/1719.80	       =>  wckTime=1719.388  cpuTime=1709.17  mem=112M234
1712.07/1719.80	   
1712.07/1719.80	   solver DecomposerSolver being built... 
1720.67/1729.27	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-1112990-1215876481/watcher-1112990-1215876481 -o /tmp/evaluation-result-1112990-1215876481/solver-1112990-1215876481 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112990-1215876481.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.98 2.57 2.25 4/81 19702
/proc/meminfo: memFree=1901708/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=18572 CPUtime=0
/proc/19702/stat : 19702 (runsolver) D 19700 19702 18643 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44350644 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 272467815719 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/19702/statm: 4643 292 257 25 0 2626 0

[startup+0.028236 s]
/proc/loadavg: 2.98 2.57 2.25 4/81 19702
/proc/meminfo: memFree=1901708/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=10196 CPUtime=0
/proc/19702/stat : 19702 (java) D 19700 19702 18643 0 -1 0 357 0 0 0 0 0 0 0 18 0 1 0 44350644 10440704 161 996147200 134512640 134550740 4294955952 18446744073709551615 4678564 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/19702/statm: 2549 161 134 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10196

[startup+0.105337 s]
/proc/loadavg: 2.98 2.57 2.25 4/81 19702
/proc/meminfo: memFree=1901708/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=861228 CPUtime=0.02
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 1708 0 1 0 1 1 0 0 18 0 3 0 44350644 881897472 1405 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 215307 1405 563 9 0 210286 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861228

[startup+0.302259 s]
/proc/loadavg: 2.98 2.57 2.25 4/81 19702
/proc/meminfo: memFree=1901708/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=866016 CPUtime=0.17
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 4291 0 13 0 13 4 0 0 18 0 9 0 44350644 886800384 3739 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216504 3739 1841 9 0 211052 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 866016

[startup+0.701287 s]
/proc/loadavg: 2.98 2.57 2.25 4/81 19702
/proc/meminfo: memFree=1901708/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867024 CPUtime=0.51
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 8095 0 26 0 45 6 0 0 18 0 9 0 44350644 887832576 7491 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216756 7491 1967 9 0 211284 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 867024

[startup+1.50234 s]
/proc/loadavg: 2.98 2.57 2.25 3/90 19711
/proc/meminfo: memFree=1855356/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867456 CPUtime=1.31
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 20565 0 26 0 118 13 0 0 18 0 9 0 44350644 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216864 19926 2004 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867456 CPUtime=1.04
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15735 0 26 0 94 10 0 0 19 0 9 0 44350647 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 102300288 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867456 CPUtime=0.07
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18643 0 -1 64 3521 0 0 0 6 1 0 0 17 0 9 0 44350654 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867456 CPUtime=0.16
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 613 0 0 0 16 0 0 0 16 0 9 0 44350658 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888274944 19926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 867456

[startup+3.10145 s]
/proc/loadavg: 2.98 2.58 2.25 4/90 19711
/proc/meminfo: memFree=1813564/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867456 CPUtime=2.9
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 25772 0 26 0 275 15 0 0 18 0 9 0 44350644 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216864 25131 2004 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867456 CPUtime=2.41
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15739 0 26 0 230 11 0 0 25 0 9 0 44350647 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4126528403 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867456 CPUtime=0.31
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18643 0 -1 64 8724 0 0 0 28 3 0 0 17 0 9 0 44350654 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867456 CPUtime=0.16
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 613 0 0 0 16 0 0 0 17 0 9 0 44350658 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888274944 25131 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 867456

[startup+6.30166 s]
/proc/loadavg: 2.98 2.58 2.25 3/90 19711
/proc/meminfo: memFree=1793860/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867456 CPUtime=6.11
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 29682 0 27 0 593 18 0 0 18 0 9 0 44350644 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216864 29036 2006 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867456 CPUtime=5.33
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15778 0 27 0 521 12 0 0 25 0 9 0 44350647 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4126901782 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867456 CPUtime=0.54
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18643 0 -1 64 12558 0 0 0 50 4 0 0 18 0 9 0 44350654 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867456 CPUtime=0.2
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 650 0 0 0 20 0 0 0 16 0 9 0 44350658 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888274944 29036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 867456

[startup+12.7011 s]
/proc/loadavg: 2.75 2.55 2.24 4/91 19785
/proc/meminfo: memFree=1810300/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867456 CPUtime=12.51
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 31333 0 27 0 1229 22 0 0 18 0 9 0 44350644 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216864 30682 2007 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867456 CPUtime=11.58
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15785 0 27 0 1144 14 0 0 22 0 9 0 44350647 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4126902700 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867456 CPUtime=0.64
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18643 0 -1 64 14174 0 0 0 59 5 0 0 16 0 9 0 44350654 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867456 CPUtime=0.25
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 678 0 0 0 25 0 0 0 15 0 9 0 44350658 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888274944 30682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 867456

[startup+25.5028 s]
/proc/loadavg: 2.64 2.53 2.24 3/91 19795
/proc/meminfo: memFree=1652412/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867544 CPUtime=25.28
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 46954 0 27 0 2498 30 0 0 18 0 9 0 44350644 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216886 45977 2640 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867544 CPUtime=22.6
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15856 0 27 0 2244 16 0 0 25 0 9 0 44350647 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4127219513 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867544 CPUtime=2.35
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18643 0 -1 64 29696 0 0 0 223 12 0 0 16 0 9 0 44350654 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44350654 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867544 CPUtime=0.3
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 706 0 0 0 30 0 0 0 16 0 9 0 44350658 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 867544

[startup+51.1025 s]
/proc/loadavg: 2.42 2.48 2.23 3/91 19795
/proc/meminfo: memFree=1510460/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867544 CPUtime=50.73
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 46954 0 27 0 5040 33 0 0 18 0 9 0 44350644 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216886 45977 2640 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867544 CPUtime=48.05
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15856 0 27 0 4786 19 0 0 25 0 9 0 44350647 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4126898776 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867544 CPUtime=2.35
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18643 0 -1 64 29696 0 0 0 223 12 0 0 16 0 9 0 44350654 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44350654 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867544 CPUtime=0.3
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 706 0 0 0 30 0 0 0 16 0 9 0 44350658 888365056 45977 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867544 CPUtime=0

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

/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888365056 45990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867544 CPUtime=0.32
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 719 0 0 0 32 0 0 0 16 0 9 0 44350658 888365056 45990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888365056 45990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867544 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888365056 45990 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.59
Current children cumulated vsize (KiB) 867544

[startup+1722.3 s]
/proc/loadavg: 2.73 2.62 2.44 3/89 19913
/proc/meminfo: memFree=1487436/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867456 CPUtime=1713.77
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 133513 0 27 0 171168 209 0 0 18 0 9 0 44350644 888274944 132456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216864 132464 2619 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867456 CPUtime=1710.21
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15948 0 27 0 170860 161 0 0 19 0 9 0 44350647 888274944 132469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867456 CPUtime=3.14
/proc/19702/task/19705/stat : 19705 (java) R 19700 19702 18643 0 -1 64 116126 0 0 0 269 45 0 0 15 0 9 0 44350654 888274944 132477 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 132484 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44350654 888274944 132492 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888274944 132499 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867456 CPUtime=0.38
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 746 0 0 0 37 1 0 0 15 0 9 0 44350658 888274944 132507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888274944 132515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888274944 132523 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.77
Current children cumulated vsize (KiB) 867456

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

[startup+1724.9 s]
/proc/loadavg: 2.73 2.62 2.44 4/89 19913
/proc/meminfo: memFree=999372/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867960 CPUtime=1716.38
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 200954 0 27 0 171402 236 0 0 18 0 9 0 44350644 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216990 199574 2618 9 0 211518 0
[pid=19702/tid=19704] ppid=19700 vsize=867960 CPUtime=1710.38
/proc/19702/task/19704/stat : 19704 (java) R 19700 19702 18643 0 -1 64 15955 0 27 0 170877 161 0 0 21 0 9 0 44350647 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867960 CPUtime=5.58
/proc/19702/task/19705/stat : 19705 (java) R 19700 19702 18643 0 -1 64 183539 0 0 0 486 72 0 0 18 0 9 0 44350654 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 104180100 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867960 CPUtime=0.38
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 746 0 0 0 37 1 0 0 15 0 9 0 44350658 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888791040 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.38
Current children cumulated vsize (KiB) 867960

[startup+1726.5 s]
/proc/loadavg: 2.73 2.62 2.44 3/89 19913
/proc/meminfo: memFree=999692/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867960 CPUtime=1717.97
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 201082 0 27 0 171561 236 0 0 18 0 9 0 44350644 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216990 199575 2618 9 0 211518 0
[pid=19702/tid=19704] ppid=19700 vsize=867960 CPUtime=1710.4
/proc/19702/task/19704/stat : 19704 (java) S 19700 19702 18643 0 -1 64 15956 0 27 0 170879 161 0 0 20 0 9 0 44350647 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867960 CPUtime=7.16
/proc/19702/task/19705/stat : 19705 (java) R 19700 19702 18643 0 -1 64 183666 0 0 0 644 72 0 0 19 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 102493904 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867960 CPUtime=0.38
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 746 0 0 0 37 1 0 0 15 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.97
Current children cumulated vsize (KiB) 867960

[startup+1728.1 s]
/proc/loadavg: 2.67 2.61 2.44 3/89 19913
/proc/meminfo: memFree=999372/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867960 CPUtime=1719.57
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 201334 0 27 0 171721 236 0 0 18 0 9 0 44350644 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216990 199575 2618 9 0 211518 0
[pid=19702/tid=19704] ppid=19700 vsize=867960 CPUtime=1710.4
/proc/19702/task/19704/stat : 19704 (java) S 19700 19702 18643 0 -1 64 15956 0 27 0 170879 161 0 0 19 0 9 0 44350647 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867960 CPUtime=8.75
/proc/19702/task/19705/stat : 19705 (java) R 19700 19702 18643 0 -1 64 183918 0 0 0 803 72 0 0 24 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867960 CPUtime=0.38
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 746 0 0 0 37 1 0 0 15 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.57
Current children cumulated vsize (KiB) 867960

[startup+1728.9 s]
/proc/loadavg: 2.67 2.61 2.44 3/89 19913
/proc/meminfo: memFree=999372/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867960 CPUtime=1720.37
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 201461 0 27 0 171801 236 0 0 18 0 9 0 44350644 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216990 199575 2618 9 0 211518 0
[pid=19702/tid=19704] ppid=19700 vsize=867960 CPUtime=1710.4
/proc/19702/task/19704/stat : 19704 (java) S 19700 19702 18643 0 -1 64 15957 0 27 0 170879 161 0 0 17 0 9 0 44350647 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867960 CPUtime=9.55
/proc/19702/task/19705/stat : 19705 (java) R 19700 19702 18643 0 -1 64 184044 0 0 0 883 72 0 0 25 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 104456945 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44350654 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867960 CPUtime=0.38
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 746 0 0 0 37 1 0 0 15 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867960 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888791040 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.37
Current children cumulated vsize (KiB) 867960

[startup+1729.3 s]
/proc/loadavg: 2.67 2.61 2.44 3/89 19913
/proc/meminfo: memFree=999692/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=867456 CPUtime=1720.74
/proc/19702/stat : 19702 (java) S 19700 19702 18643 0 -1 0 201464 0 27 0 171838 236 0 0 18 0 9 0 44350644 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 216864 199450 2618 9 0 211392 0
[pid=19702/tid=19704] ppid=19700 vsize=867456 CPUtime=1710.4
/proc/19702/task/19704/stat : 19704 (java) S 19700 19702 18643 0 -1 64 15960 0 27 0 170879 161 0 0 16 0 9 0 44350647 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=867456 CPUtime=9.92
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 18643 0 -1 64 184044 0 0 0 920 72 0 0 25 0 9 0 44350654 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 18643 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 44350654 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 18643 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44350654 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44350658 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19709] ppid=19700 vsize=867456 CPUtime=0.38
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 18643 0 -1 64 746 0 0 0 37 1 0 0 15 0 9 0 44350658 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 18643 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44350658 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19702/tid=19711] ppid=19700 vsize=867456 CPUtime=0
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 18643 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44350658 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.74
Current children cumulated vsize (KiB) 867456

[startup+1729.41 s]
/proc/loadavg: 2.67 2.61 2.44 3/89 19913
/proc/meminfo: memFree=999692/2055920 swapFree=4192812/4192956
[pid=19702] ppid=19700 vsize=0 CPUtime=1720.83
/proc/19702/stat : 19702 (java) Z 19700 19702 18643 0 -1 12 201469 0 27 0 171838 245 0 0 16 0 2 0 44350644 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19702/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1720.83
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1729.44
CPU time (s): 1720.88
CPU user time (s): 1718.39
CPU system time (s): 2.49262
CPU usage (%): 99.5048
Max. virtual memory (cumulated for all children) (KiB): 867960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1718.39
system time used= 2.49262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201469
page faults= 27
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37389
involuntary context switches= 61679

runsolver used 2.33664 second user time and 5.63414 second system time

The end

Launcher Data (download as text)

Begin job on node22 at 2008-07-12 17:28:01
IDJOB=1112990
IDBENCH=61508
IDSOLVER=360
FILE ID=node22/1112990-1215876481
PBS_JOBID= 7903544
Free space on /tmp= 66456 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112990-1215876481/watcher-1112990-1215876481 -o /tmp/evaluation-result-1112990-1215876481/solver-1112990-1215876481 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112990-1215876481.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 26fa47e715f58ab849bf125de88d1d96
RANDOM SEED=1805597990

node22.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.253
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.253
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:       1902380 kB
Buffers:          2708 kB
Cached:          43396 kB
SwapCached:          0 kB
Active:         103416 kB
Inactive:         5144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1902380 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10900 kB
Writeback:           0 kB
Mapped:          82592 kB
Slab:            30060 kB
Committed_AS:   283048 kB
PageTables:       1940 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= 66452 MiB
End job on node22 at 2008-07-12 17:56:51