Trace number 280640

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCOPTIMUM 106.54 106.694

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

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/node23/watcher-280640-1169306954 -o ROOT/results/node23/solver-280640-1169306954 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280640-1169306954/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.00 1.00 1.00 2/78 21790
/proc/meminfo: memFree=1305400/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=168 CPUtime=0
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 279089885 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 2494763 0 0 4096 0 0 0 0 17 1 0 0
/proc/21789/statm: 42 23 18 14 0 2 0

[startup+0.102699 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21790
/proc/meminfo: memFree=1305400/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=914988 CPUtime=0.08
/proc/21789/stat : 21789 (java) S 21787 21789 20928 0 -1 0 2997 0 1 0 7 1 0 0 17 0 8 0 279089885 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512777 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21790
/proc/meminfo: memFree=1305400/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915332 CPUtime=0.49
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 6821 0 1 0 46 3 0 0 16 0 8 0 279089885 937299968 6560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228833 6561 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33793 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21797
/proc/meminfo: memFree=1271680/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915496 CPUtime=1.32
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 11093 0 1 0 124 8 0 0 17 0 8 0 279089885 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228874 10831 2477 14 0 215344 0
[pid=21789/tid=21791] ppid=21787 vsize=915496 CPUtime=0.06
/proc/21789/task/21791/stat : 21791 (java) S 21787 21789 20928 0 -1 64 900 0 0 0 6 0 0 0 16 0 8 0 279089889 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21792] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21792/stat : 21792 (java) S 21787 21789 20928 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21793] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21793/stat : 21793 (java) S 21787 21789 20928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21794] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21794/stat : 21794 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279089893 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21795] ppid=21787 vsize=915496 CPUtime=0.2
/proc/21789/task/21795/stat : 21795 (java) S 21787 21789 20928 0 -1 64 390 0 0 0 19 1 0 0 15 0 8 0 279089893 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21796] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21796/stat : 21796 (java) S 21787 21789 20928 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279089893 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21797] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21797/stat : 21797 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279089893 937467904 10831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915496

[startup+2.97425 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21797
/proc/meminfo: memFree=1271552/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915496 CPUtime=2.95
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 11095 0 1 0 285 10 0 0 17 0 8 0 279089885 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228874 10832 2477 14 0 215344 0
[pid=21789/tid=21791] ppid=21787 vsize=915496 CPUtime=0.06
/proc/21789/task/21791/stat : 21791 (java) S 21787 21789 20928 0 -1 64 900 0 0 0 6 0 0 0 16 0 8 0 279089889 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21792] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21792/stat : 21792 (java) S 21787 21789 20928 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21793] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21793/stat : 21793 (java) S 21787 21789 20928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21794] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21794/stat : 21794 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279089893 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21795] ppid=21787 vsize=915496 CPUtime=0.2
/proc/21789/task/21795/stat : 21795 (java) S 21787 21789 20928 0 -1 64 391 0 0 0 19 1 0 0 15 0 8 0 279089893 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21796] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21796/stat : 21796 (java) S 21787 21789 20928 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279089893 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21797] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21797/stat : 21797 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279089893 937467904 10832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915496

[startup+6.26889 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21797
/proc/meminfo: memFree=1271488/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915496 CPUtime=6.23
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 11106 0 1 0 607 16 0 0 18 0 8 0 279089885 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889261 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228874 10841 2477 14 0 215344 0
[pid=21789/tid=21791] ppid=21787 vsize=915496 CPUtime=0.06
/proc/21789/task/21791/stat : 21791 (java) S 21787 21789 20928 0 -1 64 900 0 0 0 6 0 0 0 16 0 8 0 279089889 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21792] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21792/stat : 21792 (java) S 21787 21789 20928 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21793] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21793/stat : 21793 (java) S 21787 21789 20928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21794] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21794/stat : 21794 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279089893 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21795] ppid=21787 vsize=915496 CPUtime=0.21
/proc/21789/task/21795/stat : 21795 (java) S 21787 21789 20928 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 279089893 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21796] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21796/stat : 21796 (java) S 21787 21789 20928 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279089893 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21797] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21797/stat : 21797 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279089893 937467904 10841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915496

[startup+12.7391 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21797
/proc/meminfo: memFree=1271488/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915496 CPUtime=12.64
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 11110 0 1 0 1234 30 0 0 18 0 8 0 279089885 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228874 10845 2477 14 0 215344 0
[pid=21789/tid=21791] ppid=21787 vsize=915496 CPUtime=0.06
/proc/21789/task/21791/stat : 21791 (java) S 21787 21789 20928 0 -1 64 900 0 0 0 6 0 0 0 16 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21792] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21792/stat : 21792 (java) S 21787 21789 20928 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21793] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21793/stat : 21793 (java) S 21787 21789 20928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21794] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21794/stat : 21794 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21795] ppid=21787 vsize=915496 CPUtime=0.22
/proc/21789/task/21795/stat : 21795 (java) S 21787 21789 20928 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21796] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21796/stat : 21796 (java) S 21787 21789 20928 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21797] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21797/stat : 21797 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915496

[startup+25.5816 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21797
/proc/meminfo: memFree=1271552/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915496 CPUtime=25.48
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 11110 0 1 0 2498 50 0 0 25 0 8 0 279089885 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228874 10845 2477 14 0 215344 0
[pid=21789/tid=21791] ppid=21787 vsize=915496 CPUtime=0.06
/proc/21789/task/21791/stat : 21791 (java) S 21787 21789 20928 0 -1 64 900 0 0 0 6 0 0 0 16 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21792] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21792/stat : 21792 (java) S 21787 21789 20928 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21793] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21793/stat : 21793 (java) S 21787 21789 20928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21794] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21794/stat : 21794 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21795] ppid=21787 vsize=915496 CPUtime=0.22
/proc/21789/task/21795/stat : 21795 (java) S 21787 21789 20928 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21796] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21796/stat : 21796 (java) S 21787 21789 20928 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21797] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21797/stat : 21797 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915496

[startup+51.2706 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21797
/proc/meminfo: memFree=1271552/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915496 CPUtime=51.16
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 11110 0 1 0 5044 72 0 0 25 0 8 0 279089885 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073888068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228874 10845 2477 14 0 215344 0
[pid=21789/tid=21791] ppid=21787 vsize=915496 CPUtime=0.06
/proc/21789/task/21791/stat : 21791 (java) S 21787 21789 20928 0 -1 64 900 0 0 0 6 0 0 0 16 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21792] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21792/stat : 21792 (java) S 21787 21789 20928 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21793] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21793/stat : 21793 (java) S 21787 21789 20928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21794] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21794/stat : 21794 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21795] ppid=21787 vsize=915496 CPUtime=0.22
/proc/21789/task/21795/stat : 21795 (java) S 21787 21789 20928 0 -1 64 404 0 0 0 21 1 0 0 16 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21796] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21796/stat : 21796 (java) S 21787 21789 20928 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21797] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21797/stat : 21797 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279089893 937467904 10845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915496

[startup+102.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21797
/proc/meminfo: memFree=1257856/2055920 swapFree=4156072/4192956
[pid=21789] ppid=21787 vsize=915496 CPUtime=102.4
/proc/21789/stat : 21789 (java) R 21787 21789 20928 0 -1 0 14645 0 1 0 10156 84 0 0 21 0 8 0 279089885 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074298400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21789/statm: 228874 14367 2530 14 0 215344 0
[pid=21789/tid=21791] ppid=21787 vsize=915496 CPUtime=0.06
/proc/21789/task/21791/stat : 21791 (java) S 21787 21789 20928 0 -1 64 901 0 0 0 6 0 0 0 16 0 8 0 279089889 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21792] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21792/stat : 21792 (java) S 21787 21789 20928 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21793] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21793/stat : 21793 (java) S 21787 21789 20928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279089889 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21794] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21794/stat : 21794 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279089893 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21795] ppid=21787 vsize=915496 CPUtime=0.37
/proc/21789/task/21795/stat : 21795 (java) S 21787 21789 20928 0 -1 64 498 0 0 0 36 1 0 0 16 0 8 0 279089893 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21789/tid=21796] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21796/stat : 21796 (java) S 21787 21789 20928 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279089893 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21789/tid=21797] ppid=21787 vsize=915496 CPUtime=0
/proc/21789/task/21797/stat : 21797 (java) S 21787 21789 20928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279089893 937467904 14367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 915496

Child status: 0
Real time (s): 106.694
CPU time (s): 106.54
CPU user time (s): 105.684
CPU system time (s): 0.855869
CPU usage (%): 99.8557
Max. virtual memory (cumulated for all children) (KiB): 915600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.684
system time used= 0.855869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14750
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= 3492
involuntary context switches= 3560

runsolver used 0.109983 s user time and 0.377942 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan 20 15:29:15 UTC 2007


IDJOB= 280640
IDBENCH= 11882
IDSOLVER= 69
FILE ID= node23/280640-1169306954

PBS_JOBID= 3610104

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  656a3ee856c960875f2fb0bba19eb6c2

RANDOM SEED= 136957761

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.265
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.265
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:       1305880 kB
Buffers:         40236 kB
Cached:         613172 kB
SwapCached:      12040 kB
Active:         153028 kB
Inactive:       531900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1305880 kB
SwapTotal:     4192956 kB
SwapFree:      4156072 kB
Dirty:            2020 kB
Writeback:           0 kB
Mapped:          44980 kB
Slab:            50540 kB
Committed_AS:  5120640 kB
PageTables:       1916 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB



End job on node23 on Sat Jan 20 15:31:02 UTC 2007