0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290486-1304133381.cnf'
0.00/0.00	c -- header says num vars:          10420
0.00/0.00	c -- header says num clauses:      395383
0.40/0.19	c -- clauses added:            0 learnts,       395383 normals,            0 xors
0.40/0.19	c -- vars added      10420
0.40/0.42	c Parsing time:  0.66 s
0.40/0.42	c  N st     0         0     10420    367831     26628         0   2819244         0   no data   no data  --
0.40/0.42	c asymm  cl-useful: 0/1283/367388 lits-rem:0 time: 0.82
5.55/1.43	c Flit:    33 Blit:      0 bXBeca:    0 bXProp:   80 Bins:      0 BRemL:      0 BRemN:      0 P: 39.6M T:  3.76
5.95/1.54	c Replacing       80 vars Replaced   241302 lits Time:     0.41 s 
6.73/1.72	c bin-w-bin subsume rem          474 bins  time:  0.01 s
6.73/1.75	c subs with bin:      521  lits-rem:        14  v-fix:    0  time:  0.12 s
6.73/1.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7018 time:  0.09 s
6.73/1.79	c Removed useless bin:       0  fixed:     0  props:   2.37M  time:  0.07 s
275.53/69.02	c lits-rem:         0  cl-subs:      230  v-elim:   1302  v-fix:    0  time: 268.31 s
275.53/69.03	c Finding binary XORs  T:     0.05 s  found:       0
281.92/70.65	c Finding non-binary XORs:     6.39 s (found:       0, avg size: nan)
281.92/70.65	c calculated reachability. Time: 0.02
281.92/70.66	c Calc default polars -  time:   0.05 s pos:     336 undec:    1899 neg:    8185
281.92/70.66	c =========================================================================================
281.92/70.66	c types(t): F = full restart, N = normal restart
281.92/70.66	c types(t): S = simplification begin/end, E = solution found
281.92/70.66	c restart types(rt): st = static, dy = dynamic
281.92/70.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
281.92/70.66	c  B st     0         0      8521    369352     21791         0   2817036         0   no data   no data  --
284.31/71.27	c  N dy    13      4088      8516    369352     21906      3930   2817036    151022      8.88      9.71  --
287.51/72.01	c  N dy    36      8163      8515    369352     22219      7865   2817036    298414      9.14      9.68  --
290.70/72.84	c  N dy    70     12232      8513    369352     22285     11831   2817034    476414     10.01     16.02  --
293.89/73.69	c  N dy    95     16266      8513    369352     22506     15763   2817034    640472     10.02     10.59  --
295.10/73.96	c Finding binary XORs  T:     0.04 s  found:       1
297.89/74.66	c  N dy   124     20398      8512    369346     22692     10103   2816834    200471     10.24     10.90  --
301.10/75.45	c  N dy   153     24526      8510    369346     22829     14168   2816834    395267     10.40     10.97  --
301.51/75.55	c  F st   157     25001      8510    369346     22833     14638   2816834    414019     10.40   no data  --
301.51/75.58	c Replacing        1 vars Replaced       24 lits Time:     0.07 s 
305.50/76.56	c  N dy   163     30000      8509    369342     22861     19580   2816784    736486     10.40   no data  --
305.50/76.56	c  S st   163     30000      8509    369342     22861     19580   2816784    736486     10.40   no data  --
307.08/76.93	c  S st   163     30505      8509    369342     45683     20065   2816784    797204     10.40   no data  --
307.08/76.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
307.08/76.95	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.00
315.47/79.06	c Flit:     7 Blit:      1 bXBeca:    0 bXProp:    7 Bins:   1161 BRemL:    910 BRemN:      1 P: 62.7M T:  8.45
315.87/79.14	c Replacing        7 vars Replaced     5940 lits Time:     0.28 s 
316.27/79.28	c bin-w-bin subsume rem          121 bins  time:  0.02 s
319.08/79.93	c subs with bin:      421  lits-rem:     18031  v-fix:    0  time:  2.62 s
319.08/79.95	c Subs w/ non-existent bins:      1 l-rem:    160 v-fix:     0 done:   1581 time:  0.08 s
319.08/79.96	c Removed useless bin:       1  fixed:     0  props:   0.82M  time:  0.04 s
589.09/147.55	c lits-rem:        13  cl-subs:    13818  v-elim:     72  v-fix:    0  time: 269.22 s
589.89/147.75	c asymm  cl-useful: 0/1390/355028 lits-rem:0 time: 0.80
589.89/147.77	c calculated reachability. Time: 0.02
589.89/147.77	c  N dy   163     30505      8399    355028     44772     14296   2708027    454375     10.40   no data  --
589.89/147.78	c Finding binary XORs  T:     0.04 s  found:       0
592.68/148.40	c  N dy   185     34597      8397    355028     44777     18351   2708027    636338     10.38     10.98  --
595.09/149.01	c  N dy   208     38614      8391    355028     45052     22343   2708027    822835     10.43     11.48  --
597.48/149.65	c  N dy   225     42634      8391    355028     45112     26334   2708027   1006077     10.34     10.91  --
599.48/150.19	c  S st   241     45758      8391    355028     45115     29441   2708027   1170306     10.34      9.21  --
601.07/150.56	c  S st   241     46258      8391    355028     45115     29941   2708027   1186378     10.34   no data  --
601.07/150.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
601.07/150.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
611.07/153.05	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    700 BRemL:    542 BRemN:      1 P: 67.2M T:  9.80
611.46/153.10	c Replacing        1 vars Replaced       72 lits Time:     0.19 s 
611.86/153.25	c bin-w-bin subsume rem           55 bins  time:  0.02 s
616.25/154.36	c subs with bin:      487  lits-rem:      3668  v-fix:    0  time:  4.23 s
616.25/154.38	c Subs w/ non-existent bins:      8 l-rem:    432 v-fix:     0 done:    597 time:  0.08 s
616.25/154.39	c Removed useless bin:       0  fixed:     0  props:   0.78M  time:  0.04 s
929.43/232.75	c lits-rem:       346  cl-subs:     1540  v-elim:     12  v-fix:    0  time: 311.52 s
929.84/232.89	c vivif2 --  cl tried   354609 cl shrink      285 lits rem        325 time: 0.58
930.21/232.96	c vivif2 --  cl tried    28267 cl shrink     4627 lits rem      19722 time: 0.25
931.02/233.17	c asymm  cl-useful: 0/1076/354609 lits-rem:0 time: 0.82
931.02/233.19	c calculated reachability. Time: 0.02
931.02/233.19	c  N dy   241     46258      8376    354609     44912     28263   2704869   1085827     10.34   no data  --
935.01/234.14	c  N dy   261     50450      8374    354609     46725     17294   2704869    420913     10.25     10.79  --
935.01/234.19	c Finding binary XORs  T:     0.04 s  found:       0
937.81/234.84	c  N dy   291     54552      8371    354605     46564     21318   2704763    607694     10.28     11.39  --
940.60/235.54	c  N dy   318     59034      8368    354605     46965     25777   2704763    824468     10.31     10.89  --
943.02/236.19	c  N dy   347     63044      8367    354605     46970     29763   2704763   1004364     10.41     14.73  --
945.79/236.83	c  N dy   369     67078      8367    354605     46976     33775   2704763   1194620     10.43     11.94  --
947.01/237.18	c  S st   386     69387      8367    354605     46977     36073   2704763   1304401     10.45   no data  --
948.60/237.50	c  S st   386     69892      8367    354605     46978     36577   2704763   1322253     10.45   no data  --
948.60/237.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
948.60/237.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
956.98/239.62	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    551 BRemL:    762 BRemN:      0 P: 67.2M T:  8.36
957.38/239.78	c bin-w-bin subsume rem           27 bins  time:  0.02 s
962.17/240.99	c subs with bin:     1712  lits-rem:      4360  v-fix:    0  time:  4.84 s
962.57/241.02	c Subs w/ non-existent bins:      2 l-rem:    242 v-fix:     0 done:   2557 time:  0.10 s
962.57/241.03	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.04 s
1239.77/310.49	c lits-rem:       114  cl-subs:     9282  v-elim:     79  v-fix:    0  time: 276.76 s
1240.57/310.64	c vivif2 --  cl tried   353277 cl shrink      778 lits rem        824 time: 0.59
1240.57/310.69	c vivif2 --  cl tried    27025 cl shrink     4149 lits rem      17478 time: 0.23
1241.79/310.91	c asymm  cl-useful: 0/1180/353276 lits-rem:0 time: 0.87
1241.79/310.93	c calculated reachability. Time: 0.02
1241.79/310.93	c  N dy   386     69892      8287    353276     46063     27023   2697950    796290     10.45   no data  --
1243.77/311.42	c Finding binary XORs  T:     0.05 s  found:       2
1244.57/311.66	c  N dy   404     74547      8281    353271     47489     30590   2697824    988224     10.43     11.04  --
1248.56/312.61	c  N dy   431     79343      8281    353271     47492     35360   2697823   1249337     10.44     11.00  --
1252.15/313.57	c  N dy   453     84905      8280    353271     47495     23037   2697823    627231     10.40     11.04  --
1253.75/313.92	c  F st   470     87500      8280    353271     47496     25616   2697823    739438     10.42   no data  --
1253.75/313.96	c Replacing        2 vars Replaced      418 lits Time:     0.09 s 
1256.54/314.60	c  N st   475     90800      8278    353268     47464     28876   2697798    948017     10.42   no data  --
1260.54/315.67	c  N dy   498     96680      8278    353268     47465     34725   2697796   1288727     10.42     11.27  --
1265.34/316.85	c  N dy   533    102976      8278    353268     47471     20643   2697796    373460     10.42     11.02  --
1266.94/317.25	c  S st   540    104838      8278    353268     47472     22498   2697796    466655     10.41      9.17  --
1268.16/317.52	c  S st   540    105339      8278    353268     47472     22998   2697796    484520     10.41   no data  --
1268.16/317.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1268.16/317.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1276.12/319.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    348 BRemL:    430 BRemN:      2 P: 59.9M T:  8.14
1276.54/319.69	c bin-w-bin subsume rem           21 bins  time:  0.02 s
1278.11/320.01	c subs with bin:     1782  lits-rem:      2083  v-fix:    0  time:  1.28 s
1278.11/320.03	c Subs w/ non-existent bins:      4 l-rem:    112 v-fix:     0 done:    588 time:  0.08 s
1278.11/320.04	c Removed useless bin:       0  fixed:     0  props:   0.69M  time:  0.03 s
1476.65/369.72	c lits-rem:        73  cl-subs:     2507  v-elim:     16  v-fix:    0  time: 198.28 s
1477.05/369.87	c vivif2 --  cl tried   350155 cl shrink       12 lits rem         26 time: 0.59
1477.45/369.90	c vivif2 --  cl tried    21874 cl shrink     1014 lits rem       5507 time: 0.12
1478.66/370.23	c asymm  cl-useful: 20/1926/350154 lits-rem:20 time: 1.32
1478.66/370.25	c calculated reachability. Time: 0.02
1478.66/370.25	c  N dy   540    105339      8262    350154     47136     21872   2677427    451560     10.41   no data  --
1483.84/371.50	c  N dy   576    112212      8259    350154     47208     28697   2677427    827931     10.41     11.01  --
1489.43/372.91	c  N dy   628    119499      8259    350154     47211     35954   2677427   1167820     10.49     11.18  --
1493.41/373.91	c Finding binary XORs  T:     0.05 s  found:       0
1495.82/374.50	c  N dy   679    127222      8259    350152     47576     43557   2677345   1555656     10.56     11.71  --
1501.81/376.03	c  N dy   727    135437      8259    350152     47583     29657   2677344    756298     10.60     15.12  --
1508.20/377.66	c  N dy   776    144134      8259    350152     47588     38305   2677344   1166435     10.62     11.41  --
1516.59/379.75	c  N dy   833    153391      8259    350152     47597     24049   2677343    397660     10.65     15.38  --
1520.18/380.62	c  S st   867    158009      8259    350152     47597     28649   2677343    627195     10.70   no data  --
1521.38/380.96	c  S st   867    158509      8259    350152     47597     29149   2677343    642927     10.70   no data  --
1521.38/380.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1521.38/380.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1529.77/383.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    268 BRemL:    249 BRemN:      1 P: 64.5M T:  8.28
1530.16/383.17	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1532.16/383.65	c subs with bin:      661  lits-rem:       710  v-fix:    0  time:  1.89 s
1532.16/383.67	c Subs w/ non-existent bins:      8 l-rem:    308 v-fix:     0 done:    897 time:  0.08 s
1532.16/383.68	c Removed useless bin:       1  fixed:     0  props:   0.68M  time:  0.04 s
1682.04/430.70	c lits-rem:       101  cl-subs:      689  v-elim:      3  v-fix:    0  time: 149.54 s
1682.35/430.84	c vivif2 --  cl tried   349637 cl shrink        9 lits rem         13 time: 0.42
1682.35/430.88	c vivif2 --  cl tried    28316 cl shrink     1957 lits rem       8838 time: 0.12
1683.23/431.19	c asymm  cl-useful: 24/1976/349637 lits-rem:24 time: 0.93
1683.53/431.22	c calculated reachability. Time: 0.01
1683.53/431.22	c  N dy   867    158509      8256    349637     47609     28315   2674504    620884     10.70   no data  --
1710.04/444.49	c Following stats are for *FIRST FINISHED THREAD ONLY*
1710.04/444.49	c num threads              : 4          
1710.04/444.49	c restarts                 : 1720       
1710.04/444.49	c dynamic restarts         : 1697       
1710.04/444.49	c static restarts          : 23         
1710.04/444.49	c full restarts            : 3          
1710.04/444.49	c total simplify time      : 0.87       
1710.04/444.49	c learnts DL2              : 0          
1710.04/444.49	c learnts size 2           : 59064      
1710.04/444.49	c learnts size 1           : 594         (5.70      % of vars)
1710.04/444.49	c filedLit time            : 39.83       (2.33      % time)
1710.04/444.49	c v-elim SatELite          : 1474        (14.15     % vars)
1710.04/444.49	c SatELite time            : 1224.38     (71.76     % time)
1710.04/444.49	c v-elim xor               : 0           (0.00      % vars)
1710.04/444.49	c xor elim time            : 0.31        (0.02      % time)
1710.04/444.49	c num binary xor trees     : 83         
1710.04/444.49	c binxor trees' crown      : 92          (1.11      leafs/tree)
1710.04/444.49	c bin xor find time        : 0.41       
1710.04/444.49	c OTF clause improved      : 1678        (0.01      clauses/conflict)
1710.04/444.49	c OTF impr. size diff      : 2211        (1.32       lits/clause)
1710.04/444.49	c OTF cl watch-shrink      : 223207      (0.72      clauses/conflict)
1710.04/444.49	c OTF cl watch-sh-lit      : 1389062     (6.22       lits/clause)
1710.04/444.49	c tried to recurMin cls    : 139628      (45.21      % of conflicts)
1710.04/444.49	c updated cache            : 0           (0.00       lits/tried recurMin)
1710.04/444.49	c unit cls received        : 27          (4.55      % of units)
1710.04/444.49	c unit cls sent            : 16          (2.69      % of units)
1710.04/444.49	c bin cls received         : 27090      
1710.04/444.49	c bin cls sent             : 3365       
1710.04/444.49	c clauses over max glue    : 0           (0.00      % of all clauses)
1710.04/444.49	c conflicts                : 308837      (181.01    / sec)
1710.04/444.49	c decisions                : 672102      (1.24      % random)
1710.04/444.49	c bogo-props               : 4525911362  (2652689.29 / sec)
1710.04/444.49	c conflict literals        : 15077247    (34.03     % deleted)
1710.04/444.49	c Memory used              : 1188.59     MB
1710.04/444.49	c single-thread CPU time   : 1706.16     s
1710.04/444.49	c all-threads sum CPU time : 1706.16     s
1710.04/444.49	s SATISFIABLE
1710.04/444.49	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

OK

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290486-1304133381/watcher-3290486-1304133381 -o /tmp/evaluation-result-3290486-1304133381/solver-3290486-1304133381 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3290486-1304133381.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.72 4.31 5.63 5/180 9467
/proc/meminfo: memFree=22983408/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 4 0 524937777 52465664 352 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 12809 352 303 112 0 7774 0
[pid=9467/tid=9468] ppid=9465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524937777 52465664 352 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524937777 52465664 352 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853430 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524937777 52465664 352 33554432000 4194304 4650419 140735307774800 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.088796 s]
/proc/loadavg: 3.72 4.31 5.63 5/180 9467
/proc/meminfo: memFree=22983408/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=301152 CPUtime=0.31 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) S 9465 9467 6206 0 -1 4202496 15250 0 0 0 27 4 0 0 18 0 4 0 524937777 308379648 14237 33554432000 4194304 4650419 140735307774800 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 75358 15017 345 112 0 70323 0
[pid=9467/tid=9468] ppid=9465 vsize=301840 CPUtime=0.07 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) D 9465 9467 6206 0 -1 4202560 4088 0 0 0 7 0 0 0 23 0 4 0 524937777 309084160 15568 33554432000 4194304 4650419 140735307774800 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=303188 CPUtime=0.08 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) D 9465 9467 6206 0 -1 4202560 4141 0 0 0 7 1 0 0 18 0 4 0 524937777 310464512 15583 33554432000 4194304 4650419 140735307774800 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=303188 CPUtime=0.08 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) D 9465 9467 6206 0 -1 4202560 4083 0 0 0 7 1 0 0 18 0 4 0 524937777 310464512 15583 33554432000 4194304 4650419 140735307774800 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 301152

[startup+0.111075 s]
/proc/loadavg: 3.72 4.31 5.63 5/180 9467
/proc/meminfo: memFree=22983408/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=305360 CPUtime=0.4 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 18715 0 0 0 35 5 0 0 18 0 4 0 524937777 312688640 17702 33554432000 4194304 4650419 140735307774800 18446744073709551615 274473664267 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 76340 17735 345 112 0 71305 0
[pid=9467/tid=9468] ppid=9465 vsize=305360 CPUtime=0.1 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 4661 0 0 0 9 1 0 0 23 0 4 0 524937777 312688640 17743 33554432000 4194304 4650419 140735307774800 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=305500 CPUtime=0.09 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 4688 0 0 0 8 1 0 0 18 0 4 0 524937777 312832000 17779 33554432000 4194304 4650419 140735307774800 18446744073709551615 274474072558 0 0 4096 2 18446604471104322496 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=305500 CPUtime=0.09 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 4616 0 0 0 8 1 0 0 18 0 4 0 524937777 312832000 17807 33554432000 4194304 4650419 140735307774800 18446744073709551615 274474072558 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 305360

[startup+1.03773 s]
/proc/loadavg: 3.72 4.31 5.63 5/180 9467
/proc/meminfo: memFree=22983408/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=428628 CPUtime=4.11 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 64623 0 0 0 395 16 0 0 19 0 4 0 524937777 438915072 44139 33554432000 4194304 4650419 140735307774800 18446744073709551615 274474072607 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 107157 44139 373 112 0 102122 0
[pid=9467/tid=9468] ppid=9465 vsize=428628 CPUtime=1.02 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 17718 0 0 0 99 3 0 0 25 0 4 0 524937777 438915072 44139 33554432000 4194304 4650419 140735307774800 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=428628 CPUtime=1.02 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 17980 0 0 0 98 4 0 0 18 0 4 0 524937777 438915072 44139 33554432000 4194304 4650419 140735307774800 18446744073709551615 4370585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=428628 CPUtime=1.01 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 10625 0 0 0 99 2 0 0 19 0 4 0 524937777 438915072 44139 33554432000 4194304 4650419 140735307774800 18446744073709551615 274474072558 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 428628

[startup+1.16355 s]
/proc/loadavg: 3.72 4.31 5.63 5/180 9467
/proc/meminfo: memFree=22983408/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=429316 CPUtime=4.61 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 65291 0 0 0 445 16 0 0 18 0 4 0 524937777 439619584 44807 33554432000 4194304 4650419 140735307774800 18446744073709551615 274473628705 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 107329 44808 373 112 0 102294 0
[pid=9467/tid=9468] ppid=9465 vsize=429316 CPUtime=1.15 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 17920 0 0 0 111 4 0 0 25 0 4 0 524937777 439619584 44808 33554432000 4194304 4650419 140735307774800 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=429316 CPUtime=1.15 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 18163 0 0 0 111 4 0 0 18 0 4 0 524937777 439619584 44810 33554432000 4194304 4650419 140735307774800 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=429316 CPUtime=1.14 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 10716 0 0 0 112 2 0 0 19 0 4 0 524937777 439619584 44810 33554432000 4194304 4650419 140735307774800 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 429316

[startup+1.50049 s]
/proc/loadavg: 3.72 4.31 5.63 5/180 9467
/proc/meminfo: memFree=22983408/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=430140 CPUtime=5.95 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 66969 0 0 0 579 16 0 0 18 0 4 0 524937777 440463360 46485 33554432000 4194304 4650419 140735307774800 18446744073709551615 4313440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 107535 46486 376 112 0 102500 0
[pid=9467/tid=9468] ppid=9465 vsize=430140 CPUtime=1.49 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 18401 0 0 0 145 4 0 0 25 0 4 0 524937777 440463360 46486 33554432000 4194304 4650419 140735307774800 18446744073709551615 4307238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=430140 CPUtime=1.48 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 18634 0 0 0 144 4 0 0 19 0 4 0 524937777 440463360 46486 33554432000 4194304 4650419 140735307774800 18446744073709551615 4313715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=430140 CPUtime=1.47 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 10987 0 0 0 145 2 0 0 19 0 4 0 524937777 440463360 46486 33554432000 4194304 4650419 140735307774800 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 430140

[startup+3.1002 s]
/proc/loadavg: 3.72 4.31 5.63 9/184 9471
/proc/meminfo: memFree=22532140/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=636736 CPUtime=12.29 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 126386 0 0 0 1197 32 0 0 19 0 4 0 524937777 652017664 105798 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 159184 105798 418 112 0 154149 0
[pid=9467/tid=9468] ppid=9465 vsize=636736 CPUtime=3.07 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 38055 0 0 0 298 9 0 0 19 0 4 0 524937777 652017664 105798 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=636736 CPUtime=3.07 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 38341 0 0 0 298 9 0 0 19 0 4 0 524937777 652017664 105798 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=636736 CPUtime=3.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 11536 0 0 0 302 3 0 0 19 0 4 0 524937777 652017664 105798 33554432000 4194304 4650419 140735307774800 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 636736

[startup+6.30064 s]
/proc/loadavg: 4.06 4.37 5.64 9/184 9471
/proc/meminfo: memFree=22490588/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=637140 CPUtime=25.08 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 127688 0 0 0 2475 33 0 0 25 0 4 0 524937777 652431360 107100 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 159285 107100 421 112 0 154250 0
[pid=9467/tid=9468] ppid=9465 vsize=637140 CPUtime=6.27 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 38083 0 0 0 618 9 0 0 25 0 4 0 524937777 652431360 107100 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=637140 CPUtime=6.28 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 38368 0 0 0 619 9 0 0 25 0 4 0 524937777 652431360 107100 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=637140 CPUtime=6.23 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 12756 0 0 0 620 3 0 0 25 0 4 0 524937777 652431360 107100 33554432000 4194304 4650419 140735307774800 18446744073709551615 4364907 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 637140

[startup+12.7005 s]
/proc/loadavg: 4.46 4.44 5.66 9/184 9501
/proc/meminfo: memFree=22368604/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=713492 CPUtime=50.66 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 158911 0 0 0 5030 36 0 0 25 0 4 0 524937777 730615808 131916 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 178373 131916 412 112 0 173338 0
[pid=9467/tid=9468] ppid=9465 vsize=713492 CPUtime=12.68 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 39051 0 0 0 1259 9 0 0 25 0 4 0 524937777 730615808 131916 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=713492 CPUtime=12.68 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 39335 0 0 0 1259 9 0 0 25 0 4 0 524937777 730615808 131916 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476454 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=713492 CPUtime=12.6 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 40280 0 0 0 1254 6 0 0 25 0 4 0 524937777 730615808 131916 33554432000 4194304 4650419 140735307774800 18446744073709551615 4436173 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 713492

[startup+25.5003 s]
/proc/loadavg: 5.15 4.60 5.69 10/184 9532
/proc/meminfo: memFree=22284180/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=751488 CPUtime=101.77 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 194953 0 0 0 10134 43 0 0 25 0 4 0 524937777 769523712 134178 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 187872 134178 394 112 0 182837 0
[pid=9467/tid=9468] ppid=9465 vsize=751488 CPUtime=25.47 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 40663 0 0 0 2538 9 0 0 25 0 4 0 524937777 769523712 134178 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476369 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=751488 CPUtime=25.48 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 57663 0 0 0 2535 13 0 0 25 0 4 0 524937777 769523712 134178 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=751488 CPUtime=25.33 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 42723 0 0 0 2527 6 0 0 25 0 4 0 524937777 769523712 134178 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 751488

[startup+51.1008 s]
/proc/loadavg: 6.12 4.87 5.75 9/184 9532
/proc/meminfo: memFree=22156356/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=751488 CPUtime=204.02 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 237326 0 0 0 20354 48 0 0 25 0 4 0 524937777 769523712 133959 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 187872 133959 392 112 0 182837 0
[pid=9467/tid=9468] ppid=9465 vsize=751488 CPUtime=51.07 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 40677 0 0 0 5098 9 0 0 25 0 4 0 524937777 769523712 133959 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476527 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=751488 CPUtime=51.07 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 82906 0 0 0 5091 16 0 0 25 0 4 0 524937777 769523712 133959 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=751488 CPUtime=50.79 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 43154 0 0 0 5073 6 0 0 25 0 4 0 524937777 769523712 133959 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 751488

[startup+102.301 s]
/proc/loadavg: 7.22 5.37 5.87 9/184 9534
/proc/meminfo: memFree=21928444/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=836832 CPUtime=408.54 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 301879 0 0 0 40791 63 0 0 25 0 4 0 524937777 856915968 158563 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 209208 158563 397 112 0 204173 0
[pid=9467/tid=9468] ppid=9465 vsize=836832 CPUtime=102.27 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 57107 0 0 0 10215 12 0 0 25 0 4 0 524937777 856915968 158563 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=836832 CPUtime=102.26 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 101040 0 0 0 10206 20 0 0 25 0 4 0 524937777 856915968 158563 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=836832 CPUtime=101.71 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 55229 0 0 0 10161 10 0 0 25 0 4 0 524937777 856915968 158563 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (KiB) 836832

[startup+162.301 s]

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

/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 561236 0 0 0 28148 80 0 0 25 0 4 0 524937777 1037918208 181303 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1013592 CPUtime=282.25 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 653293 0 0 0 28128 97 0 0 25 0 4 0 524937777 1037918208 181303 33554432000 4194304 4650419 140735307774800 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1013592 CPUtime=280.74 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 428281 0 0 0 28010 64 0 0 25 0 4 0 524937777 1037918208 181303 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1127.57
Current children cumulated vsize (KiB) 1013592

[startup+342.301 s]
/proc/loadavg: 8.20 6.92 6.39 9/184 9540
/proc/meminfo: memFree=21497492/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1078876 CPUtime=1367.2 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 2594510 0 0 0 136330 390 0 0 25 0 4 0 524937777 1104769024 210944 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 269719 210944 397 112 0 264684 0
[pid=9467/tid=9468] ppid=9465 vsize=1078876 CPUtime=342.26 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 610688 0 0 0 34138 88 0 0 25 0 4 0 524937777 1104769024 210944 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1078876 CPUtime=342.24 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 684950 0 0 0 34118 106 0 0 25 0 4 0 524937777 1104769024 210944 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1078876 CPUtime=340.4 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 447560 0 0 0 33970 70 0 0 25 0 4 0 524937777 1104769024 210944 33554432000 4194304 4650419 140735307774800 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1367.2
Current children cumulated vsize (KiB) 1078876

[startup+402.301 s]
/proc/loadavg: 7.92 7.08 6.48 8/184 9542
/proc/meminfo: memFree=21381396/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1596.83 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 2695966 0 0 0 159275 408 0 0 25 0 4 0 524937777 1246326784 234891 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 234891 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=402.26 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 40136 90 0 0 25 0 4 0 524937777 1246326784 234891 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=402.23 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 748788 0 0 0 40109 114 0 0 25 0 4 0 524937777 1246326784 234891 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 234891 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1596.83
Current children cumulated vsize (KiB) 1217116

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

[startup+410.201 s]
/proc/loadavg: 7.77 7.08 6.48 8/184 9542
/proc/meminfo: memFree=21361924/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1620.53 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 2696192 0 0 0 161645 408 0 0 25 0 4 0 524937777 1246326784 235101 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 235101 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=410.16 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 40926 90 0 0 25 0 4 0 524937777 1246326784 235101 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=410.13 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749014 0 0 0 40899 114 0 0 25 0 4 0 524937777 1246326784 235101 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 235101 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1620.53
Current children cumulated vsize (KiB) 1217116

[startup+423 s]
/proc/loadavg: 7.60 7.07 6.49 9/184 9542
/proc/meminfo: memFree=21362164/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1658.94 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) R 9465 9467 6206 0 -1 4202496 2696318 0 0 0 165486 408 0 0 25 0 4 0 524937777 1246326784 235227 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 235227 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=422.97 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 42207 90 0 0 25 0 4 0 524937777 1246326784 235227 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828459 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=422.94 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749140 0 0 0 42180 114 0 0 25 0 4 0 524937777 1246326784 235227 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 235227 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1658.94
Current children cumulated vsize (KiB) 1217116

[startup+435.801 s]
/proc/loadavg: 7.43 7.05 6.49 7/184 9543
/proc/meminfo: memFree=21369104/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1692.85 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) S 9465 9467 6206 0 -1 4202496 2696465 0 0 0 168877 408 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 235374 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=435.76 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 43486 90 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=435.73 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749145 0 0 0 43459 114 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1692.85
Current children cumulated vsize (KiB) 1217116

[startup+439 s]
/proc/loadavg: 7.31 7.04 6.49 7/184 9543
/proc/meminfo: memFree=21368472/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1699.24 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) S 9465 9467 6206 0 -1 4202496 2696465 0 0 0 169516 408 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 235374 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=438.96 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 43806 90 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=438.93 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749145 0 0 0 43779 114 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1699.24
Current children cumulated vsize (KiB) 1217116

[startup+442.201 s]
/proc/loadavg: 7.31 7.04 6.49 7/184 9543
/proc/meminfo: memFree=21366736/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1705.65 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) S 9465 9467 6206 0 -1 4202496 2696465 0 0 0 170157 408 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 235374 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=442.16 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 44126 90 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=442.13 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749145 0 0 0 44099 114 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1705.65
Current children cumulated vsize (KiB) 1217116

[startup+443.801 s]
/proc/loadavg: 7.31 7.04 6.49 7/184 9543
/proc/meminfo: memFree=21367104/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1708.84 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) S 9465 9467 6206 0 -1 4202496 2696465 0 0 0 170476 408 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 235374 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=443.76 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 44286 90 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828459 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=443.73 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749145 0 0 0 44259 114 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 235374 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1708.84
Current children cumulated vsize (KiB) 1217116

[startup+444.201 s]
/proc/loadavg: 7.21 7.02 6.48 7/184 9543
/proc/meminfo: memFree=21357556/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1709.64 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) S 9465 9467 6206 0 -1 4202496 2696956 0 0 0 170556 408 0 0 25 0 4 0 524937777 1246326784 235865 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 235865 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=444.16 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 44326 90 0 0 25 0 4 0 524937777 1246326784 235865 33554432000 4194304 4650419 140735307774800 18446744073709551615 4220635 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=444.13 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749636 0 0 0 44299 114 0 0 25 0 4 0 524937777 1246326784 235865 33554432000 4194304 4650419 140735307774800 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 235865 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1709.64
Current children cumulated vsize (KiB) 1217116

[startup+444.401 s]
/proc/loadavg: 7.21 7.02 6.48 7/184 9543
/proc/meminfo: memFree=21357556/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=1217116 CPUtime=1710.04 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) S 9465 9467 6206 0 -1 4202496 2697233 0 0 0 170596 408 0 0 25 0 4 0 524937777 1246326784 236142 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 304279 236142 397 112 0 299244 0
[pid=9467/tid=9468] ppid=9465 vsize=1217116 CPUtime=444.36 cores=1,3,5,7
/proc/9467/task/9468/stat : 9468 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 616647 0 0 0 44346 90 0 0 25 0 4 0 524937777 1246326784 236142 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280828459 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=1217116 CPUtime=444.33 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4202560 749913 0 0 0 44319 114 0 0 25 0 4 0 524937777 1246326784 236142 33554432000 4194304 4650419 140735307774800 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9467/tid=9470] ppid=9465 vsize=1217116 CPUtime=390.05 cores=1,3,5,7
/proc/9467/task/9470/stat : 9470 (strangenight1-m) S 9465 9467 6206 0 -1 4202560 472001 0 0 0 38927 78 0 0 25 0 4 0 524937777 1246326784 236142 33554432000 4194304 4650419 140735307774800 18446744073709551615 47046280853044 0 0 4096 2 18446604471104322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1710.04
Current children cumulated vsize (KiB) 1217116

[startup+444.501 s]
/proc/loadavg: 7.21 7.02 6.48 7/184 9543
/proc/meminfo: memFree=21357556/32950928 swapFree=67111524/67111528
[pid=9467] ppid=9465 vsize=0 CPUtime=1710.25 cores=1,3,5,7
/proc/9467/stat : 9467 (strangenight1-m) Z 9465 9467 6206 0 -1 4203548 2697241 0 0 0 170616 409 0 0 18 0 2 0 524937777 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9467/statm: 0 0 0 0 0 0 0
[pid=9467/tid=9469] ppid=9465 vsize=0 CPUtime=444.43 cores=1,3,5,7
/proc/9467/task/9469/stat : 9469 (strangenight1-m) R 9465 9467 6206 0 -1 4203588 749913 0 0 0 44329 114 0 0 25 0 2 0 524937777 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1710.25
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 444.542
CPU time (s): 1710.29
CPU user time (s): 1706.16
CPU system time (s): 4.13137
CPU usage (%): 384.731
Max. virtual memory (cumulated for all children) (KiB): 1217124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.16
system time used= 4.13137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2697241
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= 10756
involuntary context switches= 8813

runsolver used 0.726889 second user time and 1.67774 second system time

The end

Begin job on node125 at 2011-04-30 05:16:21
IDJOB=3290486
IDBENCH=83436
IDSOLVER=1588
FILE ID=node125/3290486-1304133381
RUNJOBID= node125-1304133381-9445
PBS_JOBID= 13170766
Free space on /tmp= 73000 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1931677308

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22986540 kB
Buffers:       2126220 kB
Cached:        7208856 kB
SwapCached:          4 kB
Active:        2284704 kB
Inactive:      7157568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22986540 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           28368 kB
Writeback:           0 kB
AnonPages:      107252 kB
Mapped:          15264 kB
Slab:           459620 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   309400 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72988 MiB
End job on node125 at 2011-04-30 05:23:46