Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.09 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
MD5SUM | 866c660dea8282137b8c78839dd4c03f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4517 |
Best CPU time to get the best result obtained on this benchmark | 0.174972 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4517 |
Optimality of the best value was proved | YES |
Number of variables | 651 |
Total number of constraints | 1658 |
Number of constraints which are clauses | 1656 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 651 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 28138 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 28138 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.08 c 2012-06-02T12:35:16+0200 0.06/0.08 c arch = x86_64 0.06/0.08 c os = linux 0.06/0.08 c compiler = ghc 7.4 0.06/0.08 c packages: 0.06/0.08 c OptDir-0.0.1 0.06/0.08 c array-0.4.0.0 0.06/0.08 c base-4.5.0.0 0.06/0.08 c bytestring-0.9.2.1 0.06/0.08 c containers-0.4.2.1 0.06/0.08 c deepseq-1.3.0.0 0.06/0.08 c mtl-2.1.1 0.06/0.08 c old_locale-1.0.0.4 0.06/0.08 c parse_dimacs-1.2 0.06/0.08 c parsec-3.1.2 0.06/0.08 c queue-0.1.2 0.06/0.08 c stm-2.3 0.06/0.08 c time-1.4 0.06/0.08 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725066-1338633316.opb"] 0.06/0.08 c #vars 651 0.06/0.08 c #constraints 1658 0.06/0.08 c Solving starts ... 0.06/0.08 c solving time = 0.001s 0.06/0.08 c #decision = 400 0.06/0.08 c #conflict = 0 0.06/0.08 c #restart = 0 0.06/0.08 o 6227 0.06/0.09 c Solving starts ... 0.06/0.09 c solving time = 0.007s 0.06/0.09 c #decision = 799 0.06/0.09 c #conflict = 3 0.06/0.09 c #restart = 0 0.06/0.09 o 6204 0.06/0.09 c Solving starts ... 0.09/0.11 c solving time = 0.013s 0.09/0.11 c #decision = 1212 0.09/0.11 c #conflict = 7 0.09/0.11 c #restart = 0 0.09/0.11 o 6181 0.09/0.11 c Solving starts ... 0.09/0.12 c solving time = 0.013s 0.09/0.12 c #decision = 1626 0.09/0.12 c #conflict = 9 0.09/0.12 c #restart = 0 0.09/0.12 o 6158 0.09/0.12 c Solving starts ... 0.09/0.17 c solving time = 0.051s 0.09/0.17 c #decision = 2076 0.09/0.17 c #conflict = 43 0.09/0.17 c #restart = 0 0.09/0.17 o 6135 0.09/0.17 c Solving starts ... 2.59/2.64 c learnt constraints deletion: 1268 -> 640 3.88/3.99 c learnt constraints deletion: 1372 -> 689 5.09/5.18 c learnt constraints deletion: 1501 -> 754 6.69/6.70 c learnt constraints deletion: 1647 -> 826 7.99/8.07 c learnt constraints deletion: 1631 -> 819 9.99/10.07 c learnt constraints deletion: 1789 -> 896 11.69/11.73 c learnt constraints deletion: 1801 -> 906 13.20/13.23 c learnt constraints deletion: 1781 -> 893 15.18/15.21 c learnt constraints deletion: 1942 -> 975 17.18/17.22 c learnt constraints deletion: 2002 -> 1008 18.78/18.83 c learnt constraints deletion: 1959 -> 986 20.38/20.42 c learnt constraints deletion: 1953 -> 982 22.48/22.54 c learnt constraints deletion: 2150 -> 1078 24.29/24.38 c learnt constraints deletion: 2136 -> 1069 26.18/26.23 c learnt constraints deletion: 2114 -> 1060 28.19/28.24 c learnt constraints deletion: 2148 -> 1078 30.08/30.15 c learnt constraints deletion: 2147 -> 1078 32.28/32.37 c learnt constraints deletion: 2345 -> 1178 34.38/34.43 c learnt constraints deletion: 2360 -> 1189 36.48/36.51 c learnt constraints deletion: 2318 -> 1161 38.38/38.42 c learnt constraints deletion: 2331 -> 1168 40.48/40.53 c learnt constraints deletion: 2348 -> 1179 42.38/42.47 c learnt constraints deletion: 2348 -> 1181 44.38/44.49 c learnt constraints deletion: 2339 -> 1175 46.78/46.88 c learnt constraints deletion: 2527 -> 1264 49.07/49.16 c learnt constraints deletion: 2523 -> 1263 51.18/51.25 c learnt constraints deletion: 2525 -> 1266 53.48/53.52 c learnt constraints deletion: 2531 -> 1267 56.27/56.34 c learnt constraints deletion: 2537 -> 1273 58.57/58.67 c learnt constraints deletion: 2528 -> 1269 60.97/61.03 c learnt constraints deletion: 2522 -> 1264 63.27/63.34 c learnt constraints deletion: 2522 -> 1264 65.67/65.77 c learnt constraints deletion: 2531 -> 1266 68.27/68.33 c learnt constraints deletion: 2540 -> 1273 71.27/71.31 c learnt constraints deletion: 2796 -> 1403 73.87/73.92 c learnt constraints deletion: 2778 -> 1392 76.57/76.61 c learnt constraints deletion: 2770 -> 1387 79.27/79.37 c learnt constraints deletion: 2775 -> 1391 81.97/82.00 c learnt constraints deletion: 2789 -> 1401 84.27/84.33 c learnt constraints deletion: 2760 -> 1380 86.96/87.07 c learnt constraints deletion: 2779 -> 1392 89.97/90.00 c learnt constraints deletion: 2752 -> 1377 92.66/92.70 c learnt constraints deletion: 2756 -> 1381 95.47/95.59 c learnt constraints deletion: 2790 -> 1400 98.17/98.23 c learnt constraints deletion: 2792 -> 1404 100.86/100.92 c learnt constraints deletion: 2756 -> 1378 103.36/103.41 c learnt constraints deletion: 2759 -> 1381 105.96/106.02 c learnt constraints deletion: 2759 -> 1383 108.96/109.01 c learnt constraints deletion: 3029 -> 1516 111.65/111.77 c learnt constraints deletion: 3026 -> 1513 114.85/114.92 c learnt constraints deletion: 3068 -> 1536 117.46/117.60 c learnt constraints deletion: 3033 -> 1522 120.35/120.40 c learnt constraints deletion: 3045 -> 1525 123.06/123.14 c learnt constraints deletion: 3059 -> 1532 125.75/125.85 c learnt constraints deletion: 3054 -> 1528 128.66/128.73 c learnt constraints deletion: 3054 -> 1532 131.55/131.62 c learnt constraints deletion: 3030 -> 1519 134.75/134.88 c learnt constraints deletion: 3034 -> 1522 137.74/137.87 c learnt constraints deletion: 3049 -> 1528 140.54/140.62 c learnt constraints deletion: 3067 -> 1538 143.14/143.20 c learnt constraints deletion: 3032 -> 1519 145.94/146.02 c learnt constraints deletion: 3043 -> 1526 148.94/149.01 c learnt constraints deletion: 3082 -> 1548 151.54/151.65 c learnt constraints deletion: 3017 -> 1509 154.34/154.40 c learnt constraints deletion: 3027 -> 1515 157.14/157.25 c learnt constraints deletion: 3030 -> 1517 160.14/160.27 c learnt constraints deletion: 3049 -> 1531 163.84/163.91 c learnt constraints deletion: 3323 -> 1663 166.94/167.06 c learnt constraints deletion: 3317 -> 1659 169.94/170.09 c learnt constraints deletion: 3297 -> 1649 173.33/173.40 c learnt constraints deletion: 3320 -> 1661 176.63/176.77 c learnt constraints deletion: 3304 -> 1652 179.63/179.71 c learnt constraints deletion: 3313 -> 1659 182.83/182.97 c learnt constraints deletion: 3326 -> 1668 185.73/185.87 c learnt constraints deletion: 3334 -> 1671 188.83/188.91 c learnt constraints deletion: 3313 -> 1659 191.92/192.08 c learnt constraints deletion: 3321 -> 1665 195.23/195.38 c learnt constraints deletion: 3317 -> 1659 198.02/198.19 c learnt constraints deletion: 3302 -> 1652 201.23/201.36 c learnt constraints deletion: 3338 -> 1671 204.22/204.39 c learnt constraints deletion: 3329 -> 1665 207.51/207.60 c learnt constraints deletion: 3318 -> 1660 210.71/210.80 c learnt constraints deletion: 3349 -> 1677 213.82/213.96 c learnt constraints deletion: 3353 -> 1682 216.92/217.05 c learnt constraints deletion: 3342 -> 1674 220.32/220.41 c learnt constraints deletion: 3336 -> 1672 223.41/223.50 c learnt constraints deletion: 3363 -> 1688 226.42/226.52 c learnt constraints deletion: 3330 -> 1668 229.51/229.63 c learnt constraints deletion: 3337 -> 1675 232.71/232.84 c learnt constraints deletion: 3342 -> 1674 235.82/235.96 c learnt constraints deletion: 3334 -> 1670 238.81/238.99 c learnt constraints deletion: 3327 -> 1670 242.11/242.28 c learnt constraints deletion: 3343 -> 1678 245.71/245.81 c learnt constraints deletion: 3639 -> 1823 249.21/249.37 c learnt constraints deletion: 3621 -> 1812 252.91/253.00 c learnt constraints deletion: 3627 -> 1814 256.60/256.70 c learnt constraints deletion: 3628 -> 1817 260.10/260.24 c learnt constraints deletion: 3635 -> 1822 263.30/263.44 c learnt constraints deletion: 3611 -> 1807 266.80/266.99 c learnt constraints deletion: 3620 -> 1811 270.30/270.50 c learnt constraints deletion: 3618 -> 1811 273.90/274.03 c learnt constraints deletion: 3631 -> 1818 277.30/277.44 c learnt constraints deletion: 3610 -> 1805 280.79/280.91 c learnt constraints deletion: 3619 -> 1812 284.20/284.37 c learnt constraints deletion: 3622 -> 1814 287.50/287.63 c learnt constraints deletion: 3620 -> 1813 290.80/290.96 c learnt constraints deletion: 3620 -> 1814 294.10/294.27 c learnt constraints deletion: 3618 -> 1812 297.59/297.70 c learnt constraints deletion: 3613 -> 1807 300.99/301.12 c learnt constraints deletion: 3632 -> 1817 304.29/304.48 c learnt constraints deletion: 3623 -> 1815 307.69/307.85 c learnt constraints deletion: 3621 -> 1813 310.99/311.18 c learnt constraints deletion: 3617 -> 1812 314.39/314.59 c learnt constraints deletion: 3625 -> 1816 317.59/317.78 c learnt constraints deletion: 3637 -> 1823 321.09/321.21 c learnt constraints deletion: 3621 -> 1813 324.48/324.64 c learnt constraints deletion: 3632 -> 1819 327.88/328.08 c learnt constraints deletion: 3618 -> 1811 331.38/331.53 c learnt constraints deletion: 3625 -> 1817 334.99/335.12 c learnt constraints deletion: 3613 -> 1809 338.48/338.69 c learnt constraints deletion: 3643 -> 1825 342.08/342.29 c learnt constraints deletion: 3649 -> 1831 345.48/345.68 c learnt constraints deletion: 3618 -> 1812 348.98/349.14 c learnt constraints deletion: 3644 -> 1827 352.48/352.67 c learnt constraints deletion: 3624 -> 1815 356.08/356.26 c learnt constraints deletion: 3631 -> 1822 359.68/359.82 c learnt constraints deletion: 3634 -> 1825 363.18/363.31 c learnt constraints deletion: 3619 -> 1812 366.37/366.51 c learnt constraints deletion: 3619 -> 1814 370.37/370.57 c learnt constraints deletion: 3968 -> 1988 373.88/374.09 c learnt constraints deletion: 3964 -> 1982 377.47/377.65 c learnt constraints deletion: 3971 -> 1988 381.27/381.46 c learnt constraints deletion: 3971 -> 1989 384.97/385.18 c learnt constraints deletion: 3973 -> 1993 388.56/388.75 c learnt constraints deletion: 3954 -> 1977 392.37/392.59 c learnt constraints deletion: 3981 -> 1992 396.17/396.34 c learnt constraints deletion: 3967 -> 1985 399.87/400.08 c learnt constraints deletion: 3981 -> 1993 403.36/403.55 c learnt constraints deletion: 3980 -> 1994 407.17/407.38 c learnt constraints deletion: 3980 -> 1993 411.07/411.21 c learnt constraints deletion: 3990 -> 2001 414.66/414.90 c learnt constraints deletion: 3975 -> 1988 418.46/418.66 c learnt constraints deletion: 3986 -> 1996 422.17/422.38 c learnt constraints deletion: 3972 -> 1989 426.06/426.25 c learnt constraints deletion: 3980 -> 1994 430.16/430.30 c learnt constraints deletion: 3974 -> 1988 433.56/433.74 c learnt constraints deletion: 3961 -> 1981 437.46/437.63 c learnt constraints deletion: 3973 -> 1989 441.36/441.54 c learnt constraints deletion: 3982 -> 1994 445.26/445.50 c learnt constraints deletion: 3957 -> 1980 449.15/449.35 c learnt constraints deletion: 3978 -> 1991 452.96/453.16 c learnt constraints deletion: 3998 -> 2005 456.85/457.01 c learnt constraints deletion: 3993 -> 2003 460.15/460.34 c learnt constraints deletion: 3992 -> 2004 464.06/464.29 c learnt constraints deletion: 3964 -> 1985 467.84/468.04 c learnt constraints deletion: 3981 -> 1995 471.65/471.84 c learnt constraints deletion: 3981 -> 1997 475.34/475.58 c learnt constraints deletion: 3964 -> 1985 479.14/479.34 c learnt constraints deletion: 3983 -> 1995 482.84/483.02 c learnt constraints deletion: 3969 -> 1988 486.34/486.55 c learnt constraints deletion: 3965 -> 1987 489.94/490.14 c learnt constraints deletion: 3965 -> 1987 493.65/493.81 c learnt constraints deletion: 3961 -> 1986 497.33/497.52 c learnt constraints deletion: 3967 -> 1989 501.04/501.24 c learnt constraints deletion: 3976 -> 1994 504.84/505.08 c learnt constraints deletion: 3967 -> 1984 508.63/508.82 c learnt constraints deletion: 3982 -> 1992 512.23/512.50 c learnt constraints deletion: 3965 -> 1985 515.93/516.18 c learnt constraints deletion: 3965 -> 1985 519.43/519.64 c learnt constraints deletion: 3959 -> 1981 523.03/523.27 c learnt constraints deletion: 3972 -> 1987 526.64/526.86 c learnt constraints deletion: 3970 -> 1987 530.04/530.26 c learnt constraints deletion: 3990 -> 1998 533.83/534.09 c learnt constraints deletion: 3984 -> 1995 537.53/537.70 c learnt constraints deletion: 3975 -> 1990 541.03/541.27 c learnt constraints deletion: 4007 -> 2008 544.53/544.77 c learnt constraints deletion: 3978 -> 1993 548.03/548.26 c learnt constraints deletion: 4011 -> 2012 551.52/551.71 c learnt constraints deletion: 3994 -> 2004 555.43/555.64 c learnt constraints deletion: 4342 -> 2173 559.62/559.84 c learnt constraints deletion: 4343 -> 2172 563.42/563.62 c learnt constraints deletion: 4351 -> 2178 567.11/567.38 c learnt constraints deletion: 4342 -> 2172 570.92/571.15 c learnt constraints deletion: 4354 -> 2180 574.62/574.86 c learnt constraints deletion: 4364 -> 2186 578.52/578.77 c learnt constraints deletion: 4349 -> 2179 582.51/582.78 c learnt constraints deletion: 4365 -> 2188 586.62/586.81 c learnt constraints deletion: 4360 -> 2187 590.72/590.94 c learnt constraints deletion: 4349 -> 2178 594.92/595.14 c learnt constraints deletion: 4368 -> 2189 599.02/599.23 c learnt constraints deletion: 4357 -> 2185 603.21/603.45 c learnt constraints deletion: 4342 -> 2171 607.31/607.57 c learnt constraints deletion: 4364 -> 2185 611.21/611.47 c learnt constraints deletion: 4349 -> 2177 615.11/615.30 c learnt constraints deletion: 4351 -> 2181 619.01/619.24 c learnt constraints deletion: 4339 -> 2171 623.11/623.33 c learnt constraints deletion: 4356 -> 2181 627.20/627.47 c learnt constraints deletion: 4346 -> 2175 630.90/631.10 c learnt constraints deletion: 4343 -> 2174 635.20/635.45 c learnt constraints deletion: 4350 -> 2179 639.20/639.41 c learnt constraints deletion: 4345 -> 2179 643.20/643.47 c learnt constraints deletion: 4350 -> 2181 647.70/647.91 c learnt constraints deletion: 4362 -> 2189 651.80/652.02 c learnt constraints deletion: 4352 -> 2183 655.99/656.27 c learnt constraints deletion: 4344 -> 2172 659.80/660.01 c learnt constraints deletion: 4356 -> 2179 663.79/664.02 c learnt constraints deletion: 4340 -> 2171 667.79/668.02 c learnt constraints deletion: 4348 -> 2176 671.99/672.27 c learnt constraints deletion: 4350 -> 2178 676.09/676.30 c learnt constraints deletion: 4365 -> 2185 679.99/680.20 c learnt constraints deletion: 4353 -> 2180 683.69/683.97 c learnt constraints deletion: 4366 -> 2188 687.49/687.76 c learnt constraints deletion: 4355 -> 2184 691.70/691.93 c learnt constraints deletion: 4371 -> 2192 695.79/696.09 c learnt constraints deletion: 4367 -> 2185 699.68/699.94 c learnt constraints deletion: 4349 -> 2179 703.58/703.90 c learnt constraints deletion: 4342 -> 2173 707.98/708.24 c learnt constraints deletion: 4381 -> 2196 711.98/712.26 c learnt constraints deletion: 4351 -> 2179 716.38/716.66 c learnt constraints deletion: 4348 -> 2177 720.48/720.76 c learnt constraints deletion: 4359 -> 2186 724.59/724.88 c learnt constraints deletion: 4355 -> 2182 728.98/729.22 c learnt constraints deletion: 4375 -> 2194 733.18/733.47 c learnt constraints deletion: 4341 -> 2172 737.07/737.33 c learnt constraints deletion: 4341 -> 2173 741.27/741.55 c learnt constraints deletion: 4346 -> 2177 745.37/745.66 c learnt constraints deletion: 4367 -> 2188 749.36/749.70 c learnt constraints deletion: 4356 -> 2183 753.67/753.98 c learnt constraints deletion: 4369 -> 2189 757.87/758.18 c learnt constraints deletion: 4360 -> 2186 762.16/762.43 c learnt constraints deletion: 4355 -> 2181 766.06/766.39 c learnt constraints deletion: 4339 -> 2170 770.36/770.60 c learnt constraints deletion: 4352 -> 2177 774.26/774.51 c learnt constraints deletion: 4353 -> 2178 777.96/778.27 c learnt constraints deletion: 4339 -> 2171 781.96/782.27 c learnt constraints deletion: 4351 -> 2180 785.86/786.10 c learnt constraints deletion: 4355 -> 2182 789.76/790.03 c learnt constraints deletion: 4369 -> 2191 793.86/794.18 c learnt constraints deletion: 4380 -> 2195 797.85/798.15 c learnt constraints deletion: 4362 -> 2187 801.95/802.24 c learnt constraints deletion: 4351 -> 2177 806.06/806.34 c learnt constraints deletion: 4340 -> 2172 809.95/810.29 c learnt constraints deletion: 4343 -> 2176 813.95/814.23 c learnt constraints deletion: 4347 -> 2177 817.94/818.29 c learnt constraints deletion: 4358 -> 2183 822.24/822.50 c learnt constraints deletion: 4366 -> 2188 827.14/827.40 c learnt constraints deletion: 4769 -> 2390 831.54/831.83 c learnt constraints deletion: 4760 -> 2380 835.84/836.15 c learnt constraints deletion: 4751 -> 2377 840.04/840.40 c learnt constraints deletion: 4759 -> 2380 844.45/844.75 c learnt constraints deletion: 4775 -> 2390 848.84/849.16 c learnt constraints deletion: 4774 -> 2389 853.24/853.52 c learnt constraints deletion: 4760 -> 2382 857.33/857.67 c learnt constraints deletion: 4763 -> 2385 861.64/861.92 c learnt constraints deletion: 4789 -> 2401 865.74/866.04 c learnt constraints deletion: 4759 -> 2380 870.23/870.52 c learnt constraints deletion: 4759 -> 2381 874.53/874.88 c learnt constraints deletion: 4784 -> 2394 879.23/879.51 c learnt constraints deletion: 4778 -> 2392 883.83/884.12 c learnt constraints deletion: 4762 -> 2382 888.12/888.47 c learnt constraints deletion: 4760 -> 2382 892.42/892.75 c learnt constraints deletion: 4762 -> 2384 896.72/897.04 c learnt constraints deletion: 4779 -> 2392 901.12/901.44 c learnt constraints deletion: 4780 -> 2393 905.52/905.82 c learnt constraints deletion: 4774 -> 2391 909.62/909.97 c learnt constraints deletion: 4791 -> 2399 913.92/914.25 c learnt constraints deletion: 4790 -> 2400 918.22/918.57 c learnt constraints deletion: 4800 -> 2405 922.32/922.66 c learnt constraints deletion: 4772 -> 2388 926.72/927.07 c learnt constraints deletion: 4780 -> 2394 930.91/931.21 c learnt constraints deletion: 4789 -> 2399 935.01/935.35 c learnt constraints deletion: 4768 -> 2390 939.21/939.54 c learnt constraints deletion: 4777 -> 2392 943.22/943.57 c learnt constraints deletion: 4793 -> 2402 947.42/947.74 c learnt constraints deletion: 4783 -> 2396 951.52/951.86 c learnt constraints deletion: 4781 -> 2398 955.51/955.86 c learnt constraints deletion: 4797 -> 2406 959.42/959.75 c learnt constraints deletion: 4786 -> 2399 963.41/963.78 c learnt constraints deletion: 4800 -> 2408 967.41/967.73 c learnt constraints deletion: 4779 -> 2396 971.61/971.90 c learnt constraints deletion: 4784 -> 2401 975.81/976.15 c learnt constraints deletion: 4764 -> 2386 980.01/980.37 c learnt constraints deletion: 4781 -> 2396 984.21/984.57 c learnt constraints deletion: 4761 -> 2385 988.61/988.91 c learnt constraints deletion: 4781 -> 2396 992.91/993.21 c learnt constraints deletion: 4790 -> 2399 997.01/997.38 c learnt constraints deletion: 4797 -> 2408 1001.40/1001.76 c learnt constraints deletion: 4784 -> 2398 1005.70/1006.01 c learnt constraints deletion: 4781 -> 2396 1009.61/1009.97 c learnt constraints deletion: 4779 -> 2397 1013.81/1014.12 c learnt constraints deletion: 4803 -> 2411 1017.81/1018.14 c learnt constraints deletion: 4782 -> 2400 1021.90/1022.25 c learnt constraints deletion: 4775 -> 2394 1026.10/1026.41 c learnt constraints deletion: 4778 -> 2397 1030.41/1030.75 c learnt constraints deletion: 4771 -> 2393 1034.70/1035.02 c learnt constraints deletion: 4772 -> 2390 1038.90/1039.23 c learnt constraints deletion: 4784 -> 2396 1043.19/1043.59 c learnt constraints deletion: 4775 -> 2394 1047.60/1047.94 c learnt constraints deletion: 4799 -> 2403 1052.00/1052.37 c learnt constraints deletion: 4760 -> 2383 1056.49/1056.84 c learnt constraints deletion: 4773 -> 2391 1060.69/1061.07 c learnt constraints deletion: 4782 -> 2395 1065.09/1065.48 c learnt constraints deletion: 4774 -> 2392 1069.70/1070.01 c learnt constraints deletion: 4769 -> 2391 1074.10/1074.47 c learnt constraints deletion: 4774 -> 2388 1078.39/1078.71 c learnt constraints deletion: 4771 -> 2387 1082.69/1083.08 c learnt constraints deletion: 4756 -> 2380 1087.09/1087.43 c learnt constraints deletion: 4773 -> 2390 1091.29/1091.68 c learnt constraints deletion: 4781 -> 2395 1095.49/1095.85 c learnt constraints deletion: 4790 -> 2401 1099.99/1100.39 c learnt constraints deletion: 4816 -> 2416 1104.39/1104.75 c learnt constraints deletion: 4789 -> 2401 1108.78/1109.17 c learnt constraints deletion: 4761 -> 2383 1113.19/1113.53 c learnt constraints deletion: 4758 -> 2381 1117.58/1117.95 c learnt constraints deletion: 4789 -> 2397 1122.48/1122.88 c learnt constraints deletion: 4784 -> 2395 1126.88/1127.28 c learnt constraints deletion: 4768 -> 2386 1131.38/1131.76 c learnt constraints deletion: 4788 -> 2397 1135.68/1136.04 c learnt constraints deletion: 4770 -> 2389 1139.98/1140.30 c learnt constraints deletion: 4774 -> 2392 1144.28/1144.66 c learnt constraints deletion: 4788 -> 2399 1148.68/1149.01 c learnt constraints deletion: 4793 -> 2406 1152.98/1153.33 c learnt constraints deletion: 4777 -> 2390 1157.38/1157.78 c learnt constraints deletion: 4773 -> 2389 1161.98/1162.33 c learnt constraints deletion: 4792 -> 2401 1166.08/1166.47 c learnt constraints deletion: 4759 -> 2383 1170.78/1171.10 c learnt constraints deletion: 4781 -> 2396 1175.18/1175.57 c learnt constraints deletion: 4781 -> 2394 1179.68/1180.01 c learnt constraints deletion: 4779 -> 2395 1184.07/1184.43 c learnt constraints deletion: 4780 -> 2396 1188.57/1188.98 c learnt constraints deletion: 4799 -> 2407 1193.08/1193.49 c learnt constraints deletion: 4792 -> 2403 1197.48/1197.87 c learnt constraints deletion: 4788 -> 2403 1201.88/1202.20 c learnt constraints deletion: 4772 -> 2389 1206.27/1206.68 c learnt constraints deletion: 4787 -> 2400 1210.47/1210.89 c learnt constraints deletion: 4760 -> 2383 1214.87/1215.27 c learnt constraints deletion: 4774 -> 2392 1219.37/1219.70 c learnt constraints deletion: 4787 -> 2400 1223.67/1224.09 c learnt constraints deletion: 4771 -> 2393 1228.76/1229.17 c learnt constraints deletion: 5238 -> 2622 1233.36/1233.79 c learnt constraints deletion: 5215 -> 2608 1238.17/1238.56 c learnt constraints deletion: 5229 -> 2617 1243.07/1243.42 c learnt constraints deletion: 5256 -> 2631 1247.76/1248.12 c learnt constraints deletion: 5249 -> 2629 1252.26/1252.63 c learnt constraints deletion: 5258 -> 2636 1256.66/1257.06 c learnt constraints deletion: 5225 -> 2614 1261.16/1261.60 c learnt constraints deletion: 5227 -> 2616 1265.86/1266.23 c learnt constraints deletion: 5238 -> 2623 1270.55/1270.99 c learnt constraints deletion: 5239 -> 2621 1275.26/1275.60 c learnt constraints deletion: 5216 -> 2608 1279.96/1280.37 c learnt constraints deletion: 5221 -> 2613 1284.66/1285.08 c learnt constraints deletion: 5228 -> 2619 1289.45/1289.84 c learnt constraints deletion: 5230 -> 2616 1294.26/1294.66 c learnt constraints deletion: 5231 -> 2619 1299.05/1299.42 c learnt constraints deletion: 5234 -> 2623 1303.85/1304.21 c learnt constraints deletion: 5223 -> 2614 1308.56/1308.91 c learnt constraints deletion: 5239 -> 2622 1313.26/1313.62 c learnt constraints deletion: 5240 -> 2623 1317.85/1318.25 c learnt constraints deletion: 5220 -> 2615 1322.64/1323.07 c learnt constraints deletion: 5233 -> 2619 1327.55/1327.99 c learnt constraints deletion: 5232 -> 2620 1332.25/1332.69 c learnt constraints deletion: 5224 -> 2613 1336.94/1337.33 c learnt constraints deletion: 5219 -> 2612 1341.85/1342.22 c learnt constraints deletion: 5256 -> 2633 1346.35/1346.78 c learnt constraints deletion: 5224 -> 2614 1351.14/1351.52 c learnt constraints deletion: 5221 -> 2614 1355.95/1356.36 c learnt constraints deletion: 5223 -> 2613 1360.54/1360.97 c learnt constraints deletion: 5237 -> 2622 1365.34/1365.78 c learnt constraints deletion: 5240 -> 2622 1370.04/1370.43 c learnt constraints deletion: 5231 -> 2619 1374.74/1375.13 c learnt constraints deletion: 5250 -> 2630 1379.14/1379.57 c learnt constraints deletion: 5229 -> 2620 1383.94/1384.30 c learnt constraints deletion: 5249 -> 2631 1388.44/1388.85 c learnt constraints deletion: 5219 -> 2616 1393.44/1393.82 c learnt constraints deletion: 5219 -> 2612 1398.14/1398.50 c learnt constraints deletion: 5239 -> 2624 1402.74/1403.19 c learnt constraints deletion: 5228 -> 2618 1407.44/1407.80 c learnt constraints deletion: 5222 -> 2617 1412.33/1412.72 c learnt constraints deletion: 5248 -> 2630 1417.13/1417.55 c learnt constraints deletion: 5226 -> 2614 1421.94/1422.33 c learnt constraints deletion: 5232 -> 2619 1426.64/1427.01 c learnt constraints deletion: 5221 -> 2613 1431.23/1431.69 c learnt constraints deletion: 5242 -> 2626 1436.03/1436.48 c learnt constraints deletion: 5236 -> 2623 1441.03/1441.40 c learnt constraints deletion: 5250 -> 2632 1445.63/1446.09 c learnt constraints deletion: 5215 -> 2610 1450.54/1450.93 c learnt constraints deletion: 5220 -> 2613 1455.33/1455.79 c learnt constraints deletion: 5227 -> 2619 1460.13/1460.53 c learnt constraints deletion: 5222 -> 2618 1464.73/1465.19 c learnt constraints deletion: 5239 -> 2623 1469.13/1469.51 c learnt constraints deletion: 5228 -> 2618 1473.72/1474.18 c learnt constraints deletion: 5226 -> 2616 1478.63/1479.06 c learnt constraints deletion: 5221 -> 2616 1483.63/1484.01 c learnt constraints deletion: 5221 -> 2616 1488.53/1488.94 c learnt constraints deletion: 5218 -> 2616 1493.43/1493.80 c learnt constraints deletion: 5224 -> 2616 1498.02/1498.47 c learnt constraints deletion: 5221 -> 2617 1502.82/1503.25 c learnt constraints deletion: 5248 -> 2632 1507.32/1507.76 c learnt constraints deletion: 5238 -> 2625 1512.02/1512.48 c learnt constraints deletion: 5243 -> 2629 1516.92/1517.33 c learnt constraints deletion: 5238 -> 2625 1521.82/1522.21 c learnt constraints deletion: 5249 -> 2634 1526.32/1526.71 c learnt constraints deletion: 5239 -> 2627 1531.11/1531.51 c learnt constraints deletion: 5262 -> 2639 1535.81/1536.23 c learnt constraints deletion: 5252 -> 2634 1540.91/1541.35 c learnt constraints deletion: 5241 -> 2630 1546.02/1546.44 c learnt constraints deletion: 5248 -> 2632 1551.01/1551.43 c learnt constraints deletion: 5223 -> 2615 1556.02/1556.46 c learnt constraints deletion: 5228 -> 2619 1561.01/1561.44 c learnt constraints deletion: 5242 -> 2626 1566.01/1566.49 c learnt constraints deletion: 5251 -> 2634 1570.61/1571.09 c learnt constraints deletion: 5258 -> 2638 1575.71/1576.11 c learnt constraints deletion: 5265 -> 2643 1580.41/1580.84 c learnt constraints deletion: 5246 -> 2633 1585.21/1585.63 c learnt constraints deletion: 5246 -> 2634 1590.31/1590.70 c learnt constraints deletion: 5241 -> 2626 1595.10/1595.59 c learnt constraints deletion: 5246 -> 2630 1600.31/1600.70 c learnt constraints deletion: 5259 -> 2636 1605.11/1605.52 c learnt constraints deletion: 5248 -> 2630 1609.71/1610.19 c learnt constraints deletion: 5252 -> 2634 1614.41/1614.86 c learnt constraints deletion: 5246 -> 2632 1619.10/1619.52 c learnt constraints deletion: 5239 -> 2629 1623.90/1624.33 c learnt constraints deletion: 5247 -> 2635 1628.61/1629.03 c learnt constraints deletion: 5244 -> 2628 1633.30/1633.76 c learnt constraints deletion: 5244 -> 2631 1637.80/1638.24 c learnt constraints deletion: 5251 -> 2633 1642.60/1643.08 c learnt constraints deletion: 5244 -> 2630 1647.60/1648.02 c learnt constraints deletion: 5244 -> 2629 1652.40/1652.89 c learnt constraints deletion: 5244 -> 2630 1657.31/1657.73 c learnt constraints deletion: 5231 -> 2624 1662.19/1662.68 c learnt constraints deletion: 5251 -> 2635 1666.89/1667.31 c learnt constraints deletion: 5239 -> 2630 1671.50/1671.94 c learnt constraints deletion: 5265 -> 2644 1676.09/1676.56 c learnt constraints deletion: 5257 -> 2642 1680.98/1681.45 c learnt constraints deletion: 5230 -> 2615 1685.99/1686.43 c learnt constraints deletion: 5225 -> 2614 1690.98/1691.40 c learnt constraints deletion: 5231 -> 2617 1695.69/1696.12 c learnt constraints deletion: 5228 -> 2616 1700.68/1701.15 c learnt constraints deletion: 5220 -> 2611 1705.28/1705.76 c learnt constraints deletion: 5239 -> 2623 1709.89/1710.32 c learnt constraints deletion: 5239 -> 2624 1714.68/1715.13 c learnt constraints deletion: 5219 -> 2613 1719.38/1719.89 c learnt constraints deletion: 5249 -> 2632 1723.98/1724.43 c learnt constraints deletion: 5261 -> 2643 1728.58/1729.00 c learnt constraints deletion: 5220 -> 2613 1733.58/1734.03 c learnt constraints deletion: 5228 -> 2618 1738.28/1738.70 c learnt constraints deletion: 5246 -> 2628 1743.08/1743.57 c learnt constraints deletion: 5238 -> 2623 1747.87/1748.38 c learnt constraints deletion: 5236 -> 2624 1752.58/1753.01 c learnt constraints deletion: 5222 -> 2617 1757.28/1757.71 c learnt constraints deletion: 5234 -> 2621 1762.17/1762.61 c learnt constraints deletion: 5238 -> 2623 1767.18/1767.61 c learnt constraints deletion: 5253 -> 2632 1771.97/1772.41 c learnt constraints deletion: 5236 -> 2623 1776.77/1777.28 c learnt constraints deletion: 5237 -> 2625 1781.68/1782.16 c learnt constraints deletion: 5236 -> 2626 1786.67/1787.19 c learnt constraints deletion: 5240 -> 2624 1791.47/1791.97 c learnt constraints deletion: 5221 -> 2613 1796.56/1797.03 c learnt constraints deletion: 5241 -> 2624
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-3725066-1338633316/watcher-3725066-1338633316 -o /tmp/evaluation-result-3725066-1338633316/solver-3725066-1338633316 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725066-1338633316.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.95 1.67 3/176 4692 /proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 329456987 6373376 738 33554432000 4194304 8989770 140734482612752 140735120652632 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 1556 738 428 1171 0 333 0 [startup+0.0737311 s] /proc/loadavg: 1.92 1.95 1.67 3/176 4692 /proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=9296 CPUtime=0.06 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 1444 0 0 0 6 0 0 0 20 0 1 0 329456987 9519104 1363 33554432000 4194304 8989770 140734482612752 140735120652632 5384144 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 2324 1363 442 1171 0 1101 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9296 [startup+0.100263 s] /proc/loadavg: 1.92 1.95 1.67 3/176 4692 /proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=9296 CPUtime=0.09 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 1475 0 0 0 9 0 0 0 20 0 1 0 329456987 9519104 1394 33554432000 4194304 8989770 140734482612752 140735120652632 4446952 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 2324 1394 470 1171 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9296 [startup+0.300182 s] /proc/loadavg: 1.92 1.95 1.67 3/176 4692 /proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=10320 CPUtime=0.29 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 1904 0 0 0 29 0 0 0 20 0 1 0 329456987 10567680 1823 33554432000 4194304 8989770 140734482612752 140735120652632 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 2580 1823 470 1171 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10320 [startup+0.700201 s] /proc/loadavg: 1.92 1.95 1.67 3/176 4692 /proc/meminfo: memFree=25677164/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=11344 CPUtime=0.69 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 2160 0 0 0 69 0 0 0 20 0 1 0 329456987 11616256 2079 33554432000 4194304 8989770 140734482612752 140735120652632 4445111 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 2836 2079 470 1171 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11344 [startup+1.50023 s] /proc/loadavg: 1.92 1.95 1.67 3/177 4693 /proc/meminfo: memFree=25669584/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=13392 CPUtime=1.48 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 2672 0 0 0 148 0 0 0 20 0 1 0 329456987 13713408 2591 33554432000 4194304 8989770 140734482612752 140734482612248 7733240 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 3348 2591 470 1171 0 2125 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13392 [startup+3.10023 s] /proc/loadavg: 1.92 1.95 1.67 3/177 4693 /proc/meminfo: memFree=25666460/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=16464 CPUtime=3.09 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 3442 0 0 0 308 1 0 0 20 0 1 0 329456987 16859136 3361 33554432000 4194304 8989770 140734482612752 140734482612016 7415873 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 4116 3361 472 1171 0 2893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16464 [startup+6.30025 s] /proc/loadavg: 1.93 1.95 1.67 3/177 4693 /proc/meminfo: memFree=25661872/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=21584 CPUtime=6.28 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 4722 0 0 0 625 3 0 0 20 0 1 0 329456987 22102016 4641 33554432000 4194304 8989770 140734482612752 140734482612016 7656152 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 5396 4641 472 1171 0 4173 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21584 [startup+12.7002 s] /proc/loadavg: 1.93 1.95 1.68 3/177 4693 /proc/meminfo: memFree=25656928/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=23632 CPUtime=12.68 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 5234 0 0 0 1262 6 0 0 20 0 1 0 329456987 24199168 5153 33554432000 4194304 8989770 140734482612752 140734482612248 7732735 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 5908 5153 472 1171 0 4685 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23632 [startup+25.5003 s] /proc/loadavg: 1.95 1.96 1.68 3/177 4693 /proc/meminfo: memFree=25654968/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=26704 CPUtime=25.48 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 6002 0 0 0 2534 14 0 0 20 0 1 0 329456987 27344896 5921 33554432000 4194304 8989770 140734482612752 140734482612248 4211833 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 6676 5921 472 1171 0 5453 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26704 [startup+51.1002 s] /proc/loadavg: 2.12 1.99 1.70 3/177 4732 /proc/meminfo: memFree=26355460/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=29776 CPUtime=51.08 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 6775 0 0 0 5080 28 0 0 20 0 1 0 329456987 30490624 6694 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 7444 6694 472 1171 0 6221 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29776 [startup+102.306 s] /proc/loadavg: 2.05 1.99 1.71 3/177 4732 /proc/meminfo: memFree=26338980/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=36944 CPUtime=102.27 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 8567 0 0 0 10173 54 0 0 20 0 1 0 329456987 37830656 8486 33554432000 4194304 8989770 140734482612752 140734482612248 4425544 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 9236 8486 472 1171 0 8013 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36944 [startup+162.3 s] /proc/loadavg: 2.02 1.99 1.73 3/177 4732 /proc/meminfo: memFree=26322656/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=46160 CPUtime=162.23 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 11135 0 0 0 16140 83 0 0 20 0 1 0 329456987 47267840 10790 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 11540 10790 472 1171 0 10317 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 46160 [startup+222.3 s] /proc/loadavg: 2.00 1.99 1.74 3/177 4732 /proc/meminfo: memFree=26321548/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=42064 CPUtime=222.22 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 11135 0 0 0 22108 114 0 0 20 0 1 0 329456987 43073536 9766 33554432000 4194304 8989770 140734482612752 140734482612016 7415397 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 10516 9766 472 1171 0 9293 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 42064 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.75 3/177 4732 /proc/meminfo: memFree=26314296/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=46160 CPUtime=282.2 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 12160 0 0 0 28073 147 0 0 20 0 1 0 329456987 47267840 10790 33554432000 4194304 8989770 140734482612752 140734482612016 4355564 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 11540 10790 472 1171 0 10317 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 46160 [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.76 3/178 4736 /proc/meminfo: memFree=26304004/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=54352 CPUtime=342.18 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14208 0 0 0 34039 179 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482612016 6586449 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/4692/statm: 13588 12838 472 1171 0 12365 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 54352 [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.78 3/177 4736 /proc/meminfo: memFree=26297368/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=57424 CPUtime=402.17 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 40009 208 0 0 20 0 1 0 329456987 58802176 13606 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14356 13606 472 1171 0 13133 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 57424 [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.79 3/177 4736 /proc/meminfo: memFree=26295260/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=57424 CPUtime=462.15 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 45977 238 0 0 20 0 1 0 329456987 58802176 13606 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14356 13606 472 1171 0 13133 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 57424 [startup+522.3 s] /proc/loadavg: 2.00 1.99 1.80 3/177 4736 /proc/meminfo: memFree=26295200/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=54352 CPUtime=522.13 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 51943 270 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482612016 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 13588 12838 472 1171 0 12365 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 54352 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.81 3/177 4736 /proc/meminfo: memFree=26291848/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=54352 CPUtime=582.11 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 14980 0 0 0 57907 304 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482610688 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 13588 12838 472 1171 0 12365 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 54352 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.85 3/177 4737 /proc/meminfo: memFree=26275104/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=882.03 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 17287 0 0 0 87739 464 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4425012 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 58448 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.86 3/178 4741 /proc/meminfo: memFree=26273500/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=942.01 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 17287 0 0 0 93706 495 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612016 4458228 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 58448 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.86 3/177 4741 /proc/meminfo: memFree=26274628/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=54352 CPUtime=1002.01 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 17287 0 0 0 99673 528 0 0 20 0 1 0 329456987 55656448 12838 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 13588 12838 472 1171 0 12365 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 54352 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 4741 /proc/meminfo: memFree=26269172/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=1062 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18311 0 0 0 105639 561 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4213713 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 58448 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 4741 /proc/meminfo: memFree=26266376/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=1121.98 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18826 0 0 0 111606 592 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 58448 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/177 4741 /proc/meminfo: memFree=26263524/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=1181.97 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18826 0 0 0 117573 624 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 58448 [startup+1242.3 s] /proc/loadavg: 2.05 2.01 1.89 3/177 4742 /proc/meminfo: memFree=26261792/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=1241.96 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 18826 0 0 0 123540 656 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 58448 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 1.90 3/177 4742 /proc/meminfo: memFree=26257324/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=59472 CPUtime=1301.96 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19082 0 0 0 129508 688 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612016 4449308 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14868 14118 472 1171 0 13645 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 59472 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 4742 /proc/meminfo: memFree=26255888/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=59472 CPUtime=1361.94 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19082 0 0 0 135472 722 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14868 14118 472 1171 0 13645 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 59472 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4742 /proc/meminfo: memFree=26254892/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=1421.94 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19082 0 0 0 141440 754 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4214039 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 58448 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 1.91 3/177 4742 /proc/meminfo: memFree=26252788/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=1481.92 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 19338 0 0 0 147408 784 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 58448 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 1.91 3/178 4746 /proc/meminfo: memFree=26246344/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=63568 CPUtime=1541.91 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 20618 0 0 0 153377 814 0 0 20 0 1 0 329456987 65093632 15142 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 15892 15142 472 1171 0 14669 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 63568 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 4769 /proc/meminfo: memFree=26244568/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=62544 CPUtime=1601.9 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 20621 0 0 0 159346 844 0 0 20 0 1 0 329456987 64045056 14886 33554432000 4194304 8989770 140734482612752 140734482612248 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 15636 14886 472 1171 0 14413 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 62544 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4769 /proc/meminfo: memFree=26237888/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=67664 CPUtime=1661.89 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 24205 0 0 0 165314 875 0 0 20 0 1 0 329456987 69287936 16166 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 16916 16166 472 1171 0 15693 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 67664 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4769 /proc/meminfo: memFree=26240356/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=62544 CPUtime=1721.88 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 24978 0 0 0 171280 908 0 0 20 0 1 0 329456987 64045056 14886 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 15636 14886 472 1171 0 14413 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 62544 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4769 /proc/meminfo: memFree=26241720/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=58448 CPUtime=1781.88 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 24978 0 0 0 177251 937 0 0 20 0 1 0 329456987 59850752 13862 33554432000 4194304 8989770 140734482612752 140734482612248 7708462 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14612 13862 472 1171 0 13389 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 58448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4769 /proc/meminfo: memFree=26240596/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=59472 CPUtime=1800.07 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 25234 0 0 0 179060 947 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14868 14118 472 1171 0 13645 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 59472 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.00 1.91 3/177 4769 /proc/meminfo: memFree=26240596/32873648 swapFree=6864/6864 [pid=4692] ppid=4690 vsize=59472 CPUtime=1800.07 cores=0,2,4,6 /proc/4692/stat : 4692 (toysat) R 4690 4692 4479 0 -1 4202496 25234 0 0 0 179060 947 0 0 20 0 1 0 329456987 60899328 14118 33554432000 4194304 8989770 140734482612752 140734482612248 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/4692/statm: 14868 14118 472 1171 0 13645 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 59472 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1790.61 CPU system time (s): 9.47656 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 71760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.61 system time used= 9.47656 maximum resident set size= 68760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25234 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= 35 involuntary context switches= 2932 runsolver used 2.88056 second user time and 9.63453 second system time The end
Begin job on node125 at 2012-06-02 12:35:16 IDJOB=3725066 IDBENCH=2017 IDSOLVER=2308 FILE ID=node125/3725066-1338633316 RUNJOBID= node125-1338631508-4495 PBS_JOBID= 14636455 Free space on /tmp= 70436 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725066-1338633316/watcher-3725066-1338633316 -o /tmp/evaluation-result-3725066-1338633316/solver-3725066-1338633316 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725066-1338633316.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f RANDOM SEED=447181744 node125.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.373 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 : 5332.74 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.373 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.373 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.92 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.373 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.90 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.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5438.54 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.373 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.373 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: 32873648 kB MemFree: 25677164 kB Buffers: 598364 kB Cached: 4957044 kB SwapCached: 2308 kB Active: 3169900 kB Inactive: 3122144 kB Active(anon): 727876 kB Inactive(anon): 9252 kB Active(file): 2442024 kB Inactive(file): 3112892 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102524 kB Dirty: 7352 kB Writeback: 0 kB AnonPages: 739776 kB Mapped: 16040 kB Shmem: 96 kB Slab: 765072 kB SReclaimable: 209164 kB SUnreclaim: 555908 kB KernelStack: 1464 kB PageTables: 5416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 850456 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 722944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70444 MiB End job on node125 at 2012-06-02 13:05:18