Trace number 3291172

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 TechDemo-Alpha-mtSAT 2638.95 663.549

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

0.00/0.00	c Outputting solution to console
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 Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3291172-1304136122.cnf'
0.00/0.00	c -- header says num vars:          10420
0.00/0.00	c -- header says num clauses:      481346
0.99/1.04	c -- clauses added:            0 learnts,       481346 normals,            0 xors
0.99/1.04	c -- vars added      10420
0.99/1.04	c Parsing time:  0.97 s
0.99/1.04	c  N st     0         0     10420    453785     26451         0   3846062         0   no data   no data  --
1.66/1.24	c asymm  cl-useful: 2/164/453199 lits-rem:4 time: 0.73
8.43/2.93	c Flit:    34 Blit:      0 bXBeca:    0 bXProp:   80 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  6.29
8.43/2.97	c Calc non-exist non-lernt bins v-fix:     0 done:   9805 time:  0.17 s
8.43/2.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.23/3.16	c Subs w/ non-existent bins:   1749 time:  0.75 s
10.05/3.31	c Replacing       80 vars Replaced   320128 lits Time:     0.57 s 
10.37/3.45	c bin-w-bin subsume rem          453 bins  time:  0.01 s
10.37/3.49	c subs with bin:      713  lits-rem:        11  v-fix:    0  time:  0.15 s
10.74/3.51	c Removed useless bin:       0  fixed:     0  bprops:   1.45M  time:  0.07 s
765.72/192.52	c lits-rem:         0  cl-subs:     6498  v-elim:   4339  v-fix:    0  time: 754.97 s
765.72/192.52	c learnt bin added due to v-elim: 0
765.72/192.54	c Finding binary XORs  T:     0.05 s  found:       0
772.89/194.38	c Finding non-binary XORs:     7.23 s (found:       0, avg size: nan)
772.89/194.38	c calculated reachability. Time: 0.02
772.89/194.39	c Calc default polars -  time:   0.07 s pos:     328 undec:    1985 neg:    8107
772.89/194.39	c =========================================================================================
772.89/194.39	c types(t): F = full restart, N = normal restart
772.89/194.39	c types(t): S = simplification begin/end, E = solution found
772.89/194.39	c restart types(rt): st = static, dy = dynamic
772.89/194.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
772.89/194.39	c  B st     0         0      8435    446062     21558         0   3669982         0   no data   no data  --
775.29/194.97	c Decided on static restart strategy
776.88/195.37	c  N dy    21      4085      8435    446062     21696      3878   3669981    134776     35.72     11.09  --
780.47/196.23	c  N dy    51      8133      8433    446062     21806      7736   3669981    274520     39.90     10.75  --
784.07/197.11	c  N dy    82     12234      8433    446062     22477     11588   3669981    407944     35.84     10.55  --
787.68/198.08	c  N dy   112     16263      8433    446062     22582     15444   3669980    561644     37.47     10.57  --
792.08/199.14	c  N dy   142     20359      8433    446062     22679      9860   3669979    200279     44.05     10.50  --
795.65/200.07	c  N dy   172     24435      8433    446062     22773     13770   3669978    353119     43.68     10.51  --
798.84/200.89	c  N dy   201     28442      8433    446062     22832     17664   3669978    500943     43.84     10.61  --
800.86/201.38	c  S st   213     30000      8433    446062     22853     19170   3669978    560653     36.01     10.67  --
804.04/202.14	c  S st   213     30501      8433    446062     22886     19634   3669978    572409     36.01     10.67  --
804.04/202.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
804.04/202.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
811.23/203.90	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    8 Bin:   8181 BRemL:     40 BRemN:      0 CBin:       0 P: 60.0M T:  6.94
811.23/203.94	c Calc non-exist non-lernt bins v-fix:     0 done:   8415 time:  0.15 s
811.23/203.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
812.03/204.19	c Subs w/ non-existent bins:    211 time:  1.03 s
812.43/204.24	c Replacing        9 vars Replaced     1467 lits Time:     0.18 s 
812.83/204.35	c bin-w-bin subsume rem           20 bins  time:  0.02 s
815.22/204.93	c subs with bin:     3236  lits-rem:     25672  v-fix:    0  time:  2.33 s
815.22/204.94	c Removed useless bin:       4  fixed:     0  bprops:   0.66M  time:  0.05 s
1341.33/336.69	c lits-rem:        82  cl-subs:    15797  v-elim:   1431  v-fix:    0  time: 526.25 s
1341.33/336.69	c learnt bin added due to v-elim: 0
1342.11/336.87	c vivif2 --  cl tried   430092 cl shrink      296 lits rem        311 time: 0.72
1342.11/336.89	c vivif2 --  cl tried    16285 cl shrink     1221 lits rem       2041 time: 0.11
1342.91/337.05	c asymm  cl-useful: 100/206/430092 lits-rem:312 time: 0.61
1342.91/337.07	c calculated reachability. Time: 0.02
1342.91/337.07	c  N dy   213     30501      8385    430092     30617     16284   3534948    467859     36.01     10.67  --
1342.91/337.07	c  F st   213     30501      8385    430092     30617     16284   3534948    467859     36.01     10.67  --
1345.32/337.69	c Decided on static restart strategy
1347.30/338.15	c  N dy   234     34604      8385    430092     30669     20280   3534948    619186     33.82     10.80  --
1351.69/339.20	c  N dy   264     38704      8384    430092     30711     24254   3534946    767825     36.66     10.79  --
1357.29/340.62	c  N dy   294     42742      8384    430092     30768     28191   3534946    938014     42.57     10.81  --
1360.88/341.53	c  S st   316     45751      8384    430092     30790     16238   3534946    317762     39.57     10.87  --
1363.68/342.26	c  S st   316     46251      8384    430092     30811     16716   3534946    328114     39.57     10.87  --
1363.68/342.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1363.68/342.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1371.68/344.26	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:    5 Bin:  13752 BRemL:    429 BRemN:      4 CBin:       0 P: 60.0M T:  7.89
1371.68/344.30	c Calc non-exist non-lernt bins v-fix:     0 done:   8378 time:  0.16 s
1371.68/344.30	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
1373.26/344.60	c Subs w/ non-existent bins:     46 time:  1.22 s
1373.26/344.65	c Replacing        5 vars Replaced      970 lits Time:     0.19 s 
1373.66/344.75	c bin-w-bin subsume rem            8 bins  time:  0.03 s
1374.46/344.91	c subs with bin:      211  lits-rem:      2469  v-fix:    0  time:  0.67 s
1374.46/344.93	c Removed useless bin:       0  fixed:     0  bprops:   0.53M  time:  0.04 s
1883.78/472.40	c lits-rem:        85  cl-subs:     2667  v-elim:   1371  v-fix:    0  time: 509.19 s
1883.78/472.40	c learnt bin added due to v-elim: 0
1884.58/472.65	c vivif2 --  cl tried   429516 cl shrink        6 lits rem         10 time: 1.00
1884.58/472.66	c vivif2 --  cl tried    14422 cl shrink      290 lits rem        383 time: 0.06
1885.38/472.80	c asymm  cl-useful: 0/84/429516 lits-rem:0 time: 0.54
1885.38/472.82	c calculated reachability. Time: 0.02
1885.38/472.82	c  N dy   316     46251      8337    429516     43467     14421   3532447    297528     39.57     10.87  --
1889.37/473.86	c  N dy   346     50352      8334    429516     47975     18509   3532447    469834     34.89     10.86  --
1893.76/474.92	c  N dy   375     54365      8333    429516     47983     22451   3532447    628802     35.71     10.91  --
1898.16/476.07	c  N dy   405     58455      8333    429516     47994     26473   3532447    810868     45.91     10.95  --
1902.95/477.27	c  N dy   435     62539      8333    429516     48001     30494   3532447    996210     40.59     11.00  --
1907.35/478.31	c  N dy   465     66664      8333    429516     48009     34530   3532447   1144827     32.25     11.04  --
1911.73/479.40	c  S st   485     69376      8333    429516     48012     18968   3532447    356286     44.29     11.12  --
1913.73/479.96	c  S st   485     69877      8333    429516     48014     19464   3532447    369459     44.29     11.12  --
1913.73/479.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1913.73/479.98	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
1920.93/481.70	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:    1 Bin:   1978 BRemL:    818 BRemN:      0 CBin:       0 P: 60.0M T:  6.88
1920.93/481.75	c Calc non-exist non-lernt bins v-fix:     0 done:   8325 time:  0.16 s
1920.93/481.75	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.00
1922.11/482.07	c Subs w/ non-existent bins:     20 time:  1.28 s
1922.51/482.11	c Replacing        1 vars Replaced      179 lits Time:     0.18 s 
1922.92/482.21	c bin-w-bin subsume rem           17 bins  time:  0.03 s
1923.31/482.37	c subs with bin:      273  lits-rem:       811  v-fix:    0  time:  0.64 s
1923.31/482.38	c Removed useless bin:       0  fixed:     0  bprops:   0.47M  time:  0.04 s
2510.15/629.21	c ORs :   7285 avg-s:  2.2 cl-sh: 1385509 l-rem: 1385509 b-add:  23443 v-rep:   0 cl-rem: 6 avg s: 9.2 T:   43.91
2515.72/630.63	c Added 51 vars  tried: 80000 time: 5.68
2515.72/630.68	c ORs :     51 avg-s:  0.0 cl-sh:  6259 l-rem:   6259 b-add:    137 v-rep:   0 cl-rem: 1551 avg s: 4.4 T:    5.86
2516.12/630.75	c lits-rem:        92  cl-subs:      997  v-elim:   1187  v-fix:    0  time: 592.61 s
2516.12/630.75	c learnt bin added due to v-elim: 0
2516.91/630.98	c vivif2 --  cl tried   404845 cl shrink       22 lits rem         50 time: 0.94
2517.31/631.01	c vivif2 --  cl tried    17813 cl shrink     2779 lits rem      15643 time: 0.12
2517.71/631.15	c asymm  cl-useful: 0/157/404845 lits-rem:0 time: 0.56
2517.71/631.18	c calculated reachability. Time: 0.02
2517.71/631.18	c  N dy   485     69877      8369    404845     72275     17757   2140881    324988     44.29     11.12  --
2517.71/631.18	c  F st   485     69877      8369    404845     72275     17757   2140881    324988     44.29     11.12  --
2519.71/631.62	c Decided on static restart strategy
2519.71/631.68	c Finding binary XORs  T:     0.06 s  found:       0
2522.92/632.44	c  N dy   508     74350      8366    404844     75068     38797   2140816    615149     42.74     11.14  --
2529.30/634.04	c  N dy   542     79142      8366    404844     75789     44143   2140816    858145     50.17     11.04  --
2536.51/635.81	c  N dy   578     84235      8366    404844     75800     49136   2140816   1084019     43.26     10.99  --
2542.07/637.23	c  N dy   618     89700      8365    404844     75811     54533   2140816   1321063     45.83     11.06  --
2547.26/638.50	c  N dy   661     95527      8364    404844     75834     31242   2140816    345685     45.05     11.13  --
2550.87/639.48	c  N dy   707    101756      8364    404844     75847     37366   2140816    597998     43.58     11.22  --
2554.08/640.27	c  S st   730    104815      8364    404844     75851     40394   2140816    727678     50.47     11.26  --
2555.26/640.52	c  S st   730    105320      8364    404844     75851     40899   2140816    743442     50.47     11.26  --
2555.26/640.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2555.26/640.54	c Cache  BProp: 2 Set: 0 BXProp: 1 T: 0.00
2564.04/642.78	c Flit:    22 Blit:      0 bXBeca:    0 bXProp:    1 Bin:   3725 BRemL:   2257 BRemN:    134 CBin:       0 P: 57.6M T:  8.96
2564.44/642.84	c Calc non-exist non-lernt bins v-fix:     0 done:   8335 time:  0.22 s
2564.44/642.84	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.00
2566.44/643.38	c Subs w/ non-existent bins:    288 time:  2.15 s
2566.86/643.43	c Replacing        2 vars Replaced      593 lits Time:     0.21 s 
2567.26/643.55	c bin-w-bin subsume rem         9033 bins  time:  0.08 s
2571.25/644.53	c subs with bin:     2128  lits-rem:      2166  v-fix:    0  time:  3.94 s
2571.25/644.55	c Removed useless bin:     277  fixed:     0  bprops:   0.63M  time:  0.07 s
2597.62/651.16	c ORs :   7308 avg-s:  2.2 cl-sh: 13177 l-rem:  13177 b-add:  13173 v-rep:   0 cl-rem: 288 avg s: 3.1 T:    1.85
2598.02/651.24	c lits-rem:       730  cl-subs:     2041  v-elim:   3529  v-fix:    0  time: 26.70 s
2598.02/651.24	c learnt bin added due to v-elim: 0
2599.20/651.54	c vivif2 --  cl tried   403697 cl shrink       91 lits rem        133 time: 1.22
2599.20/651.58	c vivif2 --  cl tried    23226 cl shrink     1304 lits rem       3136 time: 0.17
2600.00/651.72	c asymm  cl-useful: 0/131/403696 lits-rem:0 time: 0.54
2600.00/651.74	c calculated reachability. Time: 0.02
2600.00/651.74	c  N dy   730    105320      8330    403696     79176     23218   2135053    621728     50.47     11.26  --
2607.18/653.56	c  N dy   778    112053      8328    403696     79202     29852   2135053   1037573     56.10     11.20  --
2614.77/655.42	c  N dy   829    119256      8328    403696     79217     36948   2135053   1435538     48.42     11.14  --
2623.57/657.68	c  N dy   884    126960      8327    403696     79262     44493   2135052   1797759     41.71     11.06  --
2632.77/659.96	c  N dy   943    135062      8327    403696     79306     26269   2135052    520925     47.10     11.05  --
2633.95/660.28	c Finding binary XORs  T:     0.07 s  found:       0
2635.15/660.56	c  E dy   966    138146         0    403693     78994     27889   2134950    644387     49.28     11.07  --
2635.15/660.57	c Verified 403693 clauses.
2635.15/660.57	c Solution needs extension. Extending.
2638.64/663.47	c Verified 403693 clauses.
2638.64/663.47	c Following stats are for *FIRST FINISHED THREAD ONLY*
2638.64/663.47	c num threads              : 4          
2638.64/663.47	c restarts                 : 966        
2638.64/663.47	c dynamic restarts         : 948        
2638.64/663.47	c static restarts          : 18         
2638.64/663.47	c full restarts            : 2          
2638.64/663.47	c total simplify time      : 0.30       
2638.64/663.47	c learnts DL2              : 0          
2638.64/663.47	c learnts size 2           : 101410     
2638.64/663.47	c learnts size 1           : 692         (6.61      % of vars)
2638.64/663.47	c filedLit time            : 36.97       (1.40      % time)
2638.64/663.47	c v-elim SatELite          : 1357        (12.96     % vars)
2638.64/663.47	c SatELite time            : 2406.65     (91.22     % time)
2638.64/663.47	c v-elim xor               : 0           (0.00      % vars)
2638.64/663.47	c xor elim time            : 0.31        (0.01      % time)
2638.64/663.47	c num binary xor trees     : 88         
2638.64/663.47	c binxor trees' crown      : 97          (1.10      leafs/tree)
2638.64/663.47	c bin xor find time        : 0.18       
2638.64/663.47	c OTF clause subsumed      : 1999        (0.01      clauses/conflict)
2638.64/663.47	c OTF subs. size diff      : 2714        (1.36       lits/clause)
2638.64/663.47	c OTF cl watch-shrink      : 85313       (0.62      clauses/conflict)
2638.64/663.47	c OTF cl watch-sh-lit      : 693096      (8.12       lits/clause)
2638.64/663.47	c tried to recurMin cls    : 138114      (99.98      % of conflicts)
2638.64/663.47	c updated cache            : 66          (0.00       lits/tried recurMin)
2638.64/663.47	c OTF Gate-Rem cl          : 17298       (0.13      clauses/conflict)
2638.64/663.47	c OTF Gate-rem lits        : 24112       (1.39      lits/confl)
2638.64/663.47	c unit cls received        : 4           (0.58      % of units)
2638.64/663.47	c unit cls sent            : 682         (98.55     % of units)
2638.64/663.47	c bin cls received         : 8591       
2638.64/663.47	c bin cls sent             : 66549      
2638.64/663.47	c tri cls recevied         : 17370      
2638.64/663.47	c tri cls sent             : 103173     
2638.64/663.47	c clauses over max glue    : 0           (0.00      % of all clauses)
2638.64/663.47	c conflicts                : 138146      (52.36     / sec)
2638.64/663.47	c decisions                : 379490      (1.50      % random)
2638.64/663.47	c bogo-props               : 1674488198  (634701.15 / sec)
2638.64/663.47	c props                    : 59536088    (22566.67  / sec)
2638.64/663.47	c conflict literals        : 5987883     (34.92     % deleted)
2638.64/663.47	c Memory used              : 1210.48     MB
2638.64/663.47	c single-thread CPU time   : 2638.23     s
2638.64/663.47	c all-threads sum CPU time : 2638.23     s
2638.64/663.47	s SATISFIABLE
2638.64/663.47	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 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 -7884 -7885 7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 7902 7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 7964 -7965 -7966 -7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 8604 -8605 -8606 -8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830 8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 -8846 -8847 8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 9001 -9002 -9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 -9023 -9024 -9025 9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 -9044 -9045 -9046 9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 9061 -9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 9087 -9088 -9089 -9090 -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 -9104 -9105 -9106 9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 -9181 -9182 -9183 -9184 -9185 9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 9202 -9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 -9221 -9222 9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 -9262 9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 9324 -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 -9342 -9343 9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 -9381 9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 -9404 -9405 9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 -9545 9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 9605 -9606 -9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 9726 -9727 -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 -9824 -9825 9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844 -9845 -9846 9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 -9883 -9884 -9885 -9886 9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 -9904 -9905 -9906 -9907 9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 9922 -9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950 9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970 9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 -10063 10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 -10144 10145 -10146 -10147 -10148 -10149 -10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 10163 -10164 -10165 -10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 10186 -10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 -10202 -10203 -10204 -10205 10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282 -10283 10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 10324 -10325 -10326 -10327 -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 -10344 -10345 10346 -10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 10393 10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404 -10405 -10406 10407 10408 10409 10410 10411 10412 10413 10414 10415 10416 10417 10418 10419 10420 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-3291172-1304136122/watcher-3291172-1304136122 -o /tmp/evaluation-result-3291172-1304136122/solver-3291172-1304136122 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3291172-1304136122.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: 7.50 7.98 7.54 5/184 11944
/proc/meminfo: memFree=29620008/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=52132 CPUtime=0 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 1248 0 0 0 0 0 0 0 25 0 1 0 525210122 53383168 1183 33554432000 4194304 4797429 140733608947632 18446744073709551615 255376997863 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11944/statm: 13033 1183 347 148 0 7962 0

[startup+0.0846261 s]
/proc/loadavg: 7.50 7.98 7.54 5/184 11944
/proc/meminfo: memFree=29620008/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=54744 CPUtime=0.08 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 3382 0 0 0 8 0 0 0 25 0 1 0 525210122 56057856 3253 33554432000 4194304 4797429 140733608947632 18446744073709551615 4660992 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11944/statm: 13686 3253 348 148 0 8615 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54744

[startup+0.100623 s]
/proc/loadavg: 7.50 7.98 7.54 5/184 11944
/proc/meminfo: memFree=29620008/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=55272 CPUtime=0.09 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 3800 0 0 0 9 0 0 0 25 0 1 0 525210122 56598528 3659 33554432000 4194304 4797429 140733608947632 18446744073709551615 4411332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11944/statm: 13818 3659 348 148 0 8747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55272

[startup+0.300587 s]
/proc/loadavg: 7.50 7.98 7.54 5/184 11944
/proc/meminfo: memFree=29620008/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=89452 CPUtime=0.29 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 15361 0 0 0 28 1 0 0 25 0 1 0 525210122 91598848 13448 33554432000 4194304 4797429 140733608947632 18446744073709551615 255376962245 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11944/statm: 22363 13450 350 148 0 17292 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 89452

[startup+0.700513 s]
/proc/loadavg: 7.50 7.98 7.54 5/184 11944
/proc/meminfo: memFree=29620008/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=233632 CPUtime=0.69 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 31161 0 0 0 65 4 0 0 25 0 1 0 525210122 239239168 27997 33554432000 4194304 4797429 140733608947632 18446744073709551615 255376997881 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11944/statm: 58408 27997 350 148 0 53337 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 233632

[startup+1.50033 s]
/proc/loadavg: 7.50 7.98 7.54 6/185 11945
/proc/meminfo: memFree=29455204/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=823616 CPUtime=2.83 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 86635 0 0 0 267 16 0 0 18 0 4 0 525210122 843382784 51989 33554432000 4194304 4797429 140733608947632 18446744073709551615 255376998496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11944/statm: 205904 51997 384 148 0 200833 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 823616

[startup+3.10103 s]
/proc/loadavg: 7.54 7.98 7.54 9/188 11948
/proc/meminfo: memFree=29380148/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=907044 CPUtime=9.23 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 93431 0 0 0 905 18 0 0 20 0 4 0 525210122 928813056 58785 33554432000 4194304 4797429 140733608947632 18446744073709551615 4642256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11944/statm: 226761 58785 385 148 0 221690 0
[pid=11944/tid=11946] ppid=11942 vsize=907044 CPUtime=2.03 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 12264 0 0 0 201 2 0 0 20 0 4 0 525210226 928813056 58785 33554432000 4194304 4797429 140733608947632 18446744073709551615 4642204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=907044 CPUtime=2.04 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 12203 0 0 0 202 2 0 0 21 0 4 0 525210226 928813056 58785 33554432000 4194304 4797429 140733608947632 18446744073709551615 4642204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=907044 CPUtime=2.05 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 11646 0 0 0 202 3 0 0 25 0 4 0 525210226 928813056 58785 33554432000 4194304 4797429 140733608947632 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (KiB) 907044

[startup+6.30044 s]
/proc/loadavg: 7.54 7.98 7.54 9/188 11948
/proc/meminfo: memFree=29229296/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=967304 CPUtime=21.92 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 126098 0 0 0 2166 26 0 0 23 0 4 0 525210122 990519296 91376 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 241826 91376 431 148 0 236755 0
[pid=11944/tid=11946] ppid=11942 vsize=967304 CPUtime=5.19 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 20698 0 0 0 515 4 0 0 24 0 4 0 525210226 990519296 91376 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=967304 CPUtime=5.22 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 21764 0 0 0 517 5 0 0 24 0 4 0 525210226 990519296 91376 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=967304 CPUtime=5.23 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 20494 0 0 0 517 6 0 0 24 0 4 0 525210226 990519296 91376 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 21.92
Current children cumulated vsize (KiB) 967304

[startup+12.7002 s]
/proc/loadavg: 7.61 7.98 7.55 9/188 11948
/proc/meminfo: memFree=29203764/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1048680 CPUtime=47.47 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 129679 0 0 0 4719 28 0 0 25 0 4 0 525210122 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568023 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 262170 94912 417 148 0 257099 0
[pid=11944/tid=11946] ppid=11942 vsize=1048680 CPUtime=11.56 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 21821 0 0 0 1151 5 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1048680 CPUtime=11.62 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 22002 0 0 0 1156 6 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1048680 CPUtime=11.62 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 21609 0 0 0 1156 6 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 47.47
Current children cumulated vsize (KiB) 1048680

[startup+25.5009 s]
/proc/loadavg: 7.67 7.98 7.55 9/188 11948
/proc/meminfo: memFree=29193116/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1048680 CPUtime=98.6 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 129679 0 0 0 9832 28 0 0 25 0 4 0 525210122 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568062 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 262170 94912 417 148 0 257099 0
[pid=11944/tid=11946] ppid=11942 vsize=1048680 CPUtime=24.28 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 21821 0 0 0 2423 5 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1048680 CPUtime=24.42 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 22002 0 0 0 2436 6 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1048680 CPUtime=24.42 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 21609 0 0 0 2436 6 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (KiB) 1048680

[startup+51.1011 s]
/proc/loadavg: 7.84 8.00 7.56 9/188 11949
/proc/meminfo: memFree=29186328/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1048680 CPUtime=200.86 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 129679 0 0 0 20058 28 0 0 25 0 4 0 525210122 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568003 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 262170 94912 417 148 0 257099 0
[pid=11944/tid=11946] ppid=11942 vsize=1048680 CPUtime=49.75 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 21821 0 0 0 4970 5 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1048680 CPUtime=50.02 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 22002 0 0 0 4996 6 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1048680 CPUtime=50.02 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 21609 0 0 0 4996 6 0 0 25 0 4 0 525210226 1073848320 94912 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 200.86
Current children cumulated vsize (KiB) 1048680

[startup+102.307 s]
/proc/loadavg: 8.01 8.02 7.60 9/188 11950
/proc/meminfo: memFree=29167956/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1048680 CPUtime=405.41 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 129823 0 0 0 40512 29 0 0 25 0 4 0 525210122 1073848320 95052 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 262170 95052 413 148 0 257099 0
[pid=11944/tid=11946] ppid=11942 vsize=1048680 CPUtime=100.67 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 21889 0 0 0 10062 5 0 0 25 0 4 0 525210226 1073848320 95052 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1048680 CPUtime=101.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 22004 0 0 0 10117 6 0 0 25 0 4 0 525210226 1073848320 95052 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1048680 CPUtime=101.22 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 21681 0 0 0 10116 6 0 0 25 0 4 0 525210226 1073848320 95052 33554432000 4194304 4797429 140733608947632 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 405.41
Current children cumulated vsize (KiB) 1048680

[startup+162.301 s]
/proc/loadavg: 8.40 8.13 7.66 10/189 11955
/proc/meminfo: memFree=29133192/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1048680 CPUtime=645.07 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 130418 0 0 0 64478 29 0 0 25 0 4 0 525210122 1073848320 95634 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568055 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 262170 95634 406 148 0 257099 0
[pid=11944/tid=11946] ppid=11942 vsize=1048680 CPUtime=160.34 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 22128 0 0 0 16029 5 0 0 25 0 4 0 525210226 1073848320 95634 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1048680 CPUtime=161.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 22214 0 0 0 16117 6 0 0 25 0 4 0 525210226 1073848320 95634 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1048680 CPUtime=161.21 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 21827 0 0 0 16115 6 0 0 25 0 4 0 525210226 1073848320 95634 33554432000 4194304 4797429 140733608947632 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 645.07
Current children cumulated vsize (KiB) 1048680

[startup+222.3 s]
/proc/loadavg: 8.57 8.22 7.72 9/188 11957
/proc/meminfo: memFree=29066768/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1117268 CPUtime=884.72 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 150981 0 0 0 88438 34 0 0 25 0 4 0 525210122 1144082432 116116 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 279317 116116 418 148 0 274246 0
[pid=11944/tid=11946] ppid=11942 vsize=1117268 CPUtime=220.01 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 26733 0 0 0 21995 6 0 0 25 0 4 0 525210226 1144082432 116116 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1117268 CPUtime=221.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 28026 0 0 0 22115 8 0 0 25 0 4 0 525210226 1144082432 116116 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1117268 CPUtime=221.2 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 26404 0 0 0 22113 7 0 0 25 0 4 0 525210226 1144082432 116116 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 884.72
Current children cumulated vsize (KiB) 1117268

[startup+282.3 s]
/proc/loadavg: 8.49 8.24 7.75 9/188 11958
/proc/meminfo: memFree=29050740/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1117268 CPUtime=1124.4 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 151730 0 0 0 112406 34 0 0 25 0 4 0 525210122 1144082432 116865 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 279317 116865 418 148 0 274246 0
[pid=11944/tid=11946] ppid=11942 vsize=1117268 CPUtime=279.69 cores=0,2,4,6

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

/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 27780 0 0 0 34112 8 0 0 25 0 4 0 525210226 1159348224 121138 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568023 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1364.08
Current children cumulated vsize (KiB) 1132176

[startup+402.301 s]
/proc/loadavg: 8.27 8.22 7.80 9/188 11961
/proc/meminfo: memFree=29019404/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1133536 CPUtime=1603.76 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 156341 0 0 0 160340 36 0 0 25 0 4 0 525210122 1160740864 121445 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 283384 121445 419 148 0 278313 0
[pid=11944/tid=11946] ppid=11942 vsize=1133536 CPUtime=399.04 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 28057 0 0 0 39898 6 0 0 25 0 4 0 525210226 1160740864 121445 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1133536 CPUtime=401.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 29179 0 0 0 40115 8 0 0 25 0 4 0 525210226 1160740864 121445 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1133536 CPUtime=401.19 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 27780 0 0 0 40111 8 0 0 25 0 4 0 525210226 1160740864 121445 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1603.76
Current children cumulated vsize (KiB) 1133536

[startup+462.301 s]
/proc/loadavg: 8.23 8.20 7.82 9/188 11963
/proc/meminfo: memFree=29011316/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1137296 CPUtime=1843.43 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 157507 0 0 0 184306 37 0 0 25 0 4 0 525210122 1164591104 122603 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 284324 122603 419 148 0 279253 0
[pid=11944/tid=11946] ppid=11942 vsize=1137296 CPUtime=458.71 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 28596 0 0 0 45865 6 0 0 25 0 4 0 525210226 1164591104 122603 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1137296 CPUtime=461.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 29463 0 0 0 46115 8 0 0 25 0 4 0 525210226 1164591104 122603 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1137296 CPUtime=461.19 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 28123 0 0 0 46111 8 0 0 25 0 4 0 525210226 1164591104 122603 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1843.43
Current children cumulated vsize (KiB) 1137296

[startup+522.301 s]
/proc/loadavg: 8.32 8.23 7.85 9/188 11965
/proc/meminfo: memFree=28996780/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1146164 CPUtime=2083.11 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 165178 0 0 0 208273 38 0 0 25 0 4 0 525210122 1173671936 122808 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568013 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 286541 122808 419 148 0 281470 0
[pid=11944/tid=11946] ppid=11942 vsize=1146164 CPUtime=518.38 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 28596 0 0 0 51832 6 0 0 25 0 4 0 525210226 1173671936 122808 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1146164 CPUtime=521.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 29463 0 0 0 52115 8 0 0 25 0 4 0 525210226 1173671936 122808 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1146164 CPUtime=521.18 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 28123 0 0 0 52110 8 0 0 25 0 4 0 525210226 1173671936 122808 33554432000 4194304 4797429 140733608947632 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2083.11
Current children cumulated vsize (KiB) 1146164

[startup+582.301 s]
/proc/loadavg: 8.33 8.23 7.87 9/188 11966
/proc/meminfo: memFree=29008176/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1146164 CPUtime=2322.78 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 165180 0 0 0 232240 38 0 0 25 0 4 0 525210122 1173671936 122810 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 286541 122810 419 148 0 281470 0
[pid=11944/tid=11946] ppid=11942 vsize=1146164 CPUtime=578.06 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 28597 0 0 0 57800 6 0 0 25 0 4 0 525210226 1173671936 122810 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1146164 CPUtime=581.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 29464 0 0 0 58115 8 0 0 25 0 4 0 525210226 1173671936 122810 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1146164 CPUtime=581.18 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 28123 0 0 0 58110 8 0 0 25 0 4 0 525210226 1173671936 122810 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2322.78
Current children cumulated vsize (KiB) 1146164

[startup+642.301 s]
/proc/loadavg: 8.33 8.25 7.90 9/188 11968
/proc/meminfo: memFree=28886004/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1221820 CPUtime=2562.46 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 194709 0 0 0 256200 46 0 0 25 0 4 0 525210122 1251143680 149647 33554432000 4194304 4797429 140733608947632 18446744073709551615 4429139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 305455 149647 422 148 0 300384 0
[pid=11944/tid=11946] ppid=11942 vsize=1221820 CPUtime=637.75 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 35316 0 0 0 63767 8 0 0 25 0 4 0 525210226 1251143680 149647 33554432000 4194304 4797429 140733608947632 18446744073709551615 4642069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1221820 CPUtime=641.24 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 36456 0 0 0 64113 11 0 0 25 0 4 0 525210226 1251143680 149647 33554432000 4194304 4797429 140733608947632 18446744073709551615 4648004 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1221820 CPUtime=641.17 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 36627 0 0 0 64107 10 0 0 25 0 4 0 525210226 1251143680 149647 33554432000 4194304 4797429 140733608947632 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.46
Current children cumulated vsize (KiB) 1221820

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

[startup+652.701 s]
/proc/loadavg: 8.28 8.24 7.90 9/188 11968
/proc/meminfo: memFree=28867148/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1226448 CPUtime=2603.99 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 197288 0 0 0 260352 47 0 0 25 0 4 0 525210122 1255882752 151277 33554432000 4194304 4797429 140733608947632 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 306612 151277 422 148 0 301541 0
[pid=11944/tid=11946] ppid=11942 vsize=1226448 CPUtime=648.14 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 35380 0 0 0 64806 8 0 0 25 0 4 0 525210226 1255882752 151277 33554432000 4194304 4797429 140733608947632 18446744073709551615 4428570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1226448 CPUtime=651.63 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 36939 0 0 0 65152 11 0 0 25 0 4 0 525210226 1255882752 151277 33554432000 4194304 4797429 140733608947632 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1226448 CPUtime=651.51 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 37066 0 0 0 65141 10 0 0 25 0 4 0 525210226 1255882752 151277 33554432000 4194304 4797429 140733608947632 18446744073709551615 4654792 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2603.99
Current children cumulated vsize (KiB) 1226448

[startup+659.1 s]
/proc/loadavg: 8.26 8.23 7.90 9/188 11968
/proc/meminfo: memFree=28877808/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1226448 CPUtime=2629.55 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 199293 0 0 0 262907 48 0 0 25 0 4 0 525210122 1255882752 153255 33554432000 4194304 4797429 140733608947632 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 306612 153255 422 148 0 301541 0
[pid=11944/tid=11946] ppid=11942 vsize=1226448 CPUtime=654.54 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 35696 0 0 0 65446 8 0 0 25 0 4 0 525210226 1255882752 153255 33554432000 4194304 4797429 140733608947632 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1226448 CPUtime=658.03 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 36988 0 0 0 65792 11 0 0 25 0 4 0 525210226 1255882752 153255 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1226448 CPUtime=657.87 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 37469 0 0 0 65777 10 0 0 25 0 4 0 525210226 1255882752 153255 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2629.55
Current children cumulated vsize (KiB) 1226448

[startup+660.701 s]
/proc/loadavg: 8.26 8.23 7.90 9/188 11968
/proc/meminfo: memFree=28877184/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1239524 CPUtime=2635.83 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) S 11942 11944 10653 0 -1 4202496 204873 0 0 0 263534 49 0 0 25 0 4 0 525210122 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 255389130353 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 309881 150201 425 148 0 304810 0
[pid=11944/tid=11946] ppid=11942 vsize=1239524 CPUtime=656.14 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 35699 0 0 0 65606 8 0 0 25 0 4 0 525210226 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 4593443 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1239524 CPUtime=659.63 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 36988 0 0 0 65952 11 0 0 25 0 4 0 525210226 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1239524 CPUtime=659.46 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) S 11942 11944 10653 0 -1 4202560 37472 0 0 0 65936 10 0 0 25 0 4 0 525210226 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045446708 0 0 4096 2 18446604453827446848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2635.83
Current children cumulated vsize (KiB) 1239524

[startup+662.301 s]
/proc/loadavg: 8.00 8.18 7.88 6/188 11968
/proc/meminfo: memFree=28883136/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1239524 CPUtime=2637.54 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) S 11942 11944 10653 0 -1 4202496 205190 0 0 0 263705 49 0 0 15 0 4 0 525210122 1269272576 150514 33554432000 4194304 4797429 140733608947632 18446744073709551615 255389130353 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 309881 150514 425 148 0 304810 0
[pid=11944/tid=11946] ppid=11942 vsize=1239524 CPUtime=656.26 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) S 11942 11944 10653 0 -1 4202560 35699 0 0 0 65618 8 0 0 25 0 4 0 525210226 1269272576 150514 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045446708 0 0 4096 2 18446604453827446848 0 0 -1 4 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1239524 CPUtime=661.23 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 37305 0 0 0 66112 11 0 0 25 0 4 0 525210226 1269272576 150514 33554432000 4194304 4797429 140733608947632 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1239524 CPUtime=659.46 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) S 11942 11944 10653 0 -1 4202560 37472 0 0 0 65936 10 0 0 25 0 4 0 525210226 1269272576 150514 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045446708 0 0 4096 2 18446604453827446848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2637.54
Current children cumulated vsize (KiB) 1239524

[startup+663.101 s]
/proc/loadavg: 8.00 8.18 7.88 6/188 11968
/proc/meminfo: memFree=28883136/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=1239524 CPUtime=2638.34 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) S 11942 11944 10653 0 -1 4202496 205190 0 0 0 263785 49 0 0 15 0 4 0 525210122 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 255389130353 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 309881 150201 425 148 0 304810 0
[pid=11944/tid=11946] ppid=11942 vsize=1239524 CPUtime=656.26 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) S 11942 11944 10653 0 -1 4202560 35699 0 0 0 65618 8 0 0 25 0 4 0 525210226 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045446708 0 0 4096 2 18446604453827446848 0 0 -1 4 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=1239524 CPUtime=662.03 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 37305 0 0 0 66192 11 0 0 25 0 4 0 525210226 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 4647984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=1239524 CPUtime=659.46 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) S 11942 11944 10653 0 -1 4202560 37472 0 0 0 65936 10 0 0 25 0 4 0 525210226 1269272576 150201 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045446708 0 0 4096 2 18446604453827446848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2638.34
Current children cumulated vsize (KiB) 1239524

[startup+663.501 s]
/proc/loadavg: 8.00 8.18 7.88 6/188 11968
/proc/meminfo: memFree=28882760/32951124 swapFree=67111352/67111528
[pid=11944] ppid=11942 vsize=962624 CPUtime=2638.82 cores=0,2,4,6
/proc/11944/stat : 11944 (techdemo) R 11942 11944 10653 0 -1 4202496 205201 0 0 0 263833 49 0 0 15 0 4 0 525210122 985726976 136674 33554432000 4194304 4797429 140733608947632 18446744073709551615 255376957838 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11944/statm: 240656 136674 433 148 0 235585 0
[pid=11944/tid=11946] ppid=11942 vsize=962624 CPUtime=656.28 cores=0,2,4,6
/proc/11944/task/11946/stat : 11946 (techdemo) R 11942 11944 10653 0 -1 4202560 35699 0 0 0 65620 8 0 0 18 0 4 0 525210226 985726976 136674 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045447090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11944/tid=11947] ppid=11942 vsize=962624 CPUtime=662.43 cores=0,2,4,6
/proc/11944/task/11947/stat : 11947 (techdemo) R 11942 11944 10653 0 -1 4202560 37307 0 0 0 66232 11 0 0 25 0 4 0 525210226 985726976 136674 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045447094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11944/tid=11948] ppid=11942 vsize=962624 CPUtime=659.49 cores=0,2,4,6
/proc/11944/task/11948/stat : 11948 (techdemo) R 11942 11944 10653 0 -1 4202560 37472 0 0 0 65939 10 0 0 18 0 4 0 525210226 985726976 136674 33554432000 4194304 4797429 140733608947632 18446744073709551615 47920045447090 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2638.82
Current children cumulated vsize (KiB) 962624

Child status: 10
Real time (s): 663.549
CPU time (s): 2638.95
CPU user time (s): 2638.43
CPU system time (s): 0.527919
CPU usage (%): 397.703
Max. virtual memory (cumulated for all children) (KiB): 1239524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2638.43
system time used= 0.527919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205202
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= 10505
involuntary context switches= 40379

runsolver used 1.05684 second user time and 2.57061 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 06:02:03
IDJOB=3291172
IDBENCH=83475
IDSOLVER=1584
FILE ID=node135/3291172-1304136122
RUNJOBID= node135-1304136122-11861
PBS_JOBID= 13170784
Free space on /tmp= 72072 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291172-1304136122/watcher-3291172-1304136122 -o /tmp/evaluation-result-3291172-1304136122/solver-3291172-1304136122 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3291172-1304136122.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=2102335404

node135.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.851
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.70
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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29620296 kB
Buffers:        938488 kB
Cached:        1786584 kB
SwapCached:        172 kB
Active:         216472 kB
Inactive:      2597080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29620296 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           36640 kB
Writeback:           0 kB
AnonPages:       88104 kB
Mapped:          14544 kB
Slab:           455404 kB
PageTables:       4268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   678788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72064 MiB
End job on node135 at 2011-04-30 06:13:06