Trace number 3394660

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 1293.34 176.207

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.1969
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.57/0.10	c This is CryptoMiniSat 3.0.0
0.57/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.57/0.10	c Reading file 'HOME/instance-3394660-1306102930.cnf'
0.57/0.11	c -- header says num vars:          10420
0.57/0.11	c -- header says num clauses:      395383
1.82/0.32	c -- clauses added:            0 learnts,       395383 normals,            0 xors
1.82/0.32	c -- vars added      10420
1.82/0.32	c Parsing time:  0.15 s
1.82/0.32	c  N st     0         0     10420    367831     26628         0   2819244         0   no data   no data
3.35/0.56	c asymm  cl-useful: 0/1283/367388 lits-rem:0 time: 0.23
12.06/1.60	c Flit:    33 Blit:      0 bXBeca:    0 bXProp:   80 Bins:      0 BRemL:      0 BRemN:      0 P: 39.6M T:  1.01
12.86/1.71	c Replacing       80 vars Replaced   241302 lits Time:     0.11 s 
13.93/2.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.93/2.08	c bin-w-bin subsume rem          474 bins  time:  0.00 s
13.93/2.11	c subs with bin:      521  lits-rem:        14  v-fix:    0  time:  0.03 s
14.59/2.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7018 time:  0.02 s
14.59/2.15	c Removed useless bin:       0  fixed:     0  props:   2.37M  time:  0.02 s
146.36/19.79	c lits-rem:         0  cl-subs:      230  v-elim:    868  v-fix:    0  time: 14.88 s
146.36/19.80	c Finding binary XORs  T:     0.01 s  found:       0
155.96/20.99	c Finding non-binary XORs:     1.17 s (found:       0, avg size: nan)
155.96/20.99	c calculated reachability. Time: 0.00
156.62/21.01	c Calc default polars -  time:   0.02 s pos:     336 undec:    1465 neg:    8619
156.62/21.01	c =========================================================================================
156.62/21.01	c types(t): F = full restart, N = normal restart
156.62/21.01	c types(t): S = simplification begin/end, E = solution found
156.62/21.01	c restart types(rt): st = static, dy = dynamic
156.62/21.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
156.62/21.01	c  B st     0         0      8955    367714     22995         0   2783510         0   no data   no data
162.21/21.70	c  N dy    16      4003      8951    367714     23124      3832   2783510    163127      9.41     10.09
165.40/22.14	c  N dy    45      8127      8927    367714     25374      7800   2783510    326487      9.75     10.29
168.59/22.51	c Finding binary XORs  T:     0.01 s  found:       1
170.99/22.85	c  N dy    69     12212      8902    361866     25846     11722   2744323    499736      9.95     19.77
175.78/23.45	c  N dy    93     16315      8901    361866     25893     15748   2744323    674435     10.03     10.61
180.57/24.06	c  N dy   118     20390      8901    361866     26264     10067   2744323    199446     10.09     11.56
185.35/24.63	c  N dy   146     24616      8901    361866     26564     14183   2744323    397881     10.18     10.75
185.35/24.66	c  F st   147     25000      8901    361866     26580     14544   2744323    408313     10.15      9.63
186.15/24.70	c Replacing        1 vars Replaced        9 lits Time:     0.02 s 
191.73/25.43	c  N dy   153     30000      8900    361865     26600     19475   2744310    680341     10.15   no data
191.73/25.43	c  S st   153     30000      8900    361865     26600     19475   2744310    680341     10.15   no data
191.73/25.44	c Finding binary XORs  T:     0.01 s  found:       0
194.92/25.83	c  S st   153     30500      8900    361865     26878     19957   2744310    693120     10.15   no data
194.92/25.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
214.80/28.38	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 305615 BRemL: 281109 BRemN:      0 P: 67.8M T:  2.47
215.61/28.49	c blocked clauses removed:        0 vars:      0 tried:        8898 T: 0.00 s
215.61/28.49	c bin-w-bin subsume rem          135 bins  time:  0.00 s
216.52/28.54	c subs with bin:      494  lits-rem:      4991  v-fix:    0  time:  0.05 s
216.52/28.56	c Subs w/ non-existent bins:      2 l-rem:     15 v-fix:     0 done:    704 time:  0.02 s
216.52/28.57	c Removed useless bin:       1  fixed:     0  props:   0.89M  time:  0.01 s
297.79/38.79	c lits-rem:         0  cl-subs:     7400  v-elim:    225  v-fix:    0  time: 10.19 s
299.39/38.90	c subs with bin:       65  lits-rem:      3575  v-fix:    0  time:  0.10 s
385.56/49.72	c lits-rem:        27  cl-subs:      594  v-elim:      0  v-fix:    0  time: 10.72 s
387.96/50.07	c asymm  cl-useful: 0/1489/354290 lits-rem:0 time: 0.35
387.96/50.10	c calculated reachability. Time: 0.01
387.96/50.10	c  N dy   153     30500      8673    354290     49209      9197   2687830    239202     10.15   no data
388.76/50.11	c Finding binary XORs  T:     0.01 s  found:       0
396.75/51.15	c  N dy   175     34692      8671    354290     49212     13357   2687830    437729     10.12     10.86
403.92/52.00	c Finding binary XORs  T:     0.02 s  found:       0
404.72/52.18	c  N dy   193     38738      8669    354289    338856     17347   2687715   1195983     10.02     10.98
411.90/53.01	c  N dy   217     42847      8669    354289    345884     11384   2687715    844642     10.02     10.56
415.09/53.44	c  S st   233     45750      8667    354289    345888     14248   2687715    961112     10.04   no data
417.48/53.78	c  S st   233     46252      8667    354289    345889     14749   2687715    981752     10.04   no data
417.48/53.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
435.96/56.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2767 BRemL: 293522 BRemN:      2 P: 62.5M T:  2.22
436.78/56.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
436.78/56.14	c bin-w-bin subsume rem         1612 bins  time:  0.00 s
436.78/56.19	c subs with bin:      466  lits-rem:       105  v-fix:    0  time:  0.05 s
437.43/56.21	c Subs w/ non-existent bins:      1 l-rem:     19 v-fix:     0 done:   2042 time:  0.02 s
437.43/56.23	c Removed useless bin:       2  fixed:     0  props:   0.84M  time:  0.01 s
514.05/65.88	c lits-rem:         0  cl-subs:      124  v-elim:     25  v-fix:    0  time:  9.64 s
515.79/66.07	c subs with bin:       53  lits-rem:       504  v-fix:    0  time:  0.17 s
600.25/76.68	c lits-rem:         9  cl-subs:      460  v-elim:      0  v-fix:    0  time: 10.54 s
601.84/76.83	c vivif2 --  cl tried   353590 cl shrink       82 lits rem         93 time: 0.15
601.84/76.85	c vivif2 --  cl tried    12958 cl shrink     1416 lits rem       4044 time: 0.02
603.58/77.07	c asymm  cl-useful: 5/1316/353590 lits-rem:6 time: 0.22
603.58/77.09	c calculated reachability. Time: 0.00
603.58/77.09	c  N dy   233     46252      8642    353590     52586     12958   2681948    331753     10.04   no data
604.22/77.10	c Finding binary XORs  T:     0.01 s  found:       0
609.03/77.72	c  N dy   260     50254      8632    353590     59055     16933   2681948    503640     10.08     11.64
613.79/78.35	c  N dy   286     54373      8632    353590     59057     21027   2681948    687464     10.14     10.72
616.19/78.65	c Finding binary XORs  T:     0.01 s  found:       1
618.60/78.98	c  N dy   311     58387      8632    353582     59280     24957   2681763    904686     10.20     14.71
623.38/79.58	c  N dy   335     62669      8632    353582     61003     29202   2681763   1098130     10.23     10.92
629.08/80.25	c  N dy   363     66881      8632    353582     61003     18203   2681763    447719     10.29     10.85
632.16/80.61	c  S st   376     69378      8631    353582     61061     20689   2681763    583810     10.31      9.12
634.56/80.91	c  S st   376     69880      8631    353582     61061     21190   2681762    603201     10.31   no data
634.56/80.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
651.31/83.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   3347 BRemL:   8161 BRemN:      0 P: 63.4M T:  2.12
651.31/83.10	c Replacing        3 vars Replaced      511 lits Time:     0.04 s 
652.11/83.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
652.11/83.19	c bin-w-bin subsume rem           68 bins  time:  0.00 s
653.71/83.31	c subs with bin:     1981  lits-rem:      2590  v-fix:    0  time:  0.12 s
653.71/83.34	c Subs w/ non-existent bins:      0 l-rem:     13 v-fix:     0 done:   1704 time:  0.02 s
653.71/83.35	c Removed useless bin:       1  fixed:     0  props:   0.77M  time:  0.01 s
749.47/95.36	c lits-rem:         0  cl-subs:     1384  v-elim:     33  v-fix:    0  time: 12.00 s
752.81/95.76	c subs with bin:      127  lits-rem:       971  v-fix:    0  time:  0.38 s
837.25/106.30	c lits-rem:        11  cl-subs:      601  v-elim:      0  v-fix:    0  time: 10.47 s
838.05/106.46	c vivif2 --  cl tried   350147 cl shrink       14 lits rem         15 time: 0.15
838.05/106.49	c vivif2 --  cl tried    19493 cl shrink     1913 lits rem       9381 time: 0.03
841.24/106.82	c asymm  cl-useful: 0/1305/350147 lits-rem:0 time: 0.32
841.24/106.84	c calculated reachability. Time: 0.01
841.24/106.84	c  N dy   376     69880      8595    350147     55672     19492   2658672    508204     10.31   no data
841.24/106.85	c Finding binary XORs  T:     0.01 s  found:       0
847.62/107.62	c  N dy   399     74589      8594    350147     59889     24180   2658672    765906     10.30     10.99
856.41/108.72	c  N dy   422     80297      8591    350147     60905     29853   2658672   1101633     10.26     11.01
858.79/109.02	c Finding binary XORs  T:     0.01 s  found:       1
865.19/109.82	c  N dy   436     85479      8590    350143     60399     34969   2658583   1386179     10.18     10.85
869.97/110.40	c  F st   446     87500      8590    350143     60399     18517   2658583    353107     10.18      8.02
869.97/110.45	c Replacing        1 vars Replaced     4085 lits Time:     0.05 s 
880.34/111.77	c  N dy   452     92696      8589    350143     60397     23693   2658579    760031     10.18   no data
881.15/111.81	c Finding binary XORs  T:     0.01 s  found:       0
894.71/113.56	c  N dy   469     98940      8588    350142     69273     29908   2658570   1418753     10.07     10.62
905.08/114.82	c  S st   506    104822      8588    350142     69283     35762   2658570   1779106     10.11     10.14
908.29/115.21	c  S st   506    105324      8588    350142     70636     36262   2658570   1798074     10.11   no data
908.29/115.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
928.39/117.75	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:   1967 BRemL:  10204 BRemN:      0 P: 67.8M T:  2.51
929.02/117.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
929.02/117.86	c bin-w-bin subsume rem          129 bins  time:  0.00 s
929.02/117.89	c subs with bin:      225  lits-rem:        87  v-fix:    0  time:  0.03 s
929.82/117.91	c Subs w/ non-existent bins:      2 l-rem:      3 v-fix:     0 done:   1158 time:  0.02 s
929.82/117.92	c Removed useless bin:       0  fixed:     0  props:   0.63M  time:  0.01 s
1027.19/130.13	c lits-rem:         0  cl-subs:       80  v-elim:     26  v-fix:    0  time: 12.20 s
1038.37/131.54	c subs with bin:      129  lits-rem:      2447  v-fix:    0  time:  1.33 s
1205.96/152.58	c lits-rem:        35  cl-subs:      808  v-elim:      0  v-fix:    0  time: 20.97 s
1207.55/152.74	c vivif2 --  cl tried   349747 cl shrink       12 lits rem         18 time: 0.15
1208.46/152.85	c vivif2 --  cl tried    32527 cl shrink     5604 lits rem      41442 time: 0.11
1211.54/153.20	c asymm  cl-useful: 23/2215/349746 lits-rem:23 time: 0.35
1211.54/153.22	c calculated reachability. Time: 0.00
1211.54/153.22	c  N dy   506    105324      8561    349746     60115     32514   2655594   1491918     10.11   no data
1211.54/153.24	c Finding binary XORs  T:     0.01 s  found:       0
1223.52/154.70	c Finding binary XORs  T:     0.01 s  found:       0
1224.32/154.85	c  N dy   543    112085      8555    349741     64294     39168   2655492   1990239     10.12     12.08
1234.81/156.18	c  N dy   598    119638      8555    349741     64557     27019   2655491    849766     10.21     10.75
1244.42/157.32	c  E dy   641    126523         0    349741     64566     33867   2655491   1278448     10.26      7.27
1244.42/157.33	c Verified 349741 clauses.
1244.42/157.33	c Solution needs extension. Extending.
1293.18/176.13	c Verified 349741 clauses.
1293.18/176.13	c Following stats are for *FIRST FINISHED THREAD ONLY*
1293.18/176.13	c num threads              : 8          
1293.18/176.13	c restarts                 : 641        
1293.18/176.13	c dynamic restarts         : 623        
1293.18/176.13	c static restarts          : 18         
1293.18/176.13	c full restarts            : 2          
1293.18/176.13	c total simplify time      : 0.31       
1293.18/176.13	c learnts DL2              : 0          
1293.18/176.13	c learnts size 2           : 672211     
1293.18/176.13	c learnts size 1           : 603         (5.79      % of vars)
1293.18/176.13	c filedLit time            : 10.34       (5.99      % time)
1293.18/176.13	c v-elim SatELite          : 1177        (11.30     % vars)
1293.18/176.13	c SatELite time            : 110.99      (64.27     % time)
1293.18/176.13	c v-elim xor               : 0           (0.00      % vars)
1293.18/176.13	c xor elim time            : 0.09        (0.05      % time)
1293.18/176.13	c num binary xor trees     : 81         
1293.18/176.13	c binxor trees' crown      : 85          (1.05      leafs/tree)
1293.18/176.13	c bin xor find time        : 0.16       
1293.18/176.13	c OTF clause improved      : 773         (0.01      clauses/conflict)
1293.18/176.13	c OTF impr. size diff      : 989         (1.28       lits/clause)
1293.18/176.13	c OTF cl watch-shrink      : 88396       (0.70      clauses/conflict)
1293.18/176.13	c OTF cl watch-sh-lit      : 621468      (7.03       lits/clause)
1293.18/176.13	c tried to recurMin cls    : 60002       (47.42      % of conflicts)
1293.18/176.13	c updated cache            : 0           (0.00       lits/tried recurMin)
1293.18/176.13	c unit cls recevied        : 26          (4.31      % of units)
1293.18/176.13	c unit cls sent            : 3           (0.50      % of units)
1293.18/176.13	c bin cls recevied         : 330856     
1293.18/176.13	c bin cls sent             : 9025       
1293.18/176.13	c clauses over max glue    : 0           (0.00      % of all clauses)
1293.18/176.13	c conflicts                : 126523      (732.61    / sec)
1293.18/176.13	c decisions                : 289867      (1.60      % random)
1293.18/176.13	c bogo-props               : 1361522463  (7883663.61 / sec)
1293.18/176.13	c conflict literals        : 6949380     (26.49     % deleted)
1293.18/176.13	c Memory used              : 1914.20     MB
1293.18/176.13	c single-thread CPU time   : 172.70      s
1293.18/176.13	c all-threads sum CPU time : 1291.03     s
1293.18/176.13	s SATISFIABLE
1293.18/176.13	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: 961)

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-3394660-1306102930/watcher-3394660-1306102930 -o /tmp/evaluation-result-3394660-1306102930/solver-3394660-1306102930 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394660-1306102930.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.95 4.02 2/523 26423
/proc/meminfo: memFree=7075388/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=92144 CPUtime=0.05 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 420 0 0 0 5 0 0 0 22 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 23036 360 302 95 0 18018 0
[pid=26423/tid=26424] ppid=26421 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100176 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=92144 CPUtime=0 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=92144 CPUtime=0 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100183 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=92144 CPUtime=0 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100183 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=92144 CPUtime=0 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100588 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=92144 CPUtime=0 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.032907 s]
/proc/loadavg: 0.00 0.95 4.02 2/523 26423
/proc/meminfo: memFree=7075388/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=92144 CPUtime=0.15 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 420 0 0 0 15 0 0 0 22 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100183 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 23036 360 302 95 0 18018 0
[pid=26423/tid=26424] ppid=26421 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100179 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=92144 CPUtime=0 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 92144

[startup+0.100866 s]
/proc/loadavg: 0.00 0.95 4.02 2/523 26423
/proc/meminfo: memFree=7075388/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=92144 CPUtime=0.57 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 420 0 0 0 57 0 0 0 22 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 23036 360 302 95 0 18018 0
[pid=26423/tid=26424] ppid=26421 vsize=92144 CPUtime=0.09 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 4 0 0 0 9 0 0 0 22 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=92144 CPUtime=0.08 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 8 0 0 0 24 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=92144 CPUtime=0.09 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100176 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=92144 CPUtime=0.02 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=92144 CPUtime=0.08 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 0 0 0 0 8 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100189 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=92144 CPUtime=0 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=92144 CPUtime=0.09 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 721891757 94355456 360 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100185 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 92144

[startup+0.303804 s]
/proc/loadavg: 0.00 0.95 4.02 2/523 26423
/proc/meminfo: memFree=7075388/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=935604 CPUtime=1.82 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 56045 0 0 0 161 21 0 0 18 0 8 0 721891757 958058496 54113 33554432000 4194304 4580107 140737081934176 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 233901 54133 338 95 0 228883 0
[pid=26423/tid=26424] ppid=26421 vsize=935604 CPUtime=0.25 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 7184 0 0 0 22 3 0 0 18 0 8 0 721891757 958058496 54146 33554432000 4194304 4580107 140737081934176 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=935604 CPUtime=0.23 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 6847 0 0 0 21 2 0 0 18 0 8 0 721891757 958058496 54158 33554432000 4194304 4580107 140737081934176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=935604 CPUtime=0.24 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 7295 0 0 0 22 2 0 0 18 0 8 0 721891757 958058496 54164 33554432000 4194304 4580107 140737081934176 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=935604 CPUtime=0.17 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 6656 0 0 0 15 2 0 0 17 0 8 0 721891757 958058496 54172 33554432000 4194304 4580107 140737081934176 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=935604 CPUtime=0.23 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 6943 0 0 0 21 2 0 0 17 0 8 0 721891757 958058496 54176 33554432000 4194304 4580107 140737081934176 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=935604 CPUtime=0.13 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 6451 0 0 0 11 2 0 0 18 0 8 0 721891757 958058496 54179 33554432000 4194304 4580107 140737081934176 18446744073709551615 4489479 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=935604 CPUtime=0.23 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 7426 0 0 0 21 2 0 0 18 0 8 0 721891757 958058496 54184 33554432000 4194304 4580107 140737081934176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 935604

[startup+0.700736 s]
/proc/loadavg: 0.00 0.95 4.02 2/523 26423
/proc/meminfo: memFree=7075388/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=954816 CPUtime=4.89 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 77462 0 0 0 460 29 0 0 18 0 8 0 721891757 977731584 75530 33554432000 4194304 4580107 140737081934176 18446744073709551615 242970211361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 238704 75532 360 95 0 233686 0
[pid=26423/tid=26424] ppid=26421 vsize=954816 CPUtime=0.64 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 9880 0 0 0 60 4 0 0 18 0 8 0 721891757 977731584 75534 33554432000 4194304 4580107 140737081934176 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=954816 CPUtime=0.61 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 9493 0 0 0 58 3 0 0 18 0 8 0 721891757 977731584 75534 33554432000 4194304 4580107 140737081934176 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=954816 CPUtime=0.64 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 9565 0 0 0 61 3 0 0 18 0 8 0 721891757 977731584 75534 33554432000 4194304 4580107 140737081934176 18446744073709551615 4234861 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=954816 CPUtime=0.56 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 9110 0 0 0 53 3 0 0 18 0 8 0 721891757 977731584 75535 33554432000 4194304 4580107 140737081934176 18446744073709551615 242970211361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=954816 CPUtime=0.61 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) D 26421 26423 26397 0 -1 4202560 9719 0 0 0 58 3 0 0 18 0 8 0 721891757 977731584 75536 33554432000 4194304 4580107 140737081934176 18446744073709551615 242970211013 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=954816 CPUtime=0.51 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 9798 0 0 0 48 3 0 0 18 0 8 0 721891757 977731584 75540 33554432000 4194304 4580107 140737081934176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=954816 CPUtime=0.62 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 10261 0 0 0 59 3 0 0 18 0 8 0 721891757 977731584 75540 33554432000 4194304 4580107 140737081934176 18446744073709551615 4316647 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 954816

[startup+1.5006 s]
/proc/loadavg: 0.00 0.95 4.02 9/531 26431
/proc/meminfo: memFree=6738292/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=962992 CPUtime=11.26 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 91437 0 0 0 1091 35 0 0 18 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4293261 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 240748 89505 361 95 0 235730 0
[pid=26423/tid=26424] ppid=26421 vsize=962992 CPUtime=1.44 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11727 0 0 0 139 5 0 0 18 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=962992 CPUtime=1.42 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11269 0 0 0 138 4 0 0 18 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4288587 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=962992 CPUtime=1.44 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11377 0 0 0 140 4 0 0 18 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=962992 CPUtime=1.36 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11038 0 0 0 132 4 0 0 18 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=962992 CPUtime=1.41 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11604 0 0 0 137 4 0 0 19 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=962992 CPUtime=1.3 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11625 0 0 0 126 4 0 0 18 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=962992 CPUtime=1.42 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11313 0 0 0 138 4 0 0 19 0 8 0 721891757 986103808 89505 33554432000 4194304 4580107 140737081934176 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.26
Current children cumulated vsize (KiB) 962992

[startup+3.10133 s]
/proc/loadavg: 0.00 0.95 4.02 9/531 26431
/proc/meminfo: memFree=6227908/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1613832 CPUtime=22.44 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 232939 0 0 0 2168 76 0 0 19 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451766 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 403458 229854 374 95 0 398440 0
[pid=26423/tid=26424] ppid=26421 vsize=1613832 CPUtime=2.82 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 33207 0 0 0 271 11 0 0 19 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1613832 CPUtime=2.81 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 31653 0 0 0 271 10 0 0 19 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1613832 CPUtime=2.84 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 31860 0 0 0 275 9 0 0 19 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1613832 CPUtime=2.7 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 28008 0 0 0 262 8 0 0 17 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1613832 CPUtime=2.8 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 32937 0 0 0 271 9 0 0 19 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1613832 CPUtime=2.68 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 32395 0 0 0 258 10 0 0 19 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1613832 CPUtime=2.89 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 11747 0 0 0 285 4 0 0 18 0 8 0 721891757 1652563968 229854 33554432000 4194304 4580107 140737081934176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.44
Current children cumulated vsize (KiB) 1613832

[startup+6.30078 s]
/proc/loadavg: 0.64 1.06 4.04 10/531 26431
/proc/meminfo: memFree=6153360/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1613832 CPUtime=45.43 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 233380 0 0 0 4467 76 0 0 25 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26423/statm: 403458 230294 374 95 0 398440 0
[pid=26423/tid=26424] ppid=26421 vsize=1613832 CPUtime=6.02 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 33207 0 0 0 591 11 0 0 25 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451745 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1613832 CPUtime=6.01 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 31653 0 0 0 591 10 0 0 25 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1613832 CPUtime=5.82 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 31860 0 0 0 573 9 0 0 25 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1613832 CPUtime=5.62 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 28008 0 0 0 554 8 0 0 23 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1613832 CPUtime=6 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 32937 0 0 0 591 9 0 0 25 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1613832 CPUtime=5.82 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 32395 0 0 0 572 10 0 0 25 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1613832 CPUtime=5.08 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 12188 0 0 0 503 5 0 0 23 0 8 0 721891757 1652563968 230294 33554432000 4194304 4580107 140737081934176 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 5 0 0 0

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

[pid=26423] ppid=26421 vsize=1851336 CPUtime=1259.98 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 651342 0 0 0 125776 222 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859075627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 462834 354252 380 95 0 457816 0
[pid=26423/tid=26424] ppid=26421 vsize=1851336 CPUtime=161.95 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 71736 0 0 0 16176 19 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1851336 CPUtime=155.71 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 72045 0 0 0 15519 52 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 5 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1851336 CPUtime=161.03 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 77537 0 0 0 16080 23 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 4416046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1851336 CPUtime=153.23 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 74184 0 0 0 15299 24 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 7 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1851336 CPUtime=157.13 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 89183 0 0 0 15690 23 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1851336 CPUtime=156.9 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 96646 0 0 0 15662 28 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 3 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1851336 CPUtime=154.83 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 92282 0 0 0 15459 24 0 0 25 0 8 0 721891757 1895768064 354252 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1259.98
Current children cumulated vsize (KiB) 1851336

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

[startup+166.301 s]
/proc/loadavg: 6.81 3.83 4.63 4/531 26435
/proc/meminfo: memFree=5646968/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1851336 CPUtime=1271.97 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 653559 0 0 0 126975 222 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859075780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 462834 356150 380 95 0 457816 0
[pid=26423/tid=26424] ppid=26421 vsize=1851336 CPUtime=165.95 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 71736 0 0 0 16576 19 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1851336 CPUtime=155.71 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 72045 0 0 0 15519 52 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 5 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1851336 CPUtime=165.02 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 79754 0 0 0 16479 23 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1851336 CPUtime=153.23 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 74184 0 0 0 15299 24 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 7 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1851336 CPUtime=157.13 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 89183 0 0 0 15690 23 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1851336 CPUtime=156.9 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 96646 0 0 0 15662 28 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 3 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1851336 CPUtime=154.83 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 92282 0 0 0 15459 24 0 0 25 0 8 0 721891757 1895768064 356150 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1271.97
Current children cumulated vsize (KiB) 1851336

[startup+172.719 s]
/proc/loadavg: 6.43 3.80 4.62 3/531 26435
/proc/meminfo: memFree=5647212/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1851336 CPUtime=1286.42 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 653651 0 0 0 128420 222 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859075780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 462834 356242 380 95 0 457816 0
[pid=26423/tid=26424] ppid=26421 vsize=1851336 CPUtime=167.56 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 71828 0 0 0 16737 19 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1851336 CPUtime=155.71 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 72045 0 0 0 15519 52 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 5 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1851336 CPUtime=171.44 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 79754 0 0 0 17121 23 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451903 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1851336 CPUtime=153.23 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 74184 0 0 0 15299 24 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 7 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1851336 CPUtime=157.13 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 89183 0 0 0 15690 23 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1851336 CPUtime=156.9 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 96646 0 0 0 15662 28 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 3 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1851336 CPUtime=154.83 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 92282 0 0 0 15459 24 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1286.42
Current children cumulated vsize (KiB) 1851336

[startup+174.301 s]
/proc/loadavg: 6.07 3.77 4.60 3/531 26435
/proc/meminfo: memFree=5647336/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1851336 CPUtime=1289.58 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 653651 0 0 0 128736 222 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 4219837 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 462834 356242 380 95 0 457816 0
[pid=26423/tid=26424] ppid=26421 vsize=1851336 CPUtime=167.56 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 71828 0 0 0 16737 19 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1851336 CPUtime=155.71 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 72045 0 0 0 15519 52 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 5 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1851336 CPUtime=173.02 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 79754 0 0 0 17279 23 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1851336 CPUtime=153.23 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 74184 0 0 0 15299 24 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 7 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1851336 CPUtime=157.13 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 89183 0 0 0 15690 23 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1851336 CPUtime=156.9 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 96646 0 0 0 15662 28 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 3 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1851336 CPUtime=154.83 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 92282 0 0 0 15459 24 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1289.58
Current children cumulated vsize (KiB) 1851336

[startup+175.101 s]
/proc/loadavg: 6.07 3.77 4.60 3/531 26435
/proc/meminfo: memFree=5647524/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1851336 CPUtime=1291.18 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 653651 0 0 0 128896 222 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859075627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 462834 356242 380 95 0 457816 0
[pid=26423/tid=26424] ppid=26421 vsize=1851336 CPUtime=167.56 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 71828 0 0 0 16737 19 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1851336 CPUtime=155.71 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 72045 0 0 0 15519 52 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 5 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1851336 CPUtime=173.82 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 79754 0 0 0 17359 23 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 4415862 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1851336 CPUtime=153.23 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 74184 0 0 0 15299 24 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 7 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1851336 CPUtime=157.13 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 89183 0 0 0 15690 23 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1851336 CPUtime=156.9 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 96646 0 0 0 15662 28 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 3 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1851336 CPUtime=154.83 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 92282 0 0 0 15459 24 0 0 25 0 8 0 721891757 1895768064 356242 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1291.18
Current children cumulated vsize (KiB) 1851336

[startup+175.901 s]
/proc/loadavg: 6.07 3.77 4.60 3/531 26435
/proc/meminfo: memFree=5654592/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1960132 CPUtime=1292.81 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 654017 0 0 0 129059 222 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859075780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 490033 354494 380 95 0 485015 0
[pid=26423/tid=26424] ppid=26421 vsize=1960132 CPUtime=167.56 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 71828 0 0 0 16737 19 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1960132 CPUtime=155.71 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 72045 0 0 0 15519 52 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 5 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1960132 CPUtime=174.64 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 80120 0 0 0 17441 23 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1960132 CPUtime=153.23 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 74184 0 0 0 15299 24 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 7 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1960132 CPUtime=157.13 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 89183 0 0 0 15690 23 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1960132 CPUtime=156.9 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 96646 0 0 0 15662 28 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 3 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1960132 CPUtime=154.83 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 92282 0 0 0 15459 24 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1292.81
Current children cumulated vsize (KiB) 1960132

[startup+176.101 s]
/proc/loadavg: 6.07 3.77 4.60 3/531 26435
/proc/meminfo: memFree=5654592/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=1960132 CPUtime=1293.18 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) R 26421 26423 26397 0 -1 4202496 654017 0 0 0 129096 222 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 4219837 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 490033 354494 380 95 0 485015 0
[pid=26423/tid=26424] ppid=26421 vsize=1960132 CPUtime=167.56 cores=0-7
/proc/26423/task/26424/stat : 26424 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 71828 0 0 0 16737 19 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 6 0 0 0
[pid=26423/tid=26425] ppid=26421 vsize=1960132 CPUtime=155.71 cores=0-7
/proc/26423/task/26425/stat : 26425 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 72045 0 0 0 15519 52 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 5 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=1960132 CPUtime=174.82 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4202560 80120 0 0 0 17459 23 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26423/tid=26427] ppid=26421 vsize=1960132 CPUtime=153.23 cores=0-7
/proc/26423/task/26427/stat : 26427 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 74184 0 0 0 15299 24 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 7 0 0 0
[pid=26423/tid=26428] ppid=26421 vsize=1960132 CPUtime=157.13 cores=0-7
/proc/26423/task/26428/stat : 26428 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 89183 0 0 0 15690 23 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 4 0 0 0
[pid=26423/tid=26429] ppid=26421 vsize=1960132 CPUtime=156.9 cores=0-7
/proc/26423/task/26429/stat : 26429 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 96646 0 0 0 15662 28 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 3 0 0 0
[pid=26423/tid=26430] ppid=26421 vsize=1960132 CPUtime=154.83 cores=0-7
/proc/26423/task/26430/stat : 26430 (strangenight2-m) S 26421 26423 26397 0 -1 4202560 92282 0 0 0 15459 24 0 0 25 0 8 0 721891757 2007175168 354494 33554432000 4194304 4580107 140737081934176 18446744073709551615 47349859100212 0 0 4096 2 18446604441324795712 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1293.18
Current children cumulated vsize (KiB) 1960132

[startup+176.201 s]
/proc/loadavg: 6.07 3.77 4.60 3/531 26435
/proc/meminfo: memFree=5654592/32951132 swapFree=54105148/67111528
[pid=26423] ppid=26421 vsize=0 CPUtime=1293.32 cores=0-7
/proc/26423/stat : 26423 (strangenight2-m) Z 26421 26423 26397 0 -1 4202524 654025 0 0 0 129103 229 0 0 25 0 2 0 721891757 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26423/statm: 0 0 0 0 0 0 0
[pid=26423/tid=26426] ppid=26421 vsize=0 CPUtime=174.93 cores=0-7
/proc/26423/task/26426/stat : 26426 (strangenight2-m) R 26421 26423 26397 0 -1 4203588 80120 0 0 0 17463 30 0 0 25 0 2 0 721891757 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1293.32
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 176.207
CPU time (s): 1293.34
CPU user time (s): 1291.03
CPU system time (s): 2.30565
CPU usage (%): 733.988
Max. virtual memory (cumulated for all children) (KiB): 2139340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1291.03
system time used= 2.30565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 654025
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= 67474
involuntary context switches= 6420

runsolver used 0.866868 second user time and 2.30865 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-23 00:22:11
IDJOB=3394660
IDBENCH=83436
IDSOLVER=1878
FILE ID=node128/3394660-1306102930
RUNJOBID= node128-1306102930-26411
PBS_JOBID= 13388000
Free space on /tmp= 73244 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394660-1306102930/watcher-3394660-1306102930 -o /tmp/evaluation-result-3394660-1306102930/solver-3394660-1306102930 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394660-1306102930.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1732964052

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:       7075800 kB
Buffers:        214988 kB
Cached:        4213256 kB
SwapCached:      78180 kB
Active:       10064580 kB
Inactive:     15516444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:       7075800 kB
SwapTotal:    67111528 kB
SwapFree:     54105148 kB
Dirty:           20572 kB
Writeback:           0 kB
AnonPages:    21083868 kB
Mapped:          18732 kB
Slab:           111792 kB
PageTables:     112060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174772884 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73240 MiB
End job on node128 at 2011-05-23 00:25:07