Trace number 280639

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCOPTIMUM 104.901 106.03

General information on the benchmark

NameMaxCSP/pedigree/
sheep4r-4-2_ext.xml
MD5SUM656a3ee856c960875f2fb0bba19eb6c2
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints2829
Best CPU time to get the best result obtained on this benchmark37.0984
Satisfiable
(Un)Satisfiability was proved
Number of variables2255
Number of constraints2830
Maximum constraint arity3
Maximum domain size10
Number of constraints which are defined in extension2830
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.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

Verifier Data (download as text)

1 unsatisfied constraints, 2829 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/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

Launcher Data (download as text)

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