Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.14 | 1797.36 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo |
| MD5SUM | 169186b65db4bc0391cc8aa4ed776345 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.108982 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1050 |
| Total number of constraints | 65 |
| Number of soft constraints | 65 |
| Number of constraints which are clauses | 35 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 35 |
| Top cost | 3654 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3653 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 36 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.1.v20110525 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 9996466904 0.00/0.08 c Max memory 10048897024 0.00/0.08 c Total memory 10048897024 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-3492601-1307910939.wbo 0.11/0.10 c reading problem ... 0.11/0.18 c ... done. Wall clock time 0.074s. 0.11/0.18 c #vars 1115 0.11/0.18 c #constraints 65 0.11/0.18 c constraints type 0.11/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 35 0.11/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30 0.27/0.27 c SATISFIABLE 0.27/0.27 c OPTIMIZING... 0.27/0.27 c Got one! Elapsed wall clock time (in seconds):0.169 0.27/0.27 o 82 0.55/0.31 c Got one! Elapsed wall clock time (in seconds):0.207 0.55/0.31 o 52 0.55/0.36 c Got one! Elapsed wall clock time (in seconds):0.259 0.55/0.36 o 31 0.69/0.42 c Got one! Elapsed wall clock time (in seconds):0.317 0.69/0.42 o 25 0.69/0.48 c Got one! Elapsed wall clock time (in seconds):0.38 0.69/0.48 o 21 0.85/0.58 c Got one! Elapsed wall clock time (in seconds):0.473 0.85/0.58 o 3 1.75/1.45 c cleaning 3472 clauses out of 6968 with flag 5000/6968 2.91/2.50 c cleaning 4733 clauses out of 9498 with flag 11002/12970 4.22/3.83 c cleaning 5862 clauses out of 11765 with flag 18002/19970 5.63/5.29 c cleaning 6929 clauses out of 13901 with flag 26000/27968 7.65/7.25 c cleaning 7952 clauses out of 15974 with flag 35002/36970 9.86/9.47 c cleaning 9003 clauses out of 18021 with flag 45001/46969 11.97/11.53 c cleaning 9483 clauses out of 19017 with flag 55000/56968 14.18/13.76 c cleaning 9744 clauses out of 19534 with flag 65000/66968 17.88/17.42 c cleaning 9875 clauses out of 19791 with flag 75001/76969 20.09/19.61 c cleaning 9953 clauses out of 19915 with flag 85000/86968 22.40/21.95 c cleaning 9951 clauses out of 19964 with flag 95002/96970 24.80/24.36 c cleaning 9976 clauses out of 20011 with flag 105000/106968 27.50/27.08 c cleaning 9991 clauses out of 20035 with flag 115000/116968 29.91/29.45 c cleaning 10009 clauses out of 20045 with flag 125001/126969 32.52/32.05 c cleaning 9998 clauses out of 20035 with flag 135000/136968 35.03/34.52 c cleaning 9978 clauses out of 20039 with flag 145002/146970 37.64/37.17 c cleaning 9961 clauses out of 20059 with flag 155000/156968 40.55/40.10 c cleaning 9979 clauses out of 20099 with flag 165001/166969 42.96/42.48 c cleaning 10036 clauses out of 20119 with flag 175000/176968 45.16/44.68 c cleaning 10039 clauses out of 20085 with flag 185002/186970 47.47/46.93 c cleaning 10008 clauses out of 20044 with flag 195000/196968 50.08/49.59 c cleaning 10006 clauses out of 20040 with flag 205004/206972 52.58/52.04 c cleaning 10004 clauses out of 20031 with flag 215001/216969 55.78/55.25 c cleaning 10002 clauses out of 20027 with flag 225001/226969 58.08/57.59 c cleaning 9981 clauses out of 20026 with flag 235002/236970 60.79/60.29 c cleaning 9993 clauses out of 20045 with flag 245002/246970 63.40/62.90 c cleaning 9983 clauses out of 20051 with flag 255001/256969 65.60/65.07 c cleaning 10013 clauses out of 20069 with flag 265002/266970 68.31/67.70 c cleaning 10004 clauses out of 20055 with flag 275001/276969 69.92/69.34 c cleaning 10007 clauses out of 20051 with flag 285001/286969 73.32/72.71 c cleaning 10005 clauses out of 20045 with flag 295002/296970 76.23/75.64 c cleaning 9930 clauses out of 20039 with flag 305001/306969 80.03/79.45 c cleaning 9947 clauses out of 20108 with flag 315000/316968 82.64/82.05 c cleaning 9988 clauses out of 20161 with flag 325000/326968 85.74/85.17 c cleaning 9996 clauses out of 20178 with flag 335005/336973 88.75/88.20 c cleaning 10064 clauses out of 20178 with flag 345001/346969 92.45/91.87 c cleaning 10026 clauses out of 20113 with flag 355000/356968 95.56/94.95 c cleaning 10018 clauses out of 20088 with flag 365001/366969 98.87/98.28 c cleaning 10003 clauses out of 20069 with flag 375000/376968 102.07/101.44 c cleaning 10006 clauses out of 20068 with flag 385002/386970 104.58/103.96 c cleaning 10015 clauses out of 20062 with flag 395002/396970 106.78/106.16 c cleaning 10004 clauses out of 20048 with flag 405003/406971 109.79/109.14 c cleaning 10003 clauses out of 20043 with flag 415002/416970 113.00/112.36 c cleaning 10000 clauses out of 20039 with flag 425001/426969 116.01/115.35 c cleaning 9986 clauses out of 20038 with flag 435000/436968 119.61/118.99 c cleaning 9993 clauses out of 20055 with flag 445003/446971 122.72/122.04 c cleaning 10007 clauses out of 20060 with flag 455001/456969 125.72/125.09 c cleaning 10001 clauses out of 20052 with flag 465000/466968 128.93/128.26 c cleaning 10002 clauses out of 20052 with flag 475001/476969 131.93/131.20 c cleaning 10011 clauses out of 20049 with flag 485000/486968 135.23/134.51 c cleaning 10002 clauses out of 20038 with flag 495000/496968 138.64/137.97 c cleaning 10002 clauses out of 20036 with flag 505000/506968 141.74/141.04 c cleaning 10005 clauses out of 20037 with flag 515003/516971 144.94/144.21 c cleaning 9997 clauses out of 20031 with flag 525002/526970 148.06/147.36 c cleaning 10002 clauses out of 20033 with flag 535001/536969 151.47/150.71 c cleaning 9990 clauses out of 20030 with flag 545000/546968 154.47/153.72 c cleaning 10008 clauses out of 20040 with flag 555000/556968 157.87/157.19 c cleaning 10003 clauses out of 20033 with flag 565001/566969 161.18/160.48 c cleaning 9987 clauses out of 20030 with flag 575001/576969 164.79/164.03 c cleaning 10011 clauses out of 20044 with flag 585002/586970 166.90/166.20 c cleaning 9991 clauses out of 20032 with flag 595001/596969 169.11/168.36 c cleaning 9980 clauses out of 20042 with flag 605002/606970 172.11/171.36 c cleaning 10015 clauses out of 20061 with flag 615001/616969 175.41/174.64 c cleaning 10021 clauses out of 20045 with flag 625000/626968 178.54/177.79 c cleaning 9983 clauses out of 20028 with flag 635004/636972 182.15/181.38 c cleaning 9985 clauses out of 20043 with flag 645002/646970 185.35/184.59 c cleaning 10023 clauses out of 20067 with flag 655011/656979 188.56/187.79 c cleaning 9967 clauses out of 20036 with flag 665003/666971 191.46/190.70 c cleaning 10020 clauses out of 20067 with flag 675001/676969 194.97/194.14 c cleaning 10009 clauses out of 20046 with flag 685000/686968 198.48/197.65 c cleaning 10002 clauses out of 20038 with flag 695001/696969 201.98/201.10 c cleaning 10000 clauses out of 20036 with flag 705001/706969 205.68/204.82 c cleaning 10004 clauses out of 20038 with flag 715003/716971 208.89/208.09 c cleaning 9990 clauses out of 20032 with flag 725001/726969 212.70/211.81 c cleaning 9993 clauses out of 20041 with flag 735000/736968 216.20/215.34 c cleaning 10003 clauses out of 20051 with flag 745003/746971 219.71/218.90 c cleaning 9998 clauses out of 20046 with flag 755001/756969 223.52/222.68 c cleaning 9999 clauses out of 20047 with flag 765000/766968 226.92/226.01 c cleaning 9998 clauses out of 20050 with flag 775002/776970 230.03/229.18 c cleaning 9943 clauses out of 20052 with flag 785002/786970 233.83/232.94 c cleaning 9977 clauses out of 20107 with flag 795000/796968 237.24/236.33 c cleaning 9987 clauses out of 20131 with flag 805001/806969 240.04/239.13 c cleaning 10015 clauses out of 20149 with flag 815006/816974 243.14/242.26 c cleaning 10004 clauses out of 20129 with flag 825001/826969 246.34/245.48 c cleaning 9984 clauses out of 20124 with flag 835000/836968 249.16/248.20 c cleaning 9991 clauses out of 20144 with flag 845004/846972 251.96/251.04 c cleaning 9998 clauses out of 20150 with flag 855001/856969 255.16/254.21 c cleaning 10010 clauses out of 20157 with flag 865006/866974 257.76/256.87 c cleaning 10010 clauses out of 20143 with flag 875002/876970 260.27/259.32 c cleaning 10002 clauses out of 20132 with flag 885001/886969 262.47/261.55 c cleaning 10063 clauses out of 20131 with flag 895002/896970 264.88/263.93 c cleaning 9992 clauses out of 20067 with flag 905001/906969 267.98/267.03 c cleaning 10025 clauses out of 20074 with flag 915000/916968 270.69/269.72 c cleaning 10002 clauses out of 20049 with flag 925000/926968 274.20/273.20 c cleaning 10000 clauses out of 20047 with flag 935000/936968 277.11/276.16 c cleaning 9991 clauses out of 20048 with flag 945001/946969 280.50/279.53 c cleaning 10021 clauses out of 20057 with flag 955001/956969 283.12/282.15 c cleaning 10010 clauses out of 20037 with flag 965002/966970 285.22/284.20 c cleaning 9985 clauses out of 20025 with flag 975000/976968 288.52/287.55 c cleaning 9993 clauses out of 20040 with flag 985000/986968 291.83/290.89 c cleaning 9994 clauses out of 20049 with flag 995002/996970 295.14/294.16 c cleaning 9996 clauses out of 20053 with flag 1005000/1006968 298.05/297.07 c cleaning 10014 clauses out of 20057 with flag 1015000/1016968 301.54/300.54 c cleaning 10005 clauses out of 20043 with flag 1025000/1026968 304.94/303.94 c cleaning 10005 clauses out of 20040 with flag 1035002/1036970 308.15/307.17 c cleaning 9999 clauses out of 20035 with flag 1045002/1046970 311.36/310.34 c cleaning 10001 clauses out of 20036 with flag 1055002/1056970 314.86/313.82 c cleaning 10000 clauses out of 20033 with flag 1065000/1066968 318.47/317.48 c cleaning 9999 clauses out of 20034 with flag 1075001/1076969 321.18/320.15 c cleaning 10009 clauses out of 20034 with flag 1085000/1086968 323.38/322.38 c cleaning 10002 clauses out of 20026 with flag 1095001/1096969 325.98/324.95 c cleaning 10008 clauses out of 20024 with flag 1105001/1106969 328.30/327.25 c cleaning 10002 clauses out of 20015 with flag 1115000/1116968 330.70/329.68 c cleaning 9993 clauses out of 20014 with flag 1125001/1126969 333.11/332.02 c cleaning 10006 clauses out of 20020 with flag 1135000/1136968 335.11/334.05 c cleaning 9990 clauses out of 20015 with flag 1145001/1146969 337.51/336.41 c cleaning 10003 clauses out of 20024 with flag 1155000/1156968 339.83/338.79 c cleaning 10000 clauses out of 20021 with flag 1165000/1166968 341.83/340.78 c cleaning 10003 clauses out of 20022 with flag 1175001/1176969 344.63/343.55 c cleaning 9981 clauses out of 20020 with flag 1185002/1186970 348.33/347.26 c cleaning 9991 clauses out of 20038 with flag 1195001/1196969 351.85/350.71 c cleaning 9993 clauses out of 20046 with flag 1205000/1206968 355.75/354.64 c cleaning 10002 clauses out of 20053 with flag 1215000/1216968 359.55/358.41 c cleaning 9994 clauses out of 20051 with flag 1225000/1226968 362.96/361.84 c cleaning 9999 clauses out of 20058 with flag 1235001/1236969 366.67/365.53 c cleaning 10003 clauses out of 20060 with flag 1245002/1246970 369.97/368.89 c cleaning 10004 clauses out of 20057 with flag 1255002/1256970 373.77/372.63 c cleaning 9999 clauses out of 20051 with flag 1265000/1266968 377.39/376.22 c cleaning 10000 clauses out of 20055 with flag 1275003/1276971 381.18/380.02 c cleaning 9988 clauses out of 20052 with flag 1285000/1286968 384.78/383.64 c cleaning 10007 clauses out of 20066 with flag 1295002/1296970 388.89/387.70 c cleaning 10001 clauses out of 20058 with flag 1305001/1306969 392.59/391.49 c cleaning 10002 clauses out of 20056 with flag 1315000/1316968 396.19/395.02 c cleaning 10024 clauses out of 20054 with flag 1325000/1326968 398.41/397.23 c cleaning 9993 clauses out of 20032 with flag 1335002/1336970 400.81/399.68 c cleaning 10005 clauses out of 20037 with flag 1345000/1346968 403.62/402.44 c cleaning 10002 clauses out of 20035 with flag 1355003/1356971 406.62/405.47 c cleaning 9998 clauses out of 20032 with flag 1365002/1366970 410.03/408.82 c cleaning 9999 clauses out of 20036 with flag 1375004/1376972 412.93/411.76 c cleaning 9993 clauses out of 20035 with flag 1385002/1386970 416.44/415.28 c cleaning 10011 clauses out of 20043 with flag 1395003/1396971 420.55/419.39 c cleaning 10006 clauses out of 20029 with flag 1405000/1406968 423.85/422.62 c cleaning 9994 clauses out of 20024 with flag 1415001/1416969 427.66/426.44 c cleaning 9998 clauses out of 20029 with flag 1425000/1426968 431.37/430.18 c cleaning 9998 clauses out of 20032 with flag 1435001/1436969 435.07/433.85 c cleaning 9999 clauses out of 20033 with flag 1445000/1446968 439.08/437.88 c cleaning 10002 clauses out of 20037 with flag 1455003/1456971 442.17/440.96 c cleaning 10001 clauses out of 20034 with flag 1465002/1466970 445.58/444.37 c cleaning 10004 clauses out of 20031 with flag 1475000/1476968 448.89/447.69 c cleaning 10000 clauses out of 20027 with flag 1485000/1486968 452.48/451.21 c cleaning 10002 clauses out of 20028 with flag 1495001/1496969 456.50/455.28 c cleaning 9999 clauses out of 20026 with flag 1505001/1506969 460.70/459.44 c cleaning 10002 clauses out of 20026 with flag 1515000/1516968 464.01/462.74 c cleaning 10000 clauses out of 20026 with flag 1525002/1526970 467.72/466.42 c cleaning 9996 clauses out of 20024 with flag 1535000/1536968 471.12/469.86 c cleaning 9997 clauses out of 20029 with flag 1545001/1546969 474.82/473.54 c cleaning 10002 clauses out of 20032 with flag 1555001/1556969 478.53/477.27 c cleaning 10005 clauses out of 20036 with flag 1565007/1566975 482.14/480.87 c cleaning 9997 clauses out of 20024 with flag 1575000/1576968 485.84/484.55 c cleaning 10000 clauses out of 20028 with flag 1585001/1586969 489.54/488.27 c cleaning 10002 clauses out of 20027 with flag 1595000/1596968 493.24/491.97 c cleaning 10001 clauses out of 20028 with flag 1605003/1606971 497.04/495.72 c cleaning 9999 clauses out of 20025 with flag 1615001/1616969 499.85/498.54 c cleaning 9998 clauses out of 20025 with flag 1625000/1626968 503.15/501.86 c cleaning 9998 clauses out of 20030 with flag 1635003/1636971 506.65/505.30 c cleaning 10003 clauses out of 20029 with flag 1645000/1646968 510.46/509.12 c cleaning 10000 clauses out of 20026 with flag 1655000/1656968 513.66/512.38 c cleaning 10001 clauses out of 20026 with flag 1665000/1666968 517.36/516.04 c cleaning 10002 clauses out of 20025 with flag 1675000/1676968 520.97/519.61 c cleaning 10000 clauses out of 20024 with flag 1685001/1686969 524.57/523.22 c cleaning 10003 clauses out of 20026 with flag 1695003/1696971 527.87/526.58 c cleaning 9997 clauses out of 20021 with flag 1705001/1706969 531.58/530.23 c cleaning 10001 clauses out of 20024 with flag 1715001/1716969 534.88/533.58 c cleaning 9995 clauses out of 20022 with flag 1725000/1726968 538.78/537.43 c cleaning 10001 clauses out of 20027 with flag 1735000/1736968 542.28/540.98 c cleaning 10000 clauses out of 20026 with flag 1745000/1746968 545.49/544.16 c cleaning 9996 clauses out of 20027 with flag 1755001/1756969 548.69/547.35 c cleaning 10004 clauses out of 20030 with flag 1765000/1766968 551.59/550.21 c cleaning 9993 clauses out of 20029 with flag 1775003/1776971 555.19/553.85 c cleaning 9993 clauses out of 20033 with flag 1785000/1786968 558.90/557.53 c cleaning 10001 clauses out of 20043 with flag 1795003/1796971 562.21/560.84 c cleaning 10003 clauses out of 20047 with flag 1805008/1806976 565.71/564.31 c cleaning 9997 clauses out of 20037 with flag 1815001/1816969 569.31/567.99 c cleaning 9997 clauses out of 20040 with flag 1825001/1826969 572.52/571.16 c cleaning 9999 clauses out of 20042 with flag 1835000/1836968 575.82/574.44 c cleaning 9999 clauses out of 20045 with flag 1845002/1846970 579.03/577.65 c cleaning 10000 clauses out of 20045 with flag 1855001/1856969 582.23/580.87 c cleaning 10003 clauses out of 20048 with flag 1865004/1866972 585.45/584.06 c cleaning 9998 clauses out of 20041 with flag 1875000/1876968 588.64/587.29 c cleaning 10002 clauses out of 20046 with flag 1885003/1886971 592.05/590.62 c cleaning 10000 clauses out of 20043 with flag 1895002/1896970 595.35/594.00 c cleaning 9999 clauses out of 20041 with flag 1905000/1906968 598.85/597.48 c cleaning 9999 clauses out of 20042 with flag 1915000/1916968 602.35/600.92 c cleaning 9998 clauses out of 20043 with flag 1925000/1926968 605.75/604.37 c cleaning 10001 clauses out of 20045 with flag 1935000/1936968 609.25/607.82 c cleaning 10000 clauses out of 20047 with flag 1945003/1946971 612.76/611.31 c cleaning 9998 clauses out of 20046 with flag 1955002/1956970 616.16/614.71 c cleaning 10004 clauses out of 20050 with flag 1965004/1966972 619.47/618.06 c cleaning 10000 clauses out of 20043 with flag 1975001/1976969 622.98/621.57 c cleaning 9999 clauses out of 20044 with flag 1985002/1986970 625.19/623.74 c cleaning 9993 clauses out of 20046 with flag 1995003/1996971 627.79/626.32 c cleaning 10011 clauses out of 20054 with flag 2005004/2006972 630.79/629.33 c cleaning 10010 clauses out of 20041 with flag 2015002/2016970 633.91/632.45 c cleaning 10004 clauses out of 20031 with flag 2025002/2026970 636.61/635.17 c cleaning 9988 clauses out of 20027 with flag 2035002/2036970 639.12/637.63 c cleaning 9985 clauses out of 20038 with flag 2045001/2046969 642.32/640.84 c cleaning 10013 clauses out of 20052 with flag 2055000/2056968 645.73/644.25 c cleaning 10008 clauses out of 20041 with flag 2065002/2066970 650.23/648.76 c cleaning 10003 clauses out of 20031 with flag 2075000/2076968 653.23/651.78 c cleaning 9996 clauses out of 20029 with flag 2085001/2086969 656.74/655.23 c cleaning 9983 clauses out of 20033 with flag 2095001/2096969 659.94/658.40 c cleaning 10005 clauses out of 20051 with flag 2105002/2106970 663.24/661.73 c cleaning 10007 clauses out of 20046 with flag 2115002/2116970 665.45/663.98 c cleaning 10003 clauses out of 20037 with flag 2125000/2126968 668.45/666.97 c cleaning 10004 clauses out of 20037 with flag 2135003/2136971 671.76/670.26 c cleaning 10003 clauses out of 20032 with flag 2145002/2146970 675.56/674.01 c cleaning 9998 clauses out of 20028 with flag 2155001/2156969 678.76/677.25 c cleaning 10000 clauses out of 20032 with flag 2165003/2166971 682.06/680.56 c cleaning 10002 clauses out of 20029 with flag 2175000/2176968 685.37/683.81 c cleaning 10002 clauses out of 20029 with flag 2185002/2186970 688.88/687.34 c cleaning 9992 clauses out of 20025 with flag 2195000/2196968 692.58/691.04 c cleaning 9998 clauses out of 20035 with flag 2205002/2206970 696.88/695.37 c cleaning 10004 clauses out of 20038 with flag 2215003/2216971 700.69/699.15 c cleaning 10002 clauses out of 20031 with flag 2225000/2226968 704.50/702.92 c cleaning 10000 clauses out of 20029 with flag 2235000/2236968 708.39/706.83 c cleaning 9997 clauses out of 20030 with flag 2245001/2246969 711.70/710.11 c cleaning 9991 clauses out of 20032 with flag 2255000/2256968 715.20/713.62 c cleaning 10009 clauses out of 20043 with flag 2265002/2266970 718.90/717.38 c cleaning 10000 clauses out of 20032 with flag 2275000/2276968 722.81/721.20 c cleaning 10000 clauses out of 20034 with flag 2285002/2286970 725.71/724.15 c cleaning 10005 clauses out of 20035 with flag 2295003/2296971 729.01/727.48 c cleaning 10002 clauses out of 20031 with flag 2305004/2306972 732.62/731.08 c cleaning 9999 clauses out of 20029 with flag 2315004/2316972 736.02/734.47 c cleaning 9997 clauses out of 20027 with flag 2325001/2326969 739.03/737.44 c cleaning 10003 clauses out of 20032 with flag 2335003/2336971 742.73/741.17 c cleaning 9999 clauses out of 20026 with flag 2345000/2346968 745.84/744.23 c cleaning 10002 clauses out of 20029 with flag 2355002/2356970 749.24/747.63 c cleaning 9977 clauses out of 20025 with flag 2365000/2366968 752.24/750.67 c cleaning 10013 clauses out of 20052 with flag 2375004/2376972 755.25/753.62 c cleaning 9997 clauses out of 20035 with flag 2385000/2386968 758.35/756.73 c cleaning 10007 clauses out of 20041 with flag 2395003/2396971 761.55/759.95 c cleaning 10001 clauses out of 20032 with flag 2405001/2406969 764.86/763.26 c cleaning 10006 clauses out of 20035 with flag 2415005/2416973 768.37/766.72 c cleaning 9997 clauses out of 20024 with flag 2425000/2426968 771.36/769.72 c cleaning 9994 clauses out of 20028 with flag 2435001/2436969 775.17/773.59 c cleaning 9999 clauses out of 20033 with flag 2445000/2446968 778.67/777.01 c cleaning 9999 clauses out of 20036 with flag 2455002/2456970 782.38/780.70 c cleaning 9999 clauses out of 20035 with flag 2465000/2466968 785.88/784.26 c cleaning 9998 clauses out of 20036 with flag 2475000/2476968 789.38/787.75 c cleaning 9999 clauses out of 20039 with flag 2485001/2486969 793.18/791.58 c cleaning 9999 clauses out of 20039 with flag 2495000/2496968 796.99/795.37 c cleaning 10001 clauses out of 20041 with flag 2505001/2506969 800.49/798.86 c cleaning 10000 clauses out of 20040 with flag 2515001/2516969 804.09/802.41 c cleaning 9994 clauses out of 20039 with flag 2525000/2526968 807.90/806.22 c cleaning 10006 clauses out of 20048 with flag 2535003/2536971 811.70/810.07 c cleaning 9993 clauses out of 20041 with flag 2545002/2546970 815.71/814.03 c cleaning 10002 clauses out of 20048 with flag 2555002/2556970 819.21/817.52 c cleaning 10003 clauses out of 20045 with flag 2565001/2566969 822.71/821.00 c cleaning 10000 clauses out of 20041 with flag 2575000/2576968 826.81/825.12 c cleaning 9999 clauses out of 20041 with flag 2585000/2586968 830.02/828.33 c cleaning 10000 clauses out of 20042 with flag 2595000/2596968 833.42/831.78 c cleaning 10002 clauses out of 20042 with flag 2605000/2606968 836.82/835.12 c cleaning 10001 clauses out of 20041 with flag 2615001/2616969 840.02/838.37 c cleaning 9993 clauses out of 20039 with flag 2625000/2626968 843.23/841.55 c cleaning 10002 clauses out of 20047 with flag 2635001/2636969 847.03/845.36 c cleaning 10005 clauses out of 20049 with flag 2645005/2646973 849.93/848.26 c cleaning 9988 clauses out of 20039 with flag 2655000/2656968 853.33/851.63 c cleaning 9996 clauses out of 20051 with flag 2665000/2666968 856.63/854.90 c cleaning 9999 clauses out of 20057 with flag 2675002/2676970 860.44/858.71 c cleaning 9999 clauses out of 20056 with flag 2685000/2686968 863.95/862.26 c cleaning 9998 clauses out of 20058 with flag 2695001/2696969 867.36/865.64 c cleaning 9998 clauses out of 20059 with flag 2705000/2706968 871.05/869.33 c cleaning 10000 clauses out of 20065 with flag 2715004/2716972 874.85/873.10 c cleaning 10002 clauses out of 20064 with flag 2725003/2726971 878.16/876.49 c cleaning 9999 clauses out of 20059 with flag 2735000/2736968 881.67/879.95 c cleaning 10001 clauses out of 20061 with flag 2745001/2746969 884.97/883.27 c cleaning 9997 clauses out of 20059 with flag 2755000/2756968 888.67/886.95 c cleaning 10002 clauses out of 20063 with flag 2765001/2766969 892.57/890.88 c cleaning 10000 clauses out of 20060 with flag 2775000/2776968 896.18/894.45 c cleaning 10001 clauses out of 20061 with flag 2785001/2786969 899.68/897.96 c cleaning 9999 clauses out of 20059 with flag 2795000/2796968 903.38/901.61 c cleaning 9999 clauses out of 20062 with flag 2805002/2806970 906.78/905.03 c cleaning 10001 clauses out of 20062 with flag 2815001/2816969 910.89/909.13 c cleaning 9997 clauses out of 20061 with flag 2825001/2826969 914.29/912.50 c cleaning 9997 clauses out of 20063 with flag 2835000/2836968 917.79/916.02 c cleaning 10003 clauses out of 20066 with flag 2845000/2846968 921.00/919.22 c cleaning 10002 clauses out of 20065 with flag 2855002/2856970 924.60/922.90 c cleaning 9999 clauses out of 20061 with flag 2865000/2866968 928.60/926.88 c cleaning 10000 clauses out of 20062 with flag 2875000/2876968 932.31/930.60 c cleaning 10002 clauses out of 20066 with flag 2885004/2886972 936.11/934.36 c cleaning 10000 clauses out of 20061 with flag 2895001/2896969 940.02/938.23 c cleaning 9998 clauses out of 20062 with flag 2905002/2906970 943.62/941.86 c cleaning 10001 clauses out of 20062 with flag 2915000/2916968 947.42/945.69 c cleaning 9999 clauses out of 20061 with flag 2925000/2926968 950.62/948.87 c cleaning 9990 clauses out of 20062 with flag 2935000/2936968 953.82/952.09 c cleaning 10000 clauses out of 20073 with flag 2945001/2946969 957.32/955.54 c cleaning 10003 clauses out of 20072 with flag 2955000/2956968 961.62/959.86 c cleaning 9997 clauses out of 20070 with flag 2965001/2966969 965.53/963.71 c cleaning 10002 clauses out of 20073 with flag 2975001/2976969 968.93/967.10 c cleaning 10004 clauses out of 20072 with flag 2985002/2986970 971.14/969.35 c cleaning 10030 clauses out of 20067 with flag 2995001/2996969 973.74/971.97 c cleaning 9992 clauses out of 20036 with flag 3005000/3006968 977.25/975.45 c cleaning 10006 clauses out of 20046 with flag 3015002/3016970 980.46/978.66 c cleaning 10003 clauses out of 20040 with flag 3025002/3026970 983.76/981.90 c cleaning 10003 clauses out of 20038 with flag 3035003/3036971 986.97/985.12 c cleaning 10005 clauses out of 20032 with flag 3045000/3046968 990.28/988.46 c cleaning 10003 clauses out of 20029 with flag 3055002/3056970 993.58/991.79 c cleaning 9991 clauses out of 20029 with flag 3065005/3066973 996.88/995.08 c cleaning 9987 clauses out of 20033 with flag 3075000/3076968 1000.29/998.40 c cleaning 9996 clauses out of 20046 with flag 3085000/3086968 1003.60/1001.74 c cleaning 9997 clauses out of 20052 with flag 3095002/3096970 1006.90/1005.05 c cleaning 9992 clauses out of 20053 with flag 3105000/3106968 1010.51/1008.62 c cleaning 10005 clauses out of 20069 with flag 3115008/3116976 1013.51/1011.67 c cleaning 9996 clauses out of 20058 with flag 3125002/3126970 1017.71/1015.82 c cleaning 9998 clauses out of 20061 with flag 3135001/3136969 1021.63/1019.78 c cleaning 9999 clauses out of 20062 with flag 3145000/3146968 1025.13/1023.23 c cleaning 10001 clauses out of 20064 with flag 3155001/3156969 1028.43/1026.59 c cleaning 10004 clauses out of 20064 with flag 3165002/3166970 1032.14/1030.29 c cleaning 9995 clauses out of 20059 with flag 3175001/3176969 1034.85/1032.92 c cleaning 9999 clauses out of 20063 with flag 3185000/3186968 1038.45/1036.55 c cleaning 10003 clauses out of 20065 with flag 3195001/3196969 1042.06/1040.15 c cleaning 10003 clauses out of 20065 with flag 3205004/3206972 1045.66/1043.75 c cleaning 10001 clauses out of 20060 with flag 3215002/3216970 1049.36/1047.41 c cleaning 10002 clauses out of 20059 with flag 3225002/3226970 1052.96/1051.05 c cleaning 9998 clauses out of 20057 with flag 3235002/3236970 1056.66/1054.77 c cleaning 10003 clauses out of 20062 with flag 3245005/3246973 1060.07/1058.19 c cleaning 9998 clauses out of 20054 with flag 3255000/3256968 1063.57/1061.64 c cleaning 10000 clauses out of 20057 with flag 3265001/3266969 1067.17/1065.24 c cleaning 9997 clauses out of 20058 with flag 3275002/3276970 1070.27/1068.32 c cleaning 10013 clauses out of 20060 with flag 3285001/3286969 1073.38/1071.42 c cleaning 10004 clauses out of 20048 with flag 3295002/3296970 1076.69/1074.76 c cleaning 10006 clauses out of 20045 with flag 3305003/3306971 1080.18/1078.25 c cleaning 10002 clauses out of 20036 with flag 3315000/3316968 1083.49/1081.57 c cleaning 9999 clauses out of 20036 with flag 3325002/3326970 1086.69/1084.74 c cleaning 10002 clauses out of 20040 with flag 3335005/3336973 1090.30/1088.32 c cleaning 9997 clauses out of 20036 with flag 3345003/3346971 1093.60/1091.69 c cleaning 10001 clauses out of 20038 with flag 3355002/3356970 1097.01/1095.02 c cleaning 10003 clauses out of 20039 with flag 3365004/3366972 1099.81/1097.88 c cleaning 9998 clauses out of 20032 with flag 3375000/3376968 1103.11/1101.15 c cleaning 9999 clauses out of 20034 with flag 3385000/3386968 1106.42/1104.43 c cleaning 10002 clauses out of 20035 with flag 3395000/3396968 1110.12/1108.11 c cleaning 10000 clauses out of 20035 with flag 3405002/3406970 1113.32/1111.35 c cleaning 9997 clauses out of 20034 with flag 3415001/3416969 1116.42/1114.44 c cleaning 10001 clauses out of 20038 with flag 3425002/3426970 1119.63/1117.64 c cleaning 10007 clauses out of 20039 with flag 3435004/3436972 1123.34/1121.30 c cleaning 10001 clauses out of 20029 with flag 3445001/3446969 1127.14/1125.17 c cleaning 10002 clauses out of 20028 with flag 3455001/3456969 1130.95/1128.98 c cleaning 9999 clauses out of 20025 with flag 3465000/3466968 1134.96/1132.98 c cleaning 9998 clauses out of 20026 with flag 3475000/3476968 1138.75/1136.71 c cleaning 10002 clauses out of 20028 with flag 3485000/3486968 1143.16/1141.14 c cleaning 10003 clauses out of 20028 with flag 3495002/3496970 1147.26/1145.24 c cleaning 9995 clauses out of 20024 with flag 3505001/3506969 1150.86/1148.88 c cleaning 10003 clauses out of 20031 with flag 3515003/3516971 1154.47/1152.41 c cleaning 9999 clauses out of 20027 with flag 3525002/3526970 1158.27/1156.25 c cleaning 9997 clauses out of 20026 with flag 3535000/3536968 1162.18/1160.12 c cleaning 10002 clauses out of 20029 with flag 3545000/3546968 1165.68/1163.61 c cleaning 10000 clauses out of 20027 with flag 3555000/3556968 1169.58/1167.59 c cleaning 9999 clauses out of 20027 with flag 3565000/3566968 1173.18/1171.11 c cleaning 9998 clauses out of 20029 with flag 3575001/3576969 1176.79/1174.71 c cleaning 10009 clauses out of 20035 with flag 3585005/3586973 1180.39/1178.30 c cleaning 9995 clauses out of 20021 with flag 3595000/3596968 1183.69/1181.61 c cleaning 10000 clauses out of 20027 with flag 3605001/3606969 1187.39/1185.36 c cleaning 10002 clauses out of 20029 with flag 3615003/3616971 1190.69/1188.69 c cleaning 9992 clauses out of 20024 with flag 3625000/3626968 1194.59/1192.59 c cleaning 10003 clauses out of 20032 with flag 3635000/3636968 1198.40/1196.31 c cleaning 10004 clauses out of 20029 with flag 3645000/3646968 1201.60/1199.57 c cleaning 9988 clauses out of 20025 with flag 3655000/3656968 1204.80/1202.70 c cleaning 9994 clauses out of 20038 with flag 3665001/3666969 1208.41/1206.31 c cleaning 10000 clauses out of 20043 with flag 3675000/3676968 1211.41/1209.32 c cleaning 10002 clauses out of 20046 with flag 3685003/3686971 1214.32/1212.24 c cleaning 9991 clauses out of 20045 with flag 3695004/3696972 1217.21/1215.11 c cleaning 9990 clauses out of 20051 with flag 3705001/3706969 1220.72/1218.70 c cleaning 9996 clauses out of 20061 with flag 3715001/3716969 1223.82/1221.77 c cleaning 9998 clauses out of 20065 with flag 3725001/3726969 1227.22/1225.16 c cleaning 9999 clauses out of 20069 with flag 3735003/3736971 1230.92/1228.83 c cleaning 9998 clauses out of 20068 with flag 3745001/3746969 1234.52/1232.41 c cleaning 10000 clauses out of 20069 with flag 3755000/3756968 1237.33/1235.29 c cleaning 9999 clauses out of 20069 with flag 3765000/3766968 1240.33/1238.29 c cleaning 10000 clauses out of 20071 with flag 3775001/3776969 1243.33/1241.21 c cleaning 10002 clauses out of 20072 with flag 3785002/3786970 1246.63/1244.59 c cleaning 9995 clauses out of 20068 with flag 3795000/3796968 1249.84/1247.76 c cleaning 10001 clauses out of 20076 with flag 3805003/3806971 1253.44/1251.36 c cleaning 9999 clauses out of 20072 with flag 3815000/3816968 1257.25/1255.19 c cleaning 9998 clauses out of 20075 with flag 3825002/3826970 1260.64/1258.53 c cleaning 10001 clauses out of 20076 with flag 3835001/3836969 1263.65/1261.50 c cleaning 10001 clauses out of 20076 with flag 3845002/3846970 1267.05/1264.95 c cleaning 9998 clauses out of 20073 with flag 3855000/3856968 1270.35/1268.26 c cleaning 10001 clauses out of 20076 with flag 3865001/3866969 1273.66/1271.53 c cleaning 10002 clauses out of 20074 with flag 3875000/3876968 1276.75/1274.62 c cleaning 10011 clauses out of 20072 with flag 3885000/3886968 1280.15/1278.09 c cleaning 10012 clauses out of 20063 with flag 3895002/3896970 1283.76/1281.60 c cleaning 10005 clauses out of 20052 with flag 3905003/3906971 1287.06/1284.96 c cleaning 9999 clauses out of 20046 with flag 3915002/3916970 1290.27/1288.19 c cleaning 10003 clauses out of 20048 with flag 3925003/3926971 1293.86/1291.75 c cleaning 10000 clauses out of 20043 with flag 3935001/3936969 1297.37/1295.20 c cleaning 10000 clauses out of 20042 with flag 3945000/3946968 1300.66/1298.58 c cleaning 9998 clauses out of 20042 with flag 3955000/3956968 1303.77/1301.62 c cleaning 10004 clauses out of 20051 with flag 3965007/3966975 1307.07/1304.98 c cleaning 9997 clauses out of 20042 with flag 3975002/3976970 1310.18/1308.00 c cleaning 10002 clauses out of 20043 with flag 3985000/3986968 1313.29/1311.13 c cleaning 10009 clauses out of 20042 with flag 3995001/3996969 1316.59/1314.43 c cleaning 10003 clauses out of 20032 with flag 4005000/4006968 1319.49/1317.35 c cleaning 10003 clauses out of 20031 with flag 4015002/4016970 1322.49/1320.39 c cleaning 9998 clauses out of 20028 with flag 4025002/4026970 1325.89/1323.71 c cleaning 10008 clauses out of 20035 with flag 4035007/4036975 1329.10/1326.98 c cleaning 9998 clauses out of 20020 with flag 4045000/4046968 1332.30/1330.10 c cleaning 10003 clauses out of 20025 with flag 4055003/4056971 1335.31/1333.20 c cleaning 9995 clauses out of 20020 with flag 4065001/4066969 1339.01/1336.84 c cleaning 9998 clauses out of 20024 with flag 4075000/4076968 1342.41/1340.27 c cleaning 10005 clauses out of 20027 with flag 4085001/4086969 1345.81/1343.61 c cleaning 10000 clauses out of 20022 with flag 4095001/4096969 1349.02/1346.81 c cleaning 9997 clauses out of 20021 with flag 4105000/4106968 1351.94/1349.76 c cleaning 10004 clauses out of 20028 with flag 4115004/4116972 1355.64/1353.41 c cleaning 9998 clauses out of 20020 with flag 4125000/4126968 1358.64/1356.45 c cleaning 9995 clauses out of 20022 with flag 4135000/4136968 1361.94/1359.79 c cleaning 9997 clauses out of 20027 with flag 4145000/4146968 1365.44/1363.20 c cleaning 10006 clauses out of 20031 with flag 4155001/4156969 1368.55/1366.33 c cleaning 10004 clauses out of 20028 with flag 4165004/4166972 1372.25/1370.06 c cleaning 9998 clauses out of 20023 with flag 4175003/4176971 1375.85/1373.69 c cleaning 9999 clauses out of 20023 with flag 4185001/4186969 1378.96/1376.77 c cleaning 9997 clauses out of 20024 with flag 4195001/4196969 1382.46/1380.26 c cleaning 10005 clauses out of 20029 with flag 4205003/4206971 1385.87/1383.61 c cleaning 9989 clauses out of 20022 with flag 4215001/4216969 1389.67/1387.47 c cleaning 10003 clauses out of 20033 with flag 4225001/4226969 1393.27/1391.07 c cleaning 10006 clauses out of 20032 with flag 4235003/4236971 1396.88/1394.69 c cleaning 9993 clauses out of 20023 with flag 4245000/4246968 1400.48/1398.22 c cleaning 10000 clauses out of 20031 with flag 4255001/4256969 1403.38/1401.19 c cleaning 10006 clauses out of 20032 with flag 4265002/4266970 1407.19/1404.96 c cleaning 9995 clauses out of 20024 with flag 4275000/4276968 1410.49/1408.24 c cleaning 10005 clauses out of 20029 with flag 4285000/4286968 1413.79/1411.51 c cleaning 10000 clauses out of 20024 with flag 4295000/4296968 1417.10/1414.85 c cleaning 9999 clauses out of 20024 with flag 4305000/4306968 1420.50/1418.23 c cleaning 10002 clauses out of 20028 with flag 4315003/4316971 1424.21/1421.99 c cleaning 10001 clauses out of 20024 with flag 4325001/4326969 1427.81/1425.56 c cleaning 9994 clauses out of 20022 with flag 4335000/4336968 1430.81/1428.55 c cleaning 10004 clauses out of 20029 with flag 4345001/4346969 1434.11/1431.80 c cleaning 9998 clauses out of 20024 with flag 4355000/4356968 1437.62/1435.32 c cleaning 10001 clauses out of 20026 with flag 4365000/4366968 1440.72/1438.49 c cleaning 10000 clauses out of 20025 with flag 4375000/4376968 1444.33/1442.08 c cleaning 9999 clauses out of 20026 with flag 4385001/4386969 1447.63/1445.35 c cleaning 10001 clauses out of 20027 with flag 4395001/4396969 1451.93/1449.64 c cleaning 9994 clauses out of 20026 with flag 4405001/4406969 1456.14/1453.80 c cleaning 10003 clauses out of 20031 with flag 4415000/4416968 1459.94/1457.64 c cleaning 10001 clauses out of 20028 with flag 4425000/4426968 1463.34/1461.02 c cleaning 10002 clauses out of 20028 with flag 4435001/4436969 1467.05/1464.76 c cleaning 10001 clauses out of 20025 with flag 4445000/4446968 1470.95/1468.62 c cleaning 10001 clauses out of 20026 with flag 4455002/4456970 1474.55/1472.20 c cleaning 9995 clauses out of 20025 with flag 4465002/4466970 1477.86/1475.51 c cleaning 10009 clauses out of 20031 with flag 4475003/4476971 1480.76/1478.48 c cleaning 9996 clauses out of 20023 with flag 4485004/4486972 1483.27/1480.97 c cleaning 9921 clauses out of 20026 with flag 4495003/4496971 1485.67/1483.39 c cleaning 10024 clauses out of 20104 with flag 4505002/4506970 1488.58/1486.27 c cleaning 10009 clauses out of 20081 with flag 4515003/4516971 1491.28/1488.96 c cleaning 10025 clauses out of 20072 with flag 4525003/4526971 1494.79/1492.42 c cleaning 10012 clauses out of 20046 with flag 4535002/4536970 1497.70/1495.36 c cleaning 10001 clauses out of 20032 with flag 4545000/4546968 1501.00/1498.65 c cleaning 10001 clauses out of 20035 with flag 4555004/4556972 1504.71/1502.32 c cleaning 9991 clauses out of 20031 with flag 4565001/4566969 1507.70/1505.37 c cleaning 10009 clauses out of 20041 with flag 4575002/4576970 1511.41/1509.01 c cleaning 10000 clauses out of 20031 with flag 4585001/4586969 1514.82/1512.45 c cleaning 10002 clauses out of 20033 with flag 4595003/4596971 1518.23/1515.88 c cleaning 9998 clauses out of 20028 with flag 4605000/4606968 1521.54/1519.15 c cleaning 10011 clauses out of 20030 with flag 4615000/4616968 1523.34/1520.90 c cleaning 10001 clauses out of 20021 with flag 4625002/4626970 1526.74/1524.39 c cleaning 9998 clauses out of 20020 with flag 4635002/4636970 1530.35/1527.95 c cleaning 9996 clauses out of 20020 with flag 4645000/4646968 1533.35/1530.93 c cleaning 10000 clauses out of 20024 with flag 4655000/4656968 1536.45/1534.03 c cleaning 10000 clauses out of 20026 with flag 4665002/4666970 1539.45/1537.01 c cleaning 9999 clauses out of 20024 with flag 4675000/4676968 1542.05/1539.68 c cleaning 9994 clauses out of 20025 with flag 4685000/4686968 1545.36/1542.95 c cleaning 10001 clauses out of 20033 with flag 4695002/4696970 1548.76/1546.31 c cleaning 9997 clauses out of 20030 with flag 4705000/4706968 1552.27/1549.90 c cleaning 10003 clauses out of 20036 with flag 4715003/4716971 1555.96/1553.55 c cleaning 10001 clauses out of 20033 with flag 4725003/4726971 1559.86/1557.43 c cleaning 10002 clauses out of 20033 with flag 4735004/4736972 1563.38/1560.97 c cleaning 9997 clauses out of 20028 with flag 4745001/4746969 1566.97/1564.53 c cleaning 9997 clauses out of 20030 with flag 4755000/4756968 1570.78/1568.37 c cleaning 10000 clauses out of 20034 with flag 4765001/4766969 1574.68/1572.30 c cleaning 10002 clauses out of 20033 with flag 4775000/4776968 1577.79/1575.38 c cleaning 9998 clauses out of 20033 with flag 4785002/4786970 1581.00/1578.52 c cleaning 10000 clauses out of 20035 with flag 4795002/4796970 1584.10/1581.65 c cleaning 9999 clauses out of 20034 with flag 4805001/4806969 1587.20/1584.74 c cleaning 9999 clauses out of 20037 with flag 4815003/4816971 1590.50/1588.01 c cleaning 10000 clauses out of 20036 with flag 4825001/4826969 1593.80/1591.34 c cleaning 9999 clauses out of 20036 with flag 4835001/4836969 1597.01/1594.56 c cleaning 9999 clauses out of 20037 with flag 4845001/4846969 1600.11/1597.66 c cleaning 10002 clauses out of 20041 with flag 4855004/4856972 1603.32/1600.89 c cleaning 10000 clauses out of 20037 with flag 4865002/4866970 1607.02/1604.57 c cleaning 9999 clauses out of 20035 with flag 4875000/4876968 1610.52/1608.10 c cleaning 9999 clauses out of 20036 with flag 4885000/4886968 1614.33/1611.88 c cleaning 10000 clauses out of 20037 with flag 4895000/4896968 1617.83/1615.38 c cleaning 9999 clauses out of 20037 with flag 4905000/4906968 1621.24/1618.75 c cleaning 10001 clauses out of 20042 with flag 4915004/4916972 1624.35/1621.89 c cleaning 9998 clauses out of 20038 with flag 4925001/4926969 1627.35/1624.82 c cleaning 10006 clauses out of 20039 with flag 4935000/4936968 1630.56/1628.03 c cleaning 10003 clauses out of 20035 with flag 4945002/4946970 1633.96/1631.42 c cleaning 10002 clauses out of 20031 with flag 4955001/4956969 1638.06/1635.50 c cleaning 10001 clauses out of 20028 with flag 4965000/4966968 1641.57/1639.07 c cleaning 10001 clauses out of 20027 with flag 4975000/4976968 1644.97/1642.44 c cleaning 10001 clauses out of 20028 with flag 4985002/4986970 1648.18/1645.65 c cleaning 9990 clauses out of 20026 with flag 4995001/4996969 1651.28/1648.70 c cleaning 10004 clauses out of 20035 with flag 5005000/5006968 1654.58/1652.05 c cleaning 9991 clauses out of 20031 with flag 5015000/5016968 1657.69/1655.17 c cleaning 10010 clauses out of 20043 with flag 5025003/5026971 1660.89/1658.36 c cleaning 10002 clauses out of 20032 with flag 5035002/5036970 1664.19/1661.64 c cleaning 10005 clauses out of 20031 with flag 5045003/5046971 1667.70/1665.18 c cleaning 9996 clauses out of 20023 with flag 5055000/5056968 1671.10/1668.57 c cleaning 9997 clauses out of 20027 with flag 5065000/5066968 1674.31/1671.73 c cleaning 10000 clauses out of 20030 with flag 5075000/5076968 1677.92/1675.33 c cleaning 10004 clauses out of 20031 with flag 5085001/5086969 1681.72/1679.17 c cleaning 10002 clauses out of 20028 with flag 5095002/5096970 1685.63/1683.03 c cleaning 9999 clauses out of 20025 with flag 5105001/5106969 1689.23/1686.60 c cleaning 10003 clauses out of 20029 with flag 5115004/5116972 1692.43/1689.84 c cleaning 9998 clauses out of 20023 with flag 5125001/5126969 1695.54/1692.98 c cleaning 9990 clauses out of 20027 with flag 5135003/5136971 1699.14/1696.55 c cleaning 10008 clauses out of 20040 with flag 5145006/5146974 1701.64/1699.07 c cleaning 9997 clauses out of 20027 with flag 5155001/5156969 1704.85/1702.23 c cleaning 9993 clauses out of 20031 with flag 5165002/5166970 1707.85/1705.26 c cleaning 10002 clauses out of 20039 with flag 5175003/5176971 1710.86/1708.22 c cleaning 9996 clauses out of 20036 with flag 5185002/5186970 1713.96/1711.33 c cleaning 10003 clauses out of 20039 with flag 5195001/5196969 1716.97/1714.33 c cleaning 9999 clauses out of 20036 with flag 5205001/5206969 1720.17/1717.56 c cleaning 10003 clauses out of 20038 with flag 5215002/5216970 1723.77/1721.17 c cleaning 9999 clauses out of 20034 with flag 5225001/5226969 1727.48/1724.85 c cleaning 10001 clauses out of 20035 with flag 5235001/5236969 1730.79/1728.14 c cleaning 10000 clauses out of 20035 with flag 5245002/5246970 1734.29/1731.66 c cleaning 10000 clauses out of 20036 with flag 5255003/5256971 1737.69/1735.08 c cleaning 9997 clauses out of 20033 with flag 5265000/5266968 1741.10/1738.43 c cleaning 10002 clauses out of 20037 with flag 5275001/5276969 1744.60/1741.97 c cleaning 10002 clauses out of 20036 with flag 5285002/5286970 1747.91/1745.22 c cleaning 9998 clauses out of 20034 with flag 5295002/5296970 1751.21/1748.53 c cleaning 10001 clauses out of 20035 with flag 5305001/5306969 1754.52/1751.81 c cleaning 9996 clauses out of 20034 with flag 5315001/5316969 1758.12/1755.45 c cleaning 10004 clauses out of 20041 with flag 5325004/5326972 1761.72/1759.07 c cleaning 9996 clauses out of 20033 with flag 5335000/5336968 1765.42/1762.72 c cleaning 10000 clauses out of 20037 with flag 5345000/5346968 1769.33/1766.66 c cleaning 10004 clauses out of 20041 with flag 5355004/5356972 1772.43/1769.76 c cleaning 9999 clauses out of 20033 with flag 5365000/5366968 1775.73/1773.09 c cleaning 9999 clauses out of 20038 with flag 5375004/5376972 1779.34/1776.60 c cleaning 10002 clauses out of 20035 with flag 5385000/5386968 1782.55/1779.88 c cleaning 10000 clauses out of 20034 with flag 5395001/5396969 1786.24/1783.55 c cleaning 9995 clauses out of 20033 with flag 5405000/5406968 1789.74/1787.07 c cleaning 10004 clauses out of 20043 with flag 5415005/5416973 1793.35/1790.62 c cleaning 9999 clauses out of 20035 with flag 5425001/5426969 1797.25/1794.56 c cleaning 10003 clauses out of 20036 with flag 5435001/5436969 1800.07/1797.31 c starts : 280 1800.07/1797.31 c conflicts : 5445320 1800.07/1797.31 c decisions : 6661290 1800.07/1797.31 c propagations : 133512818 1800.07/1797.31 c inspects : 8827566035 1800.07/1797.31 c shortcuts : 0 1800.07/1797.31 c learnt literals : 0 1800.07/1797.31 c learnt binary clauses : 0 1800.07/1797.31 c learnt ternary clauses : 0 1800.07/1797.31 c learnt constraints : 5445320 1800.07/1797.31 c ignored constraints : 0 1800.07/1797.31 c root simplifications : 0 1800.07/1797.31 c removed literals (reason simplification) : 28275410 1800.07/1797.31 c reason swapping (by a shorter reason) : 0 1800.07/1797.31 c Calls to reduceDB : 545 1800.07/1797.31 c number of reductions to clauses (during analyze) : 0 1800.07/1797.31 c number of learned constraints concerned by reduction : 0 1800.07/1797.31 c number of learning phase by resolution : 0 1800.07/1797.31 c number of learning phase by cutting planes : 0 1800.07/1797.31 c speed (assignments/second) : 74308.50091026121 1800.07/1797.31 c non guided choices 26298 1800.07/1797.33 c learnt constraints type 1800.07/1797.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18430 1800.07/1797.33 c constraints type 1800.07/1797.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 35 1800.07/1797.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31 1800.07/1797.33 s SATISFIABLE 1800.07/1797.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1800.07/1797.34 c objective function=3 1800.07/1797.34 c Total wall clock time (in seconds): 1797.232
OK 3
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 /var/tmp/evaluation-result-3492601-1307910939/watcher-3492601-1307910939 -o /var/tmp/evaluation-result-3492601-1307910939/solver-3492601-1307910939 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492601-1307910939.wbo running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.98 3/195 6047 /proc/meminfo: memFree=1504576/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=30528 CPUtime=0 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 981324700 31260672 957 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 7632 957 730 9 0 383 0 [pid=6047/tid=6048] ppid=6045 vsize=30528 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 981324700 31260672 957 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 215988647081 0 0 4096 0 0 0 0 -1 0 0 0 0 [startup+0.099421 s] /proc/loadavg: 1.92 1.99 1.98 3/195 6047 /proc/meminfo: memFree=1504576/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10540096 CPUtime=0.11 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 13144 0 1 0 9 2 0 0 25 0 18 0 981324700 10793058304 12772 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2635024 12772 2092 9 0 2625758 0 [pid=6047/tid=6048] ppid=6045 vsize=10540096 CPUtime=0.08 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 11173 0 1 0 7 1 0 0 25 0 18 0 981324700 10793058304 12774 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 47638820629331 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540096 [startup+0.100419 s] /proc/loadavg: 1.92 1.99 1.98 3/195 6047 /proc/meminfo: memFree=1504576/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10540096 CPUtime=0.11 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 13153 0 1 0 9 2 0 0 25 0 18 0 981324700 10793058304 12781 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2635024 12781 2092 9 0 2625758 0 [pid=6047/tid=6048] ppid=6045 vsize=10540096 CPUtime=0.08 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 11180 0 1 0 7 1 0 0 25 0 18 0 981324700 10793058304 12781 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912496218210 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540096 [startup+0.300385 s] /proc/loadavg: 1.92 1.99 1.98 3/195 6047 /proc/meminfo: memFree=1504576/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=0.55 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 15853 0 1 0 53 2 0 0 25 0 19 0 981324700 10797125632 14636 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 14636 2216 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=0.28 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 11965 0 1 0 27 1 0 0 25 0 19 0 981324700 10797125632 14636 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505498507 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 10544068 [startup+0.700311 s] /proc/loadavg: 1.92 1.99 1.98 3/195 6047 /proc/meminfo: memFree=1504576/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=1.05 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 17248 0 1 0 103 2 0 0 25 0 19 0 981324700 10797125632 15424 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 15424 2221 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=0.69 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 12746 0 1 0 67 2 0 0 25 0 19 0 981324700 10797125632 15424 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505558003 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 10544068 [startup+1.50128 s] /proc/loadavg: 1.92 1.99 1.98 3/214 6066 /proc/meminfo: memFree=1448900/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=1.89 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 20555 0 1 0 186 3 0 0 25 0 19 0 981324700 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 18589 2249 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=1.47 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 13850 0 1 0 145 2 0 0 25 0 19 0 981324700 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505574120 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6047/tid=6050] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6050/stat : 6050 (java) S 6045 6047 3459 0 -1 4202560 639 0 0 0 0 0 0 0 18 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6051] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6051/stat : 6051 (java) S 6045 6047 3459 0 -1 4202560 276 0 0 0 0 0 0 0 18 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6052] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6052/stat : 6052 (java) S 6045 6047 3459 0 -1 4202560 118 0 0 0 0 0 0 0 18 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6053] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6053/stat : 6053 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6054] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6054/stat : 6054 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6055] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6055/stat : 6055 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6056] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6056/stat : 6056 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6057] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6057/stat : 6057 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981324702 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6058] ppid=6045 vsize=10544068 CPUtime=0.01 cores=0,2,4,6 /proc/6047/task/6058/stat : 6058 (java) S 6045 6047 3459 0 -1 4202560 1024 0 0 0 1 0 0 0 16 0 19 0 981324703 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 0 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6059] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6059/stat : 6059 (java) S 6045 6047 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6060] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6060/stat : 6060 (java) S 6045 6047 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6061] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6061/stat : 6061 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324705 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000416177 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6062] ppid=6045 vsize=10544068 CPUtime=0.2 cores=0,2,4,6 /proc/6047/task/6062/stat : 6062 (java) S 6045 6047 3459 0 -1 4202560 1024 0 0 0 20 0 0 0 17 0 19 0 981324705 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6063] ppid=6045 vsize=10544068 CPUtime=0.18 cores=0,2,4,6 /proc/6047/task/6063/stat : 6063 (java) S 6045 6047 3459 0 -1 4202560 2468 0 0 0 18 0 0 0 17 0 19 0 981324706 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6064] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6064/stat : 6064 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324706 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6065] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6065/stat : 6065 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981324706 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6066] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6066/stat : 6066 (java) S 6045 6047 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981324719 10797125632 18589 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.89 Current children cumulated vsize (KiB) 10544068 [startup+3.101 s] /proc/loadavg: 1.92 1.99 1.98 3/214 6066 /proc/meminfo: memFree=1438360/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=3.52 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 22373 0 1 0 349 3 0 0 25 0 19 0 981324700 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 20405 2249 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=3.05 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 13852 0 1 0 303 2 0 0 25 0 19 0 981324700 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505606532 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6047/tid=6050] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6050/stat : 6050 (java) S 6045 6047 3459 0 -1 4202560 639 0 0 0 0 0 0 0 16 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6051] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6051/stat : 6051 (java) S 6045 6047 3459 0 -1 4202560 647 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6052] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6052/stat : 6052 (java) S 6045 6047 3459 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6053] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6053/stat : 6053 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6054] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6054/stat : 6054 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6055] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6055/stat : 6055 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6056] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6056/stat : 6056 (java) S 6045 6047 3459 0 -1 4202560 361 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6057] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6057/stat : 6057 (java) S 6045 6047 3459 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6058] ppid=6045 vsize=10544068 CPUtime=0.02 cores=0,2,4,6 /proc/6047/task/6058/stat : 6058 (java) S 6045 6047 3459 0 -1 4202560 1706 0 0 0 2 0 0 0 16 0 19 0 981324703 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 0 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6059] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6059/stat : 6059 (java) S 6045 6047 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6060] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6060/stat : 6060 (java) S 6045 6047 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6061] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6061/stat : 6061 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324705 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000416177 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6062] ppid=6045 vsize=10544068 CPUtime=0.22 cores=0,2,4,6 /proc/6047/task/6062/stat : 6062 (java) S 6045 6047 3459 0 -1 4202560 1028 0 0 0 22 0 0 0 15 0 19 0 981324705 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6063] ppid=6045 vsize=10544068 CPUtime=0.19 cores=0,2,4,6 /proc/6047/task/6063/stat : 6063 (java) S 6045 6047 3459 0 -1 4202560 2469 0 0 0 19 0 0 0 15 0 19 0 981324706 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6064] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6064/stat : 6064 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324706 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6065] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6065/stat : 6065 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981324706 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6066] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6066/stat : 6066 (java) S 6045 6047 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981324719 10797125632 20405 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.52 Current children cumulated vsize (KiB) 10544068 [startup+6.30144 s] /proc/loadavg: 1.93 1.99 1.98 3/214 6066 /proc/meminfo: memFree=1414200/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=6.75 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 24300 0 1 0 672 3 0 0 25 0 19 0 981324700 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 22254 2249 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=6.21 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 13855 0 1 0 619 2 0 0 25 0 19 0 981324700 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505628363 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6047/tid=6050] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6050/stat : 6050 (java) S 6045 6047 3459 0 -1 4202560 878 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6051] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6051/stat : 6051 (java) S 6045 6047 3459 0 -1 4202560 841 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6052] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6052/stat : 6052 (java) S 6045 6047 3459 0 -1 4202560 370 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6053] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6053/stat : 6053 (java) S 6045 6047 3459 0 -1 4202560 36 0 0 0 0 0 0 0 16 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6054] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6054/stat : 6054 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6055] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6055/stat : 6055 (java) S 6045 6047 3459 0 -1 4202560 66 0 0 0 0 0 0 0 16 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6056] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6056/stat : 6056 (java) S 6045 6047 3459 0 -1 4202560 567 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6057] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6057/stat : 6057 (java) S 6045 6047 3459 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 19 0 981324702 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6058] ppid=6045 vsize=10544068 CPUtime=0.05 cores=0,2,4,6 /proc/6047/task/6058/stat : 6058 (java) S 6045 6047 3459 0 -1 4202560 2139 0 0 0 5 0 0 0 16 0 19 0 981324703 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 0 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6059] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6059/stat : 6059 (java) S 6045 6047 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6060] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6060/stat : 6060 (java) S 6045 6047 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6061] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6061/stat : 6061 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324705 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000416177 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6062] ppid=6045 vsize=10544068 CPUtime=0.22 cores=0,2,4,6 /proc/6047/task/6062/stat : 6062 (java) S 6045 6047 3459 0 -1 4202560 1031 0 0 0 22 0 0 0 15 0 19 0 981324705 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6063] ppid=6045 vsize=10544068 CPUtime=0.22 cores=0,2,4,6 /proc/6047/task/6063/stat : 6063 (java) S 6045 6047 3459 0 -1 4202560 2966 0 0 0 22 0 0 0 15 0 19 0 981324706 10797125632 22254 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=6047/tid=6055] ppid=6045 vsize=10544068 CPUtime=0.46 cores=0,2,4,6 /proc/6047/task/6055/stat : 6055 (java) S 6045 6047 3459 0 -1 4202560 615 0 0 0 46 0 0 0 15 0 19 0 981324702 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6056] ppid=6045 vsize=10544068 CPUtime=0.42 cores=0,2,4,6 /proc/6047/task/6056/stat : 6056 (java) S 6045 6047 3459 0 -1 4202560 985 0 0 0 42 0 0 0 15 0 19 0 981324702 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6057] ppid=6045 vsize=10544068 CPUtime=0.46 cores=0,2,4,6 /proc/6047/task/6057/stat : 6057 (java) S 6045 6047 3459 0 -1 4202560 1139 0 0 0 46 0 0 0 15 0 19 0 981324702 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6058] ppid=6045 vsize=10544068 CPUtime=14.65 cores=0,2,4,6 /proc/6047/task/6058/stat : 6058 (java) S 6045 6047 3459 0 -1 4202560 10252 0 0 0 1461 4 0 0 15 0 19 0 981324703 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 0 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6059] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6059/stat : 6059 (java) S 6045 6047 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6060] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6060/stat : 6060 (java) S 6045 6047 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6061] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6061/stat : 6061 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324705 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000416177 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6062] ppid=6045 vsize=10544068 CPUtime=0.24 cores=0,2,4,6 /proc/6047/task/6062/stat : 6062 (java) S 6045 6047 3459 0 -1 4202560 1036 0 0 0 24 0 0 0 15 0 19 0 981324705 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6063] ppid=6045 vsize=10544068 CPUtime=0.22 cores=0,2,4,6 /proc/6047/task/6063/stat : 6063 (java) S 6045 6047 3459 0 -1 4202560 2966 0 0 0 22 0 0 0 15 0 19 0 981324706 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6064] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6064/stat : 6064 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324706 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6065] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6065/stat : 6065 (java) S 6045 6047 3459 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981324706 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6066] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6066/stat : 6066 (java) S 6045 6047 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981324719 10797125632 35797 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1724.98 Current children cumulated vsize (KiB) 10544068 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 6125 /proc/meminfo: memFree=1137564/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=1785.04 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 38639 0 1 0 178474 30 0 0 25 0 19 0 981324700 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 35843 2250 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=1765.52 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 15560 0 1 0 176533 19 0 0 25 0 19 0 981324700 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505628489 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6047/tid=6050] ppid=6045 vsize=10544068 CPUtime=0.43 cores=0,2,4,6 /proc/6047/task/6050/stat : 6050 (java) S 6045 6047 3459 0 -1 4202560 1034 0 0 0 43 0 0 0 16 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6051] ppid=6045 vsize=10544068 CPUtime=0.46 cores=0,2,4,6 /proc/6047/task/6051/stat : 6051 (java) S 6045 6047 3459 0 -1 4202560 1491 0 0 0 46 0 0 0 15 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6052] ppid=6045 vsize=10544068 CPUtime=0.5 cores=0,2,4,6 /proc/6047/task/6052/stat : 6052 (java) S 6045 6047 3459 0 -1 4202560 874 0 0 0 50 0 0 0 15 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6053] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6053/stat : 6053 (java) S 6045 6047 3459 0 -1 4202560 928 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6054] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6054/stat : 6054 (java) S 6045 6047 3459 0 -1 4202560 482 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6055] ppid=6045 vsize=10544068 CPUtime=0.48 cores=0,2,4,6 /proc/6047/task/6055/stat : 6055 (java) S 6045 6047 3459 0 -1 4202560 618 0 0 0 48 0 0 0 16 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6056] ppid=6045 vsize=10544068 CPUtime=0.44 cores=0,2,4,6 /proc/6047/task/6056/stat : 6056 (java) S 6045 6047 3459 0 -1 4202560 996 0 0 0 44 0 0 0 15 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6057] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6057/stat : 6057 (java) S 6045 6047 3459 0 -1 4202560 1145 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6058] ppid=6045 vsize=10544068 CPUtime=15.22 cores=0,2,4,6 /proc/6047/task/6058/stat : 6058 (java) S 6045 6047 3459 0 -1 4202560 10254 0 0 0 1517 5 0 0 15 0 19 0 981324703 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 0 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6059] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6059/stat : 6059 (java) S 6045 6047 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6060] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6060/stat : 6060 (java) S 6045 6047 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6061] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6061/stat : 6061 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324705 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000416177 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6062] ppid=6045 vsize=10544068 CPUtime=0.24 cores=0,2,4,6 /proc/6047/task/6062/stat : 6062 (java) S 6045 6047 3459 0 -1 4202560 1036 0 0 0 24 0 0 0 15 0 19 0 981324705 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6063] ppid=6045 vsize=10544068 CPUtime=0.22 cores=0,2,4,6 /proc/6047/task/6063/stat : 6063 (java) S 6045 6047 3459 0 -1 4202560 2966 0 0 0 22 0 0 0 15 0 19 0 981324706 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6064] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6064/stat : 6064 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324706 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6065] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6065/stat : 6065 (java) S 6045 6047 3459 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981324706 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6066] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6066/stat : 6066 (java) S 6045 6047 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981324719 10797125632 35843 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 10544068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.3 s] /proc/loadavg: 2.07 2.02 2.00 3/214 6185 /proc/meminfo: memFree=1384164/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=1800.07 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 38661 0 1 0 179976 31 0 0 25 0 19 0 981324700 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 35857 2250 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=1780.39 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 15564 0 1 0 178019 20 0 0 25 0 19 0 981324700 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505606590 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6047/tid=6050] ppid=6045 vsize=10544068 CPUtime=0.43 cores=0,2,4,6 /proc/6047/task/6050/stat : 6050 (java) S 6045 6047 3459 0 -1 4202560 1034 0 0 0 43 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6051] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6051/stat : 6051 (java) S 6045 6047 3459 0 -1 4202560 1491 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6052] ppid=6045 vsize=10544068 CPUtime=0.5 cores=0,2,4,6 /proc/6047/task/6052/stat : 6052 (java) S 6045 6047 3459 0 -1 4202560 888 0 0 0 50 0 0 0 16 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6053] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6053/stat : 6053 (java) S 6045 6047 3459 0 -1 4202560 928 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6054] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6054/stat : 6054 (java) S 6045 6047 3459 0 -1 4202560 482 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6055] ppid=6045 vsize=10544068 CPUtime=0.49 cores=0,2,4,6 /proc/6047/task/6055/stat : 6055 (java) S 6045 6047 3459 0 -1 4202560 618 0 0 0 49 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6056] ppid=6045 vsize=10544068 CPUtime=0.44 cores=0,2,4,6 /proc/6047/task/6056/stat : 6056 (java) S 6045 6047 3459 0 -1 4202560 996 0 0 0 44 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6057] ppid=6045 vsize=10544068 CPUtime=0.48 cores=0,2,4,6 /proc/6047/task/6057/stat : 6057 (java) S 6045 6047 3459 0 -1 4202560 1145 0 0 0 48 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6058] ppid=6045 vsize=10544068 CPUtime=15.35 cores=0,2,4,6 /proc/6047/task/6058/stat : 6058 (java) S 6045 6047 3459 0 -1 4202560 10256 0 0 0 1530 5 0 0 15 0 19 0 981324703 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 0 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6059] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6059/stat : 6059 (java) S 6045 6047 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6060] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6060/stat : 6060 (java) S 6045 6047 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6061] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6061/stat : 6061 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324705 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000416177 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6062] ppid=6045 vsize=10544068 CPUtime=0.24 cores=0,2,4,6 /proc/6047/task/6062/stat : 6062 (java) S 6045 6047 3459 0 -1 4202560 1036 0 0 0 24 0 0 0 15 0 19 0 981324705 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6063] ppid=6045 vsize=10544068 CPUtime=0.22 cores=0,2,4,6 /proc/6047/task/6063/stat : 6063 (java) S 6045 6047 3459 0 -1 4202560 2966 0 0 0 22 0 0 0 15 0 19 0 981324706 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6064] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6064/stat : 6064 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324706 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6065] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6065/stat : 6065 (java) S 6045 6047 3459 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 981324706 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6066] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6066/stat : 6066 (java) S 6045 6047 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981324719 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 10544068 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.3 s] /proc/loadavg: 2.07 2.02 2.00 3/214 6185 /proc/meminfo: memFree=1384164/32950940 swapFree=67053420/67111528 [pid=6047] ppid=6045 vsize=10544068 CPUtime=1800.07 cores=0,2,4,6 /proc/6047/stat : 6047 (java) S 6045 6047 3459 0 -1 4202496 38661 0 1 0 179976 31 0 0 25 0 19 0 981324700 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6047/statm: 2636017 35857 2250 9 0 2626751 0 [pid=6047/tid=6048] ppid=6045 vsize=10544068 CPUtime=1780.39 cores=0,2,4,6 /proc/6047/task/6048/stat : 6048 (java) R 6045 6047 3459 0 -1 4202560 15564 0 1 0 178019 20 0 0 25 0 19 0 981324700 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 46912505606590 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6047/tid=6050] ppid=6045 vsize=10544068 CPUtime=0.43 cores=0,2,4,6 /proc/6047/task/6050/stat : 6050 (java) S 6045 6047 3459 0 -1 4202560 1034 0 0 0 43 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6051] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6051/stat : 6051 (java) S 6045 6047 3459 0 -1 4202560 1491 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6052] ppid=6045 vsize=10544068 CPUtime=0.5 cores=0,2,4,6 /proc/6047/task/6052/stat : 6052 (java) S 6045 6047 3459 0 -1 4202560 888 0 0 0 50 0 0 0 16 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6053] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6053/stat : 6053 (java) S 6045 6047 3459 0 -1 4202560 928 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6054] ppid=6045 vsize=10544068 CPUtime=0.47 cores=0,2,4,6 /proc/6047/task/6054/stat : 6054 (java) S 6045 6047 3459 0 -1 4202560 482 0 0 0 47 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6055] ppid=6045 vsize=10544068 CPUtime=0.49 cores=0,2,4,6 /proc/6047/task/6055/stat : 6055 (java) S 6045 6047 3459 0 -1 4202560 618 0 0 0 49 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6056] ppid=6045 vsize=10544068 CPUtime=0.44 cores=0,2,4,6 /proc/6047/task/6056/stat : 6056 (java) S 6045 6047 3459 0 -1 4202560 996 0 0 0 44 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6057] ppid=6045 vsize=10544068 CPUtime=0.48 cores=0,2,4,6 /proc/6047/task/6057/stat : 6057 (java) S 6045 6047 3459 0 -1 4202560 1145 0 0 0 48 0 0 0 15 0 19 0 981324702 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6058] ppid=6045 vsize=10544068 CPUtime=15.35 cores=0,2,4,6 /proc/6047/task/6058/stat : 6058 (java) S 6045 6047 3459 0 -1 4202560 10256 0 0 0 1530 5 0 0 15 0 19 0 981324703 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 0 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6059] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6059/stat : 6059 (java) S 6045 6047 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6060] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6060/stat : 6060 (java) S 6045 6047 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981324703 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 2 0 0 0 [pid=6047/tid=6061] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6061/stat : 6061 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324705 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000416177 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6062] ppid=6045 vsize=10544068 CPUtime=0.24 cores=0,2,4,6 /proc/6047/task/6062/stat : 6062 (java) S 6045 6047 3459 0 -1 4202560 1036 0 0 0 24 0 0 0 15 0 19 0 981324705 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6063] ppid=6045 vsize=10544068 CPUtime=0.22 cores=0,2,4,6 /proc/6047/task/6063/stat : 6063 (java) S 6045 6047 3459 0 -1 4202560 2966 0 0 0 22 0 0 0 15 0 19 0 981324706 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 [pid=6047/tid=6064] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6064/stat : 6064 (java) S 6045 6047 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981324706 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000408473 0 4 0 16800975 18446604453903367104 0 0 -1 6 0 0 0 [pid=6047/tid=6065] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6065/stat : 6065 (java) S 6045 6047 3459 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 981324706 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 4 0 0 0 [pid=6047/tid=6066] ppid=6045 vsize=10544068 CPUtime=0 cores=0,2,4,6 /proc/6047/task/6066/stat : 6066 (java) S 6045 6047 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981324719 10797125632 35857 33554432000 1073741824 1073778376 140736477051584 18446744073709551615 216000409088 0 4 0 16800975 18446604453903367104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 10544068 Child status: 143 Real time (s): 1797.36 CPU time (s): 1800.14 CPU user time (s): 1799.82 CPU system time (s): 0.317951 CPU usage (%): 100.155 Max. virtual memory (cumulated for all children) (KiB): 10544068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.317951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38723 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= 50856 involuntary context switches= 28666 runsolver used 3.25251 second user time and 6.578 second system time The end
Begin job on node117 at 2011-06-12 22:35:39 IDJOB=3492601 IDBENCH=79184 IDSOLVER=1982 FILE ID=node117/3492601-1307910939 RUNJOBID= node117-1307907339-4519 PBS_JOBID= 13559588 Free space on /var/tmp= 2884 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492601-1307910939/watcher-3492601-1307910939 -o /var/tmp/evaluation-result-3492601-1307910939/solver-3492601-1307910939 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492601-1307910939.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 169186b65db4bc0391cc8aa4ed776345 RANDOM SEED=483801963 node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 1504732 kB Buffers: 65040 kB Cached: 30290068 kB SwapCached: 10872 kB Active: 14869076 kB Inactive: 15630820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 1504732 kB SwapTotal: 67111528 kB SwapFree: 67053420 kB Dirty: 1156 kB Writeback: 0 kB AnonPages: 142192 kB Mapped: 21208 kB Slab: 882908 kB PageTables: 4684 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 10550448 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2884 MiB End job on node117 at 2011-06-12 23:05:39