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) | 28 | 1800.46 | 900.863 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
| MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
| 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.098984 |
| 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 | 6080 |
| Total number of constraints | 18113 |
| Number of constraints which are clauses | 18113 |
| 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 | 125 |
| Number of terms in the objective function | 2975 |
| 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 | 2975 |
| 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 | 2975 |
| 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.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081455-1465238572.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.09/0.57 c ... done. Wall clock time 0.453s. 1.09/0.57 c declared #vars 6080 1.09/0.57 c #constraints 18113 1.09/0.57 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.09/0.57 c constraints type 1.09/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 1.09/0.57 c org.sat4j.minisat.constraints.cnf.UnitClause => 487 1.09/0.57 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 1.09/0.57 c 18113 constraints processed. 1.09/0.57 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.09/0.57 c constraints type 1.09/0.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14512 1.09/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3114 1.09/0.57 c org.sat4j.pb.constraints.pb.UnitClausePB => 487 1.09/0.57 c 18113 constraints processed. 1.09/0.57 c objective function length is 2975 literals 1.81/0.70 c And the winner is solver1 2.41/1.08 c SATISFIABLE 2.41/1.08 c OPTIMIZING... 2.41/1.08 c Got one! Elapsed wall clock time (in seconds):0.962 2.41/1.08 o 37 2.46/1.13 c And the winner is solver0 2.70/1.60 c Got one! Elapsed wall clock time (in seconds):1.479 2.70/1.60 o 36 4.46/2.13 c And the winner is solver0 4.68/2.61 c Got one! Elapsed wall clock time (in seconds):2.492 4.68/2.61 o 35 7.97/4.18 c cleaning 2879 clauses out of 5767 with flag 14381/5767 14.25/7.17 c cleaning 4432 clauses out of 8888 with flag 40172/11767 21.41/10.60 c cleaning 5715 clauses out of 11456 with flag 68973/18767 29.49/14.60 c cleaning 6855 clauses out of 13742 with flag 101961/26768 38.62/19.14 c cleaning 7932 clauses out of 15886 with flag 140381/35767 48.70/24.18 c cleaning 8971 clauses out of 17954 with flag 186424/45767 60.59/30.05 c cleaning 9976 clauses out of 19983 with flag 223480/56767 73.09/36.20 c cleaning 10997 clauses out of 22007 with flag 275139/68767 87.07/43.12 c cleaning 11991 clauses out of 24010 with flag 329245/81767 102.77/50.95 c cleaning 13001 clauses out of 26019 with flag 397732/95767 119.06/59.05 c cleaning 13989 clauses out of 28018 with flag 458179/110767 129.73/64.38 c And the winner is solver1 129.92/64.67 c Got one! Elapsed wall clock time (in seconds):64.551 129.92/64.67 o 34 135.04/67.21 c cleaning 14457 clauses out of 28916 with flag 22647/125654 140.63/70.10 c cleaning 10231 clauses out of 20461 with flag 50613/131656 147.48/73.47 c cleaning 8602 clauses out of 17229 with flag 82266/138655 155.36/77.31 c cleaning 8313 clauses out of 16626 with flag 119771/146654 164.02/81.64 c cleaning 8656 clauses out of 17313 with flag 159434/155654 173.67/86.41 c cleaning 9327 clauses out of 18658 with flag 206719/165655 185.04/92.07 c cleaning 10158 clauses out of 20330 with flag 260514/176654 197.79/98.30 c cleaning 11087 clauses out of 22174 with flag 319653/188656 210.45/104.70 c cleaning 12044 clauses out of 24087 with flag 387778/201656 224.10/111.46 c cleaning 13022 clauses out of 26043 with flag 463909/215656 238.97/118.87 c cleaning 14005 clauses out of 28019 with flag 546105/230654 255.72/127.18 c cleaning 15004 clauses out of 30017 with flag 635654/246657 272.78/135.69 c cleaning 16006 clauses out of 32012 with flag 729555/263656 291.51/145.36 c cleaning 16985 clauses out of 34004 with flag 825441/281654 312.33/155.61 c cleaning 18010 clauses out of 36019 with flag 907814/300654 333.00/165.95 c cleaning 19002 clauses out of 38009 with flag 1000625/320654 337.86/168.31 c And the winner is solver1 337.91/168.58 c Got one! Elapsed wall clock time (in seconds):168.464 337.91/168.58 o 33 339.03/169.13 c cleaning 12242 clauses out of 24495 with flag 3934/326142 345.02/172.15 c cleaning 9127 clauses out of 18253 with flag 29682/332142 351.88/175.58 c cleaning 8062 clauses out of 16127 with flag 65559/339143 360.07/179.61 c cleaning 8032 clauses out of 16064 with flag 103780/347142 369.34/184.21 c cleaning 8516 clauses out of 17033 with flag 146767/356143 379.74/189.46 c cleaning 9255 clauses out of 18516 with flag 188247/366142 390.81/194.91 c cleaning 10130 clauses out of 20261 with flag 232095/377142 403.28/201.19 c cleaning 11061 clauses out of 22131 with flag 282541/389142 416.91/207.92 c cleaning 12020 clauses out of 24070 with flag 337797/402142 430.98/214.99 c cleaning 13019 clauses out of 26050 with flag 400433/416142 446.72/222.78 c cleaning 14006 clauses out of 28031 with flag 467959/431142 463.63/231.15 c cleaning 14999 clauses out of 30025 with flag 544150/447142 481.67/240.12 c cleaning 15990 clauses out of 32026 with flag 628109/464142 500.32/249.47 c cleaning 17013 clauses out of 34036 with flag 728159/482142 520.58/259.51 c cleaning 18012 clauses out of 36023 with flag 819785/501142 542.23/270.33 c cleaning 19005 clauses out of 38011 with flag 923780/521142 563.84/281.64 c cleaning 19976 clauses out of 40006 with flag 1034717/542142 584.90/292.11 c cleaning 20988 clauses out of 42030 with flag 1147387/564142 608.39/303.80 c cleaning 22011 clauses out of 44042 with flag 1266233/587142 634.05/316.68 c cleaning 22985 clauses out of 46031 with flag 1399486/611142 646.65/322.95 c And the winner is solver1 646.80/323.16 c Got one! Elapsed wall clock time (in seconds):323.048 646.80/323.16 o 32 651.46/325.55 c cleaning 19665 clauses out of 39330 with flag 21800/627426 657.55/328.52 c cleaning 12832 clauses out of 25665 with flag 47631/633426 664.35/331.98 c cleaning 9912 clauses out of 19833 with flag 78939/640426 672.15/335.86 c cleaning 8960 clauses out of 17923 with flag 115453/648428 680.15/339.88 c cleaning 8981 clauses out of 17962 with flag 157118/657427 689.53/344.41 c cleaning 9470 clauses out of 18980 with flag 201780/667426 699.51/349.41 c cleaning 10252 clauses out of 20510 with flag 251534/678426 711.71/355.59 c cleaning 11122 clauses out of 22258 with flag 301472/690426 725.24/362.26 c cleaning 12064 clauses out of 24136 with flag 359004/703426 738.05/368.65 c cleaning 13016 clauses out of 26072 with flag 420897/717426 751.43/375.33 c cleaning 14021 clauses out of 28056 with flag 481276/732426 765.58/382.34 c cleaning 15009 clauses out of 30035 with flag 548366/748426 779.58/389.32 c cleaning 16013 clauses out of 32026 with flag 628580/765426 796.38/397.78 c cleaning 17000 clauses out of 34013 with flag 721687/783426 813.40/406.14 c cleaning 18007 clauses out of 36013 with flag 817852/802426 830.39/414.66 c cleaning 18999 clauses out of 38006 with flag 911023/822426 849.80/424.33 c cleaning 19981 clauses out of 40007 with flag 998279/843426 866.74/432.74 c cleaning 21010 clauses out of 42026 with flag 1089700/865426 884.74/441.73 c cleaning 22005 clauses out of 44016 with flag 1179747/888426 904.31/451.43 c cleaning 23004 clauses out of 46011 with flag 1275063/912426 926.70/462.60 c cleaning 24003 clauses out of 48008 with flag 1382347/937427 948.93/473.65 c cleaning 24999 clauses out of 50004 with flag 1498233/963426 965.35/481.85 c And the winner is solver1 965.50/482.28 c Got one! Elapsed wall clock time (in seconds):482.165 965.50/482.28 o 31 970.31/484.76 c cleaning 24772 clauses out of 49563 with flag 23165/987984 976.31/487.71 c cleaning 15391 clauses out of 30790 with flag 52881/993983 982.91/491.00 c cleaning 11199 clauses out of 22400 with flag 85999/1000984 991.08/495.04 c cleaning 9589 clauses out of 19201 with flag 123860/1008984 1000.08/499.56 c cleaning 9298 clauses out of 18611 with flag 170300/1017983 1010.07/504.54 c cleaning 9637 clauses out of 19313 with flag 223044/1027983 1022.55/510.62 c cleaning 10318 clauses out of 20676 with flag 276980/1038983 1035.75/517.22 c cleaning 11174 clauses out of 22358 with flag 334189/1050983 1049.95/524.37 c cleaning 12080 clauses out of 24184 with flag 397308/1063983 1067.88/534.29 c cleaning 13053 clauses out of 26106 with flag 468258/1077985 1071.48/536.01 c And the winner is solver1 1071.52/536.37 c Got one! Elapsed wall clock time (in seconds):536.256 1071.52/536.37 o 30 1073.36/537.31 c cleaning 9109 clauses out of 18231 with flag 9348/1083163 1078.97/540.12 c cleaning 7561 clauses out of 15122 with flag 35280/1089163 1085.16/543.26 c cleaning 7280 clauses out of 14561 with flag 65317/1096163 1092.56/546.91 c cleaning 7637 clauses out of 15281 with flag 97261/1104163 1101.38/551.20 c cleaning 8313 clauses out of 16644 with flag 137919/1113163 1110.38/555.61 c cleaning 9164 clauses out of 18331 with flag 182124/1123163 1121.17/561.02 c cleaning 10077 clauses out of 20168 with flag 227523/1134164 1133.16/567.06 c cleaning 11037 clauses out of 22090 with flag 281083/1146163 1145.93/573.31 c cleaning 12025 clauses out of 24054 with flag 340676/1159164 1159.73/580.22 c cleaning 12989 clauses out of 26028 with flag 413708/1173163 1174.92/587.90 c cleaning 14011 clauses out of 28039 with flag 487648/1188163 1191.16/595.83 c cleaning 15003 clauses out of 30028 with flag 572662/1204163 1207.95/604.25 c cleaning 15997 clauses out of 32025 with flag 660247/1221163 1225.95/613.24 c cleaning 17013 clauses out of 34029 with flag 749298/1239164 1245.98/623.18 c cleaning 17988 clauses out of 36015 with flag 850385/1258163 1267.00/633.68 c cleaning 18995 clauses out of 38027 with flag 963585/1278163 1287.69/643.88 c cleaning 20009 clauses out of 40032 with flag 1074384/1299163 1309.68/654.86 c cleaning 20996 clauses out of 42023 with flag 1178408/1321163 1330.58/665.15 c And the winner is solver1 1330.71/665.40 c Got one! Elapsed wall clock time (in seconds):665.279 1330.71/665.40 o 29 1335.52/667.81 c cleaning 22881 clauses out of 45769 with flag 21111/1345905 1342.71/671.26 c cleaning 14445 clauses out of 28889 with flag 48247/1351906 1350.10/674.96 c cleaning 10715 clauses out of 21443 with flag 80904/1358905 1358.50/679.19 c cleaning 9364 clauses out of 18728 with flag 112012/1366905 1368.10/683.96 c cleaning 9180 clauses out of 18365 with flag 146769/1375906 1378.70/689.26 c cleaning 9592 clauses out of 19184 with flag 184436/1385905 1391.15/695.29 c cleaning 10296 clauses out of 20592 with flag 231486/1396905 1403.34/701.36 c cleaning 11148 clauses out of 22296 with flag 287228/1408905 1416.93/708.11 c cleaning 12074 clauses out of 24148 with flag 343673/1421905 1432.72/715.80 c cleaning 13031 clauses out of 26074 with flag 409708/1435905 1447.92/723.49 c cleaning 14023 clauses out of 28045 with flag 481229/1450907 1465.68/732.13 c cleaning 15011 clauses out of 30021 with flag 557612/1466906 1482.67/740.64 c cleaning 15995 clauses out of 32009 with flag 636460/1483905 1499.69/749.16 c cleaning 17000 clauses out of 34014 with flag 727089/1501905 1519.58/759.00 c cleaning 17997 clauses out of 36014 with flag 822381/1520905 1541.38/769.82 c cleaning 19006 clauses out of 38018 with flag 922734/1540906 1561.79/780.09 c cleaning 20000 clauses out of 40011 with flag 1019153/1561905 1585.60/791.82 c cleaning 20996 clauses out of 42011 with flag 1120866/1583905 1609.61/803.82 c cleaning 22008 clauses out of 44016 with flag 1241304/1606906 1637.22/819.15 c cleaning 22999 clauses out of 46009 with flag 1357013/1630907 1642.02/821.55 c And the winner is solver1 1642.20/821.93 c Got one! Elapsed wall clock time (in seconds):821.811 1642.20/821.93 o 28 1643.12/822.41 c cleaning 14495 clauses out of 28992 with flag 5342/1636889 1648.53/825.15 c cleaning 10249 clauses out of 20498 with flag 36229/1642890 1655.13/828.47 c cleaning 8611 clauses out of 17248 with flag 67936/1649889 1662.52/832.11 c cleaning 8319 clauses out of 16638 with flag 108154/1657890 1670.72/836.26 c cleaning 8655 clauses out of 17318 with flag 153037/1666889 1679.91/840.88 c cleaning 9328 clauses out of 18663 with flag 200315/1676889 1691.21/846.49 c cleaning 10156 clauses out of 20335 with flag 253219/1687889 1704.01/852.81 c cleaning 11089 clauses out of 22179 with flag 307953/1699889 1717.81/859.71 c cleaning 12040 clauses out of 24090 with flag 367872/1712889 1733.20/867.49 c cleaning 13009 clauses out of 26050 with flag 441075/1726889 1750.35/875.93 c cleaning 14012 clauses out of 28041 with flag 519299/1741889 1768.35/884.95 c cleaning 15002 clauses out of 30030 with flag 605486/1757890 1787.74/894.65 c cleaning 16005 clauses out of 32027 with flag 696906/1774889 1800.14/900.80 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.14/900.80 c starts : 33064 1800.14/900.80 c conflicts : 1785837 1800.14/900.80 c decisions : 11838168 1800.14/900.80 c propagations : 4158126006 1800.14/900.80 c inspects : 4895043051 1800.14/900.80 c shortcuts : 0 1800.14/900.80 c learnt literals : 0 1800.14/900.80 c learnt binary clauses : 0 1800.14/900.80 c learnt ternary clauses : 29 1800.14/900.80 c learnt constraints : 1785837 1800.14/900.80 c ignored constraints : 0 1800.14/900.80 c root simplifications : 0 1800.14/900.80 c removed literals (reason simplification) : 7564995 1800.14/900.80 c reason swapping (by a shorter reason) : 0 1800.14/900.80 c Calls to reduceDB : 130 1800.14/900.80 c Number of update (reduction) of LBD : 768190 1800.14/900.80 c Imported unit clauses : 0 1800.14/900.80 c number of reductions to clauses (during analyze) : 0 1800.14/900.80 c number of learned constraints concerned by reduction : 0 1800.14/900.80 c number of learning phase by resolution : 0 1800.14/900.80 c number of learning phase by cutting planes : 0 1800.14/900.80 c speed (assignments/second) : 5.272259986306234E7 1800.14/900.80 c non guided choices 0 1800.14/900.81 c learnt constraints type 1800.14/900.81 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26970 1800.14/900.81 c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<< 1800.14/900.81 c starts : 29 1800.14/900.81 c conflicts : 3722 1800.14/900.81 c decisions : 301605 1800.14/900.81 c propagations : 1944776 1800.14/900.81 c inspects : 46803229 1800.14/900.81 c shortcuts : 0 1800.14/900.81 c learnt literals : 0 1800.14/900.81 c learnt binary clauses : 0 1800.14/900.81 c learnt ternary clauses : 0 1800.14/900.81 c learnt constraints : 3720 1800.14/900.81 c ignored constraints : 0 1800.14/900.81 c root simplifications : 0 1800.14/900.82 c removed literals (reason simplification) : 0 1800.14/900.82 c reason swapping (by a shorter reason) : 0 1800.14/900.82 c Calls to reduceDB : 0 1800.14/900.82 c Number of update (reduction) of LBD : 0 1800.14/900.82 c Imported unit clauses : 0 1800.14/900.82 c number of reductions to clauses (during analyze) : 0 1800.14/900.82 c number of learned constraints concerned by reduction : 0 1800.14/900.82 c number of learning phase by resolution : 0 1800.14/900.82 c number of learning phase by cutting planes : 0 1800.14/900.82 c speed (assignments/second) : 2165.1926074370963 1800.14/900.82 c non guided choices 0 1800.14/900.82 c learnt constraints type 1800.14/900.82 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 58 1800.14/900.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 59 1800.14/900.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3603 1800.14/900.82 s SATISFIABLE 1800.14/900.82 c Found 10 solution(s) 1800.14/900.83 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 1800.14/900.83 c objective function=28 1800.14/900.83 c Total wall clock time (in seconds): 900.718
OK 28
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-4081455-1465238572/watcher-4081455-1465238572 -o /tmp/evaluation-result-4081455-1465238572/solver-4081455-1465238572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081455-1465238572.opb pid=16795 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: 3.95 3.98 3.97 3/197 16798 /proc/meminfo: memFree=30635076/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/16798/stat : 16798 (java) R 16795 16798 12316 0 -1 4202496 489 0 0 0 0 0 0 0 20 0 1 0 105790477 9515008 144 33554432000 1073741824 1073778376 140735712720528 140735712717656 262962426548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2323 148 107 9 0 71 0 [startup+0.100059 s] /proc/loadavg: 3.95 3.98 3.97 3/197 16798 /proc/meminfo: memFree=30635076/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 105790477 9787879424 6039 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2389619 6039 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.20024 s] /proc/loadavg: 3.95 3.98 3.97 3/197 16798 /proc/meminfo: memFree=30635076/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 5022 0 1 0 27 1 0 0 20 0 18 0 105790477 9787879424 6882 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2389619 6882 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300222 s] /proc/loadavg: 3.95 3.98 3.97 3/197 16798 /proc/meminfo: memFree=30635076/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 6292 0 1 0 49 1 0 0 20 0 18 0 105790477 9787879424 9111 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2389619 9111 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700192 s] /proc/loadavg: 3.95 3.98 3.97 3/197 16798 /proc/meminfo: memFree=30635076/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9825920 CPUtime=1.81 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 26233 0 1 0 175 6 0 0 20 0 22 0 105790477 10061742080 34042 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2456480 34042 2252 9 0 2447157 0 Current children cumulated CPU time (s) 1.81 Current children cumulated vsize (KiB) 9825920 [startup+1.50075 s] /proc/loadavg: 3.95 3.98 3.97 7/218 16822 /proc/meminfo: memFree=30506976/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9824732 CPUtime=2.7 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 27763 0 1 0 260 10 0 0 20 0 19 0 105790477 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2456183 34094 2265 9 0 2446860 0 [pid=16798/tid=16800] ppid=16795 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/16798/task/16800/stat : 16800 (java) S 16795 16798 12316 0 -1 4202560 2442 0 1 0 54 2 0 0 20 0 19 0 105790478 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487608062840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16801] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16801/stat : 16801 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487580514600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16802] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16802/stat : 16802 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487579461800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16803] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16803/stat : 16803 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487578409512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16804] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16804/stat : 16804 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487577356712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16805] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16805/stat : 16805 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487576304424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16806] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16806/stat : 16806 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487446538920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16807] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16807/stat : 16807 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487445486632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16808] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16808/stat : 16808 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105790479 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140487444433832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16809] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16809/stat : 16809 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105790480 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486961486056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16810] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16810/stat : 16810 (java) S 16795 16798 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105790481 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486960432120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16811] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16811/stat : 16811 (java) S 16795 16798 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105790481 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486959379720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16812] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16812/stat : 16812 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790483 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486958328208 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16813] ppid=16795 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/16798/task/16813/stat : 16813 (java) S 16795 16798 12316 0 -1 4202560 12150 0 0 0 84 3 0 0 20 0 19 0 105790483 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486957275832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16814] ppid=16795 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/16798/task/16814/stat : 16814 (java) S 16795 16798 12316 0 -1 4202560 11826 0 0 0 86 2 0 0 20 0 19 0 105790483 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486956223032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16815] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16815/stat : 16815 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790483 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486955170936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16816] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16816/stat : 16816 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105790483 10060525568 34094 33554432000 1073741824 1073778376 140735712720528 140486954118344 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 9824732 [startup+3.10074 s] /proc/loadavg: 4.11 4.01 3.98 4/216 16826 /proc/meminfo: memFree=30483888/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9824732 CPUtime=5.79 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 31737 0 1 0 566 13 0 0 20 0 22 0 105790477 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2456183 43442 2276 9 0 2446860 0 [pid=16798/tid=16800] ppid=16795 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/16798/task/16800/stat : 16800 (java) S 16795 16798 12316 0 -1 4202560 2443 0 1 0 56 2 0 0 20 0 22 0 105790478 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487608062840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16801] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16801/stat : 16801 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487580514600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16802] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16802/stat : 16802 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487579461800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16803] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16803/stat : 16803 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487578409512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16804] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16804/stat : 16804 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487577356712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16805] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16805/stat : 16805 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487576304424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16806] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16806/stat : 16806 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487446538920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16807] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16807/stat : 16807 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487445486632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16808] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16808/stat : 16808 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140487444433832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16809] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16809/stat : 16809 (java) S 16795 16798 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105790480 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486961486056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16810] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16810/stat : 16810 (java) S 16795 16798 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486960432120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16811] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16811/stat : 16811 (java) S 16795 16798 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486959379720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16812] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16812/stat : 16812 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486958328208 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16813] ppid=16795 vsize=9824732 CPUtime=1.32 cores=0,2,4,6 /proc/16798/task/16813/stat : 16813 (java) S 16795 16798 12316 0 -1 4202560 12213 0 0 0 129 3 0 0 20 0 22 0 105790483 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486957275832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16814] ppid=16795 vsize=9824732 CPUtime=1.43 cores=0,2,4,6 /proc/16798/task/16814/stat : 16814 (java) S 16795 16798 12316 0 -1 4202560 15697 0 0 0 140 3 0 0 20 0 22 0 105790483 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486956223032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16815] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16815/stat : 16815 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486955170936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16816] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16816/stat : 16816 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486954118344 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16823] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16823/stat : 16823 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105790588 10060525568 43442 33554432000 1073741824 1073778376 140735712720528 140486949287592 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 5.79 Current children cumulated vsize (KiB) 9824732 [startup+6.30085 s] /proc/loadavg: 4.11 4.01 3.98 5/219 16829 /proc/meminfo: memFree=30416012/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9824732 CPUtime=12.47 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 31820 0 1 0 1232 15 0 0 20 0 22 0 105790477 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2456183 56750 2292 9 0 2446860 0 [pid=16798/tid=16800] ppid=16795 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/16798/task/16800/stat : 16800 (java) S 16795 16798 12316 0 -1 4202560 2443 0 1 0 56 2 0 0 20 0 22 0 105790478 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487608062840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16801] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16801/stat : 16801 (java) S 16795 16798 12316 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487580514600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16802] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16802/stat : 16802 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487579461800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16803] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16803/stat : 16803 (java) S 16795 16798 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487578409512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16804] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16804/stat : 16804 (java) S 16795 16798 12316 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487577356712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16805] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16805/stat : 16805 (java) S 16795 16798 12316 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487576304424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16806] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16806/stat : 16806 (java) S 16795 16798 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487446538920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16807] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16807/stat : 16807 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487445486632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16808] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16808/stat : 16808 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105790479 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140487444433832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16809] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16809/stat : 16809 (java) S 16795 16798 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105790480 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486961486056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16810] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16810/stat : 16810 (java) S 16795 16798 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486960432120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16811] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16811/stat : 16811 (java) S 16795 16798 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486959379720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16812] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16812/stat : 16812 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486958328208 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16813] ppid=16795 vsize=9824732 CPUtime=1.39 cores=0,2,4,6 /proc/16798/task/16813/stat : 16813 (java) R 16795 16798 12316 0 -1 4202560 12216 0 0 0 136 3 0 0 20 0 22 0 105790483 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486957275832 140487610152682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16814] ppid=16795 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/16798/task/16814/stat : 16814 (java) R 16795 16798 12316 0 -1 4202560 15701 0 0 0 160 3 0 0 20 0 22 0 105790483 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486956223032 140487614216912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16815] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16815/stat : 16815 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486955170936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16816] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16816/stat : 16816 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486954118344 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16823] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16823/stat : 16823 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105790588 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486949287592 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16827] ppid=16795 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/16798/task/16827/stat : 16827 (java) R 16795 16798 12316 0 -1 4202560 7 0 0 0 364 0 0 0 20 0 22 0 105790739 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486952442600 140487458772308 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16828] ppid=16795 vsize=9824732 CPUtime=3.62 cores=0,2,4,6 /proc/16798/task/16828/stat : 16828 (java) R 16795 16798 12316 0 -1 4202560 36 0 0 0 360 2 0 0 20 0 22 0 105790739 10060525568 56750 33554432000 1073741824 1073778376 140735712720528 140486951389296 140487459126821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16829] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [pid=16798/tid=16955] ppid=16795 vsize=9824732 CPUtime=95.89 cores=0,2,4,6 /proc/16798/task/16955/stat : 16955 (java) R 16795 16798 12316 0 -1 4202560 6 0 0 0 9588 1 0 0 20 0 22 0 105857018 10060525568 620150 33554432000 1073741824 1073778376 140735712720528 140486952443264 140487459126864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16956] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16956/stat : 16956 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105857018 10060525568 620150 33554432000 1073741824 1073778376 140735712720528 140486949287592 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1526.39 Current children cumulated vsize (KiB) 9824732 [startup+822.301 s] /proc/loadavg: 4.02 4.04 4.00 3/216 16959 /proc/meminfo: memFree=25372688/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9824732 CPUtime=1642.92 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 41701 0 1 0 164004 288 0 0 20 0 22 0 105790477 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2456183 645725 2302 9 0 2446860 0 [pid=16798/tid=16800] ppid=16795 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/16798/task/16800/stat : 16800 (java) S 16795 16798 12316 0 -1 4202560 2450 0 1 0 62 3 0 0 20 0 22 0 105790478 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487608062840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16801] ppid=16795 vsize=9824732 CPUtime=2.47 cores=0,2,4,6 /proc/16798/task/16801/stat : 16801 (java) S 16795 16798 12316 0 -1 4202560 971 0 0 0 217 30 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487580514600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16802] ppid=16795 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/16798/task/16802/stat : 16802 (java) S 16795 16798 12316 0 -1 4202560 888 0 0 0 229 30 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487579461800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16803] ppid=16795 vsize=9824732 CPUtime=2.43 cores=0,2,4,6 /proc/16798/task/16803/stat : 16803 (java) S 16795 16798 12316 0 -1 4202560 1003 0 0 0 217 26 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487578409512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16804] ppid=16795 vsize=9824732 CPUtime=2.5 cores=0,2,4,6 /proc/16798/task/16804/stat : 16804 (java) S 16795 16798 12316 0 -1 4202560 820 0 0 0 222 28 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487577356712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16805] ppid=16795 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/16798/task/16805/stat : 16805 (java) S 16795 16798 12316 0 -1 4202560 1046 0 0 0 210 28 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487576304424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16806] ppid=16795 vsize=9824732 CPUtime=2.11 cores=0,2,4,6 /proc/16798/task/16806/stat : 16806 (java) S 16795 16798 12316 0 -1 4202560 872 0 0 0 184 27 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487446538920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16807] ppid=16795 vsize=9824732 CPUtime=2.61 cores=0,2,4,6 /proc/16798/task/16807/stat : 16807 (java) S 16795 16798 12316 0 -1 4202560 1128 0 0 0 230 31 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487445486632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16808] ppid=16795 vsize=9824732 CPUtime=2.27 cores=0,2,4,6 /proc/16798/task/16808/stat : 16808 (java) S 16795 16798 12316 0 -1 4202560 737 0 0 0 200 27 0 0 20 0 22 0 105790479 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140487444433832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16809] ppid=16795 vsize=9824732 CPUtime=7.15 cores=0,2,4,6 /proc/16798/task/16809/stat : 16809 (java) S 16795 16798 12316 0 -1 4202560 2159 0 0 0 708 7 0 0 20 0 22 0 105790480 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486961486056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16810] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16810/stat : 16810 (java) S 16795 16798 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486960432120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16811] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16811/stat : 16811 (java) S 16795 16798 12316 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486959379720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16812] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16812/stat : 16812 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486958328208 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16813] ppid=16795 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/16798/task/16813/stat : 16813 (java) S 16795 16798 12316 0 -1 4202560 12254 0 0 0 164 3 0 0 20 0 22 0 105790483 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486957275832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16814] ppid=16795 vsize=9824732 CPUtime=2.12 cores=0,2,4,6 /proc/16798/task/16814/stat : 16814 (java) S 16795 16798 12316 0 -1 4202560 15711 0 0 0 209 3 0 0 20 0 22 0 105790483 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486956223032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16815] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16815/stat : 16815 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486955170936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16816] ppid=16795 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/16798/task/16816/stat : 16816 (java) S 16795 16798 12316 0 -1 4202560 47 0 0 0 7 8 0 0 20 0 22 0 105790483 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486954118344 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16829] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16829/stat : 16829 (java) S 16795 16798 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105790739 10060525568 645725 33554432000 1073741824 1073778376 140735712720528 140486950340008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1642.92 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.14 4.06 4.01 5/219 16966 /proc/meminfo: memFree=25327760/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9824732 CPUtime=1763.16 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 41864 0 1 0 176021 295 0 0 20 0 22 0 105790477 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2456183 660607 2302 9 0 2446860 0 [pid=16798/tid=16800] ppid=16795 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/16798/task/16800/stat : 16800 (java) S 16795 16798 12316 0 -1 4202560 2450 0 1 0 62 3 0 0 20 0 22 0 105790478 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487608062840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16801] ppid=16795 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/16798/task/16801/stat : 16801 (java) S 16795 16798 12316 0 -1 4202560 981 0 0 0 224 31 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487580514600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16802] ppid=16795 vsize=9824732 CPUtime=2.63 cores=0,2,4,6 /proc/16798/task/16802/stat : 16802 (java) S 16795 16798 12316 0 -1 4202560 898 0 0 0 232 31 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487579461800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16803] ppid=16795 vsize=9824732 CPUtime=2.51 cores=0,2,4,6 /proc/16798/task/16803/stat : 16803 (java) S 16795 16798 12316 0 -1 4202560 1028 0 0 0 223 28 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487578409512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16804] ppid=16795 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/16798/task/16804/stat : 16804 (java) S 16795 16798 12316 0 -1 4202560 851 0 0 0 230 29 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487577356712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16805] ppid=16795 vsize=9824732 CPUtime=2.47 cores=0,2,4,6 /proc/16798/task/16805/stat : 16805 (java) S 16795 16798 12316 0 -1 4202560 1055 0 0 0 218 29 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487576304424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16806] ppid=16795 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/16798/task/16806/stat : 16806 (java) S 16795 16798 12316 0 -1 4202560 881 0 0 0 187 27 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487446538920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16807] ppid=16795 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/16798/task/16807/stat : 16807 (java) S 16795 16798 12316 0 -1 4202560 1138 0 0 0 232 32 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487445486632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16808] ppid=16795 vsize=9824732 CPUtime=2.34 cores=0,2,4,6 /proc/16798/task/16808/stat : 16808 (java) S 16795 16798 12316 0 -1 4202560 744 0 0 0 206 28 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487444433832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16809] ppid=16795 vsize=9824732 CPUtime=7.15 cores=0,2,4,6 /proc/16798/task/16809/stat : 16809 (java) S 16795 16798 12316 0 -1 4202560 2204 0 0 0 708 7 0 0 20 0 22 0 105790480 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486961486056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16810] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16810/stat : 16810 (java) S 16795 16798 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486960432120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16811] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16811/stat : 16811 (java) S 16795 16798 12316 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486959379720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16812] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16812/stat : 16812 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486958328208 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16813] ppid=16795 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/16798/task/16813/stat : 16813 (java) S 16795 16798 12316 0 -1 4202560 12254 0 0 0 164 3 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486957275832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16814] ppid=16795 vsize=9824732 CPUtime=2.12 cores=0,2,4,6 /proc/16798/task/16814/stat : 16814 (java) S 16795 16798 12316 0 -1 4202560 15711 0 0 0 209 3 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486956223032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16815] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16815/stat : 16815 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486955170936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16816] ppid=16795 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/16798/task/16816/stat : 16816 (java) S 16795 16798 12316 0 -1 4202560 51 0 0 0 7 9 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486954118344 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16829] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16829/stat : 16829 (java) S 16795 16798 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105790739 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486950340008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16960] ppid=16795 vsize=9824732 CPUtime=60.21 cores=0,2,4,6 /proc/16798/task/16960/stat : 16960 (java) R 16795 16798 12316 0 -1 4202560 3 0 0 0 6021 0 0 0 20 0 22 0 105872671 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486951383456 140487458661224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16961] ppid=16795 vsize=9824732 CPUtime=60.22 cores=0,2,4,6 /proc/16798/task/16961/stat : 16961 (java) R 16795 16798 12316 0 -1 4202560 5 0 0 0 6022 0 0 0 20 0 22 0 105872671 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486952443136 140487459127783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16962] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16962/stat : 16962 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105872672 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486949286696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1763.16 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.801 s] /proc/loadavg: 4.11 4.06 4.00 5/219 16966 /proc/meminfo: memFree=25327392/32872528 swapFree=11320/319964 [pid=16798] ppid=16795 vsize=9824732 CPUtime=1800.14 cores=0,2,4,6 /proc/16798/stat : 16798 (java) S 16795 16798 12316 0 -1 4202496 41864 0 1 0 179719 295 0 0 20 0 22 0 105790477 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140735712711664 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16798/statm: 2456183 660607 2302 9 0 2446860 0 [pid=16798/tid=16800] ppid=16795 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/16798/task/16800/stat : 16800 (java) S 16795 16798 12316 0 -1 4202560 2450 0 1 0 62 3 0 0 20 0 22 0 105790478 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487608062840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16801] ppid=16795 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/16798/task/16801/stat : 16801 (java) S 16795 16798 12316 0 -1 4202560 981 0 0 0 224 31 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487580514600 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16802] ppid=16795 vsize=9824732 CPUtime=2.63 cores=0,2,4,6 /proc/16798/task/16802/stat : 16802 (java) S 16795 16798 12316 0 -1 4202560 898 0 0 0 232 31 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487579461800 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16803] ppid=16795 vsize=9824732 CPUtime=2.51 cores=0,2,4,6 /proc/16798/task/16803/stat : 16803 (java) S 16795 16798 12316 0 -1 4202560 1028 0 0 0 223 28 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487578409512 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16804] ppid=16795 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/16798/task/16804/stat : 16804 (java) S 16795 16798 12316 0 -1 4202560 851 0 0 0 230 29 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487577356712 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16805] ppid=16795 vsize=9824732 CPUtime=2.47 cores=0,2,4,6 /proc/16798/task/16805/stat : 16805 (java) S 16795 16798 12316 0 -1 4202560 1055 0 0 0 218 29 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487576304424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16806] ppid=16795 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/16798/task/16806/stat : 16806 (java) S 16795 16798 12316 0 -1 4202560 881 0 0 0 187 27 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487446538920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16807] ppid=16795 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/16798/task/16807/stat : 16807 (java) S 16795 16798 12316 0 -1 4202560 1138 0 0 0 232 32 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487445486632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16808] ppid=16795 vsize=9824732 CPUtime=2.34 cores=0,2,4,6 /proc/16798/task/16808/stat : 16808 (java) S 16795 16798 12316 0 -1 4202560 744 0 0 0 206 28 0 0 20 0 22 0 105790479 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140487444433832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16809] ppid=16795 vsize=9824732 CPUtime=7.15 cores=0,2,4,6 /proc/16798/task/16809/stat : 16809 (java) S 16795 16798 12316 0 -1 4202560 2204 0 0 0 708 7 0 0 20 0 22 0 105790480 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486961486056 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16810] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16810/stat : 16810 (java) S 16795 16798 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486960432120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16811] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16811/stat : 16811 (java) S 16795 16798 12316 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 105790481 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486959379720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16812] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16812/stat : 16812 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486958328208 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16813] ppid=16795 vsize=9824732 CPUtime=1.67 cores=0,2,4,6 /proc/16798/task/16813/stat : 16813 (java) S 16795 16798 12316 0 -1 4202560 12254 0 0 0 164 3 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486957275832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16814] ppid=16795 vsize=9824732 CPUtime=2.12 cores=0,2,4,6 /proc/16798/task/16814/stat : 16814 (java) S 16795 16798 12316 0 -1 4202560 15711 0 0 0 209 3 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486956223032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16815] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16815/stat : 16815 (java) S 16795 16798 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486955170936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16798/tid=16816] ppid=16795 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/16798/task/16816/stat : 16816 (java) S 16795 16798 12316 0 -1 4202560 51 0 0 0 7 9 0 0 20 0 22 0 105790483 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486954118344 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16829] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16829/stat : 16829 (java) S 16795 16798 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105790739 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486950340008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16798/tid=16960] ppid=16795 vsize=9824732 CPUtime=78.7 cores=0,2,4,6 /proc/16798/task/16960/stat : 16960 (java) R 16795 16798 12316 0 -1 4202560 3 0 0 0 7869 1 0 0 20 0 22 0 105872671 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486951383456 140487458587067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16798/tid=16961] ppid=16795 vsize=9824732 CPUtime=78.72 cores=0,2,4,6 /proc/16798/task/16961/stat : 16961 (java) R 16795 16798 12316 0 -1 4202560 5 0 0 0 7871 1 0 0 20 0 22 0 105872671 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486952443136 140487459152679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16798/tid=16962] ppid=16795 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/16798/task/16962/stat : 16962 (java) S 16795 16798 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105872672 10060525568 660607 33554432000 1073741824 1073778376 140735712720528 140486949286696 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 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 16798 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 900.863 CPU time (s): 1800.46 CPU user time (s): 1797.27 CPU system time (s): 3.19151 CPU usage (%): 199.859 Max. virtual memory (cumulated for all children) (KiB): 9825920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.27 system time used= 3.19151 maximum resident set size= 2642540 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41902 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23810 involuntary context switches= 28587 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.61599 second user time and 7.81481 second system time The end
Begin job on node128 at 2016-06-06 20:42:52 IDJOB=4081455 IDBENCH=24996 IDSOLVER=2543 FILE ID=node128/4081455-1465238572 RUNJOBID= node128-1465223671-12332 PBS_JOBID= 19843236 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_002_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081455-1465238572/watcher-4081455-1465238572 -o /tmp/evaluation-result-4081455-1465238572/solver-4081455-1465238572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081455-1465238572.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=1642589909 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30635868 kB Buffers: 32016 kB Cached: 97204 kB SwapCached: 1664 kB Active: 1141260 kB Inactive: 67408 kB Active(anon): 1081392 kB Inactive(anon): 528 kB Active(file): 59868 kB Inactive(file): 66880 kB Unevictable: 319964 kB Mlocked: 11320 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 1264 kB Writeback: 0 kB AnonPages: 1405116 kB Mapped: 15360 kB Shmem: 0 kB Slab: 568668 kB SReclaimable: 12132 kB SUnreclaim: 556536 kB KernelStack: 1592 kB PageTables: 6908 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1640596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1308672 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 node128 at 2016-06-06 20:57:53