Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8 | ? (TO) | 3458 | 1800.05 | 1800.02 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 1.77673 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 53.49/53.56 o 47183 53.49/53.56 o 47162 53.49/53.56 o 47158 53.49/53.56 o 47156 53.49/53.56 o 47128 53.49/53.56 o 46282 53.49/53.56 o 44596 53.49/53.56 o 44583 53.49/53.56 o 44581 53.49/53.56 o 44575 53.49/53.56 o 44406 53.49/53.56 o 44257 53.49/53.56 o 44074 53.49/53.56 o 44071 53.49/53.56 o 44068 53.49/53.56 o 44065 53.49/53.56 o 44013 53.49/53.56 o 43962 53.49/53.56 o 43927 53.49/53.56 o 43253 53.49/53.56 o 43202 53.49/53.56 o 43091 53.49/53.56 o 42877 53.49/53.56 o 42872 53.49/53.56 o 42871 53.49/53.56 o 42868 53.49/53.56 o 42817 53.49/53.56 o 42809 53.49/53.56 o 42804 53.49/53.56 o 42786 53.49/53.56 o 42779 53.49/53.56 o 42754 53.49/53.56 o 42749 53.49/53.56 o 42744 53.49/53.56 o 42468 53.49/53.56 o 42455 53.49/53.56 o 42381 53.49/53.56 o 42192 53.49/53.56 o 42168 53.49/53.56 o 42132 53.49/53.56 o 42128 53.49/53.56 o 42096 53.49/53.56 o 42089 53.49/53.56 o 42064 53.49/53.56 o 42062 53.49/53.56 o 41170 53.49/53.56 o 41147 53.49/53.56 o 41099 53.49/53.56 o 41092 53.49/53.56 o 41080 53.49/53.56 o 40986 53.49/53.56 o 40943 53.49/53.56 o 40940 53.49/53.56 o 40892 53.49/53.56 o 40886 53.49/53.56 o 40868 53.49/53.56 o 40814 53.49/53.56 o 40796 53.49/53.56 o 40727 53.49/53.56 o 40725 53.49/53.56 o 40723 53.49/53.56 o 40721 53.49/53.56 o 40718 53.49/53.56 o 40675 53.49/53.56 o 40672 53.49/53.56 o 40562 53.49/53.56 o 40552 53.49/53.56 o 40543 53.49/53.56 o 40541 53.49/53.56 o 40540 53.49/53.56 o 40538 53.49/53.56 o 40491 53.49/53.56 o 40482 53.49/53.56 o 40408 53.49/53.56 o 40373 53.49/53.56 o 40367 53.49/53.56 o 40347 53.49/53.56 o 40320 53.49/53.56 o 40198 53.49/53.56 o 40156 53.49/53.56 o 39967 53.49/53.56 o 39965 53.49/53.56 o 39954 53.49/53.56 o 39952 53.49/53.56 o 39930 53.49/53.56 o 39923 53.49/53.56 o 39909 53.49/53.56 o 39906 53.49/53.56 o 39881 53.49/53.56 o 39849 53.49/53.56 o 39811 53.49/53.56 o 39807 53.49/53.56 o 39780 53.49/53.56 o 39769 53.49/53.56 o 39768 53.49/53.56 o 39762 53.49/53.56 o 39757 53.49/53.56 o 39740 53.49/53.56 o 39732 53.49/53.56 o 39725 53.49/53.56 o 39666 53.49/53.56 o 39657 53.49/53.56 o 39655 53.49/53.56 o 39648 53.49/53.56 o 39638 53.49/53.56 o 39636 53.49/53.56 o 39596 53.49/53.56 o 39583 53.49/53.56 o 39514 53.49/53.56 o 39503 53.49/53.56 o 39502 53.49/53.56 o 39497 53.49/53.56 o 39493 53.49/53.56 o 39486 53.49/53.56 o 39464 53.49/53.56 o 39459 53.49/53.56 o 39457 53.49/53.56 o 39359 53.49/53.56 o 39341 53.49/53.56 o 39339 53.49/53.56 o 39300 53.49/53.56 o 39299 53.49/53.56 o 39265 53.49/53.56 o 33875 53.49/53.56 o 33874 53.49/53.56 o 33864 53.49/53.56 o 33855 53.49/53.56 o 33850 53.49/53.56 o 33811 53.49/53.56 o 33772 53.49/53.56 o 33733 53.49/53.56 o 33707 53.49/53.56 o 33684 53.49/53.56 o 33661 53.49/53.56 o 33625 53.49/53.56 o 33594 53.49/53.56 o 33564 53.49/53.56 o 33548 53.49/53.56 o 33515 53.49/53.56 o 33505 53.49/53.56 o 33498 53.49/53.56 o 33494 53.49/53.56 o 33435 53.49/53.56 o 33433 53.49/53.56 o 33432 53.49/53.56 o 33430 53.49/53.56 o 33425 53.49/53.56 o 33416 53.49/53.56 o 33376 53.49/53.56 o 33354 53.49/53.56 o 33331 53.49/53.56 o 33310 53.49/53.56 o 33308 53.49/53.56 o 33293 53.49/53.56 o 33289 53.49/53.56 o 33264 53.49/53.56 o 33261 53.49/53.56 o 33223 53.49/53.56 o 33216 53.49/53.56 o 33135 53.49/53.56 o 33123 53.49/53.56 o 33117 53.49/53.56 o 33109 53.49/53.56 o 33098 53.49/53.56 o 33093 53.49/53.56 o 33059 53.49/53.56 o 33044 53.49/53.56 o 33037 53.49/53.56 o 33029 53.49/53.56 o 33013 53.49/53.56 o 33001 53.49/53.56 o 32982 53.49/53.56 o 32974 53.49/53.56 o 32952 53.49/53.56 o 32949 53.49/53.56 o 32938 53.49/53.56 o 32916 53.49/53.56 o 32874 53.49/53.56 o 32841 53.49/53.56 o 32830 53.49/53.56 o 32737 53.49/53.56 o 32711 53.49/53.56 o 32682 53.49/53.56 o 32679 53.49/53.56 o 32656 53.49/53.56 o 32643 53.49/53.56 o 32627 53.49/53.56 o 32614 53.49/53.56 o 32598 53.49/53.56 o 32589 53.49/53.56 o 32578 53.49/53.56 o 32575 53.49/53.56 o 32507 53.49/53.56 o 32502 53.49/53.56 o 32498 53.49/53.56 o 32472 53.49/53.56 o 32452 53.49/53.56 o 32392 53.49/53.56 o 32390 53.49/53.56 o 32368 53.49/53.56 o 32347 53.49/53.56 o 32343 53.49/53.56 o 32339 53.49/53.56 o 32335 53.49/53.56 o 32331 53.49/53.56 o 32327 53.49/53.56 o 32323 53.49/53.56 o 32320 53.49/53.56 o 32319 53.49/53.56 o 32318 53.49/53.56 o 32317 53.49/53.56 o 32315 53.49/53.56 o 32309 53.49/53.56 o 32286 53.49/53.56 o 32229 53.49/53.56 o 32107 53.49/53.56 o 32100 53.49/53.56 o 32095 53.49/53.56 o 32091 53.49/53.56 o 32069 53.49/53.56 o 32066 53.49/53.56 o 32055 53.49/53.56 o 32052 53.49/53.56 o 32041 53.49/53.56 o 32034 53.49/53.56 o 32029 53.49/53.56 o 32012 53.49/53.56 o 31999 53.49/53.56 o 31994 53.49/53.56 o 31954 53.49/53.56 o 31911 53.49/53.56 o 31794 53.49/53.56 o 31741 53.49/53.56 o 31615 53.49/53.56 o 31538 53.49/53.56 o 31522 53.49/53.56 o 31503 53.49/53.56 o 31501 53.49/53.56 o 31475 53.49/53.56 o 31442 53.49/53.56 o 31413 53.49/53.56 o 31371 53.49/53.56 o 31151 53.49/53.56 o 31150 53.49/53.56 o 31148 53.49/53.56 o 31132 53.49/53.56 o 31131 53.49/53.56 o 31119 53.49/53.56 o 31116 53.49/53.56 o 31113 53.49/53.56 o 31109 53.49/53.56 o 31104 53.49/53.56 o 31100 53.49/53.56 o 31096 53.49/53.56 o 31094 53.49/53.56 o 31093 53.49/53.57 o 31070 53.49/53.57 o 31058 53.49/53.57 o 30772 53.49/53.57 o 30669 53.49/53.57 o 30668 53.49/53.57 o 30667 53.49/53.57 o 30634 53.49/53.57 o 30630 53.49/53.57 o 30626 53.49/53.57 o 30622 53.49/53.57 o 30621 53.49/53.57 o 30603 53.49/53.57 o 30597 53.49/53.57 o 30576 53.49/53.57 o 30527 53.49/53.57 o 30516 53.49/53.57 o 30514 53.49/53.57 o 30477 53.49/53.57 o 30470 53.49/53.57 o 30456 53.49/53.57 o 30452 53.49/53.57 o 30426 53.49/53.57 o 30413 53.49/53.57 o 30392 53.49/53.57 o 30386 53.49/53.57 o 30321 53.49/53.57 o 30312 53.49/53.57 o 30298 53.49/53.57 o 30295 53.49/53.57 o 30255 53.49/53.57 o 30250 53.49/53.57 o 30249 53.49/53.57 o 30246 53.49/53.57 o 30228 53.49/53.57 o 30222 53.49/53.57 o 30217 53.49/53.57 o 30212 53.49/53.57 o 30208 53.49/53.57 o 30207 53.49/53.57 o 30205 53.49/53.57 o 30200 53.49/53.57 o 30194 53.49/53.57 o 30192 53.49/53.57 o 30179 53.49/53.57 o 30176 53.49/53.57 o 30170 53.49/53.57 o 30062 53.49/53.57 o 30054 53.49/53.57 o 30045 53.49/53.57 o 30030 53.49/53.57 o 30012 53.49/53.57 o 29999 53.49/53.57 o 29987 53.49/53.57 o 29975 53.49/53.57 o 29250 53.49/53.57 o 29249 53.49/53.57 o 29248 53.49/53.57 o 29198 53.49/53.57 o 29194 53.49/53.57 o 29191 53.49/53.57 o 29188 53.49/53.57 o 29173 53.49/53.57 o 29165 53.49/53.57 o 29124 53.49/53.57 o 29117 53.49/53.57 o 29075 53.49/53.57 o 29049 53.49/53.57 o 29016 53.49/53.57 o 28796 53.49/53.57 o 25575 53.49/53.57 o 25574 53.49/53.57 o 25571 53.49/53.57 o 25568 53.49/53.57 o 25559 53.49/53.57 o 25512 53.49/53.57 o 25511 53.49/53.57 o 25508 53.49/53.57 o 25498 53.49/53.57 o 25485 53.49/53.57 o 25481 53.49/53.57 o 25467 53.49/53.57 o 25449 53.49/53.57 o 25427 53.49/53.57 o 25310 53.49/53.57 o 25307 53.49/53.57 o 25034 53.49/53.57 o 25026 53.49/53.57 o 25022 53.49/53.57 o 25009 53.49/53.57 o 25004 53.49/53.57 o 24975 53.49/53.57 o 24923 53.49/53.57 o 24894 53.49/53.57 o 24871 53.49/53.57 o 24850 53.49/53.57 o 24829 53.49/53.57 o 24782 53.49/53.57 o 24774 53.49/53.57 o 23662 53.49/53.57 o 23661 53.49/53.57 o 23657 53.49/53.57 o 23654 53.49/53.57 o 23650 53.49/53.57 o 23646 53.49/53.57 o 23640 53.49/53.57 o 23639 53.49/53.57 o 23637 53.49/53.57 o 23632 53.49/53.57 o 23629 53.49/53.57 o 23612 53.49/53.57 o 23608 53.49/53.57 o 23607 53.49/53.57 o 23602 53.49/53.57 o 23599 53.49/53.57 o 23596 53.49/53.57 o 23592 53.49/53.57 o 23587 53.49/53.57 o 23584 53.49/53.57 o 23581 53.49/53.57 o 23577 53.49/53.57 o 23561 53.49/53.57 o 23559 53.49/53.57 o 23553 53.49/53.57 o 23538 53.49/53.57 o 23521 53.49/53.57 o 23520 53.49/53.57 o 23516 53.49/53.57 o 23512 53.49/53.57 o 23504 53.49/53.57 o 23503 53.49/53.57 o 23501 53.49/53.57 o 23495 53.49/53.57 o 23493 53.49/53.57 o 23487 53.49/53.57 o 23150 53.49/53.57 o 23149 53.49/53.57 o 23138 53.49/53.57 o 23095 53.49/53.57 o 23082 53.49/53.57 o 23077 53.49/53.57 o 17728 53.49/53.57 o 17722 53.49/53.57 o 17695 53.49/53.57 o 17660 53.49/53.57 o 17653 53.49/53.57 o 17649 53.49/53.57 o 17636 53.49/53.57 o 17620 53.49/53.57 o 17602 53.49/53.57 o 17580 53.49/53.57 o 17541 53.49/53.57 o 17527 53.49/53.57 o 17520 53.49/53.57 o 17500 53.49/53.57 o 17488 53.49/53.57 o 17473 53.49/53.57 o 17464 53.49/53.57 o 17453 53.49/53.57 o 17396 53.49/53.57 o 17373 53.49/53.57 o 17337 53.49/53.57 o 17169 53.49/53.57 o 17164 53.49/53.57 o 17156 53.49/53.57 o 17151 53.49/53.57 o 17143 53.49/53.57 o 17139 53.49/53.57 o 17123 53.49/53.57 o 17105 53.49/53.57 o 17083 53.49/53.57 o 17069 53.49/53.57 o 16674 53.49/53.57 o 16628 53.49/53.57 o 14628 53.49/53.57 o 14624 53.49/53.57 o 14621 53.49/53.57 o 14597 53.49/53.57 o 14561 53.49/53.57 o 14526 53.49/53.57 o 14479 53.49/53.57 o 14402 53.49/53.57 o 14398 53.49/53.57 o 14338 53.49/53.57 o 14337 53.49/53.57 o 14335 53.49/53.57 o 14308 53.49/53.57 o 14216 53.49/53.57 o 14215 53.49/53.57 o 14213 53.49/53.57 o 14208 53.49/53.57 o 14206 53.49/53.57 o 14204 53.49/53.57 o 14201 53.49/53.57 o 14198 53.49/53.57 o 14193 53.49/53.57 o 14190 53.49/53.57 o 14174 53.49/53.57 o 14057 53.49/53.57 o 14056 53.49/53.57 o 13941 53.49/53.57 o 13929 53.49/53.57 o 13916 53.49/53.57 o 13903 53.49/53.57 o 13887 53.49/53.57 o 13873 53.49/53.57 o 13872 53.49/53.57 o 13864 53.49/53.57 o 13862 53.49/53.57 o 12362 53.49/53.57 o 12349 53.49/53.57 o 8366 53.49/53.57 o 8322 53.49/53.57 o 8321 53.49/53.57 o 8306 53.49/53.57 o 8296 53.49/53.57 o 8287 53.49/53.57 o 8284 53.49/53.57 o 8283 53.49/53.57 o 8279 53.49/53.57 o 7279 53.49/53.57 o 7277 53.49/53.57 o 7275 53.49/53.57 o 7272 53.49/53.57 o 7170 53.49/53.57 o 7169 53.49/53.57 o 6616 53.49/53.57 o 6615 53.49/53.57 o 6614 53.49/53.57 o 6612 53.49/53.57 o 6610 53.49/53.57 o 6608 53.49/53.57 o 6606 53.49/53.57 o 6604 53.49/53.57 o 6599 53.49/53.57 o 6595 53.49/53.57 o 6589 53.49/53.57 o 6587 53.49/53.57 o 6586 53.49/53.57 o 6583 53.49/53.57 o 6580 53.49/53.57 o 6576 53.49/53.57 o 6575 53.49/53.57 o 6574 53.49/53.57 o 6573 53.49/53.57 o 6569 53.49/53.57 o 6565 53.49/53.57 o 6547 53.49/53.57 o 6537 53.49/53.57 o 6489 53.49/53.57 o 6479 53.49/53.57 o 6471 53.49/53.57 o 6438 53.49/53.57 o 6412 53.49/53.57 o 6383 53.49/53.57 o 6376 53.49/53.57 o 6368 53.49/53.57 o 6357 53.49/53.57 o 6345 53.49/53.57 o 6340 53.49/53.57 o 6334 53.49/53.57 o 6332 53.49/53.57 o 6330 53.49/53.57 o 63>>> Terminate signal received 1800.03/1800.01 27 1800.03/1800.01 o 6295 1800.03/1800.01 o 6268 1800.03/1800.01 o 6265 1800.03/1800.01 o 6264 1800.03/1800.01 o 6178 1800.03/1800.01 o 6177 1800.03/1800.01 o 6141 1800.03/1800.01 o 6140 1800.03/1800.01 o 6139 1800.03/1800.01 o 6138 1800.03/1800.01 o 6137 1800.03/1800.01 o 6134 1800.03/1800.01 o 6132 1800.03/1800.01 o 6129 1800.03/1800.01 o 6128 1800.03/1800.01 o 6126 1800.03/1800.01 o 6125 1800.03/1800.01 o 6059 1800.03/1800.01 o 5956 1800.03/1800.01 o 5938 1800.03/1800.01 o 5931 1800.03/1800.01 o 5882 1800.03/1800.01 o 5879 1800.03/1800.01 o 5871 1800.03/1800.01 o 5869 1800.03/1800.01 o 5868 1800.03/1800.01 o 5867 1800.03/1800.01 o 5863 1800.03/1800.01 o 5859 1800.03/1800.01 o 5826 1800.03/1800.01 o 5802 1800.03/1800.01 o 5801 1800.03/1800.01 o 5797 1800.03/1800.01 o 5780 1800.03/1800.01 o 5770 1800.03/1800.01 o 5766 1800.03/1800.01 o 5762 1800.03/1800.01 o 5757 1800.03/1800.01 o 5755 1800.03/1800.01 o 5753 1800.03/1800.01 o 5747 1800.03/1800.01 o 5739 1800.03/1800.01 o 5738 1800.03/1800.01 o 5703 1800.03/1800.01 o 5700 1800.03/1800.01 o 5692 1800.03/1800.01 o 5672 1800.03/1800.01 o 5632 1800.03/1800.01 o 5629 1800.03/1800.01 o 5612 1800.03/1800.01 o 5609 1800.03/1800.01 o 5602 1800.03/1800.01 o 5597 1800.03/1800.01 o 5595 1800.03/1800.01 o 5593 1800.03/1800.01 o 5592 1800.03/1800.01 o 5587 1800.03/1800.01 o 5584 1800.03/1800.01 o 5581 1800.03/1800.01 o 5320 1800.03/1800.01 o 5318 1800.03/1800.01 o 5317 1800.03/1800.01 o 5316 1800.03/1800.01 o 5313 1800.03/1800.01 o 5307 1800.03/1800.01 o 5306 1800.03/1800.01 o 5269 1800.03/1800.01 o 5268 1800.03/1800.01 o 5266 1800.03/1800.01 o 5265 1800.03/1800.01 o 5264 1800.03/1800.01 o 5261 1800.03/1800.01 o 5213 1800.03/1800.01 o 5211 1800.03/1800.01 o 5209 1800.03/1800.01 o 5206 1800.03/1800.01 o 5194 1800.03/1800.01 o 5192 1800.03/1800.01 o 5172 1800.03/1800.01 o 5165 1800.03/1800.01 o 5065 1800.03/1800.01 o 5058 1800.03/1800.01 o 5057 1800.03/1800.01 o 5046 1800.03/1800.01 o 5043 1800.03/1800.01 o 4988 1800.03/1800.01 o 4954 1800.03/1800.01 o 4922 1800.03/1800.01 o 4872 1800.03/1800.01 o 4857 1800.03/1800.01 o 4852 1800.03/1800.01 o 4844 1800.03/1800.01 o 4842 1800.03/1800.01 o 4841 1800.03/1800.01 o 4838 1800.03/1800.01 o 4771 1800.03/1800.01 o 4756 1800.03/1800.01 o 4743 1800.03/1800.01 o 4738 1800.03/1800.01 o 4737 1800.03/1800.01 o 4733 1800.03/1800.01 o 4731 1800.03/1800.01 o 4730 1800.03/1800.01 o 4726 1800.03/1800.01 o 4723 1800.03/1800.01 o 4721 1800.03/1800.01 o 4717 1800.03/1800.01 o 4715 1800.03/1800.01 o 4709 1800.03/1800.01 o 4708 1800.03/1800.01 o 4693 1800.03/1800.01 o 4659 1800.03/1800.01 o 4617 1800.03/1800.01 o 4607 1800.03/1800.01 o 4605 1800.03/1800.01 o 4603 1800.03/1800.01 o 4561 1800.03/1800.01 o 4558 1800.03/1800.01 o 4556 1800.03/1800.01 o 4555 1800.03/1800.01 o 4553 1800.03/1800.01 o 4540 1800.03/1800.01 o 4536 1800.03/1800.01 o 4535 1800.03/1800.01 o 4534 1800.03/1800.01 o 4533 1800.03/1800.01 o 4532 1800.03/1800.01 o 4440 1800.03/1800.01 o 4439 1800.03/1800.01 o 4437 1800.03/1800.01 o 4436 1800.03/1800.01 o 4406 1800.03/1800.01 o 4402 1800.03/1800.01 o 4384 1800.03/1800.01 o 4383 1800.03/1800.01 o 4382 1800.03/1800.01 o 4381 1800.03/1800.01 o 4359 1800.03/1800.01 o 4358 1800.03/1800.01 o 4357 1800.03/1800.01 o 4356 1800.03/1800.01 o 4355 1800.03/1800.01 o 4354 1800.03/1800.01 o 4350 1800.03/1800.01 o 4328 1800.03/1800.01 o 4310 1800.03/1800.01 o 4296 1800.03/1800.01 o 4294 1800.03/1800.01 o 4281 1800.03/1800.01 o 4273 1800.03/1800.01 o 4263 1800.03/1800.01 o 4255 1800.03/1800.01 o 4249 1800.03/1800.01 o 4246 1800.03/1800.01 o 4242 1800.03/1800.01 o 4236 1800.03/1800.01 o 4230 1800.03/1800.01 o 4222 1800.03/1800.01 o 4220 1800.03/1800.01 o 4214 1800.03/1800.01 o 4213 1800.03/1800.01 o 4197 1800.03/1800.01 o 4193 1800.03/1800.01 o 4190 1800.03/1800.01 o 4186 1800.03/1800.01 o 4182 1800.03/1800.01 o 4181 1800.03/1800.01 o 4172 1800.03/1800.01 o 4171 1800.03/1800.01 o 4167 1800.03/1800.01 o 4165 1800.03/1800.01 o 4159 1800.03/1800.01 o 4158 1800.03/1800.01 o 4157 1800.03/1800.01 o 4150 1800.03/1800.01 o 4149 1800.03/1800.01 o 4129 1800.03/1800.01 o 4125 1800.03/1800.01 o 4112 1800.03/1800.01 o 4095 1800.03/1800.01 o 4091 1800.03/1800.01 o 4088 1800.03/1800.01 o 4067 1800.03/1800.01 o 4058 1800.03/1800.01 o 4056 1800.03/1800.01 o 4052 1800.03/1800.01 o 4051 1800.03/1800.01 o 4048 1800.03/1800.01 o 4047 1800.03/1800.01 o 4023 1800.03/1800.01 o 4020 1800.03/1800.01 o 4015 1800.03/1800.01 o 4010 1800.03/1800.01 o 4006 1800.03/1800.01 o 3990 1800.03/1800.01 o 3988 1800.03/1800.01 o 3987 1800.03/1800.01 o 3984 1800.03/1800.01 o 3976 1800.03/1800.01 o 3974 1800.03/1800.01 o 3971 1800.03/1800.01 o 3963 1800.03/1800.01 o 3962 1800.03/1800.01 o 3959 1800.03/1800.01 o 3957 1800.03/1800.01 o 3956 1800.03/1800.01 o 3950 1800.03/1800.01 o 3948 1800.03/1800.01 o 3947 1800.03/1800.01 o 3946 1800.03/1800.01 o 3942 1800.03/1800.01 o 3941 1800.03/1800.01 o 3939 1800.03/1800.01 o 3922 1800.03/1800.01 o 3863 1800.03/1800.01 o 3862 1800.03/1800.01 o 3857 1800.03/1800.01 o 3856 1800.03/1800.01 o 3829 1800.03/1800.01 o 3827 1800.03/1800.01 o 3821 1800.03/1800.01 o 3820 1800.03/1800.01 o 3810 1800.03/1800.01 o 3806 1800.03/1800.01 o 3805 1800.03/1800.01 o 3801 1800.03/1800.01 o 3798 1800.03/1800.01 o 3787 1800.03/1800.01 o 3757 1800.03/1800.01 o 3752 1800.03/1800.01 o 3721 1800.03/1800.01 o 3720 1800.03/1800.01 o 3718 1800.03/1800.01 o 3715 1800.03/1800.01 o 3696 1800.03/1800.01 o 3695 1800.03/1800.01 o 3687 1800.03/1800.01 o 3686 1800.03/1800.01 o 3685 1800.03/1800.01 o 3684 1800.03/1800.01 o 3682 1800.03/1800.01 o 3677 1800.03/1800.01 o 3672 1800.03/1800.01 o 3665 1800.03/1800.01 o 3663 1800.03/1800.01 o 3652 1800.03/1800.01 o 3650 1800.03/1800.01 o 3647 1800.03/1800.01 o 3638 1800.03/1800.01 o 3630 1800.03/1800.01 o 3627 1800.03/1800.01 o 3620 1800.03/1800.01 o 3619 1800.03/1800.01 o 3618 1800.03/1800.01 o 3617 1800.03/1800.01 o 3616 1800.03/1800.01 o 3605 1800.03/1800.01 o 3590 1800.03/1800.01 o 3580 1800.03/1800.01 o 3571 1800.03/1800.01 o 3570 1800.03/1800.01 o 3568 1800.03/1800.01 o 3567 1800.03/1800.01 o 3565 1800.03/1800.01 o 3564 1800.03/1800.01 o 3563 1800.03/1800.01 o 3561 1800.03/1800.01 o 3560 1800.03/1800.01 o 3558 1800.03/1800.01 o 3526 1800.03/1800.01 o 3524 1800.03/1800.01 o 3523 1800.03/1800.01 o 3522 1800.03/1800.01 o 3513 1800.03/1800.01 o 3511 1800.03/1800.01 o 3510 1800.03/1800.01 o 3508 1800.03/1800.01 o 3506 1800.03/1800.01 o 3505 1800.03/1800.01 o 3503 1800.03/1800.01 o 3502 1800.03/1800.01 o 3501 1800.03/1800.01 o 3498 1800.03/1800.01 o 3497 1800.03/1800.01 o 3492 1800.03/1800.01 o 3491 1800.03/1800.01 o 3483 1800.03/1800.01 o 3480 1800.03/1800.01 o 3479 1800.03/1800.01 o 3475 1800.03/1800.01 o 3467 1800.03/1800.01 o 3460 1800.03/1800.01 o 3458 1800.03/1800.01 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
OK 3458
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3464656-1307386774/watcher-3464656-1307386774 -o /tmp/evaluation-result-3464656-1307386774/solver-3464656-1307386774 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3464656-1307386774.opb --verbosity=0 --format=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: 2.00 2.03 2.00 2/489 17578 /proc/meminfo: memFree=27001496/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=7964 CPUtime=0.01 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 553 0 0 0 1 0 0 0 25 0 1 0 850275941 8155136 506 33554432000 4194304 6539028 140734048432672 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 1991 506 236 573 0 1409 0 [startup+0.04004 s] /proc/loadavg: 2.00 2.03 2.00 2/489 17578 /proc/meminfo: memFree=27001496/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=11012 CPUtime=0.03 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 1346 0 0 0 3 0 0 0 25 0 1 0 850275941 11276288 1285 33554432000 4194304 6539028 140734048432672 18446744073709551615 4714768 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 2753 1285 260 573 0 2171 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11012 [startup+0.10103 s] /proc/loadavg: 2.00 2.03 2.00 2/489 17578 /proc/meminfo: memFree=27001496/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=6660 CPUtime=0.09 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 1354 0 0 0 9 0 0 0 25 0 1 0 850275941 6819840 1292 33554432000 4194304 6539028 140734048432672 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 1665 1292 261 573 0 1083 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6660 [startup+0.300995 s] /proc/loadavg: 2.00 2.03 2.00 2/489 17578 /proc/meminfo: memFree=27001496/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=7796 CPUtime=0.29 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 1484 0 0 0 29 0 0 0 25 0 1 0 850275941 7983104 1421 33554432000 4194304 6539028 140734048432672 18446744073709551615 5649714 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 1949 1421 267 573 0 1367 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7796 [startup+0.700929 s] /proc/loadavg: 2.00 2.03 2.00 2/489 17578 /proc/meminfo: memFree=27001496/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=7796 CPUtime=0.69 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 1573 0 0 0 69 0 0 0 25 0 1 0 850275941 7983104 1510 33554432000 4194304 6539028 140734048432672 18446744073709551615 4282524 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 1949 1510 269 573 0 1367 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7796 [startup+1.50079 s] /proc/loadavg: 2.00 2.03 2.00 3/490 17579 /proc/meminfo: memFree=26995288/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=7948 CPUtime=1.49 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 1638 0 0 0 149 0 0 0 25 0 1 0 850275941 8138752 1575 33554432000 4194304 6539028 140734048432672 18446744073709551615 4702311 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 1987 1575 270 573 0 1405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7948 [startup+3.10052 s] /proc/loadavg: 2.00 2.03 2.00 3/490 17579 /proc/meminfo: memFree=26994440/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=9484 CPUtime=3.09 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 2002 0 0 0 309 0 0 0 25 0 1 0 850275941 9711616 1934 33554432000 4194304 6539028 140734048432672 18446744073709551615 5634860 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 2371 1934 270 573 0 1789 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9484 [startup+6.30099 s] /proc/loadavg: 2.00 2.03 2.00 3/490 17579 /proc/meminfo: memFree=26992544/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=9484 CPUtime=6.29 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 2071 0 0 0 629 0 0 0 25 0 1 0 850275941 9711616 2003 33554432000 4194304 6539028 140734048432672 18446744073709551615 4524117 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 2371 2003 270 573 0 1789 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9484 [startup+12.7009 s] /proc/loadavg: 2.00 2.03 2.00 3/490 17579 /proc/meminfo: memFree=26991424/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=10228 CPUtime=12.69 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 2098 0 0 0 1269 0 0 0 25 0 1 0 850275941 10473472 2030 33554432000 4194304 6539028 140734048432672 18446744073709551615 4501540 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 2557 2030 270 573 0 1975 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10228 [startup+25.5008 s] /proc/loadavg: 2.00 2.03 2.00 3/490 17579 /proc/meminfo: memFree=26991944/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=10228 CPUtime=25.49 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 2104 0 0 0 2549 0 0 0 25 0 1 0 850275941 10473472 2036 33554432000 4194304 6539028 140734048432672 18446744073709551615 4718144 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 2557 2036 270 573 0 1975 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10228 [startup+51.1005 s] /proc/loadavg: 2.00 2.02 2.00 3/490 17580 /proc/meminfo: memFree=26990892/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=12940 CPUtime=51.09 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 2351 0 0 0 5109 0 0 0 25 0 1 0 850275941 13250560 2283 33554432000 4194304 6539028 140734048432672 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 3235 2283 270 573 0 2653 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 12940 [startup+102.319 s] /proc/loadavg: 2.08 2.05 2.01 3/490 17590 /proc/meminfo: memFree=26985960/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=20036 CPUtime=102.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 4347 0 0 0 10231 0 0 0 25 0 1 0 850275941 20516864 3077 33554432000 4194304 6539028 140734048432672 18446744073709551615 4716032 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 5009 3077 270 573 0 4427 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 20036 [startup+162.301 s] /proc/loadavg: 2.07 2.05 2.01 3/490 17592 /proc/meminfo: memFree=26985804/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=20036 CPUtime=162.29 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 4418 0 0 0 16229 0 0 0 25 0 1 0 850275941 20516864 3147 33554432000 4194304 6539028 140734048432672 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 5009 3147 270 573 0 4427 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 20036 [startup+222.301 s] /proc/loadavg: 2.02 2.04 2.00 3/490 17593 /proc/meminfo: memFree=26979956/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=20036 CPUtime=222.29 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 5894 0 0 0 22229 0 0 0 25 0 1 0 850275941 20516864 4613 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701536 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 5009 4613 270 573 0 4427 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 20036 [startup+282.301 s] /proc/loadavg: 2.01 2.03 2.00 3/490 17597 /proc/meminfo: memFree=26981928/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=18324 CPUtime=282.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 10799 0 0 0 28229 1 0 0 25 0 1 0 850275941 18763776 3943 33554432000 4194304 6539028 140734048432672 18446744073709551615 4698640 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 4581 3943 270 573 0 3999 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 18324 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/490 17600 /proc/meminfo: memFree=26981356/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=342.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 11123 0 0 0 34229 1 0 0 25 0 1 0 850275941 29536256 4266 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701582 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 4266 270 573 0 6629 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 28844 [startup+402.3 s] /proc/loadavg: 2.22 2.08 2.02 3/490 17629 /proc/meminfo: memFree=26078392/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=402.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 11123 0 0 0 40229 1 0 0 25 0 1 0 850275941 29536256 4266 33554432000 4194304 6539028 140734048432672 18446744073709551615 4715720 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 4266 270 573 0 6629 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 28844 [startup+462.3 s] /proc/loadavg: 2.08 2.06 2.01 3/490 17631 /proc/meminfo: memFree=26079344/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=462.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 11123 0 0 0 46229 1 0 0 25 0 1 0 850275941 29536256 4266 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701536 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 4266 270 573 0 6629 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 28844 [startup+522.3 s] /proc/loadavg: 2.11 2.06 2.01 3/490 17632 /proc/meminfo: memFree=26079216/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=522.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 11124 0 0 0 52229 1 0 0 25 0 1 0 850275941 29536256 4267 33554432000 4194304 6539028 140734048432672 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 4267 270 573 0 6629 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 28844 [startup+582.3 s] /proc/loadavg: 2.11 2.07 2.01 3/490 17634 /proc/meminfo: memFree=26075600/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=582.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 11900 0 0 0 58229 1 0 0 25 0 1 0 850275941 29536256 5039 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701550 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 5039 270 573 0 6629 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 28844 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.02 2.05 2.00 3/490 17640 /proc/meminfo: memFree=26068832/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=822.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 13693 0 0 0 82229 1 0 0 25 0 1 0 850275941 29536256 6815 33554432000 4194304 6539028 140734048432672 18446744073709551615 4702267 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 6815 270 573 0 6629 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 28844 [startup+882.301 s] /proc/loadavg: 2.01 2.03 2.00 3/490 17642 /proc/meminfo: memFree=26068312/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=882.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 13693 0 0 0 88229 1 0 0 25 0 1 0 850275941 29536256 6815 33554432000 4194304 6539028 140734048432672 18446744073709551615 4698640 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 6815 270 573 0 6629 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 28844 [startup+942.301 s] /proc/loadavg: 2.00 2.03 2.00 3/490 17644 /proc/meminfo: memFree=26069028/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=942.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 13693 0 0 0 94229 1 0 0 25 0 1 0 850275941 29536256 6815 33554432000 4194304 6539028 140734048432672 18446744073709551615 4714768 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 6815 270 573 0 6629 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 28844 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 17645 /proc/meminfo: memFree=26069140/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=28844 CPUtime=1002.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 13693 0 0 0 100229 1 0 0 25 0 1 0 850275941 29536256 6815 33554432000 4194304 6539028 140734048432672 18446744073709551615 4718165 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 7211 6815 270 573 0 6629 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 28844 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 17647 /proc/meminfo: memFree=26064284/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1062.3 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 106229 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4698535 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 40340 [startup+1122.3 s] /proc/loadavg: 2.08 2.04 2.01 3/490 17648 /proc/meminfo: memFree=26064384/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1122.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 112230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701578 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 40340 [startup+1182.3 s] /proc/loadavg: 2.10 2.06 2.01 3/490 17650 /proc/meminfo: memFree=26063848/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1182.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 118230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 40340 [startup+1242.3 s] /proc/loadavg: 2.04 2.04 2.01 3/490 17652 /proc/meminfo: memFree=26063592/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1242.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 124230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4702311 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 40340 [startup+1302.3 s] /proc/loadavg: 2.21 2.08 2.02 3/490 17653 /proc/meminfo: memFree=26062820/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1302.32 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 130231 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701536 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 40340 [startup+1362.3 s] /proc/loadavg: 2.08 2.06 2.01 3/490 17655 /proc/meminfo: memFree=26062932/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1362.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 136230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 5634810 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 40340 [startup+1422.32 s] /proc/loadavg: 2.03 2.05 2.00 3/490 17656 /proc/meminfo: memFree=26063040/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1422.33 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 142232 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701578 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 40340 [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.00 3/490 17658 /proc/meminfo: memFree=26062904/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1482.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 148230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 40340 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/490 17660 /proc/meminfo: memFree=26064116/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1542.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 154230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4626569 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 40340 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 17661 /proc/meminfo: memFree=26063612/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1602.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 160230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 5648556 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 40340 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 17663 /proc/meminfo: memFree=26063592/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1662.31 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 166230 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 40340 [startup+1722.3 s] /proc/loadavg: 2.10 2.04 2.01 3/490 17664 /proc/meminfo: memFree=26063456/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1722.32 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 172231 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4498896 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 40340 [startup+1782.3 s] /proc/loadavg: 2.08 2.05 2.01 3/490 17666 /proc/meminfo: memFree=26062804/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1782.32 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 178231 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4698553 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 40340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.04 2.01 3/490 17667 /proc/meminfo: memFree=26063544/32951124 swapFree=63649284/67111528 [pid=17578] ppid=17576 vsize=40340 CPUtime=1800.03 cores=1,3,5,7 /proc/17578/stat : 17578 (minisatid) R 17576 17578 16892 0 -1 4202496 14924 0 0 0 180002 1 0 0 25 0 1 0 850275941 41308160 8041 33554432000 4194304 6539028 140734048432672 18446744073709551615 4701524 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/17578/statm: 10085 8041 270 573 0 9503 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 40340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.05 CPU user time (s): 1800.03 CPU system time (s): 0.019996 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 40340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.019996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14927 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2718 runsolver used 9.14161 second user time and 19.631 second system time The end
Begin job on node130 at 2011-06-06 20:59:34 IDJOB=3464656 IDBENCH=1871 IDSOLVER=1956 FILE ID=node130/3464656-1307386774 RUNJOBID= node130-1307381324-16911 PBS_JOBID= 13514177 Free space on /tmp= 73980 MiB SOLVER NAME= MinisatID 2.4.8 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3464656-1307386774/watcher-3464656-1307386774 -o /tmp/evaluation-result-3464656-1307386774/solver-3464656-1307386774 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3464656-1307386774.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=212226289 node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27001776 kB Buffers: 311876 kB Cached: 557196 kB SwapCached: 9700 kB Active: 5226716 kB Inactive: 435700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27001776 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 4791620 kB Mapped: 31680 kB Slab: 163524 kB PageTables: 54080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145104992 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73960 MiB End job on node130 at 2011-06-06 21:29:36