Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown | ? (TO) | 1801.05 | 1791.94 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo |
| MD5SUM | 415715e3de5713a6aca23e12a1a413cb |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 206 |
| Best CPU time to get the best result obtained on this benchmark | 0.100984 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.02 c run usual solver 0.00/0.06 o 6890 0.00/0.06 c fallback to adder encoding 6.16/6.25 o 6879 6.16/6.25 c fallback to adder encoding 12.96/13.04 o 6875 12.96/13.04 c fallback to adder encoding 18.25/18.37 o 6866 18.25/18.37 c fallback to adder encoding 25.66/25.76 o 6850 25.66/25.76 c fallback to adder encoding 33.45/33.56 o 6849 33.45/33.56 c fallback to adder encoding 41.84/41.93 o 6848 41.84/41.93 c fallback to adder encoding 47.60/47.78 o 6847 47.60/47.78 c fallback to adder encoding 51.90/52.03 o 6846 51.90/52.03 c fallback to adder encoding 60.09/60.26 o 6843 60.09/60.26 c fallback to adder encoding 65.41/65.56 o 6842 65.41/65.56 c fallback to adder encoding 70.20/70.39 o 6840 70.20/70.39 c fallback to adder encoding 74.26/74.41 o 6839 74.26/74.41 c fallback to adder encoding 79.21/79.30 o 6837 79.21/79.30 c fallback to adder encoding 90.39/90.59 o 6835 90.39/90.59 c fallback to adder encoding 100.49/100.69 o 6830 100.49/100.69 c fallback to adder encoding 104.94/105.11 o 6815 104.94/105.11 c fallback to adder encoding 109.59/109.78 o 6798 109.59/109.78 c fallback to adder encoding 114.68/114.86 o 6792 114.68/114.86 c fallback to adder encoding 130.25/130.42 o 6788 130.25/130.42 c fallback to adder encoding 143.56/143.77 o 6770 143.56/143.77 c fallback to adder encoding 149.06/149.24 o 6765 149.06/149.24 c fallback to adder encoding 156.34/156.51 o 6757 156.34/156.51 c fallback to adder encoding 166.66/166.89 o 6753 166.66/166.89 c fallback to adder encoding 174.77/175.00 o 6750 174.77/175.00 c fallback to adder encoding 184.66/184.83 o 6749 184.66/184.83 c fallback to adder encoding 191.86/192.08 o 6726 191.86/192.08 c fallback to adder encoding 200.26/200.48 o 6723 200.26/200.48 c fallback to adder encoding 205.05/205.27 o 6714 205.05/205.27 c fallback to adder encoding 211.75/211.95 o 6691 211.75/211.95 c fallback to adder encoding 216.80/217.00 o 6689 216.80/217.00 c fallback to adder encoding 228.64/228.83 o 6657 228.64/228.83 c fallback to adder encoding 234.15/234.39 o 6656 234.15/234.39 c fallback to adder encoding 238.15/238.36 o 6648 238.15/238.36 c fallback to adder encoding 242.75/242.95 o 6605 242.75/242.95 c fallback to adder encoding 251.14/251.35 o 6482 251.14/251.35 c fallback to adder encoding 259.34/259.60 o 6480 259.34/259.60 c fallback to adder encoding 263.12/263.38 o 6477 263.12/263.38 c fallback to adder encoding 271.93/272.10 o 6464 271.93/272.10 c fallback to adder encoding 282.03/282.28 o 6461 282.03/282.28 c fallback to adder encoding 289.52/289.79 o 6429 289.52/289.79 c fallback to adder encoding 296.62/296.89 o 6424 296.62/296.89 c fallback to adder encoding 303.82/304.08 o 6414 303.82/304.08 c fallback to adder encoding 312.61/312.86 o 6413 312.61/312.86 c fallback to adder encoding 317.11/317.38 o 6412 317.11/317.38 c fallback to adder encoding 323.87/324.10 o 6409 323.87/324.10 c fallback to adder encoding 331.60/331.85 o 6407 331.60/331.85 c fallback to adder encoding 335.29/335.52 o 6406 335.29/335.52 c fallback to adder encoding 341.22/341.45 o 6384 341.22/341.45 c fallback to adder encoding 348.30/348.55 o 6370 348.30/348.55 c fallback to adder encoding 360.70/360.97 o 6365 360.70/360.97 c fallback to adder encoding 365.03/365.38 o 6364 365.03/365.38 c fallback to adder encoding 369.00/369.38 o 6357 369.00/369.38 c fallback to adder encoding 371.99/372.38 o 6347 371.99/372.38 c fallback to adder encoding 378.18/378.57 o 6338 378.18/378.57 c fallback to adder encoding 381.89/382.28 o 6337 381.89/382.28 c fallback to adder encoding 391.56/391.91 o 6334 391.56/391.91 c fallback to adder encoding 398.68/399.04 o 6311 398.68/399.04 c fallback to adder encoding 405.28/405.64 o 6287 405.28/405.64 c fallback to adder encoding 411.88/412.26 o 6282 411.88/412.26 c fallback to adder encoding 418.44/418.81 o 6278 418.44/418.81 c fallback to adder encoding 431.27/431.68 o 6277 431.27/431.68 c fallback to adder encoding 434.75/435.11 o 6203 434.75/435.11 c fallback to adder encoding 438.88/439.29 o 6202 438.88/439.29 c fallback to adder encoding 444.14/444.51 o 6197 444.14/444.51 c fallback to adder encoding 449.35/449.72 o 6192 449.35/449.72 c fallback to adder encoding 455.88/456.28 o 6186 455.88/456.28 c fallback to adder encoding 461.97/462.38 o 6178 461.97/462.38 c fallback to adder encoding 468.36/468.78 o 6177 468.36/468.78 c fallback to adder encoding 474.77/475.18 o 6172 474.77/475.18 c fallback to adder encoding 478.86/479.27 o 6152 478.86/479.27 c fallback to adder encoding 484.46/484.88 o 6150 484.46/484.88 c fallback to adder encoding 489.17/489.56 o 6149 489.17/489.56 c fallback to adder encoding 496.52/496.91 o 6148 496.52/496.91 c fallback to adder encoding 500.31/500.70 o 6147 500.31/500.70 c fallback to adder encoding 506.67/507.00 o 6146 506.67/507.00 c fallback to adder encoding 510.22/510.61 o 6145 510.22/510.61 c fallback to adder encoding 515.05/515.44 o 6144 515.05/515.44 c fallback to adder encoding 516.91/517.31 o 6143 516.91/517.31 c fallback to adder encoding 519.14/519.59 o 6120 519.14/519.59 c fallback to adder encoding 526.48/526.91 o 6113 526.48/526.91 c fallback to adder encoding 530.81/531.27 o 6110 530.81/531.27 c fallback to adder encoding 533.41/533.88 o 6099 533.41/533.88 c fallback to adder encoding 536.12/536.53 o 6061 536.12/536.53 c fallback to adder encoding 543.63/544.11 o 6050 543.63/544.11 c fallback to adder encoding 551.28/551.70 o 6048 551.28/551.70 c fallback to adder encoding 559.83/560.31 o 6047 559.83/560.31 c fallback to adder encoding 565.77/566.28 o 6043 565.77/566.28 c fallback to adder encoding 577.46/577.94 o 6031 577.46/577.94 c fallback to adder encoding 582.63/583.12 o 6027 582.63/583.12 c fallback to adder encoding 589.16/589.65 o 6018 589.16/589.65 c fallback to adder encoding 597.56/598.04 o 6016 597.56/598.04 c fallback to adder encoding 602.15/602.64 o 6015 602.15/602.64 c fallback to adder encoding 607.93/608.42 o 6014 607.93/608.42 c fallback to adder encoding 610.85/611.38 o 6003 610.85/611.38 c fallback to adder encoding 616.96/617.46 o 6001 616.96/617.46 c fallback to adder encoding 620.03/620.52 o 5968 620.03/620.52 c fallback to adder encoding 624.52/625.01 o 5960 624.52/625.01 c fallback to adder encoding 630.74/631.24 o 5952 630.74/631.24 c fallback to adder encoding 639.75/640.25 o 5947 639.75/640.25 c fallback to adder encoding 647.54/648.07 o 5940 647.54/648.07 c fallback to adder encoding 659.23/659.78 o 5937 659.23/659.78 c fallback to adder encoding 665.22/665.71 o 5926 665.22/665.71 c fallback to adder encoding 669.83/670.33 o 5920 669.83/670.33 c fallback to adder encoding 680.24/680.76 o 5871 680.24/680.76 c fallback to adder encoding 687.14/687.66 o 5870 687.14/687.66 c fallback to adder encoding 693.83/694.34 o 5865 693.83/694.34 c fallback to adder encoding 696.94/697.46 o 5860 696.94/697.46 c fallback to adder encoding 700.30/700.81 o 5858 700.30/700.81 c fallback to adder encoding 705.53/706.09 o 5857 705.53/706.09 c fallback to adder encoding 714.43/714.95 o 5835 714.43/714.95 c fallback to adder encoding 717.41/717.92 o 5833 717.41/717.92 c fallback to adder encoding 719.63/720.19 o 5815 719.63/720.19 c fallback to adder encoding 722.62/723.18 o 5801 722.62/723.18 c fallback to adder encoding 730.02/730.57 o 5794 730.02/730.57 c fallback to adder encoding 733.90/734.41 o 5793 733.90/734.41 c fallback to adder encoding 739.03/739.59 o 5777 739.03/739.59 c fallback to adder encoding 752.99/753.51 o 5776 752.99/753.51 c fallback to adder encoding 756.41/756.96 o 5773 756.41/756.96 c fallback to adder encoding 763.69/764.21 o 5772 763.69/764.21 c fallback to adder encoding 770.32/770.85 o 5771 770.32/770.85 c fallback to adder encoding 777.72/778.27 o 5770 777.72/778.27 c fallback to adder encoding 783.59/784.11 o 5765 783.59/784.11 c fallback to adder encoding 789.11/789.68 o 5764 789.11/789.68 c fallback to adder encoding 799.01/799.53 o 5745 799.01/799.53 c fallback to adder encoding 803.32/803.88 o 5722 803.32/803.88 c fallback to adder encoding 807.61/808.19 o 5721 807.61/808.19 c fallback to adder encoding 812.51/813.06 o 5708 812.51/813.06 c fallback to adder encoding 819.14/819.71 o 5646 819.14/819.71 c fallback to adder encoding 821.64/822.21 o 5638 821.64/822.21 c fallback to adder encoding 824.58/825.15 o 5637 824.58/825.15 c fallback to adder encoding 829.91/830.53 o 5632 829.91/830.53 c fallback to adder encoding 835.89/836.55 o 5536 835.89/836.55 c fallback to adder encoding 845.17/845.87 o 5535 845.17/845.87 c fallback to adder encoding 853.63/854.32 o 5116 853.63/854.32 c fallback to adder encoding 859.36/860.08 o 5093 859.36/860.08 c fallback to adder encoding 864.86/865.62 o 5076 864.86/865.62 c fallback to adder encoding 870.87/871.69 o 5071 870.87/871.69 c fallback to adder encoding 875.86/876.62 o 5070 875.86/876.62 c fallback to adder encoding 878.20/879.03 o 5058 878.20/879.03 c fallback to adder encoding 889.02/889.87 o 5053 889.02/889.87 c fallback to adder encoding 892.91/893.78 o 5002 892.91/893.78 c fallback to adder encoding 893.08/905.26 o 4991 893.08/905.26 c fallback to adder encoding 909.93/910.83 o 4989 909.93/910.83 c fallback to adder encoding 915.08/916.03 o 4987 915.08/916.03 c fallback to adder encoding 921.90/922.91 o 4977 921.90/922.91 c fallback to adder encoding 925.72/926.77 o 4976 925.72/926.77 c fallback to adder encoding 937.61/938.62 o 4971 937.61/938.62 c fallback to adder encoding 940.73/941.74 o 4947 940.73/941.74 c fallback to adder encoding 946.04/947.10 o 4936 946.04/947.10 c fallback to adder encoding 952.13/953.18 o 4928 952.13/953.18 c fallback to adder encoding 959.34/960.35 o 4922 959.34/960.35 c fallback to adder encoding 966.20/967.21 o 4899 966.20/967.21 c fallback to adder encoding 971.61/972.67 o 4893 971.61/972.67 c fallback to adder encoding 977.82/978.84 o 4892 977.82/978.84 c fallback to adder encoding 984.21/985.28 o 4874 984.21/985.28 c fallback to adder encoding 991.23/992.20 o 4871 991.23/992.20 c fallback to adder encoding 995.28/996.31 o 4855 995.28/996.31 c fallback to adder encoding 1000.47/1001.52 o 4809 1000.47/1001.52 c fallback to adder encoding 1006.31/1007.41 o 4804 1006.31/1007.41 c fallback to adder encoding 1014.04/1015.18 o 4788 1014.04/1015.18 c fallback to adder encoding 1018.05/1019.14 o 4786 1018.05/1019.14 c fallback to adder encoding 1028.55/1029.66 o 4784 1028.55/1029.66 c fallback to adder encoding 1037.32/1038.42 o 4768 1037.32/1038.42 c fallback to adder encoding 1043.14/1044.24 o 4767 1043.14/1044.24 c fallback to adder encoding 1046.64/1047.79 o 4766 1046.64/1047.79 c fallback to adder encoding 1052.54/1053.67 o 4765 1052.54/1053.67 c fallback to adder encoding 1061.53/1062.69 o 4739 1061.53/1062.69 c fallback to adder encoding 1065.30/1066.42 o 4731 1065.30/1066.42 c fallback to adder encoding 1071.73/1072.86 o 4717 1071.73/1072.86 c fallback to adder encoding 1075.65/1076.83 o 4714 1075.65/1076.83 c fallback to adder encoding 1081.22/1082.44 o 4659 1081.22/1082.44 c fallback to adder encoding 1086.02/1087.25 o 4648 1086.02/1087.25 c fallback to adder encoding 1096.51/1097.76 o 4642 1096.51/1097.76 c fallback to adder encoding 1104.49/1105.79 o 4641 1104.49/1105.79 c fallback to adder encoding 1108.61/1109.89 o 4640 1108.61/1109.89 c fallback to adder encoding 1117.09/1118.39 o 4636 1117.09/1118.39 c fallback to adder encoding 1121.56/1122.82 o 4631 1121.56/1122.82 c fallback to adder encoding 1127.38/1128.64 o 4630 1127.38/1128.64 c fallback to adder encoding 1134.39/1135.67 o 4629 1134.39/1135.67 c fallback to adder encoding 1143.38/1144.64 o 4628 1143.38/1144.64 c fallback to adder encoding 1147.67/1148.98 o 4614 1147.67/1148.98 c fallback to adder encoding 1156.55/1157.82 o 4594 1156.55/1157.82 c fallback to adder encoding 1162.36/1163.67 o 4575 1162.36/1163.67 c fallback to adder encoding 1169.12/1170.41 o 4573 1169.12/1170.41 c fallback to adder encoding 1175.14/1176.44 o 4567 1175.14/1176.44 c fallback to adder encoding 1180.71/1182.03 o 4559 1180.71/1182.03 c fallback to adder encoding 1184.32/1185.70 o 4555 1184.32/1185.70 c fallback to adder encoding 1190.33/1191.64 o 4550 1190.33/1191.64 c fallback to adder encoding 1197.02/1198.33 o 4544 1197.02/1198.33 c fallback to adder encoding 1202.81/1204.18 o 4539 1202.81/1204.18 c fallback to adder encoding 1208.09/1209.43 o 4537 1208.09/1209.43 c fallback to adder encoding 1212.08/1213.42 o 4536 1212.08/1213.42 c fallback to adder encoding 1218.77/1220.12 o 4510 1218.77/1220.12 c fallback to adder encoding 1224.56/1225.93 o 4508 1224.56/1225.93 c fallback to adder encoding 1229.87/1231.28 o 4491 1229.87/1231.28 c fallback to adder encoding 1238.05/1239.48 o 4483 1238.05/1239.48 c fallback to adder encoding 1243.13/1244.56 o 4481 1243.13/1244.56 c fallback to adder encoding 1248.53/1249.96 o 4388 1248.53/1249.96 c fallback to adder encoding 1255.34/1256.78 o 4387 1255.34/1256.78 c fallback to adder encoding 1269.52/1270.95 o 4386 1269.52/1270.95 c fallback to adder encoding 1280.10/1281.53 o 4385 1280.10/1281.53 c fallback to adder encoding 1287.89/1289.38 o 4384 1287.89/1289.38 c fallback to adder encoding 1293.49/1294.95 o 4361 1293.49/1294.95 c fallback to adder encoding 1298.88/1300.38 o 4359 1298.88/1300.38 c fallback to adder encoding 1302.27/1303.74 o 4344 1302.27/1303.74 c fallback to adder encoding 1306.06/1307.53 o 4330 1306.06/1307.53 c fallback to adder encoding 1309.95/1311.46 o 4322 1309.95/1311.46 c fallback to adder encoding 1318.73/1320.23 o 4305 1318.73/1320.23 c fallback to adder encoding 1326.23/1327.74 o 4301 1326.23/1327.74 c fallback to adder encoding 1329.81/1331.33 o 4300 1329.81/1331.33 c fallback to adder encoding 1334.21/1335.75 o 4298 1334.21/1335.75 c fallback to adder encoding 1342.69/1344.24 o 4291 1342.69/1344.24 c fallback to adder encoding 1350.68/1352.30 o 4290 1350.68/1352.30 c fallback to adder encoding 1357.67/1359.22 o 4281 1357.67/1359.22 c fallback to adder encoding 1362.04/1363.61 o 4272 1362.04/1363.61 c fallback to adder encoding 1366.96/1368.59 o 4271 1366.96/1368.59 c fallback to adder encoding 1374.46/1376.02 o 4264 1374.46/1376.02 c fallback to adder encoding 1381.85/1383.44 o 4259 1381.85/1383.44 c fallback to adder encoding 1388.74/1390.38 o 4258 1388.74/1390.38 c fallback to adder encoding 1402.34/1403.90 o 4228 1402.34/1403.90 c fallback to adder encoding 1407.31/1408.96 o 4226 1407.31/1408.96 c fallback to adder encoding 1416.13/1417.79 o 4225 1416.13/1417.79 c fallback to adder encoding 1421.10/1422.72 o 4216 1421.10/1422.72 c fallback to adder encoding 1426.00/1427.66 o 4215 1426.00/1427.66 c fallback to adder encoding 1433.18/1434.83 o 4214 1433.18/1434.83 c fallback to adder encoding 1438.29/1439.97 o 4211 1438.29/1439.97 c fallback to adder encoding 1453.86/1455.58 o 4148 1453.86/1455.58 c fallback to adder encoding 1458.86/1460.58 o 4147 1458.86/1460.58 c fallback to adder encoding 1463.03/1464.72 o 4144 1463.03/1464.72 c fallback to adder encoding 1468.55/1470.24 o 4133 1468.55/1470.24 c fallback to adder encoding 1473.74/1475.48 o 4127 1473.74/1475.48 c fallback to adder encoding 1478.73/1480.48 o 4126 1478.73/1480.48 c fallback to adder encoding 1485.45/1487.14 o 4121 1485.45/1487.14 c fallback to adder encoding 1492.71/1494.42 o 4120 1492.71/1494.42 c fallback to adder encoding 1500.89/1502.61 o 4118 1500.89/1502.61 c fallback to adder encoding 1510.48/1512.22 o 4117 1510.48/1512.22 c fallback to adder encoding 1517.45/1519.20 o 4104 1517.45/1519.20 c fallback to adder encoding 1524.08/1525.87 o 4096 1524.08/1525.87 c fallback to adder encoding 1527.87/1529.67 o 4081 1527.87/1529.67 c fallback to adder encoding 1532.48/1534.28 o 4080 1532.48/1534.28 c fallback to adder encoding 1536.27/1538.09 o 4072 1536.27/1538.09 c fallback to adder encoding 1539.86/1541.68 o 4048 1539.86/1541.68 c fallback to adder encoding 1543.54/1545.34 o 4045 1543.54/1545.34 c fallback to adder encoding 1549.25/1551.04 o 4038 1549.25/1551.04 c fallback to adder encoding 1552.33/1554.13 o 4029 1552.33/1554.13 c fallback to adder encoding 1557.44/1559.26 o 4024 1557.44/1559.26 c fallback to adder encoding 1564.92/1566.78 o 4017 1564.92/1566.78 c fallback to adder encoding 1570.82/1572.68 o 4010 1570.82/1572.68 c fallback to adder encoding 1573.92/1575.78 o 3993 1573.92/1575.78 c fallback to adder encoding 1576.70/1578.52 o 3982 1576.70/1578.52 c fallback to adder encoding 1582.28/1584.11 o 3975 1582.28/1584.11 c fallback to adder encoding 1587.97/1589.80 o 3968 1587.97/1589.80 c fallback to adder encoding 1591.69/1593.53 o 3967 1591.69/1593.53 c fallback to adder encoding 1596.17/1598.06 o 3966 1596.17/1598.06 c fallback to adder encoding 1599.26/1601.13 o 3962 1599.26/1601.13 c fallback to adder encoding 1601.64/1603.50 o 3961 1601.64/1603.50 c fallback to adder encoding 1605.97/1607.87 o 3955 1605.97/1607.87 c fallback to adder encoding 1611.75/1613.62 o 3951 1611.75/1613.62 c fallback to adder encoding 1616.62/1618.52 o 3949 1616.62/1618.52 c fallback to adder encoding 1621.64/1623.57 o 3946 1621.64/1623.57 c fallback to adder encoding 1630.50/1632.43 o 3938 1630.50/1632.43 c fallback to adder encoding 1637.57/1639.52 o 3931 1637.57/1639.52 c fallback to adder encoding 1641.47/1643.49 o 3925 1641.47/1643.49 c fallback to adder encoding 1647.35/1649.39 o 3916 1647.35/1649.39 c fallback to adder encoding 1650.43/1652.41 o 3915 1650.43/1652.41 c fallback to adder encoding 1654.74/1656.71 o 3914 1654.74/1656.71 c fallback to adder encoding 1659.91/1661.99 o 3910 1659.91/1661.99 c fallback to adder encoding 1663.58/1665.61 o 3906 1663.58/1665.61 c fallback to adder encoding 1670.07/1672.11 o 3895 1670.07/1672.11 c fallback to adder encoding 1674.89/1676.96 o 3890 1674.89/1676.96 c fallback to adder encoding 1680.49/1682.56 o 3889 1680.49/1682.56 c fallback to adder encoding 1688.26/1690.32 o 3859 1688.26/1690.32 c fallback to adder encoding 1699.24/1701.30 o 3847 1699.24/1701.30 c fallback to adder encoding 1704.16/1706.29 o 3843 1704.16/1706.29 c fallback to adder encoding 1717.76/1719.89 o 3776 1717.76/1719.89 c fallback to adder encoding 1724.55/1726.63 o 3773 1724.55/1726.63 c fallback to adder encoding 1729.83/1731.92 o 3767 1729.83/1731.92 c fallback to adder encoding 1735.64/1737.75 o 3708 1735.64/1737.75 c fallback to adder encoding 1739.93/1742.02 o 3703 1739.93/1742.02 c fallback to adder encoding 1745.35/1747.40 o 3692 1745.35/1747.40 c fallback to adder encoding 1750.24/1752.39 o 3687 1750.24/1752.39 c fallback to adder encoding 1757.11/1759.22 o 3680 1757.11/1759.22 c fallback to adder encoding 1762.72/1764.84 o 3671 1762.72/1764.84 c fallback to adder encoding 1765.92/1768.07 o 3665 1765.92/1768.07 c fallback to adder encoding 1769.69/1771.86 o 3664 1769.69/1771.86 c fallback to adder encoding 1778.09/1780.25 o 3608 1778.09/1780.25 c fallback to adder encoding 1788.60/1790.75 o 3593 1788.60/1790.75 c fallback to adder encoding 1789.67/1791.92 ./satsolver.sh: line 5: 31434 Terminated ./glucose $1 > $2 2> /dev/null 1789.67/1791.92 c error: unexpected solver exit code 1789.67/1791.92 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715120-1338225086/watcher-3715120-1338225086 -o /tmp/evaluation-result-3715120-1338225086/solver-3715120-1338225086 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715120-1338225086.wbo 1387369524 HOME HOME running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.97 1.98 3/179 27052 /proc/meminfo: memFree=29768456/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [startup+0.076413 s] /proc/loadavg: 2.00 1.97 1.98 3/179 27052 /proc/meminfo: memFree=29768456/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100222 s] /proc/loadavg: 2.00 1.97 1.98 3/179 27052 /proc/meminfo: memFree=29768456/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300274 s] /proc/loadavg: 2.00 1.97 1.98 3/179 27052 /proc/meminfo: memFree=29768456/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700196 s] /proc/loadavg: 2.00 1.97 1.98 3/179 27052 /proc/meminfo: memFree=29768456/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50035 s] /proc/loadavg: 2.00 1.97 1.98 3/182 27066 /proc/meminfo: memFree=29742944/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11304 CPUtime=0.12 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 2883 5610 0 0 9 0 2 1 20 0 1 0 288632971 11575296 1727 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27053/statm: 2826 1727 165 439 0 2383 0 [pid=27065] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27065/stat : 27065 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288632985 9367552 267 33554432000 4194304 5064252 140733417823648 140733417822560 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27065/statm: 2287 267 226 213 0 72 0 [pid=27066] ppid=27065 vsize=17696 CPUtime=1.34 cores=0,2,4,6 /proc/27066/stat : 27066 (glucose) R 27065 27052 12592 0 -1 4202496 3682 0 0 0 134 0 0 0 20 0 1 0 288632986 18120704 3581 33554432000 4194304 5208918 140737054656608 140737054654456 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27066/statm: 4424 3581 105 248 0 4173 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 47296 [startup+3.10039 s] /proc/loadavg: 2.00 1.97 1.98 3/182 27066 /proc/meminfo: memFree=29740836/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11304 CPUtime=0.12 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 2883 5610 0 0 9 0 2 1 20 0 1 0 288632971 11575296 1727 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27053/statm: 2826 1727 165 439 0 2383 0 [pid=27065] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27065/stat : 27065 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288632985 9367552 267 33554432000 4194304 5064252 140733417823648 140733417822560 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27065/statm: 2287 267 226 213 0 72 0 [pid=27066] ppid=27065 vsize=18252 CPUtime=2.94 cores=0,2,4,6 /proc/27066/stat : 27066 (glucose) R 27065 27052 12592 0 -1 4202496 4142 0 0 0 294 0 0 0 20 0 1 0 288632986 18690048 4031 33554432000 4194304 5208918 140737054656608 140737054654568 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27066/statm: 4563 4031 105 248 0 4312 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 47852 [startup+6.30032 s] /proc/loadavg: 2.08 1.99 1.98 3/182 27073 /proc/meminfo: memFree=29751940/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11300 CPUtime=6.27 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) R 27052 27052 12592 0 -1 4202496 4527 13248 0 0 13 1 609 4 20 0 1 0 288632971 11571200 2338 33554432000 4194304 5990268 140737433892832 140737433884832 4523175 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27053/statm: 2825 2338 166 439 0 2382 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 20448 [startup+12.7004 s] /proc/loadavg: 2.07 1.99 1.98 3/183 27088 /proc/meminfo: memFree=29729596/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=6.3 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 5043 13248 0 0 16 1 609 4 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=27080] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27080/stat : 27080 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288633605 9367552 267 33554432000 4194304 5064252 140734664104256 140734664103168 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27080/statm: 2287 267 226 213 0 72 0 [pid=27081] ppid=27080 vsize=18824 CPUtime=6.35 cores=0,2,4,6 /proc/27081/stat : 27081 (glucose) R 27080 27052 12592 0 -1 4202496 4448 0 0 0 634 1 0 0 20 0 1 0 288633605 19275776 4187 33554432000 4194304 5208918 140734424373888 140734424371640 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27081/statm: 4706 4187 105 248 0 4455 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 56612 [startup+25.5004 s] /proc/loadavg: 2.20 2.02 1.99 3/183 27109 /proc/meminfo: memFree=29719400/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=18.42 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 9359 29584 0 0 31 3 1796 12 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=27108] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27108/stat : 27108 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288634816 9367552 267 33554432000 4194304 5064252 140733584692320 140733584691232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27108/statm: 2287 267 226 213 0 72 0 [pid=27109] ppid=27108 vsize=25908 CPUtime=7.04 cores=0,2,4,6 /proc/27109/stat : 27109 (glucose) R 27108 27052 12592 0 -1 4202496 5667 0 0 0 703 1 0 0 20 0 1 0 288634816 26529792 5511 33554432000 4194304 5208918 140734141365072 140734141363016 4211599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27109/statm: 6477 5511 105 248 0 6226 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 63696 [startup+51.1004 s] /proc/loadavg: 2.13 2.02 1.99 3/183 27158 /proc/meminfo: memFree=29734464/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=47.78 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 17993 62866 0 0 59 8 4681 30 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=27157] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27157/stat : 27157 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288637757 9367552 267 33554432000 4194304 5064252 140734115140640 140734115139552 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27157/statm: 2287 267 226 213 0 72 0 [pid=27158] ppid=27157 vsize=21116 CPUtime=3.22 cores=0,2,4,6 /proc/27158/stat : 27158 (glucose) R 27157 27052 12592 0 -1 4202496 4273 0 0 0 322 0 0 0 20 0 1 0 288637757 21622784 4159 33554432000 4194304 5208918 140735313233200 140735313230952 4211620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27158/statm: 5279 4159 105 248 0 5028 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 58904 [startup+102.307 s] /proc/loadavg: 2.06 2.01 1.99 3/183 27256 /proc/meminfo: memFree=29734736/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=100.66 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 35262 129313 0 0 111 16 9875 64 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=27255] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27255/stat : 27255 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643048 9367552 267 33554432000 4194304 5064252 140734821496992 140734821495904 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27255/statm: 2287 267 226 213 0 72 0 [pid=27256] ppid=27255 vsize=18108 CPUtime=1.52 cores=0,2,4,6 /proc/27256/stat : 27256 (glucose) R 27255 27052 12592 0 -1 4202496 4055 0 0 0 152 0 0 0 20 0 1 0 288643049 18542592 3903 33554432000 4194304 5208918 140734831654000 140734831651752 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 4527 3903 105 248 0 4276 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 55896 [startup+162.3 s] /proc/loadavg: 2.05 2.02 2.00 3/181 27359 /proc/meminfo: memFree=29764344/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=156.46 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 50372 186725 0 0 157 24 15371 94 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=27353] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27353/stat : 27353 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288648630 9367552 267 33554432000 4194304 5064252 140736731912336 140736731911248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27353/statm: 2287 267 226 213 0 72 0 [pid=27354] ppid=27353 vsize=25688 CPUtime=5.7 cores=0,2,4,6 /proc/27354/stat : 27354 (glucose) R 27353 27052 12592 0 -1 4202496 5000 0 0 0 569 1 0 0 20 0 1 0 288648630 26304512 5764 33554432000 4194304 5208918 140734954595872 140734954592184 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/27354/statm: 6422 5764 105 248 0 6171 0 Current children cumulated CPU time (s) 162.16 ################ # More data... # ################ /proc/meminfo: memFree=29746360/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=1357.79 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 464854 1745687 0 0 1425 224 133248 882 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=29981] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29981/stat : 29981 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288768901 9367552 267 33554432000 4194304 5064252 140735711172128 140735711171040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/29981/statm: 2287 267 226 213 0 72 0 [pid=29982] ppid=29981 vsize=18112 CPUtime=2.98 cores=0,2,4,6 /proc/29982/stat : 29982 (glucose) R 29981 27052 12592 0 -1 4202496 4087 0 0 0 298 0 0 0 20 0 1 0 288768901 18546688 3964 33554432000 4194304 5208918 140737387318208 140737387314584 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/29982/statm: 4528 3964 105 248 0 4277 0 Current children cumulated CPU time (s) 1360.77 Current children cumulated vsize (KiB) 55900 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/183 30101 /proc/meminfo: memFree=29733024/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=1416.31 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 482123 1814605 0 0 1478 233 139006 914 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=30100] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30100/stat : 30100 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288774758 9367552 266 33554432000 4194304 5064252 140734731854464 140734731853376 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30100/statm: 2287 266 226 213 0 72 0 [pid=30101] ppid=30100 vsize=21048 CPUtime=4.41 cores=0,2,4,6 /proc/30101/stat : 30101 (glucose) R 30100 27052 12592 0 -1 4202496 4331 0 0 0 441 0 0 0 20 0 1 0 288774758 21553152 4701 33554432000 4194304 5208918 140734847652656 140734847650504 4229299 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30101/statm: 5262 4701 105 248 0 5011 0 Current children cumulated CPU time (s) 1420.72 Current children cumulated vsize (KiB) 58836 [startup+1482.3 s] /proc/loadavg: 1.97 1.98 1.99 4/183 30400 /proc/meminfo: memFree=29760636/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=19492 CPUtime=1478.91 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 503710 1895758 0 0 1543 244 145154 950 20 0 1 0 288632971 19959808 3874 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0 /proc/27053/statm: 4873 3874 166 439 0 4430 0 [pid=30399] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30399/stat : 30399 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288781027 9367552 267 33554432000 4194304 5064252 140736343876592 140736343875504 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30399/statm: 2287 267 226 213 0 72 0 [pid=30400] ppid=30399 vsize=17704 CPUtime=1.72 cores=0,2,4,6 /proc/30400/stat : 30400 (glucose) R 30399 27052 12592 0 -1 4202496 3764 0 0 0 172 0 0 0 20 0 1 0 288781027 18128896 3642 33554432000 4194304 5208918 140737065405664 140737065403512 4211635 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30400/statm: 4426 3642 104 248 0 4175 0 Current children cumulated CPU time (s) 1480.63 Current children cumulated vsize (KiB) 55492 [startup+1542.3 s] /proc/loadavg: 1.99 1.98 1.99 4/183 30534 /proc/meminfo: memFree=29764308/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11300 CPUtime=1540.01 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 522900 1978621 0 0 1604 253 151155 989 20 0 1 0 288632971 11571200 2374 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0 /proc/27053/statm: 2825 2374 166 439 0 2382 0 [pid=30533] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30533/stat : 30533 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288787146 9367552 266 33554432000 4194304 5064252 140736938373920 140736938372832 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30533/statm: 2287 266 226 213 0 72 0 [pid=30534] ppid=30533 vsize=16288 CPUtime=0.53 cores=0,2,4,6 /proc/30534/stat : 30534 (glucose) R 30533 27052 12592 0 -1 4202496 3354 0 0 0 53 0 0 0 20 0 1 0 288787146 16678912 3348 33554432000 4194304 5208918 140735677870752 140735677868600 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30534/statm: 4072 3348 104 248 0 3821 0 Current children cumulated CPU time (s) 1540.54 Current children cumulated vsize (KiB) 45884 [startup+1602.3 s] /proc/loadavg: 1.94 1.97 1.99 3/183 30681 /proc/meminfo: memFree=29759336/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11300 CPUtime=1599.39 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 544725 2083013 0 0 1682 261 156959 1037 20 0 1 0 288632971 11571200 2374 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0 /proc/27053/statm: 2825 2374 166 439 0 2382 0 [pid=30680] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30680/stat : 30680 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288793091 9367552 267 33554432000 4194304 5064252 140734080149296 140734080148208 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30680/statm: 2287 267 226 213 0 72 0 [pid=30681] ppid=30680 vsize=16432 CPUtime=1.09 cores=0,2,4,6 /proc/30681/stat : 30681 (glucose) R 30680 27052 12592 0 -1 4202496 3419 0 0 0 108 1 0 0 20 0 1 0 288793091 16826368 3411 33554432000 4194304 5208918 140737407881600 140737407879448 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30681/statm: 4108 3411 105 248 0 3857 0 Current children cumulated CPU time (s) 1600.48 Current children cumulated vsize (KiB) 46028 [startup+1662.3 s] /proc/loadavg: 1.98 1.97 1.99 4/181 30805 /proc/meminfo: memFree=29781988/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11300 CPUtime=1660.08 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 564869 2179865 0 0 1754 269 162905 1080 20 0 1 0 288632971 11571200 2374 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 12 0 0 /proc/27053/statm: 2825 2374 166 439 0 2382 0 Current children cumulated CPU time (s) 1660.08 Current children cumulated vsize (KiB) 20448 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 1.99 3/184 30929 /proc/meminfo: memFree=29775164/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11300 CPUtime=1717.92 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 578298 2249155 0 0 1802 273 168604 1113 20 0 1 0 288632971 11571200 2374 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 12 0 0 /proc/27053/statm: 2825 2374 166 439 0 2382 0 [pid=30921] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30921/stat : 30921 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288804966 9367552 266 33554432000 4194304 5064252 140733989978160 140733989977072 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30921/statm: 2287 266 226 213 0 72 0 [pid=30922] ppid=30921 vsize=16696 CPUtime=2.33 cores=0,2,4,6 /proc/30922/stat : 30922 (glucose) R 30921 27052 12592 0 -1 4202496 4176 0 0 0 233 0 0 0 20 0 1 0 288804967 17096704 3563 33554432000 4194304 5208918 140736532045536 140736532043384 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30922/statm: 4174 3563 105 248 0 3923 0 Current children cumulated CPU time (s) 1720.25 Current children cumulated vsize (KiB) 46292 [startup+1782.3 s] /proc/loadavg: 1.99 1.97 1.99 3/183 31420 /proc/meminfo: memFree=29747212/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11300 CPUtime=1778.23 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 596766 2339005 0 0 1868 281 174520 1154 20 0 1 0 288632971 11571200 2374 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 12 0 0 /proc/27053/statm: 2825 2374 166 439 0 2382 0 [pid=31419] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31419/stat : 31419 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288811003 9367552 266 33554432000 4194304 5064252 140735751551728 140735751550640 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/31419/statm: 2287 266 226 213 0 72 0 [pid=31420] ppid=31419 vsize=16816 CPUtime=1.96 cores=0,2,4,6 /proc/31420/stat : 31420 (glucose) R 31419 27052 12592 0 -1 4202496 3880 0 0 0 195 1 0 0 20 0 1 0 288811003 17219584 3657 33554432000 4194304 5208918 140734681984992 140734681982840 4211182 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/31420/statm: 4204 3657 105 248 0 3953 0 Current children cumulated CPU time (s) 1780.19 Current children cumulated vsize (KiB) 46412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.8 s] /proc/loadavg: 1.99 1.97 1.99 4/183 31434 /proc/meminfo: memFree=29760468/32873844 swapFree=7628/7628 [pid=27052] ppid=27050 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27052/stat : 27052 (npSolver-wbo-It) S 27050 27052 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288632971 9367552 275 33554432000 4194304 5064252 140734276208128 140734276207040 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27052/statm: 2287 275 233 213 0 72 0 [pid=27053] ppid=27052 vsize=11300 CPUtime=1788.7 cores=0,2,4,6 /proc/27053/stat : 27053 (npSolver-wbo) S 27052 27052 12592 0 -1 4202496 598444 2348879 0 0 1873 281 175557 1159 20 0 1 0 288632971 11571200 2374 33554432000 4194304 5990268 140737433892832 140737433884256 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 12 0 0 /proc/27053/statm: 2825 2374 166 439 0 2382 0 [pid=31433] ppid=27053 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31433/stat : 31433 (satsolver.sh) S 27053 27052 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288812053 9367552 266 33554432000 4194304 5064252 140735127469184 140735127468096 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/31433/statm: 2287 266 226 213 0 72 0 [pid=31434] ppid=31433 vsize=16588 CPUtime=0.97 cores=0,2,4,6 /proc/31434/stat : 31434 (glucose) R 31433 27052 12592 0 -1 4202496 4086 0 0 0 96 1 0 0 20 0 1 0 288812053 16986112 3473 33554432000 4194304 5208918 140736626532464 140736626530424 4211122 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/31434/statm: 4147 3473 105 248 0 3896 0 Current children cumulated CPU time (s) 1789.67 Current children cumulated vsize (KiB) 46184 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 11.22 # lost CPU user time (s): 11.21 # lost CPU system time (s): 0.0100002 Real time (s): 1791.94 CPU time (s): 1801.05 CPU user time (s): 1786.61 CPU system time (s): 14.4368 CPU usage (%): 100.508 Max. virtual memory (cumulated for all children) (KiB): 75300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.4 system time used= 14.4268 maximum resident set size= 34504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2952437 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2471056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13345 involuntary context switches= 6168 runsolver used 2.82357 second user time and 7.30989 second system time The end
Begin job on node145 at 2012-05-28 19:11:26 IDJOB=3715120 IDBENCH=79401 IDSOLVER=2296 FILE ID=node145/3715120-1338225086 RUNJOBID= node145-1338210676-15245 PBS_JOBID= 14624578 Free space on /tmp= 71544 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh15_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715120-1338225086/watcher-3715120-1338225086 -o /tmp/evaluation-result-3715120-1338225086/solver-3715120-1338225086 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715120-1338225086.wbo 1387369524 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb RANDOM SEED=1387369524 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29768472 kB Buffers: 354328 kB Cached: 1873204 kB SwapCached: 0 kB Active: 781364 kB Inactive: 1503528 kB Active(anon): 48340 kB Inactive(anon): 10912 kB Active(file): 733024 kB Inactive(file): 1492616 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13380 kB Writeback: 0 kB AnonPages: 180792 kB Mapped: 15444 kB Shmem: 200 kB Slab: 680728 kB SReclaimable: 121976 kB SUnreclaim: 558752 kB KernelStack: 1520 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 175848 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71536 MiB End job on node145 at 2012-05-28 19:41:18