Trace number 3367017

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 34.7907 8.73925

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367017-1305414980.cnf'
0.00/0.01	c -- header says num vars:           7794
0.00/0.01	c -- header says num clauses:      126826
0.00/0.07	c -- clauses added:            0 learnts,       126826 normals,            0 xors
0.00/0.07	c -- vars added       7794
0.00/0.07	c Parsing time:  0.04 s
0.00/0.07	c  N st     0         0      7794    106441     19625         0    745842         0   no data   no data
0.00/0.38	c asymm  cl-useful: 64/4331/106073 lits-rem:68 time: 0.18
0.00/0.59	c Flit:    45 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 13.4M T:  0.32
0.00/0.59	c Replacing       72 vars Replaced    68852 lits Time:     0.02 s 
2.37/0.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.37/0.63	c bin-w-bin subsume rem          378 bins  time:  0.00 s
2.37/0.67	c subs with bin:      996  lits-rem:       290  v-fix:    0  time:  0.01 s
2.37/0.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6229 time:  0.02 s
2.37/0.67	c Removed useless bin:      33  fixed:     0  props:   1.94M  time:  0.01 s
4.85/1.28	c lits-rem:         0  cl-subs:      111  v-elim:    708  v-fix:    0  time:  0.61 s
4.85/1.29	c Finding binary XORs  T:     0.01 s  found:       0
5.14/1.38	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
5.14/1.38	c calculated reachability. Time: 0.00
5.14/1.38	c Calc default polars -  time:   0.00 s pos:     266 undec:    1251 neg:    6277
5.14/1.38	c =========================================================================================
5.14/1.38	c types(t): F = full restart, N = normal restart
5.14/1.38	c types(t): S = simplification begin/end, E = solution found
5.14/1.38	c restart types(rt): st = static, dy = dynamic
5.14/1.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.14/1.38	c  B st     0         0      6543    105540     16768         0    739142         0   no data   no data
6.33/1.62	c  N dy    16      4050      6542    105540     16927      3828    739142    114613      8.19      8.66
7.54/1.94	c  N dy    46      8109      6513    105540     17565      7720    739142    254746      9.20      9.98
8.72/2.27	c  N dy    69     12198      6513    105540     17694     11631    739142    378879      9.15      9.64
10.32/2.64	c  N dy    97     16223      6508    105540     17978     15567    739140    520429      9.43     11.44
11.12/2.86	c Finding binary XORs  T:     0.01 s  found:       0
11.92/3.06	c  N dy   119     20239      6505    105313     18087      9818    737768    182691      9.41      9.94
13.52/3.42	c  N dy   135     24280      6505    105313     18139     13772    737767    318808      9.32      9.90
13.52/3.49	c  F st   142     25000      6505    105313     18269     14475    737767    346694      9.39   no data
14.71/3.79	c  N st   147     28295      6505    105311     18281     17675    737747    461532      9.39   no data
15.51/3.93	c  S st   148     30003      6504    105311     18302     19345    737747    524294      9.39   no data
15.91/4.08	c  S st   148     30503      6504    105311     18332     19814    737747    535664      9.39   no data
15.91/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
20.31/5.12	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 261195 BRemL: 235414 BRemN:      0 P: 26.2M T:  1.02
20.31/5.15	c blocked clauses removed:        0 vars:      0 tried:        6501 T: 0.00 s
20.31/5.15	c bin-w-bin subsume rem           97 bins  time:  0.00 s
20.31/5.19	c subs with bin:     1881  lits-rem:      4586  v-fix:    0  time:  0.04 s
20.70/5.20	c Subs w/ non-existent bins:      6 l-rem:     59 v-fix:     0 done:   1556 time:  0.01 s
20.70/5.21	c Removed useless bin:       4  fixed:     0  props:   0.53M  time:  0.01 s
20.70/5.31	c lits-rem:         0  cl-subs:     3399  v-elim:    239  v-fix:    0  time:  0.09 s
21.12/5.35	c subs with bin:      109  lits-rem:      2647  v-fix:    0  time:  0.04 s
21.54/5.42	c lits-rem:       229  cl-subs:      562  v-elim:      0  v-fix:    0  time:  0.05 s
22.29/5.64	c asymm  cl-useful: 23/1575/100318 lits-rem:23 time: 0.22
22.29/5.65	c calculated reachability. Time: 0.00
22.29/5.65	c  N dy   148     30503      6262    100318     40717      7014    701343    154242      9.39   no data
22.29/5.69	c Finding binary XORs  T:     0.01 s  found:       1
23.89/6.05	c  N dy   163     34588      6236     98072     40078     11027    686375    296541      9.26      9.87
25.93/6.54	c  N dy   185     39049      6234     98072    250335     15434    686375    864614      9.19     10.24
27.47/6.92	c Finding binary XORs  T:     0.01 s  found:       0
27.88/7.05	c  N dy   195     43177      6232     98069    259097     10575    686251    654126      9.06      9.69
29.08/7.34	c  S st   204     45754      6232     98069    259102     13110    686250    731353      8.99   no data
29.48/7.46	c  S st   204     46255      6229     98069    259104     13609    686250    743372      8.99   no data
29.48/7.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
32.27/8.19	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   5748 BRemL: 217856 BRemN:     15 P: 22.2M T:  0.72
32.67/8.20	c Replacing        1 vars Replaced       40 lits Time:     0.01 s 
32.67/8.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32.67/8.22	c bin-w-bin subsume rem           99 bins  time:  0.00 s
32.67/8.24	c subs with bin:      247  lits-rem:       221  v-fix:    0  time:  0.02 s
32.67/8.26	c Subs w/ non-existent bins:      1 l-rem:     74 v-fix:     0 done:   3020 time:  0.02 s
32.67/8.26	c Removed useless bin:       1  fixed:     0  props:   0.50M  time:  0.01 s
33.07/8.32	c lits-rem:         0  cl-subs:      184  v-elim:     70  v-fix:    0  time:  0.06 s
33.47/8.40	c subs with bin:       82  lits-rem:       994  v-fix:    0  time:  0.07 s
33.47/8.46	c lits-rem:       202  cl-subs:      536  v-elim:      0  v-fix:    0  time:  0.04 s
33.87/8.50	c vivif2 --  cl tried    97674 cl shrink      148 lits rem        185 time: 0.04
33.87/8.51	c vivif2 --  cl tried    10334 cl shrink     1187 lits rem       3143 time: 0.01
34.70/8.71	c asymm  cl-useful: 36/1365/97674 lits-rem:39 time: 0.21
34.70/8.72	c calculated reachability. Time: 0.00
34.70/8.72	c  N dy   204     46255      6154     97674     44335     10333    682701    213008      8.99   no data
34.70/8.72	c Following stats are for *FIRST FINISHED THREAD ONLY*
34.70/8.72	c num threads              : 4          
34.70/8.72	c restarts                 : 275        
34.70/8.72	c dynamic restarts         : 263        
34.70/8.72	c static restarts          : 12         
34.70/8.72	c full restarts            : 1          
34.70/8.72	c total simplify time      : 0.06       
34.70/8.72	c learnts DL2              : 0          
34.70/8.72	c learnts size 2           : 301378     
34.70/8.72	c learnts size 1           : 570         (7.31      % of vars)
34.70/8.72	c filedLit time            : 1.21        (14.15     % time)
34.70/8.72	c v-elim SatELite          : 952         (12.21     % vars)
34.70/8.72	c SatELite time            : 0.70        (8.20      % time)
34.70/8.72	c v-elim xor               : 0           (0.00      % vars)
34.70/8.72	c xor elim time            : 0.01        (0.12      % time)
34.70/8.72	c num binary xor trees     : 73         
34.70/8.72	c binxor trees' crown      : 73          (1.00      leafs/tree)
34.70/8.72	c bin xor find time        : 0.04       
34.70/8.72	c OTF clause improved      : 427         (0.01      clauses/conflict)
34.70/8.72	c OTF impr. size diff      : 492         (1.15       lits/clause)
34.70/8.72	c OTF cl watch-shrink      : 33678       (0.62      clauses/conflict)
34.70/8.72	c OTF cl watch-sh-lit      : 133679      (3.97       lits/clause)
34.70/8.72	c tried to recurMin cls    : 24251       (44.55      % of conflicts)
34.70/8.72	c updated cache            : 0           (0.00       lits/tried recurMin)
34.70/8.72	c unit cls recevied        : 24          (4.21      % of units)
34.70/8.72	c unit cls sent            : 10          (1.75      % of units)
34.70/8.72	c bin cls recevied         : 269800     
34.70/8.72	c bin cls sent             : 5806       
34.70/8.72	c clauses over max glue    : 0           (0.00      % of all clauses)
34.70/8.72	c conflicts                : 54434       (6355.62   / sec)
34.70/8.72	c decisions                : 122915      (2.94      % random)
34.70/8.72	c bogo-props               : 369654453   (43160248.75 / sec)
34.70/8.72	c conflict literals        : 2020065     (25.59     % deleted)
34.70/8.72	c Memory used              : 402.25      MB
34.70/8.72	c single-thread CPU time   : 8.56        s
34.70/8.72	c all-threads sum CPU time : 34.57       s
34.70/8.72	s SATISFIABLE
34.70/8.72	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 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-3367017-1305414980/watcher-3367017-1305414980 -o /tmp/evaluation-result-3367017-1305414980/solver-3367017-1305414980 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367017-1305414980.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: 7.55 7.94 7.82 6/320 15531
/proc/meminfo: memFree=27692404/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 653096828 52396032 352 33554432000 4194304 4580107 140734340710048 18446744073709551615 47005590058930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 12792 352 302 95 0 7774 0
[pid=15531/tid=15532] ppid=15529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 653096828 52396032 352 33554432000 4194304 4580107 140734340710048 18446744073709551615 47005590058519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653096828 52396032 352 33554432000 4194304 4580107 140734340710048 18446744073709551615 47005590058930 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653096828 52396032 352 33554432000 4194304 4580107 140734340710048 18446744073709551615 47005590058521 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.188801 s]
/proc/loadavg: 7.55 7.94 7.82 6/320 15531
/proc/meminfo: memFree=27692404/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=362532 CPUtime=0.72 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 13322 0 0 0 69 3 0 0 18 0 4 0 653096828 371232768 12834 33554432000 4194304 4580107 140734340710048 18446744073709551615 268272732343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 90633 13016 359 95 0 85615 0
[pid=15531/tid=15532] ppid=15529 vsize=362532 CPUtime=0.18 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 3342 0 0 0 18 0 0 0 18 0 4 0 653096828 371232768 13175 33554432000 4194304 4580107 140734340710048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=363628 CPUtime=0.26 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) D 15529 15531 15323 0 -1 4202560 3794 0 0 0 25 1 0 0 18 0 4 0 653096828 372355072 15038 33554432000 4194304 4580107 140734340710048 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=364696 CPUtime=0.35 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 3862 0 0 0 35 0 0 0 18 0 4 0 653096828 373448704 16816 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 362532

[startup+0.606854 s]
/proc/loadavg: 7.55 7.94 7.82 6/320 15531
/proc/meminfo: memFree=27692404/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=375048 CPUtime=2.37 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 24425 0 0 0 231 6 0 0 18 0 4 0 653096828 384049152 23937 33554432000 4194304 4580107 140734340710048 18446744073709551615 268272350241 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 93762 23971 366 95 0 88744 0
[pid=15531/tid=15532] ppid=15529 vsize=375048 CPUtime=0.59 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 8270 0 0 0 57 2 0 0 18 0 4 0 653096828 384049152 23991 33554432000 4194304 4580107 140734340710048 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=375048 CPUtime=0.58 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) S 15529 15531 15323 0 -1 4202560 5322 0 0 0 56 2 0 0 18 0 4 0 653096828 384049152 24002 33554432000 4194304 4580107 140734340710048 18446744073709551615 268272794094 0 0 4096 2 18446604470771321024 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=375048 CPUtime=0.59 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 4198 0 0 0 59 0 0 0 18 0 4 0 653096828 384049152 24020 33554432000 4194304 4580107 140734340710048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 375048

[startup+1.2299 s]
/proc/loadavg: 7.55 7.94 7.82 6/320 15531
/proc/meminfo: memFree=27692404/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=396020 CPUtime=4.85 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 38237 0 0 0 476 9 0 0 18 0 4 0 653096828 405524480 36148 33554432000 4194304 4580107 140734340710048 18446744073709551615 4422874 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 99005 36150 375 95 0 93987 0
[pid=15531/tid=15532] ppid=15529 vsize=396020 CPUtime=1.22 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 11567 0 0 0 119 3 0 0 19 0 4 0 653096828 405524480 36152 33554432000 4194304 4580107 140734340710048 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=396020 CPUtime=1.2 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 10744 0 0 0 116 4 0 0 18 0 4 0 653096828 405524480 36152 33554432000 4194304 4580107 140734340710048 18446744073709551615 4422874 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=396020 CPUtime=1.21 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 4612 0 0 0 121 0 0 0 19 0 4 0 653096828 405524480 36153 33554432000 4194304 4580107 140734340710048 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 396020

[startup+1.30073 s]
/proc/loadavg: 7.55 7.94 7.82 6/320 15531
/proc/meminfo: memFree=27692404/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=384760 CPUtime=5.14 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 39872 0 0 0 504 10 0 0 18 0 4 0 653096828 393994240 33823 33554432000 4194304 4580107 140734340710048 18446744073709551615 4305575 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 96190 33823 377 95 0 91172 0
[pid=15531/tid=15532] ppid=15529 vsize=384760 CPUtime=1.29 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 12054 0 0 0 126 3 0 0 19 0 4 0 653096828 393994240 33823 33554432000 4194304 4580107 140734340710048 18446744073709551615 4305623 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=384760 CPUtime=1.27 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 11310 0 0 0 123 4 0 0 18 0 4 0 653096828 393994240 33823 33554432000 4194304 4580107 140734340710048 18446744073709551615 4305188 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=384760 CPUtime=1.28 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 4652 0 0 0 128 0 0 0 19 0 4 0 653096828 393994240 33823 33554432000 4194304 4580107 140734340710048 18446744073709551615 4315861 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 384760

[startup+1.50069 s]
/proc/loadavg: 7.55 7.94 7.82 6/320 15531
/proc/meminfo: memFree=27692404/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=384760 CPUtime=5.94 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 41092 0 0 0 584 10 0 0 19 0 4 0 653096828 393994240 34508 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 96190 34508 378 95 0 91172 0
[pid=15531/tid=15532] ppid=15529 vsize=384760 CPUtime=1.49 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 12429 0 0 0 146 3 0 0 20 0 4 0 653096828 393994240 34508 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=384760 CPUtime=1.46 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 11713 0 0 0 142 4 0 0 19 0 4 0 653096828 393994240 34508 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=384760 CPUtime=1.48 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 4759 0 0 0 148 0 0 0 20 0 4 0 653096828 393994240 34508 33554432000 4194304 4580107 140734340710048 18446744073709551615 4315861 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 384760

[startup+3.10041 s]
/proc/loadavg: 7.58 7.94 7.82 9/324 15535
/proc/meminfo: memFree=27523016/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=406480 CPUtime=12.35 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 49742 0 0 0 1223 12 0 0 22 0 4 0 653096828 416235520 35588 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 101620 35588 379 95 0 96602 0
[pid=15531/tid=15532] ppid=15529 vsize=406480 CPUtime=3.1 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 14439 0 0 0 307 3 0 0 25 0 4 0 653096828 416235520 35598 33554432000 4194304 4580107 140734340710048 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=406480 CPUtime=3.05 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 13985 0 0 0 301 4 0 0 22 0 4 0 653096828 416235520 35598 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=406480 CPUtime=3.09 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 6883 0 0 0 308 1 0 0 25 0 4 0 653096828 416235520 35598 33554432000 4194304 4580107 140734340710048 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 406480

[startup+6.30084 s]
/proc/loadavg: 7.58 7.94 7.82 9/324 15535
/proc/meminfo: memFree=27432528/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=416528 CPUtime=25.09 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 67499 0 0 0 2492 17 0 0 25 0 4 0 653096828 426524672 48319 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 104132 48319 380 95 0 99114 0
[pid=15531/tid=15532] ppid=15529 vsize=416528 CPUtime=6.28 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 17384 0 0 0 624 4 0 0 25 0 4 0 653096828 426524672 48319 33554432000 4194304 4580107 140734340710048 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=416528 CPUtime=6.22 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 18377 0 0 0 617 5 0 0 25 0 4 0 653096828 426524672 48319 33554432000 4194304 4580107 140734340710048 18446744073709551615 4225048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=416528 CPUtime=6.28 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 12580 0 0 0 626 2 0 0 25 0 4 0 653096828 426524672 48319 33554432000 4194304 4580107 140734340710048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 416528

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

[startup+7.30067 s]
/proc/loadavg: 7.58 7.94 7.82 9/324 15535
/proc/meminfo: memFree=27387144/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=425880 CPUtime=29.08 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 80594 0 0 0 2889 19 0 0 25 0 4 0 653096828 436101120 57026 33554432000 4194304 4580107 140734340710048 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 106470 57026 380 95 0 101452 0
[pid=15531/tid=15532] ppid=15529 vsize=425880 CPUtime=7.28 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 20342 0 0 0 723 5 0 0 25 0 4 0 653096828 436101120 57026 33554432000 4194304 4580107 140734340710048 18446744073709551615 4484503 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=425880 CPUtime=7.21 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 19464 0 0 0 716 5 0 0 25 0 4 0 653096828 436101120 57027 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=425880 CPUtime=7.27 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 20135 0 0 0 725 2 0 0 25 0 4 0 653096828 436101120 57027 33554432000 4194304 4580107 140734340710048 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (KiB) 425880

[startup+8.10052 s]
/proc/loadavg: 7.69 7.96 7.82 9/324 15535
/proc/meminfo: memFree=27359000/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=411900 CPUtime=32.27 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 83104 0 0 0 3207 20 0 0 25 0 4 0 653096828 421785600 57549 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 102975 57549 380 95 0 97957 0
[pid=15531/tid=15532] ppid=15529 vsize=411900 CPUtime=8.08 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 20709 0 0 0 803 5 0 0 25 0 4 0 653096828 421785600 57549 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=411900 CPUtime=8 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 19779 0 0 0 795 5 0 0 25 0 4 0 653096828 421785600 57549 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=411900 CPUtime=8.08 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 21937 0 0 0 805 3 0 0 25 0 4 0 653096828 421785600 57549 33554432000 4194304 4580107 140734340710048 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 32.27
Current children cumulated vsize (KiB) 411900

[startup+8.50045 s]
/proc/loadavg: 7.69 7.96 7.82 9/324 15535
/proc/meminfo: memFree=27359000/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=411900 CPUtime=33.87 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 84011 0 0 0 3367 20 0 0 25 0 4 0 653096828 421785600 58103 33554432000 4194304 4580107 140734340710048 18446744073709551615 4502081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 102975 58104 380 95 0 97957 0
[pid=15531/tid=15532] ppid=15529 vsize=411900 CPUtime=8.48 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 20867 0 0 0 843 5 0 0 25 0 4 0 653096828 421785600 58104 33554432000 4194304 4580107 140734340710048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=411900 CPUtime=8.4 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 19941 0 0 0 835 5 0 0 25 0 4 0 653096828 421785600 58104 33554432000 4194304 4580107 140734340710048 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=411900 CPUtime=8.48 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 22099 0 0 0 845 3 0 0 25 0 4 0 653096828 421785600 58104 33554432000 4194304 4580107 140734340710048 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 33.87
Current children cumulated vsize (KiB) 411900

[startup+8.71241 s]
/proc/loadavg: 7.69 7.96 7.82 9/324 15535
/proc/meminfo: memFree=27333580/32950928 swapFree=60199044/67111528
[pid=15531] ppid=15529 vsize=411900 CPUtime=34.7 cores=1,3,5,7
/proc/15531/stat : 15531 (strangenight2-m) R 15529 15531 15323 0 -1 4202496 84774 0 0 0 3450 20 0 0 25 0 4 0 653096828 421785600 58662 33554432000 4194304 4580107 140734340710048 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15531/statm: 102975 58662 380 95 0 97957 0
[pid=15531/tid=15532] ppid=15529 vsize=411900 CPUtime=8.69 cores=1,3,5,7
/proc/15531/task/15532/stat : 15532 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 20961 0 0 0 864 5 0 0 25 0 4 0 653096828 421785600 58662 33554432000 4194304 4580107 140734340710048 18446744073709551615 47005590058521 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15531/tid=15533] ppid=15529 vsize=411900 CPUtime=8.6 cores=1,3,5,7
/proc/15531/task/15533/stat : 15533 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 20498 0 0 0 854 6 0 0 25 0 4 0 653096828 421785600 58662 33554432000 4194304 4580107 140734340710048 18446744073709551615 47005590033963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15531/tid=15534] ppid=15529 vsize=411900 CPUtime=8.69 cores=1,3,5,7
/proc/15531/task/15534/stat : 15534 (strangenight2-m) R 15529 15531 15323 0 -1 4202560 22165 0 0 0 866 3 0 0 25 0 4 0 653096828 421785600 58662 33554432000 4194304 4580107 140734340710048 18446744073709551615 47005590058512 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 34.7
Current children cumulated vsize (KiB) 411900

Child status: 10
Real time (s): 8.73925
CPU time (s): 34.7907
CPU user time (s): 34.5737
CPU system time (s): 0.216967
CPU usage (%): 398.097
Max. virtual memory (cumulated for all children) (KiB): 436196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.5737
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84782
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= 6405
involuntary context switches= 261

runsolver used 0.020996 second user time and 0.072988 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-15 01:16:20
IDJOB=3367017
IDBENCH=83445
IDSOLVER=1844
FILE ID=node122/3367017-1305414980
RUNJOBID= node122-1305413763-15342
PBS_JOBID= 13324540
Free space on /tmp= 73416 MiB

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

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=245650683

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27692684 kB
Buffers:        278648 kB
Cached:        3367552 kB
SwapCached:      50104 kB
Active:        1194252 kB
Inactive:      3854812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27692684 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           26032 kB
Writeback:           0 kB
AnonPages:     1363492 kB
Mapped:          14264 kB
Slab:           113788 kB
PageTables:      32448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 53004076 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= 73412 MiB
End job on node122 at 2011-05-15 01:16:29