Trace number 458804

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)669 1800.07 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-prom2.pi.opb
MD5SUM6a8ed45a9ac044152dd384e143f7e172
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark287
Best CPU time to get the best result obtained on this benchmark7.05193
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 287
Optimality of the best value was proved YES
Number of variables2617
Total number of constraints1988
Number of constraints which are clauses1988
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 constraint1
Maximum length of a constraint30
Number of terms in the objective function 2617
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 2617
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2617
Number of bits of the biggest sum of numbers12
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/458804-1178644028/instance-458804-1178644028.opb ......
0.09/0.12	c done parsing opb.
0.09/0.12	o 2585
0.09/0.15	o 2572
0.09/0.19	o 2571
0.19/0.22	o 2570
0.19/0.26	o 2569
0.19/0.29	o 2568
0.29/0.32	o 2567
0.29/0.36	o 2566
0.29/0.39	o 2565
0.39/0.43	o 2564
0.39/0.46	o 2563
0.39/0.49	o 2562
0.49/0.53	o 2561
0.49/0.56	o 2560
0.49/0.59	o 2559
0.59/0.63	o 2558
0.59/0.66	o 2557
0.59/0.70	o 2556
0.69/0.73	o 2555
0.69/0.76	o 2554
0.79/0.80	o 2553
0.79/0.83	o 2552
0.79/0.87	o 2551
0.89/0.90	o 2550
0.89/0.93	o 2549
0.89/0.97	o 2548
0.99/1.00	o 2547
0.99/1.04	o 2546
0.99/1.07	o 2545
1.10/1.10	o 2544
1.10/1.14	o 2543
1.10/1.17	o 2542
1.19/1.21	o 2541
1.19/1.24	o 2540
1.19/1.27	o 2539
1.29/1.31	o 2538
1.29/1.34	o 2537
1.29/1.37	o 2536
1.39/1.41	o 2535
1.39/1.44	o 2534
1.39/1.48	o 2533
1.49/1.51	o 2532
1.49/1.54	o 2531
1.49/1.58	o 2530
1.60/1.61	o 2529
1.60/1.64	o 2528
1.60/1.68	o 2527
1.69/1.71	o 2526
1.69/1.75	o 2525
1.69/1.78	o 2524
1.79/1.81	o 2523
1.79/1.85	o 2522
1.79/1.88	o 2521
1.89/1.91	o 2520
1.89/1.95	o 2519
1.89/1.98	o 2518
1.99/2.02	o 2517
1.99/2.05	o 2516
1.99/2.08	o 2515
2.09/2.12	o 2514
2.09/2.15	o 2513
2.09/2.18	o 2512
2.19/2.22	o 2511
2.19/2.25	o 2510
2.19/2.28	o 2509
2.30/2.32	o 2508
2.30/2.35	o 2507
2.30/2.39	o 2506
2.39/2.42	o 2505
2.39/2.45	o 2504
2.39/2.49	o 2503
2.49/2.52	o 2502
2.49/2.55	o 2501
2.49/2.59	o 2500
2.59/2.62	o 2499
2.59/2.66	o 2498
2.59/2.69	o 2497
2.69/2.72	o 2496
2.69/2.76	o 2495
2.69/2.79	o 2494
2.80/2.82	o 2493
2.80/2.86	o 2492
2.80/2.89	o 2319
2.89/2.92	o 2303
2.89/2.95	o 2302
2.89/2.98	o 2301
2.99/3.01	o 2300
2.99/3.05	o 2290
2.99/3.08	o 2289
3.09/3.11	o 2288
3.09/3.14	o 2287
3.09/3.17	o 2276
3.19/3.20	o 2275
3.19/3.23	o 2274
3.19/3.26	o 2273
3.19/3.29	o 2272
3.30/3.33	o 2271
3.30/3.36	o 2270
3.30/3.39	o 2269
3.39/3.42	o 2268
3.39/3.45	o 2267
3.39/3.48	o 2266
3.49/3.51	o 2265
3.49/3.54	o 2264
3.49/3.57	o 2263
3.59/3.60	o 2262
3.59/3.64	o 2261
3.59/3.67	o 2260
3.69/3.70	o 2259
3.69/3.73	o 2258
3.69/3.76	o 2257
3.69/3.79	o 2256
3.79/3.82	o 2255
3.79/3.85	o 2254
3.79/3.88	o 2253
3.89/3.91	o 2252
3.89/3.94	o 2251
3.89/3.97	o 2250
3.99/4.01	o 2249
3.99/4.04	o 2248
3.99/4.07	o 2247
4.10/4.10	o 2246
4.10/4.13	o 1704
4.10/4.15	o 1646
4.10/4.19	o 1645
4.19/4.21	o 971
4.19/4.22	o 970
4.19/4.24	o 969
4.19/4.25	o 968
4.19/4.27	o 967
4.19/4.28	o 939
4.19/4.30	o 938
4.30/4.31	o 937
4.30/4.33	o 936
4.30/4.34	o 935
4.30/4.36	o 934
4.30/4.37	o 933
4.30/4.39	o 932
4.40/4.40	o 931
4.40/4.43	o 930
4.40/4.45	o 701
4.40/4.46	o 700
4.40/4.47	o 694
4.40/4.48	o 693
4.40/4.49	o 688
4.49/4.50	o 687
4.49/4.52	o 686
4.49/4.53	o 685
4.49/4.54	o 680
4.49/4.55	o 679
4.49/4.56	o 678
4.49/4.57	o 677
4.49/4.58	o 676
4.49/4.60	o 675
4.60/4.61	o 674
4.60/4.62	o 673
4.60/4.63	o 672
4.60/4.64	o 671
4.60/4.65	o 670
4.60/4.66	o 669
1800.05/1800.60	s SATISFIABLE
1800.05/1800.60	v x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 x1013 -x1014
1800.05/1800.60	v -x1015 -x1016 -x1017 -x1018 -x1019 x102 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 x1029 -x103 x1030
1800.05/1800.60	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 x1043 x1044 -x1045 -x1046 -x1047
1800.05/1800.60	v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 x1061 x1062 -x1063
1800.05/1800.60	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 x1078 x1079 -x108
1800.05/1800.60	v -x1080 x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096
1800.05/1800.60	v -x1097 -x1098 -x1099 -x11 -x110 x1100 -x1101 x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 x1109 -x111 -x1110 x1111 -x1112
1800.05/1800.60	v -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 x1129
1800.05/1800.60	v -x113 x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.05/1800.60	v -x1146 -x1147 -x1148 -x1149 -x115 x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x116 x1160 x1161
1800.05/1800.60	v -x1162 x1163 -x1164 -x1165 -x1166 -x1167 x1168 x1169 x117 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178
1800.05/1800.60	v x1179 -x118 -x1180 -x1181 x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 x1191 -x1192 -x1193 -x1194
1800.05/1800.60	v -x1195 x1196 -x1197 -x1198 -x1199 -x12 x120 x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x121 -x1210
1800.05/1800.60	v -x1211 -x1212 x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x122 -x1220 x1221 x1222 -x1223 -x1224 x1225 x1226 -x1227
1800.05/1800.60	v -x1228 -x1229 -x123 x1230 -x1231 x1232 -x1233 x1234 -x1235 -x1236 -x1237 x1238 -x1239 x124 -x1240 -x1241 -x1242 x1243 -x1244
1800.05/1800.60	v -x1245 -x1246 -x1247 -x1248 -x1249 -x125 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 x1259 -x126 -x1260
1800.05/1800.60	v -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x127 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.05/1800.60	v -x1278 x1279 -x128 x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 x129 -x1290 x1291 -x1292 x1293 -x1294
1800.05/1800.60	v -x1295 -x1296 -x1297 -x1298 x1299 -x13 -x130 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x131
1800.05/1800.60	v x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 x1322 x1323 -x1324 x1325 -x1326
1800.05/1800.60	v -x1327 -x1328 x1329 -x133 -x1330 -x1331 x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 x1339 x134 -x1340 -x1341 x1342 x1343
1800.05/1800.60	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 x1350 -x1351 -x1352 x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x136
1800.05/1800.60	v x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 x1369 -x137 x1370 -x1371 x1372 -x1373 x1374 -x1375 -x1376
1800.05/1800.60	v -x1377 -x1378 -x1379 x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x139 -x1390 -x1391 -x1392
1800.05/1800.60	v -x1393 x1394 x1395 -x1396 x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408
1800.05/1800.60	v x1409 x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 x142 -x1420 -x1421 -x1422 x1423 x1424 -x1425
1800.05/1800.60	v -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x144 -x1440 -x1441
1800.05/1800.60	v x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458
1800.05/1800.60	v -x1459 x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x147 -x1470 -x1471 x1472 -x1473 -x1474
1800.05/1800.60	v -x1475 x1476 x1477 -x1478 -x1479 -x148 x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x149 -x1490
1800.05/1800.60	v -x1491 -x1492 x1493 -x1494 -x1495 x1496 -x1497 x1498 -x1499 -x15 -x150 x1500 -x1501 x1502 x1503 -x1504 -x1505 -x1506 -x1507
1800.05/1800.60	v -x1508 -x1509 -x151 x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x152 -x1520 -x1521 x1522 -x1523
1800.05/1800.60	v -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x154
1800.05/1800.60	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556
1800.05/1800.60	v -x1557 -x1558 -x1559 -x156 -x1560 -x1561 x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 -x1569 -x157 x1570 -x1571 x1572
1800.05/1800.60	v -x1573 -x1574 -x1575 x1576 -x1577 x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589
1800.05/1800.60	v -x159 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 x1598 -x1599 -x16 -x160 x1600 -x1601 x1602 x1603 -x1604 -x1605
1800.05/1800.60	v x1606 x1607 -x1608 x1609 x161 -x1610 -x1611 x1612 x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x162 -x1620 x1621 -x1622
1800.05/1800.60	v x1623 x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x163 -x1630 x1631 -x1632 x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639
1800.05/1800.60	v -x164 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x165 -x1650 -x1651 -x1652 x1653 x1654 -x1655
1800.05/1800.60	v -x1656 x1657 -x1658 -x1659 -x166 x1660 -x1661 -x1662 x1663 -x1664 x1665 x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 -x1672
1800.05/1800.60	v -x1673 x1674 -x1675 x1676 -x1677 x1678 x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689
1800.05/1800.60	v -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 x1699 x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704
1800.05/1800.60	v x1705 -x1706 -x1707 x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 x1717 -x1718 x1719 -x172 -x1720
1800.05/1800.60	v -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x173 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737
1800.05/1800.60	v x1738 -x1739 x174 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753
1800.05/1800.60	v -x1754 x1755 -x1756 -x1757 x1758 x1759 -x176 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x177
1800.05/1800.60	v -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x178 x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786
1800.05/1800.60	v -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x18 -x180 -x1800 -x1801
1800.05/1800.60	v x1802 -x1803 -x1804 -x1805 x1806 x1807 -x1808 x1809 -x181 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 x1816 x1817 -x1818 -x1819
1800.05/1800.60	v -x182 -x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 -x183 x1830 -x1831 -x1832 -x1833 -x1834 -x1835
1800.05/1800.60	v -x1836 -x1837 -x1838 -x1839 -x184 -x1840 x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 x1850 -x1851
1800.05/1800.60	v -x1852 -x1853 -x1854 -x1855 x1856 -x1857 x1858 -x1859 x186 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868
1800.05/1800.60	v -x1869 -x187 x1870 -x1871 -x1872 x1873 -x1874 x1875 x1876 -x1877 x1878 -x1879 -x188 -x1880 -x1881 x1882 -x1883 -x1884 -x1885
1800.05/1800.60	v -x1886 -x1887 x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 x1900
1800.05/1800.60	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917
1800.05/1800.60	v -x1918 -x1919 -x192 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x193 -x1930 x1931 x1932 -x1933
1800.05/1800.60	v -x1934 -x1935 -x1936 -x1937 x1938 x1939 x194 -x1940 x1941 x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 x195 x1950
1800.05/1800.60	v -x1951 -x1952 x1953 -x1954 x1955 -x1956 x1957 -x1958 -x1959 x196 -x1960 x1961 x1962 -x1963 x1964 x1965 -x1966 x1967 -x1968
1800.05/1800.60	v x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 x1983 -x1984
1800.05/1800.60	v x1985 x1986 -x1987 x1988 x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 x1998 -x1999 -x2 -x20 -x200
1800.05/1800.60	v -x2000 -x2001 -x2002 x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 x2016
1800.05/1800.60	v -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032
1800.05/1800.60	v -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x204 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 x2048 -x2049
1800.05/1800.60	v -x205 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 x2063 -x2064 -x2065
1800.05/1800.60	v -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 x2078 -x2079 -x208 -x2080 x2081
1800.05/1800.60	v -x2082 -x2083 x2084 -x2085 -x2086 x2087 x2088 -x2089 x209 -x2090 x2091 x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.05/1800.60	v -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 x2111 -x2112 x2113 -x2114
1800.05/1800.60	v -x2115 x2116 -x2117 x2118 -x2119 -x212 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 x2126 x2127 x2128 -x2129 x213 -x2130 x2131
1800.05/1800.60	v -x2132 -x2133 -x2134 -x2135 x2136 x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 x2143 -x2144 x2145 x2146 -x2147 -x2148
1800.05/1800.60	v x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 x2156 -x2157 -x2158 -x2159 -x216 -x2160 x2161 -x2162 -x2163 x2164
1800.05/1800.60	v -x2165 -x2166 x2167 x2168 -x2169 -x217 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 x2176 -x2177 -x2178 x2179 -x218 -x2180
1800.05/1800.60	v -x2181 -x2182 x2183 -x2184 x2185 -x2186 x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 x2194 x2195 x2196 -x2197
1800.05/1800.60	v -x2198 -x2199 -x22 -x220 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 x221 -x2210 x2211 -x2212 -x2213
1800.05/1800.60	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x223
1800.05/1800.60	v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 x2238 -x2239 -x224 x2240 x2241 -x2242 -x2243 -x2244 -x2245 x2246
1800.05/1800.60	v -x2247 x2248 -x2249 x225 -x2250 x2251 -x2252 -x2253 x2254 -x2255 x2256 x2257 -x2258 x2259 -x226 -x2260 x2261 x2262 -x2263
1800.05/1800.60	v -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x227 x2270 -x2271 x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228
1800.05/1800.60	v -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296
1800.05/1800.60	v x2297 -x2298 x2299 -x23 -x230 x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x231 -x2310 x2311 -x2312
1800.05/1800.60	v -x2313 -x2314 -x2315 x2316 x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 x2328 -x2329
1800.05/1800.60	v x233 x2330 -x2331 -x2332 x2333 -x2334 -x2335 x2336 -x2337 -x2338 x2339 x234 -x2340 -x2341 x2342 -x2343 -x2344 x2345 -x2346
1800.05/1800.60	v x2347 -x2348 x2349 x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x236 -x2360 -x2361 x2362
1800.05/1800.60	v x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x237 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 x2377 -x2378 -x2379
1800.05/1800.60	v -x238 x2380 -x2381 -x2382 x2383 x2384 -x2385 x2386 -x2387 x2388 x2389 x239 -x2390 -x2391 x2392 -x2393 x2394 -x2395 -x2396
1800.05/1800.60	v -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x241 -x2410 x2411
1800.05/1800.60	v x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 x242 -x2420 x2421 x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1800.05/1800.60	v x2429 x243 x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 x2438 -x2439 -x244 -x2440 -x2441 x2442 -x2443 -x2444 x2445
1800.05/1800.60	v x2446 x2447 -x2448 x2449 -x245 x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x246 x2460 -x2461 -x2462
1800.05/1800.60	v -x2463 x2464 x2465 -x2466 -x2467 x2468 -x2469 -x247 -x2470 -x2471 -x2472 x2473 x2474 -x2475 -x2476 x2477 -x2478 -x2479
1800.05/1800.60	v -x248 x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x249 -x2490 -x2491 -x2492 -x2493 x2494 -x2495
1800.05/1800.60	v -x2496 x2497 -x2498 x2499 x25 -x250 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 x2507 x2508 -x2509 x251 x2510 -x2511
1800.05/1800.60	v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x252 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528
1800.05/1800.60	v x2529 x253 x2530 x2531 -x2532 -x2533 -x2534 x2535 x2536 -x2537 -x2538 x2539 -x254 x2540 -x2541 x2542 -x2543 -x2544 x2545
1800.05/1800.60	v -x2546 -x2547 x2548 x2549 x255 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 x256 -x2560 x2561 -x2562
1800.05/1800.60	v -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x257 -x2570 x2571 -x2572 -x2573 x2574 x2575 x2576 -x2577 -x2578 -x2579
1800.05/1800.60	v x258 x2580 x2581 x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596
1800.05/1800.60	v -x2597 -x2598 -x2599 -x26 x260 x2600 -x2601 x2602 -x2603 -x2604 -x2605 x2606 x2607 -x2608 x2609 x261 x2610 x2611 -x2612
1800.05/1800.60	v x2613 -x2614 x2615 -x2616 x2617 x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x27 -x270 -x271 x272 x273 x274 x275 -x276 -x277
1800.05/1800.60	v -x278 -x279 -x28 -x280 -x281 x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x29 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297
1800.05/1800.60	v -x298 -x299 -x3 -x30 x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 x31 x310 x311 -x312 -x313 -x314 -x315 x316 x317
1800.05/1800.60	v -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.05/1800.60	v -x337 -x338 -x339 -x34 -x340 -x341 x342 -x343 x344 x345 -x346 -x347 -x348 -x349 x35 -x350 x351 -x352 -x353 -x354 -x355 -x356
1800.05/1800.60	v x357 x358 -x359 x36 -x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 -x369 x37 -x370 x371 -x372 -x373 -x374 -x375 -x376
1800.05/1800.60	v x377 -x378 x379 -x38 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 x392 -x393 -x394 -x395 -x396
1800.05/1800.60	v -x397 x398 -x399 -x4 x40 -x400 -x401 -x402 x403 x404 x405 -x406 -x407 -x408 x409 x41 -x410 -x411 x412 -x413 -x414 x415 -x416
1800.05/1800.60	v x417 -x418 -x419 -x42 x420 -x421 x422 x423 -x424 x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 x432 -x433 -x434 -x435 -x436
1800.05/1800.60	v x437 -x438 -x439 -x44 -x440 x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456
1800.05/1800.60	v -x457 -x458 -x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 x469 -x47 -x470 x471 -x472 -x473 -x474 x475 x476
1800.05/1800.60	v -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x49 -x490 -x491 -x492 x493 -x494 x495 -x496
1800.05/1800.60	v x497 -x498 -x499 -x5 x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 x509 x51 -x510 -x511 -x512 -x513 -x514 x515 x516
1800.05/1800.60	v -x517 -x518 x519 x52 -x520 -x521 -x522 -x523 x524 x525 -x526 x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 x536
1800.05/1800.60	v -x537 x538 -x539 -x54 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 x549 -x55 x550 x551 x552 -x553 -x554 -x555 -x556
1800.05/1800.60	v -x557 -x558 -x559 x56 -x560 -x561 -x562 x563 x564 -x565 -x566 x567 -x568 -x569 -x57 x570 -x571 -x572 -x573 -x574 -x575 -x576
1800.05/1800.60	v x577 -x578 -x579 -x58 x580 -x581 -x582 -x583 -x584 x585 x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 x593 -x594 -x595 -x596
1800.05/1800.60	v -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 x603 x604 x605 x606 -x607 -x608 -x609 -x61 -x610 -x611 x612 -x613 -x614 x615 x616
1800.05/1800.60	v -x617 -x618 -x619 -x62 -x620 -x621 x622 x623 -x624 -x625 -x626 -x627 x628 x629 -x63 -x630 x631 -x632 -x633 -x634 -x635 -x636
1800.05/1800.60	v -x637 x638 -x639 -x64 x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 x655 -x656
1800.05/1800.60	v -x657 -x658 x659 x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x67 x670 -x671 x672 -x673 -x674 -x675 -x676
1800.05/1800.60	v x677 -x678 -x679 x68 x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696
1800.05/1800.60	v -x697 x698 -x699 -x7 x70 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715
1800.05/1800.60	v x716 x717 x718 x719 x72 -x720 -x721 -x722 x723 -x724 x725 -x726 -x727 x728 -x729 -x73 -x730 x731 -x732 -x733 -x734 x735 -x736
1800.05/1800.60	v -x737 -x738 -x739 x74 -x740 x741 -x742 -x743 x744 -x745 x746 -x747 -x748 -x749 -x75 x750 -x751 -x752 -x753 -x754 x755 -x756
1800.05/1800.60	v -x757 -x758 -x759 -x76 -x760 -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 x77 -x770 x771 -x772 -x773 -x774 -x775 x776
1800.05/1800.60	v -x777 -x778 -x779 -x78 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 x788 -x789 -x79 -x790 -x791 x792 -x793 -x794 x795 -x796
1800.05/1800.60	v -x797 -x798 x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x81 -x810 x811 -x812 -x813 x814 -x815
1800.05/1800.60	v -x816 x817 -x818 -x819 -x82 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 x832 -x833 x834 -x835
1800.05/1800.60	v -x836 -x837 x838 -x839 x84 x840 -x841 x842 x843 x844 -x845 -x846 x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855
1800.05/1800.60	v -x856 x857 -x858 -x859 x86 -x860 -x861 -x862 -x863 -x864 x865 x866 -x867 -x868 x869 -x87 -x870 x871 -x872 -x873 -x874 -x875
1800.05/1800.60	v x876 -x877 -x878 -x879 x88 x880 -x881 x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x89 x890 -x891 -x892 -x893 -x894 x895
1800.05/1800.60	v -x896 -x897 x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x91 -x910 x911 x912 -x913 x914
1800.05/1800.60	v -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 x928 -x929 -x93 -x930 x931 -x932 -x933 -x934
1800.05/1800.60	v -x935 -x936 -x937 x938 x939 -x94 -x940 -x941 x942 -x943 x944 -x945 -x946 x947 -x948 x949 x95 -x950 -x951 -x952 -x953 -x954
1800.05/1800.60	v x955 x956 x957 -x958 -x959 x96 -x960 -x961 -x962 -x963 -x964 x965 -x966 x967 -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974
1800.05/1800.60	v -x975 -x976 -x977 -x978 -x979 -x98 x980 x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994
1800.05/1800.60	v x995 -x996 x997 -x998 x999

Verifier Data (download as text)

OK	669

Conversion Script Data (download as text)

/tmp/evaluation/458804-1178644028/instance-458804-1178644028.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/node22/watcher-458804-1178644028 -o ROOT/results/node22/solver-458804-1178644028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458804-1178644028/instance-458804-1178644028.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: 1.04 1.03 1.00 3/77 8996
/proc/meminfo: memFree=1496064/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=1704 CPUtime=0
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 220 0 0 0 0 0 0 0 18 0 1 0 312320480 1744896 202 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 426 202 84 219 0 203 0

[startup+0.027313 s]
/proc/loadavg: 1.04 1.03 1.00 3/77 8996
/proc/meminfo: memFree=1496064/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=1860 CPUtime=0.02
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 250 0 0 0 2 0 0 0 18 0 1 0 312320480 1904640 232 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 465 232 86 219 0 242 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1860

[startup+0.101325 s]
/proc/loadavg: 1.04 1.03 1.00 3/77 8996
/proc/meminfo: memFree=1496064/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=1996 CPUtime=0.09
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 330 0 0 0 9 0 0 0 18 0 1 0 312320480 2043904 312 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 499 312 89 219 0 276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301354 s]
/proc/loadavg: 1.04 1.03 1.00 3/77 8996
/proc/meminfo: memFree=1496064/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=1996 CPUtime=0.29
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 342 0 0 0 28 1 0 0 19 0 1 0 312320480 2043904 324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 499 324 101 219 0 276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1996

[startup+0.701413 s]
/proc/loadavg: 1.04 1.03 1.00 3/77 8996
/proc/meminfo: memFree=1496064/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=1996 CPUtime=0.69
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 342 0 0 0 66 3 0 0 23 0 1 0 312320480 2043904 324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 499 324 101 219 0 276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1996

[startup+1.50153 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 8997
/proc/meminfo: memFree=1495160/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=1996 CPUtime=1.49
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 342 0 0 0 143 6 0 0 25 0 1 0 312320480 2043904 324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 499 324 101 219 0 276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1996

[startup+3.10176 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 8997
/proc/meminfo: memFree=1495032/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=1996 CPUtime=3.09
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 342 0 0 0 296 13 0 0 25 0 1 0 312320480 2043904 324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 499 324 101 219 0 276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1996

[startup+6.30223 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 8997
/proc/meminfo: memFree=1494520/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=2396 CPUtime=6.29
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 456 0 0 0 607 22 0 0 25 0 1 0 312320480 2453504 438 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 599 438 102 219 0 376 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2396

[startup+12.7012 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 8997
/proc/meminfo: memFree=1493624/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=4152 CPUtime=12.69
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 668 0 0 0 1246 23 0 0 25 0 1 0 312320480 4251648 650 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 1038 650 102 219 0 815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4152

[startup+25.5011 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 8997
/proc/meminfo: memFree=1491896/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=6200 CPUtime=25.49
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 1079 0 0 0 2526 23 0 0 25 0 1 0 312320480 6348800 1061 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 1550 1061 102 219 0 1327 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6200

[startup+51.1018 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 8997
/proc/meminfo: memFree=1488632/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=10296 CPUtime=51.07
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 1911 0 0 0 5084 23 0 0 25 0 1 0 312320480 10543104 1893 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 2574 1893 102 219 0 2351 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10296

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8997
/proc/meminfo: memFree=1481720/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=18684 CPUtime=102.26
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 3610 0 0 0 10201 25 0 0 25 0 1 0 312320480 19132416 3592 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 4671 3592 102 219 0 4448 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18684

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8997
/proc/meminfo: memFree=1473976/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=35068 CPUtime=162.24
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 5597 0 0 0 16198 26 0 0 25 0 1 0 312320480 35909632 5579 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 8767 5579 102 219 0 8544 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 35068

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8997
/proc/meminfo: memFree=1465912/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=35068 CPUtime=222.23
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 7594 0 0 0 22194 29 0 0 25 0 1 0 312320480 35909632 7576 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 8767 7576 102 219 0 8544 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35068

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1457912/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=68292 CPUtime=282.2
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 9668 0 0 0 28188 32 0 0 25 0 1 0 312320480 69931008 9601 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17073 9601 102 219 0 16850 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 68292

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1447608/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=69108 CPUtime=342.19
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 12181 0 0 0 34162 57 0 0 25 0 1 0 312320480 70766592 12114 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17277 12114 102 219 0 17054 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 69108

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1438584/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=69240 CPUtime=402.17
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14423 0 0 0 40138 79 0 0 25 0 1 0 312320480 70901760 14356 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17310 14356 102 219 0 17087 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 69240

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1438456/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=69492 CPUtime=462.15
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14485 0 0 0 46113 102 0 0 25 0 1 0 312320480 71159808 14418 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17373 14418 102 219 0 17150 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 69492

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1438136/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=70004 CPUtime=522.13
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14622 0 0 0 52093 120 0 0 25 0 1 0 312320480 71684096 14458 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17501 14458 102 219 0 17278 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 70004

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1438072/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=70160 CPUtime=582.11
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14683 0 0 0 58065 146 0 0 25 0 1 0 312320480 71843840 14519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17540 14519 102 219 0 17317 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 70160

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1437944/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=70280 CPUtime=642.1
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14718 0 0 0 64047 163 0 0 25 0 1 0 312320480 71966720 14554 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17570 14554 102 219 0 17347 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 70280


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1437304/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=70548 CPUtime=822.04
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14831 0 0 0 81978 226 0 0 25 0 1 0 312320480 72241152 14667 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17637 14667 102 219 0 17414 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 70548

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1437176/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=70692 CPUtime=882.02
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14874 0 0 0 87955 247 0 0 25 0 1 0 312320480 72388608 14710 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17673 14710 102 219 0 17450 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 70692

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1437048/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=70808 CPUtime=942
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 14906 0 0 0 93937 263 0 0 25 0 1 0 312320480 72507392 14742 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17702 14742 102 219 0 17479 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 70808

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1436856/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=71844 CPUtime=1001.98
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15172 0 0 0 99927 271 0 0 25 0 1 0 312320480 73568256 14815 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 17961 14815 102 219 0 17738 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 71844

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1436728/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=72020 CPUtime=1061.96
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15230 0 0 0 105924 272 0 0 25 0 1 0 312320480 73748480 14873 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18005 14873 102 219 0 17782 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 72020

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1436536/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=72176 CPUtime=1121.95
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15273 0 0 0 111918 277 0 0 25 0 1 0 312320480 73908224 14916 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556888 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18044 14916 102 219 0 17821 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 72176

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1436280/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=72300 CPUtime=1181.93
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15331 0 0 0 117914 279 0 0 25 0 1 0 312320480 74035200 14974 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18075 14974 102 219 0 17852 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 72300

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1436024/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=72544 CPUtime=1241.91
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15396 0 0 0 123909 282 0 0 25 0 1 0 312320480 74285056 15039 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18136 15039 102 219 0 17913 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 72544

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1435192/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=73208 CPUtime=1301.89
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15584 0 0 0 129900 289 0 0 25 0 1 0 312320480 74964992 15227 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560669 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18302 15227 102 219 0 18079 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 73208

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1434936/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=73340 CPUtime=1361.88
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15640 0 0 0 135897 291 0 0 25 0 1 0 312320480 75100160 15283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18335 15283 102 219 0 18112 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 73340

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1434360/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=73804 CPUtime=1421.86
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15775 0 0 0 141893 293 0 0 25 0 1 0 312320480 75575296 15418 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18451 15418 102 219 0 18228 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 73804

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1434168/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=73804 CPUtime=1481.84
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15822 0 0 0 147889 295 0 0 25 0 1 0 312320480 75575296 15465 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18451 15465 102 219 0 18228 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 73804

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8997
/proc/meminfo: memFree=1433720/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=74220 CPUtime=1541.82
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15928 0 0 0 153882 300 0 0 25 0 1 0 312320480 76001280 15571 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18555 15571 102 219 0 18332 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 74220

[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 8997
/proc/meminfo: memFree=1433464/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=74440 CPUtime=1601.81
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 15986 0 0 0 159879 302 0 0 25 0 1 0 312320480 76226560 15629 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18610 15629 102 219 0 18387 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 74440

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 8997
/proc/meminfo: memFree=1433208/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=75976 CPUtime=1661.78
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 16418 0 0 0 165875 303 0 0 25 0 1 0 312320480 77799424 15676 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 18994 15676 102 219 0 18771 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 75976

[startup+1722.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 8997
/proc/meminfo: memFree=1432568/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=76784 CPUtime=1721.76
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 16610 0 0 0 171866 310 0 0 25 0 1 0 312320480 78626816 15868 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 19196 15868 102 219 0 18973 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 76784

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 8997
/proc/meminfo: memFree=1432312/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=76784 CPUtime=1781.75
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 16661 0 0 0 177863 312 0 0 25 0 1 0 312320480 78626816 15919 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 19196 15919 102 219 0 18973 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 76784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 8997
/proc/meminfo: memFree=1432184/2055920 swapFree=4163680/4192956
[pid=8996] ppid=8994 vsize=77048 CPUtime=1800.05
/proc/8996/stat : 8996 (PBS4_SAT07v2) R 8994 8996 8576 0 -1 4194304 16716 0 0 0 179692 313 0 0 25 0 1 0 312320480 78897152 15974 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8996/statm: 19262 15974 102 219 0 19039 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 77048

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1796.93
CPU system time (s): 3.14452
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 77048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 3.14452
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16719
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= 8
involuntary context switches= 38397

runsolver used 1.42578 second user time and 3.70344 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue May  8 17:07:08 UTC 2007

IDJOB= 458804
IDBENCH= 2041
IDSOLVER= 200
FILE ID= node22/458804-1178644028

PBS_JOBID= 5218358

Free space on /tmp= 66540 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-prom2.pi.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458804-1178644028/instance-458804-1178644028.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-458804-1178644028 -o ROOT/results/node22/conversion-458804-1178644028 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458804-1178644028/instance-458804-1178644028.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  6a8ed45a9ac044152dd384e143f7e172

RANDOM SEED= 81559182

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.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:       1496280 kB
Buffers:         38428 kB
Cached:         399336 kB
SwapCached:       7364 kB
Active:         206872 kB
Inactive:       253752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1496280 kB
SwapTotal:     4192956 kB
SwapFree:      4163680 kB
Dirty:            2448 kB
Writeback:           0 kB
Mapped:          30020 kB
Slab:            84460 kB
Committed_AS:  4535560 kB
PageTables:       1676 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= 66540 MiB

End job on node22 on Tue May  8 17:37:11 UTC 2007