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) | 27 | 1800.15 | 899.159 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
| MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.079987 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6148 |
| Total number of constraints | 19000 |
| Number of constraints which are clauses | 19000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 2987 |
| 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 | 2987 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2987 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Glucose 2.1 dynamic restart strategy 0.10/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.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/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.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-4081462-1465237623.opb 0.10/0.12 c reading problem ... 0.10/0.12 c objective function found 1.10/0.58 c ... done. Wall clock time 0.465s. 1.10/0.58 c declared #vars 6148 1.10/0.58 c #constraints 19000 1.10/0.59 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.10/0.59 c constraints type 1.10/0.59 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1.10/0.59 c org.sat4j.minisat.constraints.cnf.UnitClause => 487 1.10/0.59 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1.10/0.59 c 19000 constraints processed. 1.10/0.59 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.10/0.59 c constraints type 1.10/0.59 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344 1.10/0.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169 1.10/0.59 c org.sat4j.pb.constraints.pb.UnitClausePB => 487 1.10/0.59 c 19000 constraints processed. 1.10/0.59 c objective function length is 2987 literals 1.80/0.71 c And the winner is solver1 2.44/1.09 c SATISFIABLE 2.44/1.09 c OPTIMIZING... 2.44/1.09 c Got one! Elapsed wall clock time (in seconds):0.975 2.44/1.09 o 37 2.46/1.13 c And the winner is solver0 2.73/1.61 c Got one! Elapsed wall clock time (in seconds):1.489 2.73/1.61 o 36 9.14/4.35 c cleaning 2488 clauses out of 5002 with flag 20865/5003 10.50/4.98 c And the winner is solver1 10.67/5.12 c Got one! Elapsed wall clock time (in seconds):5.002 10.67/5.12 o 35 15.15/7.32 c cleaning 3832 clauses out of 7673 with flag 17549/10162 21.42/10.48 c cleaning 4917 clauses out of 9841 with flag 44648/16162 28.67/13.96 c cleaning 5962 clauses out of 11924 with flag 77456/23162 31.89/15.56 c And the winner is solver1 31.97/15.63 c Got one! Elapsed wall clock time (in seconds):15.509 31.97/15.63 o 33 33.78/16.59 c cleaning 5622 clauses out of 11261 with flag 8176/28461 40.06/19.63 c cleaning 5811 clauses out of 11639 with flag 36126/34461 46.86/23.04 c cleaning 6415 clauses out of 12829 with flag 70726/41462 54.36/26.78 c cleaning 7207 clauses out of 14413 with flag 106978/49461 63.57/31.23 c cleaning 8104 clauses out of 16207 with flag 149547/58462 73.09/35.99 c cleaning 9051 clauses out of 18102 with flag 191015/68461 84.15/41.48 c cleaning 10015 clauses out of 20051 with flag 235414/79461 96.07/47.37 c cleaning 11013 clauses out of 22037 with flag 291089/91462 109.96/54.22 c cleaning 12009 clauses out of 24023 with flag 351091/104461 118.15/58.30 c And the winner is solver1 118.16/58.68 c Got one! Elapsed wall clock time (in seconds):58.559 118.16/58.68 o 31 123.15/61.12 c cleaning 12073 clauses out of 24145 with flag 20243/116592 129.15/64.11 c cleaning 9037 clauses out of 18073 with flag 45288/122593 136.21/67.68 c cleaning 8017 clauses out of 16035 with flag 74766/129592 144.22/71.64 c cleaning 8007 clauses out of 16018 with flag 106077/137592 153.48/76.27 c cleaning 8506 clauses out of 17011 with flag 140778/146592 163.90/81.47 c cleaning 9252 clauses out of 18505 with flag 180993/156592 171.15/85.07 c And the winner is solver1 171.19/85.19 c Got one! Elapsed wall clock time (in seconds):85.067 171.19/85.19 o 30 176.00/87.67 c cleaning 10547 clauses out of 21093 with flag 20195/168432 182.00/90.65 c cleaning 8273 clauses out of 16545 with flag 44615/174431 189.20/94.29 c cleaning 7616 clauses out of 15272 with flag 73502/181431 197.50/98.35 c cleaning 7829 clauses out of 15657 with flag 109386/189432 206.30/102.77 c cleaning 8414 clauses out of 16828 with flag 151602/198432 216.15/107.70 c cleaning 9206 clauses out of 18419 with flag 200400/208437 226.15/112.63 c cleaning 10101 clauses out of 20207 with flag 248587/219431 238.03/118.55 c cleaning 11043 clauses out of 22106 with flag 300096/231431 250.43/124.71 c cleaning 12018 clauses out of 24063 with flag 362974/244431 263.12/131.06 c cleaning 13013 clauses out of 26045 with flag 426580/258431 276.32/137.66 c cleaning 14014 clauses out of 28032 with flag 499897/273431 290.39/144.68 c cleaning 15002 clauses out of 30019 with flag 569629/289432 306.55/152.67 c cleaning 16004 clauses out of 32016 with flag 646125/306431 326.42/162.97 c cleaning 16979 clauses out of 34012 with flag 720817/324431 330.81/165.14 c And the winner is solver1 330.81/165.61 c Got one! Elapsed wall clock time (in seconds):165.494 330.81/165.61 o 29 331.60/166.08 c cleaning 11167 clauses out of 22333 with flag 3683/329731 336.99/168.74 c cleaning 8574 clauses out of 17166 with flag 27096/335731 343.42/171.91 c cleaning 7779 clauses out of 15592 with flag 55615/342731 350.62/175.51 c cleaning 7904 clauses out of 15814 with flag 87983/350732 358.68/179.53 c cleaning 8451 clauses out of 16909 with flag 124930/359731 366.87/183.69 c cleaning 9230 clauses out of 18459 with flag 167579/369732 376.32/188.31 c cleaning 10107 clauses out of 20228 with flag 213725/380731 386.38/193.30 c cleaning 11052 clauses out of 22121 with flag 271836/392731 397.18/198.71 c cleaning 12032 clauses out of 24069 with flag 333350/405731 409.87/205.07 c cleaning 13013 clauses out of 26037 with flag 399808/419731 423.35/211.70 c cleaning 14005 clauses out of 28024 with flag 474774/434731 437.23/218.61 c cleaning 14999 clauses out of 30019 with flag 556738/450731 453.72/226.89 c cleaning 16008 clauses out of 32020 with flag 634320/467731 472.99/236.40 c cleaning 16991 clauses out of 34012 with flag 720287/485731 492.20/246.02 c cleaning 18006 clauses out of 36021 with flag 818025/504731 513.70/256.79 c cleaning 18999 clauses out of 38017 with flag 896490/524733 537.63/268.65 c cleaning 20005 clauses out of 40016 with flag 980891/545731 561.50/280.60 c cleaning 21003 clauses out of 42011 with flag 1065973/567731 586.40/292.91 c cleaning 22002 clauses out of 44008 with flag 1170955/590731 614.16/307.36 c cleaning 22994 clauses out of 46006 with flag 1274857/614731 641.90/321.11 c cleaning 24002 clauses out of 48012 with flag 1374375/639731 669.06/334.65 c And the winner is solver1 669.06/334.98 c Got one! Elapsed wall clock time (in seconds):334.866 669.06/334.98 o 28 673.28/337.17 c cleaning 27147 clauses out of 54293 with flag 19970/670014 678.48/339.77 c cleaning 16561 clauses out of 33145 with flag 44820/676013 685.22/343.03 c cleaning 11792 clauses out of 23584 with flag 74137/683013 692.44/346.68 c cleaning 9892 clauses out of 19792 with flag 106427/691013 701.03/350.93 c cleaning 9452 clauses out of 18904 with flag 143618/700017 710.03/355.44 c cleaning 9717 clauses out of 19448 with flag 184654/710013 719.71/360.26 c cleaning 10355 clauses out of 20731 with flag 231115/721013 731.02/365.83 c cleaning 11184 clauses out of 22377 with flag 283783/733014 744.39/372.42 c cleaning 12098 clauses out of 24195 with flag 334819/746016 758.37/379.38 c cleaning 13047 clauses out of 26094 with flag 394678/760013 773.17/386.72 c cleaning 14020 clauses out of 28050 with flag 457180/775016 789.95/395.06 c cleaning 15006 clauses out of 30028 with flag 523410/791014 807.28/403.65 c cleaning 16000 clauses out of 32021 with flag 598132/808013 825.68/412.80 c cleaning 17009 clauses out of 34021 with flag 680677/826013 845.04/422.50 c cleaning 18004 clauses out of 36013 with flag 773506/845014 865.62/432.71 c cleaning 19004 clauses out of 38010 with flag 863284/865015 886.74/443.23 c cleaning 19989 clauses out of 40004 with flag 946391/886013 909.15/454.42 c cleaning 20992 clauses out of 42015 with flag 1045274/908013 932.24/465.91 c cleaning 22000 clauses out of 44023 with flag 1151601/931013 957.03/478.31 c cleaning 23008 clauses out of 46023 with flag 1255710/955013 983.96/491.66 c cleaning 24000 clauses out of 48016 with flag 1372218/980014 1010.14/504.63 c cleaning 24996 clauses out of 50015 with flag 1488012/1006013 1040.68/520.78 c cleaning 25997 clauses out of 52019 with flag 1623237/1033013 1067.97/534.31 c cleaning 27006 clauses out of 54022 with flag 1757425/1061013 1094.27/547.49 c cleaning 28005 clauses out of 56016 with flag 1898152/1090013 1122.06/561.35 c cleaning 28994 clauses out of 58012 with flag 2042161/1120014 1151.55/576.04 c cleaning 30003 clauses out of 60018 with flag 2184902/1151014 1182.44/591.40 c cleaning 31005 clauses out of 62014 with flag 2333192/1183013 1216.96/608.65 c cleaning 32003 clauses out of 64010 with flag 2493656/1216014 1254.15/627.12 c cleaning 32990 clauses out of 66006 with flag 2660432/1250013 1287.94/644.07 c cleaning 34007 clauses out of 68018 with flag 2829572/1285015 1322.32/661.08 c cleaning 34996 clauses out of 70009 with flag 2992374/1321013 1358.11/678.91 c cleaning 36006 clauses out of 72013 with flag 3146511/1358013 1394.24/696.86 c cleaning 37001 clauses out of 74012 with flag 3313286/1396018 1436.82/717.95 c cleaning 38002 clauses out of 76006 with flag 3506976/1435013 1479.58/739.17 c cleaning 39002 clauses out of 78004 with flag 3683342/1475013 1521.62/760.06 c cleaning 39974 clauses out of 80002 with flag 3887083/1516013 1565.43/781.86 c cleaning 41014 clauses out of 82029 with flag 4082382/1558014 1599.03/798.58 c And the winner is solver1 1599.03/798.75 c Got one! Elapsed wall clock time (in seconds):798.636 1599.03/798.75 o 27 1603.90/801.24 c cleaning 39296 clauses out of 78591 with flag 19121/1595590 1609.72/804.14 c cleaning 22645 clauses out of 45296 with flag 42265/1601591 1615.90/807.28 c cleaning 14821 clauses out of 29650 with flag 68204/1608590 1622.70/810.60 c cleaning 11411 clauses out of 22829 with flag 99950/1616590 1629.51/814.06 c cleaning 10203 clauses out of 20418 with flag 136536/1625590 1636.70/817.68 c cleaning 10096 clauses out of 20215 with flag 179629/1635590 1646.89/822.74 c cleaning 10548 clauses out of 21119 with flag 227003/1646590 1657.69/828.13 c cleaning 11286 clauses out of 22571 with flag 283232/1658590 1668.47/833.49 c cleaning 12139 clauses out of 24285 with flag 341086/1671590 1681.86/840.11 c cleaning 13073 clauses out of 26148 with flag 409157/1685592 1695.88/847.12 c cleaning 14038 clauses out of 28075 with flag 483939/1700592 1710.86/854.67 c cleaning 15015 clauses out of 30036 with flag 566152/1716591 1728.35/863.27 c cleaning 16005 clauses out of 32020 with flag 655778/1733590 1745.15/871.64 c cleaning 16998 clauses out of 34015 with flag 742814/1751590 1762.75/880.48 c cleaning 18008 clauses out of 36017 with flag 829433/1770590 1781.96/890.07 c cleaning 19002 clauses out of 38009 with flag 924959/1790590 1800.15/899.10 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.15/899.10 c starts : 35740 1800.15/899.10 c conflicts : 1809157 1800.15/899.10 c decisions : 12071002 1800.15/899.10 c propagations : 4131251686 1800.15/899.10 c inspects : 5056458722 1800.15/899.10 c shortcuts : 0 1800.15/899.10 c learnt literals : 1 1800.15/899.10 c learnt binary clauses : 0 1800.15/899.10 c learnt ternary clauses : 28 1800.15/899.10 c learnt constraints : 1809156 1800.15/899.10 c ignored constraints : 0 1800.15/899.10 c root simplifications : 0 1800.15/899.10 c removed literals (reason simplification) : 7618603 1800.15/899.10 c reason swapping (by a shorter reason) : 0 1800.15/899.10 c Calls to reduceDB : 108 1800.15/899.10 c Number of update (reduction) of LBD : 842160 1800.15/899.10 c Imported unit clauses : 0 1800.15/899.10 c number of reductions to clauses (during analyze) : 0 1800.15/899.10 c number of learned constraints concerned by reduction : 0 1800.15/899.10 c number of learning phase by resolution : 0 1800.15/899.10 c number of learning phase by cutting planes : 0 1800.15/899.10 c speed (assignments/second) : 4.1172123508834876E7 1800.15/899.10 c non guided choices 0 1800.15/899.12 c learnt constraints type 1800.15/899.12 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37575 1800.15/899.12 c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<< 1800.15/899.12 c starts : 29 1800.15/899.12 c conflicts : 4072 1800.15/899.12 c decisions : 436357 1800.15/899.12 c propagations : 2701311 1800.15/899.12 c inspects : 68841095 1800.15/899.12 c shortcuts : 0 1800.15/899.12 c learnt literals : 0 1800.15/899.12 c learnt binary clauses : 0 1800.15/899.12 c learnt ternary clauses : 3 1800.15/899.12 c learnt constraints : 4070 1800.15/899.12 c ignored constraints : 0 1800.15/899.12 c root simplifications : 0 1800.15/899.12 c removed literals (reason simplification) : 0 1800.15/899.12 c reason swapping (by a shorter reason) : 0 1800.15/899.12 c Calls to reduceDB : 0 1800.15/899.12 c Number of update (reduction) of LBD : 0 1800.15/899.12 c Imported unit clauses : 0 1800.15/899.12 c number of reductions to clauses (during analyze) : 0 1800.15/899.12 c number of learned constraints concerned by reduction : 0 1800.15/899.12 c number of learning phase by resolution : 0 1800.15/899.12 c number of learning phase by cutting planes : 0 1800.15/899.12 c speed (assignments/second) : 3009.817270194986 1800.15/899.12 c non guided choices 0 1800.15/899.12 c learnt constraints type 1800.15/899.12 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 81 1800.15/899.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 69 1800.15/899.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3920 1800.15/899.12 s SATISFIABLE 1800.15/899.12 c Found 9 solution(s) 1800.15/899.13 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 x3982 -x3983 -x3984 x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 x5903 x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 x6019 x6020 x6021 x6022 -x6023 -x6024 -x6025 -x6026 x6027 x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 x6135 x6136 -x6137 -x6138 -x6139 -x6140 x6141 x6142 -x6143 -x6144 x6145 x6146 -x6147 -x6148 1800.15/899.14 c objective function=27 1800.15/899.14 c Total wall clock time (in seconds): 899.024
OK 27
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-4081462-1465237623/watcher-4081462-1465237623 -o /tmp/evaluation-result-4081462-1465237623/solver-4081462-1465237623 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081462-1465237623.opb pid=28050 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.03 4.07 4.11 3/197 28053 /proc/meminfo: memFree=27490020/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/28053/stat : 28053 (java) R 28050 28053 21426 0 -1 4202496 532 0 0 0 0 0 0 0 20 0 1 0 105694884 9515008 183 33554432000 1073741824 1073778376 140736255188608 140736255171336 206628878567 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2323 185 143 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.03 4.07 4.11 3/197 28053 /proc/meminfo: memFree=27490020/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 4400 0 1 0 9 1 0 0 20 0 18 0 105694884 9787879424 6038 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2389619 6038 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200211 s] /proc/loadavg: 4.03 4.07 4.11 3/197 28053 /proc/meminfo: memFree=27490020/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 5005 0 1 0 27 1 0 0 20 0 18 0 105694884 9787879424 6867 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2389619 6867 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300227 s] /proc/loadavg: 4.03 4.07 4.11 3/197 28053 /proc/meminfo: memFree=27490020/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 6377 0 1 0 49 1 0 0 20 0 18 0 105694884 9787879424 8996 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2389619 8996 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.70018 s] /proc/loadavg: 4.03 4.07 4.11 3/197 28053 /proc/meminfo: memFree=27490020/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9825336 CPUtime=1.8 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 26659 0 1 0 175 5 0 0 20 0 22 0 105694884 10061144064 34505 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2456334 34505 2253 9 0 2447011 0 Current children cumulated CPU time (s) 1.8 Current children cumulated vsize (KiB) 9825336 [startup+1.50077 s] /proc/loadavg: 4.03 4.07 4.11 5/216 28075 /proc/meminfo: memFree=27365652/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9824732 CPUtime=2.73 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 28463 0 1 0 264 9 0 0 20 0 19 0 105694884 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2456183 34695 2265 9 0 2446860 0 [pid=28053/tid=28055] ppid=28050 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/28053/task/28055/stat : 28055 (java) S 28050 28053 21426 0 -1 4202560 2447 0 1 0 56 1 0 0 20 0 19 0 105694885 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788473619320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28056] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28056/stat : 28056 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788317354408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28057] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28057/stat : 28057 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788316301864 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28058] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28058/stat : 28058 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788315248808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28059] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28059/stat : 28059 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788314196264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28060] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28060/stat : 28060 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788313144232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28061] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28061/stat : 28061 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788312091688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28062] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28062/stat : 28062 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788311038632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28063] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28063/stat : 28063 (java) S 28050 28053 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105694886 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139788309986088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28064] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28064/stat : 28064 (java) S 28050 28053 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105694887 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787827657064 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28065] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28065/stat : 28065 (java) S 28050 28053 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105694887 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787826603384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28066] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28066/stat : 28066 (java) S 28050 28053 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105694887 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787825550216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28067] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28067/stat : 28067 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694890 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787824498960 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28068] ppid=28050 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/28053/task/28068/stat : 28068 (java) S 28050 28053 21426 0 -1 4202560 11126 0 0 0 85 2 0 0 20 0 19 0 105694890 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787823446840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28069] ppid=28050 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/28053/task/28069/stat : 28069 (java) S 28050 28053 21426 0 -1 4202560 13545 0 0 0 86 2 0 0 20 0 19 0 105694890 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787822394296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28070] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28070/stat : 28070 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694890 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787821341432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28071] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28071/stat : 28071 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105694890 10060525568 34695 33554432000 1073741824 1073778376 140736255188608 139787820289096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 4.03 4.07 4.11 7/219 28081 /proc/meminfo: memFree=27344096/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9824732 CPUtime=6.74 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 32454 0 1 0 663 11 0 0 20 0 22 0 105694884 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2456183 42518 2276 9 0 2446860 0 [pid=28053/tid=28055] ppid=28050 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/28053/task/28055/stat : 28055 (java) S 28050 28053 21426 0 -1 4202560 2448 0 1 0 57 1 0 0 20 0 22 0 105694885 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788473619320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28056] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28056/stat : 28056 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788317354408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28057] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28057/stat : 28057 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788316301864 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28058] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28058/stat : 28058 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788315248808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28059] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28059/stat : 28059 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788314196264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28060] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28060/stat : 28060 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788313144232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28061] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28061/stat : 28061 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788312091688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28062] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28062/stat : 28062 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788311038632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28063] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28063/stat : 28063 (java) S 28050 28053 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139788309986088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28064] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28064/stat : 28064 (java) S 28050 28053 21426 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787827657064 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28065] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28065/stat : 28065 (java) S 28050 28053 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787826603384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28066] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28066/stat : 28066 (java) S 28050 28053 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787825550216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28067] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28067/stat : 28067 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787824498960 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28068] ppid=28050 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/28053/task/28068/stat : 28068 (java) S 28050 28053 21426 0 -1 4202560 11127 0 0 0 127 3 0 0 20 0 22 0 105694890 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787823446840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28069] ppid=28050 vsize=9824732 CPUtime=1.5 cores=0,2,4,6 /proc/28053/task/28069/stat : 28069 (java) S 28050 28053 21426 0 -1 4202560 17501 0 0 0 147 3 0 0 20 0 22 0 105694890 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787822394296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28070] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28070/stat : 28070 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787821341432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28071] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28071/stat : 28071 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787820289096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28078] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28078/stat : 28078 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105694995 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787814860072 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28079] ppid=28050 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/28053/task/28079/stat : 28079 (java) R 28050 28053 21426 0 -1 4202560 4 0 0 0 144 0 0 0 20 0 22 0 105695046 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787816964856 139788318450847 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28080] ppid=28050 vsize=9824732 CPUtime=1.46 cores=0,2,4,6 /proc/28053/task/28080/stat : 28080 (java) R 28050 28053 21426 0 -1 4202560 26 0 0 0 146 0 0 0 20 0 22 0 105695046 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787818016936 139788318663576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28081] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28081/stat : 28081 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105695046 10060525568 42518 33554432000 1073741824 1073778376 140736255188608 139787815912616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.74 Current children cumulated vsize (KiB) 9824732 [startup+6.3009 s] /proc/loadavg: 4.11 4.09 4.11 5/219 28084 /proc/meminfo: memFree=27275236/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9824732 CPUtime=13.07 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 36388 0 1 0 1292 15 0 0 20 0 22 0 105694884 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2456183 55281 2293 9 0 2446860 0 [pid=28053/tid=28055] ppid=28050 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/28053/task/28055/stat : 28055 (java) S 28050 28053 21426 0 -1 4202560 2448 0 1 0 58 1 0 0 20 0 22 0 105694885 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788473619320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28056] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28056/stat : 28056 (java) S 28050 28053 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788317354408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28057] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28057/stat : 28057 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788316301864 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28058] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28058/stat : 28058 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788315248808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28059] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28059/stat : 28059 (java) S 28050 28053 21426 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788314196264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28060] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28060/stat : 28060 (java) S 28050 28053 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788313144232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28061] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28061/stat : 28061 (java) S 28050 28053 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788312091688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28062] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28062/stat : 28062 (java) S 28050 28053 21426 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788311038632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28063] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28063/stat : 28063 (java) S 28050 28053 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105694886 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139788309986088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28064] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28064/stat : 28064 (java) S 28050 28053 21426 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787827657064 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28065] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28065/stat : 28065 (java) S 28050 28053 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787826603384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28066] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28066/stat : 28066 (java) S 28050 28053 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787825550216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28067] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28067/stat : 28067 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787824498960 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28068] ppid=28050 vsize=9824732 CPUtime=1.48 cores=0,2,4,6 /proc/28053/task/28068/stat : 28068 (java) S 28050 28053 21426 0 -1 4202560 14976 0 0 0 145 3 0 0 20 0 22 0 105694890 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787823446840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28069] ppid=28050 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/28053/task/28069/stat : 28069 (java) S 28050 28053 21426 0 -1 4202560 17504 0 0 0 154 3 0 0 20 0 22 0 105694890 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787822394296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28070] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28070/stat : 28070 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787821341432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28071] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28071/stat : 28071 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 55281 33554432000 1073741824 1073778376 140736255188608 139787820289096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28081] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=28053/tid=28063] ppid=28050 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/28053/task/28063/stat : 28063 (java) S 28050 28053 21426 0 -1 4202560 1293 0 0 0 190 30 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788309986088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28064] ppid=28050 vsize=9824732 CPUtime=4 cores=0,2,4,6 /proc/28053/task/28064/stat : 28064 (java) S 28050 28053 21426 0 -1 4202560 1853 0 0 0 392 8 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787827657064 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28065] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28065/stat : 28065 (java) S 28050 28053 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787826603384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28066] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28066/stat : 28066 (java) S 28050 28053 21426 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787825550216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28067] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28067/stat : 28067 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787824498960 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28068] ppid=28050 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/28053/task/28068/stat : 28068 (java) S 28050 28053 21426 0 -1 4202560 14993 0 0 0 182 3 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787823446840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28069] ppid=28050 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/28053/task/28069/stat : 28069 (java) S 28050 28053 21426 0 -1 4202560 17510 0 0 0 199 3 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787822394296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28070] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28070/stat : 28070 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787821341432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28071] ppid=28050 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/28053/task/28071/stat : 28071 (java) S 28050 28053 21426 0 -1 4202560 51 0 0 0 7 10 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787820289096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28081] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28081/stat : 28081 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105695046 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787815912616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28203] ppid=28050 vsize=9824732 CPUtime=83.08 cores=0,2,4,6 /proc/28053/task/28203/stat : 28203 (java) R 28050 28053 21426 0 -1 4202560 2 0 0 0 8307 1 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787816956320 139788318895116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28204] ppid=28050 vsize=9824732 CPUtime=83.07 cores=0,2,4,6 /proc/28053/task/28204/stat : 28204 (java) R 28050 28053 21426 0 -1 4202560 6 0 0 0 8306 1 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787818016768 139788318663714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28205] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28205/stat : 28205 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787814860072 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1763.53 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.101 s] /proc/loadavg: 4.06 4.16 4.11 5/219 28207 /proc/meminfo: memFree=27490260/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9824732 CPUtime=1797.12 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 46716 0 1 0 179399 313 0 0 20 0 22 0 105694884 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2456183 710428 2302 9 0 2446860 0 [pid=28053/tid=28055] ppid=28050 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/28053/task/28055/stat : 28055 (java) S 28050 28053 21426 0 -1 4202560 2453 0 1 0 63 2 0 0 20 0 22 0 105694885 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788473619320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28056] ppid=28050 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/28053/task/28056/stat : 28056 (java) S 28050 28053 21426 0 -1 4202560 922 0 0 0 179 30 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788317354408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28057] ppid=28050 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/28053/task/28057/stat : 28057 (java) S 28050 28053 21426 0 -1 4202560 746 0 0 0 204 34 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788316301864 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28058] ppid=28050 vsize=9824732 CPUtime=2.08 cores=0,2,4,6 /proc/28053/task/28058/stat : 28058 (java) S 28050 28053 21426 0 -1 4202560 867 0 0 0 180 28 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788315248808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28059] ppid=28050 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/28053/task/28059/stat : 28059 (java) S 28050 28053 21426 0 -1 4202560 1328 0 0 0 211 33 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788314196264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28060] ppid=28050 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/28053/task/28060/stat : 28060 (java) S 28050 28053 21426 0 -1 4202560 856 0 0 0 204 34 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788313144232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28061] ppid=28050 vsize=9824732 CPUtime=2.28 cores=0,2,4,6 /proc/28053/task/28061/stat : 28061 (java) S 28050 28053 21426 0 -1 4202560 1197 0 0 0 194 34 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788312091688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28062] ppid=28050 vsize=9824732 CPUtime=2.33 cores=0,2,4,6 /proc/28053/task/28062/stat : 28062 (java) S 28050 28053 21426 0 -1 4202560 1069 0 0 0 203 30 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788311038632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28063] ppid=28050 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/28053/task/28063/stat : 28063 (java) S 28050 28053 21426 0 -1 4202560 1293 0 0 0 190 30 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788309986088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28064] ppid=28050 vsize=9824732 CPUtime=4 cores=0,2,4,6 /proc/28053/task/28064/stat : 28064 (java) S 28050 28053 21426 0 -1 4202560 1853 0 0 0 392 8 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787827657064 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28065] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28065/stat : 28065 (java) S 28050 28053 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787826603384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28066] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28066/stat : 28066 (java) S 28050 28053 21426 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787825550216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28067] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28067/stat : 28067 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787824498960 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28068] ppid=28050 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/28053/task/28068/stat : 28068 (java) S 28050 28053 21426 0 -1 4202560 14993 0 0 0 182 3 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787823446840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28069] ppid=28050 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/28053/task/28069/stat : 28069 (java) S 28050 28053 21426 0 -1 4202560 17510 0 0 0 199 3 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787822394296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28070] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28070/stat : 28070 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787821341432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28071] ppid=28050 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/28053/task/28071/stat : 28071 (java) S 28050 28053 21426 0 -1 4202560 51 0 0 0 7 10 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787820289096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28081] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28081/stat : 28081 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105695046 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787815912616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28203] ppid=28050 vsize=9824732 CPUtime=99.83 cores=0,2,4,6 /proc/28053/task/28203/stat : 28203 (java) R 28050 28053 21426 0 -1 4202560 2 0 0 0 9982 1 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787816956320 139788318529152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28204] ppid=28050 vsize=9824732 CPUtime=99.82 cores=0,2,4,6 /proc/28053/task/28204/stat : 28204 (java) R 28050 28053 21426 0 -1 4202560 6 0 0 0 9981 1 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787818016768 139788318867729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28205] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28205/stat : 28205 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787814860072 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.12 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 28053 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.101 s] /proc/loadavg: 4.06 4.16 4.11 5/219 28207 /proc/meminfo: memFree=27490260/32872528 swapFree=12328/568296 [pid=28053] ppid=28050 vsize=9824732 CPUtime=1797.12 cores=0,2,4,6 /proc/28053/stat : 28053 (java) S 28050 28053 21426 0 -1 4202496 46716 0 1 0 179399 313 0 0 20 0 22 0 105694884 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 140736255179744 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28053/statm: 2456183 710428 2302 9 0 2446860 0 [pid=28053/tid=28055] ppid=28050 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/28053/task/28055/stat : 28055 (java) S 28050 28053 21426 0 -1 4202560 2453 0 1 0 63 2 0 0 20 0 22 0 105694885 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788473619320 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28056] ppid=28050 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/28053/task/28056/stat : 28056 (java) S 28050 28053 21426 0 -1 4202560 922 0 0 0 179 30 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788317354408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28057] ppid=28050 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/28053/task/28057/stat : 28057 (java) S 28050 28053 21426 0 -1 4202560 746 0 0 0 204 34 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788316301864 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28058] ppid=28050 vsize=9824732 CPUtime=2.08 cores=0,2,4,6 /proc/28053/task/28058/stat : 28058 (java) S 28050 28053 21426 0 -1 4202560 867 0 0 0 180 28 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788315248808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28059] ppid=28050 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/28053/task/28059/stat : 28059 (java) S 28050 28053 21426 0 -1 4202560 1328 0 0 0 211 33 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788314196264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28060] ppid=28050 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/28053/task/28060/stat : 28060 (java) S 28050 28053 21426 0 -1 4202560 856 0 0 0 204 34 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788313144232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28061] ppid=28050 vsize=9824732 CPUtime=2.28 cores=0,2,4,6 /proc/28053/task/28061/stat : 28061 (java) S 28050 28053 21426 0 -1 4202560 1197 0 0 0 194 34 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788312091688 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28062] ppid=28050 vsize=9824732 CPUtime=2.33 cores=0,2,4,6 /proc/28053/task/28062/stat : 28062 (java) S 28050 28053 21426 0 -1 4202560 1069 0 0 0 203 30 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788311038632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28063] ppid=28050 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/28053/task/28063/stat : 28063 (java) S 28050 28053 21426 0 -1 4202560 1293 0 0 0 190 30 0 0 20 0 22 0 105694886 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139788309986088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28064] ppid=28050 vsize=9824732 CPUtime=4 cores=0,2,4,6 /proc/28053/task/28064/stat : 28064 (java) S 28050 28053 21426 0 -1 4202560 1853 0 0 0 392 8 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787827657064 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28065] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28065/stat : 28065 (java) S 28050 28053 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787826603384 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28066] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28066/stat : 28066 (java) S 28050 28053 21426 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 105694887 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787825550216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28067] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28067/stat : 28067 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787824498960 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28068] ppid=28050 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/28053/task/28068/stat : 28068 (java) S 28050 28053 21426 0 -1 4202560 14993 0 0 0 182 3 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787823446840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28069] ppid=28050 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/28053/task/28069/stat : 28069 (java) S 28050 28053 21426 0 -1 4202560 17510 0 0 0 199 3 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787822394296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28053/tid=28070] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28070/stat : 28070 (java) S 28050 28053 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787821341432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28071] ppid=28050 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/28053/task/28071/stat : 28071 (java) S 28050 28053 21426 0 -1 4202560 51 0 0 0 7 10 0 0 20 0 22 0 105694890 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787820289096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28053/tid=28081] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28081/stat : 28081 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105695046 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787815912616 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28203] ppid=28050 vsize=9824732 CPUtime=99.83 cores=0,2,4,6 /proc/28053/task/28203/stat : 28203 (java) R 28050 28053 21426 0 -1 4202560 2 0 0 0 9982 1 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787816956320 139788318529152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28053/tid=28204] ppid=28050 vsize=9824732 CPUtime=99.82 cores=0,2,4,6 /proc/28053/task/28204/stat : 28204 (java) R 28050 28053 21426 0 -1 4202560 6 0 0 0 9981 1 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787818016768 139788318867729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28053/tid=28205] ppid=28050 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/28053/task/28205/stat : 28205 (java) S 28050 28053 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105774760 10060525568 710428 33554432000 1073741824 1073778376 140736255188608 139787814860072 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28053 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=510344 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=341492 # CPU time returned by wait4() is 1796.85 # while last known CPU time is 1797.12 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.03 # lost CPU user time (s): 3.24005 # lost CPU system time (s): -0.21 Real time (s): 899.159 CPU time (s): 1800.15 CPU user time (s): 1797.23 CPU system time (s): 2.92 CPU usage (%): 200.204 Max. virtual memory (cumulated for all children) (KiB): 9825336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.51 system time used= 3.34149 maximum resident set size= 2841824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46756 page faults= 1 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23606 involuntary context switches= 23563 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.16106 second user time and 6.62699 second system time The end
Begin job on node138 at 2016-06-06 20:27:03 IDJOB=4081462 IDBENCH=24991 IDSOLVER=2543 FILE ID=node138/4081462-1465237623 RUNJOBID= node138-1465221375-21442 PBS_JOBID= 19843229 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081462-1465237623/watcher-4081462-1465237623 -o /tmp/evaluation-result-4081462-1465237623/solver-4081462-1465237623 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21442 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081462-1465237623.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=974737530 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.807 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27490416 kB Buffers: 32924 kB Cached: 98036 kB SwapCached: 46416 kB Active: 3990340 kB Inactive: 116164 kB Active(anon): 3931000 kB Inactive(anon): 47172 kB Active(file): 59340 kB Inactive(file): 68992 kB Unevictable: 568296 kB Mlocked: 12328 kB SwapTotal: 67108856 kB SwapFree: 67053464 kB Dirty: 912 kB Writeback: 0 kB AnonPages: 4494604 kB Mapped: 15364 kB Shmem: 0 kB Slab: 568212 kB SReclaimable: 11856 kB SUnreclaim: 556356 kB KernelStack: 1600 kB PageTables: 12680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5031468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4349952 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= 71744 MiB End job on node138 at 2016-06-06 20:42:02