Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.1 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
MD5SUM | 09000b526c4cf3fc454b31cbb57a970b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.181971 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 906 |
Total number of constraints | 1039 |
Number of constraints which are clauses | 852 |
Number of constraints which are cardinality constraints (but not clauses) | 187 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 906 |
Biggest coefficient in the objective function | 553 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2526 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 553 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2526 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.10 c 2012-06-02T12:35:54+0200 0.09/0.10 c arch = x86_64 0.09/0.10 c os = linux 0.09/0.10 c compiler = ghc 7.4 0.09/0.10 c packages: 0.09/0.10 c OptDir-0.0.1 0.09/0.10 c array-0.4.0.0 0.09/0.10 c base-4.5.0.0 0.09/0.10 c bytestring-0.9.2.1 0.09/0.10 c containers-0.4.2.1 0.09/0.10 c deepseq-1.3.0.0 0.09/0.10 c mtl-2.1.1 0.09/0.10 c old_locale-1.0.0.4 0.09/0.10 c parse_dimacs-1.2 0.09/0.10 c parsec-3.1.2 0.09/0.10 c queue-0.1.2 0.09/0.10 c stm-2.3 0.09/0.10 c time-1.4 0.09/0.10 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725175-1338633354.opb"] 0.09/0.10 c #vars 906 0.09/0.10 c #constraints 1039 0.09/0.10 c Solving starts ... 0.09/0.11 c solving time = 0.002s 0.09/0.11 c #decision = 460 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 o 22 0.09/0.11 c Solving starts ... 6.49/6.55 c learnt constraints deletion: 1315 -> 658 9.79/9.87 c learnt constraints deletion: 1418 -> 709 13.68/13.72 c learnt constraints deletion: 1570 -> 785 17.60/17.62 c learnt constraints deletion: 1712 -> 856 22.00/22.02 c learnt constraints deletion: 1725 -> 867 26.18/26.30 c learnt constraints deletion: 1838 -> 922 29.89/29.93 c learnt constraints deletion: 1846 -> 926 32.79/32.81 c learnt constraints deletion: 1796 -> 898 38.28/38.33 c learnt constraints deletion: 1975 -> 990 42.48/42.52 c learnt constraints deletion: 1967 -> 986 47.38/47.40 c learnt constraints deletion: 1962 -> 982 51.08/51.19 c learnt constraints deletion: 1806 -> 903 57.18/57.27 c learnt constraints deletion: 2127 -> 1064 64.48/64.58 c learnt constraints deletion: 2116 -> 1059 70.28/70.32 c learnt constraints deletion: 2112 -> 1059 77.18/77.23 c learnt constraints deletion: 2111 -> 1060 83.17/83.29 c learnt constraints deletion: 2134 -> 1074 88.77/88.87 c learnt constraints deletion: 2283 -> 1150 94.48/94.51 c learnt constraints deletion: 2293 -> 1149 100.27/100.39 c learnt constraints deletion: 2283 -> 1145 105.87/105.93 c learnt constraints deletion: 2279 -> 1144 111.27/111.38 c learnt constraints deletion: 2300 -> 1154 116.37/116.40 c learnt constraints deletion: 2300 -> 1155 121.37/121.45 c learnt constraints deletion: 2288 -> 1149 126.07/126.12 c learnt constraints deletion: 2095 -> 1048 132.76/132.84 c learnt constraints deletion: 2489 -> 1247 138.66/138.73 c learnt constraints deletion: 2511 -> 1259 144.87/144.97 c learnt constraints deletion: 2482 -> 1247 149.96/150.03 c learnt constraints deletion: 2477 -> 1244 156.46/156.55 c learnt constraints deletion: 2459 -> 1230 164.26/164.36 c learnt constraints deletion: 2456 -> 1230 170.86/170.95 c learnt constraints deletion: 2495 -> 1251 177.76/177.81 c learnt constraints deletion: 2490 -> 1248 185.26/185.32 c learnt constraints deletion: 2488 -> 1250 191.75/191.81 c learnt constraints deletion: 2462 -> 1232 200.75/200.80 c learnt constraints deletion: 2666 -> 1335 207.95/208.08 c learnt constraints deletion: 2679 -> 1345 215.55/215.60 c learnt constraints deletion: 2681 -> 1342 222.35/222.43 c learnt constraints deletion: 2684 -> 1344 229.95/230.02 c learnt constraints deletion: 2678 -> 1344 238.55/238.66 c learnt constraints deletion: 2667 -> 1337 247.35/247.49 c learnt constraints deletion: 2682 -> 1344 256.04/256.12 c learnt constraints deletion: 2693 -> 1351 265.24/265.39 c learnt constraints deletion: 2675 -> 1343 273.44/273.55 c learnt constraints deletion: 2675 -> 1346 280.64/280.79 c learnt constraints deletion: 2687 -> 1354 287.23/287.39 c learnt constraints deletion: 2671 -> 1337 295.24/295.30 c learnt constraints deletion: 2681 -> 1343 301.64/301.78 c learnt constraints deletion: 2678 -> 1342 307.13/307.25 c learnt constraints deletion: 2518 -> 1259 315.43/315.56 c learnt constraints deletion: 2891 -> 1446 322.73/322.80 c learnt constraints deletion: 2901 -> 1451 329.44/329.53 c learnt constraints deletion: 2912 -> 1458 336.83/336.93 c learnt constraints deletion: 2915 -> 1461 344.13/344.26 c learnt constraints deletion: 2891 -> 1448 351.12/351.25 c learnt constraints deletion: 2905 -> 1457 357.82/357.97 c learnt constraints deletion: 2899 -> 1454 364.62/364.71 c learnt constraints deletion: 2899 -> 1458 371.12/371.23 c learnt constraints deletion: 2899 -> 1453 378.52/378.68 c learnt constraints deletion: 2900 -> 1452 385.02/385.19 c learnt constraints deletion: 2891 -> 1449 391.82/391.99 c learnt constraints deletion: 2892 -> 1448 399.91/400.04 c learnt constraints deletion: 2898 -> 1455 407.12/407.23 c learnt constraints deletion: 2894 -> 1451 414.41/414.53 c learnt constraints deletion: 2909 -> 1460 421.51/421.60 c learnt constraints deletion: 2919 -> 1466 428.41/428.58 c learnt constraints deletion: 2895 -> 1452 434.71/434.80 c learnt constraints deletion: 2907 -> 1461 442.41/442.53 c learnt constraints deletion: 2901 -> 1456 449.82/449.96 c learnt constraints deletion: 3056 -> 1528 456.51/456.62 c learnt constraints deletion: 3146 -> 1573 463.61/463.74 c learnt constraints deletion: 3159 -> 1581 470.71/470.83 c learnt constraints deletion: 3157 -> 1581 477.31/477.47 c learnt constraints deletion: 3150 -> 1579 484.71/484.83 c learnt constraints deletion: 3160 -> 1582 491.40/491.51 c learnt constraints deletion: 3147 -> 1577 498.70/498.82 c learnt constraints deletion: 3172 -> 1587 506.30/506.44 c learnt constraints deletion: 3155 -> 1580 513.60/513.71 c learnt constraints deletion: 3169 -> 1592 520.90/521.09 c learnt constraints deletion: 3173 -> 1595 528.30/528.49 c learnt constraints deletion: 3144 -> 1575 535.30/535.48 c learnt constraints deletion: 3154 -> 1581 543.60/543.70 c learnt constraints deletion: 3189 -> 1602 550.79/550.92 c learnt constraints deletion: 3145 -> 1578 557.79/557.93 c learnt constraints deletion: 3140 -> 1570 565.79/565.97 c learnt constraints deletion: 3186 -> 1594 574.29/574.40 c learnt constraints deletion: 3154 -> 1579 582.39/582.56 c learnt constraints deletion: 3177 -> 1595 589.69/589.83 c learnt constraints deletion: 3169 -> 1586 597.98/598.18 c learnt constraints deletion: 3153 -> 1579 605.48/605.62 c learnt constraints deletion: 3149 -> 1579 612.88/613.06 c learnt constraints deletion: 3166 -> 1591 620.29/620.47 c learnt constraints deletion: 3174 -> 1593 627.37/627.50 c learnt constraints deletion: 3151 -> 1585 634.48/634.60 c learnt constraints deletion: 3148 -> 1576 642.29/642.46 c learnt constraints deletion: 3153 -> 1581 648.68/648.86 c learnt constraints deletion: 3148 -> 1577 657.37/657.58 c learnt constraints deletion: 3413 -> 1710 665.97/666.15 c learnt constraints deletion: 3434 -> 1720 674.47/674.60 c learnt constraints deletion: 3435 -> 1724 682.77/682.96 c learnt constraints deletion: 3428 -> 1717 690.57/690.73 c learnt constraints deletion: 3422 -> 1714 697.67/697.80 c learnt constraints deletion: 3421 -> 1716 704.97/705.16 c learnt constraints deletion: 3444 -> 1722 714.06/714.23 c learnt constraints deletion: 3436 -> 1720 722.66/722.84 c learnt constraints deletion: 3443 -> 1725 730.36/730.51 c learnt constraints deletion: 3427 -> 1720 739.46/739.65 c learnt constraints deletion: 3415 -> 1709 747.46/747.62 c learnt constraints deletion: 3430 -> 1718 755.46/755.67 c learnt constraints deletion: 3423 -> 1715 762.86/763.02 c learnt constraints deletion: 3443 -> 1727 770.66/770.87 c learnt constraints deletion: 3425 -> 1716 777.76/777.99 c learnt constraints deletion: 3422 -> 1713 785.86/786.04 c learnt constraints deletion: 3429 -> 1718 793.46/793.66 c learnt constraints deletion: 3422 -> 1717 800.95/801.13 c learnt constraints deletion: 3425 -> 1715 811.66/811.81 c learnt constraints deletion: 3419 -> 1713 822.04/822.25 c learnt constraints deletion: 3429 -> 1718 830.85/831.00 c learnt constraints deletion: 3421 -> 1714 839.64/839.87 c learnt constraints deletion: 3422 -> 1715 847.74/847.91 c learnt constraints deletion: 3441 -> 1726 855.74/855.99 c learnt constraints deletion: 3429 -> 1720 865.13/865.38 c learnt constraints deletion: 3452 -> 1735 873.73/873.91 c learnt constraints deletion: 3448 -> 1736 881.53/881.79 c learnt constraints deletion: 3429 -> 1720 890.33/890.51 c learnt constraints deletion: 3428 -> 1721 899.03/899.29 c learnt constraints deletion: 3428 -> 1718 907.03/907.28 c learnt constraints deletion: 3430 -> 1722 915.33/915.53 c learnt constraints deletion: 3470 -> 1743 923.13/923.34 c learnt constraints deletion: 3422 -> 1720 931.43/931.65 c learnt constraints deletion: 3434 -> 1725 939.83/940.07 c learnt constraints deletion: 3457 -> 1746 947.42/947.63 c learnt constraints deletion: 3453 -> 1741 955.53/955.77 c learnt constraints deletion: 3432 -> 1728 963.62/963.88 c learnt constraints deletion: 3455 -> 1739 973.52/973.73 c learnt constraints deletion: 3718 -> 1864 983.22/983.46 c learnt constraints deletion: 3735 -> 1875 991.92/992.13 c learnt constraints deletion: 3734 -> 1876 1001.52/1001.74 c learnt constraints deletion: 3768 -> 1893 1010.92/1011.18 c learnt constraints deletion: 3757 -> 1890 1020.11/1020.33 c learnt constraints deletion: 3728 -> 1872 1029.71/1029.95 c learnt constraints deletion: 3747 -> 1886 1039.61/1039.83 c learnt constraints deletion: 3750 -> 1885 1048.50/1048.70 c learnt constraints deletion: 3723 -> 1862 1056.21/1056.49 c learnt constraints deletion: 3735 -> 1870 1066.21/1066.49 c learnt constraints deletion: 3731 -> 1868 1075.60/1075.88 c learnt constraints deletion: 3727 -> 1866 1083.10/1083.35 c learnt constraints deletion: 3742 -> 1874 1090.91/1091.16 c learnt constraints deletion: 3723 -> 1866 1099.90/1100.13 c learnt constraints deletion: 3725 -> 1864 1108.10/1108.40 c learnt constraints deletion: 3722 -> 1863 1115.40/1115.68 c learnt constraints deletion: 3721 -> 1865 1124.19/1124.44 c learnt constraints deletion: 3728 -> 1868 1132.80/1133.08 c learnt constraints deletion: 3726 -> 1869 1142.60/1142.81 c learnt constraints deletion: 3729 -> 1868 1151.69/1151.93 c learnt constraints deletion: 3724 -> 1867 1160.49/1160.73 c learnt constraints deletion: 3723 -> 1865 1169.10/1169.35 c learnt constraints deletion: 3735 -> 1874 1178.09/1178.34 c learnt constraints deletion: 3721 -> 1866 1187.48/1187.76 c learnt constraints deletion: 3739 -> 1886 1195.38/1195.65 c learnt constraints deletion: 3718 -> 1864 1204.67/1204.95 c learnt constraints deletion: 3721 -> 1868 1214.09/1214.34 c learnt constraints deletion: 3724 -> 1870 1222.58/1222.83 c learnt constraints deletion: 3728 -> 1876 1231.58/1231.83 c learnt constraints deletion: 3757 -> 1891 1239.97/1240.22 c learnt constraints deletion: 3748 -> 1879 1248.37/1248.60 c learnt constraints deletion: 3749 -> 1882 1256.57/1256.87 c learnt constraints deletion: 3739 -> 1880 1265.57/1265.88 c learnt constraints deletion: 3743 -> 1883 1273.96/1274.25 c learnt constraints deletion: 3756 -> 1891 1282.16/1282.44 c learnt constraints deletion: 3722 -> 1864 1292.46/1292.79 c learnt constraints deletion: 3726 -> 1868 1300.76/1301.05 c learnt constraints deletion: 3736 -> 1874 1309.46/1309.70 c learnt constraints deletion: 3717 -> 1864 1319.56/1319.89 c learnt constraints deletion: 3733 -> 1876 1328.36/1328.64 c learnt constraints deletion: 3723 -> 1868 1338.37/1338.65 c learnt constraints deletion: 3739 -> 1878 1348.06/1348.39 c learnt constraints deletion: 3722 -> 1867 1357.06/1357.32 c learnt constraints deletion: 3729 -> 1871 1366.45/1366.74 c learnt constraints deletion: 3731 -> 1873 1375.15/1375.44 c learnt constraints deletion: 3737 -> 1875 1384.35/1384.68 c learnt constraints deletion: 3729 -> 1872 1393.55/1393.83 c learnt constraints deletion: 3734 -> 1875 1401.95/1402.23 c learnt constraints deletion: 3749 -> 1884 1409.85/1410.12 c learnt constraints deletion: 3726 -> 1873 1419.54/1419.81 c learnt constraints deletion: 3716 -> 1866 1428.55/1428.88 c learnt constraints deletion: 3758 -> 1892 1435.64/1435.95 c learnt constraints deletion: 3732 -> 1867 1443.14/1443.48 c learnt constraints deletion: 4039 -> 2021 1452.24/1452.59 c learnt constraints deletion: 4040 -> 2021 1461.24/1461.51 c learnt constraints deletion: 4059 -> 2031 1469.14/1469.46 c learnt constraints deletion: 4033 -> 2018 1477.43/1477.71 c learnt constraints deletion: 4060 -> 2032 1487.53/1487.81 c learnt constraints deletion: 4044 -> 2025 1497.13/1497.45 c learnt constraints deletion: 4050 -> 2026 1506.23/1506.52 c learnt constraints deletion: 4080 -> 2043 1515.03/1515.33 c learnt constraints deletion: 4056 -> 2032 1525.13/1525.42 c learnt constraints deletion: 4055 -> 2031 1534.43/1534.75 c learnt constraints deletion: 4073 -> 2042 1541.93/1542.29 c learnt constraints deletion: 4058 -> 2034 1550.73/1551.02 c learnt constraints deletion: 4050 -> 2028 1560.52/1560.89 c learnt constraints deletion: 4065 -> 2037 1570.62/1570.98 c learnt constraints deletion: 4066 -> 2040 1580.92/1581.27 c learnt constraints deletion: 4044 -> 2026 1590.62/1590.97 c learnt constraints deletion: 4048 -> 2029 1600.41/1600.71 c learnt constraints deletion: 4052 -> 2031 1609.91/1610.27 c learnt constraints deletion: 4059 -> 2037 1619.81/1620.14 c learnt constraints deletion: 4086 -> 2044 1629.31/1629.66 c learnt constraints deletion: 4080 -> 2041 1639.40/1639.71 c learnt constraints deletion: 4056 -> 2032 1648.41/1648.79 c learnt constraints deletion: 4050 -> 2027 1658.11/1658.47 c learnt constraints deletion: 4048 -> 2030 1668.20/1668.53 c learnt constraints deletion: 4060 -> 2031 1677.90/1678.20 c learnt constraints deletion: 4051 -> 2029 1687.20/1687.58 c learnt constraints deletion: 4062 -> 2033 1696.91/1697.20 c learnt constraints deletion: 4053 -> 2030 1706.90/1707.23 c learnt constraints deletion: 4083 -> 2047 1716.89/1717.21 c learnt constraints deletion: 4056 -> 2031 1725.89/1726.24 c learnt constraints deletion: 4059 -> 2036 1735.50/1735.88 c learnt constraints deletion: 4045 -> 2026 1746.19/1746.55 c learnt constraints deletion: 4052 -> 2027 1755.99/1756.33 c learnt constraints deletion: 4046 -> 2025 1765.88/1766.26 c learnt constraints deletion: 4066 -> 2035 1775.98/1776.33 c learnt constraints deletion: 4045 -> 2027 1787.09/1787.50 c learnt constraints deletion: 4084 -> 2045 1797.09/1797.41 c learnt constraints deletion: 4082 -> 2046
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-3725175-1338633354/watcher-3725175-1338633354 -o /tmp/evaluation-result-3725175-1338633354/solver-3725175-1338633354 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725175-1338633354.opb running on 4 cores: 1,3,5,7 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.03 2.04 1.73 3/176 28479 /proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=7248 CPUtime=0 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 329460289 7421952 757 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 1812 757 429 1171 0 589 0 [startup+0.0514229 s] /proc/loadavg: 2.03 2.04 1.73 3/176 28479 /proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=8272 CPUtime=0.04 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 1247 0 0 0 4 0 0 0 20 0 1 0 329460289 8470528 1168 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 2068 1168 443 1171 0 845 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8272 [startup+0.100222 s] /proc/loadavg: 2.03 2.04 1.73 3/176 28479 /proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=8272 CPUtime=0.09 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 1247 0 0 0 9 0 0 0 20 0 1 0 329460289 8470528 1168 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 2068 1168 443 1171 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8272 [startup+0.300228 s] /proc/loadavg: 2.03 2.04 1.73 3/176 28479 /proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=10320 CPUtime=0.29 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 1903 0 0 0 29 0 0 0 20 0 1 0 329460289 10567680 1824 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 2580 1824 472 1171 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10320 [startup+0.700226 s] /proc/loadavg: 2.03 2.04 1.73 3/176 28479 /proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=11344 CPUtime=0.69 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 2159 0 0 0 68 1 0 0 20 0 1 0 329460289 11616256 2080 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 2836 2080 472 1171 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11344 [startup+1.50024 s] /proc/loadavg: 2.03 2.04 1.73 3/177 28480 /proc/meminfo: memFree=27436248/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=12368 CPUtime=1.49 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 2415 0 0 0 148 1 0 0 20 0 1 0 329460289 12664832 2336 33554432000 4194304 8989770 140735836293296 140735836291264 4425016 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 3092 2336 472 1171 0 1869 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12368 [startup+3.1003 s] /proc/loadavg: 2.03 2.04 1.73 3/177 28480 /proc/meminfo: memFree=27433768/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=14416 CPUtime=3.08 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 2927 0 0 0 307 1 0 0 20 0 1 0 329460289 14761984 2848 33554432000 4194304 8989770 140735836293296 140735836275264 4457904 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 3604 2848 472 1171 0 2381 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14416 [startup+6.30031 s] /proc/loadavg: 2.03 2.04 1.73 3/177 28480 /proc/meminfo: memFree=27430908/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=17488 CPUtime=6.29 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 3695 0 0 0 626 3 0 0 20 0 1 0 329460289 17907712 3616 33554432000 4194304 8989770 140735836293296 140735836292560 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 4372 3616 472 1171 0 3149 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17488 [startup+12.7003 s] /proc/loadavg: 2.18 2.07 1.75 3/177 28480 /proc/meminfo: memFree=27427444/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=19536 CPUtime=12.69 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 4209 0 0 0 1264 5 0 0 20 0 1 0 329460289 20004864 4130 33554432000 4194304 8989770 140735836293296 140735836291264 7688479 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 4884 4130 474 1171 0 3661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19536 [startup+25.5003 s] /proc/loadavg: 2.15 2.07 1.75 3/177 28480 /proc/meminfo: memFree=27415348/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=26704 CPUtime=25.48 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 6003 0 0 0 2538 10 0 0 20 0 1 0 329460289 27344896 5923 33554432000 4194304 8989770 140735836293296 140735836292560 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 6676 5923 474 1171 0 5453 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26704 [startup+51.1003 s] /proc/loadavg: 2.10 2.06 1.75 3/177 28480 /proc/meminfo: memFree=27409564/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=28752 CPUtime=51.08 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 6518 0 0 0 5088 20 0 0 20 0 1 0 329460289 29442048 6435 33554432000 4194304 8989770 140735836293296 140735836291072 4361431 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 7188 6435 474 1171 0 5965 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28752 [startup+102.307 s] /proc/loadavg: 2.09 2.06 1.77 3/177 28480 /proc/meminfo: memFree=27404408/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=29776 CPUtime=102.27 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 7031 0 0 0 10188 39 0 0 20 0 1 0 329460289 30490624 6691 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 7444 6691 474 1171 0 6221 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29776 [startup+162.3 s] /proc/loadavg: 2.03 2.05 1.78 3/177 28481 /proc/meminfo: memFree=27397396/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=33872 CPUtime=162.26 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 8823 0 0 0 16163 63 0 0 20 0 1 0 329460289 34684928 7715 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 8468 7715 474 1171 0 7245 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 33872 [startup+222.3 s] /proc/loadavg: 2.09 2.05 1.80 3/177 28481 /proc/meminfo: memFree=27394968/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=34896 CPUtime=222.25 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 9080 0 0 0 22139 86 0 0 20 0 1 0 329460289 35733504 7971 33554432000 4194304 8989770 140735836293296 140735836275264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 8724 7971 474 1171 0 7501 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 34896 [startup+282.3 s] /proc/loadavg: 2.07 2.06 1.81 3/178 28484 /proc/meminfo: memFree=27392292/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=37968 CPUtime=282.23 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 10105 0 0 0 28115 108 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836275264 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 9492 8739 474 1171 0 8269 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 37968 [startup+342.3 s] /proc/loadavg: 2.10 2.07 1.83 3/177 28484 /proc/meminfo: memFree=27384492/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=37968 CPUtime=342.23 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 12409 0 0 0 34089 134 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836275264 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 9492 8739 474 1171 0 8269 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 37968 [startup+402.3 s] /proc/loadavg: 2.03 2.06 1.84 3/177 28484 /proc/meminfo: memFree=27384600/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=37968 CPUtime=402.22 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 12668 0 0 0 40067 155 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 9492 8739 474 1171 0 8269 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 37968 [startup+462.3 s] /proc/loadavg: 2.04 2.06 1.85 3/176 28484 /proc/meminfo: memFree=27384420/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=37968 CPUtime=462.21 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 12925 0 0 0 46041 180 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836292560 6862739 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 9492 8739 474 1171 0 8269 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 37968 [startup+522.3 s] /proc/loadavg: 2.06 2.06 1.86 3/177 28485 /proc/meminfo: memFree=27383604/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=37968 CPUtime=522.19 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 13950 0 0 0 52016 203 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836291264 4457904 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 9492 8739 474 1171 0 8269 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 37968 [startup+582.3 s] /proc/loadavg: 2.02 2.05 1.87 3/177 28485 /proc/meminfo: memFree=27382052/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=40016 CPUtime=582.19 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 14711 0 0 0 57993 226 0 0 20 0 1 0 329460289 40976384 9244 33554432000 4194304 8989770 140735836293296 140735836275264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10004 9244 474 1171 0 8781 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 40016 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.05 2.04 1.90 3/177 28486 /proc/meminfo: memFree=27375968/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=822.14 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 17793 0 0 0 81897 317 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 4204638 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 42064 [startup+882.3 s] /proc/loadavg: 2.02 2.03 1.91 3/178 28489 /proc/meminfo: memFree=27373472/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=882.13 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 20357 0 0 0 87869 344 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 4204694 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 42064 [startup+942.3 s] /proc/loadavg: 2.00 2.02 1.91 3/177 28489 /proc/meminfo: memFree=27377692/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=37968 CPUtime=942.13 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 21383 0 0 0 93845 368 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836292792 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 9492 8739 474 1171 0 8269 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 37968 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 1.91 3/177 28489 /proc/meminfo: memFree=27373352/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=43088 CPUtime=1002.11 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 23432 0 0 0 99819 392 0 0 20 0 1 0 329460289 44122112 10019 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10772 10019 474 1171 0 9549 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 43088 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 1.91 3/177 28489 /proc/meminfo: memFree=27370868/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=1062.11 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 24714 0 0 0 105794 417 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 42064 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 28490 /proc/meminfo: memFree=27362116/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=1122.09 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 25482 0 0 0 111768 441 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 42064 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 28490 /proc/meminfo: memFree=27362116/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=1182.09 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 27786 0 0 0 117747 462 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836291264 7732161 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 42064 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 28490 /proc/meminfo: memFree=27361920/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=1242.07 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 29069 0 0 0 123721 486 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 4469828 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 42064 [startup+1302.3 s] /proc/loadavg: 2.06 2.01 1.91 3/177 28490 /proc/meminfo: memFree=27357636/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=46160 CPUtime=1302.07 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 31374 0 0 0 129695 512 0 0 20 0 1 0 329460289 47267840 10787 33554432000 4194304 8989770 140735836293296 140735836292560 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 11540 10787 474 1171 0 10317 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 46160 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 1.91 3/177 28490 /proc/meminfo: memFree=27360552/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=44112 CPUtime=1362.05 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 31886 0 0 0 135669 536 0 0 20 0 1 0 329460289 45170688 10275 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 11028 10275 474 1171 0 9805 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 44112 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/177 28491 /proc/meminfo: memFree=27362228/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=1422.05 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 32654 0 0 0 141643 562 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 42064 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 28494 /proc/meminfo: memFree=27351184/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=53328 CPUtime=1482.04 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 36494 0 0 0 147619 585 0 0 20 0 1 0 329460289 54607872 12579 33554432000 4194304 8989770 140735836293296 140735836291264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 13332 12579 474 1171 0 12109 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 53328 [startup+1542.3 s] /proc/loadavg: 2.12 2.03 1.93 3/178 28517 /proc/meminfo: memFree=27350928/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=47184 CPUtime=1542.03 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 36754 0 0 0 153595 608 0 0 20 0 1 0 329460289 48316416 11043 33554432000 4194304 8989770 140735836293296 140735836291456 4209382 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 11796 11043 474 1171 0 10573 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 47184 [startup+1602.3 s] /proc/loadavg: 2.04 2.02 1.93 3/177 28517 /proc/meminfo: memFree=27351424/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=46160 CPUtime=1602.02 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 38804 0 0 0 159570 632 0 0 20 0 1 0 329460289 47267840 10787 33554432000 4194304 8989770 140735836293296 140735836292792 4425384 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 11540 10787 474 1171 0 10317 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 46160 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 1.93 3/177 28517 /proc/meminfo: memFree=27351672/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=46160 CPUtime=1662 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 38804 0 0 0 165546 654 0 0 20 0 1 0 329460289 47267840 10787 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 11540 10787 474 1171 0 10317 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 46160 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.93 3/177 28518 /proc/meminfo: memFree=27355332/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=42064 CPUtime=1721.99 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 39572 0 0 0 171519 680 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836275264 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 10516 9763 474 1171 0 9293 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 42064 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 1.93 3/177 28557 /proc/meminfo: memFree=27419284/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=49232 CPUtime=1781.98 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 41366 0 0 0 177493 705 0 0 20 0 1 0 329460289 50413568 11555 33554432000 4194304 8989770 140735836293296 140735836292792 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 12308 11555 474 1171 0 11085 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 49232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.05 2.02 1.93 3/177 28595 /proc/meminfo: memFree=27419316/32873844 swapFree=6608/6608 [pid=28479] ppid=28477 vsize=53328 CPUtime=1800.09 cores=1,3,5,7 /proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 42390 0 0 0 179296 713 0 0 20 0 1 0 329460289 54607872 12579 33554432000 4194304 8989770 140735836293296 140735836291264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/28479/statm: 13332 12579 474 1171 0 12109 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 53328 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.1 CPU user time (s): 1792.96 CPU system time (s): 7.13891 CPU usage (%): 99.9829 Max. virtual memory (cumulated for all children) (KiB): 53328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.96 system time used= 7.13891 maximum resident set size= 50316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42390 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= 39 involuntary context switches= 1843 runsolver used 5.97209 second user time and 7.84281 second system time The end
Begin job on node140 at 2012-06-02 12:35:54 IDJOB=3725175 IDBENCH=2229 IDSOLVER=2308 FILE ID=node140/3725175-1338633354 RUNJOBID= node140-1338631508-28283 PBS_JOBID= 14636440 Free space on /tmp= 70620 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725175-1338633354/watcher-3725175-1338633354 -o /tmp/evaluation-result-3725175-1338633354/solver-3725175-1338633354 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725175-1338633354.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b RANDOM SEED=51034373 node140.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.094 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.18 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.094 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.094 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.094 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.094 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.92 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.094 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.88 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.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27444844 kB Buffers: 379068 kB Cached: 4123940 kB SwapCached: 1664 kB Active: 1243872 kB Inactive: 3298784 kB Active(anon): 31752 kB Inactive(anon): 9416 kB Active(file): 1212120 kB Inactive(file): 3289368 kB Unevictable: 6608 kB Mlocked: 6608 kB SwapTotal: 67108856 kB SwapFree: 67105156 kB Dirty: 14936 kB Writeback: 0 kB AnonPages: 44080 kB Mapped: 12180 kB Shmem: 8 kB Slab: 746712 kB SReclaimable: 188972 kB SUnreclaim: 557740 kB KernelStack: 1464 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 155228 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70612 MiB End job on node140 at 2012-06-02 13:05:57