Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 24 | 1798 | 1798.37 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
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 | 18 |
Best CPU time to get the best result obtained on this benchmark | 60.8677 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
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 | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
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.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3736031-1338726211.opb 0.00/0.00 c File size is 435390 bytes. 0.00/0.03 c Highest Coefficient sum: 518 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.029 s 0.00/0.03 c Var: 4318 Constr: 15120 15119/1/0 Lit: 38442 Watch. Lit: 30696 0.00/0.03 c Obj. Vars: 490 (11.3478 % of total variables) 0.09/0.11 c Pre-processing Time: 0.113 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 4307 15096 38399 2 30653 6031 0 0 0.11 0.09/0.11 c Switching off lower bounding mode. 0.09/0.12 o 28 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 12 4307 15121 43024 2 31165 7032 25 98 0.12 0.09/0.12 o 27 6.39/6.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.45 c 13 4307 15123 43657 2 31632 7032 27 103 0.13 6.39/6.45 c 113 4307 15232 47523 3 31850 7736 136 689 0.16 6.39/6.45 c 363 4307 15526 70314 4 32438 8510 430 1396 0.26 6.39/6.45 c 839 4307 16051 91507 5 33488 9362 955 1808 0.46 6.39/6.45 c 1653 4307 16931 172682 10 35710 10299 1835 2013 0.82 6.39/6.45 c 2976 4307 18461 739531 40 38770 11329 3365 1572 1.89 6.39/6.45 c 5057 4307 20944 1000609 47 43736 12462 5848 1729 2.92 6.39/6.45 c 8280 4307 24919 1710573 68 51686 13709 9823 1581 5.23 6.39/6.45 o 26 6.60/6.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.63 c 9936 4307 26908 2023481 75 57508 7032 11812 1540 6.45 6.60/6.63 c 10036 4307 18728 599004 31 39761 7736 3632 1537 6.53 6.60/6.63 c 10286 4307 19005 618434 32 40315 8510 3909 1552 6.63 6.60/6.63 o 25 13.59/13.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.59/13.64 c 10287 4307 19007 618959 32 40784 7032 3911 1551 6.63 13.59/13.64 c 10387 4307 19122 626798 32 41014 7736 4026 1556 6.67 13.59/13.64 c 10638 4307 19398 660410 34 41566 8510 4302 1561 6.81 13.59/13.64 c 11113 4307 19959 881234 44 43152 9362 4863 1537 7.23 13.59/13.64 c 11927 4307 20860 949763 45 45412 10299 5764 1568 7.60 13.59/13.64 c 13249 4307 22345 1217182 54 48382 11329 7249 1555 8.52 13.59/13.64 c 15330 4307 24963 2863880 114 53618 12462 9867 1314 11.66 13.59/13.64 c 18556 4307 21328 1943310 91 44955 13709 6232 1361 13.63 13.59/13.64 o 24 1797.93/1798.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.36 c 18556 4307 21329 1943795 91 45423 7031 6233 1360 13.64 1797.93/1798.36 c 18656 4307 21438 1955122 91 45641 7735 6342 1361 13.70 1797.93/1798.36 c 18906 4307 21701 1968140 90 46167 8509 6605 1361 13.89 1797.93/1798.36 c 19381 4307 22236 2002840 90 47237 9360 7140 1372 14.12 1797.93/1798.36 c 20195 4307 23170 2135173 92 49105 10297 8074 1384 14.59 1797.93/1798.36 c 21515 4307 24559 2225250 90 51883 11327 9463 1384 15.54 1797.93/1798.36 c 23598 4307 20761 586720 28 42449 12460 5665 1399 16.86 1797.93/1798.36 c 26821 4307 24488 926965 37 50821 13707 9392 1422 18.85 1797.93/1798.36 c 31758 4307 21951 762107 34 45291 15078 6855 1380 23.01 1797.93/1798.36 c 39264 4307 22636 1697925 75 47582 16586 7540 1299 30.21 1797.93/1798.36 c 50626 4307 24425 1912474 78 51150 18245 9329 1220 41.49 1797.93/1798.36 c 67770 4307 30678 2731707 89 65961 20070 15582 1189 56.98 1797.93/1798.36 c 93591 4307 33386 4532823 135 74272 22078 18290 997 93.84 1797.93/1798.36 c 132423 4307 33700 13001812 385 80655 24286 18604 574 230.42 1797.93/1798.36 c 190776 4307 35991 7890870 219 85082 26715 20895 586 325.10 1797.93/1798.36 c 278409 4307 34360 3216616 93 71026 29387 19264 520 534.72 1797.93/1798.36 c 409962 4307 40554 9713858 239 85137 32326 25458 500 818.57 1797.93/1798.36 c 607395 4307 29382 2457213 83 63698 35559 14286 465 1303.58 1797.93/1798.36 c Resources Exceeded 1797.93/1798.36 v x1 x362 x440 x515 x581 x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 -x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 -x29 x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 -x1664 -x62 -x1691 -x65 -x1718 x68 -x1745 -x71 -x1772 x74 -x1799 -x77 -x1826 -x1853 -x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 -x375 -x3175 -x378 -x3180 x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 x393 -x3210 -x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 x3278 -x3280 -x3292 -x3304 -x3316 x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 x458 -x3372 -x461 -x3377 -x464 -x3382 x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 x3457 -x3459 -x3461 -x3463 x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 x3693 -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984 x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 -x4284 -x4286 x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 -x374 -x376 -x377 -x379 -x380 x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 x439 x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 x510 -x509 -x511 -x513 -x512 -x514 -x441 -x442 -x443 -x444 x445 -x446 -x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 -x724 -x723 -x725 -x727 -x726 -x728 x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 x584 -x585 -x586 -x587 -x588 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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 x3181 -x3182 -x3183 -x3184 x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 -x3206 -x3207 -x3208 -x3209 -x3211 -x3212 -x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 x3236 -x3237 -x3238 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 x3251 -x3253 x3255 x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 -x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 x3378 -x3379 -x3380 -x3381 -x3383 -x3384 -x3385 -x3386 x3388 -x3389 -x3390 -x3391 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 x3440 -x3442 -x3444 -x3446 -x3448 x3450 -x3452 -x3454 -x3456 x3458 -x3460 x3462 -x3464 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 -x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566 -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 x3624 x3626 x3628 x3630 -x3632 -x3634 -x3636 -x3638 -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 -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 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 -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 -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 -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 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 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 x4083 -x4084 -x4085 -x4086 -x4088 -x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 -x4109 x4111 -x4112 -x4113 -x4114 -x4116 -x4118 -x4119 -x4120 -x4121 -x4123 -x4125 -x4126 -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 x4137 -x4138 -x4139 -x4140 -x4142 -x4144 -x4145 -x4146 -x4147 x4149 -x4151 -x4152 -x4153 -x4154 -x4156 -x4158 -x4159 -x4160 -x4161 -x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 -x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 -x4205 x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 x4219 -x4221 -x4222 -x4223 -x4224 -x4226 -x4228 -x4229 -x4230 -x4231 -x4233 -x4235 -x4236 -x4237 -x4238 -x4240 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 -x4252 -x4254 -x4255 -x4256 -x4257 x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 -x4273 -x4274 -x4275 -x4276 -x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 x4306 -x4308 -x4309 -x4310 -x4311 -x4313 -x4315 -x4316 -x4317 -x4318 1797.93/1798.37 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.37 c 38 883042 425911 4881545 34278 4695346 19182 491 1798.00 1797.93/1798.37 c Objective: 24 1797.93/1798.37 s SATISFIABLE 1797.93/1798.37 c Total time: 1798 s
OK 24
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-3736031-1338726211/watcher-3736031-1338726211 -o /tmp/evaluation-result-3736031-1338726211/solver-3736031-1338726211 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3736031-1338726211.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.00 2.00 3/176 10936 /proc/meminfo: memFree=26670020/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=11504 CPUtime=0 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 338745461 11780096 319 33554432000 134512640 137136520 4291476704 4291474936 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 2876 320 189 641 0 2125 0 [startup+0.079693 s] /proc/loadavg: 2.00 2.00 2.00 3/176 10936 /proc/meminfo: memFree=26670020/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=13572 CPUtime=0.07 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 1113 0 0 0 7 0 0 0 20 0 1 0 338745461 13897728 959 33554432000 134512640 137136520 4291476704 4291423564 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 3393 959 189 641 0 2749 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13572 [startup+0.100272 s] /proc/loadavg: 2.00 2.00 2.00 3/176 10936 /proc/meminfo: memFree=26670020/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=14228 CPUtime=0.09 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 1284 0 0 0 9 0 0 0 20 0 1 0 338745461 14569472 1130 33554432000 134512640 137136520 4291476704 4291423372 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 3557 1130 193 641 0 2913 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14228 [startup+0.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/176 10936 /proc/meminfo: memFree=26670020/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=14320 CPUtime=0.29 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 1428 0 0 0 28 1 0 0 20 0 1 0 338745461 14663680 1139 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 3580 1139 198 641 0 2936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14320 [startup+0.700227 s] /proc/loadavg: 2.00 2.00 2.00 3/176 10936 /proc/meminfo: memFree=26670020/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=15384 CPUtime=0.69 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 1710 0 0 0 68 1 0 0 20 0 1 0 338745461 15753216 1421 33554432000 134512640 137136520 4291476704 4291474984 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 3846 1421 198 641 0 3202 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15384 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26660788/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=20684 CPUtime=1.49 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 3032 0 0 0 148 1 0 0 20 0 1 0 338745461 21180416 2743 33554432000 134512640 137136520 4291476704 4291475632 134544135 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 5171 2743 198 641 0 4527 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20684 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26653200/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=27444 CPUtime=3.09 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 4729 0 0 0 307 2 0 0 20 0 1 0 338745461 28102656 4440 33554432000 134512640 137136520 4291476704 4291475632 134543702 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 6861 4440 198 641 0 6217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27444 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26639052/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=39992 CPUtime=6.29 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 7864 0 0 0 625 4 0 0 20 0 1 0 338745461 40951808 7575 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 9998 7575 198 641 0 9354 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39992 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26623956/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=54128 CPUtime=12.69 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 11428 0 0 0 1262 7 0 0 20 0 1 0 338745461 55427072 11110 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 13532 11110 198 641 0 12888 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54128 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26619672/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=56804 CPUtime=25.49 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 12084 0 0 0 2538 11 0 0 20 0 1 0 338745461 58167296 11766 33554432000 134512640 137136520 4291476704 4291475600 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 14201 11766 198 641 0 13557 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56804 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26606816/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=69524 CPUtime=51.08 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 15288 0 0 0 5084 24 0 0 20 0 1 0 338745461 71192576 14967 33554432000 134512640 137136520 4291476704 4291475632 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 17381 14967 198 641 0 16737 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69524 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26564288/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=112552 CPUtime=102.24 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 26079 0 0 0 10188 36 0 0 20 0 1 0 338745461 115253248 25723 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 28138 25723 198 641 0 27494 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 112552 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26516156/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=157600 CPUtime=162.22 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 37611 0 0 0 16179 43 0 0 20 0 1 0 338745461 161382400 36981 33554432000 134512640 137136520 4291476704 4291475632 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 39400 36981 198 641 0 38756 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 157600 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10937 /proc/meminfo: memFree=26459068/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217524 CPUtime=222.2 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54899 0 0 0 22168 52 0 0 20 0 1 0 338745461 222744576 51963 33554432000 134512640 137136520 4291476704 4291475600 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54381 51963 198 641 0 53737 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 217524 [startup+282.3 s] /proc/loadavg: 1.94 1.98 1.99 3/177 10987 /proc/meminfo: memFree=26457220/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217480 CPUtime=282.16 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54935 0 0 0 28158 58 0 0 20 0 1 0 338745461 222699520 51958 33554432000 134512640 137136520 4291476704 4291475632 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54370 51958 198 641 0 53726 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 217480 [startup+342.3 s] /proc/loadavg: 2.06 2.00 2.00 3/177 10987 /proc/meminfo: memFree=26385948/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217456 CPUtime=342.14 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54936 0 0 0 34151 63 0 0 20 0 1 0 338745461 222674944 51952 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54364 51952 198 641 0 53720 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 217456 [startup+402.3 s] /proc/loadavg: 2.02 2.00 2.00 3/178 10990 /proc/meminfo: memFree=26385712/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217456 CPUtime=402.14 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54936 0 0 0 40146 68 0 0 20 0 1 0 338745461 222674944 51952 33554432000 134512640 137136520 4291476704 4291475464 135982525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54364 51952 198 641 0 53720 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 217456 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10990 /proc/meminfo: memFree=26358332/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217444 CPUtime=462.12 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54936 0 0 0 46140 72 0 0 20 0 1 0 338745461 222662656 51949 33554432000 134512640 137136520 4291476704 4291475344 134606759 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54361 51949 198 641 0 53717 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 217444 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10990 /proc/meminfo: memFree=26301292/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217424 CPUtime=522.12 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54936 0 0 0 52121 91 0 0 20 0 1 0 338745461 222642176 51944 33554432000 134512640 137136520 4291476704 4291475632 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54356 51944 198 641 0 53712 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 217424 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10991 /proc/meminfo: memFree=26301300/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217436 CPUtime=582.11 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54940 0 0 0 58106 105 0 0 20 0 1 0 338745461 222654464 51947 33554432000 134512640 137136520 4291476704 4291475112 136502553 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54359 51947 198 641 0 53715 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 217436 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26188848/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217408 CPUtime=1062.04 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54942 0 0 0 106037 167 0 0 20 0 1 0 338745461 222625792 51940 33554432000 134512640 137136520 4291476704 4291475632 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54352 51940 198 641 0 53708 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 217408 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10996 /proc/meminfo: memFree=26183020/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217408 CPUtime=1122.03 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54942 0 0 0 112026 177 0 0 20 0 1 0 338745461 222625792 51940 33554432000 134512640 137136520 4291476704 4291475632 134544419 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54352 51940 198 641 0 53708 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 217408 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10996 /proc/meminfo: memFree=26183020/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217408 CPUtime=1182.02 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54942 0 0 0 118008 194 0 0 20 0 1 0 338745461 222625792 51940 33554432000 134512640 137136520 4291476704 4291475632 134543927 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54352 51940 198 641 0 53708 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 217408 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10997 /proc/meminfo: memFree=26182648/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217408 CPUtime=1242.01 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54942 0 0 0 123987 214 0 0 20 0 1 0 338745461 222625792 51940 33554432000 134512640 137136520 4291476704 4291475344 134606736 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54352 51940 198 641 0 53708 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 217408 [startup+1302.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 10997 /proc/meminfo: memFree=26182708/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217408 CPUtime=1302.01 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54942 0 0 0 129976 225 0 0 20 0 1 0 338745461 222625792 51940 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54352 51940 198 641 0 53708 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 217408 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 10997 /proc/meminfo: memFree=26182612/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217420 CPUtime=1362 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 135968 232 0 0 20 0 1 0 338745461 222638080 51943 33554432000 134512640 137136520 4291476704 4291475632 134543927 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54355 51943 198 641 0 53711 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 217420 [startup+1422.31 s] /proc/loadavg: 2.01 2.00 2.00 3/177 10997 /proc/meminfo: memFree=26182984/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217416 CPUtime=1421.98 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 141962 236 0 0 20 0 1 0 338745461 222633984 51942 33554432000 134512640 137136520 4291476704 4291475416 136502161 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54354 51942 198 641 0 53710 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 217416 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10997 /proc/meminfo: memFree=26182860/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217416 CPUtime=1481.98 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 147957 241 0 0 20 0 1 0 338745461 222633984 51942 33554432000 134512640 137136520 4291476704 4291475632 134543918 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54354 51942 198 641 0 53710 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 217416 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10998 /proc/meminfo: memFree=26182736/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1541.97 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 153951 246 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475632 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 217412 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11001 /proc/meminfo: memFree=26101244/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1601.95 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 159944 251 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 217412 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 11001 /proc/meminfo: memFree=26101144/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1661.94 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 165937 257 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291464612 134599954 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 217412 [startup+1722.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 11001 /proc/meminfo: memFree=26101128/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1721.93 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 171932 261 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291466664 134598778 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 217412 [startup+1782.3 s] /proc/loadavg: 2.12 2.04 2.01 3/177 11001 /proc/meminfo: memFree=26009492/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1781.93 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 177926 267 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 217412 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.18 2.06 2.01 3/177 11001 /proc/meminfo: memFree=26009740/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1791.53 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 178885 268 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (KiB) 217412 [startup+1795.1 s] /proc/loadavg: 2.17 2.06 2.01 3/177 11001 /proc/meminfo: memFree=26009740/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1794.73 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 179205 268 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1794.73 Current children cumulated vsize (KiB) 217412 [startup+1796.7 s] /proc/loadavg: 2.17 2.06 2.01 3/177 11001 /proc/meminfo: memFree=26009740/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1796.33 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 179364 269 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475632 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (KiB) 217412 [startup+1797.5 s] /proc/loadavg: 2.17 2.06 2.01 3/176 11001 /proc/meminfo: memFree=26009740/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1797.13 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 179444 269 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 217412 [startup+1797.9 s] /proc/loadavg: 2.17 2.06 2.01 3/176 11001 /proc/meminfo: memFree=26009740/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1797.53 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 179484 269 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475820 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 217412 [startup+1798.3 s] /proc/loadavg: 2.17 2.06 2.01 3/176 11001 /proc/meminfo: memFree=26009740/32873844 swapFree=7628/7628 [pid=10936] ppid=10934 vsize=217412 CPUtime=1797.93 cores=1,3,5,7 /proc/10936/stat : 10936 (bsolo) R 10934 10936 8349 0 -1 4202496 54946 0 0 0 179524 269 0 0 20 0 1 0 338745461 222629888 51941 33554432000 134512640 137136520 4291476704 4291475632 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10936/statm: 54353 51941 198 641 0 53709 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 217412 Child status: 0 Real time (s): 1798.37 CPU time (s): 1798 CPU user time (s): 1795.31 CPU system time (s): 2.69259 CPU usage (%): 99.9796 Max. virtual memory (cumulated for all children) (KiB): 217532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.31 system time used= 2.69259 maximum resident set size= 207860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54948 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= 95 involuntary context switches= 1872 runsolver used 2.80757 second user time and 7.43987 second system time The end
Begin job on node145 at 2012-06-03 14:23:31 IDJOB=3736031 IDBENCH=25017 IDSOLVER=2320 FILE ID=node145/3736031-1338726211 RUNJOBID= node145-1338702833-8366 PBS_JOBID= 14636715 Free space on /tmp= 70920 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736031-1338726211/watcher-3736031-1338726211 -o /tmp/evaluation-result-3736031-1338726211/solver-3736031-1338726211 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3736031-1338726211.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=1075668817 node145.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 : 2667.149 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 : 5334.29 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 : 2667.149 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 : 2667.149 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 : 5313.38 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 : 2667.149 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.91 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 : 2667.149 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 : 2667.149 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.91 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 : 2667.149 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 : 2667.149 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 : 5331.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26666400 kB Buffers: 443852 kB Cached: 4819332 kB SwapCached: 0 kB Active: 1738904 kB Inactive: 3603328 kB Active(anon): 68464 kB Inactive(anon): 12568 kB Active(file): 1670440 kB Inactive(file): 3590760 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 4292 kB Writeback: 0 kB AnonPages: 188064 kB Mapped: 15264 kB Shmem: 200 kB Slab: 724864 kB SReclaimable: 166500 kB SUnreclaim: 558364 kB KernelStack: 1480 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 226376 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 141312 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736031-1338726211.opb Free space on /tmp at the end= 70916 MiB End job on node145 at 2012-06-03 14:53:29