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.17 | 1795.67 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo |
| MD5SUM | 9f59d922c085a32576bd21436364ce6a |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.406937 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5250 |
| Total number of constraints | 145 |
| Number of soft constraints | 53 |
| Number of constraints which are clauses | 75 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 75 |
| Top cost | 2739 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 2738 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.28 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.28 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.28 c See www.sat4j.org for details. 0.04/0.29 c version 2.3.1.v20110525 0.04/0.29 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.29 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.29 c java.vm.version 19.1-b02 0.04/0.29 c java.vm.vendor Sun Microsystems Inc. 0.04/0.29 c sun.arch.data.model 64 0.04/0.29 c java.version 1.6.0_24 0.04/0.29 c os.name Linux 0.04/0.29 c os.version 2.6.18-164.el5 0.04/0.29 c os.arch amd64 0.04/0.29 c Free memory 9996466904 0.04/0.29 c Max memory 10048897024 0.04/0.29 c Total memory 10048897024 0.04/0.29 c Number of processors 8 0.11/0.32 c Pseudo Boolean Optimization 0.11/0.32 c --- Begin Solver configuration --- 0.11/0.32 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.32 c Learn all clauses as in MiniSAT 0.11/0.32 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.32 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.32 c Expensive reason simplification 0.11/0.32 c Armin Biere (Picosat) restarts strategy 0.11/0.32 c Glucose learned constraints deletion strategy 0.11/0.32 c timeout=2147483s 0.11/0.32 c DB Simplification allowed=false 0.11/0.32 c --- End Solver configuration --- 0.11/0.32 c solving HOME/instance-3492282-1307908929.wbo 0.11/0.32 c reading problem ... 0.55/0.50 c ... done. Wall clock time 0.178s. 0.55/0.50 c #vars 5303 0.55/0.50 c #constraints 145 0.55/0.50 c constraints type 0.55/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75 0.55/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 39 0.55/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31 0.85/0.69 c SATISFIABLE 0.85/0.69 c OPTIMIZING... 0.85/0.69 c Got one! Elapsed wall clock time (in seconds):0.376 0.85/0.69 o 170 1.14/0.76 c Got one! Elapsed wall clock time (in seconds):0.444 1.14/0.76 o 56 1.36/0.88 c Got one! Elapsed wall clock time (in seconds):0.561 1.36/0.88 o 42 1.69/1.14 c Got one! Elapsed wall clock time (in seconds):0.825 1.69/1.14 o 32 1.79/1.29 c Got one! Elapsed wall clock time (in seconds):0.97 1.79/1.29 o 28 2.29/1.74 c Got one! Elapsed wall clock time (in seconds):1.424 2.29/1.74 o 17 2.70/2.11 c Got one! Elapsed wall clock time (in seconds):1.789 2.70/2.11 o 1 4.69/4.13 c cleaning 3755 clauses out of 7521 with flag 3001/7521 8.56/7.99 c cleaning 4881 clauses out of 9766 with flag 9001/13521 13.47/12.80 c cleaning 5918 clauses out of 11884 with flag 16000/20520 19.06/18.34 c cleaning 6978 clauses out of 13969 with flag 24003/28523 25.41/24.64 c cleaning 7967 clauses out of 15989 with flag 33001/37521 33.61/32.80 c cleaning 8994 clauses out of 18026 with flag 43005/47525 40.92/40.18 c cleaning 9490 clauses out of 19028 with flag 53001/57521 49.84/49.06 c cleaning 9750 clauses out of 19538 with flag 63001/67521 58.64/57.83 c cleaning 9875 clauses out of 19787 with flag 73000/77520 66.35/65.59 c cleaning 9937 clauses out of 19912 with flag 83000/87520 74.96/74.17 c cleaning 9966 clauses out of 19977 with flag 93002/97522 86.98/86.13 c cleaning 9981 clauses out of 20010 with flag 103001/107521 98.40/97.57 c cleaning 9992 clauses out of 20031 with flag 113003/117523 106.12/105.20 c cleaning 9995 clauses out of 20036 with flag 123000/127520 114.93/114.03 c cleaning 10005 clauses out of 20043 with flag 133002/137522 124.95/124.03 c cleaning 9990 clauses out of 20044 with flag 143008/147528 136.16/135.27 c cleaning 10004 clauses out of 20048 with flag 153002/157522 151.68/150.75 c cleaning 10001 clauses out of 20042 with flag 163000/167520 160.10/159.18 c cleaning 10000 clauses out of 20044 with flag 173003/177523 168.33/167.38 c cleaning 9988 clauses out of 20042 with flag 183001/187521 177.84/176.84 c cleaning 9995 clauses out of 20053 with flag 193000/197520 190.45/189.45 c cleaning 10003 clauses out of 20059 with flag 203001/207521 201.58/200.55 c cleaning 9977 clauses out of 20057 with flag 213002/217522 212.89/211.82 c cleaning 10004 clauses out of 20079 with flag 223001/227521 218.61/217.59 c cleaning 10009 clauses out of 20076 with flag 233002/237522 224.34/223.25 c cleaning 10002 clauses out of 20065 with flag 243000/247520 229.45/228.35 c cleaning 9999 clauses out of 20063 with flag 253000/257520 235.25/234.14 c cleaning 10022 clauses out of 20065 with flag 263001/267521 241.97/240.87 c cleaning 9994 clauses out of 20045 with flag 273003/277523 250.68/249.51 c cleaning 10003 clauses out of 20049 with flag 283001/287521 263.50/262.36 c cleaning 9993 clauses out of 20045 with flag 293000/297520 273.82/272.60 c cleaning 10002 clauses out of 20052 with flag 303000/307520 284.13/282.97 c cleaning 9996 clauses out of 20051 with flag 313001/317521 289.75/288.55 c cleaning 10007 clauses out of 20054 with flag 323000/327520 295.07/293.87 c cleaning 10003 clauses out of 20049 with flag 333002/337522 301.08/299.87 c cleaning 9999 clauses out of 20045 with flag 343001/347521 311.39/310.18 c cleaning 10002 clauses out of 20046 with flag 353001/357521 321.41/320.15 c cleaning 9982 clauses out of 20044 with flag 363001/367521 332.63/331.33 c cleaning 10007 clauses out of 20061 with flag 373000/377520 343.66/342.35 c cleaning 10000 clauses out of 20054 with flag 383000/387520 350.39/349.04 c cleaning 9997 clauses out of 20054 with flag 393000/397520 357.91/356.54 c cleaning 9998 clauses out of 20057 with flag 403000/407520 365.82/364.42 c cleaning 10028 clauses out of 20061 with flag 413002/417522 377.34/375.97 c cleaning 10004 clauses out of 20038 with flag 423007/427527 386.26/384.82 c cleaning 9977 clauses out of 20028 with flag 433001/437521 395.88/394.48 c cleaning 9992 clauses out of 20051 with flag 443001/447521 403.19/401.71 c cleaning 10017 clauses out of 20060 with flag 453002/457522 409.61/408.17 c cleaning 9986 clauses out of 20041 with flag 463000/467520 416.42/414.94 c cleaning 10015 clauses out of 20056 with flag 473001/477521 425.73/424.23 c cleaning 9984 clauses out of 20043 with flag 483003/487523 438.76/437.25 c cleaning 9988 clauses out of 20058 with flag 493002/497522 448.58/447.00 c cleaning 9998 clauses out of 20071 with flag 503003/507523 458.51/456.98 c cleaning 9993 clauses out of 20071 with flag 513001/517521 466.33/464.76 c cleaning 10012 clauses out of 20078 with flag 523001/527521 473.94/472.35 c cleaning 10002 clauses out of 20065 with flag 533000/537520 482.96/481.31 c cleaning 10002 clauses out of 20064 with flag 543001/547521 491.28/489.60 c cleaning 10002 clauses out of 20061 with flag 553000/557520 501.40/499.72 c cleaning 9991 clauses out of 20059 with flag 563000/567520 510.12/508.49 c cleaning 9989 clauses out of 20068 with flag 573000/577520 519.03/517.35 c cleaning 9989 clauses out of 20084 with flag 583005/587525 524.45/522.76 c cleaning 10004 clauses out of 20090 with flag 593000/597520 532.47/530.80 c cleaning 10011 clauses out of 20087 with flag 603001/607521 540.40/538.67 c cleaning 10008 clauses out of 20077 with flag 613002/617522 549.32/547.56 c cleaning 9991 clauses out of 20067 with flag 623000/627520 561.84/560.03 c cleaning 10001 clauses out of 20077 with flag 633001/637521 571.75/569.96 c cleaning 10020 clauses out of 20082 with flag 643007/647527 579.47/577.62 c cleaning 10008 clauses out of 20055 with flag 653000/657520 587.99/586.17 c cleaning 10002 clauses out of 20048 with flag 663001/667521 596.01/594.11 c cleaning 9989 clauses out of 20046 with flag 673001/677521 605.33/603.46 c cleaning 9996 clauses out of 20058 with flag 683002/687522 615.15/613.23 c cleaning 9996 clauses out of 20061 with flag 693001/697521 624.97/623.05 c cleaning 10001 clauses out of 20064 with flag 703000/707520 633.49/631.59 c cleaning 9999 clauses out of 20063 with flag 713000/717520 640.60/638.64 c cleaning 10020 clauses out of 20068 with flag 723004/727524 648.32/646.30 c cleaning 10008 clauses out of 20047 with flag 733003/737523 656.54/654.57 c cleaning 10004 clauses out of 20039 with flag 743003/747523 664.96/662.90 c cleaning 9999 clauses out of 20032 with flag 753000/757520 673.47/671.42 c cleaning 9998 clauses out of 20033 with flag 763000/767520 681.38/679.39 c cleaning 9997 clauses out of 20037 with flag 773002/777522 689.10/687.05 c cleaning 9992 clauses out of 20038 with flag 783000/787520 693.21/691.18 c cleaning 9997 clauses out of 20047 with flag 793001/797521 699.02/696.92 c cleaning 9978 clauses out of 20049 with flag 803000/807520 707.53/705.47 c cleaning 9992 clauses out of 20073 with flag 813002/817522 716.95/714.86 c cleaning 9999 clauses out of 20080 with flag 823001/827521 725.66/723.57 c cleaning 9993 clauses out of 20080 with flag 833000/837520 734.18/732.03 c cleaning 10001 clauses out of 20087 with flag 843000/847520 742.90/740.78 c cleaning 9997 clauses out of 20087 with flag 853001/857521 752.52/750.35 c cleaning 9979 clauses out of 20089 with flag 863000/867520 761.24/759.02 c cleaning 10013 clauses out of 20110 with flag 873000/877520 768.04/765.82 c cleaning 10026 clauses out of 20098 with flag 883001/887521 775.37/773.13 c cleaning 9997 clauses out of 20071 with flag 893000/897520 782.99/780.80 c cleaning 10012 clauses out of 20075 with flag 903001/907521 793.41/791.15 c cleaning 10009 clauses out of 20062 with flag 913000/917520 803.73/801.44 c cleaning 10006 clauses out of 20054 with flag 923001/927521 814.45/812.10 c cleaning 9999 clauses out of 20048 with flag 933001/937521 821.37/819.08 c cleaning 10007 clauses out of 20052 with flag 943004/947524 827.79/825.43 c cleaning 10001 clauses out of 20042 with flag 953001/957521 835.30/832.90 c cleaning 10004 clauses out of 20044 with flag 963004/967524 842.83/840.45 c cleaning 9985 clauses out of 20036 with flag 973000/977520 849.45/847.07 c cleaning 9998 clauses out of 20051 with flag 983000/987520 856.46/854.05 c cleaning 9999 clauses out of 20054 with flag 993001/997521 862.27/859.88 c cleaning 10001 clauses out of 20054 with flag 1003000/1007520 867.98/865.50 c cleaning 10011 clauses out of 20054 with flag 1013001/1017521 872.10/869.69 c cleaning 10007 clauses out of 20043 with flag 1023001/1027521 876.32/873.86 c cleaning 9998 clauses out of 20035 with flag 1033000/1037520 881.03/878.52 c cleaning 10004 clauses out of 20037 with flag 1043000/1047520 885.75/883.23 c cleaning 9995 clauses out of 20034 with flag 1053001/1057521 890.06/887.53 c cleaning 10000 clauses out of 20038 with flag 1063000/1067520 894.37/891.80 c cleaning 10005 clauses out of 20038 with flag 1073000/1077520 902.67/900.15 c cleaning 9985 clauses out of 20035 with flag 1083002/1087522 912.89/910.36 c cleaning 9982 clauses out of 20052 with flag 1093004/1097524 923.02/920.42 c cleaning 10020 clauses out of 20074 with flag 1103008/1107528 933.04/930.40 c cleaning 9986 clauses out of 20046 with flag 1113000/1117520 941.86/939.30 c cleaning 9999 clauses out of 20061 with flag 1123001/1127521 952.18/949.55 c cleaning 9985 clauses out of 20062 with flag 1133001/1137521 963.50/960.84 c cleaning 10017 clauses out of 20076 with flag 1143000/1147520 971.93/969.22 c cleaning 10005 clauses out of 20063 with flag 1153004/1157524 981.45/978.73 c cleaning 10008 clauses out of 20055 with flag 1163001/1167521 991.08/988.39 c cleaning 10000 clauses out of 20046 with flag 1173000/1177520 1000.70/997.92 c cleaning 9993 clauses out of 20047 with flag 1183001/1187521 1010.92/1008.20 c cleaning 9998 clauses out of 20056 with flag 1193003/1197523 1022.23/1019.46 c cleaning 9984 clauses out of 20055 with flag 1203000/1207520 1033.66/1030.82 c cleaning 10007 clauses out of 20074 with flag 1213003/1217523 1044.07/1041.23 c cleaning 10001 clauses out of 20064 with flag 1223000/1227520 1054.59/1051.77 c cleaning 9979 clauses out of 20063 with flag 1233000/1237520 1064.91/1062.02 c cleaning 10013 clauses out of 20085 with flag 1243001/1247521 1075.13/1072.20 c cleaning 10009 clauses out of 20075 with flag 1253004/1257524 1084.34/1081.45 c cleaning 10003 clauses out of 20065 with flag 1263003/1267523 1095.06/1092.11 c cleaning 9993 clauses out of 20059 with flag 1273000/1277520 1106.07/1103.18 c cleaning 10002 clauses out of 20066 with flag 1283000/1287520 1117.09/1114.13 c cleaning 9997 clauses out of 20064 with flag 1293000/1297520 1128.11/1125.16 c cleaning 10001 clauses out of 20068 with flag 1303001/1307521 1138.83/1135.89 c cleaning 10002 clauses out of 20067 with flag 1313001/1317521 1149.05/1146.05 c cleaning 10004 clauses out of 20065 with flag 1323001/1327521 1155.17/1152.12 c cleaning 10027 clauses out of 20062 with flag 1333002/1337522 1161.89/1158.80 c cleaning 9988 clauses out of 20034 with flag 1343001/1347521 1170.31/1167.27 c cleaning 9989 clauses out of 20051 with flag 1353006/1357526 1179.13/1176.05 c cleaning 9998 clauses out of 20057 with flag 1363001/1367521 1190.55/1187.42 c cleaning 9991 clauses out of 20060 with flag 1373002/1377522 1199.68/1196.58 c cleaning 10000 clauses out of 20069 with flag 1383002/1387522 1205.59/1202.49 c cleaning 10003 clauses out of 20069 with flag 1393002/1397522 1211.71/1208.56 c cleaning 9998 clauses out of 20068 with flag 1403004/1407524 1219.42/1216.21 c cleaning 10009 clauses out of 20067 with flag 1413001/1417521 1232.35/1229.19 c cleaning 10004 clauses out of 20057 with flag 1423000/1427520 1245.66/1242.45 c cleaning 9974 clauses out of 20058 with flag 1433005/1437525 1259.39/1256.20 c cleaning 10016 clauses out of 20079 with flag 1443000/1447520 1273.82/1270.54 c cleaning 9983 clauses out of 20064 with flag 1453001/1457521 1285.64/1282.31 c cleaning 9988 clauses out of 20081 with flag 1463001/1467521 1297.76/1294.49 c cleaning 9995 clauses out of 20092 with flag 1473000/1477520 1309.09/1305.71 c cleaning 9999 clauses out of 20102 with flag 1483005/1487525 1321.12/1317.78 c cleaning 10002 clauses out of 20105 with flag 1493007/1497527 1332.93/1329.59 c cleaning 9998 clauses out of 20098 with flag 1503002/1507522 1344.76/1341.36 c cleaning 10000 clauses out of 20099 with flag 1513001/1517521 1353.08/1349.66 c cleaning 10023 clauses out of 20098 with flag 1523000/1527520 1359.19/1355.76 c cleaning 10012 clauses out of 20080 with flag 1533005/1537525 1365.00/1361.52 c cleaning 10006 clauses out of 20063 with flag 1543000/1547520 1370.72/1367.30 c cleaning 9995 clauses out of 20057 with flag 1553000/1557520 1376.93/1373.47 c cleaning 10011 clauses out of 20065 with flag 1563003/1567523 1384.05/1380.55 c cleaning 9985 clauses out of 20051 with flag 1573000/1577520 1393.65/1390.18 c cleaning 9992 clauses out of 20066 with flag 1583000/1587520 1403.37/1399.81 c cleaning 9999 clauses out of 20075 with flag 1593001/1597521 1411.79/1408.25 c cleaning 9996 clauses out of 20078 with flag 1603003/1607523 1421.20/1417.60 c cleaning 9997 clauses out of 20080 with flag 1613001/1617521 1427.42/1423.82 c cleaning 10018 clauses out of 20083 with flag 1623001/1627521 1430.93/1427.37 c cleaning 10010 clauses out of 20064 with flag 1633000/1637520 1434.85/1431.20 c cleaning 9998 clauses out of 20058 with flag 1643004/1647524 1438.27/1434.63 c cleaning 10005 clauses out of 20057 with flag 1653001/1657521 1441.88/1438.25 c cleaning 9997 clauses out of 20053 with flag 1663002/1667522 1445.49/1441.84 c cleaning 10003 clauses out of 20054 with flag 1673000/1677520 1448.81/1445.19 c cleaning 9992 clauses out of 20053 with flag 1683002/1687522 1452.42/1448.79 c cleaning 9994 clauses out of 20060 with flag 1693001/1697521 1456.12/1452.41 c cleaning 10019 clauses out of 20070 with flag 1703005/1707525 1460.13/1456.47 c cleaning 9985 clauses out of 20048 with flag 1713002/1717522 1463.94/1460.29 c cleaning 10001 clauses out of 20062 with flag 1723001/1727521 1467.35/1463.64 c cleaning 10006 clauses out of 20060 with flag 1733000/1737520 1470.86/1467.17 c cleaning 10003 clauses out of 20054 with flag 1743000/1747520 1474.88/1471.14 c cleaning 10003 clauses out of 20052 with flag 1753001/1757521 1478.80/1475.05 c cleaning 9999 clauses out of 20048 with flag 1763000/1767520 1487.01/1483.28 c cleaning 9988 clauses out of 20052 with flag 1773003/1777523 1497.04/1493.21 c cleaning 9999 clauses out of 20063 with flag 1783002/1787522 1506.46/1502.66 c cleaning 10003 clauses out of 20063 with flag 1793001/1797521 1516.48/1512.68 c cleaning 9980 clauses out of 20059 with flag 1803000/1807520 1527.41/1523.57 c cleaning 9982 clauses out of 20079 with flag 1813000/1817520 1539.53/1535.68 c cleaning 10014 clauses out of 20100 with flag 1823003/1827523 1553.87/1549.96 c cleaning 10001 clauses out of 20084 with flag 1833001/1837521 1567.61/1563.69 c cleaning 10004 clauses out of 20084 with flag 1843002/1847522 1577.43/1573.43 c cleaning 9999 clauses out of 20078 with flag 1853000/1857520 1588.55/1584.56 c cleaning 9987 clauses out of 20080 with flag 1863001/1867521 1599.47/1595.45 c cleaning 9997 clauses out of 20092 with flag 1873000/1877520 1611.20/1607.15 c cleaning 9998 clauses out of 20096 with flag 1883001/1887521 1622.51/1618.43 c cleaning 10004 clauses out of 20099 with flag 1893002/1897522 1633.34/1629.28 c cleaning 10005 clauses out of 20095 with flag 1903002/1907522 1643.64/1639.57 c cleaning 10005 clauses out of 20089 with flag 1913001/1917521 1654.16/1650.03 c cleaning 9990 clauses out of 20083 with flag 1923000/1927520 1665.68/1661.52 c cleaning 10012 clauses out of 20095 with flag 1933002/1937522 1676.40/1672.27 c cleaning 9992 clauses out of 20082 with flag 1943001/1947521 1688.23/1684.09 c cleaning 10009 clauses out of 20092 with flag 1953003/1957523 1700.14/1695.91 c cleaning 9991 clauses out of 20080 with flag 1963000/1967520 1711.67/1707.48 c cleaning 9998 clauses out of 20089 with flag 1973000/1977520 1721.98/1717.78 c cleaning 9990 clauses out of 20092 with flag 1983001/1987521 1728.90/1724.64 c cleaning 10032 clauses out of 20102 with flag 1993001/1997521 1735.32/1731.00 c cleaning 10002 clauses out of 20069 with flag 2003000/2007520 1743.64/1739.35 c cleaning 10032 clauses out of 20069 with flag 2013002/2017522 1753.66/1749.36 c cleaning 10000 clauses out of 20037 with flag 2023002/2027522 1762.88/1758.54 c cleaning 9992 clauses out of 20035 with flag 2033000/2037520 1772.80/1768.44 c cleaning 9999 clauses out of 20045 with flag 2043002/2047522 1783.82/1779.45 c cleaning 9978 clauses out of 20044 with flag 2053000/2057520 1799.34/1794.94 c cleaning 9982 clauses out of 20067 with flag 2063001/2067521 1800.07/1795.61 c starts : 232 1800.07/1795.61 c conflicts : 2068081 1800.07/1795.61 c decisions : 3440197 1800.07/1795.61 c propagations : 118424657 1800.07/1795.61 c inspects : 2806449663 1800.07/1795.61 c shortcuts : 0 1800.07/1795.61 c learnt literals : 0 1800.07/1795.61 c learnt binary clauses : 0 1800.07/1795.61 c learnt ternary clauses : 0 1800.07/1795.61 c learnt constraints : 2068080 1800.07/1795.61 c ignored constraints : 0 1800.07/1795.61 c root simplifications : 0 1800.07/1795.61 c removed literals (reason simplification) : 7314689 1800.07/1795.61 c reason swapping (by a shorter reason) : 0 1800.07/1795.61 c Calls to reduceDB : 208 1800.07/1795.61 c number of reductions to clauses (during analyze) : 0 1800.07/1795.61 c number of learned constraints concerned by reduction : 0 1800.07/1795.61 c number of learning phase by resolution : 0 1800.07/1795.61 c number of learning phase by cutting planes : 0 1800.07/1795.61 c speed (assignments/second) : 66029.73339912629 1800.07/1795.61 c non guided choices 252483 1800.07/1795.62 c learnt constraints type 1800.07/1795.62 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10647 1800.07/1795.62 c constraints type 1800.07/1795.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75 1800.07/1795.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 39 1800.07/1795.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 32 1800.07/1795.62 s SATISFIABLE 1800.07/1795.63 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 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 1800.07/1795.63 c objective function=1 1800.07/1795.63 c Total wall clock time (in seconds): 1795.318
OK 1
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-3492282-1307908929/watcher-3492282-1307908929 -o /var/tmp/evaluation-result-3492282-1307908929/solver-3492282-1307908929 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492282-1307908929.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.53 1.89 1.92 2/175 32048 /proc/meminfo: memFree=1353536/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=9100 CPUtime=0 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 224 0 2 0 0 0 0 0 23 0 1 0 981123614 9318400 161 33554432000 1073741824 1073778376 140735418805360 18446744073709551615 260905394167 0 2147483391 4096 0 18446744071699207358 0 0 17 2 0 0 0 /proc/32048/statm: 2275 161 122 9 0 67 0 [startup+0.099421 s] /proc/loadavg: 1.53 1.89 1.92 2/175 32048 /proc/meminfo: memFree=1353536/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=28384 CPUtime=0 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 1123 0 57 0 0 0 0 0 23 0 2 0 981123614 29065216 906 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 7096 906 688 9 0 381 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 28384 [startup+0.100403 s] /proc/loadavg: 1.53 1.89 1.92 2/175 32048 /proc/meminfo: memFree=1353536/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=28384 CPUtime=0 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 1127 0 58 0 0 0 0 0 23 0 2 0 981123614 29065216 910 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 7096 910 690 9 0 381 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 28384 [startup+0.300328 s] /proc/loadavg: 1.53 1.89 1.92 2/175 32048 /proc/meminfo: memFree=1353536/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10540152 CPUtime=0.11 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 12872 0 108 0 9 2 0 0 23 0 18 0 981123614 10793115648 12674 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2635038 12674 2093 9 0 2625772 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540152 [startup+0.70025 s] /proc/loadavg: 1.53 1.89 1.92 2/175 32048 /proc/meminfo: memFree=1353536/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10546120 CPUtime=1.14 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 19773 0 108 0 110 4 0 0 23 0 19 0 981123614 10799226880 17561 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2636530 17561 2222 9 0 2627264 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 10546120 [startup+1.50123 s] /proc/loadavg: 1.53 1.89 1.92 3/214 32090 /proc/meminfo: memFree=1212532/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10547664 CPUtime=2.1 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 22138 0 108 0 206 4 0 0 23 0 19 0 981123614 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2636916 19806 2227 9 0 2627650 0 [pid=32048/tid=32056] ppid=32046 vsize=10547664 CPUtime=1.28 cores=0,2,4,6 /proc/32048/task/32056/stat : 32056 (java) R 32046 32048 29668 0 -1 4202560 15764 0 50 0 126 2 0 0 25 0 19 0 981123623 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 46912505738944 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=32048/tid=32057] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32057/stat : 32057 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32058] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32058/stat : 32058 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32059] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32059/stat : 32059 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32060] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32060/stat : 32060 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32061] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32061/stat : 32061 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32062] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32062/stat : 32062 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32063] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32063/stat : 32063 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 19806 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32065] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32065/stat : 32065 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 19807 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32074] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32074/stat : 32074 (java) S 32046 32048 29668 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981123631 10800807936 19807 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 0 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32075] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32075/stat : 32075 (java) S 32046 32048 29668 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 981123632 10800807936 19807 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32077] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32077/stat : 32077 (java) S 32046 32048 29668 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 981123632 10800807936 19808 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32080] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32080/stat : 32080 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10800807936 19808 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917217713 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32082] ppid=32046 vsize=10547664 CPUtime=0.4 cores=0,2,4,6 /proc/32048/task/32082/stat : 32082 (java) S 32046 32048 29668 0 -1 4202560 2411 0 0 0 40 0 0 0 15 0 19 0 981123638 10800807936 19808 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32084] ppid=32046 vsize=10547664 CPUtime=0.38 cores=0,2,4,6 /proc/32048/task/32084/stat : 32084 (java) S 32046 32048 29668 0 -1 4202560 2856 0 2 0 38 0 0 0 19 0 19 0 981123638 10800807936 19808 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32086] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32086/stat : 32086 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981123638 10800807936 19808 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32088] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32088/stat : 32088 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123638 10800807936 19808 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32090] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32090/stat : 32090 (java) S 32046 32048 29668 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981123665 10800807936 19808 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 10547664 [startup+3.10094 s] /proc/loadavg: 1.53 1.89 1.92 3/214 32090 /proc/meminfo: memFree=1194172/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10547664 CPUtime=3.69 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 24602 0 108 0 365 4 0 0 23 0 19 0 981123614 10800807936 22270 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2636916 22270 2227 9 0 2627650 0 [pid=32048/tid=32056] ppid=32046 vsize=10547664 CPUtime=2.88 cores=0,2,4,6 /proc/32048/task/32056/stat : 32056 (java) R 32046 32048 29668 0 -1 4202560 18228 0 50 0 286 2 0 0 25 0 19 0 981123623 10800807936 22270 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 46912505696212 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=32048/tid=32057] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32057/stat : 32057 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10800807936 22270 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32058] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32058/stat : 32058 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 22270 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32059] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32059/stat : 32059 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 22270 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32060] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32060/stat : 32060 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 22270 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32061] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32061/stat : 32061 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32062] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32062/stat : 32062 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32063] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32063/stat : 32063 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32065] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32065/stat : 32065 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123628 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32074] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32074/stat : 32074 (java) S 32046 32048 29668 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981123631 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 0 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32075] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32075/stat : 32075 (java) S 32046 32048 29668 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 981123632 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32077] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32077/stat : 32077 (java) S 32046 32048 29668 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 981123632 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32080] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32080/stat : 32080 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917217713 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32082] ppid=32046 vsize=10547664 CPUtime=0.41 cores=0,2,4,6 /proc/32048/task/32082/stat : 32082 (java) S 32046 32048 29668 0 -1 4202560 2411 0 0 0 41 0 0 0 15 0 19 0 981123638 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32084] ppid=32046 vsize=10547664 CPUtime=0.38 cores=0,2,4,6 /proc/32048/task/32084/stat : 32084 (java) S 32046 32048 29668 0 -1 4202560 2856 0 2 0 38 0 0 0 19 0 19 0 981123638 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32086] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32086/stat : 32086 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981123638 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32088] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32088/stat : 32088 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123638 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32090] ppid=32046 vsize=10547664 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32090/stat : 32090 (java) S 32046 32048 29668 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981123665 10800807936 22271 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.69 Current children cumulated vsize (KiB) 10547664 [startup+6.30122 s] /proc/loadavg: 1.56 1.89 1.92 3/214 32090 /proc/meminfo: memFree=1138468/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10546196 CPUtime=6.96 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 30836 0 108 0 691 5 0 0 23 0 19 0 981123614 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2636549 28136 2253 9 0 2627283 0 [pid=32048/tid=32056] ppid=32046 vsize=10546196 CPUtime=6.05 cores=0,2,4,6 /proc/32048/task/32056/stat : 32056 (java) R 32046 32048 29668 0 -1 4202560 19153 0 50 0 603 2 0 0 25 0 19 0 981123623 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 46912505742080 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=32048/tid=32057] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32057/stat : 32057 (java) S 32046 32048 29668 0 -1 4202560 1025 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32058] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32058/stat : 32058 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32059] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32059/stat : 32059 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32060] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32060/stat : 32060 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32061] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32061/stat : 32061 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32062] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32062/stat : 32062 (java) S 32046 32048 29668 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32063] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32063/stat : 32063 (java) S 32046 32048 29668 0 -1 4202560 1609 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 0 0 0 0 [pid=32048/tid=32065] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32065/stat : 32065 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981123628 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32074] ppid=32046 vsize=10546196 CPUtime=0.01 cores=0,2,4,6 /proc/32048/task/32074/stat : 32074 (java) S 32046 32048 29668 0 -1 4202560 2609 0 0 0 1 0 0 0 15 0 19 0 981123631 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 0 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32075] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32075/stat : 32075 (java) S 32046 32048 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32077] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32077/stat : 32077 (java) S 32046 32048 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32080] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32080/stat : 32080 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917217713 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32082] ppid=32046 vsize=10546196 CPUtime=0.43 cores=0,2,4,6 /proc/32048/task/32082/stat : 32082 (java) S 32046 32048 29668 0 -1 4202560 2420 0 0 0 43 0 0 0 15 0 19 0 981123638 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32084] ppid=32046 vsize=10546196 CPUtime=0.41 cores=0,2,4,6 /proc/32048/task/32084/stat : 32084 (java) S 32046 32048 29668 0 -1 4202560 2863 0 2 0 41 0 0 0 15 0 19 0 981123638 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32086] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32086/stat : 32086 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981123638 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32088] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32088/stat : 32088 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981123638 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32090] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32090/stat : 32090 (java) S 32046 32048 29668 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981123665 10799304704 28136 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.96 Current children cumulated vsize (KiB) 10546196 [startup+12.7011 s] ################ # More data... # ################ [pid=32048/tid=32062] ppid=32046 vsize=10546196 CPUtime=0.59 cores=0,2,4,6 /proc/32048/task/32062/stat : 32062 (java) S 32046 32048 29668 0 -1 4202560 3583 0 0 0 58 1 0 0 16 0 19 0 981123628 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32063] ppid=32046 vsize=10546196 CPUtime=0.59 cores=0,2,4,6 /proc/32048/task/32063/stat : 32063 (java) S 32046 32048 29668 0 -1 4202560 5122 0 0 0 58 1 0 0 15 0 19 0 981123628 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32065] ppid=32046 vsize=10546196 CPUtime=0.54 cores=0,2,4,6 /proc/32048/task/32065/stat : 32065 (java) S 32046 32048 29668 0 -1 4202560 6557 0 0 0 54 0 0 0 16 0 19 0 981123628 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32074] ppid=32046 vsize=10546196 CPUtime=8.4 cores=0,2,4,6 /proc/32048/task/32074/stat : 32074 (java) S 32046 32048 29668 0 -1 4202560 18971 0 0 0 835 5 0 0 15 0 19 0 981123631 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 0 0 16800975 18446604446706166720 0 0 -1 0 0 0 0 [pid=32048/tid=32075] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32075/stat : 32075 (java) S 32046 32048 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32077] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32077/stat : 32077 (java) S 32046 32048 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32080] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32080/stat : 32080 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917217713 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32082] ppid=32046 vsize=10546196 CPUtime=0.44 cores=0,2,4,6 /proc/32048/task/32082/stat : 32082 (java) S 32046 32048 29668 0 -1 4202560 2422 0 0 0 44 0 0 0 16 0 19 0 981123638 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32084] ppid=32046 vsize=10546196 CPUtime=0.55 cores=0,2,4,6 /proc/32048/task/32084/stat : 32084 (java) S 32046 32048 29668 0 -1 4202560 5532 0 2 0 55 0 0 0 15 0 19 0 981123638 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32086] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32086/stat : 32086 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981123638 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32088] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32088/stat : 32088 (java) S 32046 32048 29668 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 981123638 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32090] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32090/stat : 32090 (java) S 32046 32048 29668 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981123665 10799304704 90031 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1666.49 Current children cumulated vsize (KiB) 10546196 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.94 3/214 32136 /proc/meminfo: memFree=709224/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10546196 CPUtime=1726.6 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 95612 0 108 0 172639 21 0 0 23 0 19 0 981123614 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2636549 90047 2254 9 0 2627283 0 [pid=32048/tid=32056] ppid=32046 vsize=10546196 CPUtime=1711.95 cores=0,2,4,6 /proc/32048/task/32056/stat : 32056 (java) R 32046 32048 29668 0 -1 4202560 30235 0 50 0 171189 6 0 0 25 0 19 0 981123623 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 46912505695460 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=32048/tid=32057] ppid=32046 vsize=10546196 CPUtime=0.65 cores=0,2,4,6 /proc/32048/task/32057/stat : 32057 (java) S 32046 32048 29668 0 -1 4202560 4054 0 0 0 65 0 0 0 16 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32058] ppid=32046 vsize=10546196 CPUtime=0.59 cores=0,2,4,6 /proc/32048/task/32058/stat : 32058 (java) S 32046 32048 29668 0 -1 4202560 2794 0 0 0 59 0 0 0 15 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32059] ppid=32046 vsize=10546196 CPUtime=0.58 cores=0,2,4,6 /proc/32048/task/32059/stat : 32059 (java) S 32046 32048 29668 0 -1 4202560 3019 0 0 0 58 0 0 0 16 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32060] ppid=32046 vsize=10546196 CPUtime=0.64 cores=0,2,4,6 /proc/32048/task/32060/stat : 32060 (java) S 32046 32048 29668 0 -1 4202560 5570 0 0 0 63 1 0 0 15 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32061] ppid=32046 vsize=10546196 CPUtime=0.66 cores=0,2,4,6 /proc/32048/task/32061/stat : 32061 (java) S 32046 32048 29668 0 -1 4202560 6548 0 0 0 65 1 0 0 16 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32062] ppid=32046 vsize=10546196 CPUtime=0.61 cores=0,2,4,6 /proc/32048/task/32062/stat : 32062 (java) S 32046 32048 29668 0 -1 4202560 3587 0 0 0 60 1 0 0 15 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32063] ppid=32046 vsize=10546196 CPUtime=0.61 cores=0,2,4,6 /proc/32048/task/32063/stat : 32063 (java) S 32046 32048 29668 0 -1 4202560 5122 0 0 0 60 1 0 0 15 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32065] ppid=32046 vsize=10546196 CPUtime=0.55 cores=0,2,4,6 /proc/32048/task/32065/stat : 32065 (java) S 32046 32048 29668 0 -1 4202560 6557 0 0 0 55 0 0 0 16 0 19 0 981123628 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32074] ppid=32046 vsize=10546196 CPUtime=8.66 cores=0,2,4,6 /proc/32048/task/32074/stat : 32074 (java) S 32046 32048 29668 0 -1 4202560 18975 0 0 0 861 5 0 0 15 0 19 0 981123631 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 0 0 16800975 18446604446706166720 0 0 -1 0 0 0 0 [pid=32048/tid=32075] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32075/stat : 32075 (java) S 32046 32048 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32077] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32077/stat : 32077 (java) S 32046 32048 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32080] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32080/stat : 32080 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917217713 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32082] ppid=32046 vsize=10546196 CPUtime=0.44 cores=0,2,4,6 /proc/32048/task/32082/stat : 32082 (java) S 32046 32048 29668 0 -1 4202560 2422 0 0 0 44 0 0 0 16 0 19 0 981123638 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32084] ppid=32046 vsize=10546196 CPUtime=0.55 cores=0,2,4,6 /proc/32048/task/32084/stat : 32084 (java) S 32046 32048 29668 0 -1 4202560 5532 0 2 0 55 0 0 0 15 0 19 0 981123638 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32086] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32086/stat : 32086 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981123638 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32088] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32088/stat : 32088 (java) S 32046 32048 29668 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981123638 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32090] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32090/stat : 32090 (java) S 32046 32048 29668 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981123665 10799304704 90047 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1726.6 Current children cumulated vsize (KiB) 10546196 [startup+1782.3 s] /proc/loadavg: 2.05 2.00 1.94 3/214 32138 /proc/meminfo: memFree=705548/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10546196 CPUtime=1786.74 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 96333 0 108 0 178652 22 0 0 23 0 19 0 981123614 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2636549 90757 2254 9 0 2627283 0 [pid=32048/tid=32056] ppid=32046 vsize=10546196 CPUtime=1771.54 cores=0,2,4,6 /proc/32048/task/32056/stat : 32056 (java) R 32046 32048 29668 0 -1 4202560 30242 0 50 0 177148 6 0 0 25 0 19 0 981123623 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 46912505695643 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=32048/tid=32057] ppid=32046 vsize=10546196 CPUtime=0.67 cores=0,2,4,6 /proc/32048/task/32057/stat : 32057 (java) S 32046 32048 29668 0 -1 4202560 4054 0 0 0 67 0 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32058] ppid=32046 vsize=10546196 CPUtime=0.61 cores=0,2,4,6 /proc/32048/task/32058/stat : 32058 (java) S 32046 32048 29668 0 -1 4202560 2794 0 0 0 61 0 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32059] ppid=32046 vsize=10546196 CPUtime=0.59 cores=0,2,4,6 /proc/32048/task/32059/stat : 32059 (java) S 32046 32048 29668 0 -1 4202560 3019 0 0 0 59 0 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32060] ppid=32046 vsize=10546196 CPUtime=0.66 cores=0,2,4,6 /proc/32048/task/32060/stat : 32060 (java) S 32046 32048 29668 0 -1 4202560 5570 0 0 0 65 1 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32061] ppid=32046 vsize=10546196 CPUtime=0.69 cores=0,2,4,6 /proc/32048/task/32061/stat : 32061 (java) S 32046 32048 29668 0 -1 4202560 6552 0 0 0 68 1 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32062] ppid=32046 vsize=10546196 CPUtime=0.64 cores=0,2,4,6 /proc/32048/task/32062/stat : 32062 (java) S 32046 32048 29668 0 -1 4202560 3587 0 0 0 63 1 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32063] ppid=32046 vsize=10546196 CPUtime=0.63 cores=0,2,4,6 /proc/32048/task/32063/stat : 32063 (java) S 32046 32048 29668 0 -1 4202560 5122 0 0 0 62 1 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32065] ppid=32046 vsize=10546196 CPUtime=0.57 cores=0,2,4,6 /proc/32048/task/32065/stat : 32065 (java) S 32046 32048 29668 0 -1 4202560 6558 0 0 0 57 0 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32074] ppid=32046 vsize=10546196 CPUtime=9.01 cores=0,2,4,6 /proc/32048/task/32074/stat : 32074 (java) S 32046 32048 29668 0 -1 4202560 19682 0 0 0 896 5 0 0 15 0 19 0 981123631 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 0 0 16800975 18446604446706166720 0 0 -1 0 0 0 0 [pid=32048/tid=32075] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32075/stat : 32075 (java) S 32046 32048 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32077] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32077/stat : 32077 (java) S 32046 32048 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32080] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32080/stat : 32080 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917217713 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32082] ppid=32046 vsize=10546196 CPUtime=0.44 cores=0,2,4,6 /proc/32048/task/32082/stat : 32082 (java) S 32046 32048 29668 0 -1 4202560 2422 0 0 0 44 0 0 0 16 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32084] ppid=32046 vsize=10546196 CPUtime=0.55 cores=0,2,4,6 /proc/32048/task/32084/stat : 32084 (java) S 32046 32048 29668 0 -1 4202560 5532 0 2 0 55 0 0 0 15 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32086] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32086/stat : 32086 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32088] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32088/stat : 32088 (java) S 32046 32048 29668 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32090] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32090/stat : 32090 (java) S 32046 32048 29668 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981123665 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1786.74 Current children cumulated vsize (KiB) 10546196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.6 s] /proc/loadavg: 2.04 2.00 1.94 3/214 32138 /proc/meminfo: memFree=705652/32950928 swapFree=67051812/67111528 [pid=32048] ppid=32046 vsize=10546196 CPUtime=1800.07 cores=0,2,4,6 /proc/32048/stat : 32048 (java) S 32046 32048 29668 0 -1 4202496 96338 0 108 0 179985 22 0 0 23 0 19 0 981123614 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 7 /proc/32048/statm: 2636549 90757 2254 9 0 2627283 0 [pid=32048/tid=32056] ppid=32046 vsize=10546196 CPUtime=1784.77 cores=0,2,4,6 /proc/32048/task/32056/stat : 32056 (java) R 32046 32048 29668 0 -1 4202560 30243 0 50 0 178471 6 0 0 25 0 19 0 981123623 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 46912505687680 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=32048/tid=32057] ppid=32046 vsize=10546196 CPUtime=0.67 cores=0,2,4,6 /proc/32048/task/32057/stat : 32057 (java) S 32046 32048 29668 0 -1 4202560 4054 0 0 0 67 0 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32058] ppid=32046 vsize=10546196 CPUtime=0.62 cores=0,2,4,6 /proc/32048/task/32058/stat : 32058 (java) S 32046 32048 29668 0 -1 4202560 2794 0 0 0 62 0 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32059] ppid=32046 vsize=10546196 CPUtime=0.59 cores=0,2,4,6 /proc/32048/task/32059/stat : 32059 (java) S 32046 32048 29668 0 -1 4202560 3019 0 0 0 59 0 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32060] ppid=32046 vsize=10546196 CPUtime=0.66 cores=0,2,4,6 /proc/32048/task/32060/stat : 32060 (java) S 32046 32048 29668 0 -1 4202560 5570 0 0 0 65 1 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32061] ppid=32046 vsize=10546196 CPUtime=0.7 cores=0,2,4,6 /proc/32048/task/32061/stat : 32061 (java) S 32046 32048 29668 0 -1 4202560 6552 0 0 0 69 1 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32062] ppid=32046 vsize=10546196 CPUtime=0.65 cores=0,2,4,6 /proc/32048/task/32062/stat : 32062 (java) S 32046 32048 29668 0 -1 4202560 3587 0 0 0 64 1 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32063] ppid=32046 vsize=10546196 CPUtime=0.63 cores=0,2,4,6 /proc/32048/task/32063/stat : 32063 (java) S 32046 32048 29668 0 -1 4202560 5122 0 0 0 62 1 0 0 15 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32065] ppid=32046 vsize=10546196 CPUtime=0.58 cores=0,2,4,6 /proc/32048/task/32065/stat : 32065 (java) S 32046 32048 29668 0 -1 4202560 6558 0 0 0 58 0 0 0 16 0 19 0 981123628 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 [pid=32048/tid=32074] ppid=32046 vsize=10546196 CPUtime=9.08 cores=0,2,4,6 /proc/32048/task/32074/stat : 32074 (java) S 32046 32048 29668 0 -1 4202560 19684 0 0 0 903 5 0 0 15 0 19 0 981123631 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 0 0 16800975 18446604446706166720 0 0 -1 0 0 0 0 [pid=32048/tid=32075] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32075/stat : 32075 (java) S 32046 32048 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32077] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32077/stat : 32077 (java) S 32046 32048 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981123632 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32080] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32080/stat : 32080 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917217713 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32082] ppid=32046 vsize=10546196 CPUtime=0.44 cores=0,2,4,6 /proc/32048/task/32082/stat : 32082 (java) S 32046 32048 29668 0 -1 4202560 2422 0 0 0 44 0 0 0 16 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32084] ppid=32046 vsize=10546196 CPUtime=0.55 cores=0,2,4,6 /proc/32048/task/32084/stat : 32084 (java) S 32046 32048 29668 0 -1 4202560 5532 0 2 0 55 0 0 0 15 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32086] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32086/stat : 32086 (java) S 32046 32048 29668 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210009 0 4 0 16800975 18446604446706166720 0 0 -1 2 0 0 0 [pid=32048/tid=32088] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32088/stat : 32088 (java) S 32046 32048 29668 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981123638 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 4 0 0 0 [pid=32048/tid=32090] ppid=32046 vsize=10546196 CPUtime=0 cores=0,2,4,6 /proc/32048/task/32090/stat : 32090 (java) S 32046 32048 29668 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981123665 10799304704 90757 33554432000 1073741824 1073778376 140734540346480 18446744073709551615 260917210624 0 4 0 16800975 18446604446706166720 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 10546196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.67 CPU time (s): 1800.17 CPU user time (s): 1799.93 CPU system time (s): 0.236963 CPU usage (%): 100.251 Max. virtual memory (cumulated for all children) (KiB): 10547664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.236963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96454 page faults= 108 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42535 involuntary context switches= 15042 runsolver used 3.22251 second user time and 6.597 second system time The end
Begin job on node116 at 2011-06-12 22:02:09 IDJOB=3492282 IDBENCH=78722 IDSOLVER=1982 FILE ID=node116/3492282-1307908929 RUNJOBID= node116-1307908929-32025 PBS_JOBID= 13559589 Free space on /var/tmp= 2884 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-66-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-3492282-1307908929/watcher-3492282-1307908929 -o /var/tmp/evaluation-result-3492282-1307908929/solver-3492282-1307908929 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492282-1307908929.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9f59d922c085a32576bd21436364ce6a RANDOM SEED=1503878110 node116.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.826 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.65 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.826 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 : 5226.15 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.826 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.75 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.826 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.826 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.77 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.826 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.75 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.826 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.826 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 : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 1354608 kB Buffers: 61204 kB Cached: 30562392 kB SwapCached: 12792 kB Active: 16037568 kB Inactive: 14605416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 1354608 kB SwapTotal: 67111528 kB SwapFree: 67051812 kB Dirty: 428 kB Writeback: 0 kB AnonPages: 17332 kB Mapped: 8848 kB Slab: 888156 kB PageTables: 4844 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 189836 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 node116 at 2011-06-12 22:32:07