Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown | OPTIMUM | 1778.58 | 1775.97 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo |
MD5SUM | f2d449aa8c80edec7a2d4cb4a780c49d |
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 | 333 |
Best CPU time to get the best result obtained on this benchmark | 0.117981 |
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 | 10 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
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.01 c run usual solver 0.00/0.06 o 4295 0.00/0.06 c fallback to adder encoding 7.36/7.45 o 4294 7.36/7.45 c fallback to adder encoding 14.38/14.45 o 4289 14.38/14.45 c fallback to adder encoding 17.06/17.15 o 4288 17.06/17.15 c fallback to adder encoding 20.47/20.56 o 4287 20.47/20.56 c fallback to adder encoding 26.06/26.19 o 4284 26.06/26.19 c fallback to adder encoding 29.03/29.12 o 4282 29.03/29.12 c fallback to adder encoding 32.97/33.05 o 4281 32.97/33.05 c fallback to adder encoding 42.06/42.13 o 4280 42.06/42.13 c fallback to adder encoding 47.76/47.88 o 4279 47.76/47.88 c fallback to adder encoding 55.66/55.75 o 4276 55.66/55.75 c fallback to adder encoding 60.05/60.15 o 4275 60.05/60.15 c fallback to adder encoding 64.46/64.56 o 4274 64.46/64.56 c fallback to adder encoding 67.45/67.53 o 4273 67.45/67.53 c fallback to adder encoding 72.85/72.98 o 4260 72.85/72.98 c fallback to adder encoding 78.46/78.55 o 4259 78.46/78.55 c fallback to adder encoding 85.86/85.95 o 4258 85.86/85.95 c fallback to adder encoding 91.05/91.15 o 4257 91.05/91.15 c fallback to adder encoding 97.86/97.95 o 4256 97.86/97.95 c fallback to adder encoding 104.44/104.59 o 4255 104.44/104.59 c fallback to adder encoding 109.51/109.62 o 4254 109.51/109.62 c fallback to adder encoding 117.53/117.65 o 4252 117.53/117.65 c fallback to adder encoding 122.12/122.27 o 4251 122.12/122.27 c fallback to adder encoding 131.62/131.73 o 4231 131.62/131.73 c fallback to adder encoding 138.10/138.20 o 4230 138.10/138.20 c fallback to adder encoding 148.84/148.90 o 4226 148.84/148.90 c fallback to adder encoding 162.29/162.41 o 4223 162.29/162.41 c fallback to adder encoding 167.30/167.47 o 4220 167.30/167.47 c fallback to adder encoding 171.62/171.79 o 4219 171.62/171.79 c fallback to adder encoding 177.19/177.32 o 4218 177.19/177.32 c fallback to adder encoding 180.60/180.77 o 4216 180.60/180.77 c fallback to adder encoding 185.40/185.58 o 4215 185.40/185.58 c fallback to adder encoding 192.69/192.83 o 4209 192.69/192.83 c fallback to adder encoding 196.19/196.39 o 4208 196.19/196.39 c fallback to adder encoding 198.49/198.63 o 4206 198.49/198.63 c fallback to adder encoding 206.59/206.71 o 4202 206.59/206.71 c fallback to adder encoding 211.49/211.64 o 4201 211.49/211.64 c fallback to adder encoding 216.88/217.08 o 4199 216.88/217.08 c fallback to adder encoding 222.57/222.70 o 4196 222.57/222.70 c fallback to adder encoding 230.86/231.08 o 4182 230.86/231.08 c fallback to adder encoding 236.26/236.50 o 4181 236.26/236.50 c fallback to adder encoding 246.33/246.51 o 4180 246.33/246.51 c fallback to adder encoding 255.13/255.33 o 4179 255.13/255.33 c fallback to adder encoding 260.34/260.59 o 4174 260.34/260.59 c fallback to adder encoding 263.74/263.94 o 4171 263.74/263.94 c fallback to adder encoding 270.20/270.40 o 4170 270.20/270.40 c fallback to adder encoding 278.13/278.38 o 4169 278.13/278.38 c fallback to adder encoding 283.43/283.65 o 4167 283.43/283.65 c fallback to adder encoding 290.93/291.13 o 4166 290.93/291.13 c fallback to adder encoding 295.83/296.05 o 4165 295.83/296.05 c fallback to adder encoding 301.72/301.92 o 4164 301.72/301.92 c fallback to adder encoding 305.60/305.81 o 4161 305.60/305.81 c fallback to adder encoding 312.94/313.18 o 4148 312.94/313.18 c fallback to adder encoding 319.51/319.72 o 4147 319.51/319.72 c fallback to adder encoding 324.43/324.64 o 4146 324.43/324.64 c fallback to adder encoding 331.49/331.72 o 4131 331.49/331.72 c fallback to adder encoding 339.22/339.45 o 4107 339.22/339.45 c fallback to adder encoding 342.22/342.49 o 4106 342.22/342.49 c fallback to adder encoding 351.01/351.27 o 4101 351.01/351.27 c fallback to adder encoding 357.51/357.73 o 4098 357.51/357.73 c fallback to adder encoding 362.32/362.58 o 4097 362.32/362.58 c fallback to adder encoding 372.09/372.32 o 4096 372.09/372.32 c fallback to adder encoding 377.61/377.83 o 4082 377.61/377.83 c fallback to adder encoding 382.19/382.42 o 4080 382.19/382.42 c fallback to adder encoding 386.81/387.08 o 4072 386.81/387.08 c fallback to adder encoding 395.71/395.93 o 4071 395.71/395.93 c fallback to adder encoding 398.38/398.61 o 4070 398.38/398.61 c fallback to adder encoding 404.91/405.10 o 4063 404.91/405.10 c fallback to adder encoding 412.08/412.31 o 4051 412.08/412.31 c fallback to adder encoding 416.01/416.29 o 4050 416.01/416.29 c fallback to adder encoding 419.91/420.14 o 4038 419.91/420.14 c fallback to adder encoding 426.18/426.43 o 4033 426.18/426.43 c fallback to adder encoding 444.48/444.73 o 4032 444.48/444.73 c fallback to adder encoding 448.18/448.44 o 4026 448.18/448.44 c fallback to adder encoding 453.39/453.60 o 4009 453.39/453.60 c fallback to adder encoding 456.88/457.12 o 3977 456.88/457.12 c fallback to adder encoding 459.78/460.06 o 3973 459.78/460.06 c fallback to adder encoding 466.94/467.21 o 3972 466.94/467.21 c fallback to adder encoding 471.44/471.70 o 3930 471.44/471.70 c fallback to adder encoding 473.97/474.36 o 3926 473.97/474.36 c fallback to adder encoding 479.30/479.66 o 3924 479.30/479.66 c fallback to adder encoding 482.68/483.03 o 3911 482.68/483.03 c fallback to adder encoding 488.68/489.08 o 3906 488.68/489.08 c fallback to adder encoding 501.29/501.60 o 3791 501.29/501.60 c fallback to adder encoding 505.38/505.76 o 3787 505.38/505.76 c fallback to adder encoding 510.66/511.03 o 3783 510.66/511.03 c fallback to adder encoding 513.48/513.85 o 3779 513.48/513.85 c fallback to adder encoding 517.16/517.56 o 3778 517.16/517.56 c fallback to adder encoding 525.86/526.29 o 3775 525.86/526.29 c fallback to adder encoding 533.77/534.15 o 3774 533.77/534.15 c fallback to adder encoding 539.67/540.10 o 3743 539.67/540.10 c fallback to adder encoding 545.63/546.01 o 3742 545.63/546.01 c fallback to adder encoding 549.64/550.02 o 3735 549.64/550.02 c fallback to adder encoding 555.23/555.62 o 3729 555.23/555.62 c fallback to adder encoding 559.26/559.69 o 3712 559.26/559.69 c fallback to adder encoding 563.45/563.84 o 3705 563.45/563.84 c fallback to adder encoding 568.05/568.48 o 3701 568.05/568.48 c fallback to adder encoding 571.03/571.54 o 3696 571.03/571.54 c fallback to adder encoding 573.71/574.22 o 3680 573.71/574.22 c fallback to adder encoding 577.13/577.64 o 3677 577.13/577.64 c fallback to adder encoding 580.93/581.49 o 3670 580.93/581.49 c fallback to adder encoding 585.93/586.50 o 3638 585.93/586.50 c fallback to adder encoding 595.13/595.64 o 3636 595.13/595.64 c fallback to adder encoding 597.52/598.06 o 3632 597.52/598.06 c fallback to adder encoding 601.22/601.75 o 3623 601.22/601.75 c fallback to adder encoding 606.31/606.83 o 3607 606.31/606.83 c fallback to adder encoding 609.71/610.23 o 3602 609.71/610.23 c fallback to adder encoding 616.32/616.89 o 3595 616.32/616.89 c fallback to adder encoding 629.09/629.61 o 3594 629.09/629.61 c fallback to adder encoding 639.39/639.92 o 3587 639.39/639.92 c fallback to adder encoding 647.01/647.54 o 3586 647.01/647.54 c fallback to adder encoding 655.26/655.80 o 3585 655.26/655.80 c fallback to adder encoding 664.90/665.46 o 3584 664.90/665.46 c fallback to adder encoding 668.59/669.16 o 3579 668.59/669.16 c fallback to adder encoding 674.30/674.85 o 3553 674.30/674.85 c fallback to adder encoding 683.07/683.62 o 3548 683.07/683.62 c fallback to adder encoding 687.25/687.81 o 3450 687.25/687.81 c fallback to adder encoding 694.69/695.25 o 3449 694.69/695.25 c fallback to adder encoding 701.49/702.04 o 3448 701.49/702.04 c fallback to adder encoding 707.67/708.29 o 3447 707.67/708.29 c fallback to adder encoding 715.58/716.19 o 3442 715.58/716.19 c fallback to adder encoding 719.17/719.78 o 3441 719.17/719.78 c fallback to adder encoding 721.88/722.46 o 3440 721.88/722.46 c fallback to adder encoding 731.22/731.80 o 3439 731.22/731.80 c fallback to adder encoding 738.02/738.61 o 3427 738.02/738.61 c fallback to adder encoding 744.95/745.57 o 3418 744.95/745.57 c fallback to adder encoding 748.74/749.33 o 3417 748.74/749.33 c fallback to adder encoding 753.32/753.93 o 3414 753.32/753.93 c fallback to adder encoding 761.75/762.35 o 3413 761.75/762.35 c fallback to adder encoding 768.54/769.18 o 3390 768.54/769.18 c fallback to adder encoding 772.52/773.13 o 1532 772.52/773.13 c fallback to adder encoding 785.61/786.22 o 1531 785.61/786.22 c fallback to adder encoding 788.81/789.43 o 1518 788.81/789.43 c fallback to adder encoding 791.72/792.36 o 1515 791.72/792.36 c fallback to adder encoding 796.12/796.78 o 1514 796.12/796.78 c fallback to adder encoding 801.23/801.84 o 1513 801.23/801.84 c fallback to adder encoding 810.32/810.95 o 1512 810.32/810.95 c fallback to adder encoding 813.00/813.62 o 1506 813.00/813.62 c fallback to adder encoding 819.62/820.26 o 1505 819.62/820.26 c fallback to adder encoding 824.02/824.66 o 1504 824.02/824.66 c fallback to adder encoding 827.63/828.25 o 1503 827.63/828.25 c fallback to adder encoding 831.40/832.02 o 1501 831.40/832.02 c fallback to adder encoding 836.30/836.92 o 1499 836.30/836.92 c fallback to adder encoding 836.42/841.45 o 1494 836.42/841.45 c fallback to adder encoding 848.89/849.52 o 1478 848.89/849.52 c fallback to adder encoding 852.51/853.18 o 1467 852.51/853.18 c fallback to adder encoding 856.71/857.32 o 1466 856.71/857.32 c fallback to adder encoding 861.87/862.50 o 1464 861.87/862.50 c fallback to adder encoding 867.89/868.52 o 1399 867.89/868.52 c fallback to adder encoding 869.81/870.46 o 1392 869.81/870.46 c fallback to adder encoding 876.51/877.19 o 1385 876.51/877.19 c fallback to adder encoding 882.09/882.72 o 1376 882.09/882.72 c fallback to adder encoding 885.69/886.37 o 1372 885.69/886.37 c fallback to adder encoding 892.19/892.85 o 1366 892.19/892.85 c fallback to adder encoding 897.30/897.98 o 1365 897.30/897.98 c fallback to adder encoding 901.19/901.82 o 1364 901.19/901.82 c fallback to adder encoding 904.37/905.02 o 1362 904.37/905.02 c fallback to adder encoding 910.51/911.15 o 1361 910.51/911.15 c fallback to adder encoding 917.28/917.97 o 1360 917.28/917.97 c fallback to adder encoding 921.57/922.21 o 1359 921.57/922.21 c fallback to adder encoding 925.28/925.93 o 1358 925.28/925.93 c fallback to adder encoding 930.88/931.59 o 1352 930.88/931.59 c fallback to adder encoding 941.36/942.02 o 1347 941.36/942.02 c fallback to adder encoding 945.19/945.88 o 1345 945.19/945.88 c fallback to adder encoding 949.08/949.78 o 1344 949.08/949.78 c fallback to adder encoding 952.99/953.67 o 1343 952.99/953.67 c fallback to adder encoding 956.17/956.83 o 1342 956.17/956.83 c fallback to adder encoding 959.87/960.57 o 1335 959.87/960.57 c fallback to adder encoding 964.07/964.76 o 1333 964.07/964.76 c fallback to adder encoding 971.37/972.05 o 1329 971.37/972.05 c fallback to adder encoding 976.86/977.53 o 1328 976.86/977.53 c fallback to adder encoding 982.14/982.83 o 1326 982.14/982.83 c fallback to adder encoding 985.84/986.59 o 1324 985.84/986.59 c fallback to adder encoding 991.12/991.83 o 1323 991.12/991.83 c fallback to adder encoding 995.20/995.92 o 1320 995.20/995.92 c fallback to adder encoding 999.52/1000.29 o 1319 999.52/1000.29 c fallback to adder encoding 1006.62/1007.41 o 1304 1006.62/1007.41 c fallback to adder encoding 1011.45/1012.25 o 1303 1011.45/1012.25 c fallback to adder encoding 1019.55/1020.34 o 1300 1019.55/1020.34 c fallback to adder encoding 1024.04/1024.84 o 1295 1024.04/1024.84 c fallback to adder encoding 1028.43/1029.25 o 1294 1028.43/1029.25 c fallback to adder encoding 1035.14/1035.95 o 1290 1035.14/1035.95 c fallback to adder encoding 1043.55/1044.30 o 1287 1043.55/1044.30 c fallback to adder encoding 1050.21/1051.01 o 1285 1050.21/1051.01 c fallback to adder encoding 1054.43/1055.25 o 1281 1054.43/1055.25 c fallback to adder encoding 1067.14/1067.90 o 1280 1067.14/1067.90 c fallback to adder encoding 1071.74/1072.54 o 1279 1071.74/1072.54 c fallback to adder encoding 1074.82/1075.66 o 1278 1074.82/1075.66 c fallback to adder encoding 1079.10/1079.90 o 1270 1079.10/1079.90 c fallback to adder encoding 1083.61/1084.46 o 1265 1083.61/1084.46 c fallback to adder encoding 1090.48/1091.30 o 1264 1090.48/1091.30 c fallback to adder encoding 1094.81/1095.67 o 1262 1094.81/1095.67 c fallback to adder encoding 1097.80/1098.65 o 1257 1097.80/1098.65 c fallback to adder encoding 1101.41/1102.24 o 1252 1101.41/1102.24 c fallback to adder encoding 1107.29/1108.13 o 1250 1107.29/1108.13 c fallback to adder encoding 1113.86/1114.71 o 1249 1113.86/1114.71 c fallback to adder encoding 1118.90/1119.73 o 1247 1118.90/1119.73 c fallback to adder encoding 1123.56/1124.42 o 1246 1123.56/1124.42 c fallback to adder encoding 1126.86/1127.79 o 1245 1126.86/1127.79 c fallback to adder encoding 1131.57/1132.42 o 1236 1131.57/1132.42 c fallback to adder encoding 1135.82/1136.75 o 1235 1135.82/1136.75 c fallback to adder encoding 1139.61/1140.52 o 1226 1139.61/1140.52 c fallback to adder encoding 1142.82/1143.73 o 1225 1142.82/1143.73 c fallback to adder encoding 1148.73/1149.64 o 1224 1148.73/1149.64 c fallback to adder encoding 1157.41/1158.32 o 1223 1157.41/1158.32 c fallback to adder encoding 1162.21/1163.19 o 1215 1162.21/1163.19 c fallback to adder encoding 1165.42/1166.38 o 1206 1165.42/1166.38 c fallback to adder encoding 1168.38/1169.31 o 1205 1168.38/1169.31 c fallback to adder encoding 1171.52/1172.46 o 1196 1171.52/1172.46 c fallback to adder encoding 1175.70/1176.62 o 1195 1175.70/1176.62 c fallback to adder encoding 1179.90/1180.82 o 1187 1179.90/1180.82 c fallback to adder encoding 1183.91/1184.86 o 1182 1183.91/1184.86 c fallback to adder encoding 1186.40/1187.33 o 1180 1186.40/1187.33 c fallback to adder encoding 1192.18/1193.15 o 1177 1192.18/1193.15 c fallback to adder encoding 1194.71/1195.70 o 1176 1194.71/1195.70 c fallback to adder encoding 1199.40/1200.37 o 1175 1199.40/1200.37 c fallback to adder encoding 1203.61/1204.57 o 1172 1203.61/1204.57 c fallback to adder encoding 1208.00/1208.98 o 1168 1208.00/1208.98 c fallback to adder encoding 1212.90/1213.84 o 1167 1212.90/1213.84 c fallback to adder encoding 1220.49/1221.46 o 1162 1220.49/1221.46 c fallback to adder encoding 1226.09/1227.07 o 1160 1226.09/1227.07 c fallback to adder encoding 1234.59/1235.59 o 1159 1234.59/1235.59 c fallback to adder encoding 1239.60/1240.50 o 1156 1239.60/1240.50 c fallback to adder encoding 1247.27/1248.29 o 1154 1247.27/1248.29 c fallback to adder encoding 1253.16/1254.17 o 1153 1253.16/1254.17 c fallback to adder encoding 1258.63/1259.60 o 1152 1258.63/1259.60 c fallback to adder encoding 1261.77/1262.74 o 1143 1261.77/1262.74 c fallback to adder encoding 1265.47/1266.40 o 1140 1265.47/1266.40 c fallback to adder encoding 1269.05/1270.05 o 1139 1269.05/1270.05 c fallback to adder encoding 1273.84/1274.83 o 1136 1273.84/1274.83 c fallback to adder encoding 1279.55/1280.58 o 1117 1279.55/1280.58 c fallback to adder encoding 1286.66/1287.64 o 1114 1286.66/1287.64 c fallback to adder encoding 1290.35/1291.38 o 1109 1290.35/1291.38 c fallback to adder encoding 1293.76/1294.75 o 1103 1293.76/1294.75 c fallback to adder encoding 1296.81/1297.81 o 1102 1296.81/1297.81 c fallback to adder encoding 1302.64/1303.66 o 1095 1302.64/1303.66 c fallback to adder encoding 1307.73/1308.77 o 1094 1307.73/1308.77 c fallback to adder encoding 1314.73/1315.78 o 1088 1314.73/1315.78 c fallback to adder encoding 1320.61/1321.61 o 1083 1320.61/1321.61 c fallback to adder encoding 1329.63/1330.69 o 1079 1329.63/1330.69 c fallback to adder encoding 1335.42/1336.45 o 1077 1335.42/1336.45 c fallback to adder encoding 1341.17/1342.22 o 1076 1341.17/1342.22 c fallback to adder encoding 1347.59/1348.64 o 1046 1347.59/1348.64 c fallback to adder encoding 1351.58/1352.66 o 1042 1351.58/1352.66 c fallback to adder encoding 1355.47/1356.55 o 1040 1355.47/1356.55 c fallback to adder encoding 1359.26/1360.31 o 1031 1359.26/1360.31 c fallback to adder encoding 1365.61/1366.71 o 1028 1365.61/1366.71 c fallback to adder encoding 1370.11/1371.22 o 1027 1370.11/1371.22 c fallback to adder encoding 1373.92/1375.02 o 1026 1373.92/1375.02 c fallback to adder encoding 1379.25/1380.32 o 1025 1379.25/1380.32 c fallback to adder encoding 1382.30/1383.43 o 1024 1382.30/1383.43 c fallback to adder encoding 1384.41/1385.53 o 1016 1384.41/1385.53 c fallback to adder encoding 1386.61/1387.79 o 1015 1386.61/1387.79 c fallback to adder encoding 1389.41/1390.59 o 1011 1389.41/1390.59 c fallback to adder encoding 1391.68/1392.86 o 1008 1391.68/1392.86 c fallback to adder encoding 1394.68/1395.87 o 1005 1394.68/1395.87 c fallback to adder encoding 1397.09/1398.26 o 1000 1397.09/1398.26 c fallback to adder encoding 1399.27/1400.44 o 997 1399.27/1400.44 c fallback to adder encoding 1402.67/1403.88 o 996 1402.67/1403.88 c fallback to adder encoding 1405.17/1406.32 o 995 1405.17/1406.32 c fallback to adder encoding 1410.08/1411.28 o 980 1410.08/1411.28 c fallback to adder encoding 1415.57/1416.76 o 979 1415.57/1416.76 c fallback to adder encoding 1418.66/1419.83 o 970 1418.66/1419.83 c fallback to adder encoding 1421.88/1423.03 o 969 1421.88/1423.03 c fallback to adder encoding 1423.94/1425.12 o 960 1423.94/1425.12 c fallback to adder encoding 1426.20/1427.40 o 951 1426.20/1427.40 c fallback to adder encoding 1430.57/1431.80 o 950 1430.57/1431.80 c fallback to adder encoding 1434.09/1435.36 o 947 1434.09/1435.36 c fallback to adder encoding 1440.99/1442.28 o 945 1440.99/1442.28 c fallback to adder encoding 1444.58/1445.80 o 942 1444.58/1445.80 c fallback to adder encoding 1448.38/1449.69 o 941 1448.38/1449.69 c fallback to adder encoding 1451.38/1452.61 o 940 1451.38/1452.61 c fallback to adder encoding 1455.50/1456.73 o 937 1455.50/1456.73 c fallback to adder encoding 1463.56/1464.81 o 936 1463.56/1464.81 c fallback to adder encoding 1466.20/1467.45 o 935 1466.20/1467.45 c fallback to adder encoding 1469.19/1470.46 o 934 1469.19/1470.46 c fallback to adder encoding 1473.60/1474.85 o 931 1473.60/1474.85 c fallback to adder encoding 1476.97/1478.20 o 929 1476.97/1478.20 c fallback to adder encoding 1479.08/1480.33 o 928 1479.08/1480.33 c fallback to adder encoding 1483.09/1484.34 o 927 1483.09/1484.34 c fallback to adder encoding 1486.58/1487.89 o 919 1486.58/1487.89 c fallback to adder encoding 1489.47/1490.74 o 918 1489.47/1490.74 c fallback to adder encoding 1502.15/1503.41 o 905 1502.15/1503.41 c fallback to adder encoding 1505.57/1506.84 o 904 1505.57/1506.84 c fallback to adder encoding 1509.56/1510.81 o 897 1509.56/1510.81 c fallback to adder encoding 1513.67/1514.97 o 874 1513.67/1514.97 c fallback to adder encoding 1516.77/1518.07 o 873 1516.77/1518.07 c fallback to adder encoding 1518.38/1519.66 o 866 1518.38/1519.66 c fallback to adder encoding 1520.27/1521.59 o 865 1520.27/1521.59 c fallback to adder encoding 1523.97/1525.29 o 864 1523.97/1525.29 c fallback to adder encoding 1525.37/1526.68 o 850 1525.37/1526.68 c fallback to adder encoding 1530.05/1531.34 o 849 1530.05/1531.34 c fallback to adder encoding 1537.04/1538.34 o 848 1537.04/1538.34 c fallback to adder encoding 1539.14/1540.48 o 847 1539.14/1540.48 c fallback to adder encoding 1540.96/1542.25 o 840 1540.96/1542.25 c fallback to adder encoding 1544.85/1546.11 o 836 1544.85/1546.11 c fallback to adder encoding 1549.43/1550.75 o 832 1549.43/1550.75 c fallback to adder encoding 1551.54/1552.85 o 830 1551.54/1552.85 c fallback to adder encoding 1556.31/1557.61 o 829 1556.31/1557.61 c fallback to adder encoding 1558.62/1559.91 o 826 1558.62/1559.91 c fallback to adder encoding 1562.41/1563.71 o 824 1562.41/1563.71 c fallback to adder encoding 1564.14/1565.45 o 823 1564.14/1565.45 c fallback to adder encoding 1570.02/1571.31 o 822 1570.02/1571.31 c fallback to adder encoding 1572.12/1573.48 o 821 1572.12/1573.48 c fallback to adder encoding 1575.74/1577.04 o 808 1575.74/1577.04 c fallback to adder encoding 1578.34/1579.63 o 807 1578.34/1579.63 c fallback to adder encoding 1580.53/1581.83 o 802 1580.53/1581.83 c fallback to adder encoding 1582.52/1583.82 o 800 1582.52/1583.82 c fallback to adder encoding 1584.72/1586.04 o 799 1584.72/1586.04 c fallback to adder encoding 1588.02/1589.31 o 798 1588.02/1589.31 c fallback to adder encoding 1590.53/1591.90 o 791 1590.53/1591.90 c fallback to adder encoding 1592.12/1593.47 o 790 1592.12/1593.47 c fallback to adder encoding 1595.63/1596.90 o 789 1595.63/1596.90 c fallback to adder encoding 1600.09/1601.40 o 783 1600.09/1601.40 c fallback to adder encoding 1603.09/1604.41 o 782 1603.09/1604.41 c fallback to adder encoding 1605.72/1607.08 o 781 1605.72/1607.08 c fallback to adder encoding 1609.02/1610.40 o 779 1609.02/1610.40 c fallback to adder encoding 1611.11/1612.41 o 778 1611.11/1612.41 c fallback to adder encoding 1613.80/1615.12 o 775 1613.80/1615.12 c fallback to adder encoding 1616.89/1618.24 o 774 1616.89/1618.24 c fallback to adder encoding 1624.30/1625.68 o 773 1624.30/1625.68 c fallback to adder encoding 1628.69/1630.07 o 772 1628.69/1630.07 c fallback to adder encoding 1631.20/1632.59 o 771 1631.20/1632.59 c fallback to adder encoding 1634.00/1635.36 o 770 1634.00/1635.36 c fallback to adder encoding 1639.31/1640.63 o 769 1639.31/1640.63 c fallback to adder encoding 1641.60/1642.94 o 766 1641.60/1642.94 c fallback to adder encoding 1642.90/1644.22 o 765 1642.90/1644.22 c fallback to adder encoding 1645.58/1646.90 o 760 1645.58/1646.90 c fallback to adder encoding 1646.58/1647.91 o 759 1646.58/1647.91 c fallback to adder encoding 1647.70/1649.06 o 755 1647.70/1649.06 c fallback to adder encoding 1649.59/1650.93 o 753 1649.59/1650.93 c fallback to adder encoding 1651.09/1652.43 o 729 1651.09/1652.43 c fallback to adder encoding 1653.39/1654.76 o 726 1653.39/1654.76 c fallback to adder encoding 1654.87/1656.21 o 724 1654.87/1656.21 c fallback to adder encoding 1656.07/1657.48 o 717 1656.07/1657.48 c fallback to adder encoding 1659.20/1660.69 o 716 1659.20/1660.69 c fallback to adder encoding 1660.72/1662.17 o 713 1660.72/1662.17 c fallback to adder encoding 1662.98/1664.40 o 712 1662.98/1664.40 c fallback to adder encoding 1664.38/1665.80 o 711 1664.38/1665.80 c fallback to adder encoding 1667.31/1668.75 o 709 1667.31/1668.75 c fallback to adder encoding 1669.08/1670.53 o 701 1669.08/1670.53 c fallback to adder encoding 1670.17/1671.65 o 696 1670.17/1671.65 c fallback to adder encoding 1671.68/1673.13 o 690 1671.68/1673.13 c fallback to adder encoding 1678.28/1679.72 o 688 1678.28/1679.72 c fallback to adder encoding 1679.29/1680.78 o 683 1679.29/1680.78 c fallback to adder encoding 1681.96/1683.48 o 682 1681.96/1683.48 c fallback to adder encoding 1684.64/1686.12 o 681 1684.64/1686.12 c fallback to adder encoding 1686.54/1688.09 o 674 1686.54/1688.09 c fallback to adder encoding 1688.56/1690.02 o 672 1688.56/1690.02 c fallback to adder encoding 1690.03/1691.50 o 671 1690.03/1691.50 c fallback to adder encoding 1691.45/1692.96 o 669 1691.45/1692.96 c fallback to adder encoding 1694.04/1695.57 o 668 1694.04/1695.57 c fallback to adder encoding 1696.05/1697.54 o 667 1696.05/1697.54 c fallback to adder encoding 1696.95/1698.43 o 665 1696.95/1698.43 c fallback to adder encoding 1698.94/1700.48 o 657 1698.94/1700.48 c fallback to adder encoding 1703.03/1704.50 o 656 1703.03/1704.50 c fallback to adder encoding 1704.74/1706.25 o 651 1704.74/1706.25 c fallback to adder encoding 1706.04/1707.56 o 650 1706.04/1707.56 c fallback to adder encoding 1707.84/1709.40 o 648 1707.84/1709.40 c fallback to adder encoding 1711.33/1712.88 o 647 1711.33/1712.88 c fallback to adder encoding 1712.42/1713.90 o 641 1712.42/1713.90 c fallback to adder encoding 1713.91/1715.40 o 640 1713.91/1715.40 c fallback to adder encoding 1716.02/1717.54 o 598 1716.02/1717.54 c fallback to adder encoding 1717.84/1719.39 o 593 1717.84/1719.39 c fallback to adder encoding 1717.96/1720.13 o 592 1717.96/1720.13 c fallback to adder encoding 1720.22/1721.70 o 590 1720.22/1721.70 c fallback to adder encoding 1721.24/1722.75 o 589 1721.24/1722.75 c fallback to adder encoding 1723.21/1724.72 o 585 1723.21/1724.72 c fallback to adder encoding 1726.69/1728.20 o 580 1726.69/1728.20 c fallback to adder encoding 1728.69/1730.27 o 577 1728.69/1730.27 c fallback to adder encoding 1730.18/1731.73 o 572 1730.18/1731.73 c fallback to adder encoding 1731.64/1733.20 o 571 1731.64/1733.20 c fallback to adder encoding 1732.24/1733.87 o 568 1732.24/1733.87 c fallback to adder encoding 1733.14/1734.77 o 549 1733.14/1734.77 c fallback to adder encoding 1733.24/1735.16 o 543 1733.24/1735.16 c fallback to adder encoding 1734.23/1735.87 o 536 1734.23/1735.87 c fallback to adder encoding 1736.44/1738.05 o 532 1736.44/1738.05 c fallback to adder encoding 1738.03/1739.61 o 513 1738.03/1739.61 c fallback to adder encoding 1740.33/1741.93 o 512 1740.33/1741.93 c fallback to adder encoding 1740.94/1742.59 o 510 1740.94/1742.59 c fallback to adder encoding 1741.53/1743.11 o 503 1741.53/1743.11 c fallback to adder encoding 1742.12/1743.76 o 502 1742.12/1743.76 c fallback to adder encoding 1743.04/1744.69 o 501 1743.04/1744.69 c fallback to adder encoding 1743.14/1745.25 o 500 1743.14/1745.25 c fallback to adder encoding 1744.02/1745.68 o 499 1744.02/1745.68 c fallback to adder encoding 1744.69/1746.31 o 498 1744.69/1746.31 c fallback to adder encoding 1745.40/1747.05 o 497 1745.40/1747.05 c fallback to adder encoding 1745.50/1747.75 o 488 1745.50/1747.75 c fallback to adder encoding 1746.71/1748.35 o 482 1746.71/1748.35 c fallback to adder encoding 1747.31/1748.99 o 481 1747.31/1748.99 c fallback to adder encoding 1747.43/1749.43 o 480 1747.43/1749.43 c fallback to adder encoding 1748.51/1750.11 o 479 1748.51/1750.11 c fallback to adder encoding 1749.29/1750.92 o 469 1749.29/1750.92 c fallback to adder encoding 1749.67/1751.37 o 467 1749.67/1751.37 c fallback to adder encoding 1750.69/1752.34 o 466 1750.69/1752.34 c fallback to adder encoding 1751.79/1753.46 o 452 1751.79/1753.46 c fallback to adder encoding 1752.17/1753.80 o 451 1752.17/1753.80 c fallback to adder encoding 1753.07/1754.73 o 450 1753.07/1754.73 c fallback to adder encoding 1753.58/1755.23 o 449 1753.58/1755.23 c fallback to adder encoding 1754.16/1755.86 o 448 1754.16/1755.86 c fallback to adder encoding 1754.25/1756.29 o 445 1754.25/1756.29 c fallback to adder encoding 1754.96/1756.69 o 440 1754.96/1756.69 c fallback to adder encoding 1755.08/1757.32 o 439 1755.08/1757.32 c fallback to adder encoding 1756.16/1757.81 o 438 1756.16/1757.81 c fallback to adder encoding 1756.94/1758.60 o 437 1756.94/1758.60 c fallback to adder encoding 1757.44/1759.13 o 422 1757.44/1759.13 c fallback to adder encoding 1757.84/1759.50 o 417 1757.84/1759.50 c fallback to adder encoding 1758.35/1760.07 o 412 1758.35/1760.07 c fallback to adder encoding 1758.46/1760.88 o 411 1758.46/1760.88 c fallback to adder encoding 1759.65/1761.33 o 410 1759.65/1761.33 c fallback to adder encoding 1760.64/1762.30 o 401 1760.64/1762.30 c fallback to adder encoding 1760.68/1762.89 o 394 1760.68/1762.89 c fallback to adder encoding 1761.84/1763.53 o 393 1761.84/1763.53 c fallback to adder encoding 1762.45/1764.11 o 392 1762.45/1764.11 c fallback to adder encoding 1763.15/1764.87 o 388 1763.15/1764.87 c fallback to adder encoding 1763.85/1765.58 o 387 1763.85/1765.58 c fallback to adder encoding 1764.73/1766.42 o 386 1764.73/1766.42 c fallback to adder encoding 1765.40/1767.16 o 377 1765.40/1767.16 c fallback to adder encoding 1765.90/1767.70 o 376 1765.90/1767.70 c fallback to adder encoding 1766.03/1768.25 o 375 1766.03/1768.25 c fallback to adder encoding 1766.59/1768.57 o 374 1766.59/1768.57 c fallback to adder encoding 1767.20/1768.98 o 369 1767.20/1768.98 c fallback to adder encoding 1767.71/1769.40 o 368 1767.71/1769.40 c fallback to adder encoding 1768.11/1769.81 o 365 1768.11/1769.81 c fallback to adder encoding 1768.14/1770.26 o 364 1768.14/1770.26 c fallback to adder encoding 1768.58/1770.69 o 363 1768.58/1770.69 c fallback to adder encoding 1769.41/1771.17 o 360 1769.41/1771.17 c fallback to adder encoding 1769.51/1771.64 o 353 1769.51/1771.64 c fallback to adder encoding 1769.98/1771.93 o 352 1769.98/1771.93 c fallback to adder encoding 1770.59/1772.30 o 351 1770.59/1772.30 c fallback to adder encoding 1770.64/1772.55 o 343 1770.64/1772.55 c fallback to adder encoding 1771.29/1773.01 o 342 1771.29/1773.01 c fallback to adder encoding 1771.60/1773.38 o 341 1771.60/1773.38 c fallback to adder encoding 1771.71/1773.72 o 340 1771.71/1773.72 c fallback to adder encoding 1772.04/1774.06 o 337 1772.04/1774.06 c fallback to adder encoding 1772.70/1774.42 o 336 1772.70/1774.42 c fallback to adder encoding 1773.09/1774.80 o 335 1773.09/1774.80 c fallback to adder encoding 1773.12/1775.17 o 334 1773.12/1775.17 c fallback to adder encoding 1773.79/1775.54 o 333 1773.79/1775.54 c fallback to adder encoding 1773.86/1775.97 c display solution 1773.86/1775.97 s OPTIMUM FOUND 1773.86/1775.97 v -x1 x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 -x25 x26 -x27 x28 -x29 x30 x31 -x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 -x41 x42 -x43 x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 -x89 x90 x91 -x92 x93 -x94 -x95 x96 -x97 x98 -x99 x100 -x101 x102 -x103 x104 -x105 x106 x107 -x108 x109 -x110 x111 -x112 -x113 x114 -x115 x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 -x125 x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 x153 -x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200
OK 333
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-3715115-1338226489/watcher-3715115-1338226489 -o /tmp/evaluation-result-3715115-1338226489/solver-3715115-1338226489 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715115-1338226489.wbo 1245906281 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: 1.97 1.99 1.99 3/179 13088 /proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [startup+0.090366 s] /proc/loadavg: 1.97 1.99 1.99 3/179 13088 /proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100274 s] /proc/loadavg: 1.97 1.99 1.99 3/179 13088 /proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300328 s] /proc/loadavg: 1.97 1.99 1.99 3/179 13088 /proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700281 s] /proc/loadavg: 1.97 1.99 1.99 3/179 13088 /proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50037 s] /proc/loadavg: 1.97 1.99 1.99 3/183 13102 /proc/meminfo: memFree=30343232/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11260 CPUtime=0.12 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 3090 6118 0 0 9 1 1 1 20 0 1 0 288773332 11530240 1930 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 2815 1930 165 439 0 2372 0 [pid=13101] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13101/stat : 13101 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288773346 9367552 267 33554432000 4194304 5064252 140733414614272 140733414613184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13101/statm: 2287 267 226 213 0 72 0 [pid=13102] ppid=13101 vsize=17700 CPUtime=1.34 cores=0,2,4,6 /proc/13102/stat : 13102 (glucose) R 13101 13088 26619 0 -1 4202496 3738 0 0 0 134 0 0 0 20 0 1 0 288773346 18124800 3616 33554432000 4194304 5208918 140736253144768 140736253142616 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13102/statm: 4425 3616 104 248 0 4174 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 47256 [startup+3.1004 s] /proc/loadavg: 1.97 1.99 1.99 3/183 13102 /proc/meminfo: memFree=30340892/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11260 CPUtime=0.12 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 3090 6118 0 0 9 1 1 1 20 0 1 0 288773332 11530240 1930 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 2815 1930 165 439 0 2372 0 [pid=13101] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13101/stat : 13101 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288773346 9367552 267 33554432000 4194304 5064252 140733414614272 140733414613184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13101/statm: 2287 267 226 213 0 72 0 [pid=13102] ppid=13101 vsize=18180 CPUtime=2.94 cores=0,2,4,6 /proc/13102/stat : 13102 (glucose) R 13101 13088 26619 0 -1 4202496 4377 0 0 0 294 0 0 0 20 0 1 0 288773346 18616320 3791 33554432000 4194304 5208918 140736253144768 140736253142728 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13102/statm: 4545 3791 105 248 0 4294 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 47736 [startup+6.30041 s] /proc/loadavg: 1.97 1.99 1.99 3/183 13116 /proc/meminfo: memFree=30333008/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11260 CPUtime=0.12 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 3090 6118 0 0 9 1 1 1 20 0 1 0 288773332 11530240 1930 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 2815 1930 165 439 0 2372 0 [pid=13101] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13101/stat : 13101 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288773346 9367552 267 33554432000 4194304 5064252 140733414614272 140733414613184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13101/statm: 2287 267 226 213 0 72 0 [pid=13102] ppid=13101 vsize=25392 CPUtime=6.15 cores=0,2,4,6 /proc/13102/stat : 13102 (glucose) R 13101 13088 26619 0 -1 4202496 5118 0 0 0 614 1 0 0 20 0 1 0 288773346 26001408 5553 33554432000 4194304 5208918 140736253144768 140736253142760 4211537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13102/statm: 6348 5553 105 248 0 6097 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 54948 [startup+12.7004 s] /proc/loadavg: 1.97 1.99 1.99 3/183 13130 /proc/meminfo: memFree=30327976/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=19444 CPUtime=7.52 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 5334 14479 0 0 16 2 729 5 20 0 1 0 288773332 19910656 3951 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 4861 3951 165 439 0 4418 0 [pid=13122] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13122/stat : 13122 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288774085 9367552 266 33554432000 4194304 5064252 140733265572432 140733265571344 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13122/statm: 2287 266 226 213 0 72 0 [pid=13123] ppid=13122 vsize=25376 CPUtime=5.15 cores=0,2,4,6 /proc/13123/stat : 13123 (glucose) R 13122 13088 26619 0 -1 4202496 5058 0 0 0 514 1 0 0 20 0 1 0 288774086 25985024 5430 33554432000 4194304 5208918 140733988227680 140733988225672 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13123/statm: 6344 5430 105 248 0 6093 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 63116 [startup+25.5004 s] /proc/loadavg: 1.98 1.99 1.99 3/183 13179 /proc/meminfo: memFree=30326232/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=19444 CPUtime=20.62 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 12067 38651 0 0 37 5 2004 16 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 4861 3952 166 439 0 4418 0 [pid=13178] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13178/stat : 13178 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288775396 9367552 267 33554432000 4194304 5064252 140736935298480 140736935297392 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13178/statm: 2287 267 226 213 0 72 0 [pid=13179] ppid=13178 vsize=25424 CPUtime=4.84 cores=0,2,4,6 /proc/13179/stat : 13179 (glucose) R 13178 13088 26619 0 -1 4202496 4386 0 0 0 483 1 0 0 20 0 1 0 288775397 26034176 5804 33554432000 4194304 5208918 140737359734624 140737359732616 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13179/statm: 6356 5804 105 248 0 6105 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 63164 [startup+51.1004 s] /proc/loadavg: 1.93 1.98 1.99 3/183 13277 /proc/meminfo: memFree=30333308/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=19444 CPUtime=47.93 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 23287 78450 0 0 73 11 4675 34 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 4861 3952 166 439 0 4418 0 [pid=13269] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13269/stat : 13269 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288778128 9367552 266 33554432000 4194304 5064252 140733374868400 140733374867312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13269/statm: 2287 266 226 213 0 72 0 [pid=13270] ppid=13269 vsize=18212 CPUtime=3.12 cores=0,2,4,6 /proc/13270/stat : 13270 (glucose) R 13269 13088 26619 0 -1 4202496 3932 0 0 0 312 0 0 0 20 0 1 0 288778128 18649088 3816 33554432000 4194304 5208918 140735984885776 140735984883624 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13270/statm: 4553 3816 105 248 0 4302 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 55952 [startup+102.307 s] /proc/loadavg: 1.93 1.96 1.98 3/183 13445 /proc/meminfo: memFree=30332604/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=19444 CPUtime=97.99 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 43483 149434 0 0 137 21 9574 67 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 4861 3952 166 439 0 4418 0 [pid=13437] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13437/stat : 13437 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288783135 9367552 267 33554432000 4194304 5064252 140735222122800 140735222121712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/13437/statm: 2287 267 226 213 0 72 0 [pid=13438] ppid=13437 vsize=21056 CPUtime=4.25 cores=0,2,4,6 /proc/13438/stat : 13438 (glucose) R 13437 13088 26619 0 -1 4202496 4388 0 0 0 425 0 0 0 20 0 1 0 288783136 21561344 4255 33554432000 4194304 5208918 140733811071680 140733811069528 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13438/statm: 5264 4255 105 248 0 5013 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 58796 [startup+162.3 s] /proc/loadavg: 2.05 1.99 1.99 3/183 13606 /proc/meminfo: memFree=30321336/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=19444 CPUtime=148.92 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 59191 207422 0 0 187 29 14582 94 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13089/statm: 4861 3952 166 439 0 4418 0 [pid=13584] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1541.06 Current children cumulated vsize (KiB) 20400 [startup+1602.3 s] /proc/loadavg: 1.17 1.13 1.40 2/175 17427 /proc/meminfo: memFree=30383364/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1600.18 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 574891 2427715 0 0 1795 219 156873 1131 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 [pid=17426] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17426/stat : 17426 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288933477 9367552 266 33554432000 4194304 5064252 140733791920208 140733791919120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17426/statm: 2287 266 226 213 0 72 0 [pid=17427] ppid=17426 vsize=12388 CPUtime=0.84 cores=0,2,4,6 /proc/17427/stat : 17427 (glucose) R 17426 13088 26619 0 -1 4202496 2888 0 0 0 84 0 0 0 20 0 1 0 288933477 12685312 2543 33554432000 4194304 5208918 140737295646656 140733791919144 4212919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17427/statm: 3097 2543 104 248 0 2846 0 Current children cumulated CPU time (s) 1601.02 Current children cumulated vsize (KiB) 41936 [startup+1662.3 s] /proc/loadavg: 1.06 1.10 1.37 2/174 17581 /proc/meminfo: memFree=30382860/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1660.82 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 614612 2578054 0 0 1885 229 162769 1199 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1660.82 Current children cumulated vsize (KiB) 20400 [startup+1722.3 s] /proc/loadavg: 1.06 1.09 1.35 2/174 17784 /proc/meminfo: memFree=30384216/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1720.29 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 657755 2756944 0 0 1983 240 168532 1274 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1720.29 Current children cumulated vsize (KiB) 20400 Solver just ended. Dumping a history of the last processes samples [startup+1740.7 s] /proc/loadavg: 1.04 1.09 1.34 2/174 17875 /proc/meminfo: memFree=30386092/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1738.08 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 670718 2825330 0 0 2015 243 170247 1303 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 [pid=17874] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17874/stat : 17874 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288947296 9367552 267 33554432000 4194304 5064252 140733459714192 140733459713104 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17874/statm: 2287 267 226 213 0 72 0 [pid=17875] ppid=17874 vsize=10188 CPUtime=1.05 cores=0,2,4,6 /proc/17875/stat : 17875 (glucose) R 17874 13088 26619 0 -1 4202496 2204 0 0 0 105 0 0 0 20 0 1 0 288947296 10432512 2037 33554432000 4194304 5208918 140733857670736 140733857668888 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17875/statm: 2547 2037 105 248 0 2296 0 Current children cumulated CPU time (s) 1739.13 Current children cumulated vsize (KiB) 39736 [startup+1753.5 s] /proc/loadavg: 1.03 1.08 1.34 2/174 17994 /proc/meminfo: memFree=30386448/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1751.88 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 688249 2919891 0 0 2054 248 171546 1340 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1751.88 Current children cumulated vsize (KiB) 20400 [startup+1766.3 s] /proc/loadavg: 1.03 1.08 1.33 2/174 18134 /proc/meminfo: memFree=30387200/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1763.95 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 706631 3026377 0 0 2092 252 172674 1377 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1763.95 Current children cumulated vsize (KiB) 20400 [startup+1772.7 s] /proc/loadavg: 1.02 1.08 1.33 2/174 18232 /proc/meminfo: memFree=30388572/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1770.87 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 716154 3101831 0 0 2116 255 173315 1401 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1770.87 Current children cumulated vsize (KiB) 20400 [startup+1774.31 s] /proc/loadavg: 1.02 1.08 1.33 2/174 18274 /proc/meminfo: memFree=30388012/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1772.37 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 718547 3121379 0 0 2122 256 173451 1408 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 [pid=18273] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18273/stat : 18273 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288950739 9367552 266 33554432000 4194304 5064252 140734941786000 140734941784912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18273/statm: 2287 266 226 213 0 72 0 [pid=18274] ppid=18273 vsize=6248 CPUtime=0.22 cores=0,2,4,6 /proc/18274/stat : 18274 (glucose) R 18273 13088 26619 0 -1 4202496 1652 0 0 0 22 0 0 0 20 0 1 0 288950739 6397952 1274 33554432000 4194304 5208918 140733742746944 140734941784936 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/18274/statm: 1562 1274 104 248 0 1311 0 Current children cumulated CPU time (s) 1772.59 Current children cumulated vsize (KiB) 35796 [startup+1775.1 s] /proc/loadavg: 1.02 1.08 1.33 2/174 18274 /proc/meminfo: memFree=30388012/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1773.12 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 719734 3131312 0 0 2125 257 173519 1411 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1773.12 Current children cumulated vsize (KiB) 20400 [startup+1775.5 s] /proc/loadavg: 1.02 1.08 1.33 2/174 18295 /proc/meminfo: memFree=30388136/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1773.49 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 720324 3136605 0 0 2126 257 173553 1413 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 [pid=18294] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18294/stat : 18294 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288950850 9367552 267 33554432000 4194304 5064252 140734379762720 140734379761632 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18294/statm: 2287 267 226 213 0 72 0 [pid=18295] ppid=18294 vsize=6324 CPUtime=0.3 cores=0,2,4,6 /proc/18295/stat : 18295 (glucose) R 18294 13088 26619 0 -1 4202496 1603 0 0 0 30 0 0 0 20 0 1 0 288950850 6475776 1278 33554432000 4194304 5208918 140736639678432 140736639676280 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/18295/statm: 1581 1278 104 248 0 1330 0 Current children cumulated CPU time (s) 1773.79 Current children cumulated vsize (KiB) 35872 [startup+1775.9 s] /proc/loadavg: 1.02 1.08 1.33 2/174 18295 /proc/meminfo: memFree=30388136/32873844 swapFree=7388/7388 [pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/13088/statm: 2287 275 233 213 0 72 0 [pid=13089] ppid=13088 vsize=11252 CPUtime=1773.86 cores=0,2,4,6 /proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 720914 3141631 0 0 2128 257 173587 1414 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0 /proc/13089/statm: 2813 2429 166 439 0 2370 0 Current children cumulated CPU time (s) 1773.86 Current children cumulated vsize (KiB) 20400 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): 4.28998 # lost CPU user time (s): 4.28998 # lost CPU system time (s): 0 Real time (s): 1775.97 CPU time (s): 1778.58 CPU user time (s): 1761.85 CPU system time (s): 16.7365 CPU usage (%): 100.147 Max. virtual memory (cumulated for all children) (KiB): 67692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757.56 system time used= 16.7365 maximum resident set size= 32352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3868686 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2769984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15194 involuntary context switches= 6979 runsolver used 4.42133 second user time and 9.30358 second system time The end
Begin job on node147 at 2012-05-28 19:34:49 IDJOB=3715115 IDBENCH=79426 IDSOLVER=2296 FILE ID=node147/3715115-1338226489 RUNJOBID= node147-1338192581-26635 PBS_JOBID= 14624579 Free space on /tmp= 71664 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh09_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715115-1338226489/watcher-3715115-1338226489 -o /tmp/evaluation-result-3715115-1338226489/solver-3715115-1338226489 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715115-1338226489.wbo 1245906281 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d RANDOM SEED=1245906281 node147.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 : 2666.951 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 : 5333.90 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 : 2666.951 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 : 2666.951 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 : 5331.87 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 : 2666.951 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 : 2666.951 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 : 2666.951 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 : 2666.951 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 : 2666.951 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30369636 kB Buffers: 389212 kB Cached: 1254840 kB SwapCached: 5068 kB Active: 694084 kB Inactive: 982392 kB Active(anon): 26516 kB Inactive(anon): 7584 kB Active(file): 667568 kB Inactive(file): 974808 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67098668 kB Dirty: 12260 kB Writeback: 0 kB AnonPages: 41424 kB Mapped: 10436 kB Shmem: 0 kB Slab: 687660 kB SReclaimable: 127944 kB SUnreclaim: 559716 kB KernelStack: 1544 kB PageTables: 3904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 153632 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 71668 MiB End job on node147 at 2012-05-28 20:04:25