Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.11 | 1800.41 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo |
MD5SUM | ea89038de81a2a24e795de2249a907ab |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.628903 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1860 |
Total number of constraints | 122 |
Number of soft constraints | 42 |
Number of constraints which are clauses | 62 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 31 |
Top cost | 2134 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2133 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 32 |
Number of bits of the biggest sum of numbers | 6 |
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 2012-05-28T05:40:50+0200 0.00/0.02 c arch = x86_64 0.00/0.02 c os = linux 0.00/0.02 c compiler = ghc 7.4 0.00/0.02 c packages: 0.00/0.02 c OptDir-0.0.1 0.00/0.02 c array-0.4.0.0 0.00/0.02 c base-4.5.0.0 0.00/0.02 c bytestring-0.9.2.1 0.00/0.02 c containers-0.4.2.1 0.00/0.02 c deepseq-1.3.0.0 0.00/0.02 c mtl-2.1.1 0.00/0.02 c old_locale-1.0.0.4 0.00/0.02 c parse_dimacs-1.2 0.00/0.02 c parsec-3.1.2 0.00/0.02 c queue-0.1.2 0.00/0.02 c stm-2.3 0.00/0.02 c time-1.4 0.00/0.02 c command line = ["--wbo","HOME/instance-3711989-1338176450.wbo"] 0.00/0.02 c #vars 1860 0.00/0.02 c #constraints 122 0.00/0.02 c Solving starts ... 0.88/0.96 c solving time = 0.940s 0.88/0.96 c #decision = 4420 0.88/0.96 c #conflict = 817 0.88/0.96 c #restart = 4 0.88/0.96 o 35 0.88/0.96 c Solving starts ... 0.88/0.96 c learnt constraints deletion: 813 -> 407 0.99/1.06 c solving time = 0.102s 0.99/1.06 c #decision = 6598 0.99/1.06 c #conflict = 918 0.99/1.06 c #restart = 5 0.99/1.06 o 11 0.99/1.06 c Solving starts ... 0.99/1.09 c solving time = 0.025s 0.99/1.09 c #decision = 7650 0.99/1.09 c #conflict = 948 0.99/1.09 c #restart = 5 0.99/1.09 o 8 0.99/1.09 c Solving starts ... 1.10/1.12 c solving time = 0.027s 1.10/1.12 c #decision = 8703 1.10/1.12 c #conflict = 979 1.10/1.12 c #restart = 5 1.10/1.12 o 3 1.10/1.12 c Solving starts ... 1.29/1.37 c learnt constraints deletion: 816 -> 408 2.09/2.11 c learnt constraints deletion: 969 -> 485 3.68/3.76 c learnt constraints deletion: 1751 -> 876 5.69/5.78 c learnt constraints deletion: 2017 -> 1009 8.58/8.63 c learnt constraints deletion: 2253 -> 1138 9.48/9.56 c learnt constraints deletion: 1606 -> 803 11.38/11.46 c learnt constraints deletion: 2383 -> 1211 12.78/12.84 c learnt constraints deletion: 2200 -> 1100 14.88/14.96 c learnt constraints deletion: 2541 -> 1284 16.88/16.97 c learnt constraints deletion: 2516 -> 1274 18.78/18.83 c learnt constraints deletion: 2455 -> 1228 23.88/23.93 c learnt constraints deletion: 3629 -> 1834 28.37/28.48 c learnt constraints deletion: 3621 -> 1832 31.78/31.84 c learnt constraints deletion: 3426 -> 1713 33.97/34.10 c learnt constraints deletion: 3778 -> 1901 36.77/36.88 c learnt constraints deletion: 3770 -> 1900 39.58/39.64 c learnt constraints deletion: 3759 -> 1895 42.07/42.15 c learnt constraints deletion: 3770 -> 1899 43.57/43.67 c learnt constraints deletion: 2905 -> 1453 45.97/46.04 c learnt constraints deletion: 3547 -> 1779 47.57/47.64 c learnt constraints deletion: 3077 -> 1547 49.77/49.89 c learnt constraints deletion: 3069 -> 1555 52.07/52.16 c learnt constraints deletion: 3078 -> 1559 54.27/54.39 c learnt constraints deletion: 3078 -> 1559 56.27/56.39 c learnt constraints deletion: 3074 -> 1556 58.47/58.53 c learnt constraints deletion: 3071 -> 1554 60.57/60.62 c learnt constraints deletion: 3069 -> 1555 62.86/62.97 c learnt constraints deletion: 3280 -> 1660 65.27/65.31 c learnt constraints deletion: 3269 -> 1662 67.67/67.73 c learnt constraints deletion: 3278 -> 1669 70.17/70.25 c learnt constraints deletion: 3280 -> 1669 72.76/72.83 c learnt constraints deletion: 3286 -> 1674 75.16/75.27 c learnt constraints deletion: 3273 -> 1667 77.66/77.76 c learnt constraints deletion: 3274 -> 1666 80.17/80.28 c learnt constraints deletion: 3279 -> 1669 82.66/82.70 c learnt constraints deletion: 3276 -> 1667 84.96/85.06 c learnt constraints deletion: 3282 -> 1673 87.56/87.67 c learnt constraints deletion: 3282 -> 1672 90.16/90.25 c learnt constraints deletion: 3271 -> 1664 92.56/92.62 c learnt constraints deletion: 3602 -> 1803 94.66/94.71 c learnt constraints deletion: 3559 -> 1783 96.96/97.07 c learnt constraints deletion: 3563 -> 1787 99.26/99.36 c learnt constraints deletion: 3588 -> 1800 101.56/101.67 c learnt constraints deletion: 3587 -> 1798 103.96/104.03 c learnt constraints deletion: 3570 -> 1791 106.56/106.65 c learnt constraints deletion: 3551 -> 1780 109.06/109.19 c learnt constraints deletion: 3569 -> 1789 111.26/111.39 c learnt constraints deletion: 3562 -> 1786 113.76/113.83 c learnt constraints deletion: 3574 -> 1791 116.05/116.15 c learnt constraints deletion: 3557 -> 1786 118.66/118.77 c learnt constraints deletion: 3580 -> 1795 121.06/121.15 c learnt constraints deletion: 3569 -> 1790 123.76/123.85 c learnt constraints deletion: 3563 -> 1786 126.16/126.29 c learnt constraints deletion: 3559 -> 1785 128.56/128.66 c learnt constraints deletion: 3542 -> 1776 130.45/130.58 c learnt constraints deletion: 3077 -> 1539 133.86/133.93 c learnt constraints deletion: 4624 -> 2320 136.65/136.74 c learnt constraints deletion: 4570 -> 2298 139.36/139.50 c learnt constraints deletion: 4577 -> 2302 142.15/142.29 c learnt constraints deletion: 4557 -> 2293 144.95/145.01 c learnt constraints deletion: 4556 -> 2292 147.65/147.76 c learnt constraints deletion: 4542 -> 2284 150.25/150.39 c learnt constraints deletion: 4540 -> 2284 153.35/153.46 c learnt constraints deletion: 4493 -> 2262 156.65/156.79 c learnt constraints deletion: 4492 -> 2260 159.85/159.94 c learnt constraints deletion: 4476 -> 2252 162.76/162.84 c learnt constraints deletion: 4435 -> 2231 165.35/165.40 c learnt constraints deletion: 4480 -> 2254 168.05/168.15 c learnt constraints deletion: 4476 -> 2252 170.95/171.09 c learnt constraints deletion: 4474 -> 2252 173.65/173.78 c learnt constraints deletion: 4477 -> 2253 176.55/176.69 c learnt constraints deletion: 4420 -> 2223 178.95/179.05 c learnt constraints deletion: 4309 -> 2169 181.45/181.54 c learnt constraints deletion: 4318 -> 2173 184.05/184.18 c learnt constraints deletion: 4308 -> 2167 186.25/186.35 c learnt constraints deletion: 4224 -> 2115 188.84/188.92 c learnt constraints deletion: 4176 -> 2094 191.55/191.65 c learnt constraints deletion: 4161 -> 2092 194.44/194.53 c learnt constraints deletion: 4165 -> 2095 197.14/197.20 c learnt constraints deletion: 4207 -> 2117 200.05/200.12 c learnt constraints deletion: 4193 -> 2110 202.95/203.02 c learnt constraints deletion: 4215 -> 2122 205.74/205.83 c learnt constraints deletion: 4195 -> 2109 208.54/208.65 c learnt constraints deletion: 4214 -> 2119 211.34/211.48 c learnt constraints deletion: 4203 -> 2114 214.04/214.19 c learnt constraints deletion: 4198 -> 2111 216.84/216.90 c learnt constraints deletion: 4157 -> 2090 219.54/219.66 c learnt constraints deletion: 4192 -> 2108 222.24/222.31 c learnt constraints deletion: 4183 -> 2104 224.94/225.05 c learnt constraints deletion: 4183 -> 2106 227.55/227.67 c learnt constraints deletion: 4206 -> 2115 230.24/230.35 c learnt constraints deletion: 4187 -> 2108 233.04/233.13 c learnt constraints deletion: 4182 -> 2102 235.93/236.05 c learnt constraints deletion: 4207 -> 2116 238.93/239.03 c learnt constraints deletion: 4188 -> 2105 241.64/241.79 c learnt constraints deletion: 4201 -> 2113 244.74/244.80 c learnt constraints deletion: 4185 -> 2106 247.83/247.99 c learnt constraints deletion: 4166 -> 2095 251.04/251.16 c learnt constraints deletion: 4210 -> 2118 254.33/254.46 c learnt constraints deletion: 4182 -> 2104 257.53/257.65 c learnt constraints deletion: 4209 -> 2116 260.13/260.25 c learnt constraints deletion: 4207 -> 2117 262.94/263.06 c learnt constraints deletion: 4216 -> 2121 265.93/266.03 c learnt constraints deletion: 4203 -> 2115 268.83/268.92 c learnt constraints deletion: 4200 -> 2113 271.64/271.74 c learnt constraints deletion: 4197 -> 2113 274.84/274.91 c learnt constraints deletion: 4405 -> 2203 278.14/278.23 c learnt constraints deletion: 5207 -> 2605 281.63/281.75 c learnt constraints deletion: 5218 -> 2613 285.43/285.55 c learnt constraints deletion: 5216 -> 2614 289.53/289.68 c learnt constraints deletion: 5217 -> 2613 293.43/293.51 c learnt constraints deletion: 5208 -> 2608 297.13/297.28 c learnt constraints deletion: 5196 -> 2602 301.03/301.14 c learnt constraints deletion: 5210 -> 2609 304.63/304.76 c learnt constraints deletion: 5193 -> 2601 308.53/308.61 c learnt constraints deletion: 5181 -> 2595 312.12/312.23 c learnt constraints deletion: 5168 -> 2588 315.63/315.78 c learnt constraints deletion: 5160 -> 2584 319.12/319.28 c learnt constraints deletion: 5176 -> 2593 322.72/322.84 c learnt constraints deletion: 5155 -> 2583 326.32/326.47 c learnt constraints deletion: 5138 -> 2573 330.02/330.18 c learnt constraints deletion: 5141 -> 2575 333.41/333.53 c learnt constraints deletion: 5150 -> 2579 336.82/336.97 c learnt constraints deletion: 5143 -> 2576 340.22/340.37 c learnt constraints deletion: 5139 -> 2574 343.81/343.97 c learnt constraints deletion: 5130 -> 2572 347.52/347.63 c learnt constraints deletion: 5153 -> 2582 351.12/351.21 c learnt constraints deletion: 5139 -> 2574 355.02/355.13 c learnt constraints deletion: 5148 -> 2578 358.62/358.70 c learnt constraints deletion: 5150 -> 2580 362.32/362.41 c learnt constraints deletion: 5144 -> 2578 365.81/365.97 c learnt constraints deletion: 5134 -> 2572 369.42/369.59 c learnt constraints deletion: 5153 -> 2581 373.02/373.18 c learnt constraints deletion: 5152 -> 2580 376.62/376.76 c learnt constraints deletion: 5135 -> 2572 380.31/380.50 c learnt constraints deletion: 5135 -> 2572 383.71/383.90 c learnt constraints deletion: 5112 -> 2559 387.31/387.47 c learnt constraints deletion: 5113 -> 2563 390.91/391.06 c learnt constraints deletion: 5120 -> 2565 394.51/394.65 c learnt constraints deletion: 5124 -> 2565 398.12/398.20 c learnt constraints deletion: 5128 -> 2569 401.91/402.00 c learnt constraints deletion: 5127 -> 2568 405.71/405.84 c learnt constraints deletion: 5122 -> 2565 408.91/409.10 c learnt constraints deletion: 5085 -> 2547 413.11/413.20 c learnt constraints deletion: 5450 -> 2731 415.21/415.36 c learnt constraints deletion: 4757 -> 2382 418.21/418.31 c learnt constraints deletion: 4736 -> 2376 421.21/421.31 c learnt constraints deletion: 4750 -> 2381 424.31/424.43 c learnt constraints deletion: 4725 -> 2372 428.01/428.15 c learnt constraints deletion: 4761 -> 2390 431.61/431.71 c learnt constraints deletion: 4746 -> 2380 434.50/434.60 c learnt constraints deletion: 4740 -> 2379 437.71/437.83 c learnt constraints deletion: 4752 -> 2383 440.91/441.02 c learnt constraints deletion: 4726 -> 2370 444.11/444.24 c learnt constraints deletion: 4749 -> 2382 447.40/447.56 c learnt constraints deletion: 4729 -> 2371 450.60/450.76 c learnt constraints deletion: 4720 -> 2367 454.31/454.40 c learnt constraints deletion: 4724 -> 2370 457.40/457.57 c learnt constraints deletion: 4747 -> 2382 460.81/460.95 c learnt constraints deletion: 4726 -> 2372 464.69/464.81 c learnt constraints deletion: 4715 -> 2366 468.10/468.29 c learnt constraints deletion: 4715 -> 2368 471.40/471.50 c learnt constraints deletion: 4747 -> 2382 475.00/475.12 c learnt constraints deletion: 4756 -> 2385 477.90/478.03 c learnt constraints deletion: 4719 -> 2368 481.00/481.15 c learnt constraints deletion: 4770 -> 2394 484.10/484.24 c learnt constraints deletion: 4760 -> 2388 487.29/487.49 c learnt constraints deletion: 4752 -> 2386 491.10/491.27 c learnt constraints deletion: 4718 -> 2367 495.60/495.70 c learnt constraints deletion: 4729 -> 2374 499.99/500.14 c learnt constraints deletion: 4726 -> 2373 504.80/504.92 c learnt constraints deletion: 4726 -> 2371 509.20/509.35 c learnt constraints deletion: 4716 -> 2368 513.29/513.42 c learnt constraints deletion: 4778 -> 2397 516.19/516.34 c learnt constraints deletion: 4748 -> 2382 519.29/519.49 c learnt constraints deletion: 4701 -> 2361 522.69/522.83 c learnt constraints deletion: 4736 -> 2379 525.99/526.10 c learnt constraints deletion: 4740 -> 2381 529.39/529.50 c learnt constraints deletion: 4748 -> 2385 532.68/532.84 c learnt constraints deletion: 4745 -> 2383 536.29/536.45 c learnt constraints deletion: 4720 -> 2368 539.59/539.71 c learnt constraints deletion: 4746 -> 2380 542.69/542.83 c learnt constraints deletion: 4727 -> 2372 546.19/546.37 c learnt constraints deletion: 4752 -> 2384 549.19/549.39 c learnt constraints deletion: 4760 -> 2389 552.58/552.76 c learnt constraints deletion: 4747 -> 2384 555.99/556.11 c learnt constraints deletion: 4731 -> 2375 559.38/559.54 c learnt constraints deletion: 4734 -> 2376 562.78/562.98 c learnt constraints deletion: 4751 -> 2383 565.78/565.96 c learnt constraints deletion: 4753 -> 2386 569.18/569.39 c learnt constraints deletion: 4740 -> 2382 572.58/572.78 c learnt constraints deletion: 4747 -> 2382 575.98/576.15 c learnt constraints deletion: 4733 -> 2375 579.98/580.16 c learnt constraints deletion: 4733 -> 2377 583.99/584.11 c learnt constraints deletion: 4734 -> 2375 587.97/588.13 c learnt constraints deletion: 4736 -> 2377 592.08/592.29 c learnt constraints deletion: 4714 -> 2368 596.37/596.53 c learnt constraints deletion: 4739 -> 2382 600.78/600.94 c learnt constraints deletion: 4743 -> 2385 604.67/604.84 c learnt constraints deletion: 4718 -> 2369 608.57/608.73 c learnt constraints deletion: 4753 -> 2387 612.97/613.14 c learnt constraints deletion: 4740 -> 2379 617.28/617.46 c learnt constraints deletion: 4721 -> 2370 621.78/621.93 c learnt constraints deletion: 4752 -> 2385 626.37/626.53 c learnt constraints deletion: 4747 -> 2385 630.77/630.91 c learnt constraints deletion: 4701 -> 2361 636.37/636.56 c learnt constraints deletion: 5125 -> 2572 640.47/640.69 c learnt constraints deletion: 4832 -> 2416 642.57/642.71 c learnt constraints deletion: 4545 -> 2273 645.67/645.85 c learnt constraints deletion: 5299 -> 2652 649.37/649.57 c learnt constraints deletion: 5288 -> 2649 653.07/653.23 c learnt constraints deletion: 5293 -> 2652 656.77/656.97 c learnt constraints deletion: 5276 -> 2643 660.47/660.69 c learnt constraints deletion: 5270 -> 2640 664.36/664.56 c learnt constraints deletion: 5276 -> 2644 668.27/668.40 c learnt constraints deletion: 5292 -> 2652 672.26/672.41 c learnt constraints deletion: 5284 -> 2647 676.27/676.41 c learnt constraints deletion: 5289 -> 2651 680.07/680.25 c learnt constraints deletion: 5275 -> 2644 684.26/684.47 c learnt constraints deletion: 5298 -> 2656 688.47/688.65 c learnt constraints deletion: 5272 -> 2641 691.87/692.09 c learnt constraints deletion: 5292 -> 2652 695.76/695.92 c learnt constraints deletion: 5306 -> 2658 699.47/699.67 c learnt constraints deletion: 5291 -> 2653 703.36/703.53 c learnt constraints deletion: 5260 -> 2636 707.35/707.52 c learnt constraints deletion: 5273 -> 2642 711.16/711.36 c learnt constraints deletion: 5240 -> 2624 716.46/716.60 c learnt constraints deletion: 5235 -> 2625 721.76/721.97 c learnt constraints deletion: 5240 -> 2625 725.96/726.13 c learnt constraints deletion: 5203 -> 2607 730.55/730.74 c learnt constraints deletion: 5240 -> 2625 734.56/734.78 c learnt constraints deletion: 5246 -> 2630 739.06/739.27 c learnt constraints deletion: 5250 -> 2630 743.85/744.06 c learnt constraints deletion: 5243 -> 2630 749.25/749.41 c learnt constraints deletion: 5238 -> 2624 754.45/754.60 c learnt constraints deletion: 5238 -> 2627 759.75/759.97 c learnt constraints deletion: 5230 -> 2620 765.05/765.29 c learnt constraints deletion: 5237 -> 2629 770.74/770.98 c learnt constraints deletion: 5248 -> 2631 775.95/776.16 c learnt constraints deletion: 5244 -> 2629 781.55/781.79 c learnt constraints deletion: 5236 -> 2625 786.75/786.93 c learnt constraints deletion: 5246 -> 2629 792.64/792.89 c learnt constraints deletion: 5247 -> 2631 797.14/797.34 c learnt constraints deletion: 5241 -> 2627 801.24/801.46 c learnt constraints deletion: 5248 -> 2631 805.44/805.65 c learnt constraints deletion: 5239 -> 2627 809.65/809.80 c learnt constraints deletion: 5231 -> 2623 814.05/814.24 c learnt constraints deletion: 5248 -> 2630 818.25/818.49 c learnt constraints deletion: 5260 -> 2636 822.24/822.43 c learnt constraints deletion: 5236 -> 2625 826.34/826.56 c learnt constraints deletion: 5251 -> 2632 830.64/830.84 c learnt constraints deletion: 5261 -> 2638 834.84/835.06 c learnt constraints deletion: 5257 -> 2637 838.84/839.07 c learnt constraints deletion: 5249 -> 2632 842.44/842.63 c learnt constraints deletion: 5242 -> 2628 846.23/846.42 c learnt constraints deletion: 5242 -> 2628 850.04/850.23 c learnt constraints deletion: 5238 -> 2627 853.94/854.10 c learnt constraints deletion: 5247 -> 2631 857.93/858.12 c learnt constraints deletion: 5222 -> 2619 861.73/861.99 c learnt constraints deletion: 5222 -> 2619 865.54/865.71 c learnt constraints deletion: 5238 -> 2626 869.54/869.73 c learnt constraints deletion: 5244 -> 2629 873.24/873.46 c learnt constraints deletion: 5234 -> 2623 877.83/878.04 c learnt constraints deletion: 5254 -> 2634 881.94/882.20 c learnt constraints deletion: 5262 -> 2638 886.34/886.54 c learnt constraints deletion: 5227 -> 2621 891.13/891.34 c learnt constraints deletion: 5256 -> 2635 895.63/895.85 c learnt constraints deletion: 5234 -> 2623 900.03/900.22 c learnt constraints deletion: 5256 -> 2633 903.83/904.02 c learnt constraints deletion: 5254 -> 2633 907.93/908.19 c learnt constraints deletion: 5237 -> 2627 912.43/912.68 c learnt constraints deletion: 5221 -> 2618 916.93/917.14 c learnt constraints deletion: 5253 -> 2634 921.12/921.39 c learnt constraints deletion: 5242 -> 2628 925.02/925.24 c learnt constraints deletion: 5255 -> 2634 929.03/929.21 c learnt constraints deletion: 5259 -> 2639 932.92/933.16 c learnt constraints deletion: 5234 -> 2624 937.12/937.35 c learnt constraints deletion: 5240 -> 2626 941.02/941.29 c learnt constraints deletion: 5250 -> 2632 945.12/945.30 c learnt constraints deletion: 5239 -> 2629 949.22/949.46 c learnt constraints deletion: 5238 -> 2627 953.22/953.42 c learnt constraints deletion: 5230 -> 2621 957.12/957.33 c learnt constraints deletion: 5238 -> 2625 961.02/961.20 c learnt constraints deletion: 5227 -> 2623 965.12/965.30 c learnt constraints deletion: 5223 -> 2620 969.22/969.45 c learnt constraints deletion: 5243 -> 2630 973.23/973.49 c learnt constraints deletion: 5221 -> 2619 977.52/977.79 c learnt constraints deletion: 5252 -> 2632 981.72/981.90 c learnt constraints deletion: 5247 -> 2629 985.82/986.00 c learnt constraints deletion: 5239 -> 2626 990.01/990.24 c learnt constraints deletion: 5251 -> 2632 994.92/995.13 c learnt constraints deletion: 5659 -> 2836 998.31/998.51 c learnt constraints deletion: 4951 -> 2476 1001.92/1002.19 c learnt constraints deletion: 5802 -> 2905 1005.91/1006.15 c learnt constraints deletion: 5798 -> 2905 1010.21/1010.40 c learnt constraints deletion: 5804 -> 2908 1014.31/1014.59 c learnt constraints deletion: 5772 -> 2892 1018.42/1018.66 c learnt constraints deletion: 5799 -> 2906 1022.21/1022.43 c learnt constraints deletion: 5775 -> 2894 1026.21/1026.45 c learnt constraints deletion: 5796 -> 2905 1030.21/1030.41 c learnt constraints deletion: 5765 -> 2890 1034.11/1034.36 c learnt constraints deletion: 5786 -> 2899 1038.01/1038.27 c learnt constraints deletion: 5771 -> 2893 1042.11/1042.33 c learnt constraints deletion: 5761 -> 2887 1046.11/1046.39 c learnt constraints deletion: 5694 -> 2852 1050.11/1050.31 c learnt constraints deletion: 5702 -> 2857 1054.72/1054.98 c learnt constraints deletion: 5702 -> 2858 1059.61/1059.86 c learnt constraints deletion: 5698 -> 2857 1064.40/1064.68 c learnt constraints deletion: 5713 -> 2867 1069.51/1069.74 c learnt constraints deletion: 5703 -> 2860 1074.90/1075.11 c learnt constraints deletion: 5675 -> 2846 1080.60/1080.86 c learnt constraints deletion: 5693 -> 2856 1086.51/1086.73 c learnt constraints deletion: 5711 -> 2865 1091.50/1091.77 c learnt constraints deletion: 5704 -> 2859 1096.70/1096.99 c learnt constraints deletion: 5715 -> 2867 1102.20/1102.41 c learnt constraints deletion: 5692 -> 2852 1105.99/1106.28 c learnt constraints deletion: 5719 -> 2867 1110.60/1110.83 c learnt constraints deletion: 5719 -> 2867 1114.30/1114.55 c learnt constraints deletion: 5712 -> 2863 1118.20/1118.48 c learnt constraints deletion: 5727 -> 2871 1122.20/1122.40 c learnt constraints deletion: 5716 -> 2864 1125.70/1125.95 c learnt constraints deletion: 5728 -> 2871 1129.50/1129.73 c learnt constraints deletion: 5734 -> 2874 1133.29/1133.59 c learnt constraints deletion: 5726 -> 2870 1137.29/1137.51 c learnt constraints deletion: 5716 -> 2867 1141.10/1141.39 c learnt constraints deletion: 5710 -> 2863 1144.79/1145.02 c learnt constraints deletion: 5708 -> 2862 1148.99/1149.24 c learnt constraints deletion: 5716 -> 2866 1153.09/1153.37 c learnt constraints deletion: 5715 -> 2865 1157.59/1157.89 c learnt constraints deletion: 5697 -> 2857 1162.29/1162.53 c learnt constraints deletion: 5704 -> 2860 1166.09/1166.37 c learnt constraints deletion: 5724 -> 2869 1170.09/1170.39 c learnt constraints deletion: 5724 -> 2870 1174.28/1174.54 c learnt constraints deletion: 5719 -> 2867 1178.28/1178.58 c learnt constraints deletion: 5714 -> 2866 1182.38/1182.63 c learnt constraints deletion: 5720 -> 2869 1186.08/1186.39 c learnt constraints deletion: 5721 -> 2869 1190.29/1190.54 c learnt constraints deletion: 5697 -> 2856 1193.68/1194.00 c learnt constraints deletion: 5695 -> 2855 1197.59/1197.85 c learnt constraints deletion: 5732 -> 2873 1201.48/1201.75 c learnt constraints deletion: 5687 -> 2852 1205.29/1205.60 c learnt constraints deletion: 5722 -> 2868 1209.18/1209.42 c learnt constraints deletion: 5714 -> 2864 1213.18/1213.46 c learnt constraints deletion: 5731 -> 2876 1217.08/1217.37 c learnt constraints deletion: 5722 -> 2869 1221.28/1221.54 c learnt constraints deletion: 5726 -> 2870 1225.38/1225.65 c learnt constraints deletion: 5717 -> 2866 1229.68/1229.92 c learnt constraints deletion: 5696 -> 2855 1234.67/1234.92 c learnt constraints deletion: 5710 -> 2863 1239.88/1240.16 c learnt constraints deletion: 5703 -> 2860 1243.58/1243.87 c learnt constraints deletion: 5724 -> 2869 1247.38/1247.68 c learnt constraints deletion: 5726 -> 2870 1251.27/1251.59 c learnt constraints deletion: 5716 -> 2865 1255.27/1255.52 c learnt constraints deletion: 5714 -> 2864 1259.47/1259.77 c learnt constraints deletion: 5704 -> 2859 1263.47/1263.77 c learnt constraints deletion: 5732 -> 2872 1267.58/1267.84 c learnt constraints deletion: 5727 -> 2872 1271.57/1271.85 c learnt constraints deletion: 5706 -> 2861 1275.78/1276.01 c learnt constraints deletion: 5728 -> 2871 1279.87/1280.11 c learnt constraints deletion: 5727 -> 2871 1283.87/1284.14 c learnt constraints deletion: 5724 -> 2868 1287.78/1288.05 c learnt constraints deletion: 5715 -> 2865 1291.67/1291.98 c learnt constraints deletion: 5723 -> 2870 1295.67/1295.94 c learnt constraints deletion: 5729 -> 2874 1299.66/1299.96 c learnt constraints deletion: 5709 -> 2863 1303.97/1304.20 c learnt constraints deletion: 5734 -> 2874 1309.16/1309.48 c learnt constraints deletion: 5730 -> 2872 1313.07/1313.39 c learnt constraints deletion: 5710 -> 2862 1317.16/1317.49 c learnt constraints deletion: 5730 -> 2873 1321.16/1321.45 c learnt constraints deletion: 5731 -> 2874 1324.96/1325.20 c learnt constraints deletion: 5722 -> 2869 1328.87/1329.18 c learnt constraints deletion: 5675 -> 2845 1332.97/1333.28 c learnt constraints deletion: 5715 -> 2866 1337.16/1337.49 c learnt constraints deletion: 5704 -> 2859 1341.27/1341.50 c learnt constraints deletion: 5701 -> 2859 1345.26/1345.51 c learnt constraints deletion: 5692 -> 2853 1349.27/1349.60 c learnt constraints deletion: 5718 -> 2866 1353.06/1353.40 c learnt constraints deletion: 5702 -> 2861 1357.26/1357.53 c learnt constraints deletion: 5733 -> 2874 1361.26/1361.53 c learnt constraints deletion: 5709 -> 2863 1365.16/1365.45 c learnt constraints deletion: 5723 -> 2869 1369.36/1369.66 c learnt constraints deletion: 5714 -> 2870 1373.16/1373.45 c learnt constraints deletion: 5698 -> 2857 1377.15/1377.40 c learnt constraints deletion: 5723 -> 2869 1381.15/1381.40 c learnt constraints deletion: 5715 -> 2866 1385.36/1385.62 c learnt constraints deletion: 5710 -> 2862 1389.35/1389.66 c learnt constraints deletion: 5731 -> 2872 1393.06/1393.30 c learnt constraints deletion: 5716 -> 2865 1397.55/1397.83 c learnt constraints deletion: 5707 -> 2863 1401.86/1402.15 c learnt constraints deletion: 5724 -> 2870 1406.25/1406.55 c learnt constraints deletion: 5713 -> 2865 1410.35/1410.65 c learnt constraints deletion: 5732 -> 2875 1415.05/1415.33 c learnt constraints deletion: 5715 -> 2866 1419.05/1419.38 c learnt constraints deletion: 5710 -> 2864 1423.64/1423.98 c learnt constraints deletion: 5697 -> 2859 1427.85/1428.12 c learnt constraints deletion: 5726 -> 2870 1431.86/1432.17 c learnt constraints deletion: 5701 -> 2858 1435.75/1436.00 c learnt constraints deletion: 5713 -> 2865 1439.95/1440.23 c learnt constraints deletion: 5712 -> 2865 1443.65/1443.90 c learnt constraints deletion: 5718 -> 2866 1447.55/1447.82 c learnt constraints deletion: 5728 -> 2871 1451.55/1451.89 c learnt constraints deletion: 5734 -> 2875 1455.54/1455.83 c learnt constraints deletion: 5715 -> 2866 1459.65/1459.91 c learnt constraints deletion: 5700 -> 2859 1463.65/1463.98 c learnt constraints deletion: 5697 -> 2857 1467.94/1468.23 c learnt constraints deletion: 5698 -> 2857 1471.94/1472.23 c learnt constraints deletion: 5712 -> 2863 1476.85/1477.16 c learnt constraints deletion: 6151 -> 3083 1481.14/1481.48 c learnt constraints deletion: 6179 -> 3097 1485.85/1486.19 c learnt constraints deletion: 6844 -> 3431 1491.14/1491.44 c learnt constraints deletion: 6810 -> 3417 1496.33/1496.64 c learnt constraints deletion: 6807 -> 3415 1501.73/1502.09 c learnt constraints deletion: 6820 -> 3423 1507.44/1507.70 c learnt constraints deletion: 6803 -> 3414 1512.83/1513.16 c learnt constraints deletion: 6811 -> 3420 1518.64/1518.90 c learnt constraints deletion: 6804 -> 3413 1524.53/1524.83 c learnt constraints deletion: 6814 -> 3418 1530.73/1531.09 c learnt constraints deletion: 6805 -> 3416 1537.73/1538.01 c learnt constraints deletion: 6797 -> 3413 1543.73/1544.08 c learnt constraints deletion: 6823 -> 3424 1549.54/1549.84 c learnt constraints deletion: 6827 -> 3427 1555.83/1556.18 c learnt constraints deletion: 6841 -> 3436 1562.33/1562.69 c learnt constraints deletion: 6827 -> 3426 1569.12/1569.42 c learnt constraints deletion: 6823 -> 3425 1575.83/1576.13 c learnt constraints deletion: 6824 -> 3425 1582.22/1582.54 c learnt constraints deletion: 6815 -> 3421 1588.53/1588.85 c learnt constraints deletion: 6817 -> 3422 1594.73/1595.03 c learnt constraints deletion: 6831 -> 3430 1600.72/1601.01 c learnt constraints deletion: 6816 -> 3421 1606.73/1607.07 c learnt constraints deletion: 6835 -> 3431 1612.72/1613.03 c learnt constraints deletion: 6819 -> 3424 1618.82/1619.14 c learnt constraints deletion: 6839 -> 3434 1625.72/1626.06 c learnt constraints deletion: 6830 -> 3430 1632.42/1632.76 c learnt constraints deletion: 6831 -> 3428 1638.32/1638.60 c learnt constraints deletion: 6801 -> 3415 1644.61/1644.90 c learnt constraints deletion: 6829 -> 3430 1650.82/1651.19 c learnt constraints deletion: 6849 -> 3438 1657.11/1657.41 c learnt constraints deletion: 6842 -> 3436 1663.21/1663.53 c learnt constraints deletion: 6800 -> 3415 1669.70/1670.04 c learnt constraints deletion: 6810 -> 3416 1675.71/1676.00 c learnt constraints deletion: 6798 -> 3412 1681.61/1681.96 c learnt constraints deletion: 6817 -> 3421 1687.80/1688.19 c learnt constraints deletion: 6834 -> 3429 1693.80/1694.12 c learnt constraints deletion: 6798 -> 3411 1699.91/1700.22 c learnt constraints deletion: 6809 -> 3417 1706.50/1706.82 c learnt constraints deletion: 6814 -> 3421 1712.90/1713.24 c learnt constraints deletion: 6821 -> 3424 1719.10/1719.49 c learnt constraints deletion: 6791 -> 3409 1725.60/1725.96 c learnt constraints deletion: 6803 -> 3414 1731.80/1732.18 c learnt constraints deletion: 6787 -> 3406 1737.90/1738.21 c learnt constraints deletion: 6829 -> 3427 1743.80/1744.13 c learnt constraints deletion: 6794 -> 3409 1749.40/1749.76 c learnt constraints deletion: 6751 -> 3388 1755.31/1755.62 c learnt constraints deletion: 6797 -> 3412 1761.49/1761.86 c learnt constraints deletion: 6805 -> 3416 1767.30/1767.67 c learnt constraints deletion: 6806 -> 3416 1772.80/1773.15 c learnt constraints deletion: 6805 -> 3417 1778.59/1778.95 c learnt constraints deletion: 6804 -> 3415 1785.09/1785.45 c learnt constraints deletion: 6786 -> 3406 1791.09/1791.44 c learnt constraints deletion: 6783 -> 3405 1797.38/1797.72 c learnt constraints deletion: 6807 -> 3418
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-3711989-1338176450/watcher-3711989-1338176450 -o /tmp/evaluation-result-3711989-1338176450/solver-3711989-1338176450 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711989-1338176450.wbo 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 2.00 2.00 3/177 31561 /proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 283769328 6356992 734 33554432000 4194304 8973514 140736632703744 140734225568328 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 1552 734 422 1167 0 333 0 [startup+0.0672239 s] /proc/loadavg: 1.96 2.00 2.00 3/177 31561 /proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=9280 CPUtime=0.06 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 1397 0 0 0 6 0 0 0 20 0 1 0 283769328 9502720 1319 33554432000 4194304 8973514 140736632703744 140734225568328 4415312 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 2320 1319 452 1167 0 1101 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9280 [startup+0.100278 s] /proc/loadavg: 1.96 2.00 2.00 3/177 31561 /proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=9280 CPUtime=0.09 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 1594 0 0 0 9 0 0 0 20 0 1 0 283769328 9502720 1516 33554432000 4194304 8973514 140736632703744 140734225568328 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 2320 1516 452 1167 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9280 [startup+0.300234 s] /proc/loadavg: 1.96 2.00 2.00 3/177 31561 /proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=9280 CPUtime=0.29 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 1626 0 0 0 29 0 0 0 20 0 1 0 283769328 9502720 1548 33554432000 4194304 8973514 140736632703744 140734225568328 6842064 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 2320 1548 452 1167 0 1101 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9280 [startup+0.700251 s] /proc/loadavg: 1.96 2.00 2.00 3/177 31561 /proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=11328 CPUtime=0.69 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 2138 0 0 0 69 0 0 0 20 0 1 0 283769328 11599872 2060 33554432000 4194304 8973514 140736632703744 140736632703240 6576169 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 2832 2060 452 1167 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11328 [startup+1.50025 s] /proc/loadavg: 1.96 2.00 2.00 3/178 31562 /proc/meminfo: memFree=31026752/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=13376 CPUtime=1.49 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 2662 0 0 0 148 1 0 0 20 0 1 0 283769328 13697024 2584 33554432000 4194304 8973514 140736632703744 140736632703240 7688766 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 3344 2584 464 1167 0 2125 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13376 [startup+3.10029 s] /proc/loadavg: 1.96 2.00 2.00 3/178 31562 /proc/meminfo: memFree=31024760/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=16448 CPUtime=3.09 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 3430 0 0 0 307 2 0 0 20 0 1 0 283769328 16842752 3352 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 4112 3352 464 1167 0 2893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16448 [startup+6.30029 s] /proc/loadavg: 1.97 2.00 2.00 3/178 31562 /proc/meminfo: memFree=31018180/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=21568 CPUtime=6.29 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 4710 0 0 0 625 4 0 0 20 0 1 0 283769328 22085632 4632 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 5392 4632 464 1167 0 4173 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21568 [startup+12.7003 s] /proc/loadavg: 1.97 2.00 2.00 3/177 31562 /proc/meminfo: memFree=31010484/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=27712 CPUtime=12.68 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 6254 0 0 0 1260 8 0 0 20 0 1 0 283769328 28377088 6170 33554432000 4194304 8973514 140736632703744 140736632703008 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 6928 6170 466 1167 0 5709 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27712 [startup+25.5003 s] /proc/loadavg: 1.97 2.00 2.00 3/177 31562 /proc/meminfo: memFree=30997348/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=41024 CPUtime=25.48 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 9586 0 0 0 2532 16 0 0 20 0 1 0 283769328 42008576 9498 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 10256 9498 466 1167 0 9037 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41024 [startup+51.1003 s] /proc/loadavg: 1.98 2.00 2.00 3/177 31562 /proc/meminfo: memFree=30982216/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=56384 CPUtime=51.07 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 13427 0 0 0 5075 32 0 0 20 0 1 0 283769328 57737216 13338 33554432000 4194304 8973514 140736632703744 140736632703240 7716397 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 14096 13338 466 1167 0 12877 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56384 [startup+102.307 s] /proc/loadavg: 1.99 2.00 2.00 3/177 31562 /proc/meminfo: memFree=30983000/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=55360 CPUtime=102.26 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 13686 0 0 0 10165 61 0 0 20 0 1 0 283769328 56688640 13082 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 13840 13082 466 1167 0 12621 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 55360 [startup+162.3 s] /proc/loadavg: 2.07 2.01 2.00 3/177 31563 /proc/meminfo: memFree=30976732/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=62528 CPUtime=162.25 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 15478 0 0 0 16132 93 0 0 20 0 1 0 283769328 64028672 14874 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 15632 14874 466 1167 0 14413 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 62528 [startup+222.3 s] /proc/loadavg: 2.09 2.02 2.00 3/177 31563 /proc/meminfo: memFree=30971580/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=66624 CPUtime=222.24 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 16503 0 0 0 22096 128 0 0 20 0 1 0 283769328 68222976 15898 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 16656 15898 466 1167 0 15437 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 66624 [startup+282.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 31563 /proc/meminfo: memFree=30968852/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=69696 CPUtime=282.23 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 17271 0 0 0 28060 163 0 0 20 0 1 0 283769328 71368704 16666 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 17424 16666 466 1167 0 16205 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 69696 [startup+342.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 31563 /proc/meminfo: memFree=30963448/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=74816 CPUtime=342.22 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 18554 0 0 0 34029 193 0 0 20 0 1 0 283769328 76611584 17946 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 18704 17946 466 1167 0 17485 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 74816 [startup+402.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 31563 /proc/meminfo: memFree=30961524/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=74816 CPUtime=402.21 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 19066 0 0 0 40001 220 0 0 20 0 1 0 283769328 76611584 17946 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 18704 17946 466 1167 0 17485 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 74816 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31564 /proc/meminfo: memFree=30962760/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=74816 CPUtime=462.2 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 19066 0 0 0 45969 251 0 0 20 0 1 0 283769328 76611584 17946 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 18704 17946 466 1167 0 17485 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 74816 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31564 /proc/meminfo: memFree=30962696/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=75840 CPUtime=522.19 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 19322 0 0 0 51940 279 0 0 20 0 1 0 283769328 77660160 18202 33554432000 4194304 8973514 140736632703744 140736632703240 6576972 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 18960 18202 466 1167 0 17741 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 75840 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 31567 /proc/meminfo: memFree=30959024/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=78912 CPUtime=582.18 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 20092 0 0 0 57907 311 0 0 20 0 1 0 283769328 80805888 18970 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 19728 18970 466 1167 0 18509 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 78912 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 31568 /proc/meminfo: memFree=30948972/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=87104 CPUtime=822.14 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 81764 450 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 21776 21018 466 1167 0 20557 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 87104 [startup+882.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 31568 /proc/meminfo: memFree=30948724/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=87104 CPUtime=882.13 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 87724 489 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703240 6842372 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 21776 21018 466 1167 0 20557 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 87104 [startup+942.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 31568 /proc/meminfo: memFree=30947916/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=87104 CPUtime=942.13 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 93680 533 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632701696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 21776 21018 466 1167 0 20557 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 87104 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31568 /proc/meminfo: memFree=30947172/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=87104 CPUtime=1002.12 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 99637 575 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 21776 21018 466 1167 0 20557 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 87104 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31569 /proc/meminfo: memFree=30947048/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=87104 CPUtime=1062.11 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 105597 614 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 21776 21018 466 1167 0 20557 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 87104 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31569 /proc/meminfo: memFree=30934696/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=99392 CPUtime=1122.1 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 26750 0 0 0 111559 651 0 0 20 0 1 0 283769328 101777408 24090 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 24848 24090 466 1167 0 23629 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 99392 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 31572 /proc/meminfo: memFree=30942380/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=91200 CPUtime=1182.08 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 26750 0 0 0 117526 682 0 0 20 0 1 0 283769328 93388800 22042 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 22800 22042 466 1167 0 21581 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 91200 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 31595 /proc/meminfo: memFree=30942256/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=91200 CPUtime=1242.08 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 26750 0 0 0 123494 714 0 0 20 0 1 0 283769328 93388800 22042 33554432000 4194304 8973514 140736632703744 140736632703240 7716779 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 22800 22042 466 1167 0 21581 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 91200 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31595 /proc/meminfo: memFree=30938416/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=95296 CPUtime=1302.08 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 129463 745 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 23824 23066 466 1167 0 22605 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 95296 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/176 31595 /proc/meminfo: memFree=30938176/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=95296 CPUtime=1362.06 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 135428 778 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 23824 23066 466 1167 0 22605 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 95296 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/177 31635 /proc/meminfo: memFree=30936872/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=95296 CPUtime=1422.05 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 141398 807 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632701952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 23824 23066 466 1167 0 22605 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 95296 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 31635 /proc/meminfo: memFree=30930796/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=95296 CPUtime=1482.04 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 147362 842 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 23824 23066 466 1167 0 22605 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 95296 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 2.00 3/177 31635 /proc/meminfo: memFree=30911752/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=108608 CPUtime=1542.03 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 32126 0 0 0 153331 872 0 0 20 0 1 0 283769328 111214592 26394 33554432000 4194304 8973514 140736632703744 140736632703240 4213743 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 27152 26394 466 1167 0 25933 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 108608 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 31635 /proc/meminfo: memFree=30896724/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=119872 CPUtime=1602.02 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35200 0 0 0 159304 898 0 0 20 0 1 0 283769328 122748928 29210 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 29968 29210 466 1167 0 28749 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 119872 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 31635 /proc/meminfo: memFree=30900064/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=115776 CPUtime=1662.01 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 165275 926 0 0 20 0 1 0 283769328 118554624 28186 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 28944 28186 466 1167 0 27725 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 115776 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 31636 /proc/meminfo: memFree=30901796/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=111680 CPUtime=1722 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 171243 957 0 0 20 0 1 0 283769328 114360320 27162 33554432000 4194304 8973514 140736632703744 140736632701696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 27920 27162 466 1167 0 26701 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 111680 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 31639 /proc/meminfo: memFree=30903720/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=111680 CPUtime=1781.99 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 177215 984 0 0 20 0 1 0 283769328 114360320 27162 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 27920 27162 466 1167 0 26701 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 111680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.08 2.03 2.01 3/178 31639 /proc/meminfo: memFree=30902344/32873844 swapFree=7620/7620 [pid=31561] ppid=31559 vsize=111680 CPUtime=1800.1 cores=1,3,5,7 /proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 179018 992 0 0 20 0 1 0 283769328 114360320 27162 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/31561/statm: 27920 27162 466 1167 0 26701 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 111680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.11 CPU user time (s): 1790.18 CPU system time (s): 9.92149 CPU usage (%): 99.9832 Max. virtual memory (cumulated for all children) (KiB): 120896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.18 system time used= 9.92149 maximum resident set size= 117864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35204 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31 involuntary context switches= 1851 runsolver used 3.3105 second user time and 9.64553 second system time The end
Begin job on node143 at 2012-05-28 05:40:50 IDJOB=3711989 IDBENCH=78699 IDSOLVER=2291 FILE ID=node143/3711989-1338176450 RUNJOBID= node143-1338160335-29755 PBS_JOBID= 14624561 Free space on /tmp= 71656 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711989-1338176450/watcher-3711989-1338176450 -o /tmp/evaluation-result-3711989-1338176450/solver-3711989-1338176450 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711989-1338176450.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ea89038de81a2a24e795de2249a907ab RANDOM SEED=196105069 node143.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.787 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.57 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.787 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.787 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.91 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.787 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.787 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.90 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.787 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 : 5298.57 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.787 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.787 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: 31034456 kB Buffers: 377348 kB Cached: 595468 kB SwapCached: 0 kB Active: 627572 kB Inactive: 375388 kB Active(anon): 20652 kB Inactive(anon): 11300 kB Active(file): 606920 kB Inactive(file): 364088 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7444 kB Writeback: 0 kB AnonPages: 36568 kB Mapped: 16064 kB Shmem: 200 kB Slab: 696788 kB SReclaimable: 139148 kB SUnreclaim: 557640 kB KernelStack: 1472 kB PageTables: 3732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 144072 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= 71648 MiB End job on node143 at 2012-05-28 06:10:52