Trace number 3369539

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)SAT 1758.81 457.492

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369539-1305414950.cnf'
0.00/0.01	c -- header says num vars:          10420
0.00/0.01	c -- header says num clauses:      484053
1.96/0.58	c -- clauses added:            0 learnts,       484053 normals,            0 xors
1.96/0.58	c -- vars added      10420
1.96/0.58	c Parsing time:  0.96 s
1.96/0.58	c  N st     0         0     10420    456210     26271         0   4129262         0   no data   no data  --
1.96/0.58	c asymm  cl-useful: 0/950/454844 lits-rem:0 time: 0.98
7.15/1.84	c Flit:    46 Blit:      0 bXBeca:    0 bXProp:   81 Bins:      0 BRemL:      0 BRemN:      0 P: 48.1M T:  4.83
7.95/2.05	c Replacing       81 vars Replaced   345278 lits Time:     0.84 s 
9.09/2.30	c bin-w-bin subsume rem          699 bins  time:  0.01 s
16.67/4.22	c subs with bin:    18037  lits-rem:       379  v-fix:    0  time:  7.66 s
16.67/4.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6095 time:  0.08 s
16.67/4.26	c Removed useless bin:      36  fixed:     0  props:   3.10M  time:  0.08 s
641.60/160.90	c lits-rem:         0  cl-subs:      902  v-elim:   1257  v-fix:    0  time: 624.01 s
641.60/160.92	c Finding binary XORs  T:     0.06 s  found:       0
654.35/164.17	c Finding non-binary XORs:    12.85 s (found:       0, avg size: nan)
654.35/164.17	c calculated reachability. Time: 0.01
654.35/164.19	c Calc default polars -  time:   0.07 s pos:     306 undec:    2224 neg:    7890
654.35/164.19	c =========================================================================================
654.35/164.19	c types(t): F = full restart, N = normal restart
654.35/164.19	c types(t): S = simplification begin/end, E = solution found
654.35/164.19	c restart types(rt): st = static, dy = dynamic
654.35/164.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
654.35/164.19	c  B st     0         0      8196    438190     21230         0   3905799         0   no data   no data  --
657.56/164.97	c  N dy    17      4046      8192    438190     21388      3826   3905799    133377     10.08     10.71  --
660.34/165.68	c  N dy    39      8056      8191    438190     22336      7679   3905798    280050     10.24     11.07  --
663.12/166.36	c Finding binary XORs  T:     0.04 s  found:       5
664.32/166.62	c  N dy    58     12151      8156    429592     22252     11613   3836565    426344     10.06     11.11  --
667.11/167.36	c  N dy    87     16219      8156    429592     22372     15522   3836565    587409     10.39     10.97  --
669.91/168.05	c  N dy   111     20309      8156    429592     22619      9901   3836565    196868     10.50     14.59  --
673.50/168.92	c  N dy   137     24311      8155    429592     22854     13796   3836565    349801     10.49     11.31  --
673.90/169.02	c  F st   140     25000      8155    429592     22864     14468   3836565    376570     10.45      8.92  --
674.30/169.11	c Replacing        5 vars Replaced     9371 lits Time:     0.31 s 
677.88/170.02	c  N dy   146     30003      8146    429584     22932     19297   3836470    599793     10.45   no data  --
677.88/170.02	c  S st   146     30003      8146    429584     22932     19297   3836470    599793     10.45   no data  --
679.50/170.51	c Finding binary XORs  T:     0.04 s  found:       3
680.28/170.66	c  S st   146     30506      8137    429236     23135     19723   3834723    608815     10.45   no data  --
680.28/170.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
680.28/170.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
694.63/174.24	c Flit:    11 Blit:      1 bXBeca:    0 bXProp:    9 Bins:  27070 BRemL:   1205 BRemN:     21 P: 83.6M T: 14.19
695.03/174.37	c Replacing       12 vars Replaced    20411 lits Time:     0.55 s 
695.83/174.55	c bin-w-bin subsume rem           87 bins  time:  0.02 s
699.82/175.52	c subs with bin:     1129  lits-rem:     43815  v-fix:    0  time:  3.87 s
699.82/175.55	c Subs w/ non-existent bins:      0 l-rem:    479 v-fix:     0 done:   2062 time:  0.12 s
699.82/175.56	c Removed useless bin:       6  fixed:     0  props:   0.83M  time:  0.04 s
1148.09/287.95	c lits-rem:       352  cl-subs:    24876  v-elim:    101  v-fix:    0  time: 446.91 s
1149.34/288.24	c asymm  cl-useful: 0/457/408217 lits-rem:0 time: 1.15
1149.34/288.27	c calculated reachability. Time: 0.02
1149.34/288.27	c  N dy   146     30506      8012    408217     47651     14581   3646850    418331     10.45   no data  --
1149.34/288.28	c Finding binary XORs  T:     0.05 s  found:       0
1152.08/288.94	c  N dy   169     34597      8008    408217     47656     18633   3646849    586655     10.41     10.99  --
1155.26/289.75	c  N dy   200     38858      8004    408217     51509     22857   3646849    776890     10.52     11.13  --
1156.87/290.11	c Finding binary XORs  T:     0.05 s  found:       1
1159.25/290.76	c  N dy   224     42935      8003    408210     51618     26876   3646629    962539     10.63     11.40  --
1161.25/291.28	c  S st   237     45759      8002    408210     51630     29653   3646627   1085522     10.60   no data  --
1163.64/291.89	c  S st   237     46260      8002    408210     51632     15149   3646627    296448     10.60   no data  --
1164.04/291.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1164.04/291.91	c Cache  BProp: 1 Set: 1 BXProp: 0 T: 0.00
1175.99/294.91	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   1853 BRemL:   2696 BRemN:      6 P: 75.2M T: 11.95
1175.99/294.99	c Replacing        5 vars Replaced     6669 lits Time:     0.30 s 
1176.80/295.13	c bin-w-bin subsume rem         1639 bins  time:  0.02 s
1177.60/295.37	c subs with bin:     1332  lits-rem:      5587  v-fix:    0  time:  0.99 s
1178.00/295.40	c Subs w/ non-existent bins:      6 l-rem:     42 v-fix:     0 done:    441 time:  0.09 s
1178.00/295.41	c Removed useless bin:       4  fixed:     0  props:   0.79M  time:  0.04 s
1576.02/395.29	c lits-rem:       233  cl-subs:     5443  v-elim:     28  v-fix:    0  time: 396.66 s
1577.22/395.52	c vivif2 --  cl tried   402701 cl shrink     1078 lits rem       1174 time: 0.91
1577.22/395.53	c vivif2 --  cl tried    13873 cl shrink     1469 lits rem       3910 time: 0.06
1578.02/395.73	c asymm  cl-useful: 0/442/402701 lits-rem:0 time: 0.80
1578.02/395.76	c calculated reachability. Time: 0.02
1578.02/395.76	c  N dy   237     46260      7966    402701     48649     13870   3601626    259849     10.60   no data  --
1758.66/457.45	c Following stats are for *FIRST FINISHED THREAD ONLY*
1758.66/457.45	c num threads              : 4          
1758.66/457.45	c restarts                 : 988        
1758.66/457.45	c dynamic restarts         : 976        
1758.66/457.45	c static restarts          : 12         
1758.66/457.45	c full restarts            : 2          
1758.66/457.45	c total simplify time      : 0.65       
1758.66/457.45	c learnts DL2              : 0          
1758.66/457.45	c learnts size 2           : 70940      
1758.66/457.45	c learnts size 1           : 1002        (9.62      % of vars)
1758.66/457.45	c filedLit time            : 26.72       (1.52      % time)
1758.66/457.45	c v-elim SatELite          : 1342        (12.88     % vars)
1758.66/457.45	c SatELite time            : 1254.58     (71.53     % time)
1758.66/457.45	c v-elim xor               : 0           (0.00      % vars)
1758.66/457.45	c xor elim time            : 0.14        (0.01      % time)
1758.66/457.45	c num binary xor trees     : 96         
1758.66/457.45	c binxor trees' crown      : 114         (1.19      leafs/tree)
1758.66/457.45	c bin xor find time        : 0.27       
1758.66/457.45	c OTF clause improved      : 1634        (0.01      clauses/conflict)
1758.66/457.45	c OTF impr. size diff      : 2295        (1.40       lits/clause)
1758.66/457.45	c OTF cl watch-shrink      : 167834      (0.70      clauses/conflict)
1758.66/457.45	c OTF cl watch-sh-lit      : 1006619     (6.00       lits/clause)
1758.66/457.45	c tried to recurMin cls    : 117456      (48.91      % of conflicts)
1758.66/457.45	c updated cache            : 11194       (0.10       lits/tried recurMin)
1758.66/457.45	c unit cls received        : 13          (1.30      % of units)
1758.66/457.45	c unit cls sent            : 929         (92.71     % of units)
1758.66/457.45	c bin cls received         : 5986       
1758.66/457.45	c bin cls sent             : 35725      
1758.66/457.45	c clauses over max glue    : 0           (0.00      % of all clauses)
1758.66/457.45	c conflicts                : 240155      (136.92    / sec)
1758.66/457.45	c decisions                : 569059      (2.23      % random)
1758.66/457.45	c bogo-props               : 3754572014  (2140593.63 / sec)
1758.66/457.45	c conflict literals        : 11602841    (31.77     % deleted)
1758.66/457.45	c Memory used              : 1001.11     MB
1758.66/457.45	c single-thread CPU time   : 1753.99     s
1758.66/457.45	c all-threads sum CPU time : 1753.99     s
1758.66/457.45	s SATISFIABLE
1758.66/457.45	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-3369539-1305414950/watcher-3369539-1305414950 -o /tmp/evaluation-result-3369539-1305414950/solver-3369539-1305414950 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369539-1305414950.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: 8.04 8.04 7.92 5/369 6436
/proc/meminfo: memFree=17823080/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 731725749 52465664 353 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639666 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6436/statm: 12809 353 303 112 0 7774 0
[pid=6436/tid=6437] ppid=6434 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731725749 52465664 353 33554432000 4194304 4650419 140733752435312 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731725749 52465664 353 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639666 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731725749 52465664 353 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639666 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0847371 s]
/proc/loadavg: 8.04 8.04 7.92 5/369 6436
/proc/meminfo: memFree=17823080/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=297724 CPUtime=0.31 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 13181 0 0 0 29 2 0 0 18 0 4 0 731725749 304869376 12138 33554432000 4194304 4650419 140733752435312 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6436/statm: 74431 12141 345 112 0 69396 0
[pid=6436/tid=6437] ppid=6434 vsize=297724 CPUtime=0.06 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 3223 0 0 0 6 0 0 0 25 0 4 0 731725749 304869376 12141 33554432000 4194304 4650419 140733752435312 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=297724 CPUtime=0.06 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 3186 0 0 0 6 0 0 0 25 0 4 0 731725749 304869376 12144 33554432000 4194304 4650419 140733752435312 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=297724 CPUtime=0.07 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 3176 0 0 0 7 0 0 0 18 0 4 0 731725749 304869376 12145 33554432000 4194304 4650419 140733752435312 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 297724

[startup+0.100732 s]
/proc/loadavg: 8.04 8.04 7.92 5/369 6436
/proc/meminfo: memFree=17823080/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=300544 CPUtime=0.36 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 15393 0 0 0 34 2 0 0 18 0 4 0 731725749 307757056 14350 33554432000 4194304 4650419 140733752435312 18446744073709551615 4545872 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6436/statm: 75136 14358 345 112 0 70101 0
[pid=6436/tid=6437] ppid=6434 vsize=300544 CPUtime=0.07 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 3809 0 0 0 7 0 0 0 25 0 4 0 731725749 307757056 14362 33554432000 4194304 4650419 140733752435312 18446744073709551615 4546074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=300544 CPUtime=0.08 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 3731 0 0 0 8 0 0 0 25 0 4 0 731725749 307757056 14367 33554432000 4194304 4650419 140733752435312 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=300544 CPUtime=0.09 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 3725 0 0 0 9 0 0 0 18 0 4 0 731725749 307757056 14379 33554432000 4194304 4650419 140733752435312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 300544

[startup+0.300707 s]
/proc/loadavg: 8.04 8.04 7.92 5/369 6436
/proc/meminfo: memFree=17823080/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=455796 CPUtime=1.16 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 42400 0 0 0 108 8 0 0 18 0 4 0 731725749 466735104 41354 33554432000 4194304 4650419 140733752435312 18446744073709551615 4532818 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6436/statm: 113949 41354 365 112 0 108914 0
[pid=6436/tid=6437] ppid=6434 vsize=455796 CPUtime=0.28 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 10489 0 0 0 26 2 0 0 18 0 4 0 731725749 466735104 41354 33554432000 4194304 4650419 140733752435312 18446744073709551615 4532818 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=455796 CPUtime=0.28 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 10516 0 0 0 26 2 0 0 25 0 4 0 731725749 466735104 41354 33554432000 4194304 4650419 140733752435312 18446744073709551615 4532818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=455796 CPUtime=0.28 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 10469 0 0 0 27 1 0 0 18 0 4 0 731725749 466735104 41354 33554432000 4194304 4650419 140733752435312 18446744073709551615 4224479 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 455796

[startup+0.725629 s]
/proc/loadavg: 8.04 8.04 7.92 5/369 6436
/proc/meminfo: memFree=17823080/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=447512 CPUtime=2.86 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 74894 0 0 0 271 15 0 0 18 0 4 0 731725749 458252288 49186 33554432000 4194304 4650419 140733752435312 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6436/statm: 111878 49186 373 112 0 106843 0
[pid=6436/tid=6437] ppid=6434 vsize=447512 CPUtime=0.69 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 20247 0 0 0 66 3 0 0 18 0 4 0 731725749 458252288 49189 33554432000 4194304 4650419 140733752435312 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=447512 CPUtime=0.7 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 20897 0 0 0 66 4 0 0 25 0 4 0 731725749 458252288 49190 33554432000 4194304 4650419 140733752435312 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=447512 CPUtime=0.71 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 12421 0 0 0 69 2 0 0 18 0 4 0 731725749 458252288 49190 33554432000 4194304 4650419 140733752435312 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 447512

[startup+1.5005 s]
/proc/loadavg: 8.04 8.04 7.92 10/373 6440
/proc/meminfo: memFree=17601460/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=457392 CPUtime=5.95 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 82465 0 0 0 578 17 0 0 19 0 4 0 731725749 468369408 56757 33554432000 4194304 4650419 140733752435312 18446744073709551615 4370585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6436/statm: 114348 56757 373 112 0 109313 0
[pid=6436/tid=6437] ppid=6434 vsize=457392 CPUtime=1.46 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 22394 0 0 0 142 4 0 0 19 0 4 0 731725749 468369408 56757 33554432000 4194304 4650419 140733752435312 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=457392 CPUtime=1.48 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 23145 0 0 0 143 5 0 0 25 0 4 0 731725749 468369408 56757 33554432000 4194304 4650419 140733752435312 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=457392 CPUtime=1.48 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 13327 0 0 0 146 2 0 0 20 0 4 0 731725749 468369408 56757 33554432000 4194304 4650419 140733752435312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 457392

[startup+3.10024 s]
/proc/loadavg: 8.04 8.04 7.92 7/373 6440
/proc/meminfo: memFree=17569072/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=824828 CPUtime=12.29 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 157775 0 0 0 1197 32 0 0 18 0 4 0 731725749 844623872 132067 33554432000 4194304 4650419 140733752435312 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 206207 132067 383 112 0 201172 0
[pid=6436/tid=6437] ppid=6434 vsize=824828 CPUtime=3.04 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 47148 0 0 0 296 8 0 0 19 0 4 0 731725749 844623872 132067 33554432000 4194304 4650419 140733752435312 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=824828 CPUtime=3.05 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 47934 0 0 0 295 10 0 0 19 0 4 0 731725749 844623872 132067 33554432000 4194304 4650419 140733752435312 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=824828 CPUtime=3.09 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 14266 0 0 0 306 3 0 0 25 0 4 0 731725749 844623872 132067 33554432000 4194304 4650419 140733752435312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 824828

[startup+6.3007 s]
/proc/loadavg: 8.04 8.04 7.92 10/373 6440
/proc/meminfo: memFree=17255476/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=829748 CPUtime=25.05 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 163048 0 0 0 2472 33 0 0 25 0 4 0 731725749 849661952 137227 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 207437 137227 393 112 0 202402 0
[pid=6436/tid=6437] ppid=6434 vsize=829748 CPUtime=6.24 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 48258 0 0 0 616 8 0 0 25 0 4 0 731725749 849661952 137227 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=829748 CPUtime=6.22 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 49093 0 0 0 611 11 0 0 25 0 4 0 731725749 849661952 137227 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=829748 CPUtime=6.28 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 16111 0 0 0 625 3 0 0 25 0 4 0 731725749 849661952 137227 33554432000 4194304 4650419 140733752435312 18446744073709551615 4365520 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 829748

[startup+12.7006 s]
/proc/loadavg: 8.12 8.05 7.93 10/373 6440
/proc/meminfo: memFree=17204272/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=862308 CPUtime=50.58 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 184819 0 0 0 5020 38 0 0 25 0 4 0 731725749 883003392 146138 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 215577 146138 392 112 0 210542 0
[pid=6436/tid=6437] ppid=6434 vsize=862308 CPUtime=12.64 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 50370 0 0 0 1255 9 0 0 25 0 4 0 731725749 883003392 146138 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=862308 CPUtime=12.54 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 57088 0 0 0 1242 12 0 0 25 0 4 0 731725749 883003392 146138 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476369 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=862308 CPUtime=12.68 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 19810 0 0 0 1263 5 0 0 25 0 4 0 731725749 883003392 146138 33554432000 4194304 4650419 140733752435312 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 862308

[startup+25.5005 s]
/proc/loadavg: 8.09 8.05 7.93 10/373 6440
/proc/meminfo: memFree=17052264/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=993380 CPUtime=101.61 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 243448 0 0 0 10115 46 0 0 25 0 4 0 731725749 1017221120 173990 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 248345 173990 392 112 0 243310 0
[pid=6436/tid=6437] ppid=6434 vsize=993380 CPUtime=25.44 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 50371 0 0 0 2535 9 0 0 25 0 4 0 731725749 1017221120 173990 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=993380 CPUtime=25.19 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 71653 0 0 0 2506 13 0 0 25 0 4 0 731725749 1017221120 173990 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=993380 CPUtime=25.48 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 47674 0 0 0 2538 10 0 0 25 0 4 0 731725749 1017221120 173990 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 993380

[startup+51.1002 s]
/proc/loadavg: 8.06 8.05 7.93 10/373 6440
/proc/meminfo: memFree=17085192/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1004292 CPUtime=203.72 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 311595 0 0 0 20316 56 0 0 25 0 4 0 731725749 1028395008 174219 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476454 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 251073 174219 392 112 0 246038 0
[pid=6436/tid=6437] ppid=6434 vsize=1004292 CPUtime=51.04 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 50373 0 0 0 5095 9 0 0 25 0 4 0 731725749 1028395008 174219 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1004292 CPUtime=50.49 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 103721 0 0 0 5031 18 0 0 25 0 4 0 731725749 1028395008 174219 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1004292 CPUtime=51.08 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 53806 0 0 0 5097 11 0 0 25 0 4 0 731725749 1028395008 174219 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 1004292

[startup+102.314 s]
/proc/loadavg: 8.07 8.05 7.93 10/373 6442
/proc/meminfo: memFree=17084368/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1004636 CPUtime=407.96 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 406436 0 0 0 40728 68 0 0 25 0 4 0 731725749 1028747264 173279 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 251159 173279 392 112 0 246124 0
[pid=6436/tid=6437] ppid=6434 vsize=1004636 CPUtime=102.26 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 50398 0 0 0 10217 9 0 0 25 0 4 0 731725749 1028747264 173279 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1004636 CPUtime=101.09 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 139609 0 0 0 10086 23 0 0 25 0 4 0 731725749 1028747264 173279 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1004636 CPUtime=102.3 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 68547 0 0 0 10217 13 0 0 25 0 4 0 731725749 1028747264 173279 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 1004636

[startup+162.301 s]

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

/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 215381 0 0 0 28189 39 0 0 25 0 4 0 731725749 1047805952 197856 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1125.76
Current children cumulated vsize (KiB) 1023248

[startup+342.301 s]
/proc/loadavg: 8.19 8.11 7.97 9/373 6448
/proc/meminfo: memFree=16865820/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1027772 CPUtime=1365.05 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) R 6434 6436 5935 0 -1 4202496 2276690 0 0 0 136163 342 0 0 25 0 4 0 731725749 1052438528 200734 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476354 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256943 200734 395 112 0 251908 0
[pid=6436/tid=6437] ppid=6434 vsize=1027772 CPUtime=342.24 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 66916 0 0 0 34212 12 0 0 25 0 4 0 731725749 1052438528 200734 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1027772 CPUtime=338.2 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 745765 0 0 0 33707 113 0 0 25 0 4 0 731725749 1052438528 200734 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1027772 CPUtime=342.29 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 703897 0 0 0 34126 103 0 0 25 0 4 0 731725749 1052438528 200734 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1365.05
Current children cumulated vsize (KiB) 1027772

[startup+402.301 s]
/proc/loadavg: 8.13 8.10 7.98 9/373 6450
/proc/meminfo: memFree=16831584/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1597.98 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 2798474 0 0 0 159387 411 0 0 25 0 4 0 731725749 1049731072 197212 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 197212 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=402.25 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67049 0 0 0 40213 12 0 0 25 0 4 0 731725749 1049731072 197212 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=397.58 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 757903 0 0 0 39643 115 0 0 25 0 4 0 731725749 1049731072 197212 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=402.29 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 40089 140 0 0 25 0 4 0 731725749 1049731072 197212 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1597.98
Current children cumulated vsize (KiB) 1025128

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

[startup+409.501 s]
/proc/loadavg: 7.96 8.07 7.97 9/373 6450
/proc/meminfo: memFree=16844728/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1619.58 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 2822650 0 0 0 161544 414 0 0 25 0 4 0 731725749 1049731072 196112 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 196112 397 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=409.45 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67049 0 0 0 40933 12 0 0 25 0 4 0 731725749 1049731072 196112 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=404.78 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 782079 0 0 0 40360 118 0 0 25 0 4 0 731725749 1049731072 196112 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=409.49 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 40809 140 0 0 25 0 4 0 731725749 1049731072 196112 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1619.58
Current children cumulated vsize (KiB) 1025128

[startup+435.101 s]
/proc/loadavg: 7.63 7.98 7.94 9/373 6450
/proc/meminfo: memFree=16823372/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1696.39 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3135624 0 0 0 169188 451 0 0 25 0 4 0 731725749 1049731072 195738 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 195738 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=435.05 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67050 0 0 0 43493 12 0 0 25 0 4 0 731725749 1049731072 195738 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=430.38 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 1095052 0 0 0 42884 154 0 0 25 0 4 0 731725749 1049731072 195738 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=435.09 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 43369 140 0 0 25 0 4 0 731725749 1049731072 195738 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614699 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1696.39
Current children cumulated vsize (KiB) 1025128

[startup+447.901 s]
/proc/loadavg: 7.53 7.95 7.93 9/373 6452
/proc/meminfo: memFree=16823724/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1734.78 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3168423 0 0 0 173022 456 0 0 25 0 4 0 731725749 1049731072 196408 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 196408 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=447.85 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67050 0 0 0 44773 12 0 0 25 0 4 0 731725749 1049731072 196408 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=443.17 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 1127851 0 0 0 44158 159 0 0 25 0 4 0 731725749 1049731072 196408 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=447.89 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 44649 140 0 0 25 0 4 0 731725749 1049731072 196408 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614699 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1734.78
Current children cumulated vsize (KiB) 1025128

[startup+454.314 s]
/proc/loadavg: 7.44 7.91 7.92 8/373 6452
/proc/meminfo: memFree=16832888/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1752.49 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3336228 0 0 0 174770 479 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 195261 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=454.26 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67050 0 0 0 45414 12 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=448.06 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) S 6434 6436 5935 0 -1 4202560 1295656 0 0 0 44624 182 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446604457711220864 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=454.3 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 45290 140 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1752.49
Current children cumulated vsize (KiB) 1025128

[startup+455.901 s]
/proc/loadavg: 7.44 7.91 7.92 8/373 6452
/proc/meminfo: memFree=16829912/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1755.67 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3336228 0 0 0 175088 479 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 195261 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=455.85 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67050 0 0 0 45573 12 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=448.06 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) S 6434 6436 5935 0 -1 4202560 1295656 0 0 0 44624 182 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446604457711220864 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=455.89 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 45449 140 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1755.67
Current children cumulated vsize (KiB) 1025128

[startup+456.701 s]
/proc/loadavg: 7.44 7.91 7.92 8/373 6452
/proc/meminfo: memFree=16828796/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1757.27 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3336228 0 0 0 175248 479 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 195261 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=456.65 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67050 0 0 0 45653 12 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=448.06 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) S 6434 6436 5935 0 -1 4202560 1295656 0 0 0 44624 182 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446604457711220864 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=456.69 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 45529 140 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1757.27
Current children cumulated vsize (KiB) 1025128

[startup+457.101 s]
/proc/loadavg: 7.44 7.91 7.92 8/373 6452
/proc/meminfo: memFree=16828796/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1758.07 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3336228 0 0 0 175328 479 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 195261 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=457.05 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67050 0 0 0 45693 12 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 4533860 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=448.06 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) S 6434 6436 5935 0 -1 4202560 1295656 0 0 0 44624 182 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446604457711220864 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=457.09 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 45569 140 0 0 25 0 4 0 731725749 1049731072 195261 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1758.07
Current children cumulated vsize (KiB) 1025128

[startup+457.301 s]
/proc/loadavg: 7.44 7.91 7.92 8/373 6452
/proc/meminfo: memFree=16828796/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1758.46 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3336627 0 0 0 175367 479 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 195660 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=457.24 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67449 0 0 0 45712 12 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=448.06 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) S 6434 6436 5935 0 -1 4202560 1295656 0 0 0 44624 182 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446604457711220864 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=457.29 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 45589 140 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1758.46
Current children cumulated vsize (KiB) 1025128

[startup+457.401 s]
/proc/loadavg: 7.44 7.91 7.92 8/373 6452
/proc/meminfo: memFree=16828796/32951124 swapFree=45193364/67111528
[pid=6436] ppid=6434 vsize=1025128 CPUtime=1758.66 cores=1,3,5,7
/proc/6436/stat : 6436 (strangenight1-m) S 6434 6436 5935 0 -1 4202496 3336627 0 0 0 175387 479 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6436/statm: 256282 195660 395 112 0 251247 0
[pid=6436/tid=6437] ppid=6434 vsize=1025128 CPUtime=457.34 cores=1,3,5,7
/proc/6436/task/6437/stat : 6437 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 67449 0 0 0 45722 12 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6436/tid=6438] ppid=6434 vsize=1025128 CPUtime=448.06 cores=1,3,5,7
/proc/6436/task/6438/stat : 6438 (strangenight1-m) S 6434 6436 5935 0 -1 4202560 1295656 0 0 0 44624 182 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908639284 0 0 4096 2 18446604457711220864 0 0 -1 1 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=1025128 CPUtime=457.39 cores=1,3,5,7
/proc/6436/task/6439/stat : 6439 (strangenight1-m) R 6434 6436 5935 0 -1 4202560 990700 0 0 0 45599 140 0 0 25 0 4 0 731725749 1049731072 195660 33554432000 4194304 4650419 140733752435312 18446744073709551615 47513908614852 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1758.66
Current children cumulated vsize (KiB) 1025128

Child status: 10
Real time (s): 457.492
CPU time (s): 1758.81
CPU user time (s): 1753.99
CPU system time (s): 4.82627
CPU usage (%): 384.447
Max. virtual memory (cumulated for all children) (KiB): 1118236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.99
system time used= 4.82627
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3336651
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= 8882
involuntary context switches= 12952

runsolver used 1.37679 second user time and 4.10438 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-15 01:15:51
IDJOB=3369539
IDBENCH=83450
IDSOLVER=1846
FILE ID=node118/3369539-1305414950
RUNJOBID= node118-1305414481-6340
PBS_JOBID= 13324527
Free space on /tmp= 73024 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1965645865

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17823360 kB
Buffers:        278068 kB
Cached:        4413508 kB
SwapCached:      22084 kB
Active:       12240944 kB
Inactive:      2582284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17823360 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:           27768 kB
Writeback:           0 kB
AnonPages:    10122496 kB
Mapped:          15724 kB
Slab:           148956 kB
PageTables:      91096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 89237116 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= 73016 MiB
End job on node118 at 2011-05-15 01:23:28