Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topDown (fixed) | ? (TO) | 1800.04 | 1798.31 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo |
MD5SUM | b50e414b5ae2abd5c7b876bc50645ba2 |
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 | 259 |
Best CPU time to get the best result obtained on this benchmark | 0.016996 |
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 | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
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 | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
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.05 o 8710 0.00/0.05 c fallback to adder encoding 8.01/8.11 o 8709 8.01/8.11 c fallback to adder encoding 25.44/25.54 o 8708 25.44/25.54 c fallback to adder encoding 31.77/31.81 o 8707 31.77/31.81 c fallback to adder encoding 37.41/37.52 o 8640 37.41/37.52 c fallback to adder encoding 46.89/47.00 o 8627 46.89/47.00 c fallback to adder encoding 54.06/54.18 o 8624 54.06/54.18 c fallback to adder encoding 58.23/58.33 o 8623 58.23/58.33 c fallback to adder encoding 67.45/67.56 o 8614 67.45/67.56 c fallback to adder encoding 73.66/73.79 o 8607 73.66/73.79 c fallback to adder encoding 83.85/83.96 o 8606 83.85/83.96 c fallback to adder encoding 94.15/94.26 o 8597 94.15/94.26 c fallback to adder encoding 102.15/102.28 o 8592 102.15/102.28 c fallback to adder encoding 115.40/115.54 o 8591 115.40/115.54 c fallback to adder encoding 119.30/119.42 o 8583 119.30/119.42 c fallback to adder encoding 125.35/125.40 o 8582 125.35/125.40 c fallback to adder encoding 129.37/129.50 o 8535 129.37/129.50 c fallback to adder encoding 134.93/135.08 o 8525 134.93/135.08 c fallback to adder encoding 139.01/139.15 o 8504 139.01/139.15 c fallback to adder encoding 144.34/144.47 o 8502 144.34/144.47 c fallback to adder encoding 148.94/149.07 o 8498 148.94/149.07 c fallback to adder encoding 153.63/153.79 o 8493 153.63/153.79 c fallback to adder encoding 160.01/160.15 o 8484 160.01/160.15 c fallback to adder encoding 165.58/165.71 o 8473 165.58/165.71 c fallback to adder encoding 167.71/167.85 o 8466 167.71/167.85 c fallback to adder encoding 175.49/175.63 o 8460 175.49/175.63 c fallback to adder encoding 188.28/188.43 o 8457 188.28/188.43 c fallback to adder encoding 192.13/192.20 o 8456 192.13/192.20 c fallback to adder encoding 194.64/194.78 o 8455 194.64/194.78 c fallback to adder encoding 198.12/198.37 o 8426 198.12/198.37 c fallback to adder encoding 202.30/202.55 o 8421 202.30/202.55 c fallback to adder encoding 205.68/205.93 o 8412 205.68/205.93 c fallback to adder encoding 209.72/209.90 o 8316 209.72/209.90 c fallback to adder encoding 211.80/212.05 o 8315 211.80/212.05 c fallback to adder encoding 215.88/216.14 o 8312 215.88/216.14 c fallback to adder encoding 220.81/221.06 o 8304 220.81/221.06 c fallback to adder encoding 227.90/228.19 o 8299 227.90/228.19 c fallback to adder encoding 234.01/234.29 o 8291 234.01/234.29 c fallback to adder encoding 236.57/236.83 o 8286 236.57/236.83 c fallback to adder encoding 239.77/240.03 o 8279 239.77/240.03 c fallback to adder encoding 243.78/244.05 o 8278 243.78/244.05 c fallback to adder encoding 249.87/250.12 o 8269 249.87/250.12 c fallback to adder encoding 253.56/253.81 o 8267 253.56/253.81 c fallback to adder encoding 258.91/259.11 o 8265 258.91/259.11 c fallback to adder encoding 262.00/262.28 o 8264 262.00/262.28 c fallback to adder encoding 268.20/268.49 o 8263 268.20/268.49 c fallback to adder encoding 269.20/269.48 o 8245 269.20/269.48 c fallback to adder encoding 271.56/271.84 o 8240 271.56/271.84 c fallback to adder encoding 274.81/275.09 o 8239 274.81/275.09 c fallback to adder encoding 282.26/282.53 o 8224 282.26/282.53 c fallback to adder encoding 286.05/286.32 o 8112 286.05/286.32 c fallback to adder encoding 288.49/288.75 o 8108 288.49/288.75 c fallback to adder encoding 294.13/294.40 o 8106 294.13/294.40 c fallback to adder encoding 301.89/302.16 o 8090 301.89/302.16 c fallback to adder encoding 304.99/305.28 o 7952 304.99/305.28 c fallback to adder encoding 308.38/308.66 o 7951 308.38/308.66 c fallback to adder encoding 311.99/312.20 o 7934 311.99/312.20 c fallback to adder encoding 314.57/314.84 o 7912 314.57/314.84 c fallback to adder encoding 320.89/321.17 o 7911 320.89/321.17 c fallback to adder encoding 323.99/324.27 o 7909 323.99/324.27 c fallback to adder encoding 325.75/326.03 o 7882 325.75/326.03 c fallback to adder encoding 331.58/331.87 o 7881 331.58/331.87 c fallback to adder encoding 334.13/334.41 o 7878 334.13/334.41 c fallback to adder encoding 344.18/344.48 o 7873 344.18/344.48 c fallback to adder encoding 347.33/347.62 o 7851 347.33/347.62 c fallback to adder encoding 354.16/354.74 o 7848 354.16/354.74 c fallback to adder encoding 360.77/361.35 o 7839 360.77/361.35 c fallback to adder encoding 363.13/363.71 o 7836 363.13/363.71 c fallback to adder encoding 368.08/368.67 o 7818 368.08/368.67 c fallback to adder encoding 371.78/372.36 o 7809 371.78/372.36 c fallback to adder encoding 374.57/375.15 o 7788 374.57/375.15 c fallback to adder encoding 377.28/377.80 o 7787 377.28/377.80 c fallback to adder encoding 379.67/380.29 o 7780 379.67/380.29 c fallback to adder encoding 384.27/384.88 o 7711 384.27/384.88 c fallback to adder encoding 388.00/388.62 o 7687 388.00/388.62 c fallback to adder encoding 392.61/393.22 o 7681 392.61/393.22 c fallback to adder encoding 398.31/398.91 o 7680 398.31/398.91 c fallback to adder encoding 402.36/402.98 o 7677 402.36/402.98 c fallback to adder encoding 405.10/405.71 o 7665 405.10/405.71 c fallback to adder encoding 409.40/410.01 o 7659 409.40/410.01 c fallback to adder encoding 412.66/413.26 o 7643 412.66/413.26 c fallback to adder encoding 414.90/415.53 o 7635 414.90/415.53 c fallback to adder encoding 418.33/418.99 o 7555 418.33/418.99 c fallback to adder encoding 428.88/429.50 o 7481 428.88/429.50 c fallback to adder encoding 432.35/432.90 o 7470 432.35/432.90 c fallback to adder encoding 434.73/435.35 o 7468 434.73/435.35 c fallback to adder encoding 439.64/440.27 o 7456 439.64/440.27 c fallback to adder encoding 442.19/442.82 o 7438 442.19/442.82 c fallback to adder encoding 450.13/450.70 o 7437 450.13/450.70 c fallback to adder encoding 454.02/454.69 o 7425 454.02/454.69 c fallback to adder encoding 459.39/460.03 o 7400 459.39/460.03 c fallback to adder encoding 463.80/464.44 o 7393 463.80/464.44 c fallback to adder encoding 468.52/469.10 o 7392 468.52/469.10 c fallback to adder encoding 472.79/473.44 o 7378 472.79/473.44 c fallback to adder encoding 475.83/476.40 o 7377 475.83/476.40 c fallback to adder encoding 478.78/479.42 o 7374 478.78/479.42 c fallback to adder encoding 487.89/488.55 o 7373 487.89/488.55 c fallback to adder encoding 492.35/493.03 o 7365 492.35/493.03 c fallback to adder encoding 493.95/494.62 o 7356 493.95/494.62 c fallback to adder encoding 499.15/499.84 o 7343 499.15/499.84 c fallback to adder encoding 503.67/504.34 o 7338 503.67/504.34 c fallback to adder encoding 508.14/508.81 o 7333 508.14/508.81 c fallback to adder encoding 511.67/512.34 o 7300 511.67/512.34 c fallback to adder encoding 513.35/514.02 o 7281 513.35/514.02 c fallback to adder encoding 516.48/517.16 o 7280 516.48/517.16 c fallback to adder encoding 518.48/519.13 o 7256 518.48/519.13 c fallback to adder encoding 521.69/522.46 o 7247 521.69/522.46 c fallback to adder encoding 529.77/530.44 o 7238 529.77/530.44 c fallback to adder encoding 534.38/535.06 o 7189 534.38/535.06 c fallback to adder encoding 537.47/538.15 o 7176 537.47/538.15 c fallback to adder encoding 543.97/544.66 o 7175 543.97/544.66 c fallback to adder encoding 549.07/549.76 o 7173 549.07/549.76 c fallback to adder encoding 553.37/554.09 o 7169 553.37/554.09 c fallback to adder encoding 559.85/560.50 o 7165 559.85/560.50 c fallback to adder encoding 562.94/563.65 o 7157 562.94/563.65 c fallback to adder encoding 576.43/577.19 o 7140 576.43/577.19 c fallback to adder encoding 579.24/579.97 o 7138 579.24/579.97 c fallback to adder encoding 583.51/584.23 o 7066 583.51/584.23 c fallback to adder encoding 590.03/590.71 o 7038 590.03/590.71 c fallback to adder encoding 604.90/605.62 o 7003 604.90/605.62 c fallback to adder encoding 630.93/631.68 o 7002 630.93/631.68 c fallback to adder encoding 633.74/634.40 o 6982 633.74/634.40 c fallback to adder encoding 637.42/638.15 o 6981 637.42/638.15 c fallback to adder encoding 641.90/642.64 o 6968 641.90/642.64 c fallback to adder encoding 654.27/655.00 o 6955 654.27/655.00 c fallback to adder encoding 658.74/659.40 o 6155 658.74/659.40 c fallback to adder encoding 663.03/663.78 o 6154 663.03/663.78 c fallback to adder encoding 666.43/667.19 o 6149 666.43/667.19 c fallback to adder encoding 669.44/670.16 o 6146 669.44/670.16 c fallback to adder encoding 675.72/676.45 o 6145 675.72/676.45 c fallback to adder encoding 677.93/678.67 o 6144 677.93/678.67 c fallback to adder encoding 682.32/683.05 o 6136 682.32/683.05 c fallback to adder encoding 686.83/687.55 o 6063 686.83/687.55 c fallback to adder encoding 691.35/692.07 o 6059 691.35/692.07 c fallback to adder encoding 695.17/695.90 o 6024 695.17/695.90 c fallback to adder encoding 700.99/701.71 o 6020 700.99/701.71 c fallback to adder encoding 706.22/706.99 o 6018 706.22/706.99 c fallback to adder encoding 712.31/713.04 o 6017 712.31/713.04 c fallback to adder encoding 719.50/720.23 o 6012 719.50/720.23 c fallback to adder encoding 723.53/724.20 o 6006 723.53/724.20 c fallback to adder encoding 727.67/728.41 o 5998 727.67/728.41 c fallback to adder encoding 733.76/734.51 o 5995 733.76/734.51 c fallback to adder encoding 738.17/738.90 o 5983 738.17/738.90 c fallback to adder encoding 744.31/745.06 o 5966 744.31/745.06 c fallback to adder encoding 750.19/750.94 o 5953 750.19/750.94 c fallback to adder encoding 757.01/757.75 o 5866 757.01/757.75 c fallback to adder encoding 761.37/762.15 o 5798 761.37/762.15 c fallback to adder encoding 764.19/764.96 o 5797 764.19/764.96 c fallback to adder encoding 769.53/770.31 o 5796 769.53/770.31 c fallback to adder encoding 775.89/776.61 o 5761 775.89/776.61 c fallback to adder encoding 789.76/790.54 o 5720 789.76/790.54 c fallback to adder encoding 793.17/793.95 o 5711 793.17/793.95 c fallback to adder encoding 800.69/801.47 o 5709 800.69/801.47 c fallback to adder encoding 807.33/808.10 o 5704 807.33/808.10 c fallback to adder encoding 813.73/814.51 o 5657 813.73/814.51 c fallback to adder encoding 816.98/817.75 o 5656 816.98/817.75 c fallback to adder encoding 825.55/826.32 o 5644 825.55/826.32 c fallback to adder encoding 833.39/834.18 o 5643 833.39/834.18 c fallback to adder encoding 839.08/839.86 o 5613 839.08/839.86 c fallback to adder encoding 843.09/843.86 o 5610 843.09/843.86 c fallback to adder encoding 847.40/848.17 o 5587 847.40/848.17 c fallback to adder encoding 850.99/851.77 o 5562 850.99/851.77 c fallback to adder encoding 855.19/855.96 o 5561 855.19/855.96 c fallback to adder encoding 857.76/858.54 o 5559 857.76/858.54 c fallback to adder encoding 874.07/874.85 o 5541 874.07/874.85 c fallback to adder encoding 877.15/877.92 o 5537 877.15/877.92 c fallback to adder encoding 887.18/887.95 o 5536 887.18/887.95 c fallback to adder encoding 889.59/890.38 o 5506 889.59/890.38 c fallback to adder encoding 894.89/895.68 o 5488 894.89/895.68 c fallback to adder encoding 897.47/898.25 o 5484 897.47/898.25 c fallback to adder encoding 901.14/901.92 o 5443 901.14/901.92 c fallback to adder encoding 906.18/906.98 o 4723 906.18/906.98 c fallback to adder encoding 910.89/911.65 o 4703 910.89/911.65 c fallback to adder encoding 915.45/916.22 o 4702 915.45/916.22 c fallback to adder encoding 918.43/919.21 o 4701 918.43/919.21 c fallback to adder encoding 923.49/924.29 o 4700 923.49/924.29 c fallback to adder encoding 925.77/926.55 o 4690 925.77/926.55 c fallback to adder encoding 933.77/934.55 o 4688 933.77/934.55 c fallback to adder encoding 936.84/937.60 o 4675 936.84/937.60 c fallback to adder encoding 942.11/942.81 o 4637 942.11/942.81 c fallback to adder encoding 946.71/947.51 o 4618 946.71/947.51 c fallback to adder encoding 950.43/951.31 o 4616 950.43/951.31 c fallback to adder encoding 955.65/956.52 o 4612 955.65/956.52 c fallback to adder encoding 960.97/961.84 o 4607 960.97/961.84 c fallback to adder encoding 965.98/966.85 o 4599 965.98/966.85 c fallback to adder encoding 973.00/973.87 o 4583 973.00/973.87 c fallback to adder encoding 977.17/978.04 o 4563 977.17/978.04 c fallback to adder encoding 982.30/983.16 o 4540 982.30/983.16 c fallback to adder encoding 986.66/987.53 o 4524 986.66/987.53 c fallback to adder encoding 990.59/991.48 o 4523 990.59/991.48 c fallback to adder encoding 994.99/995.85 o 4496 994.99/995.85 c fallback to adder encoding 999.09/999.93 o 4490 999.09/999.93 c fallback to adder encoding 1007.70/1008.57 o 4488 1007.70/1008.57 c fallback to adder encoding 1011.20/1012.09 o 4485 1011.20/1012.09 c fallback to adder encoding 1015.33/1016.20 o 4441 1015.33/1016.20 c fallback to adder encoding 1018.38/1019.26 o 4436 1018.38/1019.26 c fallback to adder encoding 1021.84/1022.74 o 4429 1021.84/1022.74 c fallback to adder encoding 1024.87/1025.79 o 4428 1024.87/1025.79 c fallback to adder encoding 1039.94/1040.82 o 4421 1039.94/1040.82 c fallback to adder encoding 1049.15/1050.04 o 4420 1049.15/1050.04 c fallback to adder encoding 1058.34/1059.22 o 4418 1058.34/1059.22 c fallback to adder encoding 1072.57/1073.40 o 4417 1072.57/1073.40 c fallback to adder encoding 1078.48/1079.30 o 4416 1078.48/1079.30 c fallback to adder encoding 1082.57/1083.46 o 4399 1082.57/1083.46 c fallback to adder encoding 1088.47/1089.36 o 4398 1088.47/1089.36 c fallback to adder encoding 1094.65/1095.53 o 4381 1094.65/1095.53 c fallback to adder encoding 1097.47/1098.38 o 4359 1097.47/1098.38 c fallback to adder encoding 1103.32/1104.21 o 4357 1103.32/1104.21 c fallback to adder encoding 1113.05/1113.94 o 4356 1113.05/1113.94 c fallback to adder encoding 1119.26/1120.19 o 4355 1119.26/1120.19 c fallback to adder encoding 1134.11/1135.02 o 4352 1134.11/1135.02 c fallback to adder encoding 1141.47/1142.30 o 4346 1141.47/1142.30 c fallback to adder encoding 1147.10/1148.00 o 4329 1147.10/1148.00 c fallback to adder encoding 1151.98/1152.84 o 4328 1151.98/1152.84 c fallback to adder encoding 1154.45/1155.34 o 4302 1154.45/1155.34 c fallback to adder encoding 1159.27/1160.17 o 4284 1159.27/1160.17 c fallback to adder encoding 1166.01/1166.91 o 4283 1166.01/1166.91 c fallback to adder encoding 1170.46/1171.39 o 4282 1170.46/1171.39 c fallback to adder encoding 1173.86/1174.77 o 4276 1173.86/1174.77 c fallback to adder encoding 1178.26/1179.20 o 4265 1178.26/1179.20 c fallback to adder encoding 1184.02/1184.93 o 4264 1184.02/1184.93 c fallback to adder encoding 1187.25/1188.18 o 4261 1187.25/1188.18 c fallback to adder encoding 1190.30/1191.20 o 4258 1190.30/1191.20 c fallback to adder encoding 1194.88/1195.77 o 4239 1194.88/1195.77 c fallback to adder encoding 1199.03/1199.93 o 4238 1199.03/1199.93 c fallback to adder encoding 1202.87/1203.71 o 4235 1202.87/1203.71 c fallback to adder encoding 1205.86/1206.72 o 4229 1205.86/1206.72 c fallback to adder encoding 1209.17/1210.07 o 4228 1209.17/1210.07 c fallback to adder encoding 1214.04/1214.91 o 4225 1214.04/1214.91 c fallback to adder encoding 1219.82/1220.78 o 4217 1219.82/1220.78 c fallback to adder encoding 1222.73/1223.68 o 4210 1222.73/1223.68 c fallback to adder encoding 1226.84/1227.78 o 4209 1226.84/1227.78 c fallback to adder encoding 1233.42/1234.35 o 4188 1233.42/1234.35 c fallback to adder encoding 1238.72/1239.69 o 4182 1238.72/1239.69 c fallback to adder encoding 1242.22/1243.17 o 4180 1242.22/1243.17 c fallback to adder encoding 1246.52/1247.40 o 4175 1246.52/1247.40 c fallback to adder encoding 1252.14/1253.11 o 4174 1252.14/1253.11 c fallback to adder encoding 1254.45/1255.41 o 4169 1254.45/1255.41 c fallback to adder encoding 1257.60/1258.59 o 4165 1257.60/1258.59 c fallback to adder encoding 1261.54/1262.50 o 4148 1261.54/1262.50 c fallback to adder encoding 1267.54/1268.53 o 4126 1267.54/1268.53 c fallback to adder encoding 1271.86/1272.83 o 4113 1271.86/1272.83 c fallback to adder encoding 1274.85/1275.83 o 4100 1274.85/1275.83 c fallback to adder encoding 1280.61/1281.51 o 4099 1280.61/1281.51 c fallback to adder encoding 1284.64/1285.63 o 4096 1284.64/1285.63 c fallback to adder encoding 1285.93/1286.90 o 4087 1285.93/1286.90 c fallback to adder encoding 1289.24/1290.21 o 4080 1289.24/1290.21 c fallback to adder encoding 1293.28/1294.26 o 4074 1293.28/1294.26 c fallback to adder encoding 1301.39/1302.36 o 4071 1301.39/1302.36 c fallback to adder encoding 1305.25/1306.23 o 4027 1305.25/1306.23 c fallback to adder encoding 1315.16/1316.14 o 3973 1315.16/1316.14 c fallback to adder encoding 1318.34/1319.32 o 3972 1318.34/1319.32 c fallback to adder encoding 1325.77/1326.76 o 3970 1325.77/1326.76 c fallback to adder encoding 1329.65/1330.64 o 3968 1329.65/1330.64 c fallback to adder encoding 1334.11/1335.11 o 3959 1334.11/1335.11 c fallback to adder encoding 1340.38/1341.30 o 3934 1340.38/1341.30 c fallback to adder encoding 1344.38/1345.30 o 3913 1344.38/1345.30 c fallback to adder encoding 1346.05/1347.08 o 3904 1346.05/1347.08 c fallback to adder encoding 1349.14/1350.13 o 3900 1349.14/1350.13 c fallback to adder encoding 1351.02/1352.01 o 3877 1351.02/1352.01 c fallback to adder encoding 1357.35/1358.35 o 3872 1357.35/1358.35 c fallback to adder encoding 1367.45/1368.43 o 3852 1367.45/1368.43 c fallback to adder encoding 1371.17/1372.17 o 3836 1371.17/1372.17 c fallback to adder encoding 1374.52/1375.52 o 3796 1374.52/1375.52 c fallback to adder encoding 1382.16/1383.17 o 3786 1382.16/1383.17 c fallback to adder encoding 1390.13/1391.13 o 3774 1390.13/1391.13 c fallback to adder encoding 1393.67/1394.66 o 3770 1393.67/1394.66 c fallback to adder encoding 1396.82/1397.82 o 3755 1396.82/1397.82 c fallback to adder encoding 1400.15/1401.14 o 3754 1400.15/1401.14 c fallback to adder encoding 1407.77/1408.76 o 3753 1407.77/1408.76 c fallback to adder encoding 1409.95/1410.95 o 3732 1409.95/1410.95 c fallback to adder encoding 1414.04/1415.03 o 3723 1414.04/1415.03 c fallback to adder encoding 1418.25/1419.27 o 3719 1418.25/1419.27 c fallback to adder encoding 1421.94/1422.94 o 3679 1421.94/1422.94 c fallback to adder encoding 1425.21/1426.20 o 3666 1425.21/1426.20 c fallback to adder encoding 1429.53/1430.53 o 3664 1429.53/1430.53 c fallback to adder encoding 1435.46/1436.46 o 3662 1435.46/1436.46 c fallback to adder encoding 1441.47/1442.46 o 3651 1441.47/1442.46 c fallback to adder encoding 1443.94/1444.99 o 3644 1443.94/1444.99 c fallback to adder encoding 1447.95/1448.98 o 3634 1447.95/1448.98 c fallback to adder encoding 1451.92/1452.93 o 3619 1451.92/1452.93 c fallback to adder encoding 1457.82/1458.83 o 3545 1457.82/1458.83 c fallback to adder encoding 1461.06/1462.09 o 3542 1461.06/1462.09 c fallback to adder encoding 1464.53/1465.53 o 3529 1464.53/1465.53 c fallback to adder encoding 1470.24/1471.25 o 3522 1470.24/1471.25 c fallback to adder encoding 1474.26/1475.28 o 3520 1474.26/1475.28 c fallback to adder encoding 1476.52/1477.52 o 3518 1476.52/1477.52 c fallback to adder encoding 1481.25/1482.28 o 3457 1481.25/1482.28 c fallback to adder encoding 1486.02/1487.02 o 3456 1486.02/1487.02 c fallback to adder encoding 1498.25/1499.25 o 3452 1498.25/1499.25 c fallback to adder encoding 1503.36/1504.39 o 3451 1503.36/1504.39 c fallback to adder encoding 1506.46/1507.40 o 3420 1506.46/1507.40 c fallback to adder encoding 1508.72/1509.74 o 3347 1508.72/1509.74 c fallback to adder encoding 1513.04/1514.06 o 3331 1513.04/1514.06 c fallback to adder encoding 1518.52/1519.55 o 3328 1518.52/1519.55 c fallback to adder encoding 1522.31/1523.33 o 3311 1522.31/1523.33 c fallback to adder encoding 1524.53/1525.54 o 3297 1524.53/1525.54 c fallback to adder encoding 1528.54/1529.60 o 3295 1528.54/1529.60 c fallback to adder encoding 1533.72/1534.74 o 3286 1533.72/1534.74 c fallback to adder encoding 1540.33/1541.37 o 3283 1540.33/1541.37 c fallback to adder encoding 1543.53/1544.55 o 3280 1543.53/1544.55 c fallback to adder encoding 1545.91/1546.94 o 3273 1545.91/1546.94 c fallback to adder encoding 1550.43/1551.48 o 3229 1550.43/1551.48 c fallback to adder encoding 1554.12/1555.14 o 3214 1554.12/1555.14 c fallback to adder encoding 1556.79/1557.81 o 3206 1556.79/1557.81 c fallback to adder encoding 1560.29/1561.32 o 3202 1560.29/1561.32 c fallback to adder encoding 1560.47/1564.57 o 3200 1560.47/1564.57 c fallback to adder encoding 1565.59/1566.61 o 3199 1565.59/1566.61 c fallback to adder encoding 1568.49/1569.51 o 3198 1568.49/1569.51 c fallback to adder encoding 1572.53/1573.55 o 3156 1572.53/1573.55 c fallback to adder encoding 1575.04/1576.10 o 2094 1575.04/1576.10 c fallback to adder encoding 1579.63/1580.69 o 2093 1579.63/1580.69 c fallback to adder encoding 1582.94/1583.99 o 2092 1582.94/1583.99 c fallback to adder encoding 1586.94/1587.94 o 2089 1586.94/1587.94 c fallback to adder encoding 1590.43/1591.43 o 2056 1590.43/1591.43 c fallback to adder encoding 1594.99/1596.00 o 2052 1594.99/1596.00 c fallback to adder encoding 1601.13/1602.14 o 2048 1601.13/1602.14 c fallback to adder encoding 1603.81/1604.83 o 2045 1603.81/1604.83 c fallback to adder encoding 1606.40/1607.43 o 2042 1606.40/1607.43 c fallback to adder encoding 1612.98/1614.02 o 2032 1612.98/1614.02 c fallback to adder encoding 1616.22/1617.29 o 2021 1616.22/1617.29 c fallback to adder encoding 1619.32/1620.32 o 2006 1619.32/1620.32 c fallback to adder encoding 1624.25/1625.36 o 2002 1624.25/1625.36 c fallback to adder encoding 1628.34/1629.49 o 1988 1628.34/1629.49 c fallback to adder encoding 1633.73/1634.87 o 1984 1633.73/1634.87 c fallback to adder encoding 1636.01/1637.12 o 1979 1636.01/1637.12 c fallback to adder encoding 1638.45/1639.55 o 1978 1638.45/1639.55 c fallback to adder encoding 1640.54/1641.69 o 1977 1640.54/1641.69 c fallback to adder encoding 1644.54/1645.61 o 1938 1644.54/1645.61 c fallback to adder encoding 1646.44/1647.55 o 1933 1646.44/1647.55 c fallback to adder encoding 1648.11/1649.22 o 1927 1648.11/1649.22 c fallback to adder encoding 1650.23/1651.39 o 1898 1650.23/1651.39 c fallback to adder encoding 1654.63/1655.76 o 1894 1654.63/1655.76 c fallback to adder encoding 1656.74/1657.89 o 1893 1656.74/1657.89 c fallback to adder encoding 1658.30/1659.41 o 1892 1658.30/1659.41 c fallback to adder encoding 1663.25/1664.40 o 1886 1663.25/1664.40 c fallback to adder encoding 1667.93/1669.05 o 1885 1667.93/1669.05 c fallback to adder encoding 1670.94/1672.09 o 1884 1670.94/1672.09 c fallback to adder encoding 1673.41/1674.56 o 1883 1673.41/1674.56 c fallback to adder encoding 1675.57/1676.71 o 1882 1675.57/1676.71 c fallback to adder encoding 1678.36/1679.54 o 1874 1678.36/1679.54 c fallback to adder encoding 1683.88/1685.06 o 1861 1683.88/1685.06 c fallback to adder encoding 1686.26/1687.41 o 1860 1686.26/1687.41 c fallback to adder encoding 1688.37/1689.58 o 1859 1688.37/1689.58 c fallback to adder encoding 1690.96/1692.14 o 1858 1690.96/1692.14 c fallback to adder encoding 1696.19/1697.36 o 1857 1696.19/1697.36 c fallback to adder encoding 1698.85/1700.02 o 1856 1698.85/1700.02 c fallback to adder encoding 1702.57/1703.76 o 1849 1702.57/1703.76 c fallback to adder encoding 1707.36/1708.54 o 1848 1707.36/1708.54 c fallback to adder encoding 1710.48/1711.66 o 1843 1710.48/1711.66 c fallback to adder encoding 1712.68/1713.84 o 1837 1712.68/1713.84 c fallback to adder encoding 1715.44/1716.62 o 1824 1715.44/1716.62 c fallback to adder encoding 1716.26/1717.44 o 1785 1716.26/1717.44 c fallback to adder encoding 1718.07/1719.25 o 1784 1718.07/1719.25 c fallback to adder encoding 1720.58/1721.77 o 1761 1720.58/1721.77 c fallback to adder encoding 1723.27/1724.49 o 1752 1723.27/1724.49 c fallback to adder encoding 1725.97/1727.17 o 1749 1725.97/1727.17 c fallback to adder encoding 1729.84/1731.04 o 1748 1729.84/1731.04 c fallback to adder encoding 1733.36/1734.50 o 1691 1733.36/1734.50 c fallback to adder encoding 1737.45/1738.69 o 1687 1737.45/1738.69 c fallback to adder encoding 1740.82/1742.01 o 1684 1740.82/1742.01 c fallback to adder encoding 1743.85/1745.09 o 1677 1743.85/1745.09 c fallback to adder encoding 1745.17/1746.47 o 1049 1745.17/1746.47 c fallback to adder encoding 1750.85/1752.17 o 1034 1750.85/1752.17 c fallback to adder encoding 1754.85/1756.16 o 1026 1754.85/1756.16 c fallback to adder encoding 1756.94/1758.23 o 1025 1756.94/1758.23 c fallback to adder encoding 1759.67/1760.90 o 1024 1759.67/1760.90 c fallback to adder encoding 1760.66/1761.95 o 1020 1760.66/1761.95 c fallback to adder encoding 1762.83/1764.13 o 1016 1762.83/1764.13 c fallback to adder encoding 1765.14/1766.43 o 1010 1765.14/1766.43 c fallback to adder encoding 1768.34/1769.60 o 1009 1768.34/1769.60 c fallback to adder encoding 1770.29/1771.60 o 994 1770.29/1771.60 c fallback to adder encoding 1774.95/1776.26 o 993 1774.95/1776.26 c fallback to adder encoding 1776.72/1778.03 o 975 1776.72/1778.03 c fallback to adder encoding 1780.05/1781.30 o 974 1780.05/1781.30 c fallback to adder encoding 1782.04/1783.35 o 893 1782.04/1783.35 c fallback to adder encoding 1783.83/1785.13 o 891 1783.83/1785.13 c fallback to adder encoding 1786.04/1787.34 o 873 1786.04/1787.34 c fallback to adder encoding 1788.15/1789.45 o 854 1788.15/1789.45 c fallback to adder encoding 1788.95/1790.24 o 842 1788.95/1790.24 c fallback to adder encoding 1789.94/1791.28 o 827 1789.94/1791.28 c fallback to adder encoding 1792.24/1793.59 o 826 1792.24/1793.59 c fallback to adder encoding 1793.95/1795.26 o 813 1793.95/1795.26 c fallback to adder encoding 1795.29/1796.60 o 810 1795.29/1796.60 c fallback to adder encoding 1797.04/1798.30 ./satsolver.sh: line 5: 28550 Terminated ./glucose $1 > $2 2> /dev/null 1797.04/1798.30 c error: unexpected solver exit code 1797.04/1798.30 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-3753816-1339201697/watcher-3753816-1339201697 -o /tmp/evaluation-result-3753816-1339201697/solver-3753816-1339201697 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753816-1339201697.wbo 1040128634 HOME HOME running on 4 cores: 1,3,5,7 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.96 1.98 1.99 3/179 24145 /proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [startup+0.079366 s] /proc/loadavg: 1.96 1.98 1.99 3/179 24145 /proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100314 s] /proc/loadavg: 1.96 1.98 1.99 3/179 24145 /proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300295 s] /proc/loadavg: 1.96 1.98 1.99 3/179 24145 /proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700231 s] /proc/loadavg: 1.96 1.98 1.99 3/179 24145 /proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50033 s] /proc/loadavg: 1.96 1.98 1.99 3/183 24162 /proc/meminfo: memFree=26302000/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=0.16 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 4000 4886 0 0 12 2 1 1 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 [pid=24158] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24158/stat : 24158 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294119 9367552 266 33554432000 4194304 5064252 140735073020992 140735073019904 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24158/statm: 2287 266 226 213 0 72 0 [pid=24159] ppid=24158 vsize=26964 CPUtime=1.31 cores=1,3,5,7 /proc/24159/stat : 24159 (glucose) R 24158 24145 17144 0 -1 4202496 5538 0 0 0 130 1 0 0 20 0 1 0 386294119 27611136 5564 33554432000 4194304 5208918 140733326635456 140733326633304 4210888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24159/statm: 6741 5564 103 248 0 6490 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 65312 [startup+3.10035 s] /proc/loadavg: 1.96 1.98 1.99 3/183 24166 /proc/meminfo: memFree=26286140/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=0.16 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 4000 4886 0 0 12 2 1 1 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 [pid=24158] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24158/stat : 24158 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294119 9367552 266 33554432000 4194304 5064252 140735073020992 140735073019904 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24158/statm: 2287 266 226 213 0 72 0 [pid=24159] ppid=24158 vsize=26964 CPUtime=2.91 cores=1,3,5,7 /proc/24159/stat : 24159 (glucose) R 24158 24145 17144 0 -1 4202496 5541 0 0 0 290 1 0 0 20 0 1 0 386294119 27611136 5567 33554432000 4194304 5208918 140733326635456 140733326633304 4205192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24159/statm: 6741 5567 103 248 0 6490 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 65312 [startup+6.3004 s] /proc/loadavg: 1.96 1.98 1.99 3/183 24173 /proc/meminfo: memFree=26286084/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=0.16 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 4000 4886 0 0 12 2 1 1 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 [pid=24158] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24158/stat : 24158 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294119 9367552 266 33554432000 4194304 5064252 140735073020992 140735073019904 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24158/statm: 2287 266 226 213 0 72 0 [pid=24159] ppid=24158 vsize=28284 CPUtime=6.11 cores=1,3,5,7 /proc/24159/stat : 24159 (glucose) R 24158 24145 17144 0 -1 4202496 5990 0 0 0 610 1 0 0 20 0 1 0 386294119 28962816 6012 33554432000 4194304 5208918 140733326635456 140733326633208 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24159/statm: 7071 6012 104 248 0 6820 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 66632 [startup+12.7003 s] /proc/loadavg: 1.97 1.98 1.99 3/181 24192 /proc/meminfo: memFree=26308712/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=8.22 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 6063 14718 0 0 23 4 788 7 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 [pid=24179] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24179/stat : 24179 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294925 9367552 267 33554432000 4194304 5064252 140735685299440 140735685298352 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24179/statm: 2287 267 226 213 0 72 0 [pid=24180] ppid=24179 vsize=28528 CPUtime=4.44 cores=1,3,5,7 /proc/24180/stat : 24180 (glucose) R 24179 24145 17144 0 -1 4202496 6841 0 0 0 443 1 0 0 20 0 1 0 386294926 29212672 6073 33554432000 4194304 5208918 140736086833104 140736086829480 4211897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24180/statm: 7132 6073 104 248 0 6881 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 66876 [startup+25.5003 s] /proc/loadavg: 1.97 1.98 1.99 3/183 24222 /proc/meminfo: memFree=26274368/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=25.44 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 6071 23301 0 0 23 4 2507 10 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 29200 [startup+51.1003 s] /proc/loadavg: 1.98 1.98 1.99 3/183 24278 /proc/meminfo: memFree=26280780/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=47.1 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 14315 57775 0 0 68 9 4598 35 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 [pid=24270] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24270/stat : 24270 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386298814 9367552 265 33554432000 4194304 5064252 140736971469712 140736971468624 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24270/statm: 2287 265 226 213 0 72 0 [pid=24271] ppid=24270 vsize=28584 CPUtime=3.95 cores=1,3,5,7 /proc/24271/stat : 24271 (glucose) R 24270 24145 17144 0 -1 4202496 6280 0 0 0 394 1 0 0 20 0 1 0 386298815 29270016 6300 33554432000 4194304 5208918 140736720531712 140736720529384 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24271/statm: 7146 6300 104 248 0 6895 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 66932 [startup+102.307 s] /proc/loadavg: 1.99 1.98 1.99 3/183 24418 /proc/meminfo: memFree=26299216/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=102.26 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) R 24145 24145 17144 0 -1 4202496 27820 129719 0 0 138 16 9993 79 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730109200 5056727 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29200 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/184 24652 /proc/meminfo: memFree=26285736/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=160.22 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 49386 231278 0 0 261 29 15596 136 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/24146/statm: 5013 4371 179 443 0 4566 0 [pid=24644] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24644/stat : 24644 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386310129 9367552 267 33554432000 4194304 5064252 140733514135200 140733514134112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/24644/statm: 2287 267 226 213 0 72 0 [pid=24645] ppid=24644 vsize=27908 CPUtime=2.01 cores=1,3,5,7 /proc/24645/stat : 24645 (glucose) R 24644 24145 17144 0 -1 4202496 6013 0 0 0 200 1 0 0 20 0 1 0 386310129 28577792 6049 33554432000 4194304 5208918 140734178031504 140734178029256 4469616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/24645/statm: 6977 6049 104 248 0 6726 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 66256 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/183 24869 /proc/meminfo: memFree=26285408/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [pid=27772] ppid=27771 vsize=24512 CPUtime=2.91 cores=1,3,5,7 /proc/27772/stat : 27772 (glucose) R 27771 24145 17144 0 -1 4202496 6077 0 0 0 289 2 0 0 20 0 1 0 386436040 25100288 5307 33554432000 4194304 5208918 140733236059536 140733236057288 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27772/statm: 6128 5307 105 248 0 5877 0 Current children cumulated CPU time (s) 1421.37 Current children cumulated vsize (KiB) 62860 [startup+1482.3 s] /proc/loadavg: 2.09 2.06 2.01 3/183 27870 /proc/meminfo: memFree=24771444/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1481.36 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) R 24145 24145 17144 0 -1 4202496 575807 2892286 0 0 2987 330 143163 1656 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730109200 4535958 0 0 4096 0 0 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4372 179 443 0 4566 0 Current children cumulated CPU time (s) 1481.36 Current children cumulated vsize (KiB) 29200 [startup+1542.31 s] /proc/loadavg: 2.03 2.05 2.01 3/183 27962 /proc/meminfo: memFree=24769992/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1540.52 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 588699 3009513 0 0 3111 343 148874 1724 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4372 179 443 0 4566 0 [pid=27961] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/27961/stat : 27961 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386448249 9367552 267 33554432000 4194304 5064252 140736094942736 140736094941648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/27961/statm: 2287 267 226 213 0 72 0 [pid=27962] ppid=27961 vsize=24108 CPUtime=0.81 cores=1,3,5,7 /proc/27962/stat : 27962 (glucose) R 27961 24145 17144 0 -1 4202496 5467 0 0 0 81 0 0 0 20 0 1 0 386448250 24686592 4918 33554432000 4194304 5208918 140735014909552 140735014907400 4211027 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27962/statm: 6027 4918 105 248 0 5776 0 Current children cumulated CPU time (s) 1541.33 Current children cumulated vsize (KiB) 62456 ############ # WARNING: # current cumulated CPU time (1560.47 s) is less than in the last sample (1563.44 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (2.96997 s) to the 'lost time'. [startup+1564.4 s] /proc/loadavg: 2.08 2.06 2.01 3/183 28004 /proc/meminfo: memFree=24763952/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1560.47 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 594885 3068010 0 0 3169 349 150774 1755 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4372 179 443 0 4566 0 [pid=28003] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28003/stat : 28003 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386450244 9367552 266 33554432000 4194304 5064252 140735134420784 140735134419696 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28003/statm: 2287 266 226 213 0 72 0 [pid=28004] ppid=28003 vsize=28880 CPUtime=2.97 cores=1,3,5,7 /proc/28004/stat : 28004 (glucose) R 28003 24145 17144 0 -1 4202496 6531 0 0 0 296 1 0 0 20 0 1 0 386450244 29573120 6400 33554432000 4194304 5208918 140734953555888 140734953553736 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/28004/statm: 7220 6400 105 248 0 6969 0 Current children cumulated CPU time (s) 1563.44 Current children cumulated vsize (KiB) 67228 [startup+1564.5 s] /proc/loadavg: 2.08 2.06 2.01 3/183 28004 /proc/meminfo: memFree=24763952/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1560.47 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) R 24145 24145 17144 0 -1 4202496 594885 3068010 0 0 3169 349 150774 1755 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 0 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4372 179 443 0 4566 0 Current children cumulated CPU time (s) 1560.47 Current children cumulated vsize (KiB) 29200 # ############ [startup+1602.3 s] /proc/loadavg: 2.10 2.07 2.01 3/183 28074 /proc/meminfo: memFree=24764296/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1601.29 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 606226 3173494 0 0 3273 359 154684 1813 20 0 1 0 386294101 20533248 4373 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4373 179 443 0 4566 0 Current children cumulated CPU time (s) 1601.29 Current children cumulated vsize (KiB) 29200 [startup+1662.3 s] /proc/loadavg: 2.11 2.07 2.01 3/183 28207 /proc/meminfo: memFree=24757832/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1658.47 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 624784 3337161 0 0 3431 376 160138 1902 20 0 1 0 386294101 20533248 4373 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4373 179 443 0 4566 0 [pid=28206] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28206/stat : 28206 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386460053 9367552 266 33554432000 4194304 5064252 140733669908512 140733669907424 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28206/statm: 2287 266 226 213 0 72 0 [pid=28207] ppid=28206 vsize=22460 CPUtime=2.77 cores=1,3,5,7 /proc/28207/stat : 28207 (glucose) R 28206 24145 17144 0 -1 4202496 5427 0 0 0 276 1 0 0 20 0 1 0 386460053 22999040 4827 33554432000 4194304 5208918 140736236360272 140736236358232 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/28207/statm: 5615 4827 104 248 0 5364 0 Current children cumulated CPU time (s) 1661.24 Current children cumulated vsize (KiB) 60808 [startup+1722.3 s] /proc/loadavg: 2.14 2.08 2.02 3/183 28340 /proc/meminfo: memFree=24752484/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1720.75 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 645404 3520435 0 0 3607 395 166074 1999 20 0 1 0 386294101 20533248 4373 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4373 179 443 0 4566 0 Current children cumulated CPU time (s) 1720.75 Current children cumulated vsize (KiB) 29200 [startup+1782.3 s] /proc/loadavg: 2.09 2.08 2.01 3/183 28487 /proc/meminfo: memFree=24742580/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1780.14 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 666015 3691515 0 0 3773 412 171731 2098 20 0 1 0 386294101 20533248 4377 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4377 179 443 0 4566 0 [pid=28486] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28486/stat : 28486 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386472240 9367552 267 33554432000 4194304 5064252 140735880463520 140735880462432 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28486/statm: 2287 267 226 213 0 72 0 [pid=28487] ppid=28486 vsize=18616 CPUtime=0.89 cores=1,3,5,7 /proc/28487/stat : 28487 (glucose) R 28486 24145 17144 0 -1 4202496 4390 0 0 0 89 0 0 0 20 0 1 0 386472241 19062784 4009 33554432000 4194304 5208918 140736130013888 140736130011560 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/28487/statm: 4654 4009 104 248 0 4403 0 Current children cumulated CPU time (s) 1781.03 Current children cumulated vsize (KiB) 56964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.3 s] /proc/loadavg: 2.07 2.08 2.01 3/183 28550 /proc/meminfo: memFree=24742328/32873844 swapFree=7628/7628 [pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24145/statm: 2287 274 233 213 0 72 0 [pid=24146] ppid=24145 vsize=20052 CPUtime=1795.42 cores=1,3,5,7 /proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 673776 3759090 0 0 3834 419 173157 2132 20 0 1 0 386294101 20533248 4380 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0 /proc/24146/statm: 5013 4380 179 443 0 4566 0 [pid=28549] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28549/stat : 28549 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386473769 9367552 267 33554432000 4194304 5064252 140737443294560 140737443293472 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28549/statm: 2287 267 226 213 0 72 0 [pid=28550] ppid=28549 vsize=16704 CPUtime=1.62 cores=1,3,5,7 /proc/28550/stat : 28550 (glucose) R 28549 24145 17144 0 -1 4202496 3334 0 0 0 162 0 0 0 20 0 1 0 386473769 17104896 3671 33554432000 4194304 5208918 140734349826080 140734349823912 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/28550/statm: 4176 3671 105 248 0 3925 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 55052 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): 2.96997 # lost CPU user time (s): 2.95996 # lost CPU system time (s): 0.0100002 Real time (s): 1798.31 CPU time (s): 1800.04 CPU user time (s): 1774.51 CPU system time (s): 25.5361 CPU usage (%): 100.096 Max. virtual memory (cumulated for all children) (KiB): 85812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.55 system time used= 25.5261 maximum resident set size= 41956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4437191 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4968592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25557 involuntary context switches= 5866 runsolver used 5.40818 second user time and 14.5468 second system time The end
Begin job on node145 at 2012-06-09 02:28:17 IDJOB=3753816 IDBENCH=79422 IDSOLVER=2337 FILE ID=node145/3753816-1339201697 RUNJOBID= node145-1339183962-18405 PBS_JOBID= 14643806 Free space on /tmp= 71008 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh211_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753816-1339201697/watcher-3753816-1339201697 -o /tmp/evaluation-result-3753816-1339201697/solver-3753816-1339201697 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753816-1339201697.wbo 1040128634 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2 RANDOM SEED=1040128634 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: 26331036 kB Buffers: 613680 kB Cached: 4952368 kB SwapCached: 4 kB Active: 2265216 kB Inactive: 3361856 kB Active(anon): 45032 kB Inactive(anon): 10912 kB Active(file): 2220184 kB Inactive(file): 3350944 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108852 kB Dirty: 14732 kB Writeback: 0 kB AnonPages: 186228 kB Mapped: 15220 kB Shmem: 200 kB Slab: 775952 kB SReclaimable: 216788 kB SUnreclaim: 559164 kB KernelStack: 1520 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 170796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 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= 70656 MiB End job on node145 at 2012-06-09 02:58:16