Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-06-01 | ? (TO) | 1800.03 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2967 |
Best CPU time to get the best result obtained on this benchmark | 0.208968 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2967 |
Optimality of the best value was proved | YES |
Number of variables | 1086 |
Total number of constraints | 85 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 84 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 1086 |
Number of terms in the objective function | 1086 |
Biggest coefficient in the objective function | 283 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 197191 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 283 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 197191 |
Number of bits of the biggest sum of numbers | 18 |
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.15 c 2012-06-02T12:05:33+0200 0.09/0.15 c arch = x86_64 0.09/0.15 c os = linux 0.09/0.15 c compiler = ghc 7.4 0.09/0.15 c packages: 0.09/0.15 c OptDir-0.0.1 0.09/0.15 c array-0.4.0.0 0.09/0.15 c base-4.5.0.0 0.09/0.15 c bytestring-0.9.2.1 0.09/0.15 c containers-0.4.2.1 0.09/0.15 c deepseq-1.3.0.0 0.09/0.15 c mtl-2.1.1 0.09/0.15 c old_locale-1.0.0.4 0.09/0.15 c parse_dimacs-1.2 0.09/0.15 c parsec-3.1.2 0.09/0.15 c queue-0.1.2 0.09/0.15 c stm-2.3 0.09/0.15 c time-1.4 0.09/0.15 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724978-1338631533.opb"] 0.09/0.15 c #vars 1086 0.09/0.15 c #constraints 85 0.09/0.15 c Solving starts ... 0.89/0.99 c learnt constraints deletion: 809 -> 405 1.79/1.89 c learnt constraints deletion: 911 -> 456 3.19/3.29 c learnt constraints deletion: 1216 -> 608 4.49/4.51 c solving time = 4.356s 4.49/4.51 c #decision = 5099 4.49/4.51 c #conflict = 2899 4.49/4.51 c #restart = 6 4.49/4.51 o 4276 4.49/4.51 c Solving starts ... 4.49/4.52 c learnt constraints deletion: 1426 -> 713 4.49/4.52 c learnt constraints deletion: 713 -> 357 4.49/4.52 c solving time = 0.008s 4.49/4.52 c #decision = 5259 4.49/4.52 c #conflict = 2900 4.49/4.52 c #restart = 6 4.49/4.52 o 4275 4.49/4.52 c Solving starts ... 4.59/4.68 c learnt constraints deletion: 457 -> 229 4.79/4.87 c solving time = 0.343s 4.79/4.87 c #decision = 5647 4.79/4.87 c #conflict = 3094 4.79/4.87 c #restart = 7 4.79/4.87 o 4272 4.79/4.87 c Solving starts ... 4.99/5.02 c learnt constraints deletion: 422 -> 211 5.50/5.56 c learnt constraints deletion: 584 -> 292 6.09/6.13 c learnt constraints deletion: 629 -> 315 6.89/6.92 c learnt constraints deletion: 821 -> 411 8.19/8.26 c learnt constraints deletion: 1171 -> 586 10.09/10.10 c learnt constraints deletion: 1727 -> 864 11.79/11.85 c learnt constraints deletion: 1837 -> 924 13.20/13.27 c learnt constraints deletion: 1663 -> 832 15.09/15.13 c learnt constraints deletion: 1865 -> 938 16.79/16.87 c learnt constraints deletion: 1912 -> 959 17.89/17.94 c learnt constraints deletion: 1521 -> 761 20.18/20.26 c learnt constraints deletion: 1917 -> 959 22.09/22.19 c learnt constraints deletion: 1988 -> 996 24.28/24.34 c learnt constraints deletion: 2008 -> 1011 25.69/25.73 c learnt constraints deletion: 1668 -> 834 28.28/28.34 c learnt constraints deletion: 2092 -> 1052 30.49/30.57 c learnt constraints deletion: 2095 -> 1054 32.79/32.89 c learnt constraints deletion: 2096 -> 1050 35.09/35.13 c learnt constraints deletion: 2073 -> 1040 37.28/37.40 c learnt constraints deletion: 2109 -> 1066 37.99/38.09 c learnt constraints deletion: 1413 -> 707 40.78/40.82 c learnt constraints deletion: 2244 -> 1124 42.79/42.82 c learnt constraints deletion: 2199 -> 1103 44.78/44.84 c learnt constraints deletion: 2227 -> 1123 46.78/46.86 c learnt constraints deletion: 2225 -> 1117 48.78/48.89 c learnt constraints deletion: 2225 -> 1123 50.98/51.08 c learnt constraints deletion: 2224 -> 1118 53.18/53.20 c learnt constraints deletion: 2226 -> 1122 54.08/54.16 c learnt constraints deletion: 1641 -> 821 56.88/56.91 c learnt constraints deletion: 2324 -> 1164 59.08/59.18 c learnt constraints deletion: 2336 -> 1170 61.38/61.45 c learnt constraints deletion: 2345 -> 1177 63.68/63.74 c learnt constraints deletion: 2367 -> 1193 65.67/65.73 c learnt constraints deletion: 2309 -> 1160 68.09/68.11 c learnt constraints deletion: 2368 -> 1191 70.07/70.15 c learnt constraints deletion: 2331 -> 1171 72.28/72.34 c learnt constraints deletion: 2358 -> 1183 74.58/74.70 c learnt constraints deletion: 2312 -> 1160 76.88/76.95 c learnt constraints deletion: 2344 -> 1178 78.87/78.96 c learnt constraints deletion: 2186 -> 1093 81.48/81.52 c learnt constraints deletion: 2448 -> 1227 83.88/83.90 c learnt constraints deletion: 2472 -> 1237 86.28/86.30 c learnt constraints deletion: 2449 -> 1229 88.78/88.89 c learnt constraints deletion: 2465 -> 1240 91.28/91.34 c learnt constraints deletion: 2482 -> 1247 93.77/93.88 c learnt constraints deletion: 2471 -> 1237 96.58/96.65 c learnt constraints deletion: 2481 -> 1249 98.98/99.07 c learnt constraints deletion: 2505 -> 1265 101.37/101.45 c learnt constraints deletion: 2474 -> 1243 103.77/103.83 c learnt constraints deletion: 2495 -> 1258 106.07/106.17 c learnt constraints deletion: 2485 -> 1252 108.48/108.57 c learnt constraints deletion: 2505 -> 1266 110.57/110.63 c learnt constraints deletion: 2434 -> 1225 113.07/113.15 c learnt constraints deletion: 2468 -> 1245 115.27/115.39 c learnt constraints deletion: 2457 -> 1243 117.07/117.10 c learnt constraints deletion: 2184 -> 1092 120.17/120.22 c learnt constraints deletion: 2645 -> 1327 122.57/122.60 c learnt constraints deletion: 2611 -> 1311 124.97/125.02 c learnt constraints deletion: 2636 -> 1328 127.47/127.55 c learnt constraints deletion: 2613 -> 1318 129.87/129.93 c learnt constraints deletion: 2631 -> 1322 132.36/132.47 c learnt constraints deletion: 2628 -> 1321 134.96/135.06 c learnt constraints deletion: 2622 -> 1317 137.37/137.50 c learnt constraints deletion: 2615 -> 1318 139.97/140.02 c learnt constraints deletion: 2604 -> 1316 142.56/142.64 c learnt constraints deletion: 2622 -> 1312 145.17/145.22 c learnt constraints deletion: 2625 -> 1319 147.86/147.92 c learnt constraints deletion: 2628 -> 1323 150.37/150.46 c learnt constraints deletion: 2615 -> 1314 153.17/153.29 c learnt constraints deletion: 2626 -> 1318 155.96/156.08 c learnt constraints deletion: 2616 -> 1316 158.66/158.71 c learnt constraints deletion: 2615 -> 1315 161.17/161.29 c learnt constraints deletion: 2626 -> 1326 163.77/163.82 c learnt constraints deletion: 2626 -> 1325 166.27/166.38 c learnt constraints deletion: 2623 -> 1317 168.97/169.04 c learnt constraints deletion: 2627 -> 1323 171.47/171.57 c learnt constraints deletion: 2605 -> 1307 174.46/174.55 c learnt constraints deletion: 2736 -> 1374 177.46/177.54 c learnt constraints deletion: 2760 -> 1382 180.37/180.47 c learnt constraints deletion: 2769 -> 1388 183.16/183.21 c learnt constraints deletion: 2768 -> 1390 185.76/185.81 c learnt constraints deletion: 2711 -> 1362 188.46/188.51 c learnt constraints deletion: 2727 -> 1372 191.37/191.46 c learnt constraints deletion: 2777 -> 1389 194.36/194.48 c learnt constraints deletion: 2782 -> 1393 197.16/197.29 c learnt constraints deletion: 2779 -> 1394 199.96/200.02 c learnt constraints deletion: 2790 -> 1401 202.76/202.87 c learnt constraints deletion: 2756 -> 1384 205.57/205.61 c learnt constraints deletion: 2746 -> 1378 208.25/208.39 c learnt constraints deletion: 2777 -> 1392 211.16/211.23 c learnt constraints deletion: 2794 -> 1400 213.85/213.95 c learnt constraints deletion: 2755 -> 1385 216.86/216.99 c learnt constraints deletion: 2812 -> 1411 219.75/219.80 c learnt constraints deletion: 2785 -> 1399 222.66/222.77 c learnt constraints deletion: 2785 -> 1399 225.46/225.56 c learnt constraints deletion: 2753 -> 1387 227.86/227.97 c learnt constraints deletion: 2692 -> 1353 230.65/230.77 c learnt constraints deletion: 2780 -> 1403 233.15/233.28 c learnt constraints deletion: 2723 -> 1377 235.86/235.96 c learnt constraints deletion: 2780 -> 1403 238.35/238.48 c learnt constraints deletion: 2735 -> 1376 241.35/241.47 c learnt constraints deletion: 2780 -> 1404 244.16/244.21 c learnt constraints deletion: 2768 -> 1388 246.75/246.89 c learnt constraints deletion: 2806 -> 1410 249.45/249.52 c learnt constraints deletion: 2803 -> 1410 252.15/252.26 c learnt constraints deletion: 2700 -> 1358 254.95/255.08 c learnt constraints deletion: 2778 -> 1397 257.85/257.98 c learnt constraints deletion: 2797 -> 1401 260.84/260.98 c learnt constraints deletion: 2808 -> 1409 264.15/264.23 c learnt constraints deletion: 2881 -> 1441 267.05/267.15 c learnt constraints deletion: 2974 -> 1487 270.34/270.40 c learnt constraints deletion: 2942 -> 1473 273.25/273.32 c learnt constraints deletion: 2966 -> 1485 276.24/276.37 c learnt constraints deletion: 2937 -> 1473 279.25/279.39 c learnt constraints deletion: 2981 -> 1499 282.04/282.11 c learnt constraints deletion: 2924 -> 1464 285.05/285.12 c learnt constraints deletion: 2988 -> 1498 288.15/288.21 c learnt constraints deletion: 2939 -> 1476 291.04/291.10 c learnt constraints deletion: 2966 -> 1492 293.74/293.83 c learnt constraints deletion: 2984 -> 1496 296.44/296.55 c learnt constraints deletion: 2972 -> 1492 299.54/299.62 c learnt constraints deletion: 2977 -> 1491 302.84/302.95 c learnt constraints deletion: 2952 -> 1479 306.14/306.20 c learnt constraints deletion: 2982 -> 1493 309.14/309.21 c learnt constraints deletion: 3003 -> 1511 311.74/311.88 c learnt constraints deletion: 2924 -> 1467 314.55/314.69 c learnt constraints deletion: 2971 -> 1490 317.44/317.58 c learnt constraints deletion: 2971 -> 1490 320.34/320.49 c learnt constraints deletion: 2984 -> 1496 323.24/323.31 c learnt constraints deletion: 2987 -> 1503 326.14/326.22 c learnt constraints deletion: 2966 -> 1495 328.85/328.99 c learnt constraints deletion: 2990 -> 1509 331.64/331.78 c learnt constraints deletion: 2947 -> 1489 334.44/334.53 c learnt constraints deletion: 2957 -> 1483 337.04/337.15 c learnt constraints deletion: 2998 -> 1505 339.74/339.85 c learnt constraints deletion: 2983 -> 1497 342.44/342.54 c learnt constraints deletion: 2974 -> 1495 345.03/345.16 c learnt constraints deletion: 2905 -> 1458 347.83/347.97 c learnt constraints deletion: 2966 -> 1491 350.63/350.79 c learnt constraints deletion: 2950 -> 1486 353.44/353.59 c learnt constraints deletion: 2953 -> 1495 356.24/356.37 c learnt constraints deletion: 2990 -> 1505 359.03/359.17 c learnt constraints deletion: 2953 -> 1489 361.84/361.96 c learnt constraints deletion: 2950 -> 1492 364.83/364.93 c learnt constraints deletion: 2948 -> 1496 367.84/367.91 c learnt constraints deletion: 2952 -> 1480 371.14/371.21 c learnt constraints deletion: 2946 -> 1478 374.33/374.46 c learnt constraints deletion: 2932 -> 1469 377.43/377.56 c learnt constraints deletion: 2975 -> 1494 380.54/380.68 c learnt constraints deletion: 2972 -> 1493 383.33/383.48 c learnt constraints deletion: 2883 -> 1444 386.43/386.59 c learnt constraints deletion: 2927 -> 1470 389.53/389.63 c learnt constraints deletion: 2966 -> 1489 392.63/392.74 c learnt constraints deletion: 3140 -> 1576 394.13/394.23 c learnt constraints deletion: 2406 -> 1203 398.23/398.35 c learnt constraints deletion: 3165 -> 1584 401.63/401.71 c learnt constraints deletion: 3147 -> 1576 405.03/405.15 c learnt constraints deletion: 3177 -> 1592 408.12/408.25 c learnt constraints deletion: 3195 -> 1607 411.12/411.30 c learnt constraints deletion: 3171 -> 1593 414.33/414.44 c learnt constraints deletion: 3156 -> 1588 417.62/417.74 c learnt constraints deletion: 3181 -> 1598 420.72/420.88 c learnt constraints deletion: 3159 -> 1581 424.02/424.10 c learnt constraints deletion: 3171 -> 1589 427.02/427.14 c learnt constraints deletion: 3170 -> 1592 430.13/430.21 c learnt constraints deletion: 3134 -> 1569 433.22/433.39 c learnt constraints deletion: 3181 -> 1595 436.32/436.49 c learnt constraints deletion: 3098 -> 1552 439.72/439.84 c learnt constraints deletion: 3169 -> 1595 443.32/443.44 c learnt constraints deletion: 3148 -> 1580 446.82/446.97 c learnt constraints deletion: 3143 -> 1581 450.42/450.53 c learnt constraints deletion: 3174 -> 1589 453.62/453.71 c learnt constraints deletion: 3168 -> 1587 456.82/456.93 c learnt constraints deletion: 3166 -> 1591 460.22/460.31 c learnt constraints deletion: 3159 -> 1586 463.12/463.24 c learnt constraints deletion: 3168 -> 1593 466.23/466.34 c learnt constraints deletion: 3106 -> 1558 469.82/469.97 c learnt constraints deletion: 3141 -> 1578 473.41/473.55 c learnt constraints deletion: 3156 -> 1584 476.92/477.07 c learnt constraints deletion: 3148 -> 1581 480.22/480.33 c learnt constraints deletion: 3130 -> 1574 483.72/483.88 c learnt constraints deletion: 3165 -> 1596 486.91/487.04 c learnt constraints deletion: 3077 -> 1548 490.22/490.34 c learnt constraints deletion: 3144 -> 1585 493.41/493.53 c learnt constraints deletion: 3138 -> 1582 496.51/496.69 c learnt constraints deletion: 3159 -> 1596 499.71/499.83 c learnt constraints deletion: 3137 -> 1584 502.81/502.92 c learnt constraints deletion: 3158 -> 1596 506.11/506.26 c learnt constraints deletion: 3159 -> 1602 509.51/509.68 c learnt constraints deletion: 3153 -> 1581 513.01/513.17 c learnt constraints deletion: 3151 -> 1579 516.61/516.75 c learnt constraints deletion: 3160 -> 1585 520.01/520.11 c learnt constraints deletion: 3118 -> 1567 523.51/523.61 c learnt constraints deletion: 3161 -> 1585 526.51/526.65 c learnt constraints deletion: 3148 -> 1580 529.80/529.98 c learnt constraints deletion: 3159 -> 1587 533.50/533.62 c learnt constraints deletion: 3132 -> 1573 537.21/537.31 c learnt constraints deletion: 3161 -> 1591 540.91/541.03 c learnt constraints deletion: 3126 -> 1576 544.51/544.69 c learnt constraints deletion: 3152 -> 1592 547.91/548.01 c learnt constraints deletion: 3163 -> 1589 551.21/551.31 c learnt constraints deletion: 3171 -> 1596 554.50/554.67 c learnt constraints deletion: 3153 -> 1582 558.00/558.13 c learnt constraints deletion: 3126 -> 1572 561.30/561.47 c learnt constraints deletion: 3160 -> 1584 564.50/564.66 c learnt constraints deletion: 3166 -> 1589 567.70/567.82 c learnt constraints deletion: 3163 -> 1584 570.60/570.76 c learnt constraints deletion: 3138 -> 1574 573.70/573.85 c learnt constraints deletion: 3186 -> 1598 576.30/576.46 c learnt constraints deletion: 3104 -> 1558 579.10/579.24 c learnt constraints deletion: 3146 -> 1582 582.00/582.16 c learnt constraints deletion: 3133 -> 1579 584.89/585.06 c learnt constraints deletion: 3122 -> 1570 588.10/588.26 c learnt constraints deletion: 3166 -> 1585 591.30/591.44 c learnt constraints deletion: 3153 -> 1582 594.50/594.61 c learnt constraints deletion: 3130 -> 1573 598.50/598.61 c learnt constraints deletion: 3365 -> 1686 600.50/600.66 c learnt constraints deletion: 2699 -> 1350 604.80/604.96 c learnt constraints deletion: 3404 -> 1706 608.39/608.52 c learnt constraints deletion: 3353 -> 1677 612.30/612.45 c learnt constraints deletion: 3343 -> 1673 616.29/616.44 c learnt constraints deletion: 3343 -> 1673 619.80/619.98 c learnt constraints deletion: 3371 -> 1693 623.50/623.67 c learnt constraints deletion: 3361 -> 1684 627.00/627.13 c learnt constraints deletion: 3361 -> 1687 630.49/630.68 c learnt constraints deletion: 3365 -> 1691 633.99/634.15 c learnt constraints deletion: 3352 -> 1681 637.39/637.51 c learnt constraints deletion: 3394 -> 1703 640.29/640.48 c learnt constraints deletion: 3317 -> 1667 643.49/643.68 c learnt constraints deletion: 3295 -> 1659 646.99/647.17 c learnt constraints deletion: 3382 -> 1703 650.39/650.59 c learnt constraints deletion: 3381 -> 1703 653.69/653.84 c learnt constraints deletion: 3345 -> 1673 656.99/657.13 c learnt constraints deletion: 3383 -> 1697 660.19/660.39 c learnt constraints deletion: 3349 -> 1676 663.69/663.82 c learnt constraints deletion: 3361 -> 1683 666.99/667.16 c learnt constraints deletion: 3406 -> 1709 670.19/670.32 c learnt constraints deletion: 3354 -> 1684 673.68/673.82 c learnt constraints deletion: 3400 -> 1711 677.08/677.26 c learnt constraints deletion: 3379 -> 1706 680.39/680.51 c learnt constraints deletion: 3325 -> 1664 683.99/684.13 c learnt constraints deletion: 3379 -> 1696 687.48/687.61 c learnt constraints deletion: 3361 -> 1686 691.08/691.24 c learnt constraints deletion: 3357 -> 1685 694.39/694.59 c learnt constraints deletion: 3359 -> 1686 697.98/698.15 c learnt constraints deletion: 3355 -> 1686 701.69/701.85 c learnt constraints deletion: 3381 -> 1696 705.08/705.27 c learnt constraints deletion: 3371 -> 1697 708.68/708.86 c learnt constraints deletion: 3370 -> 1695 712.08/712.27 c learnt constraints deletion: 3323 -> 1664 715.28/715.48 c learnt constraints deletion: 3344 -> 1674 718.58/718.77 c learnt constraints deletion: 3324 -> 1664 722.18/722.34 c learnt constraints deletion: 3368 -> 1688 725.57/725.80 c learnt constraints deletion: 3338 -> 1677 729.28/729.42 c learnt constraints deletion: 3402 -> 1709 732.48/732.69 c learnt constraints deletion: 3395 -> 1704 735.68/735.87 c learnt constraints deletion: 3368 -> 1688 738.98/739.11 c learnt constraints deletion: 3344 -> 1677 742.28/742.45 c learnt constraints deletion: 3349 -> 1681 745.88/746.04 c learnt constraints deletion: 3361 -> 1691 749.47/749.63 c learnt constraints deletion: 3375 -> 1694 752.88/753.02 c learnt constraints deletion: 3358 -> 1690 756.47/756.64 c learnt constraints deletion: 3372 -> 1696 760.38/760.51 c learnt constraints deletion: 3352 -> 1689 763.88/764.09 c learnt constraints deletion: 3380 -> 1695 766.97/767.18 c learnt constraints deletion: 3369 -> 1692 770.37/770.54 c learnt constraints deletion: 3379 -> 1698 773.87/774.01 c learnt constraints deletion: 3349 -> 1687 777.17/777.36 c learnt constraints deletion: 3343 -> 1685 780.57/780.72 c learnt constraints deletion: 3370 -> 1697 783.87/784.09 c learnt constraints deletion: 3371 -> 1702 787.37/787.55 c learnt constraints deletion: 3359 -> 1695 790.77/790.97 c learnt constraints deletion: 3351 -> 1683 794.08/794.22 c learnt constraints deletion: 3328 -> 1673 797.57/797.78 c learnt constraints deletion: 3387 -> 1707 801.07/801.28 c learnt constraints deletion: 3368 -> 1695 804.67/804.85 c learnt constraints deletion: 3388 -> 1705 808.06/808.27 c learnt constraints deletion: 3356 -> 1689 811.37/811.53 c learnt constraints deletion: 3391 -> 1710 814.17/814.39 c learnt constraints deletion: 3329 -> 1679 817.56/817.70 c learnt constraints deletion: 3371 -> 1701 820.76/820.94 c learnt constraints deletion: 3374 -> 1701 824.06/824.20 c learnt constraints deletion: 3383 -> 1709 827.16/827.32 c learnt constraints deletion: 3371 -> 1699 830.37/830.51 c learnt constraints deletion: 3373 -> 1701 833.46/833.62 c learnt constraints deletion: 3359 -> 1689 836.87/837.00 c learnt constraints deletion: 3377 -> 1696 840.06/840.25 c learnt constraints deletion: 3377 -> 1695 843.26/843.49 c learnt constraints deletion: 3369 -> 1697 846.66/846.80 c learnt constraints deletion: 3352 -> 1688 850.17/850.34 c learnt constraints deletion: 3359 -> 1691 853.56/853.74 c learnt constraints deletion: 3377 -> 1711 856.95/857.10 c learnt constraints deletion: 3376 -> 1697 860.26/860.40 c learnt constraints deletion: 3345 -> 1687 863.56/863.71 c learnt constraints deletion: 3382 -> 1705 866.66/866.87 c learnt constraints deletion: 3364 -> 1698 869.55/869.77 c learnt constraints deletion: 3365 -> 1692 872.55/872.74 c learnt constraints deletion: 3357 -> 1686 875.46/875.69 c learnt constraints deletion: 3344 -> 1683 878.76/878.94 c learnt constraints deletion: 3322 -> 1673 881.96/882.13 c learnt constraints deletion: 3375 -> 1698 885.05/885.24 c learnt constraints deletion: 3387 -> 1696 888.45/888.66 c learnt constraints deletion: 3388 -> 1698 892.05/892.26 c learnt constraints deletion: 3383 -> 1699 895.75/895.91 c learnt constraints deletion: 3578 -> 1791 899.05/899.21 c learnt constraints deletion: 3610 -> 1814 902.35/902.52 c learnt constraints deletion: 3616 -> 1810 905.75/905.98 c learnt constraints deletion: 3563 -> 1789 909.25/909.49 c learnt constraints deletion: 3617 -> 1815 912.55/912.71 c learnt constraints deletion: 3626 -> 1817 915.85/916.06 c learnt constraints deletion: 3595 -> 1802 919.45/919.64 c learnt constraints deletion: 3613 -> 1813 922.75/922.92 c learnt constraints deletion: 3584 -> 1802 926.24/926.41 c learnt constraints deletion: 3619 -> 1821 929.85/930.04 c learnt constraints deletion: 3623 -> 1824 933.15/933.40 c learnt constraints deletion: 3563 -> 1795 936.85/937.03 c learnt constraints deletion: 3619 -> 1825 940.35/940.54 c learnt constraints deletion: 3608 -> 1821 944.24/944.44 c learnt constraints deletion: 3628 -> 1822 947.55/947.78 c learnt constraints deletion: 3588 -> 1796 950.94/951.17 c learnt constraints deletion: 3607 -> 1808 954.44/954.66 c learnt constraints deletion: 3560 -> 1784 957.85/958.07 c learnt constraints deletion: 3632 -> 1822 961.15/961.31 c learnt constraints deletion: 3604 -> 1805 964.84/965.03 c learnt constraints deletion: 3586 -> 1795 968.14/968.39 c learnt constraints deletion: 3592 -> 1799 971.64/971.81 c learnt constraints deletion: 3622 -> 1812 975.04/975.23 c learnt constraints deletion: 3570 -> 1787 978.64/978.83 c learnt constraints deletion: 3607 -> 1814 982.05/982.29 c learnt constraints deletion: 3616 -> 1811 985.74/985.94 c learnt constraints deletion: 3639 -> 1828 989.04/989.27 c learnt constraints deletion: 3593 -> 1806 992.53/992.74 c learnt constraints deletion: 3629 -> 1823 996.24/996.45 c learnt constraints deletion: 3633 -> 1825 999.93/1000.17 c learnt constraints deletion: 3620 -> 1821 1003.24/1003.44 c learnt constraints deletion: 3619 -> 1825 1006.34/1006.55 c learnt constraints deletion: 3598 -> 1803 1009.74/1009.92 c learnt constraints deletion: 3565 -> 1787 1013.03/1013.21 c learnt constraints deletion: 3600 -> 1806 1016.24/1016.48 c learnt constraints deletion: 3570 -> 1792 1019.63/1019.87 c learnt constraints deletion: 3590 -> 1803 1023.13/1023.37 c learnt constraints deletion: 3607 -> 1815 1026.44/1026.65 c learnt constraints deletion: 3601 -> 1815 1029.73/1029.91 c learnt constraints deletion: 3625 -> 1819 1032.93/1033.19 c learnt constraints deletion: 3584 -> 1803 1036.83/1037.04 c learnt constraints deletion: 3594 -> 1811 1040.03/1040.29 c learnt constraints deletion: 3607 -> 1817 1043.63/1043.81 c learnt constraints deletion: 3592 -> 1809 1046.73/1046.99 c learnt constraints deletion: 3578 -> 1804 1050.63/1050.88 c learnt constraints deletion: 3639 -> 1831 1054.23/1054.45 c learnt constraints deletion: 3589 -> 1805 1057.94/1058.16 c learnt constraints deletion: 3584 -> 1804 1061.43/1061.67 c learnt constraints deletion: 3604 -> 1812 1064.72/1064.98 c learnt constraints deletion: 3609 -> 1815 1067.93/1068.12 c learnt constraints deletion: 3560 -> 1793 1071.62/1071.89 c learnt constraints deletion: 3595 -> 1808 1075.53/1075.72 c learnt constraints deletion: 3623 -> 1822 1079.02/1079.29 c learnt constraints deletion: 3647 -> 1835 1082.52/1082.76 c learnt constraints deletion: 3609 -> 1814 1085.92/1086.10 c learnt constraints deletion: 3588 -> 1806 1089.53/1089.78 c learnt constraints deletion: 3557 -> 1790 1092.62/1092.85 c learnt constraints deletion: 3572 -> 1798 1096.02/1096.27 c learnt constraints deletion: 3550 -> 1784 1099.42/1099.65 c learnt constraints deletion: 3560 -> 1782 1103.22/1103.44 c learnt constraints deletion: 3643 -> 1823 1106.52/1106.71 c learnt constraints deletion: 3615 -> 1811 1110.22/1110.44 c learnt constraints deletion: 3606 -> 1809 1113.42/1113.66 c learnt constraints deletion: 3621 -> 1814 1116.82/1117.04 c learnt constraints deletion: 3610 -> 1810 1120.12/1120.32 c learnt constraints deletion: 3617 -> 1817 1123.52/1123.79 c learnt constraints deletion: 3609 -> 1812 1126.82/1127.06 c learnt constraints deletion: 3584 -> 1804 1130.41/1130.67 c learnt constraints deletion: 3592 -> 1805 1133.92/1134.14 c learnt constraints deletion: 3614 -> 1815 1137.42/1137.61 c learnt constraints deletion: 3572 -> 1790 1141.11/1141.32 c learnt constraints deletion: 3616 -> 1814 1144.71/1144.96 c learnt constraints deletion: 3605 -> 1811 1148.31/1148.58 c learnt constraints deletion: 3614 -> 1815 1152.01/1152.22 c learnt constraints deletion: 3559 -> 1784 1155.61/1155.82 c learnt constraints deletion: 3584 -> 1798 1159.22/1159.45 c learnt constraints deletion: 3620 -> 1817 1162.61/1162.86 c learnt constraints deletion: 3622 -> 1817 1166.21/1166.43 c learnt constraints deletion: 3633 -> 1824 1169.71/1169.93 c learnt constraints deletion: 3609 -> 1815 1173.20/1173.48 c learnt constraints deletion: 3619 -> 1819 1176.71/1176.95 c learnt constraints deletion: 3600 -> 1815 1180.30/1180.51 c learnt constraints deletion: 3587 -> 1807 1183.81/1184.05 c learnt constraints deletion: 3594 -> 1810 1187.50/1187.76 c learnt constraints deletion: 3590 -> 1802 1191.01/1191.29 c learnt constraints deletion: 3631 -> 1824 1194.60/1194.84 c learnt constraints deletion: 3597 -> 1812 1198.11/1198.32 c learnt constraints deletion: 3610 -> 1816 1201.70/1201.91 c learnt constraints deletion: 3613 -> 1814 1205.21/1205.49 c learnt constraints deletion: 3616 -> 1820 1208.90/1209.16 c learnt constraints deletion: 3587 -> 1806 1212.50/1212.79 c learnt constraints deletion: 3628 -> 1830 1216.10/1216.34 c learnt constraints deletion: 3620 -> 1820 1219.80/1220.02 c learnt constraints deletion: 3595 -> 1807 1223.20/1223.45 c learnt constraints deletion: 3604 -> 1816 1226.40/1226.65 c learnt constraints deletion: 3598 -> 1811 1230.30/1230.59 c learnt constraints deletion: 3616 -> 1820 1233.80/1234.01 c learnt constraints deletion: 3619 -> 1824 1237.30/1237.51 c learnt constraints deletion: 3623 -> 1831 1240.70/1240.97 c learnt constraints deletion: 3621 -> 1822 1244.50/1244.76 c learnt constraints deletion: 3620 -> 1823 1248.30/1248.50 c learnt constraints deletion: 3618 -> 1822 1251.60/1251.89 c learnt constraints deletion: 3625 -> 1828 1255.00/1255.23 c learnt constraints deletion: 3619 -> 1824 1258.59/1258.83 c learnt constraints deletion: 3628 -> 1830 1261.99/1262.22 c learnt constraints deletion: 3594 -> 1815 1265.49/1265.75 c learnt constraints deletion: 3598 -> 1815 1269.20/1269.49 c learnt constraints deletion: 3585 -> 1813 1272.80/1273.09 c learnt constraints deletion: 3599 -> 1817 1276.70/1276.91 c learnt constraints deletion: 3600 -> 1819 1280.30/1280.56 c learnt constraints deletion: 3617 -> 1810 1283.79/1284.08 c learnt constraints deletion: 3637 -> 1821 1287.39/1287.67 c learnt constraints deletion: 3586 -> 1798 1290.89/1291.17 c learnt constraints deletion: 3560 -> 1787 1294.59/1294.89 c learnt constraints deletion: 3633 -> 1825 1298.39/1298.60 c learnt constraints deletion: 3608 -> 1814 1302.09/1302.31 c learnt constraints deletion: 3568 -> 1797 1305.88/1306.12 c learnt constraints deletion: 3593 -> 1798 1309.39/1309.62 c learnt constraints deletion: 3585 -> 1795 1312.78/1313.07 c learnt constraints deletion: 3631 -> 1822 1316.49/1316.72 c learnt constraints deletion: 3621 -> 1814 1319.89/1320.13 c learnt constraints deletion: 3616 -> 1812 1323.59/1323.87 c learnt constraints deletion: 3612 -> 1810 1327.40/1327.62 c learnt constraints deletion: 3908 -> 1958 1330.88/1331.17 c learnt constraints deletion: 3851 -> 1931 1334.59/1334.85 c learnt constraints deletion: 3676 -> 1838 1338.88/1339.12 c learnt constraints deletion: 3864 -> 1933 1342.79/1343.01 c learnt constraints deletion: 3870 -> 1940 1346.38/1346.69 c learnt constraints deletion: 3833 -> 1928 1350.49/1350.76 c learnt constraints deletion: 3856 -> 1929 1354.18/1354.43 c learnt constraints deletion: 3858 -> 1935 1357.88/1358.15 c learnt constraints deletion: 3878 -> 1941 1361.49/1361.78 c learnt constraints deletion: 3841 -> 1925 1364.98/1365.21 c learnt constraints deletion: 3856 -> 1934 1368.68/1368.91 c learnt constraints deletion: 3845 -> 1930 1372.27/1372.59 c learnt constraints deletion: 3827 -> 1924 1376.18/1376.47 c learnt constraints deletion: 3857 -> 1936 1380.37/1380.61 c learnt constraints deletion: 3859 -> 1932 1384.77/1385.09 c learnt constraints deletion: 3894 -> 1951 1388.48/1388.72 c learnt constraints deletion: 3863 -> 1937 1392.28/1392.58 c learnt constraints deletion: 3895 -> 1956 1396.18/1396.44 c learnt constraints deletion: 3879 -> 1949 1400.17/1400.45 c learnt constraints deletion: 3860 -> 1942 1403.97/1404.22 c learnt constraints deletion: 3858 -> 1941 1407.87/1408.10 c learnt constraints deletion: 3859 -> 1942 1411.37/1411.69 c learnt constraints deletion: 3813 -> 1912 1415.27/1415.55 c learnt constraints deletion: 3869 -> 1939 1418.97/1419.24 c learnt constraints deletion: 3838 -> 1927 1422.97/1423.23 c learnt constraints deletion: 3887 -> 1951 1426.57/1426.86 c learnt constraints deletion: 3847 -> 1933 1430.27/1430.51 c learnt constraints deletion: 3786 -> 1907 1434.08/1434.36 c learnt constraints deletion: 3852 -> 1927 1437.47/1437.79 c learnt constraints deletion: 3878 -> 1942 1441.27/1441.52 c learnt constraints deletion: 3880 -> 1943 1444.87/1445.14 c learnt constraints deletion: 3845 -> 1927 1448.66/1448.95 c learnt constraints deletion: 3810 -> 1912 1452.87/1453.16 c learnt constraints deletion: 3862 -> 1935 1456.56/1456.85 c learnt constraints deletion: 3790 -> 1900 1460.17/1460.40 c learnt constraints deletion: 3837 -> 1926 1463.96/1464.24 c learnt constraints deletion: 3883 -> 1954 1467.56/1467.87 c learnt constraints deletion: 3878 -> 1954 1471.36/1471.70 c learnt constraints deletion: 3857 -> 1940 1475.36/1475.65 c learnt constraints deletion: 3897 -> 1963 1479.06/1479.34 c learnt constraints deletion: 3862 -> 1940 1482.87/1483.13 c learnt constraints deletion: 3877 -> 1948 1486.87/1487.14 c learnt constraints deletion: 3900 -> 1960 1490.36/1490.66 c learnt constraints deletion: 3899 -> 1952 1493.96/1494.25 c learnt constraints deletion: 3866 -> 1936 1497.46/1497.79 c learnt constraints deletion: 3901 -> 1954 1501.27/1501.59 c learnt constraints deletion: 3866 -> 1936 1504.66/1504.92 c learnt constraints deletion: 3846 -> 1930 1508.05/1508.38 c learnt constraints deletion: 3866 -> 1936 1511.36/1511.65 c learnt constraints deletion: 3885 -> 1949 1514.66/1514.92 c learnt constraints deletion: 3822 -> 1920 1518.36/1518.64 c learnt constraints deletion: 3892 -> 1951 1521.45/1521.72 c learnt constraints deletion: 3854 -> 1933 1524.96/1525.24 c learnt constraints deletion: 3875 -> 1947 1528.05/1528.32 c learnt constraints deletion: 3836 -> 1929 1531.35/1531.60 c learnt constraints deletion: 3844 -> 1928 1534.65/1534.98 c learnt constraints deletion: 3848 -> 1934 1537.96/1538.27 c learnt constraints deletion: 3861 -> 1937 1541.35/1541.67 c learnt constraints deletion: 3864 -> 1938 1544.56/1544.84 c learnt constraints deletion: 3885 -> 1950 1547.95/1548.26 c learnt constraints deletion: 3858 -> 1938 1551.76/1552.09 c learnt constraints deletion: 3872 -> 1946 1555.45/1555.71 c learnt constraints deletion: 3851 -> 1937 1558.75/1559.09 c learnt constraints deletion: 3881 -> 1958 1562.55/1562.83 c learnt constraints deletion: 3848 -> 1934 1566.25/1566.54 c learnt constraints deletion: 3864 -> 1941 1569.35/1569.64 c learnt constraints deletion: 3853 -> 1936 1572.65/1572.97 c learnt constraints deletion: 3879 -> 1950 1576.06/1576.39 c learnt constraints deletion: 3861 -> 1945 1579.15/1579.50 c learnt constraints deletion: 3809 -> 1919 1582.74/1583.03 c learnt constraints deletion: 3874 -> 1944 1586.05/1586.31 c learnt constraints deletion: 3902 -> 1954 1589.15/1589.45 c learnt constraints deletion: 3878 -> 1943 1592.34/1592.60 c learnt constraints deletion: 3863 -> 1939 1595.75/1596.02 c learnt constraints deletion: 3849 -> 1939 1598.74/1599.07 c learnt constraints deletion: 3892 -> 1958 1601.95/1602.25 c learnt constraints deletion: 3854 -> 1939 1605.34/1605.69 c learnt constraints deletion: 3858 -> 1934 1608.65/1608.92 c learnt constraints deletion: 3861 -> 1941 1611.84/1612.10 c learnt constraints deletion: 3866 -> 1939 1615.25/1615.50 c learnt constraints deletion: 3872 -> 1946 1618.34/1618.64 c learnt constraints deletion: 3852 -> 1940 1621.74/1622.06 c learnt constraints deletion: 3867 -> 1946 1624.94/1625.25 c learnt constraints deletion: 3813 -> 1910 1628.14/1628.46 c learnt constraints deletion: 3856 -> 1933 1631.24/1631.55 c learnt constraints deletion: 3853 -> 1935 1634.44/1634.75 c learnt constraints deletion: 3887 -> 1950 1638.04/1638.34 c learnt constraints deletion: 3864 -> 1938 1641.53/1641.88 c learnt constraints deletion: 3856 -> 1934 1645.24/1645.59 c learnt constraints deletion: 3870 -> 1942 1647.13/1647.50 c solving time = 1642.374s 1647.13/1647.50 c #decision = 1042040 1647.13/1647.50 c #conflict = 838238 1647.13/1647.50 c #restart = 27 1647.13/1647.50 o 4270 1647.23/1647.50 c Solving starts ... 1647.23/1647.50 c learnt constraints deletion: 2895 -> 1448 1647.23/1647.50 c learnt constraints deletion: 1448 -> 724 1647.23/1647.50 c learnt constraints deletion: 724 -> 362 1647.44/1647.77 c learnt constraints deletion: 461 -> 231 1648.23/1648.59 c learnt constraints deletion: 604 -> 302 1648.94/1649.23 c learnt constraints deletion: 639 -> 320 1649.93/1650.28 c learnt constraints deletion: 826 -> 413 1651.73/1652.07 c learnt constraints deletion: 1173 -> 587 1654.14/1654.40 c learnt constraints deletion: 1705 -> 856 1654.14/1654.46 c learnt constraints deletion: 879 -> 440 1656.94/1657.23 c learnt constraints deletion: 1832 -> 921 1657.63/1657.91 c learnt constraints deletion: 1241 -> 621 1660.34/1660.67 c learnt constraints deletion: 1899 -> 955 1662.33/1662.63 c learnt constraints deletion: 1875 -> 946 1663.03/1663.32 c learnt constraints deletion: 1317 -> 659 1663.44/1663.71 c solving time = 16.211s 1663.44/1663.71 c #decision = 1052662 1663.44/1663.71 c #conflict = 845972 1663.44/1663.71 c #restart = 36 1663.44/1663.71 o 4253 1663.44/1663.71 c Solving starts ... 1663.44/1663.71 c learnt constraints deletion: 887 -> 444 1663.64/1663.94 c learnt constraints deletion: 543 -> 272 1664.44/1664.72 c learnt constraints deletion: 645 -> 323 1665.14/1665.45 c learnt constraints deletion: 660 -> 330 1666.34/1666.67 c learnt constraints deletion: 836 -> 418 1668.03/1668.30 c learnt constraints deletion: 1178 -> 589 1670.33/1670.68 c learnt constraints deletion: 1730 -> 865 1672.53/1672.89 c learnt constraints deletion: 1826 -> 915 1674.13/1674.50 c learnt constraints deletion: 1666 -> 833 1676.93/1677.27 c learnt constraints deletion: 1954 -> 983 1679.13/1679.49 c learnt constraints deletion: 1943 -> 975 1680.13/1680.48 c learnt constraints deletion: 1463 -> 732 1682.93/1683.20 c learnt constraints deletion: 2022 -> 1017 1685.04/1685.33 c learnt constraints deletion: 2048 -> 1027 1687.23/1687.52 c learnt constraints deletion: 2014 -> 1013 1688.33/1688.67 c learnt constraints deletion: 1559 -> 780 1691.23/1691.53 c learnt constraints deletion: 2097 -> 1051 1693.33/1693.69 c learnt constraints deletion: 2116 -> 1067 1695.63/1695.96 c learnt constraints deletion: 2111 -> 1057 1697.93/1698.29 c learnt constraints deletion: 2124 -> 1070 1700.13/1700.50 c learnt constraints deletion: 2096 -> 1055 1700.73/1701.02 c learnt constraints deletion: 1318 -> 659 1704.13/1704.48 c learnt constraints deletion: 2235 -> 1122 1706.63/1706.90 c learnt constraints deletion: 2255 -> 1134 1708.83/1709.10 c learnt constraints deletion: 2201 -> 1103 1710.93/1711.28 c learnt constraints deletion: 2237 -> 1124 1713.43/1713.75 c learnt constraints deletion: 2246 -> 1133 1715.63/1715.93 c learnt constraints deletion: 2194 -> 1099 1717.94/1718.21 c learnt constraints deletion: 2253 -> 1134 1718.83/1719.20 c learnt constraints deletion: 1561 -> 781 1721.93/1722.29 c learnt constraints deletion: 2353 -> 1179 1724.73/1725.04 c learnt constraints deletion: 2360 -> 1182 1727.33/1727.63 c learnt constraints deletion: 2348 -> 1177 1729.82/1730.19 c learnt constraints deletion: 2343 -> 1175 1732.32/1732.63 c learnt constraints deletion: 2372 -> 1193 1734.83/1735.13 c learnt constraints deletion: 2336 -> 1170 1737.22/1737.59 c learnt constraints deletion: 2329 -> 1168 1739.73/1740.09 c learnt constraints deletion: 2352 -> 1184 1742.42/1742.74 c learnt constraints deletion: 2349 -> 1187 1745.02/1745.38 c learnt constraints deletion: 2356 -> 1187 1747.02/1747.36 c learnt constraints deletion: 2097 -> 1049 1750.12/1750.45 c learnt constraints deletion: 2484 -> 1246 1752.82/1753.12 c learnt constraints deletion: 2497 -> 1257 1755.52/1755.87 c learnt constraints deletion: 2457 -> 1229 1758.22/1758.50 c learnt constraints deletion: 2503 -> 1254 1760.82/1761.14 c learnt constraints deletion: 2510 -> 1259 1763.32/1763.69 c learnt constraints deletion: 2491 -> 1260 1765.91/1766.24 c learnt constraints deletion: 2526 -> 1267 1768.32/1768.69 c learnt constraints deletion: 2483 -> 1243 1770.92/1771.24 c learnt constraints deletion: 2489 -> 1248 1773.42/1773.77 c learnt constraints deletion: 2476 -> 1243 1776.12/1776.46 c learnt constraints deletion: 2493 -> 1257 1778.81/1779.10 c learnt constraints deletion: 2495 -> 1253 1781.22/1781.51 c learnt constraints deletion: 2472 -> 1240 1783.61/1783.98 c learnt constraints deletion: 2490 -> 1251 1785.92/1786.21 c learnt constraints deletion: 2497 -> 1260 1787.21/1787.54 c learnt constraints deletion: 1972 -> 986 1790.52/1790.86 c learnt constraints deletion: 2649 -> 1325 1793.22/1793.57 c learnt constraints deletion: 2642 -> 1326 1795.92/1796.27 c learnt constraints deletion: 2627 -> 1319 1798.41/1798.77 c learnt constraints deletion: 2667 -> 1343
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-3724978-1338631533/watcher-3724978-1338631533 -o /tmp/evaluation-result-3724978-1338631533/solver-3724978-1338631533 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724978-1338631533.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.53 0.13 0.04 2/178 2289 /proc/meminfo: memFree=28815340/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 329278106 6373376 730 33554432000 4194304 8989770 140734342096928 140734029427832 7953280 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/2289/statm: 1556 732 425 1171 0 333 0 [startup+0.0721439 s] /proc/loadavg: 0.53 0.13 0.04 2/178 2289 /proc/meminfo: memFree=28815340/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=8272 CPUtime=0.06 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 1273 0 0 0 6 0 0 0 20 0 1 0 329278106 8470528 1194 33554432000 4194304 8989770 140734342096928 140734029427832 4259706 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/2289/statm: 2068 1194 447 1171 0 845 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8272 [startup+0.100211 s] /proc/loadavg: 0.53 0.13 0.04 2/178 2289 /proc/meminfo: memFree=28815340/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=8272 CPUtime=0.09 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 1290 0 0 0 9 0 0 0 20 0 1 0 329278106 8470528 1211 33554432000 4194304 8989770 140734342096928 140734029427832 4494353 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/2289/statm: 2068 1211 447 1171 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8272 [startup+0.30022 s] /proc/loadavg: 0.53 0.13 0.04 2/178 2289 /proc/meminfo: memFree=28815340/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=9296 CPUtime=0.29 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 1638 0 0 0 29 0 0 0 20 0 1 0 329278106 9519104 1559 33554432000 4194304 8989770 140734342096928 140734029427832 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/2289/statm: 2324 1559 462 1171 0 1101 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9296 [startup+0.700207 s] /proc/loadavg: 0.53 0.13 0.04 2/178 2289 /proc/meminfo: memFree=28815340/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=10320 CPUtime=0.69 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 1894 0 0 0 69 0 0 0 20 0 1 0 329278106 10567680 1815 33554432000 4194304 8989770 140734342096928 140734342096192 7733216 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/2289/statm: 2580 1815 462 1171 0 1357 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10320 [startup+1.50021 s] /proc/loadavg: 0.53 0.13 0.04 3/179 2290 /proc/meminfo: memFree=28750636/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=10320 CPUtime=1.49 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 1896 0 0 0 148 1 0 0 20 0 1 0 329278106 10567680 1817 33554432000 4194304 8989770 140734342096928 140734342096424 4370681 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/2289/statm: 2580 1817 464 1171 0 1357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10320 [startup+3.10026 s] /proc/loadavg: 0.53 0.13 0.04 3/179 2290 /proc/meminfo: memFree=28694208/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=12368 CPUtime=3.08 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 2408 0 0 0 307 1 0 0 20 0 1 0 329278106 12664832 2329 33554432000 4194304 8989770 140734342096928 140734342096424 7746048 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 3092 2329 464 1171 0 1869 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12368 [startup+6.30028 s] /proc/loadavg: 0.73 0.17 0.06 3/179 2290 /proc/meminfo: memFree=28626752/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=15440 CPUtime=6.29 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 3187 0 0 0 625 4 0 0 20 0 1 0 329278106 15810560 3108 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 3860 3108 475 1171 0 2637 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15440 [startup+12.7002 s] /proc/loadavg: 0.83 0.20 0.07 3/179 2290 /proc/meminfo: memFree=28606728/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=19536 CPUtime=12.69 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 4211 0 0 0 1258 11 0 0 20 0 1 0 329278106 20004864 4132 33554432000 4194304 8989770 140734342096928 140734342096424 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 4884 4132 475 1171 0 3661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19536 [startup+25.5002 s] /proc/loadavg: 1.09 0.29 0.10 3/179 2290 /proc/meminfo: memFree=28605968/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=20560 CPUtime=25.49 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 4467 0 0 0 2529 20 0 0 20 0 1 0 329278106 21053440 4388 33554432000 4194304 8989770 140734342096928 140734342096424 7416165 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 5140 4388 475 1171 0 3917 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20560 [startup+51.1003 s] /proc/loadavg: 1.40 0.43 0.15 3/179 2290 /proc/meminfo: memFree=28605176/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=21584 CPUtime=51.08 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 4723 0 0 0 5071 37 0 0 20 0 1 0 329278106 22102016 4644 33554432000 4194304 8989770 140734342096928 140734342096192 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 5396 4644 475 1171 0 4173 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21584 [startup+102.307 s] /proc/loadavg: 1.74 0.67 0.24 3/179 2290 /proc/meminfo: memFree=28602492/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=22608 CPUtime=102.28 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 4979 0 0 0 10158 70 0 0 20 0 1 0 329278106 23150592 4900 33554432000 4194304 8989770 140734342096928 140734342096192 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 5652 4900 475 1171 0 4429 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 22608 [startup+162.3 s] /proc/loadavg: 1.90 0.91 0.35 3/179 2291 /proc/meminfo: memFree=28600164/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=24656 CPUtime=162.26 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 5491 0 0 0 16121 105 0 0 20 0 1 0 329278106 25247744 5412 33554432000 4194304 8989770 140734342096928 140734342096192 4435004 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 6164 5412 475 1171 0 4941 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 24656 [startup+222.3 s] /proc/loadavg: 1.96 1.10 0.45 3/179 2291 /proc/meminfo: memFree=28600192/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=24656 CPUtime=222.25 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 5491 0 0 0 22087 138 0 0 20 0 1 0 329278106 25247744 5412 33554432000 4194304 8989770 140734342096928 140734342096192 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 6164 5412 475 1171 0 4941 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 24656 [startup+282.3 s] /proc/loadavg: 1.98 1.26 0.54 3/180 2294 /proc/meminfo: memFree=28591156/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=25680 CPUtime=282.24 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 5748 0 0 0 28050 174 0 0 20 0 1 0 329278106 26296320 5668 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 6420 5668 475 1171 0 5197 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 25680 [startup+342.3 s] /proc/loadavg: 1.99 1.40 0.63 3/179 2332 /proc/meminfo: memFree=28825372/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=27728 CPUtime=342.24 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 6260 0 0 0 34013 211 0 0 20 0 1 0 329278106 28393472 6180 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 6932 6180 475 1171 0 5709 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 27728 [startup+402.3 s] /proc/loadavg: 1.99 1.50 0.71 3/179 2332 /proc/meminfo: memFree=28806800/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=27728 CPUtime=402.23 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 6260 0 0 0 39976 247 0 0 20 0 1 0 329278106 28393472 6180 33554432000 4194304 8989770 140734342096928 140734342096424 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 6932 6180 475 1171 0 5709 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 27728 [startup+462.3 s] /proc/loadavg: 1.99 1.59 0.79 3/179 2333 /proc/meminfo: memFree=28766628/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=27728 CPUtime=462.22 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 6261 0 0 0 45944 278 0 0 20 0 1 0 329278106 28393472 6180 33554432000 4194304 8989770 140734342096928 140734342096424 6764485 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 6932 6180 475 1171 0 5709 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 27728 [startup+522.3 s] /proc/loadavg: 1.99 1.66 0.86 3/179 2333 /proc/meminfo: memFree=28758940/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=28752 CPUtime=522.21 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 6517 0 0 0 51909 312 0 0 20 0 1 0 329278106 29442048 6436 33554432000 4194304 8989770 140734342096928 140734342096424 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7188 6436 475 1171 0 5965 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 28752 [startup+582.3 s] /proc/loadavg: 1.99 1.72 0.93 3/179 2333 /proc/meminfo: memFree=28737240/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=28752 CPUtime=582.2 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 6517 0 0 0 57871 349 0 0 20 0 1 0 329278106 29442048 6436 33554432000 4194304 8989770 140734342096928 140734342096192 6832825 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7188 6436 475 1171 0 5965 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 28752 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 1.90 1.22 3/180 2337 /proc/meminfo: memFree=28667524/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=882.15 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 87688 527 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096192 4446228 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 31824 [startup+942.3 s] /proc/loadavg: 2.00 1.91 1.27 3/179 2337 /proc/meminfo: memFree=28649180/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=942.14 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 93647 567 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 31824 [startup+1002.3 s] /proc/loadavg: 2.00 1.92 1.31 3/179 2337 /proc/meminfo: memFree=28649304/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=1002.13 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 99609 604 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 31824 [startup+1062.3 s] /proc/loadavg: 2.00 1.94 1.35 3/179 2337 /proc/meminfo: memFree=28649028/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=1062.13 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 105569 644 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 1062.13 Current children cumulated vsize (KiB) 31824 [startup+1122.3 s] /proc/loadavg: 2.00 1.94 1.39 3/179 2338 /proc/meminfo: memFree=28649152/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=1122.12 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 111532 680 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7732144 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 31824 [startup+1182.3 s] /proc/loadavg: 2.11 1.98 1.43 3/179 2338 /proc/meminfo: memFree=28649028/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=1182.11 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 117492 719 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 31824 [startup+1242.3 s] /proc/loadavg: 2.04 1.98 1.47 3/179 2338 /proc/meminfo: memFree=28649028/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=1242.1 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 123456 754 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 31824 [startup+1302.3 s] /proc/loadavg: 2.01 1.98 1.49 3/179 2338 /proc/meminfo: memFree=28648780/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=1302.09 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 129423 786 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 31824 [startup+1362.3 s] /proc/loadavg: 2.12 2.02 1.53 3/179 2338 /proc/meminfo: memFree=28648160/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=31824 CPUtime=1362.08 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7287 0 0 0 135384 824 0 0 20 0 1 0 329278106 32587776 7204 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 7956 7204 475 1171 0 6733 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 31824 [startup+1422.31 s] /proc/loadavg: 2.10 2.03 1.57 3/179 2339 /proc/meminfo: memFree=28606868/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=32848 CPUtime=1422.07 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7543 0 0 0 141351 856 0 0 20 0 1 0 329278106 33636352 7460 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8212 7460 475 1171 0 6989 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 32848 [startup+1482.3 s] /proc/loadavg: 2.13 2.05 1.60 3/180 2342 /proc/meminfo: memFree=28606452/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=32848 CPUtime=1482.06 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 7543 0 0 0 147314 892 0 0 20 0 1 0 329278106 33636352 7460 33554432000 4194304 8989770 140734342096928 140734342094912 4426168 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8212 7460 475 1171 0 6989 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 32848 [startup+1542.3 s] /proc/loadavg: 2.12 2.06 1.63 3/179 2342 /proc/meminfo: memFree=28604348/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=34896 CPUtime=1542.05 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 8055 0 0 0 153277 928 0 0 20 0 1 0 329278106 35733504 7972 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8724 7972 475 1171 0 7501 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 34896 [startup+1602.3 s] /proc/loadavg: 2.04 2.05 1.65 3/179 2342 /proc/meminfo: memFree=28604100/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=34896 CPUtime=1602.05 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 8055 0 0 0 159239 966 0 0 20 0 1 0 329278106 35733504 7972 33554432000 4194304 8989770 140734342096928 140734342096424 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8724 7972 475 1171 0 7501 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 34896 [startup+1662.3 s] /proc/loadavg: 2.08 2.06 1.68 3/179 2342 /proc/meminfo: memFree=28603108/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=35920 CPUtime=1662.04 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 8311 0 0 0 165203 1001 0 0 20 0 1 0 329278106 36782080 8228 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8980 8228 475 1171 0 7757 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 35920 [startup+1722.3 s] /proc/loadavg: 2.03 2.04 1.69 3/179 2343 /proc/meminfo: memFree=28603232/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=35920 CPUtime=1722.03 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 8311 0 0 0 171166 1037 0 0 20 0 1 0 329278106 36782080 8228 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8980 8228 475 1171 0 7757 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 35920 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 1.71 3/180 2344 /proc/meminfo: memFree=28602724/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=35920 CPUtime=1782.01 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 8313 0 0 0 177131 1070 0 0 20 0 1 0 329278106 36782080 8228 33554432000 4194304 8989770 140734342096928 140734342096424 4425384 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8980 8228 475 1171 0 7757 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 35920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.03 1.72 3/180 2344 /proc/meminfo: memFree=28602848/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=35920 CPUtime=1800.01 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 8313 0 0 0 178921 1080 0 0 20 0 1 0 329278106 36782080 8228 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8980 8228 475 1171 0 7757 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 35920 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.03 1.72 3/180 2344 /proc/meminfo: memFree=28602848/32873844 swapFree=7380/7380 [pid=2289] ppid=2287 vsize=35920 CPUtime=1800.01 cores=0,2,4,6 /proc/2289/stat : 2289 (toysat) R 2287 2289 2131 0 -1 4202496 8313 0 0 0 178921 1080 0 0 20 0 1 0 329278106 36782080 8228 33554432000 4194304 8989770 140734342096928 140734342096424 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/2289/statm: 8980 8228 475 1171 0 7757 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 35920 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1789.22 CPU system time (s): 10.8084 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 35920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.22 system time used= 10.8084 maximum resident set size= 32912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8313 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= 9 involuntary context switches= 2510 runsolver used 3.42148 second user time and 8.99563 second system time The end
Begin job on node133 at 2012-06-02 12:05:33 IDJOB=3724978 IDBENCH=1856 IDSOLVER=2308 FILE ID=node133/3724978-1338631533 RUNJOBID= node133-1338631508-2147 PBS_JOBID= 14636447 Free space on /tmp= 70468 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724978-1338631533/watcher-3724978-1338631533 -o /tmp/evaluation-result-3724978-1338631533/solver-3724978-1338631533 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724978-1338631533.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED=649166513 node133.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.540 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 : 5333.08 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.540 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.92 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.540 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.540 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.540 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.540 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.90 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.540 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.540 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: 28815868 kB Buffers: 345356 kB Cached: 2656088 kB SwapCached: 676 kB Active: 1503084 kB Inactive: 1683196 kB Active(anon): 176216 kB Inactive(anon): 10240 kB Active(file): 1326868 kB Inactive(file): 1672956 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108856 kB SwapFree: 67107040 kB Dirty: 23108 kB Writeback: 0 kB AnonPages: 190756 kB Mapped: 12056 kB Shmem: 0 kB Slab: 732804 kB SReclaimable: 174224 kB SUnreclaim: 558580 kB KernelStack: 1448 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 299756 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 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= 70472 MiB End job on node133 at 2012-06-02 12:35:35