Trace number 3394668

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 81.8885 11.2129

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.12283
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.03	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3394668-1306102932.cnf'
0.00/0.03	c -- header says num vars:           7794
0.00/0.03	c -- header says num clauses:      126826
0.64/0.11	c -- clauses added:            0 learnts,       126826 normals,            0 xors
0.64/0.11	c -- vars added       7794
0.64/0.11	c Parsing time:  0.05 s
0.64/0.11	c  N st     0         0      7794    106441     19625         0    745842         0   no data   no data
2.18/0.32	c asymm  cl-useful: 64/4331/106073 lits-rem:68 time: 0.19
4.50/0.67	c Flit:    45 Blit:      0 bXBeca:    0 bXProp:   72 Bins:      0 BRemL:      0 BRemN:      0 P: 13.4M T:  0.33
4.50/0.69	c Replacing       72 vars Replaced    68852 lits Time:     0.02 s 
5.49/0.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.49/0.82	c bin-w-bin subsume rem          378 bins  time:  0.00 s
5.49/0.83	c subs with bin:      996  lits-rem:       290  v-fix:    0  time:  0.01 s
5.49/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6229 time:  0.01 s
5.49/0.86	c Removed useless bin:      33  fixed:     0  props:   1.94M  time:  0.01 s
10.91/1.51	c lits-rem:         0  cl-subs:      111  v-elim:    708  v-fix:    0  time:  0.61 s
10.91/1.51	c Finding binary XORs  T:     0.01 s  found:       0
11.70/1.60	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
11.70/1.60	c calculated reachability. Time: 0.00
11.70/1.61	c Calc default polars -  time:   0.00 s pos:     266 undec:    1251 neg:    6277
11.70/1.61	c =========================================================================================
11.70/1.61	c types(t): F = full restart, N = normal restart
11.70/1.61	c types(t): S = simplification begin/end, E = solution found
11.70/1.61	c restart types(rt): st = static, dy = dynamic
11.70/1.61	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
11.70/1.61	c  B st     0         0      6543    105540     16768         0    739142         0   no data   no data
13.30/1.86	c  N dy    16      4050      6542    105540     16927      3828    739142    114613      8.19      8.66
15.74/2.19	c  N dy    41      8088      6495    105540     18056      7705    739142    253258      8.52      9.18
18.89/2.57	c  N dy    68     12571      6493    105540     18125     12077    739142    403546      8.82      9.30
19.69/2.67	c Finding binary XORs  T:     0.01 s  found:       1
22.08/2.94	c  N dy    89     16572      6471    103048     18387     15801    722656    519737      8.81     11.33
26.07/3.44	c  N dy   117     21452      6468    103048     18829     10998    722656    222897      9.04      9.65
28.47/3.72	c  F st   125     25004      6466    103048     18857     14494    722654    334089      8.88     10.20
28.47/3.74	c Replacing        1 vars Replaced        8 lits Time:     0.01 s 
29.27/3.82	c  N st   127     25631      6465    103043     19162     15090    722600    351923      8.88   no data
32.47/4.20	c  N dy   131     30000      6464    103043     19199     19392    722600    513193      8.88   no data
32.47/4.20	c  S st   131     30000      6464    103043     19199     19392    722600    513193      8.88   no data
33.30/4.35	c  S st   131     30501      6464    103043     19221     19870    722600    525962      8.88   no data
33.30/4.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
41.25/5.37	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 241374 BRemL: 215787 BRemN:     15 P: 25.2M T:  1.00
41.25/5.39	c blocked clauses removed:        0 vars:      0 tried:        6459 T: 0.00 s
41.25/5.39	c bin-w-bin subsume rem          121 bins  time:  0.00 s
42.09/5.45	c subs with bin:     1994  lits-rem:      4714  v-fix:    0  time:  0.04 s
42.09/5.47	c Subs w/ non-existent bins:      9 l-rem:     65 v-fix:     0 done:   2356 time:  0.02 s
42.09/5.48	c Removed useless bin:       3  fixed:     0  props:   0.51M  time:  0.01 s
42.97/5.59	c lits-rem:         0  cl-subs:     3571  v-elim:    245  v-fix:    0  time:  0.11 s
43.63/5.64	c subs with bin:      162  lits-rem:      2504  v-fix:    0  time:  0.04 s
44.44/5.71	c lits-rem:       291  cl-subs:      534  v-elim:      0  v-fix:    0  time:  0.05 s
46.03/5.92	c asymm  cl-useful: 18/1639/97861 lits-rem:18 time: 0.21
46.03/5.93	c calculated reachability. Time: 0.00
46.03/5.93	c  N dy   131     30501      6214     97861     41320      6873    685557    155098      8.88   no data
46.03/5.94	c Finding binary XORs  T:     0.01 s  found:       0
49.24/6.35	c  N dy   158     34591      6213     97861     41461     10916    685557    305552      8.93      9.43
52.41/6.78	c  N dy   181     38759      6201     97861    234578     15062    685557    843224      8.92      9.68
54.81/7.03	c Finding binary XORs  T:     0.01 s  found:       0
56.42/7.23	c  N dy   193     42807      6200     97849    233571     10095    685326    586158      8.83      9.37
58.81/7.50	c  S st   208     45751      6200     97849    235286     13012    685326    677967      8.81      6.32
59.65/7.65	c  S st   208     46253      6199     97849    235286     13513    685326    690820      8.81   no data
59.65/7.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.00/8.44	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   6619 BRemL: 197544 BRemN:      1 P: 21.6M T:  0.79
66.00/8.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.00/8.47	c bin-w-bin subsume rem         1235 bins  time:  0.00 s
66.00/8.49	c subs with bin:      504  lits-rem:       202  v-fix:    0  time:  0.02 s
66.79/8.51	c Subs w/ non-existent bins:      0 l-rem:     76 v-fix:     0 done:   4058 time:  0.02 s
66.79/8.52	c Removed useless bin:       2  fixed:     0  props:   0.49M  time:  0.01 s
66.79/8.56	c lits-rem:         0  cl-subs:      157  v-elim:     65  v-fix:    0  time:  0.05 s
67.59/8.66	c subs with bin:      122  lits-rem:       825  v-fix:    0  time:  0.09 s
68.42/8.75	c lits-rem:       242  cl-subs:      487  v-elim:      0  v-fix:    0  time:  0.05 s
68.42/8.79	c vivif2 --  cl tried    97178 cl shrink      194 lits rem        225 time: 0.04
68.42/8.80	c vivif2 --  cl tried    10980 cl shrink     1654 lits rem       6706 time: 0.02
70.76/9.07	c asymm  cl-useful: 20/1382/97178 lits-rem:21 time: 0.27
70.76/9.08	c calculated reachability. Time: 0.00
70.76/9.08	c  N dy   208     46253      6129     97178     41325     10979    680753    231105      8.81   no data
70.76/9.09	c Finding binary XORs  T:     0.01 s  found:       0
74.76/9.54	c Finding binary XORs  T:     0.01 s  found:       0
74.76/9.58	c  N dy   225     50330      6116     97167     54825     14983    680542    461953      8.75      9.27
81.67/11.19	c Following stats are for *FIRST FINISHED THREAD ONLY*
81.67/11.19	c num threads              : 8          
81.67/11.19	c restarts                 : 316        
81.67/11.19	c dynamic restarts         : 304        
81.67/11.19	c static restarts          : 12         
81.67/11.19	c full restarts            : 1          
81.67/11.19	c total simplify time      : 0.07       
81.67/11.19	c learnts DL2              : 0          
81.67/11.19	c learnts size 2           : 288581     
81.67/11.19	c learnts size 1           : 587         (7.53      % of vars)
81.67/11.19	c filedLit time            : 1.26        (11.50     % time)
81.67/11.19	c v-elim SatELite          : 982         (12.60     % vars)
81.67/11.19	c SatELite time            : 0.73        (6.66      % time)
81.67/11.19	c v-elim xor               : 0           (0.00      % vars)
81.67/11.19	c xor elim time            : 0.01        (0.10      % time)
81.67/11.19	c num binary xor trees     : 73         
81.67/11.19	c binxor trees' crown      : 73          (1.00      leafs/tree)
81.67/11.19	c bin xor find time        : 0.05       
81.67/11.19	c OTF clause improved      : 423         (0.01      clauses/conflict)
81.67/11.19	c OTF impr. size diff      : 508         (1.20       lits/clause)
81.67/11.19	c OTF cl watch-shrink      : 38210       (0.63      clauses/conflict)
81.67/11.19	c OTF cl watch-sh-lit      : 152042      (3.98       lits/clause)
81.67/11.19	c tried to recurMin cls    : 26867       (44.28      % of conflicts)
81.67/11.19	c updated cache            : 0           (0.00       lits/tried recurMin)
81.67/11.19	c unit cls recevied        : 35          (5.96      % of units)
81.67/11.19	c unit cls sent            : 11          (1.87      % of units)
81.67/11.19	c bin cls recevied         : 255660     
81.67/11.19	c bin cls sent             : 8053       
81.67/11.19	c clauses over max glue    : 0           (0.00      % of all clauses)
81.67/11.19	c conflicts                : 60674       (5529.73   / sec)
81.67/11.19	c decisions                : 140922      (2.64      % random)
81.67/11.19	c bogo-props               : 440910171   (40183819.74 / sec)
81.67/11.19	c conflict literals        : 2240363     (25.70     % deleted)
81.67/11.19	c Memory used              : 825.86      MB
81.67/11.19	c single-thread CPU time   : 10.97       s
81.67/11.19	c all-threads sum CPU time : 81.28       s
81.67/11.19	s SATISFIABLE
81.67/11.19	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-3394668-1306102932/watcher-3394668-1306102932 -o /tmp/evaluation-result-3394668-1306102932/solver-3394668-1306102932 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394668-1306102932.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.02 1.28 2/462 5456
/proc/meminfo: memFree=12602860/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=51168 CPUtime=0 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 800523655 52396032 347 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458122225 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/5456/statm: 12792 347 299 95 0 7774 0
[pid=5456/tid=5457] ppid=5454 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 800523655 94355456 352 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109956008 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 800523655 94355456 352 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109956022 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 800523655 94355456 352 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109956018 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 800523655 94355456 352 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109956012 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=92144 CPUtime=0 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 800523655 94355456 352 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109956012 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 800523655 94355456 352 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109956012 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=92144 CPUtime=0 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 800523655 94355456 352 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.046287 s]
/proc/loadavg: 0.00 0.02 1.28 2/462 5456
/proc/meminfo: memFree=12602860/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=553204 CPUtime=0.26 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) S 5454 5456 5430 0 -1 4202496 4175 0 0 0 23 3 0 0 17 0 8 0 800523655 566480896 4084 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170862 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5456/statm: 138301 4324 336 95 0 133283 0
[pid=5456/tid=5457] ppid=5454 vsize=553336 CPUtime=0.03 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 518 0 0 0 3 0 0 0 18 0 8 0 800523655 566616064 4482 33554432000 4194304 4580107 140734333130816 18446744073709551615 4511029 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=553512 CPUtime=0.03 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 498 0 0 0 3 0 0 0 17 0 8 0 800523655 566796288 4658 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=553512 CPUtime=0.03 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 623 0 0 0 3 0 0 0 18 0 8 0 800523655 566796288 4671 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=553512 CPUtime=0.03 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 521 0 0 0 3 0 0 0 17 0 8 0 800523655 566796288 4671 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170862 0 0 4096 2 18446604449670715584 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=553644 CPUtime=0.02 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 567 0 0 0 2 0 0 0 18 0 8 0 800523655 566931456 4786 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170862 0 0 4096 2 18446604449670715584 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=553644 CPUtime=0.03 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 520 0 0 0 3 0 0 0 17 0 8 0 800523655 566931456 4866 33554432000 4194304 4580107 140734333130816 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=553844 CPUtime=0 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 552 0 0 0 0 0 0 0 18 0 8 0 800523655 567136256 4883 33554432000 4194304 4580107 140734333130816 18446744073709551615 252457763016 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 553204

[startup+0.106305 s]
/proc/loadavg: 0.00 0.02 1.28 2/462 5456
/proc/meminfo: memFree=12602860/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=640656 CPUtime=0.64 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 20734 0 0 0 53 11 0 0 17 0 8 0 800523655 656031744 20345 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170862 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5456/statm: 160164 20435 338 95 0 155146 0
[pid=5456/tid=5457] ppid=5454 vsize=640656 CPUtime=0.08 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 2630 0 0 0 7 1 0 0 17 0 8 0 800523655 656031744 20448 33554432000 4194304 4580107 140734333130816 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=640656 CPUtime=0.08 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 2512 0 0 0 7 1 0 0 17 0 8 0 800523655 656031744 20481 33554432000 4194304 4580107 140734333130816 18446744073709551615 4512104 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=640656 CPUtime=0.07 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 2832 0 0 0 6 1 0 0 18 0 8 0 800523655 656031744 20491 33554432000 4194304 4580107 140734333130816 18446744073709551615 252457762571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=640656 CPUtime=0.08 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 2360 0 0 0 7 1 0 0 17 0 8 0 800523655 656031744 20519 33554432000 4194304 4580107 140734333130816 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=640656 CPUtime=0.07 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 2756 0 0 0 6 1 0 0 18 0 8 0 800523655 656031744 20711 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458123690 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=640656 CPUtime=0.08 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) D 5454 5456 5430 0 -1 4202560 2473 0 0 0 7 1 0 0 17 0 8 0 800523655 656031744 20711 33554432000 4194304 4580107 140734333130816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=640836 CPUtime=0.04 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) D 5454 5456 5430 0 -1 4202560 2376 0 0 0 3 1 0 0 17 0 8 0 800523655 656216064 20718 33554432000 4194304 4580107 140734333130816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 640656

[startup+0.301192 s]
/proc/loadavg: 0.00 0.02 1.28 2/462 5456
/proc/meminfo: memFree=12602860/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=647372 CPUtime=2.18 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 27970 0 0 0 204 14 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5456/statm: 161843 27581 360 95 0 156825 0
[pid=5456/tid=5457] ppid=5454 vsize=647372 CPUtime=0.27 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 3410 0 0 0 26 1 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=647372 CPUtime=0.27 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 3459 0 0 0 26 1 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=647372 CPUtime=0.26 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 3536 0 0 0 25 1 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=647372 CPUtime=0.27 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 3247 0 0 0 26 1 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294305 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=647372 CPUtime=0.26 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 3495 0 0 0 24 2 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=647372 CPUtime=0.27 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 3370 0 0 0 25 2 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=647372 CPUtime=0.23 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 3486 0 0 0 22 1 0 0 18 0 8 0 800523655 662908928 27581 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 647372

[startup+0.70112 s]
/proc/loadavg: 0.00 0.02 1.28 2/462 5456
/proc/meminfo: memFree=12602860/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=667820 CPUtime=5.26 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 43913 0 0 0 504 22 0 0 18 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 252457726661 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5456/statm: 166955 43524 371 95 0 161937 0
[pid=5456/tid=5457] ppid=5454 vsize=667820 CPUtime=0.66 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) D 5454 5456 5430 0 -1 4202560 5449 0 0 0 63 3 0 0 18 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=667820 CPUtime=0.66 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 4857 0 0 0 64 2 0 0 17 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170862 0 0 4096 2 18446604449670715584 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=667820 CPUtime=0.65 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 9412 0 0 0 63 2 0 0 18 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 252457721863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=667820 CPUtime=0.65 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) D 5454 5456 5430 0 -1 4202560 4640 0 0 0 63 2 0 0 18 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=667820 CPUtime=0.65 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) D 5454 5456 5430 0 -1 4202560 5123 0 0 0 62 3 0 0 18 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=667820 CPUtime=0.66 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) D 5454 5456 5430 0 -1 4202560 4985 0 0 0 63 3 0 0 18 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=667820 CPUtime=0.62 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 3982 0 0 0 60 2 0 0 18 0 8 0 800523655 683847680 43524 33554432000 4194304 4580107 140734333130816 18446744073709551615 252458170862 0 0 4096 2 18446604449670715584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 667820

[startup+1.50097 s]
/proc/loadavg: 0.00 0.02 1.28 10/470 5464
/proc/meminfo: memFree=12282008/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=706872 CPUtime=10.91 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 85494 0 0 0 1051 40 0 0 18 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4451708 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5456/statm: 176718 72800 378 95 0 171700 0
[pid=5456/tid=5457] ppid=5454 vsize=706872 CPUtime=1.36 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 11499 0 0 0 130 6 0 0 18 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=706872 CPUtime=1.36 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 11411 0 0 0 131 5 0 0 18 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4497290 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=706872 CPUtime=1.41 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 11989 0 0 0 138 3 0 0 19 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=706872 CPUtime=1.35 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 11116 0 0 0 130 5 0 0 18 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4497290 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=706872 CPUtime=1.35 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 11682 0 0 0 128 7 0 0 18 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4305209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=706872 CPUtime=1.35 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 11484 0 0 0 130 5 0 0 18 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4497240 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=706872 CPUtime=1.35 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 4353 0 0 0 133 2 0 0 18 0 8 0 800523655 723836928 72800 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.91
Current children cumulated vsize (KiB) 706872

[startup+3.10067 s]
/proc/loadavg: 0.00 0.02 1.28 9/470 5465
/proc/meminfo: memFree=12302468/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=712500 CPUtime=23.69 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 94806 0 0 0 2326 43 0 0 21 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5456/statm: 178125 78984 379 95 0 173107 0
[pid=5456/tid=5457] ppid=5454 vsize=712500 CPUtime=2.96 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 12242 0 0 0 290 6 0 0 20 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4325152 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=712500 CPUtime=2.96 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 12456 0 0 0 291 5 0 0 21 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=712500 CPUtime=3 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 12883 0 0 0 297 3 0 0 21 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=712500 CPUtime=2.96 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 12210 0 0 0 290 6 0 0 20 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=712500 CPUtime=2.95 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 12757 0 0 0 288 7 0 0 21 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=712500 CPUtime=2.94 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 12587 0 0 0 289 5 0 0 20 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4269770 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=712500 CPUtime=2.94 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 6571 0 0 0 292 2 0 0 20 0 8 0 800523655 729600000 78984 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 712500

[startup+6.30108 s]
/proc/loadavg: 0.64 0.15 1.32 9/470 5465
/proc/meminfo: memFree=12268632/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=757820 CPUtime=49.24 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 128201 0 0 0 4874 50 0 0 18 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294462 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5456/statm: 189455 86566 388 95 0 184437 0
[pid=5456/tid=5457] ppid=5454 vsize=757820 CPUtime=6.15 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 16089 0 0 0 609 6 0 0 25 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=757820 CPUtime=6.15 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 17690 0 0 0 609 6 0 0 25 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=757820 CPUtime=6.21 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 16975 0 0 0 616 5 0 0 25 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=757820 CPUtime=6.15 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 16208 0 0 0 609 6 0 0 25 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=757820 CPUtime=6.15 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 16573 0 0 0 607 8 0 0 25 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=757820 CPUtime=6.14 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 16461 0 0 0 608 6 0 0 25 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4320946 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=757820 CPUtime=6.15 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 9453 0 0 0 612 3 0 0 25 0 8 0 800523655 776007680 86566 33554432000 4194304 4580107 140734333130816 18446744073709551615 4305188 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.24
Current children cumulated vsize (KiB) 757820

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

[startup+9.50048 s]
/proc/loadavg: 1.23 0.28 1.35 9/470 5465
/proc/meminfo: memFree=12199936/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=750820 CPUtime=74.76 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) R 5454 5456 5430 0 -1 4202496 157536 0 0 0 7419 57 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5456/statm: 187705 102572 380 95 0 182687 0
[pid=5456/tid=5457] ppid=5454 vsize=750820 CPUtime=9.35 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 21073 0 0 0 927 8 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=750820 CPUtime=9.35 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20073 0 0 0 928 7 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 4497312 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=750820 CPUtime=9.39 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20265 0 0 0 934 5 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 4319624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=750820 CPUtime=9.35 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 19413 0 0 0 929 6 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 4413206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=750820 CPUtime=9.35 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20679 0 0 0 926 9 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=750820 CPUtime=9.34 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20615 0 0 0 927 7 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=750820 CPUtime=9.35 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 13859 0 0 0 931 4 0 0 25 0 8 0 800523655 768839680 102572 33554432000 4194304 4580107 140734333130816 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 74.76
Current children cumulated vsize (KiB) 750820

[startup+10.3004 s]
/proc/loadavg: 1.23 0.28 1.35 9/470 5465
/proc/meminfo: memFree=12186716/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=835884 CPUtime=79.64 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) S 5454 5456 5430 0 -1 4202496 165096 0 0 0 7906 58 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5456/statm: 208971 109584 383 95 0 203953 0
[pid=5456/tid=5457] ppid=5454 vsize=835884 CPUtime=9.86 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 21231 0 0 0 978 8 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=835884 CPUtime=10.15 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20918 0 0 0 1008 7 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=835884 CPUtime=9.88 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 20541 0 0 0 983 5 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 7 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=835884 CPUtime=9.85 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 19978 0 0 0 979 6 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=835884 CPUtime=10.15 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 21474 0 0 0 1006 9 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=835884 CPUtime=9.85 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 20658 0 0 0 978 7 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=835884 CPUtime=10.15 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 18596 0 0 0 1010 5 0 0 25 0 8 0 800523655 855945216 109584 33554432000 4194304 4580107 140734333130816 18446744073709551615 4427264 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 79.64
Current children cumulated vsize (KiB) 835884

[startup+10.7013 s]
/proc/loadavg: 1.23 0.28 1.35 9/470 5465
/proc/meminfo: memFree=12186716/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=845680 CPUtime=80.84 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) S 5454 5456 5430 0 -1 4202496 168165 0 0 0 8026 58 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5456/statm: 211420 111637 380 95 0 206402 0
[pid=5456/tid=5457] ppid=5454 vsize=845680 CPUtime=9.86 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 21231 0 0 0 978 8 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=845680 CPUtime=10.55 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20918 0 0 0 1048 7 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109931204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=845680 CPUtime=9.88 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 20541 0 0 0 983 5 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 7 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=845680 CPUtime=9.85 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 19978 0 0 0 979 6 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=845680 CPUtime=10.55 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 22470 0 0 0 1046 9 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=845680 CPUtime=9.85 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 20658 0 0 0 978 7 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=845680 CPUtime=10.55 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20669 0 0 0 1050 5 0 0 25 0 8 0 800523655 865976320 111637 33554432000 4194304 4580107 140734333130816 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 80.84
Current children cumulated vsize (KiB) 845680

[startup+11.1012 s]
/proc/loadavg: 1.23 0.28 1.35 3/470 5465
/proc/meminfo: memFree=12153236/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=845680 CPUtime=81.67 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) S 5454 5456 5430 0 -1 4202496 168294 0 0 0 8109 58 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5456/statm: 211420 111766 380 95 0 206402 0
[pid=5456/tid=5457] ppid=5454 vsize=845680 CPUtime=9.86 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 21231 0 0 0 978 8 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 4 0 0 0
[pid=5456/tid=5458] ppid=5454 vsize=845680 CPUtime=10.95 cores=0-7
/proc/5456/task/5458/stat : 5458 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20918 0 0 0 1088 7 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109931204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5456/tid=5459] ppid=5454 vsize=845680 CPUtime=9.88 cores=0-7
/proc/5456/task/5459/stat : 5459 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 20541 0 0 0 983 5 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 7 0 0 0
[pid=5456/tid=5460] ppid=5454 vsize=845680 CPUtime=9.85 cores=0-7
/proc/5456/task/5460/stat : 5460 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 19978 0 0 0 979 6 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 1 0 0 0
[pid=5456/tid=5461] ppid=5454 vsize=845680 CPUtime=10.58 cores=0-7
/proc/5456/task/5461/stat : 5461 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 22470 0 0 0 1049 9 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 6 0 0 0
[pid=5456/tid=5462] ppid=5454 vsize=845680 CPUtime=9.85 cores=0-7
/proc/5456/task/5462/stat : 5462 (strangenight2-m) S 5454 5456 5430 0 -1 4202560 20658 0 0 0 978 7 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 47470109955636 0 0 4096 2 18446604449670715584 0 0 -1 3 0 0 0
[pid=5456/tid=5463] ppid=5454 vsize=845680 CPUtime=10.95 cores=0-7
/proc/5456/task/5463/stat : 5463 (strangenight2-m) R 5454 5456 5430 0 -1 4202560 20798 0 0 0 1090 5 0 0 25 0 8 0 800523655 865976320 111766 33554432000 4194304 4580107 140734333130816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 81.67
Current children cumulated vsize (KiB) 845680

[startup+11.2012 s]
/proc/loadavg: 1.23 0.28 1.35 3/470 5465
/proc/meminfo: memFree=12153236/32951124 swapFree=57414376/67111528
[pid=5456] ppid=5454 vsize=0 CPUtime=81.87 cores=0-7
/proc/5456/stat : 5456 (strangenight2-m) Z 5454 5456 5430 0 -1 4203548 168303 0 0 0 8128 59 0 0 18 0 2 0 800523655 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5456/statm: 0 0 0 0 0 0 0
[pid=5456/tid=5457] ppid=5454 vsize=0 CPUtime=9.87 cores=0-7
/proc/5456/task/5457/stat : 5457 (strangenight2-m) R 5454 5456 5430 0 -1 4203588 21231 0 0 0 978 9 0 0 18 0 2 0 800523655 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 81.87
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 11.2129
CPU time (s): 81.8885
CPU user time (s): 81.2816
CPU system time (s): 0.606907
CPU usage (%): 730.304
Max. virtual memory (cumulated for all children) (KiB): 845680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.2816
system time used= 0.606907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168303
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= 42455
involuntary context switches= 335

runsolver used 0.050992 second user time and 0.143978 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-23 00:22:12
IDJOB=3394668
IDBENCH=83445
IDSOLVER=1878
FILE ID=node111/3394668-1306102932
RUNJOBID= node111-1306102931-5444
PBS_JOBID= 13388005
Free space on /tmp= 73340 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-3394668-1306102932/watcher-3394668-1306102932 -o /tmp/evaluation-result-3394668-1306102932/solver-3394668-1306102932 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394668-1306102932.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1118060676

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12603264 kB
Buffers:        336176 kB
Cached:       11205056 kB
SwapCached:      19180 kB
Active:       10292720 kB
Inactive:      9765852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12603264 kB
SwapTotal:    67111528 kB
SwapFree:     57414376 kB
Dirty:            9320 kB
Writeback:           0 kB
AnonPages:     8507740 kB
Mapped:          26784 kB
Slab:           155516 kB
PageTables:      66584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149060120 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= 73336 MiB
End job on node111 at 2011-05-23 00:22:23