Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 29 | 1800.43 | 1801.18 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir06_area_partials.opb |
MD5SUM | 65718755a88a1589573221eda1549993 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 0.061989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 572 |
Total number of constraints | 1850 |
Number of constraints which are clauses | 1850 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 160 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 160 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 160 |
Number of bits of the biggest sum of numbers | 8 |
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.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.01 c ...done 0.00/0.01 c #vars=572 #constraints=1851 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.00/0.02 c nbDecision=131 #constraints=1851 0.00/0.02 c linear search for optimum 0.00/0.02 o 145 0.00/0.02 c nbDecision=131 #constraints=1852 0.00/0.02 o 144 0.00/0.02 c nbDecision=131 #constraints=1853 0.00/0.02 o 143 0.00/0.02 c nbDecision=131 #constraints=1854 0.00/0.02 o 142 0.00/0.03 c nbDecision=131 #constraints=1855 0.00/0.03 o 141 0.00/0.03 c nbDecision=131 #constraints=1856 0.00/0.03 o 140 0.00/0.03 c nbDecision=131 #constraints=1857 0.00/0.03 o 139 0.00/0.03 c nbDecision=131 #constraints=1858 0.00/0.03 o 138 0.00/0.03 c nbDecision=131 #constraints=1859 0.00/0.03 o 137 0.00/0.03 c nbDecision=131 #constraints=1860 0.00/0.03 o 136 0.00/0.03 c nbDecision=131 #constraints=1861 0.00/0.03 o 135 0.00/0.03 c nbDecision=131 #constraints=1862 0.00/0.03 o 134 0.00/0.04 c nbDecision=131 #constraints=1863 0.00/0.04 o 133 0.00/0.04 c nbDecision=131 #constraints=1864 0.00/0.04 o 132 0.00/0.04 c nbDecision=131 #constraints=1865 0.00/0.04 o 131 0.00/0.04 c nbDecision=131 #constraints=1866 0.00/0.04 o 130 0.04/0.04 c nbDecision=131 #constraints=1867 0.04/0.04 o 129 0.04/0.04 c nbDecision=131 #constraints=1868 0.04/0.04 o 128 0.04/0.04 c nbDecision=131 #constraints=1869 0.04/0.04 o 127 0.04/0.04 c nbDecision=131 #constraints=1870 0.04/0.04 o 126 0.04/0.05 c nbDecision=131 #constraints=1871 0.04/0.05 o 125 0.04/0.05 c nbDecision=131 #constraints=1872 0.04/0.05 o 124 0.04/0.05 c nbDecision=131 #constraints=1873 0.04/0.05 o 123 0.04/0.05 c nbDecision=131 #constraints=1874 0.04/0.05 o 122 0.04/0.05 c nbDecision=131 #constraints=1875 0.04/0.05 o 121 0.04/0.05 c nbDecision=131 #constraints=1876 0.04/0.05 o 120 0.04/0.05 c nbDecision=131 #constraints=1877 0.04/0.05 o 119 0.04/0.06 c nbDecision=131 #constraints=1878 0.04/0.06 o 118 0.04/0.06 c nbDecision=131 #constraints=1879 0.04/0.06 o 117 0.04/0.06 c nbDecision=131 #constraints=1880 0.04/0.06 o 116 0.04/0.06 c nbDecision=131 #constraints=1881 0.04/0.06 o 115 0.04/0.06 c nbDecision=131 #constraints=1882 0.04/0.06 o 114 0.04/0.06 c nbDecision=131 #constraints=1883 0.04/0.06 o 113 0.04/0.06 c nbDecision=131 #constraints=1884 0.04/0.07 o 112 0.04/0.07 c nbDecision=131 #constraints=1885 0.04/0.07 o 111 0.04/0.07 c nbDecision=131 #constraints=1886 0.04/0.07 o 110 0.04/0.07 c nbDecision=131 #constraints=1887 0.04/0.07 o 109 0.04/0.07 c nbDecision=131 #constraints=1888 0.04/0.07 o 108 0.04/0.07 c nbDecision=131 #constraints=1889 0.04/0.07 o 107 0.04/0.07 c nbDecision=131 #constraints=1890 0.04/0.07 o 106 0.04/0.08 c nbDecision=131 #constraints=1891 0.04/0.08 o 105 0.04/0.08 c nbDecision=131 #constraints=1892 0.04/0.08 o 104 0.04/0.08 c nbDecision=131 #constraints=1893 0.04/0.08 o 103 0.04/0.08 c nbDecision=131 #constraints=1894 0.04/0.08 o 102 0.04/0.08 c nbDecision=131 #constraints=1895 0.04/0.08 o 101 0.04/0.08 c nbDecision=131 #constraints=1896 0.04/0.08 o 100 0.04/0.09 c nbDecision=131 #constraints=1897 0.04/0.09 o 99 0.04/0.09 c nbDecision=131 #constraints=1898 0.04/0.09 o 98 0.04/0.09 c nbDecision=131 #constraints=1899 0.04/0.09 o 97 0.04/0.09 c nbDecision=131 #constraints=1900 0.04/0.09 o 96 0.04/0.09 c nbDecision=131 #constraints=1901 0.04/0.09 o 95 0.04/0.09 c nbDecision=131 #constraints=1902 0.04/0.09 o 94 0.04/0.10 c nbDecision=131 #constraints=1903 0.04/0.10 o 93 0.09/0.10 c nbDecision=131 #constraints=1904 0.09/0.10 o 92 0.09/0.10 c nbDecision=131 #constraints=1905 0.09/0.10 o 91 0.09/0.10 c nbDecision=131 #constraints=1906 0.09/0.10 o 90 0.09/0.10 c nbDecision=131 #constraints=1907 0.09/0.10 o 89 0.09/0.11 c nbDecision=131 #constraints=1908 0.09/0.11 o 88 0.09/0.11 c nbDecision=131 #constraints=1909 0.09/0.11 o 87 0.09/0.11 c nbDecision=131 #constraints=1910 0.09/0.11 o 86 0.09/0.11 c nbDecision=131 #constraints=1911 0.09/0.11 o 85 0.09/0.11 c nbDecision=131 #constraints=1912 0.09/0.11 o 84 0.09/0.12 c nbDecision=131 #constraints=1913 0.09/0.12 o 83 0.09/0.12 c nbDecision=131 #constraints=1914 0.09/0.12 o 82 0.09/0.12 c nbDecision=131 #constraints=1915 0.09/0.12 o 81 0.09/0.12 c nbDecision=131 #constraints=1916 0.09/0.12 o 80 0.09/0.12 c nbDecision=131 #constraints=1917 0.09/0.12 o 79 0.09/0.13 c nbDecision=131 #constraints=1918 0.09/0.13 o 78 0.09/0.13 c nbDecision=131 #constraints=1919 0.09/0.13 o 77 0.09/0.13 c nbDecision=131 #constraints=1920 0.09/0.13 o 76 0.09/0.13 c nbDecision=131 #constraints=1921 0.09/0.13 o 75 0.09/0.13 c nbDecision=131 #constraints=1922 0.09/0.13 o 74 0.09/0.14 c nbDecision=131 #constraints=1923 0.09/0.14 o 73 0.09/0.14 c nbDecision=131 #constraints=1924 0.09/0.14 o 72 0.09/0.14 c nbDecision=131 #constraints=1925 0.09/0.14 o 71 0.09/0.14 c nbDecision=131 #constraints=1926 0.09/0.14 o 70 0.09/0.15 c nbDecision=131 #constraints=1927 0.09/0.15 o 69 0.09/0.15 c nbDecision=131 #constraints=1928 0.09/0.15 o 68 0.09/0.15 c nbDecision=131 #constraints=1929 0.09/0.15 o 67 0.09/0.15 c nbDecision=131 #constraints=1930 0.09/0.15 o 66 0.09/0.16 c nbDecision=131 #constraints=1931 0.09/0.16 o 65 0.09/0.16 c nbDecision=131 #constraints=1932 0.09/0.16 o 64 0.09/0.16 c nbDecision=131 #constraints=1933 0.09/0.16 o 63 0.09/0.16 c nbDecision=131 #constraints=1934 0.09/0.16 o 62 0.09/0.17 c nbDecision=131 #constraints=1935 0.09/0.17 o 61 0.09/0.17 c nbDecision=131 #constraints=1936 0.09/0.17 o 60 0.09/0.17 c nbDecision=131 #constraints=1937 0.09/0.17 o 59 0.09/0.17 c nbDecision=131 #constraints=1938 0.09/0.17 o 58 0.09/0.18 c nbDecision=131 #constraints=1939 0.09/0.18 o 57 0.09/0.18 c nbDecision=131 #constraints=1940 0.09/0.18 o 56 0.09/0.18 c nbDecision=131 #constraints=1941 0.09/0.18 o 55 0.09/0.18 c nbDecision=131 #constraints=1942 0.09/0.18 o 54 0.09/0.19 c nbDecision=131 #constraints=1943 0.09/0.19 o 53 0.09/0.19 c nbDecision=131 #constraints=1944 0.09/0.19 o 52 0.09/0.19 c nbDecision=131 #constraints=1945 0.09/0.19 o 51 0.09/0.20 c nbDecision=131 #constraints=1946 0.09/0.20 o 50 0.19/0.20 c nbDecision=131 #constraints=1947 0.19/0.20 o 49 0.19/0.20 c nbDecision=131 #constraints=1948 0.19/0.20 o 48 0.19/0.21 c nbDecision=132 #constraints=1950 0.19/0.21 o 47 0.19/0.21 c nbDecision=132 #constraints=1951 0.19/0.21 o 46 0.19/0.21 c nbDecision=132 #constraints=1952 0.19/0.21 o 45 0.19/0.21 c nbDecision=132 #constraints=1953 0.19/0.21 o 44 0.19/0.22 c nbDecision=132 #constraints=1954 0.19/0.22 o 43 0.19/0.22 c nbDecision=132 #constraints=1955 0.19/0.22 o 42 0.19/0.22 c nbDecision=132 #constraints=1956 0.19/0.22 o 41 0.19/0.23 c nbDecision=132 #constraints=1957 0.19/0.23 o 40 0.19/0.23 c nbDecision=132 #constraints=1958 0.19/0.23 o 39 0.19/0.23 c nbDecision=133 #constraints=1960 0.19/0.23 o 38 0.19/0.24 c nbDecision=133 #constraints=1961 0.19/0.24 o 37 0.39/0.48 c nbDecision=284 #constraints=2092 0.39/0.48 o 36 0.39/0.49 c nbDecision=289 #constraints=2097 0.39/0.49 o 35 0.59/0.70 c restart after 401 decisions 0.89/0.91 c nbDecision=500 #constraints=2266 0.89/0.97 c nbDecision=598 #constraints=2321 0.89/0.97 o 34 1.29/1.31 c restart after 801 decisions 1.39/1.46 c nbDecision=847 #constraints=2512 1.39/1.46 o 33 1.69/1.78 c nbDecision=1000 #constraints=2625 2.59/2.63 c nbDecision=1500 #constraints=2974 2.89/2.98 c restart after 1601 decisions 3.49/3.53 c nbDecision=1902 #constraints=3241 3.49/3.53 o 32 3.99/4.06 c nbDecision=2000 #constraints=3327 5.49/5.60 c nbDecision=2500 #constraints=3660 6.29/6.32 c nbDecision=2798 #constraints=3840 6.29/6.32 o 31 7.09/7.17 c nbDecision=3000 #constraints=3975 8.09/8.14 c restart after 3201 decisions 9.19/9.20 c nbDecision=3500 #constraints=4314 12.59/12.63 c nbDecision=4000 #constraints=4696 15.18/15.25 c nbDecision=4500 #constraints=5027 18.18/18.29 c nbDecision=5000 #constraints=5365 22.88/22.97 c nbDecision=5500 #constraints=5726 25.78/25.87 c nbDecision=6000 #constraints=6048 29.08/29.18 c restart after 6401 decisions 31.47/31.51 c nbDecision=6500 #constraints=6396 35.88/35.96 c nbDecision=7000 #constraints=6717 40.38/40.45 c nbDecision=7500 #constraints=7041 45.37/45.48 c nbDecision=8000 #constraints=7376 54.17/54.27 c nbDecision=8500 #constraints=7780 59.37/59.45 c nbDecision=9000 #constraints=8097 65.87/65.95 c nbDecision=9500 #constraints=8443 71.56/71.64 c nbDecision=10000 #constraints=8781 78.56/78.64 c nbDecision=10500 #constraints=9146 83.36/83.41 c nbDecision=11000 #constraints=9461 91.26/91.37 c nbDecision=11500 #constraints=9799 96.15/96.22 c nbDecision=12000 #constraints=10105 102.55/102.68 c nbDecision=12500 #constraints=10415 105.96/106.08 c restart after 12801 decisions 112.45/112.51 c nbDecision=13000 #constraints=10744 123.75/123.84 c nbDecision=13500 #constraints=11074 131.64/131.78 c nbDecision=14000 #constraints=11328 140.34/140.40 c nbDecision=14500 #constraints=11613 152.14/152.24 c nbDecision=15000 #constraints=11971 159.84/159.97 c nbDecision=15500 #constraints=12206 168.03/168.13 c nbDecision=16000 #constraints=12504 177.72/177.86 c nbDecision=16500 #constraints=12783 189.22/189.39 c nbDecision=17000 #constraints=13109 202.72/202.87 c nbDecision=17500 #constraints=13447 212.01/212.16 c nbDecision=18000 #constraints=13762 222.31/222.46 c nbDecision=18500 #constraints=14028 232.50/232.67 c nbDecision=19000 #constraints=14305 240.40/240.52 c nbDecision=19500 #constraints=14613 249.10/249.25 c nbDecision=20000 #constraints=14900 258.90/259.03 c nbDecision=20500 #constraints=15212 267.39/267.57 c nbDecision=21000 #constraints=15520 277.19/277.34 c nbDecision=21500 #constraints=15794 283.89/284.03 c nbDecision=22000 #constraints=16092 289.68/289.80 c nbDecision=22500 #constraints=16334 296.58/296.80 c nbDecision=23000 #constraints=16587 302.68/302.88 c nbDecision=23500 #constraints=16876 305.69/305.80 c nbDecision=24000 #constraints=17091 309.08/309.20 c nbDecision=24500 #constraints=17346 311.78/311.94 c nbDecision=25000 #constraints=17584 314.97/315.16 c nbDecision=25500 #constraints=17851 315.48/315.61 c restart after 25601 decisions 338.96/339.11 c nbDecision=26000 #constraints=18206 366.46/366.60 c nbDecision=26500 #constraints=18559 370.95/371.11 c nbDecision=26705 #constraints=18685 370.95/371.11 o 30 388.45/388.70 c nbDecision=27000 #constraints=18903 412.84/413.06 c nbDecision=27500 #constraints=19257 436.93/437.13 c nbDecision=28000 #constraints=19560 470.22/470.46 c nbDecision=28500 #constraints=19938 491.81/492.06 c nbDecision=29000 #constraints=20272 520.70/520.95 c nbDecision=29500 #constraints=20643 550.90/551.12 c nbDecision=30000 #constraints=20978 572.48/572.75 c nbDecision=30500 #constraints=21321 600.67/600.91 c nbDecision=31000 #constraints=21667 623.76/624.08 c nbDecision=31500 #constraints=21995 648.95/649.24 c nbDecision=32000 #constraints=22297 670.24/670.55 c nbDecision=32500 #constraints=22643 691.44/691.71 c nbDecision=33000 #constraints=22955 724.12/724.46 c nbDecision=33500 #constraints=23348 743.72/744.00 c nbDecision=34000 #constraints=23614 765.01/765.31 c nbDecision=34500 #constraints=23935 784.81/785.18 c nbDecision=35000 #constraints=24210 806.90/807.21 c nbDecision=35500 #constraints=24507 831.19/831.50 c nbDecision=36000 #constraints=24854 852.38/852.77 c nbDecision=36500 #constraints=25182 872.87/873.21 c nbDecision=37000 #constraints=25504 899.06/899.47 c nbDecision=37500 #constraints=25851 914.32/914.73 c nbDecision=38000 #constraints=26207 929.99/930.44 c nbDecision=38500 #constraints=26547 946.47/946.99 c nbDecision=39000 #constraints=26894 960.15/960.65 c nbDecision=39500 #constraints=27269 969.94/970.49 c nbDecision=40000 #constraints=27656 979.44/979.94 c nbDecision=40500 #constraints=28045 984.53/985.08 c nbDecision=41000 #constraints=28453 991.33/991.82 c nbDecision=41500 #constraints=28742 1019.52/1020.01 c nbDecision=42000 #constraints=29113 1034.11/1034.60 c nbDecision=42500 #constraints=29459 1045.01/1045.57 c nbDecision=43000 #constraints=29855 1063.90/1064.48 c nbDecision=43500 #constraints=30284 1098.40/1098.93 c nbDecision=44000 #constraints=30691 1134.69/1135.29 c nbDecision=44500 #constraints=31046 1174.17/1174.73 c nbDecision=45000 #constraints=31394 1206.25/1206.83 c nbDecision=45500 #constraints=31727 1235.75/1236.34 c nbDecision=46000 #constraints=32097 1256.74/1257.36 c nbDecision=46500 #constraints=32502 1269.23/1269.83 c nbDecision=47000 #constraints=32921 1308.92/1309.54 c nbDecision=47500 #constraints=33338 1348.90/1349.57 c nbDecision=48000 #constraints=33749 1375.19/1375.82 c nbDecision=48500 #constraints=34176 1390.38/1391.02 c nbDecision=48798 #constraints=34442 1390.38/1391.02 o 29 1428.18/1428.90 c nbDecision=49000 #constraints=34593 1480.55/1481.20 c nbDecision=49500 #constraints=34913 1521.14/1521.84 c nbDecision=50000 #constraints=35186 1578.31/1579.01 c nbDecision=50500 #constraints=35489 1621.90/1622.61 c nbDecision=51000 #constraints=35759 1648.99/1649.76 c restart after 51201 decisions 1687.58/1688.30 c nbDecision=51500 #constraints=36062 1737.06/1737.82 c nbDecision=52000 #constraints=36384 1786.94/1787.76 c nbDecision=52500 #constraints=36685 1800.04/1800.80 Received signal 15 1800.33/1801.15 1800.33/1801.15 s SATISFIABLE 1800.33/1801.15 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 1800.33/1801.15 v -x32 -x33 -x34 x35 x36 x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 1800.33/1801.15 v -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 1800.33/1801.15 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 1800.33/1801.15 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 1800.33/1801.15 v -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 x143 -x144 x145 x146 x147 -x148 -x149 -x150 -x151 1800.33/1801.15 v x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 1800.33/1801.15 v x173 -x174 x175 x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1800.33/1801.15 v -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 1800.33/1801.15 v -x216 x217 -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 1800.33/1801.15 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.33/1801.15 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 1800.33/1801.15 v -x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 1800.33/1801.15 v x300 -x301 -x302 x303 x304 -x305 -x306 x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1800.33/1801.15 v -x322 x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 1800.33/1801.15 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363 1800.33/1801.15 v -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.33/1801.15 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.33/1801.15 v -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.33/1801.15 v -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 -x446 -x447 -x448 1800.33/1801.15 v -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.33/1801.15 v -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1800.33/1801.15 v -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 1800.33/1801.15 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 1800.33/1801.15 v -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1800.33/1801.15 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 x566 x567 x568 -x569 -x570 -x571 -x572 1800.33/1801.15 1800.33/1801.15 c user time= 1800.05 s 1800.33/1801.15 c system time= 0.348946 s 1800.33/1801.15 c wall clock time=1801.16
OK 29
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-373217-1177173959 -o ROOT/results/node13/solver-373217-1177173959 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373217-1177173959/instance-373217-1177173959.opb mod 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.99 0.99 3/77 29292 /proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=1468 CPUtime=0 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 165313735 1503232 166 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 367 166 130 317 0 46 0 [startup+0.044384 s] /proc/loadavg: 0.93 0.99 0.99 3/77 29292 /proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=2132 CPUtime=0.04 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 381 0 0 0 4 0 0 0 18 0 1 0 165313735 2183168 363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 533 364 170 317 0 212 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2132 [startup+0.101397 s] /proc/loadavg: 0.93 0.99 0.99 3/77 29292 /proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=2388 CPUtime=0.09 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 432 0 0 0 9 0 0 0 18 0 1 0 165313735 2445312 414 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 597 414 170 317 0 276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2388 [startup+0.301439 s] /proc/loadavg: 0.93 0.99 0.99 3/77 29292 /proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=2648 CPUtime=0.29 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 498 0 0 0 29 0 0 0 19 0 1 0 165313735 2711552 480 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 662 480 170 317 0 341 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2648 [startup+0.701546 s] /proc/loadavg: 0.93 0.99 0.99 3/77 29292 /proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=3296 CPUtime=0.69 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 652 0 0 0 69 0 0 0 23 0 1 0 165313735 3375104 634 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 824 634 170 317 0 503 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3296 [startup+1.5027 s] /proc/loadavg: 0.93 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1785488/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=4212 CPUtime=1.49 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 891 0 0 0 149 0 0 0 25 0 1 0 165313735 4313088 873 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 1053 873 170 317 0 732 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4212 [startup+3.10104 s] /proc/loadavg: 0.93 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1784208/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=5660 CPUtime=3.09 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 1261 0 0 0 309 0 0 0 25 0 1 0 165313735 5795840 1243 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604210 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 1415 1243 170 317 0 1094 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5660 [startup+6.30172 s] /proc/loadavg: 0.94 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1781904/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=7708 CPUtime=6.29 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 1742 0 0 0 629 0 0 0 25 0 1 0 165313735 7892992 1724 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 1927 1724 170 317 0 1606 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7708 [startup+12.7011 s] /proc/loadavg: 0.94 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1779168/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=10204 CPUtime=12.69 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 2343 0 0 0 1268 1 0 0 25 0 1 0 165313735 10448896 2325 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 2551 2325 170 317 0 2230 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10204 [startup+25.5018 s] /proc/loadavg: 0.95 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1775968/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=14240 CPUtime=25.48 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 3267 0 0 0 2546 2 0 0 25 0 1 0 165313735 14581760 3249 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 3560 3249 170 317 0 3239 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14240 [startup+51.1013 s] /proc/loadavg: 0.97 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1771360/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=18484 CPUtime=51.07 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 4362 0 0 0 5104 3 0 0 25 0 1 0 165313735 18927616 4294 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 4621 4294 170 317 0 4300 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18484 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1763616/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=26804 CPUtime=102.25 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 6277 0 0 0 10220 5 0 0 25 0 1 0 165313735 27447296 6209 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 6701 6209 170 317 0 6380 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 26804 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1758560/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=31708 CPUtime=162.23 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 7529 0 0 0 16216 7 0 0 25 0 1 0 165313735 32468992 7461 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 7927 7461 170 317 0 7606 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 31708 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1754208/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=35788 CPUtime=222.21 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 8613 0 0 0 22212 9 0 0 25 0 1 0 165313735 36646912 8545 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 8947 8545 170 317 0 8626 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 35788 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1748832/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=41384 CPUtime=282.19 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 10108 0 0 0 28208 11 0 0 25 0 1 0 165313735 42377216 9941 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 10346 9941 170 317 0 10025 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 41384 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1742496/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=47868 CPUtime=342.17 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 11697 0 0 0 34204 13 0 0 25 0 1 0 165313735 49016832 11431 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 11967 11431 170 317 0 11646 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 47868 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1740192/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=52400 CPUtime=402.14 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 12677 0 0 0 40200 14 0 0 25 0 1 0 165313735 53657600 12015 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 13100 12015 170 317 0 12779 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 52400 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1738016/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=54656 CPUtime=462.12 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 13253 0 0 0 46197 15 0 0 25 0 1 0 165313735 55967744 12591 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 13664 12591 170 317 0 13343 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 54656 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1736032/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=56500 CPUtime=522.1 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 13759 0 0 0 52195 15 0 0 25 0 1 0 165313735 57856000 13097 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 14125 13097 170 317 0 13804 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 56500 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1734048/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=58204 CPUtime=582.08 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 14243 0 0 0 58191 17 0 0 25 0 1 0 165313735 59600896 13581 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 14551 13581 170 317 0 14230 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 58204 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29293 /proc/meminfo: memFree=1731872/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=60500 CPUtime=642.06 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 14799 0 0 0 64189 17 0 0 25 0 1 0 165313735 61952000 14137 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 15125 14137 170 317 0 14804 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 60500 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/84 29463 /proc/meminfo: memFree=1717992/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=72380 CPUtime=941.87 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 17948 0 0 0 94165 22 0 0 25 0 1 0 165313735 74117120 17286 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 18095 17286 170 317 0 17774 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 72380 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29491 /proc/meminfo: memFree=1711456/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=80248 CPUtime=1001.83 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 20009 0 0 0 100159 24 0 0 25 0 1 0 165313735 82173952 19149 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 20062 19149 170 317 0 19741 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 80248 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29491 /proc/meminfo: memFree=1708000/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=83812 CPUtime=1061.8 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 21008 0 0 0 106155 25 0 0 25 0 1 0 165313735 85823488 20082 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 20953 20082 170 317 0 20632 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 83812 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29491 /proc/meminfo: memFree=1705504/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=86112 CPUtime=1121.78 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 21598 0 0 0 112152 26 0 0 25 0 1 0 165313735 88178688 20672 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 21528 20672 170 317 0 21207 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 86112 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29491 /proc/meminfo: memFree=1704032/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=87692 CPUtime=1181.76 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 21995 0 0 0 118149 27 0 0 25 0 1 0 165313735 89796608 21069 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 21923 21069 170 317 0 21602 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 87692 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 29491 /proc/meminfo: memFree=1701472/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=90148 CPUtime=1241.74 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 22629 0 0 0 124146 28 0 0 25 0 1 0 165313735 92311552 21703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 22537 21703 170 317 0 22216 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 90148 [startup+1302.3 s] /proc/loadavg: 1.04 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1697888/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=93692 CPUtime=1301.72 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 23524 0 0 0 130143 29 0 0 25 0 1 0 165313735 95940608 22565 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 23423 22565 170 317 0 23102 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 93692 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1696032/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=95528 CPUtime=1361.7 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 24036 0 0 0 136140 30 0 0 25 0 1 0 165313735 97820672 23077 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 23882 23077 170 317 0 23561 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 95528 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1693856/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=97848 CPUtime=1421.68 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 24577 0 0 0 142137 31 0 0 25 0 1 0 165313735 100196352 23618 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 24462 23618 170 317 0 24141 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 97848 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1692512/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=104936 CPUtime=1481.65 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26267 0 0 0 148134 31 0 0 25 0 1 0 165313735 107454464 23943 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 26234 23943 170 317 0 25913 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 104936 [startup+1542.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 29491 /proc/meminfo: memFree=1691424/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=106032 CPUtime=1541.63 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26543 0 0 0 154131 32 0 0 25 0 1 0 165313735 108576768 24219 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 26508 24219 170 317 0 26187 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 106032 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 29491 /proc/meminfo: memFree=1690336/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=107868 CPUtime=1601.61 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26910 0 0 0 160128 33 0 0 25 0 1 0 165313735 110456832 24488 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 26967 24488 170 317 0 26646 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 107868 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1690080/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=108132 CPUtime=1661.58 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26974 0 0 0 166125 33 0 0 25 0 1 0 165313735 110727168 24552 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 27033 24552 170 317 0 26712 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 108132 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1689184/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=109188 CPUtime=1721.57 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27195 0 0 0 172123 34 0 0 25 0 1 0 165313735 111808512 24773 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 27297 24773 170 317 0 26976 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 109188 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1688480/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=109980 CPUtime=1781.54 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27380 0 0 0 178120 34 0 0 25 0 1 0 165313735 112619520 24958 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 27495 24958 170 317 0 27174 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 109980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1688032/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=110240 CPUtime=1800.04 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27486 0 0 0 179970 34 0 0 25 0 1 0 165313735 112885760 25064 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 27560 25064 170 317 0 27239 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 110240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1688032/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=110240 CPUtime=1800.23 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27486 0 0 0 179989 34 0 0 25 0 1 0 165313735 112885760 25064 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 27560 25064 170 317 0 27239 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 110240 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29491 /proc/meminfo: memFree=1688032/2055920 swapFree=4159428/4192956 [pid=29292] ppid=29290 vsize=110240 CPUtime=1800.33 /proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27486 0 0 0 179999 34 0 0 25 0 1 0 165313735 112885760 25064 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29292/statm: 27560 25064 170 317 0 27239 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 110240 Child status: 0 Real time (s): 1801.18 CPU time (s): 1800.43 CPU user time (s): 1800.06 CPU system time (s): 0.366944 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 110240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.366944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27502 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= 8 involuntary context switches= 38070 runsolver used 2.04069 second user time and 4.52531 second system time The end
Begin job on node13 on Sat Apr 21 16:45:59 UTC 2007 IDJOB= 373217 IDBENCH= 25027 IDSOLVER= 172 FILE ID= node13/373217-1177173959 PBS_JOBID= 4648980 Free space on /tmp= 66358 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir06_area_partials.opb COMMAND LINE= oree /tmp/evaluation/373217-1177173959/instance-373217-1177173959.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-373217-1177173959 -o ROOT/results/node13/solver-373217-1177173959 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373217-1177173959/instance-373217-1177173959.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 65718755a88a1589573221eda1549993 RANDOM SEED= 383133722 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1788272 kB Buffers: 39076 kB Cached: 162272 kB SwapCached: 12716 kB Active: 129872 kB Inactive: 94776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788272 kB SwapTotal: 4192956 kB SwapFree: 4159428 kB Dirty: 1600 kB Writeback: 0 kB Mapped: 30352 kB Slab: 28404 kB Committed_AS: 6804372 kB PageTables: 1872 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66358 MiB End job on node13 on Sat Apr 21 17:16:02 UTC 2007