Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.01 | 1800.31 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-538867.opb |
MD5SUM | 3b75c8039d6468258a1aa0343ce1fddb |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 122 |
Best CPU time to get the best result obtained on this benchmark | 58.879 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 792 |
Total number of constraints | 1170 |
Number of constraints which are clauses | 1143 |
Number of constraints which are cardinality constraints (but not clauses) | 27 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 666 |
Biggest coefficient in the objective function | 80 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 18684 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 18684 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c 2012-06-02T15:11:31+0200 0.00/0.08 c arch = x86_64 0.00/0.08 c os = linux 0.00/0.08 c compiler = ghc 7.4 0.00/0.08 c packages: 0.00/0.08 c OptDir-0.0.1 0.00/0.08 c array-0.4.0.0 0.00/0.08 c base-4.5.0.0 0.00/0.08 c bytestring-0.9.2.1 0.00/0.08 c containers-0.4.2.1 0.00/0.08 c deepseq-1.3.0.0 0.00/0.08 c mtl-2.1.1 0.00/0.08 c old_locale-1.0.0.4 0.00/0.08 c parse_dimacs-1.2 0.00/0.08 c parsec-3.1.2 0.00/0.08 c queue-0.1.2 0.00/0.08 c stm-2.3 0.00/0.08 c time-1.4 0.00/0.08 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725528-1338642691.opb"] 0.00/0.08 c #vars 792 0.00/0.08 c #constraints 1170 0.00/0.08 c Solving starts ... 0.00/0.09 c solving time = 0.014s 0.00/0.09 c #decision = 3162 0.00/0.09 c #conflict = 106 0.00/0.09 c #restart = 1 0.00/0.09 o 632 0.00/0.09 c Solving starts ... 0.00/0.10 c solving time = 0.002s 0.00/0.10 c #decision = 3834 0.00/0.10 c #conflict = 106 0.00/0.10 c #restart = 1 0.00/0.10 o 622 0.00/0.10 c Solving starts ... 0.00/0.10 c solving time = 0.004s 0.00/0.10 c #decision = 4504 0.00/0.10 c #conflict = 106 0.00/0.10 c #restart = 1 0.00/0.10 o 612 0.00/0.10 c Solving starts ... 0.09/0.11 c solving time = 0.005s 0.09/0.11 c #decision = 5167 0.09/0.11 c #conflict = 106 0.09/0.11 c #restart = 1 0.09/0.11 o 602 0.09/0.11 c Solving starts ... 0.09/0.11 c solving time = 0.005s 0.09/0.11 c #decision = 5839 0.09/0.11 c #conflict = 106 0.09/0.11 c #restart = 1 0.09/0.11 o 587 0.09/0.12 c Solving starts ... 0.09/0.12 c solving time = 0.006s 0.09/0.12 c #decision = 6498 0.09/0.12 c #conflict = 106 0.09/0.12 c #restart = 1 0.09/0.12 o 577 0.09/0.12 c Solving starts ... 0.09/0.13 c solving time = 0.007s 0.09/0.13 c #decision = 7164 0.09/0.13 c #conflict = 106 0.09/0.13 c #restart = 1 0.09/0.13 o 562 0.09/0.13 c Solving starts ... 0.09/0.14 c solving time = 0.008s 0.09/0.14 c #decision = 7827 0.09/0.14 c #conflict = 106 0.09/0.14 c #restart = 1 0.09/0.14 o 547 0.09/0.14 c Solving starts ... 0.09/0.15 c solving time = 0.009s 0.09/0.15 c #decision = 8488 0.09/0.15 c #conflict = 106 0.09/0.15 c #restart = 1 0.09/0.15 o 532 0.09/0.15 c Solving starts ... 0.09/0.16 c solving time = 0.012s 0.09/0.16 c #decision = 9143 0.09/0.16 c #conflict = 106 0.09/0.16 c #restart = 1 0.09/0.16 o 517 0.09/0.16 c Solving starts ... 0.09/0.17 c solving time = 0.010s 0.09/0.17 c #decision = 9787 0.09/0.17 c #conflict = 106 0.09/0.17 c #restart = 1 0.09/0.17 o 502 0.09/0.18 c Solving starts ... 0.09/0.19 c solving time = 0.011s 0.09/0.19 c #decision = 10429 0.09/0.19 c #conflict = 106 0.09/0.19 c #restart = 1 0.09/0.19 o 487 0.09/0.19 c Solving starts ... 0.19/0.20 c solving time = 0.012s 0.19/0.20 c #decision = 11066 0.19/0.20 c #conflict = 106 0.19/0.20 c #restart = 1 0.19/0.20 o 472 0.19/0.20 c Solving starts ... 0.19/0.21 c solving time = 0.012s 0.19/0.21 c #decision = 11702 0.19/0.21 c #conflict = 106 0.19/0.21 c #restart = 1 0.19/0.21 o 457 0.19/0.21 c Solving starts ... 0.19/0.23 c solving time = 0.012s 0.19/0.23 c #decision = 12351 0.19/0.23 c #conflict = 106 0.19/0.23 c #restart = 1 0.19/0.23 o 437 0.19/0.23 c Solving starts ... 0.19/0.24 c solving time = 0.015s 0.19/0.24 c #decision = 12956 0.19/0.24 c #conflict = 106 0.19/0.24 c #restart = 1 0.19/0.24 o 422 0.19/0.24 c Solving starts ... 0.19/0.26 c solving time = 0.014s 0.19/0.26 c #decision = 13565 0.19/0.26 c #conflict = 106 0.19/0.26 c #restart = 1 0.19/0.26 o 402 0.19/0.26 c Solving starts ... 0.19/0.27 c solving time = 0.013s 0.19/0.27 c #decision = 13993 0.19/0.27 c #conflict = 106 0.19/0.27 c #restart = 1 0.19/0.27 o 382 0.19/0.27 c Solving starts ... 0.19/0.29 c solving time = 0.013s 0.19/0.29 c #decision = 14401 0.19/0.29 c #conflict = 106 0.19/0.29 c #restart = 1 0.19/0.29 o 362 0.19/0.29 c Solving starts ... 0.29/0.30 c solving time = 0.014s 0.29/0.30 c #decision = 15054 0.29/0.30 c #conflict = 106 0.29/0.30 c #restart = 1 0.29/0.30 o 317 0.29/0.30 c Solving starts ... 0.29/0.32 c solving time = 0.014s 0.29/0.32 c #decision = 15452 0.29/0.32 c #conflict = 106 0.29/0.32 c #restart = 1 0.29/0.32 o 287 0.29/0.32 c Solving starts ... 0.29/0.35 c solving time = 0.035s 0.29/0.35 c #decision = 15690 0.29/0.35 c #conflict = 111 0.29/0.35 c #restart = 1 0.29/0.35 o 282 0.29/0.35 c Solving starts ... 0.29/0.37 c solving time = 0.016s 0.29/0.37 c #decision = 15858 0.29/0.37 c #conflict = 111 0.29/0.37 c #restart = 1 0.29/0.37 o 267 0.29/0.37 c Solving starts ... 0.29/0.39 c solving time = 0.015s 0.29/0.39 c #decision = 16186 0.29/0.39 c #conflict = 111 0.29/0.39 c #restart = 1 0.29/0.39 o 237 0.29/0.39 c Solving starts ... 0.39/0.42 c solving time = 0.031s 0.39/0.42 c #decision = 16340 0.39/0.42 c #conflict = 115 0.39/0.42 c #restart = 1 0.39/0.42 o 232 0.39/0.42 c Solving starts ... 3.19/3.28 c learnt constraints deletion: 923 -> 462 6.39/6.42 c learnt constraints deletion: 1268 -> 639 10.59/10.65 c learnt constraints deletion: 1581 -> 797 12.99/13.08 c learnt constraints deletion: 1342 -> 676 16.69/16.79 c learnt constraints deletion: 1446 -> 730 19.39/19.48 c learnt constraints deletion: 1355 -> 681 23.59/23.64 c learnt constraints deletion: 1482 -> 744 27.18/27.23 c learnt constraints deletion: 1486 -> 747 30.89/30.98 c learnt constraints deletion: 1532 -> 774 35.78/35.81 c learnt constraints deletion: 1751 -> 878 39.68/39.77 c learnt constraints deletion: 1782 -> 901 44.09/44.17 c learnt constraints deletion: 1723 -> 866 49.38/49.47 c learnt constraints deletion: 1690 -> 849 54.07/54.19 c learnt constraints deletion: 1658 -> 834 59.97/60.07 c learnt constraints deletion: 1965 -> 993 65.67/65.78 c learnt constraints deletion: 2097 -> 1058 70.27/70.38 c learnt constraints deletion: 1943 -> 987 75.17/75.20 c learnt constraints deletion: 1912 -> 963 80.28/80.32 c learnt constraints deletion: 1779 -> 900 87.47/87.56 c learnt constraints deletion: 2011 -> 1006 93.87/93.99 c learnt constraints deletion: 2109 -> 1067 99.87/99.94 c learnt constraints deletion: 2096 -> 1052 107.36/107.41 c learnt constraints deletion: 2274 -> 1144 113.86/113.91 c learnt constraints deletion: 2143 -> 1078 120.26/120.35 c learnt constraints deletion: 2094 -> 1057 126.96/127.08 c learnt constraints deletion: 2154 -> 1081 132.46/132.53 c learnt constraints deletion: 2037 -> 1023 137.47/137.51 c learnt constraints deletion: 2089 -> 1054 143.76/143.80 c learnt constraints deletion: 2149 -> 1077 150.96/151.00 c learnt constraints deletion: 2291 -> 1149 157.76/157.82 c learnt constraints deletion: 2345 -> 1177 163.86/163.91 c learnt constraints deletion: 2199 -> 1114 170.75/170.84 c learnt constraints deletion: 2268 -> 1141 176.75/176.86 c learnt constraints deletion: 2302 -> 1163 182.56/182.65 c learnt constraints deletion: 2198 -> 1108 189.16/189.24 c learnt constraints deletion: 2283 -> 1158 196.05/196.10 c learnt constraints deletion: 2272 -> 1141 202.15/202.22 c learnt constraints deletion: 2287 -> 1156 206.95/207.00 c learnt constraints deletion: 2204 -> 1106 214.64/214.73 c learnt constraints deletion: 2502 -> 1252 221.55/221.64 c learnt constraints deletion: 2493 -> 1254 228.54/228.60 c learnt constraints deletion: 2490 -> 1253 234.65/234.79 c learnt constraints deletion: 2445 -> 1229 243.04/243.19 c learnt constraints deletion: 2553 -> 1287 250.54/250.64 c learnt constraints deletion: 2481 -> 1251 258.24/258.38 c learnt constraints deletion: 2500 -> 1256 265.74/265.87 c learnt constraints deletion: 2380 -> 1191 273.63/273.75 c learnt constraints deletion: 2506 -> 1257 281.64/281.77 c learnt constraints deletion: 2481 -> 1249 291.13/291.23 c learnt constraints deletion: 2564 -> 1289 298.73/298.86 c learnt constraints deletion: 2448 -> 1230 308.23/308.32 c learnt constraints deletion: 2481 -> 1257 315.93/316.09 c learnt constraints deletion: 2470 -> 1244 325.13/325.24 c learnt constraints deletion: 2498 -> 1264 332.92/333.03 c learnt constraints deletion: 2460 -> 1242 341.42/341.54 c learnt constraints deletion: 2653 -> 1334 350.02/350.17 c learnt constraints deletion: 2777 -> 1394 358.22/358.34 c learnt constraints deletion: 2608 -> 1307 368.92/369.07 c learnt constraints deletion: 2606 -> 1307 379.32/379.41 c learnt constraints deletion: 2757 -> 1385 389.82/389.97 c learnt constraints deletion: 2747 -> 1380 400.92/401.07 c learnt constraints deletion: 2775 -> 1403 410.81/410.90 c learnt constraints deletion: 2726 -> 1375 420.71/420.86 c learnt constraints deletion: 2743 -> 1387 430.12/430.25 c learnt constraints deletion: 2706 -> 1368 437.71/437.87 c learnt constraints deletion: 2642 -> 1339 446.91/447.08 c learnt constraints deletion: 2766 -> 1401 454.91/455.08 c learnt constraints deletion: 2750 -> 1391 462.91/463.02 c learnt constraints deletion: 2760 -> 1393 469.91/470.06 c learnt constraints deletion: 2625 -> 1320 478.80/478.94 c learnt constraints deletion: 2753 -> 1392 486.50/486.63 c learnt constraints deletion: 2757 -> 1392 494.30/494.44 c learnt constraints deletion: 2714 -> 1373 501.30/501.48 c learnt constraints deletion: 2621 -> 1322 509.70/509.82 c learnt constraints deletion: 2720 -> 1372 518.00/518.17 c learnt constraints deletion: 2724 -> 1375 529.10/529.28 c learnt constraints deletion: 2992 -> 1497 539.29/539.46 c learnt constraints deletion: 2909 -> 1456 552.29/552.43 c learnt constraints deletion: 3024 -> 1520 564.39/564.55 c learnt constraints deletion: 2987 -> 1502 580.48/580.65 c learnt constraints deletion: 3046 -> 1528 593.18/593.32 c learnt constraints deletion: 2950 -> 1481 605.68/605.87 c learnt constraints deletion: 2933 -> 1478 617.98/618.19 c learnt constraints deletion: 3004 -> 1513 630.38/630.50 c learnt constraints deletion: 2937 -> 1479 645.78/645.93 c learnt constraints deletion: 2950 -> 1490 658.47/658.66 c learnt constraints deletion: 3014 -> 1519 668.87/669.07 c learnt constraints deletion: 2934 -> 1479 681.67/681.81 c learnt constraints deletion: 2978 -> 1505 693.27/693.48 c learnt constraints deletion: 3005 -> 1520 703.17/703.34 c learnt constraints deletion: 2955 -> 1497 716.17/716.38 c learnt constraints deletion: 2979 -> 1505 726.07/726.22 c learnt constraints deletion: 2875 -> 1453 736.27/736.43 c learnt constraints deletion: 2852 -> 1444 749.76/749.90 c learnt constraints deletion: 3025 -> 1532 760.95/761.19 c learnt constraints deletion: 3013 -> 1535 770.36/770.56 c learnt constraints deletion: 3027 -> 1539 782.66/782.89 c learnt constraints deletion: 3005 -> 1530 792.96/793.13 c learnt constraints deletion: 2975 -> 1512 808.05/808.29 c learnt constraints deletion: 3104 -> 1579 817.65/817.85 c learnt constraints deletion: 2975 -> 1518 824.65/824.81 c learnt constraints deletion: 2912 -> 1495 836.54/836.74 c learnt constraints deletion: 2997 -> 1530 848.24/848.47 c learnt constraints deletion: 2989 -> 1517 859.35/859.58 c learnt constraints deletion: 2982 -> 1518 869.94/870.16 c learnt constraints deletion: 2978 -> 1509 881.05/881.28 c learnt constraints deletion: 3246 -> 1630 892.14/892.35 c learnt constraints deletion: 3226 -> 1624 902.94/903.11 c learnt constraints deletion: 3286 -> 1651 912.33/912.56 c learnt constraints deletion: 3309 -> 1659 920.83/921.06 c learnt constraints deletion: 3255 -> 1631 932.33/932.59 c learnt constraints deletion: 3291 -> 1658 941.63/941.81 c learnt constraints deletion: 3247 -> 1628 949.83/950.03 c learnt constraints deletion: 3274 -> 1643 958.83/959.00 c learnt constraints deletion: 3333 -> 1672 970.33/970.56 c learnt constraints deletion: 3268 -> 1645 981.22/981.46 c learnt constraints deletion: 3287 -> 1651 990.72/990.93 c learnt constraints deletion: 3260 -> 1642 1000.12/1000.35 c learnt constraints deletion: 3278 -> 1647 1009.02/1009.25 c learnt constraints deletion: 3275 -> 1653 1019.42/1019.69 c learnt constraints deletion: 3427 -> 1726 1030.62/1030.80 c learnt constraints deletion: 3324 -> 1678 1039.91/1040.13 c learnt constraints deletion: 3199 -> 1615 1050.81/1051.00 c learnt constraints deletion: 3280 -> 1657 1060.71/1060.96 c learnt constraints deletion: 3280 -> 1659 1070.51/1070.76 c learnt constraints deletion: 3295 -> 1668 1081.61/1081.88 c learnt constraints deletion: 3277 -> 1660 1092.81/1093.05 c learnt constraints deletion: 3333 -> 1690 1101.81/1102.05 c learnt constraints deletion: 3309 -> 1684 1108.81/1109.03 c learnt constraints deletion: 3168 -> 1613 1116.61/1116.89 c learnt constraints deletion: 3218 -> 1641 1125.50/1125.71 c learnt constraints deletion: 3203 -> 1631 1133.91/1134.11 c learnt constraints deletion: 3272 -> 1659 1142.71/1142.98 c learnt constraints deletion: 3281 -> 1662 1153.40/1153.62 c learnt constraints deletion: 3254 -> 1651 1162.89/1163.14 c learnt constraints deletion: 3246 -> 1648 1171.79/1172.01 c learnt constraints deletion: 3162 -> 1598 1181.89/1182.18 c learnt constraints deletion: 3275 -> 1654 1192.59/1192.80 c learnt constraints deletion: 3331 -> 1679 1199.59/1199.84 c learnt constraints deletion: 3133 -> 1571 1207.29/1207.58 c learnt constraints deletion: 3144 -> 1575 1215.19/1215.48 c learnt constraints deletion: 3165 -> 1585 1224.19/1224.47 c learnt constraints deletion: 3217 -> 1618 1233.38/1233.63 c learnt constraints deletion: 3262 -> 1639 1241.79/1242.07 c learnt constraints deletion: 3345 -> 1676 1249.78/1250.08 c learnt constraints deletion: 3279 -> 1652 1260.48/1260.79 c learnt constraints deletion: 3577 -> 1798 1269.48/1269.77 c learnt constraints deletion: 3542 -> 1771 1278.68/1278.90 c learnt constraints deletion: 3568 -> 1790 1287.88/1288.13 c learnt constraints deletion: 3602 -> 1815 1296.68/1297.00 c learnt constraints deletion: 3569 -> 1787 1306.37/1306.68 c learnt constraints deletion: 3622 -> 1815 1317.77/1318.01 c learnt constraints deletion: 3715 -> 1861 1329.97/1330.20 c learnt constraints deletion: 3536 -> 1777 1341.97/1342.26 c learnt constraints deletion: 3650 -> 1832 1351.97/1352.22 c learnt constraints deletion: 3590 -> 1804 1362.97/1363.22 c learnt constraints deletion: 3590 -> 1799 1374.06/1374.37 c learnt constraints deletion: 3559 -> 1790 1385.26/1385.56 c learnt constraints deletion: 3585 -> 1798 1396.45/1396.78 c learnt constraints deletion: 3569 -> 1792 1406.56/1406.86 c learnt constraints deletion: 3566 -> 1791 1417.56/1417.87 c learnt constraints deletion: 3584 -> 1801 1429.66/1429.94 c learnt constraints deletion: 3554 -> 1786 1442.85/1443.16 c learnt constraints deletion: 3569 -> 1799 1455.06/1455.39 c learnt constraints deletion: 3545 -> 1788 1466.85/1467.18 c learnt constraints deletion: 3548 -> 1787 1477.84/1478.19 c learnt constraints deletion: 3581 -> 1805 1492.14/1492.47 c learnt constraints deletion: 3607 -> 1823 1503.34/1503.67 c learnt constraints deletion: 3587 -> 1814 1513.74/1514.02 c learnt constraints deletion: 3502 -> 1772 1523.24/1523.55 c learnt constraints deletion: 3648 -> 1843 1536.34/1536.68 c learnt constraints deletion: 3544 -> 1791 1547.63/1547.90 c learnt constraints deletion: 3569 -> 1804 1559.14/1559.41 c learnt constraints deletion: 3518 -> 1780 1572.43/1572.70 c learnt constraints deletion: 3572 -> 1807 1583.93/1584.24 c learnt constraints deletion: 3515 -> 1784 1595.43/1595.71 c learnt constraints deletion: 3473 -> 1768 1607.43/1607.79 c learnt constraints deletion: 3505 -> 1776 1617.83/1618.14 c learnt constraints deletion: 3587 -> 1821 1630.12/1630.48 c learnt constraints deletion: 3565 -> 1804 1643.72/1644.09 c learnt constraints deletion: 3586 -> 1803 1656.42/1656.72 c learnt constraints deletion: 3596 -> 1811 1668.82/1669.17 c learnt constraints deletion: 3624 -> 1819 1680.41/1680.72 c learnt constraints deletion: 3592 -> 1809 1690.42/1690.72 c learnt constraints deletion: 3512 -> 1756 1699.61/1699.93 c learnt constraints deletion: 3496 -> 1751 1709.81/1710.15 c learnt constraints deletion: 3466 -> 1736 1720.22/1720.54 c learnt constraints deletion: 3574 -> 1801 1731.01/1731.39 c learnt constraints deletion: 3719 -> 1865 1742.31/1742.61 c learnt constraints deletion: 3582 -> 1807 1754.41/1754.72 c learnt constraints deletion: 3598 -> 1809 1765.10/1765.41 c learnt constraints deletion: 3562 -> 1788 1774.40/1774.70 c learnt constraints deletion: 3568 -> 1793 1783.91/1784.23 c learnt constraints deletion: 3505 -> 1763 1793.59/1793.92 c learnt constraints deletion: 3604 -> 1812
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-3725528-1338642691/watcher-3725528-1338642691 -o /tmp/evaluation-result-3725528-1338642691/solver-3725528-1338642691 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725528-1338642691.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.92 1.98 1.99 2/176 20636 /proc/meminfo: memFree=27826600/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 330397643 6373376 737 33554432000 4194304 8989770 140733849624704 140734513846520 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 1556 739 429 1171 0 333 0 [startup+0.106318 s] /proc/loadavg: 1.92 1.98 1.99 2/176 20636 /proc/meminfo: memFree=27826600/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=8272 CPUtime=0.09 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 1393 0 0 0 9 0 0 0 20 0 1 0 330397643 8470528 1313 33554432000 4194304 8989770 140733849624704 140733849606720 7416288 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 2068 1313 472 1171 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8272 [startup+0.200216 s] /proc/loadavg: 1.92 1.98 1.99 2/176 20636 /proc/meminfo: memFree=27826600/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=10320 CPUtime=0.19 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 1709 0 0 0 19 0 0 0 20 0 1 0 330397643 10567680 1629 33554432000 4194304 8989770 140733849624704 140733849606720 4445188 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 2580 1629 472 1171 0 1357 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10320 [startup+0.300209 s] /proc/loadavg: 1.92 1.98 1.99 2/176 20636 /proc/meminfo: memFree=27826600/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=11344 CPUtime=0.29 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 1977 0 0 0 29 0 0 0 20 0 1 0 330397643 11616256 1897 33554432000 4194304 8989770 140733849624704 140733849624200 4445085 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 2836 1897 472 1171 0 1613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11344 [startup+0.700214 s] /proc/loadavg: 1.92 1.98 1.99 2/176 20636 /proc/meminfo: memFree=27826600/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=14416 CPUtime=0.68 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 2929 0 0 0 68 0 0 0 20 0 1 0 330397643 14761984 2849 33554432000 4194304 8989770 140733849624704 140733849624200 6832992 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 3604 2849 472 1171 0 2381 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14416 [startup+1.50021 s] /proc/loadavg: 1.92 1.98 1.99 3/177 20637 /proc/meminfo: memFree=27816896/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=14416 CPUtime=1.49 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 2929 0 0 0 148 1 0 0 20 0 1 0 330397643 14761984 2849 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 3604 2849 472 1171 0 2381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14416 [startup+3.10022 s] /proc/loadavg: 1.92 1.98 1.99 3/177 20637 /proc/meminfo: memFree=27816176/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=15440 CPUtime=3.09 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 3185 0 0 0 308 1 0 0 20 0 1 0 330397643 15810560 3105 33554432000 4194304 8989770 140733849624704 140733849606720 4453064 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 3860 3105 472 1171 0 2637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15440 [startup+6.30019 s] /proc/loadavg: 1.93 1.98 1.99 3/177 20637 /proc/meminfo: memFree=27813432/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=16464 CPUtime=6.29 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 3443 0 0 0 626 3 0 0 20 0 1 0 330397643 16859136 3363 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 4116 3363 474 1171 0 2893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16464 [startup+12.7002 s] /proc/loadavg: 1.93 1.98 1.99 3/177 20637 /proc/meminfo: memFree=27805976/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=16464 CPUtime=12.69 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 3443 0 0 0 1262 7 0 0 20 0 1 0 330397643 16859136 3363 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 4116 3363 474 1171 0 2893 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16464 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.99 3/177 20637 /proc/meminfo: memFree=27794816/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=16464 CPUtime=25.49 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 3443 0 0 0 2534 15 0 0 20 0 1 0 330397643 16859136 3363 33554432000 4194304 8989770 140733849624704 140733849624200 7733216 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 4116 3363 474 1171 0 2893 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16464 [startup+51.1003 s] /proc/loadavg: 1.96 1.98 1.99 3/177 20637 /proc/meminfo: memFree=27769472/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=17488 CPUtime=51.08 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 3699 0 0 0 5076 32 0 0 20 0 1 0 330397643 17907712 3619 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 4372 3619 474 1171 0 3149 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17488 [startup+102.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 20637 /proc/meminfo: memFree=27733184/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=18512 CPUtime=102.27 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 3955 0 0 0 10166 61 0 0 20 0 1 0 330397643 18956288 3875 33554432000 4194304 8989770 140733849624704 140733849624200 4426164 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/20636/statm: 4628 3875 474 1171 0 3405 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18512 [startup+162.3 s] /proc/loadavg: 2.14 2.02 2.01 3/177 20637 /proc/meminfo: memFree=27703080/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=18512 CPUtime=162.26 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 3955 0 0 0 16132 94 0 0 20 0 1 0 330397643 18956288 3875 33554432000 4194304 8989770 140733849624704 140733849624200 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 4628 3875 474 1171 0 3405 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 18512 [startup+222.307 s] /proc/loadavg: 2.22 2.06 2.02 3/177 20637 /proc/meminfo: memFree=27672108/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=20560 CPUtime=222.25 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 4467 0 0 0 22097 128 0 0 20 0 1 0 330397643 21053440 4387 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5140 4387 474 1171 0 3917 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 20560 [startup+282.3 s] /proc/loadavg: 2.34 2.11 2.03 3/177 20638 /proc/meminfo: memFree=27652424/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=20560 CPUtime=282.24 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 4467 0 0 0 28064 160 0 0 20 0 1 0 330397643 21053440 4387 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5140 4387 474 1171 0 3917 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 20560 [startup+342.3 s] /proc/loadavg: 2.22 2.11 2.04 3/177 20638 /proc/meminfo: memFree=27629968/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=20560 CPUtime=342.23 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 4473 0 0 0 34028 195 0 0 20 0 1 0 330397643 21053440 4387 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5140 4387 474 1171 0 3917 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 20560 [startup+402.3 s] /proc/loadavg: 2.16 2.12 2.04 3/177 20638 /proc/meminfo: memFree=27609260/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=20560 CPUtime=402.22 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 4473 0 0 0 39992 230 0 0 20 0 1 0 330397643 21053440 4387 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5140 4387 474 1171 0 3917 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 20560 [startup+462.3 s] /proc/loadavg: 2.06 2.10 2.04 3/177 20638 /proc/meminfo: memFree=27587808/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=462.2 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5241 0 0 0 45958 262 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 23632 [startup+522.3 s] /proc/loadavg: 2.02 2.08 2.03 3/178 20641 /proc/meminfo: memFree=27569688/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=522.19 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5241 0 0 0 51923 296 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849606720 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 23632 [startup+582.3 s] /proc/loadavg: 2.04 2.07 2.03 3/177 20642 /proc/meminfo: memFree=27555444/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=582.19 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5241 0 0 0 57886 333 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849606720 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 23632 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.03 2.01 3/177 20642 /proc/meminfo: memFree=27499872/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=822.14 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5243 0 0 0 81743 471 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849606720 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 23632 [startup+882.306 s] /proc/loadavg: 2.03 2.03 2.00 3/177 20643 /proc/meminfo: memFree=27486604/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=882.14 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5243 0 0 0 87708 506 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849606720 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 23632 [startup+942.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 20643 /proc/meminfo: memFree=27472220/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=942.13 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5243 0 0 0 93672 541 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849623104 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 23632 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 20643 /proc/meminfo: memFree=27456720/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=1002.12 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5243 0 0 0 99637 575 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849606720 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 23632 [startup+1062.3 s] /proc/loadavg: 2.03 2.03 2.00 3/178 20644 /proc/meminfo: memFree=27443196/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=23632 CPUtime=1062.11 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5243 0 0 0 105598 613 0 0 20 0 1 0 330397643 24199168 5155 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 5908 5155 474 1171 0 4685 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 23632 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 20647 /proc/meminfo: memFree=27429788/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1122.11 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 111566 645 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 24656 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/176 20647 /proc/meminfo: memFree=27415436/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1182.09 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 117528 681 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 24656 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 20648 /proc/meminfo: memFree=27404020/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1242.08 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 123497 711 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 24656 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20648 /proc/meminfo: memFree=27390312/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1302.07 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 129464 743 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 24656 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20648 /proc/meminfo: memFree=27376080/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1362.06 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 135430 776 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 24656 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20648 /proc/meminfo: memFree=27363716/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1422.07 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 141396 811 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7748768 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 24656 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20648 /proc/meminfo: memFree=27347348/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1482.04 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 147354 850 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 24656 [startup+1542.31 s] /proc/loadavg: 1.95 1.98 1.99 3/177 20688 /proc/meminfo: memFree=28201384/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=24656 CPUtime=1542.04 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 5499 0 0 0 153321 883 0 0 20 0 1 0 330397643 25247744 5411 33554432000 4194304 8989770 140733849624704 140733849624200 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6164 5411 474 1171 0 4941 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 24656 [startup+1602.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 20688 /proc/meminfo: memFree=28167320/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=26704 CPUtime=1602.03 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 6011 0 0 0 159282 921 0 0 20 0 1 0 330397643 27344896 5923 33554432000 4194304 8989770 140733849624704 140733849624200 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6676 5923 474 1171 0 5453 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 26704 [startup+1662.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 20688 /proc/meminfo: memFree=28172712/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=26704 CPUtime=1662.01 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 6011 0 0 0 165247 954 0 0 20 0 1 0 330397643 27344896 5923 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6676 5923 474 1171 0 5453 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 26704 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/178 20691 /proc/meminfo: memFree=28190612/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=25680 CPUtime=1722.01 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 6011 0 0 0 171211 990 0 0 20 0 1 0 330397643 26296320 5667 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6420 5667 474 1171 0 5197 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 25680 [startup+1782.3 s] /proc/loadavg: 2.04 2.00 2.00 3/177 20691 /proc/meminfo: memFree=28178164/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=25680 CPUtime=1782 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 6011 0 0 0 177176 1024 0 0 20 0 1 0 330397643 26296320 5667 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6420 5667 474 1171 0 5197 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 25680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.03 2.00 2.00 3/177 20692 /proc/meminfo: memFree=28166668/32873844 swapFree=7116/7116 [pid=20636] ppid=20634 vsize=25680 CPUtime=1800 cores=0,2,4,6 /proc/20636/stat : 20636 (toysat) R 20634 20636 19272 0 -1 4202496 6011 0 0 0 178965 1035 0 0 20 0 1 0 330397643 26296320 5667 33554432000 4194304 8989770 140733849624704 140733849624200 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/20636/statm: 6420 5667 474 1171 0 5197 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 25680 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.31 CPU time (s): 1800.01 CPU user time (s): 1789.66 CPU system time (s): 10.3544 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 26704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.66 system time used= 10.3544 maximum resident set size= 23692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6011 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= 11 involuntary context switches= 2198 runsolver used 3.34149 second user time and 8.5237 second system time The end
Begin job on node108 at 2012-06-02 15:11:31 IDJOB=3725528 IDBENCH=89854 IDSOLVER=2308 FILE ID=node108/3725528-1338642691 RUNJOBID= node108-1338631508-19288 PBS_JOBID= 14636472 Free space on /tmp= 71468 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725528-1338642691/watcher-3725528-1338642691 -o /tmp/evaluation-result-3725528-1338642691/solver-3725528-1338642691 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725528-1338642691.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb RANDOM SEED=1446021486 node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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 : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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 : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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: 27826600 kB Buffers: 311220 kB Cached: 3454692 kB SwapCached: 52 kB Active: 2321632 kB Inactive: 1925968 kB Active(anon): 469196 kB Inactive(anon): 13032 kB Active(file): 1852436 kB Inactive(file): 1912936 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108544 kB Dirty: 7408 kB Writeback: 0 kB AnonPages: 486408 kB Mapped: 16088 kB Shmem: 172 kB Slab: 662136 kB SReclaimable: 104296 kB SUnreclaim: 557840 kB KernelStack: 1464 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 592672 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 163840 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= 71472 MiB End job on node108 at 2012-06-02 15:41:33