Trace number 3736029

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)24 1800.07 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
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 numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3736029-1338708266.opb
0.00/0.00	c File size is 435390 bytes.
0.00/0.04	c Highest Coefficient sum: 518
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.038 s
0.03/0.04	c Var: 4318 Constr: 15120 15119/1/0 Lit: 38442 Watch. Lit: 30696
0.03/0.04	c Obj. Vars: 490 (11.3478 % of total variables)
0.08/0.12	c Pre-processing Time: 0.115 s
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0   4307    15096    38399    2    30653    6031      0      0 0.12
0.08/0.12	c Switching off LPR mode.
0.08/0.12	o 27	0.119
0.18/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.25	c        9   4307    15106    40601    2    31136    7031     10     75 0.12
0.18/0.25	c      111   4307    15208    45313    2    31340    7735    112    672 0.17
0.18/0.25	o 26	0.246
0.38/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.49	c      301   4307    15399    55484    3    32186    7031    303   1218 0.25
0.38/0.49	c      401   4307    15499    60326    3    32386    7735    403   1501 0.27
0.38/0.49	c      651   4307    15749   129804    8    32886    8509    653   1909 0.34
0.38/0.49	c     1127   4307    16225   173538   10    33838    9360   1129   2318 0.49
0.38/0.49	o 25	0.489
0.48/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.50	c     1128   4307    16227   174034   10    34307    7031   1131   2302 0.49
0.48/0.50	o 24	0.492
1800.06/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.50	c     1129   4307    16229   174706   10    34777    7031   1133   2290 0.49
1800.06/1800.50	c     1229   4307    16329   188102   11    34977    7735   1233   2363 0.52
1800.06/1800.50	c     1480   4307    16580   204729   12    35479    8509   1484   2610 0.57
1800.06/1800.50	c     1957   4307    17057   258837   15    36433    9360   1961   3116 0.63
1800.06/1800.50	c     2770   4307    17870   395456   22    38059   10297   2774   3551 0.78
1800.06/1800.50	c     4090   4307    19190   705296   36    40699   11327   4094   3906 1.05
1800.06/1800.50	c     6171   4307    21271  1015628   47    44861   12460   6175   3451 1.79
1800.06/1800.50	c     9394   4307    24494  2788711  113    51307   13707   9398   2129 4.41
1800.06/1800.50	c    14331   4307    21951  1723457   78    44829   15078   6855   2353 6.09
1800.06/1800.50	c    21838   4307    29458  5569689  189    59843   16586  14362   1621 13.47
1800.06/1800.50	c    33200   4307    28726  3692232  128    58379   18245  13630   1894 17.52
1800.06/1800.50	c    50345   4307    33085  9474573  286    67097   20070  17989   1068 47.10
1800.06/1800.50	c    76164   4307    31107  2510139   80    63141   22078  16011   1043 72.97
1800.06/1800.50	c   114996   4307    27702  4845450  174    56331   24286  12606    756 151.94
1800.06/1800.50	c   173348   4307    36919  5235991  141    74765   26715  21823    922 187.81
1800.06/1800.50	c   260980   4307    35831 13144587  366    72589   29387  20735    701 372.25
1800.06/1800.50	c   392535   4307    39832  2922667   73    80591   32326  24736    776 505.44
1800.06/1800.50	c   589967   4307    27468  4780864  174    55863   35559  12372    716 823.63
1800.06/1800.50	c   886220   4307    27728  1899112   68    56383   39115  12632    731 1210.97
1800.06/1800.50	c  1330702   4307    28699  4904306  170    58325   43027  13603    745 1783.94
1800.06/1800.50	c Caught signal: 15
1800.06/1800.50	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 
1800.06/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.50	c   27  1344413 565794  3882058    42410 10686879  27314    746 1800.07
1800.06/1800.50	c Objective: 24
1800.06/1800.50	s SATISFIABLE
1800.06/1800.50	c Total time: 1800.07 s

Verifier Data

OK	24

Watcher Data

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-3736029-1338708266/watcher-3736029-1338708266 -o /tmp/evaluation-result-3736029-1338708266/solver-3736029-1338708266 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736029-1338708266.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 3/174 28956
/proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) D 28954 28956 25229 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336952035 2723840 47 33554432000 134512640 135840783 4291263840 4291261876 11355076 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 665 47 37 325 0 32 0

[startup+0.0464549 s]
/proc/loadavg: 1.92 2.00 1.99 3/174 28956
/proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=6352 CPUtime=0.03 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 1020 0 0 0 3 0 0 0 20 0 1 0 336952035 6504448 849 33554432000 134512640 135840783 4291263840 4291263404 134560672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 1588 849 337 325 0 524 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6352

[startup+0.100265 s]
/proc/loadavg: 1.92 2.00 1.99 3/174 28956
/proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=7460 CPUtime=0.08 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 1292 0 0 0 8 0 0 0 20 0 1 0 336952035 7639040 1121 33554432000 134512640 135840783 4291263840 4291211116 8582192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 1865 1121 342 325 0 801 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7460

[startup+0.300225 s]
/proc/loadavg: 1.92 2.00 1.99 3/174 28956
/proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=8072 CPUtime=0.28 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 1596 0 0 0 28 0 0 0 20 0 1 0 336952035 8265728 1289 33554432000 134512640 135840783 4291263840 4291263200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 2018 1289 349 325 0 954 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8072

[startup+0.700223 s]
/proc/loadavg: 1.92 2.00 1.99 3/174 28956
/proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=11296 CPUtime=0.69 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 2411 0 0 0 68 1 0 0 20 0 1 0 336952035 11567104 2104 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 2824 2104 349 325 0 1760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11296

[startup+1.50022 s]
/proc/loadavg: 1.92 2.00 1.99 3/175 28957
/proc/meminfo: memFree=28361632/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=19032 CPUtime=1.48 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 4340 0 0 0 147 1 0 0 20 0 1 0 336952035 19488768 4033 33554432000 134512640 135840783 4291263840 4291263200 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 4758 4033 349 325 0 3694 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19032

[startup+3.1003 s]
/proc/loadavg: 1.92 2.00 1.99 3/175 28957
/proc/meminfo: memFree=28353324/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=34716 CPUtime=3.09 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 8253 0 0 0 307 2 0 0 20 0 1 0 336952035 35549184 7946 33554432000 134512640 135840783 4291263840 4291247328 134586828 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 8679 7946 349 325 0 7615 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34716

[startup+6.30026 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 28957
/proc/meminfo: memFree=28327152/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=52612 CPUtime=6.29 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 12722 0 0 0 626 3 0 0 20 0 1 0 336952035 53874688 12415 33554432000 134512640 135840783 4291263840 4291263200 134550899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 13153 12415 349 325 0 12089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52612

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 28957
/proc/meminfo: memFree=28304708/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=74776 CPUtime=12.68 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 18261 0 0 0 1263 5 0 0 20 0 1 0 336952035 76570624 17954 33554432000 134512640 135840783 4291263840 4291262976 11864990 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 18694 17954 349 325 0 17630 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 74776

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 28957
/proc/meminfo: memFree=28268008/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=109220 CPUtime=25.47 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 26882 0 0 0 2541 6 0 0 20 0 1 0 336952035 111841280 26580 33554432000 134512640 135840783 4291263840 4291263200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 27305 26580 349 325 0 26241 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 109220

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 28957
/proc/meminfo: memFree=28236480/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=140328 CPUtime=51.06 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 34676 0 0 0 5098 8 0 0 20 0 1 0 336952035 143695872 34358 33554432000 134512640 135840783 4291263840 4291263200 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 35082 34358 349 325 0 34018 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 140328

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28957
/proc/meminfo: memFree=28224868/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=151780 CPUtime=102.22 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 37583 0 0 0 10213 9 0 0 20 0 1 0 336952035 155422720 37225 33554432000 134512640 135840783 4291263840 4291263200 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 37945 37225 349 325 0 36881 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 151780

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28957
/proc/meminfo: memFree=28174944/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=201328 CPUtime=162.17 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 50007 0 0 0 16204 13 0 0 20 0 1 0 336952035 206159872 49611 33554432000 134512640 135840783 4291263840 4291263200 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 50332 49611 349 325 0 49268 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 201328

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28957
/proc/meminfo: memFree=28174820/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=201336 CPUtime=222.16 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 50009 0 0 0 22203 13 0 0 20 0 1 0 336952035 206168064 49613 33554432000 134512640 135840783 4291263840 4291263200 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 50334 49613 349 325 0 49270 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 201336

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28958
/proc/meminfo: memFree=28173084/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=201336 CPUtime=282.15 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 50009 0 0 0 28202 13 0 0 20 0 1 0 336952035 206168064 49613 33554432000 134512640 135840783 4291263840 4291263200 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 50334 49613 349 325 0 49270 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 201336

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28961
/proc/meminfo: memFree=28142352/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=231920 CPUtime=342.14 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 57658 0 0 0 34198 16 0 0 20 0 1 0 336952035 237486080 57262 33554432000 134512640 135840783 4291263840 4291263200 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 57980 57262 349 325 0 56916 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 231920

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28961
/proc/meminfo: memFree=28138920/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=235248 CPUtime=402.13 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58530 0 0 0 40197 16 0 0 20 0 1 0 336952035 240893952 58097 33554432000 134512640 135840783 4291263840 4291263200 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 58812 58097 349 325 0 57748 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 235248

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28961
/proc/meminfo: memFree=28138968/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=235248 CPUtime=462.11 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58537 0 0 0 46195 16 0 0 20 0 1 0 336952035 240893952 58097 33554432000 134512640 135840783 4291263840 4291263200 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 58812 58097 349 325 0 57748 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 235248

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28961
/proc/meminfo: memFree=28139072/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=235260 CPUtime=522.1 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58549 0 0 0 52194 16 0 0 20 0 1 0 336952035 240906240 58099 33554432000 134512640 135840783 4291263840 4291263312 134552320 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 58815 58099 349 325 0 57751 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 235260

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28962
/proc/meminfo: memFree=28139072/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=235260 CPUtime=582.09 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58549 0 0 0 58193 16 0 0 20 0 1 0 336952035 240906240 58099 33554432000 134512640 135840783 4291263840 4291263152 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 58815 58099 349 325 0 57751 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 235260

[startup+642.3 s]

################
# More data... #
################

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28963
/proc/meminfo: memFree=27920988/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449788 CPUtime=881.99 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 88164 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112447 111732 349 325 0 111383 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 449788

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 28966
/proc/meminfo: memFree=27921212/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449788 CPUtime=941.99 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 94164 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112447 111732 349 325 0 111383 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 449788

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 29005
/proc/meminfo: memFree=27920580/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449788 CPUtime=1001.98 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 100163 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112447 111732 349 325 0 111383 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 449788

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29005
/proc/meminfo: memFree=27862796/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449788 CPUtime=1061.97 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 106162 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112447 111732 349 325 0 111383 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 449788

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29005
/proc/meminfo: memFree=27819476/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449788 CPUtime=1121.96 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 112161 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112447 111732 349 325 0 111383 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 449788

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29006
/proc/meminfo: memFree=27780568/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449788 CPUtime=1181.95 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 118160 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112447 111732 349 325 0 111383 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 449788

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29006
/proc/meminfo: memFree=27744024/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449240 CPUtime=1241.94 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 124159 35 0 0 20 0 1 0 336952035 460021760 111595 33554432000 134512640 135840783 4291263840 4291263200 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112310 111595 349 325 0 111246 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 449240

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 29006
/proc/meminfo: memFree=27715504/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1301.94 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 130159 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 449252

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 29006
/proc/meminfo: memFree=27694920/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1361.92 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 136157 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 449252

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 29006
/proc/meminfo: memFree=27676940/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1421.92 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 142157 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 449252

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29007
/proc/meminfo: memFree=27658092/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1481.9 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 148155 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 449252

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29010
/proc/meminfo: memFree=27634980/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1541.89 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 154154 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 449252

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29010
/proc/meminfo: memFree=27615776/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1601.89 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 160154 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 449252

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29010
/proc/meminfo: memFree=27592864/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1661.88 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 166153 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263076 11862186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 449252

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29010
/proc/meminfo: memFree=27582268/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1721.87 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 172152 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 449252

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 29011
/proc/meminfo: memFree=27581772/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1781.86 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 178151 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263152 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 449252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29011
/proc/meminfo: memFree=27581896/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1800.06 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 179971 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263152 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 449252

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29011
/proc/meminfo: memFree=27581896/32873852 swapFree=7624/7624
[pid=28956] ppid=28954 vsize=449252 CPUtime=1800.06 cores=1,3,5,7
/proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 179971 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263152 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28956/statm: 112313 111598 349 325 0 111249 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 449252

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.72
CPU system time (s): 0.354946
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 519760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.354946
maximum resident set size= 516768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129741
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= 181
involuntary context switches= 1848

runsolver used 3.61145 second user time and 9.54355 second system time

The end

Launcher Data

Begin job on node131 at 2012-06-03 09:24:26
IDJOB=3736029
IDBENCH=25017
IDSOLVER=2318
FILE ID=node131/3736029-1338708266
RUNJOBID= node131-1338678620-25249
PBS_JOBID= 14636682
Free space on /tmp= 71396 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736029-1338708266/watcher-3736029-1338708266 -o /tmp/evaluation-result-3736029-1338708266/solver-3736029-1338708266 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736029-1338708266.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=1549433341

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28372816 kB
Buffers:          555044 kB
Cached:          3047908 kB
SwapCached:         2348 kB
Active:          1435192 kB
Inactive:        2198388 kB
Active(anon):      26864 kB
Inactive(anon):     3664 kB
Active(file):    1408328 kB
Inactive(file):  2194724 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              6784 kB
Writeback:             4 kB
AnonPages:         34968 kB
Mapped:            15676 kB
Shmem:                 0 kB
Slab:             727672 kB
SReclaimable:     169888 kB
SUnreclaim:       557784 kB
KernelStack:        1440 kB
PageTables:         3776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     149372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71388 MiB
End job on node131 at 2012-06-03 09:54:28