Trace number 459066

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 NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)678 1800.09 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
MD5SUMcb09f183d3805e6536d629586026461f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark4.75128
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4688
Total number of constraints403
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4688
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4688
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4688
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb ......
0.19/0.23	c done parsing opb.
0.19/0.23	o 3730
0.29/0.31	o 3729
0.29/0.40	o 3728
0.39/0.48	o 3727
0.49/0.56	o 3726
0.59/0.65	o 3725
0.69/0.73	o 3724
0.79/0.81	o 3723
0.79/0.90	o 3722
0.89/0.98	o 3721
0.99/1.06	o 3706
1.10/1.14	o 3705
1.19/1.23	o 3704
1.29/1.31	o 3703
1.29/1.39	o 3702
1.39/1.48	o 3701
1.49/1.56	o 3700
1.59/1.64	o 3699
1.69/1.72	o 3698
1.78/1.81	o 3697
1.78/1.89	o 3696
1.89/1.97	o 3695
1.99/2.06	o 3694
2.09/2.14	o 3693
2.19/2.22	o 3692
2.29/2.30	o 3691
2.29/2.39	o 3690
2.39/2.47	o 3689
2.49/2.55	o 3688
2.59/2.63	o 3687
2.69/2.71	o 3686
2.69/2.79	o 3685
2.79/2.88	o 3684
2.89/2.96	o 3683
2.99/3.04	o 3682
3.09/3.12	o 3681
3.20/3.21	o 3680
3.20/3.29	o 3679
3.29/3.37	o 3678
3.39/3.45	o 3677
3.49/3.53	o 3676
3.59/3.61	o 3675
3.59/3.70	o 3674
3.69/3.78	o 3673
3.79/3.86	o 3672
3.88/3.94	o 3671
3.99/4.02	o 3670
4.09/4.10	o 3669
4.09/4.19	o 3668
4.19/4.27	o 3667
4.29/4.35	o 3666
4.40/4.43	o 3665
4.49/4.51	o 3664
4.59/4.60	o 3663
4.59/4.68	o 3662
4.68/4.76	o 3661
4.79/4.84	o 3660
4.89/4.92	o 3659
4.99/5.01	o 3658
4.99/5.09	o 3657
5.09/5.17	o 3656
5.19/5.25	o 3655
5.29/5.33	o 3654
5.39/5.42	o 3653
5.39/5.50	o 3652
5.50/5.58	o 3651
5.59/5.66	o 3650
5.69/5.74	o 3649
5.79/5.83	o 3648
5.89/5.91	o 3647
5.89/5.99	o 3646
5.98/6.07	o 3645
6.09/6.15	o 3644
6.19/6.24	o 3643
6.29/6.32	o 3642
6.39/6.40	o 3641
6.39/6.48	o 3640
6.50/6.56	o 3639
6.59/6.65	o 3638
6.69/6.73	o 3637
6.79/6.81	o 3636
6.79/6.89	o 3635
6.89/6.95	o 2596
6.99/7.01	o 2595
6.99/7.07	o 2594
7.09/7.13	o 2593
7.09/7.20	o 2592
7.19/7.26	o 2591
7.28/7.32	o 2590
7.28/7.38	o 2589
7.39/7.44	o 2588
7.49/7.50	o 2587
7.49/7.56	o 2586
7.59/7.62	o 2585
7.59/7.68	o 2574
7.69/7.74	o 2573
7.79/7.80	o 2572
7.79/7.86	o 2571
7.89/7.92	o 2570
7.89/7.98	o 2569
7.99/8.04	o 2568
8.08/8.10	o 2567
8.08/8.16	o 2566
8.19/8.22	o 2565
8.19/8.28	o 2564
8.28/8.34	o 2563
8.38/8.40	o 2562
8.38/8.46	o 2561
8.49/8.52	o 2560
8.49/8.58	o 2559
8.58/8.64	o 2558
8.69/8.70	o 2557
8.69/8.76	o 2556
8.79/8.82	o 2555
8.79/8.88	o 2554
8.89/8.94	o 2553
8.99/9.00	o 2552
8.99/9.06	o 2551
9.08/9.12	o 2550
9.08/9.18	o 2549
9.18/9.24	o 2548
9.29/9.31	o 2547
9.29/9.37	o 2546
9.38/9.42	o 2330
9.38/9.48	o 2329
9.49/9.54	o 2328
9.49/9.59	o 2327
9.59/9.65	o 2317
9.69/9.71	o 2314
9.69/9.77	o 2313
9.79/9.82	o 2312
9.79/9.88	o 2311
9.89/9.94	o 2310
9.98/10.05	o 2309
9.98/10.09	o 1172
10.09/10.12	o 1137
10.09/10.15	o 1136
10.09/10.18	o 1135
10.18/10.25	o 1134
10.18/10.27	o 679
10.39/10.41	o 678
1800.06/1800.50	s SATISFIABLE
1800.06/1800.50	v x1 x10 -x100 x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x101 -x1010 -x1011 -x1012 x1013 -x1014
1800.06/1800.50	v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x103 -x1030
1800.06/1800.50	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x104 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.06/1800.50	v -x1048 -x1049 -x105 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063
1800.06/1800.50	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1800.06/1800.50	v -x108 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
1800.06/1800.50	v -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x111 -x1110
1800.06/1800.50	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127
1800.06/1800.50	v -x1128 -x1129 -x113 -x1130 -x1131 -x1132 x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143
1800.06/1800.50	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 x1156 x1157 -x1158 -x1159 -x116
1800.06/1800.50	v -x1160 x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176
1800.06/1800.50	v -x1177 -x1178 x1179 x118 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 x1189 -x119 -x1190 -x1191 -x1192
1800.06/1800.50	v -x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208
1800.06/1800.50	v -x1209 -x121 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224
1800.06/1800.50	v -x1225 x1226 x1227 -x1228 -x1229 x123 -x1230 x1231 x1232 x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 x124 -x1240 -x1241
1800.06/1800.50	v -x1242 -x1243 x1244 x1245 -x1246 x1247 -x1248 x1249 x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258
1800.06/1800.50	v -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 x1271 -x1272 -x1273 -x1274
1800.06/1800.50	v -x1275 -x1276 -x1277 -x1278 x1279 -x128 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 x1290
1800.06/1800.50	v -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306
1800.06/1800.50	v -x1307 -x1308 -x1309 x131 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322
1800.06/1800.50	v x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x133 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 x1337 -x1338 -x1339
1800.06/1800.50	v x134 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x135 -x1350 -x1351 -x1352 -x1353 x1354 x1355
1800.06/1800.50	v -x1356 -x1357 x1358 -x1359 -x136 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371
1800.06/1800.50	v x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x138 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388
1800.06/1800.50	v -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 -x1399 -x14 -x140 -x1400 -x1401 x1402 -x1403
1800.06/1800.50	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 x1413 -x1414 x1415 -x1416 x1417 -x1418 x1419 -x142
1800.06/1800.50	v x1420 -x1421 x1422 -x1423 x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436
1800.06/1800.50	v -x1437 -x1438 -x1439 -x144 -x1440 x1441 -x1442 -x1443 x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x145 -x1450 -x1451 x1452
1800.06/1800.50	v x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469
1800.06/1800.50	v -x147 -x1470 -x1471 -x1472 -x1473 x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1800.06/1800.50	v -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500
1800.06/1800.50	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1800.06/1800.50	v -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533
1800.06/1800.50	v -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x155
1800.06/1800.50	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566
1800.06/1800.50	v -x1567 x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x158 x1580 -x1581 -x1582
1800.06/1800.50	v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599
1800.06/1800.50	v -x16 -x160 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614
1800.06/1800.50	v -x1615 -x1616 -x1617 -x1618 -x1619 -x162 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630
1800.06/1800.50	v -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x164 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647
1800.06/1800.50	v -x1648 -x1649 x165 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 x1661 -x1662 -x1663
1800.06/1800.50	v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x168
1800.06/1800.50	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
1800.06/1800.50	v -x1697 -x1698 -x1699 -x17 x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711
1800.06/1800.50	v x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728
1800.06/1800.50	v -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744
1800.06/1800.50	v -x1745 -x1746 -x1747 -x1748 -x1749 -x175 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 x1758 -x1759 -x176 -x1760
1800.06/1800.50	v -x1761 x1762 x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.06/1800.50	v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 x1792 -x1793
1800.06/1800.50	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1800.06/1800.50	v -x181 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x182 -x1820 x1821 -x1822 x1823 -x1824 -x1825
1800.06/1800.50	v x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841
1800.06/1800.50	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x185 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 x1858
1800.06/1800.50	v -x1859 -x186 -x1860 -x1861 -x1862 -x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 x1872 -x1873 x1874
1800.06/1800.50	v -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x189 x1890
1800.06/1800.50	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906
1800.06/1800.50	v -x1907 -x1908 -x1909 -x191 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x192 x1920 -x1921 -x1922
1800.06/1800.50	v -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939
1800.06/1800.50	v -x194 -x1940 -x1941 x1942 -x1943 -x1944 x1945 x1946 -x1947 x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955
1800.06/1800.50	v -x1956 -x1957 -x1958 -x1959 -x196 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 x1970 -x1971
1800.06/1800.50	v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 x198 -x1980 -x1981 -x1982 -x1983 x1984 x1985 -x1986 -x1987 x1988
1800.06/1800.50	v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 x1997 x1998 -x1999 -x2 -x20 x200 x2000 x2001 -x2002 x2003 -x2004
1800.06/1800.50	v -x2005 x2006 -x2007 -x2008 -x2009 x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x202 -x2020
1800.06/1800.50	v x2021 -x2022 -x2023 x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 x2032 x2033 -x2034 -x2035 -x2036 -x2037
1800.06/1800.50	v -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053
1800.06/1800.50	v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 x207
1800.06/1800.50	v -x2070 -x2071 -x2072 -x2073 x2074 x2075 x2076 x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086
1800.06/1800.50	v -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 x2101
1800.06/1800.50	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 x2118
1800.06/1800.50	v -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 x2132 -x2133 -x2134
1800.06/1800.50	v -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x215 -x2150
1800.06/1800.50	v -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.06/1800.50	v -x2168 -x2169 -x217 x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183
1800.06/1800.50	v x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x22
1800.06/1800.50	v x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 x2214 -x2215
1800.06/1800.50	v -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 x2226 x2227 -x2228 -x2229 x223 -x2230 -x2231
1800.06/1800.50	v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.06/1800.50	v x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263
1800.06/1800.50	v -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x227 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x228
1800.06/1800.50	v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 x229 -x2290 -x2291 x2292 -x2293 x2294 -x2295 -x2296
1800.06/1800.50	v -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 x2309 x231 -x2310 -x2311
1800.06/1800.50	v -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328
1800.06/1800.50	v -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 x2344
1800.06/1800.50	v -x2345 -x2346 -x2347 -x2348 -x2349 x235 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 x2357 -x2358 -x2359 x236 -x2360
1800.06/1800.50	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377
1800.06/1800.50	v -x2378 -x2379 -x238 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x239 -x2390 -x2391 -x2392 -x2393
1800.06/1800.50	v -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x24 x240 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409
1800.06/1800.50	v x241 x2410 -x2411 x2412 -x2413 x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425
1800.06/1800.50	v -x2426 -x2427 -x2428 -x2429 -x243 x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441
1800.06/1800.50	v x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458
1800.06/1800.50	v -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 x2472 -x2473 -x2474
1800.06/1800.50	v -x2475 -x2476 -x2477 -x2478 -x2479 x248 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490
1800.06/1800.50	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x25 x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506
1800.06/1800.50	v -x2507 -x2508 -x2509 -x251 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522
1800.06/1800.50	v x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x253 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539
1800.06/1800.50	v -x254 -x2540 -x2541 -x2542 x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1800.06/1800.50	v x2556 x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571
1800.06/1800.50	v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588
1800.06/1800.50	v -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603
1800.06/1800.50	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x262
1800.06/1800.50	v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
1800.06/1800.50	v -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 x265 -x2650 -x2651
1800.06/1800.50	v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 x2668
1800.06/1800.50	v -x2669 x267 -x2670 -x2671 x2672 x2673 -x2674 -x2675 -x2676 x2677 -x2678 -x2679 -x268 -x2680 x2681 -x2682 -x2683 -x2684
1800.06/1800.50	v -x2685 -x2686 -x2687 -x2688 -x2689 x269 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 x270
1800.06/1800.50	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715
1800.06/1800.50	v -x2716 x2717 -x2718 -x2719 -x272 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731
1800.06/1800.50	v -x2732 -x2733 -x2734 x2735 x2736 -x2737 -x2738 x2739 x274 x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748
1800.06/1800.50	v -x2749 -x275 -x2750 x2751 -x2752 x2753 -x2754 x2755 x2756 -x2757 x2758 -x2759 -x276 -x2760 x2761 x2762 -x2763 -x2764 -x2765
1800.06/1800.50	v -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x278 x2780 -x2781
1800.06/1800.50	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798
1800.06/1800.50	v -x2799 x28 -x280 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813
1800.06/1800.50	v -x2814 x2815 -x2816 -x2817 x2818 -x2819 -x282 -x2820 x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 x283
1800.06/1800.50	v -x2830 x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846
1800.06/1800.50	v x2847 x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862
1800.06/1800.50	v x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 x287 -x2870 -x2871 -x2872 x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879
1800.06/1800.50	v -x288 x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 x2892 -x2893 -x2894 -x2895
1800.06/1800.50	v -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 x2907 -x2908 -x2909 -x291 -x2910
1800.06/1800.50	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 x2927
1800.06/1800.50	v -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943
1800.06/1800.50	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 x2959 -x296
1800.06/1800.50	v -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x297 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976
1800.06/1800.50	v -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 x2987 x2988 -x2989 x299 -x2990 -x2991 -x2992
1800.06/1800.50	v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007
1800.06/1800.50	v -x3008 -x3009 -x301 -x3010 x3011 -x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 x3023
1800.06/1800.50	v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x303 -x3030 x3031 x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 x304
1800.06/1800.50	v -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056
1800.06/1800.50	v -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 x3063 x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x307 x3070 -x3071 -x3072
1800.06/1800.50	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089
1800.06/1800.50	v -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104
1800.06/1800.50	v -x3105 -x3106 -x3107 -x3108 -x3109 x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120
1800.06/1800.50	v x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 x3136 -x3137
1800.06/1800.50	v -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 x315 -x3150 -x3151 -x3152 -x3153
1800.06/1800.50	v -x3154 -x3155 -x3156 x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317
1800.06/1800.50	v -x3170 -x3171 -x3172 x3173 -x3174 -x3175 x3176 -x3177 x3178 -x3179 x318 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186
1800.06/1800.50	v -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x32 -x320 x3200 -x3201
1800.06/1800.50	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.06/1800.50	v -x3219 x322 x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 x3231 -x3232 -x3233 -x3234
1800.06/1800.50	v -x3235 -x3236 -x3237 -x3238 -x3239 x324 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250
1800.06/1800.50	v x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x326 -x3260 -x3261 x3262 -x3263 -x3264 x3265 -x3266 -x3267
1800.06/1800.50	v -x3268 -x3269 x327 x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 x328 x3280 -x3281 -x3282 x3283 -x3284
1800.06/1800.50	v -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330
1800.06/1800.50	v -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316
1800.06/1800.50	v -x3317 -x3318 -x3319 x332 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332
1800.06/1800.50	v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x334 -x3340 x3341 -x3342 -x3343 x3344 -x3345 x3346 -x3347 -x3348 -x3349
1800.06/1800.50	v -x335 -x3350 x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365
1800.06/1800.50	v -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381
1800.06/1800.50	v -x3382 -x3383 -x3384 -x3385 x3386 x3387 x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398
1800.06/1800.50	v -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 x3410 -x3411 -x3412 -x3413
1800.06/1800.50	v x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x343
1800.06/1800.50	v x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 x3441 x3442 -x3443 -x3444 -x3445 -x3446
1800.06/1800.50	v -x3447 x3448 x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x346 -x3460 -x3461 -x3462
1800.06/1800.50	v -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479
1800.06/1800.50	v -x348 -x3480 x3481 -x3482 -x3483 x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 x3495
1800.06/1800.50	v x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510
1800.06/1800.50	v -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527
1800.06/1800.50	v -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 x354 -x3540 -x3541 -x3542 -x3543
1800.06/1800.50	v -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 x356
1800.06/1800.50	v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576
1800.06/1800.50	v -x3577 -x3578 -x3579 x358 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x359 -x3590 x3591 -x3592
1800.06/1800.50	v x3593 -x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608
1800.06/1800.50	v -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624
1800.06/1800.50	v -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 x3640
1800.06/1800.50	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657
1800.06/1800.50	v -x3658 x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 x3670 -x3671 -x3672 -x3673
1800.06/1800.50	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x369
1800.06/1800.50	v -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
1800.06/1800.50	v x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 x3715 x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721
1800.06/1800.50	v -x3722 -x3723 x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738
1800.06/1800.50	v x3739 x374 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x375 -x3750 -x3751 -x3752 -x3753 -x3754
1800.06/1800.50	v -x3755 -x3756 -x3757 -x3758 -x3759 x376 -x3760 -x3761 -x3762 x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770
1800.06/1800.50	v -x3771 -x3772 x3773 -x3774 x3775 -x3776 x3777 -x3778 -x3779 x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787
1800.06/1800.50	v -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 x3802
1800.06/1800.50	v -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 x381 -x3810 -x3811 -x3812 x3813 x3814 -x3815 x3816 -x3817 -x3818 -x3819
1800.06/1800.50	v x382 -x3820 x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835
1800.06/1800.50	v x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851
1800.06/1800.50	v x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868
1800.06/1800.50	v -x3869 -x387 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884
1800.06/1800.50	v x3885 -x3886 -x3887 x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x39 -x390
1800.06/1800.50	v -x3900 -x3901 -x3902 x3903 x3904 -x3905 -x3906 -x3907 -x3908 -x3909 x391 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916
1800.06/1800.50	v -x3917 -x3918 -x3919 -x392 x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932
1800.06/1800.50	v -x3933 -x3934 -x3935 x3936 -x3937 x3938 -x3939 -x394 x3940 -x3941 -x3942 -x3943 -x3944 -x3945 x3946 -x3947 -x3948 -x3949
1800.06/1800.50	v -x395 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965
1800.06/1800.50	v -x3966 -x3967 -x3968 -x3969 x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981
1800.06/1800.50	v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x399 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998
1800.06/1800.50	v x3999 -x4 -x40 x400 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x401 -x4010 x4011 -x4012 -x4013
1800.06/1800.50	v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x403
1800.06/1800.50	v x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x404 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
1800.06/1800.50	v -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 x4054 x4055 x4056 -x4057 -x4058 -x4059 x406 -x4060 -x4061 -x4062
1800.06/1800.50	v -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076 x4077 -x4078 -x4079
1800.06/1800.50	v -x408 -x4080 -x4081 -x4082 -x4083 x4084 x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095
1800.06/1800.50	v -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110
1800.06/1800.50	v x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127
1800.06/1800.50	v -x4128 -x4129 x413 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 x4142 -x4143
1800.06/1800.50	v -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x416
1800.06/1800.50	v -x4160 -x4161 x4162 -x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x417 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 x4176
1800.06/1800.50	v -x4177 -x4178 -x4179 -x418 x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x419 -x4190 x4191 -x4192
1800.06/1800.50	v x4193 -x4194 x4195 -x4196 x4197 x4198 -x4199 x42 x420 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209
1800.06/1800.50	v -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 x4224 -x4225
1800.06/1800.50	v -x4226 x4227 -x4228 -x4229 x423 -x4230 -x4231 -x4232 x4233 x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241
1800.06/1800.50	v -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258
1800.06/1800.50	v x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 x4273 -x4274
1800.06/1800.50	v -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x429 -x4290
1800.06/1800.50	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 x43 -x430 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306
1800.06/1800.50	v -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322
1800.06/1800.50	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 x4332 -x4333 -x4334 -x4335 x4336 -x4337 -x4338 -x4339
1800.06/1800.50	v -x434 x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.06/1800.50	v -x4356 -x4357 -x4358 -x4359 -x436 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371
1800.06/1800.50	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 x4382 -x4383 -x4384 x4385 -x4386 -x4387 -x4388
1800.06/1800.50	v -x4389 -x439 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403
1800.06/1800.50	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442
1800.06/1800.50	v x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 x4431 -x4432 x4433 -x4434 -x4435 -x4436
1800.06/1800.50	v -x4437 -x4438 -x4439 -x444 x4440 -x4441 -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 x4450 -x4451 -x4452
1800.06/1800.50	v -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468
1800.06/1800.50	v -x4469 -x447 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x448 -x4480 x4481 -x4482 -x4483 -x4484
1800.06/1800.50	v -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 x45 x450
1800.06/1800.50	v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515
1800.06/1800.50	v -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531
1800.06/1800.50	v x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 x4540 x4541 -x4542 -x4543 -x4544 -x4545 x4546 -x4547 x4548
1800.06/1800.50	v -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x456 x4560 -x4561 -x4562 -x4563 -x4564
1800.06/1800.50	v -x4565 -x4566 -x4567 -x4568 x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580
1800.06/1800.50	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597
1800.06/1800.50	v -x4598 -x4599 -x46 -x460 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x461 -x4610 x4611 -x4612
1800.06/1800.50	v x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629
1800.06/1800.50	v -x463 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645
1800.06/1800.50	v -x4646 -x4647 -x4648 -x4649 x465 -x4650 -x4651 -x4652 x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661
1800.06/1800.50	v x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 -x4671 x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678
1800.06/1800.50	v -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x469 x47 -x470 -x471 x472 -x473 -x474 -x475
1800.06/1800.50	v -x476 -x477 x478 x479 -x48 -x480 -x481 x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x49 -x490 -x491 -x492 x493 -x494 -x495
1800.06/1800.50	v -x496 -x497 -x498 -x499 -x5 -x50 -x500 x501 x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514
1800.06/1800.50	v x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 x534
1800.06/1800.50	v -x535 x536 -x537 -x538 x539 -x54 -x540 -x541 -x542 -x543 x544 -x545 x546 x547 -x548 -x549 -x55 -x550 -x551 x552 -x553 -x554
1800.06/1800.50	v -x555 x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 x570 -x571 -x572 -x573
1800.06/1800.50	v -x574 -x575 x576 x577 -x578 -x579 -x58 x580 -x581 -x582 x583 -x584 x585 x586 -x587 -x588 x589 -x59 -x590 -x591 -x592 -x593
1800.06/1800.50	v x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 x601 -x602 -x603 -x604 -x605 -x606 x607 x608 -x609 -x61 -x610 -x611 -x612
1800.06/1800.50	v x613 -x614 -x615 x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632
1800.06/1800.50	v -x633 -x634 x635 -x636 -x637 -x638 x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 x649 -x65 -x650 -x651 -x652
1800.06/1800.50	v -x653 -x654 -x655 -x656 x657 x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671
1800.06/1800.50	v x672 x673 -x674 x675 x676 -x677 -x678 -x679 x68 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x69 -x690 -x691
1800.06/1800.50	v x692 -x693 -x694 x695 x696 -x697 -x698 x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 x71 -x710 -x711
1800.06/1800.50	v -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x72 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x73 x730 -x731
1800.06/1800.50	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 x748 x749 -x75 -x750 x751
1800.06/1800.50	v -x752 -x753 -x754 x755 x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770
1800.06/1800.50	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79
1800.06/1800.50	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 x8 -x80 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809
1800.06/1800.50	v -x81 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829
1800.06/1800.50	v -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 x848
1800.06/1800.50	v x849 -x85 -x850 -x851 -x852 x853 -x854 -x855 -x856 x857 x858 -x859 -x86 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868
1800.06/1800.50	v -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1800.06/1800.50	v -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905
1800.06/1800.50	v x906 -x907 -x908 x909 -x91 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 x922 -x923 -x924 -x925
1800.06/1800.50	v -x926 -x927 -x928 -x929 -x93 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944
1800.06/1800.50	v -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964
1800.06/1800.50	v -x965 x966 -x967 x968 -x969 -x97 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 x982 -x983 -x984
1800.06/1800.50	v -x985 x986 -x987 -x988 -x989 -x99 x990 x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	678

Conversion Script Data (download as text)

/tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-459066-1178648027 -o ROOT/results/node29/solver-459066-1178648027 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 8105
/proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=1912 CPUtime=0
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 312718425 1957888 267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 478 267 84 219 0 255 0

[startup+0.0669191 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 8105
/proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=2196 CPUtime=0.06
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 352 0 0 0 6 0 0 0 18 0 1 0 312718425 2248704 334 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 549 334 86 219 0 326 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2196

[startup+0.10192 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 8105
/proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=2384 CPUtime=0.09
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 370 0 0 0 9 0 0 0 18 0 1 0 312718425 2441216 352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 596 352 86 219 0 373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2384

[startup+0.301933 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 8105
/proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=2380 CPUtime=0.29
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 29 0 0 0 19 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 595 414 101 219 0 372 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2380

[startup+0.701959 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 8105
/proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=2380 CPUtime=0.69
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 67 2 0 0 22 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 595 414 101 219 0 372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2380

[startup+1.50201 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1550080/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=2380 CPUtime=1.49
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 144 5 0 0 25 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 595 414 101 219 0 372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2380

[startup+3.10111 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1549888/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=2380 CPUtime=3.09
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 297 12 0 0 25 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 595 414 101 219 0 372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2380

[startup+6.30132 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1549888/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=2380 CPUtime=6.29
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 603 26 0 0 25 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 595 414 101 219 0 372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2380

[startup+12.7017 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1549184/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=3044 CPUtime=12.68
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 599 0 0 0 1221 47 0 0 25 0 1 0 312718425 3117056 581 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 761 581 102 219 0 538 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3044

[startup+25.5015 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1548352/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=3700 CPUtime=25.48
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 796 0 0 0 2499 49 0 0 25 0 1 0 312718425 3788800 778 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 925 778 102 219 0 702 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3700

[startup+51.1012 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1547264/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=6772 CPUtime=51.07
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 1088 0 0 0 5058 49 0 0 25 0 1 0 312718425 6934528 1070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 1693 1070 102 219 0 1470 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6772

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1544768/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=11036 CPUtime=102.27
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 1696 0 0 0 10177 50 0 0 25 0 1 0 312718425 11300864 1678 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 2759 1678 102 219 0 2536 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11036

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1542080/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=11036 CPUtime=162.25
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 2382 0 0 0 16174 51 0 0 25 0 1 0 312718425 11300864 2364 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 2759 2364 102 219 0 2536 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 11036

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1539200/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=19228 CPUtime=222.23
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 3080 0 0 0 22172 51 0 0 25 0 1 0 312718425 19689472 3062 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 4807 3062 102 219 0 4584 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19228

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1536384/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=19228 CPUtime=282.22
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 3784 0 0 0 28170 52 0 0 25 0 1 0 312718425 19689472 3766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 4807 3766 102 219 0 4584 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19228

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1533568/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=19228 CPUtime=342.21
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 4476 0 0 0 34168 53 0 0 25 0 1 0 312718425 19689472 4458 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 4807 4458 102 219 0 4584 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 19228

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1530816/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=35612 CPUtime=402.2
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 5161 0 0 0 40166 54 0 0 25 0 1 0 312718425 36466688 5143 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 8903 5143 102 219 0 8680 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 35612

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1528128/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=35804 CPUtime=462.18
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 5867 0 0 0 46163 55 0 0 25 0 1 0 312718425 36663296 5849 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 8951 5849 102 219 0 8728 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 35804

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1525312/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=35804 CPUtime=522.16
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 6564 0 0 0 52161 55 0 0 25 0 1 0 312718425 36663296 6546 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 8951 6546 102 219 0 8728 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 35804

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1522560/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=35804 CPUtime=582.15
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 7251 0 0 0 58159 56 0 0 25 0 1 0 312718425 36663296 7233 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 8951 7233 102 219 0 8728 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 35804

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 8106
/proc/meminfo: memFree=1519808/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=35804 CPUtime=642.14
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 7932 0 0 0 64157 57 0 0 25 0 1 0 312718425 36663296 7914 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 8951 7914 102 219 0 8728 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 35804


################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 8106
/proc/meminfo: memFree=1494016/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=70852 CPUtime=882.08
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 14373 0 0 0 88091 117 0 0 25 0 1 0 312718425 72552448 14306 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 17713 14306 102 219 0 17490 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 70852

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8106
/proc/meminfo: memFree=1492928/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=71864 CPUtime=942.06
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 14660 0 0 0 94024 182 0 0 25 0 1 0 312718425 73588736 14593 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 17966 14593 102 219 0 17743 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 71864

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8106
/proc/meminfo: memFree=1492608/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=72632 CPUtime=1002.05
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 14888 0 0 0 99955 250 0 0 25 0 1 0 312718425 74375168 14724 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 18158 14724 102 219 0 17935 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 72632

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8106
/proc/meminfo: memFree=1492096/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=73016 CPUtime=1062.03
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15007 0 0 0 105883 320 0 0 25 0 1 0 312718425 74768384 14843 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 18254 14843 102 219 0 18031 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 73016

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 8106
/proc/meminfo: memFree=1491520/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=74120 CPUtime=1122.02
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15308 0 0 0 111854 348 0 0 25 0 1 0 312718425 75898880 14951 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 18530 14951 102 219 0 18307 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 74120

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8106
/proc/meminfo: memFree=1491200/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=74508 CPUtime=1182.01
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15439 0 0 0 117849 352 0 0 25 0 1 0 312718425 76296192 15082 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 18627 15082 102 219 0 18404 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 74508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8106
/proc/meminfo: memFree=1490688/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=74880 CPUtime=1241.99
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15550 0 0 0 123845 354 0 0 25 0 1 0 312718425 76677120 15193 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 18720 15193 102 219 0 18497 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 74880

[startup+1302.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 8106
/proc/meminfo: memFree=1490112/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=75224 CPUtime=1301.98
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15665 0 0 0 129842 356 0 0 25 0 1 0 312718425 77029376 15308 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 18806 15308 102 219 0 18583 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 75224

[startup+1362.3 s]
/proc/loadavg: 1.17 1.04 1.01 2/78 8106
/proc/meminfo: memFree=1489664/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=75544 CPUtime=1361.96
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15772 0 0 0 135838 358 0 0 25 0 1 0 312718425 77357056 15415 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 18886 15415 102 219 0 18663 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 75544

[startup+1422.31 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 8106
/proc/meminfo: memFree=1489024/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=76160 CPUtime=1421.95
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15924 0 0 0 141834 361 0 0 25 0 1 0 312718425 77987840 15567 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 19040 15567 102 219 0 18817 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 76160

[startup+1482.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 8106
/proc/meminfo: memFree=1488576/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=76416 CPUtime=1481.93
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 16034 0 0 0 147830 363 0 0 25 0 1 0 312718425 78249984 15677 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 19104 15677 102 219 0 18881 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 76416

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 8106
/proc/meminfo: memFree=1487872/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=77084 CPUtime=1541.92
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 16231 0 0 0 153826 366 0 0 25 0 1 0 312718425 78934016 15874 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 19271 15874 102 219 0 19048 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 77084

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8108
/proc/meminfo: memFree=1487104/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=79180 CPUtime=1601.9
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 16786 0 0 0 159822 368 0 0 25 0 1 0 312718425 81080320 16044 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 19795 16044 102 219 0 19572 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 79180

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8108
/proc/meminfo: memFree=1486080/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=80280 CPUtime=1661.88
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17048 0 0 0 165813 375 0 0 25 0 1 0 312718425 82206720 16306 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 20070 16306 102 219 0 19847 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 80280

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8108
/proc/meminfo: memFree=1485632/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=80804 CPUtime=1721.87
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17169 0 0 0 171809 378 0 0 25 0 1 0 312718425 82743296 16427 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 20201 16427 102 219 0 19978 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 80804

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8108
/proc/meminfo: memFree=1485312/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=80804 CPUtime=1781.86
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17232 0 0 0 177805 381 0 0 25 0 1 0 312718425 82743296 16490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 20201 16490 102 219 0 19978 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 80804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8108
/proc/meminfo: memFree=1485248/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=80952 CPUtime=1800.06
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17244 0 0 0 179624 382 0 0 25 0 1 0 312718425 82894848 16502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 20238 16502 102 219 0 20015 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 80952

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8108
/proc/meminfo: memFree=1485248/2055920 swapFree=4146788/4192956
[pid=8105] ppid=8103 vsize=80952 CPUtime=1800.06
/proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17244 0 0 0 179624 382 0 0 25 0 1 0 312718425 82894848 16502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8105/statm: 20238 16502 102 219 0 20015 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 80952

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1796.25
CPU system time (s): 3.83542
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 80952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.25
system time used= 3.83542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 3349

runsolver used 1.40679 second user time and 3.78242 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Tue May  8 18:13:47 UTC 2007

IDJOB= 459066
IDBENCH= 2837
IDSOLVER= 200
FILE ID= node29/459066-1178648027

PBS_JOBID= 5218388

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-459066-1178648027 -o ROOT/results/node29/conversion-459066-1178648027 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-459066-1178648027 -o ROOT/results/node29/solver-459066-1178648027 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  cb09f183d3805e6536d629586026461f

RANDOM SEED= 603091133

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.224
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.224
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:       1551840 kB
Buffers:         40584 kB
Cached:         340716 kB
SwapCached:      11264 kB
Active:         137832 kB
Inactive:       266804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1551840 kB
SwapTotal:     4192956 kB
SwapFree:      4146788 kB
Dirty:            2464 kB
Writeback:           0 kB
Mapped:          30380 kB
Slab:            84852 kB
Committed_AS:  7071852 kB
PageTables:       1872 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= 66562 MiB

End job on node29 on Tue May  8 18:43:49 UTC 2007