Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.02 | 1800.31 |
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.24 c 2012-05-27T13:02:32+0200 0.19/0.24 c arch = x86_64 0.19/0.24 c os = linux 0.19/0.24 c compiler = ghc 7.4 0.19/0.24 c packages: 0.19/0.24 c OptDir-0.0.1 0.19/0.24 c array-0.4.0.0 0.19/0.24 c base-4.5.0.0 0.19/0.24 c bytestring-0.9.2.1 0.19/0.24 c containers-0.4.2.1 0.19/0.24 c deepseq-1.3.0.0 0.19/0.24 c mtl-2.1.1 0.19/0.24 c old_locale-1.0.0.4 0.19/0.24 c parse_dimacs-1.2 0.19/0.24 c parsec-3.1.2 0.19/0.24 c queue-0.1.2 0.19/0.24 c stm-2.3 0.19/0.24 c time-1.4 0.19/0.24 c command line = ["--pb","HOME/instance-3706633-1338116551.opb"] 0.19/0.24 c #vars 807 0.19/0.24 c #constraints 1823 0.19/0.24 c Solving starts ... 0.19/0.25 c solving time = 0.001s 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.29/0.36 c solving time = 0.112s 0.29/0.36 c #decision = 2048 0.29/0.36 c #conflict = 143 0.29/0.36 c #restart = 1 0.29/0.36 o 67 0.29/0.36 c Solving starts ... 1.99/2.06 c learnt constraints deletion: 1351 -> 687 3.08/3.11 c learnt constraints deletion: 1479 -> 762 4.29/4.31 c learnt constraints deletion: 1567 -> 788 5.59/5.68 c learnt constraints deletion: 1750 -> 896 6.79/6.82 c learnt constraints deletion: 1738 -> 877 8.39/8.40 c learnt constraints deletion: 1913 -> 966 9.58/9.66 c learnt constraints deletion: 1888 -> 960 11.29/11.32 c learnt constraints deletion: 2060 -> 1038 12.79/12.80 c learnt constraints deletion: 2149 -> 1098 14.30/14.33 c learnt constraints deletion: 2074 -> 1048 15.88/15.93 c learnt constraints deletion: 2085 -> 1063 16.49/16.57 c solving time = 16.206s 16.49/16.57 c #decision = 98289 16.49/16.57 c #conflict = 11412 16.49/16.57 c #restart = 10 16.49/16.57 o 66 16.49/16.57 c Solving starts ... 16.49/16.58 c learnt constraints deletion: 1531 -> 766 16.69/16.70 c learnt constraints deletion: 865 -> 433 17.38/17.41 c learnt constraints deletion: 1143 -> 572 18.18/18.26 c learnt constraints deletion: 1455 -> 741 19.18/19.20 c learnt constraints deletion: 1593 -> 800 20.18/20.20 c learnt constraints deletion: 1737 -> 882 21.08/21.10 c learnt constraints deletion: 1729 -> 873 22.18/22.22 c learnt constraints deletion: 1871 -> 936 23.08/23.12 c learnt constraints deletion: 1882 -> 945 23.99/24.03 c learnt constraints deletion: 1865 -> 935 25.08/25.13 c learnt constraints deletion: 2084 -> 1052 26.58/26.62 c learnt constraints deletion: 2099 -> 1059 27.68/27.76 c learnt constraints deletion: 2070 -> 1040 28.98/29.06 c learnt constraints deletion: 2252 -> 1126 30.48/30.50 c learnt constraints deletion: 2276 -> 1147 31.58/31.65 c learnt constraints deletion: 2283 -> 1151 32.89/33.00 c learnt constraints deletion: 2255 -> 1133 34.28/34.33 c learnt constraints deletion: 2261 -> 1137 35.68/35.75 c learnt constraints deletion: 2485 -> 1243 37.07/37.10 c learnt constraints deletion: 2489 -> 1245 38.27/38.35 c learnt constraints deletion: 2514 -> 1270 39.68/39.74 c learnt constraints deletion: 2470 -> 1241 40.88/40.97 c learnt constraints deletion: 2479 -> 1242 42.28/42.30 c learnt constraints deletion: 2470 -> 1242 43.78/43.82 c learnt constraints deletion: 2516 -> 1264 45.38/45.46 c learnt constraints deletion: 2737 -> 1369 46.78/46.87 c learnt constraints deletion: 2721 -> 1363 48.57/48.66 c learnt constraints deletion: 2726 -> 1368 50.48/50.57 c learnt constraints deletion: 2734 -> 1367 51.88/51.97 c learnt constraints deletion: 2725 -> 1372 53.17/53.27 c learnt constraints deletion: 2750 -> 1376 54.68/54.72 c learnt constraints deletion: 2713 -> 1361 55.87/55.94 c learnt constraints deletion: 2747 -> 1395 57.27/57.38 c learnt constraints deletion: 2717 -> 1364 58.57/58.68 c learnt constraints deletion: 2916 -> 1458 60.07/60.16 c learnt constraints deletion: 3007 -> 1512 61.77/61.89 c learnt constraints deletion: 3010 -> 1509 63.48/63.57 c learnt constraints deletion: 3026 -> 1519 65.08/65.18 c learnt constraints deletion: 2984 -> 1499 66.68/66.79 c learnt constraints deletion: 2991 -> 1509 68.37/68.46 c learnt constraints deletion: 3001 -> 1511 69.98/70.00 c learnt constraints deletion: 3014 -> 1520 71.48/71.54 c learnt constraints deletion: 2994 -> 1510 73.17/73.29 c learnt constraints deletion: 3018 -> 1526 74.87/74.93 c learnt constraints deletion: 3007 -> 1514 76.57/76.62 c learnt constraints deletion: 3000 -> 1500 78.17/78.22 c learnt constraints deletion: 2980 -> 1495 79.97/80.09 c learnt constraints deletion: 3266 -> 1633 81.77/81.81 c learnt constraints deletion: 3268 -> 1636 83.47/83.55 c learnt constraints deletion: 3295 -> 1661 85.47/85.51 c learnt constraints deletion: 3276 -> 1642 87.27/87.31 c learnt constraints deletion: 3298 -> 1654 89.37/89.43 c learnt constraints deletion: 3280 -> 1647 91.18/91.22 c learnt constraints deletion: 3298 -> 1659 92.86/92.91 c learnt constraints deletion: 3297 -> 1658 94.77/94.88 c learnt constraints deletion: 3293 -> 1660 96.27/96.38 c learnt constraints deletion: 3296 -> 1661 98.07/98.18 c learnt constraints deletion: 3305 -> 1667 99.77/99.82 c learnt constraints deletion: 3291 -> 1663 101.47/101.50 c learnt constraints deletion: 3338 -> 1688 103.17/103.22 c learnt constraints deletion: 3312 -> 1672 104.87/104.97 c learnt constraints deletion: 3314 -> 1673 106.57/106.64 c learnt constraints deletion: 3305 -> 1671 108.27/108.38 c learnt constraints deletion: 3292 -> 1663 109.87/109.99 c learnt constraints deletion: 3289 -> 1661 111.97/112.09 c learnt constraints deletion: 3589 -> 1795 113.97/114.04 c learnt constraints deletion: 3617 -> 1810 116.06/116.12 c learnt constraints deletion: 3605 -> 1807 117.86/117.93 c learnt constraints deletion: 3593 -> 1801 119.57/119.63 c learnt constraints deletion: 3608 -> 1820 121.37/121.45 c learnt constraints deletion: 3594 -> 1803 123.56/123.66 c learnt constraints deletion: 3603 -> 1810 125.37/125.42 c learnt constraints deletion: 3601 -> 1811 127.27/127.33 c learnt constraints deletion: 3613 -> 1822 129.16/129.21 c learnt constraints deletion: 3591 -> 1811 131.06/131.15 c learnt constraints deletion: 3616 -> 1825 132.97/133.09 c learnt constraints deletion: 3614 -> 1827 134.86/134.97 c learnt constraints deletion: 3631 -> 1839 136.96/137.09 c learnt constraints deletion: 3599 -> 1807 139.06/139.14 c learnt constraints deletion: 3592 -> 1805 140.96/141.03 c learnt constraints deletion: 3614 -> 1817 142.97/143.05 c learnt constraints deletion: 3622 -> 1820 144.86/144.97 c learnt constraints deletion: 3595 -> 1798 146.76/146.81 c learnt constraints deletion: 3639 -> 1832 148.85/148.97 c learnt constraints deletion: 3621 -> 1820 151.06/151.16 c learnt constraints deletion: 3622 -> 1815 153.06/153.14 c learnt constraints deletion: 3619 -> 1815 155.16/155.23 c learnt constraints deletion: 3584 -> 1802 157.06/157.19 c learnt constraints deletion: 3611 -> 1814 159.65/159.71 c learnt constraints deletion: 3952 -> 1978 161.96/162.09 c learnt constraints deletion: 3936 -> 1970 164.26/164.32 c learnt constraints deletion: 3969 -> 1989 166.45/166.52 c learnt constraints deletion: 3962 -> 1996 168.56/168.63 c learnt constraints deletion: 3959 -> 1999 170.75/170.85 c learnt constraints deletion: 3983 -> 2014 172.96/173.08 c learnt constraints deletion: 3955 -> 1994 175.06/175.11 c learnt constraints deletion: 3946 -> 1973 177.25/177.30 c learnt constraints deletion: 3953 -> 1978 179.86/179.95 c learnt constraints deletion: 3956 -> 1981 181.75/181.89 c learnt constraints deletion: 3939 -> 1974 183.66/183.76 c learnt constraints deletion: 3961 -> 1989 185.86/185.96 c learnt constraints deletion: 3965 -> 1994 187.96/188.02 c learnt constraints deletion: 3972 -> 1994 189.95/190.06 c learnt constraints deletion: 3995 -> 2007 192.05/192.13 c learnt constraints deletion: 3954 -> 1987 193.85/193.92 c learnt constraints deletion: 3964 -> 1993 195.75/195.86 c learnt constraints deletion: 3949 -> 1989 197.96/198.09 c learnt constraints deletion: 3954 -> 1991 199.85/199.98 c learnt constraints deletion: 3958 -> 1994 202.36/202.44 c learnt constraints deletion: 3968 -> 2001 205.15/205.25 c learnt constraints deletion: 3988 -> 2012 207.35/207.44 c learnt constraints deletion: 3951 -> 1999 209.65/209.74 c learnt constraints deletion: 3987 -> 2017 211.85/211.99 c learnt constraints deletion: 3990 -> 2020 213.85/213.96 c learnt constraints deletion: 3980 -> 2016 216.75/216.87 c learnt constraints deletion: 3964 -> 2010 219.35/219.40 c learnt constraints deletion: 3984 -> 2024 221.65/221.74 c learnt constraints deletion: 3990 -> 2021 224.05/224.10 c learnt constraints deletion: 3936 -> 1969 226.85/226.92 c learnt constraints deletion: 3985 -> 2003 229.34/229.49 c learnt constraints deletion: 3948 -> 1978 232.34/232.47 c learnt constraints deletion: 4021 -> 2022 236.04/236.10 c learnt constraints deletion: 4330 -> 2170 238.65/238.77 c learnt constraints deletion: 4316 -> 2158 241.95/242.04 c learnt constraints deletion: 4348 -> 2176 244.84/244.95 c learnt constraints deletion: 4356 -> 2189 247.84/247.93 c learnt constraints deletion: 4349 -> 2182 251.04/251.11 c learnt constraints deletion: 4333 -> 2175 254.04/254.12 c learnt constraints deletion: 4340 -> 2181 257.14/257.27 c learnt constraints deletion: 4347 -> 2188 260.13/260.21 c learnt constraints deletion: 4361 -> 2196 263.04/263.11 c learnt constraints deletion: 4372 -> 2205 266.15/266.28 c learnt constraints deletion: 4350 -> 2184 269.24/269.30 c learnt constraints deletion: 4363 -> 2192 271.93/272.08 c learnt constraints deletion: 4398 -> 2200 274.74/274.81 c learnt constraints deletion: 4323 -> 2167 277.74/277.80 c learnt constraints deletion: 4344 -> 2174 280.83/280.92 c learnt constraints deletion: 4375 -> 2192 283.83/283.90 c learnt constraints deletion: 4376 -> 2194 286.54/286.62 c learnt constraints deletion: 4333 -> 2174 289.64/289.74 c learnt constraints deletion: 4337 -> 2178 292.64/292.79 c learnt constraints deletion: 4370 -> 2198 295.64/295.72 c learnt constraints deletion: 4340 -> 2185 298.43/298.55 c learnt constraints deletion: 4361 -> 2203 301.73/301.89 c learnt constraints deletion: 4333 -> 2186 304.73/304.84 c learnt constraints deletion: 4347 -> 2194 307.63/307.77 c learnt constraints deletion: 4357 -> 2200 310.73/310.85 c learnt constraints deletion: 4391 -> 2219 313.73/313.83 c learnt constraints deletion: 4313 -> 2161 316.63/316.75 c learnt constraints deletion: 4324 -> 2164 319.63/319.76 c learnt constraints deletion: 4336 -> 2172 322.63/322.74 c learnt constraints deletion: 4352 -> 2181 325.73/325.88 c learnt constraints deletion: 4376 -> 2200 328.83/328.95 c learnt constraints deletion: 4327 -> 2180 332.14/332.27 c learnt constraints deletion: 4344 -> 2176 334.73/334.81 c learnt constraints deletion: 4349 -> 2183 337.22/337.36 c learnt constraints deletion: 4346 -> 2185 340.13/340.21 c learnt constraints deletion: 4327 -> 2169 343.93/344.00 c learnt constraints deletion: 4329 -> 2174 346.33/346.46 c learnt constraints deletion: 4349 -> 2182 348.73/348.86 c learnt constraints deletion: 4325 -> 2170 351.22/351.34 c learnt constraints deletion: 4344 -> 2180 353.82/353.99 c learnt constraints deletion: 4348 -> 2184 356.52/356.61 c learnt constraints deletion: 4354 -> 2190 359.22/359.36 c learnt constraints deletion: 4352 -> 2192 361.62/361.78 c learnt constraints deletion: 4364 -> 2201 364.52/364.61 c learnt constraints deletion: 4357 -> 2195 367.52/367.66 c learnt constraints deletion: 4756 -> 2384 370.22/370.32 c learnt constraints deletion: 4750 -> 2384 373.62/373.79 c learnt constraints deletion: 4749 -> 2375 376.13/376.27 c learnt constraints deletion: 4763 -> 2383 378.82/378.97 c learnt constraints deletion: 4752 -> 2379 381.42/381.50 c learnt constraints deletion: 4778 -> 2395 384.32/384.49 c learnt constraints deletion: 4763 -> 2392 387.62/387.75 c learnt constraints deletion: 4760 -> 2384 390.32/390.48 c learnt constraints deletion: 4761 -> 2383 392.62/392.78 c learnt constraints deletion: 4765 -> 2387 395.12/395.21 c learnt constraints deletion: 4768 -> 2391 397.52/397.64 c learnt constraints deletion: 4758 -> 2390 400.82/400.96 c learnt constraints deletion: 4766 -> 2397 404.12/404.22 c learnt constraints deletion: 4770 -> 2388 407.82/408.00 c learnt constraints deletion: 4757 -> 2383 411.12/411.25 c learnt constraints deletion: 4808 -> 2416 414.81/414.93 c learnt constraints deletion: 4762 -> 2387 417.92/418.09 c learnt constraints deletion: 4755 -> 2381 421.42/421.59 c learnt constraints deletion: 4784 -> 2397 425.01/425.10 c learnt constraints deletion: 4829 -> 2418 428.31/428.49 c learnt constraints deletion: 4779 -> 2396 431.71/431.85 c learnt constraints deletion: 4759 -> 2385 435.42/435.56 c learnt constraints deletion: 4789 -> 2402 438.72/438.83 c learnt constraints deletion: 4809 -> 2414 442.21/442.30 c learnt constraints deletion: 4771 -> 2397 445.51/445.61 c learnt constraints deletion: 4810 -> 2418 448.61/448.78 c learnt constraints deletion: 4857 -> 2443 451.92/452.05 c learnt constraints deletion: 4812 -> 2422 455.32/455.47 c learnt constraints deletion: 4791 -> 2416 458.00/458.18 c learnt constraints deletion: 4758 -> 2383 461.11/461.21 c learnt constraints deletion: 4760 -> 2386 464.91/465.03 c learnt constraints deletion: 4786 -> 2403 469.00/469.11 c learnt constraints deletion: 4763 -> 2397 471.81/471.96 c learnt constraints deletion: 4761 -> 2387 475.61/475.73 c learnt constraints deletion: 4759 -> 2390 479.20/479.38 c learnt constraints deletion: 4775 -> 2395 482.90/483.09 c learnt constraints deletion: 4757 -> 2389 486.20/486.38 c learnt constraints deletion: 4757 -> 2389 489.41/489.52 c learnt constraints deletion: 4777 -> 2399 491.90/492.01 c learnt constraints deletion: 4752 -> 2384 494.90/495.06 c learnt constraints deletion: 4783 -> 2405 497.91/498.06 c learnt constraints deletion: 4772 -> 2394 501.51/501.63 c learnt constraints deletion: 4781 -> 2400 504.60/504.78 c learnt constraints deletion: 4769 -> 2395 508.20/508.37 c learnt constraints deletion: 4782 -> 2401 512.60/512.71 c learnt constraints deletion: 4760 -> 2395 515.90/516.01 c learnt constraints deletion: 4768 -> 2395 519.40/519.58 c learnt constraints deletion: 4796 -> 2412 523.00/523.10 c learnt constraints deletion: 4761 -> 2398 526.39/526.54 c learnt constraints deletion: 4789 -> 2409 530.19/530.34 c learnt constraints deletion: 4800 -> 2415 533.59/533.75 c learnt constraints deletion: 4763 -> 2394 537.80/537.96 c learnt constraints deletion: 4761 -> 2393 541.19/541.34 c learnt constraints deletion: 4774 -> 2400 544.69/544.89 c learnt constraints deletion: 4786 -> 2408 548.09/548.29 c learnt constraints deletion: 4764 -> 2399 552.00/552.13 c learnt constraints deletion: 4792 -> 2410 555.49/555.65 c learnt constraints deletion: 4760 -> 2395 558.69/558.89 c learnt constraints deletion: 4772 -> 2405 562.00/562.18 c learnt constraints deletion: 4762 -> 2398 565.49/565.63 c learnt constraints deletion: 4812 -> 2424 568.59/568.76 c learnt constraints deletion: 4763 -> 2400 572.49/572.68 c learnt constraints deletion: 5245 -> 2643 576.09/576.30 c learnt constraints deletion: 5244 -> 2622 579.29/579.48 c learnt constraints deletion: 5227 -> 2618 582.69/582.87 c learnt constraints deletion: 5212 -> 2613 586.29/586.42 c learnt constraints deletion: 5221 -> 2611 589.19/589.38 c learnt constraints deletion: 5225 -> 2615 592.69/592.81 c learnt constraints deletion: 5246 -> 2625 596.28/596.50 c learnt constraints deletion: 5228 -> 2615 599.40/599.53 c learnt constraints deletion: 5255 -> 2630 602.59/602.78 c learnt constraints deletion: 5310 -> 2659 605.48/605.69 c learnt constraints deletion: 5215 -> 2614 609.78/609.99 c learnt constraints deletion: 5241 -> 2632 613.18/613.38 c learnt constraints deletion: 5225 -> 2617 616.28/616.43 c learnt constraints deletion: 5224 -> 2619 618.58/618.73 c learnt constraints deletion: 5226 -> 2616 620.68/620.84 c learnt constraints deletion: 5244 -> 2632 622.78/622.97 c learnt constraints deletion: 5230 -> 2620 625.08/625.21 c learnt constraints deletion: 5221 -> 2622 627.78/627.95 c learnt constraints deletion: 5229 -> 2620 631.19/631.37 c learnt constraints deletion: 5218 -> 2616 633.97/634.18 c learnt constraints deletion: 5231 -> 2627 636.88/637.00 c learnt constraints deletion: 5213 -> 2615 639.68/639.80 c learnt constraints deletion: 5229 -> 2630 641.97/642.19 c learnt constraints deletion: 5246 -> 2633 644.88/645.01 c learnt constraints deletion: 5230 -> 2626 647.48/647.66 c learnt constraints deletion: 5239 -> 2633 650.48/650.62 c learnt constraints deletion: 5227 -> 2627 653.98/654.14 c learnt constraints deletion: 5241 -> 2633 656.77/656.90 c learnt constraints deletion: 5238 -> 2632 659.67/659.80 c learnt constraints deletion: 5229 -> 2633 662.57/662.70 c learnt constraints deletion: 5238 -> 2635 665.87/666.02 c learnt constraints deletion: 5239 -> 2639 669.37/669.55 c learnt constraints deletion: 5232 -> 2633 671.88/672.05 c learnt constraints deletion: 5234 -> 2635 674.27/674.44 c learnt constraints deletion: 5220 -> 2610 676.38/676.59 c learnt constraints deletion: 5235 -> 2623 678.48/678.68 c learnt constraints deletion: 5232 -> 2629 681.27/681.47 c learnt constraints deletion: 5220 -> 2611 684.27/684.49 c learnt constraints deletion: 5228 -> 2621 686.77/686.95 c learnt constraints deletion: 5235 -> 2620 689.07/689.26 c learnt constraints deletion: 5239 -> 2627 691.97/692.14 c learnt constraints deletion: 5250 -> 2628 695.07/695.23 c learnt constraints deletion: 5250 -> 2631 698.28/698.42 c learnt constraints deletion: 5245 -> 2632 701.37/701.54 c learnt constraints deletion: 5236 -> 2632 705.17/705.35 c learnt constraints deletion: 5209 -> 2609 707.87/708.00 c learnt constraints deletion: 5236 -> 2624 710.26/710.43 c learnt constraints deletion: 5228 -> 2625 712.37/712.56 c learnt constraints deletion: 5228 -> 2619 714.47/714.69 c learnt constraints deletion: 5219 -> 2619 716.47/716.66 c learnt constraints deletion: 5240 -> 2639 718.56/718.73 c learnt constraints deletion: 5232 -> 2624 720.77/720.98 c learnt constraints deletion: 5234 -> 2624 723.07/723.27 c learnt constraints deletion: 5236 -> 2626 725.37/725.50 c learnt constraints deletion: 5225 -> 2622 727.47/727.60 c learnt constraints deletion: 5235 -> 2631 729.47/729.61 c learnt constraints deletion: 5226 -> 2623 731.76/731.92 c learnt constraints deletion: 5218 -> 2620 734.06/734.22 c learnt constraints deletion: 5229 -> 2627 736.37/736.54 c learnt constraints deletion: 5248 -> 2638 738.56/738.78 c learnt constraints deletion: 5238 -> 2638 740.76/740.95 c learnt constraints deletion: 5252 -> 2653 742.96/743.13 c learnt constraints deletion: 5224 -> 2625 745.07/745.29 c learnt constraints deletion: 5230 -> 2630 747.27/747.42 c learnt constraints deletion: 5242 -> 2637 749.36/749.51 c learnt constraints deletion: 5231 -> 2634 751.46/751.67 c learnt constraints deletion: 5235 -> 2637 753.66/753.85 c learnt constraints deletion: 5231 -> 2637 755.86/756.04 c learnt constraints deletion: 5226 -> 2614 757.96/758.10 c learnt constraints deletion: 5219 -> 2618 760.16/760.37 c learnt constraints deletion: 5234 -> 2619 762.56/762.73 c learnt constraints deletion: 5218 -> 2615 764.66/764.89 c learnt constraints deletion: 5218 -> 2620 766.86/767.00 c learnt constraints deletion: 5257 -> 2647 769.06/769.28 c learnt constraints deletion: 5243 -> 2646 771.56/771.74 c learnt constraints deletion: 5240 -> 2623 774.26/774.42 c learnt constraints deletion: 5244 -> 2626 776.66/776.81 c learnt constraints deletion: 5229 -> 2621 778.96/779.15 c learnt constraints deletion: 5236 -> 2630 781.46/781.61 c learnt constraints deletion: 5231 -> 2621 783.56/783.76 c learnt constraints deletion: 5227 -> 2626 786.06/786.28 c learnt constraints deletion: 5250 -> 2632 788.26/788.40 c learnt constraints deletion: 5226 -> 2623 790.36/790.51 c learnt constraints deletion: 5226 -> 2628 792.46/792.66 c learnt constraints deletion: 5246 -> 2644 795.06/795.29 c learnt constraints deletion: 5743 -> 2879 797.56/797.77 c learnt constraints deletion: 5737 -> 2877 800.15/800.38 c learnt constraints deletion: 5744 -> 2881 802.66/802.81 c learnt constraints deletion: 5746 -> 2883 805.06/805.21 c learnt constraints deletion: 5746 -> 2885 807.36/807.59 c learnt constraints deletion: 5769 -> 2905 809.65/809.89 c learnt constraints deletion: 5741 -> 2882 812.16/812.35 c learnt constraints deletion: 5751 -> 2888 814.66/814.88 c learnt constraints deletion: 5753 -> 2894 817.06/817.28 c learnt constraints deletion: 5737 -> 2882 819.75/819.91 c learnt constraints deletion: 5760 -> 2894 822.45/822.66 c learnt constraints deletion: 5751 -> 2892 825.05/825.26 c learnt constraints deletion: 5740 -> 2889 827.75/827.91 c learnt constraints deletion: 5759 -> 2896 830.26/830.42 c learnt constraints deletion: 5759 -> 2901 833.25/833.40 c learnt constraints deletion: 5733 -> 2884 835.65/835.82 c learnt constraints deletion: 5756 -> 2899 838.25/838.47 c learnt constraints deletion: 5746 -> 2892 841.15/841.32 c learnt constraints deletion: 5755 -> 2900 843.95/844.15 c learnt constraints deletion: 5733 -> 2867 846.75/846.98 c learnt constraints deletion: 5737 -> 2874 849.35/849.50 c learnt constraints deletion: 5753 -> 2888 851.94/852.17 c learnt constraints deletion: 5734 -> 2868 854.55/854.78 c learnt constraints deletion: 5742 -> 2878 857.25/857.47 c learnt constraints deletion: 5751 -> 2878 859.85/860.08 c learnt constraints deletion: 5746 -> 2881 862.44/862.68 c learnt constraints deletion: 5738 -> 2874 865.34/865.51 c learnt constraints deletion: 5753 -> 2882 867.94/868.18 c learnt constraints deletion: 5748 -> 2878 870.24/870.49 c learnt constraints deletion: 5737 -> 2875 872.84/873.07 c learnt constraints deletion: 5748 -> 2879 875.14/875.39 c learnt constraints deletion: 5739 -> 2875 877.45/877.68 c learnt constraints deletion: 5752 -> 2885 879.64/879.87 c learnt constraints deletion: 5751 -> 2891 882.05/882.24 c learnt constraints deletion: 5746 -> 2879 884.24/884.49 c learnt constraints deletion: 5748 -> 2884 886.54/886.72 c learnt constraints deletion: 5738 -> 2876 888.84/889.06 c learnt constraints deletion: 5757 -> 2887 891.14/891.37 c learnt constraints deletion: 5749 -> 2887 893.44/893.64 c learnt constraints deletion: 5758 -> 2898 895.74/895.97 c learnt constraints deletion: 5731 -> 2875 898.14/898.39 c learnt constraints deletion: 5763 -> 2894 900.74/900.92 c learnt constraints deletion: 5754 -> 2887 903.14/903.31 c learnt constraints deletion: 5732 -> 2877 905.43/905.68 c learnt constraints deletion: 5745 -> 2890 907.74/907.92 c learnt constraints deletion: 5744 -> 2894 910.24/910.43 c learnt constraints deletion: 5741 -> 2884 912.63/912.82 c learnt constraints deletion: 5749 -> 2891 915.24/915.40 c learnt constraints deletion: 5763 -> 2905 917.84/918.00 c learnt constraints deletion: 5752 -> 2890 920.24/920.45 c learnt constraints deletion: 5748 -> 2893 922.74/923.00 c learnt constraints deletion: 5757 -> 2906 925.34/925.57 c learnt constraints deletion: 5735 -> 2884 927.73/927.98 c learnt constraints deletion: 5760 -> 2898 930.24/930.47 c learnt constraints deletion: 5764 -> 2907 932.64/932.86 c learnt constraints deletion: 5742 -> 2890 935.13/935.35 c learnt constraints deletion: 5754 -> 2900 937.54/937.70 c learnt constraints deletion: 5764 -> 2903 939.93/940.18 c learnt constraints deletion: 5756 -> 2902 942.53/942.72 c learnt constraints deletion: 5724 -> 2863 944.83/945.07 c learnt constraints deletion: 5727 -> 2868 947.13/947.35 c learnt constraints deletion: 5771 -> 2888 949.43/949.66 c learnt constraints deletion: 5722 -> 2865 951.74/951.93 c learnt constraints deletion: 5755 -> 2887 953.84/954.09 c learnt constraints deletion: 5747 -> 2882 956.13/956.33 c learnt constraints deletion: 5736 -> 2872 958.53/958.75 c learnt constraints deletion: 5754 -> 2881 960.93/961.18 c learnt constraints deletion: 5735 -> 2876 963.43/963.61 c learnt constraints deletion: 5744 -> 2886 965.93/966.16 c learnt constraints deletion: 5746 -> 2892 968.43/968.61 c learnt constraints deletion: 5755 -> 2902 971.14/971.31 c learnt constraints deletion: 5756 -> 2910 973.83/974.03 c learnt constraints deletion: 5750 -> 2881 976.53/976.72 c learnt constraints deletion: 5746 -> 2885 979.33/979.50 c learnt constraints deletion: 5765 -> 2889 982.13/982.37 c learnt constraints deletion: 5743 -> 2881 984.83/985.02 c learnt constraints deletion: 5744 -> 2884 987.53/987.78 c learnt constraints deletion: 5768 -> 2900 990.23/990.40 c learnt constraints deletion: 5753 -> 2899 992.92/993.11 c learnt constraints deletion: 5750 -> 2893 995.43/995.69 c learnt constraints deletion: 5741 -> 2878 998.12/998.39 c learnt constraints deletion: 5769 -> 2896 1001.03/1001.29 c learnt constraints deletion: 5750 -> 2883 1003.73/1003.97 c learnt constraints deletion: 5747 -> 2885 1006.73/1006.92 c learnt constraints deletion: 5760 -> 2895 1009.43/1009.61 c learnt constraints deletion: 5753 -> 2896 1012.02/1012.24 c learnt constraints deletion: 5763 -> 2907 1014.72/1014.90 c learnt constraints deletion: 5750 -> 2884 1017.23/1017.42 c learnt constraints deletion: 5733 -> 2877 1019.82/1020.04 c learnt constraints deletion: 5747 -> 2887 1022.32/1022.59 c learnt constraints deletion: 5748 -> 2890 1024.82/1025.07 c learnt constraints deletion: 5761 -> 2901 1027.52/1027.79 c learnt constraints deletion: 5773 -> 2911 1030.53/1030.71 c learnt constraints deletion: 5748 -> 2885 1033.32/1033.52 c learnt constraints deletion: 5761 -> 2894 1035.92/1036.19 c learnt constraints deletion: 5744 -> 2885 1038.72/1038.96 c learnt constraints deletion: 5753 -> 2893 1041.42/1041.68 c learnt constraints deletion: 5750 -> 2896 1044.11/1044.37 c learnt constraints deletion: 5766 -> 2910 1047.03/1047.29 c learnt constraints deletion: 5751 -> 2889 1049.81/1050.07 c learnt constraints deletion: 5740 -> 2884 1052.61/1052.86 c learnt constraints deletion: 5760 -> 2898 1055.32/1055.57 c learnt constraints deletion: 5757 -> 2904 1058.02/1058.29 c learnt constraints deletion: 5748 -> 2892 1061.02/1061.21 c learnt constraints deletion: 5745 -> 2888 1063.92/1064.14 c learnt constraints deletion: 5763 -> 2898 1066.82/1067.01 c learnt constraints deletion: 5762 -> 2899 1069.62/1069.86 c learnt constraints deletion: 5769 -> 2906 1072.62/1072.84 c learnt constraints deletion: 5755 -> 2896 1075.32/1075.53 c learnt constraints deletion: 5767 -> 2886 1078.31/1078.56 c learnt constraints deletion: 5759 -> 2885 1081.31/1081.54 c learnt constraints deletion: 5764 -> 2892 1084.12/1084.32 c learnt constraints deletion: 5764 -> 2895 1087.01/1087.26 c learnt constraints deletion: 5736 -> 2871 1090.21/1090.43 c learnt constraints deletion: 5734 -> 2871 1093.71/1093.92 c learnt constraints deletion: 6312 -> 3163 1096.61/1096.86 c learnt constraints deletion: 6324 -> 3173 1099.91/1100.18 c learnt constraints deletion: 6313 -> 3162 1102.81/1103.08 c learnt constraints deletion: 6305 -> 3160 1105.71/1105.98 c learnt constraints deletion: 6314 -> 3168 1109.00/1109.25 c learnt constraints deletion: 6297 -> 3149 1112.81/1113.00 c learnt constraints deletion: 6312 -> 3159 1116.01/1116.24 c learnt constraints deletion: 6309 -> 3161 1119.00/1119.27 c learnt constraints deletion: 6308 -> 3165 1122.20/1122.46 c learnt constraints deletion: 6316 -> 3173 1125.60/1125.84 c learnt constraints deletion: 6324 -> 3185 1128.90/1129.11 c learnt constraints deletion: 6317 -> 3164 1132.10/1132.39 c learnt constraints deletion: 6302 -> 3152 1135.41/1135.66 c learnt constraints deletion: 6323 -> 3167 1138.90/1139.10 c learnt constraints deletion: 6303 -> 3160 1142.11/1142.32 c learnt constraints deletion: 6313 -> 3159 1145.51/1145.70 c learnt constraints deletion: 6310 -> 3159 1148.90/1149.12 c learnt constraints deletion: 6327 -> 3170 1152.51/1152.74 c learnt constraints deletion: 6312 -> 3165 1155.91/1156.12 c learnt constraints deletion: 6332 -> 3179 1159.00/1159.25 c learnt constraints deletion: 6338 -> 3187 1162.51/1162.71 c learnt constraints deletion: 6345 -> 3194 1166.00/1166.22 c learnt constraints deletion: 6332 -> 3192 1169.10/1169.33 c learnt constraints deletion: 6349 -> 3208 1172.30/1172.52 c learnt constraints deletion: 6309 -> 3167 1175.80/1176.09 c learnt constraints deletion: 6312 -> 3159 1179.49/1179.73 c learnt constraints deletion: 6299 -> 3155 1183.59/1183.88 c learnt constraints deletion: 6329 -> 3176 1187.09/1187.35 c learnt constraints deletion: 6337 -> 3173 1190.69/1190.94 c learnt constraints deletion: 6300 -> 3156 1194.09/1194.30 c learnt constraints deletion: 6315 -> 3167 1197.30/1197.52 c learnt constraints deletion: 6321 -> 3173 1200.59/1200.85 c learnt constraints deletion: 6312 -> 3172 1204.30/1204.54 c learnt constraints deletion: 6334 -> 3188 1207.69/1207.95 c learnt constraints deletion: 6325 -> 3189 1210.99/1211.22 c learnt constraints deletion: 6334 -> 3201 1214.39/1214.66 c learnt constraints deletion: 6314 -> 3174 1217.99/1218.24 c learnt constraints deletion: 6294 -> 3152 1221.49/1221.71 c learnt constraints deletion: 6303 -> 3160 1224.98/1225.23 c learnt constraints deletion: 6311 -> 3166 1228.59/1228.87 c learnt constraints deletion: 6333 -> 3173 1232.19/1232.49 c learnt constraints deletion: 6324 -> 3169 1235.69/1235.90 c learnt constraints deletion: 6304 -> 3162 1239.59/1239.80 c learnt constraints deletion: 6315 -> 3171 1243.19/1243.45 c learnt constraints deletion: 6302 -> 3167 1246.29/1246.55 c learnt constraints deletion: 6316 -> 3177 1249.58/1249.88 c learnt constraints deletion: 6329 -> 3188 1252.88/1253.12 c learnt constraints deletion: 6328 -> 3191 1256.08/1256.31 c learnt constraints deletion: 6341 -> 3202 1259.68/1259.93 c learnt constraints deletion: 6318 -> 3192 1263.38/1263.67 c learnt constraints deletion: 6298 -> 3158 1266.68/1266.90 c learnt constraints deletion: 6317 -> 3167 1270.68/1270.93 c learnt constraints deletion: 6329 -> 3175 1274.58/1274.86 c learnt constraints deletion: 6308 -> 3166 1278.58/1278.82 c learnt constraints deletion: 6299 -> 3164 1282.29/1282.53 c learnt constraints deletion: 6329 -> 3184 1286.28/1286.54 c learnt constraints deletion: 6339 -> 3195 1289.18/1289.44 c learnt constraints deletion: 6337 -> 3202 1292.18/1292.41 c learnt constraints deletion: 6320 -> 3169 1296.18/1296.46 c learnt constraints deletion: 6327 -> 3174 1299.89/1300.17 c learnt constraints deletion: 6332 -> 3179 1303.58/1303.86 c learnt constraints deletion: 6330 -> 3177 1306.78/1307.05 c learnt constraints deletion: 6335 -> 3183 1310.28/1310.51 c learnt constraints deletion: 6334 -> 3186 1313.77/1314.04 c learnt constraints deletion: 6328 -> 3187 1317.87/1318.14 c learnt constraints deletion: 6325 -> 3191 1321.98/1322.21 c learnt constraints deletion: 6344 -> 3203 1326.57/1326.80 c learnt constraints deletion: 6359 -> 3214 1330.78/1331.08 c learnt constraints deletion: 6331 -> 3207 1335.08/1335.32 c learnt constraints deletion: 6379 -> 3235 1339.17/1339.48 c learnt constraints deletion: 6334 -> 3194 1343.57/1343.82 c learnt constraints deletion: 6318 -> 3171 1346.87/1347.11 c learnt constraints deletion: 6321 -> 3175 1349.87/1350.17 c learnt constraints deletion: 6321 -> 3179 1354.36/1354.64 c learnt constraints deletion: 6331 -> 3191 1359.97/1360.29 c learnt constraints deletion: 6330 -> 3179 1364.27/1364.55 c learnt constraints deletion: 6348 -> 3189 1368.96/1369.23 c learnt constraints deletion: 6334 -> 3184 1372.76/1373.02 c learnt constraints deletion: 6333 -> 3187 1376.76/1377.05 c learnt constraints deletion: 6337 -> 3192 1380.47/1380.72 c learnt constraints deletion: 6326 -> 3189 1384.26/1384.55 c learnt constraints deletion: 6341 -> 3201 1387.87/1388.16 c learnt constraints deletion: 6346 -> 3205 1391.47/1391.72 c learnt constraints deletion: 6343 -> 3207 1394.86/1395.14 c learnt constraints deletion: 6346 -> 3214 1398.56/1398.80 c learnt constraints deletion: 6307 -> 3171 1402.36/1402.68 c learnt constraints deletion: 6338 -> 3190 1405.86/1406.12 c learnt constraints deletion: 6322 -> 3185 1409.16/1409.44 c learnt constraints deletion: 6341 -> 3200 1412.66/1412.95 c learnt constraints deletion: 6327 -> 3197 1416.05/1416.39 c learnt constraints deletion: 6348 -> 3213 1419.56/1419.85 c learnt constraints deletion: 6294 -> 3147 1422.95/1423.20 c learnt constraints deletion: 6289 -> 3147 1426.26/1426.51 c learnt constraints deletion: 6305 -> 3157 1429.56/1429.86 c learnt constraints deletion: 6336 -> 3175 1433.26/1433.50 c learnt constraints deletion: 6334 -> 3178 1436.65/1436.90 c learnt constraints deletion: 6319 -> 3169 1440.16/1440.46 c learnt constraints deletion: 6332 -> 3175 1443.75/1444.08 c learnt constraints deletion: 6320 -> 3169 1447.46/1447.72 c learnt constraints deletion: 6294 -> 3148 1450.95/1451.23 c learnt constraints deletion: 6298 -> 3152 1454.06/1454.38 c learnt constraints deletion: 6312 -> 3163 1457.16/1457.45 c learnt constraints deletion: 6333 -> 3180 1460.56/1460.85 c learnt constraints deletion: 6338 -> 3189 1463.65/1463.93 c learnt constraints deletion: 6301 -> 3165 1467.15/1467.44 c learnt constraints deletion: 6316 -> 3160 1470.65/1470.93 c learnt constraints deletion: 6307 -> 3158 1474.25/1474.54 c learnt constraints deletion: 6312 -> 3164 1477.94/1478.29 c learnt constraints deletion: 6316 -> 3168 1481.35/1481.67 c learnt constraints deletion: 6318 -> 3171 1485.24/1485.52 c learnt constraints deletion: 6396 -> 3213 1489.06/1489.37 c learnt constraints deletion: 6339 -> 3189 1492.55/1492.88 c learnt constraints deletion: 6340 -> 3192 1496.65/1496.90 c learnt constraints deletion: 6333 -> 3192 1500.54/1500.82 c learnt constraints deletion: 6327 -> 3195 1504.64/1504.96 c learnt constraints deletion: 6343 -> 3175 1508.44/1508.72 c learnt constraints deletion: 6315 -> 3164 1511.85/1512.18 c learnt constraints deletion: 6316 -> 3167 1515.14/1515.48 c learnt constraints deletion: 6308 -> 3165 1518.55/1518.87 c learnt constraints deletion: 6308 -> 3170 1522.34/1522.66 c learnt constraints deletion: 6293 -> 3151 1525.94/1526.25 c learnt constraints deletion: 6308 -> 3159 1529.44/1529.74 c learnt constraints deletion: 6325 -> 3173 1533.05/1533.31 c learnt constraints deletion: 6313 -> 3172 1536.74/1537.01 c learnt constraints deletion: 6318 -> 3180 1540.14/1540.48 c learnt constraints deletion: 6322 -> 3170 1543.64/1543.98 c learnt constraints deletion: 6300 -> 3156 1547.54/1547.87 c learnt constraints deletion: 6339 -> 3179 1551.54/1551.89 c learnt constraints deletion: 6314 -> 3169 1555.63/1555.97 c learnt constraints deletion: 6355 -> 3195 1559.54/1559.80 c learnt constraints deletion: 6330 -> 3185 1563.34/1563.60 c learnt constraints deletion: 6331 -> 3191 1567.14/1567.45 c learnt constraints deletion: 6385 -> 3209 1571.03/1571.39 c learnt constraints deletion: 6328 -> 3178 1575.03/1575.34 c learnt constraints deletion: 6304 -> 3158 1579.03/1579.34 c learnt constraints deletion: 6326 -> 3172 1583.04/1583.33 c learnt constraints deletion: 6321 -> 3172 1586.94/1587.21 c learnt constraints deletion: 6327 -> 3178 1591.34/1591.69 c learnt constraints deletion: 6313 -> 3174 1595.33/1595.61 c learnt constraints deletion: 6315 -> 3181 1599.54/1599.80 c learnt constraints deletion: 6337 -> 3196 1602.93/1603.28 c learnt constraints deletion: 6338 -> 3176 1606.73/1607.01 c learnt constraints deletion: 6302 -> 3159 1610.73/1611.06 c learnt constraints deletion: 6396 -> 3210 1614.13/1614.49 c learnt constraints deletion: 6314 -> 3171 1618.13/1618.40 c learnt constraints deletion: 6341 -> 3189 1621.83/1622.15 c learnt constraints deletion: 6325 -> 3186 1626.03/1626.34 c learnt constraints deletion: 6339 -> 3198 1630.43/1630.70 c learnt constraints deletion: 6325 -> 3181 1634.12/1634.40 c learnt constraints deletion: 6350 -> 3185 1638.22/1638.57 c learnt constraints deletion: 6312 -> 3164 1642.32/1642.68 c learnt constraints deletion: 6337 -> 3179 1646.33/1646.70 c learnt constraints deletion: 6309 -> 3167 1650.02/1650.39 c learnt constraints deletion: 6348 -> 3192 1653.72/1654.09 c learnt constraints deletion: 6322 -> 3182 1657.83/1658.13 c learnt constraints deletion: 6302 -> 3166 1662.02/1662.39 c learnt constraints deletion: 6295 -> 3157 1666.02/1666.36 c learnt constraints deletion: 6296 -> 3160 1670.72/1671.00 c learnt constraints deletion: 6939 -> 3485 1675.03/1675.34 c learnt constraints deletion: 6929 -> 3484 1679.32/1679.61 c learnt constraints deletion: 6945 -> 3496 1683.52/1683.85 c learnt constraints deletion: 6960 -> 3480 1687.72/1688.04 c learnt constraints deletion: 6924 -> 3465 1692.02/1692.38 c learnt constraints deletion: 6938 -> 3478 1696.12/1696.46 c learnt constraints deletion: 6947 -> 3481 1700.23/1700.53 c learnt constraints deletion: 6937 -> 3477 1704.31/1704.64 c learnt constraints deletion: 6919 -> 3470 1708.71/1709.07 c learnt constraints deletion: 6974 -> 3499 1712.91/1713.20 c learnt constraints deletion: 6961 -> 3494 1717.01/1717.38 c learnt constraints deletion: 6978 -> 3505 1720.82/1721.18 c learnt constraints deletion: 6954 -> 3498 1724.71/1725.05 c learnt constraints deletion: 6972 -> 3514 1728.62/1728.96 c learnt constraints deletion: 6927 -> 3479 1733.21/1733.57 c learnt constraints deletion: 7001 -> 3501 1737.72/1738.02 c learnt constraints deletion: 6958 -> 3481 1742.20/1742.50 c learnt constraints deletion: 6920 -> 3462 1746.91/1747.23 c learnt constraints deletion: 6951 -> 3478 1751.70/1752.01 c learnt constraints deletion: 6944 -> 3477 1756.41/1756.77 c learnt constraints deletion: 6961 -> 3489 1761.00/1761.38 c learnt constraints deletion: 6995 -> 3502 1765.40/1765.71 c learnt constraints deletion: 6952 -> 3478 1769.20/1769.59 c learnt constraints deletion: 6911 -> 3457 1773.61/1773.92 c learnt constraints deletion: 6942 -> 3475 1777.80/1778.13 c learnt constraints deletion: 6927 -> 3473 1782.01/1782.37 c learnt constraints deletion: 6932 -> 3473 1786.40/1786.78 c learnt constraints deletion: 6927 -> 3466 1791.40/1791.72 c learnt constraints deletion: 6957 -> 3483 1795.70/1796.04 c learnt constraints deletion: 6932 -> 3469
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-3706633-1338116551/watcher-3706633-1338116551 -o /tmp/evaluation-result-3706633-1338116551/solver-3706633-1338116551 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706633-1338116551.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: 1.00 1.00 1.21 2/176 14428 /proc/meminfo: memFree=27926912/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 277780540 7405568 742 33554432000 4194304 8973514 140735327608400 140735327591496 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 1808 742 415 1167 0 589 0 [startup+0.0724671 s] /proc/loadavg: 1.00 1.00 1.21 2/176 14428 /proc/meminfo: memFree=27926912/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=10304 CPUtime=0.06 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 1843 0 0 0 6 0 0 0 20 0 1 0 277780540 10551296 1763 33554432000 4194304 8973514 140735327608400 140735327591496 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 2576 1763 417 1167 0 1357 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10304 [startup+0.100318 s] /proc/loadavg: 1.00 1.00 1.21 2/176 14428 /proc/meminfo: memFree=27926912/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 2295 0 0 0 9 0 0 0 20 0 1 0 277780540 12648448 2215 33554432000 4194304 8973514 140735327608400 140735327591496 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 3088 2215 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300309 s] /proc/loadavg: 1.00 1.00 1.21 2/176 14428 /proc/meminfo: memFree=27926912/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=13376 CPUtime=0.29 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 3424 0 0 0 29 0 0 0 20 0 1 0 277780540 13697024 2576 33554432000 4194304 8973514 140735327608400 140735327607896 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 3344 2576 456 1167 0 2125 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13376 [startup+0.700243 s] /proc/loadavg: 1.00 1.00 1.21 2/176 14428 /proc/meminfo: memFree=27926912/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=13376 CPUtime=0.68 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 3424 0 0 0 68 0 0 0 20 0 1 0 277780540 13697024 2576 33554432000 4194304 8973514 140735327608400 140735327607896 4390269 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 3344 2576 456 1167 0 2125 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 13376 [startup+1.5003 s] /proc/loadavg: 1.08 1.02 1.21 3/180 14432 /proc/meminfo: memFree=27911332/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=13376 CPUtime=1.49 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 3424 0 0 0 148 1 0 0 20 0 1 0 277780540 13697024 2576 33554432000 4194304 8973514 140735327608400 140735327607896 4204286 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 3344 2576 456 1167 0 2125 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13376 [startup+3.10032 s] /proc/loadavg: 1.08 1.02 1.21 3/180 14432 /proc/meminfo: memFree=27909108/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=16448 CPUtime=3.08 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 4193 0 0 0 307 1 0 0 20 0 1 0 277780540 16842752 3345 33554432000 4194304 8973514 140735327608400 140735327607896 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 4112 3345 457 1167 0 2893 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16448 [startup+6.30031 s] /proc/loadavg: 1.23 1.05 1.22 3/180 14432 /proc/meminfo: memFree=27902536/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=18496 CPUtime=6.28 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 4457 0 0 0 625 3 0 0 20 0 1 0 277780540 18939904 3609 33554432000 4194304 8973514 140735327608400 140735327607664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 4624 3609 457 1167 0 3405 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18496 [startup+12.7003 s] /proc/loadavg: 1.29 1.06 1.23 3/180 14432 /proc/meminfo: memFree=27896252/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=19520 CPUtime=12.69 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 4961 0 0 0 1261 8 0 0 20 0 1 0 277780540 19988480 4113 33554432000 4194304 8973514 140735327608400 140735327607896 4204685 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 4880 4113 457 1167 0 3661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19520 [startup+25.5003 s] /proc/loadavg: 1.45 1.11 1.24 3/180 14432 /proc/meminfo: memFree=27893392/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=20544 CPUtime=25.48 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 5222 0 0 0 2533 15 0 0 20 0 1 0 277780540 21037056 4369 33554432000 4194304 8973514 140735327608400 140735327607664 4213881 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 5136 4369 457 1167 0 3917 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20544 [startup+51.1003 s] /proc/loadavg: 1.64 1.18 1.26 3/180 14432 /proc/meminfo: memFree=27884644/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=26688 CPUtime=51.07 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 6761 0 0 0 5078 29 0 0 20 0 1 0 277780540 27328512 5905 33554432000 4194304 8973514 140735327608400 140735327606336 6576205 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 6672 5905 457 1167 0 5453 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26688 [startup+102.307 s] /proc/loadavg: 1.84 1.30 1.29 3/178 14432 /proc/meminfo: memFree=27873612/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=35904 CPUtime=102.27 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 9068 0 0 0 10164 63 0 0 20 0 1 0 277780540 36765696 8209 33554432000 4194304 8973514 140735327608400 140735327607664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 8976 8209 457 1167 0 7757 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35904 [startup+162.3 s] /proc/loadavg: 1.94 1.43 1.33 3/179 14433 /proc/meminfo: memFree=27857776/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=42048 CPUtime=162.26 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 10606 0 0 0 16125 101 0 0 20 0 1 0 277780540 43057152 9745 33554432000 4194304 8973514 140735327608400 140735327607664 6570484 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 10512 9745 457 1167 0 9293 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 42048 [startup+222.3 s] /proc/loadavg: 1.98 1.53 1.37 3/179 14433 /proc/meminfo: memFree=27858892/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=46144 CPUtime=222.24 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 11632 0 0 0 22085 139 0 0 20 0 1 0 277780540 47251456 10769 33554432000 4194304 8973514 140735327608400 140735327607664 4459448 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 11536 10769 457 1167 0 10317 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 46144 [startup+282.3 s] /proc/loadavg: 2.15 1.66 1.43 3/179 14434 /proc/meminfo: memFree=27848532/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=50240 CPUtime=282.23 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 12656 0 0 0 28052 171 0 0 20 0 1 0 277780540 51445760 11793 33554432000 4194304 8973514 140735327608400 140735327607896 7672546 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 12560 11793 457 1167 0 11341 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 50240 [startup+342.3 s] /proc/loadavg: 2.05 1.72 1.46 3/179 14434 /proc/meminfo: memFree=27848028/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=50240 CPUtime=342.23 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 12913 0 0 0 34017 206 0 0 20 0 1 0 277780540 51445760 11793 33554432000 4194304 8973514 140735327608400 140735327607664 6571993 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 12560 11793 457 1167 0 11341 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 50240 [startup+402.3 s] /proc/loadavg: 2.02 1.77 1.49 3/179 14434 /proc/meminfo: memFree=27847904/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=50240 CPUtime=402.22 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 12913 0 0 0 39981 241 0 0 20 0 1 0 277780540 51445760 11793 33554432000 4194304 8973514 140735327608400 140735327607896 4204685 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 12560 11793 457 1167 0 11341 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 50240 [startup+462.3 s] /proc/loadavg: 2.00 1.81 1.52 3/180 14437 /proc/meminfo: memFree=27841188/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=52288 CPUtime=462.21 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 13426 0 0 0 45945 276 0 0 20 0 1 0 277780540 53542912 12305 33554432000 4194304 8973514 140735327608400 140735327607896 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 13072 12305 457 1167 0 11853 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 52288 [startup+522.3 s] /proc/loadavg: 2.00 1.84 1.55 3/179 14437 /proc/meminfo: memFree=27835308/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=53312 CPUtime=522.2 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 13682 0 0 0 51921 299 0 0 20 0 1 0 277780540 54591488 12561 33554432000 4194304 8973514 140735327608400 140735327607896 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 13328 12561 457 1167 0 12109 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 53312 [startup+582.3 s] /proc/loadavg: 2.00 1.86 1.57 3/179 14438 /proc/meminfo: memFree=27834252/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=54336 CPUtime=582.19 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 13938 0 0 0 57899 320 0 0 20 0 1 0 277780540 55640064 12817 33554432000 4194304 8973514 140735327608400 140735327607896 6571949 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 13584 12817 457 1167 0 12365 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 54336 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 1.94 1.68 3/179 14439 /proc/meminfo: memFree=27821412/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=59456 CPUtime=882.15 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 15220 0 0 0 87777 438 0 0 20 0 1 0 277780540 60882944 14097 33554432000 4194304 8973514 140735327608400 140735327607896 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 14864 14097 457 1167 0 13645 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 59456 [startup+942.3 s] /proc/loadavg: 2.08 1.96 1.70 3/179 14439 /proc/meminfo: memFree=27821344/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=59456 CPUtime=942.13 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 15220 0 0 0 93748 465 0 0 20 0 1 0 277780540 60882944 14097 33554432000 4194304 8973514 140735327608400 140735327607664 4459348 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 14864 14097 457 1167 0 13645 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 59456 [startup+1002.3 s] /proc/loadavg: 2.08 1.98 1.72 3/179 14439 /proc/meminfo: memFree=27817252/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=62528 CPUtime=1002.12 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 15988 0 0 0 99724 488 0 0 20 0 1 0 277780540 64028672 14865 33554432000 4194304 8973514 140735327608400 140735327607664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 15632 14865 457 1167 0 14413 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 62528 [startup+1062.3 s] /proc/loadavg: 2.03 1.98 1.74 3/180 14442 /proc/meminfo: memFree=27817540/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=62528 CPUtime=1062.12 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 15988 0 0 0 105697 515 0 0 20 0 1 0 277780540 64028672 14865 33554432000 4194304 8973514 140735327608400 140735327607896 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 15632 14865 457 1167 0 14413 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 62528 [startup+1122.3 s] /proc/loadavg: 2.01 1.98 1.75 3/179 14442 /proc/meminfo: memFree=27815820/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=65600 CPUtime=1122.1 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 16756 0 0 0 111658 552 0 0 20 0 1 0 277780540 67174400 15633 33554432000 4194304 8973514 140735327608400 140735327607896 4204368 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 16400 15633 457 1167 0 15181 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 65600 [startup+1182.3 s] /proc/loadavg: 2.00 1.98 1.76 3/179 14443 /proc/meminfo: memFree=27808932/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=68672 CPUtime=1182.1 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 17526 0 0 0 117619 591 0 0 20 0 1 0 277780540 70320128 16401 33554432000 4194304 8973514 140735327608400 140735327607896 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 17168 16401 457 1167 0 15949 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 68672 [startup+1242.3 s] /proc/loadavg: 2.07 2.00 1.78 3/179 14443 /proc/meminfo: memFree=27808932/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=68672 CPUtime=1242.09 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 17526 0 0 0 123581 628 0 0 20 0 1 0 277780540 70320128 16401 33554432000 4194304 8973514 140735327608400 140735327607664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 17168 16401 457 1167 0 15949 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 68672 [startup+1302.3 s] /proc/loadavg: 2.16 2.03 1.80 3/179 14443 /proc/meminfo: memFree=27815504/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=68672 CPUtime=1302.08 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 17526 0 0 0 129544 664 0 0 20 0 1 0 277780540 70320128 16401 33554432000 4194304 8973514 140735327608400 140735327607896 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 17168 16401 457 1167 0 15949 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 68672 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 1.81 3/179 14443 /proc/meminfo: memFree=27808808/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=74816 CPUtime=1362.07 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 19574 0 0 0 135507 700 0 0 20 0 1 0 277780540 76611584 17937 33554432000 4194304 8973514 140735327608400 140735327607664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 18704 17937 457 1167 0 17485 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 74816 [startup+1422.31 s] /proc/loadavg: 2.11 2.05 1.83 3/179 14443 /proc/meminfo: memFree=27808800/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=74816 CPUtime=1422.06 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 19578 0 0 0 141469 737 0 0 20 0 1 0 277780540 76611584 17937 33554432000 4194304 8973514 140735327608400 140735327607896 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 18704 17937 457 1167 0 17485 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 74816 [startup+1482.3 s] /proc/loadavg: 2.23 2.08 1.85 3/179 14444 /proc/meminfo: memFree=27805200/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=74816 CPUtime=1482.05 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 19578 0 0 0 147433 772 0 0 20 0 1 0 277780540 76611584 17937 33554432000 4194304 8973514 140735327608400 140735327607664 4204292 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 18704 17937 457 1167 0 17485 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 74816 [startup+1542.3 s] /proc/loadavg: 2.16 2.08 1.86 3/179 14444 /proc/meminfo: memFree=27800240/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=74816 CPUtime=1542.04 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 19578 0 0 0 153397 807 0 0 20 0 1 0 277780540 76611584 17937 33554432000 4194304 8973514 140735327608400 140735327607896 4447255 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 18704 17937 457 1167 0 17485 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 74816 [startup+1602.3 s] /proc/loadavg: 2.14 2.08 1.87 3/179 14444 /proc/meminfo: memFree=27800112/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=74816 CPUtime=1602.03 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 19578 0 0 0 159360 843 0 0 20 0 1 0 277780540 76611584 17937 33554432000 4194304 8973514 140735327608400 140735327607664 5372056 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 18704 17937 457 1167 0 17485 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 74816 [startup+1662.3 s] /proc/loadavg: 2.13 2.08 1.88 3/180 14447 /proc/meminfo: memFree=27799972/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=74816 CPUtime=1662.02 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 19578 0 0 0 165327 875 0 0 20 0 1 0 277780540 76611584 17937 33554432000 4194304 8973514 140735327608400 140735327607896 4204286 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 18704 17937 457 1167 0 17485 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 74816 [startup+1722.3 s] /proc/loadavg: 2.05 2.06 1.89 3/179 14447 /proc/meminfo: memFree=27799740/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=75840 CPUtime=1722.01 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 19834 0 0 0 171305 896 0 0 20 0 1 0 277780540 77660160 18193 33554432000 4194304 8973514 140735327608400 140735327607896 4209136 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 18960 18193 457 1167 0 17741 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 75840 [startup+1782.3 s] /proc/loadavg: 2.14 2.08 1.91 3/179 14448 /proc/meminfo: memFree=27797196/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=77888 CPUtime=1782.01 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 20346 0 0 0 177282 919 0 0 20 0 1 0 277780540 79757312 18705 33554432000 4194304 8973514 140735327608400 140735327607896 7601810 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 19472 18705 457 1167 0 18253 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 77888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.11 2.08 1.91 3/179 14448 /proc/meminfo: memFree=27792540/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=77888 CPUtime=1800.01 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 20346 0 0 0 179074 927 0 0 20 0 1 0 277780540 79757312 18705 33554432000 4194304 8973514 140735327608400 140735327607664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 19472 18705 457 1167 0 18253 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 77888 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.11 2.08 1.91 3/179 14448 /proc/meminfo: memFree=27792540/32873844 swapFree=7124/7124 [pid=14428] ppid=14424 vsize=77888 CPUtime=1800.01 cores=0,2,4,6 /proc/14428/stat : 14428 (toysat) R 14424 14428 10899 0 -1 4202496 20346 0 0 0 179074 927 0 0 20 0 1 0 277780540 79757312 18705 33554432000 4194304 8973514 140735327608400 140735327607664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/14428/statm: 19472 18705 457 1167 0 18253 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 77888 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1790.74 CPU system time (s): 9.27359 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 77888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.74 system time used= 9.27359 maximum resident set size= 74820 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20346 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= 28 involuntary context switches= 1897 runsolver used 4.43333 second user time and 8.43272 second system time The end
Begin job on node134 at 2012-05-27 13:02:31 IDJOB=3706633 IDBENCH=2052 IDSOLVER=2285 FILE ID=node134/3706633-1338116551 RUNJOBID= node134-1338116551-14403 PBS_JOBID= 14624458 Free space on /tmp= 71052 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706633-1338116551/watcher-3706633-1338116551 -o /tmp/evaluation-result-3706633-1338116551/solver-3706633-1338116551 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706633-1338116551.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=1212773470 node134.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.278 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.56 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.278 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 : 2667.278 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.59 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.278 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.55 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.278 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 : 2667.278 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 : 5332.57 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.278 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27927548 kB Buffers: 393340 kB Cached: 3687596 kB SwapCached: 0 kB Active: 1494852 kB Inactive: 2597536 kB Active(anon): 7476 kB Inactive(anon): 5996 kB Active(file): 1487376 kB Inactive(file): 2591540 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 15512 kB Writeback: 24 kB AnonPages: 138644 kB Mapped: 13764 kB Shmem: 212 kB Slab: 714000 kB SReclaimable: 155784 kB SUnreclaim: 558216 kB KernelStack: 1440 kB PageTables: 3828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104084 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 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= 71036 MiB End job on node134 at 2012-05-27 13:32:34