Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.05 | 1800.41 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-1616732.opb |
MD5SUM | bb6edae9b271ecf76d3d6c31c88b027d |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 159 |
Best CPU time to get the best result obtained on this benchmark | 1789.91 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 1999 |
Number of constraints which are clauses | 1999 |
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 | 2 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.03 c 2012-06-02T15:10:35+0200 0.00/0.03 c arch = x86_64 0.00/0.03 c os = linux 0.00/0.03 c compiler = ghc 7.4 0.00/0.03 c packages: 0.00/0.03 c OptDir-0.0.1 0.00/0.03 c array-0.4.0.0 0.00/0.03 c base-4.5.0.0 0.00/0.03 c bytestring-0.9.2.1 0.00/0.03 c containers-0.4.2.1 0.00/0.03 c deepseq-1.3.0.0 0.00/0.03 c mtl-2.1.1 0.00/0.03 c old_locale-1.0.0.4 0.00/0.03 c parse_dimacs-1.2 0.00/0.03 c parsec-3.1.2 0.00/0.03 c queue-0.1.2 0.00/0.03 c stm-2.3 0.00/0.03 c time-1.4 0.00/0.03 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725527-1338642635.opb"] 0.00/0.03 c #vars 200 0.00/0.03 c #constraints 1999 0.00/0.03 c Solving starts ... 0.00/0.03 c solving time = 0.001s 0.00/0.03 c #decision = 27 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 173 0.00/0.03 c Solving starts ... 0.00/0.03 c solving time = 0.001s 0.00/0.03 c #decision = 55 0.00/0.03 c #conflict = 2 0.00/0.03 c #restart = 0 0.00/0.03 o 172 0.00/0.03 c Solving starts ... 0.00/0.05 c solving time = 0.019s 0.00/0.05 c #decision = 148 0.00/0.05 c #conflict = 56 0.00/0.05 c #restart = 0 0.00/0.05 o 171 0.00/0.05 c Solving starts ... 0.49/0.51 c learnt constraints deletion: 1236 -> 619 0.78/0.86 c learnt constraints deletion: 1352 -> 684 1.19/1.25 c learnt constraints deletion: 1477 -> 741 1.69/1.70 c learnt constraints deletion: 1607 -> 805 2.09/2.13 c learnt constraints deletion: 1600 -> 804 2.59/2.65 c learnt constraints deletion: 1741 -> 872 3.09/3.10 c learnt constraints deletion: 1740 -> 871 3.49/3.56 c learnt constraints deletion: 1754 -> 879 4.09/4.14 c learnt constraints deletion: 1899 -> 950 4.59/4.66 c learnt constraints deletion: 1902 -> 951 5.08/5.18 c learnt constraints deletion: 1910 -> 957 5.69/5.75 c learnt constraints deletion: 1909 -> 956 6.39/6.41 c learnt constraints deletion: 2082 -> 1041 6.98/7.01 c learnt constraints deletion: 2078 -> 1041 7.58/7.63 c learnt constraints deletion: 2076 -> 1042 8.18/8.28 c learnt constraints deletion: 2078 -> 1039 8.88/8.93 c learnt constraints deletion: 2083 -> 1042 9.59/9.66 c learnt constraints deletion: 2266 -> 1134 10.28/10.37 c learnt constraints deletion: 2275 -> 1139 11.08/11.11 c learnt constraints deletion: 2277 -> 1139 11.68/11.77 c learnt constraints deletion: 2269 -> 1136 12.38/12.48 c learnt constraints deletion: 2274 -> 1141 13.18/13.21 c learnt constraints deletion: 2272 -> 1140 13.88/13.94 c learnt constraints deletion: 2278 -> 1143 14.48/14.59 c learnt constraints deletion: 2269 -> 1136 15.28/15.35 c learnt constraints deletion: 2480 -> 1240 15.98/16.06 c learnt constraints deletion: 2486 -> 1244 16.68/16.79 c learnt constraints deletion: 2487 -> 1246 17.38/17.50 c learnt constraints deletion: 2483 -> 1246 18.18/18.27 c learnt constraints deletion: 2484 -> 1246 18.88/18.98 c learnt constraints deletion: 2479 -> 1242 19.69/19.72 c learnt constraints deletion: 2488 -> 1246 20.38/20.49 c learnt constraints deletion: 2482 -> 1242 21.18/21.22 c learnt constraints deletion: 2475 -> 1240 21.88/21.97 c learnt constraints deletion: 2486 -> 1247 22.78/22.86 c learnt constraints deletion: 2722 -> 1363 23.58/23.65 c learnt constraints deletion: 2714 -> 1358 24.37/24.42 c learnt constraints deletion: 2720 -> 1363 25.19/25.24 c learnt constraints deletion: 2717 -> 1363 25.98/26.10 c learnt constraints deletion: 2718 -> 1362 26.88/26.94 c learnt constraints deletion: 2718 -> 1362 27.77/27.80 c learnt constraints deletion: 2710 -> 1355 28.48/28.53 c learnt constraints deletion: 2719 -> 1362 29.27/29.32 c learnt constraints deletion: 2717 -> 1361 30.08/30.12 c learnt constraints deletion: 2719 -> 1363 30.87/30.94 c learnt constraints deletion: 2714 -> 1362 31.68/31.76 c learnt constraints deletion: 2713 -> 1359 32.57/32.61 c learnt constraints deletion: 2717 -> 1363 33.38/33.44 c learnt constraints deletion: 2719 -> 1363 34.37/34.49 c learnt constraints deletion: 2957 -> 1479 35.38/35.40 c learnt constraints deletion: 2975 -> 1489 36.28/36.37 c learnt constraints deletion: 2973 -> 1489 37.28/37.33 c learnt constraints deletion: 2974 -> 1491 38.17/38.26 c learnt constraints deletion: 2967 -> 1484 39.08/39.15 c learnt constraints deletion: 2974 -> 1488 39.97/40.07 c learnt constraints deletion: 2975 -> 1489 40.88/40.97 c learnt constraints deletion: 2975 -> 1492 41.87/41.98 c learnt constraints deletion: 2972 -> 1488 42.78/42.88 c learnt constraints deletion: 2966 -> 1485 43.77/43.84 c learnt constraints deletion: 2973 -> 1491 44.78/44.84 c learnt constraints deletion: 2973 -> 1489 45.77/45.85 c learnt constraints deletion: 2976 -> 1492 46.67/46.79 c learnt constraints deletion: 2966 -> 1483 47.67/47.78 c learnt constraints deletion: 2967 -> 1486 48.68/48.74 c learnt constraints deletion: 2975 -> 1492 49.67/49.77 c learnt constraints deletion: 2973 -> 1489 50.67/50.74 c learnt constraints deletion: 2969 -> 1485 51.58/51.61 c learnt constraints deletion: 2973 -> 1488 52.37/52.47 c learnt constraints deletion: 2970 -> 1488 53.48/53.53 c learnt constraints deletion: 3249 -> 1625 54.47/54.55 c learnt constraints deletion: 3251 -> 1628 55.47/55.53 c learnt constraints deletion: 3252 -> 1627 56.47/56.59 c learnt constraints deletion: 3254 -> 1629 57.47/57.55 c learnt constraints deletion: 3235 -> 1619 58.48/58.60 c learnt constraints deletion: 3246 -> 1625 59.58/59.64 c learnt constraints deletion: 3252 -> 1626 60.57/60.60 c learnt constraints deletion: 3246 -> 1624 61.57/61.61 c learnt constraints deletion: 3251 -> 1629 62.58/62.65 c learnt constraints deletion: 3254 -> 1629 63.58/63.67 c learnt constraints deletion: 3252 -> 1628 64.67/64.74 c learnt constraints deletion: 3253 -> 1631 65.67/65.77 c learnt constraints deletion: 3247 -> 1628 66.87/66.90 c learnt constraints deletion: 3254 -> 1632 67.77/67.88 c learnt constraints deletion: 3252 -> 1627 68.87/68.93 c learnt constraints deletion: 3249 -> 1627 69.97/70.00 c learnt constraints deletion: 3253 -> 1631 71.07/71.11 c learnt constraints deletion: 3253 -> 1629 72.07/72.12 c learnt constraints deletion: 3252 -> 1628 73.07/73.17 c learnt constraints deletion: 3254 -> 1628 74.16/74.28 c learnt constraints deletion: 3256 -> 1630 75.27/75.38 c learnt constraints deletion: 3251 -> 1628 76.37/76.43 c learnt constraints deletion: 3250 -> 1629 77.47/77.53 c learnt constraints deletion: 3251 -> 1626 78.37/78.47 c learnt constraints deletion: 3251 -> 1627 79.37/79.47 c learnt constraints deletion: 3256 -> 1630 80.57/80.66 c learnt constraints deletion: 3556 -> 1781 81.67/81.79 c learnt constraints deletion: 3555 -> 1779 82.87/82.91 c learnt constraints deletion: 3558 -> 1779 83.96/84.04 c learnt constraints deletion: 3551 -> 1777 85.07/85.18 c learnt constraints deletion: 3560 -> 1780 86.26/86.36 c learnt constraints deletion: 3558 -> 1781 87.46/87.50 c learnt constraints deletion: 3562 -> 1781 88.57/88.66 c learnt constraints deletion: 3560 -> 1780 89.76/89.87 c learnt constraints deletion: 3562 -> 1783 90.97/91.05 c learnt constraints deletion: 3562 -> 1781 92.17/92.27 c learnt constraints deletion: 3558 -> 1780 93.37/93.47 c learnt constraints deletion: 3557 -> 1779 94.48/94.57 c learnt constraints deletion: 3556 -> 1779 95.67/95.72 c learnt constraints deletion: 3562 -> 1783 96.87/96.92 c learnt constraints deletion: 3562 -> 1783 98.06/98.15 c learnt constraints deletion: 3558 -> 1783 99.26/99.38 c learnt constraints deletion: 3553 -> 1779 100.57/100.62 c learnt constraints deletion: 3552 -> 1780 101.66/101.78 c learnt constraints deletion: 3553 -> 1778 102.86/102.99 c learnt constraints deletion: 3559 -> 1782 104.17/104.21 c learnt constraints deletion: 3561 -> 1783 105.37/105.43 c learnt constraints deletion: 3545 -> 1776 106.57/106.62 c learnt constraints deletion: 3557 -> 1779 107.77/107.83 c learnt constraints deletion: 3557 -> 1781 108.97/109.01 c learnt constraints deletion: 3556 -> 1780 110.16/110.23 c learnt constraints deletion: 3563 -> 1784 111.37/111.46 c learnt constraints deletion: 3552 -> 1780 112.56/112.66 c learnt constraints deletion: 3561 -> 1784 113.86/113.93 c learnt constraints deletion: 3564 -> 1786 115.17/115.21 c learnt constraints deletion: 3554 -> 1777 116.36/116.46 c learnt constraints deletion: 3557 -> 1781 117.67/117.74 c learnt constraints deletion: 3550 -> 1775 118.86/118.90 c learnt constraints deletion: 3546 -> 1774 119.97/120.09 c learnt constraints deletion: 3559 -> 1782 121.26/121.36 c learnt constraints deletion: 3558 -> 1781 122.56/122.64 c learnt constraints deletion: 3558 -> 1781 123.76/123.89 c learnt constraints deletion: 3561 -> 1783 125.37/125.46 c learnt constraints deletion: 3901 -> 1955 126.56/126.69 c learnt constraints deletion: 3901 -> 1953 127.96/128.00 c learnt constraints deletion: 3902 -> 1953 129.26/129.34 c learnt constraints deletion: 3897 -> 1951 130.56/130.68 c learnt constraints deletion: 3897 -> 1950 132.06/132.10 c learnt constraints deletion: 3900 -> 1951 133.46/133.52 c learnt constraints deletion: 3890 -> 1946 134.86/134.94 c learnt constraints deletion: 3898 -> 1952 136.16/136.24 c learnt constraints deletion: 3898 -> 1950 137.55/137.60 c learnt constraints deletion: 3891 -> 1948 138.86/138.95 c learnt constraints deletion: 3902 -> 1955 140.16/140.29 c learnt constraints deletion: 3892 -> 1948 141.66/141.72 c learnt constraints deletion: 3902 -> 1955 142.96/143.06 c learnt constraints deletion: 3900 -> 1953 144.36/144.45 c learnt constraints deletion: 3901 -> 1953 145.65/145.79 c learnt constraints deletion: 3896 -> 1951 147.05/147.16 c learnt constraints deletion: 3894 -> 1951 148.46/148.58 c learnt constraints deletion: 3898 -> 1954 149.95/150.00 c learnt constraints deletion: 3894 -> 1952 151.35/151.46 c learnt constraints deletion: 3901 -> 1957 152.65/152.79 c learnt constraints deletion: 3901 -> 1951 154.05/154.12 c learnt constraints deletion: 3901 -> 1952 155.34/155.45 c learnt constraints deletion: 3899 -> 1952 156.75/156.84 c learnt constraints deletion: 3893 -> 1950 158.26/158.31 c learnt constraints deletion: 3903 -> 1954 159.54/159.65 c learnt constraints deletion: 3900 -> 1953 160.95/161.06 c learnt constraints deletion: 3901 -> 1955 162.34/162.49 c learnt constraints deletion: 3896 -> 1948 163.86/163.91 c learnt constraints deletion: 3892 -> 1948 165.24/165.33 c learnt constraints deletion: 3897 -> 1951 166.65/166.73 c learnt constraints deletion: 3900 -> 1950 167.95/168.04 c learnt constraints deletion: 3903 -> 1953 169.14/169.30 c learnt constraints deletion: 3894 -> 1950 170.65/170.70 c learnt constraints deletion: 3900 -> 1952 172.04/172.11 c learnt constraints deletion: 3901 -> 1953 173.34/173.46 c learnt constraints deletion: 3901 -> 1955 174.64/174.78 c learnt constraints deletion: 3894 -> 1951 176.05/176.19 c learnt constraints deletion: 3904 -> 1956 177.55/177.65 c learnt constraints deletion: 3899 -> 1952 178.95/179.09 c learnt constraints deletion: 3894 -> 1949 180.44/180.51 c learnt constraints deletion: 3902 -> 1953 181.84/181.92 c learnt constraints deletion: 3899 -> 1954 183.24/183.33 c learnt constraints deletion: 3903 -> 1956 184.75/184.83 c learnt constraints deletion: 3900 -> 1954 186.24/186.33 c learnt constraints deletion: 3904 -> 1958 187.64/187.74 c learnt constraints deletion: 3903 -> 1954 189.04/189.12 c learnt constraints deletion: 3896 -> 1951 190.54/190.61 c learnt constraints deletion: 3888 -> 1947 192.04/192.10 c learnt constraints deletion: 3899 -> 1953 193.45/193.55 c learnt constraints deletion: 3898 -> 1949 195.04/195.11 c learnt constraints deletion: 4264 -> 2134 196.44/196.58 c learnt constraints deletion: 4274 -> 2137 197.85/198.00 c learnt constraints deletion: 4268 -> 2136 199.44/199.52 c learnt constraints deletion: 4272 -> 2138 200.84/200.97 c learnt constraints deletion: 4267 -> 2135 202.34/202.48 c learnt constraints deletion: 4272 -> 2138 203.84/203.96 c learnt constraints deletion: 4273 -> 2137 205.23/205.32 c learnt constraints deletion: 4275 -> 2140 206.64/206.78 c learnt constraints deletion: 4274 -> 2139 208.14/208.29 c learnt constraints deletion: 4274 -> 2139 209.74/209.88 c learnt constraints deletion: 4275 -> 2140 211.24/211.38 c learnt constraints deletion: 4266 -> 2133 212.84/212.94 c learnt constraints deletion: 4269 -> 2137 214.35/214.41 c learnt constraints deletion: 4272 -> 2138 215.94/216.06 c learnt constraints deletion: 4274 -> 2139 217.44/217.57 c learnt constraints deletion: 4276 -> 2138 218.85/218.97 c learnt constraints deletion: 4268 -> 2135 220.34/220.46 c learnt constraints deletion: 4273 -> 2138 221.84/221.94 c learnt constraints deletion: 4273 -> 2139 223.34/223.43 c learnt constraints deletion: 4274 -> 2139 224.84/224.98 c learnt constraints deletion: 4271 -> 2140 226.45/226.54 c learnt constraints deletion: 4271 -> 2140 227.93/228.05 c learnt constraints deletion: 4274 -> 2140 229.54/229.62 c learnt constraints deletion: 4276 -> 2140 231.13/231.22 c learnt constraints deletion: 4272 -> 2140 232.73/232.81 c learnt constraints deletion: 4272 -> 2140 234.24/234.38 c learnt constraints deletion: 4270 -> 2135 235.64/235.77 c learnt constraints deletion: 4272 -> 2137 237.13/237.22 c learnt constraints deletion: 4270 -> 2136 238.63/238.74 c learnt constraints deletion: 4261 -> 2133 240.14/240.26 c learnt constraints deletion: 4261 -> 2133 241.63/241.77 c learnt constraints deletion: 4270 -> 2138 243.23/243.31 c learnt constraints deletion: 4276 -> 2141 244.64/244.78 c learnt constraints deletion: 4265 -> 2135 246.24/246.37 c learnt constraints deletion: 4274 -> 2139 247.83/247.97 c learnt constraints deletion: 4270 -> 2137 249.33/249.45 c learnt constraints deletion: 4270 -> 2139 251.03/251.16 c learnt constraints deletion: 4275 -> 2141 252.63/252.73 c learnt constraints deletion: 4268 -> 2136 254.23/254.30 c learnt constraints deletion: 4274 -> 2141 255.83/255.91 c learnt constraints deletion: 4273 -> 2141 257.43/257.53 c learnt constraints deletion: 4266 -> 2133 258.73/258.86 c learnt constraints deletion: 4271 -> 2137 260.23/260.31 c learnt constraints deletion: 4264 -> 2133 261.64/261.75 c learnt constraints deletion: 4273 -> 2139 263.13/263.24 c learnt constraints deletion: 4266 -> 2137 264.63/264.74 c learnt constraints deletion: 4270 -> 2137 266.14/266.29 c learnt constraints deletion: 4272 -> 2138 267.82/267.93 c learnt constraints deletion: 4274 -> 2140 269.34/269.42 c learnt constraints deletion: 4268 -> 2138 270.93/271.01 c learnt constraints deletion: 4267 -> 2137 272.33/272.49 c learnt constraints deletion: 4276 -> 2140 273.84/273.96 c learnt constraints deletion: 4270 -> 2138 275.32/275.44 c learnt constraints deletion: 4275 -> 2142 276.83/276.97 c learnt constraints deletion: 4269 -> 2139 278.42/278.57 c learnt constraints deletion: 4267 -> 2138 279.93/280.08 c learnt constraints deletion: 4273 -> 2141 281.53/281.68 c learnt constraints deletion: 4269 -> 2141 283.03/283.19 c learnt constraints deletion: 4278 -> 2145 284.73/284.80 c learnt constraints deletion: 4274 -> 2142 286.22/286.39 c learnt constraints deletion: 4270 -> 2141 287.92/288.04 c learnt constraints deletion: 4275 -> 2142 289.52/289.63 c learnt constraints deletion: 4268 -> 2135 291.02/291.12 c learnt constraints deletion: 4273 -> 2140 292.62/292.79 c learnt constraints deletion: 4273 -> 2140 294.32/294.40 c learnt constraints deletion: 4275 -> 2139 296.02/296.12 c learnt constraints deletion: 4276 -> 2142 297.61/297.77 c learnt constraints deletion: 4273 -> 2137 299.13/299.21 c learnt constraints deletion: 4266 -> 2134 300.81/300.96 c learnt constraints deletion: 4686 -> 2345 302.51/302.68 c learnt constraints deletion: 4684 -> 2344 304.31/304.40 c learnt constraints deletion: 4683 -> 2345 305.72/305.83 c learnt constraints deletion: 4683 -> 2343 307.21/307.33 c learnt constraints deletion: 4682 -> 2343 308.72/308.89 c learnt constraints deletion: 4685 -> 2344 310.41/310.51 c learnt constraints deletion: 4678 -> 2341 312.01/312.11 c learnt constraints deletion: 4682 -> 2343 313.61/313.79 c learnt constraints deletion: 4680 -> 2342 315.31/315.50 c learnt constraints deletion: 4681 -> 2343 317.01/317.12 c learnt constraints deletion: 4681 -> 2345 318.71/318.81 c learnt constraints deletion: 4678 -> 2341 320.41/320.56 c learnt constraints deletion: 4686 -> 2347 322.01/322.19 c learnt constraints deletion: 4675 -> 2342 323.81/323.92 c learnt constraints deletion: 4675 -> 2340 325.42/325.56 c learnt constraints deletion: 4683 -> 2346 327.12/327.21 c learnt constraints deletion: 4686 -> 2347 328.92/329.01 c learnt constraints deletion: 4683 -> 2348 330.61/330.75 c learnt constraints deletion: 4677 -> 2343 332.11/332.22 c learnt constraints deletion: 4683 -> 2343 333.61/333.75 c learnt constraints deletion: 4677 -> 2341 335.21/335.37 c learnt constraints deletion: 4684 -> 2345 336.82/336.93 c learnt constraints deletion: 4686 -> 2346 338.41/338.59 c learnt constraints deletion: 4680 -> 2342 340.21/340.33 c learnt constraints deletion: 4679 -> 2342 341.92/342.07 c learnt constraints deletion: 4677 -> 2342 343.61/343.73 c learnt constraints deletion: 4676 -> 2341 345.32/345.48 c learnt constraints deletion: 4681 -> 2345 347.11/347.20 c learnt constraints deletion: 4685 -> 2347 348.81/348.96 c learnt constraints deletion: 4672 -> 2338 350.71/350.81 c learnt constraints deletion: 4684 -> 2344 352.30/352.48 c learnt constraints deletion: 4661 -> 2335 354.21/354.35 c learnt constraints deletion: 4686 -> 2347 356.01/356.19 c learnt constraints deletion: 4678 -> 2343 357.81/357.92 c learnt constraints deletion: 4674 -> 2339 359.61/359.75 c learnt constraints deletion: 4684 -> 2345 361.41/361.52 c learnt constraints deletion: 4681 -> 2344 363.20/363.33 c learnt constraints deletion: 4682 -> 2341 364.91/365.03 c learnt constraints deletion: 4679 -> 2342 366.51/366.69 c learnt constraints deletion: 4681 -> 2342 368.21/368.38 c learnt constraints deletion: 4686 -> 2346 369.91/370.08 c learnt constraints deletion: 4683 -> 2344 371.81/371.90 c learnt constraints deletion: 4682 -> 2343 373.51/373.61 c learnt constraints deletion: 4679 -> 2344 375.31/375.48 c learnt constraints deletion: 4685 -> 2345 377.11/377.27 c learnt constraints deletion: 4684 -> 2344 378.90/379.05 c learnt constraints deletion: 4676 -> 2342 380.80/380.96 c learnt constraints deletion: 4685 -> 2346 382.30/382.43 c learnt constraints deletion: 4686 -> 2344 383.81/383.98 c learnt constraints deletion: 4680 -> 2342 385.40/385.58 c learnt constraints deletion: 4685 -> 2345 387.10/387.24 c learnt constraints deletion: 4688 -> 2346 388.70/388.85 c learnt constraints deletion: 4671 -> 2338 390.41/390.50 c learnt constraints deletion: 4687 -> 2348 392.00/392.13 c learnt constraints deletion: 4686 -> 2344 393.60/393.72 c learnt constraints deletion: 4682 -> 2344 395.20/395.33 c learnt constraints deletion: 4685 -> 2346 396.80/397.00 c learnt constraints deletion: 4678 -> 2341 398.61/398.74 c learnt constraints deletion: 4682 -> 2344 400.31/400.42 c learnt constraints deletion: 4684 -> 2345 402.10/402.22 c learnt constraints deletion: 4679 -> 2342 403.70/403.82 c learnt constraints deletion: 4684 -> 2345 405.30/405.45 c learnt constraints deletion: 4669 -> 2338 407.00/407.13 c learnt constraints deletion: 4683 -> 2345 408.70/408.82 c learnt constraints deletion: 4681 -> 2344 410.60/410.74 c learnt constraints deletion: 4686 -> 2348 412.31/412.44 c learnt constraints deletion: 4686 -> 2348 414.00/414.14 c learnt constraints deletion: 4679 -> 2343 415.80/415.96 c learnt constraints deletion: 4680 -> 2344 417.50/417.67 c learnt constraints deletion: 4684 -> 2344 419.40/419.51 c learnt constraints deletion: 4684 -> 2346 421.10/421.21 c learnt constraints deletion: 4683 -> 2346 422.90/423.01 c learnt constraints deletion: 4687 -> 2348 424.60/424.73 c learnt constraints deletion: 4686 -> 2349 426.40/426.56 c learnt constraints deletion: 4685 -> 2349 428.19/428.35 c learnt constraints deletion: 4686 -> 2348 429.90/430.01 c learnt constraints deletion: 4685 -> 2345 431.50/431.63 c learnt constraints deletion: 4684 -> 2346 433.09/433.28 c learnt constraints deletion: 4681 -> 2344 434.90/435.03 c learnt constraints deletion: 4681 -> 2345 436.60/436.73 c learnt constraints deletion: 4688 -> 2348 438.19/438.37 c learnt constraints deletion: 4673 -> 2343 439.99/440.19 c learnt constraints deletion: 4680 -> 2344 441.59/441.79 c learnt constraints deletion: 4686 -> 2348 443.39/443.56 c learnt constraints deletion: 4683 -> 2348 445.19/445.35 c learnt constraints deletion: 4685 -> 2349 447.08/447.20 c learnt constraints deletion: 4684 -> 2345 448.79/448.99 c learnt constraints deletion: 4679 -> 2343 450.68/450.83 c learnt constraints deletion: 4676 -> 2339 452.28/452.49 c learnt constraints deletion: 4681 -> 2343 454.09/454.29 c learnt constraints deletion: 4681 -> 2344 455.99/456.11 c learnt constraints deletion: 4677 -> 2343 457.79/457.94 c learnt constraints deletion: 4677 -> 2342 459.79/459.91 c learnt constraints deletion: 4687 -> 2348 461.89/462.01 c learnt constraints deletion: 5134 -> 2571 463.99/464.10 c learnt constraints deletion: 5135 -> 2573 465.98/466.18 c learnt constraints deletion: 5137 -> 2574 467.78/467.90 c learnt constraints deletion: 5138 -> 2570 469.49/469.64 c learnt constraints deletion: 5138 -> 2570 471.28/471.42 c learnt constraints deletion: 5133 -> 2569 473.19/473.33 c learnt constraints deletion: 5134 -> 2568 475.09/475.27 c learnt constraints deletion: 5135 -> 2571 477.08/477.24 c learnt constraints deletion: 5136 -> 2569 478.98/479.11 c learnt constraints deletion: 5133 -> 2570 480.98/481.15 c learnt constraints deletion: 5129 -> 2566 482.98/483.16 c learnt constraints deletion: 5131 -> 2570 484.99/485.12 c learnt constraints deletion: 5133 -> 2569 487.09/487.26 c learnt constraints deletion: 5136 -> 2572 489.18/489.30 c learnt constraints deletion: 5135 -> 2572 491.18/491.31 c learnt constraints deletion: 5136 -> 2571 493.28/493.43 c learnt constraints deletion: 5131 -> 2570 495.28/495.46 c learnt constraints deletion: 5131 -> 2568 497.28/497.46 c learnt constraints deletion: 5131 -> 2570 499.28/499.41 c learnt constraints deletion: 5135 -> 2572 501.18/501.39 c learnt constraints deletion: 5132 -> 2572 503.27/503.49 c learnt constraints deletion: 5122 -> 2564 505.48/505.65 c learnt constraints deletion: 5130 -> 2568 507.47/507.66 c learnt constraints deletion: 5133 -> 2567 509.38/509.51 c learnt constraints deletion: 5132 -> 2568 511.17/511.40 c learnt constraints deletion: 5122 -> 2562 513.17/513.34 c learnt constraints deletion: 5133 -> 2569 515.28/515.42 c learnt constraints deletion: 5133 -> 2569 517.37/517.57 c learnt constraints deletion: 5134 -> 2569 519.38/519.54 c learnt constraints deletion: 5135 -> 2570 521.38/521.57 c learnt constraints deletion: 5126 -> 2567 523.58/523.73 c learnt constraints deletion: 5135 -> 2570 525.78/525.92 c learnt constraints deletion: 5135 -> 2572 527.68/527.89 c learnt constraints deletion: 5130 -> 2568 529.87/530.06 c learnt constraints deletion: 5130 -> 2568 531.67/531.83 c learnt constraints deletion: 5134 -> 2567 533.47/533.60 c learnt constraints deletion: 5135 -> 2570 535.17/535.34 c learnt constraints deletion: 5130 -> 2567 537.07/537.23 c learnt constraints deletion: 5134 -> 2569 538.97/539.15 c learnt constraints deletion: 5137 -> 2570 540.87/541.07 c learnt constraints deletion: 5135 -> 2571 542.77/542.97 c learnt constraints deletion: 5135 -> 2570 544.77/544.94 c learnt constraints deletion: 5124 -> 2566 546.67/546.87 c learnt constraints deletion: 5136 -> 2570 548.56/548.77 c learnt constraints deletion: 5136 -> 2571 550.56/550.70 c learnt constraints deletion: 5130 -> 2567 552.46/552.61 c learnt constraints deletion: 5133 -> 2571 554.36/554.52 c learnt constraints deletion: 5135 -> 2572 556.25/556.47 c learnt constraints deletion: 5137 -> 2574 558.26/558.48 c learnt constraints deletion: 5133 -> 2573 560.26/560.40 c learnt constraints deletion: 5135 -> 2575 562.26/562.46 c learnt constraints deletion: 5137 -> 2572 564.36/564.55 c learnt constraints deletion: 5122 -> 2563 566.27/566.46 c learnt constraints deletion: 5133 -> 2570 568.36/568.51 c learnt constraints deletion: 5137 -> 2573 570.35/570.54 c learnt constraints deletion: 5137 -> 2575 572.26/572.45 c learnt constraints deletion: 5129 -> 2567 574.15/574.38 c learnt constraints deletion: 5129 -> 2569 576.17/576.35 c learnt constraints deletion: 5137 -> 2572 578.25/578.44 c learnt constraints deletion: 5133 -> 2571 580.36/580.52 c learnt constraints deletion: 5130 -> 2569 582.45/582.64 c learnt constraints deletion: 5130 -> 2571 584.45/584.62 c learnt constraints deletion: 5130 -> 2569 586.55/586.74 c learnt constraints deletion: 5125 -> 2565 588.75/588.90 c learnt constraints deletion: 5131 -> 2570 590.75/590.93 c learnt constraints deletion: 5129 -> 2570 592.76/592.91 c learnt constraints deletion: 5135 -> 2571 594.76/594.96 c learnt constraints deletion: 5132 -> 2570 596.85/597.04 c learnt constraints deletion: 5133 -> 2571 598.95/599.19 c learnt constraints deletion: 5115 -> 2562 601.05/601.27 c learnt constraints deletion: 5138 -> 2575 603.25/603.45 c learnt constraints deletion: 5134 -> 2573 605.35/605.55 c learnt constraints deletion: 5136 -> 2573 607.55/607.77 c learnt constraints deletion: 5139 -> 2577 609.55/609.77 c learnt constraints deletion: 5137 -> 2571 611.75/611.92 c learnt constraints deletion: 5135 -> 2571 613.85/614.04 c learnt constraints deletion: 5136 -> 2571 616.05/616.24 c learnt constraints deletion: 5138 -> 2572 618.25/618.45 c learnt constraints deletion: 5138 -> 2575 620.45/620.64 c learnt constraints deletion: 5135 -> 2574 622.15/622.35 c learnt constraints deletion: 5135 -> 2569 623.94/624.18 c learnt constraints deletion: 5137 -> 2570 625.85/626.02 c learnt constraints deletion: 5136 -> 2569 627.75/627.98 c learnt constraints deletion: 5134 -> 2568 629.64/629.87 c learnt constraints deletion: 5136 -> 2569 631.65/631.86 c learnt constraints deletion: 5128 -> 2567 633.45/633.69 c learnt constraints deletion: 5135 -> 2569 635.45/635.66 c learnt constraints deletion: 5129 -> 2568 637.45/637.62 c learnt constraints deletion: 5135 -> 2571 639.45/639.69 c learnt constraints deletion: 5135 -> 2569 641.35/641.54 c learnt constraints deletion: 5135 -> 2571 643.35/643.54 c learnt constraints deletion: 5134 -> 2571 645.35/645.54 c learnt constraints deletion: 5131 -> 2568 647.45/647.60 c learnt constraints deletion: 5135 -> 2572 649.34/649.53 c learnt constraints deletion: 5135 -> 2572 651.35/651.57 c learnt constraints deletion: 5134 -> 2571 653.45/653.68 c learnt constraints deletion: 5123 -> 2568 655.45/655.61 c learnt constraints deletion: 5135 -> 2570 657.55/657.75 c learnt constraints deletion: 5133 -> 2571 659.54/659.75 c learnt constraints deletion: 5134 -> 2569 661.45/661.68 c learnt constraints deletion: 5126 -> 2566 663.45/663.65 c learnt constraints deletion: 5133 -> 2571 665.44/665.60 c learnt constraints deletion: 5137 -> 2575 667.34/667.56 c learnt constraints deletion: 5118 -> 2564 669.44/669.65 c learnt constraints deletion: 5139 -> 2576 671.54/671.72 c learnt constraints deletion: 5137 -> 2577 673.44/673.66 c learnt constraints deletion: 5125 -> 2568 675.54/675.78 c learnt constraints deletion: 5135 -> 2574 677.74/677.92 c learnt constraints deletion: 5132 -> 2569 679.74/679.90 c learnt constraints deletion: 5129 -> 2567 681.85/682.04 c learnt constraints deletion: 5117 -> 2562 683.95/684.16 c learnt constraints deletion: 5135 -> 2572 685.94/686.14 c learnt constraints deletion: 5137 -> 2572 688.04/688.22 c learnt constraints deletion: 5131 -> 2569 690.04/690.24 c learnt constraints deletion: 5133 -> 2571 692.24/692.42 c learnt constraints deletion: 5130 -> 2571 694.34/694.55 c learnt constraints deletion: 5135 -> 2572 696.43/696.66 c learnt constraints deletion: 5133 -> 2573 698.53/698.73 c learnt constraints deletion: 5137 -> 2575 700.64/700.84 c learnt constraints deletion: 5137 -> 2577 702.64/702.86 c learnt constraints deletion: 5128 -> 2566 704.63/704.89 c learnt constraints deletion: 5134 -> 2570 706.73/706.94 c learnt constraints deletion: 5132 -> 2570 708.83/709.08 c learnt constraints deletion: 5134 -> 2571 711.03/711.26 c learnt constraints deletion: 5132 -> 2572 713.13/713.35 c learnt constraints deletion: 5132 -> 2570 715.33/715.56 c learnt constraints deletion: 5129 -> 2565 717.12/717.36 c learnt constraints deletion: 5134 -> 2568 719.03/719.30 c learnt constraints deletion: 5130 -> 2566 721.03/721.28 c learnt constraints deletion: 5124 -> 2564 723.42/723.68 c learnt constraints deletion: 5630 -> 2819 725.63/725.89 c learnt constraints deletion: 5629 -> 2818 728.03/728.26 c learnt constraints deletion: 5627 -> 2816 730.14/730.36 c learnt constraints deletion: 5627 -> 2814 731.93/732.17 c learnt constraints deletion: 5632 -> 2817 733.72/733.99 c learnt constraints deletion: 5631 -> 2818 735.82/736.08 c learnt constraints deletion: 5629 -> 2817 737.93/738.16 c learnt constraints deletion: 5627 -> 2815 739.93/740.10 c learnt constraints deletion: 5620 -> 2812 741.92/742.16 c learnt constraints deletion: 5631 -> 2818 744.02/744.28 c learnt constraints deletion: 5625 -> 2817 745.92/746.18 c learnt constraints deletion: 5623 -> 2814 748.02/748.26 c learnt constraints deletion: 5633 -> 2821 750.03/750.23 c learnt constraints deletion: 5623 -> 2814 752.23/752.41 c learnt constraints deletion: 5627 -> 2816 754.22/754.41 c learnt constraints deletion: 5625 -> 2816 756.43/756.61 c learnt constraints deletion: 5632 -> 2820 758.52/758.78 c learnt constraints deletion: 5630 -> 2819 760.62/760.83 c learnt constraints deletion: 5634 -> 2819 762.52/762.77 c learnt constraints deletion: 5632 -> 2819 764.52/764.75 c learnt constraints deletion: 5630 -> 2819 766.82/767.03 c learnt constraints deletion: 5625 -> 2817 768.92/769.15 c learnt constraints deletion: 5632 -> 2819 771.22/771.42 c learnt constraints deletion: 5623 -> 2815 773.42/773.69 c learnt constraints deletion: 5630 -> 2817 775.42/775.61 c learnt constraints deletion: 5632 -> 2819 777.43/777.65 c learnt constraints deletion: 5633 -> 2820 779.52/779.77 c learnt constraints deletion: 5627 -> 2818 781.62/781.89 c learnt constraints deletion: 5616 -> 2812 783.82/784.06 c learnt constraints deletion: 5633 -> 2821 786.01/786.28 c learnt constraints deletion: 5614 -> 2811 788.12/788.33 c learnt constraints deletion: 5634 -> 2822 790.42/790.60 c learnt constraints deletion: 5634 -> 2821 792.42/792.68 c learnt constraints deletion: 5629 -> 2820 794.71/794.96 c learnt constraints deletion: 5633 -> 2825 796.81/797.06 c learnt constraints deletion: 5633 -> 2819 798.92/799.19 c learnt constraints deletion: 5635 -> 2822 801.02/801.20 c learnt constraints deletion: 5624 -> 2818 803.22/803.41 c learnt constraints deletion: 5630 -> 2819 805.31/805.59 c learnt constraints deletion: 5632 -> 2820 807.61/807.85 c learnt constraints deletion: 5635 -> 2822 810.01/810.21 c learnt constraints deletion: 5632 -> 2822 812.22/812.43 c learnt constraints deletion: 5635 -> 2824 814.41/814.69 c learnt constraints deletion: 5631 -> 2823 816.81/817.00 c learnt constraints deletion: 5631 -> 2823 818.91/819.11 c learnt constraints deletion: 5625 -> 2816 821.11/821.34 c learnt constraints deletion: 5626 -> 2817 823.41/823.60 c learnt constraints deletion: 5630 -> 2819 825.72/825.93 c learnt constraints deletion: 5630 -> 2819 827.91/828.19 c learnt constraints deletion: 5631 -> 2818 829.91/830.13 c learnt constraints deletion: 5630 -> 2818 831.81/832.07 c learnt constraints deletion: 5631 -> 2819 834.01/834.25 c learnt constraints deletion: 5633 -> 2820 836.21/836.40 c learnt constraints deletion: 5628 -> 2818 838.41/838.68 c learnt constraints deletion: 5634 -> 2821 840.71/840.92 c learnt constraints deletion: 5627 -> 2818 842.91/843.10 c learnt constraints deletion: 5618 -> 2813 845.00/845.24 c learnt constraints deletion: 5629 -> 2821 847.20/847.47 c learnt constraints deletion: 5634 -> 2823 849.50/849.73 c learnt constraints deletion: 5626 -> 2821 851.61/851.82 c learnt constraints deletion: 5630 -> 2819 853.81/854.09 c learnt constraints deletion: 5628 -> 2820 856.11/856.30 c learnt constraints deletion: 5634 -> 2823 858.31/858.57 c learnt constraints deletion: 5634 -> 2822 860.61/860.85 c learnt constraints deletion: 5634 -> 2823 862.91/863.10 c learnt constraints deletion: 5632 -> 2822 865.31/865.55 c learnt constraints deletion: 5627 -> 2822 867.50/867.73 c learnt constraints deletion: 5617 -> 2814 869.82/870.05 c learnt constraints deletion: 5634 -> 2823 872.31/872.51 c learnt constraints deletion: 5628 -> 2820 874.40/874.61 c learnt constraints deletion: 5631 -> 2818 876.30/876.50 c learnt constraints deletion: 5634 -> 2820 878.21/878.41 c learnt constraints deletion: 5628 -> 2817 880.21/880.49 c learnt constraints deletion: 5634 -> 2820 882.30/882.58 c learnt constraints deletion: 5618 -> 2812 884.60/884.81 c learnt constraints deletion: 5614 -> 2810 886.60/886.82 c learnt constraints deletion: 5635 -> 2822 888.60/888.86 c learnt constraints deletion: 5635 -> 2821 890.81/891.00 c learnt constraints deletion: 5632 -> 2821 892.80/893.07 c learnt constraints deletion: 5634 -> 2823 895.00/895.28 c learnt constraints deletion: 5635 -> 2821 897.31/897.59 c learnt constraints deletion: 5635 -> 2823 899.51/899.71 c learnt constraints deletion: 5630 -> 2819 901.60/901.89 c learnt constraints deletion: 5629 -> 2820 903.79/904.06 c learnt constraints deletion: 5629 -> 2821 906.00/906.28 c learnt constraints deletion: 5619 -> 2816 908.30/908.58 c learnt constraints deletion: 5630 -> 2819 910.60/910.80 c learnt constraints deletion: 5629 -> 2819 912.49/912.77 c learnt constraints deletion: 5627 -> 2819 914.59/914.89 c learnt constraints deletion: 5622 -> 2817 916.89/917.11 c learnt constraints deletion: 5631 -> 2822 919.19/919.40 c learnt constraints deletion: 5632 -> 2822 921.50/921.75 c learnt constraints deletion: 5633 -> 2821 923.89/924.11 c learnt constraints deletion: 5624 -> 2818 925.79/926.07 c learnt constraints deletion: 5635 -> 2823 927.99/928.21 c learnt constraints deletion: 5629 -> 2821 930.19/930.40 c learnt constraints deletion: 5620 -> 2816 932.60/932.85 c learnt constraints deletion: 5634 -> 2825 934.80/935.01 c learnt constraints deletion: 5627 -> 2820 937.09/937.34 c learnt constraints deletion: 5626 -> 2819 939.39/939.60 c learnt constraints deletion: 5632 -> 2824 941.69/941.95 c learnt constraints deletion: 5632 -> 2823 943.89/944.15 c learnt constraints deletion: 5629 -> 2819 946.19/946.41 c learnt constraints deletion: 5630 -> 2820 948.28/948.55 c learnt constraints deletion: 5636 -> 2824 950.59/950.83 c learnt constraints deletion: 5625 -> 2819 952.98/953.24 c learnt constraints deletion: 5635 -> 2825 955.18/955.49 c learnt constraints deletion: 5634 -> 2822 957.68/957.92 c learnt constraints deletion: 5632 -> 2821 959.79/960.06 c learnt constraints deletion: 5623 -> 2814 961.99/962.23 c learnt constraints deletion: 5631 -> 2818 964.09/964.32 c learnt constraints deletion: 5631 -> 2819 966.29/966.55 c learnt constraints deletion: 5632 -> 2819 968.59/968.85 c learnt constraints deletion: 5628 -> 2817 970.99/971.25 c learnt constraints deletion: 5635 -> 2823 973.19/973.42 c learnt constraints deletion: 5624 -> 2815 975.58/975.83 c learnt constraints deletion: 5632 -> 2821 977.79/978.04 c learnt constraints deletion: 5634 -> 2820 980.19/980.43 c learnt constraints deletion: 5633 -> 2821 982.48/982.73 c learnt constraints deletion: 5630 -> 2818 984.78/985.00 c learnt constraints deletion: 5633 -> 2821 986.99/987.25 c learnt constraints deletion: 5627 -> 2819 989.28/989.57 c learnt constraints deletion: 5626 -> 2818 991.78/992.08 c learnt constraints deletion: 5632 -> 2821 993.98/994.26 c learnt constraints deletion: 5632 -> 2816 996.08/996.39 c learnt constraints deletion: 5633 -> 2818 998.18/998.49 c learnt constraints deletion: 5632 -> 2818 1000.48/1000.71 c learnt constraints deletion: 5629 -> 2817 1002.68/1002.99 c learnt constraints deletion: 5628 -> 2816 1004.88/1005.13 c learnt constraints deletion: 5633 -> 2821 1007.18/1007.43 c learnt constraints deletion: 5631 -> 2820 1009.49/1009.78 c learnt constraints deletion: 5625 -> 2814 1011.98/1012.22 c learnt constraints deletion: 5600 -> 2802 1013.98/1014.23 c learnt constraints deletion: 5626 -> 2817 1016.08/1016.39 c learnt constraints deletion: 5626 -> 2816 1018.29/1018.60 c learnt constraints deletion: 5616 -> 2812 1020.67/1020.96 c learnt constraints deletion: 5626 -> 2817 1023.17/1023.40 c learnt constraints deletion: 5630 -> 2821 1025.38/1025.64 c learnt constraints deletion: 5628 -> 2816 1027.67/1027.97 c learnt constraints deletion: 5631 -> 2820 1030.07/1030.33 c learnt constraints deletion: 5630 -> 2817 1032.08/1032.37 c learnt constraints deletion: 5626 -> 2816 1034.28/1034.57 c learnt constraints deletion: 5631 -> 2819 1036.57/1036.80 c learnt constraints deletion: 5632 -> 2820 1038.77/1039.06 c learnt constraints deletion: 5634 -> 2821 1041.17/1041.44 c learnt constraints deletion: 5632 -> 2822 1043.37/1043.66 c learnt constraints deletion: 5627 -> 2818 1045.67/1045.94 c learnt constraints deletion: 5630 -> 2819 1047.98/1048.27 c learnt constraints deletion: 5635 -> 2824 1050.37/1050.64 c learnt constraints deletion: 5622 -> 2816 1052.77/1053.05 c learnt constraints deletion: 5633 -> 2821 1055.27/1055.53 c learnt constraints deletion: 5626 -> 2815 1057.37/1057.60 c learnt constraints deletion: 5634 -> 2820 1059.57/1059.82 c learnt constraints deletion: 5630 -> 2819 1061.87/1062.14 c learnt constraints deletion: 5628 -> 2819 1064.17/1064.48 c learnt constraints deletion: 5627 -> 2817 1066.78/1067.02 c learnt constraints deletion: 5632 -> 2820 1069.17/1069.48 c learnt constraints deletion: 5632 -> 2821 1071.67/1071.99 c learnt constraints deletion: 5632 -> 2821 1073.77/1074.06 c learnt constraints deletion: 5630 -> 2816 1075.87/1076.10 c learnt constraints deletion: 5622 -> 2812 1078.07/1078.30 c learnt constraints deletion: 5618 -> 2810 1080.27/1080.56 c learnt constraints deletion: 5623 -> 2813 1082.57/1082.80 c learnt constraints deletion: 5628 -> 2815 1084.86/1085.16 c learnt constraints deletion: 5628 -> 2816 1087.16/1087.40 c learnt constraints deletion: 5631 -> 2817 1089.27/1089.57 c learnt constraints deletion: 5630 -> 2817 1091.67/1091.94 c learnt constraints deletion: 5626 -> 2815 1093.86/1094.13 c learnt constraints deletion: 5622 -> 2812 1096.16/1096.49 c learnt constraints deletion: 5628 -> 2818 1098.46/1098.75 c learnt constraints deletion: 5624 -> 2816 1100.77/1101.07 c learnt constraints deletion: 5628 -> 2816 1103.07/1103.35 c learnt constraints deletion: 5625 -> 2816 1105.36/1105.61 c learnt constraints deletion: 5631 -> 2820 1107.86/1108.16 c learnt constraints deletion: 5629 -> 2821 1109.97/1110.20 c learnt constraints deletion: 5627 -> 2818 1112.56/1112.88 c learnt constraints deletion: 6173 -> 3090 1115.07/1115.34 c learnt constraints deletion: 6170 -> 3089 1117.66/1117.93 c learnt constraints deletion: 6169 -> 3089 1120.26/1120.59 c learnt constraints deletion: 6153 -> 3077 1122.96/1123.28 c learnt constraints deletion: 6178 -> 3093 1125.56/1125.84 c learnt constraints deletion: 6177 -> 3093 1127.86/1128.17 c learnt constraints deletion: 6172 -> 3087 1130.16/1130.42 c learnt constraints deletion: 6179 -> 3091 1132.46/1132.74 c learnt constraints deletion: 6174 -> 3088 1134.96/1135.23 c learnt constraints deletion: 6169 -> 3086 1137.36/1137.60 c learnt constraints deletion: 6172 -> 3089 1139.76/1140.03 c learnt constraints deletion: 6171 -> 3088 1142.26/1142.58 c learnt constraints deletion: 6179 -> 3092 1144.86/1145.18 c learnt constraints deletion: 6175 -> 3092 1147.25/1147.54 c learnt constraints deletion: 6177 -> 3091 1149.76/1150.00 c learnt constraints deletion: 6168 -> 3087 1152.06/1152.36 c learnt constraints deletion: 6171 -> 3090 1154.66/1154.91 c learnt constraints deletion: 6179 -> 3094 1157.15/1157.45 c learnt constraints deletion: 6172 -> 3090 1159.75/1160.01 c learnt constraints deletion: 6172 -> 3090 1162.25/1162.60 c learnt constraints deletion: 6179 -> 3095 1164.85/1165.10 c learnt constraints deletion: 6176 -> 3093 1167.24/1167.57 c learnt constraints deletion: 6170 -> 3088 1169.75/1170.04 c learnt constraints deletion: 6169 -> 3089 1172.35/1172.63 c learnt constraints deletion: 6174 -> 3091 1174.84/1175.14 c learnt constraints deletion: 6167 -> 3088 1177.35/1177.63 c learnt constraints deletion: 6173 -> 3091 1180.24/1180.50 c learnt constraints deletion: 6179 -> 3095 1182.44/1182.73 c learnt constraints deletion: 6175 -> 3091 1184.74/1185.09 c learnt constraints deletion: 6171 -> 3090 1187.24/1187.57 c learnt constraints deletion: 6177 -> 3093 1189.85/1190.15 c learnt constraints deletion: 6170 -> 3089 1192.35/1192.65 c learnt constraints deletion: 6172 -> 3091 1194.94/1195.21 c learnt constraints deletion: 6174 -> 3091 1197.54/1197.86 c learnt constraints deletion: 6177 -> 3093 1200.34/1200.66 c learnt constraints deletion: 6174 -> 3092 1202.74/1203.00 c learnt constraints deletion: 6175 -> 3093 1205.35/1205.62 c learnt constraints deletion: 6177 -> 3094 1207.84/1208.20 c learnt constraints deletion: 6180 -> 3095 1210.63/1210.97 c learnt constraints deletion: 6176 -> 3093 1213.05/1213.36 c learnt constraints deletion: 6173 -> 3087 1215.34/1215.60 c learnt constraints deletion: 6175 -> 3089 1217.53/1217.86 c learnt constraints deletion: 6177 -> 3090 1219.94/1220.27 c learnt constraints deletion: 6179 -> 3091 1222.53/1222.81 c learnt constraints deletion: 6178 -> 3090 1224.94/1225.28 c learnt constraints deletion: 6178 -> 3090 1227.24/1227.51 c learnt constraints deletion: 6175 -> 3091 1229.73/1230.00 c learnt constraints deletion: 6174 -> 3088 1232.14/1232.42 c learnt constraints deletion: 6172 -> 3088 1234.74/1235.00 c learnt constraints deletion: 6167 -> 3088 1237.14/1237.41 c learnt constraints deletion: 6179 -> 3094 1239.53/1239.84 c learnt constraints deletion: 6178 -> 3091 1242.03/1242.36 c learnt constraints deletion: 6179 -> 3094 1244.43/1244.71 c learnt constraints deletion: 6178 -> 3093 1247.04/1247.33 c learnt constraints deletion: 6171 -> 3092 1249.53/1249.80 c learnt constraints deletion: 6174 -> 3089 1252.03/1252.37 c learnt constraints deletion: 6164 -> 3084 1254.53/1254.84 c learnt constraints deletion: 6180 -> 3093 1256.93/1257.22 c learnt constraints deletion: 6172 -> 3090 1259.43/1259.75 c learnt constraints deletion: 6177 -> 3094 1262.13/1262.41 c learnt constraints deletion: 6176 -> 3092 1264.83/1265.15 c learnt constraints deletion: 6177 -> 3095 1267.33/1267.68 c learnt constraints deletion: 6177 -> 3092 1269.93/1270.26 c learnt constraints deletion: 6175 -> 3091 1272.44/1272.78 c learnt constraints deletion: 6174 -> 3090 1275.03/1275.33 c learnt constraints deletion: 6177 -> 3093 1277.73/1278.06 c learnt constraints deletion: 6178 -> 3093 1280.33/1280.68 c learnt constraints deletion: 6174 -> 3089 1283.13/1283.48 c learnt constraints deletion: 6177 -> 3092 1285.73/1286.07 c learnt constraints deletion: 6179 -> 3092 1287.93/1288.27 c learnt constraints deletion: 6174 -> 3090 1290.43/1290.72 c learnt constraints deletion: 6179 -> 3093 1292.93/1293.22 c learnt constraints deletion: 6177 -> 3092 1295.53/1295.88 c learnt constraints deletion: 6176 -> 3092 1298.13/1298.43 c learnt constraints deletion: 6170 -> 3089 1300.82/1301.11 c learnt constraints deletion: 6175 -> 3092 1303.43/1303.74 c learnt constraints deletion: 6168 -> 3089 1306.23/1306.52 c learnt constraints deletion: 6179 -> 3096 1308.63/1309.00 c learnt constraints deletion: 6175 -> 3092 1311.32/1311.68 c learnt constraints deletion: 6171 -> 3091 1313.92/1314.24 c learnt constraints deletion: 6179 -> 3096 1316.72/1317.00 c learnt constraints deletion: 6179 -> 3097 1319.42/1319.71 c learnt constraints deletion: 6179 -> 3090 1321.62/1321.93 c learnt constraints deletion: 6176 -> 3089 1323.82/1324.18 c learnt constraints deletion: 6173 -> 3089 1326.33/1326.64 c learnt constraints deletion: 6175 -> 3089 1328.72/1329.07 c learnt constraints deletion: 6179 -> 3091 1331.22/1331.55 c learnt constraints deletion: 6171 -> 3089 1333.62/1333.93 c learnt constraints deletion: 6176 -> 3089 1336.02/1336.31 c learnt constraints deletion: 6178 -> 3090 1338.62/1338.96 c learnt constraints deletion: 6170 -> 3087 1341.01/1341.35 c learnt constraints deletion: 6176 -> 3092 1343.42/1343.79 c learnt constraints deletion: 6165 -> 3085 1346.12/1346.41 c learnt constraints deletion: 6176 -> 3091 1348.42/1348.74 c learnt constraints deletion: 6169 -> 3088 1351.02/1351.33 c learnt constraints deletion: 6178 -> 3093 1353.52/1353.86 c learnt constraints deletion: 6170 -> 3087 1356.21/1356.50 c learnt constraints deletion: 6178 -> 3092 1358.71/1359.04 c learnt constraints deletion: 6179 -> 3093 1361.32/1361.67 c learnt constraints deletion: 6177 -> 3091 1364.01/1364.37 c learnt constraints deletion: 6178 -> 3092 1366.41/1366.78 c learnt constraints deletion: 6161 -> 3083 1368.91/1369.20 c learnt constraints deletion: 6167 -> 3087 1371.32/1371.66 c learnt constraints deletion: 6178 -> 3093 1373.92/1374.22 c learnt constraints deletion: 6174 -> 3091 1376.52/1376.87 c learnt constraints deletion: 6174 -> 3091 1379.12/1379.47 c learnt constraints deletion: 6174 -> 3092 1381.91/1382.21 c learnt constraints deletion: 6173 -> 3091 1384.41/1384.71 c learnt constraints deletion: 6172 -> 3092 1387.21/1387.50 c learnt constraints deletion: 6181 -> 3097 1389.61/1389.93 c learnt constraints deletion: 6177 -> 3091 1392.11/1392.48 c learnt constraints deletion: 6178 -> 3092 1394.71/1395.01 c learnt constraints deletion: 6173 -> 3091 1397.31/1397.68 c learnt constraints deletion: 6174 -> 3093 1399.81/1400.20 c learnt constraints deletion: 6178 -> 3093 1402.51/1402.88 c learnt constraints deletion: 6177 -> 3095 1405.21/1405.52 c learnt constraints deletion: 6179 -> 3094 1408.01/1408.31 c learnt constraints deletion: 6174 -> 3093 1410.61/1410.98 c learnt constraints deletion: 6175 -> 3092 1413.40/1413.70 c learnt constraints deletion: 6176 -> 3092 1415.60/1415.97 c learnt constraints deletion: 6166 -> 3083 1417.71/1418.08 c learnt constraints deletion: 6179 -> 3091 1419.81/1420.16 c learnt constraints deletion: 6176 -> 3089 1422.11/1422.42 c learnt constraints deletion: 6177 -> 3090 1424.30/1424.68 c learnt constraints deletion: 6168 -> 3087 1426.51/1426.84 c learnt constraints deletion: 6163 -> 3083 1428.70/1429.09 c learnt constraints deletion: 6176 -> 3090 1430.81/1431.18 c learnt constraints deletion: 6178 -> 3092 1432.91/1433.27 c learnt constraints deletion: 6173 -> 3092 1435.11/1435.47 c learnt constraints deletion: 6168 -> 3087 1437.50/1437.83 c learnt constraints deletion: 6170 -> 3090 1439.51/1439.87 c learnt constraints deletion: 6182 -> 3097 1441.81/1442.11 c learnt constraints deletion: 6178 -> 3090 1444.10/1444.44 c learnt constraints deletion: 6177 -> 3091 1446.30/1446.61 c learnt constraints deletion: 6176 -> 3089 1448.70/1449.01 c learnt constraints deletion: 6178 -> 3090 1450.99/1451.35 c learnt constraints deletion: 6171 -> 3087 1453.39/1453.77 c learnt constraints deletion: 6176 -> 3091 1455.60/1455.93 c learnt constraints deletion: 6179 -> 3091 1457.79/1458.16 c learnt constraints deletion: 6176 -> 3090 1459.89/1460.29 c learnt constraints deletion: 6162 -> 3084 1462.39/1462.74 c learnt constraints deletion: 6180 -> 3093 1464.90/1465.25 c learnt constraints deletion: 6178 -> 3091 1467.29/1467.61 c learnt constraints deletion: 6160 -> 3082 1469.59/1469.92 c learnt constraints deletion: 6179 -> 3092 1471.99/1472.37 c learnt constraints deletion: 6169 -> 3086 1474.18/1474.51 c learnt constraints deletion: 6176 -> 3090 1476.49/1476.88 c learnt constraints deletion: 6179 -> 3093 1478.99/1479.34 c learnt constraints deletion: 6176 -> 3090 1481.40/1481.71 c learnt constraints deletion: 6180 -> 3091 1483.78/1484.13 c learnt constraints deletion: 6178 -> 3092 1486.09/1486.41 c learnt constraints deletion: 6176 -> 3091 1488.68/1489.02 c learnt constraints deletion: 6176 -> 3092 1491.08/1491.44 c learnt constraints deletion: 6177 -> 3090 1493.28/1493.67 c learnt constraints deletion: 6173 -> 3089 1495.78/1496.17 c learnt constraints deletion: 6180 -> 3093 1498.39/1498.71 c learnt constraints deletion: 6177 -> 3092 1500.89/1501.20 c learnt constraints deletion: 6171 -> 3087 1503.39/1503.76 c learnt constraints deletion: 6171 -> 3087 1506.08/1506.40 c learnt constraints deletion: 6173 -> 3089 1508.48/1508.85 c learnt constraints deletion: 6179 -> 3092 1511.09/1511.40 c learnt constraints deletion: 6180 -> 3094 1513.49/1513.83 c learnt constraints deletion: 6176 -> 3089 1516.08/1516.45 c learnt constraints deletion: 6179 -> 3093 1518.58/1518.96 c learnt constraints deletion: 6175 -> 3091 1521.18/1521.53 c learnt constraints deletion: 6173 -> 3091 1523.88/1524.20 c learnt constraints deletion: 6174 -> 3092 1526.18/1526.59 c learnt constraints deletion: 6177 -> 3091 1528.58/1528.98 c learnt constraints deletion: 6173 -> 3090 1530.98/1531.38 c learnt constraints deletion: 6175 -> 3091 1533.78/1534.14 c learnt constraints deletion: 6176 -> 3093 1536.18/1536.53 c learnt constraints deletion: 6175 -> 3091 1538.68/1539.10 c learnt constraints deletion: 6178 -> 3092 1541.47/1541.86 c learnt constraints deletion: 6179 -> 3095 1543.98/1544.36 c learnt constraints deletion: 6174 -> 3090 1546.48/1546.86 c learnt constraints deletion: 6179 -> 3093 1549.18/1549.56 c learnt constraints deletion: 6177 -> 3094 1551.79/1552.16 c learnt constraints deletion: 6180 -> 3094 1554.18/1554.55 c learnt constraints deletion: 6180 -> 3093 1556.67/1557.03 c learnt constraints deletion: 6179 -> 3094 1559.17/1559.59 c learnt constraints deletion: 6180 -> 3095 1561.77/1562.10 c learnt constraints deletion: 6172 -> 3091 1564.48/1564.89 c learnt constraints deletion: 6178 -> 3096 1567.08/1567.43 c learnt constraints deletion: 6176 -> 3092 1569.48/1569.85 c learnt constraints deletion: 6167 -> 3085 1571.97/1572.35 c learnt constraints deletion: 6176 -> 3091 1574.37/1574.73 c learnt constraints deletion: 6180 -> 3093 1577.07/1577.43 c learnt constraints deletion: 6178 -> 3092 1579.67/1580.03 c learnt constraints deletion: 6176 -> 3091 1582.27/1582.66 c learnt constraints deletion: 6165 -> 3086 1584.98/1585.33 c learnt constraints deletion: 6176 -> 3091 1587.57/1587.93 c learnt constraints deletion: 6174 -> 3089 1590.17/1590.60 c learnt constraints deletion: 6173 -> 3090 1592.87/1593.25 c learnt constraints deletion: 6162 -> 3084 1595.56/1595.99 c learnt constraints deletion: 6167 -> 3086 1598.16/1598.51 c learnt constraints deletion: 6168 -> 3085 1600.47/1600.89 c learnt constraints deletion: 6179 -> 3093 1602.86/1603.27 c learnt constraints deletion: 6177 -> 3091 1605.46/1605.80 c learnt constraints deletion: 6175 -> 3091 1607.96/1608.39 c learnt constraints deletion: 6173 -> 3090 1610.46/1610.89 c learnt constraints deletion: 6171 -> 3091 1613.07/1613.46 c learnt constraints deletion: 6174 -> 3090 1615.67/1616.02 c learnt constraints deletion: 6181 -> 3096 1618.17/1618.59 c learnt constraints deletion: 6175 -> 3094 1620.87/1621.28 c learnt constraints deletion: 6179 -> 3095 1623.67/1624.01 c learnt constraints deletion: 6177 -> 3092 1626.27/1626.60 c learnt constraints deletion: 6177 -> 3093 1628.77/1629.16 c learnt constraints deletion: 6178 -> 3094 1631.46/1631.85 c learnt constraints deletion: 6179 -> 3095 1634.17/1634.54 c learnt constraints deletion: 6180 -> 3096 1636.76/1637.17 c learnt constraints deletion: 6179 -> 3093 1639.46/1639.82 c learnt constraints deletion: 6173 -> 3091 1641.97/1642.39 c learnt constraints deletion: 6173 -> 3092 1644.66/1645.09 c learnt constraints deletion: 6174 -> 3092 1647.47/1647.84 c learnt constraints deletion: 6182 -> 3096 1650.16/1650.59 c learnt constraints deletion: 6171 -> 3093 1652.76/1653.11 c learnt constraints deletion: 6181 -> 3098 1655.46/1655.86 c learnt constraints deletion: 6178 -> 3096 1658.26/1658.70 c learnt constraints deletion: 6173 -> 3096 1660.76/1661.12 c learnt constraints deletion: 6177 -> 3090 1663.06/1663.46 c learnt constraints deletion: 6176 -> 3090 1665.36/1665.75 c learnt constraints deletion: 6176 -> 3092 1667.96/1668.33 c learnt constraints deletion: 6172 -> 3088 1670.46/1670.82 c learnt constraints deletion: 6179 -> 3093 1672.85/1673.28 c learnt constraints deletion: 6179 -> 3095 1675.26/1675.63 c learnt constraints deletion: 6174 -> 3092 1677.86/1678.27 c learnt constraints deletion: 6167 -> 3087 1680.15/1680.56 c learnt constraints deletion: 6172 -> 3090 1682.76/1683.16 c learnt constraints deletion: 6181 -> 3096 1685.26/1685.66 c learnt constraints deletion: 6178 -> 3094 1687.86/1688.27 c learnt constraints deletion: 6175 -> 3091 1690.65/1691.01 c learnt constraints deletion: 6174 -> 3092 1693.06/1693.44 c learnt constraints deletion: 6170 -> 3090 1695.66/1696.04 c learnt constraints deletion: 6179 -> 3095 1698.16/1698.53 c learnt constraints deletion: 6171 -> 3089 1700.65/1701.08 c learnt constraints deletion: 6178 -> 3093 1703.16/1703.54 c learnt constraints deletion: 6170 -> 3090 1705.76/1706.18 c learnt constraints deletion: 6175 -> 3095 1708.45/1708.86 c learnt constraints deletion: 6173 -> 3093 1711.05/1711.45 c learnt constraints deletion: 6177 -> 3092 1713.66/1714.07 c learnt constraints deletion: 6180 -> 3095 1716.15/1716.58 c learnt constraints deletion: 6174 -> 3091 1719.45/1719.80 c learnt constraints deletion: 6781 -> 3396 1722.55/1722.91 c learnt constraints deletion: 6775 -> 3391 1725.56/1725.98 c learnt constraints deletion: 6774 -> 3392 1728.35/1728.79 c learnt constraints deletion: 6777 -> 3392 1731.06/1731.47 c learnt constraints deletion: 6772 -> 3386 1733.55/1733.92 c learnt constraints deletion: 6780 -> 3392 1735.94/1736.39 c learnt constraints deletion: 6774 -> 3388 1738.65/1739.02 c learnt constraints deletion: 6762 -> 3383 1741.15/1741.59 c learnt constraints deletion: 6758 -> 3381 1743.75/1744.14 c learnt constraints deletion: 6778 -> 3393 1746.55/1746.93 c learnt constraints deletion: 6779 -> 3392 1749.35/1749.78 c learnt constraints deletion: 6776 -> 3392 1751.85/1752.22 c learnt constraints deletion: 6778 -> 3391 1754.64/1755.06 c learnt constraints deletion: 6777 -> 3393 1757.24/1757.65 c learnt constraints deletion: 6775 -> 3392 1760.14/1760.54 c learnt constraints deletion: 6777 -> 3390 1762.74/1763.20 c learnt constraints deletion: 6769 -> 3385 1765.54/1765.96 c learnt constraints deletion: 6777 -> 3390 1768.14/1768.58 c learnt constraints deletion: 6778 -> 3391 1770.94/1771.36 c learnt constraints deletion: 6774 -> 3390 1773.54/1773.90 c learnt constraints deletion: 6776 -> 3388 1775.93/1776.34 c learnt constraints deletion: 6777 -> 3390 1778.54/1778.96 c learnt constraints deletion: 6775 -> 3390 1781.04/1781.43 c learnt constraints deletion: 6778 -> 3391 1783.74/1784.12 c learnt constraints deletion: 6777 -> 3391 1786.33/1786.70 c learnt constraints deletion: 6776 -> 3392 1788.84/1789.26 c learnt constraints deletion: 6778 -> 3391 1791.54/1791.92 c learnt constraints deletion: 6768 -> 3388 1794.03/1794.45 c learnt constraints deletion: 6779 -> 3394 1796.84/1797.23 c learnt constraints deletion: 6774 -> 3393 1799.43/1799.88 c learnt constraints deletion: 6769 -> 3387
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-3725527-1338642635/watcher-3725527-1338642635 -o /tmp/evaluation-result-3725527-1338642635/solver-3725527-1338642635 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725527-1338642635.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.00 2.00 3/175 1909 /proc/meminfo: memFree=25930748/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=7248 CPUtime=0 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 839 0 0 0 0 0 0 0 20 0 1 0 330388986 7421952 759 33554432000 4194304 8989770 140734475883440 140736685890680 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 1812 759 429 1171 0 589 0 [startup+0.0121229 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1909 /proc/meminfo: memFree=25930748/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=7248 CPUtime=0 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 330388986 7421952 887 33554432000 4194304 8989770 140734475883440 140736685890680 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 1812 887 429 1171 0 589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7248 [startup+0.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1909 /proc/meminfo: memFree=25930748/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=8272 CPUtime=0.09 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 1388 0 0 0 9 0 0 0 20 0 1 0 330388986 8470528 1308 33554432000 4194304 8989770 140734475883440 140736685890680 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 2068 1308 470 1171 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8272 [startup+0.300242 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1909 /proc/meminfo: memFree=25930748/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=11344 CPUtime=0.29 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 2034 0 0 0 29 0 0 0 20 0 1 0 330388986 11616256 1954 33554432000 4194304 8989770 140734475883440 140736685890680 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 2836 1954 470 1171 0 1613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11344 [startup+0.700267 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1909 /proc/meminfo: memFree=25930748/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=14416 CPUtime=0.69 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 2930 0 0 0 69 0 0 0 20 0 1 0 330388986 14761984 2850 33554432000 4194304 8989770 140734475883440 140736685890680 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 3604 2850 472 1171 0 2381 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14416 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1910 /proc/meminfo: memFree=25920928/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=16464 CPUtime=1.49 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 3442 0 0 0 148 1 0 0 20 0 1 0 330388986 16859136 3362 33554432000 4194304 8989770 140734475883440 140734475882704 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 4116 3362 472 1171 0 2893 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16464 [startup+3.10025 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1910 /proc/meminfo: memFree=25918556/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=17488 CPUtime=3.09 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 3698 0 0 0 307 2 0 0 20 0 1 0 330388986 17907712 3618 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 4372 3618 472 1171 0 3149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17488 [startup+6.30027 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1910 /proc/meminfo: memFree=25913596/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=20560 CPUtime=6.29 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 4466 0 0 0 626 3 0 0 20 0 1 0 330388986 21053440 4386 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 5140 4386 472 1171 0 3917 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20560 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1910 /proc/meminfo: memFree=25908940/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=24656 CPUtime=12.68 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 5496 0 0 0 1263 5 0 0 20 0 1 0 330388986 25247744 5415 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 6164 5415 472 1171 0 4941 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24656 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/176 1910 /proc/meminfo: memFree=25907084/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=25680 CPUtime=25.48 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 5754 0 0 0 2537 11 0 0 20 0 1 0 330388986 26296320 5671 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 6420 5671 472 1171 0 5197 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25680 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1910 /proc/meminfo: memFree=25906292/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=26704 CPUtime=51.08 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 9850 0 0 0 5083 25 0 0 20 0 1 0 330388986 27344896 5927 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 6676 5927 472 1171 0 5453 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26704 [startup+102.306 s] /proc/loadavg: 2.05 2.01 2.00 3/175 1911 /proc/meminfo: memFree=25901208/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=29776 CPUtime=102.27 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 18042 0 0 0 10178 49 0 0 20 0 1 0 330388986 30490624 6695 33554432000 4194304 8989770 140734475883440 140734475882704 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 7444 6695 472 1171 0 6221 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29776 [startup+162.3 s] /proc/loadavg: 2.08 2.02 2.00 3/175 1911 /proc/meminfo: memFree=25897896/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=33872 CPUtime=162.24 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 29314 0 0 0 16146 78 0 0 20 0 1 0 330388986 34684928 7719 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 8468 7719 472 1171 0 7245 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33872 [startup+222.3 s] /proc/loadavg: 2.03 2.02 2.00 3/175 1911 /proc/meminfo: memFree=25897536/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=33872 CPUtime=222.23 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 38018 0 0 0 22115 108 0 0 20 0 1 0 330388986 34684928 7719 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 8468 7719 472 1171 0 7245 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33872 [startup+282.3 s] /proc/loadavg: 2.12 2.04 2.01 3/175 1911 /proc/meminfo: memFree=25897280/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=33872 CPUtime=282.22 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 48516 0 0 0 28086 136 0 0 20 0 1 0 330388986 34684928 7719 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 8468 7719 472 1171 0 7245 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 33872 [startup+342.3 s] /proc/loadavg: 2.32 2.10 2.02 3/175 1911 /proc/meminfo: memFree=25892812/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=33872 CPUtime=342.21 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 56970 0 0 0 34056 165 0 0 20 0 1 0 330388986 34684928 7719 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 8468 7719 472 1171 0 7245 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 33872 [startup+402.3 s] /proc/loadavg: 2.26 2.11 2.03 3/175 1912 /proc/meminfo: memFree=25891016/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=35920 CPUtime=402.2 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 69002 0 0 0 40022 198 0 0 20 0 1 0 330388986 36782080 8231 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 8980 8231 472 1171 0 7757 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 35920 [startup+462.3 s] /proc/loadavg: 2.10 2.09 2.02 3/175 1951 /proc/meminfo: memFree=26015852/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=37968 CPUtime=462.18 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 84882 0 0 0 45993 225 0 0 20 0 1 0 330388986 38879232 8743 33554432000 4194304 8989770 140734475883440 140734475882704 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 9492 8743 472 1171 0 8269 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 37968 [startup+522.3 s] /proc/loadavg: 2.10 2.08 2.02 3/175 1951 /proc/meminfo: memFree=25972612/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=42064 CPUtime=522.18 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 98706 0 0 0 51963 255 0 0 20 0 1 0 330388986 43073536 9767 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 10516 9767 472 1171 0 9293 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 42064 [startup+582.3 s] /proc/loadavg: 2.04 2.07 2.02 3/176 1954 /proc/meminfo: memFree=25932776/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=38992 CPUtime=582.16 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 113565 0 0 0 57933 283 0 0 20 0 1 0 330388986 39927808 8999 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 9748 8999 472 1171 0 8525 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 38992 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.00 3/175 1955 /proc/meminfo: memFree=25814020/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=46160 CPUtime=822.11 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 174755 0 0 0 81808 403 0 0 20 0 1 0 330388986 47267840 10791 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 11540 10791 472 1171 0 10317 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 46160 [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/174 1955 /proc/meminfo: memFree=25793072/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=44112 CPUtime=882.1 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 188323 0 0 0 87775 435 0 0 20 0 1 0 330388986 45170688 10279 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 11028 10279 472 1171 0 9805 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 44112 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 1956 /proc/meminfo: memFree=25774104/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=50256 CPUtime=942.09 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 202922 0 0 0 93742 467 0 0 20 0 1 0 330388986 51462144 11815 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 12564 11815 472 1171 0 11341 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 50256 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 1957 /proc/meminfo: memFree=25766796/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=42064 CPUtime=1002.07 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 217258 0 0 0 99713 494 0 0 20 0 1 0 330388986 43073536 9767 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 10516 9767 472 1171 0 9293 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 42064 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1957 /proc/meminfo: memFree=25757248/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=37968 CPUtime=1062.07 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 229546 0 0 0 105683 524 0 0 20 0 1 0 330388986 38879232 8743 33554432000 4194304 8989770 140734475883440 140734475882936 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 9492 8743 472 1171 0 8269 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 37968 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1957 /proc/meminfo: memFree=25733856/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=46160 CPUtime=1122.06 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 242858 0 0 0 111651 555 0 0 20 0 1 0 330388986 47267840 10791 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 11540 10791 472 1171 0 10317 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 46160 [startup+1182.3 s] /proc/loadavg: 2.19 2.05 2.01 3/176 1960 /proc/meminfo: memFree=25725176/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=42064 CPUtime=1182.05 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 257459 0 0 0 117623 582 0 0 20 0 1 0 330388986 43073536 9767 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 10516 9767 472 1171 0 9293 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 42064 [startup+1242.3 s] /proc/loadavg: 2.07 2.04 2.01 3/175 1960 /proc/meminfo: memFree=25707456/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=50256 CPUtime=1242.03 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 274100 0 0 0 123586 617 0 0 20 0 1 0 330388986 51462144 11816 33554432000 4194304 8989770 140734475883440 140734475882936 4213698 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 12564 11816 472 1171 0 11341 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 50256 [startup+1302.3 s] /proc/loadavg: 2.02 2.03 2.00 3/175 1961 /proc/meminfo: memFree=25692576/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=42064 CPUtime=1302.03 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 292532 0 0 0 129556 647 0 0 20 0 1 0 330388986 43073536 9768 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 10516 9768 472 1171 0 9293 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 42064 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.00 3/175 1961 /proc/meminfo: memFree=25680176/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=41040 CPUtime=1362.01 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 307380 0 0 0 135522 679 0 0 20 0 1 0 330388986 42024960 9512 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 10260 9512 472 1171 0 9037 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 41040 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/176 1962 /proc/meminfo: memFree=25661640/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=46160 CPUtime=1422.01 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 323508 0 0 0 141493 708 0 0 20 0 1 0 330388986 47267840 10792 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 11540 10792 472 1171 0 10317 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 46160 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/175 1962 /proc/meminfo: memFree=25652368/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=46160 CPUtime=1481.99 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 342975 0 0 0 147464 735 0 0 20 0 1 0 330388986 47267840 10792 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 11540 10792 472 1171 0 10317 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 46160 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 1962 /proc/meminfo: memFree=25642708/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=46160 CPUtime=1541.97 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 361407 0 0 0 153431 766 0 0 20 0 1 0 330388986 47267840 10792 33554432000 4194304 8989770 140734475883440 140734475882704 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 11540 10792 472 1171 0 10317 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 46160 [startup+1602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/175 1963 /proc/meminfo: memFree=25635268/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=42064 CPUtime=1601.97 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 375999 0 0 0 159399 798 0 0 20 0 1 0 330388986 43073536 9768 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 10516 9768 472 1171 0 9293 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 42064 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/175 1963 /proc/meminfo: memFree=25619024/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=46160 CPUtime=1661.96 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 384959 0 0 0 165372 824 0 0 20 0 1 0 330388986 47267840 10792 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 11540 10792 472 1171 0 10317 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 46160 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/175 1963 /proc/meminfo: memFree=25611832/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=51280 CPUtime=1721.95 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 396223 0 0 0 171342 853 0 0 20 0 1 0 330388986 52510720 12072 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 12820 12072 472 1171 0 11597 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 51280 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/176 1966 /proc/meminfo: memFree=25602196/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=48208 CPUtime=1781.94 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 406980 0 0 0 177314 880 0 0 20 0 1 0 330388986 49364992 11304 33554432000 4194304 8989770 140734475883440 140734475882936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 12052 11304 472 1171 0 10829 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 48208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.05 2.01 2.00 3/176 1966 /proc/meminfo: memFree=25595792/32873852 swapFree=6856/6856 [pid=1909] ppid=1907 vsize=50256 CPUtime=1800.04 cores=0,2,4,6 /proc/1909/stat : 1909 (toysat) R 1907 1909 909 0 -1 4202496 409541 0 0 0 179118 886 0 0 20 0 1 0 330388986 51462144 11816 33554432000 4194304 8989770 140734475883440 140734475882936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1909/statm: 12564 11816 472 1171 0 11341 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 50256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.05 CPU user time (s): 1791.18 CPU system time (s): 8.86665 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 58448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.18 system time used= 8.86665 maximum resident set size= 55456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409541 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= 85 involuntary context switches= 1845 runsolver used 3.15252 second user time and 8.44272 second system time The end
Begin job on node129 at 2012-06-02 15:10:35 IDJOB=3725527 IDBENCH=89835 IDSOLVER=2308 FILE ID=node129/3725527-1338642635 RUNJOBID= node129-1338631508-925 PBS_JOBID= 14636451 Free space on /tmp= 70488 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725527-1338642635/watcher-3725527-1338642635 -o /tmp/evaluation-result-3725527-1338642635/solver-3725527-1338642635 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725527-1338642635.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb6edae9b271ecf76d3d6c31c88b027d RANDOM SEED=711738673 node129.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.957 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.91 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.957 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.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 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.957 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.92 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.957 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.90 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.957 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 25931104 kB Buffers: 446780 kB Cached: 5411560 kB SwapCached: 0 kB Active: 2643380 kB Inactive: 3423148 kB Active(anon): 199768 kB Inactive(anon): 10760 kB Active(file): 2443612 kB Inactive(file): 3412388 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7392 kB Writeback: 0 kB AnonPages: 216632 kB Mapped: 16136 kB Shmem: 204 kB Slab: 737696 kB SReclaimable: 180228 kB SUnreclaim: 557468 kB KernelStack: 1456 kB PageTables: 4492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 322636 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 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= 70480 MiB End job on node129 at 2012-06-02 15:40:38