Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 27 | 1800.09 | 1793.34 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | d25f6086317f033c233c4700493f03d1 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 97.9001 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20 |
| Optimality of the best value was proved | NO |
| Number of variables | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.03/0.09 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.03/0.09 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.03/0.09 c no version file found!!! 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 1599470296 0.03/0.09 c Max memory 1607860224 0.03/0.09 c Total memory 1607860224 0.03/0.09 c Number of processors 8 0.07/0.11 --- Begin Solver configuration --- 0.07/0.11 c Stops conflict analysis at the first Unique Implication Point 0.07/0.11 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.07/0.11 c Learn all clauses as in MiniSAT 0.07/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.11 c VSIDS like heuristics from MiniSAT using a heap 0.07/0.11 c No reason simplification 0.07/0.11 c --- End Solver configuration --- 0.07/0.11 c solving HOME/instance-3736008-1338711948.opb 0.07/0.11 c reading problem ... 1.02/0.59 c ... done. Wall clock time 0.477s. 1.02/0.59 c CPU time (experimental) 0.55s. 1.02/0.59 c #vars 6027 1.02/0.59 c #constraints 21273 1.31/0.68 c SATISFIABLE 1.31/0.68 c OPTIMIZING... 1.31/0.68 c Got one! Elapsed wall clock time (in seconds):0.568 1.62/0.78 o 29 2.21/0.90 c Got one! Elapsed wall clock time (in seconds):0.784 2.21/0.90 o 28 2.21/0.93 c Got one! Elapsed wall clock time (in seconds):0.813 2.21/0.93 o 27 722.00/717.85 c cleaning 756473 clauses out of 1513005 for limit 1.7323924584428528E11 732.72/728.50 c cleaning 378507 clauses out of 757034 for limit 5.721319133094529E11 734.82/730.68 c cleaning 189465 clauses out of 379025 for limit 1.8807478122108396E12 736.41/732.21 c cleaning 95008 clauses out of 190060 for limit 6.185340093651781E12 736.91/732.72 c cleaning 47749 clauses out of 95553 for limit 2.030955373588973E13 737.11/732.93 c cleaning 24112 clauses out of 48303 for limit 6.618993856811518E13 737.31/733.12 c cleaning 12331 clauses out of 24691 for limit 2.1354199229994455E-6 737.41/733.29 c cleaning 6414 clauses out of 12860 for limit 6.7614040306668536E-6 737.61/733.43 c cleaning 3456 clauses out of 6946 for limit 2.0644243111905425E-5 737.71/733.57 c cleaning 1978 clauses out of 3990 for limit 5.926751729243077E-5 737.82/733.68 c cleaning 1231 clauses out of 2512 for limit 1.5524795305752777E-4 738.01/733.81 c cleaning 862 clauses out of 1781 for limit 3.6110831215504683E-4 738.11/733.96 c cleaning 688 clauses out of 1419 for limit 7.474375225686322E-4 738.21/734.09 c cleaning 591 clauses out of 1231 for limit 0.001420872555648428 738.41/734.22 c cleaning 533 clauses out of 1140 for limit 0.0025302545499244753 738.51/734.35 c cleaning 523 clauses out of 1108 for limit 0.004297537789065746 738.61/734.46 c cleaning 524 clauses out of 1087 for limit 0.007238604210079096 738.81/734.60 c cleaning 504 clauses out of 1060 for limit 0.012204805467393305 738.81/734.70 c cleaning 486 clauses out of 1056 for limit 0.02020359693382584 739.01/734.82 c cleaning 473 clauses out of 1071 for limit 0.032884674071040385 739.11/734.95 c cleaning 517 clauses out of 1097 for limit 0.052892946429686415 739.21/735.05 c cleaning 467 clauses out of 1080 for limit 0.08860057071861467 739.31/735.17 c cleaning 526 clauses out of 1113 for limit 0.1417819671143532 739.51/735.30 c cleaning 480 clauses out of 1087 for limit 0.23941012026631067 739.61/735.41 c cleaning 483 clauses out of 1107 for limit 0.38768617572432174 739.71/735.55 c cleaning 478 clauses out of 1124 for limit 0.6296765380964539 739.91/735.71 c cleaning 517 clauses out of 1146 for limit 1.018486067265256 740.01/735.88 c cleaning 550 clauses out of 1132 for limit 1.7055038550444097 740.21/736.03 c cleaning 497 clauses out of 1079 for limit 2.9419144489167435 740.41/736.20 c cleaning 513 clauses out of 1082 for limit 4.838158703449213 740.41/736.29 c cleaning 518 clauses out of 1069 for limit 8.075799959121134 740.61/736.42 c cleaning 519 clauses out of 1051 for limit 13.546167111181473 740.71/736.56 c cleaning 449 clauses out of 1032 for limit 22.750729911725877 740.91/736.71 c cleaning 525 clauses out of 1085 for limit 35.75775170126078 741.01/736.89 c cleaning 516 clauses out of 1058 for limit 60.35331623776453 741.21/737.08 c cleaning 521 clauses out of 1056 for limit 101.12579285915305 741.41/737.23 c cleaning 440 clauses out of 1021 for limit 170.08767237378422 741.61/737.42 c cleaning 500 clauses out of 1081 for limit 264.9285564339353 741.71/737.59 c cleaning 510 clauses out of 1081 for limit 436.90263106776524 741.91/737.75 c cleaning 526 clauses out of 1074 for limit 727.3869330146069 742.01/737.89 c cleaning 471 clauses out of 1045 for limit 1229.1526946995566 742.21/738.06 c cleaning 520 clauses out of 1074 for limit 1972.3034468018416 742.31/738.18 c cleaning 501 clauses out of 1055 for limit 3314.4842084861116 742.50/738.36 c cleaning 461 clauses out of 1053 for limit 5470.933273179343 742.70/738.51 c cleaning 529 clauses out of 1092 for limit 8700.075825266573 742.80/738.60 c cleaning 477 clauses out of 1063 for limit 14739.00949295864 742.90/738.70 c cleaning 481 clauses out of 1086 for limit 23791.817774135165 743.00/738.82 c cleaning 524 clauses out of 1106 for limit 38564.94549674347 743.10/738.94 c cleaning 500 clauses out of 1081 for limit 65004.51616888305 743.31/739.15 c cleaning 528 clauses out of 1081 for limit 107201.1433110809 743.50/739.32 c cleaning 503 clauses out of 1053 for limit 181489.96920548225 743.60/739.49 c cleaning 502 clauses out of 1050 for limit 300156.38490929996 743.80/739.65 c cleaning 507 clauses out of 1048 for limit 495942.68565279787 743.90/739.79 c cleaning 500 clauses out of 1042 for limit 823408.7011493132 744.10/739.91 c cleaning 442 clauses out of 1041 for limit 1357856.3158018375 744.20/740.03 c cleaning 551 clauses out of 1102 for limit 2121692.17169259 744.30/740.18 c cleaning 486 clauses out of 1048 for limit 3668217.154667575 744.51/740.33 c cleaning 493 clauses out of 1062 for limit 5969633.7969864 744.60/740.48 c cleaning 512 clauses out of 1069 for limit 9780259.745645083 744.80/740.64 c cleaning 502 clauses out of 1057 for limit 1.631206689936712E7 745.00/740.81 c cleaning 499 clauses out of 1055 for limit 2.6951777246621594E7 745.20/741.00 c cleaning 437 clauses out of 1056 for limit 4.440499618016064E7 745.30/741.15 c cleaning 558 clauses out of 1119 for limit 6.910692289948796E7 745.40/741.29 c cleaning 526 clauses out of 1061 for limit 1.2019658959244345E8 745.61/741.41 c cleaning 436 clauses out of 1035 for limit 2.0319970189069587E8 745.72/741.52 c cleaning 549 clauses out of 1099 for limit 3.1558882093458354E8 745.82/741.68 c cleaning 463 clauses out of 1050 for limit 5.447357663787222E8 746.02/741.82 c cleaning 405 clauses out of 1087 for limit 8.677638084782506E8 746.12/741.92 c cleaning 583 clauses out of 1183 for limit 1.3162449908933036E9 746.22/742.07 c cleaning 487 clauses out of 1099 for limit 2.334238129250284E9 746.42/742.22 c cleaning 555 clauses out of 1112 for limit 3.80446813612627E9 746.52/742.34 c cleaning 443 clauses out of 1057 for limit 6.60054259501864E9 746.63/742.49 c cleaning 475 clauses out of 1114 for limit 1.032821622565815E10 746.82/742.61 c cleaning 508 clauses out of 1139 for limit 1.6658760147090088E10 746.92/742.75 c cleaning 538 clauses out of 1131 for limit 2.7666847829166756E10 747.02/742.88 c cleaning 541 clauses out of 1093 for limit 4.721261018664585E10 747.22/743.07 c cleaning 525 clauses out of 1052 for limit 8.089437436809404E10 747.42/743.21 c cleaning 506 clauses out of 1027 for limit 1.3665310490613031E11 747.62/743.43 c cleaning 484 clauses out of 1021 for limit 2.266835953923993E11 747.73/743.56 c cleaning 517 clauses out of 1037 for limit 3.68063680853161E11 747.92/743.73 c cleaning 501 clauses out of 1020 for limit 6.171026858785917E11 748.02/743.87 c cleaning 422 clauses out of 1019 for limit 1.0186835929389971E12 748.22/744.01 c cleaning 505 clauses out of 1097 for limit 1.560496341589563E12 748.32/744.14 c cleaning 527 clauses out of 1092 for limit 2.5852505015946553E12 748.52/744.35 c cleaning 500 clauses out of 1067 for limit 4.372056448360046E12 748.72/744.51 c cleaning 485 clauses out of 1065 for limit 7.209206003197658E12 748.83/744.64 c cleaning 484 clauses out of 1080 for limit 1.1723820891686602E13 748.93/744.76 c cleaning 479 clauses out of 1096 for limit 1.9051898684213332E13 749.12/744.90 c cleaning 518 clauses out of 1117 for limit 3.082843875904404E13 749.22/745.07 c cleaning 549 clauses out of 1099 for limit 5.167290752467829E13 749.42/745.24 c cleaning 525 clauses out of 1050 for limit 8.919226225477475E13 749.52/745.36 c cleaning 456 clauses out of 1025 for limit 1.5067753268758284E14 749.72/745.50 c cleaning 431 clauses out of 1069 for limit 2.3825967623812606E14 749.82/745.65 c cleaning 502 clauses out of 1138 for limit 3.6909815768084394E14 750.03/745.80 c cleaning 419 clauses out of 1136 for limit 6.097638803498475E14 750.12/745.96 c cleaning 586 clauses out of 1217 for limit 9.386535679593571E14 750.32/746.12 c cleaning 534 clauses out of 1131 for limit 1.665670888988485E15 750.52/746.30 c cleaning 549 clauses out of 1098 for limit 2.832303957723911E15 750.62/746.48 c cleaning 523 clauses out of 1048 for limit 4.888800238695524E15 750.82/746.62 c cleaning 381 clauses out of 1025 for limit 8.243195428949363E-5 750.92/746.76 c cleaning 528 clauses out of 1144 for limit 1.2180057095913668E-4 751.03/746.90 c cleaning 554 clauses out of 1116 for limit 2.059050702879525E-4 751.22/747.08 c cleaning 526 clauses out of 1063 for limit 3.5685219286439677E-4 751.42/747.25 c cleaning 513 clauses out of 1036 for limit 6.032304477374844E-4 751.62/747.43 c cleaning 456 clauses out of 1023 for limit 0.0010074494472123764 751.72/747.57 c cleaning 515 clauses out of 1067 for limit 0.0015929067925206397 751.92/747.74 c cleaning 460 clauses out of 1052 for limit 0.0026643724283889527 752.02/747.85 c cleaning 493 clauses out of 1092 for limit 0.0042329576092532736 752.22/748.01 c cleaning 532 clauses out of 1100 for limit 0.006936881429498074 752.32/748.17 c cleaning 519 clauses out of 1067 for limit 0.01178186147542346 752.52/748.34 c cleaning 513 clauses out of 1048 for limit 0.019782124738159025 752.72/748.51 c cleaning 500 clauses out of 1035 for limit 0.03303313223502886 752.82/748.68 c cleaning 514 clauses out of 1037 for limit 0.054479894744642564 753.02/748.87 c cleaning 474 clauses out of 1021 for limit 0.09107016797414486 753.22/749.04 c cleaning 515 clauses out of 1048 for limit 0.14646403543942732 753.32/749.17 c cleaning 506 clauses out of 1037 for limit 0.24507976554633146 753.52/749.31 c cleaning 498 clauses out of 1026 for limit 0.40646408725068284 753.62/749.46 c cleaning 482 clauses out of 1030 for limit 0.6690479226386595 753.72/749.57 c cleaning 496 clauses out of 1046 for limit 1.0843004305210273 753.82/749.68 c cleaning 499 clauses out of 1050 for limit 1.781344440416886 754.02/749.82 c cleaning 448 clauses out of 1051 for limit 2.9348801622791845 754.12/749.97 c cleaning 516 clauses out of 1103 for limit 4.611831839794344 754.32/750.11 c cleaning 493 clauses out of 1087 for limit 7.717476552899874 754.42/750.25 c cleaning 507 clauses out of 1094 for limit 12.64571610695173 754.52/750.37 c cleaning 519 clauses out of 1087 for limit 20.988775037676238 754.72/750.52 c cleaning 514 clauses out of 1070 for limit 35.23366085392796 754.82/750.67 c cleaning 522 clauses out of 1055 for limit 58.87222679328599 755.02/750.83 c cleaning 507 clauses out of 1033 for limit 99.1558833929821 755.12/750.98 c cleaning 456 clauses out of 1025 for limit 164.63278290536746 755.22/751.10 c cleaning 511 clauses out of 1069 for limit 260.3264923015763 755.42/751.26 c cleaning 490 clauses out of 1058 for limit 433.7767705717829 755.62/751.42 c cleaning 520 clauses out of 1071 for limit 708.7970646712121 755.72/751.54 c cleaning 496 clauses out of 1048 for limit 1190.9744652570735 755.92/751.71 c cleaning 520 clauses out of 1052 for limit 1956.6082485082716 756.02/751.89 c cleaning 486 clauses out of 1032 for limit 3289.241867510645 756.22/752.03 c cleaning 485 clauses out of 1046 for limit 5351.79795617155 756.32/752.16 c cleaning 471 clauses out of 1061 for limit 8701.054661969116 756.42/752.29 c cleaning 525 clauses out of 1090 for limit 13967.435353788982 756.62/752.47 c cleaning 510 clauses out of 1065 for limit 23574.877631016567 756.82/752.60 c cleaning 502 clauses out of 1055 for limit 39246.640056425196 756.92/752.79 c cleaning 498 clauses out of 1053 for limit 64845.890372482434 757.12/752.97 c cleaning 455 clauses out of 1055 for limit 106736.81915100032 757.32/753.11 c cleaning 502 clauses out of 1100 for limit 168822.34084899587 757.42/753.25 c cleaning 522 clauses out of 1098 for limit 278917.74788667366 757.52/753.37 c cleaning 479 clauses out of 1077 for limit 469410.9167448248 757.72/753.52 c cleaning 546 clauses out of 1097 for limit 759247.9647315188 757.82/753.67 c cleaning 524 clauses out of 1051 for limit 1306903.240958096 758.02/753.81 c cleaning 464 clauses out of 1027 for limit 2205624.58709121 758.12/753.92 c cleaning 526 clauses out of 1063 for limit 3514185.32219065 758.22/754.07 c cleaning 411 clauses out of 1037 for limit 5940664.902291643 758.41/754.21 c cleaning 510 clauses out of 1126 for limit 9022591.780131716 758.51/754.34 c cleaning 475 clauses out of 1116 for limit 1.5012789368556116E7 758.61/754.49 c cleaning 459 clauses out of 1141 for limit 2.4215633143609017E7 758.82/754.62 c cleaning 551 clauses out of 1182 for limit 3.854960066046974E7 758.91/754.76 c cleaning 559 clauses out of 1131 for limit 6.644015579203277E7 759.01/754.89 c cleaning 517 clauses out of 1072 for limit 1.1559907227144113E8 759.21/755.01 c cleaning 479 clauses out of 1055 for limit 1.937102320799107E8 759.41/755.20 c cleaning 494 clauses out of 1076 for limit 3.1321938807110065E8 759.51/755.38 c cleaning 503 clauses out of 1082 for limit 5.136763066471331E8 759.71/755.58 c cleaning 470 clauses out of 1079 for limit 8.494762426208906E8 759.92/755.73 c cleaning 532 clauses out of 1109 for limit 1.3630036629521434E9 760.01/755.86 c cleaning 521 clauses out of 1077 for limit 2.314561648978373E9 760.21/756.04 c cleaning 528 clauses out of 1056 for limit 3.892928479119998E9 760.41/756.20 c cleaning 500 clauses out of 1028 for limit 6.594822568338609E9 760.51/756.38 c cleaning 499 clauses out of 1030 for limit 1.0876368564744625E10 760.71/756.56 c cleaning 483 clauses out of 1029 for limit 1.791812778141482E10 760.92/756.75 c cleaning 521 clauses out of 1046 for limit 2.9069141547534534E10 761.11/756.93 c cleaning 511 clauses out of 1025 for limit 4.892106610714379E10 761.31/757.10 c cleaning 507 clauses out of 1014 for limit 8.155258098388841E10 761.41/757.25 c cleaning 428 clauses out of 1007 for limit 1.3542600950829324E11 761.61/757.40 c cleaning 459 clauses out of 1079 for limit 2.0843276727815396E11 761.71/757.55 c cleaning 518 clauses out of 1120 for limit 3.3115041492126807E11 761.91/757.71 c cleaning 505 clauses out of 1102 for limit 5.550314835580077E11 762.02/757.88 c cleaning 524 clauses out of 1097 for limit 9.19493095917984E11 762.21/758.06 c cleaning 414 clauses out of 1073 for limit 1.5502840015485698E12 762.41/758.21 c cleaning 530 clauses out of 1159 for limit 2.366919231062124E12 762.51/758.37 c cleaning 554 clauses out of 1133 for limit 4.0089523886489673E12 762.71/758.52 c cleaning 517 clauses out of 1076 for limit 6.940661892782255E12 762.81/758.67 c cleaning 511 clauses out of 1058 for limit 1.1629173971391264E13 763.01/758.81 c cleaning 418 clauses out of 1047 for limit 1.937955233122677E13 763.12/758.97 c cleaning 459 clauses out of 1129 for limit 2.9638237058019754E13 763.31/759.10 c cleaning 476 clauses out of 1170 for limit 4.71646194381142E13 763.41/759.21 c cleaning 476 clauses out of 1194 for limit 7.621733452037389E13 763.51/759.33 c cleaning 564 clauses out of 1218 for limit 1.2321587969724953E14 763.61/759.48 c cleaning 518 clauses out of 1154 for limit 2.1446876379560703E14 763.81/759.67 c cleaning 568 clauses out of 1136 for limit 3.5929188885551994E14 764.01/759.81 c cleaning 436 clauses out of 1068 for limit 6.302464072681998E14 764.11/759.96 c cleaning 566 clauses out of 1132 for limit 9.805981995187368E14 764.32/760.11 c cleaning 498 clauses out of 1066 for limit 1.7172605797504848E15 764.41/760.26 c cleaning 464 clauses out of 1068 for limit 2.8266890704139505E15 764.61/760.42 c cleaning 517 clauses out of 1104 for limit 4.5095801066107464E-5 764.81/760.60 c cleaning 533 clauses out of 1092 for limit 7.556331230457719E-5 764.91/760.76 c cleaning 500 clauses out of 1054 for limit 1.2846249200904253E-4 765.11/760.92 c cleaning 483 clauses out of 1055 for limit 2.1186289019154247E-4 765.21/761.07 c cleaning 517 clauses out of 1071 for limit 3.438264289338261E-4 765.42/761.22 c cleaning 488 clauses out of 1054 for limit 5.761611933561953E-4 765.51/761.36 c cleaning 522 clauses out of 1066 for limit 9.394708228110433E-4 765.71/761.52 c cleaning 474 clauses out of 1044 for limit 0.0015819614266224429 765.81/761.68 c cleaning 503 clauses out of 1070 for limit 0.0025454730173349945 766.01/761.84 c cleaning 520 clauses out of 1067 for limit 0.004209628228842094 766.21/762.02 c cleaning 503 clauses out of 1047 for limit 0.007074852139708003 766.31/762.16 c cleaning 468 clauses out of 1044 for limit 0.011700904582392433 766.52/762.31 c cleaning 521 clauses out of 1076 for limit 0.018722487622947946 766.61/762.48 c cleaning 471 clauses out of 1055 for limit 0.031490477850286316 766.81/762.61 c cleaning 423 clauses out of 1084 for limit 0.05054268568648872 766.91/762.76 c cleaning 504 clauses out of 1161 for limit 0.07782359069024375 767.11/762.91 c cleaning 560 clauses out of 1157 for limit 0.12878521655170402 767.21/763.07 c cleaning 526 clauses out of 1097 for limit 0.2240003159774578 767.41/763.21 c cleaning 513 clauses out of 1071 for limit 0.3783743385046325 767.52/763.38 c cleaning 515 clauses out of 1060 for limit 0.6317280935763114 767.71/763.55 c cleaning 505 clauses out of 1043 for limit 1.0566681353438716 767.91/763.71 c cleaning 497 clauses out of 1038 for limit 1.750981078618481 768.01/763.88 c cleaning 496 clauses out of 1041 for limit 2.879280420985984 768.21/764.04 c cleaning 493 clauses out of 1045 for limit 4.730143215258211 768.31/764.19 c cleaning 511 clauses out of 1052 for limit 7.7487335569516 768.51/764.32 c cleaning 505 clauses out of 1041 for limit 12.913727714745255 768.62/764.47 c cleaning 506 clauses out of 1036 for limit 21.39924673411045 768.81/764.64 c cleaning 482 clauses out of 1030 for limit 35.49579470516888 768.91/764.77 c cleaning 504 clauses out of 1048 for limit 57.531902129411094 769.11/764.93 c cleaning 490 clauses out of 1044 for limit 95.24131957851124 769.21/765.08 c cleaning 517 clauses out of 1055 for limit 155.58360913989148 769.31/765.19 c cleaning 483 clauses out of 1037 for limit 260.7707765365354 769.51/765.30 c cleaning 431 clauses out of 1054 for limit 423.1096716733172 769.61/765.44 c cleaning 516 clauses out of 1123 for limit 654.8920138492389 769.72/765.59 c cleaning 523 clauses out of 1107 for limit 1095.6143624504143 769.91/765.71 c cleaning 478 clauses out of 1084 for limit 1845.1511255988542 770.01/765.84 c cleaning 522 clauses out of 1106 for limit 2982.3731771058974 770.11/765.98 c cleaning 524 clauses out of 1084 for limit 5018.150896896135 770.21/766.07 c cleaning 457 clauses out of 1060 for limit 8462.974269240603 770.31/766.18 c cleaning 521 clauses out of 1103 for limit 13412.485339986995 770.51/766.31 c cleaning 513 clauses out of 1084 for limit 22551.757924659923 770.61/766.47 c cleaning 480 clauses out of 1069 for limit 37637.333000871935 770.82/766.63 c cleaning 538 clauses out of 1092 for limit 60944.3333361664 770.92/766.79 c cleaning 509 clauses out of 1052 for limit 104118.30580180905 771.01/766.88 c cleaning 475 clauses out of 1042 for limit 173179.50294373563 771.21/767.00 c cleaning 519 clauses out of 1067 for limit 278904.59882396774 771.31/767.12 c cleaning 456 clauses out of 1048 for limit 468289.80085115245 771.41/767.22 c cleaning 467 clauses out of 1092 for limit 741155.3201926248 771.51/767.38 c cleaning 423 clauses out of 1125 for limit 1186411.1876416875 771.71/767.51 c cleaning 600 clauses out of 1202 for limit 1831214.317079105 771.81/767.61 c cleaning 550 clauses out of 1102 for limit 3293957.074380268 771.92/767.73 c cleaning 489 clauses out of 1053 for limit 5690645.833324462 772.02/767.83 c cleaning 522 clauses out of 1063 for limit 9287055.465603787 772.11/767.94 c cleaning 490 clauses out of 1041 for limit 1.5639269419012412E7 772.21/768.06 c cleaning 453 clauses out of 1051 for limit 2.5545850239466205E7 772.31/768.17 c cleaning 549 clauses out of 1098 for limit 4.032520879551067E7 772.41/768.28 c cleaning 502 clauses out of 1050 for limit 6.961135132967295E7 772.51/768.38 c cleaning 491 clauses out of 1047 for limit 1.1501223874824615E8 772.61/768.48 c cleaning 493 clauses out of 1056 for limit 1.8805405723722595E8 772.71/768.56 c cleaning 514 clauses out of 1064 for limit 3.081026237544005E8 772.81/768.65 c cleaning 503 clauses out of 1051 for limit 5.1490215258643293E8 772.91/768.77 c cleaning 523 clauses out of 1047 for limit 8.515342429065398E8 773.12/768.92 c cleaning 495 clauses out of 1023 for limit 1.4358019546046886E9 773.21/769.07 c cleaning 496 clauses out of 1028 for limit 2.3563128208384447E9 773.41/769.21 c cleaning 504 clauses out of 1033 for limit 3.8709373121707215E9 773.51/769.37 c cleaning 515 clauses out of 1030 for limit 6.408695449907175E9 773.71/769.52 c cleaning 507 clauses out of 1015 for limit 1.0724985242306286E10 773.81/769.67 c cleaning 487 clauses out of 1006 for limit 1.7809495956414494E10 774.01/769.81 c cleaning 495 clauses out of 1019 for limit 2.8995547391496513E10 774.12/769.96 c cleaning 504 clauses out of 1025 for limit 4.758521428645936E10 774.31/770.13 c cleaning 509 clauses out of 1020 for limit 7.878020348579533E10 774.41/770.27 c cleaning 492 clauses out of 1011 for limit 1.3107564437848758E11 774.62/770.41 c cleaning 484 clauses out of 1019 for limit 2.1446422626530368E11 774.72/770.56 c cleaning 478 clauses out of 1035 for limit 3.4821267962821954E11 774.82/770.69 c cleaning 487 clauses out of 1057 for limit 5.622970832333143E11 775.02/770.83 c cleaning 533 clauses out of 1071 for limit 9.160976012906426E11 775.12/771.00 c cleaning 518 clauses out of 1037 for limit 1.5587405576003384E12 775.33/771.11 c cleaning 503 clauses out of 1019 for limit 2.6159792513390264E12 775.42/771.22 c cleaning 491 clauses out of 1016 for limit 4.3268382283999985E12 775.52/771.36 c cleaning 487 clauses out of 1025 for limit 7.072881594006971E12 775.72/771.51 c cleaning 485 clauses out of 1038 for limit 1.1518045414481021E13 775.82/771.66 c cleaning 467 clauses out of 1053 for limit 1.8724216580568617E13 776.02/771.81 c cleaning 488 clauses out of 1086 for limit 2.9940433828191734E13 776.12/771.97 c cleaning 522 clauses out of 1098 for limit 4.883615472322585E13 776.33/772.15 c cleaning 499 clauses out of 1076 for limit 8.218402681236023E13 776.52/772.33 c cleaning 534 clauses out of 1078 for limit 1.3541641933704303E14 776.62/772.48 c cleaning 521 clauses out of 1043 for limit 2.305829301512326E14 776.82/772.61 c cleaning 459 clauses out of 1022 for limit 3.8807570341872606E14 776.92/772.77 c cleaning 485 clauses out of 1063 for limit 6.153043304735166E14 777.12/772.91 c cleaning 494 clauses out of 1078 for limit 1.0005996861314191E15 777.22/773.05 c cleaning 542 clauses out of 1084 for limit 1.6409892195593535E15 777.32/773.17 c cleaning 519 clauses out of 1042 for limit 2.815290262686577E15 777.53/773.31 c cleaning 424 clauses out of 1023 for limit 4.729019997198357E-5 777.62/773.43 c cleaning 519 clauses out of 1099 for limit 7.25947106864532E-5 777.72/773.53 c cleaning 492 clauses out of 1080 for limit 1.2182454632037326E-4 777.82/773.65 c cleaning 540 clauses out of 1088 for limit 1.9942773182059982E-4 778.02/773.81 c cleaning 505 clauses out of 1048 for limit 3.414357953298346E-4 778.12/773.94 c cleaning 506 clauses out of 1044 for limit 5.657964684076871E-4 778.22/774.08 c cleaning 498 clauses out of 1037 for limit 9.384331696592719E-4 778.42/774.23 c cleaning 492 clauses out of 1039 for limit 0.0015446228162865013 778.53/774.37 c cleaning 509 clauses out of 1047 for limit 0.0025278261286914385 778.72/774.50 c cleaning 488 clauses out of 1038 for limit 0.00420486845377696 778.82/774.61 c cleaning 490 clauses out of 1050 for limit 0.006855140419258783 778.92/774.72 c cleaning 486 clauses out of 1061 for limit 0.011199036733640243 779.02/774.88 c cleaning 505 clauses out of 1074 for limit 0.01822691410433399 779.22/775.09 c cleaning 519 clauses out of 1072 for limit 0.030205224312848784 779.42/775.21 c cleaning 486 clauses out of 1050 for limit 0.0507037293038832 779.52/775.36 c cleaning 481 clauses out of 1064 for limit 0.08251700590031898 779.63/775.49 c cleaning 532 clauses out of 1091 for limit 0.13378034756920512 779.82/775.63 c cleaning 498 clauses out of 1051 for limit 0.2271925820376163 780.02/775.82 c cleaning 509 clauses out of 1053 for limit 0.37395933530289804 780.22/776.00 c cleaning 498 clauses out of 1044 for limit 0.6220254279484632 780.42/776.20 c cleaning 505 clauses out of 1046 for limit 1.0238417610759705 780.52/776.39 c cleaning 487 clauses out of 1041 for limit 1.6965617911103787 1298.54/1293.16 c cleaning 517250 clauses out of 1034554 for limit 3291861.7035622816 1308.74/1303.35 c cleaning 258891 clauses out of 517806 for limit 1.0868073774312668E7 1312.34/1306.96 c cleaning 129694 clauses out of 259413 for limit 3.570382815744438E7 1313.35/1307.97 c cleaning 65094 clauses out of 130219 for limit 1.1729730955370182E8 1313.64/1308.27 c cleaning 32780 clauses out of 65627 for limit 3.8459600213224936E8 1313.94/1308.50 c cleaning 16650 clauses out of 33345 for limit 1.2457860372601185E9 1314.04/1308.68 c cleaning 8583 clauses out of 17196 for limit 3.9878346545703783E9 1314.24/1308.81 c cleaning 4523 clauses out of 9112 for limit 1.2398588425127357E10 1314.35/1308.94 c cleaning 2525 clauses out of 5089 for limit 3.6610814495368546E10 1314.45/1309.08 c cleaning 1531 clauses out of 3064 for limit 1.0027876295434163E11 1314.64/1309.20 c cleaning 999 clauses out of 2033 for limit 2.4923913604740414E11 1314.74/1309.33 c cleaning 740 clauses out of 1534 for limit 5.4473357385079694E11 1314.84/1309.45 c cleaning 627 clauses out of 1297 for limit 1.0656852358851947E12 1314.94/1309.56 c cleaning 580 clauses out of 1167 for limit 1.9473787237868137E12 1315.04/1309.68 c cleaning 543 clauses out of 1088 for limit 3.4481232449342153E12 1315.24/1309.83 c cleaning 521 clauses out of 1044 for limit 5.920147839571051E12 1315.34/1309.97 c cleaning 494 clauses out of 1023 for limit 9.96353163692141E12 1315.55/1310.13 c cleaning 496 clauses out of 1029 for limit 1.6335387840362842E13 1315.64/1310.28 c cleaning 499 clauses out of 1033 for limit 2.6834925279500906E13 1315.84/1310.43 c cleaning 516 clauses out of 1034 for limit 4.421158248936935E13 1315.94/1310.56 c cleaning 508 clauses out of 1018 for limit 7.405676004143316E13 1316.04/1310.69 c cleaning 505 clauses out of 1011 for limit 1.2309820752942428E14 1316.24/1310.84 c cleaning 502 clauses out of 1007 for limit 2.0401580481335272E14 1316.34/1310.99 c cleaning 491 clauses out of 1003 for limit 3.3711588252367744E14 1316.55/1311.15 c cleaning 506 clauses out of 1012 for limit 5.510049766837707E14 1316.74/1311.30 c cleaning 484 clauses out of 1006 for limit 9.141004867820076E14 1316.84/1311.44 c cleaning 492 clauses out of 1022 for limit 1.4838736133191175E15 1316.94/1311.58 c cleaning 494 clauses out of 1030 for limit 2.4280994481233725E15 1317.14/1311.71 c cleaning 498 clauses out of 1036 for limit 3.9810701155858166E-5 1317.24/1311.85 c cleaning 493 clauses out of 1040 for limit 6.553165756986346E-5 1317.34/1311.97 c cleaning 507 clauses out of 1045 for limit 1.0733838719305258E-4 1317.54/1312.11 c cleaning 512 clauses out of 1038 for limit 1.782091051558824E-4 1317.65/1312.27 c cleaning 492 clauses out of 1027 for limit 2.9733579701573214E-4 1317.84/1312.44 c cleaning 509 clauses out of 1034 for limit 4.86539918718057E-4 1317.94/1312.57 c cleaning 463 clauses out of 1025 for limit 8.094146089675468E-4 1318.14/1312.72 c cleaning 508 clauses out of 1062 for limit 0.0012883274915537252 1318.24/1312.89 c cleaning 512 clauses out of 1054 for limit 0.0021407505642151536 1318.44/1313.06 c cleaning 509 clauses out of 1043 for limit 0.003571188450560861 1318.64/1313.21 c cleaning 492 clauses out of 1033 for limit 0.005940433390335768 1318.75/1313.37 c cleaning 501 clauses out of 1041 for limit 0.0097212835220236 1318.94/1313.57 c cleaning 500 clauses out of 1040 for limit 0.016047112111146226 1319.14/1313.73 c cleaning 508 clauses out of 1040 for limit 0.026463834615531596 1319.34/1313.90 c cleaning 496 clauses out of 1032 for limit 0.04398071675527837 1319.44/1314.07 c cleaning 504 clauses out of 1036 for limit 0.07225004662407572 1319.54/1314.19 c cleaning 478 clauses out of 1032 for limit 0.11961181399708101 1319.74/1314.32 c cleaning 512 clauses out of 1054 for limit 0.1931385871998247 1319.85/1314.47 c cleaning 494 clauses out of 1044 for limit 0.3222063335427604 1319.95/1314.60 c cleaning 509 clauses out of 1048 for limit 0.5282751140867832 1320.14/1314.73 c cleaning 508 clauses out of 1041 for limit 0.8788112668405356 1320.24/1314.89 c cleaning 500 clauses out of 1031 for limit 1.460409145170422 1320.44/1315.04 c cleaning 498 clauses out of 1031 for limit 2.4084100504261583 1320.54/1315.19 c cleaning 486 clauses out of 1033 for limit 3.9641005477096676 1320.74/1315.35 c cleaning 507 clauses out of 1048 for limit 6.450213639901166 1320.84/1315.48 c cleaning 488 clauses out of 1041 for limit 10.708793386440252 1321.05/1315.62 c cleaning 509 clauses out of 1052 for limit 17.458097088479164 1321.14/1315.75 c cleaning 512 clauses out of 1047 for limit 29.04423196353563 1321.24/1315.88 c cleaning 478 clauses out of 1031 for limit 48.446873238934 1321.44/1316.01 c cleaning 506 clauses out of 1053 for limit 78.22614596881553 1321.54/1316.13 c cleaning 501 clauses out of 1047 for limit 129.7446654521925 1321.64/1316.25 c cleaning 487 clauses out of 1046 for limit 214.1708669634523 1321.74/1316.37 c cleaning 516 clauses out of 1059 for limit 348.8606664679932 1321.94/1316.52 c cleaning 509 clauses out of 1044 for limit 584.1681387968608 1322.05/1316.67 c cleaning 498 clauses out of 1034 for limit 971.7156593400521 1322.15/1316.79 c cleaning 500 clauses out of 1036 for limit 1599.3955077148328 1322.34/1316.91 c cleaning 499 clauses out of 1036 for limit 2637.6171555248266 1322.44/1317.04 c cleaning 502 clauses out of 1039 for limit 4345.911491642767 1322.54/1317.17 c cleaning 495 clauses out of 1035 for limit 7180.305764049398 1322.74/1317.30 c cleaning 504 clauses out of 1040 for limit 11784.355515340081 1322.84/1317.42 c cleaning 483 clauses out of 1036 for limit 19509.01339457442 1322.94/1317.57 c cleaning 503 clauses out of 1053 for limit 31653.561237622576 1323.04/1317.70 c cleaning 509 clauses out of 1050 for limit 52350.102609984584 1323.25/1317.83 c cleaning 500 clauses out of 1041 for limit 87078.71143041617 1323.34/1317.95 c cleaning 491 clauses out of 1041 for limit 143604.44433035963 1323.44/1318.07 c cleaning 506 clauses out of 1053 for limit 234827.88223718115 1323.54/1318.19 c cleaning 504 clauses out of 1044 for limit 389430.431369497 1323.74/1318.31 c cleaning 502 clauses out of 1045 for limit 644825.9992328127 1323.84/1318.43 c cleaning 487 clauses out of 1038 for limit 1065233.472974001 1323.94/1318.59 c cleaning 505 clauses out of 1051 for limit 1734983.4218541833 1324.14/1318.70 c cleaning 501 clauses out of 1046 for limit 2874896.723288895 1324.25/1318.82 c cleaning 522 clauses out of 1045 for limit 4745626.2210599175 1324.35/1318.94 c cleaning 510 clauses out of 1023 for limit 7994477.28192829 1324.44/1319.05 c cleaning 477 clauses out of 1013 for limit 1.3314110224970635E7 1324.54/1319.18 c cleaning 499 clauses out of 1038 for limit 2.1470845679431185E7 1324.74/1319.31 c cleaning 481 clauses out of 1037 for limit 3.537159233689048E7 1324.84/1319.45 c cleaning 531 clauses out of 1062 for limit 5.730226758489849E7 1325.04/1319.61 c cleaning 512 clauses out of 1025 for limit 9.73242971572337E7 1325.14/1319.77 c cleaning 506 clauses out of 1013 for limit 1.6240207844956937E8 1325.35/1319.92 c cleaning 463 clauses out of 1007 for limit 2.694185192803646E8 1325.45/1320.09 c cleaning 505 clauses out of 1044 for limit 4.2856066161036175E8 1325.64/1320.22 c cleaning 501 clauses out of 1040 for limit 7.101823292320714E8 1325.74/1320.34 c cleaning 491 clauses out of 1038 for limit 1.1722688448918135E9 1325.84/1320.45 c cleaning 497 clauses out of 1047 for limit 1.9166101415394163E9 1325.94/1320.56 c cleaning 524 clauses out of 1050 for limit 3.1517158185648723E9 1326.04/1320.67 c cleaning 503 clauses out of 1026 for limit 5.319182324077058E9 1326.24/1320.82 c cleaning 493 clauses out of 1023 for limit 8.797767706862703E9 1326.34/1320.96 c cleaning 494 clauses out of 1030 for limit 1.4410093105302265E10 1326.45/1321.09 c cleaning 518 clauses out of 1036 for limit 2.3626540942821014E10 1326.55/1321.19 c cleaning 478 clauses out of 1018 for limit 3.965226569608761E10 1326.64/1321.29 c cleaning 462 clauses out of 1040 for limit 6.400860072209165E10 1326.84/1321.40 c cleaning 490 clauses out of 1078 for limit 1.0183775076851826E11 1326.94/1321.51 c cleaning 523 clauses out of 1088 for limit 1.6640047100075424E11 1327.04/1321.62 c cleaning 506 clauses out of 1065 for limit 2.803430060306579E11 1327.14/1321.74 c cleaning 529 clauses out of 1059 for limit 4.6494251501170593E11 1327.24/1321.88 c cleaning 514 clauses out of 1030 for limit 7.883405806932998E11 1327.44/1322.00 c cleaning 508 clauses out of 1016 for limit 1.3179935553894866E12 1327.55/1322.14 c cleaning 481 clauses out of 1008 for limit 2.1907980693595398E12 1327.65/1322.28 c cleaning 485 clauses out of 1027 for limit 3.5460783338509863E12 1327.84/1322.42 c cleaning 504 clauses out of 1043 for limit 5.764011770609812E12 1327.94/1322.57 c cleaning 519 clauses out of 1038 for limit 9.54186327237316E12 1328.14/1322.70 c cleaning 485 clauses out of 1019 for limit 1.602921468761343E13 1328.24/1322.83 c cleaning 492 clauses out of 1034 for limit 2.605084278324824E13 1328.34/1322.99 c cleaning 499 clauses out of 1042 for limit 4.263148734272509E13 1328.54/1323.16 c cleaning 521 clauses out of 1044 for limit 7.024058239148156E13 1328.65/1323.30 c cleaning 512 clauses out of 1024 for limit 1.1821675789822795E14 1328.84/1323.46 c cleaning 492 clauses out of 1011 for limit 1.972646293959611E14 1329.04/1323.62 c cleaning 482 clauses out of 1019 for limit 3.227617633582289E14 1329.14/1323.79 c cleaning 518 clauses out of 1037 for limit 5.230381825162351E14 1329.34/1323.94 c cleaning 501 clauses out of 1020 for limit 8.778137464080018E14 1329.54/1324.12 c cleaning 493 clauses out of 1017 for limit 1.44900024811749E15 1329.64/1324.29 c cleaning 483 clauses out of 1024 for limit 2.3732601291315965E15 1329.85/1324.44 c cleaning 491 clauses out of 1041 for limit 3.849908938142092E15 1329.94/1324.55 c cleaning 505 clauses out of 1050 for limit 6.294594743137488E-5 1330.04/1324.64 c cleaning 499 clauses out of 1045 for limit 1.0430296887670603E-4 1330.24/1324.80 c cleaning 515 clauses out of 1047 for limit 1.7185282588012441E-4 1330.34/1324.92 c cleaning 500 clauses out of 1031 for limit 2.8751868238896685E-4 1330.44/1325.00 c cleaning 502 clauses out of 1031 for limit 4.741567708205958E-4 1330.54/1325.13 c cleaning 496 clauses out of 1029 for limit 7.834677677230338E-4 1330.64/1325.29 c cleaning 501 clauses out of 1034 for limit 0.0012870824509627992 1330.85/1325.44 c cleaning 495 clauses out of 1033 for limit 0.0021246259083820794 1330.95/1325.59 c cleaning 506 clauses out of 1037 for limit 0.0034867869627317224 1331.14/1325.74 c cleaning 501 clauses out of 1032 for limit 0.005783821367215057 1331.24/1325.88 c cleaning 500 clauses out of 1031 for limit 0.009547546679037264 1331.44/1326.04 c cleaning 495 clauses out of 1031 for limit 0.01574518172167629 1331.54/1326.19 c cleaning 493 clauses out of 1035 for limit 0.025839694105200508 1331.74/1326.36 c cleaning 508 clauses out of 1042 for limit 0.042326843842827 1331.84/1326.49 c cleaning 504 clauses out of 1035 for limit 0.07034506801649552 1332.05/1326.63 c cleaning 503 clauses out of 1030 for limit 0.11645500388612043 1332.14/1326.76 c cleaning 492 clauses out of 1027 for limit 0.1926108830519079 1332.24/1326.88 c cleaning 497 clauses out of 1035 for limit 0.31518591616548763 1332.44/1327.01 c cleaning 501 clauses out of 1038 for limit 0.5182814754282257 1332.54/1327.16 c cleaning 504 clauses out of 1037 for limit 0.8555397068072054 1332.64/1327.29 c cleaning 505 clauses out of 1036 for limit 1.4165065722282133 1332.85/1327.42 c cleaning 497 clauses out of 1031 for limit 2.347337684290984 1332.95/1327.56 c cleaning 500 clauses out of 1031 for limit 3.859472250375846 1333.16/1327.71 c cleaning 496 clauses out of 1031 for limit 6.364786051830255 1333.25/1327.86 c cleaning 498 clauses out of 1035 for limit 10.455817931340547 1333.45/1328.00 c cleaning 504 clauses out of 1038 for limit 17.210417557621664 1333.55/1328.13 c cleaning 502 clauses out of 1033 for limit 28.49113919495598 1333.65/1328.25 c cleaning 492 clauses out of 1031 for limit 47.07684588669971 1333.75/1328.38 c cleaning 503 clauses out of 1039 for limit 77.03824178294613 1333.95/1328.52 c cleaning 497 clauses out of 1036 for limit 127.41426157592466 1334.05/1328.67 c cleaning 503 clauses out of 1041 for limit 209.53278145198118 1334.26/1328.81 c cleaning 499 clauses out of 1036 for limit 346.521204758807 1334.35/1328.94 c cleaning 501 clauses out of 1037 for limit 570.9087531995929 1334.45/1329.06 c cleaning 503 clauses out of 1036 for limit 942.4136973547713 1334.65/1329.21 c cleaning 495 clauses out of 1033 for limit 1558.6798123671113 1334.75/1329.34 c cleaning 500 clauses out of 1038 for limit 2558.089679615364 1334.85/1329.47 c cleaning 508 clauses out of 1038 for limit 4218.63209680061 1335.05/1329.60 c cleaning 497 clauses out of 1031 for limit 7011.335347182543 1335.15/1329.73 c cleaning 493 clauses out of 1033 for limit 11528.703198502031 1335.26/1329.85 c cleaning 499 clauses out of 1041 for limit 18885.150466432522 1335.36/1329.98 c cleaning 504 clauses out of 1042 for limit 31114.250719848224 1335.55/1330.10 c cleaning 497 clauses out of 1037 for limit 51507.40672741963 1335.65/1330.22 c cleaning 504 clauses out of 1040 for limit 84697.57748813591 1335.75/1330.34 c cleaning 501 clauses out of 1037 for limit 140221.93973513003 1335.85/1330.47 c cleaning 493 clauses out of 1035 for limit 231459.89532548917 1336.05/1330.61 c cleaning 502 clauses out of 1043 for limit 379159.7188238538 1336.15/1330.74 c cleaning 491 clauses out of 1040 for limit 626461.7176313677 1336.25/1330.87 c cleaning 496 clauses out of 1049 for limit 1024255.4300098028 1336.46/1331.00 c cleaning 507 clauses out of 1053 for limit 1682717.7622278673 1336.55/1331.12 c cleaning 503 clauses out of 1046 for limit 2793597.6242463132 1336.65/1331.26 c cleaning 500 clauses out of 1044 for limit 4620462.3670919705 1336.75/1331.38 c cleaning 519 clauses out of 1043 for limit 7619439.110498129 1336.95/1331.51 c cleaning 491 clauses out of 1025 for limit 1.279893532839337E7 1337.05/1331.65 c cleaning 490 clauses out of 1033 for limit 2.0922749899478193E7 1337.15/1331.78 c cleaning 521 clauses out of 1043 for limit 3.4173594657500856E7 1337.35/1331.92 c cleaning 511 clauses out of 1023 for limit 5.751614068590047E7 1337.46/1332.05 c cleaning 485 clauses out of 1012 for limit 9.588280830141781E7 1337.65/1332.22 c cleaning 493 clauses out of 1026 for limit 1.558099802487256E8 1337.75/1332.39 c cleaning 494 clauses out of 1033 for limit 2.5521030043622452E8 1337.95/1332.55 c cleaning 490 clauses out of 1039 for limit 4.184454595075217E8 1338.05/1332.68 c cleaning 525 clauses out of 1051 for limit 6.83559938193725E8 1338.25/1332.81 c cleaning 502 clauses out of 1024 for limit 1.1546921801727047E9 1338.35/1332.96 c cleaning 488 clauses out of 1024 for limit 1.908056081167292E9 1338.45/1333.10 c cleaning 492 clauses out of 1034 for limit 3.1099787143124366E9 1338.66/1333.23 c cleaning 515 clauses out of 1042 for limit 5.089394584984838E9 1338.75/1333.37 c cleaning 488 clauses out of 1027 for limit 8.515679068557685E9 1338.95/1333.50 c cleaning 519 clauses out of 1039 for limit 1.388129771797789E10 1339.05/1333.63 c cleaning 507 clauses out of 1020 for limit 2.3318538729937813E10 1339.15/1333.75 c cleaning 485 clauses out of 1013 for limit 3.8721123061449234E10 1339.25/1333.89 c cleaning 487 clauses out of 1029 for limit 6.292633158213237E10 1339.45/1334.05 c cleaning 493 clauses out of 1041 for limit 1.0247511984467184E11 1339.66/1334.23 c cleaning 514 clauses out of 1049 for limit 1.6787424597299023E11 1339.85/1334.40 c cleaning 503 clauses out of 1035 for limit 2.805918809720689E11 1339.95/1334.55 c cleaning 504 clauses out of 1032 for limit 4.6407870429784766E11 1340.15/1334.72 c cleaning 512 clauses out of 1027 for limit 7.682848491745396E11 1340.25/1334.86 c cleaning 506 clauses out of 1015 for limit 1.2819838590918894E12 1340.45/1335.03 c cleaning 491 clauses out of 1009 for limit 2.1267347152037156E12 1340.55/1335.18 c cleaning 491 clauses out of 1018 for limit 3.4762627557413643E12 1340.76/1335.36 c cleaning 459 clauses out of 1027 for limit 5.682583380988195E12 1340.95/1335.52 c cleaning 519 clauses out of 1068 for limit 9.011579010290572E12 1341.05/1335.67 c cleaning 511 clauses out of 1049 for limit 1.5130474442565318E13 1341.15/1335.79 c cleaning 495 clauses out of 1038 for limit 2.5216602236701582E13 1341.35/1335.94 c cleaning 511 clauses out of 1043 for limit 4.138619503758946E13 1341.55/1336.11 c cleaning 499 clauses out of 1032 for limit 6.897885771910649E13 1341.65/1336.28 c cleaning 500 clauses out of 1033 for limit 1.1364524284595305E14 1341.86/1336.45 c cleaning 497 clauses out of 1033 for limit 1.8741620864156872E14 1342.05/1336.64 c cleaning 518 clauses out of 1036 for limit 3.081793970525677E14 1342.15/1336.79 c cleaning 506 clauses out of 1019 for limit 5.1722507508346325E14 1342.35/1336.96 c cleaning 451 clauses out of 1012 for limit 8.580144818248801E14 1342.55/1337.13 c cleaning 514 clauses out of 1061 for limit 1.3496328290451382E15 1342.65/1337.29 c cleaning 498 clauses out of 1049 for limit 2.2556953275007405E15 1342.85/1337.44 c cleaning 524 clauses out of 1049 for limit 3.7125071898011205E15 1343.06/1337.61 c cleaning 502 clauses out of 1025 for limit 6.265775254261064E-5 1343.15/1337.77 c cleaning 507 clauses out of 1024 for limit 1.035354608031956E-4 1343.35/1337.91 c cleaning 499 clauses out of 1017 for limit 1.7191905349537025E-4 1343.45/1338.06 c cleaning 494 clauses out of 1018 for limit 2.8323901369513044E-4 1343.65/1338.23 c cleaning 487 clauses out of 1023 for limit 4.6435122214734376E-4 1343.75/1338.40 c cleaning 506 clauses out of 1037 for limit 7.561951176574556E-4 1343.95/1338.56 c cleaning 494 clauses out of 1030 for limit 0.0012542865808835523 1344.16/1338.71 c cleaning 503 clauses out of 1037 for limit 0.0020565801658493595 1344.25/1338.88 c cleaning 502 clauses out of 1034 for limit 0.0034014159798053723 1344.45/1339.04 c cleaning 476 clauses out of 1032 for limit 0.00562026089480966 1344.55/1339.19 c cleaning 509 clauses out of 1055 for limit 0.009057432143226553 1344.75/1339.34 c cleaning 503 clauses out of 1046 for limit 0.015065437606589361 1344.95/1339.51 c cleaning 504 clauses out of 1044 for limit 0.024917435102629816 1345.05/1339.68 c cleaning 500 clauses out of 1039 for limit 0.041248642665810444 1345.26/1339.85 c cleaning 515 clauses out of 1044 for limit 0.06803825348710567 1345.45/1340.00 c cleaning 496 clauses out of 1025 for limit 0.11382761338269527 1345.55/1340.14 c cleaning 503 clauses out of 1028 for limit 0.1869819807577718 1345.65/1340.28 c cleaning 503 clauses out of 1026 for limit 0.30926865723328917 1345.85/1340.42 c cleaning 499 clauses out of 1022 for limit 0.5115095528995198 1345.95/1340.58 c cleaning 498 clauses out of 1023 for limit 0.8427230989664444 1346.15/1340.73 c cleaning 502 clauses out of 1026 for limit 1.3870865793780252 1346.26/1340.88 c cleaning 492 clauses out of 1023 for limit 2.291905316720885 1346.45/1341.04 c cleaning 495 clauses out of 1031 for limit 3.7503303760978324 1346.55/1341.19 c cleaning 496 clauses out of 1036 for limit 6.154947096447598 1346.75/1341.33 c cleaning 495 clauses out of 1040 for limit 10.111291420917645 1346.85/1341.47 c cleaning 507 clauses out of 1045 for limit 16.595088139863847 1347.05/1341.61 c cleaning 504 clauses out of 1038 for limit 27.55207977989395 1347.15/1341.76 c cleaning 500 clauses out of 1035 for limit 45.61438142862896 1347.25/1341.89 c cleaning 510 clauses out of 1037 for limit 75.22952051269554 1347.46/1342.03 c cleaning 501 clauses out of 1025 for limit 125.26508811667847 1347.55/1342.18 c cleaning 492 clauses out of 1024 for limit 206.7806251633661 1347.75/1342.33 c cleaning 495 clauses out of 1031 for limit 338.3549314339107 1347.85/1342.48 c cleaning 498 clauses out of 1036 for limit 555.299532028095 1348.05/1342.62 c cleaning 505 clauses out of 1042 for limit 914.1411898010396 1348.15/1342.76 c cleaning 501 clauses out of 1033 for limit 1514.6019630952446 1348.25/1342.89 c cleaning 494 clauses out of 1032 for limit 2500.201587645025 1348.46/1343.06 c cleaning 506 clauses out of 1038 for limit 4099.333554392554 1348.56/1343.19 c cleaning 506 clauses out of 1035 for limit 6800.325227471815 1348.75/1343.33 c cleaning 505 clauses out of 1027 for limit 11279.411813344368 1348.85/1343.47 c cleaning 498 clauses out of 1021 for limit 18691.860443941183 1349.05/1343.63 c cleaning 495 clauses out of 1026 for limit 30767.36711199537 1349.15/1343.77 c cleaning 504 clauses out of 1028 for limit 50489.01886703927 1349.35/1343.92 c cleaning 496 clauses out of 1025 for limit 83590.43385960044 1349.45/1344.07 c cleaning 501 clauses out of 1028 for limit 137312.0671775917 1349.66/1344.21 c cleaning 491 clauses out of 1027 for limit 226666.46072162755 1349.75/1344.36 c cleaning 502 clauses out of 1036 for limit 370555.9905168906 1349.95/1344.50 c cleaning 499 clauses out of 1034 for limit 612278.4050989329 1350.05/1344.65 c cleaning 501 clauses out of 1035 for limit 1008753.4155737056 1350.25/1344.81 c cleaning 505 clauses out of 1034 for limit 1665178.1987235034 1350.35/1344.95 c cleaning 501 clauses out of 1029 for limit 2759445.158502967 1350.55/1345.10 c cleaning 500 clauses out of 1028 for limit 4555120.963688885 1350.66/1345.25 c cleaning 483 clauses out of 1028 for limit 7512003.842303372 1350.76/1345.38 c cleaning 489 clauses out of 1045 for limit 1.218676713255609E7 1350.95/1345.52 c cleaning 513 clauses out of 1057 for limit 1.988933279300119E7 1351.05/1345.69 c cleaning 522 clauses out of 1044 for limit 3.320860176514196E7 1351.25/1345.84 c cleaning 507 clauses out of 1021 for limit 5.5943124931393854E7 1351.35/1345.99 c cleaning 498 clauses out of 1016 for limit 9.289742299695928E7 1351.55/1346.16 c cleaning 487 clauses out of 1016 for limit 1.528940307609404E8 1351.76/1346.31 c cleaning 499 clauses out of 1029 for limit 2.4895723410170057E8 1351.86/1346.46 c cleaning 514 clauses out of 1030 for limit 4.101651783211623E8 1352.05/1346.61 c cleaning 507 clauses out of 1016 for limit 6.857379601048211E8 1352.15/1346.76 c cleaning 480 clauses out of 1009 for limit 1.138719138471219E9 1352.25/1346.86 c cleaning 514 clauses out of 1029 for limit 1.8414006765890589E9 1352.35/1346.97 c cleaning 480 clauses out of 1015 for limit 3.078601792544787E9 1352.55/1347.11 c cleaning 486 clauses out of 1035 for limit 4.978919417337383E9 1352.65/1347.21 c cleaning 481 clauses out of 1049 for limit 8.101321099772649E9 1352.75/1347.36 c cleaning 534 clauses out of 1068 for limit 1.3122481479444801E10 1352.96/1347.52 c cleaning 516 clauses out of 1034 for limit 2.235231810505428E10 1353.05/1347.64 c cleaning 500 clauses out of 1019 for limit 3.744202448756717E10 1353.15/1347.78 c cleaning 496 clauses out of 1018 for limit 6.1745754837232285E10 1353.35/1347.94 c cleaning 497 clauses out of 1022 for limit 1.014284697696316E11 1353.45/1348.07 c cleaning 512 clauses out of 1025 for limit 1.66779547365101E11 1353.55/1348.19 c cleaning 475 clauses out of 1013 for limit 2.7829993050155457E11 1353.75/1348.32 c cleaning 519 clauses out of 1039 for limit 4.4791684398521106E11 1353.85/1348.45 c cleaning 492 clauses out of 1019 for limit 7.52419657451358E11 1353.96/1348.58 c cleaning 511 clauses out of 1027 for limit 1.231174921915255E12 1354.15/1348.70 c cleaning 481 clauses out of 1016 for limit 2.0523545255110276E12 1354.25/1348.84 c cleaning 497 clauses out of 1036 for limit 3.3225898547102656E12 1354.35/1348.99 c cleaning 519 clauses out of 1038 for limit 5.463368719517169E12 1354.55/1349.13 c cleaning 507 clauses out of 1019 for limit 9.177820685849316E12 1800.09/1793.31 c starts : 28 1800.09/1793.31 c conflicts : 3813774 1800.09/1793.31 c decisions : 16531887 1800.09/1793.31 c propagations : 3328157021 1800.09/1793.31 c inspects : 13457755487 1800.09/1793.31 c learnt literals : 0 1800.09/1793.31 c learnt binary clauses : 0 1800.09/1793.31 c learnt ternary clauses : 1 1800.09/1793.31 c learnt clauses : 3813774 1800.09/1793.31 c root simplifications : 0 1800.09/1793.31 c removed literals (reason simplification) : 0 1800.09/1793.31 c reason swapping (by a shorter reason) : 0 1800.09/1793.31 c Calls to reduceDB : 597 1800.09/1793.31 c speed (decisions/second) : 9223.468677261193 1800.09/1793.31 c non guided choices 0 1800.09/1793.31 s SATISFIABLE 1800.09/1793.32 v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 x834 x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 x2138 x2139 -x2140 x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 x2361 x2362 x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3796 x3797 x3798 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 x3937 -x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 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 1800.09/1793.33 c objective function=27 1800.09/1793.33 c Total wall clock time (ms): 1793.213
OK 27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736008-1338711948/watcher-3736008-1338711948 -o /tmp/evaluation-result-3736008-1338711948/solver-3736008-1338711948 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736008-1338711948.opb running on 4 cores: 1,3,5,7 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: 1.99 2.00 1.99 3/194 22082 /proc/meminfo: memFree=28720264/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/22082/stat : 22082 (java) D 22080 22082 7849 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 337320413 9515008 176 33554432000 1073741824 1073778376 140734525599536 140734525582264 214369649552 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/22082/statm: 2323 176 133 9 0 71 0 [startup+0.0607559 s] /proc/loadavg: 1.99 2.00 1.99 3/194 22082 /proc/meminfo: memFree=28720264/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=2623916 CPUtime=0.03 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 3980 0 1 0 3 0 0 0 20 0 13 0 337320413 2686889984 5187 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 655979 5187 1708 9 0 646680 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2623916 [startup+0.100335 s] /proc/loadavg: 1.99 2.00 1.99 3/194 22082 /proc/meminfo: memFree=28720264/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=2957856 CPUtime=0.07 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 4174 0 1 0 7 0 0 0 20 0 18 0 337320413 3028844544 5891 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 739464 5891 1791 9 0 729885 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2957856 [startup+0.300268 s] /proc/loadavg: 1.99 2.00 1.99 3/194 22082 /proc/meminfo: memFree=28720264/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=2957856 CPUtime=0.44 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 5765 0 1 0 43 1 0 0 20 0 18 0 337320413 3028844544 8676 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 739464 8676 2239 9 0 729885 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 2957856 [startup+0.700291 s] /proc/loadavg: 1.99 2.00 1.99 3/194 22082 /proc/meminfo: memFree=28720264/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=3024420 CPUtime=1.62 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 17466 0 1 0 158 4 0 0 20 0 18 0 337320413 3097006080 25529 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 756105 25529 2268 9 0 746526 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 3024420 [startup+1.50078 s] /proc/loadavg: 2.15 2.03 2.01 4/213 22104 /proc/meminfo: memFree=28627064/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=3024420 CPUtime=3.09 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 22049 0 1 0 305 4 0 0 20 0 19 0 337320413 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 756105 25241 2279 9 0 746526 0 [pid=22082/tid=22084] ppid=22080 vsize=3024420 CPUtime=1.46 cores=1,3,5,7 /proc/22082/task/22084/stat : 22084 (java) R 22080 22082 7849 0 -1 4202560 3103 0 1 0 144 2 0 0 20 0 19 0 337320415 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799377867400 139799250559581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22085/stat : 22085 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799243778856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22086/stat : 22086 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799242726056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22087/stat : 22087 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799241673768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22088/stat : 22088 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799240620968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22089/stat : 22089 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799037995304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22090/stat : 22090 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799036942504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22091/stat : 22091 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799035890216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22092/stat : 22092 (java) S 22080 22082 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799034837416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22093/stat : 22093 (java) S 22080 22082 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337320417 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799022639848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22094] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22094/stat : 22094 (java) S 22080 22082 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799021585912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22095] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22095/stat : 22095 (java) S 22080 22082 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799020533512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22096] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22096/stat : 22096 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799019482000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22097] ppid=22080 vsize=3024420 CPUtime=0.81 cores=1,3,5,7 /proc/22082/task/22097/stat : 22097 (java) S 22080 22082 7849 0 -1 4202560 11369 0 0 0 79 2 0 0 20 0 19 0 337320421 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799018428600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22098] ppid=22080 vsize=3024420 CPUtime=0.78 cores=1,3,5,7 /proc/22082/task/22098/stat : 22098 (java) S 22080 22082 7849 0 -1 4202560 6367 0 0 0 78 0 0 0 20 0 19 0 337320421 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799017375800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22099] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22099/stat : 22099 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799016323704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22100] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22100/stat : 22100 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799015271112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22104] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22104/stat : 22104 (java) S 22080 22082 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337320508 3097006080 25241 33554432000 1073741824 1073778376 140734264188080 139799013140008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3024420 [startup+3.10067 s] /proc/loadavg: 2.15 2.03 2.01 3/213 22104 /proc/meminfo: memFree=28625272/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=3024420 CPUtime=4.7 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 22053 0 1 0 466 4 0 0 20 0 19 0 337320413 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 756105 25754 2279 9 0 746526 0 [pid=22082/tid=22084] ppid=22080 vsize=3024420 CPUtime=3.06 cores=1,3,5,7 /proc/22082/task/22084/stat : 22084 (java) R 22080 22082 7849 0 -1 4202560 3106 0 1 0 304 2 0 0 20 0 19 0 337320415 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799377865384 139799250607427 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22085/stat : 22085 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799243778856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22086/stat : 22086 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799242726056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22087/stat : 22087 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799241673768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22088/stat : 22088 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799240620968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22089/stat : 22089 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799037995304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22090/stat : 22090 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799036942504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22091/stat : 22091 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799035890216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22092/stat : 22092 (java) S 22080 22082 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799034837416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22093/stat : 22093 (java) S 22080 22082 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337320417 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799022639848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22094] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22094/stat : 22094 (java) S 22080 22082 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799021585912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22095] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22095/stat : 22095 (java) S 22080 22082 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799020533512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22096] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22096/stat : 22096 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799019482000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22097] ppid=22080 vsize=3024420 CPUtime=0.81 cores=1,3,5,7 /proc/22082/task/22097/stat : 22097 (java) S 22080 22082 7849 0 -1 4202560 11369 0 0 0 79 2 0 0 20 0 19 0 337320421 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799018428600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22098] ppid=22080 vsize=3024420 CPUtime=0.79 cores=1,3,5,7 /proc/22082/task/22098/stat : 22098 (java) S 22080 22082 7849 0 -1 4202560 6367 0 0 0 79 0 0 0 20 0 19 0 337320421 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799017375800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22099] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22099/stat : 22099 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799016323704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22100] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22100/stat : 22100 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799015271112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22104] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22104/stat : 22104 (java) S 22080 22082 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337320508 3097006080 25754 33554432000 1073741824 1073778376 140734264188080 139799013140008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.7 Current children cumulated vsize (KiB) 3024420 [startup+6.3007 s] /proc/loadavg: 2.14 2.03 2.00 3/213 22104 /proc/meminfo: memFree=28622480/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=3024420 CPUtime=7.96 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 22056 0 1 0 791 5 0 0 20 0 19 0 337320413 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 756105 26764 2279 9 0 746526 0 [pid=22082/tid=22084] ppid=22080 vsize=3024420 CPUtime=6.25 cores=1,3,5,7 /proc/22082/task/22084/stat : 22084 (java) R 22080 22082 7849 0 -1 4202560 3109 0 1 0 623 2 0 0 20 0 19 0 337320415 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799377867160 139799250559524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22085/stat : 22085 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799243778856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22086/stat : 22086 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799242726056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22087/stat : 22087 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799241673768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22088/stat : 22088 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799240620968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22089/stat : 22089 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799037995304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22090/stat : 22090 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799036942504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22091/stat : 22091 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799035890216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22092/stat : 22092 (java) S 22080 22082 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337320416 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799034837416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22093/stat : 22093 (java) S 22080 22082 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337320417 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799022639848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22094] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22094/stat : 22094 (java) S 22080 22082 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799021585912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22095] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22095/stat : 22095 (java) S 22080 22082 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799020533512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22096] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22096/stat : 22096 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799019482000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22097] ppid=22080 vsize=3024420 CPUtime=0.83 cores=1,3,5,7 /proc/22082/task/22097/stat : 22097 (java) S 22080 22082 7849 0 -1 4202560 11369 0 0 0 81 2 0 0 20 0 19 0 337320421 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799018428600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22098] ppid=22080 vsize=3024420 CPUtime=0.82 cores=1,3,5,7 /proc/22082/task/22098/stat : 22098 (java) S 22080 22082 7849 0 -1 4202560 6367 0 0 0 82 0 0 0 20 0 19 0 337320421 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799017375800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22099] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22099/stat : 22099 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799016323704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22100] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22100/stat : 22100 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799015271112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22104] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22104/stat : 22104 (java) S 22080 22082 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337320508 3097006080 26764 33554432000 1073741824 1073778376 140734264188080 139799013140008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.96 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] ################ # More data... # ################ [pid=22082/tid=22097] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22097/stat : 22097 (java) S 22080 22082 7849 0 -1 4202560 11383 0 0 0 87 2 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799018428600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22098] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22098/stat : 22098 (java) S 22080 22082 7849 0 -1 4202560 6371 0 0 0 89 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799017375800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22099] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22099/stat : 22099 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799016323704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22100] ppid=22080 vsize=3024420 CPUtime=0.85 cores=1,3,5,7 /proc/22082/task/22100/stat : 22100 (java) S 22080 22082 7849 0 -1 4202560 99 0 0 0 49 36 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799015271112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22104] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22104/stat : 22104 (java) S 22080 22082 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337320508 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799013140008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1729.09 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 1.30 1.74 1.90 2/189 22146 /proc/meminfo: memFree=27512836/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=3024420 CPUtime=1789.09 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 25607 0 1 0 178696 213 0 0 20 0 19 0 337320413 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 756105 421833 2307 9 0 746526 0 [pid=22082/tid=22084] ppid=22080 vsize=3024420 CPUtime=1771.07 cores=1,3,5,7 /proc/22082/task/22084/stat : 22084 (java) R 22080 22082 7849 0 -1 4202560 3294 0 1 0 177072 35 0 0 20 0 19 0 337320415 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799377866016 139799250477554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=3024420 CPUtime=0.6 cores=1,3,5,7 /proc/22082/task/22085/stat : 22085 (java) S 22080 22082 7849 0 -1 4202560 327 0 0 0 45 15 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799243778856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=3024420 CPUtime=0.58 cores=1,3,5,7 /proc/22082/task/22086/stat : 22086 (java) S 22080 22082 7849 0 -1 4202560 298 0 0 0 36 22 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799242726056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=3024420 CPUtime=0.62 cores=1,3,5,7 /proc/22082/task/22087/stat : 22087 (java) S 22080 22082 7849 0 -1 4202560 307 0 0 0 48 14 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799241673768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=3024420 CPUtime=0.87 cores=1,3,5,7 /proc/22082/task/22088/stat : 22088 (java) S 22080 22082 7849 0 -1 4202560 396 0 0 0 64 23 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799240620968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=3024420 CPUtime=0.68 cores=1,3,5,7 /proc/22082/task/22089/stat : 22089 (java) S 22080 22082 7849 0 -1 4202560 472 0 0 0 50 18 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799037995304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=3024420 CPUtime=0.75 cores=1,3,5,7 /proc/22082/task/22090/stat : 22090 (java) S 22080 22082 7849 0 -1 4202560 279 0 0 0 57 18 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799036942504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=3024420 CPUtime=0.72 cores=1,3,5,7 /proc/22082/task/22091/stat : 22091 (java) S 22080 22082 7849 0 -1 4202560 240 0 0 0 58 14 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799035890216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=3024420 CPUtime=0.52 cores=1,3,5,7 /proc/22082/task/22092/stat : 22092 (java) S 22080 22082 7849 0 -1 4202560 713 0 0 0 36 16 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799034837416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=3024420 CPUtime=5.14 cores=1,3,5,7 /proc/22082/task/22093/stat : 22093 (java) S 22080 22082 7849 0 -1 4202560 227 0 0 0 506 8 0 0 20 0 19 0 337320417 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799022639848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22094] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22094/stat : 22094 (java) S 22080 22082 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799021585912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22095] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22095/stat : 22095 (java) S 22080 22082 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799020533512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22096] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22096/stat : 22096 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799019482000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22097] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22097/stat : 22097 (java) S 22080 22082 7849 0 -1 4202560 11383 0 0 0 87 2 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799018428600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22098] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22098/stat : 22098 (java) S 22080 22082 7849 0 -1 4202560 6371 0 0 0 89 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799017375800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22099] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22099/stat : 22099 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799016323704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22100] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22100/stat : 22100 (java) S 22080 22082 7849 0 -1 4202560 103 0 0 0 51 38 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799015271112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22104] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22104/stat : 22104 (java) S 22080 22082 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337320508 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799013140008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1789.09 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.3 s] /proc/loadavg: 1.25 1.71 1.89 2/189 22146 /proc/meminfo: memFree=27512836/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 25609 0 1 0 179796 213 0 0 20 0 19 0 337320413 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 756105 421833 2307 9 0 746526 0 [pid=22082/tid=22084] ppid=22080 vsize=3024420 CPUtime=1782.05 cores=1,3,5,7 /proc/22082/task/22084/stat : 22084 (java) R 22080 22082 7849 0 -1 4202560 3294 0 1 0 178168 37 0 0 20 0 19 0 337320415 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799377866016 139799250477895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=3024420 CPUtime=0.6 cores=1,3,5,7 /proc/22082/task/22085/stat : 22085 (java) S 22080 22082 7849 0 -1 4202560 327 0 0 0 45 15 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799243778856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=3024420 CPUtime=0.58 cores=1,3,5,7 /proc/22082/task/22086/stat : 22086 (java) S 22080 22082 7849 0 -1 4202560 298 0 0 0 36 22 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799242726056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=3024420 CPUtime=0.62 cores=1,3,5,7 /proc/22082/task/22087/stat : 22087 (java) S 22080 22082 7849 0 -1 4202560 307 0 0 0 48 14 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799241673768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=3024420 CPUtime=0.87 cores=1,3,5,7 /proc/22082/task/22088/stat : 22088 (java) S 22080 22082 7849 0 -1 4202560 396 0 0 0 64 23 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799240620968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=3024420 CPUtime=0.68 cores=1,3,5,7 /proc/22082/task/22089/stat : 22089 (java) S 22080 22082 7849 0 -1 4202560 472 0 0 0 50 18 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799037995304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=3024420 CPUtime=0.75 cores=1,3,5,7 /proc/22082/task/22090/stat : 22090 (java) S 22080 22082 7849 0 -1 4202560 279 0 0 0 57 18 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799036942504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=3024420 CPUtime=0.72 cores=1,3,5,7 /proc/22082/task/22091/stat : 22091 (java) S 22080 22082 7849 0 -1 4202560 240 0 0 0 58 14 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799035890216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=3024420 CPUtime=0.52 cores=1,3,5,7 /proc/22082/task/22092/stat : 22092 (java) S 22080 22082 7849 0 -1 4202560 713 0 0 0 36 16 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799034837416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=3024420 CPUtime=5.14 cores=1,3,5,7 /proc/22082/task/22093/stat : 22093 (java) S 22080 22082 7849 0 -1 4202560 227 0 0 0 506 8 0 0 20 0 19 0 337320417 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799022639848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22094] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22094/stat : 22094 (java) S 22080 22082 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799021585912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22095] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22095/stat : 22095 (java) S 22080 22082 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799020533512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22096] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22096/stat : 22096 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799019482000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22097] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22097/stat : 22097 (java) S 22080 22082 7849 0 -1 4202560 11383 0 0 0 87 2 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799018428600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22098] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22098/stat : 22098 (java) S 22080 22082 7849 0 -1 4202560 6371 0 0 0 89 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799017375800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22099] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22099/stat : 22099 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799016323704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22100] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22100/stat : 22100 (java) S 22080 22082 7849 0 -1 4202560 105 0 0 0 51 38 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799015271112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22104] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22104/stat : 22104 (java) S 22080 22082 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337320508 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799013140008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.3 s] /proc/loadavg: 1.25 1.71 1.89 2/189 22146 /proc/meminfo: memFree=27512836/32873844 swapFree=7632/7632 [pid=22082] ppid=22080 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7 /proc/22082/stat : 22082 (java) S 22080 22082 7849 0 -1 4202496 25609 0 1 0 179796 213 0 0 20 0 19 0 337320413 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 140734264179216 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/22082/statm: 756105 421833 2307 9 0 746526 0 [pid=22082/tid=22084] ppid=22080 vsize=3024420 CPUtime=1782.05 cores=1,3,5,7 /proc/22082/task/22084/stat : 22084 (java) R 22080 22082 7849 0 -1 4202560 3294 0 1 0 178168 37 0 0 20 0 19 0 337320415 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799377866016 139799250477895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22085] ppid=22080 vsize=3024420 CPUtime=0.6 cores=1,3,5,7 /proc/22082/task/22085/stat : 22085 (java) S 22080 22082 7849 0 -1 4202560 327 0 0 0 45 15 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799243778856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22086] ppid=22080 vsize=3024420 CPUtime=0.58 cores=1,3,5,7 /proc/22082/task/22086/stat : 22086 (java) S 22080 22082 7849 0 -1 4202560 298 0 0 0 36 22 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799242726056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22087] ppid=22080 vsize=3024420 CPUtime=0.62 cores=1,3,5,7 /proc/22082/task/22087/stat : 22087 (java) S 22080 22082 7849 0 -1 4202560 307 0 0 0 48 14 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799241673768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22088] ppid=22080 vsize=3024420 CPUtime=0.87 cores=1,3,5,7 /proc/22082/task/22088/stat : 22088 (java) S 22080 22082 7849 0 -1 4202560 396 0 0 0 64 23 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799240620968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22089] ppid=22080 vsize=3024420 CPUtime=0.68 cores=1,3,5,7 /proc/22082/task/22089/stat : 22089 (java) S 22080 22082 7849 0 -1 4202560 472 0 0 0 50 18 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799037995304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22090] ppid=22080 vsize=3024420 CPUtime=0.75 cores=1,3,5,7 /proc/22082/task/22090/stat : 22090 (java) S 22080 22082 7849 0 -1 4202560 279 0 0 0 57 18 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799036942504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22091] ppid=22080 vsize=3024420 CPUtime=0.72 cores=1,3,5,7 /proc/22082/task/22091/stat : 22091 (java) S 22080 22082 7849 0 -1 4202560 240 0 0 0 58 14 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799035890216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22092] ppid=22080 vsize=3024420 CPUtime=0.52 cores=1,3,5,7 /proc/22082/task/22092/stat : 22092 (java) S 22080 22082 7849 0 -1 4202560 713 0 0 0 36 16 0 0 20 0 19 0 337320416 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799034837416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=22082/tid=22093] ppid=22080 vsize=3024420 CPUtime=5.14 cores=1,3,5,7 /proc/22082/task/22093/stat : 22093 (java) S 22080 22082 7849 0 -1 4202560 227 0 0 0 506 8 0 0 20 0 19 0 337320417 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799022639848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22094] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22094/stat : 22094 (java) S 22080 22082 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799021585912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22095] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22095/stat : 22095 (java) S 22080 22082 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337320418 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799020533512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=22082/tid=22096] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22096/stat : 22096 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799019482000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22097] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22097/stat : 22097 (java) S 22080 22082 7849 0 -1 4202560 11383 0 0 0 87 2 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799018428600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22098] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22098/stat : 22098 (java) S 22080 22082 7849 0 -1 4202560 6371 0 0 0 89 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799017375800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22099] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22099/stat : 22099 (java) S 22080 22082 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799016323704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=22082/tid=22100] ppid=22080 vsize=3024420 CPUtime=0.89 cores=1,3,5,7 /proc/22082/task/22100/stat : 22100 (java) S 22080 22082 7849 0 -1 4202560 105 0 0 0 51 38 0 0 20 0 19 0 337320421 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799015271112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=22082/tid=22104] ppid=22080 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/22082/task/22104/stat : 22104 (java) S 22080 22082 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337320508 3097006080 421833 33554432000 1073741824 1073778376 140734264188080 139799013140008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3024420 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22082 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=129402 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=410633 # CPU time returned by wait4() is 1795.54 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.34 CPU time (s): 1800.09 CPU user time (s): 1797.96 CPU system time (s): 2.13 CPU usage (%): 100.376 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.13 system time used= 2.41063 maximum resident set size= 1687460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25645 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38104 involuntary context switches= 7011 runsolver used 6.68198 second user time and 15.4527 second system time The end
Begin job on node130 at 2012-06-03 10:25:48 IDJOB=3736008 IDBENCH=25015 IDSOLVER=2319 FILE ID=node130/3736008-1338711948 RUNJOBID= node130-1338679215-16920 PBS_JOBID= 14636683 Free space on /tmp= 70972 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736008-1338711948/watcher-3736008-1338711948 -o /tmp/evaluation-result-3736008-1338711948/solver-3736008-1338711948 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736008-1338711948.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=933958120 node130.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.875 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.75 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.86 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28720528 kB Buffers: 416184 kB Cached: 2399192 kB SwapCached: 4256 kB Active: 1575216 kB Inactive: 1714972 kB Active(anon): 466748 kB Inactive(anon): 8128 kB Active(file): 1108468 kB Inactive(file): 1706844 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67099280 kB Dirty: 3944 kB Writeback: 0 kB AnonPages: 477088 kB Mapped: 17612 kB Shmem: 4 kB Slab: 722280 kB SReclaimable: 163944 kB SUnreclaim: 558336 kB KernelStack: 1608 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1826388 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 442368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70980 MiB End job on node130 at 2012-06-03 10:55:43