Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 24 | 1800.49 | 898.448 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
| MD5SUM | b63b2d912c01ff826a63051b401330db |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 0.071988 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | YES |
| Number of variables | 4427 |
| Total number of constraints | 12661 |
| Number of constraints which are clauses | 12661 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 2136 |
| 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 | 2136 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2136 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081473-1465236724.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.08/0.55 c ... done. Wall clock time 0.428s. 1.08/0.55 c declared #vars 4427 1.08/0.55 c #constraints 12661 1.08/0.55 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.08/0.55 c constraints type 1.08/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296 1.08/0.55 c org.sat4j.specs.Constr$1 => 5 1.08/0.55 c org.sat4j.minisat.constraints.cnf.UnitClause => 167 1.08/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193 1.08/0.55 c 12661 constraints processed. 1.08/0.55 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.08/0.55 c constraints type 1.08/0.55 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10193 1.08/0.55 c org.sat4j.specs.Constr$1 => 5 1.08/0.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2296 1.08/0.55 c org.sat4j.pb.constraints.pb.UnitClausePB => 167 1.08/0.55 c 12661 constraints processed. 1.08/0.55 c objective function length is 2136 literals 1.42/0.64 c And the winner is solver0 2.33/1.06 c SATISFIABLE 2.33/1.06 c OPTIMIZING... 2.33/1.06 c Got one! Elapsed wall clock time (in seconds):0.937 2.33/1.06 o 35 2.62/1.13 c And the winner is solver0 3.02/1.57 c Got one! Elapsed wall clock time (in seconds):1.45 3.02/1.57 o 34 3.02/1.59 c And the winner is solver0 3.19/2.08 c Got one! Elapsed wall clock time (in seconds):1.958 3.19/2.08 o 33 5.41/2.86 c And the winner is solver1 5.54/3.08 c Got one! Elapsed wall clock time (in seconds):2.964 5.54/3.08 o 27 7.81/4.30 c cleaning 2595 clauses out of 5191 with flag 14870/5191 12.85/6.67 c cleaning 4293 clauses out of 8596 with flag 42992/11191 18.18/9.30 c cleaning 5652 clauses out of 11303 with flag 77463/18191 24.70/12.46 c cleaning 6827 clauses out of 13653 with flag 115520/26193 31.78/15.91 c cleaning 7893 clauses out of 15824 with flag 160978/35191 39.25/19.61 c cleaning 8960 clauses out of 17931 with flag 210951/45191 47.80/23.80 c cleaning 9956 clauses out of 19971 with flag 268153/56191 52.00/25.93 c And the winner is solver1 52.00/26.13 c Got one! Elapsed wall clock time (in seconds):26.015 52.00/26.13 o 26 55.72/28.01 c cleaning 10008 clauses out of 20039 with flag 24310/66215 60.17/30.29 c cleaning 8016 clauses out of 16033 with flag 48887/72217 66.09/33.11 c cleaning 7508 clauses out of 15016 with flag 81502/79216 73.04/36.55 c cleaning 7754 clauses out of 15507 with flag 111240/87215 81.04/40.52 c cleaning 8373 clauses out of 16754 with flag 150333/96216 89.85/44.94 c cleaning 9190 clauses out of 18380 with flag 192515/106215 98.26/49.19 c cleaning 10085 clauses out of 20190 with flag 235488/117215 107.89/53.85 c cleaning 11040 clauses out of 22105 with flag 295783/129215 117.48/58.63 c cleaning 12025 clauses out of 24065 with flag 355833/142215 128.68/64.27 c cleaning 13009 clauses out of 26040 with flag 427761/156215 141.70/70.66 c cleaning 13989 clauses out of 28031 with flag 509954/171215 154.11/76.84 c cleaning 15003 clauses out of 30042 with flag 587052/187215 166.70/83.12 c cleaning 15986 clauses out of 32039 with flag 668901/204215 182.14/90.72 c cleaning 17006 clauses out of 34053 with flag 757811/222215 197.95/98.61 c cleaning 18013 clauses out of 36047 with flag 852820/241215 214.75/107.07 c cleaning 19008 clauses out of 38034 with flag 953982/261215 232.51/115.86 c cleaning 20001 clauses out of 40028 with flag 1056080/282217 250.80/125.33 c cleaning 21012 clauses out of 42026 with flag 1154670/304216 269.00/134.40 c cleaning 22001 clauses out of 44013 with flag 1273551/327215 288.86/144.40 c cleaning 23002 clauses out of 46013 with flag 1387047/351216 296.26/148.03 c And the winner is solver1 296.26/148.25 c Got one! Elapsed wall clock time (in seconds):148.13 296.26/148.25 o 25 300.15/150.20 c cleaning 18600 clauses out of 37230 with flag 22947/365435 304.55/152.42 c cleaning 12290 clauses out of 24630 with flag 54081/371435 309.75/155.09 c cleaning 9670 clauses out of 19340 with flag 88499/378435 315.75/158.02 c cleaning 8813 clauses out of 17670 with flag 126639/386435 323.31/161.71 c cleaning 8929 clauses out of 17858 with flag 170738/395436 331.49/165.89 c cleaning 9459 clauses out of 18928 with flag 220082/405435 340.31/170.24 c cleaning 10212 clauses out of 20469 with flag 274390/416435 350.51/175.37 c cleaning 11123 clauses out of 22258 with flag 335245/428436 361.70/180.81 c cleaning 12063 clauses out of 24134 with flag 402233/441435 373.50/186.79 c cleaning 13030 clauses out of 26071 with flag 472748/455435 385.70/192.88 c cleaning 14016 clauses out of 28041 with flag 550974/470435 399.10/199.46 c cleaning 15008 clauses out of 30025 with flag 638844/486435 412.70/206.29 c cleaning 16002 clauses out of 32017 with flag 728913/503435 427.11/213.48 c cleaning 17000 clauses out of 34015 with flag 828030/521435 442.47/221.07 c cleaning 17979 clauses out of 36015 with flag 932045/540435 459.06/229.36 c cleaning 19019 clauses out of 38037 with flag 1033474/560436 470.66/235.14 c And the winner is solver1 470.66/235.28 c Got one! Elapsed wall clock time (in seconds):235.164 470.66/235.28 o 24 474.16/237.05 c cleaning 18862 clauses out of 37724 with flag 23458/579142 478.55/239.22 c cleaning 12430 clauses out of 24863 with flag 51676/585143 483.55/241.73 c cleaning 9699 clauses out of 19432 with flag 84062/592142 489.15/244.57 c cleaning 8859 clauses out of 17733 with flag 124304/600142 495.95/247.93 c cleaning 8935 clauses out of 17874 with flag 169493/609142 503.85/251.76 c cleaning 9465 clauses out of 18939 with flag 218355/619142 512.05/255.81 c cleaning 10222 clauses out of 20474 with flag 271952/630142 520.45/260.01 c cleaning 11125 clauses out of 22252 with flag 327462/642142 531.98/266.33 c cleaning 12047 clauses out of 24127 with flag 391666/655142 542.78/271.77 c cleaning 13041 clauses out of 26081 with flag 464103/669143 555.26/277.91 c cleaning 14004 clauses out of 28039 with flag 536064/684142 568.27/284.49 c cleaning 15008 clauses out of 30035 with flag 611939/700142 582.27/291.47 c cleaning 16002 clauses out of 32027 with flag 700773/717142 596.99/298.78 c cleaning 16993 clauses out of 34025 with flag 790732/735142 612.39/306.40 c cleaning 18012 clauses out of 36033 with flag 883692/754143 628.81/314.66 c cleaning 19010 clauses out of 38020 with flag 982571/774142 646.14/323.29 c cleaning 19986 clauses out of 40010 with flag 1090801/795142 663.74/332.08 c cleaning 20996 clauses out of 42024 with flag 1196570/817142 681.95/341.12 c cleaning 22014 clauses out of 44029 with flag 1306985/840143 700.14/350.13 c cleaning 23003 clauses out of 46015 with flag 1423572/864143 719.35/359.78 c cleaning 23981 clauses out of 48011 with flag 1539635/889142 739.35/369.76 c cleaning 25001 clauses out of 50030 with flag 1662546/915142 760.33/380.29 c cleaning 26010 clauses out of 52029 with flag 1790321/942142 782.65/391.21 c cleaning 26996 clauses out of 54019 with flag 1918665/970142 802.86/401.40 c cleaning 27995 clauses out of 56023 with flag 2040541/999142 826.66/413.29 c cleaning 29011 clauses out of 58030 with flag 2174855/1029144 850.85/425.35 c cleaning 29993 clauses out of 60017 with flag 2316292/1060142 880.28/439.84 c cleaning 30992 clauses out of 62024 with flag 2479298/1092142 910.88/455.12 c cleaning 32009 clauses out of 64032 with flag 2643457/1125142 942.87/471.11 c cleaning 32998 clauses out of 66023 with flag 2803495/1159142 975.32/487.15 c cleaning 33994 clauses out of 68025 with flag 2973496/1194142 1005.51/502.22 c cleaning 35008 clauses out of 70031 with flag 3159489/1230142 1040.08/519.28 c cleaning 36012 clauses out of 72024 with flag 3352660/1267143 1072.07/535.28 c cleaning 36999 clauses out of 74012 with flag 3540624/1305143 1105.26/551.89 c cleaning 37988 clauses out of 76012 with flag 3724503/1344142 1142.77/570.33 c cleaning 39000 clauses out of 78024 with flag 3914235/1384142 1183.99/591.88 c cleaning 40009 clauses out of 80024 with flag 4125018/1425142 1218.57/609.11 c cleaning 41001 clauses out of 82015 with flag 4334029/1467142 1254.44/626.87 c cleaning 42007 clauses out of 84014 with flag 4543930/1510142 1291.54/645.21 c cleaning 42986 clauses out of 86008 with flag 4747265/1554143 1331.73/665.38 c cleaning 43996 clauses out of 88021 with flag 4965479/1599142 1373.23/685.99 c cleaning 45011 clauses out of 90025 with flag 5203031/1645142 1415.98/707.16 c cleaning 45990 clauses out of 92014 with flag 5455550/1692142 1460.33/729.19 c cleaning 47008 clauses out of 94026 with flag 5710950/1740144 1501.57/749.55 c cleaning 48002 clauses out of 96016 with flag 5929553/1789142 1542.25/769.75 c cleaning 49004 clauses out of 98014 with flag 6142410/1839142 1585.61/791.34 c cleaning 49996 clauses out of 100012 with flag 6396681/1890144 1630.01/813.42 c cleaning 50999 clauses out of 102014 with flag 6654435/1942142 1679.80/838.29 c cleaning 51990 clauses out of 104015 with flag 6913476/1995142 1726.98/861.83 c cleaning 53003 clauses out of 106025 with flag 7179374/2049142 1777.70/887.06 c cleaning 53980 clauses out of 108022 with flag 7465462/2104142 1800.49/898.37 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.49/898.37 c starts : 40024 1800.49/898.37 c conflicts : 2131120 1800.49/898.37 c decisions : 18247067 1800.49/898.37 c propagations : 3935620664 1800.49/898.37 c inspects : 5019018598 1800.49/898.37 c shortcuts : 0 1800.49/898.37 c learnt literals : 0 1800.49/898.37 c learnt binary clauses : 0 1800.49/898.37 c learnt ternary clauses : 29 1800.49/898.37 c learnt constraints : 2131119 1800.49/898.37 c ignored constraints : 0 1800.49/898.37 c root simplifications : 0 1800.49/898.37 c removed literals (reason simplification) : 8936706 1800.49/898.37 c reason swapping (by a shorter reason) : 0 1800.49/898.37 c Calls to reduceDB : 94 1800.49/898.37 c Number of update (reduction) of LBD : 918681 1800.49/898.37 c Imported unit clauses : 0 1800.49/898.37 c number of reductions to clauses (during analyze) : 0 1800.49/898.37 c number of learned constraints concerned by reduction : 0 1800.49/898.37 c number of learning phase by resolution : 0 1800.49/898.37 c number of learning phase by cutting planes : 0 1800.49/898.37 c speed (assignments/second) : 5935345.347935851 1800.49/898.37 c non guided choices 0 1800.49/898.39 c learnt constraints type 1800.49/898.39 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 81020 1800.49/898.39 c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<< 1800.49/898.39 c starts : 28 1800.49/898.39 c conflicts : 5103 1800.49/898.39 c decisions : 436538 1800.49/898.39 c propagations : 2173836 1800.49/898.39 c inspects : 141790786 1800.49/898.39 c shortcuts : 0 1800.49/898.39 c learnt literals : 0 1800.49/898.39 c learnt binary clauses : 0 1800.49/898.39 c learnt ternary clauses : 0 1800.49/898.39 c learnt constraints : 5101 1800.49/898.39 c ignored constraints : 0 1800.49/898.39 c root simplifications : 0 1800.49/898.39 c removed literals (reason simplification) : 0 1800.49/898.39 c reason swapping (by a shorter reason) : 0 1800.49/898.39 c Calls to reduceDB : 0 1800.49/898.39 c Number of update (reduction) of LBD : 0 1800.49/898.39 c Imported unit clauses : 0 1800.49/898.39 c number of reductions to clauses (during analyze) : 0 1800.49/898.39 c number of learned constraints concerned by reduction : 0 1800.49/898.39 c number of learning phase by resolution : 0 1800.49/898.39 c number of learning phase by cutting planes : 0 1800.49/898.39 c speed (assignments/second) : 2425.3171335810157 1800.49/898.39 c non guided choices 0 1800.49/898.40 c learnt constraints type 1800.49/898.40 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 142 1800.49/898.40 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 64 1800.49/898.40 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4895 1800.49/898.40 s SATISFIABLE 1800.49/898.40 c Found 7 solution(s) 1800.49/898.41 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 x4307 x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 x4413 -x4414 -x4415 -x4416 -x4417 x4418 x4419 -x4420 -x4421 x4422 x4423 -x4424 -x4425 x4426 x4427 1800.49/898.41 c objective function=24 1800.49/898.41 c Total wall clock time (in seconds): 898.295
OK 24
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081473-1465236724/watcher-4081473-1465236724 -o /tmp/evaluation-result-4081473-1465236724/solver-4081473-1465236724 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081473-1465236724.opb pid=27843 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.51 4.34 4.14 4/197 27846 /proc/meminfo: memFree=27773876/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/27846/stat : 27846 (java) D 27843 27846 21426 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 105604982 2560000 46 33554432000 1073741824 1073778376 140735284786000 140735284783128 206619897127 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 625 46 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 4.51 4.34 4.14 4/197 27846 /proc/meminfo: memFree=27773876/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 105604982 9787879424 6028 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2389619 6028 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200212 s] /proc/loadavg: 4.51 4.34 4.14 4/197 27846 /proc/meminfo: memFree=27773876/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 4986 0 1 0 25 2 0 0 20 0 18 0 105604982 9787879424 6865 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2389619 6865 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300225 s] /proc/loadavg: 4.51 4.34 4.14 4/197 27846 /proc/meminfo: memFree=27773876/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9558476 CPUtime=0.49 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 6055 0 1 0 47 2 0 0 20 0 18 0 105604982 9787879424 9608 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2389619 9608 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700291 s] /proc/loadavg: 4.51 4.34 4.14 4/197 27846 /proc/meminfo: memFree=27773876/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9824732 CPUtime=1.74 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 23949 0 1 0 165 9 0 0 20 0 19 0 105604982 10060525568 27261 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2456183 27261 2258 9 0 2446860 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 4.51 4.34 4.14 7/219 27871 /proc/meminfo: memFree=27666784/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9824732 CPUtime=3.02 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 29754 0 1 0 290 12 0 0 20 0 19 0 105604982 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2456183 28762 2268 9 0 2446860 0 [pid=27846/tid=27848] ppid=27843 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/27846/task/27848/stat : 27848 (java) S 27843 27846 21426 0 -1 4202560 2443 0 1 0 51 2 0 0 20 0 19 0 105604983 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310501679992 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27849] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27849/stat : 27849 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310479780136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27850] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27850/stat : 27850 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310478727336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27851] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27851/stat : 27851 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310477675048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27852] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27852/stat : 27852 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310476622248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27853] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27853/stat : 27853 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310139104040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27854] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27854/stat : 27854 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310138051240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27855] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27855/stat : 27855 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310136998952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27856] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27856/stat : 27856 (java) S 27843 27846 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105604984 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310135946152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27857] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27857/stat : 27857 (java) S 27843 27846 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105604985 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310123747560 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27858] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27858/stat : 27858 (java) S 27843 27846 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105604985 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310122693624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27859] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27859/stat : 27859 (java) S 27843 27846 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105604985 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310121641224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27860] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27860/stat : 27860 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604988 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310120589712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27861] ppid=27843 vsize=9824732 CPUtime=1.01 cores=0,2,4,6 /proc/27846/task/27861/stat : 27861 (java) S 27843 27846 21426 0 -1 4202560 13049 0 0 0 98 3 0 0 20 0 19 0 105604988 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310119537336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27862] ppid=27843 vsize=9824732 CPUtime=0.99 cores=0,2,4,6 /proc/27846/task/27862/stat : 27862 (java) S 27843 27846 21426 0 -1 4202560 12926 0 0 0 96 3 0 0 20 0 19 0 105604988 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310118484536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27863] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27863/stat : 27863 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604988 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310117432440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27864] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27864/stat : 27864 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105604988 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310116379848 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27868] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27868/stat : 27868 (java) S 27843 27846 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605039 10060525568 28762 33554432000 1073741824 1073778376 140735284786000 140310112166952 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 9824732 [startup+3.10073 s] /proc/loadavg: 4.31 4.30 4.13 6/219 27877 /proc/meminfo: memFree=27655304/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9824732 CPUtime=5.6 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 33463 0 1 0 543 17 0 0 20 0 22 0 105604982 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2456183 37105 2274 9 0 2446860 0 [pid=27846/tid=27848] ppid=27843 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/27846/task/27848/stat : 27848 (java) S 27843 27846 21426 0 -1 4202560 2446 0 1 0 53 2 0 0 20 0 22 0 105604983 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310501679992 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27849] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27849/stat : 27849 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310479780136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27850] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27850/stat : 27850 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310478727336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27851] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27851/stat : 27851 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310477675048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27852] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27852/stat : 27852 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310476622248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27853] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27853/stat : 27853 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310139104040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27854] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27854/stat : 27854 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310138051240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27855] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27855/stat : 27855 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310136998952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27856] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27856/stat : 27856 (java) S 27843 27846 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310135946152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27857] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27857/stat : 27857 (java) S 27843 27846 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105604985 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310123747560 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27858] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27858/stat : 27858 (java) S 27843 27846 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105604985 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310122693624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27859] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27859/stat : 27859 (java) S 27843 27846 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105604985 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310121641224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27860] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27860/stat : 27860 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604988 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310120589712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27861] ppid=27843 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/27846/task/27861/stat : 27861 (java) S 27843 27846 21426 0 -1 4202560 13050 0 0 0 144 3 0 0 20 0 22 0 105604988 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310119537336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27862] ppid=27843 vsize=9824732 CPUtime=1.48 cores=0,2,4,6 /proc/27846/task/27862/stat : 27862 (java) S 27843 27846 21426 0 -1 4202560 16595 0 0 0 144 4 0 0 20 0 22 0 105604988 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310118484536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27863] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27863/stat : 27863 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604988 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310117432440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27864] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27864/stat : 27864 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604988 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310116379848 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27877] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27877/stat : 27877 (java) S 27843 27846 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105605190 10060525568 37105 33554432000 1073741824 1073778376 140735284786000 140310115325352 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.6 Current children cumulated vsize (KiB) 9824732 [startup+6.30087 s] /proc/loadavg: 4.31 4.30 4.13 5/219 27880 /proc/meminfo: memFree=27564004/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9824732 CPUtime=12.25 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 35992 0 1 0 1204 21 0 0 20 0 22 0 105604982 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2456183 54523 2291 9 0 2446860 0 [pid=27846/tid=27848] ppid=27843 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/27846/task/27848/stat : 27848 (java) S 27843 27846 21426 0 -1 4202560 2447 0 1 0 53 2 0 0 20 0 22 0 105604983 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310501679992 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27849] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27849/stat : 27849 (java) S 27843 27846 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310479780136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27850] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27850/stat : 27850 (java) S 27843 27846 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310478727336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27851] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27851/stat : 27851 (java) S 27843 27846 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310477675048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27852] ppid=27843 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/27846/task/27852/stat : 27852 (java) S 27843 27846 21426 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310476622248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27853] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27853/stat : 27853 (java) S 27843 27846 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310139104040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27854] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27854/stat : 27854 (java) S 27843 27846 21426 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310138051240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27855] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27855/stat : 27855 (java) S 27843 27846 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310136998952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27856] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27856/stat : 27856 (java) S 27843 27846 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105604984 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310135946152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27857] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27857/stat : 27857 (java) S 27843 27846 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105604985 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310123747560 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27858] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27858/stat : 27858 (java) S 27843 27846 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105604985 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310122693624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27859] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27859/stat : 27859 (java) S 27843 27846 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105604985 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310121641224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27860] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27860/stat : 27860 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604988 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310120589712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27861] ppid=27843 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/27846/task/27861/stat : 27861 (java) S 27843 27846 21426 0 -1 4202560 15487 0 0 0 163 4 0 0 20 0 22 0 105604988 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310119537336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27862] ppid=27843 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/27846/task/27862/stat : 27862 (java) S 27843 27846 21426 0 -1 4202560 16599 0 0 0 149 4 0 0 20 0 22 0 105604988 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310118484536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27863] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27863/stat : 27863 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105604988 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310117432440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27864] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27864/stat : 27864 (java) S 27843 27846 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105604988 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310116379848 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27877] ppid=27843 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27877/stat : 27877 (java) S 27843 27846 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105605190 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310115325352 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27878] ppid=27843 vsize=9824732 CPUtime=3.13 cores=0,2,4,6 /proc/27846/task/27878/stat : 27878 (java) R 27843 27846 21426 0 -1 4202560 6 0 0 0 313 0 0 0 20 0 22 0 105605291 10060525568 54523 33554432000 1073741824 1073778376 140735284786000 140310114272024 140310358249711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27879] ppid=27843 vsize=9824732 CPUtime=3.14 cores=0,2,4,6 ################ # More data... # ################ [pid=27846/tid=27848] ppid=27843 vsize=9891296 CPUtime=0.6 cores=0,2,4,6 /proc/27846/task/27848/stat : 27848 (java) S 27843 27846 21426 0 -1 4202560 2465 0 1 0 56 4 0 0 20 0 23 0 105604983 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310501679992 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27849] ppid=27843 vsize=9891296 CPUtime=2.79 cores=0,2,4,6 /proc/27846/task/27849/stat : 27849 (java) R 27843 27846 21426 0 -1 4202560 1176 0 0 0 238 41 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310479780312 140310505855104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27850] ppid=27843 vsize=9891296 CPUtime=2.84 cores=0,2,4,6 /proc/27846/task/27850/stat : 27850 (java) R 27843 27846 21426 0 -1 4202560 913 0 0 0 240 44 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310478727512 140310505841295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27851] ppid=27843 vsize=9891296 CPUtime=2.2 cores=0,2,4,6 /proc/27846/task/27851/stat : 27851 (java) R 27843 27846 21426 0 -1 4202560 852 0 0 0 186 34 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310477675048 140310508578383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27852] ppid=27843 vsize=9891296 CPUtime=2.59 cores=0,2,4,6 /proc/27846/task/27852/stat : 27852 (java) R 27843 27846 21426 0 -1 4202560 1022 0 0 0 223 36 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310476622424 140310505436313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27853] ppid=27843 vsize=9891296 CPUtime=2.76 cores=0,2,4,6 /proc/27846/task/27853/stat : 27853 (java) R 27843 27846 21426 0 -1 4202560 956 0 0 0 234 42 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310139104216 140310508575604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27854] ppid=27843 vsize=9891296 CPUtime=2.97 cores=0,2,4,6 /proc/27846/task/27854/stat : 27854 (java) R 27843 27846 21426 0 -1 4202560 1069 0 0 0 250 47 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310138051416 140310508575660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27855] ppid=27843 vsize=9891296 CPUtime=2.31 cores=0,2,4,6 /proc/27846/task/27855/stat : 27855 (java) R 27843 27846 21426 0 -1 4202560 785 0 0 0 201 30 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310136998832 140310508575564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27856] ppid=27843 vsize=9891296 CPUtime=2.39 cores=0,2,4,6 /proc/27846/task/27856/stat : 27856 (java) R 27843 27846 21426 0 -1 4202560 1214 0 0 0 203 36 0 0 20 0 23 0 105604984 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310135946328 140310505855151 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27857] ppid=27843 vsize=9891296 CPUtime=4.66 cores=0,2,4,6 /proc/27846/task/27857/stat : 27857 (java) S 27843 27846 21426 0 -1 4202560 2656 0 0 0 459 7 0 0 20 0 23 0 105604985 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310123746440 206632432700 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27858] ppid=27843 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27858/stat : 27858 (java) S 27843 27846 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 105604985 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310122693624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27859] ppid=27843 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27859/stat : 27859 (java) S 27843 27846 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 23 0 105604985 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310121641224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27860] ppid=27843 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27860/stat : 27860 (java) S 27843 27846 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 105604988 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310120589712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27861] ppid=27843 vsize=9891296 CPUtime=1.92 cores=0,2,4,6 /proc/27846/task/27861/stat : 27861 (java) S 27843 27846 21426 0 -1 4202560 15508 0 0 0 188 4 0 0 20 0 23 0 105604988 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310119537336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27862] ppid=27843 vsize=9891296 CPUtime=1.83 cores=0,2,4,6 /proc/27846/task/27862/stat : 27862 (java) S 27843 27846 21426 0 -1 4202560 16609 0 0 0 179 4 0 0 20 0 23 0 105604988 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310118484536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27863] ppid=27843 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27863/stat : 27863 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 105604988 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310117432440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27864] ppid=27843 vsize=9891296 CPUtime=0.22 cores=0,2,4,6 /proc/27846/task/27864/stat : 27864 (java) S 27843 27846 21426 0 -1 4202560 52 0 0 0 9 13 0 0 20 0 23 0 105604988 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310116379848 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27877] ppid=27843 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27877/stat : 27877 (java) S 27843 27846 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 23 0 105605190 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310115325352 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27892] ppid=27843 vsize=9891296 CPUtime=653.42 cores=0,2,4,6 /proc/27846/task/27892/stat : 27892 (java) S 27843 27846 21426 0 -1 4202560 3 0 0 0 65333 9 0 0 20 0 23 0 105628511 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310114270648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27893] ppid=27843 vsize=9891296 CPUtime=653.36 cores=0,2,4,6 /proc/27846/task/27893/stat : 27893 (java) S 27843 27846 21426 0 -1 4202560 150 0 0 0 65323 13 0 0 20 0 23 0 105628511 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310112164664 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27894] ppid=27843 vsize=9891296 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27894/stat : 27894 (java) S 27843 27846 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 23 0 105628511 10128687104 951344 33554432000 1073741824 1073778376 140735284786000 140310113219496 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (KiB) 9891296 [startup+898.401 s] /proc/loadavg: 4.03 4.07 4.11 5/219 28006 /proc/meminfo: memFree=23685752/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9957860 CPUtime=1798.45 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 47670 0 1 0 179466 379 0 0 20 0 21 0 105604982 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2489465 954535 2301 9 0 2480142 0 [pid=27846/tid=27848] ppid=27843 vsize=9957860 CPUtime=0.6 cores=0,2,4,6 /proc/27846/task/27848/stat : 27848 (java) S 27843 27846 21426 0 -1 4202560 2465 0 1 0 56 4 0 0 20 0 21 0 105604983 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310501679992 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27849] ppid=27843 vsize=9957860 CPUtime=2.81 cores=0,2,4,6 /proc/27846/task/27849/stat : 27849 (java) S 27843 27846 21426 0 -1 4202560 1176 0 0 0 240 41 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310479780136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27850] ppid=27843 vsize=9957860 CPUtime=2.88 cores=0,2,4,6 /proc/27846/task/27850/stat : 27850 (java) S 27843 27846 21426 0 -1 4202560 914 0 0 0 244 44 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310478727336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27851] ppid=27843 vsize=9957860 CPUtime=2.26 cores=0,2,4,6 /proc/27846/task/27851/stat : 27851 (java) S 27843 27846 21426 0 -1 4202560 865 0 0 0 192 34 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310477675048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27852] ppid=27843 vsize=9957860 CPUtime=2.64 cores=0,2,4,6 /proc/27846/task/27852/stat : 27852 (java) S 27843 27846 21426 0 -1 4202560 1026 0 0 0 228 36 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310476622248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27853] ppid=27843 vsize=9957860 CPUtime=2.78 cores=0,2,4,6 /proc/27846/task/27853/stat : 27853 (java) S 27843 27846 21426 0 -1 4202560 956 0 0 0 236 42 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310139104040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27854] ppid=27843 vsize=9957860 CPUtime=3 cores=0,2,4,6 /proc/27846/task/27854/stat : 27854 (java) S 27843 27846 21426 0 -1 4202560 1159 0 0 0 253 47 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310138051240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27855] ppid=27843 vsize=9957860 CPUtime=2.32 cores=0,2,4,6 /proc/27846/task/27855/stat : 27855 (java) S 27843 27846 21426 0 -1 4202560 794 0 0 0 202 30 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310136998952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27856] ppid=27843 vsize=9957860 CPUtime=2.42 cores=0,2,4,6 /proc/27846/task/27856/stat : 27856 (java) S 27843 27846 21426 0 -1 4202560 1218 0 0 0 206 36 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310135946152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27857] ppid=27843 vsize=9957860 CPUtime=4.66 cores=0,2,4,6 /proc/27846/task/27857/stat : 27857 (java) S 27843 27846 21426 0 -1 4202560 2660 0 0 0 459 7 0 0 20 0 21 0 105604985 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310123747560 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27858] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27858/stat : 27858 (java) S 27843 27846 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 105604985 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310122693624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27859] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27859/stat : 27859 (java) S 27843 27846 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 105604985 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310121641224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27860] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27860/stat : 27860 (java) S 27843 27846 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310120589712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27861] ppid=27843 vsize=9957860 CPUtime=1.92 cores=0,2,4,6 /proc/27846/task/27861/stat : 27861 (java) S 27843 27846 21426 0 -1 4202560 15508 0 0 0 188 4 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310119537336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27862] ppid=27843 vsize=9957860 CPUtime=1.85 cores=0,2,4,6 /proc/27846/task/27862/stat : 27862 (java) R 27843 27846 21426 0 -1 4202560 16610 0 0 0 181 4 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310118484536 140310504401889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27863] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27863/stat : 27863 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310117432440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27864] ppid=27843 vsize=9957860 CPUtime=0.22 cores=0,2,4,6 /proc/27846/task/27864/stat : 27864 (java) S 27843 27846 21426 0 -1 4202560 52 0 0 0 9 13 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310116379848 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27893] ppid=27843 vsize=9957860 CPUtime=653.39 cores=0,2,4,6 /proc/27846/task/27893/stat : 27893 (java) R 27843 27846 21426 0 -1 4202560 151 0 0 0 65326 13 0 0 20 0 21 0 105628511 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310112164544 140310357729154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (KiB) 9957860 # ############ Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27846 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+898.401 s] /proc/loadavg: 4.03 4.07 4.11 5/219 28006 /proc/meminfo: memFree=23685752/32872528 swapFree=12328/568296 [pid=27846] ppid=27843 vsize=9957860 CPUtime=1798.45 cores=0,2,4,6 /proc/27846/stat : 27846 (java) S 27843 27846 21426 0 -1 4202496 47670 0 1 0 179466 379 0 0 20 0 21 0 105604982 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140735284777136 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/27846/statm: 2489465 954535 2301 9 0 2480142 0 [pid=27846/tid=27848] ppid=27843 vsize=9957860 CPUtime=0.6 cores=0,2,4,6 /proc/27846/task/27848/stat : 27848 (java) S 27843 27846 21426 0 -1 4202560 2465 0 1 0 56 4 0 0 20 0 21 0 105604983 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310501679992 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27849] ppid=27843 vsize=9957860 CPUtime=2.81 cores=0,2,4,6 /proc/27846/task/27849/stat : 27849 (java) S 27843 27846 21426 0 -1 4202560 1176 0 0 0 240 41 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310479780136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27850] ppid=27843 vsize=9957860 CPUtime=2.88 cores=0,2,4,6 /proc/27846/task/27850/stat : 27850 (java) S 27843 27846 21426 0 -1 4202560 914 0 0 0 244 44 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310478727336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27851] ppid=27843 vsize=9957860 CPUtime=2.26 cores=0,2,4,6 /proc/27846/task/27851/stat : 27851 (java) S 27843 27846 21426 0 -1 4202560 865 0 0 0 192 34 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310477675048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27852] ppid=27843 vsize=9957860 CPUtime=2.64 cores=0,2,4,6 /proc/27846/task/27852/stat : 27852 (java) S 27843 27846 21426 0 -1 4202560 1026 0 0 0 228 36 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310476622248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27853] ppid=27843 vsize=9957860 CPUtime=2.78 cores=0,2,4,6 /proc/27846/task/27853/stat : 27853 (java) S 27843 27846 21426 0 -1 4202560 956 0 0 0 236 42 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310139104040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27854] ppid=27843 vsize=9957860 CPUtime=3 cores=0,2,4,6 /proc/27846/task/27854/stat : 27854 (java) S 27843 27846 21426 0 -1 4202560 1159 0 0 0 253 47 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310138051240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27855] ppid=27843 vsize=9957860 CPUtime=2.32 cores=0,2,4,6 /proc/27846/task/27855/stat : 27855 (java) S 27843 27846 21426 0 -1 4202560 794 0 0 0 202 30 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310136998952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27856] ppid=27843 vsize=9957860 CPUtime=2.42 cores=0,2,4,6 /proc/27846/task/27856/stat : 27856 (java) S 27843 27846 21426 0 -1 4202560 1218 0 0 0 206 36 0 0 20 0 21 0 105604984 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310135946152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27857] ppid=27843 vsize=9957860 CPUtime=4.66 cores=0,2,4,6 /proc/27846/task/27857/stat : 27857 (java) S 27843 27846 21426 0 -1 4202560 2660 0 0 0 459 7 0 0 20 0 21 0 105604985 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310123747560 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27858] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27858/stat : 27858 (java) S 27843 27846 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 105604985 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310122693624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27859] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27859/stat : 27859 (java) S 27843 27846 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 105604985 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310121641224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27846/tid=27860] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27860/stat : 27860 (java) S 27843 27846 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310120589712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27861] ppid=27843 vsize=9957860 CPUtime=1.92 cores=0,2,4,6 /proc/27846/task/27861/stat : 27861 (java) S 27843 27846 21426 0 -1 4202560 15508 0 0 0 188 4 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310119537336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27846/tid=27862] ppid=27843 vsize=9957860 CPUtime=1.85 cores=0,2,4,6 /proc/27846/task/27862/stat : 27862 (java) R 27843 27846 21426 0 -1 4202560 16610 0 0 0 181 4 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310118484536 140310504401889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27863] ppid=27843 vsize=9957860 CPUtime=0 cores=0,2,4,6 /proc/27846/task/27863/stat : 27863 (java) S 27843 27846 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310117432440 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27846/tid=27864] ppid=27843 vsize=9957860 CPUtime=0.22 cores=0,2,4,6 /proc/27846/task/27864/stat : 27864 (java) S 27843 27846 21426 0 -1 4202560 52 0 0 0 9 13 0 0 20 0 21 0 105604988 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310116379848 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27846/tid=27893] ppid=27843 vsize=9957860 CPUtime=653.39 cores=0,2,4,6 /proc/27846/task/27893/stat : 27893 (java) R 27843 27846 21426 0 -1 4202560 151 0 0 0 65326 13 0 0 20 0 21 0 105628511 10196848640 954535 33554432000 1073741824 1073778376 140735284786000 140310112164544 140310357729154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (KiB) 9957860 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27846 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=949430 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=63382 # CPU time returned by wait4() is 1797.01 # while last known CPU time is 1798.45 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.03984 # lost CPU user time (s): 2.23992 # lost CPU system time (s): -0.2 Real time (s): 898.448 CPU time (s): 1800.49 CPU user time (s): 1796.9 CPU system time (s): 3.59 CPU usage (%): 200.4 Max. virtual memory (cumulated for all children) (KiB): 9957860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.95 system time used= 4.06338 maximum resident set size= 3818160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47677 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22531 involuntary context switches= 20311 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.59215 second user time and 7.2339 second system time The end
Begin job on node138 at 2016-06-06 20:12:04 IDJOB=4081473 IDBENCH=24983 IDSOLVER=2543 FILE ID=node138/4081473-1465236724 RUNJOBID= node138-1465221375-21442 PBS_JOBID= 19843229 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081473-1465236724/watcher-4081473-1465236724 -o /tmp/evaluation-result-4081473-1465236724/solver-4081473-1465236724 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081473-1465236724.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED=1754033167 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27774148 kB Buffers: 31612 kB Cached: 97252 kB SwapCached: 46416 kB Active: 3704024 kB Inactive: 114584 kB Active(anon): 3644932 kB Inactive(anon): 47172 kB Active(file): 59092 kB Inactive(file): 67412 kB Unevictable: 568296 kB Mlocked: 12328 kB SwapTotal: 67108856 kB SwapFree: 67053464 kB Dirty: 928 kB Writeback: 0 kB AnonPages: 4216688 kB Mapped: 15180 kB Shmem: 0 kB Slab: 568260 kB SReclaimable: 11872 kB SUnreclaim: 556388 kB KernelStack: 1608 kB PageTables: 12200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4462744 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4118528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node138 at 2016-06-06 20:27:03