Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 20 | 1800.95 | 954.917 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
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 | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
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.v20100531 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.25/0.21 c Pseudo Boolean Optimization 0.25/0.21 c ManyCore solver with 2 solvers running in parallel 0.25/0.21 c --- Begin Solver configuration --- 0.25/0.21 c Stops conflict analysis at the first Unique Implication Point 0.25/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@4413ee 0.25/0.21 c Learn all clauses as in MiniSAT 0.25/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.25/0.21 c Expensive reason simplification 0.25/0.21 c Armin Biere (Picosat) restarts strategy 0.25/0.21 c Glucose learned constraints deletion strategy 0.25/0.21 c timeout=2147483s 0.25/0.21 c DB Simplification allowed=false 0.25/0.21 c --- End Solver configuration --- 0.25/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.25/0.21 c --- Begin Solver configuration --- 0.25/0.21 c Stops conflict analysis at the first Unique Implication Point 0.25/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1cb25f1 0.25/0.21 c Learn all clauses as in MiniSAT 0.25/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.25/0.21 c No reason simplification 0.25/0.21 c Armin Biere (Picosat) restarts strategy 0.25/0.21 c Glucose learned constraints deletion strategy 0.25/0.21 c timeout=2147483s 0.25/0.21 c DB Simplification allowed=false 0.25/0.21 c --- End Solver configuration --- 0.25/0.21 0.25/0.21 c solving HOME/instance-2662080-1276640914.opb 0.25/0.21 c reading problem ... 2.52/1.44 c ... done. Wall clock time 1.221s. 2.52/1.44 c #vars 4318 2.52/1.44 c #constraints 15120 2.52/1.44 c constraints type 2.52/1.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827 2.52/1.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 2.52/1.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287 2.52/1.44 c constraints type 2.52/1.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287 2.52/1.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827 2.52/1.44 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 2.92/1.63 c And the winner is Resolution 3.46/2.49 c SATISFIABLE 3.46/2.49 c OPTIMIZING... 3.46/2.49 c Got one! Elapsed wall clock time (in seconds):2.272 3.46/2.49 o 24 6.87/4.27 c And the winner is Resolution 7.02/4.51 c Got one! Elapsed wall clock time (in seconds):4.292 7.02/4.51 o 23 7.60/4.85 c cleaning 2494 clauses out of 5001 with flag 5001/5001 10.73/6.46 c cleaning 4243 clauses out of 8506 with flag 11000/11000 11.87/7.08 c And the winner is Resolution 12.05/7.54 c Got one! Elapsed wall clock time (in seconds):7.322 12.05/7.54 o 22 14.57/8.87 c cleaning 5619 clauses out of 11264 with flag 18001/18001 18.46/10.89 c cleaning 6812 clauses out of 13644 with flag 26000/26000 23.54/13.44 c cleaning 7913 clauses out of 15835 with flag 35003/35003 29.01/16.26 c cleaning 8945 clauses out of 17919 with flag 45000/45000 35.87/19.73 c cleaning 9977 clauses out of 19974 with flag 56000/56000 42.12/22.98 c cleaning 10989 clauses out of 21997 with flag 68000/68000 48.35/26.19 c cleaning 12001 clauses out of 24009 with flag 81001/81001 56.17/30.15 c cleaning 12993 clauses out of 26007 with flag 95000/95000 66.18/35.25 c cleaning 13994 clauses out of 28016 with flag 110002/110002 76.55/40.51 c cleaning 15003 clauses out of 30022 with flag 126002/126002 86.07/45.42 c cleaning 15493 clauses out of 31018 with flag 142001/142001 94.26/49.61 c cleaning 15751 clauses out of 31525 with flag 158001/158001 104.03/54.65 c cleaning 15883 clauses out of 31778 with flag 174005/174005 112.39/58.95 c cleaning 15932 clauses out of 31891 with flag 190001/190001 122.88/64.35 c cleaning 15975 clauses out of 31960 with flag 206002/206002 132.03/69.04 c cleaning 15985 clauses out of 31983 with flag 222000/222000 141.36/73.88 c cleaning 15991 clauses out of 32001 with flag 238003/238003 151.69/79.18 c cleaning 15993 clauses out of 32008 with flag 254001/254001 162.33/84.69 c cleaning 16005 clauses out of 32019 with flag 270005/270005 173.22/90.22 c cleaning 15991 clauses out of 32011 with flag 286002/286002 182.08/94.86 c cleaning 16003 clauses out of 32018 with flag 302000/302000 183.46/95.62 c And the winner is CuttingPlanes 183.49/96.11 c Got one! Elapsed wall clock time (in seconds):95.897 183.49/96.11 o 21 192.98/100.92 c cleaning 15993 clauses out of 32016 with flag 318001/318001 205.15/107.29 c cleaning 16003 clauses out of 32022 with flag 334000/334000 224.13/116.98 c cleaning 15998 clauses out of 32019 with flag 350000/350000 241.12/125.64 c cleaning 15997 clauses out of 32024 with flag 366003/366003 255.91/133.26 c cleaning 16007 clauses out of 32025 with flag 382001/382001 266.25/138.66 c cleaning 15999 clauses out of 32018 with flag 398001/398001 279.62/145.56 c cleaning 16000 clauses out of 32018 with flag 414000/414000 287.86/149.81 c cleaning 15999 clauses out of 32018 with flag 430000/430000 300.26/156.23 c cleaning 15999 clauses out of 32021 with flag 446002/446002 313.32/163.03 c And the winner is CuttingPlanes 313.39/163.15 c Got one! Elapsed wall clock time (in seconds):162.937 313.39/163.15 o 20 314.48/163.78 c cleaning 16002 clauses out of 32022 with flag 462002/462002 325.28/169.37 c cleaning 15999 clauses out of 32018 with flag 478000/478000 336.84/175.37 c cleaning 15996 clauses out of 32020 with flag 494001/494001 350.18/182.27 c cleaning 16001 clauses out of 32023 with flag 510000/510000 367.18/191.09 c cleaning 16006 clauses out of 32030 with flag 526008/526008 382.91/199.13 c cleaning 15996 clauses out of 32016 with flag 542000/542000 400.01/207.94 c cleaning 15994 clauses out of 32020 with flag 558000/558000 416.27/216.37 c cleaning 16004 clauses out of 32026 with flag 574000/574000 425.50/221.21 c cleaning 15990 clauses out of 32022 with flag 590000/590000 438.04/227.72 c cleaning 16005 clauses out of 32032 with flag 606000/606000 448.35/233.16 c cleaning 16001 clauses out of 32029 with flag 622002/622002 460.06/239.21 c cleaning 16004 clauses out of 32026 with flag 638000/638000 473.43/246.25 c cleaning 15995 clauses out of 32022 with flag 654000/654000 483.56/251.55 c cleaning 16000 clauses out of 32027 with flag 670000/670000 494.28/257.10 c cleaning 15999 clauses out of 32027 with flag 686000/686000 505.20/262.84 c cleaning 16001 clauses out of 32028 with flag 702000/702000 521.28/271.22 c cleaning 15978 clauses out of 32028 with flag 718001/718001 536.73/279.29 c cleaning 15984 clauses out of 32049 with flag 734000/734000 552.35/287.30 c cleaning 16003 clauses out of 32067 with flag 750002/750002 567.57/295.25 c cleaning 16003 clauses out of 32062 with flag 766000/766000 576.71/300.15 c cleaning 16013 clauses out of 32059 with flag 782000/782000 586.18/305.18 c cleaning 16008 clauses out of 32046 with flag 798000/798000 594.83/309.79 c cleaning 16005 clauses out of 32038 with flag 814000/814000 603.88/314.59 c cleaning 15999 clauses out of 32034 with flag 830001/830001 612.38/319.19 c cleaning 16006 clauses out of 32035 with flag 846001/846001 620.65/323.54 c cleaning 15998 clauses out of 32029 with flag 862001/862001 630.90/328.93 c cleaning 15995 clauses out of 32030 with flag 878000/878000 641.13/334.35 c cleaning 15995 clauses out of 32035 with flag 894000/894000 654.35/341.30 c cleaning 16014 clauses out of 32040 with flag 910000/910000 670.11/349.54 c cleaning 16000 clauses out of 32026 with flag 926000/926000 685.85/357.74 c cleaning 16002 clauses out of 32029 with flag 942003/942003 699.21/364.79 c cleaning 15995 clauses out of 32024 with flag 958000/958000 707.25/369.14 c cleaning 15998 clauses out of 32029 with flag 974000/974000 715.45/373.54 c cleaning 15995 clauses out of 32031 with flag 990000/990000 726.22/379.23 c cleaning 15999 clauses out of 32037 with flag 1006001/1006001 739.35/386.15 c cleaning 16000 clauses out of 32037 with flag 1022000/1022000 752.58/393.29 c cleaning 16005 clauses out of 32038 with flag 1038001/1038001 769.46/402.06 c cleaning 16001 clauses out of 32034 with flag 1054002/1054002 781.16/408.20 c cleaning 15991 clauses out of 32031 with flag 1070000/1070000 790.29/413.14 c cleaning 15996 clauses out of 32041 with flag 1086001/1086001 799.64/418.20 c cleaning 15998 clauses out of 32044 with flag 1102000/1102000 808.77/423.19 c cleaning 15997 clauses out of 32047 with flag 1118001/1118001 818.10/428.15 c cleaning 16001 clauses out of 32051 with flag 1134002/1134002 827.22/433.03 c cleaning 16001 clauses out of 32049 with flag 1150001/1150001 838.91/439.40 c cleaning 16015 clauses out of 32048 with flag 1166001/1166001 855.55/448.07 c cleaning 16004 clauses out of 32033 with flag 1182001/1182001 870.61/455.99 c cleaning 15997 clauses out of 32028 with flag 1198000/1198000 885.85/463.97 c cleaning 16003 clauses out of 32031 with flag 1214000/1214000 901.05/472.07 c cleaning 15997 clauses out of 32028 with flag 1230000/1230000 916.04/479.93 c cleaning 16005 clauses out of 32032 with flag 1246001/1246001 931.44/488.01 c cleaning 15997 clauses out of 32026 with flag 1262000/1262000 947.21/496.31 c cleaning 16004 clauses out of 32029 with flag 1278000/1278000 962.15/504.37 c cleaning 16001 clauses out of 32025 with flag 1294000/1294000 977.53/512.41 c cleaning 16001 clauses out of 32025 with flag 1310001/1310001 988.53/518.38 c cleaning 15996 clauses out of 32025 with flag 1326002/1326002 999.74/524.32 c cleaning 15999 clauses out of 32029 with flag 1342002/1342002 1011.67/530.89 c cleaning 16000 clauses out of 32028 with flag 1358000/1358000 1022.87/536.87 c cleaning 16002 clauses out of 32030 with flag 1374002/1374002 1035.82/543.74 c cleaning 15999 clauses out of 32026 with flag 1390000/1390000 1049.19/550.82 c cleaning 15992 clauses out of 32028 with flag 1406001/1406001 1066.87/560.27 c cleaning 15995 clauses out of 32036 with flag 1422001/1422001 1086.59/570.52 c cleaning 16001 clauses out of 32040 with flag 1438000/1438000 1096.15/575.76 c cleaning 16005 clauses out of 32039 with flag 1454000/1454000 1106.54/581.38 c cleaning 16004 clauses out of 32035 with flag 1470001/1470001 1118.04/587.69 c cleaning 16003 clauses out of 32034 with flag 1486004/1486004 1129.55/593.99 c cleaning 15999 clauses out of 32029 with flag 1502002/1502002 1143.95/601.69 c cleaning 16001 clauses out of 32028 with flag 1518000/1518000 1157.85/609.04 c cleaning 15991 clauses out of 32027 with flag 1534000/1534000 1172.29/616.87 c cleaning 16004 clauses out of 32037 with flag 1550001/1550001 1186.99/624.61 c cleaning 16005 clauses out of 32032 with flag 1566000/1566000 1200.48/631.80 c cleaning 16005 clauses out of 32029 with flag 1582002/1582002 1213.98/639.07 c cleaning 16002 clauses out of 32023 with flag 1598001/1598001 1226.22/645.78 c cleaning 15992 clauses out of 32020 with flag 1614000/1614000 1239.66/652.90 c cleaning 15988 clauses out of 32028 with flag 1630000/1630000 1252.53/659.85 c cleaning 16001 clauses out of 32042 with flag 1646002/1646002 1266.52/667.30 c cleaning 15999 clauses out of 32041 with flag 1662002/1662002 1281.07/675.22 c cleaning 16002 clauses out of 32041 with flag 1678001/1678001 1295.89/683.17 c cleaning 15999 clauses out of 32040 with flag 1694002/1694002 1309.67/690.60 c cleaning 16001 clauses out of 32039 with flag 1710000/1710000 1324.28/698.37 c cleaning 15998 clauses out of 32038 with flag 1726000/1726000 1339.34/706.55 c cleaning 15997 clauses out of 32040 with flag 1742000/1742000 1356.11/715.49 c cleaning 16010 clauses out of 32043 with flag 1758000/1758000 1378.21/727.09 c cleaning 16004 clauses out of 32035 with flag 1774002/1774002 1401.48/739.21 c cleaning 16002 clauses out of 32030 with flag 1790001/1790001 1422.85/750.62 c cleaning 15994 clauses out of 32028 with flag 1806001/1806001 1444.32/761.93 c cleaning 16008 clauses out of 32033 with flag 1822000/1822000 1464.80/772.77 c cleaning 15996 clauses out of 32025 with flag 1838000/1838000 1487.83/784.80 c cleaning 16003 clauses out of 32030 with flag 1854001/1854001 1494.68/788.92 c cleaning 0 clauses out of 5002 with flag 0/5002 1510.77/797.55 c cleaning 15998 clauses out of 32026 with flag 1870000/1870000 1530.59/808.00 c cleaning 15999 clauses out of 32030 with flag 1886002/1886002 1551.22/818.94 c cleaning 16005 clauses out of 32031 with flag 1902002/1902002 1574.67/831.49 c cleaning 16001 clauses out of 32024 with flag 1918000/1918000 1596.03/842.74 c cleaning 15990 clauses out of 32023 with flag 1934000/1934000 1616.48/853.53 c cleaning 16000 clauses out of 32033 with flag 1950000/1950000 1636.44/864.12 c cleaning 16005 clauses out of 32033 with flag 1966000/1966000 1652.50/872.91 c cleaning 16003 clauses out of 32028 with flag 1982000/1982000 1662.16/878.33 c cleaning 16000 clauses out of 32029 with flag 1998004/1998004 1676.16/885.94 c cleaning 16001 clauses out of 32026 with flag 2014001/2014001 1688.58/892.76 c cleaning 16003 clauses out of 32024 with flag 2030000/2030000 1702.63/900.60 c cleaning 16000 clauses out of 32023 with flag 2046002/2046002 1718.41/909.07 c cleaning 15991 clauses out of 32022 with flag 2062001/2062001 1735.37/918.20 c cleaning 15988 clauses out of 32030 with flag 2078000/2078000 1746.76/924.40 c cleaning 16001 clauses out of 32043 with flag 2094001/2094001 1758.39/931.01 c cleaning 16000 clauses out of 32043 with flag 2110002/2110002 1769.00/936.98 c cleaning 15995 clauses out of 32042 with flag 2126001/2126001 1778.59/942.32 c cleaning 16003 clauses out of 32048 with flag 2142002/2142002 1792.92/950.17 c cleaning 16006 clauses out of 32044 with flag 2158001/2158001 1800.20/954.52 c starts : 27 1800.20/954.52 c conflicts : 5555 1800.20/954.52 c decisions : 43675 1800.20/954.52 c propagations : 546103 1800.20/954.52 c inspects : 119895181 1800.20/954.52 c learnt literals : 0 1800.20/954.52 c learnt binary clauses : 0 1800.20/954.52 c learnt ternary clauses : 0 1800.20/954.52 c learnt clauses : 5554 1800.20/954.52 c ignored clauses : 0 1800.20/954.52 c root simplifications : 0 1800.20/954.52 c removed literals (reason simplification) : 0 1800.20/954.52 c reason swapping (by a shorter reason) : 0 1800.20/954.52 c Calls to reduceDB : 1 1800.20/954.52 c number of reductions to clauses (during analyze) : 0 1800.20/954.52 c number of learned constraints concerned by reduction : 0 1800.20/954.52 c number of learning phase by resolution : 0 1800.20/954.52 c number of learning phase by cutting planes : 0 1800.20/954.52 c speed (assignments/second) : 690.0973283359154 1800.20/954.52 c non guided choices 0 1800.20/954.53 c learnt constraints type 1800.20/954.53 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 93 1800.20/954.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 23 1800.20/954.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5438 1800.20/954.53 c constraints type 1800.20/954.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827 1800.20/954.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.20/954.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287 1800.20/954.53 c constraints type 1800.20/954.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287 1800.20/954.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827 1800.20/954.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.20/954.53 s SATISFIABLE 1800.78/954.81 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 1800.78/954.82 c objective function=20 1800.78/954.82 c Total wall clock time (in seconds): 954.605
OK 20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662080-1276640914/watcher-2662080-1276640914 -o /tmp/evaluation-result-2662080-1276640914/solver-2662080-1276640914 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662080-1276640914.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.07 1.02 1.00 3/106 4925 /proc/meminfo: memFree=1836892/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1832 CPUtime=0 /proc/4925/stat : 4925 (java6) S 4923 4925 3985 0 -1 4194304 244 0 0 0 0 0 0 0 19 0 1 0 37746840 1875968 148 1992294400 134512640 134550932 4287674576 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699379390 0 0 17 1 0 0 0 /proc/4925/statm: 458 148 111 10 0 63 0 [startup+0.0993539 s] /proc/loadavg: 1.07 1.02 1.00 3/106 4925 /proc/meminfo: memFree=1836892/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1524020 CPUtime=0.07 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 3932 0 1 0 6 1 0 0 18 0 12 0 37746840 1560596480 3372 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 381005 3372 1072 10 0 378308 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1524020 [startup+0.101352 s] /proc/loadavg: 1.07 1.02 1.00 3/106 4925 /proc/meminfo: memFree=1836892/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1524180 CPUtime=0.08 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 3954 0 1 0 7 1 0 0 18 0 12 0 37746840 1560760320 3394 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 381045 3394 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300045 s] /proc/loadavg: 1.07 1.02 1.00 3/106 4925 /proc/meminfo: memFree=1836892/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1525768 CPUtime=0.35 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 5404 0 1 0 32 3 0 0 18 0 12 0 37746840 1562386432 4842 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 381442 4842 1361 10 0 378745 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1525768 [startup+0.70003 s] /proc/loadavg: 1.07 1.02 1.00 3/106 4925 /proc/meminfo: memFree=1836892/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1528112 CPUtime=1.13 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 7705 0 1 0 109 4 0 0 18 0 12 0 37746840 1564786688 6987 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 382028 6988 1400 10 0 379331 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 1528112 [startup+1.501 s] /proc/loadavg: 1.07 1.02 1.00 4/118 4937 /proc/meminfo: memFree=1798792/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1541576 CPUtime=2.72 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 19383 0 1 0 261 11 0 0 18 0 14 0 37746840 1578573824 16413 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 385394 16413 1413 10 0 382697 0 [pid=4925/tid=4927] ppid=4923 vsize=1541576 CPUtime=1.19 /proc/4925/task/4927/stat : 4927 (java) S 4923 4925 3985 0 -1 4202560 11332 0 1 0 113 6 0 0 19 0 14 0 37746841 1578573824 16413 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4928] ppid=4923 vsize=1541576 CPUtime=0 /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 37746843 1578573824 16414 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1541576 CPUtime=0 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 37746843 1578573824 16414 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1541900 CPUtime=0 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 15 0 37746844 1578905600 16415 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1541900 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 15 0 37746845 1578905600 16415 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1541900 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 15 0 37746845 1578905600 16416 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1541900 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 15 0 37746849 1578905600 16416 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1541900 CPUtime=0.41 /proc/4925/task/4934/stat : 4934 (java) R 4923 4925 3985 0 -1 4202560 2164 0 0 0 40 1 0 0 18 0 15 0 37746849 1578905600 16416 1992294400 134512640 134550932 4292388528 18446744073709551615 105496355 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1541900 CPUtime=1.02 /proc/4925/task/4935/stat : 4935 (java) R 4923 4925 3985 0 -1 4202560 4516 0 0 0 101 1 0 0 18 0 15 0 37746849 1578905600 16416 1992294400 134512640 134550932 4292388528 18446744073709551615 103158416 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1541900 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 37746849 1578905600 16417 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1541900 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 15 0 37746849 1578905600 16417 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.72 Current children cumulated vsize (KiB) 1541576 [startup+3.10194 s] /proc/loadavg: 1.07 1.02 1.00 1/120 4941 /proc/meminfo: memFree=1774596/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1543072 CPUtime=4.68 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 25305 0 1 0 454 14 0 0 18 0 16 0 37746840 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 385768 22028 1429 10 0 383071 0 [pid=4925/tid=4927] ppid=4923 vsize=1543072 CPUtime=1.2 /proc/4925/task/4927/stat : 4927 (java) S 4923 4925 3985 0 -1 4202560 11387 0 1 0 114 6 0 0 19 0 16 0 37746841 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4928] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 37746843 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 37746843 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 16 0 37746844 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 16 0 37746845 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 16 0 37746845 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 37746849 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1543072 CPUtime=1.06 /proc/4925/task/4934/stat : 4934 (java) S 4923 4925 3985 0 -1 4202560 2246 0 0 0 105 1 0 0 15 0 16 0 37746849 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1543072 CPUtime=1.64 /proc/4925/task/4935/stat : 4935 (java) S 4923 4925 3985 0 -1 4202560 4838 0 0 0 163 1 0 0 15 0 16 0 37746849 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 37746849 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 37746849 1580105728 22028 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4940] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4940/stat : 4940 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 16 0 37746990 1580105728 22029 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4941/stat : 4941 (java) S 4923 4925 3985 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 37746997 1580105728 22029 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.68 Current children cumulated vsize (KiB) 1543072 [startup+6.30182 s] /proc/loadavg: 0.99 1.00 1.00 4/122 4945 /proc/meminfo: memFree=1679348/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1543072 CPUtime=10.53 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 46238 0 1 0 1023 30 0 0 18 0 16 0 37746840 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 385768 40802 1447 10 0 383071 0 [pid=4925/tid=4927] ppid=4923 vsize=1543072 CPUtime=1.21 /proc/4925/task/4927/stat : 4927 (java) S 4923 4925 3985 0 -1 4202560 11388 0 1 0 115 6 0 0 18 0 16 0 37746841 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4928] ppid=4923 vsize=1543072 CPUtime=0.04 /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 1293 0 0 0 4 0 0 0 16 0 16 0 37746843 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1543072 CPUtime=0.04 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 1231 0 0 0 4 0 0 0 15 0 16 0 37746843 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1543072 CPUtime=0.17 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 1142 0 0 0 10 7 0 0 16 0 16 0 37746844 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 37746849 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1543072 CPUtime=1.74 /proc/4925/task/4934/stat : 4934 (java) S 4923 4925 3985 0 -1 4202560 2285 0 0 0 173 1 0 0 15 0 16 0 37746849 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1543072 CPUtime=2.42 /proc/4925/task/4935/stat : 4935 (java) R 4923 4925 3985 0 -1 4202560 7096 0 0 0 240 2 0 0 15 0 16 0 37746849 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 106252061 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 37746849 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) R 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 37746849 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4925/tid=4940] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4940/stat : 4940 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 16 0 37746990 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4941/stat : 4941 (java) S 4923 4925 3985 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 37746997 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4944] ppid=4923 vsize=1543072 CPUtime=1.5 /proc/4925/task/4944/stat : 4944 (java) R 4923 4925 3985 0 -1 4202560 1 0 0 0 150 0 0 0 22 0 16 0 37747291 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4109524375 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4925/tid=4945] ppid=4923 vsize=1543072 CPUtime=1.24 /proc/4925/task/4945/stat : 4945 (java) R 4923 4925 3985 0 -1 4202560 1729 0 0 0 124 0 0 0 23 0 16 0 37747291 1580105728 40802 1992294400 134512640 134550932 4292388528 18446744073709551615 4109597246 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 10.53 Current children cumulated vsize (KiB) 1543072 [startup+12.7024 s] /proc/loadavg: 0.91 0.98 0.99 3/122 4947 /proc/meminfo: memFree=1649588/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1543072 CPUtime=22.15 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 53332 0 1 0 2182 33 0 0 18 0 16 0 37746840 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 385768 47882 1447 10 0 383071 0 [pid=4925/tid=4927] ppid=4923 vsize=1543072 CPUtime=1.22 /proc/4925/task/4927/stat : 4927 (java) S 4923 4925 3985 0 -1 4202560 11389 0 1 0 116 6 0 0 15 0 16 0 37746841 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4928] ppid=4923 vsize=1543072 CPUtime=0.14 /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 2852 0 0 0 13 1 0 0 16 0 16 0 37746843 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1543072 CPUtime=0.14 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 2673 0 0 0 13 1 0 0 16 0 16 0 37746843 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1543072 CPUtime=0.39 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 2715 0 0 0 31 8 0 0 15 0 16 0 37746844 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 37746849 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1543072 CPUtime=1.91 /proc/4925/task/4934/stat : 4934 (java) S 4923 4925 3985 0 -1 4202560 2297 0 0 0 190 1 0 0 15 0 16 0 37746849 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1543072 CPUtime=2.58 /proc/4925/task/4935/stat : 4935 (java) S 4923 4925 3985 0 -1 4202560 7100 0 0 0 256 2 0 0 15 0 16 0 37746849 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 37746849 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 37746849 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4940] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4940/stat : 4940 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 16 0 37746990 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4941/stat : 4941 (java) S 4923 4925 3985 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 37746997 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4946] ppid=4923 vsize=1543072 CPUtime=4.73 /proc/4925/task/4946/stat : 4946 (java) R 4923 4925 3985 0 -1 4202560 4 0 0 0 473 0 0 0 25 0 16 0 37747594 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4109242488 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4925/tid=4947] ppid=4923 vsize=1543072 CPUtime=4.71 /proc/4925/task/4947/stat : 4947 (java) R 4923 4925 3985 0 -1 4202560 2496 0 0 0 470 1 0 0 25 0 16 0 37747597 1580105728 47882 1992294400 134512640 134550932 4292388528 18446744073709551615 4109597262 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 22.15 Current children cumulated vsize (KiB) 1543072 [startup+25.5011 s] ################ # More data... # ################ /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 47860 0 0 0 1741 46 0 0 15 0 16 0 37746843 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1543072 CPUtime=17.87 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 49320 0 0 0 1747 40 0 0 16 0 16 0 37746843 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1543072 CPUtime=86.31 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 5875 0 0 0 8611 20 0 0 15 0 16 0 37746844 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 37746849 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1543072 CPUtime=2.08 /proc/4925/task/4934/stat : 4934 (java) S 4923 4925 3985 0 -1 4202560 2493 0 0 0 207 1 0 0 15 0 16 0 37746849 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1543072 CPUtime=3.16 /proc/4925/task/4935/stat : 4935 (java) S 4923 4925 3985 0 -1 4202560 7105 0 0 0 314 2 0 0 15 0 16 0 37746849 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 37746849 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) S 4923 4925 3985 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 37746849 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4940] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4940/stat : 4940 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 16 0 37746990 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4941/stat : 4941 (java) S 4923 4925 3985 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 37746997 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4954] ppid=4923 vsize=1543072 CPUtime=679.4 /proc/4925/task/4954/stat : 4954 (java) R 4923 4925 3985 0 -1 4202560 366 0 0 0 67922 18 0 0 25 0 16 0 37763156 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4108773089 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4925/tid=4955] ppid=4923 vsize=1543072 CPUtime=674.89 /proc/4925/task/4955/stat : 4955 (java) R 4923 4925 3985 0 -1 4202560 194 0 0 0 67480 9 0 0 25 0 16 0 37763157 1580105728 131851 1992294400 134512640 134550932 4292388528 18446744073709551615 4109611181 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1778.59 Current children cumulated vsize (KiB) 1543072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+954.502 s] /proc/loadavg: 2.01 2.03 1.68 3/122 4980 /proc/meminfo: memFree=1308588/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1543072 CPUtime=1800.2 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 149946 0 1 0 179850 170 0 0 18 0 16 0 37746840 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 385768 132531 1451 10 0 383071 0 [pid=4925/tid=4927] ppid=4923 vsize=1543072 CPUtime=1.25 /proc/4925/task/4927/stat : 4927 (java) S 4923 4925 3985 0 -1 4202560 11413 0 1 0 118 7 0 0 15 0 16 0 37746841 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4928] ppid=4923 vsize=1543072 CPUtime=18.14 /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 48440 0 0 0 1768 46 0 0 16 0 16 0 37746843 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1543072 CPUtime=18.14 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 49483 0 0 0 1772 42 0 0 16 0 16 0 37746843 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1543072 CPUtime=88.94 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 5877 0 0 0 8874 20 0 0 15 0 16 0 37746844 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 37746845 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 37746849 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1543072 CPUtime=2.08 /proc/4925/task/4934/stat : 4934 (java) S 4923 4925 3985 0 -1 4202560 2493 0 0 0 207 1 0 0 15 0 16 0 37746849 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1543072 CPUtime=3.16 /proc/4925/task/4935/stat : 4935 (java) S 4923 4925 3985 0 -1 4202560 7105 0 0 0 314 2 0 0 15 0 16 0 37746849 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 37746849 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) S 4923 4925 3985 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 37746849 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4940] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4940/stat : 4940 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 16 0 37746990 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=1543072 CPUtime=0 /proc/4925/task/4941/stat : 4941 (java) S 4923 4925 3985 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 37746997 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4954] ppid=4923 vsize=1543072 CPUtime=688.67 /proc/4925/task/4954/stat : 4954 (java) R 4923 4925 3985 0 -1 4202560 370 0 0 0 68849 18 0 0 22 0 16 0 37763156 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4109523667 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4925/tid=4955] ppid=4923 vsize=1543072 CPUtime=684.06 /proc/4925/task/4955/stat : 4955 (java) R 4923 4925 3985 0 -1 4202560 197 0 0 0 68397 9 0 0 22 0 16 0 37763157 1580105728 132531 1992294400 134512640 134550932 4292388528 18446744073709551615 4109610852 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 1543072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+954.617 s] /proc/loadavg: 2.01 2.03 1.68 3/122 4980 /proc/meminfo: memFree=1308588/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1543720 CPUtime=1800.41 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 149964 0 1 0 179871 170 0 0 18 0 18 0 37746840 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 385930 132548 1451 10 0 383233 0 [pid=4925/tid=4927] ppid=4923 vsize=1543720 CPUtime=1.25 /proc/4925/task/4927/stat : 4927 (java) S 4923 4925 3985 0 -1 4202560 11413 0 1 0 118 7 0 0 15 0 18 0 37746841 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4928] ppid=4923 vsize=1543720 CPUtime=18.18 /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 48440 0 0 0 1772 46 0 0 15 0 18 0 37746843 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1543720 CPUtime=18.18 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 49483 0 0 0 1776 42 0 0 16 0 18 0 37746843 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1543720 CPUtime=88.94 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 5877 0 0 0 8874 20 0 0 15 0 18 0 37746844 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 37746845 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 37746845 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1543720 CPUtime=2.08 /proc/4925/task/4934/stat : 4934 (java) S 4923 4925 3985 0 -1 4202560 2493 0 0 0 207 1 0 0 15 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1543720 CPUtime=3.16 /proc/4925/task/4935/stat : 4935 (java) S 4923 4925 3985 0 -1 4202560 7105 0 0 0 314 2 0 0 15 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) S 4923 4925 3985 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4940] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4940/stat : 4940 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 37746990 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4941/stat : 4941 (java) S 4923 4925 3985 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 18 0 37746997 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4954] ppid=4923 vsize=1543720 CPUtime=688.72 /proc/4925/task/4954/stat : 4954 (java) R 4923 4925 3985 0 -1 4202560 370 0 0 0 68854 18 0 0 17 0 18 0 37763156 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4109525488 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4925/tid=4955] ppid=4923 vsize=1543720 CPUtime=684.13 /proc/4925/task/4955/stat : 4955 (java) R 4923 4925 3985 0 -1 4202560 197 0 0 0 68404 9 0 0 22 0 18 0 37763157 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4109601583 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 1543720 [startup+954.81 s] /proc/loadavg: 2.01 2.03 1.68 4/125 4983 /proc/meminfo: memFree=1308440/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=1543720 CPUtime=1800.78 /proc/4925/stat : 4925 (java) S 4923 4925 3985 0 -1 4202496 149964 0 1 0 179908 170 0 0 18 0 18 0 37746840 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 385930 132548 1451 10 0 383233 0 [pid=4925/tid=4927] ppid=4923 vsize=1543720 CPUtime=1.25 /proc/4925/task/4927/stat : 4927 (java) S 4923 4925 3985 0 -1 4202560 11413 0 1 0 118 7 0 0 15 0 18 0 37746841 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4928] ppid=4923 vsize=1543720 CPUtime=18.18 /proc/4925/task/4928/stat : 4928 (java) S 4923 4925 3985 0 -1 4202560 48440 0 0 0 1772 46 0 0 15 0 18 0 37746843 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4929] ppid=4923 vsize=1543720 CPUtime=18.18 /proc/4925/task/4929/stat : 4929 (java) S 4923 4925 3985 0 -1 4202560 49483 0 0 0 1776 42 0 0 16 0 18 0 37746843 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4930] ppid=4923 vsize=1543720 CPUtime=88.94 /proc/4925/task/4930/stat : 4930 (java) S 4923 4925 3985 0 -1 4202560 5877 0 0 0 8874 20 0 0 15 0 18 0 37746844 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4931] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4931/stat : 4931 (java) S 4923 4925 3985 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 37746845 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4932] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4932/stat : 4932 (java) S 4923 4925 3985 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 37746845 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4933] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4933/stat : 4933 (java) S 4923 4925 3985 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4934] ppid=4923 vsize=1543720 CPUtime=2.1 /proc/4925/task/4934/stat : 4934 (java) S 4923 4925 3985 0 -1 4202560 2493 0 0 0 209 1 0 0 15 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4935] ppid=4923 vsize=1543720 CPUtime=3.16 /proc/4925/task/4935/stat : 4935 (java) S 4923 4925 3985 0 -1 4202560 7105 0 0 0 314 2 0 0 15 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4936] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4936/stat : 4936 (java) S 4923 4925 3985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4937] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4937/stat : 4937 (java) S 4923 4925 3985 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 37746849 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=4925/tid=4940] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4940/stat : 4940 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 37746990 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4941/stat : 4941 (java) S 4923 4925 3985 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 18 0 37746997 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4954] ppid=4923 vsize=1543720 CPUtime=688.91 /proc/4925/task/4954/stat : 4954 (java) R 4923 4925 3985 0 -1 4202560 370 0 0 0 68873 18 0 0 17 0 18 0 37763156 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4109480221 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4925/tid=4955] ppid=4923 vsize=1543720 CPUtime=684.28 /proc/4925/task/4955/stat : 4955 (java) R 4923 4925 3985 0 -1 4202560 197 0 0 0 68419 9 0 0 22 0 18 0 37763157 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4109566059 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4925/tid=4982] ppid=4923 vsize=1543720 CPUtime=0 /proc/4925/task/4982/stat : 4982 (java) S 4923 4925 3985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 37842292 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=4925/tid=4983] ppid=4923 vsize=1543720 CPUtime=0.02 /proc/4925/task/4983/stat : 4983 (java) R 4923 4925 3985 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 18 0 37842292 1580769280 132548 1992294400 134512640 134550932 4292388528 18446744073709551615 4108611549 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 1543720 [startup+954.902 s] /proc/loadavg: 2.01 2.03 1.68 4/125 4983 /proc/meminfo: memFree=1308440/2059040 swapFree=4136680/4192956 [pid=4925] ppid=4923 vsize=0 CPUtime=1800.93 /proc/4925/stat : 4925 (java) Z 4923 4925 3985 0 -1 4203548 149967 0 1 0 179919 174 0 0 15 0 2 0 37746840 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4925/statm: 0 0 0 0 0 0 0 [pid=4925/tid=4941] ppid=4923 vsize=0 CPUtime=0.03 /proc/4925/task/4941/stat : 4941 (java) R 4923 4925 3985 0 -1 4203588 4 0 0 0 0 3 0 0 18 0 2 0 37746997 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 954.917 CPU time (s): 1800.95 CPU user time (s): 1799.2 CPU system time (s): 1.75773 CPU usage (%): 188.598 Max. virtual memory (cumulated for all children) (KiB): 1545840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.2 system time used= 1.75773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149967 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= 29832 involuntary context switches= 51646 runsolver used 5.29719 second user time and 10.2374 second system time The end
Begin job on node026 at 2010-06-16 00:28:34 IDJOB=2662080 IDBENCH=25017 IDSOLVER=1166 FILE ID=node026/2662080-1276640914 PBS_JOBID= 11172349 Free space on /tmp= 62560 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662080-1276640914/watcher-2662080-1276640914 -o /tmp/evaluation-result-2662080-1276640914/solver-2662080-1276640914 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662080-1276640914.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=536557664 node026.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.201 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.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1837164 kB Buffers: 23944 kB Cached: 105908 kB SwapCached: 9808 kB Active: 76144 kB Inactive: 67524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837164 kB SwapTotal: 4192956 kB SwapFree: 4136680 kB Dirty: 760 kB Writeback: 0 kB AnonPages: 12064 kB Mapped: 9360 kB Slab: 56176 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180756 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= 62560 MiB End job on node026 at 2010-06-16 00:44:31