Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.18 | 1792.01 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb |
MD5SUM | 6389567e651775a5f815611581d2023e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 474 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 474 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494177 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494177 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.06/0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.06/0.18 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.06/0.18 c no version file found!!! 0.06/0.19 c sun.arch.data.model 32 0.06/0.19 c java.version 1.6.0 0.06/0.19 c os.name Linux 0.06/0.19 c os.version 2.6.9-22.EL.rootsmp 0.06/0.19 c os.arch i386 0.06/0.19 c Free memory 1651659224 0.06/0.19 c Max memory 1654456320 0.06/0.19 c Total memory 1654456320 0.06/0.19 c Number of processors 2 0.15/0.24 --- Begin Solver configuration --- 0.15/0.24 c Stops conflict analysis at the first Unique Implication Point 0.15/0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.15/0.24 c Learn all clauses as in MiniSAT 0.15/0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.24 c VSIDS like heuristics from MiniSAT using a heap 0.15/0.24 c No reason simplification 0.15/0.24 c --- End Solver configuration --- 0.15/0.24 c solving /tmp/evaluation/352431-1176631808/instance-352431-1176631808.opb 0.15/0.24 c reading problem ... 12.61/10.69 c ... done. Wall clock time 10.446s. 12.61/10.69 c CPU time (experimental) 8.7s. 12.61/10.69 c #vars 10000 12.61/10.69 c #constraints 656900 1226.03/1220.06 c cleaning 109233 clauses out of 218500 for limit 3.99366085606121E9 1228.15/1222.17 c cleaning 54875 clauses out of 109767 for limit 1.311012145332248E10 1229.94/1223.92 c cleaning 27682 clauses out of 55392 for limit 4.284373759229884E10 1231.34/1225.32 c cleaning 14090 clauses out of 28211 for limit 1.388693218659437E11 1232.24/1226.22 c cleaning 7300 clauses out of 14621 for limit 4.41879247315791E11 1233.14/1227.14 c cleaning 3901 clauses out of 7820 for limit 1.3611165192714211E12 1233.84/1227.86 c cleaning 2201 clauses out of 4421 for limit 3.978381746118604E12 1234.34/1228.31 c cleaning 1348 clauses out of 2718 for limit 1.0650362247223506E13 1234.75/1228.72 c cleaning 917 clauses out of 1871 for limit 2.5540561639938547E13 1235.04/1229.06 c cleaning 711 clauses out of 1453 for limit 5.4182618770596836E13 1235.34/1229.38 c cleaning 618 clauses out of 1242 for limit 1.0453456037221689E14 1235.74/1229.72 c cleaning 562 clauses out of 1125 for limit 1.9051069847701494E14 1236.04/1230.05 c cleaning 524 clauses out of 1064 for limit 3.325222133182159E14 1236.44/1230.40 c cleaning 514 clauses out of 1040 for limit 5.610283894903755E14 1236.74/1230.74 c cleaning 506 clauses out of 1026 for limit 9.37835576995142E14 1237.05/1231.06 c cleaning 488 clauses out of 1020 for limit 1.5557140709689682E15 1237.44/1231.40 c cleaning 503 clauses out of 1030 for limit 2.5355932695236447E-5 1237.74/1231.72 c cleaning 509 clauses out of 1028 for limit 4.1938616459404605E-5 1238.04/1232.04 c cleaning 502 clauses out of 1018 for limit 6.9771941989305E-5 1238.34/1232.39 c cleaning 497 clauses out of 1016 for limit 1.1528976875641798E-4 1334.38/1328.05 c cleaning 13479 clauses out of 27019 for limit 1417676.7475214086 1335.98/1329.60 c cleaning 7004 clauses out of 14040 for limit 4499199.665623047 1336.98/1330.63 c cleaning 3743 clauses out of 7536 for limit 1.3823479466094257E7 1337.78/1331.40 c cleaning 2146 clauses out of 4297 for limit 4.014087563272349E7 1338.28/1331.96 c cleaning 1306 clauses out of 2648 for limit 1.070992837875486E8 1338.68/1332.38 c cleaning 898 clauses out of 1844 for limit 2.5413737582231396E8 1339.08/1332.77 c cleaning 714 clauses out of 1443 for limit 5.3396830413167995E8 1339.48/1333.18 c cleaning 608 clauses out of 1230 for limit 1.0341108549858551E9 1339.88/1333.50 c cleaning 541 clauses out of 1121 for limit 1.8693385878104317E9 1340.18/1333.84 c cleaning 519 clauses out of 1080 for limit 3.199821227019982E9 1340.58/1334.21 c cleaning 526 clauses out of 1061 for limit 5.3714306590045395E9 1434.59/1427.92 c cleaning 12760 clauses out of 25535 for limit 0.16272858417099542 1436.19/1429.57 c cleaning 6625 clauses out of 13275 for limit 0.5162036431636444 1437.39/1430.79 c cleaning 3568 clauses out of 7152 for limit 1.5832627709227736 1438.19/1431.54 c cleaning 2033 clauses out of 4082 for limit 4.565563301946983 1438.89/1432.26 c cleaning 1267 clauses out of 2550 for limit 12.064729451758206 1439.49/1432.80 c cleaning 882 clauses out of 1782 for limit 28.442740788156197 1439.89/1433.25 c cleaning 692 clauses out of 1401 for limit 59.721596177560954 1440.29/1433.69 c cleaning 600 clauses out of 1209 for limit 114.12981887022907 1440.69/1434.06 c cleaning 546 clauses out of 1109 for limit 205.18696596141004 1441.09/1434.41 c cleaning 518 clauses out of 1062 for limit 353.00281965031706 1441.39/1434.79 c cleaning 512 clauses out of 1045 for limit 592.2114493739774 1441.89/1435.22 c cleaning 502 clauses out of 1033 for limit 987.9811426497204 1489.87/1483.06 c cleaning 11004 clauses out of 22033 for limit 1.0201111802638792E11 1490.87/1484.01 c cleaning 5742 clauses out of 11526 for limit 3.2062315126121454E11 1491.47/1484.65 c cleaning 3129 clauses out of 6284 for limit 9.69824618300619E11 1497.15/1490.27 c cleaning 3315 clauses out of 6655 for limit 3.037893396061446E13 1497.65/1490.79 c cleaning 1901 clauses out of 3841 for limit 8.688937657855119E13 1498.15/1491.22 c cleaning 1210 clauses out of 2439 for limit 2.2543459501179903E14 1498.45/1491.58 c cleaning 862 clauses out of 1730 for limit 5.2465843477338044E14 1498.95/1492.00 c cleaning 677 clauses out of 1367 for limit 1.0938949642735971E15 1499.35/1492.43 c cleaning 584 clauses out of 1190 for limit 2.0723020816689082E-5 1499.76/1492.88 c cleaning 549 clauses out of 1106 for limit 3.677060577521532E-5 1500.25/1493.34 c cleaning 524 clauses out of 1058 for limit 6.34542393960151E-5 1500.81/1493.87 c cleaning 509 clauses out of 1034 for limit 1.070734160855738E-4 1501.31/1494.35 c cleaning 508 clauses out of 1025 for limit 1.7812883152542775E-4 1501.71/1494.77 c cleaning 499 clauses out of 1016 for limit 2.960641017966352E-4 1502.21/1495.27 c cleaning 500 clauses out of 1018 for limit 4.877778560282777E-4 1502.71/1495.71 c cleaning 496 clauses out of 1017 for limit 8.043967009830328E-4 1503.01/1496.05 c cleaning 495 clauses out of 1021 for limit 0.0013213606780407689 1503.31/1496.37 c cleaning 495 clauses out of 1026 for limit 0.0021684811282806486 1503.81/1496.81 c cleaning 503 clauses out of 1033 for limit 0.0035589967938296297 1504.11/1497.15 c cleaning 504 clauses out of 1031 for limit 0.0058865339319847014 1504.41/1497.46 c cleaning 500 clauses out of 1024 for limit 0.009744750230490259 1504.71/1497.80 c cleaning 495 clauses out of 1024 for limit 0.016070396759441413 1505.11/1498.19 c cleaning 502 clauses out of 1030 for limit 0.02637422639562642 1556.86/1549.67 c cleaning 10258 clauses out of 20530 for limit 649729.3853572583 1558.06/1550.88 c cleaning 5374 clauses out of 10770 for limit 2038415.0568805358 1558.66/1551.46 c cleaning 2935 clauses out of 5895 for limit 6135442.462706509 1559.06/1551.88 c cleaning 1713 clauses out of 3463 for limit 1.727573875233367E7 1559.46/1552.26 c cleaning 1115 clauses out of 2248 for limit 4.380056130565665E7 1559.86/1552.67 c cleaning 800 clauses out of 1632 for limit 9.939789878405482E7 1560.26/1553.05 c cleaning 659 clauses out of 1332 for limit 2.008394485934742E8 1560.66/1553.41 c cleaning 582 clauses out of 1173 for limit 3.761067433166647E8 1560.96/1553.73 c cleaning 530 clauses out of 1092 for limit 6.669248389767581E8 1561.26/1554.10 c cleaning 528 clauses out of 1064 for limit 1.1310526290522065E9 1561.66/1554.48 c cleaning 507 clauses out of 1033 for limit 1.9154749275495102E9 1562.19/1554.96 c cleaning 504 clauses out of 1027 for limit 3.1805098754893646E9 1562.69/1555.49 c cleaning 500 clauses out of 1022 for limit 5.265476410234319E9 1563.18/1555.92 c cleaning 509 clauses out of 1025 for limit 8.684086169452042E9 1563.58/1556.39 c cleaning 504 clauses out of 1013 for limit 1.4447439879099264E10 1568.41/1561.17 c cleaning 1992 clauses out of 4011 for limit 1.2128522881607233E11 1569.01/1561.70 c cleaning 1256 clauses out of 2517 for limit 3.1810040480094604E11 1569.41/1562.14 c cleaning 859 clauses out of 1763 for limit 7.504470168975089E11 1569.91/1562.67 c cleaning 682 clauses out of 1403 for limit 1.5535886940683481E12 1570.41/1563.17 c cleaning 609 clauses out of 1221 for limit 2.9439738373709326E12 1571.01/1563.74 c cleaning 543 clauses out of 1111 for limit 5.330364727408241E12 1571.62/1564.37 c cleaning 529 clauses out of 1070 for limit 9.14559821956362E12 1572.04/1564.74 c cleaning 516 clauses out of 1043 for limit 1.5503740766019885E13 1572.44/1565.12 c cleaning 500 clauses out of 1026 for limit 2.5965388257097863E13 1572.84/1565.58 c cleaning 508 clauses out of 1023 for limit 4.281726271997597E13 1573.24/1565.98 c cleaning 504 clauses out of 1018 for limit 7.117150961509612E13 1573.64/1566.40 c cleaning 490 clauses out of 1011 for limit 1.1782980306365434E14 1574.14/1566.87 c cleaning 484 clauses out of 1021 for limit 1.9241390443845234E14 1574.54/1567.27 c cleaning 494 clauses out of 1037 for limit 3.1242035751352725E14 1575.03/1567.73 c cleaning 512 clauses out of 1043 for limit 5.122590738924565E14 1575.43/1568.13 c cleaning 502 clauses out of 1033 for limit 8.546701919403324E14 1575.83/1568.58 c cleaning 486 clauses out of 1030 for limit 1.4121571507894942E15 1576.43/1569.12 c cleaning 516 clauses out of 1045 for limit 2.2977054933932536E-5 1576.73/1569.47 c cleaning 493 clauses out of 1027 for limit 3.8479292021184295E-5 1577.14/1569.88 c cleaning 501 clauses out of 1034 for limit 6.302790398085896E-5 1628.36/1620.89 c cleaning 8493 clauses out of 17033 for limit 56.520569397744495 1630.26/1622.73 c cleaning 4486 clauses out of 9041 for limit 175.78086785397568 1631.46/1623.99 c cleaning 2507 clauses out of 5055 for limit 518.4690074276984 1632.27/1624.70 c cleaning 1501 clauses out of 3048 for limit 1418.0282563515425 1632.86/1625.35 c cleaning 1001 clauses out of 2046 for limit 3480.2912804757684 1633.26/1625.77 c cleaning 746 clauses out of 1546 for limit 7603.300094911039 1633.66/1626.16 c cleaning 630 clauses out of 1299 for limit 14908.15315629622 1634.06/1626.56 c cleaning 562 clauses out of 1170 for limit 27323.575774392688 1634.47/1627.00 c cleaning 528 clauses out of 1107 for limit 47577.0105314257 1634.96/1627.47 c cleaning 518 clauses out of 1079 for limit 80496.91065907937 1636.50/1629.00 c cleaning 1007 clauses out of 2061 for limit 189012.41325964752 1637.00/1629.45 c cleaning 744 clauses out of 1554 for limit 413402.5883188884 1637.50/1629.99 c cleaning 628 clauses out of 1313 for limit 809317.4456172489 1638.10/1630.56 c cleaning 564 clauses out of 1182 for limit 1478149.9851722468 1638.70/1631.18 c cleaning 533 clauses out of 1118 for limit 2577211.5165107693 1639.10/1631.52 c cleaning 539 clauses out of 1087 for limit 4380132.350490094 1639.40/1631.87 c cleaning 521 clauses out of 1047 for limit 7491891.359788372 1639.80/1632.29 c cleaning 484 clauses out of 1025 for limit 1.2607694086834656E7 1640.30/1632.71 c cleaning 491 clauses out of 1042 for limit 2.047303400400265E7 1640.70/1633.19 c cleaning 490 clauses out of 1050 for limit 3.3472026207447022E7 1681.22/1673.56 c cleaning 7769 clauses out of 15560 for limit 7.439407009301387E12 1682.22/1674.53 c cleaning 4138 clauses out of 8293 for limit 2.3065408861841082E13 1682.92/1675.21 c cleaning 2320 clauses out of 4653 for limit 6.765916499526076E13 1683.42/1675.77 c cleaning 1401 clauses out of 2833 for limit 1.832605555274888E14 1683.92/1676.20 c cleaning 946 clauses out of 1932 for limit 4.431638617539922E14 1684.32/1676.64 c cleaning 736 clauses out of 1487 for limit 9.50497306528283E14 1689.48/1681.74 c cleaning 2622 clauses out of 5252 for limit 2.4303825396907605E-4 1689.88/1682.17 c cleaning 1557 clauses out of 3128 for limit 6.716135861826651E-4 1690.38/1682.66 c cleaning 1027 clauses out of 2071 for limit 0.0016728692779723016 1690.98/1683.23 c cleaning 759 clauses out of 1544 for limit 0.003700417237764629 1691.48/1683.76 c cleaning 636 clauses out of 1286 for limit 0.007334110036635974 1695.71/1687.90 c cleaning 1815 clauses out of 3650 for limit 0.05197935040620334 1696.21/1688.47 c cleaning 1154 clauses out of 2334 for limit 0.13391962845118285 1696.81/1689.04 c cleaning 830 clauses out of 1681 for limit 0.30695009546710034 1697.21/1689.48 c cleaning 663 clauses out of 1350 for limit 0.6296846303638904 1697.61/1689.81 c cleaning 584 clauses out of 1187 for limit 1.1810329913928597 1697.91/1690.19 c cleaning 542 clauses out of 1104 for limit 2.096206550850714 1699.63/1691.82 c cleaning 1020 clauses out of 2062 for limit 5.033639944847416 1700.12/1692.39 c cleaning 762 clauses out of 1541 for limit 11.09659012532533 1700.62/1692.90 c cleaning 627 clauses out of 1280 for limit 22.05325060463924 1701.02/1693.23 c cleaning 568 clauses out of 1153 for limit 40.37468639376569 1701.32/1693.55 c cleaning 534 clauses out of 1085 for limit 70.75621910907385 1701.72/1693.90 c cleaning 515 clauses out of 1051 for limit 120.46129489603427 1702.02/1694.29 c cleaning 502 clauses out of 1035 for limit 201.52608533945963 1702.52/1694.76 c cleaning 509 clauses out of 1036 for limit 333.020743042596 1702.93/1695.13 c cleaning 499 clauses out of 1024 for limit 553.9664151687867 1703.32/1695.55 c cleaning 495 clauses out of 1026 for limit 912.6965955823724 1703.74/1695.92 c cleaning 504 clauses out of 1031 for limit 1497.8592753423698 1704.04/1696.22 c cleaning 506 clauses out of 1028 for limit 2479.8588521844863 1704.33/1696.56 c cleaning 500 clauses out of 1022 for limit 4113.628501708007 1704.63/1696.83 c cleaning 491 clauses out of 1022 for limit 6783.923710692019 1704.93/1697.14 c cleaning 501 clauses out of 1030 for limit 11089.603069237535 1705.24/1697.44 c cleaning 509 clauses out of 1032 for limit 18307.664767699414 1705.53/1697.70 c cleaning 504 clauses out of 1021 for limit 30456.063557010613 1705.84/1698.00 c cleaning 492 clauses out of 1015 for limit 50422.03080615878 1706.14/1698.32 c cleaning 502 clauses out of 1023 for limit 82502.40884655675 1706.44/1698.66 c cleaning 499 clauses out of 1022 for limit 136326.96480581557 1706.74/1698.96 c cleaning 497 clauses out of 1022 for limit 224596.58105739957 1707.04/1699.26 c cleaning 506 clauses out of 1025 for limit 369305.7404255314 1707.35/1699.56 c cleaning 511 clauses out of 1022 for limit 612658.4815944846 1709.55/1701.80 c cleaning 1489 clauses out of 3009 for limit 2533130.5334994243 1710.15/1702.30 c cleaning 1007 clauses out of 2019 for limit 6219633.782643338 1710.55/1702.70 c cleaning 743 clauses out of 1512 for limit 1.3696362080391174E7 1710.75/1702.98 c cleaning 633 clauses out of 1269 for limit 2.691232908250638E7 1711.05/1703.29 c cleaning 567 clauses out of 1137 for limit 4.958414636500121E7 1711.45/1703.64 c cleaning 534 clauses out of 1070 for limit 8.689112394121967E7 1711.75/1703.96 c cleaning 505 clauses out of 1036 for limit 1.479978219963955E8 1712.25/1704.42 c cleaning 505 clauses out of 1033 for limit 2.452673103874052E8 1712.75/1704.94 c cleaning 509 clauses out of 1025 for limit 4.064138282585812E8 1713.36/1705.50 c cleaning 495 clauses out of 1016 for limit 6.761678554767073E8 1713.56/1705.78 c cleaning 510 clauses out of 1023 for limit 1.1096793534216707E9 1713.96/1706.18 c cleaning 505 clauses out of 1012 for limit 1.8480512127530138E9 1714.45/1706.62 c cleaning 492 clauses out of 1014 for limit 3.0630495975289664E9 1714.65/1706.87 c cleaning 500 clauses out of 1014 for limit 5.011108681414853E9 1714.95/1707.12 c cleaning 498 clauses out of 1014 for limit 8.263988589779021E9 1715.25/1707.41 c cleaning 508 clauses out of 1016 for limit 1.3601595117378492E10 1715.55/1707.72 c cleaning 503 clauses out of 1008 for limit 2.2608872555948986E10 1715.85/1708.03 c cleaning 497 clauses out of 1006 for limit 3.739657734161971E10 1716.16/1708.40 c cleaning 501 clauses out of 1009 for limit 6.148859327463747E10 1716.46/1708.68 c cleaning 504 clauses out of 1009 for limit 1.0150442052724728E11 1716.76/1708.96 c cleaning 501 clauses out of 1006 for limit 1.6806161806347232E11 1717.06/1709.21 c cleaning 489 clauses out of 1003 for limit 2.7742938023718964E11 1717.26/1709.49 c cleaning 505 clauses out of 1013 for limit 4.525486926148413E11 1717.66/1709.82 c cleaning 504 clauses out of 1008 for limit 7.500152860693339E11 1718.05/1710.24 c cleaning 488 clauses out of 1004 for limit 1.2418033329821277E12 1718.48/1710.64 c cleaning 506 clauses out of 1020 for limit 2.023859204552054E12 1718.77/1710.91 c cleaning 501 clauses out of 1012 for limit 3.3572742465286177E12 1719.07/1711.26 c cleaning 497 clauses out of 1009 for limit 5.541955430143105E12 1719.48/1711.63 c cleaning 500 clauses out of 1014 for limit 9.112575730091535E12 1719.77/1711.95 c cleaning 507 clauses out of 1014 for limit 1.5027856437492309E13 1720.07/1712.25 c cleaning 483 clauses out of 1005 for limit 2.4954897722779387E13 1720.37/1712.57 c cleaning 494 clauses out of 1023 for limit 4.047031838789997E13 1720.77/1712.94 c cleaning 507 clauses out of 1029 for limit 6.635180887462766E13 1721.07/1713.30 c cleaning 509 clauses out of 1022 for limit 1.101724818863408E14 1721.47/1713.66 c cleaning 489 clauses out of 1013 for limit 1.833033788636048E14 1721.78/1713.97 c cleaning 506 clauses out of 1023 for limit 2.9903750279929394E14 1722.07/1714.29 c cleaning 505 clauses out of 1017 for limit 4.960623029597957E14 1722.37/1714.57 c cleaning 493 clauses out of 1013 for limit 8.221255236496809E14 1722.67/1714.89 c cleaning 498 clauses out of 1020 for limit 1.3464904951955905E15 1722.97/1715.13 c cleaning 495 clauses out of 1021 for limit 2.2161497180944105E15 1723.30/1715.50 c cleaning 496 clauses out of 1027 for limit 3.637012505032871E-5 1723.70/1715.84 c cleaning 501 clauses out of 1030 for limit 5.974470050723367E-5 1724.00/1716.18 c cleaning 512 clauses out of 1032 for limit 9.863165901466638E-5 1724.30/1716.42 c cleaning 500 clauses out of 1018 for limit 1.645641083121116E-4 1724.60/1716.71 c cleaning 507 clauses out of 1019 for limit 2.7139329489647164E-4 1724.80/1716.98 c cleaning 495 clauses out of 1010 for limit 4.506493898165433E-4 1725.10/1717.29 c cleaning 496 clauses out of 1017 for limit 7.395441717199359E-4 1725.40/1717.55 c cleaning 489 clauses out of 1021 for limit 0.0012148291843946343 1725.70/1717.89 c cleaning 496 clauses out of 1030 for limit 0.00198194043206587 1726.10/1718.22 c cleaning 502 clauses out of 1034 for limit 0.0032558408695123843 1726.40/1718.57 c cleaning 496 clauses out of 1035 for limit 0.005380254033101472 1726.70/1718.87 c cleaning 502 clauses out of 1036 for limit 0.008837628220293504 1727.10/1719.20 c cleaning 498 clauses out of 1034 for limit 0.014602621601207042 1727.39/1719.52 c cleaning 510 clauses out of 1036 for limit 0.024035186801139096 1778.13/1770.13 c cleaning 9246 clauses out of 18527 for limit 89135.06793002058 1779.90/1771.82 c cleaning 4866 clauses out of 9780 for limit 278186.6097206106 1780.90/1772.81 c cleaning 2699 clauses out of 5415 for limit 829405.6974936734 1781.50/1773.41 c cleaning 1594 clauses out of 3217 for limit 2304649.116034784 1781.90/1773.89 c cleaning 1051 clauses out of 2123 for limit 5759194.780431844 1782.30/1774.28 c cleaning 779 clauses out of 1571 for limit 1.2822034801679125E7 1782.80/1774.71 c cleaning 623 clauses out of 1293 for limit 2.5717278634063955E7 1783.10/1775.10 c cleaning 584 clauses out of 1171 for limit 4.687670086190181E7 1783.50/1775.47 c cleaning 536 clauses out of 1084 for limit 8.326011442500861E7 1783.90/1775.86 c cleaning 520 clauses out of 1051 for limit 1.420440321347354E8 1784.30/1776.21 c cleaning 504 clauses out of 1028 for limit 2.387728509684548E8 1784.60/1776.55 c cleaning 511 clauses out of 1026 for limit 3.9532621047810024E8 1784.90/1776.85 c cleaning 499 clauses out of 1013 for limit 6.589923731017221E8 1785.30/1777.22 c cleaning 501 clauses out of 1014 for limit 1.0856948197523365E9 1788.22/1780.13 c cleaning 1496 clauses out of 3013 for limit 4.456829540464342E9 1788.52/1780.49 c cleaning 998 clauses out of 2018 for limit 1.0984856617973288E10 1788.92/1780.89 c cleaning 757 clauses out of 1520 for limit 2.4050707333793644E10 1789.32/1781.29 c cleaning 617 clauses out of 1265 for limit 4.775356802756649E10 1789.82/1781.70 c cleaning 548 clauses out of 1147 for limit 8.67669455684629E10 1790.23/1782.20 c cleaning 525 clauses out of 1098 for limit 1.4932645751105765E11 1790.72/1782.65 c cleaning 536 clauses out of 1073 for limit 2.5199694022279953E11 1791.32/1783.22 c cleaning 508 clauses out of 1037 for limit 4.300036283424359E11 1791.84/1783.78 c cleaning 512 clauses out of 1028 for limit 7.1462653340551E11 1792.44/1784.31 c cleaning 499 clauses out of 1016 for limit 1.1924342202186199E12 1792.84/1784.78 c cleaning 490 clauses out of 1017 for limit 1.9645499379928464E12 1793.44/1785.37 c cleaning 491 clauses out of 1027 for limit 3.2082593542046367E12 1793.94/1785.85 c cleaning 487 clauses out of 1038 for limit 5.245265427966699E12 1794.44/1786.32 c cleaning 524 clauses out of 1050 for limit 8.542734311149435E12 1794.94/1786.89 c cleaning 509 clauses out of 1025 for limit 1.4417292462074572E13 1795.24/1787.18 c cleaning 489 clauses out of 1016 for limit 2.3986658543662945E13 1795.54/1787.50 c cleaning 500 clauses out of 1027 for limit 3.91335191405369E13 1795.94/1787.87 c cleaning 509 clauses out of 1027 for limit 6.453640825127474E13 1796.34/1788.26 c cleaning 505 clauses out of 1021 for limit 1.0737641873517584E14 1796.74/1788.67 c cleaning 491 clauses out of 1014 for limit 1.779440888304213E14 1797.26/1789.16 c cleaning 499 clauses out of 1022 for limit 2.908653580837389E14 1797.66/1789.51 c cleaning 504 clauses out of 1024 for limit 4.792182380232512E14 1797.97/1789.84 c cleaning 498 clauses out of 1019 for limit 7.9337860716641E14 1798.36/1790.23 c cleaning 506 clauses out of 1023 for limit 1.3058820331983268E15 1798.66/1790.57 c cleaning 500 clauses out of 1020 for limit 2.1664009179123537E-5 1799.07/1790.93 c cleaning 493 clauses out of 1015 for limit 3.5723688078629715E-5 1799.36/1791.29 c cleaning 504 clauses out of 1022 for limit 5.850962600902007E-5 1799.66/1791.60 c cleaning 492 clauses out of 1018 for limit 9.686933691460843E-5 1799.96/1791.87 c cleaning 496 clauses out of 1026 for limit 1.5850487762144376E-4 1800.07/1791.91 c starts : 20 1800.07/1791.91 c conflicts : 504606 1800.07/1791.91 c decisions : 671431 1800.07/1791.91 c propagations : 85252629 1800.07/1791.91 c inspects : 1423892550 1800.07/1791.91 c learnt literals : 0 1800.07/1791.91 c learnt binary clauses : 0 1800.07/1791.91 c learnt ternary clauses : 0 1800.07/1791.92 c learnt clauses : 504607 1800.07/1791.92 c root simplifications : 0 1800.07/1791.92 c removed literals (reason simplification) : 0 1800.07/1791.92 c reason swapping (by a shorter reason) : 0 1800.07/1791.92 c Calls to reduceDB : 258 1800.07/1791.92 c speed (decisions/second) : 377.0062949301976 1800.07/1791.92 c non guided choices 0 1800.07/1791.92 s UNKNOWN 1800.07/1791.92 c Total wall clock time (ms): 1791.673
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-352431-1176631808 -o ROOT/results/node4/solver-352431-1176631808 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352431-1176631808/sat4jPseudoResolution.jar /tmp/evaluation/352431-1176631808/instance-352431-1176631808.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 2/77 8367 /proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=0 CPUtime=0 /proc/8367/stat : 8367 (runsolver) R 8365 8367 8304 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 139218528 0 0 18446744073709551615 0 0 0 18446744073709551615 259913215271 0 0 4096 24578 0 0 0 17 1 0 0 /proc/8367/statm: 0 0 0 0 0 0 0 [startup+0.106609 s] /proc/loadavg: 0.85 0.97 0.99 2/77 8367 /proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1777708 CPUtime=0.06 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 3754 0 1 0 4 2 0 0 18 0 7 0 139218528 1820372992 3496 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 444427 3496 1082 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.202615 s] /proc/loadavg: 0.85 0.97 0.99 2/77 8367 /proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1781448 CPUtime=0.15 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 4497 0 1 0 12 3 0 0 18 0 12 0 139218528 1824202752 4235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 445362 4235 1233 9 0 442974 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 1781448 [startup+0.302625 s] /proc/loadavg: 0.85 0.97 0.99 2/77 8367 /proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1782028 CPUtime=0.26 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 5065 0 1 0 23 3 0 0 18 0 12 0 139218528 1824796672 4803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 445507 4803 1264 9 0 443119 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 1782028 [startup+0.702662 s] /proc/loadavg: 0.85 0.97 0.99 2/77 8367 /proc/meminfo: memFree=1843024/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1783476 CPUtime=0.84 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 7145 0 1 0 80 4 0 0 18 0 12 0 139218528 1826279424 6662 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 445869 6662 1297 9 0 443481 0 Current children cumulated CPU time (s) 0.84 Current children cumulated vsize (KiB) 1783476 [startup+1.50274 s] /proc/loadavg: 0.94 0.98 0.99 3/89 8379 /proc/meminfo: memFree=1811248/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1785700 CPUtime=2 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 19322 0 1 0 189 11 0 0 18 0 12 0 139218528 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 446425 16913 1301 9 0 444037 0 [pid=8367/tid=8369] ppid=8365 vsize=1785700 CPUtime=1.08 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 15005 0 1 0 100 8 0 0 20 0 12 0 139218530 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109515100 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 139218534 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 139218534 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 139218536 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 139218537 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 139218537 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1785700 CPUtime=0.52 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2369 0 0 0 51 1 0 0 16 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1785700 CPUtime=0.37 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 1225 0 0 0 37 0 0 0 16 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1785700 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 139218541 1828556800 16913 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 1785700 [startup+3.10189 s] /proc/loadavg: 0.94 0.98 0.99 2/89 8379 /proc/meminfo: memFree=1697648/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1786024 CPUtime=3.66 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 44060 0 1 0 346 20 0 0 18 0 12 0 139218528 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 446506 41641 1310 9 0 444118 0 [pid=8367/tid=8369] ppid=8365 vsize=1786024 CPUtime=2.62 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37674 0 1 0 246 16 0 0 23 0 12 0 139218530 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109592281 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1786024 CPUtime=0.05 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 1057 0 0 0 5 0 0 0 17 0 12 0 139218534 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1786024 CPUtime=0.05 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 1009 0 0 0 5 0 0 0 17 0 12 0 139218534 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1786024 CPUtime=0 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 139218536 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1786024 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 139218537 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1786024 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 139218537 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1786024 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1786024 CPUtime=0.52 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2369 0 0 0 51 1 0 0 16 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1786024 CPUtime=0.37 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 1225 0 0 0 37 0 0 0 16 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1786024 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1786024 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 139218541 1828888576 41641 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1786024 [startup+6.30219 s] /proc/loadavg: 1.02 1.00 1.00 2/89 8379 /proc/meminfo: memFree=1644464/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1787308 CPUtime=7.18 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 53446 0 1 0 693 25 0 0 18 0 12 0 139218528 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 446827 50627 1310 9 0 444439 0 [pid=8367/tid=8369] ppid=8365 vsize=1787308 CPUtime=5.49 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37678 0 1 0 532 17 0 0 23 0 12 0 139218530 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109685170 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1787308 CPUtime=0.37 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 6878 0 0 0 35 2 0 0 16 0 12 0 139218534 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1787308 CPUtime=0.38 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 4563 0 0 0 36 2 0 0 16 0 12 0 139218534 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1787308 CPUtime=0 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 14 0 0 0 0 0 0 0 16 0 12 0 139218536 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1787308 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 139218537 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1787308 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 139218537 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1787308 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1787308 CPUtime=0.52 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2369 0 0 0 51 1 0 0 16 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1787308 CPUtime=0.37 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 1225 0 0 0 37 0 0 0 16 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1787308 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1787308 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 139218541 1830203392 50627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 1787308 [startup+12.7018 s] /proc/loadavg: 1.02 1.00 1.00 2/90 8380 /proc/meminfo: memFree=1605928/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1790576 CPUtime=15.22 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 65904 0 1 0 1491 31 0 0 18 0 13 0 139218528 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 447644 60203 1326 9 0 445256 0 [pid=8367/tid=8369] ppid=8365 vsize=1790576 CPUtime=10.46 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37723 0 1 0 1028 18 0 0 21 0 13 0 139218530 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109781837 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1790576 CPUtime=1.51 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 13068 0 0 0 146 5 0 0 16 0 13 0 139218534 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1790576 CPUtime=1.55 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 9662 0 0 0 152 3 0 0 17 0 13 0 139218534 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1790576 CPUtime=0 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 139218536 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1790576 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1790576 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1790576 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1790576 CPUtime=0.87 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2408 0 0 0 86 1 0 0 16 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1790576 CPUtime=0.78 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2303 0 0 0 77 1 0 0 16 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1790576 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1790576 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8380] ppid=8365 vsize=1790576 CPUtime=0 /proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1833549824 60203 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.22 Current children cumulated vsize (KiB) 1790576 [startup+25.502 s] /proc/loadavg: 1.02 1.00 1.00 2/90 8380 /proc/meminfo: memFree=1573160/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1789520 CPUtime=28.22 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 75348 0 1 0 2786 36 0 0 18 0 13 0 139218528 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 447380 68408 1326 9 0 444992 0 [pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=23.03 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37724 0 1 0 2285 18 0 0 25 0 13 0 139218530 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109829425 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=1.7 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 17512 0 0 0 162 8 0 0 16 0 13 0 139218534 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=1.73 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 14658 0 0 0 167 6 0 0 18 0 13 0 139218534 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 139218536 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 68408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=8367] ppid=8365 vsize=1789520 CPUtime=1609.78 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 470927 0 1 0 160691 287 0 0 18 0 13 0 139218528 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 447380 110579 1331 9 0 444992 0 [pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1591.48 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37773 0 1 0 159119 29 0 0 25 0 13 0 139218530 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109781764 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=6.77 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 559 118 0 0 16 0 13 0 139218534 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=6.81 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 569 112 0 0 16 0 13 0 139218534 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=2.76 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 8785 0 0 0 253 23 0 0 16 0 13 0 139218536 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 110579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1609.78 Current children cumulated vsize (KiB) 1789520 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 8382 /proc/meminfo: memFree=1401840/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1789520 CPUtime=1669.94 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 472684 0 1 0 166706 288 0 0 18 0 13 0 139218528 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 447380 110128 1331 9 0 444992 0 [pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1650.81 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37777 0 1 0 165052 29 0 0 25 0 13 0 139218530 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109875123 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=6.95 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 577 118 0 0 16 0 13 0 139218534 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 588 112 0 0 17 0 13 0 139218534 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.22 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 10538 0 0 0 298 24 0 0 16 0 13 0 139218536 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 110128 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1669.94 Current children cumulated vsize (KiB) 1789520 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 8382 /proc/meminfo: memFree=1415984/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1789520 CPUtime=1730.22 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 474449 0 1 0 172732 290 0 0 18 0 13 0 139218528 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 447380 106582 1331 9 0 444992 0 [pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1710.04 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37787 0 1 0 170974 30 0 0 25 0 13 0 139218530 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109781774 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=7.25 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 607 118 0 0 17 0 13 0 139218534 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7.3 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 618 112 0 0 16 0 13 0 139218534 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.67 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 12293 0 0 0 342 25 0 0 16 0 13 0 139218536 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 106582 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1730.22 Current children cumulated vsize (KiB) 1789520 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/90 8382 /proc/meminfo: memFree=1417456/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1789520 CPUtime=1790.42 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 474453 0 1 0 178751 291 0 0 18 0 13 0 139218528 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 447380 106196 1331 9 0 444992 0 [pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1769.79 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37791 0 1 0 176949 30 0 0 25 0 13 0 139218530 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747086 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=7.47 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 629 118 0 0 16 0 13 0 139218534 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7.52 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 640 112 0 0 16 0 13 0 139218534 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.67 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 12293 0 0 0 342 25 0 0 16 0 13 0 139218536 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 106196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (KiB) 1789520 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.9 s] /proc/loadavg: 1.00 1.01 1.00 2/90 8382 /proc/meminfo: memFree=1420592/2055920 swapFree=4153972/4192956 [pid=8367] ppid=8365 vsize=1789520 CPUtime=1800.07 /proc/8367/stat : 8367 (java) S 8365 8367 8304 0 -1 0 474455 0 1 0 179716 291 0 0 18 0 13 0 139218528 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8367/statm: 447380 105410 1331 9 0 444992 0 [pid=8367/tid=8369] ppid=8365 vsize=1789520 CPUtime=1779.34 /proc/8367/task/8369/stat : 8369 (java) R 8365 8367 8304 0 -1 64 37793 0 1 0 177904 30 0 0 25 0 13 0 139218530 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109876515 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8370] ppid=8365 vsize=1789520 CPUtime=7.52 /proc/8367/task/8370/stat : 8370 (java) S 8365 8367 8304 0 -1 64 212857 0 0 0 634 118 0 0 16 0 13 0 139218534 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8371] ppid=8365 vsize=1789520 CPUtime=7.57 /proc/8367/task/8371/stat : 8371 (java) S 8365 8367 8304 0 -1 64 206068 0 0 0 645 112 0 0 16 0 13 0 139218534 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8372] ppid=8365 vsize=1789520 CPUtime=3.67 /proc/8367/task/8372/stat : 8372 (java) S 8365 8367 8304 0 -1 64 12293 0 0 0 342 25 0 0 16 0 13 0 139218536 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8373] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8373/stat : 8373 (java) S 8365 8367 8304 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8374] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8374/stat : 8374 (java) S 8365 8367 8304 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 139218537 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8375] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8375/stat : 8375 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8376] ppid=8365 vsize=1789520 CPUtime=1.01 /proc/8367/task/8376/stat : 8376 (java) S 8365 8367 8304 0 -1 64 2416 0 0 0 100 1 0 0 17 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8367/tid=8377] ppid=8365 vsize=1789520 CPUtime=0.88 /proc/8367/task/8377/stat : 8377 (java) S 8365 8367 8304 0 -1 64 2304 0 0 0 87 1 0 0 16 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8378] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8378/stat : 8378 (java) S 8365 8367 8304 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8379] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8379/stat : 8379 (java) S 8365 8367 8304 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 139218541 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8367/tid=8380] ppid=8365 vsize=1789520 CPUtime=0 /proc/8367/task/8380/stat : 8380 (java) S 8365 8367 8304 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 139219625 1832468480 105410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1789520 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1792.01 CPU time (s): 1800.18 CPU user time (s): 1797.2 CPU system time (s): 2.97855 CPU usage (%): 100.456 Max. virtual memory (cumulated for all children) (KiB): 1793524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.2 system time used= 2.97855 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 474476 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37746 involuntary context switches= 39331 runsolver used 1.84772 second user time and 4.72928 second system time The end
Begin job on node4 on Sun Apr 15 10:10:08 UTC 2007 IDJOB= 352431 IDBENCH= 1975 IDSOLVER= 159 FILE ID= node4/352431-1176631808 PBS_JOBID= 4556855 Free space on /tmp= 66540 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352431-1176631808/sat4jPseudoResolution.jar /tmp/evaluation/352431-1176631808/instance-352431-1176631808.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-352431-1176631808 -o ROOT/results/node4/solver-352431-1176631808 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352431-1176631808/sat4jPseudoResolution.jar /tmp/evaluation/352431-1176631808/instance-352431-1176631808.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 6389567e651775a5f815611581d2023e RANDOM SEED= 833510621 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1843560 kB Buffers: 17476 kB Cached: 119320 kB SwapCached: 2128 kB Active: 65304 kB Inactive: 94000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843560 kB SwapTotal: 4192956 kB SwapFree: 4153972 kB Dirty: 20552 kB Writeback: 0 kB Mapped: 30536 kB Slab: 38548 kB Committed_AS: 4646840 kB PageTables: 1816 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66540 MiB End job on node4 on Sun Apr 15 10:40:02 UTC 2007