Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBS4 2007-03-23 | No Cert. | 1800.1 | 1800.91 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb |
| MD5SUM | 225ae73e36cb5800832cbb742bcd7f01 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 251 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 251 |
| Optimality of the best value was proved | NO |
| Number of variables | 25200 |
| Total number of constraints | 1468 |
| Number of constraints which are clauses | 1468 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 172 |
| Number of terms in the objective function | 25200 |
| 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 | 25200 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 25200 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/354746-1176723877/instance-354746-1176723877.opb ...... 9.08/9.18 c done parsing opb. 9.08/9.18 o 23944 14.98/15.07 o 23943 20.89/20.96 o 23925 26.79/26.89 o 23924 32.78/32.81 o 23923 38.67/38.70 o 23922 44.57/44.64 o 23921 50.47/50.57 o 23920 56.37/56.46 o 23919 62.27/62.37 o 23918 68.26/68.32 o 23917 74.16/74.23 o 23916 80.06/80.13 o 23915 85.96/86.08 o 23914 91.86/91.99 o 23913 97.75/97.87 o 23912 103.75/103.80 o 23911 109.65/109.74 o 23910 115.55/115.62 o 23909 121.45/121.52 o 23908 127.35/127.44 o 23904 133.25/133.35 o 23903 139.14/139.23 o 23902 145.04/145.19 o 23901 151.04/151.11 o 23900 156.94/157.00 o 23899 162.83/162.93 o 23898 168.73/168.87 o 23897 174.62/174.75 o 23896 180.52/180.65 o 23895 186.52/186.60 o 23894 192.43/192.52 o 23893 198.22/198.40 o 23892 204.22/204.34 o 23891 210.12/210.27 o 23890 216.01/216.16 o 23889 221.91/222.05 o 23888 227.81/227.99 o 23887 233.71/233.87 o 23886 239.60/239.76 o 23885 245.60/245.70 o 23884 251.50/251.62 o 23883 257.40/257.50 o 23882 263.29/263.42 o 23881 269.19/269.36 o 23880 275.09/275.25 o 23879 280.99/281.14 o 23878 286.89/287.08 o 23877 292.78/292.98 o 23876 298.68/298.84 o 23875 304.58/304.79 o 23874 310.58/310.72 o 23873 316.47/316.61 o 23872 322.37/322.53 o 23871 328.27/328.45 o 23870 334.17/334.34 o 23869 340.06/340.23 o 23868 345.97/346.16 o 23867 351.87/352.07 o 23866 357.76/357.95 o 23865 363.66/363.88 o 23864 369.66/369.82 o 23863 375.45/375.68 o 23862 381.35/381.57 o 23861 387.35/387.52 o 23860 393.25/393.41 o 23859 399.04/399.30 o 23858 405.04/405.23 o 23857 410.93/411.15 o 23856 416.83/417.02 o 23855 422.73/422.94 o 23854 428.63/428.90 o 23853 434.52/434.78 o 23852 440.43/440.68 o 23851 446.43/446.64 o 23850 452.32/452.54 o 23849 458.21/458.43 o 23848 464.12/464.37 o 23847 470.11/470.30 o 23846 475.91/476.18 o 23845 481.81/482.08 o 23844 487.80/488.03 o 23843 492.71/492.92 o 19308 497.41/497.67 o 19307 502.20/502.43 o 19306 507.00/507.20 o 19302 511.70/511.97 o 19301 516.39/516.68 o 19291 521.20/521.46 o 19290 526.00/526.26 o 19289 530.79/531.07 o 19288 535.59/535.83 o 19287 540.39/540.60 o 19286 545.18/545.41 o 19285 549.99/550.23 o 19284 554.68/554.99 o 19265 559.48/559.75 o 19264 564.28/564.55 o 19263 569.08/569.36 o 19262 573.88/574.12 o 19261 578.57/578.86 o 19235 583.37/583.68 o 19234 588.17/588.49 o 19233 592.96/593.25 o 19232 597.77/598.04 o 19231 602.56/602.82 o 19230 607.36/607.64 o 19229 612.16/612.45 o 19228 616.96/617.22 o 19227 621.65/621.98 o 19226 626.45/626.78 o 19225 631.25/631.58 o 19224 636.05/636.33 o 19223 640.85/641.10 o 19222 645.65/645.90 o 19221 650.34/650.69 o 19220 655.14/655.45 o 19219 659.84/660.20 o 19218 664.74/665.03 o 19217 669.54/669.84 o 19216 674.23/674.57 o 19215 679.04/679.32 o 19214 683.83/684.11 o 19213 687.33/687.67 o 13482 690.73/691.08 o 13481 694.13/694.49 o 13480 697.53/697.88 o 13479 701.03/701.31 o 13478 704.43/704.72 o 13477 707.82/708.17 o 13476 711.22/711.56 o 13415 714.62/714.95 o 13414 718.03/718.34 o 13413 721.42/721.72 o 13412 724.82/725.13 o 13411 728.21/728.54 o 13410 731.61/731.94 o 13409 734.91/735.27 o 13381 738.31/738.65 o 13380 741.70/742.05 o 13379 745.11/745.46 o 13378 748.60/748.90 o 13377 751.90/752.27 o 13376 755.31/755.67 o 13375 758.71/759.07 o 13374 762.10/762.46 o 13373 765.50/765.87 o 13372 769.00/769.31 o 13371 772.29/772.68 o 13370 775.70/776.03 o 13369 779.10/779.41 o 13368 782.49/782.82 o 13367 785.90/786.23 o 13366 789.29/789.62 o 13365 792.59/792.98 o 13364 795.99/796.33 o 13363 799.39/799.70 o 13362 802.69/803.09 o 13361 806.19/806.50 o 13360 809.48/809.90 o 13359 812.88/813.24 o 13358 816.28/816.63 o 13357 819.67/820.02 o 13356 823.08/823.42 o 13355 826.28/826.67 o 12710 829.48/829.87 o 12664 832.68/833.02 o 12663 835.78/836.19 o 12662 838.97/839.33 o 12645 842.18/842.51 o 12623 845.27/845.69 o 12603 848.47/848.88 o 12602 851.66/852.06 o 12601 854.87/855.20 o 12517 857.97/858.38 o 12516 861.17/861.56 o 12515 864.36/864.76 o 12514 867.57/867.95 o 12513 870.77/871.16 o 12512 873.96/874.34 o 12511 877.05/877.48 o 12510 880.26/880.68 o 12509 883.45/883.89 o 12508 886.65/887.08 o 12507 889.86/890.26 o 12506 892.95/893.40 o 12505 896.15/896.55 o 12504 899.35/899.71 o 12503 902.45/902.89 o 12502 905.74/906.11 o 12501 908.94/909.30 o 12500 912.05/912.46 o 12499 915.24/915.62 o 12498 918.34/918.77 o 12497 921.54/921.91 o 12392 924.64/925.08 o 12391 927.84/928.22 o 12390 930.94/931.39 o 12389 934.13/934.55 o 12388 937.34/937.71 o 12387 940.53/940.91 o 12386 943.63/944.09 o 12385 946.83/947.29 o 12384 950.04/950.44 o 12383 953.13/953.58 o 12382 956.33/956.73 o 12381 959.43/959.88 o 12380 962.63/963.07 o 12379 965.82/966.24 o 12378 969.02/969.42 o 12377 972.12/972.58 o 12376 975.32/975.73 o 12375 978.42/978.87 o 12374 981.62/982.02 o 12373 984.71/985.18 o 12372 987.89/988.37 o 12371 991.09/991.53 o 12370 994.19/994.64 o 12369 997.29/997.79 o 12368 1000.47/1000.95 o 12367 1003.66/1004.15 o 12366 1006.84/1007.34 o 12365 1009.93/1010.48 o 12364 1013.13/1013.60 o 12363 1016.22/1016.76 o 12362 1019.42/1019.94 o 12361 1022.61/1023.14 o 12360 1025.72/1026.29 o 12359 1028.91/1029.44 o 12358 1032.01/1032.58 o 12357 1035.19/1035.74 o 12356 1038.28/1038.87 o 12355 1041.49/1042.04 o 12354 1044.68/1045.23 o 12353 1047.89/1048.40 o 12352 1050.99/1051.51 o 12351 1054.08/1054.67 o 12350 1057.18/1057.79 o 12349 1060.37/1060.92 o 12348 1063.48/1064.06 o 12347 1066.67/1067.24 o 12346 1069.87/1070.44 o 12345 1072.97/1073.59 o 12344 1076.17/1076.74 o 12343 1079.37/1079.91 o 12342 1082.47/1083.08 o 12341 1085.67/1086.21 o 12340 1088.87/1089.42 o 12339 1091.96/1092.57 o 12338 1095.07/1095.67 o 12337 1098.16/1098.79 o 12336 1101.36/1101.94 o 12335 1104.46/1105.09 o 12334 1107.66/1108.28 o 12333 1110.85/1111.42 o 12332 1113.96/1114.57 o 12331 1117.16/1117.71 o 12330 1120.26/1120.85 o 12329 1123.46/1124.02 o 12328 1126.65/1127.22 o 12327 1129.76/1130.40 o 12326 1132.95/1133.56 o 12325 1136.15/1136.70 o 12324 1139.24/1139.81 o 12323 1142.35/1142.97 o 12322 1145.55/1146.12 o 12321 1148.65/1149.28 o 12320 1151.85/1152.45 o 12319 1154.95/1155.57 o 12318 1158.15/1158.73 o 12317 1161.24/1161.87 o 12316 1164.44/1165.06 o 12315 1167.64/1168.27 o 12314 1170.84/1171.40 o 12313 1173.94/1174.52 o 12312 1177.04/1177.62 o 12311 1180.13/1180.78 o 12310 1183.33/1183.98 o 12309 1186.53/1187.14 o 12308 1189.73/1190.33 o 12307 1192.93/1193.51 o 12306 1196.03/1196.67 o 12305 1199.23/1199.84 o 12304 1202.42/1203.03 o 12303 1205.53/1206.18 o 12302 1208.72/1209.34 o 12301 1211.92/1212.50 o 12300 1215.02/1215.65 o 12299 1218.12/1218.77 o 12298 1221.32/1221.94 o 12297 1224.52/1225.12 o 12296 1227.71/1228.31 o 12295 1230.81/1231.43 o 12294 1233.91/1234.57 o 12293 1237.11/1237.75 o 12292 1240.31/1240.91 o 12291 1243.51/1244.12 o 12290 1246.60/1247.30 o 12289 1249.80/1250.45 o 12288 1252.90/1253.56 o 12287 1256.01/1256.69 o 12286 1259.20/1259.82 o 12285 1262.30/1262.99 o 12284 1265.51/1266.15 o 12283 1268.70/1269.32 o 12282 1271.80/1272.45 o 12281 1274.99/1275.62 o 12280 1278.10/1278.78 o 12279 1281.29/1281.95 o 12278 1284.49/1285.11 o 12277 1287.59/1288.26 o 12276 1290.79/1291.42 o 12275 1293.88/1294.52 o 12274 1296.99/1297.66 o 12273 1300.09/1300.78 o 12272 1303.28/1303.92 o 12271 1306.49/1307.11 o 12270 1309.58/1310.25 o 12269 1312.68/1313.36 o 12268 1315.78/1316.45 o 12267 1318.87/1319.58 o 12266 1322.07/1322.73 o 12265 1325.17/1325.88 o 12264 1328.37/1329.03 o 12263 1331.48/1332.16 o 12262 1334.68/1335.32 o 12261 1337.77/1338.46 o 12260 1340.97/1341.63 o 12259 1344.07/1344.77 o 12258 1347.27/1347.95 o 12257 1350.36/1351.08 o 12256 1353.57/1354.24 o 12255 1356.67/1357.38 o 12254 1359.77/1360.48 o 12253 1362.96/1363.63 o 12252 1366.06/1366.79 o 12251 1369.26/1369.94 o 12250 1372.35/1373.06 o 12249 1375.46/1376.19 o 12248 1378.66/1379.33 o 12247 1381.75/1382.47 o 12246 1384.95/1385.62 o 12245 1388.05/1388.74 o 12244 1391.15/1391.87 o 12243 1394.34/1395.02 o 12242 1397.45/1398.19 o 12241 1400.65/1401.36 o 12240 1403.84/1404.53 o 12239 1407.04/1407.70 o 12238 1410.14/1410.82 o 12237 1413.24/1413.93 o 12236 1416.34/1417.09 o 12235 1419.53/1420.21 o 12234 1422.64/1423.39 o 12233 1425.84/1426.55 o 12232 1429.03/1429.73 o 12231 1432.13/1432.85 o 12230 1435.22/1435.95 o 12229 1438.43/1439.10 o 12228 1441.53/1442.28 o 12227 1444.73/1445.41 o 12226 1447.82/1448.59 o 12225 1451.02/1451.77 o 12224 1454.22/1454.92 o 12223 1457.31/1458.04 o 12222 1460.52/1461.23 o 12221 1463.62/1464.37 o 12220 1466.81/1467.53 o 12219 1469.92/1470.69 o 12218 1473.12/1473.84 o 12217 1476.31/1477.00 o 12216 1479.41/1480.15 o 12215 1482.60/1483.33 o 12214 1485.70/1486.49 o 12213 1488.91/1489.65 o 12212 1492.01/1492.78 o 12211 1495.21/1495.91 o 12210 1498.30/1499.03 o 12209 1501.40/1502.18 o 12208 1504.60/1505.36 o 12207 1507.90/1508.66 o 12206 1511.00/1511.77 o 12205 1514.19/1514.90 o 12204 1517.30/1518.06 o 12203 1520.50/1521.23 o 12202 1523.59/1524.39 o 12201 1526.79/1527.54 o 12200 1529.99/1530.71 o 12199 1533.09/1533.82 o 12198 1536.19/1536.94 o 12197 1539.29/1540.02 o 12196 1542.39/1543.20 o 12195 1545.58/1546.37 o 12194 1548.79/1549.51 o 12193 1551.88/1552.66 o 12192 1554.99/1555.77 o 12191 1558.08/1558.88 o 12190 1561.29/1562.03 o 12189 1564.48/1565.21 o 12188 1567.57/1568.36 o 12187 1570.78/1571.50 o 12186 1573.87/1574.60 o 12185 1576.98/1577.73 o 12184 1580.07/1580.87 o 12183 1583.28/1584.03 o 12182 1586.37/1587.19 o 12181 1589.57/1590.34 o 12180 1592.67/1593.46 o 12179 1595.76/1596.56 o 12178 1598.86/1599.69 o 12177 1602.07/1602.85 o 12176 1605.17/1605.99 o 12175 1608.36/1609.16 o 12174 1611.56/1612.31 o 12173 1614.66/1615.41 o 12172 1617.75/1618.50 o 12171 1620.85/1621.64 o 12170 1623.95/1624.77 o 12169 1627.16/1627.95 o 12168 1630.35/1631.13 o 12167 1633.45/1634.25 o 12166 1636.55/1637.37 o 12165 1639.65/1640.49 o 12164 1642.85/1643.68 o 12163 1646.05/1646.85 o 12162 1649.24/1650.05 o 12161 1652.34/1653.20 o 12160 1655.54/1656.31 o 12159 1658.64/1659.44 o 12158 1661.74/1662.59 o 12157 1664.93/1665.75 o 12156 1668.04/1668.88 o 12155 1671.24/1672.01 o 12154 1674.33/1675.16 o 12153 1677.44/1678.28 o 12152 1680.63/1681.43 o 12151 1683.73/1684.59 o 12150 1686.93/1687.75 o 12149 1690.13/1690.90 o 12148 1693.24/1694.03 o 12147 1696.33/1697.16 o 12146 1699.53/1700.32 o 12145 1702.63/1703.50 o 12144 1705.82/1706.65 o 12143 1709.02/1709.82 o 12142 1712.12/1712.97 o 12141 1715.22/1716.08 o 12140 1718.32/1719.18 o 12139 1721.51/1722.32 o 12138 1724.62/1725.47 o 12137 1727.81/1728.65 o 12136 1730.92/1731.75 o 12135 1734.11/1734.91 o 12134 1737.21/1738.05 o 12133 1740.30/1741.19 o 12132 1743.51/1744.34 o 12131 1746.71/1747.51 o 12130 1749.81/1750.66 o 12129 1752.91/1753.78 o 12128 1756.10/1756.90 o 12127 1759.21/1760.04 o 12126 1762.40/1763.20 o 12125 1765.50/1766.33 o 12124 1768.60/1769.46 o 12123 1771.69/1772.58 o 12122 1774.89/1775.70 o 12121 1777.99/1778.82 o 12120 1781.10/1781.98 o 12119 1784.30/1785.12 o 12118 1787.39/1788.28 o 12117 1790.59/1791.45 o 12116 1793.69/1794.56 o 12115 1796.79/1797.69 o 12114 1799.98/1800.84 o 12113 1800.09/1800.90 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/354746-1176723877/instance-354746-1176723877.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-354746-1176723877 -o ROOT/results/node40/solver-354746-1176723877 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354746-1176723877/PBS4 /tmp/evaluation/354746-1176723877/instance-354746-1176723877.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.98 0.99 3/77 6511 /proc/meminfo: memFree=1674296/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=3688 CPUtime=0 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 505 0 0 0 0 0 0 0 18 0 1 0 1267352 3776512 487 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0 /proc/6511/statm: 922 491 81 219 0 699 0 [startup+0.086506 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6511 /proc/meminfo: memFree=1674296/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=5876 CPUtime=0.07 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 1254 0 0 0 7 0 0 0 18 0 1 0 1267352 6017024 1203 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134530584 0 0 4096 0 0 0 0 17 1 0 0 /proc/6511/statm: 1469 1203 87 219 0 1246 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5876 [startup+0.101509 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6511 /proc/meminfo: memFree=1674296/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=6020 CPUtime=0.09 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 1292 0 0 0 9 0 0 0 18 0 1 0 1267352 6164480 1241 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/6511/statm: 1505 1241 87 219 0 1282 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6020 [startup+0.301549 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6511 /proc/meminfo: memFree=1674296/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=6336 CPUtime=0.29 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 1371 0 0 0 29 0 0 0 19 0 1 0 1267352 6488064 1320 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588293 0 0 4096 0 0 0 0 17 1 0 0 /proc/6511/statm: 1584 1320 88 219 0 1361 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6336 [startup+0.701631 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6511 /proc/meminfo: memFree=1674296/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=6336 CPUtime=0.69 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 1371 0 0 0 69 0 0 0 23 0 1 0 1267352 6488064 1320 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588293 0 0 4096 0 0 0 0 17 1 0 0 /proc/6511/statm: 1584 1320 88 219 0 1361 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6336 [startup+1.50179 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1669360/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=6336 CPUtime=1.49 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 1371 0 0 0 149 0 0 0 25 0 1 0 1267352 6488064 1320 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588368 0 0 4096 0 0 0 0 17 1 0 0 /proc/6511/statm: 1584 1320 88 219 0 1361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6336 [startup+3.10112 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1668656/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=6732 CPUtime=3.09 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 1470 0 0 0 309 0 0 0 25 0 1 0 1267352 6893568 1419 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588891 0 0 4096 0 0 0 0 17 1 0 0 /proc/6511/statm: 1683 1419 88 219 0 1460 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6732 [startup+6.30177 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667504/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7616 CPUtime=6.29 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 1965 0 0 0 628 1 0 0 25 0 1 0 1267352 7798784 1690 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1904 1690 94 219 0 1681 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7616 [startup+12.7021 s] /proc/loadavg: 0.94 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667504/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=12.69 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 1266 3 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7804 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667504/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=25.49 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 2540 9 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7804 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667440/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=51.07 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 5087 20 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 7804 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667504/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=102.26 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 10187 39 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 7804 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667440/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=162.23 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 16157 66 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 7804 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667376/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=222.2 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 22130 90 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 7804 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667376/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=282.18 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 28101 117 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 7804 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667376/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=342.17 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 34073 144 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 7804 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667376/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=402.14 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 40044 170 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 7804 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667376/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=462.11 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2006 0 0 0 46019 192 0 0 25 0 1 0 1267352 7991296 1731 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1731 104 219 0 1728 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 7804 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667376/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=522.09 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2011 0 0 0 51989 220 0 0 25 0 1 0 1267352 7991296 1736 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1736 104 219 0 1728 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 7804 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667312/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=582.07 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2013 0 0 0 57957 250 0 0 25 0 1 0 1267352 7991296 1738 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1738 104 219 0 1728 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 7804 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1667312/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=7804 CPUtime=642.06 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2017 0 0 0 63928 278 0 0 25 0 1 0 1267352 7991296 1742 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 1951 1742 104 219 0 1728 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 7804 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6512 /proc/meminfo: memFree=1666928/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8104 CPUtime=881.96 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2083 0 0 0 87783 413 0 0 25 0 1 0 1267352 8298496 1808 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2026 1808 104 219 0 1803 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 8104 [startup+942.302 s] /proc/loadavg: 1.03 1.00 1.00 2/78 6512 /proc/meminfo: memFree=1666864/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8104 CPUtime=941.93 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2094 0 0 0 93742 451 0 0 25 0 1 0 1267352 8298496 1819 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2026 1819 104 219 0 1803 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 8104 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/84 6628 /proc/meminfo: memFree=1665464/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8104 CPUtime=1001.86 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2107 0 0 0 99695 491 0 0 25 0 1 0 1267352 8298496 1832 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2026 1832 104 219 0 1803 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 8104 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666416/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8344 CPUtime=1061.77 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2121 0 0 0 105648 529 0 0 25 0 1 0 1267352 8544256 1846 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2086 1846 104 219 0 1863 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 8344 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666416/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8344 CPUtime=1121.76 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2135 0 0 0 111608 568 0 0 25 0 1 0 1267352 8544256 1860 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2086 1860 104 219 0 1863 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 8344 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666288/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8344 CPUtime=1181.73 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2151 0 0 0 117566 607 0 0 25 0 1 0 1267352 8544256 1876 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2086 1876 104 219 0 1863 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 8344 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666160/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8476 CPUtime=1241.71 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2166 0 0 0 123524 647 0 0 25 0 1 0 1267352 8679424 1891 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2119 1891 104 219 0 1896 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 8476 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666224/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8476 CPUtime=1301.69 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2182 0 0 0 129483 686 0 0 25 0 1 0 1267352 8679424 1907 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2119 1907 104 219 0 1896 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 8476 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666160/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8608 CPUtime=1361.66 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2194 0 0 0 135442 724 0 0 25 0 1 0 1267352 8814592 1919 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2152 1919 104 219 0 1929 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 8608 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666032/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8608 CPUtime=1421.64 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2210 0 0 0 141402 762 0 0 25 0 1 0 1267352 8814592 1935 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2152 1935 104 219 0 1929 0 Current children cumulated CPU time (s) 1421.64 Current children cumulated vsize (KiB) 8608 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6710 /proc/meminfo: memFree=1666032/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8740 CPUtime=1481.61 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2230 0 0 0 147362 799 0 0 25 0 1 0 1267352 8949760 1955 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2185 1955 104 219 0 1962 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 8740 [startup+1542.3 s] /proc/loadavg: 1.28 1.06 1.02 2/78 6710 /proc/meminfo: memFree=1666032/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8740 CPUtime=1541.59 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2246 0 0 0 153322 837 0 0 25 0 1 0 1267352 8949760 1971 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2185 1971 104 219 0 1962 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 8740 [startup+1602.3 s] /proc/loadavg: 1.18 1.07 1.02 2/78 6710 /proc/meminfo: memFree=1665904/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8872 CPUtime=1601.56 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2262 0 0 0 159280 876 0 0 25 0 1 0 1267352 9084928 1987 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2218 1987 104 219 0 1995 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 8872 [startup+1662.3 s] /proc/loadavg: 1.12 1.07 1.02 2/78 6710 /proc/meminfo: memFree=1665840/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=8872 CPUtime=1661.54 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2279 0 0 0 165241 913 0 0 25 0 1 0 1267352 9084928 2004 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2218 2004 104 219 0 1995 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 8872 [startup+1722.3 s] /proc/loadavg: 1.05 1.05 1.01 2/78 6710 /proc/meminfo: memFree=1665712/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=9008 CPUtime=1721.51 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2301 0 0 0 171200 951 0 0 25 0 1 0 1267352 9224192 2026 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2252 2026 104 219 0 2029 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 9008 [startup+1782.3 s] /proc/loadavg: 1.01 1.04 1.01 2/78 6710 /proc/meminfo: memFree=1665520/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=9140 CPUtime=1781.5 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2331 0 0 0 177161 989 0 0 25 0 1 0 1267352 9359360 2056 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2285 2056 104 219 0 2062 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (KiB) 9140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.01 1.04 1.01 2/78 6712 /proc/meminfo: memFree=1665384/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=9140 CPUtime=1800.09 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2338 0 0 0 179009 1000 0 0 25 0 1 0 1267352 9359360 2063 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2285 2063 104 219 0 2062 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.01 1.04 1.01 2/78 6712 /proc/meminfo: memFree=1665384/2055920 swapFree=4192956/4192956 [pid=6511] ppid=6509 vsize=9140 CPUtime=1800.09 /proc/6511/stat : 6511 (PBS4) R 6509 6511 2646 0 -1 4194304 2338 0 0 0 179009 1000 0 0 25 0 1 0 1267352 9359360 2063 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6511/statm: 2285 2063 104 219 0 2062 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9140 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.1 CPU user time (s): 1790.09 CPU system time (s): 10.0075 CPU usage (%): 99.9551 Max. virtual memory (cumulated for all children) (KiB): 9140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.09 system time used= 10.0075 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2339 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= 3311 runsolver used 1.9987 second user time and 4.54231 second system time The end
Begin job on node40 on Mon Apr 16 11:44:38 UTC 2007 IDJOB= 354746 IDBENCH= 2890 IDSOLVER= 157 FILE ID= node40/354746-1176723877 PBS_JOBID= 4559442 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex1010.pi.opb COMMAND LINE= /tmp/evaluation/354746-1176723877/PBS4 /tmp/evaluation/354746-1176723877/instance-354746-1176723877.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-354746-1176723877 -o ROOT/results/node40/conversion-354746-1176723877 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354746-1176723877/instance-354746-1176723877.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-354746-1176723877 -o ROOT/results/node40/solver-354746-1176723877 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354746-1176723877/PBS4 /tmp/evaluation/354746-1176723877/instance-354746-1176723877.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 225ae73e36cb5800832cbb742bcd7f01 RANDOM SEED= 284081561 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1674640 kB Buffers: 39376 kB Cached: 173532 kB SwapCached: 0 kB Active: 207200 kB Inactive: 107800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1674640 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2376 kB Writeback: 0 kB Mapped: 121036 kB Slab: 51672 kB Committed_AS: 258232 kB PageTables: 1816 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 node40 on Mon Apr 16 12:14:41 UTC 2007