Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | SAT (TO) | 23 | 1800.06 | 1796.32 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
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 | 650 |
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 | 681 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.24/0.20 c Pseudo Boolean Optimization 0.24/0.20 c --- Begin Solver configuration --- 0.24/0.20 c Stops conflict analysis at the first Unique Implication Point 0.24/0.20 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.24/0.20 c Learn all clauses as in MiniSAT 0.24/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.20 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.20 c Expensive reason simplification 0.24/0.20 c Armin Biere (Picosat) restarts strategy 0.24/0.20 c Glucose learned constraints deletion strategy 0.24/0.20 c timeout=2147483s 0.24/0.20 c DB Simplification allowed=false 0.24/0.20 c --- End Solver configuration --- 0.24/0.20 c solving HOME/instance-2658719-1276640284.opb 0.24/0.20 c reading problem ... 1.28/1.05 c ... done. Wall clock time 0.85s. 1.28/1.05 c #vars 6027 1.28/1.05 c #constraints 21278 1.28/1.05 c constraints type 1.28/1.05 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1.28/1.05 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.28/1.05 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 2.01/1.27 c SATISFIABLE 2.01/1.27 c OPTIMIZING... 2.01/1.27 c Got one! Elapsed wall clock time (in seconds):1.063 2.01/1.27 o 28 2.19/1.36 c Got one! Elapsed wall clock time (in seconds):1.157 2.19/1.36 o 27 2.99/1.76 c Got one! Elapsed wall clock time (in seconds):1.554 2.99/1.76 o 26 3.94/2.37 c Got one! Elapsed wall clock time (in seconds):2.171 3.94/2.37 o 25 4.84/3.22 c Got one! Elapsed wall clock time (in seconds):3.014 4.84/3.22 o 24 5.34/3.74 c cleaning 2497 clauses out of 5001 with flag 5001/5001 7.41/5.72 c cleaning 4244 clauses out of 8504 with flag 11001/11001 9.30/7.69 c cleaning 5620 clauses out of 11259 with flag 18000/18000 11.93/10.26 c cleaning 6807 clauses out of 13641 with flag 26002/26002 15.26/13.50 c cleaning 7899 clauses out of 15832 with flag 35000/35000 18.56/16.84 c cleaning 8951 clauses out of 17933 with flag 45000/45000 22.58/20.90 c cleaning 9973 clauses out of 19982 with flag 56000/56000 26.78/25.05 c cleaning 10987 clauses out of 22009 with flag 68000/68000 30.28/28.58 c cleaning 11996 clauses out of 24025 with flag 81003/81003 34.69/32.90 c cleaning 12996 clauses out of 26026 with flag 95000/95000 39.40/37.62 c cleaning 14002 clauses out of 28030 with flag 110000/110000 44.90/43.10 c cleaning 15000 clauses out of 30030 with flag 126002/126002 51.61/49.83 c cleaning 16000 clauses out of 32028 with flag 143000/143000 58.06/56.03 c cleaning 17004 clauses out of 34029 with flag 161001/161001 66.02/63.82 c cleaning 17995 clauses out of 36024 with flag 180000/180000 74.72/72.53 c cleaning 18999 clauses out of 38029 with flag 200000/200000 81.14/78.90 c cleaning 20000 clauses out of 40030 with flag 221000/221000 88.16/85.94 c cleaning 20999 clauses out of 42030 with flag 243000/243000 94.86/92.63 c cleaning 21501 clauses out of 43032 with flag 265001/265001 103.78/101.55 c cleaning 21737 clauses out of 43530 with flag 287000/287000 112.58/110.34 c cleaning 21872 clauses out of 43794 with flag 309001/309001 120.20/117.95 c cleaning 21941 clauses out of 43921 with flag 331000/331000 127.91/125.66 c cleaning 21970 clauses out of 43980 with flag 353000/353000 137.11/134.88 c cleaning 21988 clauses out of 44011 with flag 375001/375001 145.33/143.08 c cleaning 21998 clauses out of 44025 with flag 397003/397003 152.64/150.32 c cleaning 21996 clauses out of 44024 with flag 419000/419000 161.35/159.03 c cleaning 21981 clauses out of 44028 with flag 441000/441000 168.95/166.69 c cleaning 21999 clauses out of 44048 with flag 463001/463001 178.38/176.04 c cleaning 22001 clauses out of 44048 with flag 485000/485000 188.29/185.91 c cleaning 21998 clauses out of 44047 with flag 507000/507000 196.70/194.38 c cleaning 22005 clauses out of 44050 with flag 529001/529001 207.92/205.52 c cleaning 22005 clauses out of 44045 with flag 551001/551001 219.92/217.57 c cleaning 22001 clauses out of 44039 with flag 573000/573000 229.03/226.61 c Got one! Elapsed wall clock time (in seconds):226.403 229.03/226.61 o 23 231.26/228.84 c cleaning 21993 clauses out of 44039 with flag 595001/595001 240.46/238.06 c cleaning 22004 clauses out of 44045 with flag 617000/617000 248.07/245.70 c cleaning 21999 clauses out of 44041 with flag 639000/639000 255.48/253.01 c cleaning 22010 clauses out of 44044 with flag 661002/661002 262.39/259.94 c cleaning 21996 clauses out of 44032 with flag 683000/683000 271.00/268.59 c cleaning 21981 clauses out of 44036 with flag 705000/705000 279.51/277.00 c cleaning 22004 clauses out of 44055 with flag 727000/727000 288.22/285.78 c cleaning 22000 clauses out of 44051 with flag 749000/749000 296.43/293.99 c cleaning 22004 clauses out of 44052 with flag 771001/771001 304.33/301.83 c cleaning 22001 clauses out of 44047 with flag 793000/793000 313.04/310.51 c cleaning 22007 clauses out of 44046 with flag 815000/815000 323.15/320.64 c cleaning 21991 clauses out of 44040 with flag 837001/837001 332.26/329.76 c cleaning 21995 clauses out of 44049 with flag 859001/859001 342.86/340.35 c cleaning 21998 clauses out of 44053 with flag 881000/881000 351.38/348.86 c cleaning 21989 clauses out of 44055 with flag 903000/903000 359.00/356.44 c cleaning 22017 clauses out of 44067 with flag 925001/925001 370.10/367.59 c cleaning 22013 clauses out of 44049 with flag 947000/947000 378.50/375.93 c cleaning 22000 clauses out of 44036 with flag 969000/969000 387.11/384.58 c cleaning 22002 clauses out of 44036 with flag 991000/991000 394.34/391.77 c cleaning 22004 clauses out of 44036 with flag 1013002/1013002 401.64/399.02 c cleaning 22001 clauses out of 44030 with flag 1035000/1035000 409.54/406.97 c cleaning 21995 clauses out of 44029 with flag 1057000/1057000 417.46/414.83 c cleaning 21997 clauses out of 44034 with flag 1079000/1079000 430.96/428.37 c cleaning 21999 clauses out of 44039 with flag 1101002/1101002 443.96/441.39 c cleaning 22010 clauses out of 44039 with flag 1123001/1123001 456.48/453.89 c cleaning 21999 clauses out of 44030 with flag 1145002/1145002 470.08/467.43 c cleaning 22005 clauses out of 44036 with flag 1167007/1167007 480.29/477.68 c cleaning 21985 clauses out of 44024 with flag 1189000/1189000 488.70/486.09 c cleaning 21990 clauses out of 44039 with flag 1211000/1211000 498.82/496.15 c cleaning 21999 clauses out of 44050 with flag 1233001/1233001 509.14/506.49 c cleaning 21994 clauses out of 44050 with flag 1255000/1255000 519.16/516.45 c cleaning 22004 clauses out of 44056 with flag 1277000/1277000 526.58/523.83 c cleaning 22008 clauses out of 44052 with flag 1299000/1299000 533.89/531.10 c cleaning 22002 clauses out of 44046 with flag 1321002/1321002 542.32/539.58 c cleaning 21998 clauses out of 44042 with flag 1343000/1343000 552.53/549.73 c cleaning 21999 clauses out of 44044 with flag 1365000/1365000 560.95/558.11 c cleaning 22003 clauses out of 44045 with flag 1387000/1387000 572.15/569.39 c cleaning 22002 clauses out of 44043 with flag 1409001/1409001 578.97/576.15 c cleaning 22001 clauses out of 44041 with flag 1431001/1431001 585.68/582.82 c cleaning 22004 clauses out of 44040 with flag 1453001/1453001 594.29/591.43 c cleaning 21995 clauses out of 44036 with flag 1475001/1475001 606.40/603.53 c cleaning 21985 clauses out of 44046 with flag 1497006/1497006 617.92/615.08 c cleaning 21985 clauses out of 44057 with flag 1519002/1519002 625.54/622.61 c cleaning 22008 clauses out of 44071 with flag 1541001/1541001 632.74/629.85 c cleaning 22002 clauses out of 44062 with flag 1563000/1563000 640.35/637.50 c cleaning 22005 clauses out of 44060 with flag 1585000/1585000 647.76/644.81 c cleaning 22002 clauses out of 44055 with flag 1607000/1607000 655.86/652.99 c cleaning 22008 clauses out of 44053 with flag 1629000/1629000 667.17/664.22 c cleaning 21995 clauses out of 44046 with flag 1651001/1651001 676.78/673.86 c cleaning 21994 clauses out of 44053 with flag 1673003/1673003 687.21/684.28 c cleaning 22006 clauses out of 44057 with flag 1695001/1695001 697.23/694.21 c cleaning 22008 clauses out of 44051 with flag 1717001/1717001 706.84/703.82 c cleaning 22005 clauses out of 44042 with flag 1739000/1739000 716.95/713.99 c cleaning 22000 clauses out of 44038 with flag 1761001/1761001 724.06/721.01 c cleaning 21985 clauses out of 44038 with flag 1783001/1783001 730.28/727.26 c cleaning 21990 clauses out of 44053 with flag 1805001/1805001 736.47/733.46 c cleaning 21989 clauses out of 44062 with flag 1827000/1827000 742.68/739.67 c cleaning 21993 clauses out of 44074 with flag 1849001/1849001 749.29/746.26 c cleaning 22000 clauses out of 44080 with flag 1871000/1871000 756.00/752.98 c cleaning 22003 clauses out of 44080 with flag 1893000/1893000 763.51/760.45 c cleaning 21996 clauses out of 44077 with flag 1915000/1915000 770.42/767.35 c cleaning 22006 clauses out of 44083 with flag 1937002/1937002 776.54/773.44 c cleaning 22002 clauses out of 44077 with flag 1959002/1959002 782.84/779.77 c cleaning 21999 clauses out of 44075 with flag 1981002/1981002 789.24/786.14 c cleaning 22017 clauses out of 44074 with flag 2003000/2003000 796.05/792.93 c cleaning 21997 clauses out of 44057 with flag 2025000/2025000 805.46/802.32 c cleaning 22009 clauses out of 44061 with flag 2047001/2047001 811.78/808.62 c cleaning 22001 clauses out of 44051 with flag 2069000/2069000 821.98/818.83 c cleaning 22003 clauses out of 44050 with flag 2091000/2091000 835.19/832.02 c cleaning 22007 clauses out of 44047 with flag 2113000/2113000 845.30/842.14 c cleaning 22008 clauses out of 44040 with flag 2135000/2135000 855.01/851.83 c cleaning 21995 clauses out of 44032 with flag 2157000/2157000 865.01/861.80 c cleaning 22002 clauses out of 44038 with flag 2179001/2179001 872.42/869.26 c cleaning 22005 clauses out of 44042 with flag 2201007/2201007 879.03/875.83 c cleaning 21994 clauses out of 44030 with flag 2223000/2223000 886.74/883.57 c cleaning 22004 clauses out of 44036 with flag 2245000/2245000 894.27/891.10 c cleaning 22001 clauses out of 44032 with flag 2267000/2267000 901.66/898.42 c cleaning 22001 clauses out of 44033 with flag 2289002/2289002 912.96/909.75 c cleaning 22002 clauses out of 44032 with flag 2311002/2311002 924.15/920.97 c cleaning 21991 clauses out of 44028 with flag 2333000/2333000 935.07/931.83 c cleaning 22001 clauses out of 44037 with flag 2355000/2355000 946.86/943.61 c cleaning 21984 clauses out of 44036 with flag 2377000/2377000 957.37/954.15 c cleaning 22010 clauses out of 44052 with flag 2399000/2399000 967.87/964.65 c cleaning 22003 clauses out of 44042 with flag 2421000/2421000 976.48/973.29 c cleaning 21994 clauses out of 44040 with flag 2443001/2443001 982.30/979.04 c cleaning 21991 clauses out of 44048 with flag 2465003/2465003 988.79/985.54 c cleaning 21998 clauses out of 44055 with flag 2487001/2487001 996.09/992.81 c cleaning 21999 clauses out of 44057 with flag 2509001/2509001 1003.39/1000.15 c cleaning 21996 clauses out of 44057 with flag 2531000/2531000 1011.70/1008.48 c cleaning 22008 clauses out of 44061 with flag 2553000/2553000 1020.91/1017.63 c cleaning 22006 clauses out of 44056 with flag 2575003/2575003 1029.52/1026.27 c cleaning 21996 clauses out of 44047 with flag 2597000/2597000 1038.22/1034.97 c cleaning 22009 clauses out of 44053 with flag 2619002/2619002 1045.53/1042.23 c cleaning 21987 clauses out of 44042 with flag 2641000/2641000 1052.93/1049.61 c cleaning 22003 clauses out of 44057 with flag 2663002/2663002 1063.24/1059.97 c cleaning 21991 clauses out of 44052 with flag 2685000/2685000 1073.15/1069.83 c cleaning 22000 clauses out of 44062 with flag 2707001/2707001 1082.76/1079.43 c cleaning 21988 clauses out of 44062 with flag 2729001/2729001 1092.67/1089.35 c cleaning 21986 clauses out of 44075 with flag 2751002/2751002 1102.98/1099.64 c cleaning 21990 clauses out of 44087 with flag 2773000/2773000 1112.58/1109.23 c cleaning 22007 clauses out of 44099 with flag 2795002/2795002 1123.20/1119.90 c cleaning 21986 clauses out of 44090 with flag 2817000/2817000 1134.60/1131.21 c cleaning 22011 clauses out of 44104 with flag 2839000/2839000 1145.60/1142.29 c cleaning 22006 clauses out of 44093 with flag 2861000/2861000 1156.81/1153.41 c cleaning 21992 clauses out of 44087 with flag 2883000/2883000 1168.22/1164.80 c cleaning 22007 clauses out of 44097 with flag 2905002/2905002 1179.22/1175.81 c cleaning 21992 clauses out of 44088 with flag 2927000/2927000 1190.23/1186.83 c cleaning 22012 clauses out of 44098 with flag 2949002/2949002 1201.64/1198.26 c cleaning 22003 clauses out of 44084 with flag 2971000/2971000 1212.24/1208.82 c cleaning 22017 clauses out of 44081 with flag 2993000/2993000 1222.35/1218.98 c cleaning 22012 clauses out of 44066 with flag 3015002/3015002 1231.75/1228.40 c cleaning 22004 clauses out of 44055 with flag 3037003/3037003 1241.07/1237.69 c cleaning 22000 clauses out of 44048 with flag 3059000/3059000 1249.47/1246.08 c cleaning 21992 clauses out of 44049 with flag 3081001/3081001 1259.07/1255.68 c cleaning 21993 clauses out of 44057 with flag 3103001/3103001 1268.28/1264.80 c cleaning 22024 clauses out of 44063 with flag 3125000/3125000 1277.09/1273.64 c cleaning 22006 clauses out of 44039 with flag 3147000/3147000 1286.61/1283.11 c cleaning 22011 clauses out of 44037 with flag 3169004/3169004 1296.41/1292.98 c cleaning 21990 clauses out of 44022 with flag 3191000/3191000 1305.22/1301.71 c cleaning 21993 clauses out of 44032 with flag 3213000/3213000 1313.53/1310.10 c cleaning 21994 clauses out of 44039 with flag 3235000/3235000 1322.84/1319.34 c cleaning 22006 clauses out of 44046 with flag 3257001/3257001 1332.05/1328.59 c cleaning 21993 clauses out of 44040 with flag 3279001/3279001 1341.06/1337.55 c cleaning 22006 clauses out of 44047 with flag 3301001/3301001 1349.56/1346.06 c cleaning 21999 clauses out of 44040 with flag 3323000/3323000 1357.57/1354.07 c cleaning 22001 clauses out of 44044 with flag 3345003/3345003 1366.48/1362.95 c cleaning 21997 clauses out of 44041 with flag 3367001/3367001 1375.58/1372.06 c cleaning 22006 clauses out of 44043 with flag 3389000/3389000 1383.99/1380.49 c cleaning 21998 clauses out of 44037 with flag 3411000/3411000 1392.49/1389.00 c cleaning 21988 clauses out of 44040 with flag 3433001/3433001 1402.49/1398.90 c cleaning 21998 clauses out of 44052 with flag 3455001/3455001 1412.20/1408.67 c cleaning 21994 clauses out of 44053 with flag 3477000/3477000 1421.80/1418.26 c cleaning 22007 clauses out of 44060 with flag 3499001/3499001 1432.41/1428.84 c cleaning 22002 clauses out of 44052 with flag 3521000/3521000 1442.31/1438.72 c cleaning 22007 clauses out of 44051 with flag 3543001/3543001 1452.63/1449.06 c cleaning 21998 clauses out of 44044 with flag 3565001/3565001 1461.73/1458.15 c cleaning 21996 clauses out of 44045 with flag 3587000/3587000 1470.23/1466.66 c cleaning 22001 clauses out of 44049 with flag 3609000/3609000 1480.96/1477.33 c cleaning 22001 clauses out of 44050 with flag 3631002/3631002 1491.17/1487.51 c cleaning 22000 clauses out of 44048 with flag 3653001/3653001 1497.97/1494.37 c cleaning 22006 clauses out of 44047 with flag 3675000/3675000 1505.19/1501.52 c cleaning 22004 clauses out of 44041 with flag 3697000/3697000 1512.29/1508.70 c cleaning 22004 clauses out of 44038 with flag 3719001/3719001 1519.50/1515.81 c cleaning 22007 clauses out of 44034 with flag 3741001/3741001 1526.21/1522.57 c cleaning 22001 clauses out of 44026 with flag 3763000/3763000 1532.81/1529.13 c cleaning 22000 clauses out of 44027 with flag 3785002/3785002 1539.10/1535.41 c cleaning 22002 clauses out of 44027 with flag 3807002/3807002 1546.11/1542.47 c cleaning 22002 clauses out of 44024 with flag 3829001/3829001 1552.91/1549.28 c cleaning 22000 clauses out of 44021 with flag 3851000/3851000 1559.52/1555.82 c cleaning 21988 clauses out of 44021 with flag 3873000/3873000 1566.02/1562.36 c cleaning 22000 clauses out of 44033 with flag 3895000/3895000 1572.63/1568.93 c cleaning 21993 clauses out of 44034 with flag 3917001/3917001 1579.64/1575.91 c cleaning 22000 clauses out of 44041 with flag 3939001/3939001 1586.15/1582.41 c cleaning 22004 clauses out of 44040 with flag 3961000/3961000 1592.45/1588.77 c cleaning 22004 clauses out of 44036 with flag 3983000/3983000 1601.75/1598.05 c cleaning 21995 clauses out of 44032 with flag 4005000/4005000 1612.56/1608.83 c cleaning 22000 clauses out of 44038 with flag 4027001/4027001 1622.37/1618.63 c cleaning 22003 clauses out of 44037 with flag 4049000/4049000 1631.98/1628.28 c cleaning 21998 clauses out of 44036 with flag 4071002/4071002 1643.28/1639.58 c cleaning 22000 clauses out of 44038 with flag 4093002/4093002 1653.48/1649.76 c cleaning 21992 clauses out of 44036 with flag 4115000/4115000 1663.79/1660.06 c cleaning 22002 clauses out of 44044 with flag 4137000/4137000 1674.89/1671.15 c cleaning 21989 clauses out of 44042 with flag 4159000/4159000 1684.79/1681.07 c cleaning 22013 clauses out of 44055 with flag 4181002/4181002 1695.29/1691.58 c cleaning 22005 clauses out of 44040 with flag 4203000/4203000 1706.81/1703.09 c cleaning 22005 clauses out of 44036 with flag 4225001/4225001 1717.72/1713.91 c cleaning 22004 clauses out of 44030 with flag 4247000/4247000 1728.12/1724.39 c cleaning 22000 clauses out of 44026 with flag 4269000/4269000 1738.02/1734.27 c cleaning 21991 clauses out of 44026 with flag 4291000/4291000 1747.33/1743.54 c cleaning 21995 clauses out of 44035 with flag 4313000/4313000 1758.52/1754.72 c cleaning 22008 clauses out of 44040 with flag 4335000/4335000 1768.23/1764.49 c cleaning 22006 clauses out of 44032 with flag 4357000/4357000 1778.53/1774.74 c cleaning 22005 clauses out of 44026 with flag 4379000/4379000 1788.83/1785.03 c cleaning 21994 clauses out of 44021 with flag 4401000/4401000 1798.73/1794.95 c cleaning 22003 clauses out of 44029 with flag 4423002/4423002 1800.06/1796.21 c starts : 259 1800.06/1796.21 c conflicts : 4426168 1800.06/1796.21 c decisions : 15909781 1800.06/1796.21 c propagations : 1644480576 1800.06/1796.21 c inspects : 5250187732 1800.06/1796.21 c learnt literals : 0 1800.06/1796.21 c learnt binary clauses : 3 1800.06/1796.21 c learnt ternary clauses : 2 1800.06/1796.21 c learnt clauses : 4426169 1800.06/1796.21 c ignored clauses : 0 1800.06/1796.21 c root simplifications : 0 1800.06/1796.21 c removed literals (reason simplification) : 164132241 1800.06/1796.21 c reason swapping (by a shorter reason) : 0 1800.06/1796.21 c Calls to reduceDB : 208 1800.06/1796.21 c number of reductions to clauses (during analyze) : 0 1800.06/1796.21 c number of learned constraints concerned by reduction : 0 1800.06/1796.21 c number of learning phase by resolution : 0 1800.06/1796.21 c number of learning phase by cutting planes : 0 1800.06/1796.21 c speed (assignments/second) : 1047702.5242624428 1800.06/1796.21 c non guided choices 29439 1800.06/1796.24 c learnt constraints type 1800.06/1796.24 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 25225 1800.06/1796.24 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3 1800.06/1796.24 c constraints type 1800.06/1796.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1800.06/1796.24 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.06/1796.24 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1800.06/1796.24 s SATISFIABLE 1800.06/1796.27 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 1800.06/1796.29 c objective function=23 1800.06/1796.29 c Total wall clock time (in seconds): 1796.083
OK 23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658719-1276640284/watcher-2658719-1276640284 -o /tmp/evaluation-result-2658719-1276640284/solver-2658719-1276640284 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658719-1276640284.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.06 3/105 11754 /proc/meminfo: memFree=1788204/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1832 CPUtime=0 /proc/11754/stat : 11754 (java6) S 11752 11754 11143 0 -1 4194304 244 0 0 0 0 0 0 0 25 0 1 0 5322259 1875968 148 1992294400 134512640 134550932 4291960160 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699330238 0 0 17 1 0 0 0 /proc/11754/statm: 459 154 116 10 0 64 0 [startup+0.071152 s] /proc/loadavg: 1.00 1.00 1.06 3/105 11754 /proc/meminfo: memFree=1788204/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1521796 CPUtime=0.06 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 3710 0 1 0 4 2 0 0 25 0 7 0 5322259 1558319104 3152 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 380449 3152 1034 10 0 377759 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1521796 [startup+0.101149 s] /proc/loadavg: 1.00 1.00 1.06 3/105 11754 /proc/meminfo: memFree=1788204/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1524184 CPUtime=0.08 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 3963 0 1 0 6 2 0 0 25 0 12 0 5322259 1560764416 3403 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 381046 3403 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.301178 s] /proc/loadavg: 1.00 1.00 1.06 3/105 11754 /proc/meminfo: memFree=1788204/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1526380 CPUtime=0.36 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 5367 0 1 0 33 3 0 0 25 0 12 0 5322259 1563013120 4805 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 381595 4805 1361 10 0 378897 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1526380 [startup+0.754741 s] /proc/loadavg: 1.00 1.00 1.06 3/105 11754 /proc/meminfo: memFree=1788204/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1530920 CPUtime=1.22 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 9137 0 1 0 117 5 0 0 25 0 12 0 5322259 1567662080 8257 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382730 8258 1402 10 0 380032 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 1530920 [startup+1.5023 s] /proc/loadavg: 1.00 1.00 1.06 6/117 11766 /proc/meminfo: memFree=1735596/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531504 CPUtime=2.59 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 16088 0 1 0 251 8 0 0 25 0 13 0 5322259 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382876 15207 1420 10 0 380178 0 [pid=11754/tid=11756] ppid=11752 vsize=1531504 CPUtime=1.42 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 12815 0 1 0 135 7 0 0 20 0 13 0 5322260 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4109014374 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 13 0 5322262 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322262 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 5322264 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11760/stat : 11760 (java) S 11752 11754 11143 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 13 0 5322264 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11761] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 5322264 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531504 CPUtime=0.18 /proc/11754/task/11763/stat : 11763 (java) R 11752 11754 11143 0 -1 4202560 495 0 0 0 18 0 0 0 24 0 13 0 5322268 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 105874240 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531504 CPUtime=0.96 /proc/11754/task/11764/stat : 11764 (java) R 11752 11754 11143 0 -1 4202560 1709 0 0 0 96 0 0 0 16 0 13 0 5322268 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 105577615 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5322268 1568260096 15207 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 1531504 [startup+3.10245 s] /proc/loadavg: 1.16 1.03 1.07 2/118 11767 /proc/meminfo: memFree=1730380/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531504 CPUtime=4.74 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 17188 0 1 0 465 9 0 0 25 0 13 0 5322259 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382876 16306 1431 10 0 380178 0 [pid=11754/tid=11756] ppid=11752 vsize=1531504 CPUtime=3.01 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 13866 0 1 0 294 7 0 0 25 0 13 0 5322260 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4109580187 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 13 0 5322262 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322262 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 5322264 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11760/stat : 11760 (java) S 11752 11754 11143 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 13 0 5322264 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11761] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 5322264 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531504 CPUtime=0.26 /proc/11754/task/11763/stat : 11763 (java) S 11752 11754 11143 0 -1 4202560 509 0 0 0 26 0 0 0 21 0 13 0 5322268 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531504 CPUtime=1.43 /proc/11754/task/11764/stat : 11764 (java) S 11752 11754 11143 0 -1 4202560 1744 0 0 0 143 0 0 0 15 0 13 0 5322268 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5322268 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11767] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11767/stat : 11767 (java) S 11752 11754 11143 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 5322371 1568260096 16306 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.74 Current children cumulated vsize (KiB) 1531504 [startup+6.30177 s] /proc/loadavg: 1.16 1.03 1.07 2/118 11767 /proc/meminfo: memFree=1718848/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531504 CPUtime=8.01 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 20382 0 1 0 791 10 0 0 25 0 13 0 5322259 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382876 19478 1445 10 0 380178 0 [pid=11754/tid=11756] ppid=11752 vsize=1531504 CPUtime=6.06 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 14425 0 1 0 598 8 0 0 25 0 13 0 5322260 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4109600559 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531504 CPUtime=0.01 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 846 0 0 0 1 0 0 0 18 0 13 0 5322262 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531504 CPUtime=0.02 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 756 0 0 0 2 0 0 0 15 0 13 0 5322262 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531504 CPUtime=0.06 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 1023 0 0 0 6 0 0 0 16 0 13 0 5322264 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11760/stat : 11760 (java) S 11752 11754 11143 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 5322264 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11761] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 5322264 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531504 CPUtime=0.3 /proc/11754/task/11763/stat : 11763 (java) S 11752 11754 11143 0 -1 4202560 514 0 0 0 30 0 0 0 16 0 13 0 5322268 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531504 CPUtime=1.51 /proc/11754/task/11764/stat : 11764 (java) S 11752 11754 11143 0 -1 4202560 1751 0 0 0 151 0 0 0 15 0 13 0 5322268 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5322268 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11767] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11767/stat : 11767 (java) S 11752 11754 11143 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 5322371 1568260096 19478 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.01 Current children cumulated vsize (KiB) 1531504 [startup+12.7024 s] /proc/loadavg: 1.13 1.03 1.07 2/118 11767 /proc/meminfo: memFree=1712400/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531504 CPUtime=14.46 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 21033 0 1 0 1435 11 0 0 25 0 13 0 5322259 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382876 20127 1445 10 0 380178 0 [pid=11754/tid=11756] ppid=11752 vsize=1531504 CPUtime=12.32 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 14427 0 1 0 1224 8 0 0 25 0 13 0 5322260 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4109583740 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531504 CPUtime=0.03 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 1261 0 0 0 3 0 0 0 16 0 13 0 5322262 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531504 CPUtime=0.02 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 839 0 0 0 2 0 0 0 15 0 13 0 5322262 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531504 CPUtime=0.15 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 1166 0 0 0 15 0 0 0 15 0 13 0 5322264 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11760/stat : 11760 (java) S 11752 11754 11143 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 5322264 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11761] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 5322264 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531504 CPUtime=0.35 /proc/11754/task/11763/stat : 11763 (java) S 11752 11754 11143 0 -1 4202560 520 0 0 0 35 0 0 0 15 0 13 0 5322268 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531504 CPUtime=1.53 /proc/11754/task/11764/stat : 11764 (java) S 11752 11754 11143 0 -1 4202560 1753 0 0 0 153 0 0 0 16 0 13 0 5322268 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5322268 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11767] ppid=11752 vsize=1531504 CPUtime=0 /proc/11754/task/11767/stat : 11767 (java) S 11752 11754 11143 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 5322371 1568260096 20127 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.46 Current children cumulated vsize (KiB) 1531504 [startup+25.5017 s] /proc/loadavg: 1.11 1.03 1.07 2/118 11767 /proc/meminfo: memFree=1706820/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531504 CPUtime=27.28 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 22444 0 1 0 2716 12 0 0 25 0 13 0 5322259 1568260096 21534 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382876 21534 1445 10 0 380178 0 [pid=11754/tid=11756] ppid=11752 vsize=1531504 CPUtime=24.91 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 14431 0 1 0 2483 8 0 0 25 0 13 0 5322260 1568260096 21534 1992294400 134512640 134550932 4294285632 18446744073709551615 4109602031 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531504 CPUtime=0.06 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 1734 0 0 0 6 0 0 0 16 0 13 0 5322262 1568260096 21534 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531504 CPUtime=0.05 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 1317 0 0 0 5 0 0 0 15 0 13 0 5322262 1568260096 21534 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531504 CPUtime=0.32 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 1622 0 0 0 32 0 0 0 16 0 13 0 5322264 1568260096 21534 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531504 CPUtime=0 ################ # More data... # ################ [pid=11754/tid=11761] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 5322264 1568256000 33380 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33380 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531500 CPUtime=0.79 /proc/11754/task/11763/stat : 11763 (java) S 11752 11754 11143 0 -1 4202560 2362 0 0 0 79 0 0 0 15 0 13 0 5322268 1568256000 33380 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531500 CPUtime=1.56 /proc/11754/task/11764/stat : 11764 (java) S 11752 11754 11143 0 -1 4202560 1753 0 0 0 156 0 0 0 15 0 13 0 5322268 1568256000 33380 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33380 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 13 0 5322268 1568256000 33380 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11767] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11767/stat : 11767 (java) S 11752 11754 11143 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 5322371 1568256000 33380 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1726.12 Current children cumulated vsize (KiB) 1531500 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/118 11818 /proc/meminfo: memFree=1656104/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531500 CPUtime=1786.13 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 37787 0 1 0 178579 34 0 0 25 0 13 0 5322259 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382875 33424 1445 10 0 380177 0 [pid=11754/tid=11756] ppid=11752 vsize=1531500 CPUtime=1764.99 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 14631 0 1 0 176486 13 0 0 25 0 13 0 5322260 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4109600295 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531500 CPUtime=2.58 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 6675 0 0 0 251 7 0 0 16 0 13 0 5322262 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531500 CPUtime=2.63 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 6612 0 0 0 255 8 0 0 16 0 13 0 5322262 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531500 CPUtime=13.52 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 4585 0 0 0 1349 3 0 0 15 0 13 0 5322264 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11760/stat : 11760 (java) S 11752 11754 11143 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 5322264 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11761] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 5322264 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531500 CPUtime=0.79 /proc/11754/task/11763/stat : 11763 (java) S 11752 11754 11143 0 -1 4202560 2362 0 0 0 79 0 0 0 15 0 13 0 5322268 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531500 CPUtime=1.56 /proc/11754/task/11764/stat : 11764 (java) S 11752 11754 11143 0 -1 4202560 1753 0 0 0 156 0 0 0 15 0 13 0 5322268 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 5322268 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11767] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11767/stat : 11767 (java) S 11752 11754 11143 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 5322371 1568256000 33424 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1786.13 Current children cumulated vsize (KiB) 1531500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.2 s] /proc/loadavg: 1.00 1.00 1.00 2/118 11818 /proc/meminfo: memFree=1656104/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531500 CPUtime=1800.06 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 37793 0 1 0 179971 35 0 0 25 0 13 0 5322259 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382875 33426 1445 10 0 380177 0 [pid=11754/tid=11756] ppid=11752 vsize=1531500 CPUtime=1778.71 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 14633 0 1 0 177858 13 0 0 25 0 13 0 5322260 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4109622085 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531500 CPUtime=2.6 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 6675 0 0 0 253 7 0 0 15 0 13 0 5322262 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531500 CPUtime=2.65 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 6612 0 0 0 257 8 0 0 16 0 13 0 5322262 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531500 CPUtime=13.68 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 4589 0 0 0 1365 3 0 0 15 0 13 0 5322264 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11760/stat : 11760 (java) S 11752 11754 11143 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 5322264 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11761] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 5322264 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531500 CPUtime=0.79 /proc/11754/task/11763/stat : 11763 (java) S 11752 11754 11143 0 -1 4202560 2362 0 0 0 79 0 0 0 15 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531500 CPUtime=1.56 /proc/11754/task/11764/stat : 11764 (java) S 11752 11754 11143 0 -1 4202560 1753 0 0 0 156 0 0 0 15 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11767] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11767/stat : 11767 (java) S 11752 11754 11143 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 5322371 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1531500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.06 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.06 s) to the 'lost time'. [startup+1796.2 s] /proc/loadavg: 1.00 1.00 1.00 2/118 11818 /proc/meminfo: memFree=1656104/2059040 swapFree=4164948/4192956 [pid=11754] ppid=11752 vsize=1531500 CPUtime=1800.06 /proc/11754/stat : 11754 (java) S 11752 11754 11143 0 -1 4202496 37793 0 1 0 179971 35 0 0 25 0 13 0 5322259 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11754/statm: 382875 33426 1445 10 0 380177 0 [pid=11754/tid=11756] ppid=11752 vsize=1531500 CPUtime=1778.71 /proc/11754/task/11756/stat : 11756 (java) R 11752 11754 11143 0 -1 4202560 14633 0 1 0 177858 13 0 0 25 0 13 0 5322260 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4109622085 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11754/tid=11757] ppid=11752 vsize=1531500 CPUtime=2.6 /proc/11754/task/11757/stat : 11757 (java) S 11752 11754 11143 0 -1 4202560 6675 0 0 0 253 7 0 0 15 0 13 0 5322262 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11758] ppid=11752 vsize=1531500 CPUtime=2.65 /proc/11754/task/11758/stat : 11758 (java) S 11752 11754 11143 0 -1 4202560 6612 0 0 0 257 8 0 0 16 0 13 0 5322262 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11759] ppid=11752 vsize=1531500 CPUtime=13.68 /proc/11754/task/11759/stat : 11759 (java) S 11752 11754 11143 0 -1 4202560 4589 0 0 0 1365 3 0 0 15 0 13 0 5322264 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 0 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11760] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11760/stat : 11760 (java) S 11752 11754 11143 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 5322264 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11761] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11761/stat : 11761 (java) S 11752 11754 11143 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 5322264 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11762] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11762/stat : 11762 (java) S 11752 11754 11143 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11763] ppid=11752 vsize=1531500 CPUtime=0.79 /proc/11754/task/11763/stat : 11763 (java) S 11752 11754 11143 0 -1 4202560 2362 0 0 0 79 0 0 0 15 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 [pid=11754/tid=11764] ppid=11752 vsize=1531500 CPUtime=1.56 /proc/11754/task/11764/stat : 11764 (java) S 11752 11754 11143 0 -1 4202560 1753 0 0 0 156 0 0 0 15 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11765] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11765/stat : 11765 (java) S 11752 11754 11143 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11766] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11766/stat : 11766 (java) S 11752 11754 11143 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 5322268 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 0 0 0 0 [pid=11754/tid=11767] ppid=11752 vsize=1531500 CPUtime=0 /proc/11754/task/11767/stat : 11767 (java) S 11752 11754 11143 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 5322371 1568256000 33426 1992294400 134512640 134550932 4294285632 18446744073709551615 4294960144 0 4 0 16800975 18446604437816646336 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1531500 [startup+1796.32 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11821 /proc/meminfo: memFree=1781120/2059040 swapFree=4164948/4192956 [pid=11754] ppid=-1 vsize=0 CPUtime=0 /proc/11754/stat : -- couldn't open stat file --/proc/11754/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1796.32 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11821 /proc/meminfo: memFree=1781120/2059040 swapFree=4164948/4192956 [pid=11754] ppid=-1 vsize=0 CPUtime=0 /proc/11754/stat : -- couldn't open stat file --/proc/11754/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11754 and gives # childrusage.ru_utime.tv_sec=1799 # childrusage.ru_utime.tv_usec=878376 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=367944 # CPU time returned by wait4() is 1800.25 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.06 # lost CPU user time (s): 1799.71 # lost CPU system time (s): 0.35 Real time (s): 1796.32 CPU time (s): 1800.06 CPU user time (s): 1799.71 CPU system time (s): 0.35 CPU usage (%): 100.208 Max. virtual memory (cumulated for all children) (KiB): 1537604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.367944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37814 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38926 involuntary context switches= 16801 runsolver used 3.77043 second user time and 9.39557 second system time The end
Begin job on node084 at 2010-06-16 00:18:04 IDJOB=2658719 IDBENCH=25015 IDSOLVER=1164 FILE ID=node084/2658719-1276640284 PBS_JOBID= 11172363 Free space on /tmp= 62512 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658719-1276640284/watcher-2658719-1276640284 -o /tmp/evaluation-result-2658719-1276640284/solver-2658719-1276640284 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658719-1276640284.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=951664821 node084.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.229 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.229 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1788600 kB Buffers: 59244 kB Cached: 113324 kB SwapCached: 1440 kB Active: 88496 kB Inactive: 117616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1788600 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 988 kB Writeback: 0 kB AnonPages: 32220 kB Mapped: 15088 kB Slab: 42684 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179904 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node084 at 2010-06-16 00:48:02