Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.01 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
MD5SUM | eb2e849a72ed563d78cdb83a394edb27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 9.32758 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | YES |
Number of variables | 456 |
Total number of constraints | 1602 |
Number of constraints which are clauses | 1602 |
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 | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 456 |
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 | 456 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 456 |
Number of bits of the biggest sum of numbers | 9 |
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.06 c 2012-05-27T13:04:14+0200 0.00/0.06 c arch = x86_64 0.00/0.06 c os = linux 0.00/0.06 c compiler = ghc 7.4 0.00/0.06 c packages: 0.00/0.06 c OptDir-0.0.1 0.00/0.06 c array-0.4.0.0 0.00/0.06 c base-4.5.0.0 0.00/0.06 c bytestring-0.9.2.1 0.00/0.06 c containers-0.4.2.1 0.00/0.06 c deepseq-1.3.0.0 0.00/0.06 c mtl-2.1.1 0.00/0.06 c old_locale-1.0.0.4 0.00/0.06 c parse_dimacs-1.2 0.00/0.06 c parsec-3.1.2 0.00/0.06 c queue-0.1.2 0.00/0.06 c stm-2.3 0.00/0.06 c time-1.4 0.00/0.06 c command line = ["--pb","HOME/instance-3706659-1338116654.opb"] 0.00/0.06 c #vars 456 0.00/0.06 c #constraints 1602 0.00/0.06 c Solving starts ... 0.06/0.08 c solving time = 0.027s 0.06/0.08 c #decision = 179 0.06/0.08 c #conflict = 99 0.06/0.08 c #restart = 0 0.06/0.08 o 226 0.06/0.08 c Solving starts ... 0.06/0.09 c solving time = 0.002s 0.06/0.09 c #decision = 244 0.06/0.09 c #conflict = 99 0.06/0.09 c #restart = 0 0.06/0.09 o 225 0.06/0.09 c Solving starts ... 0.06/0.09 c solving time = 0.002s 0.06/0.09 c #decision = 313 0.06/0.09 c #conflict = 100 0.06/0.09 c #restart = 0 0.06/0.09 o 224 0.06/0.09 c Solving starts ... 0.06/0.09 c solving time = 0.001s 0.06/0.09 c #decision = 384 0.06/0.09 c #conflict = 100 0.06/0.09 c #restart = 0 0.06/0.09 o 223 0.06/0.09 c Solving starts ... 0.06/0.09 c solving time = 0.001s 0.06/0.09 c #decision = 454 0.06/0.09 c #conflict = 100 0.06/0.09 c #restart = 0 0.06/0.09 o 222 0.06/0.09 c Solving starts ... 0.06/0.09 c solving time = 0.001s 0.06/0.09 c #decision = 523 0.06/0.09 c #conflict = 100 0.06/0.09 c #restart = 0 0.06/0.09 o 221 0.06/0.09 c Solving starts ... 0.06/0.10 c solving time = 0.001s 0.06/0.10 c #decision = 591 0.06/0.10 c #conflict = 100 0.06/0.10 c #restart = 0 0.06/0.10 o 220 0.09/0.10 c Solving starts ... 0.09/0.10 c solving time = 0.002s 0.09/0.10 c #decision = 658 0.09/0.10 c #conflict = 100 0.09/0.10 c #restart = 0 0.09/0.10 o 219 0.09/0.10 c Solving starts ... 0.09/0.10 c solving time = 0.002s 0.09/0.10 c #decision = 724 0.09/0.10 c #conflict = 101 0.09/0.10 c #restart = 0 0.09/0.10 o 218 0.09/0.10 c Solving starts ... 0.09/0.10 c solving time = 0.002s 0.09/0.10 c #decision = 791 0.09/0.10 c #conflict = 103 0.09/0.10 c #restart = 0 0.09/0.10 o 217 0.09/0.10 c Solving starts ... 0.09/0.10 c solving time = 0.001s 0.09/0.10 c #decision = 846 0.09/0.10 c #conflict = 104 0.09/0.10 c #restart = 0 0.09/0.10 o 216 0.09/0.11 c Solving starts ... 0.09/0.11 c solving time = 0.004s 0.09/0.11 c #decision = 892 0.09/0.11 c #conflict = 108 0.09/0.11 c #restart = 0 0.09/0.11 o 215 0.09/0.11 c Solving starts ... 0.19/0.21 c solving time = 0.100s 0.19/0.21 c #decision = 1219 0.19/0.21 c #conflict = 285 0.19/0.21 c #restart = 1 0.19/0.21 o 214 0.19/0.21 c Solving starts ... 0.19/0.21 c solving time = 0.003s 0.19/0.21 c #decision = 1255 0.19/0.21 c #conflict = 286 0.19/0.21 c #restart = 1 0.19/0.21 o 213 0.19/0.22 c Solving starts ... 0.19/0.24 c solving time = 0.023s 0.19/0.24 c #decision = 1328 0.19/0.24 c #conflict = 322 0.19/0.24 c #restart = 1 0.19/0.24 o 212 0.19/0.24 c Solving starts ... 0.19/0.26 c solving time = 0.020s 0.19/0.26 c #decision = 1405 0.19/0.26 c #conflict = 354 0.19/0.26 c #restart = 1 0.19/0.26 o 211 0.19/0.26 c Solving starts ... 0.19/0.27 c solving time = 0.009s 0.19/0.27 c #decision = 1453 0.19/0.27 c #conflict = 365 0.19/0.27 c #restart = 1 0.19/0.27 o 210 0.19/0.27 c Solving starts ... 0.29/0.30 c solving time = 0.035s 0.29/0.30 c #decision = 1539 0.29/0.30 c #conflict = 409 0.29/0.30 c #restart = 1 0.29/0.30 o 209 0.29/0.30 c Solving starts ... 0.29/0.31 c solving time = 0.008s 0.29/0.31 c #decision = 1584 0.29/0.31 c #conflict = 419 0.29/0.31 c #restart = 1 0.29/0.31 o 208 0.29/0.31 c Solving starts ... 0.29/0.34 c solving time = 0.029s 0.29/0.34 c #decision = 1662 0.29/0.34 c #conflict = 455 0.29/0.34 c #restart = 1 0.29/0.34 o 207 0.29/0.34 c Solving starts ... 0.29/0.38 c solving time = 0.035s 0.29/0.38 c #decision = 1748 0.29/0.38 c #conflict = 496 0.29/0.38 c #restart = 1 0.29/0.38 o 206 0.29/0.38 c Solving starts ... 0.39/0.41 c solving time = 0.037s 0.39/0.41 c #decision = 1839 0.39/0.41 c #conflict = 534 0.39/0.41 c #restart = 1 0.39/0.41 o 205 0.39/0.41 c Solving starts ... 0.39/0.44 c solving time = 0.021s 0.39/0.44 c #decision = 1902 0.39/0.44 c #conflict = 555 0.39/0.44 c #restart = 1 0.39/0.44 o 204 0.39/0.44 c Solving starts ... 0.39/0.48 c solving time = 0.043s 0.39/0.48 c #decision = 1985 0.39/0.48 c #conflict = 603 0.39/0.48 c #restart = 1 0.39/0.48 o 203 0.39/0.48 c Solving starts ... 0.49/0.53 c solving time = 0.054s 0.49/0.53 c #decision = 2096 0.49/0.53 c #conflict = 666 0.49/0.53 c #restart = 1 0.49/0.53 o 202 0.49/0.53 c Solving starts ... 0.49/0.60 c solving time = 0.061s 0.49/0.60 c #decision = 2203 0.49/0.60 c #conflict = 732 0.49/0.60 c #restart = 1 0.49/0.60 o 201 0.58/0.60 c Solving starts ... 0.58/0.60 c learnt constraints deletion: 731 -> 366 0.58/0.63 c solving time = 0.039s 0.58/0.63 c #decision = 2281 0.58/0.63 c #conflict = 768 0.58/0.63 c #restart = 1 0.58/0.63 o 200 0.58/0.63 c Solving starts ... 0.68/0.71 c solving time = 0.077s 0.68/0.71 c #decision = 2409 0.68/0.71 c #conflict = 844 0.68/0.71 c #restart = 1 0.68/0.71 o 199 0.68/0.71 c Solving starts ... 0.78/0.87 c solving time = 0.160s 0.78/0.87 c #decision = 2696 0.78/0.87 c #conflict = 989 0.78/0.87 c #restart = 2 0.78/0.87 o 198 0.78/0.87 c Solving starts ... 0.88/0.98 c learnt constraints deletion: 721 -> 361 1.10/1.14 c solving time = 0.268s 1.10/1.14 c #decision = 3269 1.10/1.14 c #conflict = 1256 1.10/1.14 c #restart = 4 1.10/1.14 o 197 1.10/1.14 c Solving starts ... 1.39/1.43 c learnt constraints deletion: 775 -> 388 1.99/2.02 c solving time = 0.879s 1.99/2.02 c #decision = 4686 1.99/2.02 c #conflict = 2053 1.99/2.02 c #restart = 7 1.99/2.02 o 196 1.99/2.02 c Solving starts ... 1.99/2.02 c learnt constraints deletion: 934 -> 467 2.49/2.54 c learnt constraints deletion: 939 -> 470 3.48/3.53 c learnt constraints deletion: 1313 -> 657 4.40/4.45 c learnt constraints deletion: 1417 -> 709 5.59/5.65 c learnt constraints deletion: 1605 -> 806 7.39/7.48 c learnt constraints deletion: 1759 -> 885 8.80/8.83 c learnt constraints deletion: 1769 -> 889 10.09/10.10 c learnt constraints deletion: 1867 -> 934 11.49/11.52 c learnt constraints deletion: 1895 -> 951 12.48/12.55 c learnt constraints deletion: 1701 -> 851 14.39/14.41 c learnt constraints deletion: 2042 -> 1023 15.99/16.07 c learnt constraints deletion: 2046 -> 1026 17.69/17.76 c learnt constraints deletion: 2050 -> 1025 19.48/19.59 c learnt constraints deletion: 2200 -> 1103 21.18/21.21 c learnt constraints deletion: 2203 -> 1106 22.88/22.94 c learnt constraints deletion: 2218 -> 1115 24.48/24.52 c learnt constraints deletion: 2211 -> 1112 26.18/26.20 c learnt constraints deletion: 2215 -> 1114 28.08/28.17 c learnt constraints deletion: 2397 -> 1200 29.69/29.75 c learnt constraints deletion: 2371 -> 1186 31.78/31.87 c learnt constraints deletion: 2363 -> 1182 34.18/34.21 c learnt constraints deletion: 2388 -> 1194 35.98/36.09 c learnt constraints deletion: 2382 -> 1195 37.98/38.00 c learnt constraints deletion: 2387 -> 1195 39.88/39.95 c learnt constraints deletion: 2395 -> 1201 41.58/41.69 c learnt constraints deletion: 2270 -> 1135 43.68/43.76 c learnt constraints deletion: 2599 -> 1301 45.38/45.43 c learnt constraints deletion: 2594 -> 1303 47.28/47.35 c learnt constraints deletion: 2600 -> 1301 49.18/49.22 c learnt constraints deletion: 2603 -> 1303 50.77/50.89 c learnt constraints deletion: 2598 -> 1302 52.58/52.64 c learnt constraints deletion: 2599 -> 1301 54.57/54.69 c learnt constraints deletion: 2600 -> 1303 56.38/56.45 c learnt constraints deletion: 2605 -> 1307 58.18/58.23 c learnt constraints deletion: 2592 -> 1301 59.77/59.83 c learnt constraints deletion: 2479 -> 1240 62.18/62.23 c learnt constraints deletion: 2820 -> 1411 64.37/64.44 c learnt constraints deletion: 2810 -> 1407 66.17/66.20 c learnt constraints deletion: 2807 -> 1404 68.08/68.13 c learnt constraints deletion: 2817 -> 1410 70.58/70.63 c learnt constraints deletion: 2821 -> 1413 73.27/73.34 c learnt constraints deletion: 2811 -> 1408 75.88/75.98 c learnt constraints deletion: 2815 -> 1411 78.17/78.25 c learnt constraints deletion: 2819 -> 1412 80.17/80.28 c learnt constraints deletion: 2815 -> 1410 82.38/82.43 c learnt constraints deletion: 2812 -> 1408 84.68/84.72 c learnt constraints deletion: 2816 -> 1411 86.57/86.63 c learnt constraints deletion: 2815 -> 1412 88.67/88.70 c learnt constraints deletion: 2813 -> 1410 91.18/91.22 c learnt constraints deletion: 3056 -> 1532 93.87/93.91 c learnt constraints deletion: 3062 -> 1531 95.87/95.93 c learnt constraints deletion: 3056 -> 1530 97.97/98.02 c learnt constraints deletion: 3061 -> 1534 100.17/100.22 c learnt constraints deletion: 3063 -> 1535 101.97/102.03 c learnt constraints deletion: 3050 -> 1529 103.76/103.89 c learnt constraints deletion: 3062 -> 1533 105.77/105.89 c learnt constraints deletion: 3048 -> 1527 107.97/108.09 c learnt constraints deletion: 3062 -> 1535 110.17/110.27 c learnt constraints deletion: 3070 -> 1539 112.27/112.32 c learnt constraints deletion: 3061 -> 1535 114.67/114.74 c learnt constraints deletion: 3054 -> 1528 116.57/116.67 c learnt constraints deletion: 3054 -> 1530 119.27/119.39 c learnt constraints deletion: 3055 -> 1532 121.67/121.71 c learnt constraints deletion: 3054 -> 1530 123.66/123.74 c learnt constraints deletion: 3050 -> 1529 125.96/126.01 c learnt constraints deletion: 3052 -> 1531 128.57/128.60 c learnt constraints deletion: 3057 -> 1533 131.06/131.19 c learnt constraints deletion: 3052 -> 1531 134.36/134.43 c learnt constraints deletion: 3320 -> 1661 136.76/136.86 c learnt constraints deletion: 3319 -> 1662 139.17/139.26 c learnt constraints deletion: 3321 -> 1664 141.47/141.52 c learnt constraints deletion: 3321 -> 1664 143.86/143.95 c learnt constraints deletion: 3327 -> 1668 146.27/146.38 c learnt constraints deletion: 3322 -> 1664 148.76/148.87 c learnt constraints deletion: 3335 -> 1672 150.96/151.09 c learnt constraints deletion: 3327 -> 1667 153.46/153.52 c learnt constraints deletion: 3328 -> 1668 155.76/155.84 c learnt constraints deletion: 3329 -> 1670 158.55/158.65 c learnt constraints deletion: 3319 -> 1662 161.36/161.46 c learnt constraints deletion: 3331 -> 1675 163.66/163.72 c learnt constraints deletion: 3328 -> 1670 165.35/165.41 c learnt constraints deletion: 3326 -> 1670 167.16/167.22 c learnt constraints deletion: 3321 -> 1667 169.06/169.13 c learnt constraints deletion: 3313 -> 1664 171.16/171.22 c learnt constraints deletion: 3318 -> 1666 173.16/173.25 c learnt constraints deletion: 3329 -> 1673 175.16/175.29 c learnt constraints deletion: 3303 -> 1657 177.65/177.72 c learnt constraints deletion: 3321 -> 1667 179.76/179.81 c learnt constraints deletion: 3323 -> 1669 182.06/182.17 c learnt constraints deletion: 3320 -> 1667 184.36/184.44 c learnt constraints deletion: 3324 -> 1668 186.96/187.08 c learnt constraints deletion: 3324 -> 1669 189.26/189.37 c learnt constraints deletion: 3320 -> 1667 191.56/191.66 c learnt constraints deletion: 3333 -> 1675 194.35/194.49 c learnt constraints deletion: 3553 -> 1777 198.25/198.36 c learnt constraints deletion: 3607 -> 1807 201.95/202.01 c learnt constraints deletion: 3617 -> 1815 204.65/204.79 c learnt constraints deletion: 3608 -> 1814 207.65/207.77 c learnt constraints deletion: 3619 -> 1821 210.95/211.01 c learnt constraints deletion: 3618 -> 1820 214.05/214.17 c learnt constraints deletion: 3591 -> 1806 217.14/217.26 c learnt constraints deletion: 3596 -> 1809 220.14/220.22 c learnt constraints deletion: 3623 -> 1824 223.25/223.31 c learnt constraints deletion: 3613 -> 1819 226.05/226.16 c learnt constraints deletion: 3622 -> 1824 228.94/229.08 c learnt constraints deletion: 3619 -> 1821 232.24/232.36 c learnt constraints deletion: 3620 -> 1821 235.65/235.78 c learnt constraints deletion: 3625 -> 1825 238.65/238.79 c learnt constraints deletion: 3611 -> 1817 241.45/241.50 c learnt constraints deletion: 3611 -> 1818 244.44/244.54 c learnt constraints deletion: 3612 -> 1818 247.24/247.33 c learnt constraints deletion: 3619 -> 1823 250.24/250.35 c learnt constraints deletion: 3616 -> 1817 253.04/253.18 c learnt constraints deletion: 3610 -> 1815 256.25/256.35 c learnt constraints deletion: 3607 -> 1814 259.14/259.20 c learnt constraints deletion: 3615 -> 1819 261.65/261.76 c learnt constraints deletion: 3617 -> 1819 264.24/264.36 c learnt constraints deletion: 3627 -> 1825 267.25/267.32 c learnt constraints deletion: 3630 -> 1826 269.74/269.88 c learnt constraints deletion: 3626 -> 1825 272.14/272.29 c learnt constraints deletion: 3623 -> 1825 274.73/274.89 c learnt constraints deletion: 3621 -> 1822 277.54/277.64 c learnt constraints deletion: 3609 -> 1817 280.24/280.40 c learnt constraints deletion: 3621 -> 1823 283.14/283.20 c learnt constraints deletion: 3623 -> 1825 285.95/286.08 c learnt constraints deletion: 3622 -> 1823 288.84/288.92 c learnt constraints deletion: 3611 -> 1818 291.53/291.61 c learnt constraints deletion: 3622 -> 1824 294.64/294.74 c learnt constraints deletion: 3628 -> 1828 297.84/297.94 c learnt constraints deletion: 3624 -> 1820 301.14/301.24 c learnt constraints deletion: 3936 -> 1980 304.43/304.57 c learnt constraints deletion: 3936 -> 1976 307.34/307.46 c learnt constraints deletion: 3860 -> 1930 310.43/310.51 c learnt constraints deletion: 3933 -> 1974 313.64/313.78 c learnt constraints deletion: 3938 -> 1977 316.83/316.96 c learnt constraints deletion: 3935 -> 1978 320.23/320.32 c learnt constraints deletion: 3926 -> 1972 323.53/323.65 c learnt constraints deletion: 3936 -> 1978 326.93/327.05 c learnt constraints deletion: 3950 -> 1985 330.13/330.21 c learnt constraints deletion: 3940 -> 1982 332.43/332.59 c learnt constraints deletion: 3786 -> 1893 335.53/335.63 c learnt constraints deletion: 3940 -> 1970 338.63/338.73 c learnt constraints deletion: 3939 -> 1975 342.03/342.17 c learnt constraints deletion: 3937 -> 1980 345.33/345.48 c learnt constraints deletion: 3938 -> 1981 349.82/349.90 c learnt constraints deletion: 3939 -> 1983 354.03/354.12 c learnt constraints deletion: 3938 -> 1980 357.82/357.90 c learnt constraints deletion: 3936 -> 1980 361.02/361.12 c learnt constraints deletion: 3944 -> 1985 364.43/364.54 c learnt constraints deletion: 3941 -> 1983 367.72/367.83 c learnt constraints deletion: 3945 -> 1986 371.22/371.30 c learnt constraints deletion: 3934 -> 1980 374.13/374.26 c learnt constraints deletion: 3937 -> 1981 377.42/377.57 c learnt constraints deletion: 3933 -> 1980 380.62/380.73 c learnt constraints deletion: 3947 -> 1987 383.52/383.64 c learnt constraints deletion: 3940 -> 1984 386.52/386.69 c learnt constraints deletion: 3938 -> 1969 390.22/390.37 c learnt constraints deletion: 3938 -> 1979 394.41/394.56 c learnt constraints deletion: 3935 -> 1984 398.02/398.18 c learnt constraints deletion: 3941 -> 1988 401.42/401.59 c learnt constraints deletion: 3930 -> 1977 404.82/404.94 c learnt constraints deletion: 3944 -> 1986 408.12/408.25 c learnt constraints deletion: 3944 -> 1986 411.22/411.39 c learnt constraints deletion: 3937 -> 1984 415.02/415.13 c learnt constraints deletion: 3936 -> 1980 418.42/418.50 c learnt constraints deletion: 3939 -> 1985 421.62/421.72 c learnt constraints deletion: 3944 -> 1987 424.31/424.44 c learnt constraints deletion: 3948 -> 1988 426.91/427.06 c learnt constraints deletion: 3935 -> 1983 429.92/430.07 c learnt constraints deletion: 3938 -> 1984 433.42/433.50 c learnt constraints deletion: 3936 -> 1984 437.11/437.27 c learnt constraints deletion: 3937 -> 1972 440.71/440.83 c learnt constraints deletion: 3936 -> 1983 443.91/444.06 c learnt constraints deletion: 3938 -> 1984 447.52/447.61 c learnt constraints deletion: 3939 -> 1984 451.11/451.25 c learnt constraints deletion: 3934 -> 1982 454.51/454.68 c learnt constraints deletion: 3942 -> 1986 457.71/457.80 c learnt constraints deletion: 3943 -> 1988 460.82/460.94 c learnt constraints deletion: 3935 -> 1982 464.70/464.81 c learnt constraints deletion: 3935 -> 1983 468.91/469.06 c learnt constraints deletion: 4292 -> 2161 473.11/473.22 c learnt constraints deletion: 4290 -> 2145 476.70/476.86 c learnt constraints deletion: 4297 -> 2153 480.20/480.36 c learnt constraints deletion: 4288 -> 2149 484.20/484.33 c learnt constraints deletion: 4287 -> 2148 488.22/488.33 c learnt constraints deletion: 4289 -> 2150 491.70/491.83 c learnt constraints deletion: 4295 -> 2154 495.11/495.21 c learnt constraints deletion: 4297 -> 2153 498.71/498.81 c learnt constraints deletion: 4293 -> 2152 502.51/502.68 c learnt constraints deletion: 4292 -> 2151 506.20/506.37 c learnt constraints deletion: 4291 -> 2152 509.50/509.65 c learnt constraints deletion: 4299 -> 2157 512.00/512.17 c learnt constraints deletion: 4294 -> 2151 514.60/514.76 c learnt constraints deletion: 4293 -> 2152 517.40/517.55 c learnt constraints deletion: 4283 -> 2147 520.79/520.94 c learnt constraints deletion: 4289 -> 2150 524.00/524.13 c learnt constraints deletion: 4293 -> 2153 527.29/527.46 c learnt constraints deletion: 4291 -> 2152 530.60/530.79 c learnt constraints deletion: 4298 -> 2156 534.10/534.25 c learnt constraints deletion: 4297 -> 2155 537.60/537.74 c learnt constraints deletion: 4286 -> 2149 541.11/541.22 c learnt constraints deletion: 4282 -> 2148 544.60/544.76 c learnt constraints deletion: 4295 -> 2155 547.61/547.77 c learnt constraints deletion: 4295 -> 2155 550.60/550.74 c learnt constraints deletion: 4292 -> 2154 554.20/554.35 c learnt constraints deletion: 4289 -> 2145 557.39/557.50 c learnt constraints deletion: 4302 -> 2158 560.39/560.52 c learnt constraints deletion: 4296 -> 2155 563.69/563.85 c learnt constraints deletion: 4286 -> 2149 566.99/567.18 c learnt constraints deletion: 4295 -> 2155 570.19/570.38 c learnt constraints deletion: 4279 -> 2147 573.49/573.63 c learnt constraints deletion: 4304 -> 2160 576.29/576.47 c learnt constraints deletion: 4295 -> 2155 579.29/579.49 c learnt constraints deletion: 4288 -> 2152 582.59/582.72 c learnt constraints deletion: 4299 -> 2158 585.79/585.94 c learnt constraints deletion: 4294 -> 2156 589.40/589.53 c learnt constraints deletion: 4292 -> 2154 592.88/593.08 c learnt constraints deletion: 4294 -> 2155 596.39/596.58 c learnt constraints deletion: 4294 -> 2156 600.08/600.25 c learnt constraints deletion: 4294 -> 2155 603.89/604.09 c learnt constraints deletion: 4289 -> 2154 607.68/607.83 c learnt constraints deletion: 4290 -> 2153 610.98/611.11 c learnt constraints deletion: 4296 -> 2157 614.58/614.74 c learnt constraints deletion: 4286 -> 2153 619.09/619.22 c learnt constraints deletion: 4290 -> 2153 622.79/622.93 c learnt constraints deletion: 4296 -> 2157 627.28/627.43 c learnt constraints deletion: 4301 -> 2161 630.68/630.80 c learnt constraints deletion: 4291 -> 2156 634.18/634.33 c learnt constraints deletion: 4291 -> 2156 637.58/637.78 c learnt constraints deletion: 4290 -> 2151 641.48/641.65 c learnt constraints deletion: 4296 -> 2156 644.98/645.19 c learnt constraints deletion: 4295 -> 2156 648.78/649.00 c learnt constraints deletion: 4287 -> 2152 652.78/652.95 c learnt constraints deletion: 4293 -> 2156 656.38/656.57 c learnt constraints deletion: 4301 -> 2161 659.97/660.14 c learnt constraints deletion: 4292 -> 2155 664.68/664.85 c learnt constraints deletion: 4294 -> 2156 668.38/668.59 c learnt constraints deletion: 4295 -> 2157 671.68/671.85 c learnt constraints deletion: 4301 -> 2161 674.88/675.00 c learnt constraints deletion: 4292 -> 2157 678.58/678.78 c learnt constraints deletion: 4290 -> 2153 682.77/682.98 c learnt constraints deletion: 4298 -> 2158 687.08/687.27 c learnt constraints deletion: 4291 -> 2155 690.78/690.93 c learnt constraints deletion: 4286 -> 2153 694.87/695.05 c learnt constraints deletion: 4293 -> 2156 699.17/699.37 c learnt constraints deletion: 4287 -> 2154 703.17/703.37 c learnt constraints deletion: 4296 -> 2159 707.67/707.84 c learnt constraints deletion: 4294 -> 2157 712.68/712.81 c learnt constraints deletion: 4294 -> 2158 717.87/718.00 c learnt constraints deletion: 4681 -> 2341 723.07/723.27 c learnt constraints deletion: 4678 -> 2343 728.47/728.63 c learnt constraints deletion: 4678 -> 2339 732.47/732.65 c learnt constraints deletion: 4679 -> 2342 736.87/737.07 c learnt constraints deletion: 4691 -> 2349 741.56/741.73 c learnt constraints deletion: 4680 -> 2344 745.57/745.79 c learnt constraints deletion: 4678 -> 2345 749.77/749.98 c learnt constraints deletion: 4634 -> 2317 753.46/753.69 c learnt constraints deletion: 4679 -> 2340 757.67/757.86 c learnt constraints deletion: 4681 -> 2348 761.46/761.67 c learnt constraints deletion: 4694 -> 2363 765.26/765.46 c learnt constraints deletion: 4682 -> 2358 769.26/769.48 c learnt constraints deletion: 4673 -> 2353 773.86/774.05 c learnt constraints deletion: 4674 -> 2353 778.16/778.36 c learnt constraints deletion: 4680 -> 2356 782.56/782.75 c learnt constraints deletion: 4679 -> 2357 787.47/787.66 c learnt constraints deletion: 4679 -> 2355 791.46/791.63 c learnt constraints deletion: 4689 -> 2361 796.16/796.37 c learnt constraints deletion: 4689 -> 2361 800.56/800.73 c learnt constraints deletion: 4685 -> 2359 805.46/805.62 c learnt constraints deletion: 4675 -> 2355 810.96/811.17 c learnt constraints deletion: 4684 -> 2360 814.66/814.81 c learnt constraints deletion: 4681 -> 2342 818.75/818.91 c learnt constraints deletion: 4677 -> 2350 822.15/822.37 c learnt constraints deletion: 4678 -> 2357 826.05/826.22 c learnt constraints deletion: 4692 -> 2363 829.25/829.49 c learnt constraints deletion: 4670 -> 2353 832.75/832.93 c learnt constraints deletion: 4689 -> 2364 836.25/836.46 c learnt constraints deletion: 4680 -> 2357 840.75/840.91 c learnt constraints deletion: 4671 -> 2354 844.95/845.15 c learnt constraints deletion: 4682 -> 2359 849.25/849.45 c learnt constraints deletion: 4680 -> 2359 853.35/853.51 c learnt constraints deletion: 4677 -> 2359 857.55/857.70 c learnt constraints deletion: 4675 -> 2355 862.35/862.59 c learnt constraints deletion: 4682 -> 2359 866.55/866.75 c learnt constraints deletion: 4684 -> 2360 871.24/871.41 c learnt constraints deletion: 4682 -> 2360 875.84/876.03 c learnt constraints deletion: 4684 -> 2361 880.04/880.24 c learnt constraints deletion: 4673 -> 2356 884.84/885.08 c learnt constraints deletion: 4683 -> 2361 888.35/888.58 c learnt constraints deletion: 4692 -> 2367 892.04/892.25 c learnt constraints deletion: 4673 -> 2358 895.84/896.00 c learnt constraints deletion: 4678 -> 2339 901.44/901.65 c learnt constraints deletion: 4677 -> 2346 905.54/905.74 c learnt constraints deletion: 4698 -> 2364 909.55/909.78 c learnt constraints deletion: 4684 -> 2357 913.63/913.89 c learnt constraints deletion: 4680 -> 2355 918.24/918.47 c learnt constraints deletion: 4684 -> 2358 922.14/922.30 c learnt constraints deletion: 4679 -> 2356 925.94/926.17 c learnt constraints deletion: 4690 -> 2362 930.34/930.54 c learnt constraints deletion: 4685 -> 2357 934.44/934.67 c learnt constraints deletion: 4678 -> 2355 938.53/938.78 c learnt constraints deletion: 4691 -> 2362 942.73/942.97 c learnt constraints deletion: 4679 -> 2355 946.63/946.83 c learnt constraints deletion: 4677 -> 2355 950.43/950.64 c learnt constraints deletion: 4672 -> 2352 954.13/954.39 c learnt constraints deletion: 4676 -> 2355 957.94/958.14 c learnt constraints deletion: 4675 -> 2352 961.93/962.11 c learnt constraints deletion: 4686 -> 2358 965.64/965.86 c learnt constraints deletion: 4675 -> 2353 970.83/971.09 c learnt constraints deletion: 4678 -> 2354 975.12/975.39 c learnt constraints deletion: 4686 -> 2359 979.43/979.62 c learnt constraints deletion: 4681 -> 2357 983.42/983.65 c learnt constraints deletion: 4682 -> 2358 987.13/987.37 c learnt constraints deletion: 4680 -> 2355 991.52/991.71 c learnt constraints deletion: 4686 -> 2359 995.63/995.87 c learnt constraints deletion: 4681 -> 2358 999.52/999.79 c learnt constraints deletion: 4680 -> 2357 1003.82/1004.01 c learnt constraints deletion: 4691 -> 2363 1007.82/1008.01 c learnt constraints deletion: 4684 -> 2360 1011.83/1012.09 c learnt constraints deletion: 4675 -> 2352 1017.02/1017.27 c learnt constraints deletion: 4683 -> 2357 1022.02/1022.21 c learnt constraints deletion: 4676 -> 2353 1027.32/1027.55 c learnt constraints deletion: 4677 -> 2355 1031.32/1031.56 c learnt constraints deletion: 4688 -> 2361 1035.82/1036.01 c learnt constraints deletion: 4679 -> 2356 1040.52/1040.73 c learnt constraints deletion: 4686 -> 2359 1045.11/1045.35 c learnt constraints deletion: 4686 -> 2359 1049.41/1049.64 c learnt constraints deletion: 4676 -> 2355 1054.11/1054.35 c learnt constraints deletion: 4689 -> 2362 1058.51/1058.76 c learnt constraints deletion: 4688 -> 2359 1063.01/1063.20 c learnt constraints deletion: 4675 -> 2354 1067.61/1067.88 c learnt constraints deletion: 4684 -> 2359 1072.32/1072.59 c learnt constraints deletion: 4687 -> 2361 1076.51/1076.76 c learnt constraints deletion: 4691 -> 2363 1081.01/1081.29 c learnt constraints deletion: 4682 -> 2359 1084.81/1085.02 c learnt constraints deletion: 4677 -> 2356 1088.60/1088.80 c learnt constraints deletion: 4685 -> 2360 1092.41/1092.62 c learnt constraints deletion: 4678 -> 2357 1096.60/1096.89 c learnt constraints deletion: 4683 -> 2359 1101.41/1101.62 c learnt constraints deletion: 4684 -> 2360 1106.20/1106.44 c learnt constraints deletion: 4692 -> 2365 1109.30/1109.53 c learnt constraints deletion: 4602 -> 2302 1112.91/1113.16 c learnt constraints deletion: 4683 -> 2342 1116.81/1117.09 c learnt constraints deletion: 4683 -> 2359 1121.10/1121.35 c learnt constraints deletion: 5107 -> 2575 1125.40/1125.61 c learnt constraints deletion: 5114 -> 2579 1129.50/1129.71 c learnt constraints deletion: 5105 -> 2566 1133.81/1134.03 c learnt constraints deletion: 5109 -> 2568 1138.00/1138.26 c learnt constraints deletion: 5119 -> 2574 1142.00/1142.23 c learnt constraints deletion: 5112 -> 2568 1145.60/1145.85 c learnt constraints deletion: 5114 -> 2570 1149.70/1149.98 c learnt constraints deletion: 5116 -> 2571 1154.10/1154.30 c learnt constraints deletion: 5108 -> 2567 1158.60/1158.88 c learnt constraints deletion: 5110 -> 2569 1162.80/1163.07 c learnt constraints deletion: 5112 -> 2570 1167.00/1167.22 c learnt constraints deletion: 5100 -> 2562 1171.39/1171.65 c learnt constraints deletion: 5112 -> 2569 1175.79/1176.01 c learnt constraints deletion: 5113 -> 2570 1180.10/1180.31 c learnt constraints deletion: 5112 -> 2569 1185.19/1185.41 c learnt constraints deletion: 5111 -> 2570 1190.09/1190.33 c learnt constraints deletion: 5108 -> 2569 1194.39/1194.62 c learnt constraints deletion: 5109 -> 2569 1199.29/1199.51 c learnt constraints deletion: 5108 -> 2568 1203.79/1204.02 c learnt constraints deletion: 5109 -> 2569 1207.69/1207.99 c learnt constraints deletion: 5110 -> 2570 1211.79/1212.04 c learnt constraints deletion: 5112 -> 2571 1215.89/1216.14 c learnt constraints deletion: 5112 -> 2573 1220.59/1220.87 c learnt constraints deletion: 5093 -> 2560 1224.89/1225.17 c learnt constraints deletion: 5109 -> 2569 1229.98/1230.20 c learnt constraints deletion: 5113 -> 2571 1234.38/1234.67 c learnt constraints deletion: 5110 -> 2570 1238.78/1239.00 c learnt constraints deletion: 5108 -> 2568 1244.38/1244.65 c learnt constraints deletion: 5119 -> 2574 1249.29/1249.50 c learnt constraints deletion: 5116 -> 2572 1252.78/1253.03 c learnt constraints deletion: 5115 -> 2573 1256.18/1256.42 c learnt constraints deletion: 5122 -> 2577 1260.18/1260.42 c learnt constraints deletion: 5108 -> 2568 1264.68/1264.91 c learnt constraints deletion: 5122 -> 2575 1269.67/1269.93 c learnt constraints deletion: 5115 -> 2573 1273.97/1274.29 c learnt constraints deletion: 5123 -> 2577 1278.48/1278.72 c learnt constraints deletion: 5126 -> 2578 1282.57/1282.86 c learnt constraints deletion: 5111 -> 2572 1286.27/1286.54 c learnt constraints deletion: 5110 -> 2569 1290.28/1290.57 c learnt constraints deletion: 5113 -> 2572 1294.38/1294.68 c learnt constraints deletion: 5122 -> 2577 1299.38/1299.65 c learnt constraints deletion: 5103 -> 2567 1303.98/1304.21 c learnt constraints deletion: 5111 -> 2572 1308.87/1309.11 c learnt constraints deletion: 5105 -> 2554 1313.67/1313.90 c learnt constraints deletion: 5106 -> 2557 1317.87/1318.12 c learnt constraints deletion: 5107 -> 2558 1321.47/1321.70 c learnt constraints deletion: 5107 -> 2559 1325.77/1326.02 c learnt constraints deletion: 5109 -> 2560 1329.37/1329.65 c learnt constraints deletion: 5098 -> 2553 1332.67/1332.99 c learnt constraints deletion: 5111 -> 2561 1336.77/1337.01 c learnt constraints deletion: 5117 -> 2565 1341.07/1341.37 c learnt constraints deletion: 5112 -> 2561 1345.07/1345.38 c learnt constraints deletion: 5111 -> 2563 1349.37/1349.63 c learnt constraints deletion: 5118 -> 2566 1353.36/1353.63 c learnt constraints deletion: 5106 -> 2557 1357.36/1357.62 c learnt constraints deletion: 5111 -> 2561 1361.37/1361.61 c learnt constraints deletion: 5110 -> 2561 1366.06/1366.39 c learnt constraints deletion: 5103 -> 2557 1369.97/1370.21 c learnt constraints deletion: 5112 -> 2562 1374.36/1374.65 c learnt constraints deletion: 5110 -> 2562 1378.56/1378.89 c learnt constraints deletion: 5109 -> 2560 1383.26/1383.58 c learnt constraints deletion: 5105 -> 2559 1387.97/1388.29 c learnt constraints deletion: 5117 -> 2565 1392.16/1392.50 c learnt constraints deletion: 5116 -> 2565 1395.96/1396.20 c learnt constraints deletion: 5108 -> 2562 1399.86/1400.12 c learnt constraints deletion: 5109 -> 2559 1405.46/1405.72 c learnt constraints deletion: 5103 -> 2559 1410.86/1411.12 c learnt constraints deletion: 5121 -> 2568 1415.36/1415.67 c learnt constraints deletion: 5113 -> 2565 1419.77/1420.03 c learnt constraints deletion: 5115 -> 2567 1424.36/1424.60 c learnt constraints deletion: 5123 -> 2570 1428.56/1428.88 c learnt constraints deletion: 5112 -> 2564 1433.06/1433.33 c learnt constraints deletion: 5104 -> 2561 1437.26/1437.59 c learnt constraints deletion: 5115 -> 2567 1441.15/1441.43 c learnt constraints deletion: 5112 -> 2565 1445.16/1445.44 c learnt constraints deletion: 5107 -> 2564 1449.56/1449.84 c learnt constraints deletion: 5100 -> 2558 1453.75/1454.01 c learnt constraints deletion: 5115 -> 2566 1457.16/1457.50 c learnt constraints deletion: 5107 -> 2562 1461.35/1461.65 c learnt constraints deletion: 5117 -> 2568 1466.45/1466.78 c learnt constraints deletion: 5111 -> 2566 1472.25/1472.59 c learnt constraints deletion: 5107 -> 2563 1478.34/1478.61 c learnt constraints deletion: 5104 -> 2561 1484.05/1484.34 c learnt constraints deletion: 5118 -> 2569 1489.05/1489.40 c learnt constraints deletion: 5103 -> 2556 1493.74/1494.02 c learnt constraints deletion: 5104 -> 2560 1498.04/1498.37 c learnt constraints deletion: 5115 -> 2566 1502.35/1502.62 c learnt constraints deletion: 5109 -> 2562 1507.25/1507.51 c learnt constraints deletion: 5113 -> 2565 1511.94/1512.28 c learnt constraints deletion: 5115 -> 2568 1516.55/1516.83 c learnt constraints deletion: 5115 -> 2566 1520.54/1520.81 c learnt constraints deletion: 5118 -> 2567 1525.14/1525.40 c learnt constraints deletion: 5111 -> 2564 1530.04/1530.35 c learnt constraints deletion: 5120 -> 2570 1534.54/1534.86 c learnt constraints deletion: 5113 -> 2567 1538.74/1539.09 c learnt constraints deletion: 5107 -> 2561 1543.13/1543.41 c learnt constraints deletion: 5113 -> 2565 1547.13/1547.42 c learnt constraints deletion: 5124 -> 2571 1551.04/1551.38 c learnt constraints deletion: 5115 -> 2566 1555.04/1555.34 c learnt constraints deletion: 5111 -> 2565 1558.93/1559.29 c learnt constraints deletion: 5118 -> 2568 1563.54/1563.81 c learnt constraints deletion: 5111 -> 2566 1568.24/1568.51 c learnt constraints deletion: 5105 -> 2562 1572.64/1572.94 c learnt constraints deletion: 5115 -> 2567 1577.33/1577.64 c learnt constraints deletion: 5110 -> 2564 1581.53/1581.81 c learnt constraints deletion: 5114 -> 2567 1585.63/1585.94 c learnt constraints deletion: 5106 -> 2563 1590.03/1590.33 c learnt constraints deletion: 5113 -> 2569 1594.33/1594.64 c learnt constraints deletion: 5112 -> 2564 1598.73/1599.00 c learnt constraints deletion: 5107 -> 2562 1602.92/1603.21 c learnt constraints deletion: 5114 -> 2565 1606.93/1607.25 c learnt constraints deletion: 5112 -> 2565 1611.24/1611.56 c learnt constraints deletion: 5116 -> 2568 1615.73/1616.06 c learnt constraints deletion: 5118 -> 2567 1619.63/1619.99 c learnt constraints deletion: 5110 -> 2564 1624.43/1624.71 c learnt constraints deletion: 5111 -> 2566 1628.83/1629.13 c learnt constraints deletion: 5104 -> 2561 1633.23/1633.59 c learnt constraints deletion: 5114 -> 2567 1637.13/1637.47 c learnt constraints deletion: 5107 -> 2565 1641.02/1641.35 c learnt constraints deletion: 5119 -> 2568 1645.42/1645.70 c learnt constraints deletion: 5111 -> 2565 1649.52/1649.83 c learnt constraints deletion: 5103 -> 2561 1654.22/1654.58 c learnt constraints deletion: 5113 -> 2566 1658.72/1659.00 c learnt constraints deletion: 5108 -> 2564 1662.71/1663.04 c learnt constraints deletion: 5114 -> 2568 1667.02/1667.36 c learnt constraints deletion: 5121 -> 2570 1670.82/1671.19 c learnt constraints deletion: 5111 -> 2566 1674.81/1675.16 c learnt constraints deletion: 5114 -> 2567 1679.02/1679.38 c learnt constraints deletion: 5117 -> 2570 1683.32/1683.60 c learnt constraints deletion: 5122 -> 2572 1689.12/1689.45 c learnt constraints deletion: 5585 -> 2804 1693.81/1694.18 c learnt constraints deletion: 5583 -> 2793 1698.22/1698.58 c learnt constraints deletion: 5582 -> 2795 1702.61/1702.96 c learnt constraints deletion: 5592 -> 2801 1707.42/1707.78 c learnt constraints deletion: 5569 -> 2790 1711.32/1711.66 c learnt constraints deletion: 5574 -> 2792 1716.31/1716.66 c learnt constraints deletion: 5581 -> 2791 1721.71/1722.05 c learnt constraints deletion: 5581 -> 2793 1726.62/1726.92 c learnt constraints deletion: 5584 -> 2802 1730.80/1731.11 c learnt constraints deletion: 5589 -> 2806 1735.52/1735.85 c learnt constraints deletion: 5588 -> 2805 1739.61/1739.91 c learnt constraints deletion: 5586 -> 2805 1745.91/1746.29 c learnt constraints deletion: 5578 -> 2789 1753.81/1754.14 c learnt constraints deletion: 5577 -> 2793 1761.20/1761.55 c learnt constraints deletion: 5576 -> 2794 1765.81/1766.18 c learnt constraints deletion: 5591 -> 2804 1770.30/1770.69 c learnt constraints deletion: 5576 -> 2797 1774.51/1774.84 c learnt constraints deletion: 5588 -> 2802 1778.70/1779.08 c learnt constraints deletion: 5580 -> 2799 1783.00/1783.37 c learnt constraints deletion: 5585 -> 2803 1787.50/1787.83 c learnt constraints deletion: 5579 -> 2798 1792.30/1792.64 c learnt constraints deletion: 5590 -> 2804 1796.40/1796.75 c learnt constraints deletion: 5588 -> 2804
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-3706659-1338116654/watcher-3706659-1338116654 -o /tmp/evaluation-result-3706659-1338116654/solver-3706659-1338116654 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706659-1338116654.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11229 /proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 277793973 6356992 728 33554432000 4194304 8973514 140736174786096 140737455061000 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 1552 728 415 1167 0 333 0 [startup+0.0693009 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11229 /proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=9280 CPUtime=0.06 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 1382 0 0 0 6 0 0 0 20 0 1 0 277793973 9502720 1303 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 2320 1303 442 1167 0 1101 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9280 [startup+0.100285 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11229 /proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=9280 CPUtime=0.09 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 1399 0 0 0 9 0 0 0 20 0 1 0 277793973 9502720 1320 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 2320 1320 455 1167 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9280 [startup+0.300224 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11229 /proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=10304 CPUtime=0.29 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 1701 0 0 0 29 0 0 0 20 0 1 0 277793973 10551296 1622 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 2576 1622 455 1167 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10304 [startup+0.700238 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11229 /proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=11328 CPUtime=0.68 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 2144 0 0 0 68 0 0 0 20 0 1 0 277793973 11599872 2065 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 2832 2065 456 1167 0 1613 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 11328 [startup+1.50024 s] /proc/loadavg: 2.02 2.01 1.97 3/173 11235 /proc/meminfo: memFree=30568804/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=11328 CPUtime=1.49 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 2145 0 0 0 148 1 0 0 20 0 1 0 277793973 11599872 2066 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 2832 2066 456 1167 0 1613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11328 [startup+3.10026 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11268 /proc/meminfo: memFree=30560448/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=13376 CPUtime=3.09 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 2657 0 0 0 308 1 0 0 20 0 1 0 277793973 13697024 2578 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 3344 2578 456 1167 0 2125 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13376 [startup+6.3003 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11344 /proc/meminfo: memFree=30551868/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=16448 CPUtime=6.29 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 3425 0 0 0 626 3 0 0 20 0 1 0 277793973 16842752 3346 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 4112 3346 456 1167 0 2893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16448 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 1.97 3/177 11345 /proc/meminfo: memFree=30539020/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=18496 CPUtime=12.68 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 3937 0 0 0 1264 4 0 0 20 0 1 0 277793973 18939904 3858 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 4624 3858 456 1167 0 3405 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18496 [startup+25.5003 s] /proc/loadavg: 2.01 2.01 1.97 3/177 11345 /proc/meminfo: memFree=30515048/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=25664 CPUtime=25.48 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 5734 0 0 0 2538 10 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 6416 5650 456 1167 0 5197 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25664 [startup+51.1003 s] /proc/loadavg: 2.01 2.00 1.97 3/177 11345 /proc/meminfo: memFree=30481596/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=25664 CPUtime=51.07 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 5990 0 0 0 5090 17 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 6416 5650 456 1167 0 5197 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25664 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.97 3/177 11345 /proc/meminfo: memFree=30462076/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=22592 CPUtime=102.27 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 6248 0 0 0 10196 31 0 0 20 0 1 0 277793973 23134208 4882 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 5648 4882 456 1167 0 4429 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22592 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 11345 /proc/meminfo: memFree=30440312/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=21568 CPUtime=162.26 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 6504 0 0 0 16177 49 0 0 20 0 1 0 277793973 22085632 4626 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 5392 4626 456 1167 0 4173 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 21568 [startup+222.3 s] /proc/loadavg: 2.07 2.02 1.97 3/177 11345 /proc/meminfo: memFree=30390108/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=36928 CPUtime=222.25 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 11117 0 0 0 22156 69 0 0 20 0 1 0 277793973 37814272 8466 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 9232 8466 456 1167 0 8013 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 36928 [startup+282.3 s] /proc/loadavg: 2.02 2.01 1.97 3/176 11345 /proc/meminfo: memFree=30367728/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=33856 CPUtime=282.23 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 11117 0 0 0 28134 89 0 0 20 0 1 0 277793973 34668544 7698 33554432000 4194304 8973514 140736174786096 140736174784064 4208879 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 8464 7698 456 1167 0 7245 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 33856 [startup+342.3 s] /proc/loadavg: 2.01 2.00 1.97 3/177 11347 /proc/meminfo: memFree=30352840/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=26688 CPUtime=342.23 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 12141 0 0 0 34112 111 0 0 20 0 1 0 277793973 27328512 5906 33554432000 4194304 8973514 140736174786096 140736174785592 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 6672 5906 456 1167 0 5453 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 26688 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 11350 /proc/meminfo: memFree=30350776/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=25664 CPUtime=402.22 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13169 0 0 0 40091 131 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 6416 5650 456 1167 0 5197 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 25664 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 11350 /proc/meminfo: memFree=30345700/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=25664 CPUtime=462.21 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13169 0 0 0 46070 151 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174784064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 6416 5650 456 1167 0 5197 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 25664 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 11350 /proc/meminfo: memFree=30345504/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=25664 CPUtime=522.2 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13426 0 0 0 52050 170 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 6416 5650 456 1167 0 5197 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 25664 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.97 3/177 11350 /proc/meminfo: memFree=30345504/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=25664 CPUtime=582.19 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13682 0 0 0 58026 193 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174784064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 6416 5650 456 1167 0 5197 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 25664 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.01 2.01 1.98 3/177 11351 /proc/meminfo: memFree=30328248/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=33856 CPUtime=882.14 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 18295 0 0 0 87926 288 0 0 20 0 1 0 277793973 34668544 7698 33554432000 4194304 8973514 140736174786096 140736174784064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 8464 7698 456 1167 0 7245 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 33856 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 11352 /proc/meminfo: memFree=30331848/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=29760 CPUtime=942.13 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 19831 0 0 0 93903 310 0 0 20 0 1 0 277793973 30474240 6674 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 7440 6674 456 1167 0 6221 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 29760 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 11355 /proc/meminfo: memFree=30331092/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=30784 CPUtime=1002.13 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 20089 0 0 0 99882 331 0 0 20 0 1 0 277793973 31522816 6930 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 7696 6930 456 1167 0 6477 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 30784 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.98 3/177 11355 /proc/meminfo: memFree=30329980/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=31808 CPUtime=1062.12 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 20346 0 0 0 105864 348 0 0 20 0 1 0 277793973 32571392 7186 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 7952 7186 456 1167 0 6733 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 31808 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 1.98 3/177 11355 /proc/meminfo: memFree=30319072/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=43072 CPUtime=1122.1 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 24698 0 0 0 111843 367 0 0 20 0 1 0 277793973 44105728 10002 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 10768 10002 456 1167 0 9549 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 43072 [startup+1182.3 s] /proc/loadavg: 2.10 2.04 2.00 3/177 11355 /proc/meminfo: memFree=30311048/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=50240 CPUtime=1182.09 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28029 0 0 0 117821 388 0 0 20 0 1 0 277793973 51445760 11794 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 12560 11794 456 1167 0 11341 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 50240 [startup+1242.3 s] /proc/loadavg: 2.12 2.06 2.00 3/177 11356 /proc/meminfo: memFree=30310924/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=50240 CPUtime=1242.08 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28029 0 0 0 123800 408 0 0 20 0 1 0 277793973 51445760 11794 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 12560 11794 456 1167 0 11341 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 50240 [startup+1302.3 s] /proc/loadavg: 2.23 2.10 2.02 3/177 11356 /proc/meminfo: memFree=30309808/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=50240 CPUtime=1302.08 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28029 0 0 0 129780 428 0 0 20 0 1 0 277793973 51445760 11794 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 12560 11794 456 1167 0 11341 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 50240 [startup+1362.3 s] /proc/loadavg: 2.08 2.08 2.01 3/177 11356 /proc/meminfo: memFree=30304040/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=52288 CPUtime=1362.06 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28541 0 0 0 135760 446 0 0 20 0 1 0 277793973 53542912 12306 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 13072 12306 456 1167 0 11853 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 52288 [startup+1422.31 s] /proc/loadavg: 2.03 2.06 2.01 3/177 11356 /proc/meminfo: memFree=30289532/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=57408 CPUtime=1422.06 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 29821 0 0 0 141739 467 0 0 20 0 1 0 277793973 58785792 13586 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 14352 13586 456 1167 0 13133 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 57408 [startup+1482.3 s] /proc/loadavg: 2.01 2.05 2.00 3/177 11356 /proc/meminfo: memFree=30292452/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=54336 CPUtime=1482.04 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31101 0 0 0 147718 486 0 0 20 0 1 0 277793973 55640064 12818 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 13584 12818 456 1167 0 12365 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 54336 [startup+1542.3 s] /proc/loadavg: 2.00 2.04 2.00 3/177 11357 /proc/meminfo: memFree=30291996/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=55360 CPUtime=1542.03 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31358 0 0 0 153699 504 0 0 20 0 1 0 277793973 56688640 13074 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 13840 13074 456 1167 0 12621 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 55360 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/178 11360 /proc/meminfo: memFree=30291924/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=55360 CPUtime=1602.03 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31614 0 0 0 159678 525 0 0 20 0 1 0 277793973 56688640 13074 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 13840 13074 456 1167 0 12621 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 55360 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 11360 /proc/meminfo: memFree=30291560/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=54336 CPUtime=1662.01 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31614 0 0 0 165657 544 0 0 20 0 1 0 277793973 55640064 12818 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 13584 12818 456 1167 0 12365 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 54336 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 11360 /proc/meminfo: memFree=30308064/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=37952 CPUtime=1722.01 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31614 0 0 0 171637 564 0 0 20 0 1 0 277793973 38862848 8722 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 9488 8722 456 1167 0 8269 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 37952 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 11360 /proc/meminfo: memFree=30310296/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=35904 CPUtime=1782 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 32127 0 0 0 177618 582 0 0 20 0 1 0 277793973 36765696 8210 33554432000 4194304 8973514 140736174786096 140736174785360 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 8976 8210 456 1167 0 7757 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 35904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 11360 /proc/meminfo: memFree=30310296/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=35904 CPUtime=1800.01 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 32127 0 0 0 179413 588 0 0 20 0 1 0 277793973 36765696 8210 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 8976 8210 456 1167 0 7757 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 35904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 11360 /proc/meminfo: memFree=30310296/32873844 swapFree=7108/7108 [pid=11229] ppid=11227 vsize=35904 CPUtime=1800.01 cores=1,3,5,7 /proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 32127 0 0 0 179413 588 0 0 20 0 1 0 277793973 36765696 8210 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/11229/statm: 8976 8210 456 1167 0 7757 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 35904 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.01 CPU user time (s): 1794.13 CPU system time (s): 5.8821 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 62528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.13 system time used= 5.88211 maximum resident set size= 59464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32127 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= 33 involuntary context switches= 1847 runsolver used 3.90441 second user time and 9.28059 second system time The end
Begin job on node102 at 2012-05-27 13:04:14 IDJOB=3706659 IDBENCH=2171 IDSOLVER=2285 FILE ID=node102/3706659-1338116654 RUNJOBID= node102-1338113043-10917 PBS_JOBID= 14624443 Free space on /tmp= 71532 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706659-1338116654/watcher-3706659-1338116654 -o /tmp/evaluation-result-3706659-1338116654/solver-3706659-1338116654 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706659-1338116654.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27 RANDOM SEED=1133375946 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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 : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30560992 kB Buffers: 336704 kB Cached: 1119516 kB SwapCached: 0 kB Active: 882796 kB Inactive: 598744 kB Active(anon): 16816 kB Inactive(anon): 11040 kB Active(file): 865980 kB Inactive(file): 587704 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14704 kB Writeback: 0 kB AnonPages: 32400 kB Mapped: 16124 kB Shmem: 200 kB Slab: 690900 kB SReclaimable: 132488 kB SUnreclaim: 558412 kB KernelStack: 1448 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 138684 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71524 MiB End job on node102 at 2012-05-27 13:34:17