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) | 22 | 1800.7 | 894.774 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | d25f6086317f033c233c4700493f03d1 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 20.007 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20 |
| Optimality of the best value was proved | NO |
| Number of variables | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.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.10 c version PB16.v20160501 0.00/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.10 c java.vm.version 19.1-b02 0.00/0.10 c java.vm.vendor Sun Microsystems Inc. 0.00/0.10 c sun.arch.data.model 64 0.00/0.10 c java.version 1.6.0_24 0.00/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/0.13 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.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 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.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4081448-1465247189.opb 0.08/0.13 c reading problem ... 0.08/0.13 c objective function found 1.01/0.55 c ... done. Wall clock time 0.421s. 1.01/0.55 c declared #vars 6027 1.01/0.55 c #constraints 21278 1.01/0.55 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.01/0.55 c constraints type 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1.01/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1.01/0.55 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1.01/0.55 c 21278 constraints processed. 1.01/0.55 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.01/0.55 c constraints type 1.01/0.55 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 1.01/0.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 1.01/0.55 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.01/0.55 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1.01/0.55 c 21278 constraints processed. 1.01/0.55 c objective function length is 650 literals 1.35/0.65 c And the winner is solver0 2.11/1.06 c SATISFIABLE 2.11/1.06 c OPTIMIZING... 2.11/1.06 c Got one! Elapsed wall clock time (in seconds):0.93 2.11/1.06 o 28 2.11/1.08 c And the winner is solver0 2.26/1.56 c Got one! Elapsed wall clock time (in seconds):1.436 2.26/1.56 o 27 6.89/3.36 c cleaning 2503 clauses out of 5007 with flag 28116/5007 7.69/3.64 c And the winner is solver1 7.81/4.07 c Got one! Elapsed wall clock time (in seconds):3.942 7.81/4.07 o 26 11.80/6.05 c cleaning 4137 clauses out of 8273 with flag 25372/10776 16.49/8.35 c cleaning 5056 clauses out of 10136 with flag 73504/16776 21.63/10.86 c And the winner is solver1 21.76/11.07 c Got one! Elapsed wall clock time (in seconds):10.947 21.76/11.07 o 25 25.70/13.00 c And the winner is solver1 25.70/13.01 c cleaning 7723 clauses out of 15445 with flag 33387/27141 25.70/13.07 c Got one! Elapsed wall clock time (in seconds):12.949 25.70/13.07 o 24 28.52/14.48 c cleaning 6361 clauses out of 12722 with flag 29902/32141 32.57/16.43 c cleaning 6162 clauses out of 12361 with flag 69340/38141 36.37/18.37 c cleaning 6575 clauses out of 13199 with flag 119023/45141 41.31/20.74 c cleaning 7306 clauses out of 14624 with flag 193785/53141 46.91/23.51 c cleaning 8141 clauses out of 16318 with flag 268808/62141 53.26/26.68 c cleaning 9082 clauses out of 18177 with flag 354017/72141 59.67/29.81 c cleaning 10025 clauses out of 20095 with flag 453546/83141 66.67/33.34 c cleaning 11021 clauses out of 22070 with flag 584324/95141 75.46/37.68 c cleaning 12013 clauses out of 24054 with flag 692170/108146 85.81/42.75 c cleaning 12988 clauses out of 26036 with flag 786965/122141 89.41/44.54 c And the winner is solver1 89.41/44.60 c Got one! Elapsed wall clock time (in seconds):44.471 89.41/44.60 o 23 90.10/44.97 c cleaning 9429 clauses out of 18858 with flag 5350/127951 93.69/46.78 c cleaning 7711 clauses out of 15425 with flag 35829/133947 98.29/49.01 c cleaning 7352 clauses out of 14713 with flag 77398/140946 103.45/51.59 c cleaning 7666 clauses out of 15362 with flag 122120/148947 109.44/54.53 c cleaning 8326 clauses out of 16695 with flag 194574/157946 116.24/57.94 c cleaning 9178 clauses out of 18369 with flag 279587/167946 124.04/61.88 c cleaning 10070 clauses out of 20191 with flag 356067/178946 133.03/66.27 c cleaning 11051 clauses out of 22121 with flag 442377/190946 143.23/71.34 c cleaning 11999 clauses out of 24071 with flag 561578/203947 154.64/77.06 c cleaning 13035 clauses out of 26071 with flag 679559/217946 167.04/83.16 c cleaning 14018 clauses out of 28036 with flag 814848/232946 179.84/89.59 c cleaning 14959 clauses out of 30018 with flag 956750/248946 193.23/96.25 c cleaning 16021 clauses out of 32059 with flag 1121259/265946 207.75/103.81 c cleaning 17019 clauses out of 34038 with flag 1310864/283946 222.96/111.48 c cleaning 17997 clauses out of 36019 with flag 1500512/302946 239.36/119.69 c cleaning 19001 clauses out of 38024 with flag 1723917/322948 257.67/128.72 c cleaning 20012 clauses out of 40023 with flag 1975858/343948 274.85/137.36 c cleaning 20997 clauses out of 42009 with flag 2194497/365946 295.01/147.37 c cleaning 21993 clauses out of 44012 with flag 2408555/388946 315.44/157.59 c cleaning 22975 clauses out of 46022 with flag 2645082/412949 336.77/168.08 c cleaning 23999 clauses out of 48044 with flag 2871391/437946 359.17/179.24 c cleaning 25022 clauses out of 50046 with flag 3134831/463947 383.25/191.13 c cleaning 25996 clauses out of 52025 with flag 3372837/490948 392.66/195.84 c And the winner is solver1 392.78/196.01 c Got one! Elapsed wall clock time (in seconds):195.883 392.78/196.01 o 22 398.86/199.63 c cleaning 20575 clauses out of 41149 with flag 31606/506068 403.06/201.76 c cleaning 13281 clauses out of 26572 with flag 67359/512066 407.86/204.19 c cleaning 10136 clauses out of 20291 with flag 102459/519066 413.86/207.15 c cleaning 9071 clauses out of 18157 with flag 156007/527068 420.26/210.32 c cleaning 9021 clauses out of 18084 with flag 211617/536066 428.47/214.27 c cleaning 9532 clauses out of 19063 with flag 288350/546066 436.47/218.25 c cleaning 10254 clauses out of 20532 with flag 350679/557067 446.06/223.07 c cleaning 11111 clauses out of 22277 with flag 430860/569066 456.06/228.07 c cleaning 12079 clauses out of 24166 with flag 513120/582066 467.58/233.74 c cleaning 13034 clauses out of 26087 with flag 620510/596066 477.16/238.55 c cleaning 13995 clauses out of 28054 with flag 725848/611067 488.16/244.04 c cleaning 15010 clauses out of 30059 with flag 916402/627067 501.75/250.75 c cleaning 15990 clauses out of 32048 with flag 1078502/644066 515.16/257.48 c cleaning 16992 clauses out of 34058 with flag 1240720/662066 529.00/264.22 c cleaning 18006 clauses out of 36066 with flag 1426683/681066 543.40/271.42 c cleaning 18997 clauses out of 38060 with flag 1665674/701066 557.91/278.53 c cleaning 19991 clauses out of 40064 with flag 1847372/722067 572.32/285.74 c cleaning 21006 clauses out of 42072 with flag 2046499/744066 588.94/293.96 c cleaning 22025 clauses out of 44066 with flag 2264417/767066 607.94/303.44 c cleaning 22999 clauses out of 46042 with flag 2455402/791067 628.45/313.51 c cleaning 23992 clauses out of 48042 with flag 2644108/816066 650.17/324.30 c cleaning 25019 clauses out of 50051 with flag 2848906/842067 671.77/335.06 c cleaning 26003 clauses out of 52031 with flag 3066019/869066 695.23/346.51 c cleaning 27012 clauses out of 54028 with flag 3284212/897066 719.39/358.48 c cleaning 27930 clauses out of 56016 with flag 3516843/926066 747.30/372.07 c cleaning 29018 clauses out of 58086 with flag 3762038/956066 778.09/388.60 c cleaning 29972 clauses out of 60068 with flag 4058599/987066 808.20/403.43 c cleaning 31020 clauses out of 62096 with flag 4367410/1019066 834.54/416.40 c cleaning 32005 clauses out of 64076 with flag 4710319/1052066 863.33/430.78 c cleaning 32987 clauses out of 66071 with flag 5028035/1086066 893.49/445.76 c cleaning 34025 clauses out of 68085 with flag 5360240/1121067 922.59/460.24 c cleaning 34958 clauses out of 70059 with flag 5685927/1157066 953.63/475.63 c cleaning 36034 clauses out of 72102 with flag 6042939/1194067 985.86/491.65 c cleaning 37013 clauses out of 74067 with flag 6390814/1232066 1022.35/509.85 c cleaning 38019 clauses out of 76054 with flag 6803057/1271066 1058.40/527.73 c cleaning 39009 clauses out of 78036 with flag 7153927/1311067 1093.28/545.09 c cleaning 0 clauses out of 7298 with flag 0/7299 1094.23/545.48 c cleaning 40013 clauses out of 80026 with flag 7529290/1352066 1129.38/562.96 c cleaning 40955 clauses out of 82013 with flag 7904936/1394066 1163.55/579.93 c cleaning 41959 clauses out of 84059 with flag 8366048/1437067 1199.14/597.63 c cleaning 42967 clauses out of 86101 with flag 8748608/1481068 1236.95/616.40 c cleaning 44000 clauses out of 88132 with flag 9166036/1526066 1278.57/636.92 c cleaning 45049 clauses out of 90132 with flag 9637051/1572066 1320.27/657.66 c cleaning 45943 clauses out of 92083 with flag 10102932/1619066 1367.34/680.74 c cleaning 47025 clauses out of 94140 with flag 10578026/1667066 1416.38/704.98 c cleaning 48042 clauses out of 96115 with flag 11138234/1716066 1458.20/725.53 c cleaning 49024 clauses out of 98073 with flag 11654579/1766066 1504.76/748.59 c cleaning 49974 clauses out of 100049 with flag 12146019/1817066 1553.17/772.56 c cleaning 50982 clauses out of 102075 with flag 12647767/1869066 1604.01/797.77 c cleaning 51987 clauses out of 104094 with flag 13204527/1922067 1653.67/822.39 c cleaning 53050 clauses out of 106106 with flag 13763953/1976066 1710.99/850.60 c cleaning 54012 clauses out of 108056 with flag 14241365/2031066 1766.72/878.25 c cleaning 54990 clauses out of 110046 with flag 14751127/2087068 1800.04/894.70 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.04/894.70 c starts : 2287 1800.04/894.70 c conflicts : 2122524 1800.04/894.70 c decisions : 34322652 1800.04/894.70 c propagations : 1842687247 1800.04/894.70 c inspects : 7274521842 1800.04/894.70 c shortcuts : 0 1800.04/894.70 c learnt literals : 0 1800.04/894.70 c learnt binary clauses : 4 1800.04/894.70 c learnt ternary clauses : 6 1800.04/894.70 c learnt constraints : 2122524 1800.04/894.70 c ignored constraints : 0 1800.04/894.70 c root simplifications : 0 1800.04/894.70 c removed literals (reason simplification) : 27850261 1800.04/894.70 c reason swapping (by a shorter reason) : 0 1800.04/894.70 c Calls to reduceDB : 89 1800.04/894.70 c Number of update (reduction) of LBD : 1533681 1800.04/894.70 c Imported unit clauses : 0 1800.04/894.70 c number of reductions to clauses (during analyze) : 0 1800.04/894.70 c number of learned constraints concerned by reduction : 0 1800.04/894.70 c number of learning phase by resolution : 0 1800.04/894.70 c number of learning phase by cutting planes : 0 1800.04/894.70 c speed (assignments/second) : 2637338.4080539066 1800.04/894.70 c non guided choices 0 1800.04/894.73 c learnt constraints type 1800.04/894.73 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4 1800.04/894.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 90508 1800.04/894.73 c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<< 1800.04/894.73 c starts : 41 1800.04/894.73 c conflicts : 9951 1800.04/894.73 c decisions : 129977 1800.04/894.73 c propagations : 1991926 1800.04/894.73 c inspects : 634192022 1800.04/894.73 c shortcuts : 0 1800.04/894.73 c learnt literals : 0 1800.04/894.73 c learnt binary clauses : 0 1800.04/894.73 c learnt ternary clauses : 2 1800.04/894.73 c learnt constraints : 9949 1800.04/894.73 c ignored constraints : 0 1800.04/894.73 c root simplifications : 0 1800.04/894.73 c removed literals (reason simplification) : 0 1800.04/894.73 c reason swapping (by a shorter reason) : 0 1800.04/894.73 c Calls to reduceDB : 1 1800.04/894.73 c Number of update (reduction) of LBD : 0 1800.04/894.73 c Imported unit clauses : 0 1800.04/894.73 c number of reductions to clauses (during analyze) : 0 1800.04/894.73 c number of learned constraints concerned by reduction : 0 1800.04/894.73 c number of learning phase by resolution : 0 1800.04/894.73 c number of learning phase by cutting planes : 0 1800.04/894.73 c speed (assignments/second) : 2230.220611945111 1800.04/894.73 c non guided choices 0 1800.04/894.73 c learnt constraints type 1800.04/894.73 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 147 1800.04/894.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 26 1800.04/894.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9776 1800.04/894.73 s SATISFIABLE 1800.04/894.73 c Found 7 solution(s) 1800.04/894.74 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 x2166 x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 x2193 x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 x2222 -x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 x2327 -x2328 -x2329 x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 x4033 x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 x4409 -x4410 -x4411 x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 x4477 -x4478 -x4479 -x4480 -x4481 x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 x4518 -x4519 -x4520 -x4521 x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 x4583 -x4584 -x4585 x4586 x4587 x4588 -x4589 -x4590 -x4591 x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 -x5166 -x5167 -x5168 x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 x5631 -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 x5850 -x5851 -x5852 -x5853 -x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 x5902 -x5903 -x5904 x5905 -x5906 -x5907 -x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 x5939 x5940 x5941 -x5942 -x5943 -x5944 x5945 -x5946 x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 x6024 -x6025 x6026 -x6027 1800.04/894.75 c objective function=22 1800.04/894.75 c Total wall clock time (in seconds): 894.629
OK 22
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-4081448-1465247189/watcher-4081448-1465247189 -o /tmp/evaluation-result-4081448-1465247189/solver-4081448-1465247189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15693 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081448-1465247189.opb pid=16720 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.24 4.23 4.15 4/199 16723 /proc/meminfo: memFree=27049100/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/16723/stat : 16723 (java) D 16720 16723 15677 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 106651668 9515008 183 33554432000 1073741824 1073778376 140733194388432 140733194379464 273905696437 0 0 4096 0 18446744072100764964 0 0 17 0 0 0 0 0 0 /proc/16723/statm: 2323 183 140 9 0 71 0 [startup+0.100064 s] /proc/loadavg: 4.24 4.23 4.15 4/199 16723 /proc/meminfo: memFree=27049100/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 4394 0 1 0 8 0 0 0 20 0 18 0 106651668 9787879424 6034 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2389619 6034 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200271 s] /proc/loadavg: 4.24 4.23 4.15 4/199 16723 /proc/meminfo: memFree=27049100/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 4685 0 1 0 23 1 0 0 20 0 18 0 106651668 9787879424 6784 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2389619 6784 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300273 s] /proc/loadavg: 4.24 4.23 4.15 4/199 16723 /proc/meminfo: memFree=27049100/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 5696 0 1 0 45 1 0 0 20 0 18 0 106651668 9787879424 9069 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2389619 9069 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700238 s] /proc/loadavg: 4.24 4.23 4.15 4/199 16723 /proc/meminfo: memFree=27049100/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9824732 CPUtime=1.69 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 20997 0 1 0 163 6 0 0 20 0 19 0 106651668 10060525568 31256 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2456183 31256 2257 9 0 2446860 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 9824732 [startup+1.50075 s] /proc/loadavg: 4.24 4.23 4.15 6/218 16748 /proc/meminfo: memFree=26926172/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 21158 0 1 0 217 9 0 0 20 0 19 0 106651668 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2456183 32727 2270 9 0 2446860 0 [pid=16723/tid=16725] ppid=16720 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/16723/task/16725/stat : 16725 (java) S 16720 16723 15677 0 -1 4202560 2440 0 1 0 50 2 0 0 20 0 19 0 106651669 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829612938104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16726] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16726/stat : 16726 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829574429352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16727] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16727/stat : 16727 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829455088424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16728] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16728/stat : 16728 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829454035880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16729] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16729/stat : 16729 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829452983336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16730] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16730/stat : 16730 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829451929768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16731] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16731/stat : 16731 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829450877224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16732] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16732/stat : 16732 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829449824680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16733] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16733/stat : 16733 (java) S 16720 16723 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106651670 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139829448772136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16734] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16734/stat : 16734 (java) S 16720 16723 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106651671 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828966443624 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16735] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16735/stat : 16735 (java) S 16720 16723 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106651672 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828965389944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16736] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16736/stat : 16736 (java) S 16720 16723 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106651672 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828964337288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16737] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16737/stat : 16737 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651674 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828963286032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16738] ppid=16720 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/16723/task/16738/stat : 16738 (java) S 16720 16723 15677 0 -1 4202560 8955 0 0 0 67 2 0 0 20 0 19 0 106651674 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828962232376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16739] ppid=16720 vsize=9824732 CPUtime=0.74 cores=0,2,4,6 /proc/16723/task/16739/stat : 16739 (java) S 16720 16723 15677 0 -1 4202560 8424 0 0 0 72 2 0 0 20 0 19 0 106651674 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828961179832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16740] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16740/stat : 16740 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651674 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828960127480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16741] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16741/stat : 16741 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106651674 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828959075144 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16744] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16744/stat : 16744 (java) S 16720 16723 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106651725 10060525568 32727 33554432000 1073741824 1073778376 140736113699232 139828955915816 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 9824732 [startup+3.10091 s] /proc/loadavg: 4.22 4.23 4.15 6/221 16751 /proc/meminfo: memFree=26892016/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9824732 CPUtime=6.46 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 25982 0 1 0 635 11 0 0 20 0 22 0 106651668 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2456183 51246 2287 9 0 2446860 0 [pid=16723/tid=16725] ppid=16720 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/16723/task/16725/stat : 16725 (java) S 16720 16723 15677 0 -1 4202560 2440 0 1 0 51 2 0 0 20 0 22 0 106651669 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829612938104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16726] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16726/stat : 16726 (java) S 16720 16723 15677 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829574429352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16727] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16727/stat : 16727 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829455088424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16728] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16728/stat : 16728 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829454035880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16729] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16729/stat : 16729 (java) S 16720 16723 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829452983336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16730] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16730/stat : 16730 (java) S 16720 16723 15677 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829451929768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16731] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16731/stat : 16731 (java) S 16720 16723 15677 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829450877224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16732] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16732/stat : 16732 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829449824680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16733] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16733/stat : 16733 (java) S 16720 16723 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139829448772136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16734] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16734/stat : 16734 (java) S 16720 16723 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106651671 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828966443624 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16735] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16735/stat : 16735 (java) S 16720 16723 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828965389944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16736] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16736/stat : 16736 (java) S 16720 16723 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828964337288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16737] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16737/stat : 16737 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828963286032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16738] ppid=16720 vsize=9824732 CPUtime=1.27 cores=0,2,4,6 /proc/16723/task/16738/stat : 16738 (java) S 16720 16723 15677 0 -1 4202560 8971 0 0 0 125 2 0 0 20 0 22 0 106651674 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828962232376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16739] ppid=16720 vsize=9824732 CPUtime=1.32 cores=0,2,4,6 /proc/16723/task/16739/stat : 16739 (java) S 16720 16723 15677 0 -1 4202560 13145 0 0 0 129 3 0 0 20 0 22 0 106651674 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828961179832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16740] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16740/stat : 16740 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828960127480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16741] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16741/stat : 16741 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828959075144 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16744] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16744/stat : 16744 (java) S 16720 16723 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106651725 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828955915816 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16749] ppid=16720 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/16723/task/16749/stat : 16749 (java) R 16720 16723 15677 0 -1 4202560 6 0 0 0 150 0 0 0 20 0 22 0 106651825 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828958020512 139829455896459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16750] ppid=16720 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/16723/task/16750/stat : 16750 (java) R 16720 16723 15677 0 -1 4202560 41 0 0 0 147 0 0 0 20 0 22 0 106651825 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828954862072 139829455877849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16751] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16751/stat : 16751 (java) S 16720 16723 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106651826 10060525568 51246 33554432000 1073741824 1073778376 140736113699232 139828956968360 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.46 Current children cumulated vsize (KiB) 9824732 [startup+6.30103 s] /proc/loadavg: 4.22 4.23 4.15 6/221 16754 /proc/meminfo: memFree=26830516/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9824732 CPUtime=12.4 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 26632 0 1 0 1224 16 0 0 20 0 22 0 106651668 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2456183 56459 2293 9 0 2446860 0 [pid=16723/tid=16725] ppid=16720 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/16723/task/16725/stat : 16725 (java) S 16720 16723 15677 0 -1 4202560 2441 0 1 0 51 2 0 0 20 0 22 0 106651669 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829612938104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16726] ppid=16720 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/16723/task/16726/stat : 16726 (java) S 16720 16723 15677 0 -1 4202560 143 0 0 0 3 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829574429352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16727] ppid=16720 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/16723/task/16727/stat : 16727 (java) S 16720 16723 15677 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829455088424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16728] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16728/stat : 16728 (java) S 16720 16723 15677 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829454035880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16729] ppid=16720 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/16723/task/16729/stat : 16729 (java) S 16720 16723 15677 0 -1 4202560 143 0 0 0 1 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829452983336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16730] ppid=16720 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/16723/task/16730/stat : 16730 (java) S 16720 16723 15677 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829451929768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16731] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16731/stat : 16731 (java) S 16720 16723 15677 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829450877224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16732] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16732/stat : 16732 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829449824680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16733] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16733/stat : 16733 (java) S 16720 16723 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106651670 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139829448772136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16734] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16734/stat : 16734 (java) S 16720 16723 15677 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 106651671 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139828966443624 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16735] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16735/stat : 16735 (java) S 16720 16723 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139828965389944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16736] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16736/stat : 16736 (java) S 16720 16723 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139828964337288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16737] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16737/stat : 16737 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139828963286032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16738] ppid=16720 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/16723/task/16738/stat : 16738 (java) S 16720 16723 15677 0 -1 4202560 9072 0 0 0 156 2 0 0 20 0 22 0 106651674 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139828962232376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16739] ppid=16720 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/16723/task/16739/stat : 16739 (java) S 16720 16723 15677 0 -1 4202560 13148 0 0 0 138 3 0 0 20 0 22 0 106651674 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139828961179832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16740] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16740/stat : 16740 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 56459 33554432000 1073741824 1073778376 140736113699232 139828960127480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16741] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.20 4.24 4.19 6/221 16869 /proc/meminfo: memFree=23460616/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9824732 CPUtime=1774.93 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 41079 0 1 0 177251 242 0 0 20 0 22 0 106651668 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2456183 996562 2302 9 0 2446860 0 [pid=16723/tid=16725] ppid=16720 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/16723/task/16725/stat : 16725 (java) S 16720 16723 15677 0 -1 4202560 2453 0 1 0 55 3 0 0 20 0 22 0 106651669 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829612938104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16726] ppid=16720 vsize=9824732 CPUtime=3.92 cores=0,2,4,6 /proc/16723/task/16726/stat : 16726 (java) S 16720 16723 15677 0 -1 4202560 995 0 0 0 369 23 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829574429352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16727] ppid=16720 vsize=9824732 CPUtime=4.3 cores=0,2,4,6 /proc/16723/task/16727/stat : 16727 (java) S 16720 16723 15677 0 -1 4202560 853 0 0 0 412 18 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829455088424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16728] ppid=16720 vsize=9824732 CPUtime=4.18 cores=0,2,4,6 /proc/16723/task/16728/stat : 16728 (java) S 16720 16723 15677 0 -1 4202560 761 0 0 0 401 17 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829454035880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16729] ppid=16720 vsize=9824732 CPUtime=3.92 cores=0,2,4,6 /proc/16723/task/16729/stat : 16729 (java) S 16720 16723 15677 0 -1 4202560 1242 0 0 0 367 25 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829452983336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16730] ppid=16720 vsize=9824732 CPUtime=4.28 cores=0,2,4,6 /proc/16723/task/16730/stat : 16730 (java) S 16720 16723 15677 0 -1 4202560 779 0 0 0 410 18 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829451929768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16731] ppid=16720 vsize=9824732 CPUtime=4.29 cores=0,2,4,6 /proc/16723/task/16731/stat : 16731 (java) S 16720 16723 15677 0 -1 4202560 1105 0 0 0 406 23 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829450877224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16732] ppid=16720 vsize=9824732 CPUtime=3.9 cores=0,2,4,6 /proc/16723/task/16732/stat : 16732 (java) S 16720 16723 15677 0 -1 4202560 867 0 0 0 369 21 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829449824680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16733] ppid=16720 vsize=9824732 CPUtime=3.91 cores=0,2,4,6 /proc/16723/task/16733/stat : 16733 (java) S 16720 16723 15677 0 -1 4202560 1058 0 0 0 371 20 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829448772136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16734] ppid=16720 vsize=9824732 CPUtime=4.91 cores=0,2,4,6 /proc/16723/task/16734/stat : 16734 (java) S 16720 16723 15677 0 -1 4202560 2708 0 0 0 484 7 0 0 20 0 22 0 106651671 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828966443624 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16735] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16735/stat : 16735 (java) S 16720 16723 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828965389944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16736] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16736/stat : 16736 (java) S 16720 16723 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828964337288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16737] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16737/stat : 16737 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828963286032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16738] ppid=16720 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/16723/task/16738/stat : 16738 (java) S 16720 16723 15677 0 -1 4202560 9084 0 0 0 181 2 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828962232376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16739] ppid=16720 vsize=9824732 CPUtime=2.08 cores=0,2,4,6 /proc/16723/task/16739/stat : 16739 (java) S 16720 16723 15677 0 -1 4202560 16331 0 0 0 205 3 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828961179832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16740] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16740/stat : 16740 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828960127480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16741] ppid=16720 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/16723/task/16741/stat : 16741 (java) S 16720 16723 15677 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828959075144 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16751] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16751/stat : 16751 (java) S 16720 16723 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106651826 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828956968360 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16768] ppid=16720 vsize=9824732 CPUtime=675.15 cores=0,2,4,6 /proc/16723/task/16768/stat : 16768 (java) R 16720 16723 15677 0 -1 4202560 26 0 0 0 67503 12 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828958018224 139829455955903 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16769] ppid=16720 vsize=9824732 CPUtime=675.14 cores=0,2,4,6 /proc/16723/task/16769/stat : 16769 (java) R 16720 16723 15677 0 -1 4202560 48 0 0 0 67504 10 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828955912664 139829456031341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16770] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16770/stat : 16770 (java) S 16720 16723 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828954862888 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1774.93 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+894.701 s] /proc/loadavg: 4.17 4.23 4.19 6/221 16870 /proc/meminfo: memFree=23215668/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 41080 0 1 0 179762 242 0 0 20 0 22 0 106651668 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2456183 996562 2302 9 0 2446860 0 [pid=16723/tid=16725] ppid=16720 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/16723/task/16725/stat : 16725 (java) S 16720 16723 15677 0 -1 4202560 2453 0 1 0 55 3 0 0 20 0 22 0 106651669 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829612938104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16726] ppid=16720 vsize=9824732 CPUtime=3.98 cores=0,2,4,6 /proc/16723/task/16726/stat : 16726 (java) S 16720 16723 15677 0 -1 4202560 995 0 0 0 375 23 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829574429352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16727] ppid=16720 vsize=9824732 CPUtime=4.42 cores=0,2,4,6 /proc/16723/task/16727/stat : 16727 (java) S 16720 16723 15677 0 -1 4202560 853 0 0 0 424 18 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829455088424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16728] ppid=16720 vsize=9824732 CPUtime=4.23 cores=0,2,4,6 /proc/16723/task/16728/stat : 16728 (java) S 16720 16723 15677 0 -1 4202560 761 0 0 0 406 17 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829454035880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16729] ppid=16720 vsize=9824732 CPUtime=3.97 cores=0,2,4,6 /proc/16723/task/16729/stat : 16729 (java) S 16720 16723 15677 0 -1 4202560 1242 0 0 0 372 25 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829452983336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16730] ppid=16720 vsize=9824732 CPUtime=4.45 cores=0,2,4,6 /proc/16723/task/16730/stat : 16730 (java) S 16720 16723 15677 0 -1 4202560 779 0 0 0 427 18 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829451929768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16731] ppid=16720 vsize=9824732 CPUtime=4.39 cores=0,2,4,6 /proc/16723/task/16731/stat : 16731 (java) S 16720 16723 15677 0 -1 4202560 1105 0 0 0 416 23 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829450877224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16732] ppid=16720 vsize=9824732 CPUtime=3.96 cores=0,2,4,6 /proc/16723/task/16732/stat : 16732 (java) S 16720 16723 15677 0 -1 4202560 867 0 0 0 375 21 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829449824680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16733] ppid=16720 vsize=9824732 CPUtime=3.96 cores=0,2,4,6 /proc/16723/task/16733/stat : 16733 (java) S 16720 16723 15677 0 -1 4202560 1058 0 0 0 376 20 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829448772136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16734] ppid=16720 vsize=9824732 CPUtime=4.91 cores=0,2,4,6 /proc/16723/task/16734/stat : 16734 (java) S 16720 16723 15677 0 -1 4202560 2708 0 0 0 484 7 0 0 20 0 22 0 106651671 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828966443624 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16735] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16735/stat : 16735 (java) S 16720 16723 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828965389944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16736] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16736/stat : 16736 (java) S 16720 16723 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828964337288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16737] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16737/stat : 16737 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828963286032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16738] ppid=16720 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/16723/task/16738/stat : 16738 (java) S 16720 16723 15677 0 -1 4202560 9084 0 0 0 181 2 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828962232376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16739] ppid=16720 vsize=9824732 CPUtime=2.08 cores=0,2,4,6 /proc/16723/task/16739/stat : 16739 (java) S 16720 16723 15677 0 -1 4202560 16331 0 0 0 205 3 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828961179832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16740] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16740/stat : 16740 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828960127480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16741] ppid=16720 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/16723/task/16741/stat : 16741 (java) S 16720 16723 15677 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828959075144 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16751] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16751/stat : 16751 (java) S 16720 16723 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106651826 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828956968360 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16768] ppid=16720 vsize=9824732 CPUtime=687.37 cores=0,2,4,6 /proc/16723/task/16768/stat : 16768 (java) R 16720 16723 15677 0 -1 4202560 27 0 0 0 68725 12 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828958018976 139829456000731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16769] ppid=16720 vsize=9824732 CPUtime=687.36 cores=0,2,4,6 /proc/16723/task/16769/stat : 16769 (java) R 16720 16723 15677 0 -1 4202560 48 0 0 0 68726 10 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828955912464 139829456103571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16770] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16770/stat : 16770 (java) S 16720 16723 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828954862888 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16723 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+894.701 s] /proc/loadavg: 4.17 4.23 4.19 6/221 16870 /proc/meminfo: memFree=23215668/32872528 swapFree=15540/1663004 [pid=16723] ppid=16720 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/16723/stat : 16723 (java) S 16720 16723 15677 0 -1 4202496 41080 0 1 0 179762 242 0 0 20 0 22 0 106651668 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 140736113690368 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16723/statm: 2456183 996562 2302 9 0 2446860 0 [pid=16723/tid=16725] ppid=16720 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/16723/task/16725/stat : 16725 (java) S 16720 16723 15677 0 -1 4202560 2453 0 1 0 55 3 0 0 20 0 22 0 106651669 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829612938104 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16726] ppid=16720 vsize=9824732 CPUtime=3.98 cores=0,2,4,6 /proc/16723/task/16726/stat : 16726 (java) S 16720 16723 15677 0 -1 4202560 995 0 0 0 375 23 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829574429352 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16727] ppid=16720 vsize=9824732 CPUtime=4.42 cores=0,2,4,6 /proc/16723/task/16727/stat : 16727 (java) S 16720 16723 15677 0 -1 4202560 853 0 0 0 424 18 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829455088424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16728] ppid=16720 vsize=9824732 CPUtime=4.23 cores=0,2,4,6 /proc/16723/task/16728/stat : 16728 (java) S 16720 16723 15677 0 -1 4202560 761 0 0 0 406 17 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829454035880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16729] ppid=16720 vsize=9824732 CPUtime=3.97 cores=0,2,4,6 /proc/16723/task/16729/stat : 16729 (java) S 16720 16723 15677 0 -1 4202560 1242 0 0 0 372 25 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829452983336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16730] ppid=16720 vsize=9824732 CPUtime=4.45 cores=0,2,4,6 /proc/16723/task/16730/stat : 16730 (java) S 16720 16723 15677 0 -1 4202560 779 0 0 0 427 18 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829451929768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16731] ppid=16720 vsize=9824732 CPUtime=4.39 cores=0,2,4,6 /proc/16723/task/16731/stat : 16731 (java) S 16720 16723 15677 0 -1 4202560 1105 0 0 0 416 23 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829450877224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16732] ppid=16720 vsize=9824732 CPUtime=3.96 cores=0,2,4,6 /proc/16723/task/16732/stat : 16732 (java) S 16720 16723 15677 0 -1 4202560 867 0 0 0 375 21 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829449824680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16733] ppid=16720 vsize=9824732 CPUtime=3.96 cores=0,2,4,6 /proc/16723/task/16733/stat : 16733 (java) S 16720 16723 15677 0 -1 4202560 1058 0 0 0 376 20 0 0 20 0 22 0 106651670 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139829448772136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16734] ppid=16720 vsize=9824732 CPUtime=4.91 cores=0,2,4,6 /proc/16723/task/16734/stat : 16734 (java) S 16720 16723 15677 0 -1 4202560 2708 0 0 0 484 7 0 0 20 0 22 0 106651671 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828966443624 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16735] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16735/stat : 16735 (java) S 16720 16723 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828965389944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16736] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16736/stat : 16736 (java) S 16720 16723 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106651672 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828964337288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16723/tid=16737] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16737/stat : 16737 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828963286032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16738] ppid=16720 vsize=9824732 CPUtime=1.83 cores=0,2,4,6 /proc/16723/task/16738/stat : 16738 (java) S 16720 16723 15677 0 -1 4202560 9084 0 0 0 181 2 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828962232376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16739] ppid=16720 vsize=9824732 CPUtime=2.08 cores=0,2,4,6 /proc/16723/task/16739/stat : 16739 (java) S 16720 16723 15677 0 -1 4202560 16331 0 0 0 205 3 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828961179832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16740] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16740/stat : 16740 (java) S 16720 16723 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828960127480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16741] ppid=16720 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/16723/task/16741/stat : 16741 (java) S 16720 16723 15677 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 106651674 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828959075144 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16723/tid=16751] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16751/stat : 16751 (java) S 16720 16723 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106651826 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828956968360 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16768] ppid=16720 vsize=9824732 CPUtime=687.37 cores=0,2,4,6 /proc/16723/task/16768/stat : 16768 (java) R 16720 16723 15677 0 -1 4202560 27 0 0 0 68725 12 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828958018976 139829456000731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16723/tid=16769] ppid=16720 vsize=9824732 CPUtime=687.36 cores=0,2,4,6 /proc/16723/task/16769/stat : 16769 (java) R 16720 16723 15677 0 -1 4202560 48 0 0 0 68726 10 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828955912464 139829456103571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16723/tid=16770] ppid=16720 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16723/task/16770/stat : 16770 (java) S 16720 16723 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106671269 10060525568 996562 33554432000 1073741824 1073778376 140736113699232 139828954862888 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 894.774 CPU time (s): 1800.7 CPU user time (s): 1797.83 CPU system time (s): 2.87056 CPU usage (%): 201.246 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.83 system time used= 2.87056 maximum resident set size= 3986360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41116 page faults= 1 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23574 involuntary context switches= 28552 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.94225 second user time and 8.13576 second system time The end
Begin job on node134 at 2016-06-06 23:06:29 IDJOB=4081448 IDBENCH=25015 IDSOLVER=2543 FILE ID=node134/4081448-1465247189 RUNJOBID= node134-1465243580-15693 PBS_JOBID= 19843249 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081448-1465247189/watcher-4081448-1465247189 -o /tmp/evaluation-result-4081448-1465247189/solver-4081448-1465247189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15693 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081448-1465247189.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=271971053 node134.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.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.80 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.403 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.55 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.403 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.56 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.403 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.56 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.403 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.403 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.403 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.56 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.403 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: 27049264 kB Buffers: 41692 kB Cached: 111956 kB SwapCached: 1804 kB Active: 3358408 kB Inactive: 84216 kB Active(anon): 3290608 kB Inactive(anon): 1040 kB Active(file): 67800 kB Inactive(file): 83176 kB Unevictable: 1663004 kB Mlocked: 15540 kB SwapTotal: 67108856 kB SwapFree: 67098296 kB Dirty: 1280 kB Writeback: 0 kB AnonPages: 4961336 kB Mapped: 15532 kB Shmem: 0 kB Slab: 567996 kB SReclaimable: 11852 kB SUnreclaim: 556144 kB KernelStack: 1648 kB PageTables: 14260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5195744 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 4892672 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= 71732 MiB End job on node134 at 2016-06-06 23:21:24