0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/280639-1169306950/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.62 nbVariables=2255 nbDomainTypes=2 minDomainSize=1 maxDomainSize=10
0.62 => wckTime=0.294 cpuTime=0.19 mem=12M745
0.62
0.62 relations being loaded...
0.63
0.63 constraints being loaded...
0.82 nbConstraints=2830 nbRelationTypes=12 nbSingletonDomainVariables=1 nbDisconnectedVariables=1
0.82 nbExtensionStructures=12 nbSharedExtensionStructures=2818 nbConflictsStructures=12
0.82 nbSharedConflictsStructures=2818 nbSharedBinaryRepresentations=109 maxDegree=898 maxArity=3
0.82 => wckTime=0.493 cpuTime=0.34 mem=21M523
0.90
0.90 solver LocalSearchSolver being built...
0.95 => wckTime=0.619 cpuTime=0.38 mem=8M473
0.98
0.98 s SATISFIABLE
0.98 o 726
0.98 c 2104
0.99 o 738
0.99 c 2092
1.01 o 743
1.01 c 2087
1.01 o 753
1.01 c 2077
1.02 o 763
1.02 c 2067
1.02 o 766
1.02 c 2064
1.03 o 776
1.03 c 2054
1.04 o 788
1.04 c 2042
1.04 o 800
1.04 c 2030
1.05 o 807
1.05 c 2023
1.06 o 813
1.06 c 2017
1.06 o 821
1.06 c 2009
1.07 o 823
1.07 c 2007
1.08 o 826
1.08 c 2004
1.12 o 832
1.12 c 1998
1.12 o 840
1.12 c 1990
1.13 o 843
1.13 c 1987
1.14 o 850
1.14 c 1980
1.15 o 858
1.15 c 1972
1.20 o 860
1.20 c 1970
1.21 o 864
1.21 c 1966
1.21 o 867
1.21 c 1963
1.25 o 868
1.25 c 1962
1.26 o 871
1.26 c 1959
1.27 o 874
1.27 c 1956
1.28 o 878
1.28 c 1952
1.29 o 882
1.29 c 1948
1.29 o 885
1.29 c 1945
1.30 o 890
1.30 c 1940
1.31 o 892
1.31 c 1938
1.31 o 901
1.31 c 1929
1.32 o 908
1.32 c 1922
1.33 o 912
1.33 c 1918
1.34 o 915
1.34 c 1915
1.34 o 917
1.34 c 1913
1.38 o 921
1.38 c 1909
1.46 o 923
1.46 c 1907
1.47 o 926
1.47 c 1904
1.48 o 929
1.48 c 1901
1.50 o 934
1.50 c 1896
1.51 o 937
1.51 c 1893
1.51 o 940
1.51 c 1890
1.52 o 943
1.52 c 1887
1.53 o 946
1.53 c 1884
1.54 o 947
1.54 c 1883
1.56 o 949
1.56 c 1881
1.57 o 952
1.57 c 1878
1.58 o 955
1.58 c 1875
1.59 o 958
1.59 c 1872
1.60 o 961
1.60 c 1869
1.60 o 964
1.60 c 1866
1.61 o 967
1.61 c 1863
1.62 o 969
1.62 c 1861
1.63 o 972
1.63 c 1858
1.64 o 976
1.64 c 1854
1.65 o 979
1.65 c 1851
1.66 o 982
1.66 c 1848
1.67 o 985
1.67 c 1845
1.68 o 986
1.68 c 1844
1.69 o 992
1.69 c 1838
1.69 o 995
1.69 c 1835
1.70 o 998
1.70 c 1832
1.71 o 1000
1.71 c 1830
1.72 o 1002
1.72 c 1828
1.73 o 1006
1.73 c 1824
1.80 o 1008
1.80 c 1822
1.81 o 1010
1.81 c 1820
1.87 o 1012
1.87 c 1818
1.87 o 1014
1.87 c 1816
1.88 o 1017
1.88 c 1813
1.91 o 1019
1.91 c 1811
1.92 o 1022
1.92 c 1808
1.93 o 1025
1.93 c 1805
1.94 o 1028
1.94 c 1802
1.94 o 1031
1.94 c 1799
1.96 o 1033
1.96 c 1797
1.97 o 1036
1.97 c 1794
1.98 o 1038
1.98 c 1792
1.99 o 1041
1.99 c 1789
2.02 o 1043
2.02 c 1787
2.03 o 1046
2.03 c 1784
2.03 o 1048
2.03 c 1782
2.04 o 1050
2.04 c 1780
2.06 o 1051
2.06 c 1779
2.07 o 1054
2.07 c 1776
2.08 o 1056
2.08 c 1774
2.09 o 1058
2.09 c 1772
2.10 o 1060
2.10 c 1770
2.11 o 1062
2.11 c 1768
2.15 o 1064
2.15 c 1766
2.16 o 1067
2.16 c 1763
2.19 o 1069
2.19 c 1761
2.20 o 1071
2.20 c 1759
2.21 o 1073
2.21 c 1757
2.22 o 1080
2.22 c 1750
2.23 o 1082
2.23 c 1748
2.25 o 1084
2.25 c 1746
2.26 o 1086
2.26 c 1744
2.27 o 1088
2.27 c 1742
2.28 o 1090
2.28 c 1740
2.29 o 1092
2.29 c 1738
2.30 o 1094
2.30 c 1736
2.31 o 1096
2.31 c 1734
2.32 o 1098
2.32 c 1732
2.35 o 1100
2.35 c 1730
2.36 o 1102
2.36 c 1728
2.37 o 1105
2.37 c 1725
2.38 o 1107
2.38 c 1723
2.39 o 1109
2.39 c 1721
2.41 o 1111
2.41 c 1719
2.42 o 1113
2.42 c 1717
2.43 o 1115
2.43 c 1715
2.44 o 1117
2.44 c 1713
2.45 o 1119
2.45 c 1711
2.51 o 1120
2.51 c 1710
2.52 o 1122
2.52 c 1708
2.53 o 1124
2.53 c 1706
2.54 o 1126
2.54 c 1704
2.57 o 1127
2.57 c 1703
2.58 o 1129
2.58 c 1701
2.59 o 1131
2.59 c 1699
2.60 o 1133
2.60 c 1697
2.61 o 1135
2.61 c 1695
2.62 o 1137
2.62 c 1693
2.63 o 1139
2.63 c 1691
2.64 o 1141
2.64 c 1689
2.65 o 1143
2.65 c 1687
2.66 o 1147
2.66 c 1683
2.68 o 1148
2.68 c 1682
2.69 o 1150
2.69 c 1680
2.71 o 1152
2.71 c 1678
2.72 o 1154
2.72 c 1676
2.75 o 1156
2.75 c 1674
2.76 o 1158
2.76 c 1672
2.77 o 1160
2.77 c 1670
2.80 o 1161
2.80 c 1669
2.81 o 1163
2.81 c 1667
2.82 o 1165
2.82 c 1665
2.83 o 1167
2.83 c 1663
2.86 o 1168
2.86 c 1662
2.87 o 1170
2.87 c 1660
2.88 o 1172
2.88 c 1658
2.95 o 1174
2.95 c 1656
2.96 o 1176
2.96 c 1654
2.97 o 1178
2.97 c 1652
2.98 o 1180
2.98 c 1650
2.99 o 1182
2.99 c 1648
3.00 o 1184
3.00 c 1646
3.01 o 1186
3.01 c 1644
3.02 o 1188
3.02 c 1642
3.04 o 1189
3.04 c 1641
3.05 o 1191
3.05 c 1639
3.06 o 1193
3.06 c 1637
3.07 o 1195
3.07 c 1635
3.07 o 1197
3.07 c 1633
3.08 o 1199
3.08 c 1631
3.09 o 1203
3.09 c 1627
3.12 o 1205
3.12 c 1625
3.14 o 1208
3.14 c 1622
3.15 o 1210
3.15 c 1620
3.16 o 1212
3.16 c 1618
3.17 o 1214
3.17 c 1616
3.17 o 1216
3.17 c 1614
3.18 o 1218
3.18 c 1612
3.20 o 1220
3.20 c 1610
3.21 o 1222
3.21 c 1608
3.22 o 1224
3.22 c 1606
3.23 o 1226
3.23 c 1604
3.24 o 1228
3.24 c 1602
3.25 o 1230
3.25 c 1600
3.26 o 1232
3.26 c 1598
3.26 o 1234
3.26 c 1596
3.27 o 1236
3.27 c 1594
3.28 o 1238
3.28 c 1592
3.29 o 1240
3.29 c 1590
3.30 o 1242
3.30 c 1588
3.31 o 1244
3.31 c 1586
3.32 o 1246
3.32 c 1584
3.33 o 1248
3.33 c 1582
3.34 o 1250
3.34 c 1580
3.34 o 1252
3.34 c 1578
3.35 o 1254
3.35 c 1576
3.36 o 1256
3.36 c 1574
3.37 o 1258
3.37 c 1572
3.38 o 1260
3.38 c 1570
3.39 o 1262
3.39 c 1568
3.41 o 1264
3.41 c 1566
3.41 o 1266
3.42 c 1564
3.47 o 1267
3.47 c 1563
3.48 o 1269
3.48 c 1561
3.55 o 1270
3.55 c 1560
3.56 o 1272
3.56 c 1558
3.57 o 1274
3.57 c 1556
3.57 o 1276
3.57 c 1554
3.58 o 1278
3.58 c 1552
3.59 o 1280
3.59 c 1550
3.60 o 1282
3.60 c 1548
3.61 o 1284
3.61 c 1546
3.62 o 1286
3.62 c 1544
3.62 o 1288
3.62 c 1542
3.63 o 1290
3.63 c 1540
3.64 o 1292
3.64 c 1538
3.65 o 1294
3.65 c 1536
3.66 o 1296
3.66 c 1534
3.67 o 1298
3.67 c 1532
3.68 o 1300
3.68 c 1530
3.72 o 1301
3.72 c 1529
3.73 o 1303
3.73 c 1527
3.74 o 1305
3.74 c 1525
3.74 o 1307
3.74 c 1523
3.75 o 1309
3.75 c 1521
3.76 o 1311
3.76 c 1519
3.77 o 1313
3.77 c 1517
3.78 o 1315
3.78 c 1515
3.78 o 1317
3.78 c 1513
3.79 o 1319
3.79 c 1511
3.80 o 1321
3.80 c 1509
3.81 o 1323
3.81 c 1507
3.81 o 1325
3.81 c 1505
3.82 o 1327
3.82 c 1503
3.83 o 1329
3.83 c 1501
3.84 o 1331
3.84 c 1499
3.85 o 1333
3.85 c 1497
3.86 o 1335
3.86 c 1495
3.86 o 1337
3.86 c 1493
3.87 o 1339
3.87 c 1491
3.88 o 1345
3.88 c 1485
3.88 o 1347
3.88 c 1483
3.89 o 1349
3.89 c 1481
3.90 o 1351
3.90 c 1479
3.91 o 1353
3.91 c 1477
3.92 o 1355
3.92 c 1475
3.92 o 1357
3.92 c 1473
3.93 o 1359
3.93 c 1471
3.94 o 1361
3.94 c 1469
3.95 o 1363
3.95 c 1467
3.96 o 1365
3.96 c 1465
3.96 o 1367
3.96 c 1463
3.97 o 1369
3.97 c 1461
3.98 o 1371
3.98 c 1459
3.99 o 1373
3.99 c 1457
3.99 o 1375
3.99 c 1455
4.00 o 1377
4.00 c 1453
4.01 o 1379
4.01 c 1451
4.02 o 1381
4.02 c 1449
4.02 o 1383
4.02 c 1447
4.03 o 1385
4.03 c 1445
4.04 o 1387
4.04 c 1443
4.05 o 1389
4.05 c 1441
4.05 o 1390
4.05 c 1440
4.06 o 1392
4.06 c 1438
4.07 o 1394
4.07 c 1436
4.08 o 1396
4.08 c 1434
4.08 o 1398
4.09 c 1432
4.09 o 1400
4.09 c 1430
4.10 o 1402
4.10 c 1428
4.11 o 1404
4.11 c 1426
4.12 o 1406
4.12 c 1424
4.12 o 1408
4.12 c 1422
4.13 o 1410
4.13 c 1420
4.14 o 1412
4.14 c 1418
4.15 o 1414
4.15 c 1416
4.15 o 1416
4.15 c 1414
4.16 o 1418
4.16 c 1412
4.17 o 1420
4.17 c 1410
4.18 o 1422
4.18 c 1408
4.18 o 1429
4.18 c 1401
4.19 o 1431
4.19 c 1399
4.20 o 1433
4.20 c 1397
4.21 o 1435
4.21 c 1395
4.21 o 1437
4.21 c 1393
4.22 o 1439
4.22 c 1391
4.23 o 1441
4.23 c 1389
4.24 o 1443
4.24 c 1387
4.24 o 1444
4.24 c 1386
4.26 o 1445
4.26 c 1385
4.27 o 1447
4.27 c 1383
4.28 o 1449
4.28 c 1381
4.29 o 1450
4.29 c 1380
4.29 o 1451
4.29 c 1379
4.31 o 1454
4.31 c 1376
4.32 o 1455
4.32 c 1375
4.33 o 1463
4.33 c 1367
4.34 o 1465
4.34 c 1365
4.34 o 1467
4.34 c 1363
4.35 o 1469
4.35 c 1361
4.38 o 1470
4.38 c 1360
4.39 o 1472
4.39 c 1358
4.40 o 1474
4.40 c 1356
4.40 o 1476
4.40 c 1354
4.41 o 1478
4.41 c 1352
4.42 o 1480
4.42 c 1350
4.43 o 1483
4.43 c 1347
4.43 o 1485
4.43 c 1345
4.44 o 1487
4.44 c 1343
4.45 o 1490
4.45 c 1340
4.47 o 1492
4.47 c 1338
4.48 o 1494
4.48 c 1336
4.49 o 1496
4.49 c 1334
4.49 o 1498
4.49 c 1332
4.53 o 1499
4.53 c 1331
4.54 o 1501
4.54 c 1329
4.55 o 1502
4.55 c 1328
4.56 o 1504
4.56 c 1326
4.57 o 1506
4.57 c 1324
4.58 o 1508
4.58 c 1322
4.58 o 1510
4.58 c 1320
4.59 o 1512
4.59 c 1318
4.63 o 1515
4.63 c 1315
4.64 o 1517
4.64 c 1313
4.64 o 1519
4.64 c 1311
4.65 o 1521
4.65 c 1309
4.66 o 1523
4.66 c 1307
4.66 o 1525
4.66 c 1305
4.67 o 1527
4.67 c 1303
4.68 o 1528
4.68 c 1302
4.69 o 1530
4.69 c 1300
4.69 o 1532
4.69 c 1298
4.70 o 1533
4.70 c 1297
4.71 o 1535
4.71 c 1295
4.72 o 1537
4.72 c 1293
4.72 o 1539
4.72 c 1291
4.73 o 1541
4.73 c 1289
4.74 o 1543
4.74 c 1287
4.74 o 1545
4.74 c 1285
4.75 o 1547
4.75 c 1283
4.76 o 1549
4.76 c 1281
4.77 o 1551
4.77 c 1279
4.78 o 1553
4.78 c 1277
4.79 o 1555
4.79 c 1275
4.79 o 1557
4.79 c 1273
4.80 o 1559
4.80 c 1271
4.81 o 1561
4.81 c 1269
4.82 o 1563
4.82 c 1267
4.83 o 1565
4.83 c 1265
4.83 o 1567
4.83 c 1263
4.84 o 1569
4.84 c 1261
4.85 o 1571
4.85 c 1259
4.85 o 1573
4.86 c 1257
4.86 o 1575
4.86 c 1255
4.87 o 1577
4.87 c 1253
4.88 o 1579
4.88 c 1251
4.88 o 1580
4.88 c 1250
4.89 o 1582
4.89 c 1248
4.90 o 1584
4.90 c 1246
4.90 o 1586
4.90 c 1244
4.91 o 1587
4.91 c 1243
4.92 o 1589
4.92 c 1241
4.93 o 1591
4.93 c 1239
4.93 o 1593
4.93 c 1237
4.94 o 1595
4.94 c 1235
4.95 o 1597
4.95 c 1233
4.95 o 1599
4.95 c 1231
4.96 o 1601
4.96 c 1229
4.97 o 1603
4.97 c 1227
4.98 o 1604
4.98 c 1226
4.99 o 1606
4.99 c 1224
5.00 o 1608
5.00 c 1222
5.00 o 1610
5.00 c 1220
5.01 o 1612
5.01 c 1218
5.02 o 1614
5.02 c 1216
5.03 o 1616
5.03 c 1214
5.04 o 1618
5.04 c 1212
5.05 o 1620
5.05 c 1210
5.06 o 1622
5.06 c 1208
5.06 o 1624
5.06 c 1206
5.07 o 1626
5.07 c 1204
5.08 o 1628
5.08 c 1202
5.08 o 1630
5.08 c 1200
5.09 o 1632
5.09 c 1198
5.10 o 1633
5.10 c 1197
5.11 o 1635
5.11 c 1195
5.11 o 1637
5.11 c 1193
5.12 o 1639
5.12 c 1191
5.14 o 1640
5.14 c 1190
5.14 o 1642
5.14 c 1188
5.15 o 1644
5.15 c 1186
5.16 o 1646
5.16 c 1184
5.16 o 1650
5.16 c 1180
5.17 o 1652
5.17 c 1178
5.19 o 1654
5.19 c 1176
5.20 o 1656
5.20 c 1174
5.20 o 1658
5.20 c 1172
5.21 o 1660
5.21 c 1170
5.22 o 1662
5.22 c 1168
5.23 o 1664
5.23 c 1166
5.23 o 1666
5.23 c 1164
5.24 o 1668
5.24 c 1162
5.25 o 1670
5.25 c 1160
5.25 o 1672
5.25 c 1158
5.26 o 1674
5.26 c 1156
5.27 o 1676
5.27 c 1154
5.28 o 1678
5.28 c 1152
5.28 o 1680
5.28 c 1150
5.29 o 1682
5.29 c 1148
5.30 o 1684
5.30 c 1146
5.30 o 1686
5.30 c 1144
5.31 o 1688
5.31 c 1142
5.32 o 1690
5.32 c 1140
5.33 o 1692
5.33 c 1138
5.33 o 1694
5.33 c 1136
5.38 o 1696
5.38 c 1134
5.38 o 1698
5.38 c 1132
5.39 o 1700
5.39 c 1130
5.40 o 1701
5.40 c 1129
5.41 o 1703
5.41 c 1127
5.41 o 1704
5.41 c 1126
5.42 o 1706
5.42 c 1124
5.46 o 1707
5.46 c 1123
5.46 o 1709
5.46 c 1121
5.47 o 1711
5.47 c 1119
5.48 o 1713
5.48 c 1117
5.49 o 1714
5.49 c 1116
5.52 o 1716
5.52 c 1114
5.52 o 1718
5.52 c 1112
5.53 o 1720
5.53 c 1110
5.54 o 1722
5.54 c 1108
5.54 o 1724
5.54 c 1106
5.55 o 1726
5.55 c 1104
5.56 o 1728
5.56 c 1102
5.58 o 1730
5.58 c 1100
5.59 o 1732
5.59 c 1098
5.60 o 1734
5.60 c 1096
5.60 o 1737
5.60 c 1093
5.61 o 1738
5.61 c 1092
5.65 o 1739
5.65 c 1091
5.66 o 1740
5.66 c 1090
5.68 o 1741
5.68 c 1089
5.69 o 1742
5.69 c 1088
5.70 o 1743
5.70 c 1087
5.74 o 1745
5.74 c 1085
5.75 o 1746
5.75 c 1084
5.76 o 1747
5.76 c 1083
5.79 o 1748
5.79 c 1082
5.80 o 1749
5.80 c 1081
5.82 o 1750
5.82 c 1080
5.82 o 1752
5.82 c 1078
5.83 o 1753
5.83 c 1077
5.84 o 1754
5.84 c 1076
5.85 o 1755
5.85 c 1075
5.86 o 1756
5.86 c 1074
5.87 o 1757
5.88 c 1073
5.89 o 1758
5.89 c 1072
5.89 o 1759
5.89 c 1071
5.91 o 1760
5.91 c 1070
5.92 o 1761
5.92 c 1069
5.93 o 1762
5.93 c 1068
5.94 o 1763
5.94 c 1067
5.95 o 1764
5.95 c 1066
5.96 o 1765
5.96 c 1065
5.97 o 1766
5.97 c 1064
5.98 o 1767
5.98 c 1063
5.99 o 1768
5.99 c 1062
6.00 o 1769
6.00 c 1061
6.01 o 1770
6.01 c 1060
6.02 o 1773
6.02 c 1057
6.02 o 1775
6.02 c 1055
6.03 o 1777
6.03 c 1053
6.07 o 1778
6.07 c 1052
6.08 o 1779
6.08 c 1051
6.09 o 1780
6.09 c 1050
6.10 o 1781
6.10 c 1049
6.11 o 1782
6.11 c 1048
6.13 o 1783
6.13 c 1047
6.14 o 1784
6.14 c 1046
6.15 o 1785
6.15 c 1045
6.16 o 1786
6.16 c 1044
6.17 o 1787
6.17 c 1043
6.18 o 1788
6.18 c 1042
6.19 o 1789
6.19 c 1041
6.20 o 1790
6.20 c 1040
6.21 o 1791
6.21 c 1039
6.22 o 1792
6.22 c 1038
6.23 o 1793
6.23 c 1037
6.24 o 1795
6.24 c 1035
6.25 o 1796
6.25 c 1034
6.26 o 1797
6.26 c 1033
6.27 o 1798
6.27 c 1032
6.28 o 1799
6.28 c 1031
6.29 o 1800
6.29 c 1030
6.30 o 1801
6.30 c 1029
6.31 o 1802
6.31 c 1028
6.32 o 1803
6.32 c 1027
6.33 o 1804
6.33 c 1026
6.34 o 1805
6.34 c 1025
6.35 o 1806
6.35 c 1024
6.36 o 1807
6.36 c 1023
6.37 o 1808
6.37 c 1022
6.38 o 1809
6.38 c 1021
6.39 o 1810
6.39 c 1020
6.40 o 1811
6.40 c 1019
6.41 o 1812
6.41 c 1018
6.42 o 1813
6.42 c 1017
6.43 o 1814
6.43 c 1016
6.44 o 1815
6.44 c 1015
6.45 o 1816
6.45 c 1014
6.46 o 1817
6.46 c 1013
6.47 o 1818
6.47 c 1012
6.48 o 1819
6.48 c 1011
6.49 o 1820
6.49 c 1010
6.50 o 1821
6.50 c 1009
6.51 o 1822
6.51 c 1008
6.52 o 1823
6.52 c 1007
6.53 o 1824
6.53 c 1006
6.54 o 1826
6.54 c 1004
6.55 o 1827
6.55 c 1003
6.56 o 1829
6.56 c 1001
6.57 o 1830
6.57 c 1000
6.58 o 1831
6.58 c 999
6.59 o 1832
6.59 c 998
6.60 o 1833
6.60 c 997
6.61 o 1834
6.61 c 996
6.62 o 1835
6.62 c 995
6.63 o 1836
6.63 c 994
6.64 o 1837
6.64 c 993
6.65 o 1838
6.65 c 992
6.66 o 1840
6.66 c 990
6.67 o 1841
6.67 c 989
6.68 o 1843
6.68 c 987
6.68 o 1845
6.68 c 985
6.69 o 1846
6.69 c 984
6.70 o 1848
6.70 c 982
6.71 o 1849
6.71 c 981
6.72 o 1850
6.72 c 980
6.73 o 1851
6.73 c 979
6.74 o 1852
6.74 c 978
6.75 o 1853
6.75 c 977
6.76 o 1854
6.76 c 976
6.77 o 1855
6.77 c 975
6.78 o 1856
6.78 c 974
6.79 o 1857
6.79 c 973
6.81 o 1858
6.81 c 972
6.83 o 1859
6.83 c 971
6.84 o 1860
6.84 c 970
6.85 o 1861
6.85 c 969
6.86 o 1862
6.86 c 968
6.87 o 1863
6.87 c 967
6.88 o 1864
6.88 c 966
6.89 o 1865
6.89 c 965
6.90 o 1866
6.90 c 964
6.91 o 1868
6.91 c 962
6.92 o 1869
6.92 c 961
6.92 o 1870
6.92 c 960
6.93 o 1871
6.93 c 959
6.94 o 1872
6.94 c 958
6.95 o 1873
6.95 c 957
6.96 o 1874
6.96 c 956
6.97 o 1875
6.97 c 955
6.98 o 1876
6.98 c 954
6.99 o 1877
6.99 c 953
7.00 o 1878
7.00 c 952
7.01 o 1879
7.01 c 951
7.02 o 1881
7.02 c 949
7.02 o 1882
7.02 c 948
7.03 o 1883
7.03 c 947
7.04 o 1884
7.04 c 946
7.05 o 1885
7.05 c 945
7.06 o 1886
7.06 c 944
7.07 o 1887
7.07 c 943
7.08 o 1888
7.08 c 942
7.09 o 1889
7.09 c 941
7.10 o 1890
7.10 c 940
7.11 o 1892
7.11 c 938
7.12 o 1894
7.12 c 936
7.13 o 1896
7.13 c 934
7.14 o 1897
7.14 c 933
7.15 o 1898
7.15 c 932
7.16 o 1899
7.16 c 931
7.17 o 1900
7.17 c 930
7.18 o 1901
7.18 c 929
7.18 o 1902
7.18 c 928
7.19 o 1903
7.19 c 927
7.23 o 1904
7.23 c 926
7.24 o 1906
7.24 c 924
7.24 o 1907
7.24 c 923
7.25 o 1908
7.25 c 922
7.26 o 1909
7.26 c 921
7.27 o 1910
7.27 c 920
7.28 o 1911
7.28 c 919
7.29 o 1912
7.29 c 918
7.30 o 1913
7.30 c 917
7.31 o 1914
7.31 c 916
7.32 o 1915
7.32 c 915
7.33 o 1917
7.33 c 913
7.33 o 1918
7.33 c 912
7.34 o 1919
7.34 c 911
7.35 o 1920
7.35 c 910
7.36 o 1922
7.36 c 908
7.37 o 1923
7.37 c 907
7.38 o 1924
7.38 c 906
7.39 o 1925
7.39 c 905
7.40 o 1926
7.40 c 904
7.41 o 1927
7.41 c 903
7.41 o 1928
7.41 c 902
7.42 o 1929
7.42 c 901
7.43 o 1930
7.43 c 900
7.44 o 1931
7.44 c 899
7.45 o 1932
7.45 c 898
7.46 o 1933
7.46 c 897
7.47 o 1934
7.47 c 896
7.48 o 1935
7.48 c 895
7.48 o 1936
7.48 c 894
7.49 o 1937
7.49 c 893
7.50 o 1938
7.50 c 892
7.51 o 1939
7.51 c 891
7.52 o 1940
7.52 c 890
7.53 o 1941
7.53 c 889
7.54 o 1942
7.54 c 888
7.55 o 1943
7.55 c 887
7.55 o 1944
7.55 c 886
7.56 o 1945
7.56 c 885
7.57 o 1946
7.57 c 884
7.58 o 1947
7.58 c 883
7.59 o 1948
7.59 c 882
7.60 o 1949
7.60 c 881
7.61 o 1950
7.61 c 880
7.61 o 1951
7.61 c 879
7.62 o 1952
7.62 c 878
7.63 o 1953
7.63 c 877
7.64 o 1954
7.64 c 876
7.65 o 1955
7.65 c 875
7.66 o 1956
7.66 c 874
7.67 o 1957
7.67 c 873
7.67 o 1958
7.67 c 872
7.68 o 1959
7.68 c 871
7.69 o 1960
7.69 c 870
7.70 o 1961
7.70 c 869
7.71 o 1962
7.71 c 868
7.72 o 1963
7.72 c 867
7.72 o 1964
7.72 c 866
7.73 o 1965
7.73 c 865
7.74 o 1966
7.74 c 864
7.75 o 1967
7.75 c 863
7.76 o 1968
7.76 c 862
7.77 o 1969
7.77 c 861
7.78 o 1970
7.78 c 860
7.79 o 1971
7.79 c 859
7.80 o 1973
7.80 c 857
7.80 o 1975
7.80 c 855
7.81 o 1977
7.81 c 853
7.81 o 1979
7.81 c 851
7.82 o 1981
7.82 c 849
7.83 o 1982
7.83 c 848
7.84 o 1984
7.84 c 846
7.84 o 1985
7.84 c 845
7.85 o 1987
7.85 c 843
7.86 o 1988
7.86 c 842
7.86 o 1989
7.86 c 841
7.87 o 1990
7.87 c 840
7.88 o 1991
7.88 c 839
7.89 o 1992
7.89 c 838
7.90 o 1993
7.90 c 837
7.91 o 1994
7.91 c 836
7.92 o 1995
7.92 c 835
7.93 o 1996
7.93 c 834
7.94 o 1997
7.94 c 833
7.95 o 1998
7.95 c 832
7.97 o 1999
7.97 c 831
7.98 o 2002
7.98 c 828
7.99 o 2003
7.99 c 827
7.99 o 2004
7.99 c 826
8.00 o 2005
8.00 c 825
8.01 o 2006
8.01 c 824
8.02 o 2007
8.02 c 823
8.03 o 2008
8.03 c 822
8.03 o 2009
8.03 c 821
8.04 o 2010
8.04 c 820
8.05 o 2011
8.05 c 819
8.06 o 2012
8.06 c 818
8.07 o 2013
8.07 c 817
8.07 o 2014
8.07 c 816
8.08 o 2015
8.08 c 815
8.09 o 2016
8.09 c 814
8.10 o 2017
8.10 c 813
8.10 o 2018
8.10 c 812
8.11 o 2019
8.11 c 811
8.12 o 2020
8.12 c 810
8.13 o 2021
8.13 c 809
8.13 o 2022
8.13 c 808
8.14 o 2023
8.14 c 807
8.15 o 2024
8.15 c 806
8.16 o 2025
8.16 c 805
8.16 o 2026
8.16 c 804
8.17 o 2027
8.17 c 803
8.18 o 2028
8.18 c 802
8.18 o 2029
8.18 c 801
8.19 o 2030
8.19 c 800
8.20 o 2032
8.20 c 798
8.20 o 2033
8.20 c 797
8.21 o 2034
8.21 c 796
8.23 o 2036
8.23 c 794
8.24 o 2037
8.24 c 793
8.25 o 2038
8.25 c 792
8.26 o 2039
8.26 c 791
8.26 o 2040
8.26 c 790
8.27 o 2041
8.27 c 789
8.28 o 2042
8.28 c 788
8.28 o 2043
8.28 c 787
8.30 o 2044
8.30 c 786
8.31 o 2045
8.31 c 785
8.32 o 2046
8.32 c 784
8.32 o 2047
8.32 c 783
8.33 o 2048
8.33 c 782
8.34 o 2049
8.34 c 781
8.34 o 2050
8.34 c 780
8.35 o 2051
8.35 c 779
8.36 o 2052
8.36 c 778
8.36 o 2053
8.36 c 777
8.37 o 2054
8.37 c 776
8.38 o 2055
8.38 c 775
8.39 o 2056
8.39 c 774
8.39 o 2057
8.39 c 773
8.40 o 2058
8.40 c 772
8.41 o 2059
8.41 c 771
8.41 o 2060
8.41 c 770
8.42 o 2061
8.42 c 769
8.43 o 2062
8.43 c 768
8.43 o 2063
8.43 c 767
8.44 o 2064
8.44 c 766
8.45 o 2065
8.45 c 765
8.45 o 2066
8.45 c 764
8.46 o 2067
8.46 c 763
8.47 o 2068
8.47 c 762
8.47 o 2070
8.47 c 760
8.48 o 2071
8.48 c 759
8.49 o 2072
8.49 c 758
8.49 o 2073
8.49 c 757
8.50 o 2074
8.50 c 756
8.51 o 2075
8.51 c 755
8.51 o 2076
8.51 c 754
8.52 o 2077
8.52 c 753
8.53 o 2079
8.53 c 751
8.53 o 2080
8.53 c 750
8.54 o 2081
8.54 c 749
8.55 o 2082
8.55 c 748
8.55 o 2083
8.55 c 747
8.56 o 2084
8.56 c 746
8.57 o 2085
8.57 c 745
8.58 o 2086
8.58 c 744
8.58 o 2088
8.58 c 742
8.59 o 2089
8.59 c 741
8.60 o 2090
8.60 c 740
8.67 o 2091
8.67 c 739
8.67 o 2092
8.67 c 738
8.68 o 2093
8.68 c 737
8.69 o 2095
8.69 c 735
8.69 o 2096
8.69 c 734
8.70 o 2097
8.70 c 733
8.71 o 2098
8.71 c 732
8.71 o 2099
8.71 c 731
8.72 o 2100
8.72 c 730
8.73 o 2101
8.73 c 729
8.73 o 2102
8.73 c 728
8.74 o 2103
8.74 c 727
8.75 o 2104
8.75 c 726
8.75 o 2105
8.75 c 725
8.76 o 2106
8.76 c 724
8.77 o 2107
8.77 c 723
8.77 o 2108
8.77 c 722
8.78 o 2109
8.78 c 721
8.78 o 2110
8.78 c 720
8.79 o 2111
8.79 c 719
8.80 o 2112
8.80 c 718
8.80 o 2113
8.80 c 717
8.82 o 2115
8.82 c 715
8.82 o 2117
8.82 c 713
8.83 o 2119
8.83 c 711
8.84 o 2120
8.84 c 710
8.84 o 2122
8.84 c 708
8.85 o 2123
8.85 c 707
8.86 o 2124
8.86 c 706
8.86 o 2125
8.86 c 705
8.87 o 2126
8.87 c 704
8.88 o 2127
8.88 c 703
8.88 o 2128
8.88 c 702
8.89 o 2129
8.89 c 701
8.89 o 2131
8.89 c 699
8.90 o 2132
8.90 c 698
8.90 o 2133
8.90 c 697
8.91 o 2134
8.91 c 696
8.92 o 2135
8.92 c 695
8.92 o 2136
8.92 c 694
8.93 o 2137
8.93 c 693
8.94 o 2138
8.94 c 692
8.94 o 2139
8.94 c 691
8.95 o 2140
8.95 c 690
8.95 o 2141
8.95 c 689
8.96 o 2143
8.96 c 687
8.96 o 2144
8.96 c 686
8.97 o 2145
8.97 c 685
8.98 o 2146
8.98 c 684
8.98 o 2147
8.98 c 683
8.99 o 2148
8.99 c 682
9.00 o 2149
9.00 c 681
9.00 o 2150
9.00 c 680
9.01 o 2151
9.01 c 679
9.01 o 2152
9.01 c 678
9.03 o 2153
9.03 c 677
9.03 o 2154
9.03 c 676
9.04 o 2155
9.04 c 675
9.04 o 2156
9.04 c 674
9.05 o 2157
9.05 c 673
9.06 o 2158
9.06 c 672
9.07 o 2159
9.07 c 671
9.07 o 2160
9.07 c 670
9.08 o 2161
9.08 c 669
9.09 o 2162
9.09 c 668
9.09 o 2163
9.09 c 667
9.10 o 2165
9.10 c 665
9.10 o 2166
9.10 c 664
9.11 o 2167
9.11 c 663
9.12 o 2168
9.12 c 662
9.12 o 2169
9.12 c 661
9.13 o 2171
9.13 c 659
9.13 o 2172
9.13 c 658
9.14 o 2173
9.14 c 657
9.15 o 2174
9.15 c 656
9.15 o 2175
9.15 c 655
9.16 o 2176
9.16 c 654
9.17 o 2177
9.17 c 653
9.17 o 2178
9.17 c 652
9.18 o 2179
9.18 c 651
9.18 o 2180
9.18 c 650
9.19 o 2181
9.19 c 649
9.20 o 2182
9.20 c 648
9.20 o 2183
9.20 c 647
9.21 o 2184
9.21 c 646
9.21 o 2185
9.21 c 645
9.22 o 2186
9.22 c 644
9.23 o 2187
9.23 c 643
9.23 o 2188
9.23 c 642
9.24 o 2189
9.24 c 641
9.25 o 2190
9.25 c 640
9.25 o 2191
9.25 c 639
9.26 o 2192
9.26 c 638
9.26 o 2193
9.26 c 637
9.27 o 2194
9.27 c 636
9.28 o 2195
9.28 c 635
9.28 o 2196
9.28 c 634
9.29 o 2198
9.29 c 632
9.29 o 2199
9.29 c 631
9.30 o 2200
9.30 c 630
9.31 o 2201
9.31 c 629
9.31 o 2202
9.31 c 628
9.32 o 2203
9.32 c 627
9.32 o 2204
9.32 c 626
9.33 o 2205
9.33 c 625
9.34 o 2206
9.34 c 624
9.34 o 2207
9.34 c 623
9.35 o 2209
9.35 c 621
9.35 o 2210
9.35 c 620
9.36 o 2211
9.36 c 619
9.37 o 2212
9.37 c 618
9.37 o 2213
9.37 c 617
9.38 o 2214
9.38 c 616
9.38 o 2215
9.38 c 615
9.39 o 2216
9.39 c 614
9.40 o 2217
9.40 c 613
9.40 o 2218
9.40 c 612
9.41 o 2219
9.41 c 611
9.41 o 2220
9.41 c 610
9.42 o 2221
9.42 c 609
9.42 o 2222
9.42 c 608
9.43 o 2223
9.43 c 607
9.44 o 2224
9.44 c 606
9.44 o 2225
9.44 c 605
9.45 o 2226
9.45 c 604
9.45 o 2227
9.45 c 603
9.46 o 2228
9.46 c 602
9.47 o 2229
9.47 c 601
9.47 o 2230
9.47 c 600
9.48 o 2231
9.48 c 599
9.48 o 2232
9.48 c 598
9.49 o 2233
9.49 c 597
9.50 o 2234
9.50 c 596
9.50 o 2235
9.50 c 595
9.51 o 2236
9.51 c 594
9.51 o 2237
9.51 c 593
9.52 o 2238
9.52 c 592
9.52 o 2239
9.52 c 591
9.53 o 2240
9.53 c 590
9.54 o 2241
9.54 c 589
9.54 o 2242
9.54 c 588
9.55 o 2243
9.55 c 587
9.55 o 2244
9.55 c 586
9.56 o 2245
9.56 c 585
9.56 o 2246
9.57 c 584
9.57 o 2247
9.57 c 583
9.59 o 2248
9.59 c 582
9.60 o 2249
9.60 c 581
9.60 o 2250
9.61 c 580
9.61 o 2251
9.61 c 579
9.62 o 2252
9.62 c 578
9.62 o 2253
9.62 c 577
9.63 o 2255
9.63 c 575
9.63 o 2256
9.63 c 574
9.64 o 2257
9.64 c 573
9.64 o 2258
9.64 c 572
9.65 o 2259
9.65 c 571
9.65 o 2260
9.65 c 570
9.66 o 2261
9.66 c 569
9.67 o 2262
9.67 c 568
9.67 o 2263
9.67 c 567
9.68 o 2264
9.68 c 566
9.68 o 2265
9.68 c 565
9.69 o 2266
9.69 c 564
9.69 o 2267
9.69 c 563
9.70 o 2268
9.70 c 562
9.71 o 2269
9.71 c 561
9.71 o 2270
9.71 c 560
9.72 o 2271
9.72 c 559
9.72 o 2272
9.72 c 558
9.73 o 2273
9.73 c 557
9.73 o 2274
9.73 c 556
9.74 o 2275
9.74 c 555
9.74 o 2276
9.74 c 554
9.75 o 2277
9.75 c 553
9.76 o 2278
9.76 c 552
9.76 o 2279
9.76 c 551
9.77 o 2280
9.77 c 550
9.77 o 2281
9.77 c 549
9.78 o 2282
9.78 c 548
9.78 o 2283
9.78 c 547
9.79 o 2284
9.79 c 546
9.80 o 2285
9.80 c 545
9.80 o 2286
9.80 c 544
9.81 o 2287
9.81 c 543
9.81 o 2288
9.81 c 542
9.82 o 2289
9.82 c 541
9.82 o 2290
9.82 c 540
9.83 o 2291
9.83 c 539
9.83 o 2292
9.83 c 538
9.84 o 2293
9.84 c 537
9.85 o 2294
9.85 c 536
9.85 o 2295
9.85 c 535
9.86 o 2296
9.86 c 534
9.86 o 2297
9.86 c 533
9.87 o 2298
9.87 c 532
9.87 o 2299
9.87 c 531
9.96 o 2301
9.96 c 529
10.10 o 2302
10.10 c 528
10.11 o 2303
10.11 c 527
10.12 o 2305
10.12 c 525
10.13 o 2306
10.13 c 524
10.13 o 2307
10.13 c 523
10.14 o 2308
10.14 c 522
10.17 o 2309
10.17 c 521
10.17 o 2310
10.17 c 520
10.18 o 2311
10.18 c 519
10.18 o 2312
10.18 c 518
10.19 o 2313
10.19 c 517
10.20 o 2314
10.20 c 516
10.20 o 2315
10.20 c 515
10.21 o 2316
10.21 c 514
10.21 o 2317
10.21 c 513
10.22 o 2318
10.22 c 512
10.22 o 2319
10.22 c 511
10.23 o 2320
10.23 c 510
10.25 o 2321
10.25 c 509
10.26 o 2322
10.26 c 508
10.26 o 2323
10.26 c 507
10.29 o 2325
10.29 c 505
10.30 o 2326
10.30 c 504
10.31 o 2327
10.31 c 503
10.32 o 2328
10.32 c 502
10.32 o 2329
10.32 c 501
10.36 o 2331
10.36 c 499
10.39 o 2332
10.39 c 498
10.40 o 2335
10.40 c 495
10.42 o 2336
10.42 c 494
10.42 o 2337
10.42 c 493
10.43 o 2338
10.43 c 492
10.45 o 2340
10.45 c 490
10.46 o 2342
10.46 c 488
10.46 o 2344
10.46 c 486
10.47 o 2345
10.47 c 485
10.47 o 2346
10.47 c 484
10.48 o 2348
10.48 c 482
10.48 o 2349
10.48 c 481
10.49 o 2350
10.49 c 480
10.49 o 2351
10.49 c 479
10.51 o 2352
10.51 c 478
10.51 o 2353
10.51 c 477
10.52 o 2354
10.52 c 476
10.52 o 2356
10.52 c 474
10.53 o 2357
10.53 c 473
10.53 o 2358
10.53 c 472
10.53 o 2360
10.53 c 470
10.54 o 2361
10.54 c 469
10.54 o 2362
10.54 c 468
10.55 o 2363
10.55 c 467
10.58 o 2364
10.58 c 466
10.58 o 2365
10.58 c 465
10.59 o 2366
10.59 c 464
10.59 o 2367
10.59 c 463
10.60 o 2368
10.60 c 462
10.60 o 2369
10.60 c 461
10.61 o 2370
10.61 c 460
10.61 o 2373
10.61 c 457
10.62 o 2374
10.62 c 456
10.62 o 2377
10.62 c 453
10.63 o 2380
10.63 c 450
10.64 o 2381
10.64 c 449
10.64 o 2382
10.64 c 448
10.65 o 2384
10.65 c 446
10.65 o 2388
10.65 c 442
10.65 o 2389
10.65 c 441
10.66 o 2390
10.66 c 440
10.66 o 2391
10.66 c 439
10.67 o 2392
10.67 c 438
10.67 o 2393
10.67 c 437
10.68 o 2394
10.68 c 436
10.68 o 2395
10.68 c 435
10.68 o 2396
10.68 c 434
10.69 o 2397
10.69 c 433
10.69 o 2398
10.69 c 432
10.70 o 2399
10.70 c 431
10.70 o 2400
10.70 c 430
10.71 o 2401
10.71 c 429
10.73 o 2402
10.73 c 428
10.74 o 2403
10.74 c 427
10.74 o 2404
10.74 c 426
10.75 o 2405
10.75 c 425
10.75 o 2407
10.75 c 423
10.76 o 2408
10.76 c 422
10.76 o 2409
10.76 c 421
10.77 o 2411
10.77 c 419
10.77 o 2413
10.77 c 417
10.79 o 2414
10.79 c 416
10.80 o 2415
10.80 c 415
10.80 o 2416
10.80 c 414
10.81 o 2417
10.81 c 413
10.81 o 2418
10.81 c 412
10.82 o 2419
10.82 c 411
10.82 o 2420
10.82 c 410
10.82 o 2422
10.82 c 408
10.83 o 2424
10.83 c 406
10.84 o 2425
10.84 c 405
10.85 o 2426
10.85 c 404
10.85 o 2428
10.85 c 402
10.87 o 2431
10.87 c 399
10.88 o 2432
10.88 c 398
10.89 o 2434
10.89 c 396
10.90 o 2436
10.90 c 394
10.91 o 2437
10.91 c 393
10.92 o 2439
10.92 c 391
10.93 o 2440
10.93 c 390
10.93 o 2441
10.93 c 389
10.93 o 2442
10.93 c 388
10.94 o 2443
10.94 c 387
10.94 o 2444
10.94 c 386
10.95 o 2445
10.95 c 385
10.95 o 2446
10.95 c 384
10.96 o 2448
10.96 c 382
10.97 o 2449
10.97 c 381
10.98 o 2450
10.98 c 380
10.98 o 2451
10.98 c 379
10.99 o 2452
10.99 c 378
10.99 o 2453
10.99 c 377
11.01 o 2455
11.01 c 375
11.01 o 2457
11.01 c 373
11.01 o 2459
11.01 c 371
11.02 o 2460
11.02 c 370
11.03 o 2461
11.03 c 369
11.04 o 2462
11.04 c 368
11.05 o 2464
11.05 c 366
11.05 o 2466
11.05 c 364
11.06 o 2467
11.06 c 363
11.07 o 2468
11.07 c 362
11.08 o 2470
11.08 c 360
11.08 o 2471
11.08 c 359
11.09 o 2472
11.09 c 358
11.09 o 2473
11.09 c 357
11.11 o 2474
11.11 c 356
11.11 o 2475
11.11 c 355
11.11 o 2476
11.11 c 354
11.12 o 2477
11.12 c 353
11.13 o 2478
11.13 c 352
11.13 o 2479
11.13 c 351
11.14 o 2480
11.14 c 350
11.14 o 2482
11.14 c 348
11.14 o 2484
11.14 c 346
11.15 o 2485
11.15 c 345
11.15 o 2486
11.15 c 344
11.15 o 2487
11.15 c 343
11.16 o 2488
11.16 c 342
11.16 o 2490
11.16 c 340
11.17 o 2491
11.17 c 339
11.17 o 2492
11.17 c 338
11.18 o 2494
11.18 c 336
11.19 o 2495
11.19 c 335
11.19 o 2496
11.19 c 334
11.19 o 2497
11.19 c 333
11.20 o 2500
11.20 c 330
11.20 o 2502
11.20 c 328
11.20 o 2503
11.20 c 327
11.21 o 2504
11.21 c 326
11.21 o 2506
11.21 c 324
11.21 o 2507
11.21 c 323
11.22 o 2508
11.22 c 322
11.22 o 2509
11.22 c 321
11.22 o 2510
11.22 c 320
11.23 o 2511
11.23 c 319
11.23 o 2512
11.23 c 318
11.23 o 2513
11.23 c 317
11.24 o 2514
11.24 c 316
11.24 o 2515
11.24 c 315
11.24 o 2516
11.24 c 314
11.25 o 2517
11.25 c 313
11.25 o 2518
11.25 c 312
11.25 o 2519
11.25 c 311
11.26 o 2520
11.26 c 310
11.26 o 2521
11.26 c 309
11.27 o 2522
11.27 c 308
11.28 o 2523
11.28 c 307
11.29 o 2525
11.29 c 305
11.29 o 2527
11.29 c 303
11.30 o 2528
11.30 c 302
11.30 o 2529
11.30 c 301
11.31 o 2531
11.31 c 299
11.31 o 2532
11.31 c 298
11.32 o 2533
11.32 c 297
11.34 o 2535
11.34 c 295
11.35 o 2536
11.35 c 294
11.35 o 2538
11.35 c 292
11.36 o 2539
11.36 c 291
11.36 o 2541
11.36 c 289
11.36 o 2542
11.36 c 288
11.37 o 2543
11.37 c 287
11.37 o 2544
11.37 c 286
11.38 o 2546
11.38 c 284
11.39 o 2548
11.39 c 282
11.39 o 2549
11.39 c 281
11.40 o 2551
11.40 c 279
11.40 o 2553
11.40 c 277
11.40 o 2554
11.40 c 276
11.41 o 2556
11.41 c 274
11.42 o 2557
11.42 c 273
11.42 o 2558
11.42 c 272
11.42 o 2559
11.42 c 271
11.44 o 2560
11.44 c 270
11.44 o 2561
11.44 c 269
11.45 o 2562
11.45 c 268
11.45 o 2563
11.45 c 267
11.45 o 2564
11.45 c 266
11.46 o 2565
11.46 c 265
11.46 o 2566
11.46 c 264
11.46 o 2567
11.46 c 263
11.47 o 2568
11.47 c 262
11.47 o 2570
11.47 c 260
11.49 o 2571
11.49 c 259
11.49 o 2572
11.49 c 258
11.49 o 2573
11.49 c 257
11.50 o 2574
11.50 c 256
11.50 o 2575
11.50 c 255
11.51 o 2576
11.51 c 254
11.51 o 2577
11.51 c 253
11.52 o 2578
11.52 c 252
11.52 o 2580
11.52 c 250
11.52 o 2581
11.52 c 249
11.53 o 2582
11.53 c 248
11.53 o 2583
11.53 c 247
11.54 o 2584
11.54 c 246
11.54 o 2585
11.54 c 245
11.54 o 2586
11.54 c 244
11.55 o 2587
11.55 c 243
11.55 o 2588
11.55 c 242
11.56 o 2589
11.56 c 241
11.56 o 2590
11.56 c 240
11.56 o 2591
11.56 c 239
11.56 o 2592
11.56 c 238
11.57 o 2593
11.57 c 237
11.57 o 2594
11.57 c 236
11.58 o 2595
11.58 c 235
11.58 o 2596
11.58 c 234
11.58 o 2598
11.58 c 232
11.59 o 2599
11.59 c 231
11.59 o 2600
11.59 c 230
11.59 o 2601
11.59 c 229
11.59 o 2602
11.59 c 228
11.60 o 2603
11.60 c 227
11.60 o 2604
11.60 c 226
11.61 o 2605
11.61 c 225
11.61 o 2606
11.61 c 224
11.61 o 2607
11.61 c 223
11.62 o 2608
11.62 c 222
11.62 o 2609
11.62 c 221
11.63 o 2610
11.63 c 220
11.63 o 2612
11.63 c 218
11.64 o 2613
11.64 c 217
11.64 o 2614
11.64 c 216
11.65 o 2615
11.65 c 215
11.65 o 2616
11.65 c 214
11.65 o 2617
11.65 c 213
11.66 o 2618
11.66 c 212
11.66 o 2619
11.66 c 211
11.66 o 2620
11.66 c 210
11.67 o 2622
11.67 c 208
11.67 o 2623
11.67 c 207
11.67 o 2624
11.67 c 206
11.68 o 2625
11.68 c 205
11.68 o 2626
11.68 c 204
11.68 o 2628
11.68 c 202
11.69 o 2629
11.69 c 201
11.69 o 2630
11.69 c 200
11.69 o 2631
11.69 c 199
11.70 o 2632
11.70 c 198
11.70 o 2633
11.70 c 197
11.70 o 2634
11.70 c 196
11.71 o 2635
11.71 c 195
11.71 o 2636
11.71 c 194
11.71 o 2637
11.71 c 193
11.72 o 2638
11.72 c 192
11.72 o 2639
11.72 c 191
11.72 o 2640
11.72 c 190
11.73 o 2641
11.73 c 189
11.73 o 2642
11.73 c 188
11.73 o 2643
11.73 c 187
11.74 o 2644
11.74 c 186
11.74 o 2646
11.74 c 184
11.74 o 2647
11.74 c 183
11.75 o 2648
11.75 c 182
11.75 o 2649
11.75 c 181
11.76 o 2650
11.76 c 180
11.76 o 2652
11.76 c 178
11.76 o 2653
11.76 c 177
11.76 o 2655
11.76 c 175
11.77 o 2656
11.77 c 174
11.77 o 2657
11.77 c 173
11.77 o 2658
11.77 c 172
11.77 o 2659
11.77 c 171
11.78 o 2660
11.78 c 170
11.78 o 2661
11.78 c 169
11.79 o 2662
11.79 c 168
11.79 o 2663
11.79 c 167
11.79 o 2664
11.79 c 166
11.79 o 2665
11.79 c 165
11.80 o 2667
11.80 c 163
11.80 o 2669
11.80 c 161
11.80 o 2670
11.80 c 160
11.81 o 2671
11.81 c 159
11.81 o 2672
11.81 c 158
11.81 o 2673
11.81 c 157
11.82 o 2674
11.82 c 156
11.82 o 2675
11.82 c 155
11.82 o 2676
11.82 c 154
11.82 o 2677
11.82 c 153
11.83 o 2678
11.83 c 152
11.83 o 2679
11.83 c 151
11.83 o 2680
11.83 c 150
11.84 o 2681
11.84 c 149
11.84 o 2682
11.84 c 148
11.84 o 2683
11.84 c 147
11.85 o 2684
11.85 c 146
11.85 o 2685
11.85 c 145
11.85 o 2686
11.85 c 144
11.85 o 2687
11.85 c 143
11.86 o 2688
11.86 c 142
11.86 o 2689
11.86 c 141
11.86 o 2690
11.86 c 140
11.86 o 2691
11.86 c 139
11.87 o 2692
11.87 c 138
11.87 o 2693
11.87 c 137
11.87 o 2694
11.87 c 136
11.88 o 2695
11.88 c 135
11.88 o 2696
11.88 c 134
11.88 o 2697
11.88 c 133
11.88 o 2698
11.88 c 132
11.89 o 2699
11.89 c 131
11.89 o 2700
11.89 c 130
11.89 o 2701
11.89 c 129
11.89 o 2702
11.89 c 128
11.90 o 2703
11.90 c 127
11.90 o 2704
11.90 c 126
11.90 o 2705
11.90 c 125
11.90 o 2706
11.90 c 124
11.91 o 2707
11.91 c 123
11.91 o 2708
11.91 c 122
11.91 o 2709
11.91 c 121
11.91 o 2710
11.91 c 120
11.92 o 2711
11.92 c 119
11.92 o 2712
11.92 c 118
11.92 o 2713
11.92 c 117
11.93 o 2714
11.93 c 116
11.93 o 2715
11.93 c 115
11.93 o 2716
11.93 c 114
11.94 o 2717
11.94 c 113
11.94 o 2718
11.94 c 112
11.94 o 2719
11.94 c 111
11.94 o 2720
11.94 c 110
11.95 o 2721
11.95 c 109
11.95 o 2722
11.95 c 108
11.95 o 2723
11.95 c 107
11.96 o 2724
11.96 c 106
11.96 o 2725
11.96 c 105
11.96 o 2726
11.96 c 104
11.97 o 2727
11.97 c 103
11.97 o 2728
11.97 c 102
11.97 o 2729
11.97 c 101
11.97 o 2730
11.97 c 100
11.98 o 2731
11.98 c 99
11.98 o 2732
11.98 c 98
11.98 o 2733
11.98 c 97
11.98 o 2734
11.98 c 96
11.99 o 2735
11.99 c 95
11.99 o 2736
11.99 c 94
11.99 o 2737
11.99 c 93
11.99 o 2738
11.99 c 92
12.00 o 2740
12.00 c 90
12.00 o 2741
12.00 c 89
12.00 o 2742
12.00 c 88
12.00 o 2743
12.00 c 87
12.00 o 2744
12.00 c 86
12.01 o 2745
12.01 c 85
12.01 o 2746
12.01 c 84
12.01 o 2747
12.01 c 83
12.01 o 2748
12.01 c 82
12.02 o 2749
12.02 c 81
12.02 o 2750
12.02 c 80
12.03 o 2751
12.03 c 79
12.03 o 2752
12.03 c 78
12.03 o 2753
12.03 c 77
12.04 o 2754
12.04 c 76
12.04 o 2755
12.04 c 75
12.05 o 2756
12.05 c 74
12.05 o 2757
12.05 c 73
12.05 o 2758
12.05 c 72
12.05 o 2759
12.05 c 71
12.06 o 2760
12.06 c 70
12.06 o 2761
12.06 c 69
12.06 o 2762
12.06 c 68
12.06 o 2763
12.06 c 67
12.07 o 2766
12.07 c 64
12.07 o 2767
12.07 c 63
12.07 o 2768
12.07 c 62
12.08 o 2769
12.08 c 61
12.08 o 2770
12.08 c 60
12.08 o 2771
12.08 c 59
12.09 o 2772
12.09 c 58
12.09 o 2773
12.09 c 57
12.09 o 2774
12.09 c 56
12.10 o 2775
12.10 c 55
12.10 o 2776
12.10 c 54
12.10 o 2777
12.10 c 53
12.10 o 2778
12.10 c 52
12.10 o 2779
12.10 c 51
12.11 o 2780
12.11 c 50
12.11 o 2781
12.11 c 49
12.11 o 2782
12.11 c 48
12.11 o 2783
12.11 c 47
12.11 o 2784
12.11 c 46
12.12 o 2785
12.12 c 45
12.18 o 2786
12.18 c 44
12.19 o 2787
12.19 c 43
12.38 o 2788
12.38 c 42
12.50 o 2789
12.50 c 41
12.50 o 2790
12.50 c 40
12.50 o 2791
12.50 c 39
12.84 o 2792
12.84 c 38
12.96 o 2793
12.96 c 37
12.96 o 2794
12.96 c 36
13.14 o 2795
13.14 c 35
13.34 o 2796
13.34 c 34
13.49 o 2797
13.49 c 33
13.50 o 2798
13.50 c 32
13.51 o 2799
13.51 c 31
13.52 o 2800
13.52 c 30
13.67 o 2801
13.67 c 29
13.67 o 2802
13.67 c 28
13.68 o 2803
13.68 c 27
13.71 o 2804
13.71 c 26
13.72 o 2805
13.72 c 25
13.75 o 2806
13.75 c 24
13.78 o 2807
13.78 c 23
13.80 o 2808
13.80 c 22
13.83 o 2809
13.83 c 21
13.84 o 2810
13.84 c 20
13.86 o 2811
13.86 c 19
13.87 o 2812
13.87 c 18
14.01 o 2813
14.01 c 17
14.02 o 2814
14.02 c 16
14.21 o 2815
14.21 c 15
14.22 o 2816
14.22 c 14
14.22 o 2817
14.22 c 13
14.34 o 2818
14.34 c 12
15.27 o 2819
15.27 c 11
15.27 o 2820
15.27 c 10
16.32 o 2821
16.32 c 9
18.08 o 2822
18.08 c 8
20.50 o 2823
20.50 c 7
20.97 o 2824
20.97 c 6
24.04 o 2825
24.04 c 5
25.64 o 2826
25.64 c 4
35.09 o 2827
35.09 c 3
56.46
56.46 search
56.46 run=0 nbConstraintChecks=106158023 nbAssignments=10000
56.46 => wckTime=55.512 cpuTime=54.84 mem=9M449
65.39
65.39 search
65.39 run=1 nbConstraintChecks=124041684 nbAssignments=10923
65.39 => wckTime=64.44 cpuTime=63.68 mem=9M449
65.39
65.39 global
65.39 nbConstraintChecks=124041684 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
65.39 solvingWckTime=64.433 solvingCpuTime=63.66 expiredTime=no totalExploration=no nbFoundSolutions=0
65.39 globalCpuTime=64.1
65.39 => wckTime=65.06 cpuTime=64.06 mem=9M449
65.39
65.39 solver IterativeSystematicSolver being built...
65.71 => wckTime=65.38 cpuTime=64.31 mem=38M983
81.90 o 2828
81.90 c 2
82.26
82.26 preprocessing
82.27 nbConstraintChecks=7068306 nbValidityChecks=15319724 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
82.27 nbRemovedValues=87 detectedInconsistency=no
82.27 => wckTime=16.551 cpuTime=16.34 mem=38M983
97.92 o 2829
97.92 c 1
104.88
104.88 search
104.88 run=0 nbConstraintChecks=8360234 nbValidityChecks=15388018 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
104.88 nbAssignments=2258 nbFailedAssignments=2 nbBacktracks=2254 nbVisitedNodes=3396 nbRestartNogoods=0
104.88 => wckTime=39.166 cpuTime=38.73 mem=38M983
105.99
105.99 search
105.99 run=1 nbConstraintChecks=8386913 nbValidityChecks=15418472 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
105.99 nbAssignments=2260 nbFailedAssignments=3 nbBacktracks=2256 nbVisitedNodes=3399 nbRestartNogoods=2
105.99 => wckTime=40.282 cpuTime=39.82 mem=38M983
105.99
105.99 global
105.99 nbConstraintChecks=15455219 nbValidityChecks=30738196 nbRestartNogoods=2 solvingWckTime=40.283
105.99 solvingCpuTime=39.82 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=104.18
105.99 => wckTime=105.665 cpuTime=104.14 mem=38M983
106.00
106.00 s OPTIMUM FOUND
106.00 v 0 0 0 0 0 0 0 0 1 3 1 0 0 0 0 0 0 0 1 0 0 2 1 2 2 0 0 0 0 0 0 0 0 0 0 2 5 1 0 1 1 0 3 1 0 1 0 0 0 3 0 0 2 2 1 0 1 0 0 0 0 0 1 1 0 7 0 1 1 2 0 0 0 1 0 0 0 0 2 1 0 1 2 0 0 2 2 0 0 0 2 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 6 0 0 0 1 3 2 0 0 0 0 0 0 0 0 2 0 0 1 1 0 0 0 0 0 2 0 3 0 0 0 0 0 1 0 0 2 0 0 3 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 3 2 0 0 0 0 0 0 0 1 0 0 2 2 0 3 0 2 0 1 0 0 0 2 1 0 1 0 3 8 0 7 2 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 8 2 1 0 0 0 1 0 2 2 1 2 2 2 0 0 0 0 0 2 0 0 0 1 2 0 2 2 2 2 5 2 2 8 0 2 0 0 2 3 2 0 2 0 2 0 0 3 1 2 0 0 0 0 0 0 0 0 0 0 3 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 0 0 1 1 0 2 0 1 2 0 0 2 0 0 0 0 2 0 2 0 0 2 0 0 0 1 0 1 0 2 0 2 2 1 0 0 8 2 0 0 1 2 2 2 2 0 3 0 0 0 0 2 0 0 0 5 8 0 2 2 2 0 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 1 0 2 0 0 0 0 2 2 0 0 0 0 3 0 0 0 1 2 2 0 2 3 2 1 0 2 0 1 1 1 1 1 0 1 0 0 0 0 1 0 2 0 2 2 1 2 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 8 1 0 2 2 0 2 0 2 1 0 2 0 0 0 0 2 2 0 0 2 1 2 0 2 2 1 0 0 2 2 0 2 0 0 0 1 2 0 2 0 2 2 1 2 2 2 0 2 2 1 2 0 0 0 0 3 0 0 0 2 0 2 1 0 0 0 0 2 0 3 0 0 2 2 2 2 0 0 1 0 3 2 0 0 2 2 3 3 2 2 2 0 2 0 0 0 3 0 2 1 1 2 0 2 2 0 2 0 0 0 3 3 0 0 0 0 1 2 1 0 0 1 1 2 2 2 0 0 7 2 0 0 2 0 0 0 1 8 2 0 0 0 0 1 0 0 2 2 0 2 0 2 1 2 2 0 2 2 2 2 0 1 1 0 0 2 0 2 1 2 0 2 2 0 1 2 2 2 0 2 0 2 0 2 0 0 2 2 2 2 2 2 2 1 0 0 0 2 7 2 2 0 0 2 2 0 0 2 0 2 0 2 0 0 3 0 1 2 1 2 1 0 2 2 1 0 2 0 2 0 2 0 0 2 0 5 1 2 2 2 0 2 2 2 2 2 7 2 2 1 2 2 2 1 1 0 0 2 3 1 2 0 1 5 1 2 2 0 0 0 2 0 2 0 5 2 2 0 0 2 2 2 0 0 7 2 1 2 2 0 0 2 0 0 0 2 5 1 2 0 0 1 2 2 0 5 2 2 1 2 2 0 2 0 2 2 2 5 0 2 0 3 0 2 1 8 2 2 2 2 1 2 0 2 3 1 2 2 3 0 3 0 1 0 2 2 3 2 2 2 2 1 1 0 2 2 0 2 7 2 2 2 7 2 2 2 2 0 2 1 0 2 2 0 2 0 0 0 2 2 0 0 2 2 2 2 1 3 2 0 1 2 2 7 2 1 2 2 2 2 0 2 0 2 2 1 2 2 2 2 5 2 2 3 5 2 2 2 2 0 0 0 0 3 3 0 2 2 0 2 8 2 2 0 2 0 2 2 3 2 0 2 2 0 1 1 2 1 2 0 2 3 1 0 1 0 2 1 5 0 2 2 8 0 7 0 2 3 2 0 1 2 2 2 2 3 2 3 2 2 2 1 2 2 2 2 0 2 2 0 1 2 0 2 2 2 2 5 2 3 2 0 0 2 2 2 5 2 2 2 0 2 2 2 2 0 2 2 2 1 2 2 2 0 2 1 2 1 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 2 2 2 2 2 1 2 1 0 1 7 1 2 7 5 5 0 0 2 5 1 0 2 2 8 3 3 2 2 2 6 2 1 2 1 0 2 2 2 2 2 1 2 2 2 2 2 3 0 2 0 2 0 2 2 2 0 2 2 2 0 0 2 2 2 2 2 2 0 2 0 2 0 2 1 0 2 1 3 2 2 1 2 2 0 0 2 0 1 1 2 2 0 2 2 2 2 0 0 0 0 1 5 2 2 2 2 2 1 2 2 1 2 5 2 2 5 3 2 2 2 2 1 2 2 2 2 2 3 2 2 2 2 2 2 0 2 2 2 2 2 2 2 0 7 2 1 2 2 3 2 2 2 2 0 0 2 2 1 2 2 0 1 2 4 2 2 5 2 2 2 2 2 7 7 0 1 1 2 2 2 3 2 2 2 2 2 2 2 2 2 7 2 2 2 2 2 2 1 2 5 2 2 2 2 2 2 2 2 7 2 2 2 2 2 7 2 8 1 2 2 2 2 2 2 7 7 7 7 1 2 5 7 2 0 2 2 3 2 2 2 2 2 2 2 7 1 2 1 0 2 2 2 2 2 2 5 2 1 0 2 1 2 2 2 2 1 2 2 2 1 0 0 0 2 2 7 2 2 5 2 2 2 2 2 5 2 2 2 2 2 8 2 5 5 5 7 7 2 2 2 7 2 0 2 2 1 2 2 2 2 6 7 5 2 0 7 2 7 2 2 5 2 2 2 0 1 7 1 8 5 2 2 5 7 2 2 2 7 7 1 7 2 1 7 0 7 1 2 0 1 2 1 2 2 2 7 2 7 2 0 1 1 2 2 1 1 1 2 2 1 2 7 2 2 2 2 2 1 2 2 2 7 7 7 7 7 2 7 8 7 7 7 7 7 7 7 7 7 7 7 2 1 2 2 7 2 2 2 2 2 8 2 3 2 7 7 4 4 7 7 7 7 7 5 1 2 7 7 7 2 5 1 7 2 7 7 7 2 7 2 2 7 7 2 7 7 7 5 7 7 2 8 7 7 7 7 2 5 0 7 7 7 7 2 7 7 2 2 2 7 7 7 7 5 2 7 7 7 7 7 7 5 4 2 7 0 7 7 7 5 7 7 7 7 7 7 7 2 2 7 7 7 7 7 5 7 7 2 2 7 8 7 2 7 7 7 5 7 7 2 7 5 7 7 5 7 5 7 6 7 5 7 7 7 7 5 7 7 2 4 7 7 7 5 7 7 7 2 7 2 5 5 2 7 7 5 2 8 7 7 7 5 5 7 2 7 5 2 7 7 2 7 7 5 7 7 2 7 3 2 7 4 5 5 2 5 7 7 7 7 2 8 7 2 5 5 5 2 2 5 2 2 2 7 7 2 7 7 2 0 0 7 7 2 2 7 7 7 2 2 7 7 8 8 2 7 7 7 7 7 7 2 5 7 2 7 7 7 7 7 7 7 5 7 7 7 7 7 7 7 5 7 7 7 2 7 7 5 1 7 7 5 7 7 5 7 7 7 8 6 7 7 7 7 2 8 7 7 8 7 7 7 7 7 7 2 5 8 8 7 7 7 7 5 7 2 8 7 7 7 7 2 3 2 7 7 7 3 2 7 5 7 2 7 7 5 5 7 2 9 7 7 7 7 7 7 7 2 7 5 9 5 7 7 5 7 5 8 7 8 2 7 5 7 7 5 8 7 2 5 5 2 7 7 5 5 7 7 7 2 7 7 7 7 7 7 7 7 7 5 2 2 4 5 7 5 5 5 5 7 7 7 7 7 5 7 8 7 7 7 7 5 5 7 7 5 7 7 7 7 4 5 5 7 7 5 5 7 5 5 5 7 7 5 5 7 7 5 7 7 7 7 5 5 2 5 7 7 5 7 7 7 7 4 5 7 5 5 5 7 7 8 5 7 7 7 7 7 7 7 7 7 7 5 7 5 7 8 7 7 7 7 6 7 7 7 5 7 7 7 7 7 2 7 5 7 7 7 7 4 5 5 7 7 7 7 7 8 7 5 5 7 7 7 7 7 4 5 5 7 7 7 2 7 7 7 7 7 5 5 6 5 7 7 7 7 7 7 7 5 7 7 4 7 7 7 5 7 5 7 7 7 7 7 7 1 1 2 7 5 2 5 5 2 7 7 7 7 7 7 5 2 7 7 7 2 7 7 7 7 7 7 7 7 5 7 8 7 7 7 7 7 5 2 5 7 5 7 5 7 5 7 5 7 7 7 7 7 7 2 7 2 5 2 8 8 7 7 5 8 8 4 1 7 2 8 7 7 7 7 7 5 2 6 7 7 2 2 5 7 7 2 2 2 7 7 1 7 0 1 2 8 5 2 2 2 7 7 5 5 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 7 7 7 7 7 7 5 7 7 7 5 7 7 7 7 8 7 7 5 2 7 7 7 7 7 3 7 5 8 7 5 7 7 7 2 7 7 7 7 5 7 7 5 7 7 7 7 8 7 7 7 8 6 5 7 7 7 8 7 7 7 8 7 7 8 7 7 7 4 8 7 7 2 7 7 5 7 7 7 7 5 7 5 7 5 7 7 8 7 5 5 5 8 7 6 7 2 5 7 7 5 7 5 5 6 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 7 7 5 5 5 7 7 7 7 7 7 7 7 5 7 5 7 7 7 7 7 7 7 7 8 8 7 7 7 7 7 8 -1
106.00
106.00 totalWckTime=105.749 totalCpuTime=104.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-280639-1169306950 -o ROOT/results/node24/solver-280639-1169306950 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280639-1169306950/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.88 1.97 1.94 5/87 1396
/proc/meminfo: memFree=1244328/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=18540 CPUtime=0
/proc/1395/stat : 1395 (runsolver) R 1393 1395 788 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279090303 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1395/statm: 4635 279 244 17 0 2626 0
[startup+0.108468 s]
/proc/loadavg: 1.88 1.97 1.94 5/87 1396
/proc/meminfo: memFree=1244328/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=914988 CPUtime=0.09
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 2961 0 1 0 7 2 0 0 17 0 8 0 279090303 936947712 2707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155083208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228747 2707 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516509 s]
/proc/loadavg: 1.88 1.97 1.94 5/87 1396
/proc/meminfo: memFree=1244328/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915332 CPUtime=0.49
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 6602 0 1 0 44 5 0 0 18 0 8 0 279090303 937299968 6341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228833 6341 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3396 s]
/proc/loadavg: 1.88 1.97 1.94 3/94 1403
/proc/meminfo: memFree=1210416/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915496 CPUtime=1.3
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 11103 0 1 0 121 9 0 0 24 0 8 0 279090303 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228874 10841 2480 14 0 215344 0
[pid=1395/tid=1397] ppid=1393 vsize=915496 CPUtime=0.06
/proc/1395/task/1397/stat : 1397 (java) S 1393 1395 788 0 -1 64 899 0 0 0 6 0 0 0 16 0 8 0 279090307 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1398] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1398/stat : 1398 (java) S 1393 1395 788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279090308 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1399] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1399/stat : 1399 (java) S 1393 1395 788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279090308 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1400] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1400/stat : 1400 (java) S 1393 1395 788 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279090311 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1401] ppid=1393 vsize=915496 CPUtime=0.22
/proc/1395/task/1401/stat : 1401 (java) S 1393 1395 788 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 279090311 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1402] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1402/stat : 1402 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279090311 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1403] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1403/stat : 1403 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279090311 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915496
[startup+2.99278 s]
/proc/loadavg: 1.88 1.97 1.94 3/94 1403
/proc/meminfo: memFree=1210416/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915496 CPUtime=2.93
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 11105 0 1 0 281 12 0 0 25 0 8 0 279090303 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228874 10842 2480 14 0 215344 0
[pid=1395/tid=1397] ppid=1393 vsize=915496 CPUtime=0.06
/proc/1395/task/1397/stat : 1397 (java) S 1393 1395 788 0 -1 64 899 0 0 0 6 0 0 0 16 0 8 0 279090307 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1398] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1398/stat : 1398 (java) S 1393 1395 788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279090308 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1399] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1399/stat : 1399 (java) S 1393 1395 788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279090308 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1400] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1400/stat : 1400 (java) S 1393 1395 788 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279090311 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1401] ppid=1393 vsize=915496 CPUtime=0.22
/proc/1395/task/1401/stat : 1401 (java) S 1393 1395 788 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 279090311 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1402] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1402/stat : 1402 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279090311 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1403] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1403/stat : 1403 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279090311 937467904 10842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915496
[startup+6.29214 s]
/proc/loadavg: 1.89 1.97 1.94 3/94 1403
/proc/meminfo: memFree=1210360/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915496 CPUtime=6.16
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 11116 0 1 0 600 16 0 0 25 0 8 0 279090303 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228874 10851 2480 14 0 215344 0
[pid=1395/tid=1397] ppid=1393 vsize=915496 CPUtime=0.06
/proc/1395/task/1397/stat : 1397 (java) S 1393 1395 788 0 -1 64 899 0 0 0 6 0 0 0 17 0 8 0 279090307 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1398] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1398/stat : 1398 (java) S 1393 1395 788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279090308 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1399] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1399/stat : 1399 (java) S 1393 1395 788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279090308 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1400] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1400/stat : 1400 (java) S 1393 1395 788 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279090311 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1401] ppid=1393 vsize=915496 CPUtime=0.24
/proc/1395/task/1401/stat : 1401 (java) S 1393 1395 788 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 279090311 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1402] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1402/stat : 1402 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279090311 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1403] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1403/stat : 1403 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279090311 937467904 10851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915496
[startup+12.7798 s]
/proc/loadavg: 1.90 1.97 1.94 3/94 1403
/proc/meminfo: memFree=1210424/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915496 CPUtime=12.52
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 11122 0 1 0 1221 31 0 0 25 0 8 0 279090303 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889261 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228874 10857 2480 14 0 215344 0
[pid=1395/tid=1397] ppid=1393 vsize=915496 CPUtime=0.06
/proc/1395/task/1397/stat : 1397 (java) S 1393 1395 788 0 -1 64 899 0 0 0 6 0 0 0 16 0 8 0 279090307 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1398] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1398/stat : 1398 (java) S 1393 1395 788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279090308 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1399] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1399/stat : 1399 (java) S 1393 1395 788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279090308 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1400] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1400/stat : 1400 (java) S 1393 1395 788 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1401] ppid=1393 vsize=915496 CPUtime=0.25
/proc/1395/task/1401/stat : 1401 (java) S 1393 1395 788 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1402] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1402/stat : 1402 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1403] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1403/stat : 1403 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915496
[startup+25.6332 s]
/proc/loadavg: 1.92 1.97 1.94 3/94 1403
/proc/meminfo: memFree=1210488/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915496 CPUtime=25.25
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 11122 0 1 0 2472 53 0 0 25 0 8 0 279090303 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228874 10857 2480 14 0 215344 0
[pid=1395/tid=1397] ppid=1393 vsize=915496 CPUtime=0.06
/proc/1395/task/1397/stat : 1397 (java) S 1393 1395 788 0 -1 64 899 0 0 0 6 0 0 0 16 0 8 0 279090307 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1398] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1398/stat : 1398 (java) S 1393 1395 788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279090308 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1399] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1399/stat : 1399 (java) S 1393 1395 788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279090308 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1400] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1400/stat : 1400 (java) S 1393 1395 788 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1401] ppid=1393 vsize=915496 CPUtime=0.25
/proc/1395/task/1401/stat : 1401 (java) S 1393 1395 788 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1402] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1402/stat : 1402 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1403] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1403/stat : 1403 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915496
[startup+51.268 s]
/proc/loadavg: 1.95 1.97 1.94 3/94 1403
/proc/meminfo: memFree=1210552/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915496 CPUtime=50.65
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 11122 0 1 0 4990 75 0 0 25 0 8 0 279090303 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228874 10857 2480 14 0 215344 0
[pid=1395/tid=1397] ppid=1393 vsize=915496 CPUtime=0.06
/proc/1395/task/1397/stat : 1397 (java) S 1393 1395 788 0 -1 64 899 0 0 0 6 0 0 0 16 0 8 0 279090307 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1398] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1398/stat : 1398 (java) S 1393 1395 788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279090308 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1399] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1399/stat : 1399 (java) S 1393 1395 788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279090308 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1400] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1400/stat : 1400 (java) S 1393 1395 788 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1401] ppid=1393 vsize=915496 CPUtime=0.25
/proc/1395/task/1401/stat : 1401 (java) S 1393 1395 788 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1402] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1402/stat : 1402 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1403] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1403/stat : 1403 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279090311 937467904 10857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915496
[startup+102.537 s]
/proc/loadavg: 1.97 1.97 1.94 3/94 1403
/proc/meminfo: memFree=1196792/2055920 swapFree=4180096/4192956
[pid=1395] ppid=1393 vsize=915496 CPUtime=101.45
/proc/1395/stat : 1395 (java) R 1393 1395 788 0 -1 0 14634 0 1 0 10056 89 0 0 25 0 8 0 279090303 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074177725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1395/statm: 228874 14360 2532 14 0 215344 0
[pid=1395/tid=1397] ppid=1393 vsize=915496 CPUtime=0.06
/proc/1395/task/1397/stat : 1397 (java) S 1393 1395 788 0 -1 64 899 0 0 0 6 0 0 0 16 0 8 0 279090307 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1398] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1398/stat : 1398 (java) S 1393 1395 788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279090308 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1399] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1399/stat : 1399 (java) S 1393 1395 788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279090308 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1400] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1400/stat : 1400 (java) S 1393 1395 788 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279090311 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1401] ppid=1393 vsize=915496 CPUtime=0.4
/proc/1395/task/1401/stat : 1401 (java) S 1393 1395 788 0 -1 64 486 0 0 0 38 2 0 0 16 0 8 0 279090311 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1402] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1402/stat : 1402 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279090311 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1395/tid=1403] ppid=1393 vsize=915496 CPUtime=0
/proc/1395/task/1403/stat : 1403 (java) S 1393 1395 788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279090311 937467904 14360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915496
Child status: 0
Real time (s): 106.03
CPU time (s): 104.901
CPU user time (s): 104.001
CPU system time (s): 0.899863
CPU usage (%): 98.9356
Max. virtual memory (cumulated for all children) (KiB): 915500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.001
system time used= 0.899863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14761
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= 3911
involuntary context switches= 11080
runsolver used 0.146977 s user time and 0.45593 s system time
The end
Begin job on node24 on Sat Jan 20 15:29:10 UTC 2007
IDJOB= 280639
IDBENCH= 11882
IDSOLVER= 68
FILE ID= node24/280639-1169306950
PBS_JOBID= 3610100
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pedigree/sheep4r-4-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280639-1169306950/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-280639-1169306950 -o ROOT/results/node24/solver-280639-1169306950 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280639-1169306950/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 656a3ee856c960875f2fb0bba19eb6c2
RANDOM SEED= 655278502
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.234
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.234
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: 1244744 kB
Buffers: 46580 kB
Cached: 530516 kB
SwapCached: 6072 kB
Active: 296380 kB
Inactive: 446004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1244744 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 181812 kB
Slab: 53224 kB
Committed_AS: 5927212 kB
PageTables: 2644 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= 66555 MiB
End job on node24 on Sat Jan 20 15:30:57 UTC 2007