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/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
MD5SUM | a65a3b6248e07fcc15fb8d2bec9ac9bd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 186 |
Best CPU time to get the best result obtained on this benchmark | 1789.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 182 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 470 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 470 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 470 |
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 | 470 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 470 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04/0.04 c 2012-05-27T11:58:18+0200 0.04/0.04 c arch = x86_64 0.04/0.04 c os = linux 0.04/0.04 c compiler = ghc 7.4 0.04/0.04 c packages: 0.04/0.04 c OptDir-0.0.1 0.04/0.04 c array-0.4.0.0 0.04/0.04 c base-4.5.0.0 0.04/0.04 c bytestring-0.9.2.1 0.04/0.04 c containers-0.4.2.1 0.04/0.04 c deepseq-1.3.0.0 0.04/0.04 c mtl-2.1.1 0.04/0.04 c old_locale-1.0.0.4 0.04/0.04 c parse_dimacs-1.2 0.04/0.04 c parsec-3.1.2 0.04/0.04 c queue-0.1.2 0.04/0.04 c stm-2.3 0.04/0.04 c time-1.4 0.04/0.04 c command line = ["--pb","HOME/instance-3706730-1338112697.opb"] 0.04/0.04 c #vars 470 0.04/0.04 c #constraints 470 0.04/0.04 c Solving starts ... 0.04/0.05 c solving time = 0.002s 0.04/0.05 c #decision = 247 0.04/0.05 c #conflict = 0 0.04/0.05 c #restart = 0 0.04/0.05 o 223 0.04/0.05 c Solving starts ... 0.79/0.86 c learnt constraints deletion: 472 -> 236 1.59/1.68 c learnt constraints deletion: 573 -> 287 2.59/2.62 c learnt constraints deletion: 691 -> 354 3.59/3.62 c learnt constraints deletion: 741 -> 376 4.49/4.51 c learnt constraints deletion: 740 -> 374 5.49/5.56 c learnt constraints deletion: 797 -> 411 6.39/6.49 c learnt constraints deletion: 787 -> 399 7.38/7.49 c learnt constraints deletion: 792 -> 401 8.49/8.59 c learnt constraints deletion: 851 -> 432 9.49/9.56 c learnt constraints deletion: 835 -> 420 10.59/10.65 c learnt constraints deletion: 843 -> 427 11.69/11.70 c learnt constraints deletion: 842 -> 424 12.79/12.86 c learnt constraints deletion: 905 -> 459 13.88/13.99 c learnt constraints deletion: 905 -> 461 15.09/15.10 c learnt constraints deletion: 906 -> 456 16.28/16.34 c learnt constraints deletion: 902 -> 457 17.29/17.39 c learnt constraints deletion: 909 -> 464 18.29/18.32 c learnt constraints deletion: 844 -> 422 19.48/19.54 c learnt constraints deletion: 979 -> 495 20.58/20.65 c learnt constraints deletion: 977 -> 492 21.89/21.95 c learnt constraints deletion: 975 -> 492 23.09/23.19 c learnt constraints deletion: 979 -> 501 24.28/24.37 c learnt constraints deletion: 975 -> 494 25.48/25.57 c learnt constraints deletion: 979 -> 498 26.78/26.88 c learnt constraints deletion: 972 -> 491 27.88/27.95 c learnt constraints deletion: 903 -> 452 29.29/29.32 c learnt constraints deletion: 1048 -> 528 30.38/30.42 c learnt constraints deletion: 1048 -> 530 31.59/31.68 c learnt constraints deletion: 1051 -> 530 32.78/32.86 c learnt constraints deletion: 1055 -> 535 33.88/33.90 c learnt constraints deletion: 1054 -> 537 34.88/34.97 c learnt constraints deletion: 1050 -> 533 36.18/36.21 c learnt constraints deletion: 1051 -> 532 37.39/37.49 c learnt constraints deletion: 1056 -> 536 38.59/38.68 c learnt constraints deletion: 1050 -> 528 39.98/40.08 c learnt constraints deletion: 1054 -> 535 41.18/41.26 c learnt constraints deletion: 1041 -> 521 42.48/42.58 c learnt constraints deletion: 1133 -> 574 43.68/43.78 c learnt constraints deletion: 1137 -> 574 45.08/45.14 c learnt constraints deletion: 1128 -> 569 46.48/46.50 c learnt constraints deletion: 1135 -> 573 47.78/47.88 c learnt constraints deletion: 1143 -> 590 48.98/49.06 c learnt constraints deletion: 1132 -> 570 50.08/50.18 c learnt constraints deletion: 1137 -> 576 51.38/51.45 c learnt constraints deletion: 1141 -> 586 52.48/52.54 c learnt constraints deletion: 1133 -> 575 53.79/53.88 c learnt constraints deletion: 1140 -> 579 55.07/55.10 c learnt constraints deletion: 1138 -> 578 56.28/56.31 c learnt constraints deletion: 1141 -> 578 57.57/57.61 c learnt constraints deletion: 1137 -> 580 58.68/58.76 c learnt constraints deletion: 1127 -> 568 59.87/59.99 c learnt constraints deletion: 1131 -> 570 61.38/61.45 c learnt constraints deletion: 1226 -> 622 62.78/62.84 c learnt constraints deletion: 1230 -> 627 64.18/64.22 c learnt constraints deletion: 1227 -> 625 65.47/65.59 c learnt constraints deletion: 1227 -> 626 66.98/67.03 c learnt constraints deletion: 1230 -> 621 68.18/68.23 c learnt constraints deletion: 1225 -> 620 69.58/69.65 c learnt constraints deletion: 1227 -> 623 70.97/71.06 c learnt constraints deletion: 1234 -> 629 72.28/72.33 c learnt constraints deletion: 1227 -> 625 73.58/73.68 c learnt constraints deletion: 1223 -> 616 74.98/75.09 c learnt constraints deletion: 1225 -> 622 76.47/76.54 c learnt constraints deletion: 1230 -> 626 77.88/77.99 c learnt constraints deletion: 1221 -> 615 79.37/79.45 c learnt constraints deletion: 1223 -> 619 80.87/80.91 c learnt constraints deletion: 1232 -> 629 82.27/82.30 c learnt constraints deletion: 1223 -> 617 83.68/83.71 c learnt constraints deletion: 1219 -> 614 85.07/85.11 c learnt constraints deletion: 1227 -> 626 86.37/86.45 c learnt constraints deletion: 1223 -> 618 87.88/87.91 c learnt constraints deletion: 1225 -> 623 89.27/89.34 c learnt constraints deletion: 1228 -> 623 90.37/90.47 c learnt constraints deletion: 1128 -> 564 92.17/92.27 c learnt constraints deletion: 1325 -> 670 93.77/93.87 c learnt constraints deletion: 1325 -> 670 95.37/95.48 c learnt constraints deletion: 1332 -> 676 96.97/97.05 c learnt constraints deletion: 1325 -> 666 98.48/98.58 c learnt constraints deletion: 1319 -> 664 100.27/100.30 c learnt constraints deletion: 1327 -> 668 101.77/101.81 c learnt constraints deletion: 1323 -> 667 103.28/103.39 c learnt constraints deletion: 1324 -> 666 104.87/104.98 c learnt constraints deletion: 1335 -> 679 106.37/106.46 c learnt constraints deletion: 1329 -> 671 107.97/108.01 c learnt constraints deletion: 1329 -> 676 109.47/109.59 c learnt constraints deletion: 1330 -> 673 111.08/111.13 c learnt constraints deletion: 1323 -> 665 112.47/112.51 c learnt constraints deletion: 1320 -> 663 113.97/114.04 c learnt constraints deletion: 1325 -> 672 115.47/115.55 c learnt constraints deletion: 1326 -> 670 117.07/117.14 c learnt constraints deletion: 1329 -> 673 118.56/118.67 c learnt constraints deletion: 1328 -> 676 120.06/120.18 c learnt constraints deletion: 1322 -> 664 121.57/121.69 c learnt constraints deletion: 1331 -> 677 123.08/123.19 c learnt constraints deletion: 1321 -> 667 124.57/124.63 c learnt constraints deletion: 1322 -> 664 126.06/126.12 c learnt constraints deletion: 1325 -> 671 127.57/127.65 c learnt constraints deletion: 1324 -> 670 129.07/129.19 c learnt constraints deletion: 1330 -> 673 130.66/130.71 c learnt constraints deletion: 1328 -> 673 132.16/132.25 c learnt constraints deletion: 1331 -> 675 133.67/133.79 c learnt constraints deletion: 1325 -> 670 135.36/135.43 c learnt constraints deletion: 1328 -> 670 136.86/136.90 c solving time = 136.824s 136.86/136.90 c #decision = 125853 136.86/136.90 c #conflict = 58578 136.86/136.90 c #restart = 14 136.86/136.90 o 222 136.86/136.90 c Solving starts ... 136.86/136.91 c learnt constraints deletion: 1287 -> 644 136.86/136.91 c learnt constraints deletion: 644 -> 322 136.86/136.91 c learnt constraints deletion: 322 -> 161 137.37/137.48 c learnt constraints deletion: 409 -> 205 137.96/138.00 c learnt constraints deletion: 429 -> 215 138.67/138.72 c learnt constraints deletion: 552 -> 276 139.57/139.61 c learnt constraints deletion: 694 -> 354 140.36/140.48 c learnt constraints deletion: 736 -> 373 141.16/141.28 c learnt constraints deletion: 731 -> 368 142.27/142.30 c learnt constraints deletion: 787 -> 399 143.16/143.21 c learnt constraints deletion: 787 -> 400 143.97/144.03 c learnt constraints deletion: 791 -> 401 145.07/145.16 c learnt constraints deletion: 846 -> 432 146.07/146.14 c learnt constraints deletion: 845 -> 429 146.96/147.06 c learnt constraints deletion: 850 -> 436 147.86/147.97 c learnt constraints deletion: 851 -> 437 149.06/149.11 c learnt constraints deletion: 907 -> 461 150.06/150.15 c learnt constraints deletion: 913 -> 465 151.06/151.17 c learnt constraints deletion: 911 -> 467 152.17/152.22 c learnt constraints deletion: 909 -> 461 153.16/153.25 c learnt constraints deletion: 909 -> 465 154.06/154.15 c learnt constraints deletion: 845 -> 423 155.26/155.35 c learnt constraints deletion: 975 -> 490 156.26/156.37 c learnt constraints deletion: 980 -> 500 157.56/157.61 c learnt constraints deletion: 983 -> 496 158.86/158.92 c learnt constraints deletion: 985 -> 500 160.06/160.15 c learnt constraints deletion: 985 -> 501 161.16/161.22 c learnt constraints deletion: 980 -> 498 162.36/162.47 c learnt constraints deletion: 986 -> 505 163.26/163.39 c learnt constraints deletion: 893 -> 447 164.76/164.86 c learnt constraints deletion: 1056 -> 531 165.96/166.06 c learnt constraints deletion: 1055 -> 536 167.17/167.29 c learnt constraints deletion: 1044 -> 524 168.36/168.49 c learnt constraints deletion: 1052 -> 531 169.56/169.63 c learnt constraints deletion: 1058 -> 537 170.76/170.89 c learnt constraints deletion: 1051 -> 530 172.16/172.24 c learnt constraints deletion: 1058 -> 540 173.45/173.53 c learnt constraints deletion: 1059 -> 542 174.66/174.77 c learnt constraints deletion: 1059 -> 543 175.87/175.91 c learnt constraints deletion: 1049 -> 530 176.96/177.07 c learnt constraints deletion: 1032 -> 516 178.55/178.69 c learnt constraints deletion: 1137 -> 578 179.86/179.91 c learnt constraints deletion: 1135 -> 571 181.16/181.21 c learnt constraints deletion: 1139 -> 578 182.46/182.52 c learnt constraints deletion: 1138 -> 575 183.75/183.86 c learnt constraints deletion: 1138 -> 577 185.06/185.19 c learnt constraints deletion: 1140 -> 580 186.56/186.67 c learnt constraints deletion: 1135 -> 571 187.75/187.84 c learnt constraints deletion: 1135 -> 573 188.86/188.93 c learnt constraints deletion: 1130 -> 569 190.06/190.10 c learnt constraints deletion: 1136 -> 573 191.15/191.29 c learnt constraints deletion: 1139 -> 581 192.36/192.47 c learnt constraints deletion: 1131 -> 571 193.65/193.76 c learnt constraints deletion: 1137 -> 577 194.85/194.99 c learnt constraints deletion: 1133 -> 573 196.06/196.16 c learnt constraints deletion: 1136 -> 574 197.65/197.72 c learnt constraints deletion: 1228 -> 623 199.16/199.26 c learnt constraints deletion: 1228 -> 617 200.55/200.60 c learnt constraints deletion: 1226 -> 622 201.96/202.05 c learnt constraints deletion: 1228 -> 617 203.46/203.51 c learnt constraints deletion: 1231 -> 625 204.85/204.91 c learnt constraints deletion: 1223 -> 616 206.35/206.44 c learnt constraints deletion: 1234 -> 627 207.86/207.92 c learnt constraints deletion: 1225 -> 621 209.25/209.39 c learnt constraints deletion: 1229 -> 625 210.65/210.74 c learnt constraints deletion: 1221 -> 616 212.05/212.13 c learnt constraints deletion: 1226 -> 620 213.55/213.66 c learnt constraints deletion: 1230 -> 621 214.95/215.05 c learnt constraints deletion: 1230 -> 624 216.45/216.54 c learnt constraints deletion: 1231 -> 626 217.95/218.02 c learnt constraints deletion: 1227 -> 621 219.35/219.43 c learnt constraints deletion: 1229 -> 622 220.75/220.80 c learnt constraints deletion: 1226 -> 619 222.15/222.21 c learnt constraints deletion: 1225 -> 619 223.55/223.63 c learnt constraints deletion: 1225 -> 620 224.85/224.98 c learnt constraints deletion: 1231 -> 624 226.25/226.35 c learnt constraints deletion: 1229 -> 622 227.85/227.94 c learnt constraints deletion: 1330 -> 673 229.35/229.42 c learnt constraints deletion: 1318 -> 661 230.75/230.87 c learnt constraints deletion: 1326 -> 668 232.34/232.42 c learnt constraints deletion: 1320 -> 662 233.85/233.99 c learnt constraints deletion: 1328 -> 668 235.45/235.52 c learnt constraints deletion: 1324 -> 666 236.95/237.06 c learnt constraints deletion: 1327 -> 667 238.34/238.44 c learnt constraints deletion: 1332 -> 672 239.94/240.04 c learnt constraints deletion: 1327 -> 668 241.44/241.56 c learnt constraints deletion: 1328 -> 671 242.95/243.02 c learnt constraints deletion: 1328 -> 671 244.35/244.45 c learnt constraints deletion: 1328 -> 670 245.94/246.03 c learnt constraints deletion: 1330 -> 671 247.45/247.59 c learnt constraints deletion: 1328 -> 672 248.85/248.90 c learnt constraints deletion: 1321 -> 662 250.25/250.36 c learnt constraints deletion: 1327 -> 673 251.76/251.85 c learnt constraints deletion: 1330 -> 674 253.24/253.37 c learnt constraints deletion: 1331 -> 672 254.85/254.93 c learnt constraints deletion: 1323 -> 667 256.05/256.19 c learnt constraints deletion: 1328 -> 669 257.64/257.72 c learnt constraints deletion: 1327 -> 670 258.94/259.09 c learnt constraints deletion: 1323 -> 668 260.45/260.57 c learnt constraints deletion: 1330 -> 670 261.94/262.07 c learnt constraints deletion: 1327 -> 671 263.45/263.56 c learnt constraints deletion: 1331 -> 676 264.84/264.94 c learnt constraints deletion: 1329 -> 673 266.34/266.40 c learnt constraints deletion: 1334 -> 672 267.65/267.72 c learnt constraints deletion: 1328 -> 669 269.04/269.16 c learnt constraints deletion: 1330 -> 675 270.74/270.89 c learnt constraints deletion: 1441 -> 728 272.24/272.33 c learnt constraints deletion: 1437 -> 721 273.75/273.86 c learnt constraints deletion: 1435 -> 721 275.34/275.49 c learnt constraints deletion: 1443 -> 724 276.84/276.95 c learnt constraints deletion: 1439 -> 725 278.44/278.58 c learnt constraints deletion: 1434 -> 719 280.14/280.21 c learnt constraints deletion: 1437 -> 726 281.74/281.88 c learnt constraints deletion: 1438 -> 723 283.53/283.63 c learnt constraints deletion: 1443 -> 727 285.14/285.27 c learnt constraints deletion: 1433 -> 718 286.84/286.95 c learnt constraints deletion: 1440 -> 725 288.34/288.46 c learnt constraints deletion: 1438 -> 723 289.74/289.85 c learnt constraints deletion: 1440 -> 727 291.24/291.35 c learnt constraints deletion: 1442 -> 728 292.74/292.84 c learnt constraints deletion: 1436 -> 723 294.24/294.39 c learnt constraints deletion: 1432 -> 721 295.64/295.80 c learnt constraints deletion: 1441 -> 730 297.23/297.32 c learnt constraints deletion: 1445 -> 735 298.83/298.91 c learnt constraints deletion: 1444 -> 730 300.43/300.53 c learnt constraints deletion: 1448 -> 731 302.03/302.12 c learnt constraints deletion: 1446 -> 732 303.63/303.74 c learnt constraints deletion: 1437 -> 724 305.04/305.15 c learnt constraints deletion: 1432 -> 719 306.53/306.68 c learnt constraints deletion: 1431 -> 720 308.14/308.28 c learnt constraints deletion: 1442 -> 727 309.83/309.90 c learnt constraints deletion: 1439 -> 726 311.34/311.46 c learnt constraints deletion: 1447 -> 734 312.93/313.05 c learnt constraints deletion: 1439 -> 725 314.63/314.75 c learnt constraints deletion: 1443 -> 732 316.44/316.52 c learnt constraints deletion: 1442 -> 729 318.03/318.14 c learnt constraints deletion: 1442 -> 727 319.54/319.63 c learnt constraints deletion: 1436 -> 727 321.23/321.40 c learnt constraints deletion: 1439 -> 726 323.04/323.10 c learnt constraints deletion: 1442 -> 729 324.63/324.75 c learnt constraints deletion: 1442 -> 730 326.24/326.34 c learnt constraints deletion: 1445 -> 735 327.83/327.93 c learnt constraints deletion: 1442 -> 732 329.33/329.45 c learnt constraints deletion: 1443 -> 730 331.03/331.18 c learnt constraints deletion: 1440 -> 728 332.63/332.77 c learnt constraints deletion: 1438 -> 727 334.43/334.59 c learnt constraints deletion: 1444 -> 733 336.34/336.47 c learnt constraints deletion: 1535 -> 768 338.23/338.36 c learnt constraints deletion: 1559 -> 783 339.93/340.02 c learnt constraints deletion: 1559 -> 781 341.63/341.70 c learnt constraints deletion: 1558 -> 781 343.33/343.45 c learnt constraints deletion: 1556 -> 781 345.03/345.16 c learnt constraints deletion: 1566 -> 788 346.83/346.90 c learnt constraints deletion: 1561 -> 785 348.53/348.63 c learnt constraints deletion: 1561 -> 786 350.13/350.29 c learnt constraints deletion: 1559 -> 784 351.94/352.00 c learnt constraints deletion: 1565 -> 787 353.53/353.66 c learnt constraints deletion: 1556 -> 782 355.14/355.25 c learnt constraints deletion: 1555 -> 783 356.82/356.95 c learnt constraints deletion: 1555 -> 783 358.43/358.59 c learnt constraints deletion: 1556 -> 779 360.13/360.26 c learnt constraints deletion: 1557 -> 782 361.74/361.90 c learnt constraints deletion: 1557 -> 782 363.42/363.58 c learnt constraints deletion: 1557 -> 781 365.23/365.33 c learnt constraints deletion: 1560 -> 785 367.02/367.16 c learnt constraints deletion: 1559 -> 783 368.83/368.95 c learnt constraints deletion: 1561 -> 784 370.72/370.83 c learnt constraints deletion: 1564 -> 786 372.42/372.56 c learnt constraints deletion: 1557 -> 784 374.22/374.38 c learnt constraints deletion: 1557 -> 782 376.13/376.23 c learnt constraints deletion: 1561 -> 786 377.93/378.02 c learnt constraints deletion: 1555 -> 782 379.63/379.78 c learnt constraints deletion: 1556 -> 783 381.53/381.62 c learnt constraints deletion: 1564 -> 784 383.12/383.25 c learnt constraints deletion: 1552 -> 780 385.02/385.17 c learnt constraints deletion: 1560 -> 785 386.93/387.09 c learnt constraints deletion: 1557 -> 781 388.73/388.89 c learnt constraints deletion: 1562 -> 785 390.62/390.76 c learnt constraints deletion: 1560 -> 787 392.53/392.61 c learnt constraints deletion: 1569 -> 790 394.42/394.56 c learnt constraints deletion: 1564 -> 789 396.42/396.53 c learnt constraints deletion: 1558 -> 783 398.32/398.48 c learnt constraints deletion: 1563 -> 788 400.33/400.41 c learnt constraints deletion: 1558 -> 784 402.22/402.37 c learnt constraints deletion: 1567 -> 794 403.71/403.81 c learnt constraints deletion: 1553 -> 778 405.32/405.41 c learnt constraints deletion: 1561 -> 783 406.83/406.97 c learnt constraints deletion: 1562 -> 785 408.32/408.48 c learnt constraints deletion: 1560 -> 784 410.01/410.12 c learnt constraints deletion: 1561 -> 784 411.62/411.74 c learnt constraints deletion: 1559 -> 785 413.11/413.27 c learnt constraints deletion: 1562 -> 784 414.72/414.88 c learnt constraints deletion: 1558 -> 786 416.42/416.50 c learnt constraints deletion: 1566 -> 786 418.01/418.11 c learnt constraints deletion: 1558 -> 782 419.82/419.92 c learnt constraints deletion: 1559 -> 784 421.52/421.67 c learnt constraints deletion: 1559 -> 786 423.11/423.28 c learnt constraints deletion: 1564 -> 786 424.71/424.89 c learnt constraints deletion: 1555 -> 782 426.32/426.42 c learnt constraints deletion: 1559 -> 785 428.02/428.11 c learnt constraints deletion: 1559 -> 787 429.41/429.58 c learnt constraints deletion: 1560 -> 785 430.91/431.04 c learnt constraints deletion: 1555 -> 784 432.72/432.87 c learnt constraints deletion: 1700 -> 858 434.42/434.57 c learnt constraints deletion: 1687 -> 845 436.12/436.23 c learnt constraints deletion: 1691 -> 847 437.81/437.92 c learnt constraints deletion: 1691 -> 849 439.42/439.52 c learnt constraints deletion: 1693 -> 850 441.02/441.19 c learnt constraints deletion: 1692 -> 848 442.61/442.80 c learnt constraints deletion: 1686 -> 846 444.41/444.56 c learnt constraints deletion: 1693 -> 852 446.11/446.27 c learnt constraints deletion: 1689 -> 849 447.81/447.98 c learnt constraints deletion: 1689 -> 848 449.51/449.63 c learnt constraints deletion: 1697 -> 854 451.11/451.24 c learnt constraints deletion: 1698 -> 855 452.81/452.92 c learnt constraints deletion: 1692 -> 851 454.51/454.65 c learnt constraints deletion: 1694 -> 854 456.21/456.30 c learnt constraints deletion: 1692 -> 849 457.81/457.92 c learnt constraints deletion: 1690 -> 848 459.61/459.72 c learnt constraints deletion: 1695 -> 851 461.21/461.34 c learnt constraints deletion: 1694 -> 851 462.81/463.00 c learnt constraints deletion: 1694 -> 852 464.60/464.73 c learnt constraints deletion: 1691 -> 849 466.41/466.58 c learnt constraints deletion: 1694 -> 850 468.10/468.21 c learnt constraints deletion: 1696 -> 851 469.81/469.90 c learnt constraints deletion: 1692 -> 851 471.72/471.82 c learnt constraints deletion: 1701 -> 857 473.30/473.44 c learnt constraints deletion: 1697 -> 854 475.01/475.17 c learnt constraints deletion: 1696 -> 855 476.81/476.99 c learnt constraints deletion: 1696 -> 855 478.71/478.84 c learnt constraints deletion: 1691 -> 852 480.61/480.77 c learnt constraints deletion: 1692 -> 852 482.50/482.63 c learnt constraints deletion: 1689 -> 850 484.30/484.43 c learnt constraints deletion: 1687 -> 844 486.02/486.14 c learnt constraints deletion: 1687 -> 846 487.70/487.88 c learnt constraints deletion: 1694 -> 850 489.50/489.62 c learnt constraints deletion: 1679 -> 841 491.20/491.37 c learnt constraints deletion: 1691 -> 851 493.01/493.19 c learnt constraints deletion: 1694 -> 851 494.70/494.80 c learnt constraints deletion: 1691 -> 851 496.30/496.46 c learnt constraints deletion: 1693 -> 850 498.10/498.20 c learnt constraints deletion: 1693 -> 850 499.80/499.98 c learnt constraints deletion: 1690 -> 847 501.70/501.83 c learnt constraints deletion: 1689 -> 848 503.30/503.44 c learnt constraints deletion: 1690 -> 849 505.01/505.19 c learnt constraints deletion: 1698 -> 852 506.81/506.90 c learnt constraints deletion: 1696 -> 852 508.60/508.73 c learnt constraints deletion: 1695 -> 854 510.40/510.55 c learnt constraints deletion: 1694 -> 852 512.20/512.36 c learnt constraints deletion: 1695 -> 855 514.10/514.22 c learnt constraints deletion: 1693 -> 849 515.81/515.99 c learnt constraints deletion: 1687 -> 846 517.60/517.76 c learnt constraints deletion: 1690 -> 848 519.50/519.66 c learnt constraints deletion: 1690 -> 850 521.31/521.45 c learnt constraints deletion: 1692 -> 849 523.09/523.24 c learnt constraints deletion: 1693 -> 851 524.90/525.05 c learnt constraints deletion: 1695 -> 856 526.70/526.82 c learnt constraints deletion: 1696 -> 853 528.60/528.76 c learnt constraints deletion: 1696 -> 854 530.59/530.70 c learnt constraints deletion: 1698 -> 855 532.40/532.54 c learnt constraints deletion: 1697 -> 854 534.10/534.25 c learnt constraints deletion: 1697 -> 852 535.90/536.04 c learnt constraints deletion: 1696 -> 853 537.59/537.71 c learnt constraints deletion: 1691 -> 848 539.19/539.35 c learnt constraints deletion: 1689 -> 850 541.01/541.14 c learnt constraints deletion: 1692 -> 850 542.69/542.89 c learnt constraints deletion: 1693 -> 853 544.40/544.59 c learnt constraints deletion: 1686 -> 846 546.20/546.35 c learnt constraints deletion: 1695 -> 854 548.09/548.20 c learnt constraints deletion: 1691 -> 851 549.80/549.99 c learnt constraints deletion: 1692 -> 853 551.80/551.99 c learnt constraints deletion: 1694 -> 852 553.80/553.98 c learnt constraints deletion: 1692 -> 852 555.60/555.79 c learnt constraints deletion: 1690 -> 850 557.39/557.54 c learnt constraints deletion: 1694 -> 854 559.30/559.40 c learnt constraints deletion: 1696 -> 855 561.10/561.27 c learnt constraints deletion: 1700 -> 858 563.00/563.19 c learnt constraints deletion: 1702 -> 863 565.00/565.14 c learnt constraints deletion: 1699 -> 858 566.89/567.03 c learnt constraints deletion: 1696 -> 858 568.69/568.80 c learnt constraints deletion: 1692 -> 849 570.89/571.02 c learnt constraints deletion: 1835 -> 920 572.60/572.76 c learnt constraints deletion: 1837 -> 921 574.40/574.56 c learnt constraints deletion: 1838 -> 923 576.09/576.27 c learnt constraints deletion: 1837 -> 921 577.89/578.09 c learnt constraints deletion: 1837 -> 921 579.69/579.84 c learnt constraints deletion: 1840 -> 922 581.49/581.62 c learnt constraints deletion: 1837 -> 924 583.39/583.51 c learnt constraints deletion: 1836 -> 920 585.10/585.28 c learnt constraints deletion: 1839 -> 923 586.89/587.01 c learnt constraints deletion: 1842 -> 925 588.69/588.82 c learnt constraints deletion: 1838 -> 919 590.38/590.58 c learnt constraints deletion: 1835 -> 920 592.19/592.30 c learnt constraints deletion: 1837 -> 921 593.99/594.13 c learnt constraints deletion: 1837 -> 921 596.00/596.16 c learnt constraints deletion: 1839 -> 923 597.79/597.91 c learnt constraints deletion: 1844 -> 927 599.49/599.64 c learnt constraints deletion: 1838 -> 922 601.29/601.44 c learnt constraints deletion: 1836 -> 921 602.89/603.05 c learnt constraints deletion: 1839 -> 922 604.59/604.77 c learnt constraints deletion: 1840 -> 924 606.49/606.60 c learnt constraints deletion: 1840 -> 923 608.09/608.28 c learnt constraints deletion: 1839 -> 923 609.98/610.17 c learnt constraints deletion: 1844 -> 927 611.88/612.07 c learnt constraints deletion: 1846 -> 930 613.70/613.85 c learnt constraints deletion: 1838 -> 923 615.48/615.65 c learnt constraints deletion: 1844 -> 927 617.28/617.43 c learnt constraints deletion: 1834 -> 920 619.19/619.35 c learnt constraints deletion: 1840 -> 926 621.18/621.31 c learnt constraints deletion: 1839 -> 925 623.18/623.33 c learnt constraints deletion: 1840 -> 925 625.28/625.46 c learnt constraints deletion: 1840 -> 927 627.28/627.49 c learnt constraints deletion: 1842 -> 926 629.38/629.55 c learnt constraints deletion: 1844 -> 927 631.48/631.64 c learnt constraints deletion: 1840 -> 925 633.58/633.76 c learnt constraints deletion: 1841 -> 927 635.68/635.86 c learnt constraints deletion: 1841 -> 927 637.58/637.78 c learnt constraints deletion: 1838 -> 923 639.68/639.83 c learnt constraints deletion: 1839 -> 925 641.68/641.84 c learnt constraints deletion: 1841 -> 925 643.68/643.88 c learnt constraints deletion: 1846 -> 928 645.78/645.94 c learnt constraints deletion: 1846 -> 929 647.78/647.91 c learnt constraints deletion: 1842 -> 926 649.88/650.03 c learnt constraints deletion: 1839 -> 924 651.78/651.94 c learnt constraints deletion: 1839 -> 923 653.78/653.93 c learnt constraints deletion: 1841 -> 924 655.77/655.95 c learnt constraints deletion: 1840 -> 924 657.68/657.82 c learnt constraints deletion: 1840 -> 925 659.48/659.62 c learnt constraints deletion: 1840 -> 925 661.27/661.46 c learnt constraints deletion: 1843 -> 929 663.27/663.49 c learnt constraints deletion: 1841 -> 926 665.39/665.55 c learnt constraints deletion: 1847 -> 931 667.37/667.50 c learnt constraints deletion: 1839 -> 923 669.48/669.60 c learnt constraints deletion: 1846 -> 927 671.48/671.69 c learnt constraints deletion: 1844 -> 926 673.47/673.65 c learnt constraints deletion: 1842 -> 926 675.47/675.65 c learnt constraints deletion: 1836 -> 923 677.48/677.65 c learnt constraints deletion: 1842 -> 925 679.48/679.66 c learnt constraints deletion: 1842 -> 927 681.47/681.62 c learnt constraints deletion: 1846 -> 929 683.38/683.53 c learnt constraints deletion: 1842 -> 927 685.27/685.47 c learnt constraints deletion: 1842 -> 927 687.07/687.28 c learnt constraints deletion: 1844 -> 928 689.08/689.23 c learnt constraints deletion: 1843 -> 926 691.08/691.25 c learnt constraints deletion: 1839 -> 922 692.78/693.00 c learnt constraints deletion: 1841 -> 924 694.57/694.78 c learnt constraints deletion: 1840 -> 924 696.37/696.58 c learnt constraints deletion: 1845 -> 927 698.17/698.34 c learnt constraints deletion: 1844 -> 928 699.97/700.15 c learnt constraints deletion: 1840 -> 924 701.77/701.96 c learnt constraints deletion: 1842 -> 926 703.77/703.91 c learnt constraints deletion: 1839 -> 927 705.57/705.73 c learnt constraints deletion: 1844 -> 927 707.27/707.49 c learnt constraints deletion: 1841 -> 927 709.17/709.33 c learnt constraints deletion: 1844 -> 930 711.07/711.26 c learnt constraints deletion: 1847 -> 929 712.97/713.13 c learnt constraints deletion: 1842 -> 927 714.97/715.10 c learnt constraints deletion: 1844 -> 927 716.98/717.18 c learnt constraints deletion: 1842 -> 926 719.17/719.31 c learnt constraints deletion: 1845 -> 930 721.07/721.24 c learnt constraints deletion: 1846 -> 929 723.07/723.21 c learnt constraints deletion: 1843 -> 928 724.87/725.04 c learnt constraints deletion: 1837 -> 926 726.77/726.93 c learnt constraints deletion: 1837 -> 926 728.67/728.85 c learnt constraints deletion: 1845 -> 929 730.76/730.92 c learnt constraints deletion: 1842 -> 929 732.87/733.01 c learnt constraints deletion: 1844 -> 929 734.97/735.11 c learnt constraints deletion: 1833 -> 922 736.97/737.19 c learnt constraints deletion: 1840 -> 926 739.07/739.27 c learnt constraints deletion: 1843 -> 929 741.17/741.39 c learnt constraints deletion: 1842 -> 928 743.26/743.44 c learnt constraints deletion: 1848 -> 930 745.36/745.59 c learnt constraints deletion: 1841 -> 929 747.46/747.66 c learnt constraints deletion: 1850 -> 934 749.17/749.33 c learnt constraints deletion: 1837 -> 924 750.76/750.97 c learnt constraints deletion: 1840 -> 925 752.57/752.75 c learnt constraints deletion: 1846 -> 929 754.67/754.81 c learnt constraints deletion: 1840 -> 926 756.67/756.81 c learnt constraints deletion: 1842 -> 928 758.57/758.73 c learnt constraints deletion: 1841 -> 926 760.36/760.59 c learnt constraints deletion: 1842 -> 927 762.56/762.75 c learnt constraints deletion: 1847 -> 932 764.46/764.67 c learnt constraints deletion: 1840 -> 922 766.36/766.50 c learnt constraints deletion: 1836 -> 920 768.16/768.33 c learnt constraints deletion: 1835 -> 919 769.96/770.17 c learnt constraints deletion: 1843 -> 924 771.76/771.99 c learnt constraints deletion: 1844 -> 927 773.76/773.91 c learnt constraints deletion: 1844 -> 925 776.05/776.27 c learnt constraints deletion: 2000 -> 1002 778.06/778.26 c learnt constraints deletion: 2001 -> 1004 780.16/780.30 c learnt constraints deletion: 1999 -> 1001 782.16/782.37 c learnt constraints deletion: 1998 -> 1001 784.17/784.36 c learnt constraints deletion: 1991 -> 997 786.06/786.28 c learnt constraints deletion: 1997 -> 1001 788.06/788.21 c learnt constraints deletion: 1994 -> 999 790.06/790.22 c learnt constraints deletion: 1997 -> 1001 792.15/792.35 c learnt constraints deletion: 2002 -> 1002 794.26/794.41 c learnt constraints deletion: 2000 -> 1002 796.46/796.61 c learnt constraints deletion: 2005 -> 1007 798.36/798.59 c learnt constraints deletion: 1999 -> 1003 800.56/800.71 c learnt constraints deletion: 2001 -> 1002 802.45/802.60 c learnt constraints deletion: 2000 -> 1002 804.35/804.52 c learnt constraints deletion: 1996 -> 1000 806.35/806.55 c learnt constraints deletion: 1997 -> 1003 808.45/808.62 c learnt constraints deletion: 2004 -> 1007 810.46/810.63 c learnt constraints deletion: 1993 -> 997 812.35/812.51 c learnt constraints deletion: 1996 -> 1000 814.25/814.42 c learnt constraints deletion: 1998 -> 1001 816.15/816.34 c learnt constraints deletion: 2002 -> 1002 818.16/818.31 c learnt constraints deletion: 2002 -> 1005 820.05/820.26 c learnt constraints deletion: 1999 -> 1002 821.95/822.14 c learnt constraints deletion: 2002 -> 1004 824.05/824.26 c learnt constraints deletion: 1999 -> 1005 826.15/826.36 c learnt constraints deletion: 1998 -> 1000 828.16/828.31 c learnt constraints deletion: 2000 -> 1003 830.26/830.45 c learnt constraints deletion: 2003 -> 1004 832.35/832.51 c learnt constraints deletion: 1999 -> 1003 834.35/834.56 c learnt constraints deletion: 2001 -> 1006 836.35/836.50 c learnt constraints deletion: 2001 -> 1004 838.35/838.50 c learnt constraints deletion: 2006 -> 1006 840.45/840.64 c learnt constraints deletion: 1997 -> 1000 842.35/842.57 c learnt constraints deletion: 1998 -> 1001 844.45/844.65 c learnt constraints deletion: 2001 -> 1003 846.25/846.47 c learnt constraints deletion: 2002 -> 1005 848.45/848.61 c learnt constraints deletion: 2009 -> 1010 850.55/850.73 c learnt constraints deletion: 2005 -> 1006 852.55/852.79 c learnt constraints deletion: 2003 -> 1006 854.85/855.01 c learnt constraints deletion: 2008 -> 1011 856.95/857.17 c learnt constraints deletion: 1996 -> 1001 859.05/859.21 c learnt constraints deletion: 2002 -> 1005 860.85/861.05 c learnt constraints deletion: 2005 -> 1006 862.94/863.15 c learnt constraints deletion: 2005 -> 1008 865.24/865.47 c learnt constraints deletion: 2004 -> 1006 867.24/867.49 c learnt constraints deletion: 2002 -> 1007 869.55/869.73 c learnt constraints deletion: 2005 -> 1009 871.84/872.01 c learnt constraints deletion: 1995 -> 1000 874.04/874.23 c learnt constraints deletion: 2001 -> 1006 876.14/876.39 c learnt constraints deletion: 2004 -> 1007 878.44/878.62 c learnt constraints deletion: 1998 -> 999 880.34/880.55 c learnt constraints deletion: 2007 -> 1007 882.44/882.62 c learnt constraints deletion: 2000 -> 1002 884.64/884.81 c learnt constraints deletion: 2001 -> 1003 886.54/886.77 c learnt constraints deletion: 1995 -> 999 888.44/888.70 c learnt constraints deletion: 1995 -> 1000 890.44/890.66 c learnt constraints deletion: 1998 -> 1003 892.44/892.65 c learnt constraints deletion: 2009 -> 1008 894.44/894.69 c learnt constraints deletion: 1998 -> 1004 896.54/896.74 c learnt constraints deletion: 2002 -> 1002 898.44/898.69 c learnt constraints deletion: 1999 -> 1003 900.24/900.46 c learnt constraints deletion: 1996 -> 1000 902.13/902.34 c learnt constraints deletion: 2003 -> 1006 904.13/904.34 c learnt constraints deletion: 1997 -> 1001 906.14/906.34 c learnt constraints deletion: 2000 -> 1005 908.14/908.35 c learnt constraints deletion: 2001 -> 1005 910.14/910.31 c learnt constraints deletion: 1998 -> 1000 911.94/912.10 c learnt constraints deletion: 1997 -> 1001 913.73/913.95 c learnt constraints deletion: 2004 -> 1006 915.73/915.97 c learnt constraints deletion: 2006 -> 1008 917.74/917.93 c learnt constraints deletion: 1999 -> 1003 919.84/920.00 c learnt constraints deletion: 1997 -> 1002 921.83/922.05 c learnt constraints deletion: 2003 -> 1007 923.93/924.12 c learnt constraints deletion: 2011 -> 1014 926.04/926.24 c learnt constraints deletion: 2009 -> 1013 928.03/928.22 c learnt constraints deletion: 1998 -> 1004 930.03/930.23 c learnt constraints deletion: 2007 -> 1008 932.03/932.24 c learnt constraints deletion: 2005 -> 1007 934.03/934.24 c learnt constraints deletion: 2006 -> 1008 936.03/936.30 c learnt constraints deletion: 1998 -> 1005 938.14/938.32 c learnt constraints deletion: 2008 -> 1008 940.13/940.38 c learnt constraints deletion: 2006 -> 1008 942.14/942.35 c learnt constraints deletion: 2004 -> 1008 944.23/944.46 c learnt constraints deletion: 2003 -> 1006 946.53/946.70 c learnt constraints deletion: 2005 -> 1010 948.43/948.67 c learnt constraints deletion: 2005 -> 1010 950.53/950.72 c learnt constraints deletion: 2006 -> 1010 952.53/952.71 c learnt constraints deletion: 1998 -> 1001 954.54/954.73 c learnt constraints deletion: 1996 -> 1002 956.53/956.70 c learnt constraints deletion: 2004 -> 1006 958.53/958.73 c learnt constraints deletion: 2004 -> 1008 960.43/960.65 c learnt constraints deletion: 2007 -> 1009 962.42/962.68 c learnt constraints deletion: 1997 -> 1003 964.33/964.58 c learnt constraints deletion: 2004 -> 1007 966.33/966.55 c learnt constraints deletion: 2003 -> 1007 968.33/968.58 c learnt constraints deletion: 2004 -> 1009 970.42/970.63 c learnt constraints deletion: 2007 -> 1009 972.42/972.65 c learnt constraints deletion: 2009 -> 1010 974.43/974.64 c learnt constraints deletion: 2004 -> 1009 976.32/976.58 c learnt constraints deletion: 2002 -> 1008 978.52/978.71 c learnt constraints deletion: 2004 -> 1011 980.42/980.65 c learnt constraints deletion: 1999 -> 1003 982.22/982.44 c learnt constraints deletion: 2002 -> 1004 984.12/984.37 c learnt constraints deletion: 2004 -> 1005 986.12/986.30 c learnt constraints deletion: 2002 -> 1004 988.12/988.37 c learnt constraints deletion: 2001 -> 1003 990.12/990.30 c learnt constraints deletion: 1999 -> 1004 991.93/992.19 c learnt constraints deletion: 2010 -> 1010 994.02/994.20 c learnt constraints deletion: 1999 -> 1004 996.02/996.23 c learnt constraints deletion: 1999 -> 1005 998.03/998.24 c learnt constraints deletion: 1996 -> 1001 1000.02/1000.28 c learnt constraints deletion: 2003 -> 1008 1002.12/1002.31 c learnt constraints deletion: 2005 -> 1009 1004.12/1004.38 c learnt constraints deletion: 2000 -> 1006 1006.22/1006.45 c learnt constraints deletion: 2003 -> 1009 1008.22/1008.47 c learnt constraints deletion: 2002 -> 1004 1010.13/1010.39 c learnt constraints deletion: 2002 -> 1006 1012.12/1012.30 c learnt constraints deletion: 2004 -> 1006 1013.93/1014.18 c learnt constraints deletion: 2001 -> 1003 1015.82/1016.00 c learnt constraints deletion: 1992 -> 999 1017.72/1017.93 c learnt constraints deletion: 1998 -> 1002 1019.72/1019.93 c learnt constraints deletion: 1997 -> 1003 1021.62/1021.89 c learnt constraints deletion: 2005 -> 1009 1023.72/1023.98 c learnt constraints deletion: 2004 -> 1010 1025.72/1025.95 c learnt constraints deletion: 2004 -> 1008 1027.62/1027.82 c learnt constraints deletion: 2002 -> 1005 1029.62/1029.84 c learnt constraints deletion: 2007 -> 1009 1031.62/1031.87 c learnt constraints deletion: 2005 -> 1008 1033.62/1033.87 c learnt constraints deletion: 2004 -> 1009 1035.71/1035.96 c learnt constraints deletion: 2007 -> 1011 1037.71/1037.99 c learnt constraints deletion: 2001 -> 1006 1039.81/1040.05 c learnt constraints deletion: 2005 -> 1008 1041.82/1042.04 c learnt constraints deletion: 2006 -> 1008 1043.92/1044.12 c learnt constraints deletion: 1999 -> 1004 1045.82/1046.05 c learnt constraints deletion: 1998 -> 1005 1047.91/1048.18 c learnt constraints deletion: 2004 -> 1008 1050.01/1050.22 c learnt constraints deletion: 2006 -> 1010 1052.11/1052.36 c learnt constraints deletion: 2012 -> 1015 1054.22/1054.44 c learnt constraints deletion: 2008 -> 1011 1056.31/1056.56 c learnt constraints deletion: 2000 -> 1007 1058.31/1058.52 c learnt constraints deletion: 2002 -> 1008 1060.31/1060.57 c learnt constraints deletion: 2011 -> 1014 1062.22/1062.40 c learnt constraints deletion: 2000 -> 1003 1064.12/1064.32 c learnt constraints deletion: 1994 -> 999 1066.11/1066.31 c learnt constraints deletion: 2002 -> 1005 1068.01/1068.24 c learnt constraints deletion: 1996 -> 1000 1070.11/1070.35 c learnt constraints deletion: 1998 -> 1002 1072.41/1072.66 c learnt constraints deletion: 2174 -> 1089 1074.61/1074.89 c learnt constraints deletion: 2176 -> 1090 1076.91/1077.12 c learnt constraints deletion: 2176 -> 1091 1079.31/1079.54 c learnt constraints deletion: 2183 -> 1099 1081.51/1081.75 c learnt constraints deletion: 2172 -> 1087 1083.91/1084.12 c learnt constraints deletion: 2184 -> 1095 1086.11/1086.37 c learnt constraints deletion: 2176 -> 1089 1088.31/1088.54 c learnt constraints deletion: 2176 -> 1090 1090.61/1090.85 c learnt constraints deletion: 2173 -> 1091 1092.91/1093.11 c learnt constraints deletion: 2179 -> 1091 1095.20/1095.49 c learnt constraints deletion: 2176 -> 1090 1097.70/1097.93 c learnt constraints deletion: 2182 -> 1095 1100.21/1100.49 c learnt constraints deletion: 2175 -> 1089 1102.60/1102.82 c learnt constraints deletion: 2175 -> 1091 1105.11/1105.40 c learnt constraints deletion: 2178 -> 1091 1107.71/1107.91 c learnt constraints deletion: 2182 -> 1095 1109.90/1110.11 c learnt constraints deletion: 2180 -> 1094 1112.01/1112.26 c learnt constraints deletion: 2181 -> 1096 1114.30/1114.58 c learnt constraints deletion: 2182 -> 1095 1116.50/1116.72 c learnt constraints deletion: 2182 -> 1096 1118.51/1118.72 c learnt constraints deletion: 2169 -> 1089 1120.71/1120.93 c learnt constraints deletion: 2182 -> 1095 1122.91/1123.15 c learnt constraints deletion: 2184 -> 1098 1125.30/1125.58 c learnt constraints deletion: 2181 -> 1097 1127.70/1127.95 c learnt constraints deletion: 2184 -> 1099 1130.10/1130.32 c learnt constraints deletion: 2184 -> 1094 1132.30/1132.57 c learnt constraints deletion: 2180 -> 1094 1134.49/1134.73 c learnt constraints deletion: 2176 -> 1092 1136.60/1136.87 c learnt constraints deletion: 2178 -> 1094 1138.79/1139.06 c learnt constraints deletion: 2179 -> 1095 1141.00/1141.29 c learnt constraints deletion: 2178 -> 1093 1143.20/1143.47 c learnt constraints deletion: 2186 -> 1098 1145.50/1145.75 c learnt constraints deletion: 2184 -> 1097 1147.90/1148.19 c learnt constraints deletion: 2178 -> 1092 1150.40/1150.65 c learnt constraints deletion: 2188 -> 1099 1152.80/1153.06 c learnt constraints deletion: 2179 -> 1096 1155.19/1155.46 c learnt constraints deletion: 2185 -> 1099 1157.49/1157.79 c learnt constraints deletion: 2183 -> 1096 1159.79/1160.05 c learnt constraints deletion: 2189 -> 1101 1162.00/1162.29 c learnt constraints deletion: 2185 -> 1099 1164.29/1164.55 c learnt constraints deletion: 2185 -> 1099 1166.60/1166.84 c learnt constraints deletion: 2185 -> 1100 1169.00/1169.23 c learnt constraints deletion: 2190 -> 1104 1171.30/1171.55 c learnt constraints deletion: 2182 -> 1098 1173.59/1173.89 c learnt constraints deletion: 2184 -> 1099 1175.99/1176.29 c learnt constraints deletion: 2187 -> 1103 1178.49/1178.71 c learnt constraints deletion: 2184 -> 1098 1180.59/1180.90 c learnt constraints deletion: 2179 -> 1091 1182.89/1183.11 c learnt constraints deletion: 2181 -> 1093 1184.99/1185.22 c learnt constraints deletion: 2182 -> 1093 1186.99/1187.21 c learnt constraints deletion: 2178 -> 1090 1189.39/1189.62 c learnt constraints deletion: 2181 -> 1094 1191.59/1191.87 c learnt constraints deletion: 2173 -> 1090 1193.99/1194.25 c learnt constraints deletion: 2182 -> 1096 1196.29/1196.58 c learnt constraints deletion: 2179 -> 1093 1198.59/1198.85 c learnt constraints deletion: 2179 -> 1093 1200.99/1201.21 c learnt constraints deletion: 2181 -> 1096 1203.29/1203.55 c learnt constraints deletion: 2172 -> 1089 1205.59/1205.86 c learnt constraints deletion: 2172 -> 1088 1207.69/1207.98 c learnt constraints deletion: 2181 -> 1095 1210.09/1210.31 c learnt constraints deletion: 2184 -> 1099 1212.09/1212.35 c learnt constraints deletion: 2179 -> 1093 1214.19/1214.46 c learnt constraints deletion: 2177 -> 1093 1216.29/1216.58 c learnt constraints deletion: 2182 -> 1097 1218.50/1218.79 c learnt constraints deletion: 2179 -> 1092 1220.48/1220.74 c learnt constraints deletion: 2176 -> 1091 1222.69/1222.92 c learnt constraints deletion: 2179 -> 1093 1224.79/1225.00 c learnt constraints deletion: 2183 -> 1097 1226.88/1227.16 c learnt constraints deletion: 2179 -> 1095 1229.08/1229.31 c learnt constraints deletion: 2181 -> 1093 1231.19/1231.46 c learnt constraints deletion: 2186 -> 1096 1233.29/1233.57 c learnt constraints deletion: 2181 -> 1094 1235.39/1235.63 c learnt constraints deletion: 2178 -> 1094 1237.69/1237.90 c learnt constraints deletion: 2186 -> 1096 1239.98/1240.21 c learnt constraints deletion: 2187 -> 1099 1242.09/1242.39 c learnt constraints deletion: 2182 -> 1096 1244.39/1244.68 c learnt constraints deletion: 2178 -> 1092 1246.58/1246.88 c learnt constraints deletion: 2180 -> 1096 1248.68/1248.98 c learnt constraints deletion: 2181 -> 1095 1251.08/1251.36 c learnt constraints deletion: 2188 -> 1100 1253.28/1253.54 c learnt constraints deletion: 2175 -> 1093 1255.57/1255.82 c learnt constraints deletion: 2183 -> 1097 1257.98/1258.27 c learnt constraints deletion: 2183 -> 1099 1260.18/1260.47 c learnt constraints deletion: 2183 -> 1100 1262.38/1262.69 c learnt constraints deletion: 2184 -> 1093 1264.58/1264.85 c learnt constraints deletion: 2177 -> 1090 1266.89/1267.12 c learnt constraints deletion: 2174 -> 1089 1269.18/1269.46 c learnt constraints deletion: 2175 -> 1089 1271.47/1271.76 c learnt constraints deletion: 2179 -> 1092 1273.78/1274.01 c learnt constraints deletion: 2183 -> 1095 1275.97/1276.22 c learnt constraints deletion: 2182 -> 1096 1278.17/1278.44 c learnt constraints deletion: 2183 -> 1098 1280.58/1280.88 c learnt constraints deletion: 2179 -> 1094 1283.08/1283.31 c learnt constraints deletion: 2185 -> 1097 1285.28/1285.57 c learnt constraints deletion: 2181 -> 1096 1287.58/1287.89 c learnt constraints deletion: 2184 -> 1098 1289.88/1290.19 c learnt constraints deletion: 2180 -> 1094 1292.28/1292.54 c learnt constraints deletion: 2181 -> 1096 1294.48/1294.79 c learnt constraints deletion: 2183 -> 1096 1296.98/1297.21 c learnt constraints deletion: 2183 -> 1097 1299.38/1299.67 c learnt constraints deletion: 2175 -> 1092 1301.77/1302.05 c learnt constraints deletion: 2182 -> 1098 1304.17/1304.45 c learnt constraints deletion: 2182 -> 1098 1306.48/1306.75 c learnt constraints deletion: 2180 -> 1093 1308.67/1308.95 c learnt constraints deletion: 2180 -> 1093 1311.07/1311.31 c learnt constraints deletion: 2178 -> 1092 1313.37/1313.69 c learnt constraints deletion: 2184 -> 1095 1315.77/1316.05 c learnt constraints deletion: 2184 -> 1098 1318.27/1318.53 c learnt constraints deletion: 2181 -> 1095 1320.77/1321.02 c learnt constraints deletion: 2180 -> 1094 1322.97/1323.27 c learnt constraints deletion: 2181 -> 1094 1325.27/1325.54 c learnt constraints deletion: 2181 -> 1095 1327.67/1327.95 c learnt constraints deletion: 2183 -> 1099 1330.07/1330.35 c learnt constraints deletion: 2177 -> 1092 1332.47/1332.70 c learnt constraints deletion: 2187 -> 1099 1334.56/1334.89 c learnt constraints deletion: 2180 -> 1093 1336.87/1337.12 c learnt constraints deletion: 2178 -> 1093 1339.17/1339.41 c learnt constraints deletion: 2178 -> 1093 1341.56/1341.84 c learnt constraints deletion: 2184 -> 1095 1343.97/1344.27 c learnt constraints deletion: 2176 -> 1093 1346.46/1346.70 c learnt constraints deletion: 2181 -> 1097 1348.76/1349.08 c learnt constraints deletion: 2184 -> 1097 1350.96/1351.28 c learnt constraints deletion: 2182 -> 1094 1353.37/1353.66 c learnt constraints deletion: 2183 -> 1096 1355.77/1356.01 c learnt constraints deletion: 2184 -> 1097 1357.97/1358.20 c learnt constraints deletion: 2182 -> 1095 1360.47/1360.74 c learnt constraints deletion: 2185 -> 1097 1363.06/1363.35 c learnt constraints deletion: 2179 -> 1097 1365.46/1365.78 c learnt constraints deletion: 2181 -> 1096 1367.96/1368.28 c learnt constraints deletion: 2183 -> 1098 1370.56/1370.89 c learnt constraints deletion: 2176 -> 1092 1373.07/1373.38 c learnt constraints deletion: 2187 -> 1101 1375.46/1375.71 c learnt constraints deletion: 2186 -> 1099 1377.97/1378.22 c learnt constraints deletion: 2182 -> 1097 1380.37/1380.66 c learnt constraints deletion: 2182 -> 1099 1382.76/1383.03 c learnt constraints deletion: 2185 -> 1100 1385.16/1385.47 c learnt constraints deletion: 2190 -> 1099 1387.46/1387.75 c learnt constraints deletion: 2174 -> 1092 1389.86/1390.17 c learnt constraints deletion: 2181 -> 1097 1392.27/1392.60 c learnt constraints deletion: 2185 -> 1099 1394.76/1395.06 c learnt constraints deletion: 2187 -> 1101 1397.16/1397.41 c learnt constraints deletion: 2188 -> 1099 1399.55/1399.86 c learnt constraints deletion: 2188 -> 1101 1401.85/1402.19 c learnt constraints deletion: 2187 -> 1102 1404.16/1404.40 c learnt constraints deletion: 2184 -> 1098 1406.46/1406.75 c learnt constraints deletion: 2182 -> 1099 1408.45/1408.74 c learnt constraints deletion: 2171 -> 1086 1410.46/1410.71 c learnt constraints deletion: 2184 -> 1094 1412.65/1412.92 c learnt constraints deletion: 2182 -> 1094 1414.85/1415.11 c learnt constraints deletion: 2182 -> 1093 1416.85/1417.13 c learnt constraints deletion: 2179 -> 1092 1419.06/1419.35 c learnt constraints deletion: 2180 -> 1093 1421.45/1421.73 c learnt constraints deletion: 2183 -> 1095 1423.75/1424.07 c learnt constraints deletion: 2177 -> 1092 1426.15/1426.42 c learnt constraints deletion: 2184 -> 1097 1428.16/1428.48 c learnt constraints deletion: 2177 -> 1093 1430.35/1430.64 c learnt constraints deletion: 2179 -> 1093 1432.45/1432.71 c learnt constraints deletion: 2184 -> 1096 1434.66/1434.93 c learnt constraints deletion: 2183 -> 1097 1436.96/1437.27 c learnt constraints deletion: 2188 -> 1099 1439.35/1439.60 c learnt constraints deletion: 2182 -> 1095 1441.65/1441.95 c learnt constraints deletion: 2176 -> 1091 1443.85/1444.16 c learnt constraints deletion: 2177 -> 1092 1446.35/1446.60 c learnt constraints deletion: 2174 -> 1090 1448.85/1449.15 c learnt constraints deletion: 2178 -> 1095 1451.15/1451.41 c learnt constraints deletion: 2181 -> 1094 1453.45/1453.78 c learnt constraints deletion: 2174 -> 1092 1455.85/1456.19 c learnt constraints deletion: 2177 -> 1094 1458.26/1458.55 c learnt constraints deletion: 2184 -> 1096 1460.24/1460.55 c learnt constraints deletion: 2181 -> 1096 1462.45/1462.74 c learnt constraints deletion: 2179 -> 1094 1464.85/1465.15 c learnt constraints deletion: 2180 -> 1093 1466.94/1467.26 c learnt constraints deletion: 2175 -> 1093 1469.25/1469.60 c learnt constraints deletion: 2182 -> 1095 1471.55/1471.85 c learnt constraints deletion: 2180 -> 1095 1473.94/1474.27 c learnt constraints deletion: 2172 -> 1090 1476.15/1476.45 c learnt constraints deletion: 2182 -> 1098 1478.34/1478.67 c learnt constraints deletion: 2186 -> 1099 1480.74/1481.04 c learnt constraints deletion: 2185 -> 1101 1482.95/1483.28 c learnt constraints deletion: 2179 -> 1096 1485.34/1485.63 c learnt constraints deletion: 2185 -> 1101 1487.54/1487.83 c learnt constraints deletion: 2176 -> 1089 1489.55/1489.81 c learnt constraints deletion: 2177 -> 1090 1491.55/1491.88 c learnt constraints deletion: 2183 -> 1094 1493.74/1494.07 c learnt constraints deletion: 2178 -> 1092 1495.84/1496.15 c learnt constraints deletion: 2170 -> 1086 1498.14/1498.41 c learnt constraints deletion: 2178 -> 1093 1500.24/1500.53 c learnt constraints deletion: 2174 -> 1090 1502.35/1502.68 c learnt constraints deletion: 2183 -> 1097 1504.55/1504.83 c learnt constraints deletion: 2179 -> 1092 1506.65/1506.97 c learnt constraints deletion: 2181 -> 1094 1508.74/1509.05 c learnt constraints deletion: 2184 -> 1096 1510.84/1511.17 c learnt constraints deletion: 2174 -> 1089 1512.94/1513.29 c learnt constraints deletion: 2174 -> 1090 1514.74/1515.09 c learnt constraints deletion: 2172 -> 1089 1516.74/1517.08 c learnt constraints deletion: 2182 -> 1095 1518.94/1519.20 c learnt constraints deletion: 2181 -> 1098 1520.94/1521.28 c learnt constraints deletion: 2178 -> 1093 1523.14/1523.42 c learnt constraints deletion: 2180 -> 1095 1525.23/1525.53 c learnt constraints deletion: 2183 -> 1096 1527.24/1527.52 c learnt constraints deletion: 2179 -> 1094 1529.33/1529.65 c learnt constraints deletion: 2180 -> 1093 1531.43/1531.71 c learnt constraints deletion: 2175 -> 1091 1533.83/1534.18 c learnt constraints deletion: 2370 -> 1189 1536.14/1536.49 c learnt constraints deletion: 2379 -> 1195 1538.23/1538.57 c learnt constraints deletion: 2374 -> 1193 1540.63/1540.92 c learnt constraints deletion: 2372 -> 1188 1543.04/1543.31 c learnt constraints deletion: 2375 -> 1191 1545.24/1545.53 c learnt constraints deletion: 2371 -> 1186 1547.13/1547.46 c learnt constraints deletion: 2367 -> 1186 1549.03/1549.37 c learnt constraints deletion: 2368 -> 1184 1551.13/1551.40 c learnt constraints deletion: 2367 -> 1186 1553.13/1553.45 c learnt constraints deletion: 2377 -> 1192 1555.23/1555.51 c learnt constraints deletion: 2376 -> 1193 1557.34/1557.61 c learnt constraints deletion: 2376 -> 1191 1559.34/1559.69 c learnt constraints deletion: 2377 -> 1194 1561.84/1562.12 c learnt constraints deletion: 2380 -> 1196 1564.24/1564.56 c learnt constraints deletion: 2373 -> 1193 1566.63/1566.98 c learnt constraints deletion: 2376 -> 1192 1568.93/1569.23 c learnt constraints deletion: 2372 -> 1190 1571.23/1571.51 c learnt constraints deletion: 2373 -> 1192 1573.43/1573.74 c learnt constraints deletion: 2376 -> 1195 1575.63/1575.97 c learnt constraints deletion: 2368 -> 1191 1577.93/1578.28 c learnt constraints deletion: 2379 -> 1198 1580.23/1580.60 c learnt constraints deletion: 2373 -> 1188 1582.33/1582.64 c learnt constraints deletion: 2374 -> 1190 1584.53/1584.88 c learnt constraints deletion: 2374 -> 1188 1586.73/1587.06 c learnt constraints deletion: 2378 -> 1193 1588.92/1589.25 c learnt constraints deletion: 2374 -> 1191 1591.13/1591.42 c learnt constraints deletion: 2378 -> 1194 1593.33/1593.66 c learnt constraints deletion: 2377 -> 1195 1595.63/1595.94 c learnt constraints deletion: 2379 -> 1195 1598.03/1598.31 c learnt constraints deletion: 2379 -> 1194 1600.23/1600.57 c learnt constraints deletion: 2373 -> 1187 1602.43/1602.73 c learnt constraints deletion: 2372 -> 1189 1604.83/1605.10 c learnt constraints deletion: 2378 -> 1191 1607.12/1607.45 c learnt constraints deletion: 2375 -> 1191 1609.52/1609.85 c learnt constraints deletion: 2378 -> 1194 1611.92/1612.22 c learnt constraints deletion: 2376 -> 1191 1614.32/1614.65 c learnt constraints deletion: 2373 -> 1192 1616.63/1616.97 c learnt constraints deletion: 2370 -> 1188 1619.02/1619.30 c learnt constraints deletion: 2374 -> 1192 1621.32/1621.64 c learnt constraints deletion: 2375 -> 1194 1623.62/1623.96 c learnt constraints deletion: 2373 -> 1189 1626.02/1626.37 c learnt constraints deletion: 2376 -> 1191 1628.22/1628.51 c learnt constraints deletion: 2376 -> 1193 1630.42/1630.74 c learnt constraints deletion: 2372 -> 1189 1632.72/1633.08 c learnt constraints deletion: 2369 -> 1189 1635.11/1635.46 c learnt constraints deletion: 2373 -> 1192 1637.41/1637.70 c learnt constraints deletion: 2375 -> 1191 1639.42/1639.77 c learnt constraints deletion: 2370 -> 1190 1641.32/1641.67 c learnt constraints deletion: 2374 -> 1192 1643.31/1643.65 c learnt constraints deletion: 2375 -> 1195 1645.62/1645.96 c learnt constraints deletion: 2377 -> 1193 1648.02/1648.34 c learnt constraints deletion: 2372 -> 1191 1650.41/1650.75 c learnt constraints deletion: 2376 -> 1195 1652.81/1653.14 c learnt constraints deletion: 2381 -> 1200 1654.91/1655.28 c learnt constraints deletion: 2381 -> 1199 1657.32/1657.68 c learnt constraints deletion: 2371 -> 1192 1659.71/1660.00 c learnt constraints deletion: 2379 -> 1197 1661.91/1662.24 c learnt constraints deletion: 2372 -> 1192 1664.42/1664.70 c learnt constraints deletion: 2375 -> 1196 1666.81/1667.14 c learnt constraints deletion: 2383 -> 1200 1669.21/1669.53 c learnt constraints deletion: 2369 -> 1185 1671.11/1671.43 c learnt constraints deletion: 2370 -> 1186 1673.11/1673.44 c learnt constraints deletion: 2375 -> 1190 1675.02/1675.39 c learnt constraints deletion: 2370 -> 1186 1677.01/1677.34 c learnt constraints deletion: 2374 -> 1190 1679.01/1679.39 c learnt constraints deletion: 2372 -> 1190 1681.21/1681.59 c learnt constraints deletion: 2373 -> 1188 1683.41/1683.71 c learnt constraints deletion: 2365 -> 1185 1685.61/1685.90 c learnt constraints deletion: 2378 -> 1193 1687.71/1688.03 c learnt constraints deletion: 2373 -> 1190 1690.01/1690.34 c learnt constraints deletion: 2373 -> 1190 1692.11/1692.42 c learnt constraints deletion: 2375 -> 1192 1694.21/1694.58 c learnt constraints deletion: 2374 -> 1188 1696.31/1696.65 c learnt constraints deletion: 2372 -> 1189 1698.51/1698.80 c learnt constraints deletion: 2371 -> 1189 1700.81/1701.18 c learnt constraints deletion: 2371 -> 1188 1703.00/1703.32 c learnt constraints deletion: 2370 -> 1189 1705.10/1705.40 c learnt constraints deletion: 2369 -> 1188 1707.31/1707.68 c learnt constraints deletion: 2369 -> 1190 1709.61/1709.92 c learnt constraints deletion: 2378 -> 1193 1711.90/1712.24 c learnt constraints deletion: 2375 -> 1193 1714.20/1714.56 c learnt constraints deletion: 2375 -> 1194 1716.40/1716.70 c learnt constraints deletion: 2376 -> 1192 1718.51/1718.87 c learnt constraints deletion: 2375 -> 1193 1720.60/1720.98 c learnt constraints deletion: 2375 -> 1194 1722.80/1723.17 c learnt constraints deletion: 2377 -> 1194 1725.00/1725.38 c learnt constraints deletion: 2373 -> 1193 1727.20/1727.56 c learnt constraints deletion: 2376 -> 1193 1729.31/1729.65 c learnt constraints deletion: 2378 -> 1196 1731.51/1731.84 c learnt constraints deletion: 2375 -> 1192 1733.70/1734.03 c learnt constraints deletion: 2379 -> 1194 1735.90/1736.21 c learnt constraints deletion: 2378 -> 1194 1738.20/1738.50 c learnt constraints deletion: 2370 -> 1191 1740.30/1740.69 c learnt constraints deletion: 2368 -> 1189 1742.50/1742.85 c learnt constraints deletion: 2375 -> 1193 1744.70/1745.05 c learnt constraints deletion: 2377 -> 1196 1746.80/1747.12 c learnt constraints deletion: 2380 -> 1196 1748.80/1749.18 c learnt constraints deletion: 2373 -> 1194 1751.00/1751.33 c learnt constraints deletion: 2380 -> 1198 1753.20/1753.58 c learnt constraints deletion: 2381 -> 1198 1755.39/1755.76 c learnt constraints deletion: 2380 -> 1199 1757.60/1757.90 c learnt constraints deletion: 2375 -> 1193 1759.79/1760.19 c learnt constraints deletion: 2377 -> 1195 1761.99/1762.37 c learnt constraints deletion: 2377 -> 1197 1764.10/1764.48 c learnt constraints deletion: 2379 -> 1198 1766.20/1766.56 c learnt constraints deletion: 2375 -> 1195 1768.40/1768.78 c learnt constraints deletion: 2378 -> 1198 1770.49/1770.85 c learnt constraints deletion: 2378 -> 1198 1772.80/1773.12 c learnt constraints deletion: 2378 -> 1195 1774.90/1775.29 c learnt constraints deletion: 2369 -> 1186 1777.10/1777.40 c learnt constraints deletion: 2368 -> 1186 1779.09/1779.42 c learnt constraints deletion: 2369 -> 1186 1780.99/1781.33 c learnt constraints deletion: 2376 -> 1190 1783.10/1783.43 c learnt constraints deletion: 2371 -> 1189 1785.09/1785.48 c learnt constraints deletion: 2373 -> 1190 1786.99/1787.39 c learnt constraints deletion: 2374 -> 1191 1788.89/1789.27 c learnt constraints deletion: 2371 -> 1187 1790.99/1791.33 c learnt constraints deletion: 2372 -> 1188 1792.89/1793.24 c learnt constraints deletion: 2375 -> 1192 1794.90/1795.24 c learnt constraints deletion: 2375 -> 1191 1796.99/1797.39 c learnt constraints deletion: 2373 -> 1192 1799.29/1799.68 c learnt constraints deletion: 2371 -> 1188
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-3706730-1338112697/watcher-3706730-1338112697 -o /tmp/evaluation-result-3706730-1338112697/solver-3706730-1338112697 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706730-1338112697.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.73 1.95 1.98 3/174 23267 /proc/meminfo: memFree=28296640/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 277395214 7405568 749 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 1808 749 415 1167 0 589 0 [startup+0.045391 s] /proc/loadavg: 1.73 1.95 1.98 3/174 23267 /proc/meminfo: memFree=28296640/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=8256 CPUtime=0.04 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 1270 0 0 0 4 0 0 0 20 0 1 0 277395214 8454144 1190 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 2064 1190 426 1167 0 845 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8256 [startup+0.100216 s] /proc/loadavg: 1.73 1.95 1.98 3/174 23267 /proc/meminfo: memFree=28296640/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=9280 CPUtime=0.09 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 1452 0 0 0 9 0 0 0 20 0 1 0 277395214 9502720 1372 33554432000 4194304 8973514 140737009492544 140737009491808 4208846 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 2320 1372 456 1167 0 1101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9280 [startup+0.300179 s] /proc/loadavg: 1.73 1.95 1.98 3/174 23267 /proc/meminfo: memFree=28296640/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=10304 CPUtime=0.29 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 1888 0 0 0 29 0 0 0 20 0 1 0 277395214 10551296 1808 33554432000 4194304 8973514 140737009492544 140737009491808 4436136 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 2576 1808 456 1167 0 1357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10304 [startup+0.700203 s] /proc/loadavg: 1.73 1.95 1.98 3/174 23267 /proc/meminfo: memFree=28296640/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=11328 CPUtime=0.69 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 2144 0 0 0 69 0 0 0 20 0 1 0 277395214 11599872 2064 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 2832 2064 456 1167 0 1613 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11328 [startup+1.50021 s] /proc/loadavg: 1.73 1.95 1.98 3/177 23273 /proc/meminfo: memFree=28281480/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=13376 CPUtime=1.49 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 2424 0 0 0 149 0 0 0 20 0 1 0 277395214 13697024 2344 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 3344 2344 457 1167 0 2125 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13376 [startup+3.10016 s] /proc/loadavg: 1.73 1.95 1.98 3/177 23273 /proc/meminfo: memFree=28277868/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=14400 CPUtime=3.09 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 2913 0 0 0 308 1 0 0 20 0 1 0 277395214 14745600 2833 33554432000 4194304 8973514 140737009492544 140737009492040 7672546 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 3600 2833 457 1167 0 2381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14400 [startup+6.30016 s] /proc/loadavg: 1.83 1.96 1.99 3/177 23273 /proc/meminfo: memFree=28272732/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=15424 CPUtime=6.29 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 3170 0 0 0 627 2 0 0 20 0 1 0 277395214 15794176 3090 33554432000 4194304 8973514 140737009492544 140737009491808 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 3856 3090 457 1167 0 2637 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15424 [startup+12.7002 s] /proc/loadavg: 1.85 1.96 1.99 3/177 23273 /proc/meminfo: memFree=28267004/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=18496 CPUtime=12.69 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 3938 0 0 0 1264 5 0 0 20 0 1 0 277395214 18939904 3858 33554432000 4194304 8973514 140737009492544 140737009491808 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 4624 3858 457 1167 0 3405 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18496 [startup+25.5002 s] /proc/loadavg: 1.96 1.98 1.99 3/177 23273 /proc/meminfo: memFree=28262948/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=20544 CPUtime=25.48 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 4452 0 0 0 2538 10 0 0 20 0 1 0 277395214 21037056 4370 33554432000 4194304 8973514 140737009492544 140737009492040 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 5136 4370 457 1167 0 3917 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20544 [startup+51.1003 s] /proc/loadavg: 1.97 1.98 1.99 3/177 23273 /proc/meminfo: memFree=28260052/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=21568 CPUtime=51.08 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 5476 0 0 0 5086 22 0 0 20 0 1 0 277395214 22085632 4626 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 5392 4626 457 1167 0 4173 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21568 [startup+102.306 s] /proc/loadavg: 2.13 2.02 2.00 3/177 23273 /proc/meminfo: memFree=28254356/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=24640 CPUtime=102.27 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 7525 0 0 0 10184 43 0 0 20 0 1 0 277395214 25231360 5394 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 6160 5394 457 1167 0 4941 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24640 [startup+162.3 s] /proc/loadavg: 2.11 2.03 2.00 3/178 23277 /proc/meminfo: memFree=28252804/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=21568 CPUtime=162.26 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 9062 0 0 0 16157 69 0 0 20 0 1 0 277395214 22085632 4626 33554432000 4194304 8973514 140737009492544 140737009492040 7732991 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 5392 4626 457 1167 0 4173 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 21568 [startup+222.3 s] /proc/loadavg: 2.07 2.03 2.00 3/178 23299 /proc/meminfo: memFree=28249236/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=25664 CPUtime=222.25 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 10087 0 0 0 22134 91 0 0 20 0 1 0 277395214 26279936 5650 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 6416 5650 457 1167 0 5197 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 25664 [startup+282.3 s] /proc/loadavg: 2.15 2.05 2.01 3/177 23299 /proc/meminfo: memFree=28242916/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=29760 CPUtime=282.24 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 11625 0 0 0 28108 116 0 0 20 0 1 0 277395214 30474240 6674 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 7440 6674 457 1167 0 6221 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 29760 [startup+342.3 s] /proc/loadavg: 2.16 2.07 2.01 3/177 23299 /proc/meminfo: memFree=28244720/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=25664 CPUtime=342.23 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 11625 0 0 0 34084 139 0 0 20 0 1 0 277395214 26279936 5650 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 6416 5650 457 1167 0 5197 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 25664 [startup+402.3 s] /proc/loadavg: 2.06 2.06 2.01 3/177 23299 /proc/meminfo: memFree=28243084/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=29760 CPUtime=402.22 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 12907 0 0 0 40059 163 0 0 20 0 1 0 277395214 30474240 6674 33554432000 4194304 8973514 140737009492544 140737009492040 6576684 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 7440 6674 457 1167 0 6221 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 29760 [startup+462.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 23300 /proc/meminfo: memFree=28236848/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=33856 CPUtime=462.21 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 13932 0 0 0 46031 190 0 0 20 0 1 0 277395214 34668544 7698 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 8464 7698 457 1167 0 7245 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 33856 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 23300 /proc/meminfo: memFree=28233672/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=33856 CPUtime=522.2 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 13932 0 0 0 52006 214 0 0 20 0 1 0 277395214 34668544 7698 33554432000 4194304 8973514 140737009492544 140737009491808 7408516 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 8464 7698 457 1167 0 7245 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 33856 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 23300 /proc/meminfo: memFree=28236284/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=33856 CPUtime=582.19 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 13932 0 0 0 57980 239 0 0 20 0 1 0 277395214 34668544 7698 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 8464 7698 457 1167 0 7245 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 33856 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23304 /proc/meminfo: memFree=28232240/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=33856 CPUtime=822.15 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 14958 0 0 0 81880 335 0 0 20 0 1 0 277395214 34668544 7698 33554432000 4194304 8973514 140737009492544 140737009492040 4447255 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 8464 7698 457 1167 0 7245 0 Current children cumulated CPU time (s) 822.15 Current children cumulated vsize (KiB) 33856 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23304 /proc/meminfo: memFree=28228836/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=37952 CPUtime=882.15 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 15982 0 0 0 87854 361 0 0 20 0 1 0 277395214 38862848 8722 33554432000 4194304 8973514 140737009492544 140737009491808 4459404 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9488 8722 457 1167 0 8269 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 37952 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23304 /proc/meminfo: memFree=28225048/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=38976 CPUtime=942.14 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 16240 0 0 0 93827 387 0 0 20 0 1 0 277395214 39911424 8978 33554432000 4194304 8973514 140737009492544 140737009492040 6576028 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9744 8978 457 1167 0 8525 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 38976 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23304 /proc/meminfo: memFree=28226232/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=37952 CPUtime=1002.12 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 16240 0 0 0 99803 409 0 0 20 0 1 0 277395214 38862848 8722 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9488 8722 457 1167 0 8269 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 37952 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23305 /proc/meminfo: memFree=28224280/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=37952 CPUtime=1062.11 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 16497 0 0 0 105779 432 0 0 20 0 1 0 277395214 38862848 8722 33554432000 4194304 8973514 140737009492544 140737009491808 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9488 8722 457 1167 0 8269 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 37952 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23305 /proc/meminfo: memFree=28218268/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=41024 CPUtime=1122.1 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 18292 0 0 0 111754 456 0 0 20 0 1 0 277395214 42008576 9490 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 10256 9490 457 1167 0 9037 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 41024 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23305 /proc/meminfo: memFree=28221372/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=37952 CPUtime=1182.1 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 18548 0 0 0 117728 482 0 0 20 0 1 0 277395214 38862848 8722 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9488 8722 457 1167 0 8269 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 37952 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23305 /proc/meminfo: memFree=28219016/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=38976 CPUtime=1242.09 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 18804 0 0 0 123702 507 0 0 20 0 1 0 277395214 39911424 8978 33554432000 4194304 8973514 140737009492544 140737009492040 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9744 8978 457 1167 0 8525 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 38976 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23305 /proc/meminfo: memFree=28219080/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=42048 CPUtime=1302.08 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 19829 0 0 0 129677 531 0 0 20 0 1 0 277395214 43057152 9746 33554432000 4194304 8973514 140737009492544 140737009491808 4462456 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 10512 9746 457 1167 0 9293 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 42048 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23309 /proc/meminfo: memFree=28218584/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=42048 CPUtime=1362.06 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 21621 0 0 0 135652 554 0 0 20 0 1 0 277395214 43057152 9746 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 10512 9746 457 1167 0 9293 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 42048 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23309 /proc/meminfo: memFree=28223180/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=38976 CPUtime=1422.06 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 21877 0 0 0 141625 581 0 0 20 0 1 0 277395214 39911424 8978 33554432000 4194304 8973514 140737009492544 140737009491384 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9744 8978 457 1167 0 8525 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 38976 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23309 /proc/meminfo: memFree=28218408/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=41024 CPUtime=1482.05 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 23158 0 0 0 147598 607 0 0 20 0 1 0 277395214 42008576 9490 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 10256 9490 457 1167 0 9037 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 41024 [startup+1542.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 23309 /proc/meminfo: memFree=28219336/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=40000 CPUtime=1542.04 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 23670 0 0 0 153572 632 0 0 20 0 1 0 277395214 40960000 9234 33554432000 4194304 8973514 140737009492544 140737009491808 6842964 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 10000 9234 457 1167 0 8781 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 40000 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 23309 /proc/meminfo: memFree=28221124/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=37952 CPUtime=1602.03 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 25720 0 0 0 159546 657 0 0 20 0 1 0 277395214 38862848 8722 33554432000 4194304 8973514 140737009492544 140737009492040 4434661 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 9488 8722 457 1167 0 8269 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 37952 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23310 /proc/meminfo: memFree=28222152/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=40000 CPUtime=1662.01 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 27769 0 0 0 165520 681 0 0 20 0 1 0 277395214 40960000 9234 33554432000 4194304 8973514 140737009492544 140737009492040 7716772 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 10000 9234 457 1167 0 8781 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 40000 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23311 /proc/meminfo: memFree=28212652/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=45120 CPUtime=1722 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 29050 0 0 0 171497 703 0 0 20 0 1 0 277395214 46202880 10514 33554432000 4194304 8973514 140737009492544 140737009492040 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 11280 10514 457 1167 0 10061 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 45120 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23311 /proc/meminfo: memFree=28217940/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=42048 CPUtime=1781.99 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 29050 0 0 0 177471 728 0 0 20 0 1 0 277395214 43057152 9746 33554432000 4194304 8973514 140737009492544 140737009491808 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 10512 9746 457 1167 0 9293 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 42048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.07 2.02 2.00 2/176 23312 /proc/meminfo: memFree=28252288/32873648 swapFree=7104/7104 [pid=23267] ppid=23265 vsize=44096 CPUtime=1800.1 cores=0,2,4,6 /proc/23267/stat : 23267 (toysat) R 23265 23267 20135 0 -1 4202496 29562 0 0 0 179273 737 0 0 20 0 1 0 277395214 45154304 10258 33554432000 4194304 8973514 140737009492544 140737009491808 4447936 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/23267/statm: 11024 10258 457 1167 0 9805 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 44096 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): 1792.74 CPU system time (s): 7.37288 CPU usage (%): 99.9834 Max. virtual memory (cumulated for all children) (KiB): 45120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.74 system time used= 7.37288 maximum resident set size= 42056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29562 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= 26 involuntary context switches= 2207 runsolver used 5.00024 second user time and 7.36588 second system time The end
Begin job on node127 at 2012-05-27 11:58:18 IDJOB=3706730 IDBENCH=1948 IDSOLVER=2285 FILE ID=node127/3706730-1338112697 RUNJOBID= node127-1338112697-23244 PBS_JOBID= 14624433 Free space on /tmp= 71180 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706730-1338112697/watcher-3706730-1338112697 -o /tmp/evaluation-result-3706730-1338112697/solver-3706730-1338112697 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706730-1338112697.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a65a3b6248e07fcc15fb8d2bec9ac9bd RANDOM SEED=1868086315 node127.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.348 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.69 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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.94 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.348 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.348 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.348 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.348 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.348 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: 32873648 kB MemFree: 28297244 kB Buffers: 379552 kB Cached: 3348312 kB SwapCached: 0 kB Active: 1118372 kB Inactive: 2620688 kB Active(anon): 13636 kB Inactive(anon): 0 kB Active(file): 1104736 kB Inactive(file): 2620688 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14788 kB Writeback: 0 kB AnonPages: 18028 kB Mapped: 13732 kB Shmem: 200 kB Slab: 698468 kB SReclaimable: 142844 kB SUnreclaim: 555624 kB KernelStack: 1400 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 103768 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71172 MiB End job on node127 at 2012-05-27 12:28:20