Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.02 | 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-06-02T12:35:40+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 = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725032-1338633340.opb"] 0.00/0.06 c #vars 456 0.00/0.06 c #constraints 1602 0.00/0.06 c Solving starts ... 0.00/0.08 c solving time = 0.026s 0.00/0.08 c #decision = 179 0.00/0.08 c #conflict = 99 0.00/0.08 c #restart = 0 0.00/0.08 o 226 0.00/0.08 c Solving starts ... 0.00/0.09 c solving time = 0.001s 0.00/0.09 c #decision = 244 0.00/0.09 c #conflict = 99 0.00/0.09 c #restart = 0 0.00/0.09 o 225 0.00/0.09 c Solving starts ... 0.00/0.09 c solving time = 0.002s 0.00/0.09 c #decision = 313 0.00/0.09 c #conflict = 100 0.00/0.09 c #restart = 0 0.00/0.09 o 224 0.00/0.09 c Solving starts ... 0.00/0.09 c solving time = 0.002s 0.00/0.09 c #decision = 384 0.00/0.09 c #conflict = 100 0.00/0.09 c #restart = 0 0.00/0.09 o 223 0.00/0.09 c Solving starts ... 0.00/0.09 c solving time = 0.002s 0.00/0.09 c #decision = 454 0.00/0.09 c #conflict = 100 0.00/0.09 c #restart = 0 0.00/0.09 o 222 0.00/0.09 c Solving starts ... 0.00/0.09 c solving time = 0.002s 0.00/0.09 c #decision = 523 0.00/0.09 c #conflict = 100 0.00/0.09 c #restart = 0 0.00/0.09 o 221 0.00/0.09 c Solving starts ... 0.00/0.10 c solving time = 0.001s 0.00/0.10 c #decision = 591 0.00/0.10 c #conflict = 100 0.00/0.10 c #restart = 0 0.00/0.10 o 220 0.00/0.10 c Solving starts ... 0.00/0.10 c solving time = 0.001s 0.00/0.10 c #decision = 658 0.00/0.10 c #conflict = 100 0.00/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.003s 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.002s 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.003s 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.102s 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.002s 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.019s 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.034s 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.036s 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.43 c solving time = 0.021s 0.39/0.43 c #decision = 1902 0.39/0.43 c #conflict = 555 0.39/0.43 c #restart = 1 0.39/0.43 o 204 0.39/0.43 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.59 c solving time = 0.060s 0.49/0.59 c #decision = 2203 0.49/0.59 c #conflict = 732 0.49/0.59 c #restart = 1 0.49/0.59 o 201 0.49/0.59 c Solving starts ... 0.59/0.60 c learnt constraints deletion: 731 -> 366 0.59/0.63 c solving time = 0.038s 0.59/0.63 c #decision = 2281 0.59/0.63 c #conflict = 768 0.59/0.63 c #restart = 1 0.59/0.63 o 200 0.59/0.64 c Solving starts ... 0.69/0.71 c solving time = 0.074s 0.69/0.71 c #decision = 2409 0.69/0.71 c #conflict = 844 0.69/0.71 c #restart = 1 0.69/0.71 o 199 0.69/0.71 c Solving starts ... 0.79/0.87 c solving time = 0.158s 0.79/0.87 c #decision = 2696 0.79/0.87 c #conflict = 989 0.79/0.87 c #restart = 2 0.79/0.87 o 198 0.79/0.87 c Solving starts ... 0.89/0.98 c learnt constraints deletion: 721 -> 361 1.09/1.14 c solving time = 0.269s 1.09/1.14 c #decision = 3269 1.09/1.14 c #conflict = 1256 1.09/1.14 c #restart = 4 1.09/1.14 o 197 1.09/1.14 c Solving starts ... 1.39/1.43 c learnt constraints deletion: 775 -> 388 1.99/2.02 c solving time = 0.876s 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.53 c learnt constraints deletion: 939 -> 470 3.49/3.52 c learnt constraints deletion: 1313 -> 657 4.39/4.42 c learnt constraints deletion: 1417 -> 709 5.49/5.60 c learnt constraints deletion: 1605 -> 806 7.29/7.38 c learnt constraints deletion: 1759 -> 885 8.69/8.70 c learnt constraints deletion: 1769 -> 889 9.90/9.94 c learnt constraints deletion: 1867 -> 934 11.29/11.32 c learnt constraints deletion: 1895 -> 951 12.29/12.32 c learnt constraints deletion: 1701 -> 851 14.08/14.13 c learnt constraints deletion: 2042 -> 1023 15.69/15.73 c learnt constraints deletion: 2046 -> 1026 17.29/17.36 c learnt constraints deletion: 2050 -> 1025 19.09/19.14 c learnt constraints deletion: 2200 -> 1103 20.69/20.75 c learnt constraints deletion: 2203 -> 1106 22.39/22.47 c learnt constraints deletion: 2218 -> 1115 23.99/24.02 c learnt constraints deletion: 2211 -> 1112 25.59/25.67 c learnt constraints deletion: 2215 -> 1114 27.59/27.61 c learnt constraints deletion: 2397 -> 1200 29.09/29.16 c learnt constraints deletion: 2371 -> 1186 31.08/31.18 c learnt constraints deletion: 2363 -> 1182 33.38/33.44 c learnt constraints deletion: 2388 -> 1194 35.19/35.25 c learnt constraints deletion: 2382 -> 1195 36.98/37.09 c learnt constraints deletion: 2387 -> 1195 38.88/38.98 c learnt constraints deletion: 2395 -> 1201 40.58/40.65 c learnt constraints deletion: 2270 -> 1135 42.58/42.65 c learnt constraints deletion: 2599 -> 1301 44.18/44.27 c learnt constraints deletion: 2594 -> 1303 46.08/46.13 c learnt constraints deletion: 2600 -> 1301 47.87/47.94 c learnt constraints deletion: 2603 -> 1303 49.48/49.56 c learnt constraints deletion: 2598 -> 1302 51.18/51.26 c learnt constraints deletion: 2599 -> 1301 53.18/53.24 c learnt constraints deletion: 2600 -> 1303 54.88/54.96 c learnt constraints deletion: 2605 -> 1307 56.57/56.68 c learnt constraints deletion: 2592 -> 1301 58.18/58.23 c learnt constraints deletion: 2479 -> 1240 60.48/60.56 c learnt constraints deletion: 2820 -> 1411 62.57/62.69 c learnt constraints deletion: 2810 -> 1407 64.38/64.40 c learnt constraints deletion: 2807 -> 1404 66.18/66.26 c learnt constraints deletion: 2817 -> 1410 68.57/68.64 c learnt constraints deletion: 2821 -> 1413 71.17/71.24 c learnt constraints deletion: 2811 -> 1408 73.68/73.76 c learnt constraints deletion: 2815 -> 1411 75.88/75.94 c learnt constraints deletion: 2819 -> 1412 77.87/77.90 c learnt constraints deletion: 2815 -> 1410 79.88/79.97 c learnt constraints deletion: 2812 -> 1408 82.08/82.16 c learnt constraints deletion: 2816 -> 1411 83.97/84.01 c learnt constraints deletion: 2815 -> 1412 85.97/86.01 c learnt constraints deletion: 2813 -> 1410 88.37/88.43 c learnt constraints deletion: 3056 -> 1532 90.97/91.02 c learnt constraints deletion: 3062 -> 1531 92.87/92.98 c learnt constraints deletion: 3056 -> 1530 94.97/95.01 c learnt constraints deletion: 3061 -> 1534 97.07/97.14 c learnt constraints deletion: 3063 -> 1535 98.87/98.93 c learnt constraints deletion: 3050 -> 1529 100.67/100.73 c learnt constraints deletion: 3062 -> 1533 102.57/102.68 c learnt constraints deletion: 3048 -> 1527 104.77/104.82 c learnt constraints deletion: 3062 -> 1535 106.87/106.93 c learnt constraints deletion: 3070 -> 1539 108.87/108.92 c learnt constraints deletion: 3061 -> 1535 111.18/111.26 c learnt constraints deletion: 3054 -> 1528 113.07/113.16 c learnt constraints deletion: 3054 -> 1530 115.67/115.77 c learnt constraints deletion: 3055 -> 1532 117.96/118.01 c learnt constraints deletion: 3054 -> 1530 119.87/119.99 c learnt constraints deletion: 3050 -> 1529 122.08/122.20 c learnt constraints deletion: 3052 -> 1531 124.56/124.69 c learnt constraints deletion: 3057 -> 1533 127.17/127.20 c learnt constraints deletion: 3052 -> 1531 130.27/130.32 c learnt constraints deletion: 3320 -> 1661 132.57/132.67 c learnt constraints deletion: 3319 -> 1662 134.96/135.01 c learnt constraints deletion: 3321 -> 1664 137.17/137.20 c learnt constraints deletion: 3321 -> 1664 139.46/139.55 c learnt constraints deletion: 3327 -> 1668 141.87/141.91 c learnt constraints deletion: 3322 -> 1664 144.27/144.35 c learnt constraints deletion: 3335 -> 1672 146.46/146.51 c learnt constraints deletion: 3327 -> 1667 148.76/148.86 c learnt constraints deletion: 3328 -> 1668 151.06/151.13 c learnt constraints deletion: 3329 -> 1670 153.76/153.84 c learnt constraints deletion: 3319 -> 1662 156.46/156.55 c learnt constraints deletion: 3331 -> 1675 158.66/158.76 c learnt constraints deletion: 3328 -> 1670 160.36/160.45 c learnt constraints deletion: 3326 -> 1670 162.16/162.22 c learnt constraints deletion: 3321 -> 1667 163.96/164.08 c learnt constraints deletion: 3313 -> 1664 166.07/166.12 c learnt constraints deletion: 3318 -> 1666 168.06/168.11 c learnt constraints deletion: 3329 -> 1673 170.06/170.11 c learnt constraints deletion: 3303 -> 1657 172.36/172.46 c learnt constraints deletion: 3321 -> 1667 174.46/174.51 c learnt constraints deletion: 3323 -> 1669 176.66/176.79 c learnt constraints deletion: 3320 -> 1667 178.95/179.00 c learnt constraints deletion: 3324 -> 1668 181.47/181.55 c learnt constraints deletion: 3324 -> 1669 183.67/183.79 c learnt constraints deletion: 3320 -> 1667 185.96/186.02 c learnt constraints deletion: 3333 -> 1675 188.66/188.77 c learnt constraints deletion: 3553 -> 1777 192.36/192.48 c learnt constraints deletion: 3607 -> 1807 195.96/196.00 c learnt constraints deletion: 3617 -> 1815 198.65/198.71 c learnt constraints deletion: 3608 -> 1814 201.45/201.59 c learnt constraints deletion: 3619 -> 1821 204.66/204.72 c learnt constraints deletion: 3618 -> 1820 207.75/207.80 c learnt constraints deletion: 3591 -> 1806 210.76/210.80 c learnt constraints deletion: 3596 -> 1809 213.66/213.71 c learnt constraints deletion: 3623 -> 1824 216.66/216.71 c learnt constraints deletion: 3613 -> 1819 219.35/219.48 c learnt constraints deletion: 3622 -> 1824 222.26/222.34 c learnt constraints deletion: 3619 -> 1821 225.46/225.52 c learnt constraints deletion: 3620 -> 1821 228.65/228.80 c learnt constraints deletion: 3625 -> 1825 231.65/231.71 c learnt constraints deletion: 3611 -> 1817 234.25/234.35 c learnt constraints deletion: 3611 -> 1818 237.25/237.30 c learnt constraints deletion: 3612 -> 1818 239.95/240.01 c learnt constraints deletion: 3619 -> 1823 242.85/242.93 c learnt constraints deletion: 3616 -> 1817 245.55/245.68 c learnt constraints deletion: 3610 -> 1815 248.65/248.75 c learnt constraints deletion: 3607 -> 1814 251.45/251.50 c learnt constraints deletion: 3615 -> 1819 253.85/253.99 c learnt constraints deletion: 3617 -> 1819 256.45/256.53 c learnt constraints deletion: 3627 -> 1825 259.24/259.38 c learnt constraints deletion: 3630 -> 1826 261.75/261.87 c learnt constraints deletion: 3626 -> 1825 264.14/264.23 c learnt constraints deletion: 3623 -> 1825 266.64/266.77 c learnt constraints deletion: 3621 -> 1822 269.35/269.42 c learnt constraints deletion: 3609 -> 1817 271.94/272.09 c learnt constraints deletion: 3621 -> 1823 274.64/274.80 c learnt constraints deletion: 3623 -> 1825 277.44/277.59 c learnt constraints deletion: 3622 -> 1823 280.24/280.34 c learnt constraints deletion: 3611 -> 1818 282.84/282.96 c learnt constraints deletion: 3622 -> 1824 285.84/285.98 c learnt constraints deletion: 3628 -> 1828 288.94/289.05 c learnt constraints deletion: 3624 -> 1820 292.14/292.23 c learnt constraints deletion: 3936 -> 1980 295.34/295.42 c learnt constraints deletion: 3936 -> 1976 298.15/298.21 c learnt constraints deletion: 3860 -> 1930 301.04/301.16 c learnt constraints deletion: 3933 -> 1974 304.24/304.31 c learnt constraints deletion: 3938 -> 1977 307.24/307.37 c learnt constraints deletion: 3935 -> 1978 310.44/310.59 c learnt constraints deletion: 3926 -> 1972 313.64/313.78 c learnt constraints deletion: 3936 -> 1978 316.93/317.05 c learnt constraints deletion: 3950 -> 1985 319.93/320.07 c learnt constraints deletion: 3940 -> 1982 322.24/322.39 c learnt constraints deletion: 3786 -> 1893 325.24/325.36 c learnt constraints deletion: 3940 -> 1970 328.23/328.38 c learnt constraints deletion: 3939 -> 1975 331.63/331.70 c learnt constraints deletion: 3937 -> 1980 334.83/334.91 c learnt constraints deletion: 3938 -> 1981 339.03/339.13 c learnt constraints deletion: 3939 -> 1983 343.03/343.19 c learnt constraints deletion: 3938 -> 1980 346.73/346.83 c learnt constraints deletion: 3936 -> 1980 349.83/349.98 c learnt constraints deletion: 3944 -> 1985 353.14/353.29 c learnt constraints deletion: 3941 -> 1983 356.34/356.50 c learnt constraints deletion: 3945 -> 1986 359.73/359.86 c learnt constraints deletion: 3934 -> 1980 362.63/362.76 c learnt constraints deletion: 3937 -> 1981 365.83/365.99 c learnt constraints deletion: 3933 -> 1980 368.93/369.08 c learnt constraints deletion: 3947 -> 1987 371.83/371.92 c learnt constraints deletion: 3940 -> 1984 374.83/374.92 c learnt constraints deletion: 3938 -> 1969 378.33/378.47 c learnt constraints deletion: 3938 -> 1979 382.42/382.50 c learnt constraints deletion: 3935 -> 1984 385.92/386.00 c learnt constraints deletion: 3941 -> 1988 389.13/389.28 c learnt constraints deletion: 3930 -> 1977 392.43/392.50 c learnt constraints deletion: 3944 -> 1986 395.53/395.69 c learnt constraints deletion: 3944 -> 1986 398.62/398.72 c learnt constraints deletion: 3937 -> 1984 402.22/402.32 c learnt constraints deletion: 3936 -> 1980 405.42/405.58 c learnt constraints deletion: 3939 -> 1985 408.62/408.70 c learnt constraints deletion: 3944 -> 1987 411.22/411.35 c learnt constraints deletion: 3948 -> 1988 413.82/413.91 c learnt constraints deletion: 3935 -> 1983 416.72/416.83 c learnt constraints deletion: 3938 -> 1984 420.02/420.13 c learnt constraints deletion: 3936 -> 1984 423.62/423.76 c learnt constraints deletion: 3937 -> 1972 427.12/427.20 c learnt constraints deletion: 3936 -> 1983 430.21/430.33 c learnt constraints deletion: 3938 -> 1984 433.62/433.75 c learnt constraints deletion: 3939 -> 1984 437.12/437.26 c learnt constraints deletion: 3934 -> 1982 440.41/440.57 c learnt constraints deletion: 3942 -> 1986 443.42/443.57 c learnt constraints deletion: 3943 -> 1988 446.52/446.60 c learnt constraints deletion: 3935 -> 1982 450.21/450.32 c learnt constraints deletion: 3935 -> 1983 454.32/454.40 c learnt constraints deletion: 4292 -> 2161 458.32/458.41 c learnt constraints deletion: 4290 -> 2145 461.82/461.91 c learnt constraints deletion: 4297 -> 2153 465.11/465.28 c learnt constraints deletion: 4288 -> 2149 468.92/469.09 c learnt constraints deletion: 4287 -> 2148 472.81/472.93 c learnt constraints deletion: 4289 -> 2150 476.22/476.31 c learnt constraints deletion: 4295 -> 2154 479.41/479.57 c learnt constraints deletion: 4297 -> 2153 482.92/483.03 c learnt constraints deletion: 4293 -> 2152 486.61/486.74 c learnt constraints deletion: 4292 -> 2151 490.11/490.29 c learnt constraints deletion: 4291 -> 2152 493.31/493.45 c learnt constraints deletion: 4299 -> 2157 495.81/495.91 c learnt constraints deletion: 4294 -> 2151 498.31/498.43 c learnt constraints deletion: 4293 -> 2152 501.01/501.15 c learnt constraints deletion: 4283 -> 2147 504.31/504.43 c learnt constraints deletion: 4289 -> 2150 507.40/507.52 c learnt constraints deletion: 4293 -> 2153 510.60/510.75 c learnt constraints deletion: 4291 -> 2152 513.80/513.98 c learnt constraints deletion: 4298 -> 2156 517.20/517.33 c learnt constraints deletion: 4297 -> 2155 520.61/520.70 c learnt constraints deletion: 4286 -> 2149 523.90/524.06 c learnt constraints deletion: 4282 -> 2148 527.30/527.47 c learnt constraints deletion: 4295 -> 2155 530.21/530.39 c learnt constraints deletion: 4295 -> 2155 533.11/533.27 c learnt constraints deletion: 4292 -> 2154 536.60/536.75 c learnt constraints deletion: 4289 -> 2145 539.70/539.81 c learnt constraints deletion: 4302 -> 2158 542.60/542.73 c learnt constraints deletion: 4296 -> 2155 545.80/545.95 c learnt constraints deletion: 4286 -> 2149 549.00/549.18 c learnt constraints deletion: 4295 -> 2155 552.10/552.26 c learnt constraints deletion: 4279 -> 2147 555.30/555.40 c learnt constraints deletion: 4304 -> 2160 558.00/558.16 c learnt constraints deletion: 4295 -> 2155 560.91/561.08 c learnt constraints deletion: 4288 -> 2152 564.10/564.20 c learnt constraints deletion: 4299 -> 2158 567.20/567.31 c learnt constraints deletion: 4294 -> 2156 570.60/570.76 c learnt constraints deletion: 4292 -> 2154 573.99/574.19 c learnt constraints deletion: 4294 -> 2155 577.40/577.56 c learnt constraints deletion: 4294 -> 2156 580.89/581.08 c learnt constraints deletion: 4294 -> 2155 584.59/584.77 c learnt constraints deletion: 4289 -> 2154 588.20/588.36 c learnt constraints deletion: 4290 -> 2153 591.39/591.53 c learnt constraints deletion: 4296 -> 2157 594.89/595.02 c learnt constraints deletion: 4286 -> 2153 599.19/599.30 c learnt constraints deletion: 4290 -> 2153 602.69/602.86 c learnt constraints deletion: 4296 -> 2157 606.99/607.15 c learnt constraints deletion: 4301 -> 2161 610.29/610.43 c learnt constraints deletion: 4291 -> 2156 613.69/613.84 c learnt constraints deletion: 4291 -> 2156 616.99/617.18 c learnt constraints deletion: 4290 -> 2151 620.69/620.90 c learnt constraints deletion: 4296 -> 2156 624.19/624.31 c learnt constraints deletion: 4295 -> 2156 627.79/627.98 c learnt constraints deletion: 4287 -> 2152 631.58/631.78 c learnt constraints deletion: 4293 -> 2156 635.09/635.26 c learnt constraints deletion: 4301 -> 2161 638.59/638.70 c learnt constraints deletion: 4292 -> 2155 642.98/643.17 c learnt constraints deletion: 4294 -> 2156 646.59/646.77 c learnt constraints deletion: 4295 -> 2157 649.79/649.92 c learnt constraints deletion: 4301 -> 2161 652.78/652.96 c learnt constraints deletion: 4292 -> 2157 656.39/656.58 c learnt constraints deletion: 4290 -> 2153 660.48/660.61 c learnt constraints deletion: 4298 -> 2158 664.59/664.71 c learnt constraints deletion: 4291 -> 2155 668.08/668.24 c learnt constraints deletion: 4286 -> 2153 672.09/672.21 c learnt constraints deletion: 4293 -> 2156 676.18/676.35 c learnt constraints deletion: 4287 -> 2154 679.97/680.19 c learnt constraints deletion: 4296 -> 2159 684.28/684.46 c learnt constraints deletion: 4294 -> 2157 689.07/689.20 c learnt constraints deletion: 4294 -> 2158 693.99/694.16 c learnt constraints deletion: 4681 -> 2341 698.97/699.18 c learnt constraints deletion: 4678 -> 2343 704.07/704.28 c learnt constraints deletion: 4678 -> 2339 707.98/708.13 c learnt constraints deletion: 4679 -> 2342 712.17/712.36 c learnt constraints deletion: 4691 -> 2349 716.67/716.81 c learnt constraints deletion: 4680 -> 2344 720.57/720.73 c learnt constraints deletion: 4678 -> 2345 724.58/724.77 c learnt constraints deletion: 4634 -> 2317 728.18/728.39 c learnt constraints deletion: 4679 -> 2340 732.28/732.40 c learnt constraints deletion: 4681 -> 2348 735.88/736.08 c learnt constraints deletion: 4694 -> 2363 739.57/739.73 c learnt constraints deletion: 4682 -> 2358 743.47/743.62 c learnt constraints deletion: 4673 -> 2353 747.88/748.02 c learnt constraints deletion: 4674 -> 2353 751.97/752.19 c learnt constraints deletion: 4680 -> 2356 756.27/756.42 c learnt constraints deletion: 4679 -> 2357 760.96/761.13 c learnt constraints deletion: 4679 -> 2355 764.77/764.98 c learnt constraints deletion: 4689 -> 2361 769.37/769.53 c learnt constraints deletion: 4689 -> 2361 773.57/773.73 c learnt constraints deletion: 4685 -> 2359 778.26/778.43 c learnt constraints deletion: 4675 -> 2355 783.56/783.73 c learnt constraints deletion: 4684 -> 2360 787.06/787.27 c learnt constraints deletion: 4681 -> 2342 791.07/791.20 c learnt constraints deletion: 4677 -> 2350 794.36/794.54 c learnt constraints deletion: 4678 -> 2357 798.06/798.25 c learnt constraints deletion: 4692 -> 2363 801.26/801.43 c learnt constraints deletion: 4670 -> 2353 804.56/804.77 c learnt constraints deletion: 4689 -> 2364 807.96/808.18 c learnt constraints deletion: 4680 -> 2357 812.26/812.45 c learnt constraints deletion: 4671 -> 2354 816.36/816.58 c learnt constraints deletion: 4682 -> 2359 820.56/820.73 c learnt constraints deletion: 4680 -> 2359 824.46/824.66 c learnt constraints deletion: 4677 -> 2359 828.55/828.72 c learnt constraints deletion: 4675 -> 2355 833.26/833.47 c learnt constraints deletion: 4682 -> 2359 837.36/837.50 c learnt constraints deletion: 4684 -> 2360 841.85/842.01 c learnt constraints deletion: 4682 -> 2360 846.25/846.47 c learnt constraints deletion: 4684 -> 2361 850.35/850.56 c learnt constraints deletion: 4673 -> 2356 855.05/855.23 c learnt constraints deletion: 4683 -> 2361 858.45/858.65 c learnt constraints deletion: 4692 -> 2367 862.05/862.20 c learnt constraints deletion: 4673 -> 2358 865.66/865.89 c learnt constraints deletion: 4678 -> 2339 871.15/871.32 c learnt constraints deletion: 4677 -> 2346 875.15/875.34 c learnt constraints deletion: 4698 -> 2364 879.05/879.29 c learnt constraints deletion: 4684 -> 2357 883.16/883.33 c learnt constraints deletion: 4680 -> 2355 887.56/887.79 c learnt constraints deletion: 4684 -> 2358 891.35/891.56 c learnt constraints deletion: 4679 -> 2356 895.15/895.37 c learnt constraints deletion: 4690 -> 2362 899.44/899.63 c learnt constraints deletion: 4685 -> 2357 903.44/903.67 c learnt constraints deletion: 4678 -> 2355 907.45/907.68 c learnt constraints deletion: 4691 -> 2362 911.55/911.77 c learnt constraints deletion: 4679 -> 2355 915.34/915.56 c learnt constraints deletion: 4677 -> 2355 919.04/919.28 c learnt constraints deletion: 4672 -> 2352 922.75/922.95 c learnt constraints deletion: 4676 -> 2355 926.44/926.64 c learnt constraints deletion: 4675 -> 2352 930.35/930.53 c learnt constraints deletion: 4686 -> 2358 933.94/934.20 c learnt constraints deletion: 4675 -> 2353 939.04/939.24 c learnt constraints deletion: 4678 -> 2354 943.24/943.45 c learnt constraints deletion: 4686 -> 2359 947.34/947.59 c learnt constraints deletion: 4681 -> 2357 951.35/951.54 c learnt constraints deletion: 4682 -> 2358 954.94/955.19 c learnt constraints deletion: 4680 -> 2355 959.23/959.43 c learnt constraints deletion: 4686 -> 2359 963.34/963.51 c learnt constraints deletion: 4681 -> 2358 967.14/967.36 c learnt constraints deletion: 4680 -> 2357 971.24/971.48 c learnt constraints deletion: 4691 -> 2363 975.24/975.40 c learnt constraints deletion: 4684 -> 2360 979.23/979.40 c learnt constraints deletion: 4675 -> 2352 984.23/984.44 c learnt constraints deletion: 4683 -> 2357 989.03/989.25 c learnt constraints deletion: 4676 -> 2353 994.24/994.45 c learnt constraints deletion: 4677 -> 2355 998.13/998.39 c learnt constraints deletion: 4688 -> 2361 1002.53/1002.74 c learnt constraints deletion: 4679 -> 2356 1007.13/1007.35 c learnt constraints deletion: 4686 -> 2359 1011.62/1011.85 c learnt constraints deletion: 4686 -> 2359 1015.83/1016.05 c learnt constraints deletion: 4676 -> 2355 1020.43/1020.65 c learnt constraints deletion: 4689 -> 2362 1024.72/1024.95 c learnt constraints deletion: 4688 -> 2359 1029.02/1029.26 c learnt constraints deletion: 4675 -> 2354 1033.52/1033.78 c learnt constraints deletion: 4684 -> 2359 1038.13/1038.32 c learnt constraints deletion: 4687 -> 2361 1042.13/1042.35 c learnt constraints deletion: 4691 -> 2363 1046.52/1046.72 c learnt constraints deletion: 4682 -> 2359 1050.12/1050.33 c learnt constraints deletion: 4677 -> 2356 1053.73/1053.99 c learnt constraints deletion: 4685 -> 2360 1057.42/1057.69 c learnt constraints deletion: 4678 -> 2357 1061.62/1061.80 c learnt constraints deletion: 4683 -> 2359 1066.12/1066.37 c learnt constraints deletion: 4684 -> 2360 1070.72/1070.98 c learnt constraints deletion: 4692 -> 2365 1073.81/1074.01 c learnt constraints deletion: 4602 -> 2302 1077.31/1077.55 c learnt constraints deletion: 4683 -> 2342 1081.12/1081.36 c learnt constraints deletion: 4683 -> 2359 1085.21/1085.49 c learnt constraints deletion: 5107 -> 2575 1089.41/1089.61 c learnt constraints deletion: 5114 -> 2579 1093.32/1093.59 c learnt constraints deletion: 5105 -> 2566 1097.51/1097.79 c learnt constraints deletion: 5109 -> 2568 1101.71/1101.90 c learnt constraints deletion: 5119 -> 2574 1105.51/1105.76 c learnt constraints deletion: 5112 -> 2568 1109.11/1109.31 c learnt constraints deletion: 5114 -> 2570 1113.12/1113.32 c learnt constraints deletion: 5116 -> 2571 1117.31/1117.52 c learnt constraints deletion: 5108 -> 2567 1121.71/1121.97 c learnt constraints deletion: 5110 -> 2569 1125.81/1126.06 c learnt constraints deletion: 5112 -> 2570 1129.90/1130.11 c learnt constraints deletion: 5100 -> 2562 1134.21/1134.42 c learnt constraints deletion: 5112 -> 2569 1138.42/1138.67 c learnt constraints deletion: 5113 -> 2570 1142.61/1142.87 c learnt constraints deletion: 5112 -> 2569 1147.60/1147.84 c learnt constraints deletion: 5111 -> 2570 1152.41/1152.64 c learnt constraints deletion: 5108 -> 2569 1156.61/1156.86 c learnt constraints deletion: 5109 -> 2569 1161.41/1161.62 c learnt constraints deletion: 5108 -> 2568 1165.81/1166.03 c learnt constraints deletion: 5109 -> 2569 1169.71/1169.94 c learnt constraints deletion: 5110 -> 2570 1173.70/1173.93 c learnt constraints deletion: 5112 -> 2571 1177.70/1177.97 c learnt constraints deletion: 5112 -> 2573 1182.41/1182.61 c learnt constraints deletion: 5093 -> 2560 1186.61/1186.85 c learnt constraints deletion: 5109 -> 2569 1191.50/1191.76 c learnt constraints deletion: 5113 -> 2571 1195.90/1196.16 c learnt constraints deletion: 5110 -> 2570 1200.20/1200.42 c learnt constraints deletion: 5108 -> 2568 1205.69/1205.90 c learnt constraints deletion: 5119 -> 2574 1210.40/1210.65 c learnt constraints deletion: 5116 -> 2572 1213.90/1214.15 c learnt constraints deletion: 5115 -> 2573 1217.29/1217.53 c learnt constraints deletion: 5122 -> 2577 1221.19/1221.46 c learnt constraints deletion: 5108 -> 2568 1225.59/1225.87 c learnt constraints deletion: 5122 -> 2575 1230.50/1230.77 c learnt constraints deletion: 5115 -> 2573 1234.80/1235.04 c learnt constraints deletion: 5123 -> 2577 1239.09/1239.39 c learnt constraints deletion: 5126 -> 2578 1243.19/1243.46 c learnt constraints deletion: 5111 -> 2572 1246.89/1247.11 c learnt constraints deletion: 5110 -> 2569 1250.79/1251.08 c learnt constraints deletion: 5113 -> 2572 1254.90/1255.12 c learnt constraints deletion: 5122 -> 2577 1259.69/1259.95 c learnt constraints deletion: 5103 -> 2567 1264.19/1264.43 c learnt constraints deletion: 5111 -> 2572 1268.99/1269.21 c learnt constraints deletion: 5105 -> 2554 1273.59/1273.90 c learnt constraints deletion: 5106 -> 2557 1277.78/1278.03 c learnt constraints deletion: 5107 -> 2558 1281.29/1281.58 c learnt constraints deletion: 5107 -> 2559 1285.58/1285.83 c learnt constraints deletion: 5109 -> 2560 1289.18/1289.43 c learnt constraints deletion: 5098 -> 2553 1292.49/1292.75 c learnt constraints deletion: 5111 -> 2561 1296.48/1296.70 c learnt constraints deletion: 5117 -> 2565 1300.68/1300.97 c learnt constraints deletion: 5112 -> 2561 1304.69/1304.92 c learnt constraints deletion: 5111 -> 2563 1308.79/1309.10 c learnt constraints deletion: 5118 -> 2566 1312.78/1313.03 c learnt constraints deletion: 5106 -> 2557 1316.68/1316.97 c learnt constraints deletion: 5111 -> 2561 1320.68/1320.91 c learnt constraints deletion: 5110 -> 2561 1325.28/1325.57 c learnt constraints deletion: 5103 -> 2557 1329.08/1329.35 c learnt constraints deletion: 5112 -> 2562 1333.48/1333.72 c learnt constraints deletion: 5110 -> 2562 1337.58/1337.89 c learnt constraints deletion: 5109 -> 2560 1342.17/1342.48 c learnt constraints deletion: 5105 -> 2559 1346.87/1347.10 c learnt constraints deletion: 5117 -> 2565 1350.98/1351.24 c learnt constraints deletion: 5116 -> 2565 1354.68/1354.90 c learnt constraints deletion: 5108 -> 2562 1358.47/1358.76 c learnt constraints deletion: 5109 -> 2559 1363.98/1364.20 c learnt constraints deletion: 5103 -> 2559 1369.17/1369.45 c learnt constraints deletion: 5121 -> 2568 1373.57/1373.90 c learnt constraints deletion: 5113 -> 2565 1377.87/1378.19 c learnt constraints deletion: 5115 -> 2567 1382.37/1382.67 c learnt constraints deletion: 5123 -> 2570 1386.57/1386.88 c learnt constraints deletion: 5112 -> 2564 1390.97/1391.24 c learnt constraints deletion: 5104 -> 2561 1395.17/1395.41 c learnt constraints deletion: 5115 -> 2567 1398.97/1399.20 c learnt constraints deletion: 5112 -> 2565 1402.87/1403.13 c learnt constraints deletion: 5107 -> 2564 1407.16/1407.41 c learnt constraints deletion: 5100 -> 2558 1411.17/1411.47 c learnt constraints deletion: 5115 -> 2566 1414.56/1414.88 c learnt constraints deletion: 5107 -> 2562 1418.66/1418.91 c learnt constraints deletion: 5117 -> 2568 1423.56/1423.88 c learnt constraints deletion: 5111 -> 2566 1429.16/1429.43 c learnt constraints deletion: 5107 -> 2563 1434.86/1435.18 c learnt constraints deletion: 5104 -> 2561 1440.36/1440.68 c learnt constraints deletion: 5118 -> 2569 1445.26/1445.54 c learnt constraints deletion: 5103 -> 2556 1449.66/1449.99 c learnt constraints deletion: 5104 -> 2560 1453.85/1454.20 c learnt constraints deletion: 5115 -> 2566 1458.05/1458.30 c learnt constraints deletion: 5109 -> 2562 1462.76/1463.00 c learnt constraints deletion: 5113 -> 2565 1467.35/1467.60 c learnt constraints deletion: 5115 -> 2568 1471.66/1471.98 c learnt constraints deletion: 5115 -> 2566 1475.55/1475.84 c learnt constraints deletion: 5118 -> 2567 1479.95/1480.28 c learnt constraints deletion: 5111 -> 2564 1484.75/1485.03 c learnt constraints deletion: 5120 -> 2570 1489.05/1489.39 c learnt constraints deletion: 5113 -> 2567 1493.15/1493.47 c learnt constraints deletion: 5107 -> 2561 1497.34/1497.66 c learnt constraints deletion: 5113 -> 2565 1501.25/1501.56 c learnt constraints deletion: 5124 -> 2571 1505.15/1505.41 c learnt constraints deletion: 5115 -> 2566 1508.95/1509.27 c learnt constraints deletion: 5111 -> 2565 1512.84/1513.12 c learnt constraints deletion: 5118 -> 2568 1517.24/1517.51 c learnt constraints deletion: 5111 -> 2566 1521.74/1522.06 c learnt constraints deletion: 5105 -> 2562 1526.04/1526.36 c learnt constraints deletion: 5115 -> 2567 1530.64/1530.90 c learnt constraints deletion: 5110 -> 2564 1534.64/1534.95 c learnt constraints deletion: 5114 -> 2567 1538.65/1538.97 c learnt constraints deletion: 5106 -> 2563 1542.94/1543.24 c learnt constraints deletion: 5113 -> 2569 1547.14/1547.42 c learnt constraints deletion: 5112 -> 2564 1551.34/1551.65 c learnt constraints deletion: 5107 -> 2562 1555.43/1555.75 c learnt constraints deletion: 5114 -> 2565 1559.34/1559.68 c learnt constraints deletion: 5112 -> 2565 1563.54/1563.86 c learnt constraints deletion: 5116 -> 2568 1567.94/1568.23 c learnt constraints deletion: 5118 -> 2567 1571.74/1572.05 c learnt constraints deletion: 5110 -> 2564 1576.33/1576.62 c learnt constraints deletion: 5111 -> 2566 1580.63/1580.90 c learnt constraints deletion: 5104 -> 2561 1584.93/1585.23 c learnt constraints deletion: 5114 -> 2567 1588.74/1589.02 c learnt constraints deletion: 5107 -> 2565 1592.53/1592.81 c learnt constraints deletion: 5119 -> 2568 1596.73/1597.03 c learnt constraints deletion: 5111 -> 2565 1600.73/1601.05 c learnt constraints deletion: 5103 -> 2561 1605.33/1605.65 c learnt constraints deletion: 5113 -> 2566 1609.63/1609.94 c learnt constraints deletion: 5108 -> 2564 1613.53/1613.88 c learnt constraints deletion: 5114 -> 2568 1617.73/1618.07 c learnt constraints deletion: 5121 -> 2570 1621.53/1621.82 c learnt constraints deletion: 5111 -> 2566 1625.33/1625.68 c learnt constraints deletion: 5114 -> 2567 1629.53/1629.80 c learnt constraints deletion: 5117 -> 2570 1633.63/1633.91 c learnt constraints deletion: 5122 -> 2572 1639.23/1639.57 c learnt constraints deletion: 5585 -> 2804 1643.82/1644.16 c learnt constraints deletion: 5583 -> 2793 1648.13/1648.43 c learnt constraints deletion: 5582 -> 2795 1652.32/1652.68 c learnt constraints deletion: 5592 -> 2801 1657.02/1657.34 c learnt constraints deletion: 5569 -> 2790 1660.83/1661.12 c learnt constraints deletion: 5574 -> 2792 1665.62/1665.94 c learnt constraints deletion: 5581 -> 2791 1670.72/1671.09 c learnt constraints deletion: 5581 -> 2793 1675.42/1675.78 c learnt constraints deletion: 5584 -> 2802 1679.52/1679.84 c learnt constraints deletion: 5589 -> 2806 1684.12/1684.41 c learnt constraints deletion: 5588 -> 2805 1688.02/1688.36 c learnt constraints deletion: 5586 -> 2805 1694.12/1694.41 c learnt constraints deletion: 5578 -> 2789 1701.52/1701.81 c learnt constraints deletion: 5577 -> 2793 1708.52/1708.86 c learnt constraints deletion: 5576 -> 2794 1713.01/1713.34 c learnt constraints deletion: 5591 -> 2804 1717.42/1717.70 c learnt constraints deletion: 5576 -> 2797 1721.42/1721.73 c learnt constraints deletion: 5588 -> 2802 1725.51/1725.84 c learnt constraints deletion: 5580 -> 2799 1729.72/1730.01 c learnt constraints deletion: 5585 -> 2803 1734.01/1734.32 c learnt constraints deletion: 5579 -> 2798 1738.61/1738.98 c learnt constraints deletion: 5590 -> 2804 1742.61/1742.98 c learnt constraints deletion: 5588 -> 2804 1746.51/1746.83 c learnt constraints deletion: 5584 -> 2801 1750.71/1751.01 c learnt constraints deletion: 5587 -> 2804 1754.61/1754.97 c learnt constraints deletion: 5588 -> 2805 1759.11/1759.40 c learnt constraints deletion: 5576 -> 2796 1763.31/1763.61 c learnt constraints deletion: 5583 -> 2801 1767.81/1768.15 c learnt constraints deletion: 5594 -> 2807 1771.91/1772.26 c learnt constraints deletion: 5583 -> 2801 1776.21/1776.51 c learnt constraints deletion: 5581 -> 2801 1780.41/1780.74 c learnt constraints deletion: 5584 -> 2803 1784.80/1785.16 c learnt constraints deletion: 5582 -> 2801 1788.61/1788.96 c learnt constraints deletion: 5584 -> 2802 1792.11/1792.45 c learnt constraints deletion: 5583 -> 2802 1796.30/1796.62 c learnt constraints deletion: 5581 -> 2802
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-3725032-1338633340/watcher-3725032-1338633340 -o /tmp/evaluation-result-3725032-1338633340/solver-3725032-1338633340 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725032-1338633340.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 1.70 3/176 10668 /proc/meminfo: memFree=29167108/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=7248 CPUtime=0 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 843 0 0 0 0 0 0 0 20 0 1 0 329458857 7421952 763 33554432000 4194304 8989770 140736075741680 140736075724696 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 1812 763 428 1171 0 589 0 [startup+0.102214 s] /proc/loadavg: 2.00 2.02 1.70 3/176 10668 /proc/meminfo: memFree=29167108/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=9296 CPUtime=0.09 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 1423 0 0 0 9 0 0 0 20 0 1 0 329458857 9519104 1343 33554432000 4194304 8989770 140736075741680 140736075724696 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 2324 1343 471 1171 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9296 [startup+0.200226 s] /proc/loadavg: 2.00 2.02 1.70 3/176 10668 /proc/meminfo: memFree=29167108/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=9296 CPUtime=0.19 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 1435 0 0 0 19 0 0 0 20 0 1 0 329458857 9519104 1355 33554432000 4194304 8989770 140736075741680 140736075724776 4493754 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 2324 1355 471 1171 0 1101 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 9296 [startup+0.300214 s] /proc/loadavg: 2.00 2.02 1.70 3/176 10668 /proc/meminfo: memFree=29167108/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=10320 CPUtime=0.29 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 1722 0 0 0 29 0 0 0 20 0 1 0 329458857 10567680 1642 33554432000 4194304 8989770 140736075741680 140736075724776 6586418 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 2580 1642 471 1171 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10320 [startup+0.700215 s] /proc/loadavg: 2.00 2.02 1.70 3/176 10668 /proc/meminfo: memFree=29167108/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=11344 CPUtime=0.69 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 2160 0 0 0 69 0 0 0 20 0 1 0 329458857 11616256 2080 33554432000 4194304 8989770 140736075741680 140736075724776 4380630 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 2836 2080 473 1171 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11344 [startup+1.50021 s] /proc/loadavg: 2.00 2.02 1.70 3/177 10669 /proc/meminfo: memFree=29160924/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=11344 CPUtime=1.49 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 2161 0 0 0 149 0 0 0 20 0 1 0 329458857 11616256 2081 33554432000 4194304 8989770 140736075741680 140736075741176 4472908 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 2836 2081 473 1171 0 1613 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11344 [startup+3.10022 s] /proc/loadavg: 2.00 2.02 1.70 3/177 10669 /proc/meminfo: memFree=29157320/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=13392 CPUtime=3.09 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 2673 0 0 0 308 1 0 0 20 0 1 0 329458857 13713408 2593 33554432000 4194304 8989770 140736075741680 140736075741176 4437021 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 3348 2593 473 1171 0 2125 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13392 [startup+6.30025 s] /proc/loadavg: 2.00 2.01 1.71 3/177 10669 /proc/meminfo: memFree=29155212/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=15440 CPUtime=6.29 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 3185 0 0 0 627 2 0 0 20 0 1 0 329458857 15810560 3105 33554432000 4194304 8989770 140736075741680 140736075741176 4361400 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 3860 3105 473 1171 0 2637 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15440 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 1.71 3/177 10669 /proc/meminfo: memFree=29151748/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=18512 CPUtime=12.69 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 3953 0 0 0 1265 4 0 0 20 0 1 0 329458857 18956288 3873 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 4628 3873 473 1171 0 3405 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18512 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 1.71 3/177 10669 /proc/meminfo: memFree=29141636/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=25680 CPUtime=25.49 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 5746 0 0 0 2540 9 0 0 20 0 1 0 329458857 26296320 5665 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 6420 5665 473 1171 0 5197 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25680 [startup+51.1003 s] /proc/loadavg: 2.06 2.03 1.72 3/177 10669 /proc/meminfo: memFree=29141804/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=25680 CPUtime=51.08 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 6008 0 0 0 5090 18 0 0 20 0 1 0 329458857 26296320 5665 33554432000 4194304 8989770 140736075741680 140736075741176 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 6420 5665 473 1171 0 5197 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25680 [startup+102.3 s] /proc/loadavg: 2.08 2.04 1.74 3/177 10670 /proc/meminfo: memFree=29143228/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=22608 CPUtime=102.28 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 6264 0 0 0 10195 33 0 0 20 0 1 0 329458857 23150592 4897 33554432000 4194304 8989770 140736075741680 140736075741176 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 5652 4897 473 1171 0 4429 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 22608 [startup+162.3 s] /proc/loadavg: 2.03 2.03 1.75 3/177 10670 /proc/meminfo: memFree=29142232/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=21584 CPUtime=162.26 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 6521 0 0 0 16174 52 0 0 20 0 1 0 329458857 22102016 4641 33554432000 4194304 8989770 140736075741680 140736075740944 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 5396 4641 473 1171 0 4173 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 21584 [startup+222.306 s] /proc/loadavg: 2.01 2.02 1.76 3/177 10670 /proc/meminfo: memFree=29127844/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=36944 CPUtime=222.26 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 11130 0 0 0 22153 73 0 0 20 0 1 0 329458857 37830656 8481 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 9236 8481 473 1171 0 8013 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 36944 [startup+282.3 s] /proc/loadavg: 2.06 2.03 1.78 3/178 10673 /proc/meminfo: memFree=29127384/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=33872 CPUtime=282.24 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 11133 0 0 0 28133 91 0 0 20 0 1 0 329458857 34684928 7713 33554432000 4194304 8989770 140736075741680 140736075741176 6592289 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 8468 7713 473 1171 0 7245 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 33872 [startup+342.3 s] /proc/loadavg: 2.05 2.04 1.80 3/177 10673 /proc/meminfo: memFree=29132724/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=28752 CPUtime=342.23 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 12670 0 0 0 34110 113 0 0 20 0 1 0 329458857 29442048 6433 33554432000 4194304 8989770 140736075741680 140736075741176 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 7188 6433 473 1171 0 5965 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 28752 [startup+402.3 s] /proc/loadavg: 2.02 2.03 1.81 3/177 10674 /proc/meminfo: memFree=29134208/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=25680 CPUtime=402.22 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 13184 0 0 0 40090 132 0 0 20 0 1 0 329458857 26296320 5665 33554432000 4194304 8989770 140736075741680 140736075740944 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 6420 5665 473 1171 0 5197 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 25680 [startup+462.3 s] /proc/loadavg: 2.00 2.02 1.82 3/177 10674 /proc/meminfo: memFree=29130604/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=25680 CPUtime=462.21 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 13184 0 0 0 46069 152 0 0 20 0 1 0 329458857 26296320 5665 33554432000 4194304 8989770 140736075741680 140736075741176 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 6420 5665 473 1171 0 5197 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 25680 [startup+522.3 s] /proc/loadavg: 2.00 2.01 1.83 3/177 10674 /proc/meminfo: memFree=29134448/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=25680 CPUtime=522.2 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 13696 0 0 0 52049 171 0 0 20 0 1 0 329458857 26296320 5665 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 6420 5665 473 1171 0 5197 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 25680 [startup+582.3 s] /proc/loadavg: 2.00 2.01 1.83 3/177 10674 /proc/meminfo: memFree=29134192/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=25680 CPUtime=582.2 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 13952 0 0 0 58028 192 0 0 20 0 1 0 329458857 26296320 5665 33554432000 4194304 8989770 140736075741680 140736075741176 6592429 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 6420 5665 473 1171 0 5197 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 25680 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.03 2.02 1.87 3/177 10714 /proc/meminfo: memFree=28783540/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=32848 CPUtime=822.15 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 18304 0 0 0 81950 265 0 0 20 0 1 0 329458857 33636352 7457 33554432000 4194304 8989770 140736075741680 140736075741176 4213511 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 8212 7457 473 1171 0 6989 0 Current children cumulated CPU time (s) 822.15 Current children cumulated vsize (KiB) 32848 [startup+882.306 s] /proc/loadavg: 2.01 2.02 1.87 3/178 10717 /proc/meminfo: memFree=28721936/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=27728 CPUtime=882.15 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 18816 0 0 0 87933 282 0 0 20 0 1 0 329458857 28393472 6177 33554432000 4194304 8989770 140736075741680 140736075740944 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 6932 6177 473 1171 0 5709 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 27728 [startup+942.3 s] /proc/loadavg: 2.00 2.01 1.88 3/177 10717 /proc/meminfo: memFree=28681424/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=30800 CPUtime=942.14 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 20096 0 0 0 93911 303 0 0 20 0 1 0 329458857 31539200 6945 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 7700 6945 473 1171 0 6477 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 30800 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.88 3/177 10718 /proc/meminfo: memFree=28641532/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=31824 CPUtime=1002.13 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 20352 0 0 0 99891 322 0 0 20 0 1 0 329458857 32587776 7201 33554432000 4194304 8989770 140736075741680 140736075741176 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 7956 7201 473 1171 0 6733 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 31824 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.89 3/177 10718 /proc/meminfo: memFree=28599884/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=31824 CPUtime=1062.12 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 20357 0 0 0 105870 342 0 0 20 0 1 0 329458857 32587776 7201 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 7956 7201 473 1171 0 6733 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 31824 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 10718 /proc/meminfo: memFree=28579180/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=52304 CPUtime=1122.11 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 27013 0 0 0 111848 363 0 0 20 0 1 0 329458857 53559296 12321 33554432000 4194304 8989770 140736075741680 140736075741176 4378376 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13076 12321 473 1171 0 11853 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 52304 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 10718 /proc/meminfo: memFree=28580916/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=50256 CPUtime=1182.1 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 28037 0 0 0 117829 381 0 0 20 0 1 0 329458857 51462144 11809 33554432000 4194304 8989770 140736075741680 140736075741176 6586400 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 12564 11809 473 1171 0 11341 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 50256 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10718 /proc/meminfo: memFree=28580296/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=50256 CPUtime=1242.09 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 28037 0 0 0 123807 402 0 0 20 0 1 0 329458857 51462144 11809 33554432000 4194304 8989770 140736075741680 140736075741176 4204289 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 12564 11809 473 1171 0 11341 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 50256 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.91 3/176 10718 /proc/meminfo: memFree=28578932/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=52304 CPUtime=1302.09 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 28549 0 0 0 129785 424 0 0 20 0 1 0 329458857 53559296 12321 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13076 12321 473 1171 0 11853 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 52304 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10719 /proc/meminfo: memFree=28575392/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=55376 CPUtime=1362.07 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 29317 0 0 0 135761 446 0 0 20 0 1 0 329458857 56705024 13089 33554432000 4194304 8989770 140736075741680 140736075740944 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13844 13089 473 1171 0 12621 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 55376 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10719 /proc/meminfo: memFree=28576008/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=54352 CPUtime=1422.07 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 31118 0 0 0 141744 463 0 0 20 0 1 0 329458857 55656448 12833 33554432000 4194304 8989770 140736075741680 140736075740944 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13588 12833 473 1171 0 12365 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 54352 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 1.91 3/178 10722 /proc/meminfo: memFree=28539848/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=55376 CPUtime=1482.05 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 31376 0 0 0 147725 480 0 0 20 0 1 0 329458857 56705024 13089 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13844 13089 473 1171 0 12621 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 55376 [startup+1542.31 s] /proc/loadavg: 2.01 2.01 1.91 3/178 10745 /proc/meminfo: memFree=28517404/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=55376 CPUtime=1542.04 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 31632 0 0 0 153705 499 0 0 20 0 1 0 329458857 56705024 13089 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13844 13089 473 1171 0 12621 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 55376 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10745 /proc/meminfo: memFree=28518032/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=54352 CPUtime=1602.03 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 31632 0 0 0 159683 520 0 0 20 0 1 0 329458857 55656448 12833 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13588 12833 473 1171 0 12365 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 54352 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10746 /proc/meminfo: memFree=28518032/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=54352 CPUtime=1662.02 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 31632 0 0 0 165663 539 0 0 20 0 1 0 329458857 55656448 12833 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 13588 12833 473 1171 0 12365 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 54352 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10746 /proc/meminfo: memFree=28537820/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=35920 CPUtime=1722.01 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 32144 0 0 0 171645 556 0 0 20 0 1 0 329458857 36782080 8225 33554432000 4194304 8989770 140736075741680 140736075740944 4451632 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 8980 8225 473 1171 0 7757 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 35920 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10746 /proc/meminfo: memFree=28536564/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=35920 CPUtime=1782 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 32144 0 0 0 177623 577 0 0 20 0 1 0 329458857 36782080 8225 33554432000 4194304 8989770 140736075741680 140736075741176 4379636 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 8980 8225 473 1171 0 7757 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 35920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 10746 /proc/meminfo: memFree=28536780/32873844 swapFree=7120/7120 [pid=10668] ppid=10666 vsize=35920 CPUtime=1800.01 cores=0,2,4,6 /proc/10668/stat : 10668 (toysat) R 10666 10668 10378 0 -1 4202496 32144 0 0 0 179417 584 0 0 20 0 1 0 329458857 36782080 8225 33554432000 4194304 8989770 140736075741680 140736075741176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/10668/statm: 8980 8225 473 1171 0 7757 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 35920 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1794.18 CPU system time (s): 5.84211 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 62544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.18 system time used= 5.84211 maximum resident set size= 59524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32144 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= 34 involuntary context switches= 1853 runsolver used 3.37149 second user time and 9.02363 second system time The end
Begin job on node142 at 2012-06-02 12:35:40 IDJOB=3725032 IDBENCH=2171 IDSOLVER=2308 FILE ID=node142/3725032-1338633340 RUNJOBID= node142-1338631506-10394 PBS_JOBID= 14636438 Free space on /tmp= 71196 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725032-1338633340/watcher-3725032-1338633340 -o /tmp/evaluation-result-3725032-1338633340/solver-3725032-1338633340 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725032-1338633340.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27 RANDOM SEED=194967832 node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 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 : 5391.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 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: 29168016 kB Buffers: 207432 kB Cached: 2660916 kB SwapCached: 0 kB Active: 1082316 kB Inactive: 1813328 kB Active(anon): 18252 kB Inactive(anon): 11236 kB Active(file): 1064064 kB Inactive(file): 1802092 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14832 kB Writeback: 0 kB AnonPages: 33716 kB Mapped: 12584 kB Shmem: 200 kB Slab: 672804 kB SReclaimable: 114852 kB SUnreclaim: 557952 kB KernelStack: 1464 kB PageTables: 3700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 140828 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= 71188 MiB End job on node142 at 2012-06-02 13:05:42