Trace number 3290670

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 NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mtSAT 106.394 26.664

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290670-1304133400.cnf'
0.00/0.00	c -- header says num vars:           7794
0.00/0.00	c -- header says num clauses:      126826
0.00/0.17	c -- clauses added:            0 learnts,       126826 normals,            0 xors
0.00/0.17	c -- vars added       7794
0.00/0.17	c Parsing time:  0.18 s
0.00/0.17	c  N st     0         0      7794    106441     19625         0    745842         0   no data   no data  --
0.18/0.24	c asymm  cl-useful: 64/4331/106073 lits-rem:68 time: 0.64
0.18/0.55	c Flit:    45 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 13.4M T:  1.17
0.18/0.55	c Replacing       72 vars Replaced    68852 lits Time:     0.07 s 
2.50/1.41	c bin-w-bin subsume rem          378 bins  time:  0.01 s
2.50/1.41	c subs with bin:      996  lits-rem:       290  v-fix:    0  time:  0.05 s
2.50/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6229 time:  0.08 s
2.50/1.41	c Removed useless bin:      33  fixed:     0  props:   1.94M  time:  0.05 s
10.71/2.72	c lits-rem:         0  cl-subs:      111  v-elim:   1062  v-fix:    0  time:  8.29 s
10.71/2.73	c Finding binary XORs  T:     0.03 s  found:       0
11.11/2.83	c Finding non-binary XORs:     0.35 s (found:       0, avg size: nan)
11.11/2.83	c calculated reachability. Time: 0.01
11.11/2.83	c Calc default polars -  time:   0.01 s pos:     266 undec:    1605 neg:    5923
11.11/2.83	c =========================================================================================
11.11/2.83	c types(t): F = full restart, N = normal restart
11.11/2.83	c types(t): S = simplification begin/end, E = solution found
11.11/2.83	c restart types(rt): st = static, dy = dynamic
11.11/2.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
11.11/2.83	c  B st     0         0      6189    106868     15794         0    763474         0   no data   no data  --
11.91/3.10	c  N dy    18      4272      6188    106868     15914      4100    763473    131848      8.66      9.14  --
13.52/3.41	c  N dy    36      8768      6162    106868     16584      8463    763473    255471      8.25      8.96  --
14.71/3.70	c  N dy    64     12846      6162    106868     16792     12426    763473    374766      8.68      9.28  --
15.91/4.07	c  N dy    83     17046      6158    106868     16863     16522    763472    512106      8.66      9.70  --
16.31/4.19	c Finding binary XORs  T:     0.02 s  found:       5
17.90/4.51	c  N dy   110     21371      6158    106639     16880     11027    762038    215629      8.72      9.21  --
19.11/4.83	c  F st   127     25000      6158    106639     17217     14574    762038    324662      8.64      6.14  --
19.11/4.84	c Replacing        5 vars Replaced      216 lits Time:     0.02 s 
19.51/4.92	c  N st   129     25628      6149    106632     17183     15171    761955    347622      8.64   no data  --
21.12/5.32	c  N dy   133     30001      6148    106632     17249     19453    761955    507655      8.64   no data  --
21.12/5.32	c  S st   133     30001      6148    106632     17249     19453    761955    507655      8.64   no data  --
21.52/5.45	c  S st   133     30502      6148    106632     17503     19924    761955    517774      8.64   no data  --
21.52/5.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
21.52/5.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.51/6.47	c Flit:    13 Blit:      0 bXBeca:    0 bXProp:    6 Bins:  19251 BRemL:    695 BRemN:      3 P: 24.0M T:  4.02
25.51/6.49	c Replacing        6 vars Replaced     5700 lits Time:     0.09 s 
25.91/6.55	c bin-w-bin subsume rem           85 bins  time:  0.02 s
27.49/6.92	c subs with bin:     3382  lits-rem:     21622  v-fix:    0  time:  1.49 s
27.49/6.94	c Subs w/ non-existent bins:      5 l-rem:   1833 v-fix:     0 done:    991 time:  0.07 s
27.49/6.95	c Removed useless bin:       6  fixed:     0  props:   0.48M  time:  0.02 s
37.88/9.55	c lits-rem:       421  cl-subs:     8587  v-elim:     94  v-fix:    0  time: 10.40 s
38.70/9.74	c asymm  cl-useful: 61/2484/99538 lits-rem:70 time: 0.74
38.70/9.75	c calculated reachability. Time: 0.02
38.70/9.75	c  N dy   133     30502      6032     99538     34743     15066    706894    378073      8.64   no data  --
38.70/9.76	c Finding binary XORs  T:     0.04 s  found:       0
40.67/10.20	c  N dy   159     34570      6028     99538     34752     19095    706889    525945      8.69     10.88  --
42.67/10.71	c  N dy   185     38768      6026     99538     34776     23237    706889    662910      8.73      9.33  --
44.66/11.22	c  N dy   208     43031      6006     99538     37567     27448    706889    808694      8.76      9.37  --
45.86/11.53	c Finding binary XORs  T:     0.03 s  found:       1
45.86/11.58	c  S st   224     45756      5999     97269     37078     14975    691586    266866      8.80      7.92  --
46.67/11.70	c  S st   224     46256      5999     97269     37081     15472    691586    280959      8.80   no data  --
46.67/11.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
46.67/11.70	c Cache  BProp: 2 Set: 2 BXProp: 0 T: 0.00
49.07/12.32	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    724 BRemL:   1739 BRemN:      0 P: 20.8M T:  2.46
49.07/12.33	c Replacing        1 vars Replaced       20 lits Time:     0.05 s 
49.07/12.37	c bin-w-bin subsume rem         1110 bins  time:  0.02 s
49.47/12.47	c subs with bin:      961  lits-rem:      2732  v-fix:    0  time:  0.42 s
49.87/12.50	c Subs w/ non-existent bins:     33 l-rem:    756 v-fix:     0 done:   3733 time:  0.10 s
49.87/12.50	c Removed useless bin:       3  fixed:     0  props:   0.46M  time:  0.02 s
58.65/14.73	c lits-rem:       499  cl-subs:     2654  v-elim:     58  v-fix:    0  time:  8.86 s
58.65/14.77	c vivif2 --  cl tried    96146 cl shrink      316 lits rem        380 time: 0.16
58.65/14.78	c vivif2 --  cl tried    13091 cl shrink     1386 lits rem       4757 time: 0.05
59.45/14.97	c asymm  cl-useful: 10/1064/96146 lits-rem:10 time: 0.76
59.45/14.98	c calculated reachability. Time: 0.02
59.45/14.98	c  N dy   224     46256      5935     96146     34406     13084    684559    220646      8.80   no data  --
61.45/15.41	c  N dy   257     50278      5922     96146     34868     17071    684559    375150      9.00     12.31  --
63.04/15.85	c  N dy   281     54332      5922     96146     34880     21096    684559    527992      9.08     12.46  --
65.06/16.32	c  N dy   307     58493      5920     96146     34910     25217    684559    682459      9.12      9.71  --
67.03/16.85	c  N dy   331     62519      5918     96146     34927     29209    684559    830597      9.13     10.63  --
69.46/17.42	c  N dy   361     66563      5918     96146     34934     33230    684558    995395      9.17     10.16  --
70.63/17.77	c Finding binary XORs  T:     0.03 s  found:       0
71.03/17.81	c  S st   376     69384      5918     96131     34488     35854    684235   1093697      9.17   no data  --
71.43/17.97	c  S st   376     69887      5918     96131     34488     36356    684234   1106842      9.17   no data  --
71.43/17.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
71.43/17.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.02/18.80	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   1127 BRemL:    738 BRemN:      0 P: 26.9M T:  3.28
75.02/18.82	c Replacing        1 vars Replaced     1452 lits Time:     0.09 s 
75.02/18.89	c bin-w-bin subsume rem           40 bins  time:  0.02 s
78.64/19.73	c subs with bin:     2289  lits-rem:      6615  v-fix:    0  time:  3.32 s
78.64/19.75	c Subs w/ non-existent bins:     25 l-rem:   1064 v-fix:     0 done:   1118 time:  0.08 s
78.64/19.75	c Removed useless bin:       3  fixed:     0  props:   0.45M  time:  0.02 s
96.22/24.16	c lits-rem:       630  cl-subs:     3527  v-elim:     29  v-fix:    0  time: 17.59 s
96.60/24.20	c vivif2 --  cl tried    94207 cl shrink       55 lits rem         87 time: 0.16
96.60/24.28	c vivif2 --  cl tried    32486 cl shrink     8086 lits rem      42808 time: 0.30
97.80/24.51	c asymm  cl-useful: 77/913/94206 lits-rem:173 time: 0.92
97.80/24.52	c calculated reachability. Time: 0.02
97.80/24.52	c  N dy   376     69887      5883     94206     34350     32485    672380    923860      9.17   no data  --
100.61/25.22	c  N dy   387     74671      5880     94206     35436     18955    672380    293492      9.07      9.59  --
102.58/25.77	c  N dy   425     79487      5855     94206     35445     23732    672380    467263      9.12     15.13  --
104.19/26.17	c Finding binary XORs  T:     0.03 s  found:       0
105.38/26.49	c  N dy   463     84875      5847     94141     34721     28581    671404    674698      9.17     10.07  --
106.18/26.64	c Following stats are for *FIRST FINISHED THREAD ONLY*
106.18/26.64	c num threads              : 4          
106.18/26.64	c restarts                 : 541        
106.18/26.64	c dynamic restarts         : 529        
106.18/26.64	c static restarts          : 12         
106.18/26.64	c full restarts            : 2          
106.18/26.64	c total simplify time      : 0.28       
106.18/26.64	c learnts DL2              : 0          
106.18/26.64	c learnts size 2           : 53336      
106.18/26.64	c learnts size 1           : 632         (8.11      % of vars)
106.18/26.64	c filedLit time            : 9.23        (8.70      % time)
106.18/26.64	c v-elim SatELite          : 1207        (15.49     % vars)
106.18/26.64	c SatELite time            : 32.14       (30.29     % time)
106.18/26.64	c v-elim xor               : 0           (0.00      % vars)
106.18/26.64	c xor elim time            : 0.05        (0.05      % time)
106.18/26.64	c num binary xor trees     : 81         
106.18/26.64	c binxor trees' crown      : 91          (1.12      leafs/tree)
106.18/26.64	c bin xor find time        : 0.15       
106.18/26.64	c OTF clause improved      : 1055        (0.01      clauses/conflict)
106.18/26.64	c OTF impr. size diff      : 1342        (1.27       lits/clause)
106.18/26.64	c OTF cl watch-shrink      : 80592       (0.64      clauses/conflict)
106.18/26.64	c OTF cl watch-sh-lit      : 381529      (4.73       lits/clause)
106.18/26.64	c tried to recurMin cls    : 58805       (46.74      % of conflicts)
106.18/26.64	c updated cache            : 8754        (0.15       lits/tried recurMin)
106.18/26.64	c unit cls received        : 84          (13.29     % of units)
106.18/26.64	c unit cls sent            : 488         (77.22     % of units)
106.18/26.64	c bin cls received         : 5833       
106.18/26.64	c bin cls sent             : 9759       
106.18/26.64	c clauses over max glue    : 0           (0.00      % of all clauses)
106.18/26.64	c conflicts                : 125806      (1185.50   / sec)
106.18/26.64	c decisions                : 284042      (4.05      % random)
106.18/26.64	c bogo-props               : 929622850   (8760038.21 / sec)
106.18/26.64	c conflict literals        : 4933698     (29.57     % deleted)
106.18/26.64	c Memory used              : 424.82      MB
106.18/26.64	c single-thread CPU time   : 106.12      s
106.18/26.64	c all-threads sum CPU time : 106.12      s
106.18/26.64	s SATISFIABLE
106.18/26.64	v -1 2 -3 -4 5 -6 -7 -8 9 10 -11 12 13 14 -15 16 -17 -18 -19 -20 -21 -22 -23 -24 25 -26 -27 28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 54 -55 -56 57 -58 -59 -60 -61 -62 -63 64 -65 -66 67 -68 -69 70 71 -72 -73 -74 75 76 -77 -78 79 -80 81 82 83 84 -85 86 -87 88 -89 90 -91 92 93 94 -95 96 -97 98 -99 100 -101 -102 103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 119 120 121 -122 123 -124 125 -126 127 128 -129 -130 131 -132 133 134 -135 -136 -137 -138 139 140 141 142 143 144 -145 146 147 -148 -149 -150 -151 152 -153 154 -155 156 157 -158 159 160 161 -162 -163 164 -165 -166 -167 168 -169 -170 171 172 173 174 175 176 177 -178 179 180 -181 182 183 184 185 186 187 -188 189 -190 191 -192 193 194 -195 196 197 198 199 200 201 202 203 204 205 206 -207 208 209 -210 211 212 213 214 215 -216 -217 218 219 -220 -221 222 -223 -224 -225 226 -227 -228 -229 230 -231 -232 233 -234 -235 -236 -237 -238 -239 240 -241 242 -243 -244 -245 -246 -247 -248 -249 -250 -251 252 -253 254 255 -256 257 258 259 -260 261 -262 -263 264 -265 -266 -267 268 -269 -270 -271 -272 -273 -274 275 -276 277 -278 -279 -280 -281 -282 -283 -284 285 -286 -287 -288 289 -290 -291 -292 -293 -294 -295 -296 -297 298 -299 -300 -301 302 303 -304 -305 306 -307 -308 -309 -310 -311 -312 313 314 315 316 317 -318 -319 -320 -321 -322 -323 -324 325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 353 354 -355 -356 -357 -358 -359 -360 -361 362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 402 403 404 405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 417 418 419 420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 462 -463 -464 -465 -466 -467 -468 469 470 471 472 473 474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 523 524 525 526 527 528 529 530 531 532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 545 546 547 548 549 550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 616 617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 637 638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 651 652 653 654 655 656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 667 668 669 670 671 672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 687 688 689 690 691 692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 760 761 762 763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 781 782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 884 885 886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 906 907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 920 921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 939 940 941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 1033 1034 1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 1159 1160 1161 1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 1177 1178 1179 1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 1233 1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 2364 2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 2418 2419 2420 2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 2436 2437 2438 2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 2559 2560 2561 2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 2613 2614 2615 2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 2633 2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 2704 2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 3097 3098 3099 3100 3101 3102 3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 3119 3120 3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 3190 3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 3443 3444 3445 3446 3447 3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 3501 3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 3514 3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 3573 3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 3715 3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 3751 3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 3841 3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 4017 4018 4019 4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 4035 4036 4037 4038 4039 4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 4108 4109 4110 4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 4129 4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 4233 4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 4254 4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 4287 4288 4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 4305 4306 4307 4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 4378 4379 4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 4502 4503 4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 4538 4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 4557 4558 4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 4630 4631 4632 4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 4651 4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 4755 4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 4776 4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 4809 4810 4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 5604 5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 5638 5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 6374 6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 6393 6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 6618 -6619 -6620 -6621 -6622 -6623 -6624 6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 -6806 6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 7460 -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 7771 7772 7773 7774 7775 7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 7785 7786 7787 7788 7789 7790 7791 7792 7793 7794 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3290670-1304133400/watcher-3290670-1304133400 -o /tmp/evaluation-result-3290670-1304133400/solver-3290670-1304133400 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3290670-1304133400.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.70 4.28 5.76 6/180 7926
/proc/meminfo: memFree=29299740/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=282084 CPUtime=0.01 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 1948 0 0 0 1 0 0 0 25 0 4 0 603570711 288854016 1858 33554432000 4194304 4650419 140734842658704 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 70521 1860 343 112 0 65486 0
[pid=7926/tid=7927] ppid=7924 vsize=282084 CPUtime=0 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 379 0 0 0 0 0 0 0 25 0 4 0 603570712 288854016 1872 33554432000 4194304 4650419 140734842658704 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=282084 CPUtime=0 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 430 0 0 0 0 0 0 0 25 0 4 0 603570712 288854016 1875 33554432000 4194304 4650419 140734842658704 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=282084 CPUtime=0 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 372 0 0 0 0 0 0 0 25 0 4 0 603570712 288854016 1876 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.055608 s]
/proc/loadavg: 3.70 4.28 5.76 6/180 7926
/proc/meminfo: memFree=29299740/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=294576 CPUtime=0.18 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) D 7924 7926 7283 0 -1 4202496 10910 0 0 0 17 1 0 0 18 0 4 0 603570711 301645824 10548 33554432000 4194304 4650419 140734842658704 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 74274 12595 368 112 0 69239 0
[pid=7926/tid=7927] ppid=7924 vsize=297768 CPUtime=0.18 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 3420 0 0 0 18 0 0 0 18 0 4 0 603570712 304914432 13509 33554432000 4194304 4650419 140734842658704 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=343900 CPUtime=0.21 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 4875 0 0 0 21 0 0 0 18 0 4 0 603570712 352153600 16766 33554432000 4194304 4650419 140734842658704 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=344444 CPUtime=0.21 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) S 7924 7926 7283 0 -1 4202560 3263 0 0 0 21 0 0 0 18 0 4 0 603570712 352710656 18355 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895595502 0 0 4096 2 18446604453894303872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 294576

[startup+0.290385 s]
/proc/loadavg: 3.70 4.28 5.76 6/180 7926
/proc/meminfo: memFree=29299740/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=320140 CPUtime=2.19 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 25098 0 0 0 215 4 0 0 18 0 4 0 603570711 327823360 19896 33554432000 4194304 4650419 140734842658704 18446744073709551615 4506547 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 81099 19919 379 112 0 76064 0
[pid=7926/tid=7927] ppid=7924 vsize=325780 CPUtime=0.54 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 7228 0 0 0 54 0 0 0 18 0 4 0 603570712 333598720 20558 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=325780 CPUtime=0.54 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 7644 0 0 0 53 1 0 0 18 0 4 0 603570712 333598720 20691 33554432000 4194304 4650419 140734842658704 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=325780 CPUtime=0.53 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) S 7924 7926 7283 0 -1 4202560 3692 0 0 0 53 0 0 0 18 0 4 0 603570712 333598720 20818 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895595502 0 0 4096 2 18446604453894303872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 320140

[startup+0.575334 s]
/proc/loadavg: 3.70 4.28 5.76 6/180 7926
/proc/meminfo: memFree=29299740/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=331868 CPUtime=2.25 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 30392 0 0 0 219 6 0 0 18 0 4 0 603570711 339832832 25190 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895151649 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 83001 25227 379 112 0 77966 0
[pid=7926/tid=7927] ppid=7924 vsize=332268 CPUtime=0.56 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) D 7924 7926 7283 0 -1 4202560 8718 0 0 0 55 1 0 0 18 0 4 0 603570712 340242432 25367 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=332536 CPUtime=0.56 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 9486 0 0 0 54 2 0 0 18 0 4 0 603570712 340516864 25580 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=332668 CPUtime=0.55 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) S 7924 7926 7283 0 -1 4202560 3700 0 0 0 55 0 0 0 18 0 4 0 603570712 340652032 25885 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895595502 0 0 4096 2 18446604453894303872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 331868

[startup+1.04321 s]
/proc/loadavg: 3.70 4.28 5.76 6/180 7926
/proc/meminfo: memFree=29299740/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=345596 CPUtime=4.1 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 41860 0 0 0 403 7 0 0 18 0 4 0 603570711 353890304 36622 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 86399 36641 394 112 0 81364 0
[pid=7926/tid=7927] ppid=7924 vsize=345596 CPUtime=1.42 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 12945 0 0 0 141 1 0 0 19 0 4 0 603570712 353890304 37091 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=345596 CPUtime=1.42 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 12570 0 0 0 140 2 0 0 18 0 4 0 603570712 353890304 37091 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=345596 CPUtime=1.42 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 4183 0 0 0 141 1 0 0 19 0 4 0 603570712 353890304 37091 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363640 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 345596

[startup+1.54414 s]
/proc/loadavg: 3.70 4.28 5.76 6/180 7926
/proc/meminfo: memFree=29299740/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=350828 CPUtime=6.11 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 44558 0 0 0 603 8 0 0 19 0 4 0 603570711 359247872 37229 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 87707 37229 396 112 0 82672 0
[pid=7926/tid=7927] ppid=7924 vsize=350828 CPUtime=1.52 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 12945 0 0 0 151 1 0 0 19 0 4 0 603570712 359247872 37229 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=350828 CPUtime=1.52 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 12570 0 0 0 150 2 0 0 19 0 4 0 603570712 359247872 37229 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=350828 CPUtime=1.51 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 6202 0 0 0 150 1 0 0 19 0 4 0 603570712 359247872 37229 33554432000 4194304 4650419 140734842658704 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 350828

[startup+3.10085 s]
/proc/loadavg: 4.12 4.36 5.78 10/184 7930
/proc/meminfo: memFree=28987936/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=359364 CPUtime=12.34 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 53942 0 0 0 1224 10 0 0 22 0 4 0 603570711 367988736 40691 33554432000 4194304 4650419 140734842658704 18446744073709551615 4366047 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 89841 40691 397 112 0 84806 0
[pid=7926/tid=7927] ppid=7924 vsize=359364 CPUtime=3.08 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 16134 0 0 0 306 2 0 0 22 0 4 0 603570712 367988736 40691 33554432000 4194304 4650419 140734842658704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=359364 CPUtime=3.08 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 14752 0 0 0 306 2 0 0 22 0 4 0 603570712 367988736 40691 33554432000 4194304 4650419 140734842658704 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=359364 CPUtime=3.06 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 6935 0 0 0 305 1 0 0 22 0 4 0 603570712 367988736 40691 33554432000 4194304 4650419 140734842658704 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 359364

[startup+6.30024 s]
/proc/loadavg: 4.12 4.36 5.78 10/184 7930
/proc/meminfo: memFree=28970472/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=361400 CPUtime=25.09 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 71090 0 0 0 2496 13 0 0 25 0 4 0 603570711 370073600 51897 33554432000 4194304 4650419 140734842658704 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 90350 51897 398 112 0 85315 0
[pid=7926/tid=7927] ppid=7924 vsize=361400 CPUtime=6.27 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 18804 0 0 0 625 2 0 0 25 0 4 0 603570712 370073600 51897 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=361400 CPUtime=6.28 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 17363 0 0 0 625 3 0 0 25 0 4 0 603570712 370073600 51897 33554432000 4194304 4650419 140734842658704 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=361400 CPUtime=6.24 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 17158 0 0 0 620 4 0 0 25 0 4 0 603570712 370073600 51897 33554432000 4194304 4650419 140734842658704 18446744073709551615 4436173 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 361400

[startup+12.701 s]
/proc/loadavg: 4.72 4.48 5.80 10/184 7930
/proc/meminfo: memFree=28815568/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=434012 CPUtime=50.66 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 94763 0 0 0 5049 17 0 0 25 0 4 0 603570711 444428288 65032 33554432000 4194304 4650419 140734842658704 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 108503 65032 395 112 0 103468 0
[pid=7926/tid=7927] ppid=7924 vsize=434012 CPUtime=12.67 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 27403 0 0 0 1264 3 0 0 25 0 4 0 603570712 444428288 65032 33554432000 4194304 4650419 140734842658704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=434012 CPUtime=12.67 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 21418 0 0 0 1264 3 0 0 25 0 4 0 603570712 444428288 65032 33554432000 4194304 4650419 140734842658704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=434012 CPUtime=12.61 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 20706 0 0 0 1256 5 0 0 25 0 4 0 603570712 444428288 65032 33554432000 4194304 4650419 140734842658704 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 434012

[startup+25.5007 s]
/proc/loadavg: 5.22 4.59 5.83 10/184 7931
/proc/meminfo: memFree=28757796/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=486448 CPUtime=101.78 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 121493 0 0 0 10154 24 0 0 25 0 4 0 603570711 498122752 75192 33554432000 4194304 4650419 140734842658704 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 121612 75192 395 112 0 116577 0
[pid=7926/tid=7927] ppid=7924 vsize=486448 CPUtime=25.48 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30332 0 0 0 2543 5 0 0 25 0 4 0 603570712 498122752 75192 33554432000 4194304 4650419 140734842658704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=486448 CPUtime=25.47 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 29258 0 0 0 2542 5 0 0 25 0 4 0 603570712 498122752 75192 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=486448 CPUtime=25.34 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30945 0 0 0 2527 7 0 0 25 0 4 0 603570712 498122752 75192 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 486448

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

[startup+25.7006 s]
/proc/loadavg: 5.22 4.59 5.83 10/184 7931
/proc/meminfo: memFree=28757796/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=486448 CPUtime=102.58 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 121948 0 0 0 10234 24 0 0 25 0 4 0 603570711 498122752 75647 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 121612 75647 395 112 0 116577 0
[pid=7926/tid=7927] ppid=7924 vsize=486448 CPUtime=25.68 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30332 0 0 0 2563 5 0 0 25 0 4 0 603570712 498122752 75647 33554432000 4194304 4650419 140734842658704 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=486448 CPUtime=25.67 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 29329 0 0 0 2562 5 0 0 25 0 4 0 603570712 498122752 75647 33554432000 4194304 4650419 140734842658704 18446744073709551615 4328565 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=486448 CPUtime=25.54 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 31329 0 0 0 2547 7 0 0 25 0 4 0 603570712 498122752 75647 33554432000 4194304 4650419 140734842658704 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.58
Current children cumulated vsize (KiB) 486448

[startup+26.1005 s]
/proc/loadavg: 5.22 4.59 5.83 10/184 7931
/proc/meminfo: memFree=28757796/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=435012 CPUtime=104.19 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 123348 0 0 0 10394 25 0 0 25 0 4 0 603570711 445452288 76142 33554432000 4194304 4650419 140734842658704 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 108753 76142 395 112 0 103718 0
[pid=7926/tid=7927] ppid=7924 vsize=435012 CPUtime=26.08 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30332 0 0 0 2603 5 0 0 25 0 4 0 603570712 445452288 76142 33554432000 4194304 4650419 140734842658704 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=435012 CPUtime=26.07 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30684 0 0 0 2602 5 0 0 25 0 4 0 603570712 445452288 76142 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=435012 CPUtime=25.94 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 31374 0 0 0 2587 7 0 0 25 0 4 0 603570712 445452288 76142 33554432000 4194304 4650419 140734842658704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 104.19
Current children cumulated vsize (KiB) 435012

[startup+26.5005 s]
/proc/loadavg: 5.45 4.65 5.84 10/184 7931
/proc/meminfo: memFree=28760028/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=435012 CPUtime=105.78 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 123609 0 0 0 10553 25 0 0 25 0 4 0 603570711 445452288 76268 33554432000 4194304 4650419 140734842658704 18446744073709551615 4364907 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 108753 76268 395 112 0 103718 0
[pid=7926/tid=7927] ppid=7924 vsize=435012 CPUtime=26.47 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30332 0 0 0 2642 5 0 0 25 0 4 0 603570712 445452288 76268 33554432000 4194304 4650419 140734842658704 18446744073709551615 4315186 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=435012 CPUtime=26.48 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30840 0 0 0 2642 6 0 0 25 0 4 0 603570712 445452288 76268 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=435012 CPUtime=26.33 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 31479 0 0 0 2626 7 0 0 25 0 4 0 603570712 445452288 76268 33554432000 4194304 4650419 140734842658704 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 105.78
Current children cumulated vsize (KiB) 435012

[startup+26.6004 s]
/proc/loadavg: 5.45 4.65 5.84 10/184 7931
/proc/meminfo: memFree=28760028/32950928 swapFree=67111356/67111528
[pid=7926] ppid=7924 vsize=435012 CPUtime=106.18 cores=0,2,4,6
/proc/7926/stat : 7926 (strangenight1-m) R 7924 7926 7283 0 -1 4202496 123681 0 0 0 10593 25 0 0 25 0 4 0 603570711 445452288 76340 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7926/statm: 108753 76340 395 112 0 103718 0
[pid=7926/tid=7927] ppid=7924 vsize=435012 CPUtime=26.57 cores=0,2,4,6
/proc/7926/task/7927/stat : 7927 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30332 0 0 0 2652 5 0 0 25 0 4 0 603570712 445452288 76340 33554432000 4194304 4650419 140734842658704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7926/tid=7928] ppid=7924 vsize=435012 CPUtime=26.58 cores=0,2,4,6
/proc/7926/task/7928/stat : 7928 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 30875 0 0 0 2652 6 0 0 25 0 4 0 603570712 445452288 76340 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7926/tid=7929] ppid=7924 vsize=435012 CPUtime=26.43 cores=0,2,4,6
/proc/7926/task/7929/stat : 7929 (strangenight1-m) R 7924 7926 7283 0 -1 4202560 31516 0 0 0 2636 7 0 0 25 0 4 0 603570712 445452288 76340 33554432000 4194304 4650419 140734842658704 18446744073709551615 4363548 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 106.18
Current children cumulated vsize (KiB) 435012

Child status: 10
Real time (s): 26.664
CPU time (s): 106.394
CPU user time (s): 106.125
CPU system time (s): 0.268959
CPU usage (%): 399.017
Max. virtual memory (cumulated for all children) (KiB): 500532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.125
system time used= 0.268959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123973
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= 4921
involuntary context switches= 1070

runsolver used 0.044993 second user time and 0.108983 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 05:16:40
IDJOB=3290670
IDBENCH=83445
IDSOLVER=1588
FILE ID=node114/3290670-1304133400
RUNJOBID= node114-1304133399-7873
PBS_JOBID= 13170787
Free space on /tmp= 73380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290670-1304133400/watcher-3290670-1304133400 -o /tmp/evaluation-result-3290670-1304133400/solver-3290670-1304133400 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3290670-1304133400.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1449565785

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29302748 kB
Buffers:       1086148 kB
Cached:        1822540 kB
SwapCached:        168 kB
Active:         353708 kB
Inactive:      2788100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29302748 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           27012 kB
Writeback:           0 kB
AnonPages:      232760 kB
Mapped:          15340 kB
Slab:           442244 kB
PageTables:       4916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   477228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73372 MiB
End job on node114 at 2011-04-30 05:17:07