Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 57391 | 1800.5 | 973.35 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 57391 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 3945 |
Total number of constraints | 8604 |
Number of constraints which are clauses | 8604 |
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 | 59 |
Number of terms in the objective function | 1872 |
Biggest coefficient in the objective function | 2110 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3036193 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2110 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3036193 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.08/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.09 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.2.v20120418 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c c --- End Solver configuration --- 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3688530-1337878475.opb 0.08/0.13 c reading problem ... 0.75/0.42 c ... done. Wall clock time 0.291s. 0.75/0.42 c declared #vars 3945 0.75/0.42 c #constraints 8582 0.75/0.42 c constraints type 0.75/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 0.75/0.42 c ignored satisfied constraints => 22 0.75/0.42 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 0.75/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506 0.75/0.42 c 8604 constraints processed. 0.75/0.42 c constraints type 0.75/0.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506 0.75/0.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 0.75/0.42 c ignored satisfied constraints => 22 0.75/0.42 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 0.75/0.42 c 8604 constraints processed. 0.75/0.42 c objective function length is 1872 literals 1.11/0.52 c And the winner is solver0 1.68/0.93 c SATISFIABLE 1.68/0.93 c OPTIMIZING... 1.68/0.93 c Got one! Elapsed wall clock time (in seconds):0.796 1.68/0.93 o 70191 1.68/0.99 c And the winner is solver0 2.21/1.46 c Got one! Elapsed wall clock time (in seconds):1.328 2.21/1.46 o 68889 2.21/1.48 c And the winner is solver0 2.39/1.97 c Got one! Elapsed wall clock time (in seconds):1.838 2.39/1.97 o 67587 2.39/1.98 c And the winner is solver0 2.56/2.48 c Got one! Elapsed wall clock time (in seconds):2.346 2.56/2.48 o 66285 5.43/3.79 c And the winner is solver1 5.62/3.98 c Got one! Elapsed wall clock time (in seconds):3.852 5.62/3.98 o 64983 6.85/4.64 c cleaning 2975 clauses out of 6015 with flag 2000/6015 8.67/5.54 c And the winner is solver1 8.77/5.99 c Got one! Elapsed wall clock time (in seconds):5.858 8.77/5.99 o 63681 10.46/6.85 c cleaning 4419 clauses out of 8838 with flag 3001/11813 14.32/8.72 c cleaning 5203 clauses out of 10418 with flag 9000/17812 18.48/10.85 c cleaning 6100 clauses out of 12216 with flag 16001/24813 23.45/13.37 c cleaning 7043 clauses out of 14115 with flag 24000/32812 29.19/16.21 c cleaning 8037 clauses out of 16073 with flag 33001/41813 34.75/19.08 c cleaning 8985 clauses out of 18036 with flag 43001/51813 41.47/22.46 c cleaning 10008 clauses out of 20050 with flag 54000/62812 49.14/26.33 c cleaning 11010 clauses out of 22042 with flag 66000/74812 57.42/30.57 c cleaning 12001 clauses out of 24032 with flag 79000/87812 66.48/35.08 c cleaning 12997 clauses out of 26031 with flag 93000/101812 76.55/40.14 c cleaning 14015 clauses out of 28035 with flag 108001/116813 86.42/45.13 c cleaning 14996 clauses out of 30020 with flag 124001/132813 97.11/50.50 c cleaning 15996 clauses out of 32027 with flag 141004/149816 100.68/52.43 c And the winner is solver1 100.68/52.45 c Got one! Elapsed wall clock time (in seconds):52.322 100.68/52.45 o 62823 103.48/53.84 c cleaning 13340 clauses out of 26728 with flag 5000/160513 105.79/55.14 c And the winner is solver1 105.79/55.15 c Got one! Elapsed wall clock time (in seconds):55.017 105.79/55.15 o 62399 106.99/55.76 c cleaning 9481 clauses out of 18999 with flag 2000/166124 111.34/58.16 c cleaning 7715 clauses out of 15518 with flag 8000/172124 116.25/60.77 c cleaning 7358 clauses out of 14803 with flag 15000/179124 121.56/63.53 c cleaning 7715 clauses out of 15445 with flag 23000/187124 127.28/66.57 c cleaning 8351 clauses out of 16730 with flag 32000/196124 134.19/70.21 c cleaning 9185 clauses out of 18379 with flag 42000/206124 138.49/72.57 c And the winner is solver1 138.49/72.59 c Got one! Elapsed wall clock time (in seconds):72.459 138.49/72.59 o 61123 141.51/74.03 c cleaning 10409 clauses out of 20825 with flag 5000/217755 145.43/76.10 c cleaning 8203 clauses out of 16416 with flag 11000/223755 149.70/78.42 c cleaning 7600 clauses out of 15213 with flag 18000/230755 154.74/81.24 c cleaning 7785 clauses out of 15613 with flag 26000/238755 160.20/84.11 c cleaning 8383 clauses out of 16828 with flag 35000/247755 166.05/87.25 c cleaning 9225 clauses out of 18451 with flag 45006/257761 172.66/90.78 c cleaning 10108 clauses out of 20220 with flag 56000/268755 180.43/94.93 c cleaning 11045 clauses out of 22113 with flag 68001/280756 181.84/95.87 c And the winner is solver1 181.84/95.89 c Got one! Elapsed wall clock time (in seconds):95.759 181.84/95.89 o 59975 184.20/97.02 c cleaning 8328 clauses out of 16666 with flag 4000/286354 188.20/99.20 c cleaning 7159 clauses out of 14339 with flag 10001/292355 192.39/101.58 c cleaning 7081 clauses out of 14182 with flag 17003/299357 197.52/104.47 c cleaning 7540 clauses out of 15098 with flag 25000/307354 203.09/107.44 c cleaning 8271 clauses out of 16560 with flag 34002/316356 209.26/110.73 c cleaning 9124 clauses out of 18287 with flag 44000/326354 210.62/111.68 c And the winner is solver1 210.81/111.71 c Got one! Elapsed wall clock time (in seconds):111.581 210.81/111.71 o 59937 212.98/112.81 c cleaning 7328 clauses out of 14704 with flag 4000/331895 216.46/114.93 c And the winner is solver1 216.54/115.05 c Got one! Elapsed wall clock time (in seconds):114.923 216.54/115.05 o 59879 217.02/115.35 c cleaning 6661 clauses out of 13329 with flag 1000/337848 220.96/117.57 c cleaning 6315 clauses out of 12668 with flag 7000/343848 226.49/120.56 c cleaning 6668 clauses out of 13353 with flag 14000/350848 232.79/123.97 c cleaning 7341 clauses out of 14686 with flag 22001/358849 240.00/127.94 c cleaning 8161 clauses out of 16345 with flag 31001/367849 247.88/132.17 c cleaning 9067 clauses out of 18183 with flag 41000/377848 256.36/136.69 c cleaning 10052 clauses out of 20116 with flag 52000/388848 265.42/141.48 c cleaning 11027 clauses out of 22065 with flag 64001/400849 275.28/146.80 c cleaning 12017 clauses out of 24037 with flag 77000/413848 285.82/152.49 c cleaning 12998 clauses out of 26021 with flag 91001/427849 297.34/158.59 c cleaning 13993 clauses out of 28022 with flag 106000/442848 311.35/166.38 c cleaning 15001 clauses out of 30029 with flag 122000/458848 324.91/173.39 c cleaning 16007 clauses out of 32029 with flag 139001/475849 338.82/180.53 c cleaning 16983 clauses out of 34021 with flag 157000/493848 353.30/188.07 c cleaning 18014 clauses out of 36038 with flag 176000/512848 368.53/196.28 c cleaning 19007 clauses out of 38025 with flag 196001/532849 385.41/205.01 c cleaning 19993 clauses out of 40017 with flag 217000/553848 403.03/214.21 c cleaning 21008 clauses out of 42025 with flag 239001/575849 409.25/217.72 c And the winner is solver1 409.31/218.11 c Got one! Elapsed wall clock time (in seconds):217.976 409.31/218.11 o 59765 412.91/219.91 c cleaning 16501 clauses out of 33110 with flag 5000/587942 418.74/223.59 c cleaning 11282 clauses out of 22609 with flag 11000/593942 424.72/226.97 c cleaning 9148 clauses out of 18327 with flag 18000/600942 431.28/230.67 c cleaning 8587 clauses out of 17180 with flag 26001/608943 438.44/234.65 c cleaning 8778 clauses out of 17592 with flag 35000/617942 446.69/239.41 c cleaning 9393 clauses out of 18814 with flag 45000/627942 455.24/244.15 c cleaning 10163 clauses out of 20421 with flag 56000/638942 464.35/249.12 c cleaning 11124 clauses out of 22258 with flag 68000/650942 474.05/254.49 c cleaning 12059 clauses out of 24135 with flag 81001/663943 485.68/260.94 c cleaning 13019 clauses out of 26075 with flag 95000/677942 497.65/267.39 c cleaning 14019 clauses out of 28056 with flag 110000/692942 510.95/274.91 c cleaning 15007 clauses out of 30039 with flag 126002/708944 524.41/282.24 c And the winner is solver1 524.51/282.53 c Got one! Elapsed wall clock time (in seconds):282.405 524.51/282.53 o 59100 528.17/284.32 c cleaning 18063 clauses out of 36126 with flag 5002/730038 533.57/287.50 c cleaning 12008 clauses out of 24065 with flag 11004/736040 539.55/291.03 c cleaning 9502 clauses out of 19053 with flag 18000/743036 546.35/294.97 c cleaning 8766 clauses out of 17552 with flag 26001/751037 554.46/299.85 c cleaning 8885 clauses out of 17785 with flag 35000/760036 562.43/304.35 c cleaning 9434 clauses out of 18902 with flag 45002/770038 571.24/309.22 c cleaning 10177 clauses out of 20466 with flag 56000/781036 580.23/314.28 c cleaning 11111 clauses out of 22289 with flag 68000/793036 590.84/320.39 c cleaning 12086 clauses out of 24183 with flag 81005/806041 602.19/326.50 c cleaning 13033 clauses out of 26092 with flag 95000/820036 613.99/332.94 c cleaning 13991 clauses out of 28059 with flag 110000/835036 626.80/339.89 c cleaning 14991 clauses out of 30068 with flag 126000/851036 632.33/343.43 c And the winner is solver1 632.40/343.64 c Got one! Elapsed wall clock time (in seconds):343.514 632.40/343.64 o 57821 632.90/343.97 c cleaning 10470 clauses out of 20945 with flag 1001/856904 638.08/347.05 c cleaning 8234 clauses out of 16474 with flag 7000/862903 643.65/350.39 c cleaning 7620 clauses out of 15241 with flag 14001/869904 650.05/354.10 c cleaning 7811 clauses out of 15622 with flag 22002/877905 658.30/359.03 c cleaning 8405 clauses out of 16809 with flag 31000/886903 666.04/363.44 c cleaning 9201 clauses out of 18405 with flag 41001/896904 674.59/368.25 c cleaning 10088 clauses out of 20203 with flag 52000/907903 683.95/373.42 c cleaning 11051 clauses out of 22115 with flag 64000/919903 694.47/379.56 c cleaning 12009 clauses out of 24064 with flag 77000/932903 699.60/382.70 c And the winner is solver1 699.60/382.70 c Got one! Elapsed wall clock time (in seconds):382.573 699.60/382.70 o 57692 703.45/384.51 c cleaning 11488 clauses out of 22987 with flag 5000/943835 708.79/387.78 c cleaning 8747 clauses out of 17500 with flag 11001/949836 712.70/390.24 c And the winner is solver1 712.80/390.44 c Got one! Elapsed wall clock time (in seconds):390.314 712.80/390.44 o 57391 714.13/391.12 c cleaning 7165 clauses out of 14395 with flag 2000/955478 720.05/395.06 c cleaning 6615 clauses out of 13231 with flag 8001/961479 725.93/398.52 c cleaning 6804 clauses out of 13615 with flag 15000/968478 732.41/402.38 c cleaning 7378 clauses out of 14811 with flag 23000/976478 739.69/406.58 c cleaning 8212 clauses out of 16435 with flag 32002/985480 748.39/411.89 c cleaning 9092 clauses out of 18221 with flag 42000/995478 757.40/416.93 c cleaning 10022 clauses out of 20129 with flag 53000/1006478 766.82/422.27 c cleaning 11054 clauses out of 22107 with flag 65000/1018478 777.56/428.24 c cleaning 12006 clauses out of 24053 with flag 78000/1031478 789.28/435.18 c cleaning 13001 clauses out of 26047 with flag 92000/1045478 801.21/441.79 c cleaning 13991 clauses out of 28046 with flag 107000/1060478 813.73/448.64 c cleaning 15021 clauses out of 30055 with flag 123000/1076478 827.39/456.15 c cleaning 15969 clauses out of 32034 with flag 140000/1093478 842.81/464.92 c cleaning 17012 clauses out of 34065 with flag 158000/1111478 857.78/473.09 c cleaning 18002 clauses out of 36053 with flag 177000/1130478 873.52/481.54 c cleaning 19014 clauses out of 38051 with flag 197000/1150478 890.27/490.50 c cleaning 20013 clauses out of 40037 with flag 218000/1171478 909.07/500.81 c cleaning 21001 clauses out of 42024 with flag 240000/1193478 927.79/510.77 c cleaning 21992 clauses out of 44023 with flag 263000/1216478 947.33/521.02 c cleaning 23016 clauses out of 46032 with flag 287001/1240479 968.48/532.25 c cleaning 24000 clauses out of 48015 with flag 312000/1265478 991.11/544.70 c cleaning 24985 clauses out of 50015 with flag 338000/1291478 1013.92/556.87 c cleaning 25986 clauses out of 52031 with flag 365001/1318479 1036.07/568.66 c cleaning 26985 clauses out of 54044 with flag 393000/1346478 1058.95/580.86 c cleaning 28012 clauses out of 56059 with flag 422000/1375478 1083.69/594.42 c cleaning 29005 clauses out of 58047 with flag 452000/1405478 1106.65/606.66 c cleaning 30001 clauses out of 60044 with flag 483002/1436480 1132.14/620.07 c cleaning 31019 clauses out of 62042 with flag 515001/1468479 1158.43/633.83 c cleaning 32001 clauses out of 64022 with flag 548000/1501478 1189.67/651.43 c cleaning 33004 clauses out of 66021 with flag 582000/1535478 1218.84/666.89 c cleaning 33995 clauses out of 68019 with flag 617002/1570480 1249.16/682.79 c cleaning 34984 clauses out of 70022 with flag 653000/1606478 1282.35/700.50 c cleaning 36010 clauses out of 72039 with flag 690001/1643479 1313.60/716.94 c cleaning 37000 clauses out of 74031 with flag 728003/1681481 1347.52/734.58 c cleaning 37978 clauses out of 76028 with flag 767000/1720478 1380.19/751.78 c cleaning 39006 clauses out of 78051 with flag 807001/1760479 1414.57/770.40 c cleaning 39983 clauses out of 80044 with flag 848000/1801478 1448.83/788.40 c cleaning 41008 clauses out of 82064 with flag 890003/1843481 1485.10/807.54 c cleaning 42007 clauses out of 84053 with flag 933000/1886478 1523.28/827.49 c cleaning 42987 clauses out of 86046 with flag 977000/1930478 1566.34/850.43 c cleaning 44022 clauses out of 88060 with flag 1022001/1975479 1608.82/872.40 c cleaning 44990 clauses out of 90037 with flag 1068000/2021478 1644.78/891.41 c cleaning 46020 clauses out of 92047 with flag 1115000/2068478 1683.47/911.62 c cleaning 46993 clauses out of 94028 with flag 1163001/2116479 1726.97/934.93 c cleaning 48006 clauses out of 96037 with flag 1212003/2165481 1768.28/956.48 c cleaning 48995 clauses out of 98028 with flag 1262000/2215478 1800.09/973.31 c starts : 38 1800.09/973.31 c conflicts : 4455 1800.09/973.31 c decisions : 156141 1800.09/973.31 c propagations : 2296185 1800.09/973.31 c inspects : 243118060 1800.09/973.31 c shortcuts : 0 1800.09/973.31 c learnt literals : 0 1800.09/973.31 c learnt binary clauses : 1 1800.09/973.31 c learnt ternary clauses : 0 1800.09/973.31 c learnt constraints : 4454 1800.09/973.31 c ignored constraints : 0 1800.09/973.31 c root simplifications : 0 1800.09/973.31 c removed literals (reason simplification) : 0 1800.09/973.31 c reason swapping (by a shorter reason) : 0 1800.09/973.31 c Calls to reduceDB : 0 1800.09/973.31 c number of reductions to clauses (during analyze) : 0 1800.09/973.31 c number of learned constraints concerned by reduction : 0 1800.09/973.31 c number of learning phase by resolution : 0 1800.09/973.31 c number of learning phase by cutting planes : 0 1800.09/973.31 c speed (assignments/second) : 2365.179655737519 1800.09/973.31 c non guided choices 0 1800.09/973.31 c learnt constraints type 1800.09/973.31 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7 1800.09/973.31 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.09/973.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4446 1800.09/973.31 c constraints type 1800.09/973.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 1800.09/973.31 c ignored satisfied constraints => 22 1800.09/973.31 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1800.09/973.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506 1800.09/973.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.09/973.31 c 8605 constraints processed. 1800.09/973.31 c constraints type 1800.09/973.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506 1800.09/973.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 1800.09/973.31 c ignored satisfied constraints => 22 1800.09/973.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.09/973.31 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1800.09/973.31 c 8605 constraints processed. 1800.09/973.31 s SATISFIABLE 1800.09/973.32 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 1800.09/973.33 c objective function=57391 1800.09/973.33 c Total wall clock time (in seconds): 973.197
OK 57391
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3688530-1337878475/watcher-3688530-1337878475 -o /tmp/evaluation-result-3688530-1337878475/solver-3688530-1337878475 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688530-1337878475.opb 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.74 3.86 3.89 4/199 28151 /proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/28151/stat : 28151 (java) D 28149 28151 26250 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253972328 9515008 182 33554432000 1073741824 1073778376 140736614555440 140736614546472 215143497397 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2323 182 140 9 0 71 0 [startup+0.0989001 s] /proc/loadavg: 3.74 3.86 3.89 4/199 28151 /proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 3984 0 1 0 7 1 0 0 20 0 18 0 253972328 9787813888 4673 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2389603 4690 2035 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.100256 s] /proc/loadavg: 3.74 3.86 3.89 4/199 28151 /proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 4152 0 1 0 7 1 0 0 20 0 18 0 253972328 9787813888 4841 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2389603 4850 2064 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300198 s] /proc/loadavg: 3.74 3.86 3.89 4/199 28151 /proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9558412 CPUtime=0.46 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 5641 0 1 0 45 1 0 0 20 0 18 0 253972328 9787813888 7854 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2389603 7854 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558412 [startup+0.700268 s] /proc/loadavg: 3.74 3.86 3.89 4/199 28151 /proc/meminfo: memFree=27534180/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9824668 CPUtime=1.58 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 20873 0 1 0 150 8 0 0 20 0 19 0 253972328 10060460032 22582 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2456167 22582 2248 9 0 2446860 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9824668 [startup+1.50067 s] /proc/loadavg: 3.74 3.86 3.89 6/219 28176 /proc/meminfo: memFree=27441348/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9824668 CPUtime=2.34 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 21401 0 1 0 223 11 0 0 20 0 20 0 253972328 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2456167 26252 2254 9 0 2446860 0 [pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.43 cores=0,2,4,6 /proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2549 0 1 0 41 2 0 0 20 0 20 0 253972329 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253972331 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 253972332 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 253972332 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253972332 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=0.71 cores=0,2,4,6 /proc/28151/task/28166/stat : 28166 (java) R 28149 28151 26250 0 -1 4202560 9273 0 0 0 68 3 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279083248184 140279270276642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=0.69 cores=0,2,4,6 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8240 0 0 0 67 2 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253972335 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28173] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28173/stat : 28173 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253972375 10060460032 26252 33554432000 1073741824 1073778376 140734606855968 140279074698408 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 9824668 [startup+3.10058 s] /proc/loadavg: 3.74 3.86 3.89 3/218 28182 /proc/meminfo: memFree=27428812/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9824668 CPUtime=4.17 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 21502 0 1 0 404 13 0 0 20 0 22 0 253972328 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2456167 32984 2262 9 0 2446860 0 [pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2549 0 1 0 42 3 0 0 20 0 22 0 253972329 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=0.96 cores=0,2,4,6 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9305 0 0 0 93 3 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=0.93 cores=0,2,4,6 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8278 0 0 0 91 2 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28173] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28173/stat : 28173 (java) S 28149 28151 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253972375 10060460032 32984 33554432000 1073741824 1073778376 140734606855968 140279074698408 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.17 Current children cumulated vsize (KiB) 9824668 [startup+6.30068 s] /proc/loadavg: 3.76 3.86 3.89 5/221 28188 /proc/meminfo: memFree=27339872/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9824668 CPUtime=9.39 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 21630 0 1 0 920 19 0 0 20 0 22 0 253972328 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2456167 50397 2286 9 0 2446860 0 [pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.46 cores=0,2,4,6 /proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2550 0 1 0 43 3 0 0 20 0 22 0 253972329 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972331 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 22 0 253972332 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.03 cores=0,2,4,6 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9317 0 0 0 100 3 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=0.98 cores=0,2,4,6 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8283 0 0 0 96 2 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 50397 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.39 Current children cumulated vsize (KiB) 9824668 [startup+12.7008 s] ################ # More data... # ################ [pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=406.62 cores=0,2,4,6 /proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 70 0 0 0 40656 6 0 0 20 0 22 0 254011374 10060460032 608992 33554432000 1073741824 1073778376 140734606855968 140279077855856 140279203807467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=406.62 cores=0,2,4,6 /proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 54 0 0 0 40656 6 0 0 20 0 22 0 254011374 10060460032 608992 33554432000 1073741824 1073778376 140734606855968 140279074695936 140279204041744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 608992 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1626.52 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 4.31 4.05 3.92 5/222 29006 /proc/meminfo: memFree=23260516/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9824668 CPUtime=1739.68 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 33935 0 1 0 173771 197 0 0 20 0 22 0 253972328 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2456167 632173 2288 9 0 2446860 0 [pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2665 0 1 0 53 4 0 0 20 0 22 0 253972329 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=4.1 cores=0,2,4,6 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1495 0 0 0 395 15 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=4.18 cores=0,2,4,6 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1103 0 0 0 405 13 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=4.17 cores=0,2,4,6 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 689 0 0 0 404 13 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=4.24 cores=0,2,4,6 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 949 0 0 0 410 14 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=4.09 cores=0,2,4,6 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1000 0 0 0 397 12 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=4.15 cores=0,2,4,6 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 734 0 0 0 403 12 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=4.01 cores=0,2,4,6 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1140 0 0 0 390 11 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=4.18 cores=0,2,4,6 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 931 0 0 0 406 12 0 0 20 0 22 0 253972331 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=155.02 cores=0,2,4,6 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 3644 0 0 0 15461 41 0 0 20 0 22 0 253972332 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.43 cores=0,2,4,6 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9379 0 0 0 140 3 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8335 0 0 0 130 2 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0.3 cores=0,2,4,6 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 55 0 0 0 15 15 0 0 20 0 22 0 253972335 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=457.87 cores=0,2,4,6 /proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 78 0 0 0 45781 6 0 0 20 0 22 0 254011374 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279077854912 140279203769222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=457.85 cores=0,2,4,6 /proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 59 0 0 0 45779 6 0 0 20 0 22 0 254011374 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279074696080 140279203570889 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 632173 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1739.68 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+973.301 s] /proc/loadavg: 4.19 4.04 3.92 5/222 29006 /proc/meminfo: memFree=23178224/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9824668 CPUtime=1800.09 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 34132 0 1 0 179805 204 0 0 20 0 22 0 253972328 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2456167 652748 2288 9 0 2446860 0 [pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2666 0 1 0 53 4 0 0 20 0 22 0 253972329 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1516 0 0 0 411 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=4.32 cores=0,2,4,6 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1115 0 0 0 419 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=4.37 cores=0,2,4,6 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 697 0 0 0 424 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=4.48 cores=0,2,4,6 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 978 0 0 0 432 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1004 0 0 0 415 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=4.35 cores=0,2,4,6 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 743 0 0 0 423 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=4.24 cores=0,2,4,6 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1163 0 0 0 412 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=4.41 cores=0,2,4,6 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 967 0 0 0 429 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=157.37 cores=0,2,4,6 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 3689 0 0 0 15695 42 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.43 cores=0,2,4,6 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9379 0 0 0 140 3 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8335 0 0 0 130 2 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0.31 cores=0,2,4,6 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 57 0 0 0 16 15 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=486.11 cores=0,2,4,6 /proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 84 0 0 0 48604 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279077854912 140279203769563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=486.1 cores=0,2,4,6 /proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 60 0 0 0 48603 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279074696328 140279203830606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+973.301 s] /proc/loadavg: 4.19 4.04 3.92 5/222 29006 /proc/meminfo: memFree=23178224/32873844 swapFree=7364/7364 [pid=28151] ppid=28149 vsize=9824668 CPUtime=1800.09 cores=0,2,4,6 /proc/28151/stat : 28151 (java) S 28149 28151 26250 0 -1 4202496 34132 0 1 0 179805 204 0 0 20 0 22 0 253972328 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140734606847104 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/28151/statm: 2456167 652748 2288 9 0 2446860 0 [pid=28151/tid=28153] ppid=28149 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/28151/task/28153/stat : 28153 (java) S 28149 28151 26250 0 -1 4202560 2666 0 1 0 53 4 0 0 20 0 22 0 253972329 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279263290360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28154] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/28151/task/28154/stat : 28154 (java) S 28149 28151 26250 0 -1 4202560 1516 0 0 0 411 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279107238056 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28155] ppid=28149 vsize=9824668 CPUtime=4.32 cores=0,2,4,6 /proc/28151/task/28155/stat : 28155 (java) S 28149 28151 26250 0 -1 4202560 1115 0 0 0 419 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279106185512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28156] ppid=28149 vsize=9824668 CPUtime=4.37 cores=0,2,4,6 /proc/28151/task/28156/stat : 28156 (java) S 28149 28151 26250 0 -1 4202560 697 0 0 0 424 13 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279105132968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28157] ppid=28149 vsize=9824668 CPUtime=4.48 cores=0,2,4,6 /proc/28151/task/28157/stat : 28157 (java) S 28149 28151 26250 0 -1 4202560 978 0 0 0 432 16 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279104080424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28158] ppid=28149 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/28151/task/28158/stat : 28158 (java) S 28149 28151 26250 0 -1 4202560 1004 0 0 0 415 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279103027880 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28159] ppid=28149 vsize=9824668 CPUtime=4.35 cores=0,2,4,6 /proc/28151/task/28159/stat : 28159 (java) S 28149 28151 26250 0 -1 4202560 743 0 0 0 423 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279101975336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28160] ppid=28149 vsize=9824668 CPUtime=4.24 cores=0,2,4,6 /proc/28151/task/28160/stat : 28160 (java) S 28149 28151 26250 0 -1 4202560 1163 0 0 0 412 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279100922792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28161] ppid=28149 vsize=9824668 CPUtime=4.41 cores=0,2,4,6 /proc/28151/task/28161/stat : 28161 (java) S 28149 28151 26250 0 -1 4202560 967 0 0 0 429 12 0 0 20 0 22 0 253972331 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279099870248 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28162] ppid=28149 vsize=9824668 CPUtime=157.37 cores=0,2,4,6 /proc/28151/task/28162/stat : 28162 (java) S 28149 28151 26250 0 -1 4202560 3689 0 0 0 15695 42 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279087458408 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28163] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28163/stat : 28163 (java) S 28149 28151 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279086404728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28164] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28164/stat : 28164 (java) S 28149 28151 26250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 253972332 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279085352072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28165] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28165/stat : 28165 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279084300816 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28166] ppid=28149 vsize=9824668 CPUtime=1.43 cores=0,2,4,6 /proc/28151/task/28166/stat : 28166 (java) S 28149 28151 26250 0 -1 4202560 9379 0 0 0 140 3 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279083248184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28167] ppid=28149 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/28151/task/28167/stat : 28167 (java) S 28149 28151 26250 0 -1 4202560 8335 0 0 0 130 2 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279082195640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=28151/tid=28168] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28168/stat : 28168 (java) S 28149 28151 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279081143288 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28169] ppid=28149 vsize=9824668 CPUtime=0.31 cores=0,2,4,6 /proc/28151/task/28169/stat : 28169 (java) S 28149 28151 26250 0 -1 4202560 57 0 0 0 16 15 0 0 20 0 22 0 253972335 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279080090952 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28185] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28185/stat : 28185 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253972577 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279076804264 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=28151/tid=28993] ppid=28149 vsize=9824668 CPUtime=486.11 cores=0,2,4,6 /proc/28151/task/28993/stat : 28993 (java) R 28149 28151 26250 0 -1 4202560 84 0 0 0 48604 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279077854912 140279203769563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=28151/tid=28994] ppid=28149 vsize=9824668 CPUtime=486.1 cores=0,2,4,6 /proc/28151/task/28994/stat : 28994 (java) R 28149 28151 26250 0 -1 4202560 60 0 0 0 48603 7 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279074696328 140279203830606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=28151/tid=28995] ppid=28149 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/28151/task/28995/stat : 28995 (java) S 28149 28151 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254011374 10060460032 652748 33554432000 1073741824 1073778376 140734606855968 140279075751464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 973.35 CPU time (s): 1800.5 CPU user time (s): 1798.1 CPU system time (s): 2.40064 CPU usage (%): 184.98 Max. virtual memory (cumulated for all children) (KiB): 9825560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.1 system time used= 2.40063 maximum resident set size= 2611112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34164 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31769 involuntary context switches= 66210 runsolver used 3.70044 second user time and 8.77567 second system time The end
Begin job on node133 at 2012-05-24 18:54:35 IDJOB=3688530 IDBENCH=25048 IDSOLVER=2268 FILE ID=node133/3688530-1337878475 RUNJOBID= node133-1337871880-26266 PBS_JOBID= 14620071 Free space on /tmp= 71624 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688530-1337878475/watcher-3688530-1337878475 -o /tmp/evaluation-result-3688530-1337878475/solver-3688530-1337878475 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688530-1337878475.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED=1559812517 node133.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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.08 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.540 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 : 5331.92 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.540 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 : 5331.92 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.540 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 : 5331.91 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.540 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 : 5331.91 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.540 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 : 5331.90 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.540 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 : 5331.91 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.540 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27534800 kB Buffers: 215280 kB Cached: 2375552 kB SwapCached: 0 kB Active: 2395136 kB Inactive: 2171312 kB Active(anon): 1978232 kB Inactive(anon): 0 kB Active(file): 416904 kB Inactive(file): 2171312 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 548 kB Writeback: 0 kB AnonPages: 1984744 kB Mapped: 22604 kB Shmem: 212 kB Slab: 628844 kB SReclaimable: 71088 kB SUnreclaim: 557756 kB KernelStack: 1648 kB PageTables: 8124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2585624 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 1884160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71624 MiB End job on node133 at 2012-05-24 19:10:51