Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 28 | 1800.63 | 899.376 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
| MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.12698 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 4666 |
| Total number of constraints | 12693 |
| Number of constraints which are clauses | 12693 |
| 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 | 63 |
| Number of terms in the objective function | 2273 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2273 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2273 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081483-1465236322.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.09/0.52 c ... done. Wall clock time 0.399s. 1.09/0.52 c declared #vars 4666 1.09/0.52 c #constraints 12693 1.09/0.52 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.09/0.52 c constraints type 1.09/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2402 1.09/0.54 c org.sat4j.minisat.constraints.cnf.UnitClause => 164 1.09/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10127 1.09/0.54 c 12693 constraints processed. 1.09/0.54 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.09/0.54 c constraints type 1.09/0.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10127 1.09/0.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2402 1.09/0.54 c org.sat4j.pb.constraints.pb.UnitClausePB => 164 1.09/0.54 c 12693 constraints processed. 1.09/0.54 c objective function length is 2273 literals 1.45/0.65 c And the winner is solver1 2.39/1.03 c SATISFIABLE 2.39/1.03 c OPTIMIZING... 2.39/1.03 c Got one! Elapsed wall clock time (in seconds):0.908 2.39/1.03 o 38 2.39/1.06 c And the winner is solver0 2.74/1.54 c Got one! Elapsed wall clock time (in seconds):1.421 2.74/1.54 o 37 3.36/1.73 c And the winner is solver0 3.73/2.06 c Got one! Elapsed wall clock time (in seconds):1.938 3.73/2.06 o 36 6.24/3.15 c And the winner is solver0 6.39/3.56 c Got one! Elapsed wall clock time (in seconds):3.443 6.39/3.56 o 35 7.89/4.34 c cleaning 2967 clauses out of 5938 with flag 8717/5938 12.91/6.78 c cleaning 4486 clauses out of 8971 with flag 81323/11938 18.62/9.57 c cleaning 5740 clauses out of 11485 with flag 147403/18938 25.26/12.72 c cleaning 6870 clauses out of 13745 with flag 206232/26938 32.55/16.31 c cleaning 7938 clauses out of 15876 with flag 281616/35939 40.20/20.10 c cleaning 8966 clauses out of 17937 with flag 360380/45938 47.15/23.54 c And the winner is solver0 47.30/23.62 c Got one! Elapsed wall clock time (in seconds):23.5 47.30/23.62 o 34 51.06/25.58 c cleaning 11404 clauses out of 22833 with flag 30720/59800 56.55/28.23 c cleaning 8695 clauses out of 17429 with flag 72485/65800 62.15/31.01 c cleaning 7835 clauses out of 15734 with flag 110755/72800 67.75/33.80 c cleaning 7948 clauses out of 15899 with flag 148742/80800 73.82/36.86 c cleaning 8465 clauses out of 16951 with flag 192135/89800 80.82/40.33 c cleaning 9231 clauses out of 18486 with flag 236789/99800 88.79/44.24 c cleaning 10093 clauses out of 20255 with flag 292927/110800 97.40/48.60 c cleaning 11030 clauses out of 22162 with flag 365250/122800 109.32/54.50 c cleaning 12054 clauses out of 24132 with flag 456568/135800 120.14/59.84 c cleaning 13020 clauses out of 26079 with flag 533688/149801 132.81/66.04 c cleaning 13980 clauses out of 28058 with flag 637826/164800 144.85/72.07 c And the winner is solver1 145.02/72.13 c Got one! Elapsed wall clock time (in seconds):72.009 145.02/72.13 o 33 149.77/74.58 c cleaning 16482 clauses out of 32964 with flag 26225/183686 155.04/77.16 c cleaning 11239 clauses out of 22482 with flag 60796/189686 160.63/79.99 c cleaning 9122 clauses out of 18243 with flag 100278/196686 167.22/83.20 c cleaning 8548 clauses out of 17122 with flag 143648/204687 174.63/87.00 c cleaning 8782 clauses out of 17574 with flag 195645/213687 183.12/91.17 c cleaning 9371 clauses out of 18791 with flag 253821/223686 191.92/95.54 c cleaning 10207 clauses out of 20420 with flag 316721/234686 201.65/100.39 c cleaning 11093 clauses out of 22213 with flag 385868/246686 212.38/105.61 c cleaning 12048 clauses out of 24120 with flag 458922/259686 223.88/111.36 c cleaning 13033 clauses out of 26072 with flag 540631/273686 235.28/117.04 c cleaning 14007 clauses out of 28039 with flag 628839/288686 248.00/123.37 c cleaning 14990 clauses out of 30032 with flag 715276/304686 261.46/130.44 c cleaning 16022 clauses out of 32044 with flag 813106/321688 262.24/130.90 c And the winner is solver1 262.46/130.92 c Got one! Elapsed wall clock time (in seconds):130.799 262.46/130.92 o 32 265.61/132.55 c cleaning 10631 clauses out of 21274 with flag 21686/326940 269.61/134.51 c cleaning 8320 clauses out of 16643 with flag 52716/332940 275.01/137.25 c cleaning 7659 clauses out of 15323 with flag 95360/339940 281.43/140.43 c cleaning 7810 clauses out of 15664 with flag 142928/347940 288.63/144.01 c cleaning 8419 clauses out of 16854 with flag 194826/356940 297.31/148.39 c cleaning 9210 clauses out of 18436 with flag 246851/366941 306.11/152.73 c cleaning 10071 clauses out of 20225 with flag 308385/377940 314.92/157.11 c cleaning 11071 clauses out of 22154 with flag 376293/389940 324.23/161.76 c cleaning 12027 clauses out of 24083 with flag 437264/402940 334.62/166.96 c cleaning 13028 clauses out of 26056 with flag 501692/416940 347.95/173.52 c cleaning 14009 clauses out of 28028 with flag 576827/431940 352.35/175.73 c And the winner is solver1 352.42/175.96 c Got one! Elapsed wall clock time (in seconds):175.84 352.42/175.96 o 31 356.16/177.89 c cleaning 12097 clauses out of 24204 with flag 27092/442125 360.76/180.19 c cleaning 9055 clauses out of 18110 with flag 60185/448128 366.16/182.83 c cleaning 8021 clauses out of 16053 with flag 97403/455126 372.16/185.80 c cleaning 8016 clauses out of 16031 with flag 140817/463125 379.17/189.28 c cleaning 8491 clauses out of 17015 with flag 196338/472125 386.16/192.72 c cleaning 9246 clauses out of 18524 with flag 252979/482125 394.16/196.78 c cleaning 10133 clauses out of 20278 with flag 316441/493125 402.95/201.14 c cleaning 11067 clauses out of 22145 with flag 377645/505125 412.56/205.96 c cleaning 12039 clauses out of 24078 with flag 438123/518125 422.78/210.90 c cleaning 13017 clauses out of 26039 with flag 507013/532125 433.18/216.10 c cleaning 13991 clauses out of 28022 with flag 581277/547125 445.65/222.22 c cleaning 15006 clauses out of 30031 with flag 661298/563125 457.64/228.23 c cleaning 15998 clauses out of 32026 with flag 746482/580126 472.05/235.43 c cleaning 16990 clauses out of 34027 with flag 841443/598125 486.29/242.41 c cleaning 18020 clauses out of 36039 with flag 945407/617127 499.69/249.11 c cleaning 19003 clauses out of 38017 with flag 1042203/637125 513.69/256.13 c cleaning 20004 clauses out of 40014 with flag 1139562/658125 532.50/266.05 c cleaning 20987 clauses out of 42010 with flag 1252405/680125 548.10/273.86 c cleaning 22002 clauses out of 44023 with flag 1369936/703125 565.01/282.22 c cleaning 23009 clauses out of 46021 with flag 1484833/727125 583.02/291.26 c cleaning 24003 clauses out of 48012 with flag 1610245/752125 603.43/301.42 c cleaning 25003 clauses out of 50010 with flag 1743181/778126 627.47/313.36 c cleaning 25993 clauses out of 52006 with flag 1894646/805125 649.90/324.53 c cleaning 26991 clauses out of 54013 with flag 2036840/833125 672.74/335.84 c cleaning 28010 clauses out of 56022 with flag 2177525/862125 697.33/348.17 c cleaning 29005 clauses out of 58014 with flag 2316840/892127 724.33/361.69 c cleaning 29984 clauses out of 60007 with flag 2471596/923125 736.52/367.52 c And the winner is solver1 736.61/367.67 c Got one! Elapsed wall clock time (in seconds):367.551 736.61/367.67 o 30 740.68/369.80 c cleaning 23679 clauses out of 47358 with flag 25913/940460 745.08/371.98 c cleaning 14818 clauses out of 29679 with flag 57446/946460 749.67/374.27 c cleaning 10913 clauses out of 21861 with flag 92886/953460 755.07/376.94 c cleaning 9466 clauses out of 18948 with flag 132674/961460 761.47/380.18 c cleaning 9239 clauses out of 18483 with flag 174937/970461 768.67/383.70 c cleaning 9612 clauses out of 19243 with flag 226248/980460 777.22/387.89 c cleaning 10310 clauses out of 20631 with flag 280739/991460 786.42/392.46 c cleaning 11153 clauses out of 22321 with flag 337376/1003460 796.80/397.45 c cleaning 12081 clauses out of 24168 with flag 404270/1016460 807.21/402.68 c cleaning 13034 clauses out of 26087 with flag 481635/1030460 817.79/407.95 c cleaning 14008 clauses out of 28053 with flag 563389/1045460 829.99/414.06 c cleaning 15021 clauses out of 30045 with flag 653589/1061460 846.58/422.34 c cleaning 16004 clauses out of 32024 with flag 746427/1078460 864.28/431.01 c cleaning 17002 clauses out of 34020 with flag 844333/1096460 882.88/440.31 c cleaning 17995 clauses out of 36018 with flag 948674/1115460 903.51/451.48 c cleaning 19012 clauses out of 38023 with flag 1060225/1135460 922.31/460.88 c cleaning 19988 clauses out of 40012 with flag 1171928/1156461 942.33/470.86 c cleaning 21004 clauses out of 42023 with flag 1295577/1178460 962.98/481.14 c cleaning 21996 clauses out of 44019 with flag 1432467/1201460 985.76/492.45 c cleaning 23012 clauses out of 46023 with flag 1566154/1225460 1008.77/503.95 c cleaning 24005 clauses out of 48011 with flag 1697663/1250460 1032.57/515.85 c cleaning 24996 clauses out of 50006 with flag 1841507/1276460 1057.25/528.07 c cleaning 25995 clauses out of 52010 with flag 1976222/1303460 1067.04/532.96 c And the winner is solver1 1067.23/533.10 c Got one! Elapsed wall clock time (in seconds):532.973 1067.23/533.10 o 29 1071.03/535.00 c cleaning 21045 clauses out of 42113 with flag 26109/1319558 1075.43/537.22 c cleaning 13527 clauses out of 27068 with flag 58283/1325558 1080.63/539.87 c cleaning 10264 clauses out of 20541 with flag 94320/1332558 1087.02/543.07 c cleaning 9138 clauses out of 18277 with flag 134531/1340558 1094.23/546.43 c cleaning 9056 clauses out of 18139 with flag 181520/1349558 1101.64/550.17 c cleaning 9522 clauses out of 19083 with flag 235897/1359558 1109.02/553.82 c cleaning 10255 clauses out of 20561 with flag 289214/1370558 1117.82/558.21 c cleaning 11150 clauses out of 22306 with flag 349036/1382558 1127.02/562.87 c cleaning 12059 clauses out of 24157 with flag 414620/1395559 1137.63/568.18 c cleaning 13046 clauses out of 26097 with flag 490546/1409558 1149.23/573.98 c cleaning 14023 clauses out of 28051 with flag 573574/1424558 1161.65/579.94 c cleaning 14995 clauses out of 30028 with flag 659800/1440558 1174.66/586.48 c cleaning 16010 clauses out of 32037 with flag 746988/1457562 1189.05/593.69 c cleaning 17007 clauses out of 34023 with flag 844811/1475558 1205.46/601.81 c cleaning 18005 clauses out of 36016 with flag 948672/1494558 1222.85/610.52 c cleaning 19006 clauses out of 38011 with flag 1066107/1514558 1239.04/618.64 c cleaning 19996 clauses out of 40005 with flag 1175934/1535558 1254.11/625.98 c And the winner is solver1 1254.29/626.24 c Got one! Elapsed wall clock time (in seconds):626.124 1254.29/626.24 o 28 1258.39/628.36 c cleaning 21643 clauses out of 43285 with flag 26910/1558834 1263.19/630.76 c cleaning 13821 clauses out of 27642 with flag 56892/1564834 1268.58/633.49 c cleaning 10383 clauses out of 20821 with flag 92633/1571834 1275.39/636.84 c cleaning 9205 clauses out of 18438 with flag 140047/1579834 1282.79/640.58 c cleaning 9111 clauses out of 18233 with flag 190190/1588834 1291.79/645.02 c cleaning 9558 clauses out of 19123 with flag 234664/1598835 1301.14/649.58 c cleaning 10245 clauses out of 20564 with flag 292049/1609834 1308.79/653.34 c cleaning 11159 clauses out of 22320 with flag 359281/1621835 1317.80/657.84 c cleaning 12063 clauses out of 24160 with flag 424590/1634834 1327.18/662.55 c cleaning 13025 clauses out of 26098 with flag 498141/1648835 1337.38/667.69 c cleaning 14032 clauses out of 28072 with flag 573652/1663834 1349.97/673.91 c cleaning 14984 clauses out of 30040 with flag 659526/1679834 1362.77/680.32 c cleaning 16010 clauses out of 32056 with flag 742686/1696834 1377.18/687.55 c cleaning 17022 clauses out of 34047 with flag 832592/1714835 1394.71/695.93 c cleaning 17997 clauses out of 36024 with flag 919814/1733834 1411.90/704.50 c cleaning 19006 clauses out of 38027 with flag 1009858/1753834 1430.31/713.74 c cleaning 20009 clauses out of 40021 with flag 1105182/1774834 1450.94/723.80 c cleaning 21006 clauses out of 42012 with flag 1205752/1796834 1470.34/733.41 c cleaning 22002 clauses out of 44006 with flag 1312324/1819834 1492.93/744.42 c cleaning 22991 clauses out of 46004 with flag 1413033/1843834 1515.54/755.79 c cleaning 24003 clauses out of 48014 with flag 1534776/1868835 1540.55/767.99 c cleaning 25005 clauses out of 50010 with flag 1682991/1894834 1560.53/777.91 c cleaning 26000 clauses out of 52005 with flag 1810840/1921834 1588.34/793.60 c cleaning 26990 clauses out of 54005 with flag 1963685/1949834 1610.94/804.91 c cleaning 27988 clauses out of 56015 with flag 2110246/1978834 1634.63/816.78 c cleaning 29007 clauses out of 58028 with flag 2256296/2008835 1659.02/828.91 c cleaning 30006 clauses out of 60020 with flag 2404348/2039834 1687.53/843.13 c cleaning 30998 clauses out of 62014 with flag 2552416/2071834 1715.72/857.29 c cleaning 31996 clauses out of 64016 with flag 2707309/2104834 1744.26/871.49 c cleaning 32990 clauses out of 66020 with flag 2891263/2138834 1772.85/885.71 c cleaning 34008 clauses out of 68031 with flag 3079612/2173835 1800.19/899.30 c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<< 1800.19/899.30 c starts : 40469 1800.19/899.30 c conflicts : 2205715 1800.19/899.30 c decisions : 18853477 1800.19/899.30 c propagations : 3946982590 1800.19/899.30 c inspects : 4882905321 1800.19/899.30 c shortcuts : 0 1800.19/899.30 c learnt literals : 0 1800.19/899.30 c learnt binary clauses : 0 1800.19/899.30 c learnt ternary clauses : 24 1800.19/899.30 c learnt constraints : 2205715 1800.19/899.30 c ignored constraints : 0 1800.19/899.30 c root simplifications : 0 1800.19/899.30 c removed literals (reason simplification) : 10915267 1800.19/899.30 c reason swapping (by a shorter reason) : 0 1800.19/899.30 c Calls to reduceDB : 139 1800.19/899.30 c Number of update (reduction) of LBD : 1107728 1800.19/899.30 c Imported unit clauses : 0 1800.19/899.30 c number of reductions to clauses (during analyze) : 0 1800.19/899.30 c number of learned constraints concerned by reduction : 0 1800.19/899.30 c number of learning phase by resolution : 0 1800.19/899.30 c number of learning phase by cutting planes : 0 1800.19/899.30 c speed (assignments/second) : 1.4455005401881685E7 1800.19/899.30 c non guided choices 0 1800.19/899.33 c learnt constraints type 1800.19/899.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 65903 1800.19/899.33 c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<< 1800.19/899.33 c starts : 34 1800.19/899.33 c conflicts : 5225 1800.19/899.33 c decisions : 419863 1800.19/899.33 c propagations : 2667042 1800.19/899.33 c inspects : 110882002 1800.19/899.33 c shortcuts : 0 1800.19/899.33 c learnt literals : 0 1800.19/899.33 c learnt binary clauses : 0 1800.19/899.33 c learnt ternary clauses : 0 1800.19/899.33 c learnt constraints : 5223 1800.19/899.33 c ignored constraints : 0 1800.19/899.33 c root simplifications : 0 1800.19/899.33 c removed literals (reason simplification) : 0 1800.19/899.33 c reason swapping (by a shorter reason) : 0 1800.19/899.33 c Calls to reduceDB : 0 1800.19/899.33 c Number of update (reduction) of LBD : 0 1800.19/899.33 c Imported unit clauses : 0 1800.19/899.33 c number of reductions to clauses (during analyze) : 0 1800.19/899.33 c number of learned constraints concerned by reduction : 0 1800.19/899.33 c number of learning phase by resolution : 0 1800.19/899.33 c number of learning phase by cutting planes : 0 1800.19/899.33 c speed (assignments/second) : 3045.598741127139 1800.19/899.33 c non guided choices 0 1800.19/899.33 c learnt constraints type 1800.19/899.33 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 116 1800.19/899.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 111 1800.19/899.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4996 1800.19/899.33 s SATISFIABLE 1800.19/899.33 c Found 11 solution(s) 1800.19/899.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 x4082 x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 x4658 x4659 x4660 x4661 x4662 -x4663 -x4664 x4665 x4666 1800.19/899.34 c objective function=28 1800.19/899.34 c Total wall clock time (in seconds): 899.227
OK 28
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081483-1465236322/watcher-4081483-1465236322 -o /tmp/evaluation-result-4081483-1465236322/solver-4081483-1465236322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081483-1465236322.opb pid=14848 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.18 4.27 4.26 4/199 14851 /proc/meminfo: memFree=29659336/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/14851/stat : 14851 (java) D 14848 14851 8273 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 105564963 9515008 185 33554432000 1073741824 1073778376 140734131161312 140734131150376 273896533287 0 0 4096 0 18446744072100764964 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2323 185 143 9 0 71 0 [startup+0.100114 s] /proc/loadavg: 4.18 4.27 4.26 4/199 14851 /proc/meminfo: memFree=29659336/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 4425 0 1 0 8 1 0 0 20 0 18 0 105564963 9787879424 6042 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2389619 6042 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200328 s] /proc/loadavg: 4.18 4.27 4.26 4/199 14851 /proc/meminfo: memFree=29659336/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 5013 0 1 0 26 1 0 0 20 0 18 0 105564963 9787879424 6931 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2389619 6931 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.30022 s] /proc/loadavg: 4.18 4.27 4.26 4/199 14851 /proc/meminfo: memFree=29659336/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9558476 CPUtime=0.5 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 6001 0 1 0 49 1 0 0 20 0 18 0 105564963 9787879424 9101 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2389619 9101 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700184 s] /proc/loadavg: 4.18 4.27 4.26 4/199 14851 /proc/meminfo: memFree=29659336/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9824732 CPUtime=1.79 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 25699 0 1 0 172 7 0 0 20 0 19 0 105564963 10060525568 29463 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2456183 29463 2258 9 0 2446860 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 9824732 [startup+1.50076 s] /proc/loadavg: 4.18 4.27 4.26 5/218 14876 /proc/meminfo: memFree=29550724/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9824732 CPUtime=2.74 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 26782 0 1 0 265 9 0 0 20 0 19 0 105564963 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2456183 29247 2266 9 0 2446860 0 [pid=14851/tid=14853] ppid=14848 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/14851/task/14853/stat : 14853 (java) S 14848 14851 8273 0 -1 4202560 2439 0 1 0 49 1 0 0 20 0 19 0 105564964 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140495388545912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14854] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14854/stat : 14854 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140495360998056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14855] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14855/stat : 14855 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140495231167272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14856] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14856/stat : 14856 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140495230114728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14857] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14857/stat : 14857 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140495229062184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14858] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14858/stat : 14858 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140495228008616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14859] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14859/stat : 14859 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140495226956072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14860] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14860/stat : 14860 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494889806248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14861] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14861/stat : 14861 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105564965 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494888753704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14862] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14862/stat : 14862 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105564967 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494876555880 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14863] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14863/stat : 14863 (java) S 14848 14851 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105564967 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494875502200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14864] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14864/stat : 14864 (java) S 14848 14851 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105564967 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494874449544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14865] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14865/stat : 14865 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564969 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494873398288 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14866] ppid=14848 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/14851/task/14866/stat : 14866 (java) S 14848 14851 8273 0 -1 4202560 11914 0 0 0 91 2 0 0 20 0 19 0 105564969 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494872344632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14867] ppid=14848 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/14851/task/14867/stat : 14867 (java) S 14848 14851 8273 0 -1 4202560 11093 0 0 0 91 2 0 0 20 0 19 0 105564969 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494871292088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14868] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14868/stat : 14868 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564969 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494870239736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14869] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14869/stat : 14869 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105564969 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494869187400 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14876] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14876/stat : 14876 (java) S 14848 14851 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105565068 10060525568 29247 33554432000 1073741824 1073778376 140734131161312 140494864376872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.74 Current children cumulated vsize (KiB) 9824732 [startup+3.10079 s] /proc/loadavg: 4.01 4.23 4.25 7/221 14882 /proc/meminfo: memFree=29511192/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9824732 CPUtime=6.24 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 30857 0 1 0 612 12 0 0 20 0 22 0 105564963 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2456183 37976 2274 9 0 2446860 0 [pid=14851/tid=14853] ppid=14848 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/14851/task/14853/stat : 14853 (java) S 14848 14851 8273 0 -1 4202560 2442 0 1 0 51 2 0 0 20 0 22 0 105564964 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140495388545912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14854] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14854/stat : 14854 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140495360998056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14855] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14855/stat : 14855 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140495231167272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14856] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14856/stat : 14856 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140495230114728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14857] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14857/stat : 14857 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140495229062184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14858] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14858/stat : 14858 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140495228008616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14859] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14859/stat : 14859 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140495226956072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14860] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14860/stat : 14860 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494889806248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14861] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14861/stat : 14861 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494888753704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14862] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14862/stat : 14862 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494876555880 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14863] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14863/stat : 14863 (java) S 14848 14851 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494875502200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14864] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14864/stat : 14864 (java) S 14848 14851 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494874449544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14865] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14865/stat : 14865 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494873398288 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14866] ppid=14848 vsize=9824732 CPUtime=1.43 cores=0,2,4,6 /proc/14851/task/14866/stat : 14866 (java) S 14848 14851 8273 0 -1 4202560 11920 0 0 0 141 2 0 0 20 0 22 0 105564969 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494872344632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14867] ppid=14848 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/14851/task/14867/stat : 14867 (java) S 14848 14851 8273 0 -1 4202560 15120 0 0 0 146 3 0 0 20 0 22 0 105564969 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494871292088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14868] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14868/stat : 14868 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494870239736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14869] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14869/stat : 14869 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494869187400 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14876] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14876/stat : 14876 (java) S 14848 14851 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105565068 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494864376872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14880] ppid=14848 vsize=9824732 CPUtime=1 cores=0,2,4,6 /proc/14851/task/14880/stat : 14880 (java) R 14848 14851 8273 0 -1 4202560 3 0 0 0 100 0 0 0 20 0 22 0 105565170 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494867534760 140495243045554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14881] ppid=14848 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/14851/task/14881/stat : 14881 (java) R 14848 14851 8273 0 -1 4202560 14 0 0 0 102 0 0 0 20 0 22 0 105565170 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494866479888 140495243233324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14882] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14882/stat : 14882 (java) S 14848 14851 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105565170 10060525568 37976 33554432000 1073741824 1073778376 140734131161312 140494865429288 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 9824732 [startup+6.30083 s] /proc/loadavg: 4.01 4.23 4.25 5/221 14885 /proc/meminfo: memFree=29412700/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9824732 CPUtime=12.1 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 30946 0 1 0 1193 17 0 0 20 0 22 0 105564963 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2456183 53630 2291 9 0 2446860 0 [pid=14851/tid=14853] ppid=14848 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/14851/task/14853/stat : 14853 (java) S 14848 14851 8273 0 -1 4202560 2442 0 1 0 51 2 0 0 20 0 22 0 105564964 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140495388545912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14854] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14854/stat : 14854 (java) S 14848 14851 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140495360998056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14855] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14855/stat : 14855 (java) S 14848 14851 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140495231167272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14856] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14856/stat : 14856 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140495230114728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14857] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14857/stat : 14857 (java) S 14848 14851 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140495229062184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14858] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14858/stat : 14858 (java) S 14848 14851 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140495228008616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14859] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14859/stat : 14859 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140495226956072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14860] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14860/stat : 14860 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494889806248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14861] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14861/stat : 14861 (java) S 14848 14851 8273 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105564965 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494888753704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14862] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14862/stat : 14862 (java) S 14848 14851 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494876555880 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14863] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14863/stat : 14863 (java) S 14848 14851 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494875502200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14864] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14864/stat : 14864 (java) S 14848 14851 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494874449544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14865] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14865/stat : 14865 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494873398288 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14866] ppid=14848 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/14851/task/14866/stat : 14866 (java) S 14848 14851 8273 0 -1 4202560 11924 0 0 0 159 2 0 0 20 0 22 0 105564969 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494872344632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14867] ppid=14848 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/14851/task/14867/stat : 14867 (java) S 14848 14851 8273 0 -1 4202560 15122 0 0 0 153 3 0 0 20 0 22 0 105564969 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494871292088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14868] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14868/stat : 14868 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 53630 33554432000 1073741824 1073778376 140734131161312 140494870239736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14869] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.20 4.28 4.26 5/222 15020 /proc/meminfo: memFree=25475924/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9824732 CPUtime=1766.07 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 43123 0 1 0 176206 401 0 0 20 0 22 0 105564963 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2456183 988575 2301 9 0 2446860 0 [pid=14851/tid=14853] ppid=14848 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/14851/task/14853/stat : 14853 (java) S 14848 14851 8273 0 -1 4202560 2447 0 1 0 57 3 0 0 20 0 22 0 105564964 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140495388545912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14854] ppid=14848 vsize=9824732 CPUtime=2.73 cores=0,2,4,6 /proc/14851/task/14854/stat : 14854 (java) S 14848 14851 8273 0 -1 4202560 1002 0 0 0 230 43 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140495360998056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14855] ppid=14848 vsize=9824732 CPUtime=3.19 cores=0,2,4,6 /proc/14851/task/14855/stat : 14855 (java) S 14848 14851 8273 0 -1 4202560 1262 0 0 0 272 47 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140495231167272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14856] ppid=14848 vsize=9824732 CPUtime=2.83 cores=0,2,4,6 /proc/14851/task/14856/stat : 14856 (java) S 14848 14851 8273 0 -1 4202560 928 0 0 0 238 45 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140495230114728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14857] ppid=14848 vsize=9824732 CPUtime=2.58 cores=0,2,4,6 /proc/14851/task/14857/stat : 14857 (java) S 14848 14851 8273 0 -1 4202560 1108 0 0 0 221 37 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140495229062184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14858] ppid=14848 vsize=9824732 CPUtime=2.96 cores=0,2,4,6 /proc/14851/task/14858/stat : 14858 (java) S 14848 14851 8273 0 -1 4202560 1005 0 0 0 252 44 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140495228008616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14859] ppid=14848 vsize=9824732 CPUtime=2.8 cores=0,2,4,6 /proc/14851/task/14859/stat : 14859 (java) S 14848 14851 8273 0 -1 4202560 724 0 0 0 242 38 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140495226956072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14860] ppid=14848 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/14851/task/14860/stat : 14860 (java) S 14848 14851 8273 0 -1 4202560 877 0 0 0 206 39 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494889806248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14861] ppid=14848 vsize=9824732 CPUtime=2.93 cores=0,2,4,6 /proc/14851/task/14861/stat : 14861 (java) S 14848 14851 8273 0 -1 4202560 1192 0 0 0 247 46 0 0 20 0 22 0 105564965 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494888753704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14862] ppid=14848 vsize=9824732 CPUtime=7.83 cores=0,2,4,6 /proc/14851/task/14862/stat : 14862 (java) S 14848 14851 8273 0 -1 4202560 3022 0 0 0 776 7 0 0 20 0 22 0 105564967 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494876555880 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14863] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14863/stat : 14863 (java) S 14848 14851 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494875502200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14864] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14864/stat : 14864 (java) S 14848 14851 8273 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494874449544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14865] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14865/stat : 14865 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494873398288 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14866] ppid=14848 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/14851/task/14866/stat : 14866 (java) S 14848 14851 8273 0 -1 4202560 11929 0 0 0 174 2 0 0 20 0 22 0 105564969 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494872344632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14867] ppid=14848 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/14851/task/14867/stat : 14867 (java) S 14848 14851 8273 0 -1 4202560 15144 0 0 0 213 3 0 0 20 0 22 0 105564969 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494871292088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14868] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14868/stat : 14868 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494870239736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14869] ppid=14848 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/14851/task/14869/stat : 14869 (java) S 14848 14851 8273 0 -1 4202560 52 0 0 0 11 10 0 0 20 0 22 0 105564969 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494869187400 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14891] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14891/stat : 14891 (java) S 14848 14851 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105567326 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494865430056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=15007] ppid=14848 vsize=9824732 CPUtime=249.98 cores=0,2,4,6 /proc/14851/task/15007/stat : 15007 (java) R 14848 14851 8273 0 -1 4202560 3 0 0 0 24995 3 0 0 20 0 22 0 105627589 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494867526032 140495243216263 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=15008] ppid=14848 vsize=9824732 CPUtime=249.94 cores=0,2,4,6 /proc/14851/task/15008/stat : 15008 (java) R 14848 14851 8273 0 -1 4202560 16 0 0 0 24991 3 0 0 20 0 22 0 105627589 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494864375856 140495243156851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=15009] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/15009/stat : 15009 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105627589 10060525568 988575 33554432000 1073741824 1073778376 140734131161312 140494866481960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1766.07 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.301 s] /proc/loadavg: 4.30 4.30 4.27 5/222 15020 /proc/meminfo: memFree=25369248/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 43179 0 1 0 179618 401 0 0 20 0 22 0 105564963 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2456183 988626 2301 9 0 2446860 0 [pid=14851/tid=14853] ppid=14848 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/14851/task/14853/stat : 14853 (java) S 14848 14851 8273 0 -1 4202560 2447 0 1 0 57 3 0 0 20 0 22 0 105564964 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495388545912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14854] ppid=14848 vsize=9824732 CPUtime=2.77 cores=0,2,4,6 /proc/14851/task/14854/stat : 14854 (java) S 14848 14851 8273 0 -1 4202560 1002 0 0 0 234 43 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495360998056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14855] ppid=14848 vsize=9824732 CPUtime=3.22 cores=0,2,4,6 /proc/14851/task/14855/stat : 14855 (java) S 14848 14851 8273 0 -1 4202560 1262 0 0 0 275 47 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495231167272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14856] ppid=14848 vsize=9824732 CPUtime=2.85 cores=0,2,4,6 /proc/14851/task/14856/stat : 14856 (java) S 14848 14851 8273 0 -1 4202560 934 0 0 0 240 45 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495230114728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14857] ppid=14848 vsize=9824732 CPUtime=2.62 cores=0,2,4,6 /proc/14851/task/14857/stat : 14857 (java) S 14848 14851 8273 0 -1 4202560 1108 0 0 0 225 37 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495229062184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14858] ppid=14848 vsize=9824732 CPUtime=2.98 cores=0,2,4,6 /proc/14851/task/14858/stat : 14858 (java) S 14848 14851 8273 0 -1 4202560 1009 0 0 0 254 44 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495228008616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14859] ppid=14848 vsize=9824732 CPUtime=2.88 cores=0,2,4,6 /proc/14851/task/14859/stat : 14859 (java) S 14848 14851 8273 0 -1 4202560 730 0 0 0 250 38 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495226956072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14860] ppid=14848 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/14851/task/14860/stat : 14860 (java) S 14848 14851 8273 0 -1 4202560 902 0 0 0 210 39 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494889806248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14861] ppid=14848 vsize=9824732 CPUtime=2.97 cores=0,2,4,6 /proc/14851/task/14861/stat : 14861 (java) S 14848 14851 8273 0 -1 4202560 1192 0 0 0 251 46 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494888753704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14862] ppid=14848 vsize=9824732 CPUtime=7.83 cores=0,2,4,6 /proc/14851/task/14862/stat : 14862 (java) S 14848 14851 8273 0 -1 4202560 3034 0 0 0 776 7 0 0 20 0 22 0 105564967 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494876555880 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14863] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14863/stat : 14863 (java) S 14848 14851 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494875502200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14864] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14864/stat : 14864 (java) S 14848 14851 8273 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494874449544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14865] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14865/stat : 14865 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494873398288 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14866] ppid=14848 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/14851/task/14866/stat : 14866 (java) S 14848 14851 8273 0 -1 4202560 11929 0 0 0 174 2 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494872344632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14867] ppid=14848 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/14851/task/14867/stat : 14867 (java) S 14848 14851 8273 0 -1 4202560 15144 0 0 0 213 3 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494871292088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14868] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14868/stat : 14868 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494870239736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14869] ppid=14848 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/14851/task/14869/stat : 14869 (java) S 14848 14851 8273 0 -1 4202560 54 0 0 0 11 11 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494869187400 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14891] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14891/stat : 14891 (java) S 14848 14851 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105567326 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494865430056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=15007] ppid=14848 vsize=9824732 CPUtime=266.9 cores=0,2,4,6 /proc/14851/task/15007/stat : 15007 (java) R 14848 14851 8273 0 -1 4202560 3 0 0 0 26686 4 0 0 20 0 22 0 105627589 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494867532880 140495243216494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=15008] ppid=14848 vsize=9824732 CPUtime=266.85 cores=0,2,4,6 /proc/14851/task/15008/stat : 15008 (java) R 14848 14851 8273 0 -1 4202560 17 0 0 0 26681 4 0 0 20 0 22 0 105627589 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494864375808 140495243467624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=15009] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/15009/stat : 15009 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105627589 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494866481960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 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 14851 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.301 s] /proc/loadavg: 4.30 4.30 4.27 5/222 15020 /proc/meminfo: memFree=25369248/32872528 swapFree=15540/1663004 [pid=14851] ppid=14848 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6 /proc/14851/stat : 14851 (java) S 14848 14851 8273 0 -1 4202496 43179 0 1 0 179618 401 0 0 20 0 22 0 105564963 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140734131152448 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/14851/statm: 2456183 988626 2301 9 0 2446860 0 [pid=14851/tid=14853] ppid=14848 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/14851/task/14853/stat : 14853 (java) S 14848 14851 8273 0 -1 4202560 2447 0 1 0 57 3 0 0 20 0 22 0 105564964 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495388545912 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14854] ppid=14848 vsize=9824732 CPUtime=2.77 cores=0,2,4,6 /proc/14851/task/14854/stat : 14854 (java) S 14848 14851 8273 0 -1 4202560 1002 0 0 0 234 43 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495360998056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14855] ppid=14848 vsize=9824732 CPUtime=3.22 cores=0,2,4,6 /proc/14851/task/14855/stat : 14855 (java) S 14848 14851 8273 0 -1 4202560 1262 0 0 0 275 47 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495231167272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14856] ppid=14848 vsize=9824732 CPUtime=2.85 cores=0,2,4,6 /proc/14851/task/14856/stat : 14856 (java) S 14848 14851 8273 0 -1 4202560 934 0 0 0 240 45 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495230114728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14857] ppid=14848 vsize=9824732 CPUtime=2.62 cores=0,2,4,6 /proc/14851/task/14857/stat : 14857 (java) S 14848 14851 8273 0 -1 4202560 1108 0 0 0 225 37 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495229062184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14858] ppid=14848 vsize=9824732 CPUtime=2.98 cores=0,2,4,6 /proc/14851/task/14858/stat : 14858 (java) S 14848 14851 8273 0 -1 4202560 1009 0 0 0 254 44 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495228008616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14859] ppid=14848 vsize=9824732 CPUtime=2.88 cores=0,2,4,6 /proc/14851/task/14859/stat : 14859 (java) S 14848 14851 8273 0 -1 4202560 730 0 0 0 250 38 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140495226956072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=14860] ppid=14848 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/14851/task/14860/stat : 14860 (java) S 14848 14851 8273 0 -1 4202560 902 0 0 0 210 39 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494889806248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14861] ppid=14848 vsize=9824732 CPUtime=2.97 cores=0,2,4,6 /proc/14851/task/14861/stat : 14861 (java) S 14848 14851 8273 0 -1 4202560 1192 0 0 0 251 46 0 0 20 0 22 0 105564965 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494888753704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14862] ppid=14848 vsize=9824732 CPUtime=7.83 cores=0,2,4,6 /proc/14851/task/14862/stat : 14862 (java) S 14848 14851 8273 0 -1 4202560 3034 0 0 0 776 7 0 0 20 0 22 0 105564967 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494876555880 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14863] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14863/stat : 14863 (java) S 14848 14851 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494875502200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14864] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14864/stat : 14864 (java) S 14848 14851 8273 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105564967 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494874449544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14865] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14865/stat : 14865 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494873398288 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14851/tid=14866] ppid=14848 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/14851/task/14866/stat : 14866 (java) S 14848 14851 8273 0 -1 4202560 11929 0 0 0 174 2 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494872344632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14867] ppid=14848 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/14851/task/14867/stat : 14867 (java) S 14848 14851 8273 0 -1 4202560 15144 0 0 0 213 3 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494871292088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14868] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14868/stat : 14868 (java) S 14848 14851 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494870239736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=14869] ppid=14848 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/14851/task/14869/stat : 14869 (java) S 14848 14851 8273 0 -1 4202560 54 0 0 0 11 11 0 0 20 0 22 0 105564969 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494869187400 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=14891] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/14891/stat : 14891 (java) S 14848 14851 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105567326 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494865430056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14851/tid=15007] ppid=14848 vsize=9824732 CPUtime=266.9 cores=0,2,4,6 /proc/14851/task/15007/stat : 15007 (java) R 14848 14851 8273 0 -1 4202560 3 0 0 0 26686 4 0 0 20 0 22 0 105627589 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494867532880 140495243216494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14851/tid=15008] ppid=14848 vsize=9824732 CPUtime=266.85 cores=0,2,4,6 /proc/14851/task/15008/stat : 15008 (java) R 14848 14851 8273 0 -1 4202560 17 0 0 0 26681 4 0 0 20 0 22 0 105627589 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494864375808 140495243467624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14851/tid=15009] ppid=14848 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14851/task/15009/stat : 15009 (java) S 14848 14851 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105627589 10060525568 988626 33554432000 1073741824 1073778376 140734131161312 140494866481960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 899.376 CPU time (s): 1800.63 CPU user time (s): 1796.32 CPU system time (s): 4.31034 CPU usage (%): 200.209 Max. virtual memory (cumulated for all children) (KiB): 9825316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.32 system time used= 4.31034 maximum resident set size= 3954616 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43217 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22903 involuntary context switches= 17848 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.73213 second user time and 7.18491 second system time The end
Begin job on node134 at 2016-06-06 20:05:22 IDJOB=4081483 IDBENCH=24982 IDSOLVER=2543 FILE ID=node134/4081483-1465236322 RUNJOBID= node134-1465220363-8289 PBS_JOBID= 19843220 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081483-1465236322/watcher-4081483-1465236322 -o /tmp/evaluation-result-4081483-1465236322/solver-4081483-1465236322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081483-1465236322.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=1208364427 node134.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.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.80 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.403 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.403 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.56 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.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 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.403 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.56 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.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29659336 kB Buffers: 32276 kB Cached: 98504 kB SwapCached: 1804 kB Active: 776484 kB Inactive: 68500 kB Active(anon): 715668 kB Inactive(anon): 1036 kB Active(file): 60816 kB Inactive(file): 67464 kB Unevictable: 1663004 kB Mlocked: 15540 kB SwapTotal: 67108856 kB SwapFree: 67098292 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 2310644 kB Mapped: 15448 kB Shmem: 0 kB Slab: 567232 kB SReclaimable: 11272 kB SUnreclaim: 555960 kB KernelStack: 1824 kB PageTables: 9044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2704484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 2224128 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= 71728 MiB End job on node134 at 2016-06-06 20:20:21