Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.11 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb |
MD5SUM | 87c08328e44aaf86c5913a3ba08592cd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 245 |
Best CPU time to get the best result obtained on this benchmark | 1.64375 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 245 |
Optimality of the best value was proved | YES |
Number of variables | 1264 |
Total number of constraints | 1090 |
Number of constraints which are clauses | 1090 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 1264 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1264 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1264 |
Number of bits of the biggest sum of numbers | 11 |
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.19 c 2012-05-29T18:59:36+0200 0.09/0.19 c arch = x86_64 0.09/0.19 c os = linux 0.09/0.19 c compiler = ghc 7.4 0.09/0.19 c packages: 0.09/0.19 c OptDir-0.0.1 0.09/0.19 c array-0.4.0.0 0.09/0.19 c base-4.5.0.0 0.09/0.19 c bytestring-0.9.2.1 0.09/0.19 c containers-0.4.2.1 0.09/0.19 c deepseq-1.3.0.0 0.09/0.19 c mtl-2.1.1 0.09/0.19 c old_locale-1.0.0.4 0.09/0.19 c parse_dimacs-1.2 0.09/0.19 c parsec-3.1.2 0.09/0.19 c queue-0.1.2 0.09/0.19 c stm-2.3 0.09/0.19 c time-1.4 0.09/0.19 c command line = ["--pb","HOME/instance-3706874-1338310776.opb"] 0.09/0.19 c #vars 1264 0.09/0.19 c #constraints 1090 0.09/0.19 c Solving starts ... 0.19/0.20 c solving time = 0.001s 0.19/0.20 c #decision = 962 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 o 302 0.19/0.20 c Solving starts ... 2.39/2.43 c learnt constraints deletion: 1315 -> 658 3.89/3.97 c learnt constraints deletion: 1418 -> 709 5.89/5.99 c learnt constraints deletion: 1702 -> 854 8.79/8.82 c learnt constraints deletion: 1847 -> 925 10.78/10.83 c learnt constraints deletion: 1792 -> 896 13.08/13.14 c learnt constraints deletion: 1999 -> 1003 15.58/15.63 c learnt constraints deletion: 2002 -> 1003 18.58/18.63 c learnt constraints deletion: 2171 -> 1088 21.38/21.48 c learnt constraints deletion: 2169 -> 1088 23.67/23.79 c learnt constraints deletion: 2167 -> 1085 25.98/26.07 c learnt constraints deletion: 2078 -> 1039 29.27/29.32 c learnt constraints deletion: 2353 -> 1177 31.97/32.05 c learnt constraints deletion: 2355 -> 1179 34.67/34.76 c learnt constraints deletion: 2361 -> 1185 37.87/37.94 c learnt constraints deletion: 2347 -> 1174 41.78/41.87 c learnt constraints deletion: 2555 -> 1278 45.08/45.15 c learnt constraints deletion: 2558 -> 1279 48.96/49.02 c learnt constraints deletion: 2561 -> 1283 52.77/52.85 c learnt constraints deletion: 2562 -> 1281 56.47/56.55 c learnt constraints deletion: 2559 -> 1283 60.07/60.11 c learnt constraints deletion: 2565 -> 1286 63.67/63.72 c learnt constraints deletion: 2563 -> 1286 67.97/68.04 c learnt constraints deletion: 2783 -> 1392 72.27/72.36 c learnt constraints deletion: 2782 -> 1393 76.06/76.17 c learnt constraints deletion: 2785 -> 1397 80.36/80.49 c learnt constraints deletion: 2786 -> 1395 84.36/84.45 c learnt constraints deletion: 2790 -> 1398 88.26/88.32 c learnt constraints deletion: 2785 -> 1398 92.16/92.20 c learnt constraints deletion: 2785 -> 1395 96.26/96.35 c learnt constraints deletion: 2787 -> 1397 100.25/100.30 c learnt constraints deletion: 2786 -> 1398 105.05/105.17 c learnt constraints deletion: 3038 -> 1524 109.96/110.00 c learnt constraints deletion: 3030 -> 1515 114.45/114.55 c learnt constraints deletion: 3032 -> 1517 118.85/118.96 c learnt constraints deletion: 3036 -> 1520 123.45/123.53 c learnt constraints deletion: 3038 -> 1521 128.35/128.46 c learnt constraints deletion: 3034 -> 1522 132.45/132.59 c learnt constraints deletion: 3033 -> 1520 136.85/136.96 c learnt constraints deletion: 3034 -> 1520 141.05/141.15 c learnt constraints deletion: 3034 -> 1520 145.45/145.51 c learnt constraints deletion: 3040 -> 1524 149.85/149.98 c learnt constraints deletion: 3037 -> 1522 154.35/154.44 c learnt constraints deletion: 3033 -> 1520 158.74/158.84 c learnt constraints deletion: 3046 -> 1528 163.65/163.80 c learnt constraints deletion: 3314 -> 1662 168.34/168.46 c learnt constraints deletion: 3307 -> 1654 173.14/173.27 c learnt constraints deletion: 3303 -> 1654 177.74/177.89 c learnt constraints deletion: 3309 -> 1657 182.84/182.90 c learnt constraints deletion: 3312 -> 1659 187.54/187.68 c learnt constraints deletion: 3304 -> 1655 192.24/192.35 c learnt constraints deletion: 3307 -> 1658 197.54/197.69 c learnt constraints deletion: 3311 -> 1658 202.54/202.60 c learnt constraints deletion: 3308 -> 1657 207.54/207.61 c learnt constraints deletion: 3307 -> 1657 212.84/212.95 c learnt constraints deletion: 3310 -> 1660 217.74/217.85 c learnt constraints deletion: 3301 -> 1653 222.64/222.76 c learnt constraints deletion: 3303 -> 1655 227.93/228.04 c learnt constraints deletion: 3308 -> 1658 233.03/233.15 c learnt constraints deletion: 3310 -> 1658 237.84/237.98 c learnt constraints deletion: 3308 -> 1658 242.53/242.69 c learnt constraints deletion: 3307 -> 1658 248.03/248.11 c learnt constraints deletion: 3401 -> 1701 253.83/253.96 c learnt constraints deletion: 3604 -> 1802 259.12/259.26 c learnt constraints deletion: 3602 -> 1802 264.02/264.19 c learnt constraints deletion: 3611 -> 1808 269.43/269.56 c learnt constraints deletion: 3600 -> 1800 274.73/274.82 c learnt constraints deletion: 3609 -> 1806 280.03/280.16 c learnt constraints deletion: 3606 -> 1805 284.73/284.88 c learnt constraints deletion: 3603 -> 1802 289.93/290.09 c learnt constraints deletion: 3608 -> 1806 294.82/294.97 c learnt constraints deletion: 3609 -> 1808 299.83/299.91 c learnt constraints deletion: 3604 -> 1803 304.92/305.04 c learnt constraints deletion: 3607 -> 1806 310.13/310.28 c learnt constraints deletion: 3614 -> 1811 315.12/315.28 c learnt constraints deletion: 3610 -> 1808 320.12/320.21 c learnt constraints deletion: 3603 -> 1807 324.81/324.99 c learnt constraints deletion: 3609 -> 1807 329.62/329.72 c learnt constraints deletion: 3610 -> 1809 335.02/335.16 c learnt constraints deletion: 3605 -> 1807 340.02/340.11 c learnt constraints deletion: 3607 -> 1807 345.22/345.35 c learnt constraints deletion: 3608 -> 1808 350.11/350.27 c learnt constraints deletion: 3613 -> 1811 354.71/354.87 c learnt constraints deletion: 3609 -> 1810 359.81/359.98 c learnt constraints deletion: 3620 -> 1816 364.61/364.70 c learnt constraints deletion: 3609 -> 1807 371.41/371.56 c learnt constraints deletion: 3935 -> 1970 378.11/378.27 c learnt constraints deletion: 3945 -> 1973 384.92/385.00 c learnt constraints deletion: 3939 -> 1971 391.70/391.88 c learnt constraints deletion: 3936 -> 1970 397.40/397.56 c learnt constraints deletion: 3936 -> 1969 403.50/403.69 c learnt constraints deletion: 3945 -> 1976 409.60/409.72 c learnt constraints deletion: 3942 -> 1973 415.71/415.86 c learnt constraints deletion: 3948 -> 1978 422.31/422.40 c learnt constraints deletion: 3937 -> 1972 428.80/428.91 c learnt constraints deletion: 3937 -> 1969 435.00/435.12 c learnt constraints deletion: 3939 -> 1971 441.60/441.77 c learnt constraints deletion: 3936 -> 1970 448.10/448.22 c learnt constraints deletion: 3937 -> 1972 453.89/454.05 c learnt constraints deletion: 3932 -> 1968 459.60/459.72 c learnt constraints deletion: 3940 -> 1971 465.10/465.20 c learnt constraints deletion: 3937 -> 1972 470.70/470.83 c learnt constraints deletion: 3938 -> 1971 476.50/476.68 c learnt constraints deletion: 3945 -> 1977 482.39/482.55 c learnt constraints deletion: 3940 -> 1973 488.59/488.77 c learnt constraints deletion: 3937 -> 1973 494.19/494.32 c learnt constraints deletion: 3932 -> 1968 499.69/499.83 c learnt constraints deletion: 3948 -> 1978 505.90/506.04 c learnt constraints deletion: 3938 -> 1973 512.79/512.96 c learnt constraints deletion: 3941 -> 1975 519.49/519.63 c learnt constraints deletion: 3940 -> 1976 526.59/526.73 c learnt constraints deletion: 3931 -> 1969 533.88/534.05 c learnt constraints deletion: 3940 -> 1974 540.68/540.83 c learnt constraints deletion: 3941 -> 1978 547.18/547.39 c learnt constraints deletion: 3946 -> 1979 553.68/553.84 c learnt constraints deletion: 3940 -> 1974 560.08/560.21 c learnt constraints deletion: 3941 -> 1976 565.97/566.14 c learnt constraints deletion: 3948 -> 1983 572.38/572.57 c learnt constraints deletion: 3940 -> 1977 580.18/580.38 c learnt constraints deletion: 4305 -> 2155 586.97/587.15 c learnt constraints deletion: 4297 -> 2149 593.27/593.48 c learnt constraints deletion: 4299 -> 2151 600.48/600.60 c learnt constraints deletion: 4296 -> 2149 607.08/607.25 c learnt constraints deletion: 4299 -> 2151 613.88/614.09 c learnt constraints deletion: 4301 -> 2153 620.67/620.82 c learnt constraints deletion: 4306 -> 2157 627.17/627.34 c learnt constraints deletion: 4300 -> 2154 633.77/633.93 c learnt constraints deletion: 4296 -> 2148 639.97/640.13 c learnt constraints deletion: 4296 -> 2149 645.86/646.09 c learnt constraints deletion: 4307 -> 2157 652.36/652.50 c learnt constraints deletion: 4300 -> 2153 658.56/658.76 c learnt constraints deletion: 4298 -> 2150 665.27/665.42 c learnt constraints deletion: 4298 -> 2150 671.27/671.40 c learnt constraints deletion: 4300 -> 2152 678.16/678.35 c learnt constraints deletion: 4303 -> 2154 684.16/684.38 c learnt constraints deletion: 4297 -> 2153 690.46/690.67 c learnt constraints deletion: 4307 -> 2158 697.85/698.09 c learnt constraints deletion: 4294 -> 2147 704.66/704.81 c learnt constraints deletion: 4295 -> 2149 711.16/711.34 c learnt constraints deletion: 4296 -> 2149 717.96/718.15 c learnt constraints deletion: 4299 -> 2152 725.45/725.66 c learnt constraints deletion: 4305 -> 2155 732.76/732.97 c learnt constraints deletion: 4303 -> 2156 739.55/739.74 c learnt constraints deletion: 4307 -> 2158 745.95/746.17 c learnt constraints deletion: 4297 -> 2151 753.25/753.41 c learnt constraints deletion: 4308 -> 2158 759.64/759.88 c learnt constraints deletion: 4305 -> 2158 766.46/766.63 c learnt constraints deletion: 4303 -> 2157 773.65/773.81 c learnt constraints deletion: 4308 -> 2160 781.24/781.42 c learnt constraints deletion: 4298 -> 2150 787.94/788.19 c learnt constraints deletion: 4307 -> 2157 795.55/795.72 c learnt constraints deletion: 4298 -> 2151 802.44/802.68 c learnt constraints deletion: 4302 -> 2154 810.84/811.07 c learnt constraints deletion: 4298 -> 2151 820.13/820.30 c learnt constraints deletion: 4295 -> 2151 829.63/829.89 c learnt constraints deletion: 4300 -> 2152 838.63/838.84 c learnt constraints deletion: 4302 -> 2154 846.93/847.14 c learnt constraints deletion: 4305 -> 2157 855.93/856.10 c learnt constraints deletion: 4300 -> 2154 863.63/863.86 c learnt constraints deletion: 4311 -> 2162 871.04/871.20 c learnt constraints deletion: 4307 -> 2160 878.43/878.60 c learnt constraints deletion: 4299 -> 2152 885.13/885.40 c learnt constraints deletion: 4307 -> 2157 892.13/892.35 c learnt constraints deletion: 4304 -> 2155 899.13/899.39 c learnt constraints deletion: 4299 -> 2153 907.62/907.85 c learnt constraints deletion: 4705 -> 2358 915.32/915.58 c learnt constraints deletion: 4699 -> 2354 924.02/924.21 c learnt constraints deletion: 4705 -> 2358 934.33/934.50 c learnt constraints deletion: 4705 -> 2358 943.22/943.46 c learnt constraints deletion: 4700 -> 2354 952.82/953.00 c learnt constraints deletion: 4700 -> 2355 962.62/962.82 c learnt constraints deletion: 4708 -> 2360 972.32/972.54 c learnt constraints deletion: 4704 -> 2358 980.71/980.92 c learnt constraints deletion: 4702 -> 2358 990.21/990.43 c learnt constraints deletion: 4697 -> 2349 997.91/998.10 c learnt constraints deletion: 4694 -> 2348 1006.41/1006.61 c learnt constraints deletion: 4698 -> 2350 1014.21/1014.48 c learnt constraints deletion: 4699 -> 2351 1022.41/1022.60 c learnt constraints deletion: 4693 -> 2348 1029.61/1029.88 c learnt constraints deletion: 4697 -> 2352 1036.50/1036.77 c learnt constraints deletion: 4698 -> 2352 1043.81/1044.09 c learnt constraints deletion: 4706 -> 2357 1051.70/1051.99 c learnt constraints deletion: 4700 -> 2352 1059.30/1059.58 c learnt constraints deletion: 4700 -> 2353 1066.20/1066.48 c learnt constraints deletion: 4700 -> 2354 1073.61/1073.80 c learnt constraints deletion: 4706 -> 2359 1081.10/1081.35 c learnt constraints deletion: 4701 -> 2356 1089.81/1090.06 c learnt constraints deletion: 4701 -> 2357 1097.99/1098.23 c learnt constraints deletion: 4701 -> 2357 1106.00/1106.25 c learnt constraints deletion: 4709 -> 2363 1113.80/1114.04 c learnt constraints deletion: 4705 -> 2360 1122.29/1122.57 c learnt constraints deletion: 4704 -> 2359 1130.29/1130.54 c learnt constraints deletion: 4690 -> 2346 1138.30/1138.52 c learnt constraints deletion: 4709 -> 2357 1146.39/1146.63 c learnt constraints deletion: 4699 -> 2353 1154.39/1154.65 c learnt constraints deletion: 4708 -> 2357 1162.78/1163.05 c learnt constraints deletion: 4702 -> 2355 1170.19/1170.44 c learnt constraints deletion: 4699 -> 2352 1177.39/1177.60 c learnt constraints deletion: 4698 -> 2352 1184.78/1185.02 c learnt constraints deletion: 4697 -> 2352 1192.88/1193.12 c learnt constraints deletion: 4700 -> 2353 1200.78/1201.02 c learnt constraints deletion: 4691 -> 2350 1209.38/1209.66 c learnt constraints deletion: 4697 -> 2353 1218.08/1218.37 c learnt constraints deletion: 4708 -> 2359 1226.78/1227.06 c learnt constraints deletion: 4699 -> 2355 1234.68/1234.97 c learnt constraints deletion: 4702 -> 2353 1242.58/1242.89 c learnt constraints deletion: 4696 -> 2351 1250.17/1250.45 c learnt constraints deletion: 4697 -> 2352 1257.87/1258.13 c learnt constraints deletion: 4702 -> 2354 1265.57/1265.86 c learnt constraints deletion: 4705 -> 2357 1273.26/1273.54 c learnt constraints deletion: 4704 -> 2355 1281.57/1281.89 c learnt constraints deletion: 4703 -> 2355 1289.47/1289.76 c learnt constraints deletion: 4701 -> 2355 1297.37/1297.65 c learnt constraints deletion: 4705 -> 2357 1305.47/1305.72 c learnt constraints deletion: 4702 -> 2356 1313.17/1313.48 c learnt constraints deletion: 4703 -> 2354 1320.76/1321.01 c learnt constraints deletion: 4694 -> 2350 1328.47/1328.71 c learnt constraints deletion: 4700 -> 2354 1336.26/1336.58 c learnt constraints deletion: 4700 -> 2353 1343.36/1343.61 c learnt constraints deletion: 4702 -> 2356 1350.57/1350.89 c learnt constraints deletion: 4702 -> 2355 1358.35/1358.66 c learnt constraints deletion: 4703 -> 2357 1366.35/1366.66 c learnt constraints deletion: 4698 -> 2353 1374.15/1374.40 c learnt constraints deletion: 4702 -> 2356 1381.75/1382.06 c learnt constraints deletion: 4699 -> 2352 1389.65/1389.92 c learnt constraints deletion: 4685 -> 2346 1396.65/1396.94 c learnt constraints deletion: 4699 -> 2354 1403.95/1404.23 c learnt constraints deletion: 4698 -> 2353 1412.54/1412.83 c learnt constraints deletion: 5137 -> 2573 1420.86/1421.11 c learnt constraints deletion: 5133 -> 2567 1428.85/1429.17 c learnt constraints deletion: 5137 -> 2571 1436.15/1436.49 c learnt constraints deletion: 5143 -> 2573 1444.44/1444.73 c learnt constraints deletion: 5144 -> 2574 1451.94/1452.27 c learnt constraints deletion: 5139 -> 2573 1458.84/1459.18 c learnt constraints deletion: 5133 -> 2569 1466.04/1466.32 c learnt constraints deletion: 5139 -> 2571 1472.64/1472.96 c learnt constraints deletion: 5138 -> 2571 1479.04/1479.38 c learnt constraints deletion: 5137 -> 2571 1488.43/1488.70 c learnt constraints deletion: 5142 -> 2573 1496.34/1496.62 c learnt constraints deletion: 5144 -> 2576 1504.23/1504.59 c learnt constraints deletion: 5143 -> 2577 1511.14/1511.42 c learnt constraints deletion: 5143 -> 2576 1518.53/1518.86 c learnt constraints deletion: 5139 -> 2574 1526.43/1526.77 c learnt constraints deletion: 5135 -> 2571 1534.03/1534.32 c learnt constraints deletion: 5136 -> 2572 1541.03/1541.34 c learnt constraints deletion: 5135 -> 2573 1548.02/1548.38 c learnt constraints deletion: 5142 -> 2576 1555.33/1555.60 c learnt constraints deletion: 5139 -> 2575 1562.92/1563.28 c learnt constraints deletion: 5143 -> 2578 1569.53/1569.84 c learnt constraints deletion: 5135 -> 2569 1577.23/1577.52 c learnt constraints deletion: 5137 -> 2571 1584.12/1584.48 c learnt constraints deletion: 5138 -> 2573 1591.62/1591.91 c learnt constraints deletion: 5138 -> 2572 1599.32/1599.66 c learnt constraints deletion: 5130 -> 2568 1607.01/1607.34 c learnt constraints deletion: 5144 -> 2576 1614.92/1615.26 c learnt constraints deletion: 5139 -> 2573 1622.51/1622.89 c learnt constraints deletion: 5143 -> 2574 1630.21/1630.55 c learnt constraints deletion: 5138 -> 2572 1637.62/1637.98 c learnt constraints deletion: 5142 -> 2575 1645.11/1645.44 c learnt constraints deletion: 5137 -> 2572 1653.21/1653.53 c learnt constraints deletion: 5130 -> 2569 1661.72/1662.08 c learnt constraints deletion: 5137 -> 2574 1669.70/1670.03 c learnt constraints deletion: 5141 -> 2576 1678.60/1678.95 c learnt constraints deletion: 5149 -> 2582 1686.21/1686.58 c learnt constraints deletion: 5138 -> 2573 1694.90/1695.23 c learnt constraints deletion: 5142 -> 2575 1703.10/1703.42 c learnt constraints deletion: 5137 -> 2574 1711.20/1711.52 c learnt constraints deletion: 5137 -> 2574 1719.30/1719.68 c learnt constraints deletion: 5142 -> 2576 1727.81/1728.12 c learnt constraints deletion: 5140 -> 2576 1736.09/1736.48 c learnt constraints deletion: 5136 -> 2569 1744.09/1744.41 c learnt constraints deletion: 5139 -> 2573 1751.90/1752.23 c learnt constraints deletion: 5141 -> 2574 1760.29/1760.62 c learnt constraints deletion: 5134 -> 2569 1767.69/1768.04 c learnt constraints deletion: 5138 -> 2571 1775.79/1776.12 c learnt constraints deletion: 5139 -> 2573 1784.19/1784.59 c learnt constraints deletion: 5140 -> 2573 1792.79/1793.13 c learnt constraints deletion: 5140 -> 2574
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-3706874-1338310776/watcher-3706874-1338310776 -o /tmp/evaluation-result-3706874-1338310776/solver-3706874-1338310776 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706874-1338310776.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: 0.00 0.04 1.85 3/174 1206 /proc/meminfo: memFree=30291960/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 773 0 0 0 0 0 0 0 20 0 1 0 297203741 6356992 695 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 1552 695 411 1167 0 333 0 [startup+0.0954311 s] /proc/loadavg: 0.00 0.04 1.85 3/174 1206 /proc/meminfo: memFree=30291960/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=9280 CPUtime=0.09 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 1499 0 0 0 9 0 0 0 20 0 1 0 297203741 9502720 1421 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 2320 1421 426 1167 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9280 [startup+0.10027 s] /proc/loadavg: 0.00 0.04 1.85 3/174 1206 /proc/meminfo: memFree=30291960/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=9280 CPUtime=0.09 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 1499 0 0 0 9 0 0 0 20 0 1 0 297203741 9502720 1421 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 2320 1421 426 1167 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9280 [startup+0.300225 s] /proc/loadavg: 0.00 0.04 1.85 3/174 1206 /proc/meminfo: memFree=30291960/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=10304 CPUtime=0.29 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 1714 0 0 0 29 0 0 0 20 0 1 0 297203741 10551296 1636 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 2576 1636 456 1167 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10304 [startup+0.700251 s] /proc/loadavg: 0.00 0.04 1.85 3/174 1206 /proc/meminfo: memFree=30291960/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=13376 CPUtime=0.69 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 2423 0 0 0 69 0 0 0 20 0 1 0 297203741 13697024 2345 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 3344 2345 456 1167 0 2125 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13376 [startup+1.50028 s] /proc/loadavg: 0.00 0.04 1.85 3/177 1212 /proc/meminfo: memFree=30269600/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=16448 CPUtime=1.48 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 3423 0 0 0 148 0 0 0 20 0 1 0 297203741 16842752 3345 33554432000 4194304 8973514 140733994532304 140733994531568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 4112 3345 456 1167 0 2893 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 16448 [startup+3.10028 s] /proc/loadavg: 0.16 0.07 1.85 3/177 1212 /proc/meminfo: memFree=30265740/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=18496 CPUtime=3.09 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 3936 0 0 0 308 1 0 0 20 0 1 0 297203741 18939904 3858 33554432000 4194304 8973514 140733994532304 140733994531568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 4624 3858 457 1167 0 3405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18496 [startup+6.30028 s] /proc/loadavg: 0.16 0.07 1.85 3/177 1212 /proc/meminfo: memFree=30252860/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=21568 CPUtime=6.29 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 4704 0 0 0 627 2 0 0 20 0 1 0 297203741 22085632 4626 33554432000 4194304 8973514 140733994532304 140733994531800 4213673 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 5392 4626 457 1167 0 4173 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21568 [startup+12.7003 s] /proc/loadavg: 0.44 0.14 1.85 3/177 1212 /proc/meminfo: memFree=30236880/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=28736 CPUtime=12.68 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 6504 0 0 0 1264 4 0 0 20 0 1 0 297203741 29425664 6423 33554432000 4194304 8973514 140733994532304 140733994531568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 7184 6423 457 1167 0 5965 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28736 [startup+25.5003 s] /proc/loadavg: 0.68 0.20 1.85 3/178 1215 /proc/meminfo: memFree=30229300/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=33856 CPUtime=25.48 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 7788 0 0 0 2540 8 0 0 20 0 1 0 297203741 34668544 7703 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 8464 7703 457 1167 0 7245 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33856 [startup+51.1003 s] /proc/loadavg: 1.13 0.34 1.85 3/178 1215 /proc/meminfo: memFree=30219932/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=37952 CPUtime=51.07 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 8812 0 0 0 5094 13 0 0 20 0 1 0 297203741 38862848 8727 33554432000 4194304 8973514 140733994532304 140733994531568 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 9488 8727 457 1167 0 8269 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37952 [startup+102.307 s] /proc/loadavg: 1.72 0.63 1.87 3/178 1238 /proc/meminfo: memFree=30200620/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=48192 CPUtime=102.26 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 11379 0 0 0 10201 25 0 0 20 0 1 0 297203741 49348608 11287 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 12048 11287 457 1167 0 10829 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48192 [startup+162.3 s] /proc/loadavg: 1.99 0.89 1.88 3/177 1238 /proc/meminfo: memFree=30194664/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=50240 CPUtime=162.24 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 11891 0 0 0 16183 41 0 0 20 0 1 0 297203741 51445760 11799 33554432000 4194304 8973514 140733994532304 140733994531800 4213713 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 12560 11799 457 1167 0 11341 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 50240 [startup+222.3 s] /proc/loadavg: 2.05 1.12 1.89 3/177 1239 /proc/meminfo: memFree=30189200/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=52288 CPUtime=222.24 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 12405 0 0 0 22165 59 0 0 20 0 1 0 297203741 53542912 12311 33554432000 4194304 8973514 140733994532304 140733994531568 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 13072 12311 457 1167 0 11853 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52288 [startup+282.3 s] /proc/loadavg: 2.12 1.30 1.91 3/177 1239 /proc/meminfo: memFree=30183372/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=54336 CPUtime=282.23 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 12917 0 0 0 28147 76 0 0 20 0 1 0 297203741 55640064 12823 33554432000 4194304 8973514 140733994532304 140733994531568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 13584 12823 457 1167 0 12365 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 54336 [startup+342.3 s] /proc/loadavg: 2.04 1.43 1.91 3/177 1239 /proc/meminfo: memFree=30178032/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=55360 CPUtime=342.22 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 13174 0 0 0 34130 92 0 0 20 0 1 0 297203741 56688640 13079 33554432000 4194304 8973514 140733994532304 140733994531568 4213673 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 13840 13079 457 1167 0 12621 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 55360 [startup+402.3 s] /proc/loadavg: 2.01 1.52 1.91 3/177 1239 /proc/meminfo: memFree=30171448/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=57408 CPUtime=402.2 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 13686 0 0 0 40113 107 0 0 20 0 1 0 297203741 58785792 13591 33554432000 4194304 8973514 140733994532304 140733994531800 4213713 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 14352 13591 457 1167 0 13133 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 57408 [startup+462.3 s] /proc/loadavg: 2.00 1.61 1.91 3/177 1239 /proc/meminfo: memFree=30151664/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=60480 CPUtime=462.2 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 14455 0 0 0 46095 125 0 0 20 0 1 0 297203741 61931520 14359 33554432000 4194304 8973514 140733994532304 140733994531800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 15120 14359 457 1167 0 13901 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 60480 [startup+522.3 s] /proc/loadavg: 2.00 1.68 1.91 3/177 1240 /proc/meminfo: memFree=30144456/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=62528 CPUtime=522.19 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 14967 0 0 0 52079 140 0 0 20 0 1 0 297203741 64028672 14871 33554432000 4194304 8973514 140733994532304 140733994531568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 15632 14871 457 1167 0 14413 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 62528 [startup+582.3 s] /proc/loadavg: 2.00 1.73 1.91 3/177 1240 /proc/meminfo: memFree=30145880/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=62528 CPUtime=582.18 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 14968 0 0 0 58063 155 0 0 20 0 1 0 297203741 64028672 14871 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 15632 14871 457 1167 0 14413 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 62528 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.88 1.91 3/177 1244 /proc/meminfo: memFree=30132716/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=63552 CPUtime=822.14 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 15225 0 0 0 81997 217 0 0 20 0 1 0 297203741 65077248 15127 33554432000 4194304 8973514 140733994532304 140733994531568 4213728 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 15888 15127 457 1167 0 14669 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 63552 [startup+882.3 s] /proc/loadavg: 2.06 1.92 1.92 3/177 1244 /proc/meminfo: memFree=30132592/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=63552 CPUtime=882.13 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 15225 0 0 0 87983 230 0 0 20 0 1 0 297203741 65077248 15127 33554432000 4194304 8973514 140733994532304 140733994531568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 15888 15127 457 1167 0 14669 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 63552 [startup+942.3 s] /proc/loadavg: 2.02 1.93 1.92 3/177 1244 /proc/meminfo: memFree=30131724/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=64576 CPUtime=942.12 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 15481 0 0 0 93965 247 0 0 20 0 1 0 297203741 66125824 15383 33554432000 4194304 8973514 140733994532304 140733994531568 4213708 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16144 15383 457 1167 0 14925 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 64576 [startup+1002.3 s] /proc/loadavg: 2.01 1.94 1.92 3/177 1244 /proc/meminfo: memFree=30129800/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=66624 CPUtime=1002.12 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 15993 0 0 0 99950 262 0 0 20 0 1 0 297203741 68222976 15895 33554432000 4194304 8973514 140733994532304 140733994530240 4213683 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16656 15895 457 1167 0 15437 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 66624 [startup+1062.3 s] /proc/loadavg: 2.00 1.95 1.92 3/177 1244 /proc/meminfo: memFree=30129552/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=66624 CPUtime=1062.1 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 15993 0 0 0 105931 279 0 0 20 0 1 0 297203741 68222976 15895 33554432000 4194304 8973514 140733994532304 140733994531568 4204292 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16656 15895 457 1167 0 15437 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 66624 [startup+1122.3 s] /proc/loadavg: 2.11 1.98 1.93 3/177 1245 /proc/meminfo: memFree=30117336/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=68672 CPUtime=1122.09 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 16506 0 0 0 111914 295 0 0 20 0 1 0 297203741 70320128 16407 33554432000 4194304 8973514 140733994532304 140733994531568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 17168 16407 457 1167 0 15949 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 68672 [startup+1182.3 s] /proc/loadavg: 2.04 1.98 1.93 3/177 1245 /proc/meminfo: memFree=30120796/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=66624 CPUtime=1182.09 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 16506 0 0 0 117898 311 0 0 20 0 1 0 297203741 68222976 15895 33554432000 4194304 8973514 140733994532304 140733994531800 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16656 15895 457 1167 0 15437 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 66624 [startup+1242.3 s] /proc/loadavg: 2.04 2.00 1.94 3/178 1248 /proc/meminfo: memFree=30124632/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=66624 CPUtime=1242.08 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 16507 0 0 0 123880 328 0 0 20 0 1 0 297203741 68222976 15895 33554432000 4194304 8973514 140733994532304 140733994531568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16656 15895 457 1167 0 15437 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 66624 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 1.94 3/177 1248 /proc/meminfo: memFree=30123772/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=67648 CPUtime=1302.07 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 16763 0 0 0 129863 344 0 0 20 0 1 0 297203741 69271552 16151 33554432000 4194304 8973514 140733994532304 140733994530240 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16912 16151 457 1167 0 15693 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 67648 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1248 /proc/meminfo: memFree=30124144/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=67648 CPUtime=1362.06 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 16763 0 0 0 135848 358 0 0 20 0 1 0 297203741 69271552 16151 33554432000 4194304 8973514 140733994532304 140733994531568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16912 16151 457 1167 0 15693 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 67648 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1249 /proc/meminfo: memFree=30120608/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=67648 CPUtime=1422.05 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 16763 0 0 0 141832 373 0 0 20 0 1 0 297203741 69271552 16151 33554432000 4194304 8973514 140733994532304 140733994531800 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 16912 16151 457 1167 0 15693 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 67648 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1249 /proc/meminfo: memFree=30117628/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=70720 CPUtime=1482.03 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 17867 0 0 0 147811 392 0 0 20 0 1 0 297203741 72417280 16742 33554432000 4194304 8973514 140733994532304 140733994531568 4209340 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 17680 16742 457 1167 0 16461 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 70720 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1249 /proc/meminfo: memFree=30112600/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=70720 CPUtime=1542.03 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 18044 0 0 0 153794 409 0 0 20 0 1 0 297203741 72417280 16919 33554432000 4194304 8973514 140733994532304 140733994531800 4213693 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 17680 16919 457 1167 0 16461 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 70720 [startup+1602.3 s] /proc/loadavg: 2.07 2.02 1.94 3/178 1250 /proc/meminfo: memFree=30094116/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=70720 CPUtime=1602.02 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 18044 0 0 0 159774 428 0 0 20 0 1 0 297203741 72417280 16919 33554432000 4194304 8973514 140733994532304 140733994531568 4213693 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 17680 16919 457 1167 0 16461 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 70720 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 1.94 3/177 1250 /proc/meminfo: memFree=30095484/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=71744 CPUtime=1662.01 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 18300 0 0 0 165756 445 0 0 20 0 1 0 297203741 73465856 17175 33554432000 4194304 8973514 140733994532304 140733994531800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 17936 17175 457 1167 0 16717 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 71744 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 1.94 3/177 1251 /proc/meminfo: memFree=30091932/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=73792 CPUtime=1722 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 18812 0 0 0 171743 457 0 0 20 0 1 0 297203741 75563008 17687 33554432000 4194304 8973514 140733994532304 140733994531800 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 18448 17687 457 1167 0 17229 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 73792 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1251 /proc/meminfo: memFree=30090320/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=73792 CPUtime=1781.99 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 18812 0 0 0 177726 473 0 0 20 0 1 0 297203741 75563008 17687 33554432000 4194304 8973514 140733994532304 140733994531800 4213743 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 18448 17687 457 1167 0 17229 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 73792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 1.94 3/177 1251 /proc/meminfo: memFree=30090320/32873844 swapFree=7372/7372 [pid=1206] ppid=1204 vsize=73792 CPUtime=1800.09 cores=0,2,4,6 /proc/1206/stat : 1206 (toysat) R 1204 1206 1126 0 -1 4202496 18812 0 0 0 179531 478 0 0 20 0 1 0 297203741 75563008 17687 33554432000 4194304 8973514 140733994532304 140733994531624 4213683 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/1206/statm: 18448 17687 457 1167 0 17229 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 73792 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.11 CPU user time (s): 1795.32 CPU system time (s): 4.78427 CPU usage (%): 99.9832 Max. virtual memory (cumulated for all children) (KiB): 73792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.32 system time used= 4.78427 maximum resident set size= 70748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18812 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= 31 involuntary context switches= 1854 runsolver used 3.50247 second user time and 9.50255 second system time The end
Begin job on node118 at 2012-05-29 18:59:36 IDJOB=3706874 IDBENCH=2881 IDSOLVER=2285 FILE ID=node118/3706874-1338310776 RUNJOBID= node118-1338310776-1183 PBS_JOBID= 14632110 Free space on /tmp= 71608 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706874-1338310776/watcher-3706874-1338310776 -o /tmp/evaluation-result-3706874-1338310776/solver-3706874-1338310776 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706874-1338310776.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 87c08328e44aaf86c5913a3ba08592cd RANDOM SEED=1854126972 node118.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.212 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.42 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.212 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 : 5438.55 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.212 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.92 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.212 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.212 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 : 5320.68 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30292604 kB Buffers: 455812 kB Cached: 1262816 kB SwapCached: 0 kB Active: 672544 kB Inactive: 1058140 kB Active(anon): 2244 kB Inactive(anon): 11320 kB Active(file): 670300 kB Inactive(file): 1046820 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 15316 kB Writeback: 0 kB AnonPages: 18056 kB Mapped: 10896 kB Shmem: 200 kB Slab: 709740 kB SReclaimable: 151080 kB SUnreclaim: 558660 kB KernelStack: 1384 kB PageTables: 4344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104420 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= 71592 MiB End job on node118 at 2012-05-29 19:29:39