Trace number 280622

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 PFCOPTIMUM 39.9099 40.2555

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

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/node42/watcher-280622-1169306898 -o ROOT/results/node42/solver-280622-1169306898 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280622-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: 1.00 1.01 1.24 2/72 13189
/proc/meminfo: memFree=1306528/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=18540 CPUtime=0
/proc/13188/stat : 13188 (runsolver) R 13186 13188 13047 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279089028 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13188/statm: 4635 279 244 17 0 2626 0

[startup+0.102249 s]
/proc/loadavg: 1.00 1.01 1.24 2/72 13189
/proc/meminfo: memFree=1306528/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=47416 CPUtime=0
/proc/13188/stat : 13188 (java) D 13186 13188 13047 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 279089028 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/13188/statm: 11854 960 760 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416

[startup+0.510298 s]
/proc/loadavg: 1.00 1.01 1.24 2/72 13189
/proc/meminfo: memFree=1306528/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=915332 CPUtime=0.4
/proc/13188/stat : 13188 (java) R 13186 13188 13047 0 -1 0 6117 0 1 0 36 4 0 0 18 0 8 0 279089028 937299968 5856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13188/statm: 228833 5856 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915332

[startup+1.33139 s]
/proc/loadavg: 1.00 1.01 1.24 3/79 13196
/proc/meminfo: memFree=1267176/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=915448 CPUtime=1.21
/proc/13188/stat : 13188 (java) R 13186 13188 13047 0 -1 0 12097 0 1 0 113 8 0 0 23 0 8 0 279089028 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13188/statm: 228862 11835 2477 14 0 215332 0
[pid=13188/tid=13190] ppid=13186 vsize=915448 CPUtime=0.07
/proc/13188/task/13190/stat : 13190 (java) S 13186 13188 13047 0 -1 64 1071 0 0 0 7 0 0 0 16 0 8 0 279089041 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13191] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13192] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13193] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13047 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13194] ppid=13186 vsize=915448 CPUtime=0.21
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13047 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13195] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13196] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915448

[startup+2.97157 s]
/proc/loadavg: 1.08 1.03 1.24 3/79 13196
/proc/meminfo: memFree=1265384/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=915448 CPUtime=2.84
/proc/13188/stat : 13188 (java) R 13186 13188 13047 0 -1 0 12098 0 1 0 274 10 0 0 25 0 8 0 279089028 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13188/statm: 228862 11835 2477 14 0 215332 0
[pid=13188/tid=13190] ppid=13186 vsize=915448 CPUtime=0.07
/proc/13188/task/13190/stat : 13190 (java) S 13186 13188 13047 0 -1 64 1071 0 0 0 7 0 0 0 16 0 8 0 279089041 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13191] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13192] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13193] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13047 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13194] ppid=13186 vsize=915448 CPUtime=0.21
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13047 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13195] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13196] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279089045 937418752 11835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915448

[startup+6.17892 s]
/proc/loadavg: 1.08 1.03 1.24 3/82 13220
/proc/meminfo: memFree=1256528/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=915448 CPUtime=6.02
/proc/13188/stat : 13188 (java) R 13186 13188 13047 0 -1 0 12101 0 1 0 589 13 0 0 25 0 8 0 279089028 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13188/statm: 228862 11837 2477 14 0 215332 0
[pid=13188/tid=13190] ppid=13186 vsize=915448 CPUtime=0.07
/proc/13188/task/13190/stat : 13190 (java) S 13186 13188 13047 0 -1 64 1071 0 0 0 7 0 0 0 17 0 8 0 279089041 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13192] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13193] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13047 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279089045 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13194] ppid=13186 vsize=915448 CPUtime=0.21
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13047 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 279089045 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279089045 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13196] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279089045 937418752 11837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915448

[startup+12.6496 s]
/proc/loadavg: 1.22 1.06 1.25 3/82 13220
/proc/meminfo: memFree=1255952/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=915448 CPUtime=12.43
/proc/13188/stat : 13188 (java) R 13186 13188 13047 0 -1 0 12112 0 1 0 1221 22 0 0 25 0 8 0 279089028 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13188/statm: 228862 11847 2477 14 0 215332 0
[pid=13188/tid=13190] ppid=13186 vsize=915448 CPUtime=0.07
/proc/13188/task/13190/stat : 13190 (java) S 13186 13188 13047 0 -1 64 1071 0 0 0 7 0 0 0 16 0 8 0 279089041 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13192] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13193] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13047 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279089045 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13194] ppid=13186 vsize=915448 CPUtime=0.22
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13047 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 279089045 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279089045 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13196] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13196/stat : 13196 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279089045 937418752 11847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915448

[startup+25.5171 s]
/proc/loadavg: 1.34 1.09 1.26 3/82 13220
/proc/meminfo: memFree=1255888/2055920 swapFree=4184856/4192956
[pid=13188] ppid=13186 vsize=915448 CPUtime=25.22
/proc/13188/stat : 13188 (java) R 13186 13188 13047 0 -1 0 12114 0 1 0 2464 58 0 0 25 0 8 0 279089028 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892468 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13188/statm: 228862 11849 2477 14 0 215332 0
[pid=13188/tid=13190] ppid=13186 vsize=915448 CPUtime=0.07
/proc/13188/task/13190/stat : 13190 (java) S 13186 13188 13047 0 -1 64 1071 0 0 0 7 0 0 0 16 0 8 0 279089041 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13188/tid=13191] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13191/stat : 13191 (java) S 13186 13188 13047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13192] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13192/stat : 13192 (java) S 13186 13188 13047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279089042 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13193] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13193/stat : 13193 (java) S 13186 13188 13047 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279089045 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13194] ppid=13186 vsize=915448 CPUtime=0.23
/proc/13188/task/13194/stat : 13194 (java) S 13186 13188 13047 0 -1 64 406 0 0 0 22 1 0 0 15 0 8 0 279089045 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13188/tid=13195] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13195/stat : 13195 (java) S 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279089045 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13188/tid=13196] ppid=13186 vsize=915448 CPUtime=0
/proc/13188/task/13196/stat : 13196 (java) R 13186 13188 13047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279089045 937418752 11849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 915448

Child status: 0
Real time (s): 40.2555
CPU time (s): 39.9099
CPU user time (s): 38.6541
CPU system time (s): 1.25581
CPU usage (%): 99.1416
Max. virtual memory (cumulated for all children) (KiB): 915964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.6541
system time used= 1.25581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16232
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= 2381
involuntary context switches= 8994

runsolver used 0.087986 s user time and 0.245962 s system time

The end

Launcher Data (download as text)

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


IDJOB= 280622
IDBENCH= 11880
IDSOLVER= 69
FILE ID= node42/280622-1169306898

PBS_JOBID= 3610175

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/280622-1169306898/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-280622-1169306898 -o ROOT/results/node42/solver-280622-1169306898 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280622-1169306898/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  059834bcc85163132960cf21f1c992ed

RANDOM SEED= 769181335

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.229
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.229
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:       1307008 kB
Buffers:         49144 kB
Cached:         607616 kB
SwapCached:       2500 kB
Active:         127436 kB
Inactive:       546316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1307008 kB
SwapTotal:     4192956 kB
SwapFree:      4184856 kB
Dirty:            5144 kB
Writeback:           0 kB
Mapped:          26896 kB
Slab:            60588 kB
Committed_AS:  5252392 kB
PageTables:       1744 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= 66556 MiB



End job on node42 on Sat Jan 20 15:28:58 UTC 2007