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) | 23 | 1800.74 | 895.39 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
| 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 | 4.76827 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| 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 | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081447-1465248840.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.07/0.52 c ... done. Wall clock time 0.398s. 1.07/0.52 c declared #vars 5499 1.07/0.52 c #constraints 19319 1.07/0.52 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.07/0.52 c constraints type 1.07/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1.07/0.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.07/0.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1.07/0.52 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1.07/0.52 c 19319 constraints processed. 1.07/0.52 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.07/0.52 c constraints type 1.07/0.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 1.07/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 1.07/0.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.07/0.52 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1.07/0.52 c 19319 constraints processed. 1.07/0.52 c objective function length is 613 literals 1.44/0.61 c And the winner is solver0 2.06/1.02 c SATISFIABLE 2.06/1.02 c OPTIMIZING... 2.06/1.02 c Got one! Elapsed wall clock time (in seconds):0.906 2.06/1.02 o 27 2.06/1.08 c And the winner is solver0 2.30/1.53 c Got one! Elapsed wall clock time (in seconds):1.414 2.30/1.53 o 26 7.06/3.53 c cleaning 2512 clauses out of 5023 with flag 35567/5023 12.28/6.03 c cleaning 4243 clauses out of 8511 with flag 90780/11023 16.97/8.35 c cleaning 5623 clauses out of 11268 with flag 140383/18023 22.77/11.15 c cleaning 6818 clauses out of 13646 with flag 210508/26024 28.79/14.17 c cleaning 7862 clauses out of 15827 with flag 297487/35023 35.69/17.56 c cleaning 8974 clauses out of 17965 with flag 373865/45023 44.25/21.75 c cleaning 9899 clauses out of 19991 with flag 470893/56023 52.05/25.67 c cleaning 10975 clauses out of 22092 with flag 553446/68023 60.81/29.91 c cleaning 12031 clauses out of 24117 with flag 661462/81023 69.83/34.46 c cleaning 12939 clauses out of 26086 with flag 791484/95023 80.07/39.41 c cleaning 13993 clauses out of 28147 with flag 963546/110023 91.07/44.97 c cleaning 15058 clauses out of 30154 with flag 1164189/126023 103.00/50.77 c cleaning 16015 clauses out of 32098 with flag 1349155/143025 118.22/58.25 c cleaning 17042 clauses out of 34084 with flag 1513133/161026 130.85/64.58 c And the winner is solver1 131.04/65.05 c Got one! Elapsed wall clock time (in seconds):64.929 131.04/65.05 o 25 135.51/67.28 c cleaning 19784 clauses out of 39568 with flag 31073/183552 139.91/69.41 c cleaning 12883 clauses out of 25784 with flag 82807/189552 144.70/71.86 c cleaning 9944 clauses out of 19901 with flag 154770/196552 150.29/74.70 c cleaning 8977 clauses out of 17957 with flag 243930/204552 156.50/77.76 c cleaning 8978 clauses out of 17980 with flag 324488/213552 164.25/81.53 c cleaning 9491 clauses out of 19002 with flag 412506/223552 172.43/85.61 c cleaning 10256 clauses out of 20511 with flag 510843/234552 182.87/91.25 c cleaning 11118 clauses out of 22255 with flag 605616/246552 193.07/96.31 c cleaning 12062 clauses out of 24137 with flag 700124/259552 203.26/101.47 c cleaning 13025 clauses out of 26076 with flag 813100/273553 213.88/106.74 c cleaning 14023 clauses out of 28051 with flag 930991/288553 226.26/112.94 c cleaning 14996 clauses out of 30027 with flag 1048301/304552 231.87/115.61 c And the winner is solver1 231.92/116.09 c Got one! Elapsed wall clock time (in seconds):115.972 231.92/116.09 o 24 236.14/118.25 c cleaning 13409 clauses out of 26824 with flag 34957/316345 239.93/120.18 c cleaning 9698 clauses out of 19417 with flag 80646/322347 244.93/122.65 c cleaning 8343 clauses out of 16719 with flag 139228/329347 250.77/125.45 c cleaning 8182 clauses out of 16374 with flag 198967/337345 256.95/128.53 c cleaning 8582 clauses out of 17194 with flag 263351/346347 263.55/131.81 c cleaning 9288 clauses out of 18610 with flag 339094/356345 271.40/135.61 c cleaning 10130 clauses out of 20322 with flag 421645/367345 279.20/139.50 c cleaning 11091 clauses out of 22192 with flag 538078/379345 288.41/144.12 c cleaning 12011 clauses out of 24101 with flag 650494/392345 298.01/148.95 c cleaning 12999 clauses out of 26090 with flag 780890/406345 307.60/153.65 c cleaning 14032 clauses out of 28091 with flag 910037/421345 317.60/158.69 c cleaning 15025 clauses out of 30060 with flag 1103483/437346 330.41/165.02 c cleaning 15997 clauses out of 32034 with flag 1243325/454345 345.15/172.31 c cleaning 16995 clauses out of 34038 with flag 1400890/472346 360.15/179.87 c cleaning 18012 clauses out of 36042 with flag 1574423/491345 376.14/187.87 c cleaning 18923 clauses out of 38030 with flag 1752104/511345 394.38/197.58 c cleaning 20028 clauses out of 40107 with flag 1989856/532345 410.98/205.87 c cleaning 21040 clauses out of 42079 with flag 2236047/554345 429.26/214.73 c cleaning 22019 clauses out of 44039 with flag 2454388/577345 447.06/223.67 c cleaning 23010 clauses out of 46020 with flag 2667984/601345 467.29/233.61 c cleaning 24002 clauses out of 48011 with flag 2854086/626346 488.28/244.16 c cleaning 24985 clauses out of 50010 with flag 3071076/652347 508.96/254.33 c cleaning 25941 clauses out of 52023 with flag 3363711/679345 531.60/265.45 c cleaning 27018 clauses out of 54082 with flag 3693642/707345 556.59/277.97 c cleaning 27979 clauses out of 56064 with flag 3959620/736345 582.85/290.98 c cleaning 29008 clauses out of 58087 with flag 4208424/766347 605.99/302.32 c cleaning 0 clauses out of 6026 with flag 0/6026 610.75/304.52 c cleaning 30008 clauses out of 60077 with flag 4509038/797345 638.55/318.40 c cleaning 30993 clauses out of 62069 with flag 4810389/829345 664.97/331.46 c And the winner is solver1 665.18/331.51 c Got one! Elapsed wall clock time (in seconds):331.392 665.18/331.51 o 23 670.99/334.20 c cleaning 32686 clauses out of 65374 with flag 35948/863643 675.39/336.43 c cleaning 19323 clauses out of 38688 with flag 77234/869643 679.99/338.77 c cleaning 13176 clauses out of 26367 with flag 121122/876645 686.55/341.81 c cleaning 10595 clauses out of 21190 with flag 181664/884644 692.75/344.98 c cleaning 9799 clauses out of 19598 with flag 245230/893647 700.57/348.89 c cleaning 9897 clauses out of 19795 with flag 328451/903643 708.35/352.75 c cleaning 10431 clauses out of 20898 with flag 429109/914643 719.39/359.26 c cleaning 11205 clauses out of 22468 with flag 563144/926644 728.39/363.75 c cleaning 12127 clauses out of 24262 with flag 679007/939643 739.68/369.13 c cleaning 13068 clauses out of 26136 with flag 793774/953644 751.89/375.22 c cleaning 14033 clauses out of 28067 with flag 887021/968643 765.46/381.95 c cleaning 15008 clauses out of 30034 with flag 1023712/984643 778.27/388.34 c cleaning 16013 clauses out of 32026 with flag 1137994/1001643 793.06/395.74 c cleaning 17006 clauses out of 34013 with flag 1260138/1019643 808.20/403.25 c cleaning 17994 clauses out of 36008 with flag 1420468/1038644 822.79/410.51 c cleaning 18996 clauses out of 38017 with flag 1607879/1058647 840.00/419.10 c cleaning 19958 clauses out of 40018 with flag 1780632/1079644 856.63/427.28 c cleaning 20971 clauses out of 42059 with flag 1978846/1101643 875.15/436.39 c cleaning 21974 clauses out of 44088 with flag 2213343/1124643 894.55/446.08 c cleaning 23034 clauses out of 46114 with flag 2456906/1148643 916.89/457.04 c cleaning 23980 clauses out of 48081 with flag 2703118/1173644 937.36/467.18 c cleaning 25036 clauses out of 50100 with flag 2965671/1199643 957.76/477.34 c cleaning 25989 clauses out of 52064 with flag 3221990/1226643 981.71/489.06 c cleaning 26951 clauses out of 54075 with flag 3474712/1254643 1007.56/501.63 c cleaning 28056 clauses out of 56125 with flag 3728843/1283644 1036.33/517.63 c cleaning 29010 clauses out of 58068 with flag 4018215/1313643 1061.46/530.15 c cleaning 29990 clauses out of 60059 with flag 4320436/1344644 1087.19/542.92 c cleaning 31031 clauses out of 62068 with flag 4584237/1376643 1114.41/556.49 c cleaning 31945 clauses out of 64037 with flag 4909063/1409643 1147.06/572.62 c cleaning 33034 clauses out of 66093 with flag 5184634/1443644 1180.15/589.04 c cleaning 33988 clauses out of 68058 with flag 5447659/1478643 1214.58/606.12 c cleaning 35026 clauses out of 70070 with flag 5726955/1514643 1251.53/624.42 c cleaning 36013 clauses out of 72049 with flag 6026099/1551648 1289.78/643.49 c cleaning 36981 clauses out of 74031 with flag 6313330/1589643 1325.17/661.01 c cleaning 37992 clauses out of 76050 with flag 6626277/1628643 1362.91/679.77 c cleaning 39022 clauses out of 78059 with flag 6943360/1668644 1399.22/697.82 c cleaning 39998 clauses out of 80036 with flag 7274554/1709643 1436.73/716.47 c cleaning 40984 clauses out of 82038 with flag 7621652/1751643 1477.15/736.44 c cleaning 41905 clauses out of 84055 with flag 7989011/1794644 1518.66/756.94 c cleaning 43045 clauses out of 86149 with flag 8430603/1838643 1556.97/775.82 c cleaning 44051 clauses out of 88104 with flag 8857034/1883643 1597.12/795.68 c cleaning 45012 clauses out of 90055 with flag 9272539/1929645 1637.02/815.37 c cleaning 45999 clauses out of 92041 with flag 9738197/1976643 1679.47/836.12 c cleaning 46899 clauses out of 94042 with flag 10218460/2024643 1720.96/856.62 c cleaning 48061 clauses out of 96143 with flag 10687645/2073643 1766.51/878.72 c cleaning 49022 clauses out of 98085 with flag 11114500/2123646 1800.13/895.30 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.13/895.30 c starts : 1037 1800.13/895.30 c conflicts : 2160800 1800.13/895.30 c decisions : 41971735 1800.13/895.30 c propagations : 1944132670 1800.13/895.30 c inspects : 7310590292 1800.13/895.30 c shortcuts : 0 1800.13/895.30 c learnt literals : 0 1800.13/895.30 c learnt binary clauses : 1 1800.13/895.30 c learnt ternary clauses : 3 1800.13/895.30 c learnt constraints : 2160800 1800.13/895.30 c ignored constraints : 0 1800.13/895.30 c root simplifications : 0 1800.13/895.30 c removed literals (reason simplification) : 19581723 1800.13/895.30 c reason swapping (by a shorter reason) : 0 1800.13/895.30 c Calls to reduceDB : 100 1800.13/895.30 c Number of update (reduction) of LBD : 1536993 1800.13/895.30 c Imported unit clauses : 0 1800.13/895.30 c number of reductions to clauses (during analyze) : 0 1800.13/895.30 c number of learned constraints concerned by reduction : 0 1800.13/895.30 c number of learning phase by resolution : 0 1800.13/895.30 c number of learning phase by cutting planes : 0 1800.13/895.31 c speed (assignments/second) : 3448315.460311604 1800.13/895.31 c non guided choices 0 1800.13/895.33 c learnt constraints type 1800.13/895.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.13/895.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 86216 1800.13/895.33 c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<< 1800.13/895.33 c starts : 38 1800.13/895.33 c conflicts : 9455 1800.13/895.33 c decisions : 83679 1800.13/895.33 c propagations : 1476434 1800.13/895.33 c inspects : 530719386 1800.13/895.33 c shortcuts : 0 1800.13/895.33 c learnt literals : 0 1800.13/895.33 c learnt binary clauses : 0 1800.13/895.33 c learnt ternary clauses : 0 1800.13/895.33 c learnt constraints : 9454 1800.13/895.33 c ignored constraints : 0 1800.13/895.33 c root simplifications : 0 1800.13/895.33 c removed literals (reason simplification) : 0 1800.13/895.33 c reason swapping (by a shorter reason) : 0 1800.13/895.33 c Calls to reduceDB : 1 1800.13/895.33 c Number of update (reduction) of LBD : 0 1800.13/895.33 c Imported unit clauses : 0 1800.13/895.33 c number of reductions to clauses (during analyze) : 0 1800.13/895.33 c number of learned constraints concerned by reduction : 0 1800.13/895.33 c number of learning phase by resolution : 0 1800.13/895.33 c number of learning phase by cutting planes : 0 1800.13/895.33 c speed (assignments/second) : 1651.8764992302458 1800.13/895.33 c non guided choices 0 1800.13/895.33 c learnt constraints type 1800.13/895.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 137 1800.13/895.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 45 1800.13/895.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 9272 1800.13/895.33 s SATISFIABLE 1800.13/895.33 c Found 5 solution(s) 1800.13/895.34 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 1800.13/895.35 c objective function=23 1800.13/895.35 c Total wall clock time (in seconds): 895.237
OK 23
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-4081447-1465248840/watcher-4081447-1465248840 -o /tmp/evaluation-result-4081447-1465248840/solver-4081447-1465248840 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20226 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081447-1465248840.opb pid=20567 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.04 4.07 3.75 4/197 20570 /proc/meminfo: memFree=27542924/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/20570/stat : 20570 (java) D 20567 20570 20210 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 106817315 9515008 185 33554432000 1073741824 1073778376 140734713975312 140734713964376 262953594151 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2323 185 143 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.04 4.07 3.75 4/197 20570 /proc/meminfo: memFree=27542924/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 106817315 9787879424 6034 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2389619 6034 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200226 s] /proc/loadavg: 4.04 4.07 3.75 4/197 20570 /proc/meminfo: memFree=27542924/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9558476 CPUtime=0.25 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 4697 0 1 0 23 2 0 0 20 0 18 0 106817315 9787879424 6777 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2389619 6777 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300231 s] /proc/loadavg: 4.04 4.07 3.75 4/197 20570 /proc/meminfo: memFree=27542924/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9558476 CPUtime=0.48 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 5598 0 1 0 46 2 0 0 20 0 18 0 106817315 9787879424 9013 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2389619 9013 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700299 s] /proc/loadavg: 4.04 4.07 3.75 4/197 20570 /proc/meminfo: memFree=27542924/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9824732 CPUtime=1.69 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 21240 0 1 0 161 8 0 0 20 0 19 0 106817315 10060525568 30949 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2456183 30949 2257 9 0 2446860 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 4.11 4.09 3.75 3/216 20595 /proc/meminfo: memFree=27423796/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9824732 CPUtime=2.3 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 21298 0 1 0 220 10 0 0 20 0 19 0 106817315 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2456183 32021 2270 9 0 2446860 0 [pid=20570/tid=20572] ppid=20567 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/20570/task/20572/stat : 20572 (java) S 20567 20570 20210 0 -1 4202560 2499 0 1 0 47 2 0 0 20 0 19 0 106817316 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789655200632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20573] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20573/stat : 20573 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789644262184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20574] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20574/stat : 20574 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789497744040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20575] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20575/stat : 20575 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789496691752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20576] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20576/stat : 20576 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789495638952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20577] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20577/stat : 20577 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789494585640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20578] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20578/stat : 20578 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789493532840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20579] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20579/stat : 20579 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789492480552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20580] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20580/stat : 20580 (java) S 20567 20570 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106817317 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789491427752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20581] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20581/stat : 20581 (java) S 20567 20570 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 106817318 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789479230184 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20582] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20582/stat : 20582 (java) S 20567 20570 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106817319 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789478176248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20583] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20583/stat : 20583 (java) S 20567 20570 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106817319 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789477123848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20584] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20584/stat : 20584 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817321 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789476072336 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20585] ppid=20567 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/20570/task/20585/stat : 20585 (java) S 20567 20570 20210 0 -1 4202560 9064 0 0 0 73 2 0 0 20 0 19 0 106817321 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789475018936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20586] ppid=20567 vsize=9824732 CPUtime=0.71 cores=0,2,4,6 /proc/20570/task/20586/stat : 20586 (java) S 20567 20570 20210 0 -1 4202560 8398 0 0 0 69 2 0 0 20 0 19 0 106817321 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789473966136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20587] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20587/stat : 20587 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817321 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789472914040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20588] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20588/stat : 20588 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106817321 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789471861448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20592] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20592/stat : 20592 (java) S 20567 20570 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106817369 10060525568 32021 33554432000 1073741824 1073778376 140734713975312 139789467649576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.3 Current children cumulated vsize (KiB) 9824732 [startup+3.10093 s] /proc/loadavg: 4.11 4.09 3.75 6/219 20598 /proc/meminfo: memFree=27377748/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9824732 CPUtime=6.24 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 21403 0 1 0 612 12 0 0 20 0 22 0 106817315 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2456183 52547 2288 9 0 2446860 0 [pid=20570/tid=20572] ppid=20567 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/20570/task/20572/stat : 20572 (java) S 20567 20570 20210 0 -1 4202560 2499 0 1 0 48 2 0 0 20 0 22 0 106817316 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789655200632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20573] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20573/stat : 20573 (java) S 20567 20570 20210 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789644262184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20574] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20574/stat : 20574 (java) S 20567 20570 20210 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789497744040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20575] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20575/stat : 20575 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789496691752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20576] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20576/stat : 20576 (java) S 20567 20570 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789495638952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20577] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20577/stat : 20577 (java) S 20567 20570 20210 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789494585640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20578] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20578/stat : 20578 (java) S 20567 20570 20210 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789493532840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20579] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20579/stat : 20579 (java) S 20567 20570 20210 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789492480552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20580] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20580/stat : 20580 (java) S 20567 20570 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106817317 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789491427752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20581] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20581/stat : 20581 (java) S 20567 20570 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106817318 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789479230184 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20582] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20582/stat : 20582 (java) S 20567 20570 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789478176248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20583] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20583/stat : 20583 (java) S 20567 20570 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789477123848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20584] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20584/stat : 20584 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789476072336 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20585] ppid=20567 vsize=9824732 CPUtime=1.11 cores=0,2,4,6 /proc/20570/task/20585/stat : 20585 (java) S 20567 20570 20210 0 -1 4202560 9065 0 0 0 108 3 0 0 20 0 22 0 106817321 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789475018936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20586] ppid=20567 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/20570/task/20586/stat : 20586 (java) S 20567 20570 20210 0 -1 4202560 8408 0 0 0 114 2 0 0 20 0 22 0 106817321 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789473966136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20587] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20587/stat : 20587 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789472914040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20588] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20588/stat : 20588 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789471861448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20592] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20592/stat : 20592 (java) S 20567 20570 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106817369 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789467649576 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20596] ppid=20567 vsize=9824732 CPUtime=1.52 cores=0,2,4,6 /proc/20570/task/20596/stat : 20596 (java) R 20567 20570 20210 0 -1 4202560 3 0 0 0 152 0 0 0 20 0 22 0 106817469 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789470804744 139789526120168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20597] ppid=20567 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/20570/task/20597/stat : 20597 (java) R 20567 20570 20210 0 -1 4202560 45 0 0 0 151 2 0 0 20 0 22 0 106817469 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789469753800 139789526333173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20598] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20598/stat : 20598 (java) S 20567 20570 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106817469 10060525568 52547 33554432000 1073741824 1073778376 140734713975312 139789468701992 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 9824732 [startup+6.30095 s] /proc/loadavg: 4.10 4.09 3.75 6/219 20598 /proc/meminfo: memFree=27319292/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9824732 CPUtime=12.89 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 21738 0 1 0 1273 16 0 0 20 0 22 0 106817315 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2456183 61224 2293 9 0 2446860 0 [pid=20570/tid=20572] ppid=20567 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/20570/task/20572/stat : 20572 (java) S 20567 20570 20210 0 -1 4202560 2499 0 1 0 48 2 0 0 20 0 22 0 106817316 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789655200632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20573] ppid=20567 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/20570/task/20573/stat : 20573 (java) S 20567 20570 20210 0 -1 4202560 72 0 0 0 2 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789644262184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20574] ppid=20567 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/20570/task/20574/stat : 20574 (java) S 20567 20570 20210 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789497744040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20575] ppid=20567 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20570/task/20575/stat : 20575 (java) S 20567 20570 20210 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789496691752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20576] ppid=20567 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/20570/task/20576/stat : 20576 (java) S 20567 20570 20210 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789495638952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20577] ppid=20567 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/20570/task/20577/stat : 20577 (java) S 20567 20570 20210 0 -1 4202560 68 0 0 0 3 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789494585640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20578] ppid=20567 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/20570/task/20578/stat : 20578 (java) S 20567 20570 20210 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789493532840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20579] ppid=20567 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/20570/task/20579/stat : 20579 (java) S 20567 20570 20210 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789492480552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20580] ppid=20567 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/20570/task/20580/stat : 20580 (java) S 20567 20570 20210 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 22 0 106817317 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789491427752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20581] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20581/stat : 20581 (java) S 20567 20570 20210 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 106817318 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789479230184 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20582] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20582/stat : 20582 (java) S 20567 20570 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789478176248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20583] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20583/stat : 20583 (java) S 20567 20570 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789477123848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20584] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20584/stat : 20584 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789476072336 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20585] ppid=20567 vsize=9824732 CPUtime=1.19 cores=0,2,4,6 /proc/20570/task/20585/stat : 20585 (java) S 20567 20570 20210 0 -1 4202560 9072 0 0 0 116 3 0 0 20 0 22 0 106817321 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789475018936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20586] ppid=20567 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/20570/task/20586/stat : 20586 (java) S 20567 20570 20210 0 -1 4202560 8410 0 0 0 123 2 0 0 20 0 22 0 106817321 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789473966136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20587] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20587/stat : 20587 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 61224 33554432000 1073741824 1073778376 140734713975312 139789472914040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20588] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.71 4.31 4.00 5/219 20738 /proc/meminfo: memFree=24748560/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9824732 CPUtime=1773.72 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 34856 0 1 0 177079 293 0 0 20 0 22 0 106817315 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2456183 1059226 2302 9 0 2446860 0 [pid=20570/tid=20572] ppid=20567 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/20570/task/20572/stat : 20572 (java) S 20567 20570 20210 0 -1 4202560 2518 0 1 0 52 3 0 0 20 0 22 0 106817316 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789655200632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20573] ppid=20567 vsize=9824732 CPUtime=4.74 cores=0,2,4,6 /proc/20570/task/20573/stat : 20573 (java) S 20567 20570 20210 0 -1 4202560 977 0 0 0 449 25 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789644262184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20574] ppid=20567 vsize=9824732 CPUtime=5.33 cores=0,2,4,6 /proc/20570/task/20574/stat : 20574 (java) S 20567 20570 20210 0 -1 4202560 1253 0 0 0 502 31 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789497744040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20575] ppid=20567 vsize=9824732 CPUtime=4.51 cores=0,2,4,6 /proc/20570/task/20575/stat : 20575 (java) S 20567 20570 20210 0 -1 4202560 913 0 0 0 425 26 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789496691752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20576] ppid=20567 vsize=9824732 CPUtime=5.12 cores=0,2,4,6 /proc/20570/task/20576/stat : 20576 (java) S 20567 20570 20210 0 -1 4202560 1112 0 0 0 479 33 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789495638952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20577] ppid=20567 vsize=9824732 CPUtime=4.35 cores=0,2,4,6 /proc/20570/task/20577/stat : 20577 (java) S 20567 20570 20210 0 -1 4202560 895 0 0 0 409 26 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789494585640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20578] ppid=20567 vsize=9824732 CPUtime=4.78 cores=0,2,4,6 /proc/20570/task/20578/stat : 20578 (java) S 20567 20570 20210 0 -1 4202560 748 0 0 0 456 22 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789493532840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20579] ppid=20567 vsize=9824732 CPUtime=4.74 cores=0,2,4,6 /proc/20570/task/20579/stat : 20579 (java) S 20567 20570 20210 0 -1 4202560 812 0 0 0 453 21 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789492480552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20580] ppid=20567 vsize=9824732 CPUtime=4.95 cores=0,2,4,6 /proc/20570/task/20580/stat : 20580 (java) S 20567 20570 20210 0 -1 4202560 999 0 0 0 465 30 0 0 20 0 22 0 106817317 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789491427752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20581] ppid=20567 vsize=9824732 CPUtime=8.46 cores=0,2,4,6 /proc/20570/task/20581/stat : 20581 (java) S 20567 20570 20210 0 -1 4202560 3736 0 0 0 836 10 0 0 20 0 22 0 106817318 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789479230184 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20582] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20582/stat : 20582 (java) S 20567 20570 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789478176248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20583] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20583/stat : 20583 (java) S 20567 20570 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789477123848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20584] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20584/stat : 20584 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789476072336 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20585] ppid=20567 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/20570/task/20585/stat : 20585 (java) S 20567 20570 20210 0 -1 4202560 9162 0 0 0 178 3 0 0 20 0 22 0 106817321 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789475018936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20586] ppid=20567 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/20570/task/20586/stat : 20586 (java) S 20567 20570 20210 0 -1 4202560 8420 0 0 0 139 2 0 0 20 0 22 0 106817321 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789473966136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20587] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20587/stat : 20587 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789472914040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20588] ppid=20567 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/20570/task/20588/stat : 20588 (java) S 20567 20570 20210 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 106817321 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789471861448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20598] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20598/stat : 20598 (java) S 20567 20570 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106817469 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789468701992 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20722] ppid=20567 vsize=9824732 CPUtime=537.9 cores=0,2,4,6 /proc/20570/task/20722/stat : 20722 (java) R 20567 20570 20210 0 -1 4202560 35 0 0 0 53782 8 0 0 20 0 22 0 106850467 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789470798096 139789526206194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20723] ppid=20567 vsize=9824732 CPUtime=537.89 cores=0,2,4,6 /proc/20570/task/20723/stat : 20723 (java) R 20567 20570 20210 0 -1 4202560 33 0 0 0 53781 8 0 0 20 0 22 0 106850467 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789467647728 139789526556233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20724] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20724/stat : 20724 (java) S 20567 20570 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106850467 10060525568 1059226 33554432000 1073741824 1073778376 140734713975312 139789469755048 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1773.72 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+895.301 s] /proc/loadavg: 4.60 4.30 4.00 5/219 20738 /proc/meminfo: memFree=24727832/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 34872 0 1 0 179718 295 0 0 20 0 22 0 106817315 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2456183 1064345 2302 9 0 2446860 0 [pid=20570/tid=20572] ppid=20567 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/20570/task/20572/stat : 20572 (java) S 20567 20570 20210 0 -1 4202560 2518 0 1 0 52 3 0 0 20 0 22 0 106817316 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789655200632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20573] ppid=20567 vsize=9824732 CPUtime=4.84 cores=0,2,4,6 /proc/20570/task/20573/stat : 20573 (java) S 20567 20570 20210 0 -1 4202560 979 0 0 0 459 25 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789644262184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20574] ppid=20567 vsize=9824732 CPUtime=5.4 cores=0,2,4,6 /proc/20570/task/20574/stat : 20574 (java) S 20567 20570 20210 0 -1 4202560 1257 0 0 0 509 31 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789497744040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20575] ppid=20567 vsize=9824732 CPUtime=4.62 cores=0,2,4,6 /proc/20570/task/20575/stat : 20575 (java) S 20567 20570 20210 0 -1 4202560 913 0 0 0 436 26 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789496691752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20576] ppid=20567 vsize=9824732 CPUtime=5.34 cores=0,2,4,6 /proc/20570/task/20576/stat : 20576 (java) S 20567 20570 20210 0 -1 4202560 1119 0 0 0 500 34 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789495638952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20577] ppid=20567 vsize=9824732 CPUtime=4.45 cores=0,2,4,6 /proc/20570/task/20577/stat : 20577 (java) S 20567 20570 20210 0 -1 4202560 896 0 0 0 419 26 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789494585640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20578] ppid=20567 vsize=9824732 CPUtime=4.85 cores=0,2,4,6 /proc/20570/task/20578/stat : 20578 (java) S 20567 20570 20210 0 -1 4202560 748 0 0 0 463 22 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789493532840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20579] ppid=20567 vsize=9824732 CPUtime=4.85 cores=0,2,4,6 /proc/20570/task/20579/stat : 20579 (java) S 20567 20570 20210 0 -1 4202560 812 0 0 0 464 21 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789492480552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20580] ppid=20567 vsize=9824732 CPUtime=5.02 cores=0,2,4,6 /proc/20570/task/20580/stat : 20580 (java) S 20567 20570 20210 0 -1 4202560 1000 0 0 0 472 30 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789491427752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20581] ppid=20567 vsize=9824732 CPUtime=8.46 cores=0,2,4,6 /proc/20570/task/20581/stat : 20581 (java) S 20567 20570 20210 0 -1 4202560 3736 0 0 0 836 10 0 0 20 0 22 0 106817318 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789479230184 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20582] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20582/stat : 20582 (java) S 20567 20570 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789478176248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20583] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20583/stat : 20583 (java) S 20567 20570 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789477123848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20584] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20584/stat : 20584 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789476072336 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20585] ppid=20567 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/20570/task/20585/stat : 20585 (java) S 20567 20570 20210 0 -1 4202560 9162 0 0 0 178 3 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789475018936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20586] ppid=20567 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/20570/task/20586/stat : 20586 (java) S 20567 20570 20210 0 -1 4202560 8420 0 0 0 139 2 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789473966136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20587] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20587/stat : 20587 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789472914040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20588] ppid=20567 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/20570/task/20588/stat : 20588 (java) S 20567 20570 20210 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789471861448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20598] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20598/stat : 20598 (java) S 20567 20570 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106817469 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789468701992 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20722] ppid=20567 vsize=9824732 CPUtime=550.67 cores=0,2,4,6 /proc/20570/task/20722/stat : 20722 (java) R 20567 20570 20210 0 -1 4202560 36 0 0 0 55059 8 0 0 20 0 22 0 106850467 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789470805792 139789526206316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20723] ppid=20567 vsize=9824732 CPUtime=550.67 cores=0,2,4,6 /proc/20570/task/20723/stat : 20723 (java) R 20567 20570 20210 0 -1 4202560 33 0 0 0 55059 8 0 0 20 0 22 0 106850467 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789467646896 139789526333130 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20724] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20724/stat : 20724 (java) S 20567 20570 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106850467 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789469755048 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 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 20570 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+895.301 s] /proc/loadavg: 4.60 4.30 4.00 5/219 20738 /proc/meminfo: memFree=24727832/32872528 swapFree=11320/319964 [pid=20570] ppid=20567 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6 /proc/20570/stat : 20570 (java) S 20567 20570 20210 0 -1 4202496 34872 0 1 0 179718 295 0 0 20 0 22 0 106817315 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 140734713966448 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20570/statm: 2456183 1064345 2302 9 0 2446860 0 [pid=20570/tid=20572] ppid=20567 vsize=9824732 CPUtime=0.55 cores=0,2,4,6 /proc/20570/task/20572/stat : 20572 (java) S 20567 20570 20210 0 -1 4202560 2518 0 1 0 52 3 0 0 20 0 22 0 106817316 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789655200632 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20573] ppid=20567 vsize=9824732 CPUtime=4.84 cores=0,2,4,6 /proc/20570/task/20573/stat : 20573 (java) S 20567 20570 20210 0 -1 4202560 979 0 0 0 459 25 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789644262184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20574] ppid=20567 vsize=9824732 CPUtime=5.4 cores=0,2,4,6 /proc/20570/task/20574/stat : 20574 (java) S 20567 20570 20210 0 -1 4202560 1257 0 0 0 509 31 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789497744040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20575] ppid=20567 vsize=9824732 CPUtime=4.62 cores=0,2,4,6 /proc/20570/task/20575/stat : 20575 (java) S 20567 20570 20210 0 -1 4202560 913 0 0 0 436 26 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789496691752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20576] ppid=20567 vsize=9824732 CPUtime=5.34 cores=0,2,4,6 /proc/20570/task/20576/stat : 20576 (java) S 20567 20570 20210 0 -1 4202560 1119 0 0 0 500 34 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789495638952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20577] ppid=20567 vsize=9824732 CPUtime=4.45 cores=0,2,4,6 /proc/20570/task/20577/stat : 20577 (java) S 20567 20570 20210 0 -1 4202560 896 0 0 0 419 26 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789494585640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20578] ppid=20567 vsize=9824732 CPUtime=4.85 cores=0,2,4,6 /proc/20570/task/20578/stat : 20578 (java) S 20567 20570 20210 0 -1 4202560 748 0 0 0 463 22 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789493532840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20579] ppid=20567 vsize=9824732 CPUtime=4.85 cores=0,2,4,6 /proc/20570/task/20579/stat : 20579 (java) S 20567 20570 20210 0 -1 4202560 812 0 0 0 464 21 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789492480552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20580] ppid=20567 vsize=9824732 CPUtime=5.02 cores=0,2,4,6 /proc/20570/task/20580/stat : 20580 (java) S 20567 20570 20210 0 -1 4202560 1000 0 0 0 472 30 0 0 20 0 22 0 106817317 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789491427752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20581] ppid=20567 vsize=9824732 CPUtime=8.46 cores=0,2,4,6 /proc/20570/task/20581/stat : 20581 (java) S 20567 20570 20210 0 -1 4202560 3736 0 0 0 836 10 0 0 20 0 22 0 106817318 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789479230184 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20582] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20582/stat : 20582 (java) S 20567 20570 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789478176248 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20583] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20583/stat : 20583 (java) S 20567 20570 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 106817319 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789477123848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20584] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20584/stat : 20584 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789476072336 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20585] ppid=20567 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/20570/task/20585/stat : 20585 (java) S 20567 20570 20210 0 -1 4202560 9162 0 0 0 178 3 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789475018936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20586] ppid=20567 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/20570/task/20586/stat : 20586 (java) S 20567 20570 20210 0 -1 4202560 8420 0 0 0 139 2 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789473966136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20570/tid=20587] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20587/stat : 20587 (java) S 20567 20570 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789472914040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20588] ppid=20567 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/20570/task/20588/stat : 20588 (java) S 20567 20570 20210 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 106817321 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789471861448 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20570/tid=20598] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20598/stat : 20598 (java) S 20567 20570 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106817469 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789468701992 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20722] ppid=20567 vsize=9824732 CPUtime=550.67 cores=0,2,4,6 /proc/20570/task/20722/stat : 20722 (java) R 20567 20570 20210 0 -1 4202560 36 0 0 0 55059 8 0 0 20 0 22 0 106850467 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789470805792 139789526206316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20570/tid=20723] ppid=20567 vsize=9824732 CPUtime=550.67 cores=0,2,4,6 /proc/20570/task/20723/stat : 20723 (java) R 20567 20570 20210 0 -1 4202560 33 0 0 0 55059 8 0 0 20 0 22 0 106850467 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789467646896 139789526333130 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=20570/tid=20724] ppid=20567 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/20570/task/20724/stat : 20724 (java) S 20567 20570 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106850467 10060525568 1064345 33554432000 1073741824 1073778376 140734713975312 139789469755048 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 895.39 CPU time (s): 1800.74 CPU user time (s): 1797.42 CPU system time (s): 3.32349 CPU usage (%): 201.113 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.42 system time used= 3.32349 maximum resident set size= 4257508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34917 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23805 involuntary context switches= 34041 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.19206 second user time and 8.37973 second system time The end
Begin job on node128 at 2016-06-06 23:34:00 IDJOB=4081447 IDBENCH=25021 IDSOLVER=2543 FILE ID=node128/4081447-1465248840 RUNJOBID= node128-1465247049-20226 PBS_JOBID= 19843253 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081447-1465248840/watcher-4081447-1465248840 -o /tmp/evaluation-result-4081447-1465248840/solver-4081447-1465248840 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20226 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081447-1465248840.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1935792702 node128.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.486 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.97 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.486 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 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.54 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.486 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.56 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27543552 kB Buffers: 44660 kB Cached: 104956 kB SwapCached: 1656 kB Active: 4216348 kB Inactive: 84436 kB Active(anon): 4153440 kB Inactive(anon): 528 kB Active(file): 62908 kB Inactive(file): 83908 kB Unevictable: 319964 kB Mlocked: 11320 kB SwapTotal: 67108856 kB SwapFree: 67098468 kB Dirty: 1296 kB Writeback: 4 kB AnonPages: 4471144 kB Mapped: 15364 kB Shmem: 0 kB Slab: 569200 kB SReclaimable: 12868 kB SUnreclaim: 556332 kB KernelStack: 1648 kB PageTables: 13292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5291180 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4376576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node128 at 2016-06-06 23:48:56