Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 5670 | 1800.17 | 901.974 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb |
| MD5SUM | 7546aeed0de3680ab75d817854256b46 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4812 |
| Best CPU time to get the best result obtained on this benchmark | 8.85865 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4812 |
| Optimality of the best value was proved | YES |
| Number of variables | 4360 |
| Total number of constraints | 8610 |
| Number of constraints which are clauses | 8610 |
| 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 | 163 |
| Number of terms in the objective function | 2173 |
| Biggest coefficient in the objective function | 305 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 525495 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 305 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 525495 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4105970-1466267226.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.79/0.41 c ... done. Wall clock time 0.303s. 0.79/0.41 c declared #vars 4360 0.79/0.41 c #constraints 8610 0.79/0.41 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.79/0.41 c constraints type 0.79/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2188 0.79/0.42 c org.sat4j.minisat.constraints.cnf.UnitClause => 3 0.79/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6419 0.79/0.42 c 8610 constraints processed. 0.79/0.42 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.79/0.42 c constraints type 0.79/0.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6419 0.79/0.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2188 0.79/0.42 c org.sat4j.pb.constraints.pb.UnitClausePB => 3 0.79/0.42 c 8610 constraints processed. 0.79/0.42 c objective function length is 2173 literals 1.14/0.50 c And the winner is solver1 1.98/0.92 c SATISFIABLE 1.98/0.92 c OPTIMIZING... 1.98/0.92 c Got one! Elapsed wall clock time (in seconds):0.812 1.98/0.92 o 7543 2.26/1.01 c And the winner is solver0 2.71/1.49 c Got one! Elapsed wall clock time (in seconds):1.386 2.71/1.49 o 7355 2.72/1.52 c And the winner is solver0 2.93/2.01 c Got one! Elapsed wall clock time (in seconds):1.898 2.93/2.01 o 7167 2.93/2.02 c And the winner is solver0 3.09/2.52 c Got one! Elapsed wall clock time (in seconds):2.41 3.09/2.52 o 6979 3.09/2.53 c And the winner is solver0 3.19/3.03 c Got one! Elapsed wall clock time (in seconds):2.916 3.19/3.03 o 6800 3.19/3.05 c And the winner is solver0 3.26/3.53 c Got one! Elapsed wall clock time (in seconds):3.422 3.26/3.53 o 6799 3.26/3.54 c And the winner is solver0 3.34/4.04 c Got one! Elapsed wall clock time (in seconds):3.928 3.34/4.04 o 6791 3.50/4.14 c And the winner is solver0 3.59/4.54 c Got one! Elapsed wall clock time (in seconds):4.432 3.59/4.54 o 6685 8.38/6.72 c cleaning 2646 clauses out of 5291 with flag 38127/5291 13.62/9.29 c cleaning 4314 clauses out of 8645 with flag 85969/11291 19.53/12.14 c cleaning 5663 clauses out of 11331 with flag 135276/18291 27.31/16.00 c cleaning 6817 clauses out of 13668 with flag 220976/26291 28.92/16.80 c And the winner is solver0 28.94/17.05 c Got one! Elapsed wall clock time (in seconds):16.937 28.94/17.05 o 6665 33.11/19.12 c cleaning 6252 clauses out of 12508 with flag 40823/31948 38.35/21.72 c And the winner is solver1 38.38/22.05 c Got one! Elapsed wall clock time (in seconds):21.941 38.38/22.05 o 6620 39.12/22.49 c And the winner is solver1 39.38/22.55 c Got one! Elapsed wall clock time (in seconds):22.445 39.38/22.55 o 6612 44.87/25.31 c cleaning 8511 clauses out of 17065 with flag 50564/42757 50.35/28.06 c cleaning 7277 clauses out of 14554 with flag 94982/48757 56.22/30.99 c cleaning 7131 clauses out of 14277 with flag 127674/55757 63.05/34.32 c cleaning 7571 clauses out of 15147 with flag 164999/63758 70.35/37.91 c cleaning 8288 clauses out of 16575 with flag 212587/72757 80.84/43.18 c cleaning 9117 clauses out of 18287 with flag 311319/82757 90.49/47.95 c cleaning 10087 clauses out of 20174 with flag 372738/93761 100.98/53.15 c cleaning 11042 clauses out of 22083 with flag 451665/105757 112.49/58.82 c And the winner is solver1 112.49/59.09 c Got one! Elapsed wall clock time (in seconds):58.979 112.49/59.09 o 6521 116.51/61.17 c cleaning 14371 clauses out of 28786 with flag 23761/123502 122.18/63.98 c cleaning 10207 clauses out of 20414 with flag 61219/129501 129.21/67.46 c cleaning 8604 clauses out of 17207 with flag 107315/136501 135.62/70.62 c cleaning 8302 clauses out of 16604 with flag 139816/144502 142.85/74.22 c cleaning 8646 clauses out of 17301 with flag 175378/153501 152.27/78.97 c cleaning 9328 clauses out of 18655 with flag 239662/163501 161.89/83.73 c cleaning 10158 clauses out of 20327 with flag 286805/174501 173.93/89.73 c cleaning 11043 clauses out of 22169 with flag 358030/186501 187.97/96.74 c cleaning 12046 clauses out of 24126 with flag 438746/199501 202.09/103.75 c cleaning 13039 clauses out of 26080 with flag 513538/213501 216.59/110.98 c cleaning 13994 clauses out of 28041 with flag 592094/228501 227.43/116.34 c And the winner is solver1 227.43/116.60 c Got one! Elapsed wall clock time (in seconds):116.495 227.43/116.60 o 6392 232.08/118.99 c cleaning 14773 clauses out of 29553 with flag 26280/244007 237.91/121.81 c cleaning 10301 clauses out of 20780 with flag 77819/250007 244.32/125.03 c cleaning 8735 clauses out of 17479 with flag 128550/257007 252.77/129.24 c cleaning 8346 clauses out of 16744 with flag 186750/265007 261.22/133.47 c cleaning 8684 clauses out of 17398 with flag 248565/274007 270.68/138.13 c And the winner is solver1 270.68/138.61 c Got one! Elapsed wall clock time (in seconds):138.503 270.68/138.61 o 6327 274.90/140.78 c cleaning 11470 clauses out of 22990 with flag 33024/288283 280.71/143.68 c cleaning 8725 clauses out of 17520 with flag 75995/294283 287.11/146.82 c cleaning 7880 clauses out of 15795 with flag 123906/301283 293.56/150.09 c cleaning 7926 clauses out of 15915 with flag 167948/309283 302.20/154.35 c cleaning 8405 clauses out of 16989 with flag 229320/318283 311.83/159.11 c cleaning 9279 clauses out of 18584 with flag 296097/328283 321.09/163.71 c cleaning 10134 clauses out of 20305 with flag 348125/339283 330.77/168.53 c cleaning 11060 clauses out of 22171 with flag 397891/351283 340.82/173.59 c cleaning 12056 clauses out of 24112 with flag 450114/364284 343.45/174.83 c And the winner is solver1 343.45/175.12 c Got one! Elapsed wall clock time (in seconds):175.014 343.45/175.12 o 6317 344.39/175.60 c And the winner is solver1 344.39/175.63 c Got one! Elapsed wall clock time (in seconds):175.52 344.39/175.63 o 6290 346.35/176.65 c cleaning 9074 clauses out of 18209 with flag 13834/370437 351.98/179.43 c cleaning 7531 clauses out of 15134 with flag 44638/376436 358.79/182.85 c cleaning 7283 clauses out of 14603 with flag 80577/383436 367.24/187.08 c cleaning 7645 clauses out of 15320 with flag 136142/391436 377.52/192.55 c cleaning 8327 clauses out of 16675 with flag 209133/400436 386.74/197.12 c And the winner is solver1 386.74/197.41 c Got one! Elapsed wall clock time (in seconds):197.3 386.74/197.41 o 5795 390.95/199.52 c cleaning 11334 clauses out of 22680 with flag 22257/414768 395.75/201.91 c cleaning 8674 clauses out of 17348 with flag 46394/420770 400.97/204.59 c cleaning 7834 clauses out of 15672 with flag 75131/427768 408.02/208.08 c cleaning 7919 clauses out of 15838 with flag 116959/435768 415.68/211.80 c cleaning 8460 clauses out of 16919 with flag 155718/444768 423.50/215.77 c cleaning 9228 clauses out of 18460 with flag 193585/454769 432.11/220.02 c cleaning 10116 clauses out of 20231 with flag 232385/465768 442.17/225.04 c cleaning 11053 clauses out of 22116 with flag 274663/477769 453.86/230.85 c cleaning 12024 clauses out of 24062 with flag 320046/490768 466.60/237.11 c cleaning 13009 clauses out of 26038 with flag 373329/504768 478.73/243.16 c cleaning 14012 clauses out of 28029 with flag 427842/519768 491.59/249.52 c cleaning 14995 clauses out of 30017 with flag 486948/535768 504.86/256.15 c cleaning 16002 clauses out of 32022 with flag 551494/552768 519.71/263.54 c cleaning 17010 clauses out of 34020 with flag 619479/570768 536.78/272.07 c cleaning 18005 clauses out of 36010 with flag 701931/589768 553.13/280.11 c cleaning 19001 clauses out of 38007 with flag 777271/609770 571.34/289.79 c cleaning 20002 clauses out of 40004 with flag 855640/630768 589.35/298.63 c cleaning 20995 clauses out of 42002 with flag 938034/652768 607.79/307.72 c cleaning 21964 clauses out of 44007 with flag 1034908/675768 627.77/317.62 c cleaning 23022 clauses out of 46043 with flag 1142952/699768 647.84/327.69 c cleaning 23973 clauses out of 48021 with flag 1272047/724768 669.56/338.47 c cleaning 25026 clauses out of 50051 with flag 1394312/750771 691.22/349.24 c cleaning 26008 clauses out of 52023 with flag 1514830/777769 713.81/360.57 c cleaning 27000 clauses out of 54014 with flag 1643431/805768 737.31/372.27 c cleaning 27992 clauses out of 56014 with flag 1770230/834768 762.87/384.95 c cleaning 29007 clauses out of 58023 with flag 1926962/864769 787.28/397.20 c cleaning 29997 clauses out of 60015 with flag 2051369/895768 814.01/410.36 c cleaning 30994 clauses out of 62018 with flag 2181410/927768 843.02/424.71 c cleaning 32004 clauses out of 64024 with flag 2323918/960768 871.87/439.12 c cleaning 32995 clauses out of 66020 with flag 2476533/994768 902.02/455.05 c cleaning 34008 clauses out of 68026 with flag 2638309/1029769 906.21/457.18 c And the winner is solver1 906.21/457.67 c Got one! Elapsed wall clock time (in seconds):457.565 906.21/457.67 o 5670 911.11/460.17 c cleaning 22389 clauses out of 44809 with flag 31601/1040560 915.71/462.46 c cleaning 14201 clauses out of 28419 with flag 51492/1046559 921.11/465.15 c cleaning 10606 clauses out of 21218 with flag 77054/1053559 927.51/468.36 c cleaning 9307 clauses out of 18614 with flag 102617/1061561 934.61/471.86 c cleaning 9151 clauses out of 18309 with flag 135552/1070563 942.61/475.83 c cleaning 9572 clauses out of 19155 with flag 171573/1080560 951.01/480.07 c cleaning 10288 clauses out of 20584 with flag 211069/1091561 960.01/484.57 c cleaning 11136 clauses out of 22294 with flag 254294/1103559 970.24/489.66 c cleaning 12072 clauses out of 24158 with flag 304034/1116559 981.04/495.10 c cleaning 13041 clauses out of 26091 with flag 353431/1130564 993.24/501.07 c cleaning 14001 clauses out of 28045 with flag 407025/1145559 1006.56/507.69 c cleaning 15021 clauses out of 30044 with flag 463139/1161559 1020.16/514.47 c cleaning 16004 clauses out of 32023 with flag 523417/1178559 1034.76/521.72 c cleaning 17003 clauses out of 34019 with flag 586675/1196559 1050.25/529.48 c cleaning 18004 clauses out of 36016 with flag 654795/1215559 1067.38/537.97 c cleaning 19006 clauses out of 38012 with flag 730802/1235559 1085.92/547.18 c cleaning 19990 clauses out of 40007 with flag 812670/1256560 1106.32/557.21 c cleaning 20994 clauses out of 42016 with flag 905184/1278559 1128.93/568.45 c cleaning 22002 clauses out of 44022 with flag 1013930/1301559 1150.52/579.13 c cleaning 23006 clauses out of 46021 with flag 1113860/1325560 1173.65/590.66 c cleaning 24008 clauses out of 48015 with flag 1222376/1350560 1196.83/602.17 c cleaning 24971 clauses out of 50006 with flag 1341300/1376559 1221.42/614.36 c cleaning 25817 clauses out of 52035 with flag 1476424/1403559 1251.27/629.16 c cleaning 27086 clauses out of 54218 with flag 1639038/1431559 1281.88/644.41 c cleaning 28061 clauses out of 56132 with flag 1812113/1460559 1308.87/657.85 c cleaning 29011 clauses out of 58071 with flag 1945420/1490559 1337.90/672.21 c cleaning 30008 clauses out of 60060 with flag 2094945/1521559 1370.07/688.24 c cleaning 31006 clauses out of 62055 with flag 2281230/1553562 1401.72/703.90 c cleaning 31988 clauses out of 64046 with flag 2435326/1586559 1435.30/720.54 c cleaning 33025 clauses out of 66058 with flag 2630439/1620559 1465.69/735.77 c cleaning 33987 clauses out of 68033 with flag 2777643/1655559 1497.28/751.60 c cleaning 35015 clauses out of 70046 with flag 2942761/1691559 1532.08/768.72 c cleaning 35989 clauses out of 72031 with flag 3126466/1728559 1566.28/785.88 c cleaning 37021 clauses out of 74042 with flag 3302274/1766559 1606.66/805.86 c cleaning 37959 clauses out of 76021 with flag 3539538/1805559 1644.25/824.69 c cleaning 39015 clauses out of 78062 with flag 3735814/1845559 1687.30/845.98 c cleaning 40022 clauses out of 80048 with flag 3941358/1886560 1729.09/866.65 c cleaning 41003 clauses out of 82025 with flag 4150554/1928559 1768.77/886.22 c cleaning 42007 clauses out of 84024 with flag 4364539/1971561 1800.17/901.90 c >>>>>>>>>> Solver number 0 (8 answers) <<<<<<<<<<<<<<<<<< 1800.17/901.90 c starts : 39188 1800.17/901.90 c conflicts : 2003662 1800.17/901.90 c decisions : 31782245 1800.17/901.90 c propagations : 3812294005 1800.17/901.90 c inspects : 4454013686 1800.17/901.90 c shortcuts : 0 1800.17/901.90 c learnt literals : 0 1800.17/901.90 c learnt binary clauses : 0 1800.17/901.90 c learnt ternary clauses : 0 1800.17/901.90 c learnt constraints : 2003662 1800.17/901.90 c ignored constraints : 0 1800.17/901.90 c root simplifications : 0 1800.17/901.90 c removed literals (reason simplification) : 11101521 1800.17/901.90 c reason swapping (by a shorter reason) : 0 1800.17/901.90 c Calls to reduceDB : 113 1800.17/901.90 c Number of update (reduction) of LBD : 999068 1800.17/901.90 c Imported unit clauses : 0 1800.17/901.90 c number of reductions to clauses (during analyze) : 0 1800.17/901.90 c number of learned constraints concerned by reduction : 0 1800.17/901.90 c number of learning phase by resolution : 0 1800.17/901.90 c number of learning phase by cutting planes : 0 1800.17/901.90 c speed (assignments/second) : 8581937.461590238 1800.17/901.90 c non guided choices 0 1800.17/901.93 c learnt constraints type 1800.17/901.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 74118 1800.17/901.93 c >>>>>>>>>> Solver number 1 (10 answers) <<<<<<<<<<<<<<<<<< 1800.17/901.93 c starts : 37 1800.17/901.93 c conflicts : 3784 1800.17/901.93 c decisions : 191611 1800.17/901.93 c propagations : 1919822 1800.17/901.93 c inspects : 142834280 1800.17/901.93 c shortcuts : 0 1800.17/901.93 c learnt literals : 0 1800.17/901.93 c learnt binary clauses : 0 1800.17/901.93 c learnt ternary clauses : 0 1800.17/901.93 c learnt constraints : 3776 1800.17/901.93 c ignored constraints : 0 1800.17/901.93 c root simplifications : 0 1800.17/901.93 c removed literals (reason simplification) : 0 1800.17/901.93 c reason swapping (by a shorter reason) : 0 1800.17/901.93 c Calls to reduceDB : 0 1800.17/901.93 c Number of update (reduction) of LBD : 0 1800.17/901.93 c Imported unit clauses : 0 1800.17/901.93 c number of reductions to clauses (during analyze) : 0 1800.17/901.93 c number of learned constraints concerned by reduction : 0 1800.17/901.93 c number of learning phase by resolution : 0 1800.17/901.93 c number of learning phase by cutting planes : 0 1800.17/901.93 c speed (assignments/second) : 2169.5919319860277 1800.17/901.93 c non guided choices 0 1800.17/901.93 c learnt constraints type 1800.17/901.93 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7 1800.17/901.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3769 1800.17/901.93 s SATISFIABLE 1800.17/901.93 c Found 18 solution(s) 1800.17/901.94 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 x4358 x4359 -x4360 1800.17/901.94 c objective function=5670 1800.17/901.94 c Total wall clock time (in seconds): 901.834
OK 5670
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105970-1466267226/watcher-4105970-1466267226 -o /tmp/evaluation-result-4105970-1466267226/solver-4105970-1466267226 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28301 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105970-1466267226.opb pid=29435 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.16 4.16 4.01 2/194 29438 /proc/meminfo: memFree=30060736/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=92900 CPUtime=0 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 2 0 28771026 95129600 927 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 23225 927 703 9 0 16769 0 [pid=29438/tid=29439] ppid=29435 vsize=92900 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) D 29435 29438 28285 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28771026 95129600 927 33554432000 1073741824 1073778376 140736055264992 140088358342184 217401355559 0 0 4096 0 18446744072100588836 0 0 -1 2 0 0 0 0 0 [startup+0.100161 s] /proc/loadavg: 4.16 4.16 4.01 2/194 29438 /proc/meminfo: memFree=30060736/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 4456 0 1 0 9 1 0 0 20 0 18 0 28771026 9787879424 6092 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2389619 6092 2155 9 0 2380296 0 [pid=29438/tid=29439] ppid=29435 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) R 29435 29438 28285 0 -1 4202560 2386 0 1 0 6 1 0 0 20 0 18 0 28771026 9787879424 6092 33554432000 1073741824 1073778376 140736055264992 140088358345480 217413903629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200264 s] /proc/loadavg: 4.16 4.16 4.01 2/194 29438 /proc/meminfo: memFree=30060736/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 5041 0 1 0 28 1 0 0 20 0 18 0 28771026 9787879424 6905 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2389619 6905 2223 9 0 2380296 0 [pid=29438/tid=29439] ppid=29435 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) R 29435 29438 28285 0 -1 4202560 2402 0 1 0 16 1 0 0 20 0 18 0 28771026 9787879424 6905 33554432000 1073741824 1073778376 140736055264992 140088358346456 140088226997098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300264 s] /proc/loadavg: 4.16 4.16 4.01 2/194 29438 /proc/meminfo: memFree=30060736/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9558476 CPUtime=0.52 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 6269 0 1 0 50 2 0 0 20 0 18 0 28771026 9787879424 9554 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2389619 9554 2233 9 0 2380296 0 [pid=29438/tid=29439] ppid=29435 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) R 29435 29438 28285 0 -1 4202560 2406 0 1 0 26 1 0 0 20 0 18 0 28771026 9787879424 9554 33554432000 1073741824 1073778376 140736055264992 140088358347176 140088226997287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558476 [startup+0.700292 s] /proc/loadavg: 4.16 4.16 4.01 2/194 29438 /proc/meminfo: memFree=30060736/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9825348 CPUtime=1.59 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 26414 0 1 0 151 8 0 0 20 0 19 0 28771026 10061156352 27900 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2456337 27900 2255 9 0 2447014 0 [pid=29438/tid=29439] ppid=29435 vsize=9825348 CPUtime=0.39 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) S 29435 29438 28285 0 -1 4202560 2476 0 1 0 37 2 0 0 20 0 19 0 28771026 10061156352 27900 33554432000 1073741824 1073778376 140736055264992 140088358347640 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9825348 [startup+1.5008 s] /proc/loadavg: 4.16 4.16 4.01 3/213 29469 /proc/meminfo: memFree=29918956/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 33345 0 1 0 261 11 0 0 20 0 19 0 28771026 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2456183 27935 2265 9 0 2446860 0 [pid=29438/tid=29439] ppid=29435 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) R 29435 29438 28285 0 -1 4202560 2483 0 1 0 45 2 0 0 20 0 19 0 28771026 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088358347640 140088226987101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29441] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29441/stat : 29441 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088347408680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29442] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29442/stat : 29442 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088346355880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29443] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29443/stat : 29443 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088199297576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29444] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29444/stat : 29444 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088198244776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29445] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29445/stat : 29445 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088197192488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29446] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29446/stat : 29446 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088196139688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29447] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29447/stat : 29447 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088195087400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29448] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29448/stat : 29448 (java) S 29435 29438 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088194034600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29449] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29449/stat : 29449 (java) S 29435 29438 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28771028 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088181836008 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29450] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29450/stat : 29450 (java) S 29435 29438 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28771029 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088180782072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29451] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29451/stat : 29451 (java) S 29435 29438 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28771029 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088179729672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29452] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29452/stat : 29452 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771031 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088178678160 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29453] ppid=29435 vsize=9824732 CPUtime=1.08 cores=0,2,4,6 /proc/29438/task/29453/stat : 29453 (java) S 29435 29438 28285 0 -1 4202560 16055 0 0 0 104 4 0 0 20 0 19 0 28771031 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088177625784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29454] ppid=29435 vsize=9824732 CPUtime=0.89 cores=0,2,4,6 /proc/29438/task/29454/stat : 29454 (java) S 29435 29438 28285 0 -1 4202560 13440 0 0 0 87 2 0 0 20 0 19 0 28771031 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088176572984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29455] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29455/stat : 29455 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771031 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088175520888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29456] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29456/stat : 29456 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771031 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088174468296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29469] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29469/stat : 29469 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28771126 10060525568 27935 33554432000 1073741824 1073778376 140736055264992 140088167437992 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.72 Current children cumulated vsize (KiB) 9824732 [startup+3.10086 s] /proc/loadavg: 4.16 4.16 4.01 1/213 29481 /proc/meminfo: memFree=29888228/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9824732 CPUtime=3.26 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 33580 0 1 0 310 16 0 0 20 0 19 0 28771026 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2456183 33575 2272 9 0 2446860 0 [pid=29438/tid=29439] ppid=29435 vsize=9824732 CPUtime=0.51 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) S 29435 29438 28285 0 -1 4202560 2487 0 1 0 49 2 0 0 20 0 19 0 28771026 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088358347640 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29441] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29441/stat : 29441 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088347408680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29442] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29442/stat : 29442 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088346355880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29443] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29443/stat : 29443 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088199297576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29444] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29444/stat : 29444 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088198244776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29445] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29445/stat : 29445 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088197192488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29446] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29446/stat : 29446 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088196139688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29447] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29447/stat : 29447 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088195087400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29448] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29448/stat : 29448 (java) S 29435 29438 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28771027 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088194034600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29449] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29449/stat : 29449 (java) S 29435 29438 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 28771028 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088181836008 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29450] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29450/stat : 29450 (java) S 29435 29438 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28771029 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088180782072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29451] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29451/stat : 29451 (java) S 29435 29438 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28771029 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088179729672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29452] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29452/stat : 29452 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771031 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088178678160 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29453] ppid=29435 vsize=9824732 CPUtime=1.28 cores=0,2,4,6 /proc/29438/task/29453/stat : 29453 (java) S 29435 29438 28285 0 -1 4202560 16059 0 0 0 124 4 0 0 20 0 19 0 28771031 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088177625784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29454] ppid=29435 vsize=9824732 CPUtime=1.09 cores=0,2,4,6 /proc/29438/task/29454/stat : 29454 (java) S 29435 29438 28285 0 -1 4202560 13632 0 0 0 107 2 0 0 20 0 19 0 28771031 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088176572984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29455] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29455/stat : 29455 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771031 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088175520888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29456] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29456/stat : 29456 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28771031 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088174468296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29469] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29469/stat : 29469 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28771126 10060525568 33575 33554432000 1073741824 1073778376 140736055264992 140088167437992 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.26 Current children cumulated vsize (KiB) 9824732 [startup+6.30086 s] /proc/loadavg: 3.82 4.09 3.99 6/219 29502 /proc/meminfo: memFree=29732796/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9824732 CPUtime=7.54 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 33971 0 1 0 735 19 0 0 20 0 22 0 28771026 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2456183 47876 2277 9 0 2446860 0 [pid=29438/tid=29439] ppid=29435 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) S 29435 29438 28285 0 -1 4202560 2491 0 1 0 50 2 0 0 20 0 22 0 28771026 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088358347640 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29441] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29441/stat : 29441 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088347408680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29442] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29442/stat : 29442 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088346355880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29443] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29443/stat : 29443 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088199297576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29444] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29444/stat : 29444 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088198244776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29445] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29445/stat : 29445 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088197192488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29446] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29446/stat : 29446 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088196139688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29447] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29447/stat : 29447 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088195087400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29448] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29448/stat : 29448 (java) S 29435 29438 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28771027 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088194034600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29449] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29449/stat : 29449 (java) S 29435 29438 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28771028 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088181836008 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29450] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29450/stat : 29450 (java) S 29435 29438 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088180782072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29451] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29451/stat : 29451 (java) S 29435 29438 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088179729672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29452] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29452/stat : 29452 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771031 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088178678160 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29453] ppid=29435 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/29438/task/29453/stat : 29453 (java) S 29435 29438 28285 0 -1 4202560 16063 0 0 0 160 4 0 0 20 0 22 0 28771031 10060525568 47876 33554432000 1073741824 1073778376 140736055264992 140088177625784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29454] ppid=29435 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 ################ # More data... # ################ [pid=29438/tid=29448] ppid=29435 vsize=9824732 CPUtime=2.47 cores=0,2,4,6 /proc/29438/task/29448/stat : 29448 (java) S 29435 29438 28285 0 -1 4202560 1322 0 0 0 212 35 0 0 20 0 22 0 28771027 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088194034600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29449] ppid=29435 vsize=9824732 CPUtime=3.71 cores=0,2,4,6 /proc/29438/task/29449/stat : 29449 (java) S 29435 29438 28285 0 -1 4202560 2206 0 0 0 361 10 0 0 20 0 22 0 28771028 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088181836008 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29450] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29450/stat : 29450 (java) S 29435 29438 28285 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088180782072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29451] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29451/stat : 29451 (java) S 29435 29438 28285 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088179729672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29452] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29452/stat : 29452 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771031 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088178678160 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29453] ppid=29435 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/29438/task/29453/stat : 29453 (java) S 29435 29438 28285 0 -1 4202560 16107 0 0 0 221 4 0 0 20 0 22 0 28771031 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088177625784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29454] ppid=29435 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/29438/task/29454/stat : 29454 (java) S 29435 29438 28285 0 -1 4202560 14002 0 0 0 155 3 0 0 20 0 22 0 28771031 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088176572984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29455] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29455/stat : 29455 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771031 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088175520888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29456] ppid=29435 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/29438/task/29456/stat : 29456 (java) S 29435 29438 28285 0 -1 4202560 51 0 0 0 9 12 0 0 20 0 22 0 28771031 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088174468296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29505] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29505/stat : 29505 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28772731 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088170596008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29557] ppid=29435 vsize=9824732 CPUtime=420.81 cores=0,2,4,6 /proc/29438/task/29557/stat : 29557 (java) R 29435 29438 28285 0 -1 4202560 8 0 0 0 42075 6 0 0 20 0 22 0 28816794 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088169533936 140088227896039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29558] ppid=29435 vsize=9824732 CPUtime=420.82 cores=0,2,4,6 /proc/29438/task/29558/stat : 29558 (java) R 29435 29438 28285 0 -1 4202560 140 0 0 0 42073 9 0 0 20 0 22 0 28816794 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088167435456 140088228287888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29559] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29559/stat : 29559 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28816794 10060525568 969137 33554432000 1073741824 1073778376 140736055264992 140088168489768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1758.91 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+901.901 s] /proc/loadavg: 3.53 3.75 3.92 4/218 29572 /proc/meminfo: memFree=22962064/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9824732 CPUtime=1798.57 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 46316 0 1 0 179490 367 0 0 20 0 22 0 28771026 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2456183 969148 2302 9 0 2446860 0 [pid=29438/tid=29439] ppid=29435 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) S 29435 29438 28285 0 -1 4202560 2500 0 1 0 56 4 0 0 20 0 22 0 28771026 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088358347640 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29441] ppid=29435 vsize=9824732 CPUtime=3.01 cores=0,2,4,6 /proc/29438/task/29441/stat : 29441 (java) S 29435 29438 28285 0 -1 4202560 1334 0 0 0 265 36 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088347408680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29442] ppid=29435 vsize=9824732 CPUtime=3.04 cores=0,2,4,6 /proc/29438/task/29442/stat : 29442 (java) S 29435 29438 28285 0 -1 4202560 996 0 0 0 265 39 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088346355880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29443] ppid=29435 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/29438/task/29443/stat : 29443 (java) S 29435 29438 28285 0 -1 4202560 831 0 0 0 232 34 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088199297576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29444] ppid=29435 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/29438/task/29444/stat : 29444 (java) S 29435 29438 28285 0 -1 4202560 802 0 0 0 224 31 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088198244776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29445] ppid=29435 vsize=9824732 CPUtime=2.95 cores=0,2,4,6 /proc/29438/task/29445/stat : 29445 (java) S 29435 29438 28285 0 -1 4202560 1018 0 0 0 253 42 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088197192488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29446] ppid=29435 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/29438/task/29446/stat : 29446 (java) S 29435 29438 28285 0 -1 4202560 1017 0 0 0 225 34 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088196139688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29447] ppid=29435 vsize=9824732 CPUtime=2.84 cores=0,2,4,6 /proc/29438/task/29447/stat : 29447 (java) S 29435 29438 28285 0 -1 4202560 912 0 0 0 247 37 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088195087400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29448] ppid=29435 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/29438/task/29448/stat : 29448 (java) S 29435 29438 28285 0 -1 4202560 1322 0 0 0 224 35 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088194034600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29449] ppid=29435 vsize=9824732 CPUtime=3.71 cores=0,2,4,6 /proc/29438/task/29449/stat : 29449 (java) S 29435 29438 28285 0 -1 4202560 2208 0 0 0 361 10 0 0 20 0 22 0 28771028 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088181836008 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29450] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29450/stat : 29450 (java) S 29435 29438 28285 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088180782072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29451] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29451/stat : 29451 (java) S 29435 29438 28285 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088179729672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29452] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29452/stat : 29452 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088178678160 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29453] ppid=29435 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/29438/task/29453/stat : 29453 (java) S 29435 29438 28285 0 -1 4202560 16107 0 0 0 221 4 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088177625784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29454] ppid=29435 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/29438/task/29454/stat : 29454 (java) S 29435 29438 28285 0 -1 4202560 14002 0 0 0 155 3 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088176572984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29455] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29455/stat : 29455 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088175520888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29456] ppid=29435 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/29438/task/29456/stat : 29456 (java) S 29435 29438 28285 0 -1 4202560 53 0 0 0 9 12 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088174468296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29505] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29505/stat : 29505 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28772731 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088170596008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29557] ppid=29435 vsize=9824732 CPUtime=440.11 cores=0,2,4,6 /proc/29438/task/29557/stat : 29557 (java) R 29435 29438 28285 0 -1 4202560 9 0 0 0 44005 6 0 0 20 0 22 0 28816794 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088169533936 140088227896592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29558] ppid=29435 vsize=9824732 CPUtime=440.12 cores=0,2,4,6 /proc/29438/task/29558/stat : 29558 (java) R 29435 29438 28285 0 -1 4202560 140 0 0 0 44003 9 0 0 20 0 22 0 28816794 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088167434400 140088228287982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29559] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29559/stat : 29559 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28816794 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088168489768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 29438 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+901.901 s] /proc/loadavg: 3.53 3.75 3.92 4/218 29572 /proc/meminfo: memFree=22962064/32872528 swapFree=1534436/1655032 [pid=29438] ppid=29435 vsize=9824732 CPUtime=1798.57 cores=0,2,4,6 /proc/29438/stat : 29438 (java) S 29435 29438 28285 0 -1 4202496 46316 0 1 0 179490 367 0 0 20 0 22 0 28771026 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140736055256128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29438/statm: 2456183 969148 2302 9 0 2446860 0 [pid=29438/tid=29439] ppid=29435 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/29438/task/29439/stat : 29439 (java) S 29435 29438 28285 0 -1 4202560 2500 0 1 0 56 4 0 0 20 0 22 0 28771026 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088358347640 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29441] ppid=29435 vsize=9824732 CPUtime=3.01 cores=0,2,4,6 /proc/29438/task/29441/stat : 29441 (java) S 29435 29438 28285 0 -1 4202560 1334 0 0 0 265 36 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088347408680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29442] ppid=29435 vsize=9824732 CPUtime=3.04 cores=0,2,4,6 /proc/29438/task/29442/stat : 29442 (java) S 29435 29438 28285 0 -1 4202560 996 0 0 0 265 39 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088346355880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29443] ppid=29435 vsize=9824732 CPUtime=2.66 cores=0,2,4,6 /proc/29438/task/29443/stat : 29443 (java) S 29435 29438 28285 0 -1 4202560 831 0 0 0 232 34 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088199297576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29444] ppid=29435 vsize=9824732 CPUtime=2.55 cores=0,2,4,6 /proc/29438/task/29444/stat : 29444 (java) S 29435 29438 28285 0 -1 4202560 802 0 0 0 224 31 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088198244776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29445] ppid=29435 vsize=9824732 CPUtime=2.95 cores=0,2,4,6 /proc/29438/task/29445/stat : 29445 (java) S 29435 29438 28285 0 -1 4202560 1018 0 0 0 253 42 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088197192488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29446] ppid=29435 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/29438/task/29446/stat : 29446 (java) S 29435 29438 28285 0 -1 4202560 1017 0 0 0 225 34 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088196139688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29447] ppid=29435 vsize=9824732 CPUtime=2.84 cores=0,2,4,6 /proc/29438/task/29447/stat : 29447 (java) S 29435 29438 28285 0 -1 4202560 912 0 0 0 247 37 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088195087400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29448] ppid=29435 vsize=9824732 CPUtime=2.59 cores=0,2,4,6 /proc/29438/task/29448/stat : 29448 (java) S 29435 29438 28285 0 -1 4202560 1322 0 0 0 224 35 0 0 20 0 22 0 28771027 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088194034600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29449] ppid=29435 vsize=9824732 CPUtime=3.71 cores=0,2,4,6 /proc/29438/task/29449/stat : 29449 (java) S 29435 29438 28285 0 -1 4202560 2208 0 0 0 361 10 0 0 20 0 22 0 28771028 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088181836008 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29450] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29450/stat : 29450 (java) S 29435 29438 28285 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088180782072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29451] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29451/stat : 29451 (java) S 29435 29438 28285 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 28771029 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088179729672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29452] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29452/stat : 29452 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088178678160 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29453] ppid=29435 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/29438/task/29453/stat : 29453 (java) S 29435 29438 28285 0 -1 4202560 16107 0 0 0 221 4 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088177625784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29454] ppid=29435 vsize=9824732 CPUtime=1.58 cores=0,2,4,6 /proc/29438/task/29454/stat : 29454 (java) S 29435 29438 28285 0 -1 4202560 14002 0 0 0 155 3 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088176572984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29455] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29455/stat : 29455 (java) S 29435 29438 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088175520888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29456] ppid=29435 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/29438/task/29456/stat : 29456 (java) S 29435 29438 28285 0 -1 4202560 53 0 0 0 9 12 0 0 20 0 22 0 28771031 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088174468296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29438/tid=29505] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29505/stat : 29505 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28772731 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088170596008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29438/tid=29557] ppid=29435 vsize=9824732 CPUtime=440.11 cores=0,2,4,6 /proc/29438/task/29557/stat : 29557 (java) R 29435 29438 28285 0 -1 4202560 9 0 0 0 44005 6 0 0 20 0 22 0 28816794 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088169533936 140088227896592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29438/tid=29558] ppid=29435 vsize=9824732 CPUtime=440.12 cores=0,2,4,6 /proc/29438/task/29558/stat : 29558 (java) R 29435 29438 28285 0 -1 4202560 140 0 0 0 44003 9 0 0 20 0 22 0 28816794 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088167434400 140088228287982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29438/tid=29559] ppid=29435 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29438/task/29559/stat : 29559 (java) S 29435 29438 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 28816794 10060525568 969148 33554432000 1073741824 1073778376 140736055264992 140088168489768 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29438 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=679471 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=981394 # CPU time returned by wait4() is 1796.66 # while last known CPU time is 1798.57 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.59985 # lost CPU user time (s): 1.76993 # lost CPU system time (s): -0.17 Real time (s): 901.974 CPU time (s): 1800.17 CPU user time (s): 1796.67 CPU system time (s): 3.5 CPU usage (%): 199.581 Max. virtual memory (cumulated for all children) (KiB): 9827588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.68 system time used= 3.98139 maximum resident set size= 3876704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46356 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25626 involuntary context switches= 29432 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.48732 second user time and 4.20236 second system time The end
Begin job on node122 at 2016-06-18 18:27:06 IDJOB=4105970 IDBENCH=24965 IDSOLVER=2543 FILE ID=node122/4105970-1466267226 RUNJOBID= node122-1466264503-28301 PBS_JOBID= 19918220 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105970-1466267226/watcher-4105970-1466267226 -o /tmp/evaluation-result-4105970-1466267226/solver-4105970-1466267226 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28301 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105970-1466267226.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7546aeed0de3680ab75d817854256b46 RANDOM SEED=245953703 node122.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.769 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.53 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30061000 kB Buffers: 141080 kB Cached: 218392 kB SwapCached: 0 kB Active: 145444 kB Inactive: 264040 kB Active(anon): 42648 kB Inactive(anon): 9916 kB Active(file): 102796 kB Inactive(file): 254124 kB Unevictable: 1655032 kB Mlocked: 1534436 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2048 kB Writeback: 0 kB AnonPages: 1777128 kB Mapped: 20772 kB Shmem: 204 kB Slab: 610120 kB SReclaimable: 53732 kB SUnreclaim: 556388 kB KernelStack: 1768 kB PageTables: 7080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2349908 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node122 at 2016-06-18 18:42:08