| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB-clasp 2007-03-23 | ? (TO) | 1802.13 | 1811.74 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb |
| MD5SUM | 1d990dd8841615caa29b3d304bde4f0b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 153 |
| Best CPU time to get the best result obtained on this benchmark | 1800.17 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 153 |
| Optimality of the best value was proved | NO |
| Number of variables | 63009 |
| Total number of constraints | 508 |
| Number of constraints which are clauses | 507 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59416 |
| Number of terms in the objective function | 63009 |
| 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 | 63009 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 9256 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 68672 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
127.80/127.95 cat: write error: Broken pipe 132.80/132.91 cat: write error: Broken pipe 137.71/137.85 cat: write error: Broken pipe 142.60/142.76 cat: write error: Broken pipe 147.50/147.69 cat: write error: Broken pipe 152.46/152.77 cat: write error: Broken pipe 157.43/157.74 cat: write error: Broken pipe 162.35/162.71 cat: write error: Broken pipe 167.24/167.65 cat: write error: Broken pipe 172.12/172.54 cat: write error: Broken pipe 177.03/177.58 cat: write error: Broken pipe 181.94/182.49 cat: write error: Broken pipe 186.94/187.42 cat: write error: Broken pipe 191.82/192.39 cat: write error: Broken pipe 196.82/197.33 cat: write error: Broken pipe 201.72/202.24 cat: write error: Broken pipe 206.60/207.17 cat: write error: Broken pipe 211.62/212.13 cat: write error: Broken pipe 216.50/217.07 cat: write error: Broken pipe 221.41/221.99 cat: write error: Broken pipe 226.40/226.92 cat: write error: Broken pipe 231.29/231.87 cat: write error: Broken pipe 236.28/236.82 cat: write error: Broken pipe 241.19/241.73 cat: write error: Broken pipe 246.08/246.66 cat: write error: Broken pipe 251.07/251.62 cat: write error: Broken pipe 255.98/256.57 cat: write error: Broken pipe 260.96/261.62 cat: write error: Broken pipe 265.80/266.58 cat: write error: Broken pipe 270.78/271.53 cat: write error: Broken pipe 275.69/276.48 cat: write error: Broken pipe 280.60/281.39 cat: write error: Broken pipe 285.57/286.32 cat: write error: Broken pipe 290.49/291.28 cat: write error: Broken pipe 295.48/296.23 cat: write error: Broken pipe 300.38/301.15 cat: write error: Broken pipe 305.28/306.07 cat: write error: Broken pipe 310.26/311.03 cat: write error: Broken pipe 315.16/315.98 cat: write error: Broken pipe 320.05/320.89 cat: write error: Broken pipe 325.06/325.81 cat: write error: Broken pipe 329.95/330.76 cat: write error: Broken pipe 334.95/335.72 cat: write error: Broken pipe 339.85/340.63 cat: write error: Broken pipe 344.73/345.55 cat: write error: Broken pipe 349.65/350.49 cat: write error: Broken pipe 354.65/355.57 cat: write error: Broken pipe 359.61/360.50 cat: write error: Broken pipe 364.45/365.56 cat: write error: Broken pipe 369.41/370.55 cat: write error: Broken pipe 374.41/375.51 cat: write error: Broken pipe 379.30/380.54 cat: write error: Broken pipe 384.21/385.52 cat: write error: Broken pipe 389.11/390.59 cat: write error: Broken pipe 394.09/395.56 cat: write error: Broken pipe 398.99/400.57 cat: write error: Broken pipe 403.93/405.52 cat: write error: Broken pipe 408.83/410.48 cat: write error: Broken pipe 413.82/415.43 cat: write error: Broken pipe 418.73/420.35 cat: write error: Broken pipe 423.61/425.27 cat: write error: Broken pipe 428.62/430.23 cat: write error: Broken pipe 433.51/435.27 cat: write error: Broken pipe 438.51/440.20 cat: write error: Broken pipe 443.42/445.11 cat: write error: Broken pipe 448.31/450.06 cat: write error: Broken pipe 453.30/455.02 cat: write error: Broken pipe 458.21/459.94 cat: write error: Broken pipe 463.11/464.85 cat: write error: Broken pipe 468.10/469.80 cat: write error: Broken pipe 473.00/474.76 cat: write error: Broken pipe 477.89/479.69 cat: write error: Broken pipe 482.88/484.70 cat: write error: Broken pipe 487.75/489.79 cat: write error: Broken pipe 492.70/494.77 cat: write error: Broken pipe 497.61/499.77 cat: write error: Broken pipe 502.52/504.68 cat: write error: Broken pipe 507.52/509.64 cat: write error: Broken pipe 512.41/514.60 cat: write error: Broken pipe 517.42/519.61 cat: write error: Broken pipe 522.25/524.58 cat: write error: Broken pipe 527.26/529.53 cat: write error: Broken pipe 532.22/534.52 cat: write error: Broken pipe 537.12/539.45 cat: write error: Broken pipe 542.04/544.33 cat: write error: Broken pipe 546.91/549.27 cat: write error: Broken pipe 551.92/554.22 cat: write error: Broken pipe 556.77/559.28 cat: write error: Broken pipe 561.75/564.23 cat: write error: Broken pipe 566.72/569.30 cat: write error: Broken pipe 571.67/574.30 cat: write error: Broken pipe 576.60/579.30 cat: write error: Broken pipe 581.48/584.22 cat: write error: Broken pipe 586.37/589.16 cat: write error: Broken pipe 591.27/594.04 cat: write error: Broken pipe 596.19/598.96 cat: write error: Broken pipe 601.12/603.93 cat: write error: Broken pipe 606.02/608.88 cat: write error: Broken pipe 611.04/613.84 cat: write error: Broken pipe 615.93/618.77 cat: write error: Broken pipe 620.82/623.68 cat: write error: Broken pipe 625.82/628.62 cat: write error: Broken pipe 630.72/633.58 cat: write error: Broken pipe 635.70/638.61 cat: write error: Broken pipe 640.55/643.59 cat: write error: Broken pipe 645.52/648.65 cat: write error: Broken pipe 650.50/653.64 cat: write error: Broken pipe 655.46/658.60 cat: write error: Broken pipe 660.38/663.60 cat: write error: Broken pipe 665.27/668.64 cat: write error: Broken pipe 670.20/673.67 cat: write error: Broken pipe 675.17/678.65 cat: write error: Broken pipe 680.09/683.62 cat: write error: Broken pipe 684.98/688.69 cat: write error: Broken pipe 689.95/693.68 cat: write error: Broken pipe 694.85/698.69 cat: write error: Broken pipe 699.83/703.64 cat: write error: Broken pipe 704.72/708.58 cat: write error: Broken pipe 709.71/713.53 cat: write error: Broken pipe 714.61/718.47 cat: write error: Broken pipe 719.50/723.39 cat: write error: Broken pipe 724.52/728.32 cat: write error: Broken pipe 729.43/733.28 cat: write error: Broken pipe 734.42/738.22 cat: write error: Broken pipe 739.33/743.14 cat: write error: Broken pipe 744.21/748.07 cat: write error: Broken pipe 749.21/753.12 cat: write error: Broken pipe 754.13/758.18 cat: write error: Broken pipe 759.09/763.11 cat: write error: Broken pipe 763.99/768.13 cat: write error: Broken pipe 768.91/773.15 cat: write error: Broken pipe 773.86/778.15 cat: write error: Broken pipe 778.71/783.10 cat: write error: Broken pipe 783.67/788.18 cat: write error: Broken pipe 788.63/793.17 cat: write error: Broken pipe 793.62/798.10 cat: write error: Broken pipe 798.50/803.13 cat: write error: Broken pipe 803.44/808.21 cat: write error: Broken pipe 808.33/813.19 cat: write error: Broken pipe 813.35/818.21 cat: write error: Broken pipe 818.18/823.19 cat: write error: Broken pipe 823.18/828.24 cat: write error: Broken pipe 828.14/833.23 cat: write error: Broken pipe 833.06/838.25 cat: write error: Broken pipe 837.92/843.20 cat: write error: Broken pipe 842.87/848.28 cat: write error: Broken pipe 847.85/853.25 cat: write error: Broken pipe 852.76/858.27 cat: write error: Broken pipe 857.69/863.26 cat: write error: Broken pipe 862.58/868.19 cat: write error: Broken pipe 867.59/873.15 cat: write error: Broken pipe 872.49/878.09 cat: write error: Broken pipe 877.47/883.01 cat: write error: Broken pipe 882.38/887.94 cat: write error: Broken pipe 887.26/892.89 cat: write error: Broken pipe 892.26/897.84 cat: write error: Broken pipe 897.19/902.82 cat: write error: Broken pipe 902.10/907.75 cat: write error: Broken pipe 907.10/912.71 cat: write error: Broken pipe 911.99/917.65 cat: write error: Broken pipe 916.90/922.57 cat: write error: Broken pipe 921.87/927.53 cat: write error: Broken pipe 926.75/932.48 cat: write error: Broken pipe 931.77/937.43 cat: write error: Broken pipe 936.68/942.34 cat: write error: Broken pipe 941.58/947.27 cat: write error: Broken pipe 946.56/952.33 cat: write error: Broken pipe 951.53/957.43 cat: write error: Broken pipe 956.40/962.36 cat: write error: Broken pipe 961.37/967.43 cat: write error: Broken pipe 966.25/972.39 cat: write error: Broken pipe 971.29/977.50 cat: write error: Broken pipe 976.15/982.44 cat: write error: Broken pipe 981.09/987.53 cat: write error: Broken pipe 986.06/992.51 cat: write error: Broken pipe 991.00/997.53 cat: write error: Broken pipe 995.87/1002.48 cat: write error: Broken pipe 1000.86/1007.41 cat: write error: Broken pipe 1005.76/1012.37 cat: write error: Broken pipe 1010.76/1017.32 cat: write error: Broken pipe 1015.67/1022.23 cat: write error: Broken pipe 1020.55/1027.15 cat: write error: Broken pipe 1025.57/1032.11 cat: write error: Broken pipe 1030.45/1037.06 cat: write error: Broken pipe 1035.34/1041.97 cat: write error: Broken pipe 1040.35/1046.90 cat: write error: Broken pipe 1045.26/1051.86 cat: write error: Broken pipe 1050.25/1056.81 cat: write error: Broken pipe 1055.16/1061.72 cat: write error: Broken pipe 1060.03/1066.65 cat: write error: Broken pipe 1065.04/1071.61 cat: write error: Broken pipe 1069.94/1076.56 cat: write error: Broken pipe 1074.83/1081.48 cat: write error: Broken pipe 1079.83/1086.40 cat: write error: Broken pipe 1084.74/1091.35 cat: write error: Broken pipe 1089.72/1096.30 cat: write error: Broken pipe 1094.64/1101.22 cat: write error: Broken pipe 1099.54/1106.13 cat: write error: Broken pipe 1104.44/1111.09 cat: write error: Broken pipe 1109.43/1116.05 cat: write error: Broken pipe 1114.33/1120.97 cat: write error: Broken pipe 1119.23/1125.88 cat: write error: Broken pipe 1124.24/1130.83 cat: write error: Broken pipe 1129.13/1135.78 cat: write error: Broken pipe 1134.04/1140.69 cat: write error: Broken pipe 1139.03/1145.60 cat: write error: Broken pipe 1143.94/1150.56 cat: write error: Broken pipe 1148.87/1155.57 cat: write error: Broken pipe 1153.83/1160.53 cat: write error: Broken pipe 1158.73/1165.54 cat: write error: Broken pipe 1163.66/1170.56 cat: write error: Broken pipe 1168.68/1175.60 cat: write error: Broken pipe 1173.57/1180.52 cat: write error: Broken pipe 1178.47/1185.64 cat: write error: Broken pipe 1183.40/1190.65 cat: write error: Broken pipe 1188.37/1195.66 cat: write error: Broken pipe 1193.32/1200.62 cat: write error: Broken pipe 1198.20/1205.65 cat: write error: Broken pipe 1203.12/1210.68 cat: write error: Broken pipe 1208.12/1215.63 cat: write error: Broken pipe 1213.05/1220.62 cat: write error: Broken pipe 1217.93/1225.66 cat: write error: Broken pipe 1222.86/1230.68 cat: write error: Broken pipe 1227.80/1235.69 cat: write error: Broken pipe 1232.81/1240.72 cat: write error: Broken pipe 1237.62/1245.69 cat: write error: Broken pipe 1242.61/1250.68 cat: write error: Broken pipe 1247.54/1255.73 cat: write error: Broken pipe 1252.49/1260.70 cat: write error: Broken pipe 1257.40/1265.72 cat: write error: Broken pipe 1262.34/1270.71 cat: write error: Broken pipe 1267.24/1275.77 cat: write error: Broken pipe 1272.20/1280.72 cat: write error: Broken pipe 1277.12/1285.64 cat: write error: Broken pipe 1282.11/1290.60 cat: write error: Broken pipe 1287.00/1295.56 cat: write error: Broken pipe 1291.89/1300.48 cat: write error: Broken pipe 1296.79/1305.39 cat: write error: Broken pipe 1301.79/1310.35 cat: write error: Broken pipe 1306.79/1315.30 cat: write error: Broken pipe 1311.68/1320.22 cat: write error: Broken pipe 1316.38/1324.90 cat: write error: Broken pipe 1320.98/1329.54 cat: write error: Broken pipe 1325.56/1334.15 cat: write error: Broken pipe 1330.37/1338.97 cat: write error: Broken pipe 1335.05/1343.67 cat: write error: Broken pipe 1339.75/1348.31 cat: write error: Broken pipe 1344.32/1352.92 cat: write error: Broken pipe 1348.93/1357.60 cat: write error: Broken pipe 1353.62/1362.28 cat: write error: Broken pipe 1358.31/1366.93 cat: write error: Broken pipe 1362.91/1371.55 cat: write error: Broken pipe 1367.61/1376.23 cat: write error: Broken pipe 1372.31/1380.91 cat: write error: Broken pipe 1376.89/1385.57 cat: write error: Broken pipe 1381.59/1390.22 cat: write error: Broken pipe 1386.29/1394.90 cat: write error: Broken pipe 1390.90/1399.66 cat: write error: Broken pipe 1395.59/1404.37 cat: write error: Broken pipe 1400.29/1409.05 cat: write error: Broken pipe 1404.97/1413.71 cat: write error: Broken pipe 1409.57/1418.38 cat: write error: Broken pipe 1414.26/1423.05 cat: write error: Broken pipe 1418.85/1427.68 cat: write error: Broken pipe 1423.57/1432.34 cat: write error: Broken pipe 1428.25/1437.07 cat: write error: Broken pipe 1432.94/1441.73 cat: write error: Broken pipe 1437.53/1446.37 cat: write error: Broken pipe 1442.32/1451.14 cat: write error: Broken pipe 1446.90/1455.79 cat: write error: Broken pipe 1451.60/1460.45 cat: write error: Broken pipe 1456.20/1465.09 cat: write error: Broken pipe 1460.87/1469.76 cat: write error: Broken pipe 1465.58/1474.41 cat: write error: Broken pipe 1470.19/1479.15 cat: write error: Broken pipe 1474.88/1483.85 cat: write error: Broken pipe 1479.58/1488.52 cat: write error: Broken pipe 1484.26/1493.21 cat: write error: Broken pipe 1488.85/1497.85 cat: write error: Broken pipe 1493.45/1502.49 cat: write error: Broken pipe 1498.16/1507.18 cat: write error: Broken pipe 1502.84/1511.83 cat: write error: Broken pipe 1507.43/1516.46 cat: write error: Broken pipe 1512.11/1521.13 cat: write error: Broken pipe 1516.82/1525.83 cat: write error: Broken pipe 1521.70/1530.74 cat: write error: Broken pipe 1526.30/1535.36 cat: write error: Broken pipe 1531.04/1540.20 cat: write error: Broken pipe 1535.71/1544.87 cat: write error: Broken pipe 1540.41/1549.50 cat: write error: Broken pipe 1545.02/1554.11 cat: write error: Broken pipe 1549.71/1558.81 cat: write error: Broken pipe 1554.30/1563.49 cat: write error: Broken pipe 1558.99/1568.14 cat: write error: Broken pipe 1563.59/1572.77 cat: write error: Broken pipe 1568.17/1577.38 cat: write error: Broken pipe 1572.87/1582.07 cat: write error: Broken pipe 1577.58/1586.73 cat: write error: Broken pipe 1582.17/1591.36 cat: write error: Broken pipe 1586.96/1596.16 cat: write error: Broken pipe 1591.64/1600.84 cat: write error: Broken pipe 1596.33/1605.57 cat: write error: Broken pipe 1600.92/1610.18 cat: write error: Broken pipe 1605.53/1614.78 cat: write error: Broken pipe 1610.23/1619.47 cat: write error: Broken pipe 1614.92/1624.14 cat: write error: Broken pipe 1619.51/1628.77 cat: write error: Broken pipe 1624.09/1633.38 cat: write error: Broken pipe 1628.80/1638.07 cat: write error: Broken pipe 1633.49/1642.74 cat: write error: Broken pipe 1638.18/1647.40 cat: write error: Broken pipe 1642.77/1652.01 cat: write error: Broken pipe 1647.47/1656.70 cat: write error: Broken pipe 1652.05/1661.38 cat: write error: Broken pipe 1656.75/1666.04 cat: write error: Broken pipe 1661.32/1670.69 cat: write error: Broken pipe 1666.01/1675.37 cat: write error: Broken pipe 1670.72/1680.05 cat: write error: Broken pipe 1675.42/1684.72 cat: write error: Broken pipe 1679.99/1689.35 cat: write error: Broken pipe 1684.61/1693.95 cat: write error: Broken pipe 1689.29/1698.64 cat: write error: Broken pipe 1693.99/1703.31 cat: write error: Broken pipe 1698.58/1707.96 cat: write error: Broken pipe 1703.17/1712.56 cat: write error: Broken pipe 1707.87/1717.24 cat: write error: Broken pipe 1712.56/1721.90 cat: write error: Broken pipe 1717.15/1726.57 cat: write error: Broken pipe 1721.75/1731.18 cat: write error: Broken pipe 1726.42/1735.87 cat: write error: Broken pipe 1731.13/1740.55 cat: write error: Broken pipe 1735.81/1745.22 cat: write error: Broken pipe 1740.42/1749.83 cat: write error: Broken pipe 1745.00/1754.44 cat: write error: Broken pipe 1749.70/1759.15 cat: write error: Broken pipe 1754.38/1763.82 cat: write error: Broken pipe 1759.10/1768.63 cat: write error: Broken pipe 1763.71/1773.30 cat: write error: Broken pipe 1768.33/1777.98 cat: write error: Broken pipe 1773.01/1782.66 cat: write error: Broken pipe 1777.70/1787.31 cat: write error: Broken pipe 1782.31/1792.00 cat: write error: Broken pipe 1787.01/1796.66 cat: write error: Broken pipe 1791.68/1801.33 cat: write error: Broken pipe 1796.29/1805.99 cat: write error: Broken pipe 1800.09/1809.70 sh: line 1: 24448 Terminated cat /tmp/evaluation/350922-1176568293/temp/instance-350922-1176568293.opb.op 1800.09/1809.70 24449 | clasp >/tmp/evaluation/350922-1176568293/temp/instance-350922-1176568293.opb.clasp 1800.09/1809.72 c Somebody sent me a SIGTERM 1800.09/1809.72 s UNKNOWN 1800.09/1809.74 pb2clasp1: no process killed 1800.09/1809.75 clasp: no process killed 1802.06/1811.72 sh: line 1: 24461 Killed cat /tmp/evaluation/350922-1176568293/temp/instance-350922-1176568293.opb.op 1802.06/1811.72 24462 | clasp >/tmp/evaluation/350922-1176568293/temp/instance-350922-1176568293.opb.clasp
ERROR: no interpretation found !
/tmp/evaluation/350922-1176568293/instance-350922-1176568293.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-350922-1176568293 -o ROOT/results/node24/solver-350922-1176568293 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350922-1176568293.opb /tmp/evaluation/350922-1176568293/temp 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 1.01 3/77 21509 /proc/meminfo: memFree=1499000/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=0 CPUtime=0 /proc/21509/stat : 21509 (runsolver) R 21507 21509 21337 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 104747401 0 0 18446744073709551615 0 0 0 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0 /proc/21509/statm: 6 1 0 0 0 1 0 [startup+0.0143799 s] /proc/loadavg: 0.92 0.99 1.01 3/77 21509 /proc/meminfo: memFree=1499000/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=12400 CPUtime=0 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 476 0 0 0 0 0 0 0 18 0 1 0 104747401 12697600 442 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788107489 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 3100 442 314 3 0 200 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12400 [startup+0.10139 s] /proc/loadavg: 0.92 0.99 1.01 3/77 21509 /proc/meminfo: memFree=1499000/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=18116 CPUtime=0.08 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 4425 0 0 0 7 1 0 0 18 0 1 0 104747401 18550784 1800 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788140970 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 4529 1811 320 3 0 1629 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18116 [startup+0.301412 s] /proc/loadavg: 0.92 0.99 1.01 3/77 21509 /proc/meminfo: memFree=1499000/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=18112 CPUtime=0.29 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 19189 0 0 0 21 8 0 0 19 0 1 0 104747401 18546688 1881 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788140970 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 4528 1881 320 3 0 1628 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18112 [startup+0.701454 s] /proc/loadavg: 0.92 0.99 1.01 3/77 21509 /proc/meminfo: memFree=1499000/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=18112 CPUtime=0.68 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 48634 0 0 0 51 17 0 0 22 0 1 0 104747401 18546688 1881 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788140970 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 4528 1881 320 3 0 1628 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18112 [startup+1.50154 s] /proc/loadavg: 0.92 0.99 1.01 2/78 21510 /proc/meminfo: memFree=1492784/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=18240 CPUtime=1.48 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 107148 0 0 0 109 39 0 0 25 0 1 0 104747401 18677760 1882 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788140970 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 4560 1882 320 3 0 1660 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18240 [startup+3.10172 s] /proc/loadavg: 0.92 0.99 1.01 2/78 21510 /proc/meminfo: memFree=1492400/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=18364 CPUtime=3.09 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 225665 0 0 0 220 89 0 0 25 0 1 0 104747401 18804736 1918 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788141098 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 4591 1918 343 3 0 1691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18364 [startup+6.30106 s] /proc/loadavg: 0.93 0.99 1.01 2/78 21510 /proc/meminfo: memFree=1492400/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=18628 CPUtime=6.28 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 461113 0 0 0 455 173 0 0 25 0 1 0 104747401 19075072 1847 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788471513 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 4657 1847 320 3 0 1757 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18628 [startup+12.7018 s] /proc/loadavg: 0.93 0.99 1.01 2/78 21510 /proc/meminfo: memFree=1491440/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=19276 CPUtime=12.68 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 942419 0 0 0 929 339 0 0 25 0 1 0 104747401 19738624 2103 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788140970 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 4819 2113 320 3 0 1919 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19276 [startup+25.5011 s] /proc/loadavg: 0.95 0.99 1.01 2/78 21510 /proc/meminfo: memFree=1490096/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=20656 CPUtime=25.48 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 1968117 0 0 0 1882 666 0 0 25 0 1 0 104747401 21151744 2507 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788140970 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 5164 2507 320 3 0 2264 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20656 [startup+51.1019 s] /proc/loadavg: 0.96 0.99 1.00 2/78 21510 /proc/meminfo: memFree=1485360/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=25408 CPUtime=51.06 /proc/21509/stat : 21509 (pbclasp) R 21507 21509 21337 0 -1 4194304 4137700 0 0 0 3798 1308 0 0 25 0 1 0 104747401 26017792 3656 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237788140970 0 0 4224 16384 0 0 0 17 1 0 0 /proc/21509/statm: 6352 3669 321 3 0 3452 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 25408 [startup+102.305 s] /proc/loadavg: 0.98 0.99 1.00 2/80 21512 /proc/meminfo: memFree=1471136/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=29332 CPUtime=58.63 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4632058 0 0 0 4418 1445 0 0 25 0 1 0 104747401 30035968 4657 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797159010 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/21509/statm: 7333 4657 324 3 0 4433 0 [pid=21511] ppid=21509 vsize=5352 CPUtime=0 /proc/21511/stat : 21511 (sh) S 21509 21509 21337 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 104753268 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/21511/statm: 1338 229 193 169 0 49 0 [pid=21512] ppid=21511 vsize=18600 CPUtime=43.6 /proc/21512/stat : 21512 (pb2clasp1) R 21511 21509 21337 0 -1 4194304 2592370 0 0 0 3539 821 0 0 25 0 1 0 104753269 19046400 1997 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 237788471468 0 0 4224 0 0 0 0 17 1 0 0 /proc/21512/statm: 4742 2007 339 3 0 1842 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 53284 [startup+162.302 s] /proc/loadavg: 0.99 0.99 1.00 2/81 21575 /proc/meminfo: memFree=1458136/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=157.62 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4636377 4137291 0 1 4476 1452 8530 1304 17 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 [pid=21573] ppid=21509 vsize=5352 CPUtime=0 /proc/21573/stat : 21573 (sh) S 21509 21509 21337 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 104763196 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21573/statm: 1338 224 188 169 0 49 0 [pid=21574] ppid=21573 vsize=2520 CPUtime=0 /proc/21574/stat : 21574 (cat) S 21573 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104763196 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/21574/statm: 630 87 71 4 0 42 0 [pid=21575] ppid=21573 vsize=11184 CPUtime=4.33 /proc/21575/stat : 21575 (clasp) R 21573 21509 21337 0 -1 4194304 2889 0 0 0 431 2 0 0 25 0 1 0 104763197 11452416 2323 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135088757 0 0 4096 0 0 0 0 17 1 0 0 /proc/21575/statm: 2796 2323 176 154 0 2266 0 Current children cumulated CPU time (s) 161.95 Current children cumulated vsize (KiB) 53932 [startup+222.301 s] /proc/loadavg: 0.99 0.99 1.00 2/80 21676 /proc/meminfo: memFree=1463648/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=221.63 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4637590 4218866 0 1 4551 1461 14729 1422 16 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 Current children cumulated CPU time (s) 221.63 Current children cumulated vsize (KiB) 34876 [startup+282.302 s] /proc/loadavg: 0.99 0.99 1.00 2/80 21772 /proc/meminfo: memFree=1463712/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=280.81 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4638710 4294166 0 1 4619 1470 20460 1532 16 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 Current children cumulated CPU time (s) 280.81 Current children cumulated vsize (KiB) 34876 [startup+342.301 s] /proc/loadavg: 0.99 0.99 1.00 2/81 21873 /proc/meminfo: memFree=1461080/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=340 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4639830 4369466 0 1 4688 1479 26194 1639 16 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 [pid=21871] ppid=21509 vsize=5352 CPUtime=0 /proc/21871/stat : 21871 (sh) S 21509 21509 21337 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 104781476 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21871/statm: 1338 224 188 169 0 49 0 [pid=21872] ppid=21871 vsize=2520 CPUtime=0 /proc/21872/stat : 21872 (cat) S 21871 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104781476 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/21872/statm: 630 87 71 4 0 42 0 [pid=21873] ppid=21871 vsize=4680 CPUtime=1.53 /proc/21873/stat : 21873 (clasp) R 21871 21509 21337 0 -1 4194304 1064 0 0 0 153 0 0 0 25 0 1 0 104781476 4792320 728 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135067483 0 0 4096 0 0 0 0 17 1 0 0 /proc/21873/statm: 1170 728 173 154 0 640 0 Current children cumulated CPU time (s) 341.53 Current children cumulated vsize (KiB) 47428 [startup+402.303 s] /proc/loadavg: 0.99 0.99 1.00 2/81 21969 /proc/meminfo: memFree=1461720/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=399.19 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4640950 4444766 0 1 4757 1488 31923 1751 16 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 [pid=21967] ppid=21509 vsize=5352 CPUtime=0 /proc/21967/stat : 21967 (sh) S 21509 21509 21337 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 104787475 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/21967/statm: 1338 224 188 169 0 49 0 [pid=21968] ppid=21967 vsize=2520 CPUtime=0 /proc/21968/stat : 21968 (cat) S 21967 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104787475 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/21968/statm: 630 87 71 4 0 42 0 [pid=21969] ppid=21967 vsize=4680 CPUtime=1.55 /proc/21969/stat : 21969 (clasp) R 21967 21509 21337 0 -1 4194304 1070 0 0 0 155 0 0 0 25 0 1 0 104787475 4792320 734 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135088678 0 0 4096 0 0 0 0 17 1 0 0 /proc/21969/statm: 1170 734 173 154 0 640 0 Current children cumulated CPU time (s) 400.74 Current children cumulated vsize (KiB) 47428 [startup+462.302 s] /proc/loadavg: 0.99 0.99 1.00 2/81 22065 /proc/meminfo: memFree=1459864/2055920 swapFree=4191880/4192956 ################ # More data... # ################ /proc/23824/statm: 630 87 71 4 0 42 0 [pid=23825] ppid=23823 vsize=5356 CPUtime=1.96 /proc/23825/stat : 23825 (clasp) R 23823 21509 21337 0 -1 4194304 1249 0 0 0 196 0 0 0 25 0 1 0 104901433 5484544 913 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134937477 0 0 4096 0 0 0 0 17 0 0 0 /proc/23825/statm: 1339 913 173 154 0 809 0 Current children cumulated CPU time (s) 1533.21 Current children cumulated vsize (KiB) 48104 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/81 23929 /proc/meminfo: memFree=1458328/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1591.81 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4663817 5982141 0 1 6140 1679 147390 3972 17 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 [pid=23927] ppid=21509 vsize=5352 CPUtime=0 /proc/23927/stat : 23927 (sh) S 21509 21509 21337 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 104907496 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23927/statm: 1338 224 188 169 0 49 0 [pid=23928] ppid=23927 vsize=2520 CPUtime=0 /proc/23928/stat : 23928 (cat) S 23927 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 16 0 1 0 104907497 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/23928/statm: 630 87 71 4 0 42 0 [pid=23929] ppid=23927 vsize=4272 CPUtime=1.33 /proc/23929/stat : 23929 (clasp) R 23927 21509 21337 0 -1 4194304 987 0 0 0 133 0 0 0 25 0 1 0 104907497 4374528 651 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 2817330 0 0 4096 0 0 0 0 17 1 0 0 /proc/23929/statm: 1068 651 173 154 0 538 0 Current children cumulated CPU time (s) 1593.14 Current children cumulated vsize (KiB) 47020 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/81 24033 /proc/meminfo: memFree=1458200/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1652.27 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4665030 6063716 0 1 6212 1688 153240 4087 18 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 [pid=24031] ppid=21509 vsize=5352 CPUtime=0 /proc/24031/stat : 24031 (sh) S 21509 21509 21337 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 104913550 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24031/statm: 1338 224 188 169 0 49 0 [pid=24032] ppid=24031 vsize=2520 CPUtime=0 /proc/24032/stat : 24032 (cat) S 24031 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104913551 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/24032/statm: 630 87 71 4 0 42 0 [pid=24033] ppid=24031 vsize=3592 CPUtime=0.79 /proc/24033/stat : 24033 (clasp) R 24031 21509 21337 0 -1 4194304 793 0 0 0 79 0 0 0 25 0 1 0 104913551 3678208 457 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 3072990 0 0 4096 0 0 0 0 17 0 0 0 /proc/24033/statm: 898 457 173 154 0 368 0 Current children cumulated CPU time (s) 1653.06 Current children cumulated vsize (KiB) 46340 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/81 24129 /proc/meminfo: memFree=1450840/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1712.7 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4666244 6145291 0 1 6283 1698 159085 4204 17 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 Current children cumulated CPU time (s) 1712.7 Current children cumulated vsize (KiB) 34876 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/87 24315 /proc/meminfo: memFree=1450920/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1768.53 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4667364 6220591 0 1 6349 1706 164481 4317 16 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 [pid=24305] ppid=21509 vsize=5352 CPUtime=0 /proc/24305/stat : 24305 (sh) S 21509 21509 21337 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 104925211 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24305/statm: 1338 224 188 169 0 49 0 [pid=24306] ppid=24305 vsize=2520 CPUtime=0.01 /proc/24306/stat : 24306 (cat) S 24305 21509 21337 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 104925211 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/24306/statm: 630 87 71 4 0 42 0 [pid=24307] ppid=24305 vsize=11388 CPUtime=4.17 /proc/24307/stat : 24307 (clasp) R 24305 21509 21337 0 -1 4194304 2941 0 0 0 415 2 0 0 25 0 1 0 104925211 11661312 2375 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0 /proc/24307/statm: 2847 2375 176 154 0 2317 0 Current children cumulated CPU time (s) 1772.71 Current children cumulated vsize (KiB) 54136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1809.7 s] /proc/loadavg: 1.00 1.00 1.00 2/87 24451 /proc/meminfo: memFree=1452072/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1796.51 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4667924 6258241 0 1 6383 1711 167182 4375 17 0 1 0 104747401 35713024 6062 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6062 343 3 0 5819 0 [pid=24447] ppid=21509 vsize=5352 CPUtime=0 /proc/24447/stat : 24447 (sh) S 21509 21509 21337 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 104928012 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24447/statm: 1338 224 188 169 0 49 0 [pid=24448] ppid=24447 vsize=2520 CPUtime=0.01 /proc/24448/stat : 24448 (cat) S 24447 21509 21337 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 104928012 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/24448/statm: 630 87 71 4 0 42 0 [pid=24449] ppid=24447 vsize=7736 CPUtime=3.57 /proc/24449/stat : 24449 (clasp) R 24447 21509 21337 0 -1 4194304 2004 0 0 0 356 1 0 0 25 0 1 0 104928012 7921664 1471 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134935293 0 0 4096 0 0 0 0 17 0 0 0 /proc/24449/statm: 1934 1471 173 154 0 1404 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 50484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1811 s] /proc/loadavg: 1.00 1.00 1.00 2/88 24464 /proc/meminfo: memFree=1456288/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1800.24 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4668087 6262048 0 1 6389 1712 167539 4384 17 0 1 0 104747401 35713024 6064 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6064 343 3 0 5819 0 [pid=24460] ppid=21509 vsize=5352 CPUtime=0 /proc/24460/stat : 24460 (sh) S 21509 21509 21337 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 104928387 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24460/statm: 1338 224 188 169 0 49 0 [pid=24461] ppid=24460 vsize=2520 CPUtime=0 /proc/24461/stat : 24461 (cat) S 24460 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104928387 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/24461/statm: 630 87 71 4 0 42 0 [pid=24462] ppid=24460 vsize=3992 CPUtime=1.12 /proc/24462/stat : 24462 (clasp) R 24460 21509 21337 0 -1 4194304 921 0 0 0 112 0 0 0 25 0 1 0 104928387 4087808 585 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 2985560 0 0 4096 0 0 0 0 17 0 0 0 /proc/24462/statm: 998 585 173 154 0 468 0 Current children cumulated CPU time (s) 1801.36 Current children cumulated vsize (KiB) 46740 [startup+1811.4 s] /proc/loadavg: 1.00 1.00 1.00 2/88 24464 /proc/meminfo: memFree=1456288/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1800.24 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4668087 6262048 0 1 6389 1712 167539 4384 17 0 1 0 104747401 35713024 6064 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6064 343 3 0 5819 0 [pid=24460] ppid=21509 vsize=5352 CPUtime=0 /proc/24460/stat : 24460 (sh) S 21509 21509 21337 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 104928387 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24460/statm: 1338 224 188 169 0 49 0 [pid=24461] ppid=24460 vsize=2520 CPUtime=0 /proc/24461/stat : 24461 (cat) S 24460 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104928387 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/24461/statm: 630 87 71 4 0 42 0 [pid=24462] ppid=24460 vsize=4680 CPUtime=1.52 /proc/24462/stat : 24462 (clasp) R 24460 21509 21337 0 -1 4194304 1080 0 0 0 152 0 0 0 25 0 1 0 104928387 4792320 744 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 3072990 0 0 4096 0 0 0 0 17 0 0 0 /proc/24462/statm: 1170 744 173 154 0 640 0 Current children cumulated CPU time (s) 1801.76 Current children cumulated vsize (KiB) 47428 [startup+1811.6 s] /proc/loadavg: 1.00 1.00 1.00 2/88 24464 /proc/meminfo: memFree=1454560/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1800.24 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4668087 6262048 0 1 6389 1712 167539 4384 17 0 1 0 104747401 35713024 6064 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6064 343 3 0 5819 0 [pid=24460] ppid=21509 vsize=5352 CPUtime=0 /proc/24460/stat : 24460 (sh) S 21509 21509 21337 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 104928387 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24460/statm: 1338 224 188 169 0 49 0 [pid=24461] ppid=24460 vsize=2520 CPUtime=0 /proc/24461/stat : 24461 (cat) S 24460 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104928387 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/24461/statm: 630 87 71 4 0 42 0 [pid=24462] ppid=24460 vsize=5080 CPUtime=1.72 /proc/24462/stat : 24462 (clasp) R 24460 21509 21337 0 -1 4194304 1159 0 0 0 172 0 0 0 25 0 1 0 104928387 5201920 823 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134855493 0 0 4096 0 0 0 0 17 0 0 0 /proc/24462/statm: 1270 823 173 154 0 740 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 47828 [startup+1811.71 s] /proc/loadavg: 1.00 1.00 1.00 2/88 24464 /proc/meminfo: memFree=1454560/2055920 swapFree=4191880/4192956 [pid=21509] ppid=21507 vsize=34876 CPUtime=1800.24 /proc/21509/stat : 21509 (pbclasp) S 21507 21509 21337 0 -1 4194304 4668087 6262048 0 1 6389 1712 167539 4384 17 0 1 0 104747401 35713024 6064 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/21509/statm: 8719 6064 343 3 0 5819 0 [pid=24460] ppid=21509 vsize=5352 CPUtime=0 /proc/24460/stat : 24460 (sh) S 21509 21509 21337 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 104928387 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24460/statm: 1338 224 188 169 0 49 0 [pid=24461] ppid=24460 vsize=2520 CPUtime=0 /proc/24461/stat : 24461 (cat) S 24460 21509 21337 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 104928387 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 237788430562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/24461/statm: 630 87 71 4 0 42 0 [pid=24462] ppid=24460 vsize=5224 CPUtime=1.82 /proc/24462/stat : 24462 (clasp) R 24460 21509 21337 0 -1 4194304 1200 0 0 0 182 0 0 0 25 0 1 0 104928387 5349376 864 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135030740 0 0 4096 0 0 0 0 17 0 0 0 /proc/24462/statm: 1306 864 173 154 0 776 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 47972 Child ended because it received signal 9 (SIGKILL) Real time (s): 1811.74 CPU time (s): 1802.13 CPU user time (s): 1741.14 CPU system time (s): 60.9917 CPU usage (%): 99.4697 Max. virtual memory (cumulated for all children) (KiB): 69752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1741.14 system time used= 60.9917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10934246 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 450324 involuntary context switches= 399593 runsolver used 1.84872 second user time and 4.81527 second system time The end
Begin job on node24 on Sat Apr 14 16:31:34 UTC 2007 IDJOB= 350922 IDBENCH= 1617 IDSOLVER= 158 FILE ID= node24/350922-1176568293 PBS_JOBID= 4556908 Free space on /tmp= 66559 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb COMMAND LINE= pbclasp instance-350922-1176568293.opb /tmp/evaluation/350922-1176568293/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-350922-1176568293 -o ROOT/results/node24/conversion-350922-1176568293 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350922-1176568293/instance-350922-1176568293.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-350922-1176568293 -o ROOT/results/node24/solver-350922-1176568293 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350922-1176568293.opb /tmp/evaluation/350922-1176568293/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 1d990dd8841615caa29b3d304bde4f0b RANDOM SEED= 345629260 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1499408 kB Buffers: 42420 kB Cached: 329884 kB SwapCached: 268 kB Active: 215712 kB Inactive: 211228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1499408 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 6172 kB Writeback: 0 kB Mapped: 71912 kB Slab: 115080 kB Committed_AS: 231036 kB PageTables: 1776 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= 66547 MiB End job on node24 on Sat Apr 14 17:01:46 UTC 2007