Trace number 3367138

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 941.949 248.018

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367138-1305415061.cnf'
0.00/0.01	c -- header says num vars:          10420
0.00/0.01	c -- header says num clauses:      481346
0.90/0.25	c -- clauses added:            0 learnts,       481346 normals,            0 xors
0.90/0.25	c -- vars added      10420
0.90/0.25	c Parsing time:  0.21 s
0.90/0.25	c  N st     0         0     10420    453785     26451         0   3846062         0   no data   no data
0.90/0.54	c asymm  cl-useful: 10/1790/453199 lits-rem:10 time: 0.25
6.34/1.69	c Flit:    46 Blit:      0 bXBeca:    0 bXProp:   81 Bins:      0 BRemL:      0 BRemN:      0 P: 46.5M T:  1.16
7.18/1.87	c Replacing       81 vars Replaced   321635 lits Time:     0.17 s 
7.90/2.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.90/2.07	c bin-w-bin subsume rem          452 bins  time:  0.00 s
8.69/2.25	c subs with bin:     3015  lits-rem:        11  v-fix:    0  time:  0.18 s
8.69/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6196 time:  0.02 s
8.69/2.29	c Removed useless bin:       0  fixed:     0  props:   2.36M  time:  0.02 s
146.14/36.77	c lits-rem:         0  cl-subs:     6496  v-elim:    860  v-fix:    0  time: 34.47 s
146.14/36.79	c Finding binary XORs  T:     0.01 s  found:       1
146.53/36.80	c Replacing        1 vars Replaced        9 lits Time:     0.02 s 
157.28/39.58	c Finding non-binary XORs:     2.75 s (found:       0, avg size: nan)
157.28/39.58	c calculated reachability. Time: 0.00
157.68/39.60	c Calc default polars -  time:   0.02 s pos:     328 undec:    1567 neg:    8525
157.68/39.60	c =========================================================================================
157.68/39.60	c types(t): F = full restart, N = normal restart
157.68/39.60	c types(t): S = simplification begin/end, E = solution found
157.68/39.60	c restart types(rt): st = static, dy = dynamic
157.68/39.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
157.68/39.60	c  B st     0         0      8853    443882     22705         0   3633477         0   no data   no data
160.87/40.46	c  N dy    15      4036      8850    443882     22783      3905   3633475    186235     11.71     13.25
164.06/41.28	c  N dy    36      8107      8849    443882     23412      7820   3633475    356790     11.08     11.67
167.25/42.09	c  N dy    53     12666      8848    443882     23497     12268   3633475    580494     10.41     11.04
168.45/42.33	c Finding binary XORs  T:     0.01 s  found:       0
171.23/43.01	c  N dy    66     16804      8846    443877     23683     16257   3633328    740395     10.04     10.70
175.61/44.12	c  N dy    90     21027      8846    443877     24050     10683   3633328    231884     10.03     10.59
179.20/45.01	c  F st   112     25000      8846    443877     24478     14563   3633328    394141     10.01      9.13
179.60/45.17	c  N st   113     25250      8846    443876     24478     14810   3633317    401158     10.01   no data
180.80/45.41	c Finding binary XORs  T:     0.01 s  found:       0
183.18/46.09	c  N dy   118     30000      8845    443876     24536     19457   3633317    644239     10.01   no data
183.18/46.09	c  S st   118     30000      8845    443876     24536     19457   3633317    644239     10.01   no data
185.58/46.63	c  S st   118     30500      8845    443876     24576     19917   3633317    655103     10.01   no data
185.58/46.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
199.14/50.02	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    2 Bins: 389970 BRemL: 354466 BRemN:      0 P: 82.4M T:  3.35
199.14/50.07	c Replacing        2 vars Replaced      840 lits Time:     0.05 s 
199.55/50.19	c blocked clauses removed:        0 vars:      0 tried:        8838 T: 0.00 s
199.55/50.20	c bin-w-bin subsume rem           79 bins  time:  0.01 s
200.72/50.42	c subs with bin:      499  lits-rem:     22186  v-fix:    0  time:  0.22 s
200.72/50.44	c Subs w/ non-existent bins:      1 l-rem:      7 v-fix:     0 done:   1286 time:  0.02 s
200.72/50.46	c Removed useless bin:       3  fixed:     0  props:   0.92M  time:  0.01 s
325.84/81.82	c lits-rem:         0  cl-subs:    15235  v-elim:    131  v-fix:    0  time: 31.36 s
326.24/82.01	c subs with bin:      111  lits-rem:      3497  v-fix:    0  time:  0.17 s
446.59/112.17	c lits-rem:         2  cl-subs:      571  v-elim:      0  v-fix:    0  time: 30.07 s
448.20/112.58	c asymm  cl-useful: 3/2180/428166 lits-rem:3 time: 0.40
448.60/112.60	c calculated reachability. Time: 0.01
448.60/112.60	c  N dy   118     30500      8707    428166     57494     11190   3505643    319125     10.01   no data
448.60/112.62	c Finding binary XORs  T:     0.02 s  found:       0
451.38/113.36	c Finding binary XORs  T:     0.02 s  found:       2
454.96/114.29	c  N dy   143     34630      8701    428072    414785     15276   3505226   1237468     10.02     10.80
459.75/115.48	c  N dy   168     38881      8701    428072    431336     19483   3505226   1450091     10.04     10.65
464.93/116.71	c  N dy   185     43094      8701    428072    431340     12583   3505226   1033876      9.95     11.23
464.93/116.73	c Finding binary XORs  T:     0.02 s  found:       0
468.11/117.54	c  S st   206     45750      8701    428072    431343     15233   3505226   1177291     10.03   no data
470.11/118.03	c  S st   206     46252      8701    428072    431345     15731   3505226   1194485     10.03   no data
470.11/118.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
481.66/120.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   8570 BRemL: 332024 BRemN:      0 P: 71.8M T:  2.86
481.66/120.95	c Replacing        2 vars Replaced     1074 lits Time:     0.02 s 
482.06/121.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
482.06/121.07	c bin-w-bin subsume rem         2045 bins  time:  0.01 s
482.46/121.10	c subs with bin:       65  lits-rem:        40  v-fix:    0  time:  0.03 s
482.46/121.13	c Subs w/ non-existent bins:      0 l-rem:     20 v-fix:     0 done:    203 time:  0.02 s
482.46/121.14	c Removed useless bin:       3  fixed:     0  props:   0.94M  time:  0.01 s
586.87/147.38	c lits-rem:         0  cl-subs:       89  v-elim:     15  v-fix:    0  time: 26.24 s
588.47/147.74	c subs with bin:       65  lits-rem:       956  v-fix:    0  time:  0.34 s
716.39/179.80	c lits-rem:        60  cl-subs:      288  v-elim:      0  v-fix:    0  time: 31.98 s
717.24/180.07	c vivif2 --  cl tried   427951 cl shrink       70 lits rem         71 time: 0.27
717.58/180.10	c vivif2 --  cl tried    14842 cl shrink     1387 lits rem       4497 time: 0.03
718.78/180.45	c asymm  cl-useful: 10/2062/427951 lits-rem:13 time: 0.35
718.78/180.48	c calculated reachability. Time: 0.01
718.78/180.48	c  N dy   206     46252      8684    427951    105222     14840   3503717    494052     10.03   no data
720.78/181.00	c Finding binary XORs  T:     0.02 s  found:       0
723.56/181.61	c Finding binary XORs  T:     0.02 s  found:       0
723.96/181.76	c  N dy   226     50371      8677    427946    132262     18769   3503566    743392      9.93     11.06
728.34/182.88	c  N dy   254     55527      8677    427946    132269     23893   3503566    984867      9.96     10.57
733.13/184.06	c  N dy   286     59567      8677    427946    132982     27900   3503566   1189352     10.05     10.60
737.51/185.19	c  N dy   319     63687      8677    427946    132989     32002   3503566   1387236     10.17     10.85
741.50/186.19	c  N dy   344     67821      8675    427946    132992     19981   3503566    614308     10.22     11.25
742.69/186.49	c  S st   356     69379      8675    427946    132993     21528   3503564    676225     10.23   no data
744.28/186.90	c  S st   356     69885      8675    427946    132996     22029   3503564    698162     10.23   no data
744.68/186.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
756.70/189.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  19829 BRemL:  77162 BRemN:     17 P: 82.1M T:  3.08
757.43/190.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
757.43/190.13	c bin-w-bin subsume rem          594 bins  time:  0.01 s
757.43/190.17	c subs with bin:      281  lits-rem:       288  v-fix:    0  time:  0.04 s
757.43/190.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    593 time:  0.02 s
757.83/190.20	c Removed useless bin:       0  fixed:     0  props:   0.82M  time:  0.01 s
848.95/213.12	c lits-rem:         0  cl-subs:      362  v-elim:     11  v-fix:    0  time: 22.92 s
849.85/213.48	c subs with bin:      154  lits-rem:      1099  v-fix:    0  time:  0.34 s
916.16/235.57	c lits-rem:        24  cl-subs:      550  v-elim:      0  v-fix:    0  time: 22.01 s
917.06/235.85	c vivif2 --  cl tried   427213 cl shrink       13 lits rem         13 time: 0.28
917.06/235.89	c vivif2 --  cl tried    21083 cl shrink     1898 lits rem       8358 time: 0.03
918.00/236.16	c asymm  cl-useful: 76/2077/427213 lits-rem:183 time: 0.27
918.00/236.18	c calculated reachability. Time: 0.01
918.00/236.18	c  N dy   356     69885      8664    427213     72669     21082   3499672    540127     10.23   no data
941.74/247.97	c Following stats are for *FIRST FINISHED THREAD ONLY*
941.74/247.97	c num threads              : 4          
941.74/247.97	c restarts                 : 1105       
941.74/247.97	c dynamic restarts         : 1087       
941.74/247.97	c static restarts          : 18         
941.74/247.97	c full restarts            : 2          
941.74/247.97	c total simplify time      : 0.33       
941.74/247.97	c learnts DL2              : 0          
941.74/247.97	c learnts size 2           : 828173     
941.74/247.97	c learnts size 1           : 689         (6.61      % of vars)
941.74/247.97	c filedLit time            : 8.52        (3.44      % time)
941.74/247.97	c v-elim SatELite          : 996         (9.56      % vars)
941.74/247.97	c SatELite time            : 120.20      (48.54     % time)
941.74/247.97	c v-elim xor               : 0           (0.00      % vars)
941.74/247.97	c xor elim time            : 0.05        (0.02      % time)
941.74/247.97	c num binary xor trees     : 106        
941.74/247.97	c binxor trees' crown      : 117         (1.10      leafs/tree)
941.74/247.97	c bin xor find time        : 0.14       
941.74/247.97	c OTF clause improved      : 1578        (0.01      clauses/conflict)
941.74/247.97	c OTF impr. size diff      : 2065        (1.31       lits/clause)
941.74/247.97	c OTF cl watch-shrink      : 188961      (0.68      clauses/conflict)
941.74/247.97	c OTF cl watch-sh-lit      : 1105463     (5.85       lits/clause)
941.74/247.97	c tried to recurMin cls    : 128722      (46.13      % of conflicts)
941.74/247.97	c updated cache            : 9266        (0.07       lits/tried recurMin)
941.74/247.97	c unit cls recevied        : 19          (2.76      % of units)
941.74/247.97	c unit cls sent            : 605         (87.81     % of units)
941.74/247.97	c bin cls recevied         : 272565     
941.74/247.97	c bin cls sent             : 513346     
941.74/247.97	c clauses over max glue    : 0           (0.00      % of all clauses)
941.74/247.97	c conflicts                : 279044      (1126.81   / sec)
941.74/247.97	c decisions                : 706523      (1.83      % random)
941.74/247.97	c bogo-props               : 4724052605  (19076186.46 / sec)
941.74/247.97	c conflict literals        : 13654316    (25.39     % deleted)
941.74/247.97	c Memory used              : 964.70      MB
941.74/247.97	c single-thread CPU time   : 247.64      s
941.74/247.97	c all-threads sum CPU time : 940.95      s
941.74/247.97	s SATISFIABLE
941.74/247.98	v 1 -2 -3 -4 5 6 -7 -8 -9 -10 11 12 13 -14 -15 16 -17 -18 19 -20 21 -22 23 24 -25 -26 27 -28 29 30 31 32 -33 34 35 -36 37 -38 -39 -40 41 42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 55 56 57 -58 59 -60 -61 -62 -63 -64 -65 -66 -67 -68 69 -70 -71 72 73 -74 -75 -76 -77 -78 -79 -80 81 -82 -83 84 -85 86 -87 88 89 -90 91 92 93 94 -95 96 97 98 99 100 101 -102 103 104 105 106 107 108 109 110 111 112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 187 -188 -189 -190 -191 -192 193 -194 -195 -196 197 -198 199 200 -201 -202 -203 204 205 -206 207 -208 -209 210 -211 212 -213 -214 -215 216 -217 218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 229 230 -231 -232 233 234 235 -236 237 238 239 -240 241 242 -243 -244 -245 -246 -247 248 -249 250 251 -252 -253 -254 255 256 -257 258 -259 -260 261 -262 -263 264 265 266 -267 268 269 270 -271 272 273 -274 -275 -276 -277 -278 -279 280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 303 304 305 306 307 -308 309 310 -311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 -346 347 348 -349 350 351 352 353 354 355 356 357 358 359 360 -361 362 363 -364 -365 366 367 368 369 370 -371 372 373 374 375 -376 -377 378 379 380 -381 382 383 384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 401 402 403 404 405 406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 447 448 449 450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 470 471 472 -473 -474 -475 -476 -477 -478 -479 -480 481 482 483 484 485 486 487 488 489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 502 503 504 505 506 507 508 509 510 511 512 513 514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 532 533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 -601 -602 603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 749 750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 821 822 823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 862 863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 924 925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 942 943 944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 963 964 965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 981 982 983 984 985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 1023 1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 1063 1064 1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 1084 1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 1123 1124 1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 1182 1183 1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 1262 1263 1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 1282 1283 1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 1621 1622 1623 1624 1625 1626 1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 1642 1643 1644 1645 1646 1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 2287 2288 2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 2307 2308 2309 2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 2549 2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 2610 2611 2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 2882 2883 2884 2885 2886 2887 2888 2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 3172 3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 3389 3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 5741 5742 5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 5822 5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 5861 5862 5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 6442 6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 6481 6482 6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 7244 7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 7264 7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 7344 7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 7364 7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 7404 7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 7463 7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 7482 7483 7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 7523 7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 7563 7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 7623 7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 7683 7684 7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 7723 7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 7763 7764 7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 7784 7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 7823 7824 7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 -7862 -7863 7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 7903 7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 7943 7944 7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 7964 7965 -7966 -7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 8003 8004 8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 -8042 -8043 8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 8243 8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 8303 8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 8484 8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 8523 8524 8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 8604 8605 -8606 -8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830 -8831 -8832 8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 -8846 8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947 8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 -9002 9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 9022 -9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 9043 -9044 -9045 -9046 -9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064 9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 -9181 -9182 -9183 -9184 9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 9202 -9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 -9243 -9244 9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 9324 -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 -9362 9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 -9422 9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 -9732 9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 -9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890 9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 9904 -9905 -9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 -9925 9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 9964 -9965 -9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 9985 -9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 -10042 -10043 -10044 10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 -10104 -10105 10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 -10124 10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 10144 -10145 -10146 -10147 -10148 -10149 -10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 -10164 -10165 10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 10185 -10186 -10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 -10202 -10203 10204 -10205 -10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 -10242 10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264 10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 -10282 -10283 -10284 10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 10325 -10326 -10327 -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 10344 -10345 -10346 -10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404 -10405 -10406 10407 10408 10409 10410 10411 10412 10413 10414 10415 10416 10417 10418 10419 10420 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367138-1305415061/watcher-3367138-1305415061 -o /tmp/evaluation-result-3367138-1305415061/solver-3367138-1305415061 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367138-1305415061.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.55 4.50 6.04 2/410 9110
/proc/meminfo: memFree=21260692/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 731736900 52396032 352 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988592571 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 12792 352 302 95 0 7774 0
[pid=9110/tid=9111] ppid=9108 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731736900 52396032 352 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395948 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731736900 52396032 352 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395549 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731736900 52396032 352 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395549 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.107878 s]
/proc/loadavg: 3.55 4.50 6.04 2/410 9110
/proc/meminfo: memFree=21260692/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=303860 CPUtime=0.38 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) D 9108 9110 8585 0 -1 4202496 17264 0 0 0 34 4 0 0 18 0 4 0 731736900 311152640 16249 33554432000 4194304 4580107 140735083825056 18446744073709551615 4489504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 76071 18245 338 95 0 71053 0
[pid=9110/tid=9111] ppid=9108 vsize=304284 CPUtime=0.09 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) D 9108 9110 8585 0 -1 4202560 4961 0 0 0 8 1 0 0 18 0 4 0 731736900 311586816 18695 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988289291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=304432 CPUtime=0.11 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 4922 0 0 0 10 1 0 0 18 0 4 0 731736900 311738368 19012 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=435976 CPUtime=0.11 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 5385 0 0 0 11 0 0 0 18 0 4 0 731736900 446439424 21531 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988289291 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 303860

[startup+0.242188 s]
/proc/loadavg: 3.55 4.50 6.04 2/410 9110
/proc/meminfo: memFree=21260692/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=452124 CPUtime=0.9 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 39242 0 0 0 79 11 0 0 18 0 4 0 731736900 462974976 38228 33554432000 4194304 4580107 140735083825056 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 113031 38255 338 95 0 108013 0
[pid=9110/tid=9111] ppid=9108 vsize=452124 CPUtime=0.21 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 9902 0 0 0 18 3 0 0 18 0 4 0 731736900 462974976 38291 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=452276 CPUtime=0.23 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 9915 0 0 0 20 3 0 0 18 0 4 0 731736900 463130624 39520 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988289744 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=452276 CPUtime=0.22 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 9872 0 0 0 20 2 0 0 18 0 4 0 731736900 463130624 39543 33554432000 4194304 4580107 140735083825056 18446744073709551615 4353630 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 452124

[startup+0.325085 s]
/proc/loadavg: 3.55 4.50 6.04 2/410 9110
/proc/meminfo: memFree=21260692/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=452768 CPUtime=1.24 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 41128 0 0 0 113 11 0 0 18 0 4 0 731736900 463634432 40113 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 113609 41761 360 95 0 108591 0
[pid=9110/tid=9111] ppid=9108 vsize=455280 CPUtime=0.52 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) D 9108 9110 8585 0 -1 4202560 10872 0 0 0 49 3 0 0 18 0 4 0 731736900 466206720 42947 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988635831 0 0 4096 2 18446604469121878144 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=455900 CPUtime=0.54 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 10815 0 0 0 51 3 0 0 18 0 4 0 731736900 466841600 43831 33554432000 4194304 4580107 140735083825056 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=461448 CPUtime=0.89 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 12245 0 0 0 87 2 0 0 19 0 4 0 731736900 472522752 49012 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 452768

[startup+1.01971 s]
/proc/loadavg: 3.55 4.50 6.04 2/410 9110
/proc/meminfo: memFree=21260692/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=462944 CPUtime=4.01 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 51253 0 0 0 387 14 0 0 19 0 4 0 731736900 474054656 50238 33554432000 4194304 4580107 140735083825056 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 115736 50238 360 95 0 110718 0
[pid=9110/tid=9111] ppid=9108 vsize=462944 CPUtime=0.99 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 12932 0 0 0 95 4 0 0 19 0 4 0 731736900 474054656 50238 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=462944 CPUtime=0.99 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 12585 0 0 0 96 3 0 0 19 0 4 0 731736900 474054656 50238 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=462944 CPUtime=1 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 12553 0 0 0 97 3 0 0 19 0 4 0 731736900 474054656 50238 33554432000 4194304 4580107 140735083825056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 462944

[startup+1.50063 s]
/proc/loadavg: 3.55 4.50 6.04 2/410 9110
/proc/meminfo: memFree=21260692/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=465048 CPUtime=5.94 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 53700 0 0 0 579 15 0 0 19 0 4 0 731736900 476209152 52685 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294482 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 116262 52685 360 95 0 111244 0
[pid=9110/tid=9111] ppid=9108 vsize=465048 CPUtime=1.47 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 13543 0 0 0 143 4 0 0 20 0 4 0 731736900 476209152 52685 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=465048 CPUtime=1.47 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 13265 0 0 0 144 3 0 0 19 0 4 0 731736900 476209152 52685 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=465048 CPUtime=1.48 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 12991 0 0 0 145 3 0 0 20 0 4 0 731736900 476209152 52685 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 465048

[startup+3.10036 s]
/proc/loadavg: 3.55 4.50 6.04 9/420 9123
/proc/meminfo: memFree=20150020/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=752476 CPUtime=12.26 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 128016 0 0 0 1195 31 0 0 19 0 4 0 731736900 770535424 126875 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 188119 126875 374 95 0 183101 0
[pid=9110/tid=9111] ppid=9108 vsize=752476 CPUtime=3.03 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 38246 0 0 0 293 10 0 0 19 0 4 0 731736900 770535424 126875 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=752476 CPUtime=3.07 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 37797 0 0 0 298 9 0 0 19 0 4 0 731736900 770535424 126875 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=752476 CPUtime=3.07 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 13671 0 0 0 304 3 0 0 25 0 4 0 731736900 770535424 126875 33554432000 4194304 4580107 140735083825056 18446744073709551615 4306038 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 752476

[startup+6.30079 s]
/proc/loadavg: 4.07 4.59 6.06 9/420 9123
/proc/meminfo: memFree=19848592/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=752476 CPUtime=24.98 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 128657 0 0 0 2466 32 0 0 25 0 4 0 731736900 770535424 127516 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 188119 127516 374 95 0 183101 0
[pid=9110/tid=9111] ppid=9108 vsize=752476 CPUtime=6.15 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 38246 0 0 0 605 10 0 0 25 0 4 0 731736900 770535424 127516 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=752476 CPUtime=6.27 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 37797 0 0 0 618 9 0 0 25 0 4 0 731736900 770535424 127516 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=752476 CPUtime=6.27 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 14312 0 0 0 623 4 0 0 25 0 4 0 731736900 770535424 127516 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 752476

[startup+12.7007 s]
/proc/loadavg: 4.38 4.65 6.08 9/420 9124
/proc/meminfo: memFree=19782264/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=753084 CPUtime=50.52 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 129756 0 0 0 5020 32 0 0 25 0 4 0 731736900 771158016 128615 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 188271 128615 375 95 0 183253 0
[pid=9110/tid=9111] ppid=9108 vsize=753084 CPUtime=12.47 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 38246 0 0 0 1237 10 0 0 25 0 4 0 731736900 771158016 128617 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=753084 CPUtime=12.68 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 37797 0 0 0 1259 9 0 0 25 0 4 0 731736900 771158016 128617 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=753084 CPUtime=12.69 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 15413 0 0 0 1265 4 0 0 25 0 4 0 731736900 771158016 128617 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 753084

[startup+25.5004 s]
/proc/loadavg: 5.18 4.81 6.11 9/420 9124
/proc/meminfo: memFree=18125400/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=844372 CPUtime=101.5 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 157684 0 0 0 10110 40 0 0 25 0 4 0 731736900 864636928 155154 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451895 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 211093 155154 376 95 0 206075 0
[pid=9110/tid=9111] ppid=9108 vsize=844372 CPUtime=25.07 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 38246 0 0 0 2497 10 0 0 25 0 4 0 731736900 864636928 155154 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=844372 CPUtime=25.47 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 37799 0 0 0 2538 9 0 0 25 0 4 0 731736900 864636928 155154 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=844372 CPUtime=25.47 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 43337 0 0 0 2535 12 0 0 25 0 4 0 731736900 864636928 155154 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 844372

[startup+51.101 s]
/proc/loadavg: 6.14 5.07 6.15 9/420 9125
/proc/meminfo: memFree=17652324/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=849804 CPUtime=203.52 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 181059 0 0 0 20300 52 0 0 25 0 4 0 731736900 870199296 164764 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451895 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 212451 164764 380 95 0 207433 0
[pid=9110/tid=9111] ppid=9108 vsize=849804 CPUtime=50.3 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 45997 0 0 0 5016 14 0 0 25 0 4 0 731736900 870199296 164764 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=849804 CPUtime=51.06 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 44577 0 0 0 5093 13 0 0 25 0 4 0 731736900 870199296 164764 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=849804 CPUtime=51.07 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 43338 0 0 0 5095 12 0 0 25 0 4 0 731736900 870199296 164764 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.52
Current children cumulated vsize (KiB) 849804

[startup+102.301 s]
/proc/loadavg: 7.23 5.53 6.25 9/420 9126
/proc/meminfo: memFree=17531548/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=928436 CPUtime=407.54 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 222135 0 0 0 40689 65 0 0 25 0 4 0 731736900 950718464 178258 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 232109 178258 381 95 0 227091 0
[pid=9110/tid=9111] ppid=9108 vsize=928436 CPUtime=100.72 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 51007 0 0 0 10057 15 0 0 25 0 4 0 731736900 950718464 178258 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=928436 CPUtime=102.26 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 54987 0 0 0 10211 15 0 0 25 0 4 0 731736900 950718464 178258 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=928436 CPUtime=102.27 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 62360 0 0 0 10207 20 0 0 25 0 4 0 731736900 950718464 178258 33554432000 4194304 4580107 140735083825056 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.54
Current children cumulated vsize (KiB) 928436

[startup+162.301 s]
/proc/loadavg: 7.75 5.99 6.37 9/420 9127
/proc/meminfo: memFree=17480088/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=976204 CPUtime=646.66 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 259998 0 0 0 64590 76 0 0 25 0 4 0 731736900 999632896 190825 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 244051 190825 386 95 0 239033 0
[pid=9110/tid=9111] ppid=9108 vsize=976204 CPUtime=159.84 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 59928 0 0 0 15965 19 0 0 25 0 4 0 731736900 999632896 190825 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451830 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=976204 CPUtime=162.28 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 65006 0 0 0 16209 19 0 0 25 0 4 0 731736900 999632896 190825 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=976204 CPUtime=162.29 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 70558 0 0 0 16207 22 0 0 25 0 4 0 731736900 999632896 190825 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 646.66
Current children cumulated vsize (KiB) 976204

[startup+222.301 s]
/proc/loadavg: 7.85 6.35 6.46 8/420 9129
/proc/meminfo: memFree=17484924/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=975692 CPUtime=876.56 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 309527 0 0 0 87560 96 0 0 25 0 4 0 731736900 999108608 189604 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9110/statm: 243923 189604 380 95 0 238905 0
[pid=9110/tid=9111] ppid=9108 vsize=975692 CPUtime=219.08 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 67843 0 0 0 21885 23 0 0 25 0 4 0 731736900 999108608 189604 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=975692 CPUtime=212.92 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 77126 0 0 0 21269 23 0 0 25 0 4 0 731736900 999108608 189604 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446604469121878144 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=975692 CPUtime=222.27 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 94296 0 0 0 22196 31 0 0 25 0 4 0 731736900 999108608 189604 33554432000 4194304 4580107 140735083825056 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 876.56
Current children cumulated vsize (KiB) 975692

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

[startup+231 s]
/proc/loadavg: 7.86 6.40 6.48 8/420 9129
/proc/meminfo: memFree=17477588/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=987844 CPUtime=902.66 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) R 9108 9110 8585 0 -1 4202496 311320 0 0 0 90170 96 0 0 25 0 4 0 731736900 1011552256 191397 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 246961 191397 380 95 0 241943 0
[pid=9110/tid=9111] ppid=9108 vsize=987844 CPUtime=227.78 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 69636 0 0 0 22755 23 0 0 25 0 4 0 731736900 1011552256 191397 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=987844 CPUtime=212.92 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 77126 0 0 0 21269 23 0 0 25 0 4 0 731736900 1011552256 191397 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446604469121878144 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=987844 CPUtime=230.97 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 94296 0 0 0 23066 31 0 0 25 0 4 0 731736900 1011552256 191397 33554432000 4194304 4580107 140735083825056 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 902.66
Current children cumulated vsize (KiB) 987844

[startup+237.4 s]
/proc/loadavg: 7.79 6.41 6.48 8/420 9129
/proc/meminfo: memFree=17487632/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=987844 CPUtime=920.74 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) S 9108 9110 8585 0 -1 4202496 311441 0 0 0 91978 96 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 246961 188882 380 95 0 241943 0
[pid=9110/tid=9111] ppid=9108 vsize=987844 CPUtime=234.18 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 69636 0 0 0 23395 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=987844 CPUtime=212.92 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 77126 0 0 0 21269 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446604469121878144 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=987844 CPUtime=237.37 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 94296 0 0 0 23706 31 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996370987 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 920.74
Current children cumulated vsize (KiB) 987844

[startup+243.817 s]
/proc/loadavg: 7.65 6.41 6.48 7/420 9130
/proc/meminfo: memFree=17487612/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=987844 CPUtime=933.58 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) S 9108 9110 8585 0 -1 4202496 311441 0 0 0 93262 96 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 246961 188882 380 95 0 241943 0
[pid=9110/tid=9111] ppid=9108 vsize=987844 CPUtime=240.6 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 69636 0 0 0 24037 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=987844 CPUtime=212.92 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 77126 0 0 0 21269 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446604469121878144 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=987844 CPUtime=243.78 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 94296 0 0 0 24347 31 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996370987 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 933.58
Current children cumulated vsize (KiB) 987844

[startup+245.401 s]
/proc/loadavg: 7.52 6.40 6.48 7/420 9130
/proc/meminfo: memFree=17487612/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=987844 CPUtime=936.74 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) S 9108 9110 8585 0 -1 4202496 311441 0 0 0 93578 96 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 246961 188882 380 95 0 241943 0
[pid=9110/tid=9111] ppid=9108 vsize=987844 CPUtime=242.18 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 69636 0 0 0 24195 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=987844 CPUtime=212.92 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 77126 0 0 0 21269 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446604469121878144 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=987844 CPUtime=245.37 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 94296 0 0 0 24506 31 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996371140 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 936.74
Current children cumulated vsize (KiB) 987844

[startup+247.001 s]
/proc/loadavg: 7.52 6.40 6.48 7/420 9130
/proc/meminfo: memFree=17487612/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=987844 CPUtime=939.96 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) S 9108 9110 8585 0 -1 4202496 311441 0 0 0 93900 96 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 246961 188882 380 95 0 241943 0
[pid=9110/tid=9111] ppid=9108 vsize=987844 CPUtime=243.8 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 69636 0 0 0 24357 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 4415773 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=987844 CPUtime=212.92 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 77126 0 0 0 21269 23 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446604469121878144 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=987844 CPUtime=246.98 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 94296 0 0 0 24667 31 0 0 25 0 4 0 731736900 1011552256 188882 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996371140 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 939.96
Current children cumulated vsize (KiB) 987844

[startup+247.801 s]
/proc/loadavg: 7.52 6.40 6.48 7/420 9130
/proc/meminfo: memFree=17487612/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=987844 CPUtime=941.54 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) S 9108 9110 8585 0 -1 4202496 311676 0 0 0 94058 96 0 0 25 0 4 0 731736900 1011552256 189117 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 246961 189117 380 95 0 241943 0
[pid=9110/tid=9111] ppid=9108 vsize=987844 CPUtime=244.58 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 69871 0 0 0 24435 23 0 0 25 0 4 0 731736900 1011552256 189117 33554432000 4194304 4580107 140735083825056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9110/tid=9112] ppid=9108 vsize=987844 CPUtime=212.92 cores=1,3,5,7
/proc/9110/task/9112/stat : 9112 (strangenight2-m) S 9108 9110 8585 0 -1 4202560 77126 0 0 0 21269 23 0 0 25 0 4 0 731736900 1011552256 189117 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996395572 0 0 4096 2 18446604469121878144 0 0 -1 3 0 0 0
[pid=9110/tid=9113] ppid=9108 vsize=987844 CPUtime=247.77 cores=1,3,5,7
/proc/9110/task/9113/stat : 9113 (strangenight2-m) R 9108 9110 8585 0 -1 4202560 94296 0 0 0 24746 31 0 0 25 0 4 0 731736900 1011552256 189117 33554432000 4194304 4580107 140735083825056 18446744073709551615 47182996370987 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 941.54
Current children cumulated vsize (KiB) 987844

[startup+248 s]
/proc/loadavg: 7.52 6.40 6.48 7/420 9130
/proc/meminfo: memFree=17487612/32950940 swapFree=67111356/67111528
[pid=9110] ppid=9108 vsize=0 CPUtime=941.92 cores=1,3,5,7
/proc/9110/stat : 9110 (strangenight2-m) Z 9108 9110 8585 0 -1 4203548 311684 0 0 0 94094 98 0 0 18 0 2 0 731736900 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9110/statm: 0 0 0 0 0 0 0
[pid=9110/tid=9111] ppid=9108 vsize=0 CPUtime=244.78 cores=1,3,5,7
/proc/9110/task/9111/stat : 9111 (strangenight2-m) R 9108 9110 8585 0 -1 4203588 69871 0 0 0 24453 25 0 0 25 0 2 0 731736900 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 248.018
CPU time (s): 941.949
CPU user time (s): 940.949
CPU system time (s): 0.999848
CPU usage (%): 379.791
Max. virtual memory (cumulated for all children) (KiB): 1169364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 940.949
system time used= 0.999848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311684
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= 10323
involuntary context switches= 6491

runsolver used 0.72089 second user time and 2.96055 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-15 01:17:41
IDJOB=3367138
IDBENCH=83475
IDSOLVER=1844
FILE ID=node117/3367138-1305415061
RUNJOBID= node117-1305415060-9037
PBS_JOBID= 13324528
Free space on /tmp= 73352 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367138-1305415061/watcher-3367138-1305415061 -o /tmp/evaluation-result-3367138-1305415061/solver-3367138-1305415061 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367138-1305415061.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=330825537

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      21261096 kB
Buffers:        300788 kB
Cached:        3150988 kB
SwapCached:          0 kB
Active:        9405756 kB
Inactive:      1928356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      21261096 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           73608 kB
Writeback:           0 kB
AnonPages:     7882092 kB
Mapped:          31612 kB
Slab:           245536 kB
PageTables:      44316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100415172 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= 73272 MiB
End job on node117 at 2011-05-15 01:21:49