Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.12 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | 9c27419d6022516b3a8580fda3ca43ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 50 |
Best CPU time to get the best result obtained on this benchmark | 1.46878 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of variables | 807 |
Total number of constraints | 1823 |
Number of constraints which are clauses | 1823 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
Number of terms in the objective function | 807 |
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 | 807 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 807 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.19/0.25 c 2012-06-02T12:35:35+0200 0.19/0.25 c arch = x86_64 0.19/0.25 c os = linux 0.19/0.25 c compiler = ghc 7.4 0.19/0.25 c packages: 0.19/0.25 c OptDir-0.0.1 0.19/0.25 c array-0.4.0.0 0.19/0.25 c base-4.5.0.0 0.19/0.25 c bytestring-0.9.2.1 0.19/0.25 c containers-0.4.2.1 0.19/0.25 c deepseq-1.3.0.0 0.19/0.25 c mtl-2.1.1 0.19/0.25 c old_locale-1.0.0.4 0.19/0.25 c parse_dimacs-1.2 0.19/0.25 c parsec-3.1.2 0.19/0.25 c queue-0.1.2 0.19/0.25 c stm-2.3 0.19/0.25 c time-1.4 0.19/0.25 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725006-1338633335.opb"] 0.19/0.25 c #vars 807 0.19/0.25 c #constraints 1823 0.19/0.25 c Solving starts ... 0.19/0.25 c solving time = 0.002s 0.19/0.25 c #decision = 738 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 o 68 0.19/0.25 c Solving starts ... 0.28/0.36 c solving time = 0.112s 0.28/0.36 c #decision = 2048 0.28/0.36 c #conflict = 143 0.28/0.36 c #restart = 1 0.28/0.36 o 67 0.28/0.36 c Solving starts ... 1.99/2.07 c learnt constraints deletion: 1351 -> 687 3.09/3.11 c learnt constraints deletion: 1479 -> 762 4.19/4.30 c learnt constraints deletion: 1567 -> 788 5.59/5.67 c learnt constraints deletion: 1750 -> 896 6.79/6.80 c learnt constraints deletion: 1738 -> 877 8.28/8.36 c learnt constraints deletion: 1913 -> 966 9.48/9.59 c learnt constraints deletion: 1888 -> 960 11.18/11.22 c learnt constraints deletion: 2060 -> 1038 12.58/12.67 c learnt constraints deletion: 2149 -> 1098 14.09/14.17 c learnt constraints deletion: 2074 -> 1048 15.68/15.74 c learnt constraints deletion: 2085 -> 1063 16.28/16.39 c solving time = 16.021s 16.28/16.39 c #decision = 98289 16.28/16.39 c #conflict = 11412 16.28/16.39 c #restart = 10 16.28/16.39 o 66 16.28/16.39 c Solving starts ... 16.28/16.39 c learnt constraints deletion: 1531 -> 766 16.49/16.51 c learnt constraints deletion: 865 -> 433 17.19/17.21 c learnt constraints deletion: 1143 -> 572 17.99/18.07 c learnt constraints deletion: 1455 -> 741 18.99/19.00 c learnt constraints deletion: 1593 -> 800 19.88/19.99 c learnt constraints deletion: 1737 -> 882 20.79/20.89 c learnt constraints deletion: 1729 -> 873 21.99/22.01 c learnt constraints deletion: 1871 -> 936 22.79/22.89 c learnt constraints deletion: 1882 -> 945 23.78/23.80 c learnt constraints deletion: 1865 -> 935 24.78/24.89 c learnt constraints deletion: 2084 -> 1052 26.29/26.37 c learnt constraints deletion: 2099 -> 1059 27.49/27.51 c learnt constraints deletion: 2070 -> 1040 28.78/28.82 c learnt constraints deletion: 2252 -> 1126 30.19/30.25 c learnt constraints deletion: 2276 -> 1147 31.28/31.38 c learnt constraints deletion: 2283 -> 1151 32.69/32.72 c learnt constraints deletion: 2255 -> 1133 33.99/34.06 c learnt constraints deletion: 2261 -> 1137 35.38/35.46 c learnt constraints deletion: 2485 -> 1243 36.78/36.81 c learnt constraints deletion: 2489 -> 1245 37.98/38.06 c learnt constraints deletion: 2514 -> 1270 39.38/39.43 c learnt constraints deletion: 2470 -> 1241 40.58/40.65 c learnt constraints deletion: 2479 -> 1242 41.88/41.97 c learnt constraints deletion: 2470 -> 1242 43.47/43.50 c learnt constraints deletion: 2516 -> 1264 45.08/45.13 c learnt constraints deletion: 2737 -> 1369 46.48/46.53 c learnt constraints deletion: 2721 -> 1363 48.29/48.32 c learnt constraints deletion: 2726 -> 1368 50.18/50.23 c learnt constraints deletion: 2734 -> 1367 51.58/51.64 c learnt constraints deletion: 2725 -> 1372 52.88/52.94 c learnt constraints deletion: 2750 -> 1376 54.28/54.38 c learnt constraints deletion: 2713 -> 1361 55.58/55.61 c learnt constraints deletion: 2747 -> 1395 56.98/57.04 c learnt constraints deletion: 2717 -> 1364 58.28/58.33 c learnt constraints deletion: 2916 -> 1458 59.77/59.81 c learnt constraints deletion: 3007 -> 1512 61.48/61.55 c learnt constraints deletion: 3010 -> 1509 63.18/63.23 c learnt constraints deletion: 3026 -> 1519 64.78/64.85 c learnt constraints deletion: 2984 -> 1499 66.38/66.46 c learnt constraints deletion: 2991 -> 1509 68.08/68.13 c learnt constraints deletion: 3001 -> 1511 69.58/69.68 c learnt constraints deletion: 3014 -> 1520 71.18/71.22 c learnt constraints deletion: 2994 -> 1510 72.87/72.96 c learnt constraints deletion: 3018 -> 1526 74.58/74.61 c learnt constraints deletion: 3007 -> 1514 76.28/76.31 c learnt constraints deletion: 3000 -> 1500 77.87/77.92 c learnt constraints deletion: 2980 -> 1495 79.67/79.78 c learnt constraints deletion: 3266 -> 1633 81.47/81.50 c learnt constraints deletion: 3268 -> 1636 83.17/83.23 c learnt constraints deletion: 3295 -> 1661 85.07/85.19 c learnt constraints deletion: 3276 -> 1642 86.88/86.99 c learnt constraints deletion: 3298 -> 1654 89.07/89.10 c learnt constraints deletion: 3280 -> 1647 90.77/90.88 c learnt constraints deletion: 3298 -> 1659 92.47/92.57 c learnt constraints deletion: 3297 -> 1658 94.47/94.54 c learnt constraints deletion: 3293 -> 1660 95.97/96.03 c learnt constraints deletion: 3296 -> 1661 97.77/97.83 c learnt constraints deletion: 3305 -> 1667 99.37/99.46 c learnt constraints deletion: 3291 -> 1663 101.07/101.15 c learnt constraints deletion: 3338 -> 1688 102.76/102.88 c learnt constraints deletion: 3312 -> 1672 104.57/104.64 c learnt constraints deletion: 3314 -> 1673 106.27/106.31 c learnt constraints deletion: 3305 -> 1671 107.96/108.06 c learnt constraints deletion: 3292 -> 1663 109.56/109.67 c learnt constraints deletion: 3289 -> 1661 111.67/111.77 c learnt constraints deletion: 3589 -> 1795 113.67/113.72 c learnt constraints deletion: 3617 -> 1810 115.76/115.80 c learnt constraints deletion: 3605 -> 1807 117.57/117.60 c learnt constraints deletion: 3593 -> 1801 119.27/119.30 c learnt constraints deletion: 3608 -> 1820 121.06/121.12 c learnt constraints deletion: 3594 -> 1803 123.26/123.33 c learnt constraints deletion: 3603 -> 1810 124.96/125.08 c learnt constraints deletion: 3601 -> 1811 126.86/126.99 c learnt constraints deletion: 3613 -> 1822 128.76/128.87 c learnt constraints deletion: 3591 -> 1811 130.77/130.81 c learnt constraints deletion: 3616 -> 1825 132.66/132.74 c learnt constraints deletion: 3614 -> 1827 134.57/134.62 c learnt constraints deletion: 3631 -> 1839 136.66/136.73 c learnt constraints deletion: 3599 -> 1807 138.66/138.78 c learnt constraints deletion: 3592 -> 1805 140.56/140.67 c learnt constraints deletion: 3614 -> 1817 142.56/142.69 c learnt constraints deletion: 3622 -> 1820 144.56/144.60 c learnt constraints deletion: 3595 -> 1798 146.36/146.44 c learnt constraints deletion: 3639 -> 1832 148.56/148.61 c learnt constraints deletion: 3621 -> 1820 150.76/150.80 c learnt constraints deletion: 3622 -> 1815 152.66/152.78 c learnt constraints deletion: 3619 -> 1815 154.75/154.87 c learnt constraints deletion: 3584 -> 1802 156.76/156.83 c learnt constraints deletion: 3611 -> 1814 159.25/159.35 c learnt constraints deletion: 3952 -> 1978 161.66/161.72 c learnt constraints deletion: 3936 -> 1970 163.86/163.94 c learnt constraints deletion: 3969 -> 1989 166.07/166.13 c learnt constraints deletion: 3962 -> 1996 168.16/168.23 c learnt constraints deletion: 3959 -> 1999 170.36/170.45 c learnt constraints deletion: 3983 -> 2014 172.56/172.66 c learnt constraints deletion: 3955 -> 1994 174.56/174.69 c learnt constraints deletion: 3946 -> 1973 176.76/176.87 c learnt constraints deletion: 3953 -> 1978 179.45/179.51 c learnt constraints deletion: 3956 -> 1981 181.36/181.45 c learnt constraints deletion: 3939 -> 1974 183.25/183.32 c learnt constraints deletion: 3961 -> 1989 185.45/185.51 c learnt constraints deletion: 3965 -> 1994 187.45/187.55 c learnt constraints deletion: 3972 -> 1994 189.45/189.58 c learnt constraints deletion: 3995 -> 2007 191.55/191.64 c learnt constraints deletion: 3954 -> 1987 193.35/193.42 c learnt constraints deletion: 3964 -> 1993 195.25/195.35 c learnt constraints deletion: 3949 -> 1989 197.45/197.58 c learnt constraints deletion: 3954 -> 1991 199.35/199.46 c learnt constraints deletion: 3958 -> 1994 201.85/201.91 c learnt constraints deletion: 3968 -> 2001 204.56/204.69 c learnt constraints deletion: 3988 -> 2012 206.75/206.88 c learnt constraints deletion: 3951 -> 1999 209.05/209.17 c learnt constraints deletion: 3987 -> 2017 211.35/211.41 c learnt constraints deletion: 3990 -> 2020 213.25/213.37 c learnt constraints deletion: 3980 -> 2016 216.14/216.27 c learnt constraints deletion: 3964 -> 2010 218.65/218.80 c learnt constraints deletion: 3984 -> 2024 221.05/221.13 c learnt constraints deletion: 3990 -> 2021 223.35/223.49 c learnt constraints deletion: 3936 -> 1969 226.25/226.31 c learnt constraints deletion: 3985 -> 2003 228.75/228.87 c learnt constraints deletion: 3948 -> 1978 231.75/231.84 c learnt constraints deletion: 4021 -> 2022 235.35/235.45 c learnt constraints deletion: 4330 -> 2170 238.04/238.12 c learnt constraints deletion: 4316 -> 2158 241.24/241.38 c learnt constraints deletion: 4348 -> 2176 244.14/244.28 c learnt constraints deletion: 4356 -> 2189 247.14/247.26 c learnt constraints deletion: 4349 -> 2182 250.34/250.44 c learnt constraints deletion: 4333 -> 2175 253.34/253.43 c learnt constraints deletion: 4340 -> 2181 256.44/256.58 c learnt constraints deletion: 4347 -> 2188 259.45/259.52 c learnt constraints deletion: 4361 -> 2196 262.34/262.41 c learnt constraints deletion: 4372 -> 2205 265.44/265.57 c learnt constraints deletion: 4350 -> 2184 268.43/268.58 c learnt constraints deletion: 4363 -> 2192 271.24/271.34 c learnt constraints deletion: 4398 -> 2200 273.94/274.07 c learnt constraints deletion: 4323 -> 2167 276.94/277.05 c learnt constraints deletion: 4344 -> 2174 280.03/280.16 c learnt constraints deletion: 4375 -> 2192 283.04/283.12 c learnt constraints deletion: 4376 -> 2194 285.73/285.84 c learnt constraints deletion: 4333 -> 2174 288.83/288.95 c learnt constraints deletion: 4337 -> 2178 291.83/291.99 c learnt constraints deletion: 4370 -> 2198 294.83/294.92 c learnt constraints deletion: 4340 -> 2185 297.63/297.74 c learnt constraints deletion: 4361 -> 2203 300.93/301.07 c learnt constraints deletion: 4333 -> 2186 303.93/304.01 c learnt constraints deletion: 4347 -> 2194 306.84/306.93 c learnt constraints deletion: 4357 -> 2200 309.93/310.00 c learnt constraints deletion: 4391 -> 2219 312.83/312.97 c learnt constraints deletion: 4313 -> 2161 315.73/315.88 c learnt constraints deletion: 4324 -> 2164 318.73/318.88 c learnt constraints deletion: 4336 -> 2172 321.73/321.86 c learnt constraints deletion: 4352 -> 2181 324.83/324.98 c learnt constraints deletion: 4376 -> 2200 327.92/328.04 c learnt constraints deletion: 4327 -> 2180 331.23/331.36 c learnt constraints deletion: 4344 -> 2176 333.73/333.89 c learnt constraints deletion: 4349 -> 2183 336.33/336.43 c learnt constraints deletion: 4346 -> 2185 339.13/339.27 c learnt constraints deletion: 4327 -> 2169 342.93/343.05 c learnt constraints deletion: 4329 -> 2174 345.43/345.50 c learnt constraints deletion: 4349 -> 2182 347.83/347.90 c learnt constraints deletion: 4325 -> 2170 350.22/350.37 c learnt constraints deletion: 4344 -> 2180 352.93/353.00 c learnt constraints deletion: 4348 -> 2184 355.52/355.63 c learnt constraints deletion: 4354 -> 2190 358.22/358.38 c learnt constraints deletion: 4352 -> 2192 360.63/360.79 c learnt constraints deletion: 4364 -> 2201 363.52/363.62 c learnt constraints deletion: 4357 -> 2195 366.52/366.66 c learnt constraints deletion: 4756 -> 2384 369.22/369.32 c learnt constraints deletion: 4750 -> 2384 372.62/372.77 c learnt constraints deletion: 4749 -> 2375 375.12/375.24 c learnt constraints deletion: 4763 -> 2383 377.81/377.93 c learnt constraints deletion: 4752 -> 2379 380.32/380.46 c learnt constraints deletion: 4778 -> 2395 383.31/383.45 c learnt constraints deletion: 4763 -> 2392 386.62/386.70 c learnt constraints deletion: 4760 -> 2384 389.33/389.42 c learnt constraints deletion: 4761 -> 2383 391.61/391.70 c learnt constraints deletion: 4765 -> 2387 394.02/394.12 c learnt constraints deletion: 4768 -> 2391 396.42/396.56 c learnt constraints deletion: 4758 -> 2390 399.72/399.87 c learnt constraints deletion: 4766 -> 2397 403.01/403.11 c learnt constraints deletion: 4770 -> 2388 406.72/406.87 c learnt constraints deletion: 4757 -> 2383 410.02/410.11 c learnt constraints deletion: 4808 -> 2416 413.61/413.77 c learnt constraints deletion: 4762 -> 2387 416.82/416.91 c learnt constraints deletion: 4755 -> 2381 420.31/420.41 c learnt constraints deletion: 4784 -> 2397 423.81/423.91 c learnt constraints deletion: 4829 -> 2418 427.21/427.31 c learnt constraints deletion: 4779 -> 2396 430.51/430.66 c learnt constraints deletion: 4759 -> 2385 434.21/434.36 c learnt constraints deletion: 4789 -> 2402 437.51/437.61 c learnt constraints deletion: 4809 -> 2414 440.92/441.07 c learnt constraints deletion: 4771 -> 2397 444.22/444.37 c learnt constraints deletion: 4810 -> 2418 447.41/447.52 c learnt constraints deletion: 4857 -> 2443 450.71/450.81 c learnt constraints deletion: 4812 -> 2422 454.11/454.24 c learnt constraints deletion: 4791 -> 2416 456.81/456.95 c learnt constraints deletion: 4758 -> 2383 459.80/459.99 c learnt constraints deletion: 4760 -> 2386 463.70/463.81 c learnt constraints deletion: 4786 -> 2403 467.71/467.87 c learnt constraints deletion: 4763 -> 2397 470.61/470.72 c learnt constraints deletion: 4761 -> 2387 474.40/474.50 c learnt constraints deletion: 4759 -> 2390 478.01/478.15 c learnt constraints deletion: 4775 -> 2395 481.71/481.85 c learnt constraints deletion: 4757 -> 2389 485.01/485.15 c learnt constraints deletion: 4757 -> 2389 488.21/488.30 c learnt constraints deletion: 4777 -> 2399 490.70/490.81 c learnt constraints deletion: 4752 -> 2384 493.71/493.84 c learnt constraints deletion: 4783 -> 2405 496.70/496.83 c learnt constraints deletion: 4772 -> 2394 500.20/500.39 c learnt constraints deletion: 4781 -> 2400 503.40/503.52 c learnt constraints deletion: 4769 -> 2395 507.01/507.12 c learnt constraints deletion: 4782 -> 2401 511.31/511.45 c learnt constraints deletion: 4760 -> 2395 514.60/514.75 c learnt constraints deletion: 4768 -> 2395 518.20/518.32 c learnt constraints deletion: 4796 -> 2412 521.70/521.83 c learnt constraints deletion: 4761 -> 2398 525.09/525.27 c learnt constraints deletion: 4789 -> 2409 528.90/529.08 c learnt constraints deletion: 4800 -> 2415 532.30/532.50 c learnt constraints deletion: 4763 -> 2394 536.49/536.69 c learnt constraints deletion: 4761 -> 2393 539.90/540.08 c learnt constraints deletion: 4774 -> 2400 543.49/543.63 c learnt constraints deletion: 4786 -> 2408 546.89/547.03 c learnt constraints deletion: 4764 -> 2399 550.69/550.86 c learnt constraints deletion: 4792 -> 2410 554.19/554.38 c learnt constraints deletion: 4760 -> 2395 557.49/557.62 c learnt constraints deletion: 4772 -> 2405 560.80/560.92 c learnt constraints deletion: 4762 -> 2398 564.20/564.38 c learnt constraints deletion: 4812 -> 2424 567.29/567.49 c learnt constraints deletion: 4763 -> 2400 571.28/571.41 c learnt constraints deletion: 5245 -> 2643 574.89/575.03 c learnt constraints deletion: 5244 -> 2622 578.09/578.22 c learnt constraints deletion: 5227 -> 2618 581.49/581.63 c learnt constraints deletion: 5212 -> 2613 584.99/585.17 c learnt constraints deletion: 5221 -> 2611 587.98/588.14 c learnt constraints deletion: 5225 -> 2615 591.38/591.57 c learnt constraints deletion: 5246 -> 2625 595.09/595.26 c learnt constraints deletion: 5228 -> 2615 598.09/598.29 c learnt constraints deletion: 5255 -> 2630 601.39/601.53 c learnt constraints deletion: 5310 -> 2659 604.28/604.43 c learnt constraints deletion: 5215 -> 2614 608.58/608.74 c learnt constraints deletion: 5241 -> 2632 611.98/612.14 c learnt constraints deletion: 5225 -> 2617 615.08/615.21 c learnt constraints deletion: 5224 -> 2619 617.38/617.52 c learnt constraints deletion: 5226 -> 2616 619.48/619.64 c learnt constraints deletion: 5244 -> 2632 621.58/621.78 c learnt constraints deletion: 5230 -> 2620 623.88/624.02 c learnt constraints deletion: 5221 -> 2622 626.58/626.78 c learnt constraints deletion: 5229 -> 2620 630.08/630.20 c learnt constraints deletion: 5218 -> 2616 632.88/633.02 c learnt constraints deletion: 5231 -> 2627 635.69/635.85 c learnt constraints deletion: 5213 -> 2615 638.48/638.64 c learnt constraints deletion: 5229 -> 2630 640.87/641.04 c learnt constraints deletion: 5246 -> 2633 643.67/643.89 c learnt constraints deletion: 5230 -> 2626 646.38/646.54 c learnt constraints deletion: 5239 -> 2633 649.37/649.51 c learnt constraints deletion: 5227 -> 2627 652.87/653.04 c learnt constraints deletion: 5241 -> 2633 655.67/655.80 c learnt constraints deletion: 5238 -> 2632 658.58/658.70 c learnt constraints deletion: 5229 -> 2633 661.47/661.61 c learnt constraints deletion: 5238 -> 2635 664.77/664.94 c learnt constraints deletion: 5239 -> 2639 668.28/668.48 c learnt constraints deletion: 5232 -> 2633 670.78/670.99 c learnt constraints deletion: 5234 -> 2635 673.18/673.38 c learnt constraints deletion: 5220 -> 2610 675.37/675.54 c learnt constraints deletion: 5235 -> 2623 677.48/677.64 c learnt constraints deletion: 5232 -> 2629 680.27/680.44 c learnt constraints deletion: 5220 -> 2611 683.27/683.46 c learnt constraints deletion: 5228 -> 2621 685.77/685.92 c learnt constraints deletion: 5235 -> 2620 688.07/688.22 c learnt constraints deletion: 5239 -> 2627 690.97/691.11 c learnt constraints deletion: 5250 -> 2628 694.07/694.20 c learnt constraints deletion: 5250 -> 2631 697.18/697.39 c learnt constraints deletion: 5245 -> 2632 700.36/700.50 c learnt constraints deletion: 5236 -> 2632 704.16/704.31 c learnt constraints deletion: 5209 -> 2609 706.77/706.97 c learnt constraints deletion: 5236 -> 2624 709.27/709.41 c learnt constraints deletion: 5228 -> 2625 711.36/711.54 c learnt constraints deletion: 5228 -> 2619 713.47/713.68 c learnt constraints deletion: 5219 -> 2619 715.47/715.65 c learnt constraints deletion: 5240 -> 2639 717.56/717.73 c learnt constraints deletion: 5232 -> 2624 719.76/719.99 c learnt constraints deletion: 5234 -> 2624 722.07/722.29 c learnt constraints deletion: 5236 -> 2626 724.37/724.52 c learnt constraints deletion: 5225 -> 2622 726.46/726.62 c learnt constraints deletion: 5235 -> 2631 728.47/728.64 c learnt constraints deletion: 5226 -> 2623 730.77/730.94 c learnt constraints deletion: 5218 -> 2620 733.07/733.25 c learnt constraints deletion: 5229 -> 2627 735.36/735.58 c learnt constraints deletion: 5248 -> 2638 737.67/737.82 c learnt constraints deletion: 5238 -> 2638 739.76/739.99 c learnt constraints deletion: 5252 -> 2653 741.96/742.18 c learnt constraints deletion: 5224 -> 2625 744.16/744.34 c learnt constraints deletion: 5230 -> 2630 746.26/746.48 c learnt constraints deletion: 5242 -> 2637 748.36/748.58 c learnt constraints deletion: 5231 -> 2634 750.56/750.74 c learnt constraints deletion: 5235 -> 2637 752.76/752.93 c learnt constraints deletion: 5231 -> 2637 754.96/755.13 c learnt constraints deletion: 5226 -> 2614 757.06/757.20 c learnt constraints deletion: 5219 -> 2618 759.26/759.47 c learnt constraints deletion: 5234 -> 2619 761.66/761.83 c learnt constraints deletion: 5218 -> 2615 763.86/764.00 c learnt constraints deletion: 5218 -> 2620 765.96/766.12 c learnt constraints deletion: 5257 -> 2647 768.26/768.41 c learnt constraints deletion: 5243 -> 2646 770.66/770.87 c learnt constraints deletion: 5240 -> 2623 773.36/773.53 c learnt constraints deletion: 5244 -> 2626 775.76/775.93 c learnt constraints deletion: 5229 -> 2621 778.05/778.28 c learnt constraints deletion: 5236 -> 2630 780.56/780.74 c learnt constraints deletion: 5231 -> 2621 782.65/782.89 c learnt constraints deletion: 5227 -> 2626 785.27/785.41 c learnt constraints deletion: 5250 -> 2632 787.36/787.53 c learnt constraints deletion: 5226 -> 2623 789.46/789.64 c learnt constraints deletion: 5226 -> 2628 791.55/791.79 c learnt constraints deletion: 5246 -> 2644 794.26/794.42 c learnt constraints deletion: 5743 -> 2879 796.75/796.90 c learnt constraints deletion: 5737 -> 2877 799.35/799.52 c learnt constraints deletion: 5744 -> 2881 801.76/801.96 c learnt constraints deletion: 5746 -> 2883 804.16/804.36 c learnt constraints deletion: 5746 -> 2885 806.55/806.73 c learnt constraints deletion: 5769 -> 2905 808.85/809.05 c learnt constraints deletion: 5741 -> 2882 811.25/811.48 c learnt constraints deletion: 5751 -> 2888 813.86/814.03 c learnt constraints deletion: 5753 -> 2894 816.25/816.43 c learnt constraints deletion: 5737 -> 2882 818.85/819.06 c learnt constraints deletion: 5760 -> 2894 821.66/821.82 c learnt constraints deletion: 5751 -> 2892 824.25/824.43 c learnt constraints deletion: 5740 -> 2889 826.85/827.08 c learnt constraints deletion: 5759 -> 2896 829.45/829.61 c learnt constraints deletion: 5759 -> 2901 832.35/832.60 c learnt constraints deletion: 5733 -> 2884 834.85/835.01 c learnt constraints deletion: 5756 -> 2899 837.45/837.67 c learnt constraints deletion: 5746 -> 2892 840.34/840.52 c learnt constraints deletion: 5755 -> 2900 843.15/843.36 c learnt constraints deletion: 5733 -> 2867 845.95/846.19 c learnt constraints deletion: 5737 -> 2874 848.54/848.72 c learnt constraints deletion: 5753 -> 2888 851.16/851.39 c learnt constraints deletion: 5734 -> 2868 853.85/854.01 c learnt constraints deletion: 5742 -> 2878 856.55/856.70 c learnt constraints deletion: 5751 -> 2878 859.15/859.33 c learnt constraints deletion: 5746 -> 2881 861.75/861.94 c learnt constraints deletion: 5738 -> 2874 864.55/864.77 c learnt constraints deletion: 5753 -> 2882 867.24/867.45 c learnt constraints deletion: 5748 -> 2878 869.54/869.75 c learnt constraints deletion: 5737 -> 2875 872.15/872.33 c learnt constraints deletion: 5748 -> 2879 874.44/874.66 c learnt constraints deletion: 5739 -> 2875 876.74/876.95 c learnt constraints deletion: 5752 -> 2885 878.95/879.14 c learnt constraints deletion: 5751 -> 2891 881.35/881.52 c learnt constraints deletion: 5746 -> 2879 883.54/883.78 c learnt constraints deletion: 5748 -> 2884 885.84/886.03 c learnt constraints deletion: 5738 -> 2876 888.14/888.38 c learnt constraints deletion: 5757 -> 2887 890.54/890.70 c learnt constraints deletion: 5749 -> 2887 892.74/892.97 c learnt constraints deletion: 5758 -> 2898 895.14/895.31 c learnt constraints deletion: 5731 -> 2875 897.54/897.73 c learnt constraints deletion: 5763 -> 2894 900.04/900.28 c learnt constraints deletion: 5754 -> 2887 902.44/902.67 c learnt constraints deletion: 5732 -> 2877 904.83/905.05 c learnt constraints deletion: 5745 -> 2890 907.14/907.30 c learnt constraints deletion: 5744 -> 2894 909.64/909.81 c learnt constraints deletion: 5741 -> 2884 912.03/912.21 c learnt constraints deletion: 5749 -> 2891 914.64/914.81 c learnt constraints deletion: 5763 -> 2905 917.24/917.41 c learnt constraints deletion: 5752 -> 2890 919.64/919.88 c learnt constraints deletion: 5748 -> 2893 922.23/922.43 c learnt constraints deletion: 5757 -> 2906 924.84/925.01 c learnt constraints deletion: 5735 -> 2884 927.23/927.43 c learnt constraints deletion: 5760 -> 2898 929.74/929.93 c learnt constraints deletion: 5764 -> 2907 932.13/932.34 c learnt constraints deletion: 5742 -> 2890 934.63/934.83 c learnt constraints deletion: 5754 -> 2900 936.94/937.18 c learnt constraints deletion: 5764 -> 2903 939.43/939.68 c learnt constraints deletion: 5756 -> 2902 942.03/942.23 c learnt constraints deletion: 5724 -> 2863 944.33/944.58 c learnt constraints deletion: 5727 -> 2868 946.63/946.87 c learnt constraints deletion: 5771 -> 2888 948.93/949.19 c learnt constraints deletion: 5722 -> 2865 951.24/951.45 c learnt constraints deletion: 5755 -> 2887 953.44/953.63 c learnt constraints deletion: 5747 -> 2882 955.63/955.87 c learnt constraints deletion: 5736 -> 2872 958.03/958.29 c learnt constraints deletion: 5754 -> 2881 960.53/960.72 c learnt constraints deletion: 5735 -> 2876 962.93/963.15 c learnt constraints deletion: 5744 -> 2886 965.42/965.69 c learnt constraints deletion: 5746 -> 2892 967.92/968.15 c learnt constraints deletion: 5755 -> 2902 970.63/970.85 c learnt constraints deletion: 5756 -> 2910 973.34/973.56 c learnt constraints deletion: 5750 -> 2881 976.02/976.25 c learnt constraints deletion: 5746 -> 2885 978.83/979.04 c learnt constraints deletion: 5765 -> 2889 981.72/981.91 c learnt constraints deletion: 5743 -> 2881 984.33/984.57 c learnt constraints deletion: 5744 -> 2884 987.12/987.33 c learnt constraints deletion: 5768 -> 2900 989.73/989.96 c learnt constraints deletion: 5753 -> 2899 992.43/992.67 c learnt constraints deletion: 5750 -> 2893 995.03/995.25 c learnt constraints deletion: 5741 -> 2878 997.72/997.95 c learnt constraints deletion: 5769 -> 2896 1000.62/1000.85 c learnt constraints deletion: 5750 -> 2883 1003.32/1003.53 c learnt constraints deletion: 5747 -> 2885 1006.23/1006.47 c learnt constraints deletion: 5760 -> 2895 1008.92/1009.17 c learnt constraints deletion: 5753 -> 2896 1011.62/1011.80 c learnt constraints deletion: 5763 -> 2907 1014.22/1014.48 c learnt constraints deletion: 5750 -> 2884 1016.82/1017.00 c learnt constraints deletion: 5733 -> 2877 1019.43/1019.63 c learnt constraints deletion: 5747 -> 2887 1021.92/1022.18 c learnt constraints deletion: 5748 -> 2890 1024.42/1024.66 c learnt constraints deletion: 5761 -> 2901 1027.13/1027.39 c learnt constraints deletion: 5773 -> 2911 1030.12/1030.31 c learnt constraints deletion: 5748 -> 2885 1032.92/1033.13 c learnt constraints deletion: 5761 -> 2894 1035.62/1035.81 c learnt constraints deletion: 5744 -> 2885 1038.32/1038.58 c learnt constraints deletion: 5753 -> 2893 1041.11/1041.30 c learnt constraints deletion: 5750 -> 2896 1043.82/1044.00 c learnt constraints deletion: 5766 -> 2910 1046.71/1046.92 c learnt constraints deletion: 5751 -> 2889 1049.52/1049.71 c learnt constraints deletion: 5740 -> 2884 1052.32/1052.50 c learnt constraints deletion: 5760 -> 2898 1055.02/1055.21 c learnt constraints deletion: 5757 -> 2904 1057.71/1057.92 c learnt constraints deletion: 5748 -> 2892 1060.61/1060.84 c learnt constraints deletion: 5745 -> 2888 1063.52/1063.77 c learnt constraints deletion: 5763 -> 2898 1066.41/1066.64 c learnt constraints deletion: 5762 -> 2899 1069.31/1069.50 c learnt constraints deletion: 5769 -> 2906 1072.21/1072.47 c learnt constraints deletion: 5755 -> 2896 1074.91/1075.15 c learnt constraints deletion: 5767 -> 2886 1077.91/1078.18 c learnt constraints deletion: 5759 -> 2885 1080.91/1081.16 c learnt constraints deletion: 5764 -> 2892 1083.70/1083.95 c learnt constraints deletion: 5764 -> 2895 1086.61/1086.88 c learnt constraints deletion: 5736 -> 2871 1089.81/1090.04 c learnt constraints deletion: 5734 -> 2871 1093.31/1093.54 c learnt constraints deletion: 6312 -> 3163 1096.20/1096.48 c learnt constraints deletion: 6324 -> 3173 1099.61/1099.80 c learnt constraints deletion: 6313 -> 3162 1102.51/1102.70 c learnt constraints deletion: 6305 -> 3160 1105.32/1105.59 c learnt constraints deletion: 6314 -> 3168 1108.61/1108.84 c learnt constraints deletion: 6297 -> 3149 1112.31/1112.58 c learnt constraints deletion: 6312 -> 3159 1115.60/1115.83 c learnt constraints deletion: 6309 -> 3161 1118.61/1118.86 c learnt constraints deletion: 6308 -> 3165 1121.81/1122.05 c learnt constraints deletion: 6316 -> 3173 1125.20/1125.42 c learnt constraints deletion: 6324 -> 3185 1128.41/1128.69 c learnt constraints deletion: 6317 -> 3164 1131.70/1131.96 c learnt constraints deletion: 6302 -> 3152 1135.01/1135.23 c learnt constraints deletion: 6323 -> 3167 1138.40/1138.67 c learnt constraints deletion: 6303 -> 3160 1141.60/1141.88 c learnt constraints deletion: 6313 -> 3159 1145.00/1145.26 c learnt constraints deletion: 6310 -> 3159 1148.50/1148.70 c learnt constraints deletion: 6327 -> 3170 1152.10/1152.33 c learnt constraints deletion: 6312 -> 3165 1155.50/1155.71 c learnt constraints deletion: 6332 -> 3179 1158.59/1158.85 c learnt constraints deletion: 6338 -> 3187 1162.10/1162.31 c learnt constraints deletion: 6345 -> 3194 1165.60/1165.84 c learnt constraints deletion: 6332 -> 3192 1168.70/1168.93 c learnt constraints deletion: 6349 -> 3208 1171.89/1172.12 c learnt constraints deletion: 6309 -> 3167 1175.40/1175.68 c learnt constraints deletion: 6312 -> 3159 1179.09/1179.32 c learnt constraints deletion: 6299 -> 3155 1183.19/1183.47 c learnt constraints deletion: 6329 -> 3176 1186.70/1186.94 c learnt constraints deletion: 6337 -> 3173 1190.30/1190.54 c learnt constraints deletion: 6300 -> 3156 1193.69/1193.91 c learnt constraints deletion: 6315 -> 3167 1196.89/1197.14 c learnt constraints deletion: 6321 -> 3173 1200.19/1200.47 c learnt constraints deletion: 6312 -> 3172 1203.89/1204.16 c learnt constraints deletion: 6334 -> 3188 1207.29/1207.57 c learnt constraints deletion: 6325 -> 3189 1210.59/1210.83 c learnt constraints deletion: 6334 -> 3201 1213.99/1214.28 c learnt constraints deletion: 6314 -> 3174 1217.59/1217.86 c learnt constraints deletion: 6294 -> 3152 1221.09/1221.34 c learnt constraints deletion: 6303 -> 3160 1224.59/1224.86 c learnt constraints deletion: 6311 -> 3166 1228.19/1228.49 c learnt constraints deletion: 6333 -> 3173 1231.89/1232.12 c learnt constraints deletion: 6324 -> 3169 1235.29/1235.52 c learnt constraints deletion: 6304 -> 3162 1239.18/1239.42 c learnt constraints deletion: 6315 -> 3171 1242.79/1243.05 c learnt constraints deletion: 6302 -> 3167 1245.88/1246.15 c learnt constraints deletion: 6316 -> 3177 1249.19/1249.46 c learnt constraints deletion: 6329 -> 3188 1252.49/1252.70 c learnt constraints deletion: 6328 -> 3191 1255.59/1255.89 c learnt constraints deletion: 6341 -> 3202 1259.19/1259.50 c learnt constraints deletion: 6318 -> 3192 1262.98/1263.22 c learnt constraints deletion: 6298 -> 3158 1266.18/1266.43 c learnt constraints deletion: 6317 -> 3167 1270.19/1270.44 c learnt constraints deletion: 6329 -> 3175 1274.08/1274.35 c learnt constraints deletion: 6308 -> 3166 1277.98/1278.29 c learnt constraints deletion: 6299 -> 3164 1281.68/1281.97 c learnt constraints deletion: 6329 -> 3184 1285.69/1285.97 c learnt constraints deletion: 6339 -> 3195 1288.58/1288.85 c learnt constraints deletion: 6337 -> 3202 1291.58/1291.81 c learnt constraints deletion: 6320 -> 3169 1295.59/1295.85 c learnt constraints deletion: 6327 -> 3174 1299.28/1299.55 c learnt constraints deletion: 6332 -> 3179 1302.98/1303.24 c learnt constraints deletion: 6330 -> 3177 1306.17/1306.44 c learnt constraints deletion: 6335 -> 3183 1309.57/1309.87 c learnt constraints deletion: 6334 -> 3186 1313.08/1313.40 c learnt constraints deletion: 6328 -> 3187 1317.17/1317.47 c learnt constraints deletion: 6325 -> 3191 1321.28/1321.52 c learnt constraints deletion: 6344 -> 3203 1325.77/1326.09 c learnt constraints deletion: 6359 -> 3214 1330.07/1330.37 c learnt constraints deletion: 6331 -> 3207 1334.37/1334.60 c learnt constraints deletion: 6379 -> 3235 1338.47/1338.75 c learnt constraints deletion: 6334 -> 3194 1342.77/1343.09 c learnt constraints deletion: 6318 -> 3171 1346.08/1346.37 c learnt constraints deletion: 6321 -> 3175 1349.17/1349.42 c learnt constraints deletion: 6321 -> 3179 1353.57/1353.88 c learnt constraints deletion: 6331 -> 3191 1359.28/1359.52 c learnt constraints deletion: 6330 -> 3179 1363.46/1363.76 c learnt constraints deletion: 6348 -> 3189 1368.17/1368.43 c learnt constraints deletion: 6334 -> 3184 1371.96/1372.23 c learnt constraints deletion: 6333 -> 3187 1375.97/1376.25 c learnt constraints deletion: 6337 -> 3192 1379.66/1379.92 c learnt constraints deletion: 6326 -> 3189 1383.47/1383.75 c learnt constraints deletion: 6341 -> 3201 1387.06/1387.35 c learnt constraints deletion: 6346 -> 3205 1390.66/1390.90 c learnt constraints deletion: 6343 -> 3207 1394.06/1394.33 c learnt constraints deletion: 6346 -> 3214 1397.66/1397.98 c learnt constraints deletion: 6307 -> 3171 1401.56/1401.87 c learnt constraints deletion: 6338 -> 3190 1404.96/1405.29 c learnt constraints deletion: 6322 -> 3185 1408.35/1408.60 c learnt constraints deletion: 6341 -> 3200 1411.86/1412.10 c learnt constraints deletion: 6327 -> 3197 1415.25/1415.51 c learnt constraints deletion: 6348 -> 3213 1418.67/1418.96 c learnt constraints deletion: 6294 -> 3147 1421.96/1422.30 c learnt constraints deletion: 6289 -> 3147 1425.26/1425.60 c learnt constraints deletion: 6305 -> 3157 1428.66/1428.93 c learnt constraints deletion: 6336 -> 3175 1432.26/1432.56 c learnt constraints deletion: 6334 -> 3178 1435.65/1435.94 c learnt constraints deletion: 6319 -> 3169 1439.16/1439.49 c learnt constraints deletion: 6332 -> 3175 1442.75/1443.09 c learnt constraints deletion: 6320 -> 3169 1446.46/1446.73 c learnt constraints deletion: 6294 -> 3148 1449.95/1450.23 c learnt constraints deletion: 6298 -> 3152 1453.05/1453.37 c learnt constraints deletion: 6312 -> 3163 1456.16/1456.43 c learnt constraints deletion: 6333 -> 3180 1459.56/1459.83 c learnt constraints deletion: 6338 -> 3189 1462.55/1462.90 c learnt constraints deletion: 6301 -> 3165 1466.06/1466.39 c learnt constraints deletion: 6316 -> 3160 1469.55/1469.87 c learnt constraints deletion: 6307 -> 3158 1473.15/1473.47 c learnt constraints deletion: 6312 -> 3164 1476.95/1477.21 c learnt constraints deletion: 6316 -> 3168 1480.25/1480.59 c learnt constraints deletion: 6318 -> 3171 1484.14/1484.43 c learnt constraints deletion: 6396 -> 3213 1487.95/1488.28 c learnt constraints deletion: 6339 -> 3189 1491.54/1491.80 c learnt constraints deletion: 6340 -> 3192 1495.55/1495.80 c learnt constraints deletion: 6333 -> 3192 1499.45/1499.71 c learnt constraints deletion: 6327 -> 3195 1503.54/1503.85 c learnt constraints deletion: 6343 -> 3175 1507.25/1507.59 c learnt constraints deletion: 6315 -> 3164 1510.74/1511.03 c learnt constraints deletion: 6316 -> 3167 1514.04/1514.32 c learnt constraints deletion: 6308 -> 3165 1517.45/1517.70 c learnt constraints deletion: 6308 -> 3170 1521.14/1521.48 c learnt constraints deletion: 6293 -> 3151 1524.75/1525.05 c learnt constraints deletion: 6308 -> 3159 1528.24/1528.55 c learnt constraints deletion: 6325 -> 3173 1531.84/1532.11 c learnt constraints deletion: 6313 -> 3172 1535.44/1535.79 c learnt constraints deletion: 6318 -> 3180 1538.94/1539.26 c learnt constraints deletion: 6322 -> 3170 1542.44/1542.74 c learnt constraints deletion: 6300 -> 3156 1546.34/1546.63 c learnt constraints deletion: 6339 -> 3179 1550.34/1550.62 c learnt constraints deletion: 6314 -> 3169 1554.43/1554.70 c learnt constraints deletion: 6355 -> 3195 1558.24/1558.52 c learnt constraints deletion: 6330 -> 3185 1562.03/1562.30 c learnt constraints deletion: 6331 -> 3191 1565.83/1566.14 c learnt constraints deletion: 6385 -> 3209 1569.74/1570.07 c learnt constraints deletion: 6328 -> 3178 1573.74/1574.03 c learnt constraints deletion: 6304 -> 3158 1577.74/1578.00 c learnt constraints deletion: 6326 -> 3172 1581.64/1581.98 c learnt constraints deletion: 6321 -> 3172 1585.53/1585.85 c learnt constraints deletion: 6327 -> 3178 1590.03/1590.32 c learnt constraints deletion: 6313 -> 3174 1593.93/1594.22 c learnt constraints deletion: 6315 -> 3181 1598.13/1598.41 c learnt constraints deletion: 6337 -> 3196 1601.53/1601.88 c learnt constraints deletion: 6338 -> 3176 1605.23/1605.59 c learnt constraints deletion: 6302 -> 3159 1609.33/1609.62 c learnt constraints deletion: 6396 -> 3210 1612.73/1613.05 c learnt constraints deletion: 6314 -> 3171 1616.63/1616.96 c learnt constraints deletion: 6341 -> 3189 1620.32/1620.69 c learnt constraints deletion: 6325 -> 3186 1624.52/1624.87 c learnt constraints deletion: 6339 -> 3198 1628.93/1629.23 c learnt constraints deletion: 6325 -> 3181 1632.62/1632.92 c learnt constraints deletion: 6350 -> 3185 1636.72/1637.08 c learnt constraints deletion: 6312 -> 3164 1640.83/1641.18 c learnt constraints deletion: 6337 -> 3179 1644.82/1645.19 c learnt constraints deletion: 6309 -> 3167 1648.53/1648.88 c learnt constraints deletion: 6348 -> 3192 1652.22/1652.58 c learnt constraints deletion: 6322 -> 3182 1656.33/1656.62 c learnt constraints deletion: 6302 -> 3166 1660.52/1660.89 c learnt constraints deletion: 6295 -> 3157 1664.51/1664.87 c learnt constraints deletion: 6296 -> 3160 1669.22/1669.53 c learnt constraints deletion: 6939 -> 3485 1673.52/1673.87 c learnt constraints deletion: 6929 -> 3484 1677.82/1678.13 c learnt constraints deletion: 6945 -> 3496 1682.02/1682.37 c learnt constraints deletion: 6960 -> 3480 1686.22/1686.56 c learnt constraints deletion: 6924 -> 3465 1690.62/1690.91 c learnt constraints deletion: 6938 -> 3478 1694.62/1694.98 c learnt constraints deletion: 6947 -> 3481 1698.71/1699.05 c learnt constraints deletion: 6937 -> 3477 1702.82/1703.15 c learnt constraints deletion: 6919 -> 3470 1707.21/1707.58 c learnt constraints deletion: 6974 -> 3499 1711.32/1711.69 c learnt constraints deletion: 6961 -> 3494 1715.51/1715.87 c learnt constraints deletion: 6978 -> 3505 1719.31/1719.67 c learnt constraints deletion: 6954 -> 3498 1723.21/1723.54 c learnt constraints deletion: 6972 -> 3514 1727.11/1727.47 c learnt constraints deletion: 6927 -> 3479 1731.70/1732.08 c learnt constraints deletion: 7001 -> 3501 1736.21/1736.53 c learnt constraints deletion: 6958 -> 3481 1740.71/1741.00 c learnt constraints deletion: 6920 -> 3462 1745.41/1745.72 c learnt constraints deletion: 6951 -> 3478 1750.11/1750.49 c learnt constraints deletion: 6944 -> 3477 1754.91/1755.25 c learnt constraints deletion: 6961 -> 3489 1759.51/1759.87 c learnt constraints deletion: 6995 -> 3502 1763.90/1764.20 c learnt constraints deletion: 6952 -> 3478 1767.70/1768.08 c learnt constraints deletion: 6911 -> 3457 1772.10/1772.43 c learnt constraints deletion: 6942 -> 3475 1776.31/1776.63 c learnt constraints deletion: 6927 -> 3473 1780.50/1780.88 c learnt constraints deletion: 6932 -> 3473 1784.91/1785.29 c learnt constraints deletion: 6927 -> 3466 1789.90/1790.23 c learnt constraints deletion: 6957 -> 3483 1794.20/1794.55 c learnt constraints deletion: 6932 -> 3469 1798.70/1799.07 c learnt constraints deletion: 6941 -> 3475
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-3725006-1338633335/watcher-3725006-1338633335 -o /tmp/evaluation-result-3725006-1338633335/solver-3725006-1338633335 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725006-1338633335.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.01 2.02 1.71 3/177 21445 /proc/meminfo: memFree=30045440/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 329462110 6373376 741 33554432000 4194304 8989770 140733451140384 140735325420664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 1556 741 428 1171 0 333 0 [startup+0.0659709 s] /proc/loadavg: 2.01 2.02 1.71 3/177 21445 /proc/meminfo: memFree=30045440/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=10320 CPUtime=0.05 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 1817 0 0 0 5 0 0 0 20 0 1 0 329462110 10567680 1736 33554432000 4194304 8989770 140733451140384 140735325420664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 2580 1737 431 1171 0 1357 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10320 [startup+0.100342 s] /proc/loadavg: 2.01 2.02 1.71 3/177 21445 /proc/meminfo: memFree=30045440/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=12368 CPUtime=0.09 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 2259 0 0 0 9 0 0 0 20 0 1 0 329462110 12664832 2178 33554432000 4194304 8989770 140733451140384 140735325420664 7736440 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 3092 2178 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.300273 s] /proc/loadavg: 2.01 2.02 1.71 3/177 21445 /proc/meminfo: memFree=30045440/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=13392 CPUtime=0.28 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 3440 0 0 0 28 0 0 0 20 0 1 0 329462110 13713408 2591 33554432000 4194304 8989770 140733451140384 140735325420664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 3348 2591 471 1171 0 2125 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 13392 [startup+0.700251 s] /proc/loadavg: 2.01 2.02 1.71 3/177 21445 /proc/meminfo: memFree=30045440/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=13392 CPUtime=0.68 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 3440 0 0 0 68 0 0 0 20 0 1 0 329462110 13713408 2591 33554432000 4194304 8989770 140733451140384 140733451139648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 3348 2591 471 1171 0 2125 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13392 [startup+1.50031 s] /proc/loadavg: 2.01 2.02 1.71 2/176 21447 /proc/meminfo: memFree=30188664/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=13392 CPUtime=1.49 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 3440 0 0 0 148 1 0 0 20 0 1 0 329462110 13713408 2591 33554432000 4194304 8989770 140733451140384 140733451139648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 3348 2591 471 1171 0 2125 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13392 [startup+3.10029 s] /proc/loadavg: 2.01 2.02 1.71 2/176 21447 /proc/meminfo: memFree=30187928/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=16464 CPUtime=3.09 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 4210 0 0 0 308 1 0 0 20 0 1 0 329462110 16859136 3361 33554432000 4194304 8989770 140733451140384 140733451139648 4469708 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 4116 3361 473 1171 0 2893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16464 [startup+6.30029 s] /proc/loadavg: 2.09 2.04 1.72 3/178 21485 /proc/meminfo: memFree=30171632/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=18512 CPUtime=6.29 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 4722 0 0 0 626 3 0 0 20 0 1 0 329462110 18956288 3873 33554432000 4194304 8989770 140733451140384 140733451139880 4213743 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 4628 3873 473 1171 0 3405 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18512 [startup+12.7003 s] /proc/loadavg: 2.08 2.04 1.72 3/178 21485 /proc/meminfo: memFree=30156296/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=19536 CPUtime=12.68 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 4981 0 0 0 1264 4 0 0 20 0 1 0 329462110 20004864 4129 33554432000 4194304 8989770 140733451140384 140733451139880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 4884 4129 473 1171 0 3661 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19536 [startup+25.5003 s] /proc/loadavg: 2.06 2.04 1.72 3/177 21485 /proc/meminfo: memFree=30146968/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=20560 CPUtime=25.49 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 5237 0 0 0 2540 9 0 0 20 0 1 0 329462110 21053440 4385 33554432000 4194304 8989770 140733451140384 140733451139648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 5140 4385 473 1171 0 3917 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20560 [startup+51.1003 s] /proc/loadavg: 2.04 2.03 1.73 3/177 21485 /proc/meminfo: memFree=30125480/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=26704 CPUtime=51.08 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 6773 0 0 0 5089 19 0 0 20 0 1 0 329462110 27344896 5921 33554432000 4194304 8989770 140733451140384 140733451139648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 6676 5921 473 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.02 2.03 1.74 3/177 21485 /proc/meminfo: memFree=30077584/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=36944 CPUtime=102.27 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 9337 0 0 0 10187 40 0 0 20 0 1 0 329462110 37830656 8481 33554432000 4194304 8989770 140733451140384 140733451139880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 9236 8481 473 1171 0 8013 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36944 [startup+162.3 s] /proc/loadavg: 2.00 2.02 1.75 3/177 21485 /proc/meminfo: memFree=30065900/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=42064 CPUtime=162.25 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 10619 0 0 0 16163 62 0 0 20 0 1 0 329462110 43073536 9761 33554432000 4194304 8989770 140733451140384 140733451139880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 10516 9761 473 1171 0 9293 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 42064 [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.76 3/177 21485 /proc/meminfo: memFree=30073840/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=46160 CPUtime=222.24 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 11644 0 0 0 22141 83 0 0 20 0 1 0 329462110 47267840 10785 33554432000 4194304 8989770 140733451140384 140733451139880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 11540 10785 473 1171 0 10317 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 46160 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.77 3/178 21489 /proc/meminfo: memFree=30072880/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=50256 CPUtime=282.24 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 12670 0 0 0 28118 106 0 0 20 0 1 0 329462110 51462144 11809 33554432000 4194304 8989770 140733451140384 140733451139648 6587776 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 12564 11809 473 1171 0 11341 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 50256 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.79 3/177 21489 /proc/meminfo: memFree=30068912/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=50256 CPUtime=342.23 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 12926 0 0 0 34094 129 0 0 20 0 1 0 329462110 51462144 11809 33554432000 4194304 8989770 140733451140384 140733451139880 7732715 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 12564 11809 473 1171 0 11341 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 50256 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.80 3/177 21489 /proc/meminfo: memFree=30058932/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=50256 CPUtime=402.22 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 12927 0 0 0 40069 153 0 0 20 0 1 0 329462110 51462144 11809 33554432000 4194304 8989770 140733451140384 140733451139648 7687061 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 12564 11809 473 1171 0 11341 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 50256 [startup+462.3 s] /proc/loadavg: 2.06 2.02 1.82 3/177 21489 /proc/meminfo: memFree=30049364/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=53328 CPUtime=462.2 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 13696 0 0 0 46046 174 0 0 20 0 1 0 329462110 54607872 12577 33554432000 4194304 8989770 140733451140384 140733451139648 4389181 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 13332 12577 473 1171 0 12109 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 53328 [startup+522.3 s] /proc/loadavg: 2.02 2.01 1.82 3/177 21489 /proc/meminfo: memFree=30046204/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=54352 CPUtime=522.19 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 13952 0 0 0 52024 195 0 0 20 0 1 0 329462110 55656448 12833 33554432000 4194304 8989770 140733451140384 140733451139648 4209357 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 13588 12833 473 1171 0 12365 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 54352 [startup+582.3 s] /proc/loadavg: 2.01 2.00 1.83 3/177 21490 /proc/meminfo: memFree=30035712/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=54352 CPUtime=582.19 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 13953 0 0 0 58000 219 0 0 20 0 1 0 329462110 55656448 12833 33554432000 4194304 8989770 140733451140384 140733451139648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 13588 12833 473 1171 0 12365 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 54352 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.85 3/177 21490 /proc/meminfo: memFree=30028744/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=58448 CPUtime=822.15 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 14977 0 0 0 81901 314 0 0 20 0 1 0 329462110 59850752 13857 33554432000 4194304 8989770 140733451140384 140733451139648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 14612 13857 473 1171 0 13389 0 Current children cumulated CPU time (s) 822.15 Current children cumulated vsize (KiB) 58448 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.86 3/177 21493 /proc/meminfo: memFree=30004324/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=59472 CPUtime=882.14 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 15233 0 0 0 87872 342 0 0 20 0 1 0 329462110 60899328 14113 33554432000 4194304 8989770 140733451140384 140733451139880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 14868 14113 473 1171 0 13645 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 59472 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.86 3/177 21494 /proc/meminfo: memFree=29995984/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=59472 CPUtime=942.13 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 15234 0 0 0 93849 364 0 0 20 0 1 0 329462110 60899328 14113 33554432000 4194304 8989770 140733451140384 140733451139648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 14868 14113 473 1171 0 13645 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 59472 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 21494 /proc/meminfo: memFree=29971556/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=62544 CPUtime=1002.12 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 16002 0 0 0 99823 389 0 0 20 0 1 0 329462110 64045056 14881 33554432000 4194304 8989770 140733451140384 140733451139648 4389024 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 15636 14881 473 1171 0 14413 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 62544 [startup+1062.3 s] /proc/loadavg: 2.04 2.01 1.88 3/177 21494 /proc/meminfo: memFree=29982080/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=62544 CPUtime=1062.12 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 16002 0 0 0 105798 414 0 0 20 0 1 0 329462110 64045056 14881 33554432000 4194304 8989770 140733451140384 140733451139880 4389181 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 15636 14881 473 1171 0 14413 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 62544 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 1.89 3/176 21494 /proc/meminfo: memFree=29979976/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=66640 CPUtime=1122.11 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 17027 0 0 0 111773 438 0 0 20 0 1 0 329462110 68239360 15905 33554432000 4194304 8989770 140733451140384 140733451139880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 16660 15905 473 1171 0 15437 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 66640 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.89 3/177 21495 /proc/meminfo: memFree=29964096/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=67664 CPUtime=1182.09 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 17283 0 0 0 117748 461 0 0 20 0 1 0 329462110 69287936 16161 33554432000 4194304 8989770 140733451140384 140733451139880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 16916 16161 473 1171 0 15693 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 67664 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 21496 /proc/meminfo: memFree=29976676/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=67664 CPUtime=1242.08 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 17283 0 0 0 123721 487 0 0 20 0 1 0 329462110 69287936 16161 33554432000 4194304 8989770 140733451140384 140733451139648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 16916 16161 473 1171 0 15693 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 67664 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 21496 /proc/meminfo: memFree=29961920/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=67664 CPUtime=1302.09 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 17283 0 0 0 129701 508 0 0 20 0 1 0 329462110 69287936 16161 33554432000 4194304 8989770 140733451140384 140733451139880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 16916 16161 473 1171 0 15693 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 67664 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 21496 /proc/meminfo: memFree=29996280/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=74832 CPUtime=1362.07 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 19587 0 0 0 135679 528 0 0 20 0 1 0 329462110 76627968 17953 33554432000 4194304 8989770 140733451140384 140733451139880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 18708 17953 473 1171 0 17485 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 74832 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/177 21496 /proc/meminfo: memFree=29996208/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=74832 CPUtime=1422.06 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 19588 0 0 0 141656 550 0 0 20 0 1 0 329462110 76627968 17953 33554432000 4194304 8989770 140733451140384 140733451139648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 18708 17953 473 1171 0 17485 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 74832 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 21499 /proc/meminfo: memFree=29979448/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=74832 CPUtime=1482.05 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 19588 0 0 0 147632 573 0 0 20 0 1 0 329462110 76627968 17953 33554432000 4194304 8989770 140733451140384 140733451139880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 18708 17953 473 1171 0 17485 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 74832 [startup+1542.3 s] /proc/loadavg: 2.05 2.01 1.91 3/178 21523 /proc/meminfo: memFree=29971568/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=74832 CPUtime=1542.04 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 19588 0 0 0 153609 595 0 0 20 0 1 0 329462110 76627968 17953 33554432000 4194304 8989770 140733451140384 140733451139648 6592109 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 18708 17953 473 1171 0 17485 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 74832 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 1.91 3/177 21523 /proc/meminfo: memFree=29977224/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=74832 CPUtime=1602.03 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 19588 0 0 0 159585 618 0 0 20 0 1 0 329462110 76627968 17953 33554432000 4194304 8989770 140733451140384 140733451139880 6586496 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 18708 17953 473 1171 0 17485 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 74832 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 21523 /proc/meminfo: memFree=29997376/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=74832 CPUtime=1662.02 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 19588 0 0 0 165562 640 0 0 20 0 1 0 329462110 76627968 17953 33554432000 4194304 8989770 140733451140384 140733451139880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 18708 17953 473 1171 0 17485 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 74832 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 21523 /proc/meminfo: memFree=29996820/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=75856 CPUtime=1722.01 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 19844 0 0 0 171538 663 0 0 20 0 1 0 329462110 77676544 18209 33554432000 4194304 8989770 140733451140384 140733451139648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 18964 18209 473 1171 0 17741 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 75856 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 21523 /proc/meminfo: memFree=29994772/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=77904 CPUtime=1782 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 20356 0 0 0 177513 687 0 0 20 0 1 0 329462110 79773696 18721 33554432000 4194304 8989770 140733451140384 140733451139648 4437710 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 19476 18721 473 1171 0 18253 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 77904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 1.91 3/177 21524 /proc/meminfo: memFree=29995028/32873844 swapFree=7372/7372 [pid=21445] ppid=21443 vsize=77904 CPUtime=1800.1 cores=0,2,4,6 /proc/21445/stat : 21445 (toysat) R 21443 21445 21194 0 -1 4202496 20356 0 0 0 179317 693 0 0 20 0 1 0 329462110 79773696 18721 33554432000 4194304 8989770 140733451140384 140733451139648 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21445/statm: 19476 18721 473 1171 0 18253 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 77904 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.12 CPU user time (s): 1793.18 CPU system time (s): 6.94094 CPU usage (%): 99.9838 Max. virtual memory (cumulated for all children) (KiB): 77904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.18 system time used= 6.94094 maximum resident set size= 74884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20356 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= 21 involuntary context switches= 2210 runsolver used 4.03039 second user time and 8.09377 second system time The end
Begin job on node109 at 2012-06-02 12:35:35 IDJOB=3725006 IDBENCH=2052 IDSOLVER=2308 FILE ID=node109/3725006-1338633335 RUNJOBID= node109-1338631506-21210 PBS_JOBID= 14636471 Free space on /tmp= 70704 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725006-1338633335/watcher-3725006-1338633335 -o /tmp/evaluation-result-3725006-1338633335/solver-3725006-1338633335 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725006-1338633335.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=1543526599 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 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 : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30046084 kB Buffers: 297380 kB Cached: 1495312 kB SwapCached: 944 kB Active: 1042536 kB Inactive: 911716 kB Active(anon): 156240 kB Inactive(anon): 7800 kB Active(file): 886296 kB Inactive(file): 903916 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67105492 kB Dirty: 7796 kB Writeback: 0 kB AnonPages: 168192 kB Mapped: 11908 kB Shmem: 4 kB Slab: 734408 kB SReclaimable: 176960 kB SUnreclaim: 557448 kB KernelStack: 1464 kB PageTables: 4316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 277628 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 70700 MiB End job on node109 at 2012-06-02 13:05:38