Trace number 280621

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCOPTIMUM 41.4637 41.5497

General information on the benchmark

NameMaxCSP/pedigree/
sheep4r-4-3_ext.xml
MD5SUM059834bcc85163132960cf21f1c992ed
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints3634
Best CPU time to get the best result obtained on this benchmark38.0642
Satisfiable
(Un)Satisfiability was proved
Number of variables2686
Number of constraints3635
Maximum constraint arity3
Maximum domain size10
Number of constraints which are defined in extension3635
Number of constraints which are defined in intension0
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/280621-1169306898/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.58	     nbVariables=2686  nbDomainTypes=2  minDomainSize=1  maxDomainSize=10
0.58	       =>  wckTime=0.285  cpuTime=0.19  mem=14M695
0.58	   
0.58	   relations being loaded...
0.59	   
0.59	   constraints being loaded...
0.79	     nbConstraints=3635  nbRelationTypes=11  nbSingletonDomainVariables=1  nbExtensionStructures=11
0.79	     nbSharedExtensionStructures=3624  nbConflictsStructures=11  nbSharedConflictsStructures=3624
0.79	     nbSharedBinaryRepresentations=99  maxDegree=1258  maxArity=3
0.79	       =>  wckTime=0.499  cpuTime=0.36  mem=25M422
0.88	   
0.88	   solver LocalSearchSolver being built... 
0.92	       =>  wckTime=0.63  cpuTime=0.4  mem=9M199
0.96	
0.96	s SATISFIABLE
0.96	o 914
0.96	c 2721
0.98	o 928
0.98	c 2707
1.01	o 944
1.01	c 2691
1.04	o 953
1.04	c 2682
1.06	o 956
1.06	c 2679
1.07	o 966
1.07	c 2669
1.07	o 973
1.07	c 2662
1.09	o 976
1.09	c 2659
1.10	o 977
1.10	c 2658
1.11	o 978
1.11	c 2657
1.12	o 986
1.12	c 2649
1.31	o 992
1.31	c 2643
1.32	o 999
1.32	c 2636
1.33	o 1006
1.33	c 2629
1.35	o 1015
1.35	c 2620
1.36	o 1021
1.36	c 2614
1.37	o 1024
1.37	c 2611
1.37	o 1026
1.37	c 2609
1.38	o 1035
1.38	c 2600
1.40	o 1040
1.40	c 2595
1.42	o 1042
1.42	c 2593
1.53	o 1049
1.53	c 2586
1.60	o 1052
1.60	c 2583
1.70	o 1053
1.70	c 2582
1.73	o 1056
1.73	c 2579
1.74	o 1066
1.74	c 2569
2.05	o 1074
2.05	c 2561
2.06	o 1076
2.06	c 2559
2.07	o 1079
2.07	c 2556
2.13	o 1081
2.13	c 2554
2.20	o 1082
2.20	c 2553
2.28	o 1090
2.28	c 2545
2.29	o 1092
2.30	c 2543
2.31	o 1093
2.31	c 2542
2.32	o 1097
2.32	c 2538
2.33	o 1100
2.33	c 2535
2.34	o 1104
2.34	c 2531
2.35	o 1113
2.35	c 2522
2.36	o 1114
2.36	c 2521
2.37	o 1117
2.37	c 2518
2.38	o 1119
2.38	c 2516
2.39	o 1125
2.39	c 2510
2.40	o 1127
2.40	c 2508
2.44	o 1130
2.44	c 2505
2.45	o 1133
2.45	c 2502
2.46	o 1136
2.46	c 2499
2.47	o 1140
2.47	c 2495
2.49	o 1142
2.49	c 2493
2.51	o 1144
2.51	c 2491
2.52	o 1146
2.52	c 2489
2.53	o 1149
2.53	c 2486
2.55	o 1157
2.55	c 2478
2.56	o 1160
2.56	c 2475
2.57	o 1165
2.57	c 2470
2.58	o 1168
2.58	c 2467
2.59	o 1170
2.59	c 2465
2.60	o 1173
2.60	c 2462
2.61	o 1176
2.61	c 2459
2.90	o 1178
2.90	c 2457
2.91	o 1186
2.91	c 2449
2.92	o 1189
2.92	c 2446
3.01	o 1190
3.01	c 2445
3.02	o 1192
3.02	c 2443
3.10	o 1196
3.10	c 2439
3.17	o 1200
3.17	c 2435
3.17	o 1203
3.17	c 2432
3.19	o 1208
3.19	c 2427
3.20	o 1210
3.20	c 2425
3.22	o 1212
3.22	c 2423
3.23	o 1214
3.23	c 2421
3.24	o 1216
3.24	c 2419
3.26	o 1218
3.26	c 2417
3.27	o 1220
3.27	c 2415
3.28	o 1222
3.28	c 2413
3.30	o 1224
3.30	c 2411
3.31	o 1226
3.31	c 2409
3.32	o 1232
3.32	c 2403
3.34	o 1234
3.34	c 2401
3.35	o 1236
3.35	c 2399
3.36	o 1238
3.36	c 2397
3.38	o 1241
3.38	c 2394
3.39	o 1246
3.39	c 2389
3.40	o 1248
3.40	c 2387
3.41	o 1250
3.41	c 2385
3.43	o 1253
3.43	c 2382
3.50	o 1255
3.50	c 2380
3.51	o 1257
3.51	c 2378
3.53	o 1259
3.53	c 2376
3.54	o 1261
3.54	c 2374
3.55	o 1263
3.55	c 2372
3.57	o 1265
3.57	c 2370
3.58	o 1268
3.58	c 2367
3.59	o 1270
3.59	c 2365
3.60	o 1272
3.60	c 2363
3.62	o 1274
3.62	c 2361
3.64	o 1276
3.64	c 2359
3.65	o 1279
3.65	c 2356
3.66	o 1282
3.66	c 2353
3.67	o 1283
3.67	c 2352
3.69	o 1285
3.69	c 2350
3.70	o 1296
3.70	c 2339
3.71	o 1297
3.71	c 2338
3.72	o 1300
3.72	c 2335
3.73	o 1303
3.73	c 2332
3.74	o 1306
3.74	c 2329
3.75	o 1308
3.75	c 2327
3.77	o 1309
3.77	c 2326
3.78	o 1311
3.78	c 2324
3.79	o 1313
3.79	c 2322
3.81	o 1315
3.81	c 2320
3.83	o 1316
3.83	c 2319
3.84	o 1318
3.84	c 2317
3.86	o 1320
3.86	c 2315
3.87	o 1322
3.87	c 2313
3.88	o 1324
3.88	c 2311
3.90	o 1326
3.90	c 2309
3.91	o 1328
3.91	c 2307
3.92	o 1330
3.92	c 2305
3.94	o 1332
3.94	c 2303
3.95	o 1334
3.95	c 2301
3.96	o 1336
3.96	c 2299
3.98	o 1338
3.98	c 2297
4.23	o 1340
4.23	c 2295
4.24	o 1342
4.24	c 2293
4.26	o 1344
4.26	c 2291
4.27	o 1346
4.27	c 2289
4.28	o 1348
4.28	c 2287
4.29	o 1350
4.29	c 2285
4.31	o 1352
4.31	c 2283
4.32	o 1354
4.32	c 2281
4.33	o 1356
4.33	c 2279
4.34	o 1357
4.34	c 2278
4.36	o 1359
4.36	c 2276
4.37	o 1361
4.37	c 2274
4.38	o 1363
4.38	c 2272
4.39	o 1365
4.39	c 2270
4.41	o 1367
4.41	c 2268
4.42	o 1369
4.42	c 2266
4.43	o 1371
4.43	c 2264
4.44	o 1373
4.44	c 2262
4.46	o 1375
4.46	c 2260
4.47	o 1378
4.47	c 2257
4.48	o 1381
4.48	c 2254
4.49	o 1382
4.49	c 2253
4.50	o 1384
4.50	c 2251
4.52	o 1386
4.52	c 2249
4.53	o 1388
4.53	c 2247
4.54	o 1390
4.54	c 2245
4.55	o 1392
4.55	c 2243
4.57	o 1394
4.57	c 2241
4.58	o 1396
4.58	c 2239
4.59	o 1398
4.59	c 2237
4.61	o 1400
4.61	c 2235
4.62	o 1402
4.62	c 2233
4.63	o 1404
4.63	c 2231
4.67	o 1405
4.67	c 2230
4.69	o 1407
4.69	c 2228
4.70	o 1409
4.70	c 2226
4.71	o 1411
4.71	c 2224
4.72	o 1415
4.72	c 2220
4.74	o 1417
4.74	c 2218
4.75	o 1419
4.75	c 2216
4.80	o 1420
4.80	c 2215
4.82	o 1422
4.82	c 2213
4.83	o 1424
4.83	c 2211
4.84	o 1426
4.84	c 2209
5.03	o 1428
5.03	c 2207
5.04	o 1430
5.04	c 2205
5.06	o 1432
5.06	c 2203
5.07	o 1434
5.07	c 2201
5.08	o 1436
5.08	c 2199
5.09	o 1438
5.09	c 2197
5.10	o 1440
5.10	c 2195
5.12	o 1442
5.12	c 2193
5.13	o 1444
5.13	c 2191
5.14	o 1446
5.14	c 2189
5.15	o 1448
5.15	c 2187
5.17	o 1450
5.17	c 2185
5.18	o 1452
5.18	c 2183
5.19	o 1454
5.19	c 2181
5.23	o 1455
5.23	c 2180
5.25	o 1457
5.25	c 2178
5.26	o 1459
5.26	c 2176
5.38	o 1460
5.38	c 2175
5.44	o 1461
5.44	c 2174
5.45	o 1463
5.45	c 2172
5.47	o 1465
5.47	c 2170
5.48	o 1467
5.48	c 2168
5.49	o 1469
5.49	c 2166
5.50	o 1471
5.50	c 2164
5.51	o 1473
5.51	c 2162
5.53	o 1475
5.53	c 2160
5.54	o 1477
5.54	c 2158
5.55	o 1479
5.55	c 2156
5.56	o 1481
5.56	c 2154
5.57	o 1483
5.57	c 2152
5.58	o 1485
5.58	c 2150
5.60	o 1487
5.60	c 2148
5.61	o 1489
5.61	c 2146
5.62	o 1491
5.62	c 2144
5.63	o 1493
5.63	c 2142
5.67	o 1494
5.67	c 2141
5.68	o 1496
5.68	c 2139
5.69	o 1498
5.69	c 2137
5.71	o 1500
5.71	c 2135
5.72	o 1502
5.72	c 2133
5.73	o 1504
5.73	c 2131
5.74	o 1506
5.74	c 2129
5.75	o 1508
5.75	c 2127
5.76	o 1510
5.76	c 2125
5.78	o 1512
5.78	c 2123
5.79	o 1514
5.79	c 2121
5.81	o 1515
5.81	c 2120
5.82	o 1517
5.82	c 2118
5.83	o 1519
5.83	c 2116
5.84	o 1521
5.84	c 2114
5.85	o 1523
5.85	c 2112
5.86	o 1525
5.86	c 2110
5.88	o 1527
5.88	c 2108
5.89	o 1529
5.89	c 2106
5.90	o 1531
5.90	c 2104
5.91	o 1533
5.91	c 2102
5.92	o 1535
5.92	c 2100
5.93	o 1537
5.93	c 2098
5.94	o 1539
5.94	c 2096
5.96	o 1540
5.96	c 2095
5.97	o 1543
5.97	c 2092
5.98	o 1545
5.98	c 2090
5.99	o 1547
5.99	c 2088
6.00	o 1549
6.00	c 2086
6.01	o 1551
6.01	c 2084
6.02	o 1553
6.02	c 2082
6.03	o 1555
6.03	c 2080
6.04	o 1557
6.04	c 2078
6.06	o 1559
6.06	c 2076
6.07	o 1561
6.07	c 2074
6.08	o 1563
6.08	c 2072
6.09	o 1565
6.09	c 2070
6.10	o 1567
6.10	c 2068
6.11	o 1569
6.11	c 2066
6.12	o 1574
6.12	c 2061
6.16	o 1576
6.16	c 2059
6.17	o 1578
6.17	c 2057
6.18	o 1580
6.18	c 2055
6.19	o 1582
6.19	c 2053
6.20	o 1584
6.20	c 2051
6.21	o 1586
6.21	c 2049
6.22	o 1588
6.22	c 2047
6.24	o 1590
6.24	c 2045
6.25	o 1592
6.25	c 2043
6.26	o 1594
6.26	c 2041
6.27	o 1596
6.27	c 2039
6.28	o 1598
6.28	c 2037
6.29	o 1600
6.29	c 2035
6.30	o 1602
6.30	c 2033
6.31	o 1604
6.31	c 2031
6.32	o 1606
6.32	c 2029
6.33	o 1610
6.33	c 2025
6.34	o 1613
6.34	c 2022
6.36	o 1615
6.36	c 2020
6.37	o 1617
6.37	c 2018
6.38	o 1619
6.38	c 2016
6.39	o 1621
6.39	c 2014
6.40	o 1623
6.40	c 2012
6.41	o 1625
6.41	c 2010
6.42	o 1627
6.42	c 2008
6.43	o 1629
6.43	c 2006
6.44	o 1631
6.44	c 2004
6.45	o 1633
6.45	c 2002
6.46	o 1635
6.46	c 2000
6.48	o 1637
6.48	c 1998
6.49	o 1639
6.49	c 1996
6.50	o 1640
6.50	c 1995
6.51	o 1642
6.51	c 1993
6.52	o 1645
6.52	c 1990
6.53	o 1650
6.53	c 1985
6.54	o 1652
6.54	c 1983
6.55	o 1654
6.55	c 1981
6.56	o 1656
6.56	c 1979
6.57	o 1658
6.57	c 1977
6.58	o 1660
6.58	c 1975
6.59	o 1661
6.59	c 1974
6.61	o 1662
6.61	c 1973
6.62	o 1664
6.62	c 1971
6.63	o 1666
6.63	c 1969
6.64	o 1668
6.64	c 1967
6.65	o 1670
6.65	c 1965
6.67	o 1672
6.67	c 1963
6.68	o 1674
6.68	c 1961
6.69	o 1676
6.69	c 1959
6.70	o 1678
6.70	c 1957
6.74	o 1680
6.74	c 1955
6.75	o 1682
6.75	c 1953
6.76	o 1684
6.76	c 1951
6.77	o 1686
6.77	c 1949
6.78	o 1688
6.78	c 1947
6.80	o 1690
6.80	c 1945
6.81	o 1692
6.81	c 1943
6.82	o 1694
6.82	c 1941
6.83	o 1696
6.83	c 1939
7.01	o 1698
7.01	c 1937
7.02	o 1700
7.02	c 1935
7.03	o 1702
7.03	c 1933
7.04	o 1703
7.04	c 1932
7.05	o 1706
7.05	c 1929
7.06	o 1707
7.06	c 1928
7.07	o 1710
7.07	c 1925
7.08	o 1712
7.08	c 1923
7.09	o 1714
7.09	c 1921
7.10	o 1716
7.10	c 1919
7.11	o 1718
7.11	c 1917
7.12	o 1719
7.12	c 1916
7.13	o 1721
7.13	c 1914
7.14	o 1723
7.14	c 1912
7.16	o 1724
7.16	c 1911
7.17	o 1726
7.17	c 1909
7.18	o 1728
7.19	c 1907
7.20	o 1730
7.20	c 1905
7.21	o 1731
7.21	c 1904
7.22	o 1733
7.22	c 1902
7.23	o 1735
7.23	c 1900
7.24	o 1737
7.24	c 1898
7.25	o 1739
7.25	c 1896
7.26	o 1741
7.26	c 1894
7.27	o 1743
7.27	c 1892
7.28	o 1745
7.28	c 1890
7.33	o 1760
7.34	c 1875
7.34	o 1762
7.34	c 1873
7.35	o 1764
7.35	c 1871
7.37	o 1766
7.37	c 1869
7.38	o 1768
7.38	c 1867
7.39	o 1770
7.39	c 1865
7.40	o 1772
7.40	c 1863
7.41	o 1774
7.41	c 1861
7.42	o 1776
7.42	c 1859
7.43	o 1778
7.43	c 1857
7.44	o 1780
7.44	c 1855
7.45	o 1782
7.45	c 1853
7.46	o 1784
7.46	c 1851
7.47	o 1785
7.47	c 1850
7.48	o 1787
7.48	c 1848
7.49	o 1789
7.49	c 1846
7.50	o 1791
7.50	c 1844
7.51	o 1793
7.51	c 1842
7.52	o 1795
7.52	c 1840
7.61	o 1797
7.61	c 1838
7.62	o 1799
7.62	c 1836
7.63	o 1801
7.63	c 1834
7.64	o 1803
7.64	c 1832
7.65	o 1805
7.65	c 1830
7.66	o 1807
7.66	c 1828
7.67	o 1809
7.67	c 1826
7.68	o 1811
7.68	c 1824
7.69	o 1813
7.69	c 1822
7.70	o 1815
7.70	c 1820
7.71	o 1817
7.71	c 1818
7.72	o 1819
7.72	c 1816
7.73	o 1821
7.73	c 1814
7.74	o 1823
7.74	c 1812
7.75	o 1825
7.75	c 1810
7.76	o 1827
7.76	c 1808
7.77	o 1829
7.78	c 1806
7.79	o 1830
7.79	c 1805
7.80	o 1832
7.80	c 1803
7.81	o 1834
7.81	c 1801
7.82	o 1836
7.82	c 1799
7.83	o 1838
7.83	c 1797
7.84	o 1840
7.84	c 1795
7.85	o 1842
7.85	c 1793
7.86	o 1844
7.86	c 1791
7.87	o 1846
7.87	c 1789
7.88	o 1848
7.88	c 1787
7.89	o 1850
7.89	c 1785
7.90	o 1852
7.90	c 1783
7.91	o 1854
7.91	c 1781
7.92	o 1856
7.92	c 1779
7.93	o 1858
7.93	c 1777
7.94	o 1860
7.94	c 1775
7.96	o 1862
7.96	c 1773
7.98	o 1864
7.98	c 1771
7.99	o 1866
7.99	c 1769
8.00	o 1868
8.00	c 1767
8.01	o 1870
8.01	c 1765
8.05	o 1872
8.05	c 1763
8.06	o 1875
8.06	c 1760
8.07	o 1877
8.07	c 1758
8.08	o 1879
8.08	c 1756
8.09	o 1881
8.09	c 1754
8.11	o 1882
8.11	c 1753
8.12	o 1884
8.12	c 1751
8.13	o 1886
8.13	c 1749
8.14	o 1888
8.14	c 1747
8.15	o 1890
8.15	c 1745
8.16	o 1892
8.16	c 1743
8.17	o 1894
8.17	c 1741
8.18	o 1896
8.18	c 1739
8.19	o 1898
8.19	c 1737
8.20	o 1900
8.20	c 1735
8.21	o 1902
8.21	c 1733
8.22	o 1904
8.22	c 1731
8.23	o 1906
8.23	c 1729
8.24	o 1908
8.24	c 1727
8.32	o 1910
8.33	c 1725
8.33	o 1912
8.33	c 1723
8.34	o 1914
8.34	c 1721
8.35	o 1916
8.35	c 1719
8.36	o 1918
8.36	c 1717
8.37	o 1920
8.37	c 1715
8.38	o 1922
8.38	c 1713
8.39	o 1924
8.39	c 1711
8.40	o 1926
8.40	c 1709
8.41	o 1928
8.41	c 1707
8.42	o 1930
8.42	c 1705
8.43	o 1932
8.43	c 1703
8.44	o 1934
8.44	c 1701
8.45	o 1936
8.45	c 1699
8.46	o 1938
8.46	c 1697
8.47	o 1940
8.47	c 1695
8.48	o 1942
8.48	c 1693
8.49	o 1944
8.49	c 1691
8.50	o 1946
8.50	c 1689
8.51	o 1948
8.51	c 1687
8.52	o 1950
8.52	c 1685
8.53	o 1952
8.53	c 1683
8.54	o 1954
8.54	c 1681
8.55	o 1956
8.55	c 1679
8.56	o 1958
8.56	c 1677
8.57	o 1960
8.57	c 1675
8.58	o 1962
8.58	c 1673
8.59	o 1964
8.59	c 1671
8.60	o 1966
8.60	c 1669
8.71	o 1968
8.71	c 1667
8.72	o 1970
8.72	c 1665
8.73	o 1972
8.73	c 1663
8.74	o 1974
8.74	c 1661
8.74	o 1976
8.75	c 1659
8.75	o 1978
8.75	c 1657
8.76	o 1980
8.76	c 1655
8.77	o 1982
8.77	c 1653
8.78	o 1984
8.78	c 1651
8.79	o 1986
8.79	c 1649
8.80	o 1993
8.80	c 1642
8.81	o 1996
8.81	c 1639
8.82	o 1998
8.82	c 1637
8.83	o 2000
8.83	c 1635
8.84	o 2002
8.84	c 1633
8.85	o 2004
8.85	c 1631
8.86	o 2006
8.86	c 1629
8.87	o 2008
8.87	c 1627
8.88	o 2010
8.88	c 1625
8.89	o 2012
8.89	c 1623
8.90	o 2014
8.90	c 1621
8.91	o 2016
8.91	c 1619
8.92	o 2018
8.92	c 1617
8.93	o 2020
8.93	c 1615
8.94	o 2022
8.94	c 1613
8.95	o 2024
8.95	c 1611
8.96	o 2026
8.96	c 1609
8.97	o 2028
8.97	c 1607
8.98	o 2030
8.98	c 1605
8.99	o 2032
8.99	c 1603
9.00	o 2034
9.00	c 1601
9.01	o 2036
9.01	c 1599
9.02	o 2038
9.02	c 1597
9.03	o 2040
9.03	c 1595
9.04	o 2045
9.04	c 1590
9.05	o 2047
9.05	c 1588
9.06	o 2049
9.06	c 1586
9.07	o 2051
9.07	c 1584
9.08	o 2053
9.08	c 1582
9.09	o 2055
9.09	c 1580
9.10	o 2057
9.10	c 1578
9.11	o 2059
9.11	c 1576
9.12	o 2061
9.12	c 1574
9.13	o 2063
9.13	c 1572
9.14	o 2065
9.14	c 1570
9.15	o 2067
9.15	c 1568
9.16	o 2068
9.16	c 1567
9.17	o 2070
9.17	c 1565
9.18	o 2072
9.18	c 1563
9.19	o 2074
9.19	c 1561
9.20	o 2077
9.20	c 1558
9.20	o 2079
9.20	c 1556
9.21	o 2081
9.21	c 1554
9.22	o 2083
9.22	c 1552
9.23	o 2085
9.23	c 1550
9.24	o 2087
9.24	c 1548
9.25	o 2089
9.25	c 1546
9.26	o 2091
9.26	c 1544
9.27	o 2093
9.27	c 1542
9.28	o 2095
9.28	c 1540
9.29	o 2097
9.29	c 1538
9.30	o 2099
9.30	c 1536
9.31	o 2101
9.31	c 1534
9.32	o 2103
9.32	c 1532
9.33	o 2105
9.33	c 1530
9.34	o 2107
9.34	c 1528
9.35	o 2109
9.35	c 1526
9.36	o 2111
9.36	c 1524
9.37	o 2113
9.37	c 1522
9.38	o 2115
9.38	c 1520
9.39	o 2117
9.39	c 1518
9.40	o 2119
9.40	c 1516
9.41	o 2121
9.41	c 1514
9.42	o 2123
9.42	c 1512
9.43	o 2125
9.43	c 1510
9.44	o 2127
9.44	c 1508
9.44	o 2129
9.44	c 1506
9.45	o 2131
9.45	c 1504
9.46	o 2133
9.46	c 1502
9.47	o 2135
9.47	c 1500
9.48	o 2137
9.48	c 1498
9.49	o 2139
9.49	c 1496
9.50	o 2141
9.50	c 1494
9.51	o 2143
9.51	c 1492
9.54	o 2144
9.54	c 1491
9.55	o 2146
9.55	c 1489
9.56	o 2148
9.56	c 1487
9.57	o 2150
9.57	c 1485
9.58	o 2152
9.58	c 1483
9.58	o 2154
9.58	c 1481
9.59	o 2156
9.59	c 1479
9.60	o 2158
9.60	c 1477
9.61	o 2159
9.61	c 1476
9.62	o 2160
9.62	c 1475
9.63	o 2163
9.63	c 1472
9.64	o 2165
9.64	c 1470
9.65	o 2167
9.65	c 1468
9.66	o 2169
9.66	c 1466
9.67	o 2171
9.67	c 1464
9.68	o 2173
9.68	c 1462
9.69	o 2175
9.69	c 1460
9.70	o 2177
9.70	c 1458
9.71	o 2179
9.71	c 1456
9.72	o 2181
9.72	c 1454
9.73	o 2183
9.73	c 1452
9.74	o 2185
9.74	c 1450
9.75	o 2187
9.75	c 1448
9.76	o 2189
9.76	c 1446
9.77	o 2192
9.77	c 1443
9.77	o 2194
9.77	c 1441
9.78	o 2196
9.78	c 1439
9.79	o 2198
9.79	c 1437
9.80	o 2200
9.80	c 1435
9.81	o 2201
9.81	c 1434
9.82	o 2203
9.82	c 1432
9.83	o 2205
9.83	c 1430
9.84	o 2207
9.84	c 1428
9.85	o 2219
9.85	c 1416
9.88	o 2221
9.88	c 1414
9.89	o 2223
9.89	c 1412
9.90	o 2225
9.90	c 1410
9.90	o 2227
9.90	c 1408
9.91	o 2229
9.91	c 1406
9.92	o 2231
9.92	c 1404
9.93	o 2233
9.93	c 1402
9.94	o 2235
9.94	c 1400
9.95	o 2237
9.95	c 1398
9.96	o 2239
9.96	c 1396
9.97	o 2241
9.97	c 1394
9.98	o 2242
9.98	c 1393
9.99	o 2244
9.99	c 1391
10.00	o 2246
10.00	c 1389
10.01	o 2247
10.01	c 1388
10.02	o 2249
10.02	c 1386
10.03	o 2250
10.03	c 1385
10.04	o 2252
10.04	c 1383
10.05	o 2254
10.05	c 1381
10.06	o 2256
10.06	c 1379
10.10	o 2258
10.10	c 1377
10.11	o 2260
10.11	c 1375
10.13	o 2262
10.13	c 1373
10.14	o 2263
10.14	c 1372
10.15	o 2264
10.15	c 1371
10.17	o 2265
10.17	c 1370
10.18	o 2266
10.18	c 1369
10.20	o 2267
10.20	c 1368
10.21	o 2268
10.21	c 1367
10.22	o 2269
10.22	c 1366
10.24	o 2270
10.24	c 1365
10.25	o 2271
10.25	c 1364
10.26	o 2272
10.26	c 1363
10.28	o 2273
10.28	c 1362
10.29	o 2275
10.29	c 1360
10.30	o 2276
10.30	c 1359
10.32	o 2277
10.32	c 1358
10.33	o 2278
10.33	c 1357
10.34	o 2279
10.34	c 1356
10.36	o 2280
10.36	c 1355
10.37	o 2281
10.37	c 1354
10.38	o 2282
10.39	c 1353
10.40	o 2283
10.40	c 1352
10.41	o 2284
10.41	c 1351
10.42	o 2286
10.42	c 1349
10.45	o 2287
10.45	c 1348
10.46	o 2289
10.46	c 1346
10.55	o 2291
10.55	c 1344
10.56	o 2292
10.56	c 1343
10.58	o 2293
10.58	c 1342
10.59	o 2294
10.59	c 1341
10.60	o 2295
10.60	c 1340
10.62	o 2296
10.62	c 1339
10.63	o 2298
10.63	c 1337
10.64	o 2299
10.64	c 1336
10.65	o 2300
10.65	c 1335
10.67	o 2301
10.67	c 1334
10.68	o 2303
10.68	c 1332
10.69	o 2304
10.69	c 1331
10.70	o 2305
10.70	c 1330
10.72	o 2306
10.72	c 1329
10.73	o 2307
10.73	c 1328
10.79	o 2308
10.79	c 1327
10.80	o 2309
10.80	c 1326
10.81	o 2310
10.81	c 1325
10.83	o 2311
10.83	c 1324
10.84	o 2312
10.84	c 1323
10.85	o 2313
10.85	c 1322
10.86	o 2314
10.86	c 1321
10.88	o 2315
10.88	c 1320
10.89	o 2316
10.89	c 1319
10.90	o 2318
10.90	c 1317
10.91	o 2319
10.91	c 1316
10.92	o 2321
10.92	c 1314
10.94	o 2322
10.94	c 1313
10.95	o 2323
10.95	c 1312
10.96	o 2325
10.96	c 1310
10.97	o 2326
10.97	c 1309
10.99	o 2327
10.99	c 1308
11.00	o 2328
11.00	c 1307
11.01	o 2329
11.01	c 1306
11.02	o 2330
11.02	c 1305
11.04	o 2331
11.04	c 1304
11.05	o 2332
11.05	c 1303
11.06	o 2333
11.06	c 1302
11.08	o 2334
11.08	c 1301
11.09	o 2335
11.09	c 1300
11.10	o 2336
11.10	c 1299
11.11	o 2338
11.11	c 1297
11.12	o 2339
11.12	c 1296
11.14	o 2340
11.14	c 1295
11.15	o 2342
11.15	c 1293
11.16	o 2343
11.16	c 1292
11.17	o 2344
11.17	c 1291
11.21	o 2346
11.21	c 1289
11.22	o 2348
11.22	c 1287
11.23	o 2350
11.23	c 1285
11.23	o 2351
11.23	c 1284
11.24	o 2353
11.24	c 1282
11.26	o 2355
11.26	c 1280
11.27	o 2356
11.27	c 1279
11.28	o 2357
11.28	c 1278
11.29	o 2358
11.29	c 1277
11.31	o 2359
11.31	c 1276
11.32	o 2360
11.32	c 1275
11.33	o 2361
11.33	c 1274
11.34	o 2362
11.34	c 1273
11.35	o 2364
11.35	c 1271
11.37	o 2365
11.37	c 1270
11.38	o 2366
11.38	c 1269
11.39	o 2368
11.39	c 1267
11.40	o 2369
11.40	c 1266
11.41	o 2370
11.41	c 1265
11.42	o 2371
11.42	c 1264
11.44	o 2372
11.44	c 1263
11.45	o 2373
11.45	c 1262
11.46	o 2374
11.46	c 1261
11.47	o 2376
11.47	c 1259
11.48	o 2377
11.48	c 1258
11.49	o 2378
11.49	c 1257
11.51	o 2379
11.51	c 1256
11.52	o 2380
11.52	c 1255
11.53	o 2381
11.53	c 1254
11.54	o 2382
11.54	c 1253
11.56	o 2383
11.56	c 1252
11.57	o 2384
11.57	c 1251
11.58	o 2385
11.58	c 1250
11.59	o 2386
11.59	c 1249
11.61	o 2387
11.61	c 1248
11.62	o 2388
11.62	c 1247
11.63	o 2389
11.63	c 1246
11.64	o 2390
11.64	c 1245
11.65	o 2391
11.65	c 1244
11.67	o 2392
11.67	c 1243
11.68	o 2393
11.68	c 1242
11.69	o 2394
11.69	c 1241
11.70	o 2395
11.70	c 1240
11.72	o 2396
11.72	c 1239
11.73	o 2397
11.73	c 1238
11.74	o 2398
11.74	c 1237
11.75	o 2399
11.75	c 1236
11.76	o 2400
11.76	c 1235
11.78	o 2401
11.78	c 1234
11.79	o 2402
11.79	c 1233
11.80	o 2403
11.80	c 1232
11.81	o 2404
11.81	c 1231
11.82	o 2405
11.82	c 1230
11.84	o 2406
11.84	c 1229
11.85	o 2407
11.85	c 1228
11.86	o 2408
11.86	c 1227
11.87	o 2409
11.87	c 1226
11.88	o 2410
11.88	c 1225
11.90	o 2411
11.90	c 1224
11.91	o 2412
11.91	c 1223
11.92	o 2413
11.92	c 1222
11.93	o 2414
11.93	c 1221
11.94	o 2415
11.94	c 1220
11.96	o 2416
11.96	c 1219
11.97	o 2417
11.97	c 1218
11.98	o 2418
11.98	c 1217
11.99	o 2419
11.99	c 1216
12.00	o 2420
12.00	c 1215
12.02	o 2421
12.02	c 1214
12.03	o 2422
12.03	c 1213
12.04	o 2424
12.04	c 1211
12.05	o 2426
12.05	c 1209
12.06	o 2427
12.06	c 1208
12.07	o 2428
12.07	c 1207
12.09	o 2429
12.09	c 1206
12.10	o 2430
12.10	c 1205
12.11	o 2431
12.11	c 1204
12.12	o 2432
12.12	c 1203
12.13	o 2433
12.13	c 1202
12.14	o 2434
12.14	c 1201
12.15	o 2436
12.15	c 1199
12.16	o 2437
12.16	c 1198
12.17	o 2438
12.17	c 1197
12.19	o 2439
12.19	c 1196
12.20	o 2440
12.20	c 1195
12.21	o 2441
12.21	c 1194
12.22	o 2442
12.22	c 1193
12.23	o 2443
12.23	c 1192
12.24	o 2444
12.24	c 1191
12.26	o 2445
12.26	c 1190
12.27	o 2446
12.27	c 1189
12.28	o 2447
12.28	c 1188
12.29	o 2448
12.29	c 1187
12.30	o 2449
12.30	c 1186
12.32	o 2450
12.32	c 1185
12.33	o 2451
12.33	c 1184
12.34	o 2452
12.34	c 1183
12.35	o 2453
12.35	c 1182
12.36	o 2454
12.36	c 1181
12.37	o 2455
12.37	c 1180
12.39	o 2456
12.39	c 1179
12.40	o 2457
12.40	c 1178
12.41	o 2458
12.41	c 1177
12.42	o 2459
12.42	c 1176
12.43	o 2460
12.43	c 1175
12.44	o 2461
12.44	c 1174
12.45	o 2462
12.45	c 1173
12.47	o 2463
12.47	c 1172
12.48	o 2464
12.48	c 1171
12.49	o 2465
12.49	c 1170
12.50	o 2466
12.50	c 1169
12.51	o 2468
12.51	c 1167
12.52	o 2469
12.52	c 1166
12.53	o 2470
12.53	c 1165
12.54	o 2471
12.54	c 1164
12.56	o 2472
12.56	c 1163
12.57	o 2473
12.57	c 1162
12.58	o 2474
12.58	c 1161
12.59	o 2475
12.59	c 1160
12.60	o 2476
12.60	c 1159
12.61	o 2477
12.61	c 1158
12.62	o 2478
12.62	c 1157
12.63	o 2480
12.63	c 1155
12.64	o 2482
12.64	c 1153
12.65	o 2483
12.65	c 1152
12.66	o 2484
12.66	c 1151
12.68	o 2486
12.68	c 1149
12.69	o 2487
12.69	c 1148
12.70	o 2488
12.70	c 1147
12.71	o 2489
12.71	c 1146
12.72	o 2490
12.72	c 1145
12.73	o 2491
12.73	c 1144
12.74	o 2492
12.74	c 1143
12.75	o 2493
12.75	c 1142
12.76	o 2494
12.76	c 1141
12.78	o 2495
12.78	c 1140
12.79	o 2496
12.79	c 1139
12.80	o 2497
12.80	c 1138
12.81	o 2498
12.81	c 1137
12.82	o 2499
12.82	c 1136
12.83	o 2500
12.83	c 1135
12.84	o 2501
12.84	c 1134
12.85	o 2502
12.85	c 1133
12.86	o 2503
12.86	c 1132
12.88	o 2504
12.88	c 1131
12.89	o 2505
12.89	c 1130
12.90	o 2506
12.90	c 1129
12.91	o 2507
12.91	c 1128
12.92	o 2508
12.92	c 1127
12.93	o 2509
12.93	c 1126
12.94	o 2510
12.94	c 1125
12.95	o 2511
12.95	c 1124
12.96	o 2512
12.96	c 1123
12.97	o 2513
12.97	c 1122
12.99	o 2514
12.99	c 1121
13.00	o 2515
13.00	c 1120
13.01	o 2516
13.01	c 1119
13.02	o 2517
13.02	c 1118
13.03	o 2518
13.03	c 1117
13.04	o 2519
13.04	c 1116
13.05	o 2520
13.05	c 1115
13.06	o 2521
13.06	c 1114
13.07	o 2522
13.07	c 1113
13.08	o 2523
13.08	c 1112
13.09	o 2524
13.09	c 1111
13.11	o 2525
13.11	c 1110
13.12	o 2527
13.12	c 1108
13.13	o 2529
13.13	c 1106
13.13	o 2531
13.13	c 1104
13.14	o 2533
13.14	c 1102
13.15	o 2535
13.15	c 1100
13.16	o 2536
13.16	c 1099
13.17	o 2537
13.17	c 1098
13.18	o 2538
13.18	c 1097
13.19	o 2539
13.19	c 1096
13.20	o 2540
13.20	c 1095
13.21	o 2541
13.21	c 1094
13.22	o 2542
13.22	c 1093
13.23	o 2543
13.23	c 1092
13.24	o 2544
13.24	c 1091
13.25	o 2545
13.25	c 1090
13.27	o 2546
13.27	c 1089
13.28	o 2547
13.28	c 1088
13.29	o 2548
13.29	c 1087
13.30	o 2549
13.30	c 1086
13.31	o 2550
13.31	c 1085
13.32	o 2552
13.32	c 1083
13.33	o 2553
13.33	c 1082
13.34	o 2554
13.34	c 1081
13.35	o 2555
13.35	c 1080
13.36	o 2556
13.36	c 1079
13.38	o 2558
13.38	c 1077
13.39	o 2559
13.39	c 1076
13.40	o 2561
13.40	c 1074
13.44	o 2562
13.44	c 1073
13.45	o 2563
13.45	c 1072
13.46	o 2564
13.46	c 1071
13.47	o 2565
13.47	c 1070
13.48	o 2566
13.48	c 1069
13.49	o 2567
13.49	c 1068
13.50	o 2568
13.50	c 1067
13.51	o 2569
13.51	c 1066
13.52	o 2570
13.52	c 1065
13.53	o 2571
13.53	c 1064
13.54	o 2572
13.54	c 1063
13.55	o 2573
13.55	c 1062
13.56	o 2574
13.56	c 1061
13.57	o 2575
13.57	c 1060
13.58	o 2576
13.58	c 1059
13.59	o 2577
13.59	c 1058
13.60	o 2578
13.60	c 1057
13.61	o 2579
13.61	c 1056
13.62	o 2580
13.62	c 1055
13.63	o 2581
13.63	c 1054
13.64	o 2582
13.64	c 1053
13.65	o 2583
13.65	c 1052
13.66	o 2584
13.66	c 1051
13.67	o 2585
13.67	c 1050
13.68	o 2586
13.68	c 1049
13.69	o 2587
13.69	c 1048
13.70	o 2588
13.70	c 1047
13.71	o 2589
13.71	c 1046
13.73	o 2590
13.73	c 1045
13.74	o 2591
13.74	c 1044
13.74	o 2593
13.74	c 1042
13.75	o 2594
13.75	c 1041
13.76	o 2595
13.76	c 1040
13.77	o 2596
13.77	c 1039
13.78	o 2597
13.78	c 1038
13.79	o 2598
13.79	c 1037
13.80	o 2599
13.80	c 1036
13.81	o 2600
13.81	c 1035
13.82	o 2601
13.82	c 1034
13.83	o 2602
13.83	c 1033
13.84	o 2604
13.84	c 1031
13.85	o 2605
13.85	c 1030
13.86	o 2606
13.86	c 1029
13.87	o 2607
13.87	c 1028
13.88	o 2608
13.88	c 1027
13.89	o 2609
13.89	c 1026
13.90	o 2610
13.90	c 1025
13.91	o 2611
13.91	c 1024
13.92	o 2612
13.92	c 1023
13.93	o 2613
13.93	c 1022
13.94	o 2614
13.94	c 1021
13.95	o 2615
13.95	c 1020
13.96	o 2616
13.96	c 1019
13.97	o 2617
13.97	c 1018
13.98	o 2618
13.98	c 1017
13.99	o 2620
13.99	c 1015
14.00	o 2621
14.00	c 1014
14.01	o 2622
14.01	c 1013
14.02	o 2623
14.02	c 1012
14.03	o 2624
14.03	c 1011
14.03	o 2626
14.03	c 1009
14.04	o 2627
14.04	c 1008
14.05	o 2628
14.05	c 1007
14.06	o 2629
14.06	c 1006
14.07	o 2631
14.07	c 1004
14.11	o 2632
14.11	c 1003
14.12	o 2633
14.12	c 1002
14.13	o 2634
14.13	c 1001
14.14	o 2635
14.14	c 1000
14.15	o 2636
14.15	c 999
14.16	o 2637
14.16	c 998
14.17	o 2638
14.17	c 997
14.18	o 2639
14.18	c 996
14.19	o 2640
14.19	c 995
14.20	o 2641
14.20	c 994
14.20	o 2642
14.20	c 993
14.21	o 2644
14.21	c 991
14.22	o 2646
14.22	c 989
14.23	o 2647
14.23	c 988
14.24	o 2648
14.24	c 987
14.25	o 2649
14.25	c 986
14.26	o 2650
14.26	c 985
14.27	o 2651
14.27	c 984
14.28	o 2652
14.28	c 983
14.29	o 2653
14.29	c 982
14.30	o 2654
14.30	c 981
14.31	o 2655
14.31	c 980
14.31	o 2656
14.31	c 979
14.32	o 2657
14.32	c 978
14.33	o 2658
14.33	c 977
14.34	o 2659
14.34	c 976
14.35	o 2660
14.35	c 975
14.36	o 2661
14.36	c 974
14.37	o 2662
14.37	c 973
14.38	o 2663
14.38	c 972
14.39	o 2664
14.39	c 971
14.40	o 2665
14.40	c 970
14.41	o 2666
14.41	c 969
14.42	o 2667
14.42	c 968
14.43	o 2668
14.43	c 967
14.43	o 2669
14.43	c 966
14.44	o 2670
14.44	c 965
14.45	o 2671
14.45	c 964
14.46	o 2672
14.46	c 963
14.47	o 2673
14.47	c 962
14.48	o 2674
14.48	c 961
14.49	o 2675
14.49	c 960
14.50	o 2676
14.50	c 959
14.51	o 2677
14.51	c 958
14.52	o 2678
14.52	c 957
14.53	o 2679
14.53	c 956
14.54	o 2680
14.54	c 955
14.55	o 2681
14.55	c 954
14.55	o 2682
14.55	c 953
14.56	o 2683
14.56	c 952
14.57	o 2684
14.57	c 951
14.58	o 2685
14.58	c 950
14.59	o 2686
14.59	c 949
14.60	o 2687
14.60	c 948
14.61	o 2688
14.61	c 947
14.62	o 2689
14.62	c 946
14.63	o 2690
14.63	c 945
14.63	o 2691
14.63	c 944
14.64	o 2692
14.64	c 943
14.65	o 2693
14.65	c 942
14.66	o 2694
14.66	c 941
14.67	o 2695
14.67	c 940
14.68	o 2696
14.68	c 939
14.69	o 2697
14.69	c 938
14.70	o 2698
14.70	c 937
14.70	o 2700
14.70	c 935
14.71	o 2701
14.71	c 934
14.72	o 2702
14.72	c 933
14.73	o 2703
14.73	c 932
14.74	o 2704
14.74	c 931
14.75	o 2705
14.75	c 930
14.76	o 2706
14.76	c 929
14.77	o 2707
14.77	c 928
14.78	o 2708
14.78	c 927
14.79	o 2709
14.79	c 926
14.80	o 2710
14.80	c 925
14.80	o 2711
14.80	c 924
14.81	o 2712
14.81	c 923
14.82	o 2713
14.82	c 922
14.83	o 2714
14.83	c 921
14.84	o 2715
14.84	c 920
14.85	o 2716
14.85	c 919
14.86	o 2717
14.86	c 918
14.87	o 2718
14.87	c 917
14.88	o 2719
14.88	c 916
14.88	o 2720
14.88	c 915
14.89	o 2721
14.89	c 914
14.90	o 2722
14.90	c 913
14.91	o 2723
14.91	c 912
14.92	o 2724
14.92	c 911
14.93	o 2725
14.93	c 910
14.94	o 2726
14.94	c 909
14.95	o 2727
14.95	c 908
14.95	o 2730
14.95	c 905
14.96	o 2731
14.96	c 904
14.97	o 2733
14.97	c 902
14.98	o 2734
14.98	c 901
14.99	o 2735
14.99	c 900
15.00	o 2736
15.00	c 899
15.01	o 2737
15.01	c 898
15.01	o 2738
15.01	c 897
15.02	o 2739
15.02	c 896
15.03	o 2740
15.03	c 895
15.04	o 2741
15.04	c 894
15.05	o 2742
15.05	c 893
15.06	o 2743
15.06	c 892
15.07	o 2744
15.07	c 891
15.08	o 2745
15.08	c 890
15.08	o 2746
15.08	c 889
15.09	o 2747
15.09	c 888
15.10	o 2748
15.10	c 887
15.11	o 2749
15.11	c 886
15.12	o 2751
15.12	c 884
15.13	o 2752
15.13	c 883
15.13	o 2753
15.13	c 882
15.14	o 2754
15.14	c 881
15.15	o 2756
15.15	c 879
15.16	o 2757
15.16	c 878
15.17	o 2758
15.17	c 877
15.18	o 2759
15.18	c 876
15.19	o 2760
15.19	c 875
15.19	o 2761
15.19	c 874
15.20	o 2762
15.20	c 873
15.21	o 2763
15.21	c 872
15.22	o 2764
15.22	c 871
15.23	o 2765
15.23	c 870
15.24	o 2766
15.24	c 869
15.25	o 2767
15.25	c 868
15.26	o 2768
15.26	c 867
15.26	o 2769
15.26	c 866
15.27	o 2770
15.27	c 865
15.28	o 2771
15.28	c 864
15.29	o 2772
15.29	c 863
15.30	o 2773
15.30	c 862
15.31	o 2774
15.31	c 861
15.32	o 2775
15.32	c 860
15.33	o 2776
15.33	c 859
15.33	o 2777
15.33	c 858
15.34	o 2778
15.34	c 857
15.35	o 2779
15.35	c 856
15.36	o 2780
15.36	c 855
15.37	o 2781
15.37	c 854
15.38	o 2782
15.38	c 853
15.39	o 2783
15.39	c 852
15.39	o 2784
15.39	c 851
15.40	o 2786
15.40	c 849
15.41	o 2787
15.41	c 848
15.42	o 2788
15.42	c 847
15.43	o 2789
15.43	c 846
15.44	o 2790
15.44	c 845
15.45	o 2791
15.45	c 844
15.45	o 2793
15.45	c 842
15.46	o 2794
15.46	c 841
15.47	o 2795
15.47	c 840
15.48	o 2796
15.48	c 839
15.49	o 2797
15.49	c 838
15.49	o 2798
15.49	c 837
15.50	o 2800
15.50	c 835
15.51	o 2801
15.51	c 834
15.52	o 2802
15.52	c 833
15.53	o 2803
15.53	c 832
15.54	o 2804
15.54	c 831
15.54	o 2805
15.54	c 830
15.55	o 2806
15.55	c 829
15.56	o 2807
15.56	c 828
15.57	o 2808
15.57	c 827
15.58	o 2809
15.58	c 826
15.59	o 2810
15.59	c 825
15.60	o 2811
15.60	c 824
15.60	o 2812
15.60	c 823
15.61	o 2813
15.61	c 822
15.62	o 2814
15.62	c 821
15.63	o 2815
15.63	c 820
15.64	o 2816
15.64	c 819
15.72	o 2817
15.72	c 818
15.73	o 2818
15.73	c 817
15.73	o 2819
15.73	c 816
15.74	o 2820
15.74	c 815
15.75	o 2821
15.75	c 814
15.76	o 2823
15.76	c 812
15.77	o 2824
15.77	c 811
15.78	o 2825
15.78	c 810
15.78	o 2826
15.78	c 809
15.79	o 2827
15.79	c 808
15.80	o 2828
15.80	c 807
15.81	o 2829
15.81	c 806
15.82	o 2830
15.82	c 805
15.82	o 2832
15.82	c 803
15.83	o 2833
15.83	c 802
15.84	o 2835
15.84	c 800
15.85	o 2836
15.85	c 799
15.86	o 2837
15.86	c 798
15.86	o 2838
15.86	c 797
15.87	o 2839
15.87	c 796
15.88	o 2840
15.88	c 795
15.93	o 2841
15.93	c 794
15.93	o 2842
15.93	c 793
15.94	o 2843
15.94	c 792
15.95	o 2845
15.95	c 790
15.96	o 2846
15.96	c 789
15.97	o 2847
15.97	c 788
15.97	o 2848
15.97	c 787
15.98	o 2849
15.98	c 786
15.99	o 2851
15.99	c 784
16.00	o 2852
16.00	c 783
16.00	o 2854
16.00	c 781
16.01	o 2855
16.01	c 780
16.02	o 2856
16.02	c 779
16.03	o 2858
16.03	c 777
16.04	o 2859
16.04	c 776
16.04	o 2860
16.04	c 775
16.05	o 2862
16.05	c 773
16.06	o 2863
16.06	c 772
16.07	o 2865
16.07	c 770
16.07	o 2866
16.07	c 769
16.08	o 2867
16.08	c 768
16.09	o 2868
16.09	c 767
16.10	o 2869
16.10	c 766
16.11	o 2870
16.11	c 765
16.12	o 2871
16.12	c 764
16.12	o 2872
16.12	c 763
16.13	o 2873
16.13	c 762
16.14	o 2874
16.14	c 761
16.15	o 2875
16.15	c 760
16.16	o 2876
16.16	c 759
16.16	o 2877
16.16	c 758
16.17	o 2878
16.17	c 757
16.18	o 2879
16.18	c 756
16.19	o 2880
16.19	c 755
16.20	o 2881
16.20	c 754
16.20	o 2882
16.20	c 753
16.21	o 2883
16.21	c 752
16.22	o 2885
16.22	c 750
16.23	o 2886
16.23	c 749
16.23	o 2887
16.23	c 748
16.24	o 2888
16.24	c 747
16.25	o 2889
16.25	c 746
16.26	o 2890
16.26	c 745
16.27	o 2891
16.27	c 744
16.27	o 2892
16.27	c 743
16.28	o 2893
16.28	c 742
16.29	o 2894
16.29	c 741
16.30	o 2895
16.30	c 740
16.31	o 2896
16.31	c 739
16.31	o 2897
16.31	c 738
16.32	o 2898
16.32	c 737
16.33	o 2899
16.33	c 736
16.34	o 2900
16.34	c 735
16.34	o 2901
16.34	c 734
16.35	o 2902
16.35	c 733
16.36	o 2903
16.36	c 732
16.37	o 2904
16.37	c 731
16.38	o 2905
16.38	c 730
16.38	o 2906
16.38	c 729
16.39	o 2907
16.39	c 728
16.40	o 2909
16.40	c 726
16.40	o 2910
16.40	c 725
16.41	o 2911
16.41	c 724
16.42	o 2912
16.42	c 723
16.43	o 2913
16.43	c 722
16.43	o 2914
16.43	c 721
16.44	o 2915
16.44	c 720
16.45	o 2916
16.45	c 719
16.46	o 2917
16.46	c 718
16.46	o 2918
16.46	c 717
16.47	o 2919
16.47	c 716
16.48	o 2920
16.48	c 715
16.49	o 2921
16.49	c 714
16.49	o 2922
16.49	c 713
16.50	o 2923
16.50	c 712
16.51	o 2924
16.51	c 711
16.52	o 2925
16.52	c 710
16.53	o 2927
16.53	c 708
16.58	o 2928
16.58	c 707
16.59	o 2929
16.59	c 706
16.59	o 2930
16.59	c 705
16.60	o 2931
16.60	c 704
16.61	o 2932
16.61	c 703
16.61	o 2934
16.61	c 701
16.62	o 2935
16.62	c 700
16.63	o 2937
16.63	c 698
16.63	o 2938
16.63	c 697
16.64	o 2939
16.64	c 696
16.65	o 2940
16.65	c 695
16.66	o 2941
16.66	c 694
16.66	o 2942
16.66	c 693
16.67	o 2943
16.67	c 692
16.68	o 2944
16.68	c 691
16.68	o 2945
16.68	c 690
16.69	o 2946
16.69	c 689
16.70	o 2947
16.70	c 688
16.71	o 2948
16.71	c 687
16.71	o 2949
16.71	c 686
16.72	o 2950
16.72	c 685
16.73	o 2951
16.73	c 684
16.73	o 2952
16.73	c 683
16.74	o 2953
16.74	c 682
16.75	o 2954
16.75	c 681
16.76	o 2955
16.76	c 680
16.76	o 2956
16.76	c 679
16.77	o 2957
16.77	c 678
16.78	o 2958
16.78	c 677
16.78	o 2959
16.78	c 676
16.79	o 2960
16.79	c 675
16.80	o 2961
16.80	c 674
16.81	o 2962
16.81	c 673
16.81	o 2963
16.81	c 672
16.82	o 2964
16.82	c 671
16.83	o 2965
16.83	c 670
16.83	o 2966
16.83	c 669
16.84	o 2967
16.84	c 668
16.85	o 2969
16.85	c 666
16.85	o 2970
16.85	c 665
16.86	o 2971
16.86	c 664
16.87	o 2973
16.87	c 662
16.87	o 2974
16.87	c 661
16.88	o 2975
16.88	c 660
16.89	o 2976
16.89	c 659
16.89	o 2977
16.89	c 658
16.90	o 2978
16.90	c 657
16.91	o 2979
16.91	c 656
16.92	o 2981
16.92	c 654
16.92	o 2982
16.92	c 653
16.94	o 2984
16.94	c 651
16.96	o 2985
16.96	c 650
16.99	o 2987
16.99	c 648
17.06	o 2988
17.06	c 647
17.07	o 2989
17.07	c 646
17.07	o 2990
17.07	c 645
17.08	o 2991
17.08	c 644
17.10	o 2994
17.10	c 641
17.11	o 2995
17.11	c 640
17.12	o 2996
17.12	c 639
17.13	o 2998
17.13	c 637
17.16	o 3000
17.16	c 635
17.19	o 3001
17.19	c 634
17.19	o 3002
17.19	c 633
17.21	o 3003
17.21	c 632
17.22	o 3004
17.22	c 631
17.22	o 3005
17.22	c 630
17.23	o 3006
17.23	c 629
17.24	o 3007
17.24	c 628
17.24	o 3008
17.24	c 627
17.27	o 3010
17.27	c 625
17.29	o 3011
17.29	c 624
17.29	o 3012
17.29	c 623
17.30	o 3013
17.30	c 622
17.31	o 3014
17.31	c 621
17.31	o 3015
17.31	c 620
17.32	o 3016
17.32	c 619
17.33	o 3018
17.33	c 617
17.33	o 3019
17.33	c 616
17.34	o 3021
17.34	c 614
17.34	o 3022
17.34	c 613
17.35	o 3023
17.35	c 612
17.36	o 3024
17.36	c 611
17.37	o 3025
17.37	c 610
17.37	o 3026
17.37	c 609
17.40	o 3028
17.40	c 607
17.41	o 3029
17.41	c 606
17.41	o 3030
17.41	c 605
17.42	o 3031
17.42	c 604
17.43	o 3032
17.43	c 603
17.43	o 3033
17.43	c 602
17.44	o 3034
17.44	c 601
17.45	o 3035
17.45	c 600
17.46	o 3036
17.46	c 599
17.47	o 3037
17.47	c 598
17.51	o 3039
17.51	c 596
17.55	o 3040
17.55	c 595
17.56	o 3041
17.56	c 594
17.56	o 3042
17.56	c 593
17.57	o 3043
17.57	c 592
17.58	o 3044
17.58	c 591
17.59	o 3045
17.59	c 590
17.59	o 3046
17.59	c 589
17.60	o 3047
17.60	c 588
17.60	o 3048
17.60	c 587
17.61	o 3049
17.61	c 586
17.62	o 3050
17.62	c 585
17.70	o 3051
17.70	c 584
17.70	o 3052
17.70	c 583
17.71	o 3054
17.71	c 581
17.71	o 3056
17.71	c 579
17.72	o 3057
17.72	c 578
17.73	o 3058
17.73	c 577
17.73	o 3059
17.73	c 576
17.74	o 3060
17.74	c 575
17.76	o 3061
17.76	c 574
17.81	o 3062
17.81	c 573
17.87	o 3064
17.87	c 571
17.88	o 3066
17.88	c 569
17.89	o 3067
17.89	c 568
17.92	o 3068
17.92	c 567
17.93	o 3069
17.93	c 566
17.94	o 3070
17.94	c 565
17.95	o 3071
17.95	c 564
17.96	o 3072
17.96	c 563
18.04	o 3073
18.04	c 562
18.05	o 3074
18.05	c 561
18.07	o 3075
18.07	c 560
18.08	o 3076
18.08	c 559
18.08	o 3077
18.08	c 558
18.09	o 3078
18.09	c 557
18.10	o 3079
18.10	c 556
18.10	o 3080
18.10	c 555
18.16	o 3081
18.16	c 554
18.17	o 3082
18.17	c 553
18.29	o 3083
18.29	c 552
18.29	o 3084
18.29	c 551
18.32	o 3085
18.32	c 550
18.33	o 3086
18.33	c 549
18.35	o 3088
18.35	c 547
18.35	o 3089
18.35	c 546
18.36	o 3090
18.36	c 545
18.37	o 3091
18.37	c 544
18.38	o 3092
18.38	c 543
18.38	o 3094
18.38	c 541
18.39	o 3095
18.39	c 540
18.47	o 3097
18.47	c 538
18.48	o 3099
18.48	c 536
18.50	o 3100
18.50	c 535
18.51	o 3101
18.51	c 534
18.52	o 3103
18.52	c 532
18.53	o 3104
18.53	c 531
18.54	o 3105
18.54	c 530
18.54	o 3107
18.54	c 528
18.55	o 3108
18.55	c 527
18.56	o 3110
18.56	c 525
18.56	o 3112
18.56	c 523
18.57	o 3113
18.57	c 522
18.59	o 3114
18.59	c 521
18.60	o 3115
18.60	c 520
18.62	o 3116
18.62	c 519
18.63	o 3117
18.63	c 518
18.63	o 3118
18.63	c 517
18.64	o 3119
18.64	c 516
18.64	o 3120
18.64	c 515
18.65	o 3126
18.65	c 509
18.65	o 3128
18.65	c 507
18.66	o 3129
18.66	c 506
18.66	o 3132
18.66	c 503
18.67	o 3133
18.67	c 502
18.67	o 3134
18.67	c 501
18.68	o 3135
18.68	c 500
18.68	o 3136
18.68	c 499
18.69	o 3137
18.69	c 498
18.69	o 3138
18.69	c 497
18.70	o 3139
18.70	c 496
18.73	o 3140
18.73	c 495
18.74	o 3142
18.74	c 493
18.75	o 3143
18.75	c 492
18.75	o 3144
18.75	c 491
18.76	o 3145
18.76	c 490
18.77	o 3146
18.77	c 489
18.78	o 3147
18.78	c 488
18.78	o 3148
18.78	c 487
18.81	o 3149
18.81	c 486
18.82	o 3150
18.82	c 485
18.83	o 3151
18.83	c 484
18.85	o 3152
18.85	c 483
18.86	o 3153
18.86	c 482
18.87	o 3154
18.87	c 481
18.88	o 3157
18.88	c 478
18.89	o 3162
18.89	c 473
18.89	o 3164
18.89	c 471
18.90	o 3166
18.90	c 469
18.90	o 3168
18.90	c 467
18.90	o 3170
18.90	c 465
18.91	o 3172
18.91	c 463
18.91	o 3174
18.91	c 461
18.91	o 3176
18.91	c 459
18.92	o 3178
18.92	c 457
18.92	o 3180
18.92	c 455
18.93	o 3181
18.93	c 454
18.93	o 3183
18.93	c 452
18.93	o 3186
18.93	c 449
18.94	o 3187
18.94	c 448
18.94	o 3188
18.94	c 447
18.95	o 3189
18.95	c 446
18.95	o 3190
18.95	c 445
18.95	o 3191
18.95	c 444
18.96	o 3192
18.96	c 443
18.96	o 3193
18.96	c 442
18.97	o 3194
18.97	c 441
18.97	o 3196
18.97	c 439
18.97	o 3197
18.97	c 438
18.98	o 3198
18.98	c 437
18.98	o 3199
18.98	c 436
18.99	o 3200
18.99	c 435
18.99	o 3201
18.99	c 434
19.00	o 3202
19.00	c 433
19.02	o 3203
19.02	c 432
19.03	o 3206
19.03	c 429
19.03	o 3209
19.03	c 426
19.04	o 3210
19.04	c 425
19.04	o 3211
19.04	c 424
19.05	o 3214
19.05	c 421
19.05	o 3215
19.05	c 420
19.06	o 3216
19.06	c 419
19.07	o 3218
19.07	c 417
19.07	o 3219
19.07	c 416
19.09	o 3221
19.09	c 414
19.10	o 3222
19.10	c 413
19.10	o 3224
19.10	c 411
19.11	o 3227
19.11	c 408
19.12	o 3232
19.12	c 403
19.12	o 3233
19.12	c 402
19.12	o 3235
19.13	c 400
19.13	o 3236
19.13	c 399
19.13	o 3237
19.13	c 398
19.16	o 3238
19.16	c 397
19.16	o 3240
19.16	c 395
19.16	o 3241
19.16	c 394
19.18	o 3243
19.18	c 392
19.18	o 3244
19.18	c 391
19.20	o 3245
19.20	c 390
19.21	o 3247
19.21	c 388
19.21	o 3249
19.21	c 386
19.22	o 3250
19.22	c 385
19.23	o 3252
19.23	c 383
19.23	o 3253
19.23	c 382
19.24	o 3254
19.24	c 381
19.24	o 3255
19.24	c 380
19.25	o 3256
19.25	c 379
19.25	o 3257
19.25	c 378
19.25	o 3259
19.25	c 376
19.26	o 3261
19.26	c 374
19.26	o 3262
19.26	c 373
19.27	o 3263
19.27	c 372
19.27	o 3264
19.27	c 371
19.27	o 3265
19.27	c 370
19.28	o 3266
19.28	c 369
19.28	o 3268
19.28	c 367
19.30	o 3269
19.30	c 366
19.31	o 3271
19.31	c 364
19.33	o 3272
19.33	c 363
19.33	o 3274
19.33	c 361
19.34	o 3275
19.34	c 360
19.34	o 3277
19.34	c 358
19.34	o 3279
19.34	c 356
19.35	o 3280
19.35	c 355
19.35	o 3281
19.35	c 354
19.36	o 3283
19.36	c 352
19.36	o 3284
19.36	c 351
19.38	o 3286
19.38	c 349
19.38	o 3287
19.38	c 348
19.39	o 3289
19.39	c 346
19.39	o 3291
19.39	c 344
19.40	o 3292
19.40	c 343
19.40	o 3293
19.40	c 342
19.41	o 3294
19.41	c 341
19.41	o 3295
19.41	c 340
19.42	o 3296
19.42	c 339
19.42	o 3298
19.42	c 337
19.44	o 3299
19.44	c 336
19.44	o 3300
19.44	c 335
19.45	o 3301
19.45	c 334
19.45	o 3303
19.45	c 332
19.46	o 3304
19.46	c 331
19.46	o 3305
19.46	c 330
19.47	o 3306
19.47	c 329
19.47	o 3307
19.47	c 328
19.48	o 3308
19.48	c 327
19.48	o 3309
19.48	c 326
19.49	o 3310
19.49	c 325
19.50	o 3311
19.50	c 324
19.50	o 3312
19.50	c 323
19.51	o 3313
19.51	c 322
19.51	o 3314
19.51	c 321
19.52	o 3315
19.52	c 320
19.52	o 3316
19.52	c 319
19.53	o 3317
19.53	c 318
19.54	o 3318
19.54	c 317
19.54	o 3319
19.54	c 316
19.55	o 3320
19.55	c 315
19.56	o 3321
19.56	c 314
19.56	o 3322
19.56	c 313
19.57	o 3324
19.57	c 311
19.57	o 3325
19.57	c 310
19.58	o 3326
19.58	c 309
19.58	o 3327
19.58	c 308
19.59	o 3328
19.59	c 307
19.59	o 3329
19.59	c 306
19.60	o 3331
19.60	c 304
19.60	o 3332
19.60	c 303
19.60	o 3333
19.60	c 302
19.61	o 3334
19.61	c 301
19.61	o 3335
19.61	c 300
19.62	o 3337
19.62	c 298
19.62	o 3338
19.62	c 297
19.63	o 3340
19.63	c 295
19.63	o 3341
19.63	c 294
19.63	o 3342
19.63	c 293
19.64	o 3343
19.64	c 292
19.64	o 3344
19.64	c 291
19.65	o 3345
19.65	c 290
19.65	o 3346
19.65	c 289
19.66	o 3347
19.66	c 288
19.66	o 3348
19.66	c 287
19.67	o 3349
19.67	c 286
19.67	o 3350
19.67	c 285
19.68	o 3351
19.68	c 284
19.68	o 3352
19.68	c 283
19.69	o 3353
19.69	c 282
19.69	o 3354
19.69	c 281
19.69	o 3355
19.69	c 280
19.70	o 3356
19.70	c 279
19.70	o 3357
19.71	c 278
19.71	o 3358
19.71	c 277
19.71	o 3359
19.71	c 276
19.72	o 3360
19.72	c 275
19.72	o 3361
19.72	c 274
19.73	o 3363
19.73	c 272
19.74	o 3364
19.74	c 271
19.74	o 3365
19.74	c 270
19.76	o 3366
19.76	c 269
19.76	o 3367
19.76	c 268
19.77	o 3368
19.77	c 267
19.77	o 3369
19.77	c 266
19.78	o 3370
19.78	c 265
19.78	o 3371
19.78	c 264
19.79	o 3372
19.79	c 263
19.79	o 3373
19.79	c 262
19.79	o 3374
19.79	c 261
19.80	o 3375
19.80	c 260
19.81	o 3376
19.81	c 259
19.82	o 3377
19.82	c 258
19.82	o 3378
19.82	c 257
19.83	o 3379
19.83	c 256
19.83	o 3380
19.83	c 255
19.84	o 3382
19.84	c 253
19.85	o 3384
19.85	c 251
19.85	o 3385
19.85	c 250
19.86	o 3386
19.86	c 249
19.87	o 3387
19.87	c 248
19.87	o 3388
19.87	c 247
19.88	o 3389
19.88	c 246
19.88	o 3391
19.88	c 244
19.89	o 3392
19.89	c 243
19.89	o 3393
19.89	c 242
19.89	o 3394
19.89	c 241
19.90	o 3395
19.90	c 240
19.90	o 3396
19.90	c 239
19.90	o 3397
19.90	c 238
19.91	o 3398
19.91	c 237
19.91	o 3399
19.91	c 236
19.92	o 3400
19.92	c 235
19.92	o 3401
19.92	c 234
19.93	o 3402
19.93	c 233
19.93	o 3403
19.93	c 232
19.93	o 3404
19.93	c 231
19.94	o 3405
19.94	c 230
19.94	o 3406
19.94	c 229
19.95	o 3407
19.95	c 228
19.95	o 3408
19.95	c 227
19.96	o 3409
19.96	c 226
19.96	o 3410
19.96	c 225
19.96	o 3411
19.96	c 224
19.97	o 3412
19.97	c 223
19.97	o 3413
19.97	c 222
19.97	o 3414
19.97	c 221
19.98	o 3415
19.98	c 220
19.98	o 3416
19.98	c 219
19.98	o 3417
19.98	c 218
19.99	o 3418
19.99	c 217
19.99	o 3419
19.99	c 216
19.99	o 3420
19.99	c 215
20.00	o 3421
20.00	c 214
20.00	o 3422
20.00	c 213
20.01	o 3423
20.01	c 212
20.01	o 3424
20.01	c 211
20.01	o 3425
20.01	c 210
20.02	o 3426
20.02	c 209
20.02	o 3427
20.02	c 208
20.02	o 3428
20.02	c 207
20.03	o 3429
20.03	c 206
20.03	o 3430
20.03	c 205
20.03	o 3431
20.03	c 204
20.04	o 3432
20.04	c 203
20.04	o 3433
20.04	c 202
20.04	o 3434
20.04	c 201
20.05	o 3435
20.05	c 200
20.05	o 3436
20.05	c 199
20.05	o 3437
20.05	c 198
20.06	o 3438
20.06	c 197
20.06	o 3440
20.06	c 195
20.07	o 3441
20.07	c 194
20.07	o 3442
20.07	c 193
20.07	o 3443
20.07	c 192
20.08	o 3444
20.08	c 191
20.08	o 3445
20.08	c 190
20.08	o 3446
20.08	c 189
20.09	o 3447
20.09	c 188
20.09	o 3448
20.09	c 187
20.09	o 3449
20.09	c 186
20.10	o 3450
20.10	c 185
20.10	o 3451
20.10	c 184
20.11	o 3452
20.11	c 183
20.11	o 3453
20.11	c 182
20.11	o 3454
20.11	c 181
20.12	o 3455
20.12	c 180
20.12	o 3456
20.12	c 179
20.12	o 3457
20.12	c 178
20.12	o 3458
20.12	c 177
20.13	o 3459
20.13	c 176
20.13	o 3460
20.13	c 175
20.13	o 3461
20.13	c 174
20.14	o 3462
20.14	c 173
20.14	o 3463
20.14	c 172
20.14	o 3464
20.14	c 171
20.15	o 3465
20.15	c 170
20.15	o 3466
20.15	c 169
20.15	o 3467
20.15	c 168
20.16	o 3468
20.16	c 167
20.16	o 3469
20.16	c 166
20.16	o 3470
20.16	c 165
20.17	o 3471
20.17	c 164
20.17	o 3472
20.17	c 163
20.17	o 3473
20.17	c 162
20.17	o 3474
20.17	c 161
20.18	o 3475
20.18	c 160
20.18	o 3476
20.18	c 159
20.18	o 3477
20.18	c 158
20.19	o 3478
20.19	c 157
20.19	o 3479
20.19	c 156
20.19	o 3480
20.19	c 155
20.20	o 3482
20.20	c 153
20.20	o 3483
20.20	c 152
20.20	o 3484
20.20	c 151
20.21	o 3485
20.21	c 150
20.21	o 3486
20.21	c 149
20.21	o 3487
20.21	c 148
20.21	o 3488
20.21	c 147
20.22	o 3489
20.22	c 146
20.22	o 3490
20.22	c 145
20.22	o 3491
20.22	c 144
20.23	o 3492
20.23	c 143
20.23	o 3493
20.23	c 142
20.23	o 3494
20.23	c 141
20.24	o 3495
20.24	c 140
20.24	o 3496
20.24	c 139
20.24	o 3497
20.24	c 138
20.24	o 3498
20.24	c 137
20.25	o 3499
20.25	c 136
20.25	o 3500
20.25	c 135
20.25	o 3501
20.25	c 134
20.26	o 3502
20.26	c 133
20.26	o 3503
20.26	c 132
20.26	o 3504
20.26	c 131
20.26	o 3505
20.26	c 130
20.27	o 3506
20.27	c 129
20.27	o 3507
20.27	c 128
20.27	o 3508
20.27	c 127
20.28	o 3509
20.28	c 126
20.28	o 3510
20.28	c 125
20.28	o 3511
20.28	c 124
20.29	o 3512
20.29	c 123
20.29	o 3513
20.29	c 122
20.29	o 3514
20.29	c 121
20.29	o 3515
20.29	c 120
20.30	o 3516
20.30	c 119
20.30	o 3517
20.30	c 118
20.30	o 3518
20.30	c 117
20.31	o 3519
20.31	c 116
20.31	o 3520
20.31	c 115
20.31	o 3521
20.31	c 114
20.32	o 3522
20.32	c 113
20.32	o 3523
20.32	c 112
20.33	o 3524
20.33	c 111
20.33	o 3525
20.33	c 110
20.33	o 3526
20.33	c 109
20.33	o 3527
20.33	c 108
20.33	o 3528
20.33	c 107
20.34	o 3529
20.34	c 106
20.34	o 3530
20.34	c 105
20.34	o 3531
20.34	c 104
20.34	o 3532
20.34	c 103
20.35	o 3533
20.35	c 102
20.35	o 3534
20.35	c 101
20.35	o 3535
20.35	c 100
20.35	o 3536
20.35	c 99
20.36	o 3538
20.36	c 97
20.36	o 3539
20.36	c 96
20.36	o 3540
20.36	c 95
20.37	o 3541
20.37	c 94
20.38	o 3542
20.39	c 93
20.39	o 3543
20.39	c 92
20.39	o 3544
20.39	c 91
20.39	o 3545
20.39	c 90
20.40	o 3546
20.40	c 89
20.40	o 3547
20.40	c 88
20.40	o 3548
20.40	c 87
20.40	o 3549
20.40	c 86
20.41	o 3550
20.41	c 85
20.41	o 3551
20.41	c 84
20.41	o 3552
20.41	c 83
20.41	o 3553
20.41	c 82
20.42	o 3554
20.42	c 81
20.42	o 3555
20.42	c 80
20.42	o 3556
20.42	c 79
20.43	o 3557
20.43	c 78
20.43	o 3558
20.43	c 77
20.43	o 3559
20.43	c 76
20.44	o 3560
20.44	c 75
20.44	o 3561
20.44	c 74
20.45	o 3562
20.45	c 73
20.45	o 3563
20.45	c 72
20.45	o 3564
20.45	c 71
20.45	o 3565
20.45	c 70
20.46	o 3566
20.46	c 69
20.46	o 3567
20.46	c 68
20.46	o 3568
20.46	c 67
20.47	o 3569
20.47	c 66
20.47	o 3570
20.47	c 65
21.22	o 3571
21.22	c 64
22.19	o 3572
22.19	c 63
22.24	o 3573
22.24	c 62
22.24	o 3574
22.24	c 61
22.32	o 3575
22.32	c 60
22.35	o 3576
22.35	c 59
22.36	o 3577
22.36	c 58
22.89	o 3578
22.89	c 57
22.97	o 3579
22.97	c 56
23.32	o 3580
23.32	c 55
23.34	o 3581
23.34	c 54
23.44	o 3582
23.44	c 53
23.47	o 3583
23.47	c 52
23.57	o 3584
23.57	c 51
23.58	o 3585
23.58	c 50
23.63	o 3586
23.63	c 49
23.64	o 3587
23.64	c 48
23.67	o 3588
23.67	c 47
23.76	o 3589
23.76	c 46
23.81	o 3590
23.81	c 45
23.81	o 3591
23.81	c 44
23.85	o 3592
23.85	c 43
23.93	o 3593
23.93	c 42
24.02	o 3594
24.02	c 41
24.16	o 3595
24.16	c 40
24.18	o 3596
24.18	c 39
24.25	o 3597
24.25	c 38
24.33	o 3598
24.33	c 37
24.34	o 3599
24.34	c 36
24.38	o 3600
24.38	c 35
24.38	o 3601
24.38	c 34
24.54	o 3602
24.54	c 33
24.58	o 3603
24.58	c 32
24.78	o 3604
24.78	c 31
24.85	o 3605
24.85	c 30
24.89	o 3606
24.89	c 29
24.92	o 3607
24.92	c 28
25.04	o 3608
25.04	c 27
25.83	o 3609
25.83	c 26
26.00	o 3610
26.00	c 25
26.18	o 3611
26.18	c 24
26.68	o 3612
26.68	c 23
26.75	o 3613
26.75	c 22
27.21	o 3614
27.21	c 21
28.63	o 3615
28.63	c 20
28.78	o 3616
28.78	c 19
29.08	o 3617
29.08	c 18
29.45	   
29.45	   search
29.45	     run=0  nbConstraintChecks=57845289  nbAssignments=10000
29.45	       =>  wckTime=28.532  cpuTime=28.42  mem=10M173
30.44	o 3618
30.44	c 17
30.45	o 3619
30.45	c 16
30.45	o 3620
30.45	c 15
33.08	o 3621
33.08	c 14
36.46	   
36.46	   search
36.46	     run=1  nbConstraintChecks=71718414  nbAssignments=20000
36.46	       =>  wckTime=35.536  cpuTime=35.42  mem=10M173
36.57	o 3622
36.57	c 13
36.65	o 3623
36.65	c 12
36.65	o 3624
36.65	c 11
36.80	o 3626
36.80	c 9
36.81	o 3627
36.81	c 8
36.81	o 3628
36.81	c 7
36.81	o 3629
36.81	c 6
37.20	o 3630
37.20	c 5
37.21	o 3631
37.21	c 4
37.21	o 3632
37.21	c 3
37.24	o 3633
37.24	c 2
39.20	o 3634
39.20	c 1
39.21	   
39.21	   search
39.21	     run=2  nbConstraintChecks=78209921  nbAssignments=20855
39.21	       =>  wckTime=38.285  cpuTime=38.17  mem=10M173
39.21	   
39.21	   global
39.21	     nbConstraintChecks=78209921  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.21	     solvingWckTime=38.277  solvingCpuTime=38.16  expiredTime=no  totalExploration=no  nbFoundSolutions=0
39.21	     globalCpuTime=38.61
39.21	       =>  wckTime=38.915  cpuTime=38.57  mem=10M173
39.21	   
39.21	   solver IterativeSystematicSolver being built... 
39.51	       =>  wckTime=39.219  cpuTime=38.82  mem=44M498
41.52	   
41.52	   preprocessing
41.52	     nbConstraintChecks=33232  nbValidityChecks=16365  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.52	     nbRemovedValues=12448  detectedInconsistency=yes
41.52	       =>  wckTime=2.008  cpuTime=1.96  mem=44M498
41.53	   
41.53	   global
41.53	     nbConstraintChecks=33232  nbValidityChecks=16365  nbRestartNogoods=0  solvingWckTime=2.012  solvingCpuTime=1.97
41.53	     expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=40.83
41.53	       =>  wckTime=41.233  cpuTime=40.79  mem=44M498
41.53	
41.53	s OPTIMUM FOUND
41.53	v 2 6 8 3 1 8 3 5 8 8 8 8 2 2 2 5 6 2 3 2 8 2 1 1 0 2 2 5 1 3 1 8 8 0 8 8 3 6 9 3 3 2 8 5 6 0 8 2 5 5 3 8 1 9 1 2 3 2 6 3 1 6 5 7 2 2 6 2 3 3 3 5 1 2 5 5 5 8 8 8 3 8 2 3 9 3 8 8 6 8 8 1 1 3 8 8 6 5 4 6 5 5 1 2 8 6 8 4 5 8 6 7 3 3 2 3 3 2 3 3 8 6 5 8 5 1 6 2 8 2 2 1 6 2 7 7 3 5 6 3 8 1 1 9 3 2 8 8 3 6 8 8 6 8 5 9 4 6 2 2 2 7 8 6 2 2 5 2 2 5 3 2 8 8 4 2 1 6 8 3 2 0 5 4 6 6 5 3 6 8 8 2 4 3 2 3 3 8 1 2 6 2 6 2 8 6 8 6 2 8 2 3 1 3 5 8 6 5 1 2 8 2 3 3 2 9 5 2 2 8 2 8 1 2 8 1 9 3 1 3 2 1 8 9 2 2 5 3 2 5 1 1 2 5 5 5 0 2 7 1 8 1 8 1 8 3 3 2 1 5 3 8 4 3 5 3 1 5 6 6 6 2 2 2 3 5 2 1 2 2 6 2 2 2 7 8 1 8 1 6 7 8 6 8 3 1 6 9 2 2 2 3 2 2 5 5 8 2 8 8 5 3 3 5 8 3 5 7 3 1 1 6 2 8 2 8 2 6 3 7 6 5 8 2 3 0 3 3 6 2 5 5 7 6 5 5 6 3 3 5 5 7 3 5 8 4 2 8 5 2 3 2 6 3 7 3 9 1 5 7 2 3 1 0 5 8 5 1 3 7 2 3 9 5 8 2 5 2 8 2 2 1 2 2 8 7 5 5 1 1 5 2 2 2 8 8 8 5 2 8 2 2 1 1 8 8 2 2 2 8 2 6 2 1 5 3 3 8 4 1 8 8 5 3 3 8 6 2 6 5 1 2 1 8 2 6 1 3 3 2 2 3 6 5 6 2 8 3 5 8 5 5 5 5 2 2 5 3 1 2 2 5 6 2 5 6 8 7 7 4 7 5 6 5 2 2 8 7 7 1 2 8 8 6 0 5 5 4 1 5 8 5 9 2 5 8 5 8 2 8 6 2 2 2 2 5 8 8 8 5 2 1 1 5 8 8 6 8 2 8 8 3 1 2 8 2 8 7 1 4 2 2 2 8 8 1 5 8 2 2 3 6 8 2 2 5 2 5 1 8 3 8 6 2 8 0 7 0 7 8 2 2 1 2 2 6 8 6 3 7 0 3 3 5 8 6 1 8 4 2 5 2 1 2 5 2 2 7 3 5 2 1 1 5 2 3 8 2 8 5 2 5 6 2 5 8 7 8 5 8 2 2 2 2 5 5 6 2 8 5 2 2 2 8 6 5 8 6 7 2 8 8 6 2 2 2 5 5 8 2 5 2 6 5 5 8 2 7 2 5 2 2 2 1 8 2 5 5 8 5 3 5 9 7 2 3 8 2 2 5 6 2 3 3 3 8 3 6 2 0 6 2 2 2 2 3 2 7 8 7 7 7 5 5 2 8 8 4 2 5 5 8 0 6 8 7 8 3 2 2 3 5 8 2 8 5 8 5 5 8 5 2 2 8 8 5 1 6 2 2 7 7 2 6 8 8 8 2 2 2 5 8 2 5 7 8 2 7 5 5 7 5 2 8 5 4 4 5 2 2 5 8 5 5 5 7 2 5 2 2 8 8 8 8 2 8 2 2 2 8 5 8 2 8 2 7 2 6 2 2 8 7 5 5 2 7 1 5 1 3 5 2 2 5 8 2 5 8 1 2 2 2 5 1 2 8 6 2 2 3 1 1 5 3 5 2 8 1 1 8 1 8 2 3 2 8 8 2 7 1 2 2 5 8 7 2 2 8 2 2 2 2 2 2 1 2 8 0 8 6 7 8 8 8 6 8 8 7 5 7 7 5 3 8 2 8 2 8 2 2 2 5 5 8 2 1 7 2 8 2 8 2 8 6 2 5 8 8 8 8 2 2 8 2 8 5 5 8 5 6 6 2 2 5 2 8 1 2 8 8 1 2 8 8 2 8 3 8 2 2 5 8 8 2 5 5 8 1 3 5 8 1 5 2 5 2 2 7 8 8 2 2 8 7 2 5 6 2 2 5 2 2 2 8 7 5 7 8 7 4 8 6 6 8 8 7 7 2 8 2 2 8 5 8 5 2 8 8 5 8 5 2 8 1 8 8 7 2 8 5 5 2 5 8 2 2 2 5 7 2 7 8 2 7 5 8 2 2 2 5 8 8 5 8 8 1 7 2 7 6 7 8 2 8 7 5 8 2 2 7 6 5 5 8 8 5 2 5 2 2 8 8 9 8 6 6 2 7 5 7 8 7 8 2 2 2 2 2 1 7 2 7 7 5 3 2 2 5 2 8 8 5 3 8 1 2 2 2 5 7 2 5 7 2 0 2 2 1 2 7 8 5 2 5 7 4 7 7 8 8 8 1 5 2 5 8 5 7 4 2 9 1 5 5 2 5 8 8 7 8 5 7 5 7 7 2 5 8 2 6 8 2 2 5 5 5 8 2 8 6 8 5 5 1 5 7 5 8 2 2 2 2 5 5 2 8 7 2 5 5 7 5 7 8 7 8 7 5 1 8 8 5 7 2 5 8 8 2 7 1 2 5 5 8 5 8 8 2 8 6 5 5 2 8 8 5 2 8 1 5 5 2 8 5 5 2 5 8 2 7 2 5 8 8 7 7 7 2 7 7 8 8 7 5 5 4 5 8 5 7 2 2 7 5 7 5 8 6 2 5 1 7 2 2 8 1 5 7 7 5 7 2 2 5 0 8 4 8 8 2 8 5 2 8 7 2 5 8 7 5 7 8 2 6 8 7 5 2 8 5 7 7 5 7 8 5 6 3 8 5 8 8 8 1 8 8 5 2 2 4 2 5 1 7 8 5 5 5 0 4 2 5 8 7 2 8 5 5 2 5 5 7 5 5 3 7 5 8 5 8 5 7 4 6 5 8 2 5 5 5 5 5 8 8 5 6 4 8 8 8 8 8 7 5 7 8 8 2 5 7 5 2 2 2 7 5 2 6 5 7 8 5 5 8 2 5 7 5 5 5 5 5 2 5 8 5 2 2 2 5 5 5 7 8 2 2 4 5 5 2 5 7 7 7 7 7 5 7 5 2 7 4 7 7 5 2 5 7 7 2 8 2 2 2 8 5 2 7 8 5 5 2 7 2 2 5 1 8 5 2 7 8 8 8 7 8 7 7 1 5 7 7 8 2 7 7 5 8 5 6 2 7 7 7 5 5 5 5 7 2 3 2 2 2 2 4 5 7 5 5 8 8 2 5 2 2 7 7 4 5 5 2 5 2 2 4 8 7 2 7 0 2 5 2 5 7 2 7 7 2 4 2 5 4 5 1 5 7 4 4 5 7 5 2 5 5 7 5 7 5 5 5 2 7 7 5 7 5 5 7 7 5 7 2 7 2 7 7 7 7 7 7 5 7 7 7 7 5 5 2 5 5 2 4 7 2 2 2 7 5 5 5 1 5 7 5 7 7 7 7 7 7 7 7 7 8 7 7 8 5 8 7 7 2 7 7 7 7 7 7 5 7 7 7 7 7 7 7 7 7 7 7 2 0 2 2 5 5 1 0 7 7 7 5 2 2 7 5 7 7 5 4 7 7 7 5 5 7 2 7 7 7 7 2 5 7 2 7 7 2 2 7 7 5 7 2 2 7 8 7 7 2 7 2 2 2 7 1 7 2 2 4 7 7 7 5 5 5 2 0 5 2 7 5 5 7 7 5 7 7 2 2 6 7 7 7 7 1 7 7 5 3 2 2 7 7 7 7 7 2 5 2 2 2 5 2 2 7 7 7 5 7 2 7 1 2 2 7 7 7 7 7 7 5 5 5 7 5 7 5 5 2 7 7 7 7 5 5 7 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 4 4 5 2 5 5 2 0 5 2 2 5 2 2 2 2 5 4 5 2 5 5 5 2 7 6 5 2 2 7 7 7 5 2 7 5 1 2 5 5 7 7 7 5 2 5 2 4 5 7 4 7 5 5 2 5 2 5 5 7 7 5 2 5 5 5 5 5 2 2 7 5 5 5 7 5 5 8 7 7 2 5 4 7 7 0 2 2 2 2 7 2 7 2 2 7 7 2 7 7 5 4 7 5 2 8 3 7 2 2 7 5 7 1 7 7 7 5 7 5 5 7 1 7 5 7 7 7 5 5 5 1 4 2 4 7 2 5 5 5 7 7 2 2 5 5 7 4 2 4 7 7 2 5 5 5 7 7 7 1 7 7 5 7 5 8 7 7 5 7 7 5 5 2 5 5 5 5 5 2 1 7 2 7 7 7 5 5 5 7 5 5 5 5 7 5 6 7 7 7 2 8 7 7 7 7 7 7 7 7 7 7 5 2 7 7 7 5 7 7 7 7 5 7 7 5 7 7 2 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 5 7 7 7 5 7 7 7 7 7 7 8 7 7 7 5 7 7 7 2 5 5 2 1 5 2 7 7 7 7 2 7 5 7 7 7 7 5 5 5 7 7 7 7 7 7 5 1 7 7 7 5 1 7 7 8 7 7 2 7 5 7 5 7 5 7 3 5 7 7 5 1 5 5 5 4 4 5 2 7 7 8 8 2 2 4 2 2 2 4 5 5 5 0 2 1 5 7 7 7 5 5 5 2 3 2 5 7 7 5 5 6 2 2 8 5 2 2 1 3 5 7 7 6 6 7 5 5 7 5 7 2 7 8 2 7 7 5 7 7 7 2 7 2 2 7 5 7 7 8 7 8 8 3 2 5 5 7 4 1 7 5 1 5 6 6 5 1 5 7 2 2 7 2 7 5 2 5 5 2 7 7 2 7 7 2 7 7 7 7 5 7 7 7 7 7 7 5 5 7 7 7 7 7 7 7 7 2 2 7 7 7 5 5 7 7 7 7 2 7 7 7 7 7 7 7 7 7 7 7 7 5 7 8 5 7 7 8 7 7 5 7 7 5 7 7 7 7 5 2 5 5 7 7 5 4 7 7 8 7 5 5 1 7 8 5 5 2 2 5 5 5 7 7 2 2 7 2 5 5 7 7 7 5 7 7 1 7 5 2 2 7 7 7 7 8 7 2 5 5 7 2 7 7 7 5 5 7 5 7 5 7 5 5 5 7 7 5 8 8 7 7 7 7 7 7 5 8 8 7 7 5 7 5 7 7 7 7 8 7 8 7 7 8 4 5 5 7 7 5 7 7 7 5 7 5 7 5 8 8 7 6 7 7 7 7 7 7 8 7 7 7 7 7 7 8 7 7 5 7 5 1 7 5 6 7 7 7 7 2 7 7 2 5 8 8 7 5 7 7 7 7 8 7 8 7 7 7 8 7 8 7 7 7 7 7 7 2 7 5 2 2 5 7 7 2 7 7 6 7 5 7 8 6 2 7 5 2 7 2 7 7 8 5 5 7 2 5 7 5 7 7 5 7 7 5 8 2 5 7 5 7 7 5 5 2 7 2 7 7 7 7 7 5 4 8 7 7 7 7 5 7 7 7 2 7 7 5 8 7 4 5 5 7 8 8 7 7 1 7 5 2 2 7 4 7 5 7 7 7 5 7 7 7 7 7 7 7 7 7 7 5 5 7 7 7 7 7 7 7 7 7 5 7 7 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5 7 2 7 5 7 7 5 5 5 7 7 5 5 7 5 7 7 4 5 4 7 5 7 7 8 7 7 7 7 7 7 7 7 7 7 7 7 8 7 7 7 7 7 7 5 8 2 5 7 7 7 7 5 2 2 7 5 5 7 7 7 7 7 5 5 7 5 7 7 7 2 7 7 7 5 7 7 7 7 7 7 7 7 2 7 -1 
41.53	   
41.53	   totalWckTime=41.312  totalCpuTime=40.83

Verifier Data (download as text)

1 unsatisfied constraints, 3634 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-280621-1169306898 -o ROOT/results/node51/solver-280621-1169306898 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280621-1169306898/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.87 1.19 1.23 2/65 31098
/proc/meminfo: memFree=1356552/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=1500 CPUtime=0
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 279088328 1536000 69 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2621535 0 0 4096 0 0 0 0 17 1 0 0
/proc/31097/statm: 363 65 49 14 0 8 0

[startup+0.102523 s]
/proc/loadavg: 0.87 1.19 1.23 2/65 31098
/proc/meminfo: memFree=1356552/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=914988 CPUtime=0.09
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 3072 0 1 0 8 1 0 0 17 0 8 0 279088328 936947712 2818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31097/statm: 228747 2819 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51059 s]
/proc/loadavg: 0.87 1.19 1.23 2/65 31098
/proc/meminfo: memFree=1356552/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=915332 CPUtime=0.5
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 6916 0 1 0 46 4 0 0 16 0 8 0 279088328 937299968 6655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31097/statm: 228833 6656 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33273 s]
/proc/loadavg: 0.88 1.19 1.22 2/72 31105
/proc/meminfo: memFree=1318800/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=915444 CPUtime=1.32
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 12106 0 1 0 125 7 0 0 16 0 8 0 279088328 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31097/statm: 228861 11844 2480 14 0 215331 0
[pid=31097/tid=31099] ppid=31095 vsize=915444 CPUtime=0.07
/proc/31097/task/31099/stat : 31099 (java) S 31095 31097 30357 0 -1 64 1072 0 0 0 7 0 0 0 16 0 8 0 279088331 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31097/tid=31100] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31100/stat : 31100 (java) S 31095 31097 30357 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279088331 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31101] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31101/stat : 31101 (java) S 31095 31097 30357 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279088332 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31102] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31102/stat : 31102 (java) S 31095 31097 30357 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279088334 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31103] ppid=31095 vsize=915444 CPUtime=0.2
/proc/31097/task/31103/stat : 31103 (java) S 31095 31097 30357 0 -1 64 391 0 0 0 19 1 0 0 15 0 8 0 279088334 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31104] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31104/stat : 31104 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279088335 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31105] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31105/stat : 31105 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279088335 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444

[startup+2.975 s]
/proc/loadavg: 0.88 1.19 1.22 2/72 31105
/proc/meminfo: memFree=1318800/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=915444 CPUtime=2.96
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 12107 0 1 0 288 8 0 0 18 0 8 0 279088328 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073892468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31097/statm: 228861 11844 2480 14 0 215331 0
[pid=31097/tid=31099] ppid=31095 vsize=915444 CPUtime=0.07
/proc/31097/task/31099/stat : 31099 (java) S 31095 31097 30357 0 -1 64 1072 0 0 0 7 0 0 0 16 0 8 0 279088331 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31097/tid=31100] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31100/stat : 31100 (java) S 31095 31097 30357 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279088331 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31101] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31101/stat : 31101 (java) S 31095 31097 30357 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279088332 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31102] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31102/stat : 31102 (java) S 31095 31097 30357 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279088334 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31103] ppid=31095 vsize=915444 CPUtime=0.2
/proc/31097/task/31103/stat : 31103 (java) S 31095 31097 30357 0 -1 64 391 0 0 0 19 1 0 0 15 0 8 0 279088334 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31104] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31104/stat : 31104 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279088335 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31105] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31105/stat : 31105 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279088335 937414656 11844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444

[startup+6.26156 s]
/proc/loadavg: 0.88 1.19 1.22 2/72 31105
/proc/meminfo: memFree=1318736/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=915444 CPUtime=6.25
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 12110 0 1 0 612 13 0 0 17 0 8 0 279088328 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073893379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31097/statm: 228861 11846 2480 14 0 215331 0
[pid=31097/tid=31099] ppid=31095 vsize=915444 CPUtime=0.07
/proc/31097/task/31099/stat : 31099 (java) S 31095 31097 30357 0 -1 64 1072 0 0 0 7 0 0 0 17 0 8 0 279088331 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31097/tid=31100] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31100/stat : 31100 (java) S 31095 31097 30357 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279088331 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31101] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31101/stat : 31101 (java) S 31095 31097 30357 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279088332 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31102] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31102/stat : 31102 (java) S 31095 31097 30357 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279088334 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31103] ppid=31095 vsize=915444 CPUtime=0.2
/proc/31097/task/31103/stat : 31103 (java) S 31095 31097 30357 0 -1 64 393 0 0 0 19 1 0 0 15 0 8 0 279088334 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31104] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31104/stat : 31104 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279088335 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31105] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31105/stat : 31105 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279088335 937414656 11846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915444

[startup+12.7367 s]
/proc/loadavg: 0.90 1.18 1.22 2/72 31105
/proc/meminfo: memFree=1318736/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=915444 CPUtime=12.7
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 12123 0 1 0 1250 20 0 0 17 0 8 0 279088328 937414656 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31097/statm: 228861 11858 2480 14 0 215331 0
[pid=31097/tid=31099] ppid=31095 vsize=915444 CPUtime=0.07
/proc/31097/task/31099/stat : 31099 (java) S 31095 31097 30357 0 -1 64 1072 0 0 0 7 0 0 0 16 0 8 0 279088331 937414656 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31097/tid=31100] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31100/stat : 31100 (java) S 31095 31097 30357 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279088331 937414656 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31101] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31101/stat : 31101 (java) S 31095 31097 30357 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279088332 937414656 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31102] ppid=31095 vsize=915448 CPUtime=0
/proc/31097/task/31102/stat : 31102 (java) S 31095 31097 30357 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279088334 937418752 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31103] ppid=31095 vsize=915444 CPUtime=0.22
/proc/31097/task/31103/stat : 31103 (java) S 31095 31097 30357 0 -1 64 403 0 0 0 21 1 0 0 16 0 8 0 279088334 937414656 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31104] ppid=31095 vsize=915448 CPUtime=0
/proc/31097/task/31104/stat : 31104 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279088335 937418752 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31105] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31105/stat : 31105 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279088335 937414656 11858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915444

[startup+25.5658 s]
/proc/loadavg: 0.92 1.17 1.22 2/72 31105
/proc/meminfo: memFree=1318736/2055920 swapFree=4191892/4192956
[pid=31097] ppid=31095 vsize=915444 CPUtime=25.48
/proc/31097/stat : 31097 (java) R 31095 31097 30357 0 -1 0 12125 0 1 0 2502 46 0 0 25 0 8 0 279088328 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31097/statm: 228861 11860 2480 14 0 215331 0
[pid=31097/tid=31099] ppid=31095 vsize=915444 CPUtime=0.07
/proc/31097/task/31099/stat : 31099 (java) S 31095 31097 30357 0 -1 64 1072 0 0 0 7 0 0 0 16 0 8 0 279088331 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31100] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31100/stat : 31100 (java) S 31095 31097 30357 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279088331 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31101] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31101/stat : 31101 (java) S 31095 31097 30357 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279088332 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31102] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31102/stat : 31102 (java) S 31095 31097 30357 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279088334 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31103] ppid=31095 vsize=915444 CPUtime=0.22
/proc/31097/task/31103/stat : 31103 (java) S 31095 31097 30357 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 279088334 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31104] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31104/stat : 31104 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279088335 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31097/tid=31105] ppid=31095 vsize=915444 CPUtime=0
/proc/31097/task/31105/stat : 31105 (java) S 31095 31097 30357 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279088335 937414656 11860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 41.5497
CPU time (s): 41.4637
CPU user time (s): 40.2849
CPU system time (s): 1.17882
CPU usage (%): 99.7931
Max. virtual memory (cumulated for all children) (KiB): 915448

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

runsolver used 0.065989 s user time and 0.197969 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan 20 15:28:18 UTC 2007


IDJOB= 280621
IDBENCH= 11880
IDSOLVER= 68
FILE ID= node51/280621-1169306898

PBS_JOBID= 3610173

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pedigree/sheep4r-4-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280621-1169306898/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-280621-1169306898 -o ROOT/results/node51/solver-280621-1169306898 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280621-1169306898/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  059834bcc85163132960cf21f1c992ed

RANDOM SEED= 235641647

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.277
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.277
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:       1357032 kB
Buffers:         50344 kB
Cached:         557404 kB
SwapCached:        512 kB
Active:         134888 kB
Inactive:       487756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1357032 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2172 kB
Writeback:           0 kB
Mapped:          23560 kB
Slab:            62312 kB
Committed_AS:  5478280 kB
PageTables:       1408 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= 66563 MiB



End job on node51 on Sat Jan 20 15:28:59 UTC 2007