Trace number 3736031

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
PB09: bsolo 3.1SAT24 1798 1798.37

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.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

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-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

Launcher Data

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