Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.1 | 1800.71 |
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-05-27T21:44:38+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 = ["--pb","HOME/instance-3707154-1338147878.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.04 c solving time = 0.001s 0.00/0.04 c #decision = 55 0.00/0.04 c #conflict = 2 0.00/0.04 c #restart = 0 0.00/0.04 o 172 0.00/0.04 c Solving starts ... 0.00/0.06 c solving time = 0.021s 0.00/0.06 c #decision = 148 0.00/0.06 c #conflict = 56 0.00/0.06 c #restart = 0 0.00/0.06 o 171 0.00/0.06 c Solving starts ... 0.49/0.54 c learnt constraints deletion: 1236 -> 619 0.79/0.89 c learnt constraints deletion: 1352 -> 684 1.18/1.29 c learnt constraints deletion: 1477 -> 741 1.69/1.76 c learnt constraints deletion: 1607 -> 805 2.20/2.21 c learnt constraints deletion: 1600 -> 804 2.69/2.74 c learnt constraints deletion: 1741 -> 872 3.19/3.21 c learnt constraints deletion: 1740 -> 871 3.59/3.68 c learnt constraints deletion: 1754 -> 879 4.18/4.28 c learnt constraints deletion: 1899 -> 950 4.79/4.82 c learnt constraints deletion: 1902 -> 951 5.29/5.36 c learnt constraints deletion: 1910 -> 957 5.88/5.95 c learnt constraints deletion: 1909 -> 956 6.60/6.64 c learnt constraints deletion: 2082 -> 1041 7.18/7.26 c learnt constraints deletion: 2078 -> 1041 7.89/7.92 c learnt constraints deletion: 2076 -> 1042 8.59/8.60 c learnt constraints deletion: 2078 -> 1039 9.18/9.29 c learnt constraints deletion: 2083 -> 1042 9.99/10.06 c learnt constraints deletion: 2266 -> 1134 10.78/10.81 c learnt constraints deletion: 2275 -> 1139 11.49/11.58 c learnt constraints deletion: 2277 -> 1139 12.19/12.28 c learnt constraints deletion: 2269 -> 1136 12.98/13.03 c learnt constraints deletion: 2274 -> 1141 13.79/13.80 c learnt constraints deletion: 2272 -> 1140 14.49/14.57 c learnt constraints deletion: 2278 -> 1143 15.18/15.25 c learnt constraints deletion: 2269 -> 1136 15.98/16.05 c learnt constraints deletion: 2480 -> 1240 16.78/16.80 c learnt constraints deletion: 2486 -> 1244 17.49/17.57 c learnt constraints deletion: 2487 -> 1246 18.29/18.31 c learnt constraints deletion: 2483 -> 1246 19.08/19.14 c learnt constraints deletion: 2484 -> 1246 19.79/19.88 c learnt constraints deletion: 2479 -> 1242 20.59/20.66 c learnt constraints deletion: 2488 -> 1246 21.38/21.47 c learnt constraints deletion: 2482 -> 1242 22.18/22.22 c learnt constraints deletion: 2475 -> 1240 22.99/23.01 c learnt constraints deletion: 2486 -> 1247 23.88/23.94 c learnt constraints deletion: 2722 -> 1363 24.68/24.79 c learnt constraints deletion: 2714 -> 1358 25.48/25.59 c learnt constraints deletion: 2720 -> 1363 26.39/26.46 c learnt constraints deletion: 2717 -> 1363 27.28/27.35 c learnt constraints deletion: 2718 -> 1362 28.18/28.24 c learnt constraints deletion: 2718 -> 1362 29.08/29.16 c learnt constraints deletion: 2710 -> 1355 29.88/29.92 c learnt constraints deletion: 2719 -> 1362 30.68/30.74 c learnt constraints deletion: 2717 -> 1361 31.48/31.57 c learnt constraints deletion: 2719 -> 1363 32.38/32.43 c learnt constraints deletion: 2714 -> 1362 33.17/33.27 c learnt constraints deletion: 2713 -> 1359 34.09/34.15 c learnt constraints deletion: 2717 -> 1363 34.97/35.02 c learnt constraints deletion: 2719 -> 1363 36.07/36.10 c learnt constraints deletion: 2957 -> 1479 36.97/37.05 c learnt constraints deletion: 2975 -> 1489 37.98/38.05 c learnt constraints deletion: 2973 -> 1489 38.97/39.05 c learnt constraints deletion: 2974 -> 1491 39.97/40.01 c learnt constraints deletion: 2967 -> 1484 40.87/40.93 c learnt constraints deletion: 2974 -> 1488 41.78/41.86 c learnt constraints deletion: 2975 -> 1489 42.68/42.79 c learnt constraints deletion: 2975 -> 1492 43.77/43.83 c learnt constraints deletion: 2972 -> 1488 44.67/44.75 c learnt constraints deletion: 2966 -> 1485 45.67/45.70 c learnt constraints deletion: 2973 -> 1491 46.57/46.69 c learnt constraints deletion: 2973 -> 1489 47.67/47.70 c learnt constraints deletion: 2976 -> 1492 48.57/48.65 c learnt constraints deletion: 2966 -> 1483 49.56/49.62 c learnt constraints deletion: 2967 -> 1486 50.47/50.59 c learnt constraints deletion: 2975 -> 1492 51.58/51.62 c learnt constraints deletion: 2973 -> 1489 52.47/52.59 c learnt constraints deletion: 2969 -> 1485 53.37/53.45 c learnt constraints deletion: 2973 -> 1488 54.27/54.31 c learnt constraints deletion: 2970 -> 1488 55.26/55.35 c learnt constraints deletion: 3249 -> 1625 56.27/56.36 c learnt constraints deletion: 3251 -> 1628 57.27/57.35 c learnt constraints deletion: 3252 -> 1627 58.36/58.40 c learnt constraints deletion: 3254 -> 1629 59.27/59.37 c learnt constraints deletion: 3235 -> 1619 60.27/60.40 c learnt constraints deletion: 3246 -> 1625 61.36/61.43 c learnt constraints deletion: 3252 -> 1626 62.37/62.40 c learnt constraints deletion: 3246 -> 1624 63.27/63.39 c learnt constraints deletion: 3251 -> 1629 64.36/64.43 c learnt constraints deletion: 3254 -> 1629 65.37/65.44 c learnt constraints deletion: 3252 -> 1628 66.47/66.51 c learnt constraints deletion: 3253 -> 1631 67.47/67.53 c learnt constraints deletion: 3247 -> 1628 68.56/68.67 c learnt constraints deletion: 3254 -> 1632 69.56/69.63 c learnt constraints deletion: 3252 -> 1627 70.56/70.65 c learnt constraints deletion: 3249 -> 1627 71.67/71.71 c learnt constraints deletion: 3253 -> 1631 72.76/72.80 c learnt constraints deletion: 3253 -> 1629 73.76/73.80 c learnt constraints deletion: 3252 -> 1628 74.77/74.85 c learnt constraints deletion: 3254 -> 1628 75.87/75.95 c learnt constraints deletion: 3256 -> 1630 76.97/77.05 c learnt constraints deletion: 3251 -> 1628 77.96/78.09 c learnt constraints deletion: 3250 -> 1629 79.06/79.19 c learnt constraints deletion: 3251 -> 1626 80.06/80.11 c learnt constraints deletion: 3251 -> 1627 81.05/81.10 c learnt constraints deletion: 3256 -> 1630 82.16/82.26 c learnt constraints deletion: 3556 -> 1781 83.26/83.37 c learnt constraints deletion: 3555 -> 1779 84.36/84.47 c learnt constraints deletion: 3558 -> 1779 85.46/85.58 c learnt constraints deletion: 3551 -> 1777 86.55/86.69 c learnt constraints deletion: 3560 -> 1780 87.76/87.85 c learnt constraints deletion: 3558 -> 1781 88.86/88.99 c learnt constraints deletion: 3562 -> 1781 90.06/90.13 c learnt constraints deletion: 3560 -> 1780 91.26/91.32 c learnt constraints deletion: 3562 -> 1783 92.37/92.48 c learnt constraints deletion: 3562 -> 1781 93.55/93.68 c learnt constraints deletion: 3558 -> 1780 94.76/94.87 c learnt constraints deletion: 3557 -> 1779 95.85/95.95 c learnt constraints deletion: 3556 -> 1779 96.96/97.09 c learnt constraints deletion: 3562 -> 1783 98.16/98.27 c learnt constraints deletion: 3562 -> 1783 99.35/99.48 c learnt constraints deletion: 3558 -> 1783 100.65/100.70 c learnt constraints deletion: 3553 -> 1779 101.86/101.92 c learnt constraints deletion: 3552 -> 1780 102.95/103.06 c learnt constraints deletion: 3553 -> 1778 104.16/104.25 c learnt constraints deletion: 3559 -> 1782 105.35/105.46 c learnt constraints deletion: 3561 -> 1783 106.56/106.68 c learnt constraints deletion: 3545 -> 1776 107.76/107.86 c learnt constraints deletion: 3557 -> 1779 108.96/109.06 c learnt constraints deletion: 3557 -> 1781 110.15/110.24 c learnt constraints deletion: 3556 -> 1780 111.35/111.44 c learnt constraints deletion: 3563 -> 1784 112.55/112.66 c learnt constraints deletion: 3552 -> 1780 113.75/113.85 c learnt constraints deletion: 3561 -> 1784 115.05/115.10 c learnt constraints deletion: 3564 -> 1786 116.25/116.38 c learnt constraints deletion: 3554 -> 1777 117.56/117.63 c learnt constraints deletion: 3557 -> 1781 118.85/118.90 c learnt constraints deletion: 3550 -> 1775 119.95/120.05 c learnt constraints deletion: 3546 -> 1774 121.15/121.22 c learnt constraints deletion: 3559 -> 1782 122.34/122.47 c learnt constraints deletion: 3558 -> 1781 123.64/123.73 c learnt constraints deletion: 3558 -> 1781 124.85/124.95 c learnt constraints deletion: 3561 -> 1783 126.36/126.50 c learnt constraints deletion: 3901 -> 1955 127.64/127.72 c learnt constraints deletion: 3901 -> 1953 128.95/129.02 c learnt constraints deletion: 3902 -> 1953 130.24/130.33 c learnt constraints deletion: 3897 -> 1951 131.55/131.66 c learnt constraints deletion: 3897 -> 1950 132.96/133.06 c learnt constraints deletion: 3900 -> 1951 134.35/134.45 c learnt constraints deletion: 3890 -> 1946 135.75/135.86 c learnt constraints deletion: 3898 -> 1952 137.05/137.15 c learnt constraints deletion: 3898 -> 1950 138.34/138.50 c learnt constraints deletion: 3891 -> 1948 139.74/139.85 c learnt constraints deletion: 3902 -> 1955 141.15/141.20 c learnt constraints deletion: 3892 -> 1948 142.55/142.62 c learnt constraints deletion: 3902 -> 1955 143.84/143.97 c learnt constraints deletion: 3900 -> 1953 145.24/145.36 c learnt constraints deletion: 3901 -> 1953 146.64/146.70 c learnt constraints deletion: 3896 -> 1951 147.95/148.08 c learnt constraints deletion: 3894 -> 1951 149.45/149.53 c learnt constraints deletion: 3898 -> 1954 150.85/150.96 c learnt constraints deletion: 3894 -> 1952 152.34/152.44 c learnt constraints deletion: 3901 -> 1957 153.64/153.78 c learnt constraints deletion: 3901 -> 1951 155.05/155.13 c learnt constraints deletion: 3901 -> 1952 156.34/156.48 c learnt constraints deletion: 3899 -> 1952 157.74/157.89 c learnt constraints deletion: 3893 -> 1950 159.24/159.38 c learnt constraints deletion: 3903 -> 1954 160.64/160.73 c learnt constraints deletion: 3900 -> 1953 162.04/162.16 c learnt constraints deletion: 3901 -> 1955 163.45/163.59 c learnt constraints deletion: 3896 -> 1948 164.95/165.02 c learnt constraints deletion: 3892 -> 1948 166.34/166.46 c learnt constraints deletion: 3897 -> 1951 167.74/167.87 c learnt constraints deletion: 3900 -> 1950 169.04/169.19 c learnt constraints deletion: 3903 -> 1953 170.34/170.44 c learnt constraints deletion: 3894 -> 1950 171.74/171.84 c learnt constraints deletion: 3900 -> 1952 173.13/173.24 c learnt constraints deletion: 3901 -> 1953 174.44/174.58 c learnt constraints deletion: 3901 -> 1955 175.73/175.89 c learnt constraints deletion: 3894 -> 1951 177.23/177.30 c learnt constraints deletion: 3904 -> 1956 178.63/178.76 c learnt constraints deletion: 3899 -> 1952 180.13/180.20 c learnt constraints deletion: 3894 -> 1949 181.53/181.61 c learnt constraints deletion: 3902 -> 1953 182.92/183.00 c learnt constraints deletion: 3899 -> 1954 184.33/184.41 c learnt constraints deletion: 3903 -> 1956 185.83/185.91 c learnt constraints deletion: 3900 -> 1954 187.33/187.41 c learnt constraints deletion: 3904 -> 1958 188.73/188.81 c learnt constraints deletion: 3903 -> 1954 190.02/190.18 c learnt constraints deletion: 3896 -> 1951 191.53/191.66 c learnt constraints deletion: 3888 -> 1947 193.03/193.14 c learnt constraints deletion: 3899 -> 1953 194.43/194.58 c learnt constraints deletion: 3898 -> 1949 196.02/196.15 c learnt constraints deletion: 4264 -> 2134 197.53/197.60 c learnt constraints deletion: 4274 -> 2137 198.93/199.01 c learnt constraints deletion: 4268 -> 2136 200.42/200.52 c learnt constraints deletion: 4272 -> 2138 201.82/201.97 c learnt constraints deletion: 4267 -> 2135 203.33/203.48 c learnt constraints deletion: 4272 -> 2138 204.83/204.96 c learnt constraints deletion: 4273 -> 2137 206.23/206.30 c learnt constraints deletion: 4275 -> 2140 207.62/207.76 c learnt constraints deletion: 4274 -> 2139 209.13/209.28 c learnt constraints deletion: 4274 -> 2139 210.73/210.86 c learnt constraints deletion: 4275 -> 2140 212.23/212.36 c learnt constraints deletion: 4266 -> 2133 213.83/213.91 c learnt constraints deletion: 4269 -> 2137 215.22/215.38 c learnt constraints deletion: 4272 -> 2138 216.93/217.03 c learnt constraints deletion: 4274 -> 2139 218.43/218.53 c learnt constraints deletion: 4276 -> 2138 219.83/219.92 c learnt constraints deletion: 4268 -> 2135 221.22/221.38 c learnt constraints deletion: 4273 -> 2138 222.72/222.83 c learnt constraints deletion: 4273 -> 2139 224.23/224.31 c learnt constraints deletion: 4274 -> 2139 225.72/225.84 c learnt constraints deletion: 4271 -> 2140 227.21/227.39 c learnt constraints deletion: 4271 -> 2140 228.72/228.89 c learnt constraints deletion: 4274 -> 2140 230.32/230.45 c learnt constraints deletion: 4276 -> 2140 231.93/232.03 c learnt constraints deletion: 4272 -> 2140 233.52/233.60 c learnt constraints deletion: 4272 -> 2140 235.02/235.17 c learnt constraints deletion: 4270 -> 2135 236.43/236.54 c learnt constraints deletion: 4272 -> 2137 237.82/237.97 c learnt constraints deletion: 4270 -> 2136 239.32/239.49 c learnt constraints deletion: 4261 -> 2133 240.92/241.02 c learnt constraints deletion: 4261 -> 2133 242.42/242.51 c learnt constraints deletion: 4270 -> 2138 243.91/244.04 c learnt constraints deletion: 4276 -> 2141 245.41/245.51 c learnt constraints deletion: 4265 -> 2135 246.92/247.08 c learnt constraints deletion: 4274 -> 2139 248.53/248.67 c learnt constraints deletion: 4270 -> 2137 250.01/250.16 c learnt constraints deletion: 4270 -> 2139 251.73/251.85 c learnt constraints deletion: 4275 -> 2141 253.31/253.41 c learnt constraints deletion: 4268 -> 2136 254.81/254.96 c learnt constraints deletion: 4274 -> 2141 256.42/256.58 c learnt constraints deletion: 4273 -> 2141 258.12/258.20 c learnt constraints deletion: 4266 -> 2133 259.42/259.53 c learnt constraints deletion: 4271 -> 2137 260.81/260.95 c learnt constraints deletion: 4264 -> 2133 262.21/262.37 c learnt constraints deletion: 4273 -> 2139 263.71/263.84 c learnt constraints deletion: 4266 -> 2137 265.21/265.32 c learnt constraints deletion: 4270 -> 2137 266.71/266.87 c learnt constraints deletion: 4272 -> 2138 268.41/268.50 c learnt constraints deletion: 4274 -> 2140 269.80/269.98 c learnt constraints deletion: 4268 -> 2138 271.40/271.54 c learnt constraints deletion: 4267 -> 2137 272.91/273.00 c learnt constraints deletion: 4276 -> 2140 274.30/274.44 c learnt constraints deletion: 4270 -> 2138 275.80/275.90 c learnt constraints deletion: 4275 -> 2142 277.30/277.41 c learnt constraints deletion: 4269 -> 2139 278.90/279.00 c learnt constraints deletion: 4267 -> 2138 280.41/280.50 c learnt constraints deletion: 4273 -> 2141 281.90/282.08 c learnt constraints deletion: 4269 -> 2141 283.40/283.58 c learnt constraints deletion: 4278 -> 2145 285.00/285.18 c learnt constraints deletion: 4274 -> 2142 286.60/286.76 c learnt constraints deletion: 4270 -> 2141 288.30/288.42 c learnt constraints deletion: 4275 -> 2142 289.90/290.02 c learnt constraints deletion: 4268 -> 2135 291.41/291.52 c learnt constraints deletion: 4273 -> 2140 293.10/293.20 c learnt constraints deletion: 4273 -> 2140 294.71/294.82 c learnt constraints deletion: 4275 -> 2139 296.41/296.54 c learnt constraints deletion: 4276 -> 2142 298.10/298.21 c learnt constraints deletion: 4273 -> 2137 299.50/299.66 c learnt constraints deletion: 4266 -> 2134 301.30/301.43 c learnt constraints deletion: 4686 -> 2345 303.00/303.16 c learnt constraints deletion: 4684 -> 2344 304.80/304.90 c learnt constraints deletion: 4683 -> 2345 306.20/306.34 c learnt constraints deletion: 4683 -> 2343 307.69/307.87 c learnt constraints deletion: 4682 -> 2343 309.29/309.47 c learnt constraints deletion: 4685 -> 2344 310.99/311.10 c learnt constraints deletion: 4678 -> 2341 312.50/312.69 c learnt constraints deletion: 4682 -> 2343 314.20/314.36 c learnt constraints deletion: 4680 -> 2342 315.89/316.08 c learnt constraints deletion: 4681 -> 2343 317.59/317.72 c learnt constraints deletion: 4681 -> 2345 319.29/319.41 c learnt constraints deletion: 4678 -> 2341 321.00/321.15 c learnt constraints deletion: 4686 -> 2347 322.59/322.78 c learnt constraints deletion: 4675 -> 2342 324.40/324.51 c learnt constraints deletion: 4675 -> 2340 325.99/326.14 c learnt constraints deletion: 4683 -> 2346 327.60/327.80 c learnt constraints deletion: 4686 -> 2347 329.39/329.59 c learnt constraints deletion: 4683 -> 2348 331.19/331.33 c learnt constraints deletion: 4677 -> 2343 332.69/332.80 c learnt constraints deletion: 4683 -> 2343 334.20/334.33 c learnt constraints deletion: 4677 -> 2341 335.79/335.93 c learnt constraints deletion: 4684 -> 2345 337.38/337.51 c learnt constraints deletion: 4686 -> 2346 338.99/339.16 c learnt constraints deletion: 4680 -> 2342 340.69/340.90 c learnt constraints deletion: 4679 -> 2342 342.49/342.64 c learnt constraints deletion: 4677 -> 2342 344.09/344.29 c learnt constraints deletion: 4676 -> 2341 345.89/346.03 c learnt constraints deletion: 4681 -> 2345 347.59/347.75 c learnt constraints deletion: 4685 -> 2347 349.39/349.51 c learnt constraints deletion: 4672 -> 2338 351.19/351.33 c learnt constraints deletion: 4684 -> 2344 352.79/352.98 c learnt constraints deletion: 4661 -> 2335 354.68/354.84 c learnt constraints deletion: 4686 -> 2347 356.49/356.67 c learnt constraints deletion: 4678 -> 2343 358.19/358.38 c learnt constraints deletion: 4674 -> 2339 360.08/360.20 c learnt constraints deletion: 4684 -> 2345 361.79/361.94 c learnt constraints deletion: 4681 -> 2344 363.58/363.72 c learnt constraints deletion: 4682 -> 2341 365.18/365.39 c learnt constraints deletion: 4679 -> 2342 366.88/367.04 c learnt constraints deletion: 4681 -> 2342 368.58/368.71 c learnt constraints deletion: 4686 -> 2346 370.27/370.40 c learnt constraints deletion: 4683 -> 2344 372.08/372.20 c learnt constraints deletion: 4682 -> 2343 373.78/373.91 c learnt constraints deletion: 4679 -> 2344 375.58/375.78 c learnt constraints deletion: 4685 -> 2345 377.38/377.56 c learnt constraints deletion: 4684 -> 2344 379.18/379.33 c learnt constraints deletion: 4676 -> 2342 381.07/381.24 c learnt constraints deletion: 4685 -> 2346 382.48/382.70 c learnt constraints deletion: 4686 -> 2344 384.08/384.25 c learnt constraints deletion: 4680 -> 2342 385.67/385.83 c learnt constraints deletion: 4685 -> 2345 387.28/387.49 c learnt constraints deletion: 4688 -> 2346 388.98/389.10 c learnt constraints deletion: 4671 -> 2338 390.57/390.74 c learnt constraints deletion: 4687 -> 2348 392.17/392.36 c learnt constraints deletion: 4686 -> 2344 393.77/393.93 c learnt constraints deletion: 4682 -> 2344 395.37/395.54 c learnt constraints deletion: 4685 -> 2346 397.08/397.20 c learnt constraints deletion: 4678 -> 2341 398.77/398.93 c learnt constraints deletion: 4682 -> 2344 400.46/400.60 c learnt constraints deletion: 4684 -> 2345 402.16/402.38 c learnt constraints deletion: 4679 -> 2342 403.76/403.96 c learnt constraints deletion: 4684 -> 2345 405.37/405.56 c learnt constraints deletion: 4669 -> 2338 407.06/407.23 c learnt constraints deletion: 4683 -> 2345 408.76/408.90 c learnt constraints deletion: 4681 -> 2344 410.66/410.80 c learnt constraints deletion: 4686 -> 2348 412.27/412.48 c learnt constraints deletion: 4686 -> 2348 413.97/414.16 c learnt constraints deletion: 4679 -> 2343 415.76/415.97 c learnt constraints deletion: 4680 -> 2344 417.47/417.66 c learnt constraints deletion: 4684 -> 2344 419.26/419.48 c learnt constraints deletion: 4684 -> 2346 420.96/421.17 c learnt constraints deletion: 4683 -> 2346 422.76/422.97 c learnt constraints deletion: 4687 -> 2348 424.47/424.69 c learnt constraints deletion: 4686 -> 2349 426.36/426.52 c learnt constraints deletion: 4685 -> 2349 428.16/428.32 c learnt constraints deletion: 4686 -> 2348 429.76/429.99 c learnt constraints deletion: 4685 -> 2345 431.45/431.61 c learnt constraints deletion: 4684 -> 2346 433.05/433.28 c learnt constraints deletion: 4681 -> 2344 434.86/435.04 c learnt constraints deletion: 4681 -> 2345 436.56/436.75 c learnt constraints deletion: 4688 -> 2348 438.26/438.42 c learnt constraints deletion: 4673 -> 2343 440.05/440.26 c learnt constraints deletion: 4680 -> 2344 441.65/441.86 c learnt constraints deletion: 4686 -> 2348 443.46/443.65 c learnt constraints deletion: 4683 -> 2348 445.26/445.46 c learnt constraints deletion: 4685 -> 2349 447.16/447.33 c learnt constraints deletion: 4684 -> 2345 448.95/449.14 c learnt constraints deletion: 4679 -> 2343 450.76/450.99 c learnt constraints deletion: 4676 -> 2339 452.45/452.65 c learnt constraints deletion: 4681 -> 2343 454.25/454.46 c learnt constraints deletion: 4681 -> 2344 456.05/456.29 c learnt constraints deletion: 4677 -> 2343 457.95/458.13 c learnt constraints deletion: 4677 -> 2342 459.94/460.11 c learnt constraints deletion: 4687 -> 2348 462.04/462.20 c learnt constraints deletion: 5134 -> 2571 464.05/464.29 c learnt constraints deletion: 5135 -> 2573 466.14/466.35 c learnt constraints deletion: 5137 -> 2574 467.84/468.07 c learnt constraints deletion: 5138 -> 2570 469.54/469.79 c learnt constraints deletion: 5138 -> 2570 471.34/471.56 c learnt constraints deletion: 5133 -> 2569 473.24/473.46 c learnt constraints deletion: 5134 -> 2568 475.14/475.39 c learnt constraints deletion: 5135 -> 2571 477.15/477.34 c learnt constraints deletion: 5136 -> 2569 478.94/479.19 c learnt constraints deletion: 5133 -> 2570 481.04/481.21 c learnt constraints deletion: 5129 -> 2566 483.04/483.21 c learnt constraints deletion: 5131 -> 2570 484.95/485.16 c learnt constraints deletion: 5133 -> 2569 487.14/487.30 c learnt constraints deletion: 5136 -> 2572 489.13/489.33 c learnt constraints deletion: 5135 -> 2572 491.13/491.34 c learnt constraints deletion: 5136 -> 2571 493.23/493.44 c learnt constraints deletion: 5131 -> 2570 495.23/495.48 c learnt constraints deletion: 5131 -> 2568 497.24/497.49 c learnt constraints deletion: 5131 -> 2570 499.24/499.45 c learnt constraints deletion: 5135 -> 2572 501.23/501.40 c learnt constraints deletion: 5132 -> 2572 503.24/503.48 c learnt constraints deletion: 5122 -> 2564 505.44/505.62 c learnt constraints deletion: 5130 -> 2568 507.43/507.60 c learnt constraints deletion: 5133 -> 2567 509.22/509.44 c learnt constraints deletion: 5132 -> 2568 511.02/511.29 c learnt constraints deletion: 5122 -> 2562 513.02/513.20 c learnt constraints deletion: 5133 -> 2569 515.03/515.26 c learnt constraints deletion: 5133 -> 2569 517.12/517.39 c learnt constraints deletion: 5134 -> 2569 519.13/519.36 c learnt constraints deletion: 5135 -> 2570 521.13/521.37 c learnt constraints deletion: 5126 -> 2567 523.34/523.52 c learnt constraints deletion: 5135 -> 2570 525.42/525.70 c learnt constraints deletion: 5135 -> 2572 527.43/527.67 c learnt constraints deletion: 5130 -> 2568 529.62/529.84 c learnt constraints deletion: 5130 -> 2568 531.42/531.61 c learnt constraints deletion: 5134 -> 2567 533.12/533.38 c learnt constraints deletion: 5135 -> 2570 534.92/535.13 c learnt constraints deletion: 5130 -> 2567 536.82/537.02 c learnt constraints deletion: 5134 -> 2569 538.72/538.97 c learnt constraints deletion: 5137 -> 2570 540.62/540.89 c learnt constraints deletion: 5135 -> 2571 542.62/542.80 c learnt constraints deletion: 5135 -> 2570 544.52/544.78 c learnt constraints deletion: 5124 -> 2566 546.53/546.72 c learnt constraints deletion: 5136 -> 2570 548.41/548.65 c learnt constraints deletion: 5136 -> 2571 550.31/550.59 c learnt constraints deletion: 5130 -> 2567 552.31/552.51 c learnt constraints deletion: 5133 -> 2571 554.21/554.43 c learnt constraints deletion: 5135 -> 2572 556.11/556.39 c learnt constraints deletion: 5137 -> 2574 558.21/558.41 c learnt constraints deletion: 5133 -> 2573 560.11/560.34 c learnt constraints deletion: 5135 -> 2575 562.11/562.39 c learnt constraints deletion: 5137 -> 2572 564.21/564.48 c learnt constraints deletion: 5122 -> 2563 566.10/566.39 c learnt constraints deletion: 5133 -> 2570 568.20/568.44 c learnt constraints deletion: 5137 -> 2573 570.20/570.48 c learnt constraints deletion: 5137 -> 2575 572.11/572.39 c learnt constraints deletion: 5129 -> 2567 574.10/574.33 c learnt constraints deletion: 5129 -> 2569 576.11/576.31 c learnt constraints deletion: 5137 -> 2572 578.20/578.42 c learnt constraints deletion: 5133 -> 2571 580.31/580.51 c learnt constraints deletion: 5130 -> 2569 582.41/582.64 c learnt constraints deletion: 5130 -> 2571 584.41/584.64 c learnt constraints deletion: 5130 -> 2569 586.50/586.78 c learnt constraints deletion: 5125 -> 2565 588.70/588.95 c learnt constraints deletion: 5131 -> 2570 590.70/590.99 c learnt constraints deletion: 5129 -> 2570 592.71/592.96 c learnt constraints deletion: 5135 -> 2571 594.81/595.02 c learnt constraints deletion: 5132 -> 2570 596.90/597.10 c learnt constraints deletion: 5133 -> 2571 599.00/599.26 c learnt constraints deletion: 5115 -> 2562 601.10/601.32 c learnt constraints deletion: 5138 -> 2575 603.20/603.48 c learnt constraints deletion: 5134 -> 2573 605.29/605.57 c learnt constraints deletion: 5136 -> 2573 607.49/607.77 c learnt constraints deletion: 5139 -> 2577 609.49/609.78 c learnt constraints deletion: 5137 -> 2571 611.58/611.89 c learnt constraints deletion: 5135 -> 2571 613.78/614.00 c learnt constraints deletion: 5136 -> 2571 615.89/616.19 c learnt constraints deletion: 5138 -> 2572 618.08/618.39 c learnt constraints deletion: 5138 -> 2575 620.28/620.55 c learnt constraints deletion: 5135 -> 2574 621.98/622.23 c learnt constraints deletion: 5135 -> 2569 623.78/624.03 c learnt constraints deletion: 5137 -> 2570 625.58/625.84 c learnt constraints deletion: 5136 -> 2569 627.48/627.77 c learnt constraints deletion: 5134 -> 2568 629.38/629.63 c learnt constraints deletion: 5136 -> 2569 631.28/631.59 c learnt constraints deletion: 5128 -> 2567 633.18/633.42 c learnt constraints deletion: 5135 -> 2569 635.07/635.38 c learnt constraints deletion: 5129 -> 2568 637.08/637.33 c learnt constraints deletion: 5135 -> 2571 639.17/639.40 c learnt constraints deletion: 5135 -> 2569 640.98/641.26 c learnt constraints deletion: 5135 -> 2571 642.98/643.24 c learnt constraints deletion: 5134 -> 2571 644.97/645.25 c learnt constraints deletion: 5131 -> 2568 647.07/647.31 c learnt constraints deletion: 5135 -> 2572 648.97/649.26 c learnt constraints deletion: 5135 -> 2572 650.98/651.28 c learnt constraints deletion: 5134 -> 2571 653.07/653.37 c learnt constraints deletion: 5123 -> 2568 654.97/655.29 c learnt constraints deletion: 5135 -> 2570 657.16/657.43 c learnt constraints deletion: 5133 -> 2571 659.17/659.42 c learnt constraints deletion: 5134 -> 2569 661.06/661.34 c learnt constraints deletion: 5126 -> 2566 662.98/663.28 c learnt constraints deletion: 5133 -> 2571 664.96/665.22 c learnt constraints deletion: 5137 -> 2575 666.86/667.17 c learnt constraints deletion: 5118 -> 2564 668.96/669.24 c learnt constraints deletion: 5139 -> 2576 670.96/671.28 c learnt constraints deletion: 5137 -> 2577 672.87/673.19 c learnt constraints deletion: 5125 -> 2568 674.95/675.28 c learnt constraints deletion: 5135 -> 2574 677.15/677.41 c learnt constraints deletion: 5132 -> 2569 679.06/679.38 c learnt constraints deletion: 5129 -> 2567 681.16/681.48 c learnt constraints deletion: 5117 -> 2562 683.25/683.57 c learnt constraints deletion: 5135 -> 2572 685.25/685.53 c learnt constraints deletion: 5137 -> 2572 687.26/687.59 c learnt constraints deletion: 5131 -> 2569 689.25/689.59 c learnt constraints deletion: 5133 -> 2571 691.45/691.75 c learnt constraints deletion: 5130 -> 2571 693.55/693.87 c learnt constraints deletion: 5135 -> 2572 695.65/695.97 c learnt constraints deletion: 5133 -> 2573 697.75/698.04 c learnt constraints deletion: 5137 -> 2575 699.85/700.17 c learnt constraints deletion: 5137 -> 2577 701.94/702.21 c learnt constraints deletion: 5128 -> 2566 703.95/704.27 c learnt constraints deletion: 5134 -> 2570 706.05/706.33 c learnt constraints deletion: 5132 -> 2570 708.15/708.49 c learnt constraints deletion: 5134 -> 2571 710.35/710.69 c learnt constraints deletion: 5132 -> 2572 712.45/712.79 c learnt constraints deletion: 5132 -> 2570 714.76/715.02 c learnt constraints deletion: 5129 -> 2565 716.55/716.83 c learnt constraints deletion: 5134 -> 2568 718.45/718.79 c learnt constraints deletion: 5130 -> 2566 720.45/720.77 c learnt constraints deletion: 5124 -> 2564 722.84/723.16 c learnt constraints deletion: 5630 -> 2819 725.04/725.36 c learnt constraints deletion: 5629 -> 2818 727.44/727.72 c learnt constraints deletion: 5627 -> 2816 729.54/729.81 c learnt constraints deletion: 5627 -> 2814 731.25/731.59 c learnt constraints deletion: 5632 -> 2817 733.04/733.35 c learnt constraints deletion: 5631 -> 2818 735.14/735.42 c learnt constraints deletion: 5629 -> 2817 737.13/737.47 c learnt constraints deletion: 5627 -> 2815 739.04/739.37 c learnt constraints deletion: 5620 -> 2812 741.05/741.38 c learnt constraints deletion: 5631 -> 2818 743.14/743.48 c learnt constraints deletion: 5625 -> 2817 745.03/745.36 c learnt constraints deletion: 5623 -> 2814 747.14/747.41 c learnt constraints deletion: 5633 -> 2821 749.03/749.37 c learnt constraints deletion: 5623 -> 2814 751.23/751.53 c learnt constraints deletion: 5627 -> 2816 753.24/753.53 c learnt constraints deletion: 5625 -> 2816 755.44/755.70 c learnt constraints deletion: 5632 -> 2820 757.54/757.87 c learnt constraints deletion: 5630 -> 2819 759.63/759.92 c learnt constraints deletion: 5634 -> 2819 761.53/761.84 c learnt constraints deletion: 5632 -> 2819 763.53/763.81 c learnt constraints deletion: 5630 -> 2819 765.73/766.07 c learnt constraints deletion: 5625 -> 2817 767.83/768.18 c learnt constraints deletion: 5632 -> 2819 770.13/770.43 c learnt constraints deletion: 5623 -> 2815 772.33/772.67 c learnt constraints deletion: 5630 -> 2817 774.23/774.56 c learnt constraints deletion: 5632 -> 2819 776.23/776.57 c learnt constraints deletion: 5633 -> 2820 778.33/778.66 c learnt constraints deletion: 5627 -> 2818 780.42/780.75 c learnt constraints deletion: 5616 -> 2812 782.52/782.89 c learnt constraints deletion: 5633 -> 2821 784.72/785.08 c learnt constraints deletion: 5614 -> 2811 786.82/787.10 c learnt constraints deletion: 5634 -> 2822 789.02/789.36 c learnt constraints deletion: 5634 -> 2821 791.12/791.41 c learnt constraints deletion: 5629 -> 2820 793.32/793.67 c learnt constraints deletion: 5633 -> 2825 795.42/795.76 c learnt constraints deletion: 5633 -> 2819 797.52/797.87 c learnt constraints deletion: 5635 -> 2822 799.51/799.89 c learnt constraints deletion: 5624 -> 2818 801.81/802.11 c learnt constraints deletion: 5630 -> 2819 804.02/804.30 c learnt constraints deletion: 5632 -> 2820 806.21/806.56 c learnt constraints deletion: 5635 -> 2822 808.62/808.91 c learnt constraints deletion: 5632 -> 2822 810.81/811.12 c learnt constraints deletion: 5635 -> 2824 813.01/813.37 c learnt constraints deletion: 5631 -> 2823 815.31/815.67 c learnt constraints deletion: 5631 -> 2823 817.41/817.78 c learnt constraints deletion: 5625 -> 2816 819.71/820.00 c learnt constraints deletion: 5626 -> 2817 821.90/822.24 c learnt constraints deletion: 5630 -> 2819 824.21/824.56 c learnt constraints deletion: 5630 -> 2819 826.51/826.81 c learnt constraints deletion: 5631 -> 2818 828.41/828.74 c learnt constraints deletion: 5630 -> 2818 830.30/830.66 c learnt constraints deletion: 5631 -> 2819 832.50/832.80 c learnt constraints deletion: 5633 -> 2820 834.61/834.93 c learnt constraints deletion: 5628 -> 2818 836.81/837.18 c learnt constraints deletion: 5634 -> 2821 839.11/839.40 c learnt constraints deletion: 5627 -> 2818 841.20/841.54 c learnt constraints deletion: 5618 -> 2813 843.30/843.65 c learnt constraints deletion: 5629 -> 2821 845.51/845.84 c learnt constraints deletion: 5634 -> 2823 847.70/848.08 c learnt constraints deletion: 5626 -> 2821 849.79/850.13 c learnt constraints deletion: 5630 -> 2819 851.99/852.38 c learnt constraints deletion: 5628 -> 2820 854.19/854.57 c learnt constraints deletion: 5634 -> 2823 856.50/856.81 c learnt constraints deletion: 5634 -> 2822 858.70/859.07 c learnt constraints deletion: 5634 -> 2823 861.00/861.30 c learnt constraints deletion: 5632 -> 2822 863.40/863.75 c learnt constraints deletion: 5627 -> 2822 865.59/865.92 c learnt constraints deletion: 5617 -> 2814 867.90/868.22 c learnt constraints deletion: 5634 -> 2823 870.29/870.68 c learnt constraints deletion: 5628 -> 2820 872.39/872.77 c learnt constraints deletion: 5631 -> 2818 874.29/874.65 c learnt constraints deletion: 5634 -> 2820 876.19/876.54 c learnt constraints deletion: 5628 -> 2817 878.29/878.63 c learnt constraints deletion: 5634 -> 2820 880.28/880.70 c learnt constraints deletion: 5618 -> 2812 882.48/882.88 c learnt constraints deletion: 5614 -> 2810 884.49/884.88 c learnt constraints deletion: 5635 -> 2822 886.58/886.92 c learnt constraints deletion: 5635 -> 2821 888.69/889.04 c learnt constraints deletion: 5632 -> 2821 890.69/891.08 c learnt constraints deletion: 5634 -> 2823 892.88/893.25 c learnt constraints deletion: 5635 -> 2821 895.18/895.53 c learnt constraints deletion: 5635 -> 2823 897.28/897.63 c learnt constraints deletion: 5630 -> 2819 899.38/899.80 c learnt constraints deletion: 5629 -> 2820 901.58/901.93 c learnt constraints deletion: 5629 -> 2821 903.78/904.12 c learnt constraints deletion: 5619 -> 2816 906.08/906.41 c learnt constraints deletion: 5630 -> 2819 908.27/908.64 c learnt constraints deletion: 5629 -> 2819 910.27/910.60 c learnt constraints deletion: 5627 -> 2819 912.37/912.71 c learnt constraints deletion: 5622 -> 2817 914.57/914.93 c learnt constraints deletion: 5631 -> 2822 916.87/917.23 c learnt constraints deletion: 5632 -> 2822 919.18/919.58 c learnt constraints deletion: 5633 -> 2821 921.57/921.95 c learnt constraints deletion: 5624 -> 2818 923.47/923.90 c learnt constraints deletion: 5635 -> 2823 925.67/926.05 c learnt constraints deletion: 5629 -> 2821 927.87/928.25 c learnt constraints deletion: 5620 -> 2816 930.37/930.73 c learnt constraints deletion: 5634 -> 2825 932.57/932.91 c learnt constraints deletion: 5627 -> 2820 934.86/935.27 c learnt constraints deletion: 5626 -> 2819 937.17/937.54 c learnt constraints deletion: 5632 -> 2824 939.56/939.91 c learnt constraints deletion: 5632 -> 2823 941.76/942.10 c learnt constraints deletion: 5629 -> 2819 943.96/944.35 c learnt constraints deletion: 5630 -> 2820 946.16/946.50 c learnt constraints deletion: 5636 -> 2824 948.36/948.79 c learnt constraints deletion: 5625 -> 2819 950.75/951.18 c learnt constraints deletion: 5635 -> 2825 953.06/953.41 c learnt constraints deletion: 5634 -> 2822 955.46/955.84 c learnt constraints deletion: 5632 -> 2821 957.55/957.96 c learnt constraints deletion: 5623 -> 2814 959.75/960.11 c learnt constraints deletion: 5631 -> 2818 961.75/962.17 c learnt constraints deletion: 5631 -> 2819 963.95/964.36 c learnt constraints deletion: 5632 -> 2819 966.25/966.64 c learnt constraints deletion: 5628 -> 2817 968.65/969.03 c learnt constraints deletion: 5635 -> 2823 970.75/971.17 c learnt constraints deletion: 5624 -> 2815 973.16/973.53 c learnt constraints deletion: 5632 -> 2821 975.36/975.72 c learnt constraints deletion: 5634 -> 2820 977.65/978.09 c learnt constraints deletion: 5633 -> 2821 979.94/980.37 c learnt constraints deletion: 5630 -> 2818 982.14/982.60 c learnt constraints deletion: 5633 -> 2821 984.45/984.82 c learnt constraints deletion: 5627 -> 2819 986.74/987.12 c learnt constraints deletion: 5626 -> 2818 989.24/989.61 c learnt constraints deletion: 5632 -> 2821 991.35/991.76 c learnt constraints deletion: 5632 -> 2816 993.45/993.88 c learnt constraints deletion: 5633 -> 2818 995.54/995.96 c learnt constraints deletion: 5632 -> 2818 997.75/998.17 c learnt constraints deletion: 5629 -> 2817 1000.04/1000.43 c learnt constraints deletion: 5628 -> 2816 1002.14/1002.54 c learnt constraints deletion: 5633 -> 2821 1004.44/1004.84 c learnt constraints deletion: 5631 -> 2820 1006.74/1007.17 c learnt constraints deletion: 5625 -> 2814 1009.24/1009.60 c learnt constraints deletion: 5600 -> 2802 1011.13/1011.59 c learnt constraints deletion: 5626 -> 2817 1013.34/1013.74 c learnt constraints deletion: 5626 -> 2816 1015.54/1015.95 c learnt constraints deletion: 5616 -> 2812 1017.94/1018.31 c learnt constraints deletion: 5626 -> 2817 1020.34/1020.74 c learnt constraints deletion: 5630 -> 2821 1022.54/1022.97 c learnt constraints deletion: 5628 -> 2816 1024.84/1025.29 c learnt constraints deletion: 5631 -> 2820 1027.22/1027.62 c learnt constraints deletion: 5630 -> 2817 1029.23/1029.64 c learnt constraints deletion: 5626 -> 2816 1031.33/1031.79 c learnt constraints deletion: 5631 -> 2819 1033.53/1033.99 c learnt constraints deletion: 5632 -> 2820 1035.83/1036.23 c learnt constraints deletion: 5634 -> 2821 1038.12/1038.59 c learnt constraints deletion: 5632 -> 2822 1040.32/1040.78 c learnt constraints deletion: 5627 -> 2818 1042.62/1043.03 c learnt constraints deletion: 5630 -> 2819 1044.92/1045.32 c learnt constraints deletion: 5635 -> 2824 1047.22/1047.67 c learnt constraints deletion: 5622 -> 2816 1049.61/1050.06 c learnt constraints deletion: 5633 -> 2821 1052.12/1052.50 c learnt constraints deletion: 5626 -> 2815 1054.12/1054.55 c learnt constraints deletion: 5634 -> 2820 1056.32/1056.75 c learnt constraints deletion: 5630 -> 2819 1058.61/1059.05 c learnt constraints deletion: 5628 -> 2819 1060.92/1061.38 c learnt constraints deletion: 5627 -> 2817 1063.42/1063.89 c learnt constraints deletion: 5632 -> 2820 1065.92/1066.35 c learnt constraints deletion: 5632 -> 2821 1068.41/1068.84 c learnt constraints deletion: 5632 -> 2821 1070.52/1070.90 c learnt constraints deletion: 5630 -> 2816 1072.51/1072.93 c learnt constraints deletion: 5622 -> 2812 1074.71/1075.12 c learnt constraints deletion: 5618 -> 2810 1076.91/1077.39 c learnt constraints deletion: 5623 -> 2813 1079.21/1079.65 c learnt constraints deletion: 5628 -> 2815 1081.51/1081.99 c learnt constraints deletion: 5628 -> 2816 1083.81/1084.21 c learnt constraints deletion: 5631 -> 2817 1085.91/1086.35 c learnt constraints deletion: 5630 -> 2817 1088.31/1088.70 c learnt constraints deletion: 5626 -> 2815 1090.40/1090.87 c learnt constraints deletion: 5622 -> 2812 1092.80/1093.21 c learnt constraints deletion: 5628 -> 2818 1095.00/1095.44 c learnt constraints deletion: 5624 -> 2816 1097.31/1097.75 c learnt constraints deletion: 5628 -> 2816 1099.60/1100.01 c learnt constraints deletion: 5625 -> 2816 1101.81/1102.23 c learnt constraints deletion: 5631 -> 2820 1104.30/1104.76 c learnt constraints deletion: 5629 -> 2821 1106.30/1106.79 c learnt constraints deletion: 5627 -> 2818 1109.00/1109.45 c learnt constraints deletion: 6173 -> 3090 1111.50/1111.90 c learnt constraints deletion: 6170 -> 3089 1114.00/1114.48 c learnt constraints deletion: 6169 -> 3089 1116.70/1117.13 c learnt constraints deletion: 6153 -> 3077 1119.41/1119.82 c learnt constraints deletion: 6178 -> 3093 1121.90/1122.38 c learnt constraints deletion: 6177 -> 3093 1124.30/1124.72 c learnt constraints deletion: 6172 -> 3087 1126.50/1126.98 c learnt constraints deletion: 6179 -> 3091 1128.90/1129.30 c learnt constraints deletion: 6174 -> 3088 1131.30/1131.78 c learnt constraints deletion: 6169 -> 3086 1133.70/1134.13 c learnt constraints deletion: 6172 -> 3089 1136.10/1136.56 c learnt constraints deletion: 6171 -> 3088 1138.69/1139.11 c learnt constraints deletion: 6179 -> 3092 1141.19/1141.68 c learnt constraints deletion: 6175 -> 3092 1143.60/1144.03 c learnt constraints deletion: 6177 -> 3091 1145.99/1146.49 c learnt constraints deletion: 6168 -> 3087 1148.39/1148.84 c learnt constraints deletion: 6171 -> 3090 1150.89/1151.38 c learnt constraints deletion: 6179 -> 3094 1153.39/1153.90 c learnt constraints deletion: 6172 -> 3090 1155.99/1156.46 c learnt constraints deletion: 6172 -> 3090 1158.59/1159.06 c learnt constraints deletion: 6179 -> 3095 1161.09/1161.55 c learnt constraints deletion: 6176 -> 3093 1163.59/1164.01 c learnt constraints deletion: 6170 -> 3088 1165.98/1166.49 c learnt constraints deletion: 6169 -> 3089 1168.58/1169.08 c learnt constraints deletion: 6174 -> 3091 1171.18/1171.60 c learnt constraints deletion: 6167 -> 3088 1173.68/1174.11 c learnt constraints deletion: 6173 -> 3091 1176.49/1176.98 c learnt constraints deletion: 6179 -> 3095 1178.69/1179.20 c learnt constraints deletion: 6175 -> 3091 1181.08/1181.57 c learnt constraints deletion: 6171 -> 3090 1183.58/1184.05 c learnt constraints deletion: 6177 -> 3093 1186.18/1186.63 c learnt constraints deletion: 6170 -> 3089 1188.69/1189.13 c learnt constraints deletion: 6172 -> 3091 1191.18/1191.68 c learnt constraints deletion: 6174 -> 3091 1193.88/1194.33 c learnt constraints deletion: 6177 -> 3093 1196.68/1197.13 c learnt constraints deletion: 6174 -> 3092 1199.08/1199.51 c learnt constraints deletion: 6175 -> 3093 1201.67/1202.11 c learnt constraints deletion: 6177 -> 3094 1204.17/1204.66 c learnt constraints deletion: 6180 -> 3095 1206.97/1207.44 c learnt constraints deletion: 6176 -> 3093 1209.36/1209.83 c learnt constraints deletion: 6173 -> 3087 1211.57/1212.03 c learnt constraints deletion: 6175 -> 3089 1213.77/1214.28 c learnt constraints deletion: 6177 -> 3090 1216.17/1216.67 c learnt constraints deletion: 6179 -> 3091 1218.76/1219.20 c learnt constraints deletion: 6178 -> 3090 1221.16/1221.64 c learnt constraints deletion: 6178 -> 3090 1223.36/1223.84 c learnt constraints deletion: 6175 -> 3091 1225.86/1226.31 c learnt constraints deletion: 6174 -> 3088 1228.26/1228.70 c learnt constraints deletion: 6172 -> 3088 1230.76/1231.25 c learnt constraints deletion: 6167 -> 3088 1233.16/1233.63 c learnt constraints deletion: 6179 -> 3094 1235.55/1236.03 c learnt constraints deletion: 6178 -> 3091 1238.06/1238.52 c learnt constraints deletion: 6179 -> 3094 1240.36/1240.85 c learnt constraints deletion: 6178 -> 3093 1242.95/1243.47 c learnt constraints deletion: 6171 -> 3092 1245.45/1245.94 c learnt constraints deletion: 6174 -> 3089 1248.06/1248.53 c learnt constraints deletion: 6164 -> 3084 1250.54/1251.00 c learnt constraints deletion: 6180 -> 3093 1252.85/1253.39 c learnt constraints deletion: 6172 -> 3090 1255.44/1255.93 c learnt constraints deletion: 6177 -> 3094 1258.15/1258.61 c learnt constraints deletion: 6176 -> 3092 1260.85/1261.36 c learnt constraints deletion: 6177 -> 3095 1263.36/1263.89 c learnt constraints deletion: 6177 -> 3092 1265.95/1266.47 c learnt constraints deletion: 6175 -> 3091 1268.44/1268.98 c learnt constraints deletion: 6174 -> 3090 1271.05/1271.53 c learnt constraints deletion: 6177 -> 3093 1273.74/1274.25 c learnt constraints deletion: 6178 -> 3093 1276.34/1276.86 c learnt constraints deletion: 6174 -> 3089 1279.14/1279.66 c learnt constraints deletion: 6177 -> 3092 1281.73/1282.24 c learnt constraints deletion: 6179 -> 3092 1283.93/1284.41 c learnt constraints deletion: 6174 -> 3090 1286.33/1286.84 c learnt constraints deletion: 6179 -> 3093 1288.84/1289.32 c learnt constraints deletion: 6177 -> 3092 1291.43/1291.94 c learnt constraints deletion: 6176 -> 3092 1293.93/1294.46 c learnt constraints deletion: 6170 -> 3089 1296.63/1297.11 c learnt constraints deletion: 6175 -> 3092 1299.22/1299.73 c learnt constraints deletion: 6168 -> 3089 1301.94/1302.46 c learnt constraints deletion: 6179 -> 3096 1304.43/1304.91 c learnt constraints deletion: 6175 -> 3092 1307.03/1307.57 c learnt constraints deletion: 6171 -> 3091 1309.63/1310.11 c learnt constraints deletion: 6179 -> 3096 1312.32/1312.85 c learnt constraints deletion: 6179 -> 3097 1315.03/1315.54 c learnt constraints deletion: 6179 -> 3090 1317.24/1317.75 c learnt constraints deletion: 6176 -> 3089 1319.43/1319.97 c learnt constraints deletion: 6173 -> 3089 1321.93/1322.41 c learnt constraints deletion: 6175 -> 3089 1324.33/1324.83 c learnt constraints deletion: 6179 -> 3091 1326.83/1327.30 c learnt constraints deletion: 6171 -> 3089 1329.13/1329.66 c learnt constraints deletion: 6176 -> 3089 1331.53/1332.04 c learnt constraints deletion: 6178 -> 3090 1334.12/1334.68 c learnt constraints deletion: 6170 -> 3087 1336.52/1337.09 c learnt constraints deletion: 6176 -> 3092 1339.02/1339.56 c learnt constraints deletion: 6165 -> 3085 1341.62/1342.17 c learnt constraints deletion: 6176 -> 3091 1344.02/1344.52 c learnt constraints deletion: 6169 -> 3088 1346.62/1347.13 c learnt constraints deletion: 6178 -> 3093 1349.13/1349.69 c learnt constraints deletion: 6170 -> 3087 1351.82/1352.34 c learnt constraints deletion: 6178 -> 3092 1354.32/1354.89 c learnt constraints deletion: 6179 -> 3093 1357.02/1357.54 c learnt constraints deletion: 6177 -> 3091 1359.72/1360.25 c learnt constraints deletion: 6178 -> 3092 1362.12/1362.63 c learnt constraints deletion: 6161 -> 3083 1364.52/1365.03 c learnt constraints deletion: 6167 -> 3087 1366.91/1367.48 c learnt constraints deletion: 6178 -> 3093 1369.52/1370.01 c learnt constraints deletion: 6174 -> 3091 1372.11/1372.62 c learnt constraints deletion: 6174 -> 3091 1374.61/1375.19 c learnt constraints deletion: 6174 -> 3092 1377.31/1377.89 c learnt constraints deletion: 6173 -> 3091 1379.81/1380.36 c learnt constraints deletion: 6172 -> 3092 1382.60/1383.11 c learnt constraints deletion: 6181 -> 3097 1385.01/1385.52 c learnt constraints deletion: 6177 -> 3091 1387.51/1388.03 c learnt constraints deletion: 6178 -> 3092 1390.00/1390.56 c learnt constraints deletion: 6173 -> 3091 1392.70/1393.21 c learnt constraints deletion: 6174 -> 3093 1395.20/1395.72 c learnt constraints deletion: 6178 -> 3093 1397.90/1398.40 c learnt constraints deletion: 6177 -> 3095 1400.50/1401.04 c learnt constraints deletion: 6179 -> 3094 1403.30/1403.84 c learnt constraints deletion: 6174 -> 3093 1406.00/1406.52 c learnt constraints deletion: 6175 -> 3092 1408.70/1409.26 c learnt constraints deletion: 6176 -> 3092 1411.00/1411.54 c learnt constraints deletion: 6166 -> 3083 1413.10/1413.65 c learnt constraints deletion: 6179 -> 3091 1415.21/1415.75 c learnt constraints deletion: 6176 -> 3089 1417.50/1418.05 c learnt constraints deletion: 6177 -> 3090 1419.80/1420.31 c learnt constraints deletion: 6168 -> 3087 1421.90/1422.47 c learnt constraints deletion: 6163 -> 3083 1424.20/1424.72 c learnt constraints deletion: 6176 -> 3090 1426.30/1426.82 c learnt constraints deletion: 6178 -> 3092 1428.40/1428.91 c learnt constraints deletion: 6173 -> 3092 1430.60/1431.11 c learnt constraints deletion: 6168 -> 3087 1432.89/1433.49 c learnt constraints deletion: 6170 -> 3090 1435.01/1435.55 c learnt constraints deletion: 6182 -> 3097 1437.30/1437.80 c learnt constraints deletion: 6178 -> 3090 1439.59/1440.14 c learnt constraints deletion: 6177 -> 3091 1441.79/1442.33 c learnt constraints deletion: 6176 -> 3089 1444.20/1444.75 c learnt constraints deletion: 6178 -> 3090 1446.59/1447.11 c learnt constraints deletion: 6171 -> 3087 1448.99/1449.57 c learnt constraints deletion: 6176 -> 3091 1451.18/1451.74 c learnt constraints deletion: 6179 -> 3091 1453.39/1453.98 c learnt constraints deletion: 6176 -> 3090 1455.58/1456.14 c learnt constraints deletion: 6162 -> 3084 1458.09/1458.63 c learnt constraints deletion: 6180 -> 3093 1460.58/1461.18 c learnt constraints deletion: 6178 -> 3091 1462.98/1463.54 c learnt constraints deletion: 6160 -> 3082 1465.28/1465.88 c learnt constraints deletion: 6179 -> 3092 1467.78/1468.36 c learnt constraints deletion: 6169 -> 3086 1469.98/1470.51 c learnt constraints deletion: 6176 -> 3090 1472.38/1472.90 c learnt constraints deletion: 6179 -> 3093 1474.77/1475.36 c learnt constraints deletion: 6176 -> 3090 1477.18/1477.73 c learnt constraints deletion: 6180 -> 3091 1479.58/1480.13 c learnt constraints deletion: 6178 -> 3092 1481.87/1482.41 c learnt constraints deletion: 6176 -> 3091 1484.38/1485.00 c learnt constraints deletion: 6176 -> 3092 1486.87/1487.41 c learnt constraints deletion: 6177 -> 3090 1489.07/1489.63 c learnt constraints deletion: 6173 -> 3089 1491.56/1492.10 c learnt constraints deletion: 6180 -> 3093 1494.07/1494.61 c learnt constraints deletion: 6177 -> 3092 1496.48/1497.09 c learnt constraints deletion: 6171 -> 3087 1499.06/1499.62 c learnt constraints deletion: 6171 -> 3087 1501.66/1502.22 c learnt constraints deletion: 6173 -> 3089 1504.06/1504.63 c learnt constraints deletion: 6179 -> 3092 1506.56/1507.15 c learnt constraints deletion: 6180 -> 3094 1508.96/1509.55 c learnt constraints deletion: 6176 -> 3089 1511.55/1512.13 c learnt constraints deletion: 6179 -> 3093 1514.07/1514.63 c learnt constraints deletion: 6175 -> 3091 1516.56/1517.17 c learnt constraints deletion: 6173 -> 3091 1519.26/1519.83 c learnt constraints deletion: 6174 -> 3092 1521.65/1522.21 c learnt constraints deletion: 6177 -> 3091 1523.97/1524.59 c learnt constraints deletion: 6173 -> 3090 1526.35/1526.99 c learnt constraints deletion: 6175 -> 3091 1529.16/1529.74 c learnt constraints deletion: 6176 -> 3093 1531.55/1532.14 c learnt constraints deletion: 6175 -> 3091 1534.16/1534.70 c learnt constraints deletion: 6178 -> 3092 1536.85/1537.48 c learnt constraints deletion: 6179 -> 3095 1539.36/1539.99 c learnt constraints deletion: 6174 -> 3090 1541.85/1542.49 c learnt constraints deletion: 6179 -> 3093 1544.65/1545.21 c learnt constraints deletion: 6177 -> 3094 1547.25/1547.83 c learnt constraints deletion: 6180 -> 3094 1549.65/1550.25 c learnt constraints deletion: 6180 -> 3093 1552.15/1552.74 c learnt constraints deletion: 6179 -> 3094 1554.76/1555.31 c learnt constraints deletion: 6180 -> 3095 1557.25/1557.85 c learnt constraints deletion: 6172 -> 3091 1560.05/1560.65 c learnt constraints deletion: 6178 -> 3096 1562.65/1563.21 c learnt constraints deletion: 6176 -> 3092 1565.04/1565.64 c learnt constraints deletion: 6167 -> 3085 1567.54/1568.16 c learnt constraints deletion: 6176 -> 3091 1569.95/1570.55 c learnt constraints deletion: 6180 -> 3093 1572.65/1573.24 c learnt constraints deletion: 6178 -> 3092 1575.24/1575.84 c learnt constraints deletion: 6176 -> 3091 1577.85/1578.46 c learnt constraints deletion: 6165 -> 3086 1580.54/1581.13 c learnt constraints deletion: 6176 -> 3091 1583.03/1583.69 c learnt constraints deletion: 6174 -> 3089 1585.73/1586.34 c learnt constraints deletion: 6173 -> 3090 1588.33/1588.99 c learnt constraints deletion: 6162 -> 3084 1591.14/1591.71 c learnt constraints deletion: 6167 -> 3086 1593.63/1594.20 c learnt constraints deletion: 6168 -> 3085 1595.92/1596.54 c learnt constraints deletion: 6179 -> 3093 1598.33/1598.90 c learnt constraints deletion: 6177 -> 3091 1600.72/1601.38 c learnt constraints deletion: 6175 -> 3091 1603.32/1603.93 c learnt constraints deletion: 6173 -> 3090 1605.82/1606.40 c learnt constraints deletion: 6171 -> 3091 1608.33/1608.92 c learnt constraints deletion: 6174 -> 3090 1610.83/1611.45 c learnt constraints deletion: 6181 -> 3096 1613.33/1613.99 c learnt constraints deletion: 6175 -> 3094 1616.02/1616.66 c learnt constraints deletion: 6179 -> 3095 1618.72/1619.36 c learnt constraints deletion: 6177 -> 3092 1621.32/1621.93 c learnt constraints deletion: 6177 -> 3093 1623.82/1624.47 c learnt constraints deletion: 6178 -> 3094 1626.52/1627.15 c learnt constraints deletion: 6179 -> 3095 1629.22/1629.84 c learnt constraints deletion: 6180 -> 3096 1631.83/1632.45 c learnt constraints deletion: 6179 -> 3093 1634.41/1635.09 c learnt constraints deletion: 6173 -> 3091 1637.02/1637.65 c learnt constraints deletion: 6173 -> 3092 1639.72/1640.33 c learnt constraints deletion: 6174 -> 3092 1642.42/1643.06 c learnt constraints deletion: 6182 -> 3096 1645.22/1645.80 c learnt constraints deletion: 6171 -> 3093 1647.72/1648.31 c learnt constraints deletion: 6181 -> 3098 1650.42/1651.06 c learnt constraints deletion: 6178 -> 3096 1653.22/1653.88 c learnt constraints deletion: 6173 -> 3096 1655.61/1656.29 c learnt constraints deletion: 6177 -> 3090 1658.02/1658.64 c learnt constraints deletion: 6176 -> 3090 1660.32/1660.92 c learnt constraints deletion: 6176 -> 3092 1662.92/1663.51 c learnt constraints deletion: 6172 -> 3088 1665.41/1666.01 c learnt constraints deletion: 6179 -> 3093 1667.81/1668.49 c learnt constraints deletion: 6179 -> 3095 1670.22/1670.85 c learnt constraints deletion: 6174 -> 3092 1672.82/1673.47 c learnt constraints deletion: 6167 -> 3087 1675.11/1675.75 c learnt constraints deletion: 6172 -> 3090 1677.71/1678.33 c learnt constraints deletion: 6181 -> 3096 1680.21/1680.84 c learnt constraints deletion: 6178 -> 3094 1682.81/1683.42 c learnt constraints deletion: 6175 -> 3091 1685.51/1686.15 c learnt constraints deletion: 6174 -> 3092 1687.91/1688.57 c learnt constraints deletion: 6170 -> 3090 1690.50/1691.15 c learnt constraints deletion: 6179 -> 3095 1693.00/1693.62 c learnt constraints deletion: 6171 -> 3089 1695.51/1696.13 c learnt constraints deletion: 6178 -> 3093 1697.90/1698.57 c learnt constraints deletion: 6170 -> 3090 1700.50/1701.18 c learnt constraints deletion: 6175 -> 3095 1703.21/1703.83 c learnt constraints deletion: 6173 -> 3093 1705.80/1706.40 c learnt constraints deletion: 6177 -> 3092 1708.30/1708.98 c learnt constraints deletion: 6180 -> 3095 1710.80/1711.47 c learnt constraints deletion: 6174 -> 3091 1714.00/1714.65 c learnt constraints deletion: 6781 -> 3396 1717.09/1717.74 c learnt constraints deletion: 6775 -> 3391 1720.10/1720.79 c learnt constraints deletion: 6774 -> 3392 1722.90/1723.57 c learnt constraints deletion: 6777 -> 3392 1725.59/1726.22 c learnt constraints deletion: 6772 -> 3386 1727.99/1728.63 c learnt constraints deletion: 6780 -> 3392 1730.39/1731.06 c learnt constraints deletion: 6774 -> 3388 1733.00/1733.66 c learnt constraints deletion: 6762 -> 3383 1735.60/1736.20 c learnt constraints deletion: 6758 -> 3381 1738.09/1738.72 c learnt constraints deletion: 6778 -> 3393 1740.79/1741.49 c learnt constraints deletion: 6779 -> 3392 1743.69/1744.31 c learnt constraints deletion: 6776 -> 3392 1746.10/1746.73 c learnt constraints deletion: 6778 -> 3391 1748.90/1749.59 c learnt constraints deletion: 6777 -> 3393 1751.49/1752.17 c learnt constraints deletion: 6775 -> 3392 1754.39/1755.06 c learnt constraints deletion: 6777 -> 3390 1757.09/1757.72 c learnt constraints deletion: 6769 -> 3385 1759.79/1760.48 c learnt constraints deletion: 6777 -> 3390 1762.49/1763.11 c learnt constraints deletion: 6778 -> 3391 1765.29/1765.93 c learnt constraints deletion: 6774 -> 3390 1767.89/1768.51 c learnt constraints deletion: 6776 -> 3388 1770.30/1770.95 c learnt constraints deletion: 6777 -> 3390 1772.99/1773.61 c learnt constraints deletion: 6775 -> 3390 1775.49/1776.10 c learnt constraints deletion: 6778 -> 3391 1778.19/1778.83 c learnt constraints deletion: 6777 -> 3391 1780.78/1781.43 c learnt constraints deletion: 6776 -> 3392 1783.38/1784.01 c learnt constraints deletion: 6778 -> 3391 1786.09/1786.72 c learnt constraints deletion: 6768 -> 3388 1788.58/1789.27 c learnt constraints deletion: 6779 -> 3394 1791.38/1792.08 c learnt constraints deletion: 6774 -> 3393 1794.08/1794.76 c learnt constraints deletion: 6769 -> 3387 1796.79/1797.48 c learnt constraints deletion: 6774 -> 3390 1799.47/1800.12 c learnt constraints deletion: 6776 -> 3390
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-3707154-1338147878/watcher-3707154-1338147878 -o /tmp/evaluation-result-3707154-1338147878/solver-3707154-1338147878 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707154-1338147878.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.10 2.03 2.00 3/178 17719 /proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 806 0 0 0 0 0 0 0 20 0 1 0 280912607 6356992 726 33554432000 4194304 8973514 140733305281824 140735900547288 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 1552 726 415 1167 0 333 0 [startup+0.089854 s] /proc/loadavg: 2.10 2.03 2.00 3/178 17719 /proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=8256 CPUtime=0.08 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 1371 0 0 0 8 0 0 0 20 0 1 0 280912607 8454144 1291 33554432000 4194304 8973514 140733305281824 140735900547288 4459452 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 2064 1291 455 1167 0 845 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8256 [startup+0.100224 s] /proc/loadavg: 2.10 2.03 2.00 3/178 17719 /proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=8256 CPUtime=0.09 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 1371 0 0 0 9 0 0 0 20 0 1 0 280912607 8454144 1291 33554432000 4194304 8973514 140733305281824 140735900547288 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 2064 1291 455 1167 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8256 [startup+0.300186 s] /proc/loadavg: 2.10 2.03 2.00 3/178 17719 /proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=11328 CPUtime=0.29 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 2004 0 0 0 29 0 0 0 20 0 1 0 280912607 11599872 1924 33554432000 4194304 8973514 140733305281824 140735900547288 4459516 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 2832 1924 455 1167 0 1613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11328 [startup+0.700207 s] /proc/loadavg: 2.10 2.03 2.00 3/178 17719 /proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=14400 CPUtime=0.69 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 2912 0 0 0 69 0 0 0 20 0 1 0 280912607 14745600 2832 33554432000 4194304 8973514 140733305281824 140733305263808 4459177 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 3600 2832 456 1167 0 2381 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14400 [startup+1.50017 s] /proc/loadavg: 2.09 2.03 2.00 3/179 17720 /proc/meminfo: memFree=31362976/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=16448 CPUtime=1.48 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 3314 0 0 0 148 0 0 0 20 0 1 0 280912607 16842752 3234 33554432000 4194304 8973514 140733305281824 140733305264920 6842040 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 4112 3234 456 1167 0 2893 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 16448 [startup+3.10018 s] /proc/loadavg: 2.09 2.03 2.00 3/179 17720 /proc/meminfo: memFree=31360248/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=17472 CPUtime=3.09 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 3680 0 0 0 308 1 0 0 20 0 1 0 280912607 17891328 3600 33554432000 4194304 8973514 140733305281824 140733305281088 4462456 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 4368 3600 456 1167 0 3149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17472 [startup+6.30022 s] /proc/loadavg: 2.09 2.03 2.00 3/179 17720 /proc/meminfo: memFree=31357396/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=20544 CPUtime=6.29 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 4448 0 0 0 626 3 0 0 20 0 1 0 280912607 21037056 4368 33554432000 4194304 8973514 140733305281824 140733305263808 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 5136 4368 456 1167 0 3917 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20544 [startup+12.7002 s] /proc/loadavg: 2.08 2.03 2.00 3/179 17720 /proc/meminfo: memFree=31353080/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=23616 CPUtime=12.68 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 5216 0 0 0 1262 6 0 0 20 0 1 0 280912607 24182784 5136 33554432000 4194304 8973514 140733305281824 140733305281088 6852988 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 5904 5136 456 1167 0 4685 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23616 [startup+25.5002 s] /proc/loadavg: 2.07 2.03 2.00 3/180 17721 /proc/meminfo: memFree=31351336/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=25664 CPUtime=25.48 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 5728 0 0 0 2536 12 0 0 20 0 1 0 280912607 26279936 5648 33554432000 4194304 8973514 140733305281824 140733305263808 6570552 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/17719/statm: 6416 5648 456 1167 0 5197 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25664 [startup+51.1003 s] /proc/loadavg: 2.04 2.03 2.00 3/180 17721 /proc/meminfo: memFree=31350080/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=25664 CPUtime=51.07 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 9830 0 0 0 5083 24 0 0 20 0 1 0 280912607 26279936 5648 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 6416 5648 456 1167 0 5197 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25664 [startup+102.307 s] /proc/loadavg: 2.02 2.02 2.00 3/179 17721 /proc/meminfo: memFree=31344056/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=29760 CPUtime=102.26 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 18281 0 0 0 10174 52 0 0 20 0 1 0 280912607 30474240 6672 33554432000 4194304 8973514 140733305281824 140733305264920 4427632 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 7440 6672 456 1167 0 6221 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29760 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 17721 /proc/meminfo: memFree=31344784/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=33856 CPUtime=162.24 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 28781 0 0 0 16143 81 0 0 20 0 1 0 280912607 34668544 7696 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 8464 7696 456 1167 0 7245 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33856 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 17722 /proc/meminfo: memFree=31340732/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=33856 CPUtime=222.22 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 36984 0 0 0 22111 111 0 0 20 0 1 0 280912607 34668544 7696 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 8464 7696 456 1167 0 7245 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33856 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17722 /proc/meminfo: memFree=31340720/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=37952 CPUtime=282.21 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 47488 0 0 0 28075 146 0 0 20 0 1 0 280912607 38862848 8720 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 9488 8720 456 1167 0 8269 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 37952 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17725 /proc/meminfo: memFree=31339096/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=33856 CPUtime=342.19 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 55684 0 0 0 34040 179 0 0 20 0 1 0 280912607 34668544 7696 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 8464 7696 456 1167 0 7245 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33856 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17725 /proc/meminfo: memFree=31338456/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=35904 CPUtime=402.16 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 67985 0 0 0 40003 213 0 0 20 0 1 0 280912607 36765696 8208 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 8976 8208 456 1167 0 7757 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 35904 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17725 /proc/meminfo: memFree=31334840/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=37952 CPUtime=462.14 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 84124 0 0 0 45966 248 0 0 20 0 1 0 280912607 38862848 8720 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 9488 8720 456 1167 0 8269 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 37952 [startup+522.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 17726 /proc/meminfo: memFree=31335516/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=522.13 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 98212 0 0 0 51935 278 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 42048 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17726 /proc/meminfo: memFree=31334888/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=38976 CPUtime=582.1 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 113836 0 0 0 57897 313 0 0 20 0 1 0 280912607 39911424 8976 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 9744 8976 456 1167 0 8525 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 38976 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17727 /proc/meminfo: memFree=31330196/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=44096 CPUtime=881.99 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 186601 0 0 0 87719 480 0 0 20 0 1 0 280912607 45154304 10256 33554432000 4194304 8973514 140733305281824 140733305281088 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 11024 10256 456 1167 0 9805 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 44096 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17730 /proc/meminfo: memFree=31326136/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=46144 CPUtime=941.96 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 201205 0 0 0 93688 508 0 0 20 0 1 0 280912607 47251456 10768 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 11536 10768 456 1167 0 10317 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 46144 [startup+1002.3 s] /proc/loadavg: 2.07 2.02 2.00 3/180 17753 /proc/meminfo: memFree=31330208/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=43072 CPUtime=1001.94 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 215553 0 0 0 99653 541 0 0 20 0 1 0 280912607 44105728 10000 33554432000 4194304 8973514 140733305281824 140733305281088 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10768 10000 456 1167 0 9549 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 43072 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17753 /proc/meminfo: memFree=31332924/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=38976 CPUtime=1061.92 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 227854 0 0 0 105618 574 0 0 20 0 1 0 280912607 39911424 8976 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 9744 8976 456 1167 0 8525 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 38976 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 17754 /proc/meminfo: memFree=31328756/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1121.9 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 242452 0 0 0 111585 605 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 42048 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17754 /proc/meminfo: memFree=31325700/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1181.88 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 257305 0 0 0 117552 636 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 42048 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17793 /proc/meminfo: memFree=31326836/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1241.85 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 272680 0 0 0 123518 667 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 42048 [startup+1302.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 17793 /proc/meminfo: memFree=31298744/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=48192 CPUtime=1301.84 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 292917 0 0 0 129485 699 0 0 20 0 1 0 280912607 49348608 11280 33554432000 4194304 8973514 140733305281824 140733305281320 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 12048 11280 456 1167 0 10829 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 48192 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17793 /proc/meminfo: memFree=31296040/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1361.82 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 309047 0 0 0 135452 730 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 42048 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17794 /proc/meminfo: memFree=31289588/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=46144 CPUtime=1421.81 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 325689 0 0 0 141419 762 0 0 20 0 1 0 280912607 47251456 10768 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 11536 10768 456 1167 0 10317 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 46144 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17794 /proc/meminfo: memFree=31287440/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1481.77 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 343620 0 0 0 147385 792 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281088 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 42048 [startup+1542.3 s] /proc/loadavg: 2.04 2.01 2.00 3/180 17797 /proc/meminfo: memFree=31289600/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1541.75 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 360782 0 0 0 153352 823 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 42048 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 17797 /proc/meminfo: memFree=31286156/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1601.72 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 375389 0 0 0 159319 853 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 42048 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17797 /proc/meminfo: memFree=31290640/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=42048 CPUtime=1661.72 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 384861 0 0 0 165284 888 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 10512 9744 456 1167 0 9293 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 42048 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17798 /proc/meminfo: memFree=31277776/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=46144 CPUtime=1721.7 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 396134 0 0 0 171249 921 0 0 20 0 1 0 280912607 47251456 10768 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 11536 10768 456 1167 0 10317 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 46144 [startup+1782.3 s] /proc/loadavg: 2.12 2.03 2.01 3/179 17798 /proc/meminfo: memFree=31271432/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=50240 CPUtime=1781.69 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 406888 0 0 0 177215 954 0 0 20 0 1 0 280912607 51445760 11792 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 12560 11792 456 1167 0 11341 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 50240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 2.10 2.03 2.01 3/179 17798 /proc/meminfo: memFree=31269484/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=50240 CPUtime=1800.09 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 409458 0 0 0 179046 963 0 0 20 0 1 0 280912607 51445760 11792 33554432000 4194304 8973514 140733305281824 140733305281320 4459352 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 12560 11792 456 1167 0 11341 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 50240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 2.10 2.03 2.01 3/179 17798 /proc/meminfo: memFree=31269484/32873844 swapFree=7616/7616 [pid=17719] ppid=17717 vsize=50240 CPUtime=1800.09 cores=0,2,4,6 /proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 409458 0 0 0 179046 963 0 0 20 0 1 0 280912607 51445760 11792 33554432000 4194304 8973514 140733305281824 140733305281320 4459352 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/17719/statm: 12560 11792 456 1167 0 11341 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 50240 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.71 CPU time (s): 1800.1 CPU user time (s): 1790.46 CPU system time (s): 9.63354 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 58432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.46 system time used= 9.63354 maximum resident set size= 55360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409458 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= 277 involuntary context switches= 2798 runsolver used 3.35949 second user time and 8.93664 second system time The end
Begin job on node135 at 2012-05-27 21:44:38 IDJOB=3707154 IDBENCH=89835 IDSOLVER=2285 FILE ID=node135/3707154-1338147878 RUNJOBID= node135-1338118211-15436 PBS_JOBID= 14624474 Free space on /tmp= 71636 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707154-1338147878/watcher-3707154-1338147878 -o /tmp/evaluation-result-3707154-1338147878/solver-3707154-1338147878 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707154-1338147878.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb6edae9b271ecf76d3d6c31c88b027d RANDOM SEED=319294368 node135.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.820 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.64 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.820 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 : 5332.57 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.820 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 : 5332.55 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.820 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 : 5332.55 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.820 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 : 5332.54 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.820 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 : 5332.55 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.820 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 : 5238.35 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.820 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31372556 kB Buffers: 299716 kB Cached: 352224 kB SwapCached: 1720 kB Active: 569076 kB Inactive: 115760 kB Active(anon): 23476 kB Inactive(anon): 12016 kB Active(file): 545600 kB Inactive(file): 103744 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 7304 kB Writeback: 0 kB AnonPages: 38732 kB Mapped: 13520 kB Shmem: 132 kB Slab: 674816 kB SReclaimable: 116768 kB SUnreclaim: 558048 kB KernelStack: 1472 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 147472 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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= 71628 MiB End job on node135 at 2012-05-27 22:14:41