Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.08 | 1796.33 |
Name | /OPT-SMALLINT-LIN/ heinz/normalized-ns894244.opb |
MD5SUM | cdfac8cd93d8a1de6ab1cef68bd1ac7c |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 1783.02 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 21856 |
Total number of constraints | 12129 |
Number of constraints which are clauses | 4095 |
Number of constraints which are cardinality constraints (but not clauses) | 338 |
Number of constraints which are nor clauses,nor cardinality constraints | 7696 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 211 |
Number of terms in the objective function | 16 |
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 | 16 |
Number of bits of the sum of numbers in the objective function | 5 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 211 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.02/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.02/0.08 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.02/0.08 c no version file found!!! 0.02/0.08 c sun.arch.data.model 64 0.02/0.08 c java.version 1.6.0_24 0.02/0.08 c os.name Linux 0.02/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.08 c os.arch amd64 0.02/0.08 c Free memory 1599470296 0.02/0.08 c Max memory 1607860224 0.02/0.08 c Total memory 1607860224 0.02/0.08 c Number of processors 8 0.08/0.11 --- Begin Solver configuration --- 0.08/0.11 c Stops conflict analysis at the first Unique Implication Point 0.08/0.11 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.11 c No reason simplification 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-3741378-1338742983.opb 0.08/0.11 c reading problem ... 0.97/0.57 c ... done. Wall clock time 0.465s. 0.97/0.57 c CPU time (experimental) 0.54s. 0.97/0.57 c #vars 21856 0.97/0.57 c #constraints 13119 1060.12/1057.55 c cleaning 631874 clauses out of 1263931 for limit 1324.4269707748992 1062.83/1060.28 c cleaning 316171 clauses out of 632556 for limit 4359.872386767793 1063.63/1061.00 c cleaning 158260 clauses out of 316887 for limit 14381.137701299105 1063.94/1061.39 c cleaning 79417 clauses out of 159124 for limit 47088.44316341565 1064.15/1061.53 c cleaning 39748 clauses out of 80208 for limit 154213.61966873295 1064.24/1061.64 c cleaning 20102 clauses out of 40960 for limit 498008.0435049043 1064.34/1061.72 c cleaning 10335 clauses out of 21361 for limit 1579552.799329078 1064.34/1061.76 c cleaning 5384 clauses out of 11522 for limit 4810006.8690782795 1064.44/1061.80 c cleaning 2922 clauses out of 6638 for limit 1.3768676825279728E7 1064.44/1061.83 c cleaning 1707 clauses out of 4216 for limit 3.575071560469417E7 1064.44/1061.87 c cleaning 1091 clauses out of 3009 for limit 8.260741663261424E7 1064.54/1061.91 c cleaning 769 clauses out of 2418 for limit 1.6952775817967287E8 1064.54/1061.94 c cleaning 651 clauses out of 2150 for limit 3.147379083991298E8 1064.54/1061.98 c cleaning 652 clauses out of 1999 for limit 5.582524107271984E8 1064.64/1062.01 c cleaning 565 clauses out of 1846 for limit 9.959397810580308E8 1064.64/1062.04 c cleaning 534 clauses out of 1782 for limit 1.7031287320235639E9 1064.64/1062.08 c cleaning 632 clauses out of 1747 for limit 2.8620923678686504E9 1064.74/1062.11 c cleaning 462 clauses out of 1615 for limit 5.105754289627609E9 1064.74/1062.14 c cleaning 819 clauses out of 1657 for limit 8.239557014725015E9 1064.74/1062.18 c cleaning 622 clauses out of 1335 for limit 1.6815022688803823E10 1064.84/1062.20 c cleaning 321 clauses out of 1215 for limit 3.053003878174953E10 1064.84/1062.23 c cleaning 686 clauses out of 1393 for limit 4.387063218460204E10 1064.84/1062.26 c cleaning 445 clauses out of 1205 for limit 8.346892604845192E10 1064.94/1062.30 c cleaning 330 clauses out of 1262 for limit 1.3169746888141678E11 1064.94/1062.33 c cleaning 370 clauses out of 1430 for limit 1.912879483400394E11 1064.94/1062.37 c cleaning 441 clauses out of 1562 for limit 2.893793438955024E11 1065.04/1062.41 c cleaning 464 clauses out of 1619 for limit 4.595032335499493E11 1065.04/1062.44 c cleaning 480 clauses out of 1655 for limit 7.412988212390717E11 1065.04/1062.48 c cleaning 487 clauses out of 1675 for limit 1.2079038994303381E12 1065.15/1062.51 c cleaning 834 clauses out of 1688 for limit 1.976653926003742E12 1065.15/1062.55 c cleaning 668 clauses out of 1354 for limit 4.0638746559434526E12 1065.15/1062.58 c cleaning 580 clauses out of 1188 for limit 7.653629565100542E12 1065.25/1062.61 c cleaning 344 clauses out of 1106 for limit 1.3530555148070916E13 1065.25/1062.65 c cleaning 587 clauses out of 1262 for limit 1.9555425713189305E13 1065.25/1062.68 c cleaning 238 clauses out of 1175 for limit 3.4637349366656305E13 1065.34/1062.71 c cleaning 417 clauses out of 1438 for limit 4.67212043744678E13 1065.34/1062.75 c cleaning 414 clauses out of 1520 for limit 7.282000472619402E13 1065.34/1062.80 c cleaning 570 clauses out of 1606 for limit 1.1365921096435198E14 1065.44/1062.83 c cleaning 422 clauses out of 1536 for limit 1.959813969814535E14 1065.44/1062.86 c cleaning 449 clauses out of 1615 for limit 3.076974781670705E14 1065.54/1062.90 c cleaning 535 clauses out of 1666 for limit 4.919006013298033E14 1065.54/1062.95 c cleaning 456 clauses out of 1630 for limit 8.282970628898956E14 1065.54/1062.99 c cleaning 487 clauses out of 1674 for limit 1.330068962255473E15 1065.64/1063.04 c cleaning 480 clauses out of 1689 for limit 2.178336024669872E15 1065.64/1063.09 c cleaning 834 clauses out of 1708 for limit 3.54885317793689E-5 1065.74/1063.12 c cleaning 645 clauses out of 1373 for limit 7.273220205727631E-5 1065.74/1063.16 c cleaning 482 clauses out of 1230 for limit 1.3415815373039327E-4 1065.74/1063.19 c cleaning 510 clauses out of 1246 for limit 2.1796712983876955E-4 1065.84/1063.22 c cleaning 383 clauses out of 1236 for limit 3.623651840262574E-4 1065.84/1063.25 c cleaning 331 clauses out of 1353 for limit 5.459124831490302E-4 1065.84/1063.28 c cleaning 416 clauses out of 1523 for limit 8.005921313153392E-4 1065.94/1063.32 c cleaning 455 clauses out of 1606 for limit 0.0012507976451069309 1065.94/1063.36 c cleaning 482 clauses out of 1651 for limit 0.0020065103747229766 1066.04/1063.40 c cleaning 485 clauses out of 1669 for limit 0.0032733167526997104 1066.04/1063.44 c cleaning 490 clauses out of 1685 for limit 0.005352231176570307 1066.04/1063.48 c cleaning 500 clauses out of 1694 for limit 0.008770871289878347 1066.14/1063.52 c cleaning 501 clauses out of 1697 for limit 0.014482172759066402 1066.14/1063.56 c cleaning 495 clauses out of 1694 for limit 0.02387750934428621 1066.14/1063.59 c cleaning 505 clauses out of 1698 for limit 0.039245161355740056 1066.25/1063.62 c cleaning 503 clauses out of 1693 for limit 0.06491166272683718 1066.25/1063.65 c cleaning 497 clauses out of 1690 for limit 0.10723804162656633 1066.25/1063.69 c cleaning 500 clauses out of 1693 for limit 0.17653649829142193 1066.35/1063.72 c cleaning 503 clauses out of 1696 for limit 0.2914909263190922 1066.35/1063.76 c cleaning 497 clauses out of 1690 for limit 0.48096839062093444 1066.35/1063.79 c cleaning 497 clauses out of 1694 for limit 0.792100400281389 1066.44/1063.84 c cleaning 504 clauses out of 1698 for limit 1.3045068130317847 1066.44/1063.87 c cleaning 501 clauses out of 1693 for limit 2.1555021216325194 1066.56/1063.91 c cleaning 514 clauses out of 1693 for limit 3.5582696261130424 1066.56/1063.95 c cleaning 509 clauses out of 1680 for limit 5.919389647398123 1066.56/1063.98 c cleaning 498 clauses out of 1668 for limit 9.802627860373793 1066.66/1064.02 c cleaning 499 clauses out of 1670 for limit 16.146484420779668 1066.66/1064.05 c cleaning 500 clauses out of 1673 for limit 26.63320418401288 1066.66/1064.08 c cleaning 500 clauses out of 1673 for limit 43.92171662574968 1066.76/1064.12 c cleaning 500 clauses out of 1672 for limit 72.40363139501993 1066.76/1064.16 c cleaning 495 clauses out of 1672 for limit 119.40327415490651 1066.76/1064.19 c cleaning 500 clauses out of 1677 for limit 196.32487664270604 1066.86/1064.23 c cleaning 496 clauses out of 1677 for limit 323.7659854559405 1066.86/1064.27 c cleaning 497 clauses out of 1680 for limit 532.4469901449147 1066.96/1064.30 c cleaning 514 clauses out of 1683 for limit 876.5111178083037 1066.96/1064.32 c cleaning 508 clauses out of 1671 for limit 1458.7806895878145 1066.96/1064.35 c cleaning 499 clauses out of 1667 for limit 2421.167245284974 1066.96/1064.38 c cleaning 498 clauses out of 1663 for limit 3982.460424204927 1067.06/1064.41 c cleaning 494 clauses out of 1664 for limit 6557.099459403666 1067.06/1064.44 c cleaning 497 clauses out of 1671 for limit 10779.014149703391 1067.06/1064.47 c cleaning 487 clauses out of 1673 for limit 17737.03104602396 1067.06/1064.49 c cleaning 501 clauses out of 1686 for limit 29025.19752184932 1067.16/1064.52 c cleaning 500 clauses out of 1685 for limit 47894.8410139976 1067.16/1064.54 c cleaning 478 clauses out of 1685 for limit 78985.00008928237 1067.16/1064.57 c cleaning 478 clauses out of 1707 for limit 128578.06748563219 1067.16/1064.59 c cleaning 494 clauses out of 1730 for limit 209432.80569236696 1067.26/1064.62 c cleaning 519 clauses out of 1736 for limit 344188.9949485815 1067.26/1064.64 c cleaning 486 clauses out of 1716 for limit 573655.012467797 1067.26/1064.68 c cleaning 862 clauses out of 1730 for limit 938378.0924311259 1067.36/1064.70 c cleaning 674 clauses out of 1369 for limit 1957541.211424747 1067.36/1064.73 c cleaning 581 clauses out of 1194 for limit 3697697.7621679856 1067.36/1064.76 c cleaning 516 clauses out of 1113 for limit 6541787.911134012 1067.36/1064.79 c cleaning 195 clauses out of 1097 for limit 1.0945633031486973E7 1067.46/1064.83 c cleaning 514 clauses out of 1404 for limit 1.413205483874413E7 1067.46/1064.86 c cleaning 324 clauses out of 1388 for limit 2.352717696606918E7 1067.56/1064.90 c cleaning 465 clauses out of 1564 for limit 3.443328233398003E7 1067.56/1064.93 c cleaning 519 clauses out of 1599 for limit 5.554213830542904E7 1067.56/1064.97 c cleaning 416 clauses out of 1581 for limit 9.273199180180232E7 1067.66/1065.00 c cleaning 475 clauses out of 1664 for limit 1.451541681845062E8 1067.66/1065.03 c cleaning 774 clauses out of 1689 for limit 2.3583544097762045E8 1067.66/1065.06 c cleaning 700 clauses out of 1415 for limit 4.642353072336443E8 1067.66/1065.09 c cleaning 493 clauses out of 1216 for limit 8.917670698428496E8 1067.76/1065.12 c cleaning 263 clauses out of 1222 for limit 1.4619589402464876E9 1067.76/1065.15 c cleaning 372 clauses out of 1459 for limit 2.0193285078394177E9 1067.76/1065.18 c cleaning 432 clauses out of 1588 for limit 3.0626838543065157E9 1067.86/1065.21 c cleaning 457 clauses out of 1655 for limit 4.841456613154326E9 1067.86/1065.24 c cleaning 838 clauses out of 1701 for limit 7.791644891197797E9 1067.86/1065.27 c cleaning 537 clauses out of 1360 for limit 1.6023113462809582E10 1067.86/1065.29 c cleaning 372 clauses out of 1323 for limit 2.7163258036403675E10 1067.96/1065.32 c cleaning 348 clauses out of 1451 for limit 4.08441796724658E10 1067.96/1065.35 c cleaning 437 clauses out of 1603 for limit 6.097052786976762E10 1067.96/1065.38 c cleaning 478 clauses out of 1667 for limit 9.678504946969135E10 1068.06/1065.41 c cleaning 484 clauses out of 1689 for limit 1.575324812972623E11 1068.06/1065.44 c cleaning 839 clauses out of 1705 for limit 2.5735420390967508E11 1068.06/1065.47 c cleaning 522 clauses out of 1365 for limit 5.2959560713339417E11 1068.06/1065.50 c cleaning 324 clauses out of 1343 for limit 8.87680949908578E11 1068.16/1065.52 c cleaning 392 clauses out of 1519 for limit 1.2942883009518115E12 1068.16/1065.55 c cleaning 457 clauses out of 1630 for limit 1.9950813892236367E12 1068.16/1065.58 c cleaning 465 clauses out of 1670 for limit 3.201725554636076E12 1068.26/1065.61 c cleaning 845 clauses out of 1705 for limit 5.171685147892674E12 1068.26/1065.64 c cleaning 601 clauses out of 1360 for limit 1.0692356715466479E13 1068.26/1065.67 c cleaning 483 clauses out of 1259 for limit 1.904769833638199E13 1068.36/1065.70 c cleaning 536 clauses out of 1276 for limit 3.0993701578876184E13 1068.36/1065.73 c cleaning 262 clauses out of 1242 for limit 5.261716397553505E13 1068.36/1065.76 c cleaning 599 clauses out of 1478 for limit 7.277152255269936E13 1068.36/1065.80 c cleaning 329 clauses out of 1380 for limit 1.2866108453722434E14 1068.46/1065.83 c cleaning 536 clauses out of 1552 for limit 1.888534731354395E14 1068.46/1065.87 c cleaning 392 clauses out of 1514 for limit 3.186234101090231E14 1068.46/1065.90 c cleaning 442 clauses out of 1623 for limit 4.906541037104598E14 1068.56/1065.94 c cleaning 454 clauses out of 1680 for limit 7.809191067864605E14 1068.56/1065.97 c cleaning 856 clauses out of 1727 for limit 1.2540457821192986E-5 1068.66/1066.00 c cleaning 655 clauses out of 1370 for limit 2.6043931082810675E-5 1068.66/1066.04 c cleaning 518 clauses out of 1216 for limit 4.843774632934032E-5 1068.66/1066.07 c cleaning 519 clauses out of 1198 for limit 8.108052877859214E-5 1068.66/1066.09 c cleaning 486 clauses out of 1181 for limit 1.3590905831302802E-4 1068.76/1066.12 c cleaning 394 clauses out of 1193 for limit 2.2143421185192788E-4 1068.76/1066.15 c cleaning 331 clauses out of 1298 for limit 3.352986826870634E-4 1068.76/1066.19 c cleaning 373 clauses out of 1467 for limit 4.892516655771647E-4 1068.86/1066.22 c cleaning 435 clauses out of 1594 for limit 7.425573421671471E-4 1068.86/1066.24 c cleaning 466 clauses out of 1660 for limit 0.0011770654831189983 1068.86/1066.27 c cleaning 479 clauses out of 1693 for limit 0.0019013984238894035 1068.96/1066.31 c cleaning 478 clauses out of 1715 for limit 0.003098534685608142 1068.96/1066.35 c cleaning 484 clauses out of 1736 for limit 0.005043036841383836 1068.96/1066.37 c cleaning 506 clauses out of 1752 for limit 0.008240691324723437 1069.06/1066.40 c cleaning 509 clauses out of 1747 for limit 0.013642540210550344 1069.06/1066.44 c cleaning 503 clauses out of 1737 for limit 0.022605270292445967 1069.06/1066.47 c cleaning 505 clauses out of 1734 for limit 0.03734361152959324 1069.16/1066.50 c cleaning 501 clauses out of 1730 for limit 0.06178879210789186 1069.16/1066.53 c cleaning 504 clauses out of 1730 for limit 0.10199998412676455 1069.16/1066.56 c cleaning 492 clauses out of 1724 for limit 0.16845961711947888 1069.16/1066.60 c cleaning 502 clauses out of 1732 for limit 0.2765292463952686 1069.26/1066.63 c cleaning 500 clauses out of 1730 for limit 0.4565609273400987 1069.26/1066.66 c cleaning 504 clauses out of 1730 for limit 0.7529300468119602 1069.26/1066.69 c cleaning 503 clauses out of 1728 for limit 1.2456094780946831 1069.36/1066.73 c cleaning 497 clauses out of 1723 for limit 2.0560194953657716 1069.36/1066.76 c cleaning 494 clauses out of 1728 for limit 3.3876121218279485 1069.36/1066.79 c cleaning 508 clauses out of 1733 for limit 5.564936702557343 1069.46/1066.82 c cleaning 496 clauses out of 1728 for limit 9.231546801513867 1069.46/1066.86 c cleaning 504 clauses out of 1730 for limit 15.176057880882073 1069.46/1066.89 c cleaning 487 clauses out of 1725 for limit 25.074792812070417 1069.56/1066.93 c cleaning 497 clauses out of 1738 for limit 41.04238287842695 1069.56/1066.96 c cleaning 505 clauses out of 1741 for limit 67.56774974035999 1069.56/1066.99 c cleaning 500 clauses out of 1735 for limit 111.70178745289961 1069.67/1067.03 c cleaning 497 clauses out of 1735 for limit 184.21119070761227 1069.67/1067.07 c cleaning 501 clauses out of 1739 for limit 303.3935234623449 1069.67/1067.10 c cleaning 499 clauses out of 1737 for limit 500.41168754581497 1069.76/1067.13 c cleaning 507 clauses out of 1738 for limit 824.7709916601274 1069.76/1067.16 c cleaning 496 clauses out of 1731 for limit 1365.658050014909 1069.86/1067.20 c cleaning 498 clauses out of 1736 for limit 2247.914117795852 1069.86/1067.23 c cleaning 501 clauses out of 1737 for limit 3701.271920636409 1069.86/1067.26 c cleaning 502 clauses out of 1736 for limit 6107.408611562331 1069.86/1067.29 c cleaning 492 clauses out of 1734 for limit 10083.550829015649 1069.96/1067.33 c cleaning 500 clauses out of 1742 for limit 16552.75630584083 1069.96/1067.36 c cleaning 501 clauses out of 1742 for limit 27297.709536453116 1070.06/1067.40 c cleaning 502 clauses out of 1741 for limit 45043.432156789604 1070.06/1067.43 c cleaning 489 clauses out of 1739 for limit 74368.07687869623 1070.06/1067.46 c cleaning 498 clauses out of 1750 for limit 121872.00928023549 1070.06/1067.49 c cleaning 500 clauses out of 1752 for limit 200753.81411840327 1070.16/1067.52 c cleaning 504 clauses out of 1753 for limit 331212.24905580253 1070.16/1067.54 c cleaning 497 clauses out of 1748 for limit 547227.9268167275 1070.16/1067.57 c cleaning 500 clauses out of 1753 for limit 901680.4956308573 1070.26/1067.60 c cleaning 865 clauses out of 1751 for limit 1485714.3188374543 1070.26/1067.63 c cleaning 683 clauses out of 1388 for limit 3097111.9185387203 1070.26/1067.65 c cleaning 233 clauses out of 1204 for limit 5882219.870851457 1070.26/1067.69 c cleaning 488 clauses out of 1470 for limit 7937281.468203964 1070.36/1067.71 c cleaning 371 clauses out of 1482 for limit 1.2983649992059214E7 1070.36/1067.75 c cleaning 489 clauses out of 1611 for limit 1.9697238779724844E7 1070.36/1067.77 c cleaning 806 clauses out of 1623 for limit 3.227548440327768E7 1070.46/1067.80 c cleaning 484 clauses out of 1316 for limit 6.557778972323638E7 1070.46/1067.83 c cleaning 299 clauses out of 1333 for limit 1.0687420901087126E8 1070.46/1067.86 c cleaning 395 clauses out of 1533 for limit 1.5310250033680493E8 1070.46/1067.89 c cleaning 447 clauses out of 1638 for limit 2.3630147238623303E8 1070.56/1067.92 c cleaning 471 clauses out of 1691 for limit 3.7747883371336347E8 1070.56/1067.96 c cleaning 861 clauses out of 1722 for limit 6.12530862468738E8 1070.56/1067.98 c cleaning 668 clauses out of 1359 for limit 1.2774047579243088E9 1070.66/1068.01 c cleaning 436 clauses out of 1191 for limit 2.4037655775508337E9 1070.66/1068.04 c cleaning 343 clauses out of 1257 for limit 3.7635137411348968E9 1070.66/1068.07 c cleaning 343 clauses out of 1415 for limit 5.519029845867936E9 1070.66/1068.09 c cleaning 419 clauses out of 1570 for limit 8.18665320396106E9 1070.76/1068.12 c cleaning 454 clauses out of 1651 for limit 1.283851697698349E10 1070.76/1068.15 c cleaning 488 clauses out of 1698 for limit 2.0606994057572495E10 1070.76/1068.18 c cleaning 782 clauses out of 1708 for limit 3.371718655578789E10 1070.86/1068.21 c cleaning 335 clauses out of 1426 for limit 6.660020358303192E10 1070.86/1068.23 c cleaning 776 clauses out of 1591 for limit 9.844208185568088E10 1070.86/1068.26 c cleaning 648 clauses out of 1316 for limit 1.96465129461419E11 1070.86/1068.28 c cleaning 374 clauses out of 1167 for limit 3.649991786868952E11 1070.96/1068.31 c cleaning 273 clauses out of 1293 for limit 5.43275481509072E11 1070.96/1068.33 c cleaning 417 clauses out of 1521 for limit 7.623946060478827E11 1070.96/1068.36 c cleaning 412 clauses out of 1604 for limit 1.1922313900739773E12 1070.96/1068.39 c cleaning 553 clauses out of 1691 for limit 1.863127961495344E12 1071.06/1068.42 c cleaning 818 clauses out of 1638 for limit 3.171964227923888E12 1071.06/1068.45 c cleaning 321 clauses out of 1321 for limit 6.492766124711115E12 1071.06/1068.48 c cleaning 365 clauses out of 1499 for limit 9.426540103122322E12 1071.16/1068.51 c cleaning 812 clauses out of 1634 for limit 1.4261256370467344E13 1071.16/1068.53 c cleaning 612 clauses out of 1326 for limit 2.9097806357327703E13 1071.16/1068.55 c cleaning 336 clauses out of 1213 for limit 5.240398912066208E13 1071.16/1068.58 c cleaning 494 clauses out of 1374 for limit 7.606603302478717E13 1071.26/1068.60 c cleaning 336 clauses out of 1381 for limit 1.2493215189952575E14 1071.26/1068.63 c cleaning 758 clauses out of 1545 for limit 1.8415999834867328E14 1071.26/1068.65 c cleaning 291 clauses out of 1286 for limit 3.645055898510418E14 1071.26/1068.68 c cleaning 484 clauses out of 1495 for limit 5.170825188828195E14 1071.36/1068.71 c cleaning 392 clauses out of 1511 for limit 8.437085905432566E14 1071.36/1068.74 c cleaning 790 clauses out of 1620 for limit 1.2990693003923541E-5 1071.36/1068.77 c cleaning 641 clauses out of 1330 for limit 2.6094656252787353E-5 1071.46/1068.80 c cleaning 535 clauses out of 1189 for limit 4.813680414230645E-5 1071.46/1068.83 c cleaning 518 clauses out of 1153 for limit 8.17807663929262E-5 1071.46/1068.86 c cleaning 475 clauses out of 1135 for limit 1.3700629085669808E-4 1071.46/1068.88 c cleaning 444 clauses out of 1161 for limit 2.2110295632918816E-4 1071.56/1068.91 c cleaning 404 clauses out of 1219 for limit 3.479749444426863E-4 1071.56/1068.94 c cleaning 361 clauses out of 1312 for limit 5.315819138848644E-4 1071.56/1068.97 c cleaning 365 clauses out of 1453 for limit 7.931646089749001E-4 1071.66/1069.00 c cleaning 438 clauses out of 1587 for limit 0.0011963916974457446 1071.66/1069.03 c cleaning 471 clauses out of 1650 for limit 0.0018995764283895205 1071.66/1069.06 c cleaning 479 clauses out of 1677 for limit 0.0030760579783643393 1071.66/1069.09 c cleaning 497 clauses out of 1700 for limit 0.0050142221230669035 1071.76/1069.12 c cleaning 492 clauses out of 1702 for limit 0.008251146717068603 1071.76/1069.15 c cleaning 494 clauses out of 1711 for limit 0.013549218753054704 1071.76/1069.18 c cleaning 494 clauses out of 1717 for limit 0.022266392275654294 1071.86/1069.21 c cleaning 492 clauses out of 1721 for limit 0.03656168008297063 1071.86/1069.25 c cleaning 490 clauses out of 1730 for limit 0.06004146912108325 1071.86/1069.28 c cleaning 500 clauses out of 1741 for limit 0.09848929778574489 1071.96/1069.32 c cleaning 500 clauses out of 1739 for limit 0.1622837720077687 1071.96/1069.35 c cleaning 503 clauses out of 1740 for limit 0.26774158256374897 1071.96/1069.39 c cleaning 496 clauses out of 1737 for limit 0.442304281063772 1072.06/1069.42 c cleaning 503 clauses out of 1744 for limit 0.7286750561595534 1072.06/1069.45 c cleaning 497 clauses out of 1737 for limit 1.2017064858992488 1072.06/1069.49 c cleaning 514 clauses out of 1741 for limit 1.9792007701715615 1072.16/1069.52 c cleaning 515 clauses out of 1728 for limit 3.291813962826483 1072.16/1069.55 c cleaning 499 clauses out of 1711 for limit 5.471619329455085 1072.16/1069.59 c cleaning 499 clauses out of 1717 for limit 9.036994862010001 1072.26/1069.62 c cleaning 495 clauses out of 1714 for limit 14.869670768378736 1072.26/1069.65 c cleaning 492 clauses out of 1718 for limit 24.44051687076891 1072.26/1069.68 c cleaning 512 clauses out of 1726 for limit 40.118865311599976 1072.36/1069.71 c cleaning 505 clauses out of 1714 for limit 66.62458273708104 1072.36/1069.74 c cleaning 491 clauses out of 1710 for limit 110.24010242727171 1072.36/1069.77 c cleaning 501 clauses out of 1718 for limit 180.77315352738418 1072.46/1069.80 c cleaning 506 clauses out of 1717 for limit 298.29274147187374 1072.46/1069.83 c cleaning 500 clauses out of 1712 for limit 493.8551865441636 1072.46/1069.86 c cleaning 495 clauses out of 1711 for limit 814.0943585124979 1072.46/1069.88 c cleaning 504 clauses out of 1716 for limit 1338.6386443367887 1072.56/1069.91 c cleaning 500 clauses out of 1713 for limit 2213.6740679530863 1072.56/1069.94 c cleaning 496 clauses out of 1714 for limit 3652.1669473087736 1072.56/1069.97 c cleaning 493 clauses out of 1717 for limit 6006.376052148127 1072.66/1070.00 c cleaning 494 clauses out of 1723 for limit 9860.953533340942 1072.66/1070.04 c cleaning 496 clauses out of 1733 for limit 16233.028875023963 1072.66/1070.07 c cleaning 501 clauses out of 1734 for limit 26674.812931306296 1072.76/1070.11 c cleaning 492 clauses out of 1733 for limit 44015.7189373109 1072.76/1070.14 c cleaning 497 clauses out of 1740 for limit 72223.49313559296 1072.76/1070.16 c cleaning 501 clauses out of 1744 for limit 118951.97467878695 1072.76/1070.19 c cleaning 488 clauses out of 1742 for limit 196196.54767735407 1072.86/1070.22 c cleaning 512 clauses out of 1754 for limit 321340.7550526432 1072.86/1070.25 c cleaning 500 clauses out of 1742 for limit 533584.413783722 1072.86/1070.28 c cleaning 470 clauses out of 1742 for limit 879952.0799751655 1072.96/1070.31 c cleaning 515 clauses out of 1772 for limit 1426590.5482516026 1072.96/1070.34 c cleaning 873 clauses out of 1759 for limit 2374773.1552819875 1072.96/1070.37 c cleaning 691 clauses out of 1384 for limit 4967509.928056239 1073.06/1070.40 c cleaning 583 clauses out of 1196 for limit 9508304.394038158 1073.06/1070.43 c cleaning 285 clauses out of 1110 for limit 1.6844713513462745E7 1073.06/1070.47 c cleaning 301 clauses out of 1325 for limit 2.3271619994238146E7 1073.06/1070.49 c cleaning 390 clauses out of 1524 for limit 3.3366712161787394E7 1073.16/1070.53 c cleaning 455 clauses out of 1634 for limit 5.132183980433928E7 1073.16/1070.56 c cleaning 836 clauses out of 1679 for limit 8.236817807332456E7 1073.16/1070.59 c cleaning 509 clauses out of 1343 for limit 1.6982046677975407E8 1073.26/1070.62 c cleaning 296 clauses out of 1334 for limit 2.819461056848148E8 1073.26/1070.65 c cleaning 611 clauses out of 1540 for limit 4.035767323751608E8 1073.26/1070.68 c cleaning 344 clauses out of 1428 for limit 7.170344275629876E8 1073.36/1070.70 c cleaning 395 clauses out of 1584 for limit 1.06602876977207E9 1073.36/1070.73 c cleaning 442 clauses out of 1689 for limit 1.6487330364573019E9 1073.36/1070.76 c cleaning 683 clauses out of 1747 for limit 2.628711782715843E9 1073.46/1070.80 c cleaning 391 clauses out of 1563 for limit 4.840589718169587E9 1073.46/1070.83 c cleaning 475 clauses out of 1673 for limit 7.465376405779728E9 1073.46/1070.86 c cleaning 475 clauses out of 1697 for limit 1.2125151779889458E10 1073.46/1070.89 c cleaning 797 clauses out of 1722 for limit 1.970569542271908E10 1073.56/1070.92 c cleaning 346 clauses out of 1425 for limit 3.9270455228309235E10 1073.56/1070.96 c cleaning 423 clauses out of 1580 for limit 5.846744447299553E10 1073.56/1070.99 c cleaning 821 clauses out of 1657 for limit 9.19400165128518E10 1073.66/1071.02 c cleaning 525 clauses out of 1336 for limit 1.8805137562616464E11 1073.66/1071.05 c cleaning 285 clauses out of 1311 for limit 3.160357174893872E11 1073.66/1071.08 c cleaning 441 clauses out of 1525 for limit 4.476003231547177E11 1073.76/1071.12 c cleaning 412 clauses out of 1585 for limit 7.109210396312257E11 1073.76/1071.15 c cleaning 828 clauses out of 1672 for limit 1.1102882301383567E12 1073.76/1071.18 c cleaning 657 clauses out of 1346 for limit 2.279039538812825E12 1073.86/1071.21 c cleaning 336 clauses out of 1188 for limit 4.254042792346346E12 1073.86/1071.24 c cleaning 365 clauses out of 1351 for limit 6.16288865092786E12 1073.86/1071.27 c cleaning 368 clauses out of 1486 for limit 9.240101624745145E12 1073.96/1071.31 c cleaning 737 clauses out of 1620 for limit 1.4005720432092629E13 1073.96/1071.35 c cleaning 294 clauses out of 1382 for limit 2.7047915431959844E13 1073.96/1071.38 c cleaning 416 clauses out of 1588 for limit 3.8819258171675625E13 1074.06/1071.41 c cleaning 558 clauses out of 1672 for limit 6.080192703205566E13 1074.06/1071.44 c cleaning 687 clauses out of 1616 for limit 1.0395303442738697E14 1074.06/1071.47 c cleaning 348 clauses out of 1427 for limit 1.9374986914013428E14 1074.16/1071.50 c cleaning 481 clauses out of 1578 for limit 2.886554537612568E14 1074.16/1071.53 c cleaning 436 clauses out of 1598 for limit 4.70544162513798E14 1074.16/1071.56 c cleaning 464 clauses out of 1663 for limit 7.464063312060616E14 1074.16/1071.59 c cleaning 502 clauses out of 1697 for limit 1.2038505760590975E15 1074.26/1071.62 c cleaning 481 clauses out of 1696 for limit 1.988469701980823E15 1074.26/1071.66 c cleaning 842 clauses out of 1716 for limit 3.2442771016806836E-5 1074.26/1071.69 c cleaning 650 clauses out of 1372 for limit 6.678331562409408E-5 1074.36/1071.72 c cleaning 489 clauses out of 1223 for limit 1.2367617069450952E-4 1074.36/1071.75 c cleaning 536 clauses out of 1234 for limit 2.0214044356248713E-4 1074.36/1071.77 c cleaning 317 clauses out of 1197 for limit 3.433172292446316E-4 1074.46/1071.80 c cleaning 326 clauses out of 1381 for limit 4.91231795807698E-4 1074.46/1071.84 c cleaning 400 clauses out of 1554 for limit 7.192013746797335E-4 1074.46/1071.87 c cleaning 460 clauses out of 1654 for limit 0.001114350738175339 1074.56/1071.91 c cleaning 476 clauses out of 1694 for limit 0.001794319972710934 1074.56/1071.95 c cleaning 482 clauses out of 1718 for limit 0.002917736207895844 1074.56/1071.97 c cleaning 505 clauses out of 1736 for limit 0.004761846048859622 1074.66/1072.01 c cleaning 505 clauses out of 1733 for limit 0.007882272033323005 1074.66/1072.05 c cleaning 500 clauses out of 1726 for limit 0.013025549509904316 1074.66/1072.08 c cleaning 501 clauses out of 1728 for limit 0.02149898802342771 1074.76/1072.12 c cleaning 487 clauses out of 1725 for limit 0.03544537047535433 1074.76/1072.15 c cleaning 505 clauses out of 1738 for limit 0.05801692868293178 1074.76/1072.19 c cleaning 494 clauses out of 1733 for limit 0.09595372314821835 1074.86/1072.22 c cleaning 502 clauses out of 1741 for limit 0.15782890114406356 1074.86/1072.26 c cleaning 501 clauses out of 1739 for limit 0.2605803175278822 1074.96/1072.30 c cleaning 499 clauses out of 1736 for limit 0.42961390911836206 1074.96/1072.34 c cleaning 489 clauses out of 1737 for limit 0.70808292698633 1074.96/1072.37 c cleaning 491 clauses out of 1749 for limit 1.160872519907213 1075.06/1072.41 c cleaning 509 clauses out of 1757 for limit 1.903811535476895 1075.06/1072.45 c cleaning 500 clauses out of 1748 for limit 3.1558051033933645 1075.06/1072.48 c cleaning 502 clauses out of 1748 for limit 5.204344791549358 1075.16/1072.52 c cleaning 513 clauses out of 1747 for limit 8.596169755344595 1075.16/1072.56 c cleaning 486 clauses out of 1734 for limit 14.282514778580673 1075.16/1072.59 c cleaning 507 clauses out of 1747 for limit 23.35512766018001 1075.26/1072.63 c cleaning 503 clauses out of 1740 for limit 38.67067824341477 1075.26/1072.66 c cleaning 502 clauses out of 1737 for limit 63.883265254957244 1075.26/1072.70 c cleaning 490 clauses out of 1735 for limit 105.47349384169699 1075.36/1072.73 c cleaning 505 clauses out of 1745 for limit 172.94311107098778 1075.36/1072.77 c cleaning 502 clauses out of 1741 for limit 286.1477439500599 1075.46/1072.80 c cleaning 507 clauses out of 1738 for limit 472.2377493762122 1075.46/1072.83 c cleaning 501 clauses out of 1731 for limit 781.9325491291097 1075.46/1072.86 c cleaning 504 clauses out of 1731 for limit 1290.8021807596267 1075.46/1072.89 c cleaning 501 clauses out of 1726 for limit 2132.737190405524 1075.56/1072.92 c cleaning 485 clauses out of 1725 for limit 3519.2078779712206 1075.56/1072.96 c cleaning 501 clauses out of 1740 for limit 5753.613163171482 1075.56/1073.00 c cleaning 484 clauses out of 1740 for limit 9497.975786454637 1075.66/1073.03 c cleaning 507 clauses out of 1755 for limit 15514.027638074229 1075.66/1073.06 c cleaning 499 clauses out of 1751 for limit 25720.23651183773 1075.76/1073.10 c cleaning 495 clauses out of 1749 for limit 42337.347580221925 1075.76/1073.14 c cleaning 495 clauses out of 1754 for limit 69620.91930472021 1649.70/1646.36 c cleaning 312484 clauses out of 625255 for limit 2.6672219487433966E-7 1650.70/1647.38 c cleaning 156575 clauses out of 313271 for limit 8.77914098180205E-7 1651.10/1647.72 c cleaning 78482 clauses out of 157196 for limit 2.8852710148900138E-6 1651.20/1647.86 c cleaning 39410 clauses out of 79216 for limit 9.461066722496799E-6 1651.30/1647.97 c cleaning 20072 clauses out of 40304 for limit 3.0604953752832415E-5 1651.40/1648.06 c cleaning 10205 clauses out of 20732 for limit 9.811932786929058E-5 1651.50/1648.15 c cleaning 5091 clauses out of 11027 for limit 3.04224563862723E-4 1651.60/1648.23 c cleaning 2741 clauses out of 6436 for limit 8.595902945610363E-4 1651.70/1648.31 c cleaning 1623 clauses out of 4197 for limit 0.00217817856586616 1651.70/1648.37 c cleaning 1055 clauses out of 3072 for limit 0.0048977667822631575 1651.80/1648.44 c cleaning 783 clauses out of 2519 for limit 0.009869975072692534 1651.90/1648.51 c cleaning 636 clauses out of 2234 for limit 0.018316728916801563 1651.90/1648.58 c cleaning 564 clauses out of 2099 for limit 0.032181704815955496 1652.00/1648.63 c cleaning 530 clauses out of 2036 for limit 0.054768911629103904 1652.10/1648.70 c cleaning 514 clauses out of 2004 for limit 0.09158008254091853 1652.10/1648.76 c cleaning 512 clauses out of 1990 for limit 0.1520903146624927 1652.20/1648.82 c cleaning 507 clauses out of 1978 for limit 0.2523389168664847 1652.20/1648.89 c cleaning 490 clauses out of 1971 for limit 0.4176185532885725 1652.30/1648.94 c cleaning 507 clauses out of 1982 for limit 0.6855721350804255 1652.40/1649.01 c cleaning 499 clauses out of 1976 for limit 1.1351683297290165 1652.40/1649.08 c cleaning 493 clauses out of 1975 for limit 1.8692481948052861 1652.50/1649.14 c cleaning 483 clauses out of 1983 for limit 3.0732773444890245 1652.60/1649.20 c cleaning 511 clauses out of 2000 for limit 5.025165390197664 1652.60/1649.25 c cleaning 509 clauses out of 1990 for limit 8.33715120450574 1652.70/1649.32 c cleaning 503 clauses out of 1979 for limit 13.797862847751883 1652.70/1649.38 c cleaning 488 clauses out of 1976 for limit 22.789068019595632 1652.80/1649.45 c cleaning 497 clauses out of 1991 for limit 37.411202445106554 1652.90/1649.51 c cleaning 497 clauses out of 1991 for limit 61.511174406802134 1652.90/1649.58 c cleaning 487 clauses out of 1996 for limit 101.38872286577035 1653.00/1649.63 c cleaning 496 clauses out of 2008 for limit 166.0381386960505 1653.10/1649.70 c cleaning 490 clauses out of 2013 for limit 273.4123883507637 1653.10/1649.76 c cleaning 491 clauses out of 2021 for limit 448.21100274586627 1653.20/1649.83 c cleaning 485 clauses out of 2030 for limit 735.8828405088053 1653.20/1649.89 c cleaning 494 clauses out of 2047 for limit 1205.9013514413343 1653.30/1649.96 c cleaning 493 clauses out of 2051 for limit 1980.8465236419909 1653.40/1650.03 c cleaning 507 clauses out of 2058 for limit 3255.5697508335093 1653.40/1650.09 c cleaning 501 clauses out of 2051 for limit 5387.193829991311 1653.50/1650.15 c cleaning 507 clauses out of 2050 for limit 8888.537069265622 1653.60/1650.22 c cleaning 500 clauses out of 2044 for limit 14716.131378242591 1653.60/1650.29 c cleaning 492 clauses out of 2045 for limit 24281.283196987515 1653.70/1650.35 c cleaning 506 clauses out of 2052 for limit 39866.57858332281 1653.80/1650.41 c cleaning 499 clauses out of 2046 for limit 65938.12286822093 1653.80/1650.48 c cleaning 500 clauses out of 2047 for limit 108687.6636287248 1653.90/1650.53 c cleaning 507 clauses out of 2047 for limit 179240.4972992768 1653.90/1650.58 c cleaning 573 clauses out of 2039 for limit 296454.5581891872 1654.00/1650.63 c cleaning 543 clauses out of 1970 for limit 508046.0346771449 1654.00/1650.69 c cleaning 513 clauses out of 1924 for limit 855296.2663043587 1654.10/1650.73 c cleaning 941 clauses out of 1910 for limit 1419415.8544540494 1654.10/1650.78 c cleaning 725 clauses out of 1469 for limit 3043526.659902337 1654.20/1650.81 c cleaning 347 clauses out of 1246 for limit 5929332.081284898 1654.20/1650.84 c cleaning 349 clauses out of 1399 for limit 8708873.638392663 1654.20/1650.89 c cleaning 744 clauses out of 1548 for limit 1.2953752971803758E7 1654.30/1650.93 c cleaning 430 clauses out of 1304 for limit 2.53597438606934E7 1654.30/1650.97 c cleaning 312 clauses out of 1377 for limit 3.9723539279629126E7 1654.40/1651.01 c cleaning 339 clauses out of 1563 for limit 5.759831278639464E7 1654.40/1651.06 c cleaning 611 clauses out of 1724 for limit 8.611669726345214E7 1654.50/1651.12 c cleaning 316 clauses out of 1613 for limit 1.517910435008027E8 1654.50/1651.16 c cleaning 509 clauses out of 1797 for limit 2.246923693607164E8 1654.60/1651.21 c cleaning 411 clauses out of 1787 for limit 3.722487291040216E8 1654.60/1651.26 c cleaning 916 clauses out of 1876 for limit 5.847642706391081E8 1654.70/1651.30 c cleaning 637 clauses out of 1461 for limit 1.2395208774664474E9 1654.70/1651.35 c cleaning 327 clauses out of 1324 for limit 2.2556513039892116E9 1654.70/1651.39 c cleaning 317 clauses out of 1496 for limit 3.28889289568542E9 1654.80/1651.43 c cleaning 347 clauses out of 1679 for limit 4.832663043684987E9 1654.80/1651.49 c cleaning 469 clauses out of 1834 for limit 7.3107644355771885E9 1654.90/1651.54 c cleaning 451 clauses out of 1863 for limit 1.1845029055504343E10 1654.90/1651.60 c cleaning 489 clauses out of 1913 for limit 1.9042519720536884E10 1655.00/1651.64 c cleaning 499 clauses out of 1923 for limit 3.1209116547844013E10 1655.00/1651.69 c cleaning 483 clauses out of 1924 for limit 5.144125774426337E10 1655.10/1651.75 c cleaning 499 clauses out of 1941 for limit 8.409051222226163E10 1655.20/1651.80 c cleaning 964 clauses out of 1942 for limit 1.3860509496555722E11 1655.20/1651.85 c cleaning 470 clauses out of 1478 for limit 3.003377156755723E11 1655.30/1651.90 c cleaning 705 clauses out of 1508 for limit 4.854436815910373E11 1655.30/1651.94 c cleaning 360 clauses out of 1303 for limit 9.265133163743219E11 1655.30/1651.99 c cleaning 329 clauses out of 1444 for limit 1.3801277456695603E12 1655.40/1652.04 c cleaning 346 clauses out of 1614 for limit 2.0342500014180378E12 1655.40/1652.10 c cleaning 442 clauses out of 1768 for limit 3.0625379686356187E12 1655.50/1652.15 c cleaning 437 clauses out of 1826 for limit 4.890112564516235E12 1655.60/1652.21 c cleaning 920 clauses out of 1889 for limit 7.795492507444978E12 1655.60/1652.27 c cleaning 472 clauses out of 1473 for limit 1.6552618422697521E13 1655.70/1652.32 c cleaning 430 clauses out of 1497 for limit 2.675256882736924E13 1655.70/1652.37 c cleaning 293 clauses out of 1568 for limit 4.216301227360526E13 1655.80/1652.41 c cleaning 388 clauses out of 1774 for limit 6.13967593715196E13 1655.80/1652.46 c cleaning 442 clauses out of 1886 for limit 9.523865709156523E13 1655.90/1652.51 c cleaning 478 clauses out of 1944 for limit 1.5237530146297312E14 1655.90/1652.56 c cleaning 974 clauses out of 1971 for limit 2.4908791652352238E14 1656.00/1652.60 c cleaning 251 clauses out of 1492 for limit 5.399503031221048E14 1656.00/1652.65 c cleaning 779 clauses out of 1742 for limit 7.634223330084032E14 1656.00/1652.69 c cleaning 300 clauses out of 1463 for limit 1.499079178710469E15 1656.10/1652.73 c cleaning 808 clauses out of 1662 for limit 2.1739985697485066E-5 1656.10/1652.77 c cleaning 561 clauses out of 1354 for limit 4.4007580912284544E-5 1656.20/1652.82 c cleaning 478 clauses out of 1293 for limit 7.599823786499587E-5 1656.20/1652.87 c cleaning 471 clauses out of 1315 for limit 1.2323446433806779E-4 1656.30/1652.92 c cleaning 431 clauses out of 1344 for limit 1.9884494403444485E-4 1656.30/1652.96 c cleaning 354 clauses out of 1418 for limit 3.123676400939595E-4 1656.40/1653.02 c cleaning 281 clauses out of 1560 for limit 4.663752651428507E-4 1656.40/1653.07 c cleaning 392 clauses out of 1779 for limit 6.744349164408204E-4 1656.50/1653.12 c cleaning 454 clauses out of 1888 for limit 0.0010490698438206452 1656.50/1653.17 c cleaning 474 clauses out of 1932 for limit 0.0016872760208844113 1656.60/1653.22 c cleaning 480 clauses out of 1958 for limit 0.0027455948787822853 1656.60/1653.28 c cleaning 491 clauses out of 1978 for limit 0.004482071118184964 1656.70/1653.33 c cleaning 501 clauses out of 1989 for limit 0.007365379996939606 1656.70/1653.38 c cleaning 495 clauses out of 1986 for limit 0.012140527595150866 1656.80/1653.43 c cleaning 505 clauses out of 1992 for limit 0.019981029881470533 1656.80/1653.48 c cleaning 494 clauses out of 1986 for limit 0.033017891377664615 1656.90/1653.54 c cleaning 498 clauses out of 1992 for limit 0.054286911141264466 1656.90/1653.59 c cleaning 504 clauses out of 1998 for limit 0.08961545534749929 1657.00/1653.63 c cleaning 612 clauses out of 1990 for limit 0.1477893582298666 1657.00/1653.68 c cleaning 537 clauses out of 1879 for limit 0.25838057377711965 1657.10/1653.72 c cleaning 522 clauses out of 1841 for limit 0.4344644289995235 1657.10/1653.78 c cleaning 499 clauses out of 1822 for limit 0.7261378305481645 1657.20/1653.83 c cleaning 525 clauses out of 1820 for limit 1.1952215080651363 1657.20/1653.87 c cleaning 504 clauses out of 1796 for limit 1.9994191811094482 1657.30/1653.91 c cleaning 503 clauses out of 1791 for limit 3.3032084119649268 1657.30/1653.97 c cleaning 497 clauses out of 1788 for limit 5.456572554173623 1657.40/1654.02 c cleaning 512 clauses out of 1794 for limit 8.995481864452914 1657.40/1654.08 c cleaning 504 clauses out of 1779 for limit 14.915000581698981 1657.50/1654.13 c cleaning 511 clauses out of 1777 for limit 24.673837800776507 1657.50/1654.19 c cleaning 497 clauses out of 1765 for limit 40.92614124743759 1657.60/1654.24 c cleaning 505 clauses out of 1770 for limit 67.43683084956297 1657.60/1654.30 c cleaning 494 clauses out of 1766 for limit 111.57582805200605 1657.70/1654.35 c cleaning 489 clauses out of 1768 for limit 183.06123885144996 1657.70/1654.39 c cleaning 497 clauses out of 1779 for limit 300.0257960276887 1657.80/1654.44 c cleaning 493 clauses out of 1782 for limit 493.9497069172864 1657.80/1654.49 c cleaning 500 clauses out of 1790 for limit 811.7602845186236 1657.90/1654.54 c cleaning 488 clauses out of 1790 for limit 1338.7013045192243 1657.90/1654.58 c cleaning 486 clauses out of 1803 for limit 2193.9735606608183 1658.00/1654.62 c cleaning 494 clauses out of 1815 for limit 3587.0493399267 1658.00/1654.67 c cleaning 507 clauses out of 1822 for limit 5898.695882805205 1800.08/1796.32 c starts : 24 1800.08/1796.32 c conflicts : 2491245 1800.08/1796.32 c decisions : 3801882 1800.08/1796.32 c propagations : 494296782 1800.08/1796.32 c inspects : 12877280886 1800.08/1796.32 c learnt literals : 76 1800.08/1796.32 c learnt binary clauses : 3091 1800.08/1796.32 c learnt ternary clauses : 10965 1800.08/1796.32 c learnt clauses : 2491169 1800.08/1796.32 c root simplifications : 0 1800.08/1796.32 c removed literals (reason simplification) : 0 1800.08/1796.32 c reason swapping (by a shorter reason) : 0 1800.08/1796.32 c Calls to reduceDB : 493 1800.08/1796.32 c speed (decisions/second) : 2117.1814439603327 1800.08/1796.32 c non guided choices 8286 1800.08/1796.32 s UNKNOWN 1800.08/1796.32 c Total wall clock time (ms): 1796.21
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-3741378-1338742983/watcher-3741378-1338742983 -o /tmp/evaluation-result-3741378-1338742983/solver-3741378-1338742983 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741378-1338742983.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: 2.18 2.09 2.03 3/194 8818 /proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/8818/stat : 8818 (java) D 8816 8818 30888 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340426791 9515008 183 33554432000 1073741824 1073778376 140736570406432 140736570397464 249650036405 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/8818/statm: 2323 183 140 9 0 71 0 [startup+0.0526531 s] /proc/loadavg: 2.18 2.09 2.03 3/194 8818 /proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=2623916 CPUtime=0.02 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 3957 0 1 0 2 0 0 0 20 0 13 0 340426791 2686889984 5165 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 655979 5165 1700 9 0 646680 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2623916 [startup+0.100251 s] /proc/loadavg: 2.18 2.09 2.03 3/194 8818 /proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=2957856 CPUtime=0.08 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 4736 0 1 0 7 1 0 0 20 0 18 0 340426791 3028844544 6444 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 739464 6445 2055 9 0 729885 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2957856 [startup+0.300227 s] /proc/loadavg: 2.18 2.09 2.03 3/194 8818 /proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=2957856 CPUtime=0.47 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 7559 0 1 0 46 1 0 0 20 0 18 0 340426791 3028844544 10412 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 739464 10412 2240 9 0 729885 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 2957856 [startup+0.700232 s] /proc/loadavg: 2.18 2.09 2.03 3/194 8818 /proc/meminfo: memFree=30519212/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=3024420 CPUtime=1.49 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 11961 0 1 0 146 3 0 0 20 0 19 0 340426791 3097006080 32151 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 756105 32151 2271 9 0 746526 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3024420 [startup+1.50068 s] /proc/loadavg: 2.18 2.09 2.03 3/213 8837 /proc/meminfo: memFree=30398644/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=3024420 CPUtime=2.42 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 12097 0 1 0 239 3 0 0 20 0 19 0 340426791 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 756105 33181 2277 9 0 746526 0 [pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1.46 cores=0,2,4,6 /proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3095 0 1 0 144 2 0 0 20 0 19 0 340426792 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373562622200 140373435991732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340426795 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/8818/task/8833/stat : 8833 (java) R 8816 8818 30888 0 -1 4202560 3843 0 0 0 51 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373068703928 140373565212630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3959 0 0 0 40 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 33181 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.42 Current children cumulated vsize (KiB) 3024420 [startup+3.10062 s] /proc/loadavg: 2.18 2.09 2.03 3/213 8837 /proc/meminfo: memFree=30390080/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=3024420 CPUtime=4.04 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 12107 0 1 0 401 3 0 0 20 0 19 0 340426791 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 756105 36766 2277 9 0 746526 0 [pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=3.05 cores=0,2,4,6 /proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3103 0 1 0 303 2 0 0 20 0 19 0 340426792 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373562620352 140373435991589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340426795 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3844 0 0 0 52 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.41 cores=0,2,4,6 /proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3959 0 0 0 41 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 36766 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.04 Current children cumulated vsize (KiB) 3024420 [startup+6.30063 s] /proc/loadavg: 2.25 2.10 2.03 3/213 8837 /proc/meminfo: memFree=30367056/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=3024420 CPUtime=7.24 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 12116 0 1 0 720 4 0 0 20 0 19 0 340426791 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 756105 40715 2277 9 0 746526 0 [pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=6.24 cores=0,2,4,6 /proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3112 0 1 0 622 2 0 0 20 0 19 0 340426792 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373562622312 140373435888960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340426794 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340426795 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3844 0 0 0 52 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3959 0 0 0 42 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 40715 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.24 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] ################ # More data... # ################ [pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6 /proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.7 cores=0,2,4,6 /proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 99 0 0 0 35 35 0 0 20 0 19 0 340426798 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420304 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1725.69 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 8933 /proc/meminfo: memFree=28096520/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=3024420 CPUtime=1786.07 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 14456 0 1 0 178477 130 0 0 20 0 19 0 340426791 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 756105 420377 2306 9 0 746526 0 [pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1774.22 cores=0,2,4,6 /proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3264 0 1 0 177389 33 0 0 20 0 19 0 340426792 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373562621232 140373436069360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 322 0 0 0 36 15 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 179 0 0 0 29 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0.48 cores=0,2,4,6 /proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 217 0 0 0 34 14 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0.5 cores=0,2,4,6 /proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 223 0 0 0 38 12 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0.54 cores=0,2,4,6 /proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 280 0 0 0 37 17 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 145 0 0 0 25 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 175 0 0 0 25 10 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=2.51 cores=0,2,4,6 /proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 241 0 0 0 244 7 0 0 20 0 19 0 340426795 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6 /proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.71 cores=0,2,4,6 /proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 103 0 0 0 36 35 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1786.07 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.31 s] /proc/loadavg: 2.00 2.00 2.00 3/213 8933 /proc/meminfo: memFree=28083860/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 14456 0 1 0 179878 130 0 0 20 0 19 0 340426791 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 756105 420377 2306 9 0 746526 0 [pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1788.2 cores=0,2,4,6 /proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3264 0 1 0 178786 34 0 0 20 0 19 0 340426792 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373562621232 140373436058367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 322 0 0 0 36 15 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 179 0 0 0 29 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0.48 cores=0,2,4,6 /proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 217 0 0 0 34 14 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0.5 cores=0,2,4,6 /proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 223 0 0 0 38 12 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0.54 cores=0,2,4,6 /proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 280 0 0 0 37 17 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 145 0 0 0 25 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 175 0 0 0 25 10 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=2.51 cores=0,2,4,6 /proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 241 0 0 0 244 7 0 0 20 0 19 0 340426795 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6 /proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.72 cores=0,2,4,6 /proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 103 0 0 0 36 36 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.31 s] /proc/loadavg: 2.00 2.00 2.00 3/213 8933 /proc/meminfo: memFree=28083860/32873844 swapFree=8656/8656 [pid=8818] ppid=8816 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6 /proc/8818/stat : 8818 (java) S 8816 8818 30888 0 -1 4202496 14456 0 1 0 179878 130 0 0 20 0 19 0 340426791 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140736127465056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/8818/statm: 756105 420377 2306 9 0 746526 0 [pid=8818/tid=8820] ppid=8816 vsize=3024420 CPUtime=1788.2 cores=0,2,4,6 /proc/8818/task/8820/stat : 8820 (java) R 8816 8818 30888 0 -1 4202560 3264 0 1 0 178786 34 0 0 20 0 19 0 340426792 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373562621232 140373436058367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8821] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/8818/task/8821/stat : 8821 (java) S 8816 8818 30888 0 -1 4202560 322 0 0 0 36 15 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373428656936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8822] ppid=8816 vsize=3024420 CPUtime=0.51 cores=0,2,4,6 /proc/8818/task/8822/stat : 8822 (java) S 8816 8818 30888 0 -1 4202560 303 0 0 0 33 18 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373427604136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8823] ppid=8816 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/8818/task/8823/stat : 8823 (java) S 8816 8818 30888 0 -1 4202560 179 0 0 0 29 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373426551848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8818/tid=8824] ppid=8816 vsize=3024420 CPUtime=0.48 cores=0,2,4,6 /proc/8818/task/8824/stat : 8824 (java) S 8816 8818 30888 0 -1 4202560 217 0 0 0 34 14 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373425499048 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8825] ppid=8816 vsize=3024420 CPUtime=0.5 cores=0,2,4,6 /proc/8818/task/8825/stat : 8825 (java) S 8816 8818 30888 0 -1 4202560 223 0 0 0 38 12 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373424445736 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8826] ppid=8816 vsize=3024420 CPUtime=0.54 cores=0,2,4,6 /proc/8818/task/8826/stat : 8826 (java) S 8816 8818 30888 0 -1 4202560 280 0 0 0 37 17 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373087217832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8827] ppid=8816 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/8818/task/8827/stat : 8827 (java) S 8816 8818 30888 0 -1 4202560 145 0 0 0 25 7 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373086165544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8828] ppid=8816 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/8818/task/8828/stat : 8828 (java) S 8816 8818 30888 0 -1 4202560 175 0 0 0 25 10 0 0 20 0 19 0 340426794 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373085112744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8829] ppid=8816 vsize=3024420 CPUtime=2.51 cores=0,2,4,6 /proc/8818/task/8829/stat : 8829 (java) S 8816 8818 30888 0 -1 4202560 241 0 0 0 244 7 0 0 20 0 19 0 340426795 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373072915176 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8830] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8830/stat : 8830 (java) S 8816 8818 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373071861240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8831] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8831/stat : 8831 (java) S 8816 8818 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340426796 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373070808840 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8832] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8832/stat : 8832 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373069757328 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8833] ppid=8816 vsize=3024420 CPUtime=0.58 cores=0,2,4,6 /proc/8818/task/8833/stat : 8833 (java) S 8816 8818 30888 0 -1 4202560 3854 0 0 0 58 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373068703928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8818/tid=8834] ppid=8816 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/8818/task/8834/stat : 8834 (java) S 8816 8818 30888 0 -1 4202560 3963 0 0 0 47 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373067651128 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8835] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8835/stat : 8835 (java) S 8816 8818 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373066599032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8818/tid=8836] ppid=8816 vsize=3024420 CPUtime=0.72 cores=0,2,4,6 /proc/8818/task/8836/stat : 8836 (java) S 8816 8818 30888 0 -1 4202560 103 0 0 0 36 36 0 0 20 0 19 0 340426798 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373065546440 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8818/tid=8837] ppid=8816 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/8818/task/8837/stat : 8837 (java) S 8816 8818 30888 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340426852 3097006080 420377 33554432000 1073741824 1073778376 140736127473920 140373063345576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 3024420 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8818 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=420206 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=903710 # CPU time returned by wait4() is 1796.32 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.33 CPU time (s): 1800.08 CPU user time (s): 1798.78 CPU system time (s): 1.3 CPU usage (%): 100.209 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.42 system time used= 1.90371 maximum resident set size= 1681624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14486 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38136 involuntary context switches= 7734 runsolver used 5.97309 second user time and 15.2007 second system time The end
Begin job on node102 at 2012-06-03 19:03:03 IDJOB=3741378 IDBENCH=89848 IDSOLVER=2319 FILE ID=node102/3741378-1338742983 RUNJOBID= node102-1338713280-30904 PBS_JOBID= 14636729 Free space on /tmp= 71140 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741378-1338742983/watcher-3741378-1338742983 -o /tmp/evaluation-result-3741378-1338742983/solver-3741378-1338742983 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741378-1338742983.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfac8cd93d8a1de6ab1cef68bd1ac7c RANDOM SEED=961695576 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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 : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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 : 2667.178 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: 30519220 kB Buffers: 189432 kB Cached: 647436 kB SwapCached: 5520 kB Active: 947140 kB Inactive: 623372 kB Active(anon): 730380 kB Inactive(anon): 5604 kB Active(file): 216760 kB Inactive(file): 617768 kB Unevictable: 8656 kB Mlocked: 8656 kB SwapTotal: 67108856 kB SwapFree: 67097276 kB Dirty: 4320 kB Writeback: 0 kB AnonPages: 757384 kB Mapped: 17236 kB Shmem: 0 kB Slab: 619484 kB SReclaimable: 60348 kB SUnreclaim: 559136 kB KernelStack: 1608 kB PageTables: 5860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1828572 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 716800 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= 71168 MiB End job on node102 at 2012-06-03 19:33:01