Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 25 | 1800.64 | 935.266 |
| 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 | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 266.663 |
| 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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.0.v20100531 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1349517296 0.00/0.08 c Max memory 1356595200 0.00/0.08 c Total memory 1356595200 0.00/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 0.09/0.11 c solving HOME/instance-3735979-1338750490.opb 0.09/0.11 c reading problem ... 1.08/0.54 c ... done. Wall clock time 0.429s. 1.08/0.54 c #vars 6076 1.08/0.54 c #constraints 21401 1.08/0.54 c constraints type 1.08/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1.08/0.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.08/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1.08/0.54 c constraints type 1.08/0.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1.08/0.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1.08/0.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.43/0.62 c And the winner is Resolution 1.71/1.55 c SATISFIABLE 1.71/1.55 c OPTIMIZING... 1.71/1.55 c Got one! Elapsed wall clock time (in seconds):1.439 1.71/1.55 o 26 2.66/1.85 c And the winner is Resolution 3.09/2.56 c Got one! Elapsed wall clock time (in seconds):2.446 3.09/2.56 o 25 4.62/3.23 c cleaning 2495 clauses out of 5002 with flag 5002/5002 6.66/4.22 c cleaning 4248 clauses out of 8507 with flag 11002/11002 9.11/5.41 c cleaning 5617 clauses out of 11257 with flag 18000/18000 11.54/6.62 c cleaning 6812 clauses out of 13643 with flag 26003/26003 14.47/7.97 c cleaning 7902 clauses out of 15829 with flag 35001/35001 17.74/9.47 c cleaning 8947 clauses out of 17927 with flag 45001/45001 21.14/11.17 c cleaning 9977 clauses out of 19979 with flag 56000/56000 24.91/13.03 c cleaning 10985 clauses out of 22002 with flag 68000/68000 29.65/15.32 c cleaning 11992 clauses out of 24017 with flag 81000/81000 34.23/17.64 c cleaning 13004 clauses out of 26026 with flag 95001/95001 38.80/19.99 c cleaning 13996 clauses out of 28022 with flag 110001/110001 44.04/22.55 c cleaning 14998 clauses out of 30026 with flag 126001/126001 49.63/25.32 c cleaning 15992 clauses out of 32027 with flag 143000/143000 55.84/28.48 c cleaning 17005 clauses out of 34035 with flag 161000/161000 62.65/31.83 c cleaning 18005 clauses out of 36030 with flag 180000/180000 69.28/35.12 c cleaning 18999 clauses out of 38029 with flag 200004/200004 76.41/38.77 c cleaning 19999 clauses out of 40027 with flag 221001/221001 83.59/42.32 c cleaning 20991 clauses out of 42028 with flag 243001/243001 90.56/45.83 c cleaning 21504 clauses out of 43037 with flag 265001/265001 98.16/49.61 c cleaning 21756 clauses out of 43536 with flag 287004/287004 104.89/53.08 c cleaning 21873 clauses out of 43778 with flag 309002/309002 113.69/57.48 c cleaning 21937 clauses out of 43905 with flag 331002/331002 122.46/61.84 c cleaning 21965 clauses out of 43967 with flag 353001/353001 128.18/64.76 c cleaning 21979 clauses out of 44001 with flag 375000/375000 134.46/67.95 c cleaning 21993 clauses out of 44023 with flag 397001/397001 142.40/71.92 c cleaning 21987 clauses out of 44033 with flag 419004/419004 150.76/76.13 c cleaning 22000 clauses out of 44044 with flag 441002/441002 159.28/80.41 c cleaning 22010 clauses out of 44042 with flag 463000/463000 167.54/84.62 c cleaning 21995 clauses out of 44032 with flag 485000/485000 176.28/89.09 c cleaning 21986 clauses out of 44038 with flag 507001/507001 183.81/92.85 c cleaning 21999 clauses out of 44052 with flag 529001/529001 190.34/96.11 c cleaning 21997 clauses out of 44052 with flag 551000/551000 197.17/99.63 c cleaning 21992 clauses out of 44055 with flag 573000/573000 204.08/103.15 c cleaning 22020 clauses out of 44063 with flag 595000/595000 212.84/107.58 c cleaning 22005 clauses out of 44043 with flag 617000/617000 220.36/111.35 c cleaning 21997 clauses out of 44038 with flag 639000/639000 227.60/115.09 c cleaning 21996 clauses out of 44042 with flag 661001/661001 235.32/118.90 c cleaning 21979 clauses out of 44045 with flag 683000/683000 244.30/123.42 c cleaning 22006 clauses out of 44071 with flag 705005/705005 252.56/127.65 c cleaning 22003 clauses out of 44061 with flag 727001/727001 259.36/131.18 c cleaning 21997 clauses out of 44057 with flag 749000/749000 266.21/134.63 c cleaning 22004 clauses out of 44060 with flag 771000/771000 273.69/138.49 c cleaning 22013 clauses out of 44058 with flag 793002/793002 285.01/144.11 c cleaning 22009 clauses out of 44044 with flag 815001/815001 297.62/150.58 c cleaning 21995 clauses out of 44035 with flag 837001/837001 308.92/156.22 c cleaning 21988 clauses out of 44040 with flag 859001/859001 320.46/162.02 c cleaning 21998 clauses out of 44051 with flag 881000/881000 328.52/166.14 c cleaning 22008 clauses out of 44053 with flag 903000/903000 336.45/170.22 c cleaning 22007 clauses out of 44045 with flag 925000/925000 343.53/173.81 c cleaning 22010 clauses out of 44038 with flag 947000/947000 353.18/178.74 c cleaning 21999 clauses out of 44028 with flag 969000/969000 362.45/183.45 c cleaning 21998 clauses out of 44029 with flag 991000/991000 374.40/189.51 c cleaning 21991 clauses out of 44031 with flag 1013000/1013000 381.85/193.33 c cleaning 22006 clauses out of 44041 with flag 1035001/1035001 389.86/197.48 c cleaning 22001 clauses out of 44034 with flag 1057000/1057000 397.54/201.32 c cleaning 22000 clauses out of 44036 with flag 1079003/1079003 408.02/206.77 c cleaning 21998 clauses out of 44033 with flag 1101000/1101000 418.84/212.21 c cleaning 22006 clauses out of 44037 with flag 1123002/1123002 429.68/217.80 c cleaning 21989 clauses out of 44029 with flag 1145000/1145000 440.72/223.31 c cleaning 22011 clauses out of 44042 with flag 1167002/1167002 450.12/228.27 c cleaning 22000 clauses out of 44029 with flag 1189000/1189000 457.51/232.07 c cleaning 21993 clauses out of 44030 with flag 1211001/1211001 463.26/235.07 c cleaning 21980 clauses out of 44038 with flag 1233002/1233002 470.05/238.59 c cleaning 21994 clauses out of 44057 with flag 1255001/1255001 476.69/242.04 c cleaning 21993 clauses out of 44062 with flag 1277000/1277000 482.89/245.23 c cleaning 21995 clauses out of 44070 with flag 1299001/1299001 490.46/249.18 c cleaning 22004 clauses out of 44075 with flag 1321001/1321001 497.91/252.93 c cleaning 22018 clauses out of 44070 with flag 1343000/1343000 507.32/257.80 c cleaning 22002 clauses out of 44054 with flag 1365002/1365002 515.13/261.83 c cleaning 22004 clauses out of 44051 with flag 1387001/1387001 525.76/267.23 c cleaning 22000 clauses out of 44047 with flag 1409001/1409001 534.72/271.85 c cleaning 22008 clauses out of 44048 with flag 1431002/1431002 544.31/276.80 c cleaning 22001 clauses out of 44040 with flag 1453002/1453002 554.30/281.99 c cleaning 21993 clauses out of 44037 with flag 1475000/1475000 565.31/287.54 c cleaning 22004 clauses out of 44046 with flag 1497002/1497002 576.71/293.39 c cleaning 22003 clauses out of 44041 with flag 1519001/1519001 585.08/297.70 c cleaning 22005 clauses out of 44038 with flag 1541001/1541001 591.65/301.14 c cleaning 22000 clauses out of 44033 with flag 1563001/1563001 599.16/305.05 c cleaning 22000 clauses out of 44033 with flag 1585001/1585001 605.65/308.45 c cleaning 22003 clauses out of 44033 with flag 1607001/1607001 613.25/312.45 c cleaning 21996 clauses out of 44029 with flag 1629000/1629000 623.22/317.56 c cleaning 21999 clauses out of 44040 with flag 1651007/1651007 633.84/322.96 c cleaning 22005 clauses out of 44035 with flag 1673001/1673001 645.26/328.75 c cleaning 22000 clauses out of 44035 with flag 1695006/1695006 656.85/334.71 c cleaning 22002 clauses out of 44032 with flag 1717003/1717003 667.07/339.92 c cleaning 21985 clauses out of 44027 with flag 1739000/1739000 677.40/345.22 c cleaning 22010 clauses out of 44046 with flag 1761004/1761004 685.95/349.70 c cleaning 21996 clauses out of 44034 with flag 1783002/1783002 694.74/354.27 c cleaning 21999 clauses out of 44037 with flag 1805001/1805001 701.84/358.00 c cleaning 21993 clauses out of 44037 with flag 1827000/1827000 708.84/361.55 c cleaning 22003 clauses out of 44045 with flag 1849001/1849001 716.38/365.40 c cleaning 21997 clauses out of 44042 with flag 1871001/1871001 723.88/369.40 c cleaning 22000 clauses out of 44044 with flag 1893000/1893000 731.40/373.33 c cleaning 21999 clauses out of 44046 with flag 1915002/1915002 738.51/377.09 c cleaning 22002 clauses out of 44046 with flag 1937001/1937001 745.85/380.85 c cleaning 22003 clauses out of 44045 with flag 1959002/1959002 753.32/384.81 c cleaning 21995 clauses out of 44041 with flag 1981001/1981001 760.85/388.71 c cleaning 21997 clauses out of 44045 with flag 2003000/2003000 770.57/393.77 c cleaning 22006 clauses out of 44050 with flag 2025002/2025002 778.28/397.77 c cleaning 21999 clauses out of 44042 with flag 2047000/2047000 787.81/402.73 c cleaning 21990 clauses out of 44045 with flag 2069002/2069002 795.28/406.63 c cleaning 21996 clauses out of 44053 with flag 2091000/2091000 802.40/410.35 c cleaning 22004 clauses out of 44060 with flag 2113003/2113003 813.77/416.14 c cleaning 22006 clauses out of 44053 with flag 2135000/2135000 827.08/423.03 c cleaning 22005 clauses out of 44048 with flag 2157001/2157001 838.45/428.90 c cleaning 22000 clauses out of 44044 with flag 2179002/2179002 848.00/433.70 c cleaning 22001 clauses out of 44042 with flag 2201000/2201000 857.33/438.53 c cleaning 22000 clauses out of 44041 with flag 2223000/2223000 868.21/444.25 c cleaning 22003 clauses out of 44042 with flag 2245001/2245001 878.96/449.71 c cleaning 22002 clauses out of 44038 with flag 2267000/2267000 887.86/454.36 c cleaning 22001 clauses out of 44040 with flag 2289004/2289004 897.54/459.33 c cleaning 21991 clauses out of 44036 with flag 2311001/2311001 907.36/464.52 c cleaning 21998 clauses out of 44045 with flag 2333001/2333001 917.02/469.55 c cleaning 22001 clauses out of 44046 with flag 2355000/2355000 926.81/474.52 c cleaning 21997 clauses out of 44045 with flag 2377000/2377000 936.90/479.77 c cleaning 21998 clauses out of 44050 with flag 2399002/2399002 947.46/485.30 c cleaning 22006 clauses out of 44050 with flag 2421000/2421000 956.72/490.17 c cleaning 22008 clauses out of 44046 with flag 2443002/2443002 966.24/495.07 c cleaning 21994 clauses out of 44036 with flag 2465000/2465000 975.28/499.78 c cleaning 21989 clauses out of 44042 with flag 2487000/2487000 984.41/504.68 c cleaning 22003 clauses out of 44053 with flag 2509000/2509000 993.90/509.59 c cleaning 21999 clauses out of 44052 with flag 2531002/2531002 1003.96/514.73 c cleaning 21999 clauses out of 44052 with flag 2553001/2553001 1014.06/519.92 c cleaning 22001 clauses out of 44053 with flag 2575001/2575001 1023.99/525.28 c cleaning 21999 clauses out of 44053 with flag 2597002/2597002 1033.47/530.19 c cleaning 21998 clauses out of 44052 with flag 2619000/2619000 1043.92/535.52 c cleaning 21990 clauses out of 44054 with flag 2641000/2641000 1053.41/540.40 c cleaning 22013 clauses out of 44065 with flag 2663001/2663001 1062.19/545.12 c cleaning 22012 clauses out of 44051 with flag 2685000/2685000 1071.48/549.93 c cleaning 22000 clauses out of 44039 with flag 2707000/2707000 1080.68/554.79 c cleaning 22000 clauses out of 44039 with flag 2729000/2729000 1089.18/559.18 c cleaning 22002 clauses out of 44042 with flag 2751003/2751003 1099.15/564.47 c cleaning 21997 clauses out of 44037 with flag 2773000/2773000 1109.17/569.66 c cleaning 22000 clauses out of 44040 with flag 2795000/2795000 1121.10/575.78 c cleaning 22009 clauses out of 44042 with flag 2817002/2817002 1132.79/581.75 c cleaning 22004 clauses out of 44032 with flag 2839001/2839001 1142.91/587.13 c cleaning 22000 clauses out of 44028 with flag 2861001/2861001 1152.79/592.27 c cleaning 21991 clauses out of 44027 with flag 2883000/2883000 1163.03/597.59 c cleaning 22007 clauses out of 44038 with flag 2905002/2905002 1171.27/601.83 c cleaning 22003 clauses out of 44031 with flag 2927002/2927002 1182.97/608.01 c cleaning 21997 clauses out of 44027 with flag 2949001/2949001 1194.53/614.02 c cleaning 22001 clauses out of 44031 with flag 2971002/2971002 1203.99/618.94 c cleaning 21992 clauses out of 44029 with flag 2993001/2993001 1212.91/623.46 c cleaning 21992 clauses out of 44036 with flag 3015000/3015000 1222.60/628.45 c cleaning 22003 clauses out of 44046 with flag 3037002/3037002 1231.79/633.24 c cleaning 21986 clauses out of 44043 with flag 3059002/3059002 1239.89/637.54 c cleaning 22011 clauses out of 44055 with flag 3081000/3081000 1246.27/640.91 c cleaning 0 clauses out of 5000 with flag 0/5000 1249.15/642.71 c cleaning 22000 clauses out of 44044 with flag 3103000/3103000 1257.64/647.17 c cleaning 22002 clauses out of 44044 with flag 3125000/3125000 1269.27/653.14 c cleaning 22000 clauses out of 44043 with flag 3147001/3147001 1281.73/659.55 c cleaning 22007 clauses out of 44043 with flag 3169001/3169001 1292.38/665.28 c cleaning 21990 clauses out of 44035 with flag 3191000/3191000 1300.07/669.36 c cleaning 21993 clauses out of 44045 with flag 3213000/3213000 1307.41/673.30 c cleaning 22001 clauses out of 44052 with flag 3235000/3235000 1314.41/676.99 c cleaning 22002 clauses out of 44051 with flag 3257000/3257000 1322.14/681.27 c cleaning 22001 clauses out of 44049 with flag 3279000/3279000 1333.16/686.98 c cleaning 22004 clauses out of 44049 with flag 3301001/3301001 1345.20/693.19 c cleaning 22001 clauses out of 44045 with flag 3323001/3323001 1357.13/699.29 c cleaning 21998 clauses out of 44045 with flag 3345002/3345002 1369.76/705.93 c cleaning 21999 clauses out of 44046 with flag 3367001/3367001 1382.14/712.30 c cleaning 22002 clauses out of 44046 with flag 3389000/3389000 1394.36/718.68 c cleaning 22004 clauses out of 44046 with flag 3411002/3411002 1407.32/725.34 c cleaning 21992 clauses out of 44040 with flag 3433000/3433000 1415.41/729.82 c cleaning 21992 clauses out of 44048 with flag 3455000/3455000 1422.77/733.77 c cleaning 22004 clauses out of 44060 with flag 3477004/3477004 1430.64/737.94 c cleaning 22001 clauses out of 44052 with flag 3499000/3499000 1438.00/741.82 c cleaning 21990 clauses out of 44053 with flag 3521002/3521002 1445.94/746.26 c cleaning 22012 clauses out of 44065 with flag 3543004/3543004 1453.62/750.37 c cleaning 22004 clauses out of 44050 with flag 3565001/3565001 1461.15/754.34 c cleaning 21999 clauses out of 44046 with flag 3587001/3587001 1468.88/758.49 c cleaning 22001 clauses out of 44046 with flag 3609000/3609000 1477.66/763.20 c cleaning 22000 clauses out of 44047 with flag 3631002/3631002 1485.50/767.46 c cleaning 21999 clauses out of 44046 with flag 3653001/3653001 1496.10/772.90 c cleaning 22010 clauses out of 44046 with flag 3675000/3675000 1505.87/778.01 c cleaning 22005 clauses out of 44037 with flag 3697001/3697001 1515.83/783.48 c cleaning 21998 clauses out of 44032 with flag 3719001/3719001 1525.56/788.52 c cleaning 22003 clauses out of 44033 with flag 3741000/3741000 1535.67/793.83 c cleaning 22003 clauses out of 44030 with flag 3763000/3763000 1545.42/798.94 c cleaning 21993 clauses out of 44029 with flag 3785002/3785002 1554.76/804.07 c cleaning 22003 clauses out of 44035 with flag 3807001/3807001 1564.11/809.00 c cleaning 22007 clauses out of 44033 with flag 3829002/3829002 1573.45/813.89 c cleaning 21998 clauses out of 44024 with flag 3851000/3851000 1583.04/818.84 c cleaning 22004 clauses out of 44029 with flag 3873003/3873003 1593.42/824.43 c cleaning 21991 clauses out of 44022 with flag 3895000/3895000 1603.13/829.51 c cleaning 21989 clauses out of 44031 with flag 3917000/3917000 1613.24/834.84 c cleaning 21998 clauses out of 44042 with flag 3939000/3939000 1623.50/840.24 c cleaning 22011 clauses out of 44047 with flag 3961003/3961003 1635.01/846.41 c cleaning 22003 clauses out of 44033 with flag 3983000/3983000 1643.76/851.04 c cleaning 21998 clauses out of 44031 with flag 4005001/4005001 1652.24/855.59 c cleaning 21996 clauses out of 44032 with flag 4027000/4027000 1660.75/860.03 c cleaning 22002 clauses out of 44038 with flag 4049002/4049002 1669.57/864.98 c cleaning 21998 clauses out of 44035 with flag 4071001/4071001 1678.50/869.61 c cleaning 21999 clauses out of 44036 with flag 4093000/4093000 1686.76/874.02 c cleaning 21998 clauses out of 44037 with flag 4115000/4115000 1694.28/878.05 c cleaning 21999 clauses out of 44039 with flag 4137000/4137000 1701.94/882.36 c cleaning 22003 clauses out of 44040 with flag 4159000/4159000 1709.64/886.40 c cleaning 22001 clauses out of 44039 with flag 4181002/4181002 1717.72/890.71 c cleaning 22000 clauses out of 44036 with flag 4203000/4203000 1725.96/895.11 c cleaning 21993 clauses out of 44036 with flag 4225000/4225000 1734.21/899.79 c cleaning 22000 clauses out of 44043 with flag 4247000/4247000 1741.45/903.67 c cleaning 22004 clauses out of 44043 with flag 4269000/4269000 1750.14/908.27 c cleaning 21997 clauses out of 44039 with flag 4291000/4291000 1758.23/912.51 c cleaning 21999 clauses out of 44042 with flag 4313000/4313000 1766.65/917.30 c cleaning 22005 clauses out of 44044 with flag 4335001/4335001 1774.52/921.47 c cleaning 21997 clauses out of 44040 with flag 4357002/4357002 1782.77/925.82 c cleaning 21999 clauses out of 44041 with flag 4379000/4379000 1791.28/930.36 c cleaning 22003 clauses out of 44043 with flag 4401001/4401001 1800.08/935.21 c starts : 255 1800.08/935.21 c conflicts : 4422448 1800.08/935.21 c decisions : 13042690 1800.08/935.21 c propagations : 1388976757 1800.08/935.21 c inspects : 4409735103 1800.08/935.21 c learnt literals : 0 1800.08/935.21 c learnt binary clauses : 7 1800.08/935.21 c learnt ternary clauses : 1 1800.08/935.21 c learnt clauses : 4422449 1800.08/935.21 c ignored clauses : 0 1800.08/935.21 c root simplifications : 0 1800.08/935.21 c removed literals (reason simplification) : 169514477 1800.08/935.21 c reason swapping (by a shorter reason) : 0 1800.08/935.21 c Calls to reduceDB : 207 1800.08/935.21 c number of reductions to clauses (during analyze) : 0 1800.08/935.21 c number of learned constraints concerned by reduction : 0 1800.08/935.21 c number of learning phase by resolution : 0 1800.08/935.21 c number of learning phase by cutting planes : 0 1800.08/935.21 c speed (assignments/second) : 1489275.0583550367 1800.08/935.21 c non guided choices 30087 1800.08/935.23 c learnt constraints type 1800.08/935.23 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 43562 1800.08/935.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7 1800.08/935.23 c constraints type 1800.08/935.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1800.08/935.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.08/935.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1800.08/935.23 c constraints type 1800.08/935.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1800.08/935.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1800.08/935.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.08/935.23 s SATISFIABLE 1800.08/935.24 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.08/935.25 c objective function=25 1800.08/935.25 c Total wall clock time (in seconds): 935.137
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735979-1338750490/watcher-3735979-1338750490 -o /tmp/evaluation-result-3735979-1338750490/solver-3735979-1338750490 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735979-1338750490.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.77 3.91 3.79 4/197 4460 /proc/meminfo: memFree=27422880/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/4460/stat : 4460 (java6) D 4458 4460 3937 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 341174941 9515008 184 33554432000 1073741824 1073778376 140735113247216 140735113238440 226084154807 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 2323 184 142 9 0 71 0 [startup+0.0305459 s] /proc/loadavg: 3.77 3.91 3.79 4/197 4460 /proc/meminfo: memFree=27422880/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2158136 CPUtime=0 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 3482 0 1 0 0 0 0 0 20 0 10 0 341174941 2209931264 4181 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 539534 4181 1539 9 0 530235 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2158136 [startup+0.100256 s] /proc/loadavg: 3.77 3.91 3.79 4/197 4460 /proc/meminfo: memFree=27422880/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2699928 CPUtime=0.09 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 4709 0 1 0 8 1 0 0 20 0 18 0 341174941 2764726272 6410 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 674982 6410 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2699928 [startup+0.30023 s] /proc/loadavg: 3.77 3.91 3.79 4/197 4460 /proc/meminfo: memFree=27422880/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2699928 CPUtime=0.49 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 5963 0 1 0 48 1 0 0 20 0 18 0 341174941 2764726272 9289 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 674982 9289 2217 9 0 665676 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 2699928 [startup+0.700237 s] /proc/loadavg: 3.77 3.91 3.79 4/197 4460 /proc/meminfo: memFree=27422880/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2966184 CPUtime=1.7 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 14192 0 1 0 165 5 0 0 20 0 20 0 341174941 3037372416 26936 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 741546 26936 2255 9 0 732240 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 2966184 [startup+1.5006 s] /proc/loadavg: 3.77 3.91 3.79 4/217 4482 /proc/meminfo: memFree=27323988/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2966184 CPUtime=1.71 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 14193 0 1 0 166 5 0 0 20 0 20 0 341174941 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 741546 26937 2256 9 0 732240 0 [pid=4460/tid=4462] ppid=4458 vsize=2966184 CPUtime=0.51 cores=0,2,4,6 /proc/4460/task/4462/stat : 4462 (java) S 4458 4460 3937 0 -1 4202560 2823 0 1 0 49 2 0 0 20 0 20 0 341174942 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211445580952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4463] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4463/stat : 4463 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211429861928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4464] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4464/stat : 4464 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211428809128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4465] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4465/stat : 4465 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211427756328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4466] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4466/stat : 4466 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211426703528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4467] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4467/stat : 4467 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211425651752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4468] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4468/stat : 4468 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211424598952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4469] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4469/stat : 4469 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211423546152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4470] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4470/stat : 4470 (java) S 4458 4460 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341174943 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211304524456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4471] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4471/stat : 4471 (java) S 4458 4460 3937 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341174944 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211292326376 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4472] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4472/stat : 4472 (java) S 4458 4460 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341174945 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211291272440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4473] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4473/stat : 4473 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341174945 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211290219528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4474] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4474/stat : 4474 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174947 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140211289168016 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4475] ppid=4458 vsize=2966184 CPUtime=0.5 cores=0,2,4,6 /proc/4460/task/4475/stat : 4475 (java) S 4458 4460 3937 0 -1 4202560 4291 0 0 0 49 1 0 0 20 0 20 0 341174947 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140210549550008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4476] ppid=4458 vsize=2966184 CPUtime=0.49 cores=0,2,4,6 /proc/4460/task/4476/stat : 4476 (java) S 4458 4460 3937 0 -1 4202560 5782 0 0 0 49 0 0 0 20 0 20 0 341174947 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140210548497208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4477] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4477/stat : 4477 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174947 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140210547444600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4478] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4478/stat : 4478 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341174947 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140210546392008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4481] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4481/stat : 4481 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341174999 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140210543231912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4482] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4482/stat : 4482 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341174999 3037372416 26937 33554432000 1073741824 1073778376 140734866836768 140210542179112 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.71 Current children cumulated vsize (KiB) 2966184 [startup+3.10073 s] /proc/loadavg: 3.77 3.91 3.79 4/217 4484 /proc/meminfo: memFree=27239772/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2966184 CPUtime=4.4 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 17945 0 1 0 427 13 0 0 20 0 22 0 341174941 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 741546 102144 2273 9 0 732240 0 [pid=4460/tid=4462] ppid=4458 vsize=2966184 CPUtime=0.53 cores=0,2,4,6 /proc/4460/task/4462/stat : 4462 (java) S 4458 4460 3937 0 -1 4202560 2824 0 1 0 51 2 0 0 20 0 22 0 341174942 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211445580952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4463] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4463/stat : 4463 (java) S 4458 4460 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211429861928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4464] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4464/stat : 4464 (java) S 4458 4460 3937 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211428809128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4465] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4465/stat : 4465 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211427756328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4466] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4466/stat : 4466 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211426703528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4467] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4467/stat : 4467 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211425651752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4468] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4468/stat : 4468 (java) S 4458 4460 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211424598952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4469] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4469/stat : 4469 (java) S 4458 4460 3937 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211423546152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4470] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4470/stat : 4470 (java) S 4458 4460 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211304524456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4471] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4471/stat : 4471 (java) S 4458 4460 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341174944 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211292326376 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4472] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4472/stat : 4472 (java) S 4458 4460 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211291272440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4473] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4473/stat : 4473 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211290219528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4474] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4474/stat : 4474 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140211289168016 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4475] ppid=4458 vsize=2966184 CPUtime=0.87 cores=0,2,4,6 /proc/4460/task/4475/stat : 4475 (java) S 4458 4460 3937 0 -1 4202560 4411 0 0 0 86 1 0 0 20 0 22 0 341174947 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140210549550008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4476] ppid=4458 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/4460/task/4476/stat : 4476 (java) S 4458 4460 3937 0 -1 4202560 9202 0 0 0 109 2 0 0 20 0 22 0 341174947 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140210548497208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4477] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4477/stat : 4477 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140210547444600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4478] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4478/stat : 4478 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140210546392008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4481] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4481/stat : 4481 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140210543231912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4482] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4482/stat : 4482 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 102144 33554432000 1073741824 1073778376 140734866836768 140210542179112 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 2966184 [startup+6.30072 s] /proc/loadavg: 3.87 3.93 3.79 5/219 4486 /proc/meminfo: memFree=27000908/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2966184 CPUtime=10.9 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 18046 0 1 0 1075 15 0 0 20 0 22 0 341174941 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 741546 107771 2287 9 0 732240 0 [pid=4460/tid=4462] ppid=4458 vsize=2966184 CPUtime=0.53 cores=0,2,4,6 /proc/4460/task/4462/stat : 4462 (java) S 4458 4460 3937 0 -1 4202560 2824 0 1 0 51 2 0 0 20 0 22 0 341174942 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211445580952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4463] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4463/stat : 4463 (java) S 4458 4460 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211429861928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4464] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4464/stat : 4464 (java) S 4458 4460 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211428809128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4465] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4465/stat : 4465 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211427756328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4466] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4466/stat : 4466 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211426703528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4467] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4467/stat : 4467 (java) S 4458 4460 3937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211425651752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4468] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4468/stat : 4468 (java) S 4458 4460 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211424598952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4469] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4469/stat : 4469 (java) S 4458 4460 3937 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211423546152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4470] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4470/stat : 4470 (java) S 4458 4460 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341174943 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211304524456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4471] ppid=4458 vsize=2966184 CPUtime=0.08 cores=0,2,4,6 /proc/4460/task/4471/stat : 4471 (java) S 4458 4460 3937 0 -1 4202560 54 0 0 0 8 0 0 0 20 0 22 0 341174944 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211292326376 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4472] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4472/stat : 4472 (java) S 4458 4460 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211291272440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4473] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4473/stat : 4473 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211290219528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4474] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4474/stat : 4474 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140211289168016 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4475] ppid=4458 vsize=2966184 CPUtime=0.95 cores=0,2,4,6 /proc/4460/task/4475/stat : 4475 (java) S 4458 4460 3937 0 -1 4202560 4421 0 0 0 93 2 0 0 20 0 22 0 341174947 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140210549550008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4476] ppid=4458 vsize=2966184 CPUtime=1.2 cores=0,2,4,6 /proc/4460/task/4476/stat : 4476 (java) S 4458 4460 3937 0 -1 4202560 9206 0 0 0 118 2 0 0 20 0 22 0 341174947 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140210548497208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4477] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4477/stat : 4477 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140210547444600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4478] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4478/stat : 4478 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140210546392008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4481] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4481/stat : 4481 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 107771 33554432000 1073741824 1073778376 140734866836768 140210543231912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=4460/tid=4482] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4482/stat : 4482 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 246033 33554432000 1073741824 1073778376 140734866836768 140210542179112 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4485] ppid=4458 vsize=2966184 CPUtime=677.88 cores=0,2,4,6 /proc/4460/task/4485/stat : 4485 (java) R 4458 4460 3937 0 -1 4202560 375 0 0 0 67774 14 0 0 20 0 22 0 341175197 3037372416 246033 33554432000 1073741824 1073778376 140734866836768 140210545336096 140211305480637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4486] ppid=4458 vsize=2966184 CPUtime=678 cores=0,2,4,6 /proc/4460/task/4486/stat : 4486 (java) R 4458 4460 3937 0 -1 4202560 495 0 0 0 67782 18 0 0 20 0 22 0 341175197 3037372416 246033 33554432000 1073741824 1073778376 140734866836768 140210544282144 140211305666740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1475.8 Current children cumulated vsize (KiB) 2966184 [startup+822.301 s] /proc/loadavg: 4.07 3.89 3.82 5/219 4565 /proc/meminfo: memFree=25786236/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2966184 CPUtime=1589.12 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 31701 0 1 0 158777 135 0 0 20 0 22 0 341174941 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 741546 251774 2288 9 0 732240 0 [pid=4460/tid=4462] ppid=4458 vsize=2966184 CPUtime=0.54 cores=0,2,4,6 /proc/4460/task/4462/stat : 4462 (java) S 4458 4460 3937 0 -1 4202560 2890 0 1 0 52 2 0 0 20 0 22 0 341174942 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211445580952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4463] ppid=4458 vsize=2966184 CPUtime=6.04 cores=0,2,4,6 /proc/4460/task/4463/stat : 4463 (java) S 4458 4460 3937 0 -1 4202560 306 0 0 0 595 9 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211429861928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4464] ppid=4458 vsize=2966184 CPUtime=6.16 cores=0,2,4,6 /proc/4460/task/4464/stat : 4464 (java) S 4458 4460 3937 0 -1 4202560 273 0 0 0 608 8 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211428809128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4465] ppid=4458 vsize=2966184 CPUtime=6.07 cores=0,2,4,6 /proc/4460/task/4465/stat : 4465 (java) S 4458 4460 3937 0 -1 4202560 259 0 0 0 599 8 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211427756328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4466] ppid=4458 vsize=2966184 CPUtime=6.28 cores=0,2,4,6 /proc/4460/task/4466/stat : 4466 (java) S 4458 4460 3937 0 -1 4202560 332 0 0 0 619 9 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211426703528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4467] ppid=4458 vsize=2966184 CPUtime=6.32 cores=0,2,4,6 /proc/4460/task/4467/stat : 4467 (java) S 4458 4460 3937 0 -1 4202560 327 0 0 0 623 9 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211425651752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4468] ppid=4458 vsize=2966184 CPUtime=6.56 cores=0,2,4,6 /proc/4460/task/4468/stat : 4468 (java) S 4458 4460 3937 0 -1 4202560 297 0 0 0 648 8 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211424598952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4469] ppid=4458 vsize=2966184 CPUtime=6.33 cores=0,2,4,6 /proc/4460/task/4469/stat : 4469 (java) S 4458 4460 3937 0 -1 4202560 314 0 0 0 625 8 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211423546152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4470] ppid=4458 vsize=2966184 CPUtime=5.77 cores=0,2,4,6 /proc/4460/task/4470/stat : 4470 (java) S 4458 4460 3937 0 -1 4202560 261 0 0 0 570 7 0 0 20 0 22 0 341174943 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211304524456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4471] ppid=4458 vsize=2966184 CPUtime=77.75 cores=0,2,4,6 /proc/4460/task/4471/stat : 4471 (java) S 4458 4460 3937 0 -1 4202560 150 0 0 0 7740 35 0 0 20 0 22 0 341174944 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211292326376 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4472] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4472/stat : 4472 (java) S 4458 4460 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211291272440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4473] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4473/stat : 4473 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211290219528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4474] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4474/stat : 4474 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140211289168016 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4475] ppid=4458 vsize=2966184 CPUtime=1.96 cores=0,2,4,6 /proc/4460/task/4475/stat : 4475 (java) S 4458 4460 3937 0 -1 4202560 13181 0 0 0 194 2 0 0 20 0 22 0 341174947 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210549550008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4476] ppid=4458 vsize=2966184 CPUtime=2.17 cores=0,2,4,6 /proc/4460/task/4476/stat : 4476 (java) S 4458 4460 3937 0 -1 4202560 10808 0 0 0 215 2 0 0 20 0 22 0 341174947 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210548497208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4477] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4477/stat : 4477 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210547444600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4478] ppid=4458 vsize=2966184 CPUtime=0.27 cores=0,2,4,6 /proc/4460/task/4478/stat : 4478 (java) S 4458 4460 3937 0 -1 4202560 46 0 0 0 11 16 0 0 20 0 22 0 341174947 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210546392008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4481] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4481/stat : 4481 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210543231912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4482] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4482/stat : 4482 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210542179112 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4485] ppid=4458 vsize=2966184 CPUtime=728.02 cores=0,2,4,6 /proc/4460/task/4485/stat : 4485 (java) R 4458 4460 3937 0 -1 4202560 389 0 0 0 72787 15 0 0 20 0 22 0 341175197 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210545336096 140211305362448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4486] ppid=4458 vsize=2966184 CPUtime=728.15 cores=0,2,4,6 /proc/4460/task/4486/stat : 4486 (java) R 4458 4460 3937 0 -1 4202560 520 0 0 0 72796 19 0 0 20 0 22 0 341175197 3037372416 251774 33554432000 1073741824 1073778376 140734866836768 140210544282192 140211305648241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1589.12 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 4.10 3.94 3.84 5/219 4565 /proc/meminfo: memFree=25778292/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2966184 CPUtime=1701.94 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 31873 0 1 0 170053 141 0 0 20 0 22 0 341174941 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 741546 253428 2288 9 0 732240 0 [pid=4460/tid=4462] ppid=4458 vsize=2966184 CPUtime=0.55 cores=0,2,4,6 /proc/4460/task/4462/stat : 4462 (java) S 4458 4460 3937 0 -1 4202560 2899 0 1 0 52 3 0 0 20 0 22 0 341174942 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211445580952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4463] ppid=4458 vsize=2966184 CPUtime=6.58 cores=0,2,4,6 /proc/4460/task/4463/stat : 4463 (java) S 4458 4460 3937 0 -1 4202560 323 0 0 0 649 9 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211429861928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4464] ppid=4458 vsize=2966184 CPUtime=6.67 cores=0,2,4,6 /proc/4460/task/4464/stat : 4464 (java) S 4458 4460 3937 0 -1 4202560 297 0 0 0 659 8 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211428809128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4465] ppid=4458 vsize=2966184 CPUtime=6.54 cores=0,2,4,6 /proc/4460/task/4465/stat : 4465 (java) S 4458 4460 3937 0 -1 4202560 260 0 0 0 646 8 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211427756328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4466] ppid=4458 vsize=2966184 CPUtime=6.74 cores=0,2,4,6 /proc/4460/task/4466/stat : 4466 (java) S 4458 4460 3937 0 -1 4202560 335 0 0 0 665 9 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211426703528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4467] ppid=4458 vsize=2966184 CPUtime=6.73 cores=0,2,4,6 /proc/4460/task/4467/stat : 4467 (java) S 4458 4460 3937 0 -1 4202560 337 0 0 0 663 10 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211425651752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4468] ppid=4458 vsize=2966184 CPUtime=7.06 cores=0,2,4,6 /proc/4460/task/4468/stat : 4468 (java) S 4458 4460 3937 0 -1 4202560 322 0 0 0 697 9 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211424598952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4469] ppid=4458 vsize=2966184 CPUtime=6.85 cores=0,2,4,6 /proc/4460/task/4469/stat : 4469 (java) S 4458 4460 3937 0 -1 4202560 328 0 0 0 677 8 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211423546152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4470] ppid=4458 vsize=2966184 CPUtime=6.28 cores=0,2,4,6 /proc/4460/task/4470/stat : 4470 (java) S 4458 4460 3937 0 -1 4202560 289 0 0 0 620 8 0 0 20 0 22 0 341174943 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211304524456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4471] ppid=4458 vsize=2966184 CPUtime=86.75 cores=0,2,4,6 /proc/4460/task/4471/stat : 4471 (java) S 4458 4460 3937 0 -1 4202560 154 0 0 0 8638 37 0 0 20 0 22 0 341174944 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211292326376 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4472] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4472/stat : 4472 (java) S 4458 4460 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211291272440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4473] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4473/stat : 4473 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211290219528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4474] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4474/stat : 4474 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140211289168016 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4475] ppid=4458 vsize=2966184 CPUtime=1.96 cores=0,2,4,6 /proc/4460/task/4475/stat : 4475 (java) S 4458 4460 3937 0 -1 4202560 13181 0 0 0 194 2 0 0 20 0 22 0 341174947 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210549550008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4476] ppid=4458 vsize=2966184 CPUtime=2.17 cores=0,2,4,6 /proc/4460/task/4476/stat : 4476 (java) S 4458 4460 3937 0 -1 4202560 10808 0 0 0 215 2 0 0 20 0 22 0 341174947 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210548497208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4477] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4477/stat : 4477 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210547444600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4478] ppid=4458 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/4460/task/4478/stat : 4478 (java) S 4458 4460 3937 0 -1 4202560 50 0 0 0 12 17 0 0 20 0 22 0 341174947 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210546392008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4481] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4481/stat : 4481 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210543231912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4482] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4482/stat : 4482 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210542179112 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4485] ppid=4458 vsize=2966184 CPUtime=777.99 cores=0,2,4,6 /proc/4460/task/4485/stat : 4485 (java) R 4458 4460 3937 0 -1 4202560 403 0 0 0 77784 15 0 0 20 0 22 0 341175197 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210545335248 140211306200803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4486] ppid=4458 vsize=2966184 CPUtime=778.11 cores=0,2,4,6 /proc/4460/task/4486/stat : 4486 (java) R 4458 4460 3937 0 -1 4202560 539 0 0 0 77792 19 0 0 20 0 22 0 341175197 3037372416 253428 33554432000 1073741824 1073778376 140734866836768 140210544282880 140211305623539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1701.94 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.201 s] /proc/loadavg: 4.41 4.05 3.88 5/219 4565 /proc/meminfo: memFree=25754248/32873648 swapFree=6864/6864 [pid=4460] ppid=4458 vsize=2966184 CPUtime=1800.08 cores=0,2,4,6 /proc/4460/stat : 4460 (java) S 4458 4460 3937 0 -1 4202496 32034 0 1 0 179861 147 0 0 20 0 22 0 341174941 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140734866827904 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4460/statm: 741546 259096 2288 9 0 732240 0 [pid=4460/tid=4462] ppid=4458 vsize=2966184 CPUtime=0.55 cores=0,2,4,6 /proc/4460/task/4462/stat : 4462 (java) S 4458 4460 3937 0 -1 4202560 2908 0 1 0 52 3 0 0 20 0 22 0 341174942 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211445580952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4463] ppid=4458 vsize=2966184 CPUtime=7.04 cores=0,2,4,6 /proc/4460/task/4463/stat : 4463 (java) S 4458 4460 3937 0 -1 4202560 339 0 0 0 694 10 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211429861928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4464] ppid=4458 vsize=2966184 CPUtime=7.12 cores=0,2,4,6 /proc/4460/task/4464/stat : 4464 (java) S 4458 4460 3937 0 -1 4202560 319 0 0 0 704 8 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211428809128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4465] ppid=4458 vsize=2966184 CPUtime=7.01 cores=0,2,4,6 /proc/4460/task/4465/stat : 4465 (java) S 4458 4460 3937 0 -1 4202560 300 0 0 0 692 9 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211427756328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4466] ppid=4458 vsize=2966184 CPUtime=7.17 cores=0,2,4,6 /proc/4460/task/4466/stat : 4466 (java) S 4458 4460 3937 0 -1 4202560 353 0 0 0 708 9 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211426703528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4467] ppid=4458 vsize=2966184 CPUtime=7.15 cores=0,2,4,6 /proc/4460/task/4467/stat : 4467 (java) S 4458 4460 3937 0 -1 4202560 348 0 0 0 705 10 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211425651752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4468] ppid=4458 vsize=2966184 CPUtime=7.61 cores=0,2,4,6 /proc/4460/task/4468/stat : 4468 (java) S 4458 4460 3937 0 -1 4202560 324 0 0 0 752 9 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211424598952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4460/tid=4469] ppid=4458 vsize=2966184 CPUtime=7.39 cores=0,2,4,6 /proc/4460/task/4469/stat : 4469 (java) S 4458 4460 3937 0 -1 4202560 331 0 0 0 730 9 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211423546152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4470] ppid=4458 vsize=2966184 CPUtime=6.64 cores=0,2,4,6 /proc/4460/task/4470/stat : 4470 (java) S 4458 4460 3937 0 -1 4202560 291 0 0 0 656 8 0 0 20 0 22 0 341174943 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211304524456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4471] ppid=4458 vsize=2966184 CPUtime=96.1 cores=0,2,4,6 /proc/4460/task/4471/stat : 4471 (java) S 4458 4460 3937 0 -1 4202560 158 0 0 0 9571 39 0 0 20 0 22 0 341174944 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211292326376 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4472] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4472/stat : 4472 (java) S 4458 4460 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211291272440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4473] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4473/stat : 4473 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174945 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211290219528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4474] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4474/stat : 4474 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140211289168016 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4460/tid=4475] ppid=4458 vsize=2966184 CPUtime=1.96 cores=0,2,4,6 /proc/4460/task/4475/stat : 4475 (java) S 4458 4460 3937 0 -1 4202560 13181 0 0 0 194 2 0 0 20 0 22 0 341174947 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210549550008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4476] ppid=4458 vsize=2966184 CPUtime=2.17 cores=0,2,4,6 /proc/4460/task/4476/stat : 4476 (java) S 4458 4460 3937 0 -1 4202560 10808 0 0 0 215 2 0 0 20 0 22 0 341174947 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210548497208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4477] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4477/stat : 4477 (java) S 4458 4460 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341174947 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210547444600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4478] ppid=4458 vsize=2966184 CPUtime=0.31 cores=0,2,4,6 /proc/4460/task/4478/stat : 4478 (java) S 4458 4460 3937 0 -1 4202560 54 0 0 0 13 18 0 0 20 0 22 0 341174947 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210546392008 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4460/tid=4481] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4481/stat : 4481 (java) S 4458 4460 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210543231912 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4482] ppid=4458 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/4460/task/4482/stat : 4482 (java) S 4458 4460 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341174999 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210542179112 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4485] ppid=4458 vsize=2966184 CPUtime=820.53 cores=0,2,4,6 /proc/4460/task/4485/stat : 4485 (java) R 4458 4460 3937 0 -1 4202560 415 0 0 0 82037 16 0 0 20 0 22 0 341175197 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210545336096 140211305450811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4460/tid=4486] ppid=4458 vsize=2966184 CPUtime=820.66 cores=0,2,4,6 /proc/4460/task/4486/stat : 4486 (java) R 4458 4460 3937 0 -1 4202560 557 0 0 0 82046 20 0 0 20 0 22 0 341175197 3037372416 259096 33554432000 1073741824 1073778376 140734866836768 140210544282184 140211305372900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 935.266 CPU time (s): 1800.64 CPU user time (s): 1798.71 CPU system time (s): 1.93171 CPU usage (%): 192.527 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.71 system time used= 1.93171 maximum resident set size= 1036504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32066 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47944 involuntary context switches= 108159 runsolver used 3.84941 second user time and 8.17476 second system time The end
Begin job on node120 at 2012-06-03 21:08:10 IDJOB=3735979 IDBENCH=25012 IDSOLVER=2324 FILE ID=node120/3735979-1338750490 RUNJOBID= node120-1338747803-3953 PBS_JOBID= 14636782 Free space on /tmp= 70776 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735979-1338750490/watcher-3735979-1338750490 -o /tmp/evaluation-result-3735979-1338750490/solver-3735979-1338750490 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735979-1338750490.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=362246112 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27423260 kB Buffers: 571396 kB Cached: 3127868 kB SwapCached: 1580 kB Active: 2526480 kB Inactive: 1991104 kB Active(anon): 810700 kB Inactive(anon): 9224 kB Active(file): 1715780 kB Inactive(file): 1981880 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67103516 kB Dirty: 1000 kB Writeback: 0 kB AnonPages: 822608 kB Mapped: 18996 kB Shmem: 32 kB Slab: 795180 kB SReclaimable: 239284 kB SUnreclaim: 555896 kB KernelStack: 1632 kB PageTables: 5848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1571016 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 770048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70764 MiB End job on node120 at 2012-06-03 21:23:47