Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 25 | 1800.3 | 1795.38 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | NO |
| Number of variables | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-2658716-1276639326.opb 0.23/0.21 c reading problem ... 1.74/1.08 c ... done. Wall clock time 0.875s. 1.74/1.08 c #vars 6076 1.74/1.08 c #constraints 21401 1.74/1.08 c constraints type 1.74/1.08 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1.74/1.08 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.74/1.08 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 2.32/1.33 c SATISFIABLE 2.32/1.33 c OPTIMIZING... 2.32/1.33 c Got one! Elapsed wall clock time (in seconds):1.122 2.32/1.33 o 26 3.79/2.14 c Got one! Elapsed wall clock time (in seconds):1.937 3.79/2.14 o 25 5.37/3.68 c cleaning 2495 clauses out of 5002 with flag 5002/5002 7.36/5.58 c cleaning 4248 clauses out of 8507 with flag 11002/11002 9.65/7.83 c cleaning 5617 clauses out of 11257 with flag 18000/18000 11.98/10.19 c cleaning 6812 clauses out of 13643 with flag 26003/26003 14.93/12.78 c cleaning 7902 clauses out of 15829 with flag 35001/35001 17.95/15.71 c cleaning 8947 clauses out of 17927 with flag 45001/45001 21.25/19.01 c cleaning 9977 clauses out of 19979 with flag 56000/56000 24.85/22.63 c cleaning 10985 clauses out of 22002 with flag 68000/68000 29.36/27.19 c cleaning 11992 clauses out of 24017 with flag 81000/81000 33.97/31.77 c cleaning 13004 clauses out of 26026 with flag 95001/95001 38.59/36.36 c cleaning 13996 clauses out of 28022 with flag 110001/110001 43.58/41.35 c cleaning 14998 clauses out of 30026 with flag 126001/126001 48.99/46.74 c cleaning 15992 clauses out of 32027 with flag 143000/143000 55.20/52.91 c cleaning 17005 clauses out of 34035 with flag 161000/161000 61.91/59.60 c cleaning 18005 clauses out of 36030 with flag 180000/180000 68.23/65.95 c cleaning 18999 clauses out of 38029 with flag 200004/200004 75.73/73.48 c cleaning 19999 clauses out of 40027 with flag 221001/221001 82.94/80.70 c cleaning 20991 clauses out of 42028 with flag 243001/243001 90.05/87.72 c cleaning 21504 clauses out of 43037 with flag 265001/265001 97.37/95.09 c cleaning 21756 clauses out of 43536 with flag 287004/287004 104.28/101.92 c cleaning 21873 clauses out of 43778 with flag 309002/309002 113.19/110.84 c cleaning 21937 clauses out of 43905 with flag 331002/331002 122.40/120.02 c cleaning 21965 clauses out of 43967 with flag 353001/353001 128.11/125.79 c cleaning 21979 clauses out of 44001 with flag 375000/375000 134.22/131.90 c cleaning 21993 clauses out of 44023 with flag 397001/397001 142.03/139.63 c cleaning 21987 clauses out of 44033 with flag 419004/419004 150.34/147.96 c cleaning 22000 clauses out of 44044 with flag 441002/441002 158.75/156.35 c cleaning 22010 clauses out of 44042 with flag 463000/463000 166.85/164.43 c cleaning 21995 clauses out of 44032 with flag 485000/485000 176.17/173.79 c cleaning 21986 clauses out of 44038 with flag 507001/507001 183.48/181.07 c cleaning 21999 clauses out of 44052 with flag 529001/529001 189.59/187.19 c cleaning 21997 clauses out of 44052 with flag 551000/551000 196.20/193.77 c cleaning 21992 clauses out of 44055 with flag 573000/573000 202.91/200.49 c cleaning 22020 clauses out of 44063 with flag 595000/595000 211.72/209.23 c cleaning 22005 clauses out of 44043 with flag 617000/617000 218.92/216.45 c cleaning 21997 clauses out of 44038 with flag 639000/639000 226.13/223.63 c cleaning 21996 clauses out of 44042 with flag 661001/661001 233.34/230.87 c cleaning 21979 clauses out of 44045 with flag 683000/683000 242.55/240.04 c cleaning 22006 clauses out of 44071 with flag 705005/705005 250.76/248.27 c cleaning 22003 clauses out of 44061 with flag 727001/727001 257.27/254.78 c cleaning 21997 clauses out of 44057 with flag 749000/749000 263.98/261.43 c cleaning 22004 clauses out of 44060 with flag 771000/771000 271.50/268.98 c cleaning 22013 clauses out of 44058 with flag 793002/793002 283.21/280.68 c cleaning 22009 clauses out of 44044 with flag 815001/815001 296.81/294.25 c cleaning 21995 clauses out of 44035 with flag 837001/837001 308.33/305.77 c cleaning 21988 clauses out of 44040 with flag 859001/859001 320.12/317.53 c cleaning 21998 clauses out of 44051 with flag 881000/881000 327.93/325.32 c cleaning 22008 clauses out of 44053 with flag 903000/903000 335.24/332.62 c cleaning 22007 clauses out of 44045 with flag 925000/925000 342.04/339.41 c cleaning 22010 clauses out of 44038 with flag 947000/947000 351.65/349.05 c cleaning 21999 clauses out of 44028 with flag 969000/969000 360.97/358.38 c cleaning 21998 clauses out of 44029 with flag 991000/991000 373.48/370.87 c cleaning 21991 clauses out of 44031 with flag 1013000/1013000 380.70/378.06 c cleaning 22006 clauses out of 44041 with flag 1035001/1035001 388.50/385.89 c cleaning 22001 clauses out of 44034 with flag 1057000/1057000 395.71/393.00 c cleaning 22000 clauses out of 44036 with flag 1079003/1079003 406.31/403.68 c cleaning 21998 clauses out of 44033 with flag 1101000/1101000 417.23/414.55 c cleaning 22006 clauses out of 44037 with flag 1123002/1123002 428.45/425.73 c cleaning 21989 clauses out of 44029 with flag 1145000/1145000 439.65/436.97 c cleaning 22011 clauses out of 44042 with flag 1167002/1167002 449.26/446.51 c cleaning 22000 clauses out of 44029 with flag 1189000/1189000 456.16/453.48 c cleaning 21993 clauses out of 44030 with flag 1211001/1211001 461.57/458.84 c cleaning 21980 clauses out of 44038 with flag 1233002/1233002 468.08/465.36 c cleaning 21994 clauses out of 44057 with flag 1255001/1255001 474.09/471.33 c cleaning 21993 clauses out of 44062 with flag 1277000/1277000 479.69/476.97 c cleaning 21995 clauses out of 44070 with flag 1299001/1299001 487.10/484.30 c cleaning 22004 clauses out of 44075 with flag 1321001/1321001 493.91/491.16 c cleaning 22018 clauses out of 44070 with flag 1343000/1343000 503.11/500.38 c cleaning 22002 clauses out of 44054 with flag 1365002/1365002 510.82/508.00 c cleaning 22004 clauses out of 44051 with flag 1387001/1387001 521.36/518.56 c cleaning 22000 clauses out of 44047 with flag 1409001/1409001 530.16/527.30 c cleaning 22008 clauses out of 44048 with flag 1431002/1431002 539.07/536.25 c cleaning 22001 clauses out of 44040 with flag 1453002/1453002 549.17/546.31 c cleaning 21993 clauses out of 44037 with flag 1475000/1475000 560.49/557.67 c cleaning 22004 clauses out of 44046 with flag 1497002/1497002 572.20/569.33 c cleaning 22003 clauses out of 44041 with flag 1519001/1519001 580.00/577.13 c cleaning 22005 clauses out of 44038 with flag 1541001/1541001 586.21/583.33 c cleaning 22000 clauses out of 44033 with flag 1563001/1563001 593.32/590.48 c cleaning 22000 clauses out of 44033 with flag 1585001/1585001 599.52/596.62 c cleaning 22003 clauses out of 44033 with flag 1607001/1607001 606.33/603.43 c cleaning 21996 clauses out of 44029 with flag 1629000/1629000 616.74/613.83 c cleaning 21999 clauses out of 44040 with flag 1651007/1651007 627.34/624.48 c cleaning 22005 clauses out of 44035 with flag 1673001/1673001 638.65/635.77 c cleaning 22000 clauses out of 44035 with flag 1695006/1695006 650.15/647.22 c cleaning 22002 clauses out of 44032 with flag 1717003/1717003 660.07/657.19 c cleaning 21985 clauses out of 44027 with flag 1739000/1739000 670.47/667.55 c cleaning 22010 clauses out of 44046 with flag 1761004/1761004 678.49/675.53 c cleaning 21996 clauses out of 44034 with flag 1783002/1783002 686.49/683.54 c cleaning 21999 clauses out of 44037 with flag 1805001/1805001 693.40/690.44 c cleaning 21993 clauses out of 44037 with flag 1827000/1827000 699.81/696.87 c cleaning 22003 clauses out of 44045 with flag 1849001/1849001 706.82/703.90 c cleaning 21997 clauses out of 44042 with flag 1871001/1871001 713.64/710.68 c cleaning 22000 clauses out of 44044 with flag 1893000/1893000 720.53/717.59 c cleaning 21999 clauses out of 44046 with flag 1915002/1915002 727.15/724.15 c cleaning 22002 clauses out of 44046 with flag 1937001/1937001 733.66/730.64 c cleaning 22003 clauses out of 44045 with flag 1959002/1959002 740.07/737.02 c cleaning 21995 clauses out of 44041 with flag 1981001/1981001 746.58/743.55 c cleaning 21997 clauses out of 44045 with flag 2003000/2003000 755.58/752.55 c cleaning 22006 clauses out of 44050 with flag 2025002/2025002 762.39/759.35 c cleaning 21999 clauses out of 44042 with flag 2047000/2047000 771.09/768.06 c cleaning 21990 clauses out of 44045 with flag 2069002/2069002 777.61/774.53 c cleaning 21996 clauses out of 44053 with flag 2091000/2091000 783.92/780.88 c cleaning 22004 clauses out of 44060 with flag 2113003/2113003 794.03/790.93 c cleaning 22006 clauses out of 44053 with flag 2135000/2135000 806.15/803.07 c cleaning 22005 clauses out of 44048 with flag 2157001/2157001 816.85/813.78 c cleaning 22000 clauses out of 44044 with flag 2179002/2179002 825.15/822.05 c cleaning 22001 clauses out of 44042 with flag 2201000/2201000 833.57/830.47 c cleaning 22000 clauses out of 44041 with flag 2223000/2223000 843.48/840.38 c cleaning 22003 clauses out of 44042 with flag 2245001/2245001 853.39/850.27 c cleaning 22002 clauses out of 44038 with flag 2267000/2267000 861.49/858.39 c cleaning 22001 clauses out of 44040 with flag 2289004/2289004 870.29/867.18 c cleaning 21991 clauses out of 44036 with flag 2311001/2311001 879.01/875.85 c cleaning 21998 clauses out of 44045 with flag 2333001/2333001 888.11/884.91 c cleaning 22001 clauses out of 44046 with flag 2355000/2355000 896.72/893.57 c cleaning 21997 clauses out of 44045 with flag 2377000/2377000 906.34/903.17 c cleaning 21998 clauses out of 44050 with flag 2399002/2399002 915.54/912.39 c cleaning 22006 clauses out of 44050 with flag 2421000/2421000 924.05/920.84 c cleaning 22008 clauses out of 44046 with flag 2443002/2443002 932.66/929.48 c cleaning 21994 clauses out of 44036 with flag 2465000/2465000 940.96/937.75 c cleaning 21989 clauses out of 44042 with flag 2487000/2487000 948.96/945.72 c cleaning 22003 clauses out of 44053 with flag 2509000/2509000 957.67/954.41 c cleaning 21999 clauses out of 44052 with flag 2531002/2531002 966.89/963.63 c cleaning 21999 clauses out of 44052 with flag 2553001/2553001 975.89/972.63 c cleaning 22001 clauses out of 44053 with flag 2575001/2575001 984.70/981.46 c cleaning 21999 clauses out of 44053 with flag 2597002/2597002 993.12/989.87 c cleaning 21998 clauses out of 44052 with flag 2619000/2619000 1002.82/999.52 c cleaning 21990 clauses out of 44054 with flag 2641000/2641000 1011.03/1007.75 c cleaning 22013 clauses out of 44065 with flag 2663001/2663001 1018.33/1015.09 c cleaning 22012 clauses out of 44051 with flag 2685000/2685000 1026.58/1023.21 c cleaning 22000 clauses out of 44039 with flag 2707000/2707000 1034.90/1031.52 c cleaning 22000 clauses out of 44039 with flag 2729000/2729000 1042.31/1038.94 c cleaning 22002 clauses out of 44042 with flag 2751003/2751003 1050.82/1047.48 c cleaning 21997 clauses out of 44037 with flag 2773000/2773000 1059.93/1056.52 c cleaning 22000 clauses out of 44040 with flag 2795000/2795000 1070.76/1067.39 c cleaning 22009 clauses out of 44042 with flag 2817002/2817002 1081.68/1078.20 c cleaning 22004 clauses out of 44032 with flag 2839001/2839001 1090.60/1087.13 c cleaning 22000 clauses out of 44028 with flag 2861001/2861001 1099.31/1095.81 c cleaning 21991 clauses out of 44027 with flag 2883000/2883000 1108.62/1105.13 c cleaning 22007 clauses out of 44038 with flag 2905002/2905002 1115.54/1112.06 c cleaning 22003 clauses out of 44031 with flag 2927002/2927002 1125.64/1122.16 c cleaning 21997 clauses out of 44027 with flag 2949001/2949001 1136.37/1132.82 c cleaning 22001 clauses out of 44031 with flag 2971002/2971002 1144.88/1141.02 c cleaning 21992 clauses out of 44029 with flag 2993001/2993001 1152.56/1148.47 c cleaning 21992 clauses out of 44036 with flag 3015000/3015000 1160.66/1156.48 c cleaning 22003 clauses out of 44046 with flag 3037002/3037002 1168.96/1164.76 c cleaning 21986 clauses out of 44043 with flag 3059002/3059002 1176.17/1171.97 c cleaning 22011 clauses out of 44055 with flag 3081000/3081000 1183.18/1178.99 c cleaning 22000 clauses out of 44044 with flag 3103000/3103000 1190.88/1186.70 c cleaning 22002 clauses out of 44044 with flag 3125000/3125000 1201.89/1197.70 c cleaning 22000 clauses out of 44043 with flag 3147001/3147001 1213.89/1209.68 c cleaning 22007 clauses out of 44043 with flag 3169001/3169001 1223.40/1219.17 c cleaning 21990 clauses out of 44035 with flag 3191000/3191000 1230.41/1226.13 c cleaning 21993 clauses out of 44045 with flag 3213000/3213000 1237.22/1232.90 c cleaning 22001 clauses out of 44052 with flag 3235000/3235000 1243.34/1239.03 c cleaning 22002 clauses out of 44051 with flag 3257000/3257000 1249.94/1245.67 c cleaning 22001 clauses out of 44049 with flag 3279000/3279000 1260.45/1256.12 c cleaning 22004 clauses out of 44049 with flag 3301001/3301001 1272.05/1267.79 c cleaning 22001 clauses out of 44045 with flag 3323001/3323001 1283.36/1279.06 c cleaning 21998 clauses out of 44045 with flag 3345002/3345002 1294.97/1290.64 c cleaning 21999 clauses out of 44046 with flag 3367001/3367001 1306.78/1302.47 c cleaning 22002 clauses out of 44046 with flag 3389000/3389000 1318.57/1314.28 c cleaning 22004 clauses out of 44046 with flag 3411002/3411002 1330.98/1326.64 c cleaning 21992 clauses out of 44040 with flag 3433000/3433000 1337.89/1333.55 c cleaning 21992 clauses out of 44048 with flag 3455000/3455000 1344.60/1340.20 c cleaning 22004 clauses out of 44060 with flag 3477004/3477004 1351.71/1347.34 c cleaning 22001 clauses out of 44052 with flag 3499000/3499000 1358.21/1353.83 c cleaning 21990 clauses out of 44053 with flag 3521002/3521002 1365.03/1360.65 c cleaning 22012 clauses out of 44065 with flag 3543004/3543004 1371.93/1367.59 c cleaning 22004 clauses out of 44050 with flag 3565001/3565001 1378.64/1374.29 c cleaning 21999 clauses out of 44046 with flag 3587001/3587001 1385.84/1381.44 c cleaning 22001 clauses out of 44046 with flag 3609000/3609000 1393.15/1388.78 c cleaning 22000 clauses out of 44047 with flag 3631002/3631002 1400.36/1395.92 c cleaning 21999 clauses out of 44046 with flag 3653001/3653001 1409.64/1405.21 c cleaning 22010 clauses out of 44046 with flag 3675000/3675000 1418.66/1414.26 c cleaning 22005 clauses out of 44037 with flag 3697001/3697001 1427.48/1423.10 c cleaning 21998 clauses out of 44032 with flag 3719001/3719001 1436.49/1432.10 c cleaning 22003 clauses out of 44033 with flag 3741000/3741000 1446.19/1441.78 c cleaning 22003 clauses out of 44030 with flag 3763000/3763000 1455.41/1450.97 c cleaning 21993 clauses out of 44029 with flag 3785002/3785002 1463.61/1459.16 c cleaning 22003 clauses out of 44035 with flag 3807001/3807001 1472.32/1467.89 c cleaning 22007 clauses out of 44033 with flag 3829002/3829002 1481.03/1476.54 c cleaning 21998 clauses out of 44024 with flag 3851000/3851000 1489.63/1485.14 c cleaning 22004 clauses out of 44029 with flag 3873003/3873003 1498.84/1494.36 c cleaning 21991 clauses out of 44022 with flag 3895000/3895000 1507.84/1503.33 c cleaning 21989 clauses out of 44031 with flag 3917000/3917000 1517.34/1512.88 c cleaning 21998 clauses out of 44042 with flag 3939000/3939000 1527.06/1522.60 c cleaning 22011 clauses out of 44047 with flag 3961003/3961003 1537.36/1532.82 c cleaning 22003 clauses out of 44033 with flag 3983000/3983000 1544.58/1540.06 c cleaning 21998 clauses out of 44031 with flag 4005001/4005001 1552.29/1547.76 c cleaning 21996 clauses out of 44032 with flag 4027000/4027000 1559.89/1555.32 c cleaning 22002 clauses out of 44038 with flag 4049002/4049002 1567.49/1562.95 c cleaning 21998 clauses out of 44035 with flag 4071001/4071001 1575.19/1570.64 c cleaning 21999 clauses out of 44036 with flag 4093000/4093000 1582.50/1577.95 c cleaning 21998 clauses out of 44037 with flag 4115000/4115000 1589.20/1584.68 c cleaning 21999 clauses out of 44039 with flag 4137000/4137000 1595.51/1590.96 c cleaning 22003 clauses out of 44040 with flag 4159000/4159000 1602.11/1597.53 c cleaning 22001 clauses out of 44039 with flag 4181002/4181002 1609.21/1604.63 c cleaning 22000 clauses out of 44036 with flag 4203000/4203000 1616.62/1612.07 c cleaning 21993 clauses out of 44036 with flag 4225000/4225000 1623.62/1619.01 c cleaning 22000 clauses out of 44043 with flag 4247000/4247000 1629.94/1625.30 c cleaning 22004 clauses out of 44043 with flag 4269000/4269000 1637.54/1632.96 c cleaning 21997 clauses out of 44039 with flag 4291000/4291000 1644.55/1639.97 c cleaning 21999 clauses out of 44042 with flag 4313000/4313000 1651.85/1647.20 c cleaning 22005 clauses out of 44044 with flag 4335001/4335001 1658.55/1653.94 c cleaning 21997 clauses out of 44040 with flag 4357002/4357002 1665.86/1661.24 c cleaning 21999 clauses out of 44041 with flag 4379000/4379000 1673.57/1668.92 c cleaning 22003 clauses out of 44043 with flag 4401001/4401001 1681.58/1676.91 c cleaning 22000 clauses out of 44040 with flag 4423001/4423001 1689.08/1684.48 c cleaning 21994 clauses out of 44040 with flag 4445001/4445001 1696.39/1691.78 c cleaning 22002 clauses out of 44045 with flag 4467000/4467000 1703.29/1698.61 c cleaning 22003 clauses out of 44047 with flag 4489004/4489004 1710.82/1706.12 c cleaning 21994 clauses out of 44040 with flag 4511000/4511000 1718.62/1713.96 c cleaning 21993 clauses out of 44046 with flag 4533000/4533000 1725.73/1721.01 c cleaning 22002 clauses out of 44057 with flag 4555004/4555004 1732.94/1728.22 c cleaning 22008 clauses out of 44051 with flag 4577000/4577000 1744.64/1739.98 c cleaning 21998 clauses out of 44043 with flag 4599000/4599000 1755.55/1750.88 c cleaning 22010 clauses out of 44045 with flag 4621000/4621000 1763.96/1759.24 c cleaning 22005 clauses out of 44036 with flag 4643001/4643001 1771.47/1766.72 c cleaning 22002 clauses out of 44032 with flag 4665002/4665002 1779.47/1774.77 c cleaning 21994 clauses out of 44029 with flag 4687001/4687001 1790.99/1786.23 c cleaning 21994 clauses out of 44034 with flag 4709000/4709000 1800.02/1795.22 c starts : 273 1800.02/1795.22 c conflicts : 4730265 1800.02/1795.22 c decisions : 14017619 1800.02/1795.22 c propagations : 1487855874 1800.02/1795.22 c inspects : 4735114894 1800.02/1795.22 c learnt literals : 0 1800.02/1795.22 c learnt binary clauses : 7 1800.02/1795.22 c learnt ternary clauses : 1 1800.02/1795.22 c learnt clauses : 4730264 1800.02/1795.22 c ignored clauses : 0 1800.02/1795.22 c root simplifications : 0 1800.02/1795.22 c removed literals (reason simplification) : 179383337 1800.02/1795.22 c reason swapping (by a shorter reason) : 0 1800.02/1795.22 c Calls to reduceDB : 221 1800.02/1795.22 c number of reductions to clauses (during analyze) : 0 1800.02/1795.22 c number of learned constraints concerned by reduction : 0 1800.02/1795.22 c number of learning phase by resolution : 0 1800.02/1795.22 c number of learning phase by cutting planes : 0 1800.02/1795.22 c speed (assignments/second) : 829778.0173411404 1800.02/1795.22 c non guided choices 33174 1800.02/1795.28 c learnt constraints type 1800.02/1795.28 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 43392 1800.02/1795.28 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7 1800.02/1795.28 c constraints type 1800.02/1795.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1800.02/1795.28 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.02/1795.28 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1800.02/1795.28 s SATISFIABLE 1800.02/1795.31 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 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 x5371 -x5372 -x5373 x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 x5633 -x5634 -x5635 x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 x5960 x5961 -x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 x6026 x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 x6062 -x6063 x6064 x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 1800.21/1795.33 c objective function=25 1800.21/1795.33 c Total wall clock time (in seconds): 1795.124
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658716-1276639326/watcher-2658716-1276639326 -o /tmp/evaluation-result-2658716-1276639326/solver-2658716-1276639326 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658716-1276639326.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6552 /proc/meminfo: memFree=1819552/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1832 CPUtime=0 /proc/6552/stat : 6552 (java6) R 6550 6552 6034 0 -1 4194304 250 0 0 0 0 0 0 0 19 0 1 0 37588947 1875968 153 1992294400 134512640 134550932 4287228432 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 0 /proc/6552/statm: 458 153 116 10 0 63 0 [startup+0.022455 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6552 /proc/meminfo: memFree=1819552/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=13980 CPUtime=0 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 1245 0 1 0 0 0 0 0 18 0 2 0 37588947 14315520 693 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 3495 693 355 10 0 1206 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13980 [startup+0.100464 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6552 /proc/meminfo: memFree=1819552/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1524184 CPUtime=0.08 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 3951 0 1 0 6 2 0 0 18 0 12 0 37588947 1560764416 3391 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 381046 3391 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.300482 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6552 /proc/meminfo: memFree=1819552/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1526348 CPUtime=0.36 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 5361 0 1 0 32 4 0 0 18 0 12 0 37588947 1562980352 4799 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 381587 4799 1361 10 0 378889 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1526348 [startup+0.700523 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6552 /proc/meminfo: memFree=1819552/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1528056 CPUtime=1.14 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 7823 0 1 0 109 5 0 0 18 0 12 0 37588947 1564729344 7145 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 382014 7145 1402 10 0 379316 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 1528056 [startup+1.50159 s] /proc/loadavg: 0.92 0.98 0.99 4/118 6564 /proc/meminfo: memFree=1776924/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1528824 CPUtime=2.71 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 15743 0 1 0 263 8 0 0 18 0 13 0 37588947 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 382206 14344 1423 10 0 379508 0 [pid=6552/tid=6554] ppid=6550 vsize=1528824 CPUtime=1.46 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 12593 0 1 0 139 7 0 0 19 0 13 0 37588949 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4109129572 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 37588950 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 13 0 37588950 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 37588952 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 37588953 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 37588953 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1528824 CPUtime=0.51 /proc/6552/task/6561/stat : 6561 (java) R 6550 6552 6034 0 -1 4202560 434 0 0 0 51 0 0 0 25 0 13 0 37588957 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 104138370 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1528824 CPUtime=0.72 /proc/6552/task/6562/stat : 6562 (java) R 6550 6552 6034 0 -1 4202560 1651 0 0 0 72 0 0 0 25 0 13 0 37588957 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 106429536 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1528824 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 37588957 1565515776 14344 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.71 Current children cumulated vsize (KiB) 1528824 [startup+3.10174 s] /proc/loadavg: 0.92 0.98 0.99 4/119 6565 /proc/meminfo: memFree=1763524/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1531612 CPUtime=4.87 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 17874 0 1 0 478 9 0 0 18 0 13 0 37588947 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 382903 15873 1430 10 0 380205 0 [pid=6552/tid=6554] ppid=6550 vsize=1531612 CPUtime=3.05 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13439 0 1 0 298 7 0 0 23 0 13 0 37588949 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4109787830 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 37588950 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 13 0 37588950 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 37588952 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 37588953 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 37588953 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1531612 CPUtime=0.83 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 596 0 0 0 83 0 0 0 19 0 13 0 37588957 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1531612 CPUtime=0.95 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 2774 0 0 0 95 0 0 0 24 0 13 0 37588957 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 37588957 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1531612 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37589062 1568370688 15873 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.87 Current children cumulated vsize (KiB) 1531612 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.99 2/119 6565 /proc/meminfo: memFree=1753356/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1531748 CPUtime=8.15 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 20733 0 1 0 805 10 0 0 18 0 13 0 37588947 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 382937 18728 1445 10 0 380239 0 [pid=6552/tid=6554] ppid=6550 vsize=1531748 CPUtime=6.14 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13625 0 1 0 607 7 0 0 25 0 13 0 37588949 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4109787830 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1531748 CPUtime=0.01 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 722 0 0 0 1 0 0 0 18 0 13 0 37588950 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1531748 CPUtime=0.01 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 925 0 0 0 1 0 0 0 17 0 13 0 37588950 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1531748 CPUtime=0.06 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 1016 0 0 0 6 0 0 0 16 0 13 0 37588952 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1531748 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 37588953 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1531748 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 37588953 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1531748 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1531748 CPUtime=0.87 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 605 0 0 0 87 0 0 0 18 0 13 0 37588957 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1531748 CPUtime=1 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 2777 0 0 0 100 0 0 0 15 0 13 0 37588957 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1531748 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1531748 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 37588957 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1531748 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37589062 1568509952 18728 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.15 Current children cumulated vsize (KiB) 1531748 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/119 6567 /proc/meminfo: memFree=1743684/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1533796 CPUtime=14.93 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 23375 0 1 0 1482 11 0 0 18 0 13 0 37588947 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 383449 19863 1445 10 0 380751 0 [pid=6552/tid=6554] ppid=6550 vsize=1533796 CPUtime=12.36 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13629 0 1 0 1229 7 0 0 25 0 13 0 37588949 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4109771263 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1533796 CPUtime=0.02 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 949 0 0 0 2 0 0 0 18 0 13 0 37588950 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1533796 CPUtime=0.03 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 1150 0 0 0 3 0 0 0 16 0 13 0 37588950 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1533796 CPUtime=0.15 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 1145 0 0 0 15 0 0 0 15 0 13 0 37588952 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1533796 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 37588953 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1533796 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 37588953 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1533796 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1533796 CPUtime=0.96 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 622 0 0 0 96 0 0 0 15 0 13 0 37588957 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1533796 CPUtime=1.36 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 4817 0 0 0 135 1 0 0 15 0 13 0 37588957 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1533796 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1533796 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 37588957 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1533796 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37589062 1570607104 19863 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.93 Current children cumulated vsize (KiB) 1533796 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 3/119 6567 /proc/meminfo: memFree=1740956/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1533796 CPUtime=27.76 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 24300 0 1 0 2765 11 0 0 18 0 13 0 37588947 1570607104 20771 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 383449 20771 1445 10 0 380751 0 [pid=6552/tid=6554] ppid=6550 vsize=1533796 CPUtime=24.93 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13633 0 1 0 2486 7 0 0 25 0 13 0 37588949 1570607104 20771 1992294400 134512640 134550932 4289259408 18446744073709551615 4109755329 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1533796 CPUtime=0.05 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 1197 0 0 0 5 0 0 0 18 0 13 0 37588950 1570607104 20771 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1533796 CPUtime=0.06 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 1391 0 0 0 6 0 0 0 15 0 13 0 37588950 1570607104 20771 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1533796 CPUtime=0.33 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 1577 0 0 0 33 0 0 0 15 0 13 0 37588952 1570607104 20771 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1533796 CPUtime=0 ################ # More data... # ################ [pid=6552] ppid=6550 vsize=1534820 CPUtime=1666.97 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 42422 0 1 0 166655 42 0 0 18 0 13 0 37588947 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 383705 34570 1445 10 0 381007 0 [pid=6552/tid=6554] ppid=6550 vsize=1534820 CPUtime=1644.77 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13833 0 1 0 164458 19 0 0 25 0 13 0 37588949 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4109746442 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1534820 CPUtime=2.44 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 6262 0 0 0 238 6 0 0 16 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1534820 CPUtime=2.62 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 6173 0 0 0 254 8 0 0 15 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1534820 CPUtime=13.98 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 6221 0 0 0 1395 3 0 0 16 0 13 0 37588952 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1534820 CPUtime=0.98 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 622 0 0 0 98 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1534820 CPUtime=2.13 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 8152 0 0 0 210 3 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37589062 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1666.97 Current children cumulated vsize (KiB) 1534820 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 3/119 6611 /proc/meminfo: memFree=1682180/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1534820 CPUtime=1727.04 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 42438 0 1 0 172661 43 0 0 18 0 13 0 37588947 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 383705 34570 1445 10 0 381007 0 [pid=6552/tid=6554] ppid=6550 vsize=1534820 CPUtime=1704.03 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13841 0 1 0 170384 19 0 0 25 0 13 0 37588949 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4109932876 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1534820 CPUtime=2.53 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 6262 0 0 0 246 7 0 0 16 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1534820 CPUtime=2.71 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 6173 0 0 0 263 8 0 0 15 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1534820 CPUtime=14.6 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 6225 0 0 0 1457 3 0 0 15 0 13 0 37588952 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1534820 CPUtime=0.98 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 622 0 0 0 98 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1534820 CPUtime=2.13 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 8152 0 0 0 210 3 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37589062 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1727.04 Current children cumulated vsize (KiB) 1534820 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/119 6613 /proc/meminfo: memFree=1681932/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1534820 CPUtime=1787.09 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 42450 0 1 0 178666 43 0 0 18 0 13 0 37588947 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 383705 34570 1445 10 0 381007 0 [pid=6552/tid=6554] ppid=6550 vsize=1534820 CPUtime=1763.43 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13847 0 1 0 176324 19 0 0 25 0 13 0 37588949 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4109771150 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1534820 CPUtime=2.61 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 6262 0 0 0 254 7 0 0 15 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1534820 CPUtime=2.81 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 6173 0 0 0 272 9 0 0 16 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1534820 CPUtime=15.08 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 6227 0 0 0 1505 3 0 0 15 0 13 0 37588952 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1534820 CPUtime=0.98 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 622 0 0 0 98 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1534820 CPUtime=2.13 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 8152 0 0 0 210 3 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37589062 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1787.09 Current children cumulated vsize (KiB) 1534820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.21 s] /proc/loadavg: 0.99 0.98 0.99 2/119 6613 /proc/meminfo: memFree=1681932/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1534820 CPUtime=1800.02 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 42453 0 1 0 179959 43 0 0 18 0 13 0 37588947 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 383705 34570 1445 10 0 381007 0 [pid=6552/tid=6554] ppid=6550 vsize=1534820 CPUtime=1776.25 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13848 0 1 0 177606 19 0 0 25 0 13 0 37588949 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4109817489 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1534820 CPUtime=2.63 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 6262 0 0 0 256 7 0 0 15 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1534820 CPUtime=2.83 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 6173 0 0 0 274 9 0 0 16 0 13 0 37588950 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1534820 CPUtime=15.15 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 6229 0 0 0 1512 3 0 0 15 0 13 0 37588952 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 37588953 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1534820 CPUtime=0.98 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 622 0 0 0 98 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1534820 CPUtime=2.13 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 8152 0 0 0 210 3 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 37588957 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1534820 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37589062 1571655680 34570 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1534820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.32 s] /proc/loadavg: 0.99 0.98 0.99 2/119 6613 /proc/meminfo: memFree=1681932/2059040 swapFree=4140256/4192956 [pid=6552] ppid=6550 vsize=1535468 CPUtime=1800.21 /proc/6552/stat : 6552 (java) S 6550 6552 6034 0 -1 4202496 42471 0 1 0 179978 43 0 0 18 0 15 0 37588947 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6552/statm: 383867 34588 1445 10 0 381169 0 [pid=6552/tid=6554] ppid=6550 vsize=1535468 CPUtime=1776.35 /proc/6552/task/6554/stat : 6554 (java) R 6550 6552 6034 0 -1 4202560 13848 0 1 0 177616 19 0 0 25 0 15 0 37588949 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4109818468 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6552/tid=6555] ppid=6550 vsize=1535468 CPUtime=2.63 /proc/6552/task/6555/stat : 6555 (java) S 6550 6552 6034 0 -1 4202560 6262 0 0 0 256 7 0 0 15 0 15 0 37588950 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6556] ppid=6550 vsize=1535468 CPUtime=2.83 /proc/6552/task/6556/stat : 6556 (java) S 6550 6552 6034 0 -1 4202560 6173 0 0 0 274 9 0 0 16 0 15 0 37588950 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6557] ppid=6550 vsize=1535468 CPUtime=15.15 /proc/6552/task/6557/stat : 6557 (java) S 6550 6552 6034 0 -1 4202560 6229 0 0 0 1512 3 0 0 15 0 15 0 37588952 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 0 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6558] ppid=6550 vsize=1535468 CPUtime=0 /proc/6552/task/6558/stat : 6558 (java) S 6550 6552 6034 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 15 0 37588953 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6559] ppid=6550 vsize=1535468 CPUtime=0 /proc/6552/task/6559/stat : 6559 (java) S 6550 6552 6034 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 37588953 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6560] ppid=6550 vsize=1535468 CPUtime=0 /proc/6552/task/6560/stat : 6560 (java) S 6550 6552 6034 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 15 0 37588957 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6561] ppid=6550 vsize=1535468 CPUtime=0.98 /proc/6552/task/6561/stat : 6561 (java) S 6550 6552 6034 0 -1 4202560 622 0 0 0 98 0 0 0 15 0 15 0 37588957 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6562] ppid=6550 vsize=1535468 CPUtime=2.19 /proc/6552/task/6562/stat : 6562 (java) S 6550 6552 6034 0 -1 4202560 8152 0 0 0 216 3 0 0 15 0 15 0 37588957 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6563] ppid=6550 vsize=1535468 CPUtime=0 /proc/6552/task/6563/stat : 6563 (java) S 6550 6552 6034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 15 0 37588957 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 0 0 0 0 [pid=6552/tid=6564] ppid=6550 vsize=1535468 CPUtime=0 /proc/6552/task/6564/stat : 6564 (java) S 6550 6552 6034 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 15 0 37588957 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 [pid=6552/tid=6565] ppid=6550 vsize=1535468 CPUtime=0 /proc/6552/task/6565/stat : 6565 (java) S 6550 6552 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 15 0 37589062 1572319232 34588 1992294400 134512640 134550932 4289259408 18446744073709551615 4294960144 0 4 0 16800975 18446604437837596672 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 1535468 Child status: 143 Real time (s): 1795.38 CPU time (s): 1800.3 CPU user time (s): 1799.84 CPU system time (s): 0.45493 CPU usage (%): 100.274 Max. virtual memory (cumulated for all children) (KiB): 1541600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.45493 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42475 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39080 involuntary context switches= 12538 runsolver used 3.68344 second user time and 9.52455 second system time The end
Begin job on node018 at 2010-06-16 00:02:06 IDJOB=2658716 IDBENCH=25012 IDSOLVER=1164 FILE ID=node018/2658716-1276639326 PBS_JOBID= 11172368 Free space on /tmp= 62484 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658716-1276639326/watcher-2658716-1276639326 -o /tmp/evaluation-result-2658716-1276639326/solver-2658716-1276639326 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658716-1276639326.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=1340836352 node018.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1819824 kB Buffers: 53156 kB Cached: 99108 kB SwapCached: 6204 kB Active: 78972 kB Inactive: 86696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1819824 kB SwapTotal: 4192956 kB SwapFree: 4140256 kB Dirty: 1052 kB Writeback: 0 kB AnonPages: 11560 kB Mapped: 12984 kB Slab: 51572 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180548 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62484 MiB End job on node018 at 2010-06-16 00:32:03