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) | 1484432 | 1800.1 | 914.056 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb |
| MD5SUM | f4c34ee83da7e36be7881d34beece196 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1396365 |
| Best CPU time to get the best result obtained on this benchmark | 1751.33 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 57066625 |
| Number of bits for the biggest coefficient in the objective function | 26 |
| Sum of the numbers in the objective function | 2537601947 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 57066625 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 2537601947 |
| Number of bits of the biggest sum of numbers | 32 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 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-4080994-1465324707.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.36/0.69 c ... done. Wall clock time 0.572s. 1.63/0.70 c declared #vars 9765 1.63/0.70 c #constraints 21931 1.63/0.70 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.63/0.70 c constraints type 1.63/0.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.63/0.70 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.63/0.70 c org.sat4j.specs.Constr$1 => 4 1.63/0.70 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.63/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.63/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.63/0.70 c 21931 constraints processed. 1.63/0.70 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.63/0.70 c constraints type 1.63/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.63/0.70 c org.sat4j.specs.Constr$1 => 4 1.63/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.63/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.63/0.70 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.63/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.63/0.70 c 21931 constraints processed. 1.63/0.70 c objective function length is 4005 literals 4.09/1.42 c And the winner is solver0 4.31/1.70 c SATISFIABLE 4.31/1.70 c OPTIMIZING... 4.31/1.70 c Got one! Elapsed wall clock time (in seconds):1.585 4.31/1.70 o 8011302 4.60/1.81 c And the winner is solver0 4.67/2.22 c Got one! Elapsed wall clock time (in seconds):2.101 4.67/2.22 o 5483780 4.67/2.25 c And the winner is solver0 4.81/2.75 c Got one! Elapsed wall clock time (in seconds):2.63 4.81/2.75 o 4290034 5.92/3.81 c cleaning 3079 clauses out of 6158 with flag 18321/6162 7.11/4.95 c cleaning 4531 clauses out of 9079 with flag 39805/12162 8.41/6.30 c cleaning 5772 clauses out of 11544 with flag 64044/19162 10.12/7.98 c cleaning 6880 clauses out of 13772 with flag 90993/27162 12.15/9.99 c cleaning 7947 clauses out of 15897 with flag 119896/36167 14.74/12.53 c cleaning 8965 clauses out of 17944 with flag 157007/46162 17.54/15.35 c cleaning 9984 clauses out of 19978 with flag 197471/57164 17.74/15.59 c And the winner is solver0 17.80/15.76 c Got one! Elapsed wall clock time (in seconds):15.644 17.80/15.76 o 3638841 17.80/15.79 c And the winner is solver0 17.90/16.27 c Got one! Elapsed wall clock time (in seconds):16.151 17.90/16.27 o 2883687 20.81/17.68 c cleaning 7930 clauses out of 15873 with flag 18485/63043 23.71/19.02 c cleaning 6973 clauses out of 13945 with flag 40730/69046 27.36/20.87 c cleaning 6983 clauses out of 13968 with flag 68401/76043 32.57/23.40 c cleaning 7487 clauses out of 14985 with flag 114043/84043 38.24/26.27 c cleaning 8246 clauses out of 16498 with flag 177411/93043 44.03/29.19 c cleaning 9122 clauses out of 18252 with flag 241948/103043 51.23/32.78 c cleaning 10068 clauses out of 20135 with flag 316801/114048 57.23/35.73 c And the winner is solver0 57.32/35.88 c Got one! Elapsed wall clock time (in seconds):35.76 57.32/35.88 o 2824598 57.33/35.91 c And the winner is solver0 57.36/36.39 c Got one! Elapsed wall clock time (in seconds):36.266 57.36/36.39 o 2074278 57.41/36.42 c And the winner is solver0 57.54/36.89 c Got one! Elapsed wall clock time (in seconds):36.773 57.54/36.89 o 2028937 57.55/36.92 c And the winner is solver0 57.62/37.40 c Got one! Elapsed wall clock time (in seconds):37.281 57.62/37.40 o 1775726 60.68/38.97 c cleaning 12481 clauses out of 24963 with flag 24274/128944 64.76/40.94 c cleaning 9235 clauses out of 18481 with flag 60767/134943 69.16/43.14 c cleaning 8116 clauses out of 16248 with flag 109745/141945 74.16/45.65 c cleaning 8056 clauses out of 16130 with flag 172512/149943 79.85/48.43 c cleaning 8530 clauses out of 17074 with flag 252215/158943 85.83/51.48 c cleaning 9265 clauses out of 18542 with flag 342808/168943 93.32/55.13 c cleaning 10123 clauses out of 20277 with flag 429718/179943 101.20/59.09 c cleaning 11066 clauses out of 22154 with flag 505576/191943 110.27/63.58 c cleaning 12031 clauses out of 24088 with flag 594034/204943 120.59/68.66 c cleaning 13020 clauses out of 26057 with flag 700377/218943 131.06/73.88 c cleaning 14006 clauses out of 28040 with flag 798119/233946 142.27/79.46 c cleaning 15008 clauses out of 30032 with flag 899106/249944 153.28/84.92 c cleaning 15991 clauses out of 32027 with flag 1027546/266947 164.33/90.49 c cleaning 17005 clauses out of 34032 with flag 1160478/284943 177.15/96.84 c cleaning 18011 clauses out of 36028 with flag 1294427/303944 190.73/103.62 c cleaning 19004 clauses out of 38016 with flag 1443990/323943 205.16/110.80 c cleaning 19970 clauses out of 40014 with flag 1580821/344945 217.76/117.18 c And the winner is solver0 217.96/117.47 c Got one! Elapsed wall clock time (in seconds):117.349 217.96/117.47 o 1746498 217.96/117.54 c And the winner is solver0 218.08/117.98 c Got one! Elapsed wall clock time (in seconds):117.857 218.08/117.98 o 1716139 221.75/119.83 c cleaning 22238 clauses out of 44518 with flag 28311/369419 225.75/121.88 c cleaning 14127 clauses out of 28279 with flag 65756/375418 230.35/124.11 c cleaning 10550 clauses out of 21152 with flag 117705/382418 235.55/126.79 c cleaning 9284 clauses out of 18602 with flag 170144/390418 241.76/129.81 c cleaning 9129 clauses out of 18318 with flag 224718/399418 248.82/133.31 c cleaning 9563 clauses out of 19190 with flag 287871/409419 256.42/137.19 c cleaning 10306 clauses out of 20627 with flag 365773/420420 265.88/141.81 c cleaning 11152 clauses out of 22320 with flag 459101/432419 274.75/146.30 c cleaning 12073 clauses out of 24166 with flag 539396/445418 285.22/151.44 c cleaning 13039 clauses out of 26093 with flag 610315/459418 296.09/156.84 c cleaning 14022 clauses out of 28054 with flag 684025/474418 308.25/162.89 c cleaning 15010 clauses out of 30032 with flag 772680/490419 320.67/169.05 c cleaning 16002 clauses out of 32021 with flag 864743/507418 333.73/175.53 c cleaning 17007 clauses out of 34019 with flag 970121/525418 347.20/182.26 c cleaning 17999 clauses out of 36015 with flag 1085361/544421 360.99/189.11 c cleaning 19001 clauses out of 38018 with flag 1217830/564423 376.43/196.82 c cleaning 19997 clauses out of 40013 with flag 1349719/585419 393.43/205.33 c cleaning 21007 clauses out of 42015 with flag 1487778/607418 410.66/213.94 c cleaning 21993 clauses out of 44008 with flag 1607015/630418 428.50/222.82 c cleaning 23007 clauses out of 46016 with flag 1731846/654419 447.15/232.16 c cleaning 24004 clauses out of 48009 with flag 1879344/679419 468.19/242.61 c cleaning 24999 clauses out of 50004 with flag 2036427/705418 482.65/249.84 c And the winner is solver0 482.65/250.00 c Got one! Elapsed wall clock time (in seconds):249.883 482.65/250.00 o 1715173 486.03/251.73 c And the winner is solver0 486.29/252.01 c Got one! Elapsed wall clock time (in seconds):251.895 486.29/252.01 o 1712920 487.30/252.51 c cleaning 24843 clauses out of 49723 with flag 5337/730137 491.50/254.64 c cleaning 15421 clauses out of 30880 with flag 42950/736137 495.97/256.88 c cleaning 11215 clauses out of 22459 with flag 83897/743137 501.23/259.47 c cleaning 9565 clauses out of 19244 with flag 134599/751137 507.23/262.44 c cleaning 9309 clauses out of 18679 with flag 188787/760137 513.89/265.78 c cleaning 9675 clauses out of 19371 with flag 255486/770138 521.14/269.33 c cleaning 10340 clauses out of 20696 with flag 331477/781138 528.74/273.19 c cleaning 11170 clauses out of 22355 with flag 404802/793137 537.22/277.35 c cleaning 12061 clauses out of 24185 with flag 489879/806137 539.00/278.25 c And the winner is solver0 539.09/278.53 c Got one! Elapsed wall clock time (in seconds):278.411 539.09/278.53 o 1705124 541.27/279.64 c cleaning 8988 clauses out of 17994 with flag 13983/812007 545.07/281.58 c cleaning 7500 clauses out of 15006 with flag 40147/818007 550.45/284.55 c cleaning 7204 clauses out of 14506 with flag 75054/825007 556.08/287.37 c cleaning 7648 clauses out of 15302 with flag 112124/833007 562.52/290.56 c cleaning 8308 clauses out of 16654 with flag 163035/842007 569.51/294.06 c cleaning 9151 clauses out of 18348 with flag 214063/852009 576.74/297.66 c cleaning 10093 clauses out of 20195 with flag 268745/863007 584.56/301.52 c cleaning 11036 clauses out of 22102 with flag 327213/875007 593.38/305.92 c cleaning 12035 clauses out of 24070 with flag 402919/888011 602.84/310.60 c cleaning 13011 clauses out of 26032 with flag 484057/902008 611.65/315.01 c And the winner is solver0 611.65/315.30 c Got one! Elapsed wall clock time (in seconds):315.177 611.65/315.30 o 1698389 615.27/317.11 c cleaning 16159 clauses out of 32335 with flag 22570/921322 618.87/318.92 c cleaning 11070 clauses out of 22176 with flag 61027/927322 623.12/321.08 c cleaning 9044 clauses out of 18107 with flag 108750/934323 626.12/322.56 c And the winner is solver0 626.29/322.81 c Got one! Elapsed wall clock time (in seconds):322.692 626.29/322.81 o 1655848 626.91/323.19 c cleaning 7286 clauses out of 14616 with flag 4233/939876 630.91/325.12 c cleaning 6633 clauses out of 13330 with flag 30700/945876 635.10/327.24 c cleaning 6831 clauses out of 13697 with flag 63289/952876 639.96/329.67 c cleaning 7419 clauses out of 14866 with flag 100766/960876 645.55/332.42 c cleaning 8215 clauses out of 16447 with flag 140578/969876 651.82/335.59 c cleaning 9083 clauses out of 18232 with flag 195886/979876 659.25/339.21 c cleaning 10068 clauses out of 20149 with flag 251686/990876 667.30/343.30 c cleaning 11029 clauses out of 22081 with flag 329708/1002876 676.74/347.96 c cleaning 12015 clauses out of 24053 with flag 409354/1015877 686.17/352.67 c cleaning 13010 clauses out of 26037 with flag 482504/1029876 697.27/358.12 c cleaning 14010 clauses out of 28027 with flag 569051/1044876 708.12/363.55 c cleaning 14994 clauses out of 30017 with flag 667539/1060876 718.75/368.82 c cleaning 16003 clauses out of 32023 with flag 755793/1077876 729.19/374.07 c cleaning 17006 clauses out of 34020 with flag 891508/1095876 741.81/380.33 c cleaning 17998 clauses out of 36014 with flag 1014092/1114876 757.41/388.48 c cleaning 18998 clauses out of 38017 with flag 1122976/1134877 773.83/396.65 c cleaning 20002 clauses out of 40017 with flag 1222012/1155876 785.67/402.58 c And the winner is solver0 785.77/402.96 c Got one! Elapsed wall clock time (in seconds):402.838 785.77/402.96 o 1651461 789.04/404.69 c cleaning 20726 clauses out of 41507 with flag 26682/1177369 792.64/406.50 c cleaning 13367 clauses out of 26781 with flag 60267/1183369 797.29/408.79 c cleaning 10194 clauses out of 20414 with flag 95094/1190369 802.70/411.43 c cleaning 9100 clauses out of 18221 with flag 137952/1198370 807.37/413.71 c And the winner is solver0 807.60/414.02 c Got one! Elapsed wall clock time (in seconds):413.905 807.60/414.02 o 1647251 810.73/415.70 c cleaning 10430 clauses out of 20875 with flag 24794/1210124 814.97/417.73 c cleaning 8206 clauses out of 16445 with flag 60089/1216124 819.37/419.97 c cleaning 7613 clauses out of 15239 with flag 93005/1223124 824.77/422.60 c cleaning 7796 clauses out of 15625 with flag 130537/1231123 826.65/423.54 c And the winner is solver0 826.96/423.84 c Got one! Elapsed wall clock time (in seconds):423.723 826.96/423.84 o 1642351 828.84/424.89 c cleaning 6825 clauses out of 13675 with flag 13269/1236969 833.10/426.91 c cleaning 6402 clauses out of 12850 with flag 37690/1242969 837.50/429.13 c cleaning 6701 clauses out of 13448 with flag 66776/1249969 842.50/431.66 c cleaning 7373 clauses out of 14747 with flag 99841/1257969 848.14/434.45 c cleaning 8184 clauses out of 16375 with flag 134940/1266970 853.94/437.32 c cleaning 9086 clauses out of 18192 with flag 179400/1276971 860.14/440.47 c cleaning 10050 clauses out of 20104 with flag 241369/1287969 867.19/443.93 c cleaning 11025 clauses out of 22054 with flag 322621/1299969 875.65/448.13 c cleaning 12009 clauses out of 24030 with flag 370130/1312970 885.10/452.87 c cleaning 12998 clauses out of 26020 with flag 439435/1326969 894.92/457.78 c cleaning 13990 clauses out of 28022 with flag 517958/1341969 906.77/463.67 c cleaning 15017 clauses out of 30034 with flag 606597/1357971 919.82/470.12 c cleaning 16000 clauses out of 32017 with flag 714500/1374971 921.43/470.96 c And the winner is solver0 921.47/471.37 c Got one! Elapsed wall clock time (in seconds):471.247 921.47/471.37 o 1642037 923.72/472.53 c cleaning 10694 clauses out of 21400 with flag 12925/1380354 927.52/474.41 c cleaning 8329 clauses out of 16706 with flag 41166/1386354 932.12/476.78 c cleaning 7670 clauses out of 15376 with flag 73493/1393354 938.02/479.61 c cleaning 7829 clauses out of 15706 with flag 111155/1401354 944.00/482.63 c cleaning 8437 clauses out of 16877 with flag 152511/1410354 950.60/485.94 c cleaning 9219 clauses out of 18442 with flag 203377/1420356 957.48/489.37 c cleaning 10102 clauses out of 20223 with flag 263616/1431356 964.69/492.93 c cleaning 11054 clauses out of 22119 with flag 334202/1443354 972.75/496.96 c cleaning 12031 clauses out of 24067 with flag 418914/1456356 981.75/501.40 c cleaning 13010 clauses out of 26034 with flag 509686/1470354 991.35/506.29 c cleaning 14009 clauses out of 28027 with flag 569004/1485357 1001.59/511.34 c cleaning 14996 clauses out of 30015 with flag 644485/1501354 1012.79/516.95 c cleaning 16002 clauses out of 32019 with flag 726232/1518354 1024.85/522.94 c cleaning 16981 clauses out of 34017 with flag 820960/1536354 1040.28/531.17 c cleaning 18007 clauses out of 36037 with flag 927638/1555355 1054.53/538.26 c cleaning 19004 clauses out of 38029 with flag 1059932/1575354 1069.80/545.88 c cleaning 20009 clauses out of 40025 with flag 1183495/1596354 1086.69/554.29 c cleaning 21000 clauses out of 42016 with flag 1334901/1618354 1089.51/555.62 c And the winner is solver0 1089.51/555.78 c Got one! Elapsed wall clock time (in seconds):555.664 1089.51/555.78 o 1641421 1090.10/556.17 c cleaning 13009 clauses out of 26052 with flag 4210/1623392 1094.11/558.12 c cleaning 9510 clauses out of 19042 with flag 42881/1629391 1098.76/560.49 c cleaning 8235 clauses out of 16532 with flag 84837/1636391 1104.37/563.23 c cleaning 8130 clauses out of 16298 with flag 119663/1644392 1110.16/566.12 c And the winner is solver0 1110.31/566.31 c Got one! Elapsed wall clock time (in seconds):566.186 1110.31/566.31 o 1633275 1114.07/568.21 c cleaning 10640 clauses out of 21281 with flag 21231/1657505 1118.56/570.42 c cleaning 8283 clauses out of 16641 with flag 54697/1663505 1123.36/572.84 c cleaning 7649 clauses out of 15359 with flag 85210/1670506 1128.57/575.44 c cleaning 7828 clauses out of 15709 with flag 124619/1678505 1129.36/575.88 c And the winner is solver0 1129.73/576.33 c Got one! Elapsed wall clock time (in seconds):576.209 1129.73/576.33 o 1622867 1132.52/577.77 c cleaning 6632 clauses out of 13319 with flag 15041/1683943 1136.32/579.69 c cleaning 6312 clauses out of 12686 with flag 35619/1689943 1141.13/582.07 c cleaning 6678 clauses out of 13374 with flag 67191/1696943 1146.91/584.93 c cleaning 7339 clauses out of 14696 with flag 101687/1704943 1146.91/584.98 c And the winner is solver0 1147.20/585.35 c Got one! Elapsed wall clock time (in seconds):585.233 1147.20/585.35 o 1589061 1150.73/587.13 c cleaning 6201 clauses out of 12485 with flag 20345/1710071 1154.93/589.26 c cleaning 6131 clauses out of 12285 with flag 45896/1716072 1159.73/591.62 c cleaning 6568 clauses out of 13154 with flag 77812/1723072 1164.93/594.28 c cleaning 7289 clauses out of 14585 with flag 113371/1731071 1171.22/597.33 c cleaning 8136 clauses out of 16296 with flag 150935/1740071 1177.61/600.55 c cleaning 9077 clauses out of 18162 with flag 203127/1750073 1185.00/604.27 c cleaning 10037 clauses out of 20084 with flag 256038/1761072 1193.00/608.26 c cleaning 11018 clauses out of 22047 with flag 312365/1773072 1202.73/613.02 c cleaning 12010 clauses out of 24029 with flag 374319/1786072 1212.53/617.91 c cleaning 12996 clauses out of 26018 with flag 445263/1800071 1219.53/621.43 c And the winner is solver0 1219.57/621.91 c Got one! Elapsed wall clock time (in seconds):621.795 1219.57/621.91 o 1561301 1223.21/623.72 c cleaning 14322 clauses out of 28660 with flag 20828/1815709 1225.00/624.66 c And the winner is solver0 1225.36/624.99 c Got one! Elapsed wall clock time (in seconds):624.868 1225.36/624.99 o 1534360 1227.45/626.08 c cleaning 10127 clauses out of 20271 with flag 13037/1821642 1231.65/628.12 c cleaning 8048 clauses out of 16144 with flag 45078/1827642 1236.25/630.46 c cleaning 7531 clauses out of 15096 with flag 78286/1834642 1241.64/633.17 c cleaning 7769 clauses out of 15566 with flag 113759/1842643 1247.64/636.16 c cleaning 8384 clauses out of 16796 with flag 156272/1851642 1254.74/639.62 c cleaning 9202 clauses out of 18414 with flag 204919/1861644 1262.14/643.32 c cleaning 10102 clauses out of 20210 with flag 256834/1872642 1270.34/647.49 c cleaning 11054 clauses out of 22110 with flag 321263/1884644 1279.14/651.84 c cleaning 12023 clauses out of 24054 with flag 383945/1897642 1289.33/656.91 c cleaning 13009 clauses out of 26033 with flag 461413/1911644 1300.64/662.59 c cleaning 14004 clauses out of 28022 with flag 536067/1926642 1311.93/668.18 c cleaning 15009 clauses out of 30019 with flag 612752/1942643 1323.53/673.96 c cleaning 15990 clauses out of 32009 with flag 698313/1959642 1336.13/680.27 c cleaning 17003 clauses out of 34019 with flag 789283/1977642 1341.27/682.77 c And the winner is solver0 1341.39/683.09 c Got one! Elapsed wall clock time (in seconds):682.966 1341.39/683.09 o 1534336 1344.59/684.78 c cleaning 14639 clauses out of 29299 with flag 29571/1989925 1345.81/685.40 c And the winner is solver0 1346.17/685.61 c Got one! Elapsed wall clock time (in seconds):685.489 1346.17/685.61 o 1521443 1349.13/687.13 c cleaning 10301 clauses out of 20648 with flag 21544/1995913 1353.33/689.28 c cleaning 8147 clauses out of 16346 with flag 50867/2001912 1358.13/691.61 c cleaning 7568 clauses out of 15199 with flag 89307/2008912 1363.86/694.40 c cleaning 7807 clauses out of 15633 with flag 124146/2016914 1370.07/697.56 c cleaning 8405 clauses out of 16824 with flag 160927/2025912 1377.26/701.12 c cleaning 9193 clauses out of 18420 with flag 201703/2035913 1385.06/705.00 c cleaning 10107 clauses out of 20226 with flag 248051/2046912 1393.25/709.14 c cleaning 11050 clauses out of 22119 with flag 298706/2058912 1403.07/713.99 c cleaning 12020 clauses out of 24071 with flag 356630/2071914 1412.66/718.71 c cleaning 13014 clauses out of 26049 with flag 434903/2085912 1423.38/724.09 c cleaning 14005 clauses out of 28035 with flag 511614/2100912 1435.58/730.14 c cleaning 15010 clauses out of 30028 with flag 568127/2116912 1448.11/736.37 c cleaning 16003 clauses out of 32018 with flag 651719/2133912 1451.93/738.27 c And the winner is solver0 1452.16/738.69 c Got one! Elapsed wall clock time (in seconds):738.571 1452.16/738.69 o 1514990 1455.57/740.46 c cleaning 13356 clauses out of 26754 with flag 34529/2144651 1459.77/742.50 c cleaning 9673 clauses out of 19399 with flag 74474/2150652 1464.17/744.80 c cleaning 8324 clauses out of 16726 with flag 114292/2157652 1465.67/745.42 c And the winner is solver0 1465.89/745.75 c Got one! Elapsed wall clock time (in seconds):745.633 1465.89/745.75 o 1501122 1468.95/747.32 c cleaning 6691 clauses out of 13935 with flag 16819/2163186 1473.34/749.57 c cleaning 5978 clauses out of 13244 with flag 37536/2169186 1478.34/752.01 c cleaning 7006 clauses out of 14266 with flag 62208/2176186 1483.94/754.88 c cleaning 7626 clauses out of 15261 with flag 93807/2184187 1490.35/758.01 c cleaning 8311 clauses out of 16634 with flag 142325/2193186 1495.70/760.66 c And the winner is solver0 1496.09/761.03 c Got one! Elapsed wall clock time (in seconds):760.911 1496.09/761.03 o 1496608 1499.80/762.90 c cleaning 10226 clauses out of 20462 with flag 18597/2205325 1504.00/765.02 c cleaning 8097 clauses out of 16236 with flag 45625/2211325 1508.60/767.40 c cleaning 7543 clauses out of 15140 with flag 72143/2218326 1513.80/769.95 c cleaning 7786 clauses out of 15597 with flag 101325/2226326 1519.20/772.69 c cleaning 8400 clauses out of 16810 with flag 140992/2235325 1525.52/775.72 c cleaning 9199 clauses out of 18410 with flag 194068/2245325 1531.93/778.92 c cleaning 10108 clauses out of 20216 with flag 251396/2256330 1539.12/782.55 c cleaning 11051 clauses out of 22103 with flag 311033/2268325 1547.47/786.61 c cleaning 12022 clauses out of 24052 with flag 373705/2281325 1556.46/791.15 c cleaning 13009 clauses out of 26031 with flag 444880/2295326 1566.46/796.18 c cleaning 14005 clauses out of 28021 with flag 526179/2310325 1577.26/801.56 c cleaning 15000 clauses out of 30017 with flag 611342/2326326 1590.17/807.93 c cleaning 15996 clauses out of 32016 with flag 718883/2343325 1602.39/814.06 c cleaning 16983 clauses out of 34020 with flag 819885/2361325 1616.08/820.88 c cleaning 18000 clauses out of 36037 with flag 909179/2380325 1629.68/827.65 c cleaning 19009 clauses out of 38037 with flag 1010097/2400325 1646.33/836.96 c cleaning 20006 clauses out of 40028 with flag 1112265/2421325 1662.14/844.81 c cleaning 21001 clauses out of 42022 with flag 1229222/2443325 1678.92/853.20 c cleaning 22002 clauses out of 44022 with flag 1364264/2466326 1696.98/862.27 c cleaning 23007 clauses out of 46019 with flag 1522996/2490325 1711.98/869.74 c And the winner is solver0 1712.18/870.20 c Got one! Elapsed wall clock time (in seconds):870.085 1712.18/870.20 o 1484432 1716.55/872.44 c cleaning 24087 clauses out of 48191 with flag 28880/2515504 1721.22/874.79 c cleaning 15040 clauses out of 30106 with flag 60159/2521506 1726.21/877.26 c cleaning 11008 clauses out of 22065 with flag 94803/2528505 1732.03/880.14 c cleaning 9517 clauses out of 19057 with flag 129787/2536505 1738.42/883.34 c cleaning 9234 clauses out of 18538 with flag 171033/2545504 1746.21/887.26 c cleaning 9654 clauses out of 19307 with flag 222937/2555507 1754.34/891.27 c cleaning 10317 clauses out of 20650 with flag 272089/2566504 1761.94/895.02 c cleaning 11162 clauses out of 22334 with flag 319238/2578505 1769.74/898.92 c cleaning 12084 clauses out of 24173 with flag 378305/2591506 1779.74/903.95 c cleaning 13041 clauses out of 26087 with flag 440221/2605504 1791.13/909.63 c cleaning 14022 clauses out of 28046 with flag 512890/2620504 1800.10/914.00 c >>>>>>>>>> Solver number 0 (32 answers) <<<<<<<<<<<<<<<<<< 1800.10/914.00 c starts : 1922 1800.10/914.00 c conflicts : 2632154 1800.10/914.00 c decisions : 7180738 1800.10/914.00 c propagations : 915007917 1800.10/914.00 c inspects : 4322504195 1800.10/914.00 c shortcuts : 0 1800.10/914.00 c learnt literals : 30 1800.10/914.00 c learnt binary clauses : 174 1800.10/914.00 c learnt ternary clauses : 271 1800.10/914.00 c learnt constraints : 2632124 1800.10/914.00 c ignored constraints : 0 1800.10/914.00 c root simplifications : 0 1800.10/914.00 c removed literals (reason simplification) : 63968494 1800.10/914.00 c reason swapping (by a shorter reason) : 0 1800.10/914.00 c Calls to reduceDB : 221 1800.10/914.00 c Number of update (reduction) of LBD : 1095564 1800.10/914.00 c Imported unit clauses : 0 1800.10/914.00 c number of reductions to clauses (during analyze) : 0 1800.10/914.00 c number of learned constraints concerned by reduction : 0 1800.10/914.00 c number of learning phase by resolution : 0 1800.10/914.00 c number of learning phase by cutting planes : 0 1800.10/914.00 c speed (assignments/second) : 1001890.893383307 1800.10/914.00 c non guided choices 7690 1800.10/914.02 c learnt constraints type 1800.10/914.02 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 174 1800.10/914.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25500 1800.10/914.02 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.10/914.02 c starts : 35 1800.10/914.02 c conflicts : 2734 1800.10/914.02 c decisions : 84410 1800.10/914.02 c propagations : 4352031 1800.10/914.02 c inspects : 134513109 1800.10/914.02 c shortcuts : 0 1800.10/914.02 c learnt literals : 0 1800.10/914.02 c learnt binary clauses : 17 1800.10/914.02 c learnt ternary clauses : 2 1800.10/914.02 c learnt constraints : 2708 1800.10/914.02 c ignored constraints : 0 1800.10/914.02 c root simplifications : 0 1800.10/914.02 c removed literals (reason simplification) : 0 1800.10/914.02 c reason swapping (by a shorter reason) : 0 1800.10/914.02 c Calls to reduceDB : 0 1800.10/914.02 c Number of update (reduction) of LBD : 0 1800.10/914.02 c Imported unit clauses : 0 1800.10/914.02 c number of reductions to clauses (during analyze) : 0 1800.10/914.02 c number of learned constraints concerned by reduction : 0 1800.10/914.02 c number of learning phase by resolution : 0 1800.10/914.02 c number of learning phase by cutting planes : 0 1800.10/914.02 c speed (assignments/second) : 99890.53892765332 1800.10/914.02 c non guided choices 0 1800.10/914.02 c learnt constraints type 1800.10/914.02 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 186 1800.10/914.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85 1800.10/914.02 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 17 1800.10/914.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2420 1800.10/914.02 s SATISFIABLE 1800.10/914.02 c Found 32 solution(s) 1800.10/914.03 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 x9536 -x9537 -x9538 x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 x9730 x9731 -x9732 -x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.10/914.04 c objective function=1484432 1800.10/914.04 c Total wall clock time (in seconds): 913.921
OK 1484432
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-4080994-1465324707/watcher-4080994-1465324707 -o /tmp/evaluation-result-4080994-1465324707/solver-4080994-1465324707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465311047-18691 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080994-1465324707.opb pid=21208 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.21 4.26 4.07 4/197 21211 /proc/meminfo: memFree=28016960/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9224 CPUtime=0 cores=0,2,4,6 /proc/21211/stat : 21211 (java) R 21208 21211 18675 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 114405262 9445376 96 33554432000 1073741824 1073778376 140735911396304 140735911393432 219504752489 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2290 84 63 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 4.21 4.26 4.07 4/197 21211 /proc/meminfo: memFree=28016960/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 114405262 9787879424 6044 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2389619 6044 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 4.21 4.26 4.07 4/197 21211 /proc/meminfo: memFree=28016960/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 5013 0 1 0 27 2 0 0 20 0 18 0 114405262 9787879424 6898 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2389619 6898 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300229 s] /proc/loadavg: 4.21 4.26 4.07 4/197 21211 /proc/meminfo: memFree=28016960/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9558476 CPUtime=0.53 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 6232 0 1 0 51 2 0 0 20 0 18 0 114405262 9787879424 10528 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2389619 10528 2240 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.700182 s] /proc/loadavg: 4.21 4.26 4.07 4/197 21211 /proc/meminfo: memFree=28016960/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9558476 CPUtime=1.63 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 18316 0 1 0 157 6 0 0 20 0 18 0 114405262 9787879424 32397 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2389619 32397 2254 9 0 2380296 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9558476 [startup+1.5009 s] /proc/loadavg: 4.21 4.26 4.07 8/219 21233 /proc/meminfo: memFree=27872420/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9824732 CPUtime=4.31 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 25002 0 1 0 421 10 0 0 20 0 19 0 114405262 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2456183 50205 2288 9 0 2446860 0 [pid=21211/tid=21213] ppid=21208 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/21211/task/21213/stat : 21213 (java) S 21208 21211 18675 0 -1 4202560 2455 0 1 0 63 3 0 0 20 0 19 0 114405263 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081147970424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21214] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21214/stat : 21214 (java) S 21208 21211 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081109461672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21215] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21215/stat : 21215 (java) S 21208 21211 18675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081108409128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21216] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21216/stat : 21216 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081107356584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21217] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21217/stat : 21217 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081106304040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21218] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21218/stat : 21218 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081105250472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21219] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21219/stat : 21219 (java) S 21208 21211 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081104197928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21220] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21220/stat : 21220 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081103145384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21221] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21221/stat : 21221 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 114405264 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140081102092840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21222] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21222/stat : 21222 (java) S 21208 21211 18675 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 114405265 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080971741800 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21223] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21223/stat : 21223 (java) S 21208 21211 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114405266 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080970688120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21224] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21224/stat : 21224 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114405266 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080969635464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21225] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21225/stat : 21225 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114405268 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080968584208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21226] ppid=21208 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/21211/task/21226/stat : 21226 (java) S 21208 21211 18675 0 -1 4202560 9333 0 0 0 114 2 0 0 20 0 19 0 114405268 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080967530552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21227] ppid=21208 vsize=9824732 CPUtime=1.13 cores=0,2,4,6 /proc/21211/task/21227/stat : 21227 (java) S 21208 21211 18675 0 -1 4202560 11753 0 0 0 110 3 0 0 20 0 19 0 114405268 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080966478008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21228] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21228/stat : 21228 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114405268 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080965425656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21229] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21229/stat : 21229 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114405268 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140080964373320 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21232] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21232/stat : 21232 (java) S 21208 21211 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114405335 10060525568 50205 33554432000 1073741824 1073778376 140735911396304 140079953593896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.31 Current children cumulated vsize (KiB) 9824732 [startup+3.10073 s] /proc/loadavg: 4.43 4.30 4.09 4/216 21236 /proc/meminfo: memFree=27822476/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9824732 CPUtime=5.19 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 25023 0 1 0 506 13 0 0 20 0 21 0 114405262 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2456183 50212 2288 9 0 2446860 0 [pid=21211/tid=21213] ppid=21208 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/21211/task/21213/stat : 21213 (java) S 21208 21211 18675 0 -1 4202560 2457 0 1 0 67 3 0 0 20 0 21 0 114405263 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081147970424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21214] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21214/stat : 21214 (java) S 21208 21211 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081109461672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21215] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21215/stat : 21215 (java) S 21208 21211 18675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081108409128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21216] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21216/stat : 21216 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081107356584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21217] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21217/stat : 21217 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081106304040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21218] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21218/stat : 21218 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081105250472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21219] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21219/stat : 21219 (java) S 21208 21211 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081104197928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21220] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21220/stat : 21220 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081103145384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21221] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21221/stat : 21221 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140081102092840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21222] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21222/stat : 21222 (java) S 21208 21211 18675 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 21 0 114405265 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080971741800 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21223] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21223/stat : 21223 (java) S 21208 21211 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 114405266 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080970688120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21224] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21224/stat : 21224 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 114405266 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080969635464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21225] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21225/stat : 21225 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 114405268 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080968584208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21226] ppid=21208 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/21211/task/21226/stat : 21226 (java) S 21208 21211 18675 0 -1 4202560 9333 0 0 0 122 2 0 0 20 0 21 0 114405268 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080967530552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21227] ppid=21208 vsize=9824732 CPUtime=1.31 cores=0,2,4,6 /proc/21211/task/21227/stat : 21227 (java) S 21208 21211 18675 0 -1 4202560 11753 0 0 0 128 3 0 0 20 0 21 0 114405268 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080966478008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21228] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21228/stat : 21228 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 114405268 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080965425656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21229] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21229/stat : 21229 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 114405268 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140080964373320 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21232] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21232/stat : 21232 (java) S 21208 21211 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 114405335 10060525568 50212 33554432000 1073741824 1073778376 140735911396304 140079953593896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.19 Current children cumulated vsize (KiB) 9824732 [startup+6.3008 s] /proc/loadavg: 4.43 4.30 4.09 4/218 21241 /proc/meminfo: memFree=27824596/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9824732 CPUtime=8.52 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 25031 0 1 0 838 14 0 0 20 0 21 0 114405262 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2456183 49566 2292 9 0 2446860 0 [pid=21211/tid=21213] ppid=21208 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/21211/task/21213/stat : 21213 (java) S 21208 21211 18675 0 -1 4202560 2459 0 1 0 67 3 0 0 20 0 21 0 114405263 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081147970424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21214] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21214/stat : 21214 (java) S 21208 21211 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081109461672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21215] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21215/stat : 21215 (java) S 21208 21211 18675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081108409128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21216] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21216/stat : 21216 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081107356584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21217] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21217/stat : 21217 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081106304040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21218] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21218/stat : 21218 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081105250472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21219] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21219/stat : 21219 (java) S 21208 21211 18675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081104197928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21220] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21220/stat : 21220 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081103145384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21221] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21221/stat : 21221 (java) S 21208 21211 18675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 114405264 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140081102092840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21222] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21222/stat : 21222 (java) S 21208 21211 18675 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 21 0 114405265 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080971741800 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21223] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21223/stat : 21223 (java) S 21208 21211 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 114405266 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080970688120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21224] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21224/stat : 21224 (java) S 21208 21211 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 114405266 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080969635464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21225] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21225/stat : 21225 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 114405268 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080968584208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21226] ppid=21208 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/21211/task/21226/stat : 21226 (java) S 21208 21211 18675 0 -1 4202560 9337 0 0 0 128 2 0 0 20 0 21 0 114405268 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080967530552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21227] ppid=21208 vsize=9824732 CPUtime=1.38 cores=0,2,4,6 /proc/21211/task/21227/stat : 21227 (java) R 21208 21211 18675 0 -1 4202560 11753 0 0 0 135 3 0 0 20 0 21 0 114405268 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080966478008 140081155720663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21228] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21228/stat : 21228 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 114405268 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080965425656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21229] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21229/stat : 21229 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 114405268 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140080964373320 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21232] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21232/stat : 21232 (java) S 21208 21211 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 114405335 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140079953593896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21239] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21239/stat : 21239 (java) S 21208 21211 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 114405487 10060525568 49566 33554432000 1073741824 1073778376 140735911396304 140079952541096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21240] ppid=21208 vsize=9824732 CPUtime=3.51 cores=0,2,4,6 ################ # More data... # ################ /proc/21211/task/21219/stat : 21219 (java) S 21208 21211 18675 0 -1 4202560 864 0 0 0 179 21 0 0 20 0 19 0 114405264 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140081104197928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21220] ppid=21208 vsize=9824732 CPUtime=2.18 cores=0,2,4,6 /proc/21211/task/21220/stat : 21220 (java) S 21208 21211 18675 0 -1 4202560 731 0 0 0 190 28 0 0 20 0 19 0 114405264 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140081103145384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21221] ppid=21208 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/21211/task/21221/stat : 21221 (java) S 21208 21211 18675 0 -1 4202560 800 0 0 0 172 21 0 0 20 0 19 0 114405264 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140081102092840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21222] ppid=21208 vsize=9824732 CPUtime=4.79 cores=0,2,4,6 /proc/21211/task/21222/stat : 21222 (java) S 21208 21211 18675 0 -1 4202560 2162 0 0 0 467 12 0 0 20 0 19 0 114405265 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080971741800 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21223] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21223/stat : 21223 (java) S 21208 21211 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114405266 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080970688120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21224] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21224/stat : 21224 (java) S 21208 21211 18675 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 114405266 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080969635464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21225] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21225/stat : 21225 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114405268 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080968584208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21226] ppid=21208 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/21211/task/21226/stat : 21226 (java) S 21208 21211 18675 0 -1 4202560 9346 0 0 0 149 2 0 0 20 0 19 0 114405268 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080967530552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21227] ppid=21208 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/21211/task/21227/stat : 21227 (java) S 21208 21211 18675 0 -1 4202560 11770 0 0 0 173 3 0 0 20 0 19 0 114405268 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080966478008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21228] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21228/stat : 21228 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114405268 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080965425656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21229] ppid=21208 vsize=9824732 CPUtime=0.18 cores=0,2,4,6 /proc/21211/task/21229/stat : 21229 (java) S 21208 21211 18675 0 -1 4202560 51 0 0 0 8 10 0 0 20 0 19 0 114405268 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140080964373320 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21232] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21232/stat : 21232 (java) S 21208 21211 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114405335 10060525568 666534 33554432000 1073741824 1073778376 140735911396304 140079953593896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1710.36 Current children cumulated vsize (KiB) 9824732 # ############ [startup+882.308 s] /proc/loadavg: 4.44 4.35 4.18 5/219 21553 /proc/meminfo: memFree=25050392/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9824732 CPUtime=1734.6 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 37201 0 1 0 173163 297 0 0 20 0 22 0 114405262 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2456183 682508 2302 9 0 2446860 0 [pid=21211/tid=21213] ppid=21208 vsize=9824732 CPUtime=1.2 cores=0,2,4,6 /proc/21211/task/21213/stat : 21213 (java) S 21208 21211 18675 0 -1 4202560 2464 0 1 0 116 4 0 0 20 0 22 0 114405263 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081147970424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21214] ppid=21208 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/21211/task/21214/stat : 21214 (java) S 21208 21211 18675 0 -1 4202560 961 0 0 0 186 24 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081109461672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21215] ppid=21208 vsize=9824732 CPUtime=2 cores=0,2,4,6 /proc/21211/task/21215/stat : 21215 (java) S 21208 21211 18675 0 -1 4202560 993 0 0 0 179 21 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081108409128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21216] ppid=21208 vsize=9824732 CPUtime=2.11 cores=0,2,4,6 /proc/21211/task/21216/stat : 21216 (java) S 21208 21211 18675 0 -1 4202560 741 0 0 0 185 26 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081107356584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21217] ppid=21208 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/21211/task/21217/stat : 21217 (java) S 21208 21211 18675 0 -1 4202560 737 0 0 0 175 20 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081106304040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21218] ppid=21208 vsize=9824732 CPUtime=2.12 cores=0,2,4,6 /proc/21211/task/21218/stat : 21218 (java) S 21208 21211 18675 0 -1 4202560 1024 0 0 0 187 25 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081105250472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21219] ppid=21208 vsize=9824732 CPUtime=2.02 cores=0,2,4,6 /proc/21211/task/21219/stat : 21219 (java) S 21208 21211 18675 0 -1 4202560 871 0 0 0 180 22 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081104197928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21220] ppid=21208 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/21211/task/21220/stat : 21220 (java) S 21208 21211 18675 0 -1 4202560 740 0 0 0 192 28 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081103145384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21221] ppid=21208 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/21211/task/21221/stat : 21221 (java) S 21208 21211 18675 0 -1 4202560 809 0 0 0 173 22 0 0 20 0 22 0 114405264 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140081102092840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21222] ppid=21208 vsize=9824732 CPUtime=4.79 cores=0,2,4,6 /proc/21211/task/21222/stat : 21222 (java) S 21208 21211 18675 0 -1 4202560 2231 0 0 0 467 12 0 0 20 0 22 0 114405265 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080971741800 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21223] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21223/stat : 21223 (java) S 21208 21211 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114405266 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080970688120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21224] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21224/stat : 21224 (java) S 21208 21211 18675 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 114405266 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080969635464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21225] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21225/stat : 21225 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114405268 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080968584208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21226] ppid=21208 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/21211/task/21226/stat : 21226 (java) S 21208 21211 18675 0 -1 4202560 9346 0 0 0 149 2 0 0 20 0 22 0 114405268 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080967530552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21227] ppid=21208 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/21211/task/21227/stat : 21227 (java) S 21208 21211 18675 0 -1 4202560 11770 0 0 0 173 3 0 0 20 0 22 0 114405268 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080966478008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21228] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21228/stat : 21228 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114405268 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080965425656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21229] ppid=21208 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/21211/task/21229/stat : 21229 (java) S 21208 21211 18675 0 -1 4202560 51 0 0 0 9 10 0 0 20 0 22 0 114405268 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140080964373320 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21232] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21232/stat : 21232 (java) S 21208 21211 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 114405335 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140079953593896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21550] ppid=21208 vsize=9824732 CPUtime=11.97 cores=0,2,4,6 /proc/21211/task/21550/stat : 21550 (java) R 21208 21211 18675 0 -1 4202560 5 0 0 0 1197 0 0 0 20 0 22 0 114492286 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140079955689600 140080980646592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21551] ppid=21208 vsize=9824732 CPUtime=11.97 cores=0,2,4,6 /proc/21211/task/21551/stat : 21551 (java) R 21208 21211 18675 0 -1 4202560 18 0 0 0 1197 0 0 0 20 0 22 0 114492286 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140079952539360 140080980224547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21552] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21552/stat : 21552 (java) S 21208 21211 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114492307 10060525568 682508 33554432000 1073741824 1073778376 140735911396304 140079954646568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1734.6 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+914.001 s] /proc/loadavg: 4.34 4.33 4.18 5/219 21553 /proc/meminfo: memFree=24824564/32872528 swapFree=12208/1156848 [pid=21211] ppid=21208 vsize=9824732 CPUtime=1798.28 cores=0,2,4,6 /proc/21211/stat : 21211 (java) S 21208 21211 18675 0 -1 4202496 37641 0 1 0 179513 315 0 0 20 0 22 0 114405262 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140735911387440 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21211/statm: 2456183 738940 2302 9 0 2446860 0 [pid=21211/tid=21213] ppid=21208 vsize=9824732 CPUtime=1.2 cores=0,2,4,6 /proc/21211/task/21213/stat : 21213 (java) S 21208 21211 18675 0 -1 4202560 2464 0 1 0 116 4 0 0 20 0 22 0 114405263 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081147970424 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21214] ppid=21208 vsize=9824732 CPUtime=2.14 cores=0,2,4,6 /proc/21211/task/21214/stat : 21214 (java) S 21208 21211 18675 0 -1 4202560 980 0 0 0 189 25 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081109461672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21215] ppid=21208 vsize=9824732 CPUtime=2.07 cores=0,2,4,6 /proc/21211/task/21215/stat : 21215 (java) S 21208 21211 18675 0 -1 4202560 1024 0 0 0 184 23 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081108409128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21216] ppid=21208 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/21211/task/21216/stat : 21216 (java) S 21208 21211 18675 0 -1 4202560 777 0 0 0 189 28 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081107356584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21217] ppid=21208 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/21211/task/21217/stat : 21217 (java) S 21208 21211 18675 0 -1 4202560 791 0 0 0 182 24 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081106304040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21218] ppid=21208 vsize=9824732 CPUtime=2.2 cores=0,2,4,6 /proc/21211/task/21218/stat : 21218 (java) S 21208 21211 18675 0 -1 4202560 1061 0 0 0 193 27 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081105250472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21219] ppid=21208 vsize=9824732 CPUtime=2.13 cores=0,2,4,6 /proc/21211/task/21219/stat : 21219 (java) S 21208 21211 18675 0 -1 4202560 929 0 0 0 188 25 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081104197928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21220] ppid=21208 vsize=9824732 CPUtime=2.25 cores=0,2,4,6 /proc/21211/task/21220/stat : 21220 (java) S 21208 21211 18675 0 -1 4202560 768 0 0 0 195 30 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081103145384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21221] ppid=21208 vsize=9824732 CPUtime=2.06 cores=0,2,4,6 /proc/21211/task/21221/stat : 21221 (java) S 21208 21211 18675 0 -1 4202560 856 0 0 0 182 24 0 0 20 0 22 0 114405264 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140081102092840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21222] ppid=21208 vsize=9824732 CPUtime=4.79 cores=0,2,4,6 /proc/21211/task/21222/stat : 21222 (java) S 21208 21211 18675 0 -1 4202560 2319 0 0 0 467 12 0 0 20 0 22 0 114405265 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080971741800 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21223] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21223/stat : 21223 (java) S 21208 21211 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 114405266 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080970688120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21224] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21224/stat : 21224 (java) S 21208 21211 18675 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 114405266 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080969635464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21225] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21225/stat : 21225 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114405268 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080968584208 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21226] ppid=21208 vsize=9824732 CPUtime=1.51 cores=0,2,4,6 /proc/21211/task/21226/stat : 21226 (java) S 21208 21211 18675 0 -1 4202560 9346 0 0 0 149 2 0 0 20 0 22 0 114405268 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080967530552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21227] ppid=21208 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/21211/task/21227/stat : 21227 (java) S 21208 21211 18675 0 -1 4202560 11770 0 0 0 173 3 0 0 20 0 22 0 114405268 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080966478008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21211/tid=21228] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21228/stat : 21228 (java) S 21208 21211 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 114405268 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080965425656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21229] ppid=21208 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/21211/task/21229/stat : 21229 (java) S 21208 21211 18675 0 -1 4202560 53 0 0 0 9 10 0 0 20 0 22 0 114405268 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140080964373320 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21211/tid=21232] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21232/stat : 21232 (java) S 21208 21211 18675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 114405335 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140079953593896 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21550] ppid=21208 vsize=9824732 CPUtime=43.41 cores=0,2,4,6 /proc/21211/task/21550/stat : 21550 (java) R 21208 21211 18675 0 -1 4202560 7 0 0 0 4341 0 0 0 20 0 22 0 114492286 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140079955698432 140080979846666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21211/tid=21551] ppid=21208 vsize=9824732 CPUtime=43.41 cores=0,2,4,6 /proc/21211/task/21551/stat : 21551 (java) R 21208 21211 18675 0 -1 4202560 56 0 0 0 4340 1 0 0 20 0 22 0 114492286 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140079952539504 140080980224547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21211/tid=21552] ppid=21208 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21211/task/21552/stat : 21552 (java) S 21208 21211 18675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 114492307 10060525568 738940 33554432000 1073741824 1073778376 140735911396304 140079954646568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.28 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 21211 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21211 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=948126 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=330493 # CPU time returned by wait4() is 1798.28 # while last known CPU time is 1798.28 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.82005 # lost CPU user time (s): 1.98007 # lost CPU system time (s): -0.16 Real time (s): 914.056 CPU time (s): 1800.1 CPU user time (s): 1797.11 CPU system time (s): 2.99 CPU usage (%): 196.935 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.95 system time used= 3.33049 maximum resident set size= 2955872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37678 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26049 involuntary context switches= 35920 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.42548 second user time and 3.83342 second system time The end
Begin job on node114 at 2016-06-07 20:38:27 IDJOB=4080994 IDBENCH=92667 IDSOLVER=2543 FILE ID=node114/4080994-1465324707 RUNJOBID= node114-1465311047-18691 PBS_JOBID= 19850116 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080994-1465324707/watcher-4080994-1465324707 -o /tmp/evaluation-result-4080994-1465324707/solver-4080994-1465324707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465311047-18691 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080994-1465324707.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196 RANDOM SEED=1967990434 node114.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 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.852 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.852 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.54 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.852 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: 28017024 kB Buffers: 179392 kB Cached: 529120 kB SwapCached: 1740 kB Active: 2426408 kB Inactive: 527548 kB Active(anon): 2246296 kB Inactive(anon): 1368 kB Active(file): 180112 kB Inactive(file): 526180 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096752 kB Dirty: 1224 kB Writeback: 0 kB AnonPages: 3369024 kB Mapped: 15456 kB Shmem: 0 kB Slab: 607984 kB SReclaimable: 51920 kB SUnreclaim: 556064 kB KernelStack: 1808 kB PageTables: 11008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4343304 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3282944 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= 71732 MiB End job on node114 at 2016-06-07 20:53:41