Trace number 3394674

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 2172.3 295.039

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394674-1306102932/watcher-3394674-1306102932 -o /tmp/evaluation-result-3394674-1306102932/solver-3394674-1306102932 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394674-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 1.07 4.18 2/565 17391
/proc/meminfo: memFree=26620072/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=92144 CPUtime=0.05 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) R 17388 17391 17364 0 -1 4202496 419 0 0 0 5 0 0 0 21 0 8 0 721892052 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016215 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 23036 359 302 95 0 18018 0
[pid=17391/tid=17392] ppid=17388 vsize=92144 CPUtime=0.01 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=92144 CPUtime=0.01 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=92144 CPUtime=0.01 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=92144 CPUtime=0 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016217 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=92144 CPUtime=0 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=92144 CPUtime=0.01 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=92144 CPUtime=0 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016620 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.036421 s]
/proc/loadavg: 0.00 1.07 4.18 2/565 17391
/proc/meminfo: memFree=26620072/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=92144 CPUtime=0.2 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) R 17388 17391 17364 0 -1 4202496 419 0 0 0 20 0 0 0 21 0 8 0 721892052 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016211 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 23036 359 302 95 0 18018 0
[pid=17391/tid=17392] ppid=17388 vsize=92144 CPUtime=0.03 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016221 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=92144 CPUtime=0.02 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=92144 CPUtime=0.02 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=92144 CPUtime=0.01 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016208 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=92144 CPUtime=0.02 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016208 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=92144 CPUtime=0.03 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=92144 CPUtime=0 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 721892053 94355456 359 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016620 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 92144

[startup+0.100417 s]
/proc/loadavg: 0.00 1.07 4.18 2/565 17391
/proc/meminfo: memFree=26620072/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=494184 CPUtime=0.64 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 12139 0 0 0 57 7 0 0 18 0 8 0 721892052 506044416 12017 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 143365 12029 338 95 0 138347 0
[pid=17391/tid=17392] ppid=17388 vsize=559720 CPUtime=0.08 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 1405 0 0 0 8 0 0 0 18 0 8 0 721892053 573153280 12032 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794094 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=559720 CPUtime=0.07 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 1346 0 0 0 7 0 0 0 17 0 8 0 721892053 573153280 12032 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794094 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=559720 CPUtime=0.08 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1405 0 0 0 7 1 0 0 18 0 8 0 721892053 573153280 12074 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=559720 CPUtime=0.06 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1507 0 0 0 6 0 0 0 17 0 8 0 721892053 573153280 12091 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272386151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=559720 CPUtime=0.07 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 1602 0 0 0 7 0 0 0 18 0 8 0 721892053 573153280 12095 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=559720 CPUtime=0.08 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 1600 0 0 0 7 1 0 0 18 0 8 0 721892053 573153280 12121 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794094 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=559720 CPUtime=0.03 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 1462 0 0 0 3 0 0 0 17 0 8 0 721892053 573153280 12160 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 494184

[startup+0.313482 s]
/proc/loadavg: 0.00 1.07 4.18 2/565 17391
/proc/meminfo: memFree=26620072/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=954744 CPUtime=2.17 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) R 17388 17391 17364 0 -1 4202496 74974 0 0 0 189 28 0 0 18 0 8 0 721892052 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 238686 73113 338 95 0 233668 0
[pid=17391/tid=17392] ppid=17388 vsize=954744 CPUtime=0.26 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) D 17388 17391 17364 0 -1 4202560 9204 0 0 0 24 2 0 0 18 0 8 0 721892053 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=954744 CPUtime=0.27 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) D 17388 17391 17364 0 -1 4202560 9104 0 0 0 24 3 0 0 18 0 8 0 721892053 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=954744 CPUtime=0.27 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) D 17388 17391 17364 0 -1 4202560 8858 0 0 0 23 4 0 0 18 0 8 0 721892053 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=954744 CPUtime=0.26 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) D 17388 17391 17364 0 -1 4202560 9459 0 0 0 22 4 0 0 18 0 8 0 721892053 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272385803 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=954744 CPUtime=0.27 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) D 17388 17391 17364 0 -1 4202560 9349 0 0 0 24 3 0 0 18 0 8 0 721892053 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 4299055 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=954744 CPUtime=0.27 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) D 17388 17391 17364 0 -1 4202560 9606 0 0 0 24 3 0 0 18 0 8 0 721892053 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 4299055 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=954744 CPUtime=0.22 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) D 17388 17391 17364 0 -1 4202560 9370 0 0 0 19 3 0 0 18 0 8 0 721892053 977657856 73113 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 954744

[startup+0.735829 s]
/proc/loadavg: 0.00 1.07 4.18 2/565 17391
/proc/meminfo: memFree=26620072/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=963976 CPUtime=5.46 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) R 17388 17391 17364 0 -1 4202496 94093 0 0 0 513 33 0 0 18 0 8 0 721892052 987111424 92231 33554432000 4194304 4580107 140734542198608 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 240994 92231 360 95 0 235976 0
[pid=17391/tid=17392] ppid=17388 vsize=963976 CPUtime=0.67 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 11645 0 0 0 65 2 0 0 18 0 8 0 721892053 987111424 92232 33554432000 4194304 4580107 140734542198608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=963976 CPUtime=0.67 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 11826 0 0 0 64 3 0 0 18 0 8 0 721892053 987111424 92232 33554432000 4194304 4580107 140734542198608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=963976 CPUtime=0.69 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 11280 0 0 0 64 5 0 0 18 0 8 0 721892053 987111424 92232 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=963976 CPUtime=0.67 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 11773 0 0 0 62 5 0 0 18 0 8 0 721892053 987111424 92233 33554432000 4194304 4580107 140734542198608 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=963976 CPUtime=0.68 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 11465 0 0 0 64 4 0 0 18 0 8 0 721892053 987111424 92233 33554432000 4194304 4580107 140734542198608 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=963976 CPUtime=0.68 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 11378 0 0 0 65 3 0 0 18 0 8 0 721892053 987111424 92233 33554432000 4194304 4580107 140734542198608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=963976 CPUtime=0.64 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 12474 0 0 0 60 4 0 0 18 0 8 0 721892053 987111424 92234 33554432000 4194304 4580107 140734542198608 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 963976

[startup+1.50117 s]
/proc/loadavg: 0.00 1.07 4.18 9/573 17399
/proc/meminfo: memFree=26193328/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=976100 CPUtime=11.52 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) R 17388 17391 17364 0 -1 4202496 111121 0 0 0 1112 40 0 0 19 0 8 0 721892052 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 244025 109259 360 95 0 239007 0
[pid=17391/tid=17392] ppid=17388 vsize=976100 CPUtime=1.43 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 13802 0 0 0 140 3 0 0 19 0 8 0 721892053 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=976100 CPUtime=1.43 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 14005 0 0 0 139 4 0 0 19 0 8 0 721892053 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=976100 CPUtime=1.44 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 13227 0 0 0 138 6 0 0 19 0 8 0 721892053 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=976100 CPUtime=1.43 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 13878 0 0 0 137 6 0 0 18 0 8 0 721892053 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=976100 CPUtime=1.44 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 13621 0 0 0 139 5 0 0 19 0 8 0 721892053 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=976100 CPUtime=1.45 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 13515 0 0 0 141 4 0 0 18 0 8 0 721892053 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=976100 CPUtime=1.38 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 14812 0 0 0 133 5 0 0 19 0 8 0 721892053 999526400 109259 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 976100

[startup+3.10089 s]
/proc/loadavg: 0.64 1.18 4.20 7/573 17399
/proc/meminfo: memFree=26082228/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=1572312 CPUtime=22.76 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) R 17388 17391 17364 0 -1 4202496 285533 0 0 0 2187 89 0 0 18 0 8 0 721892052 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 393078 283670 371 95 0 388060 0
[pid=17391/tid=17392] ppid=17388 vsize=1572312 CPUtime=2.84 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 38661 0 0 0 273 11 0 0 18 0 8 0 721892053 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=1572312 CPUtime=2.82 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 38806 0 0 0 273 9 0 0 18 0 8 0 721892053 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=1572312 CPUtime=2.83 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 37963 0 0 0 270 13 0 0 18 0 8 0 721892053 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=1572312 CPUtime=2.83 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 38834 0 0 0 270 13 0 0 18 0 8 0 721892053 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=1572312 CPUtime=2.85 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 38182 0 0 0 272 13 0 0 18 0 8 0 721892053 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=1572312 CPUtime=2.83 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 38397 0 0 0 272 11 0 0 18 0 8 0 721892053 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=1572312 CPUtime=2.87 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 15836 0 0 0 281 6 0 0 18 0 8 0 721892053 1610047488 283670 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.76
Current children cumulated vsize (KiB) 1572312

[startup+6.30132 s]
/proc/loadavg: 0.64 1.18 4.20 9/573 17399
/proc/meminfo: memFree=25404568/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=1649440 CPUtime=48.28 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) R 17388 17391 17364 0 -1 4202496 306569 0 0 0 4735 93 0 0 25 0 8 0 721892052 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 412360 303870 375 95 0 407342 0
[pid=17391/tid=17392] ppid=17388 vsize=1649440 CPUtime=6.03 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 41473 0 0 0 592 11 0 0 25 0 8 0 721892053 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=1649440 CPUtime=5.96 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 41680 0 0 0 586 10 0 0 25 0 8 0 721892053 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=1649440 CPUtime=6.03 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 40837 0 0 0 590 13 0 0 25 0 8 0 721892053 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=1649440 CPUtime=6.04 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 41679 0 0 0 590 14 0 0 25 0 8 0 721892053 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=1649440 CPUtime=6.05 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 41023 0 0 0 592 13 0 0 25 0 8 0 721892053 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=1649440 CPUtime=6.03 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 41209 0 0 0 591 12 0 0 25 0 8 0 721892053 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=1649440 CPUtime=6.06 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 16973 0 0 0 600 6 0 0 25 0 8 0 721892053 1689026560 303870 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0

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

[pid=17391] ppid=17388 vsize=2088212 CPUtime=2146.89 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 692200 0 0 0 214480 209 0 0 25 0 8 0 721892052 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 522053 416404 391 95 0 517035 0
[pid=17391/tid=17392] ppid=17388 vsize=2088212 CPUtime=280.44 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 82814 0 0 0 28022 22 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=2088212 CPUtime=276.95 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 85737 0 0 0 27670 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451708 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=2088212 CPUtime=257.57 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 83740 0 0 0 25730 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=2088212 CPUtime=282.03 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 87453 0 0 0 28173 30 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583682991812 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 81222 0 0 0 25733 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=2088212 CPUtime=262.34 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 96043 0 0 0 26207 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 105174 0 0 0 25725 33 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2146.89
Current children cumulated vsize (KiB) 2088212

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

[startup+288.101 s]
/proc/loadavg: 6.07 4.97 5.07 3/573 17407
/proc/meminfo: memFree=24952352/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=2088212 CPUtime=2158.49 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 692200 0 0 0 215640 209 0 0 25 0 8 0 721892052 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 522053 416404 391 95 0 517035 0
[pid=17391/tid=17392] ppid=17388 vsize=2088212 CPUtime=280.44 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 82814 0 0 0 28022 22 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=2088212 CPUtime=282.75 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 85737 0 0 0 28250 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=2088212 CPUtime=257.57 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 83740 0 0 0 25730 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=2088212 CPUtime=287.83 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 87453 0 0 0 28753 30 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583682991659 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 81222 0 0 0 25733 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=2088212 CPUtime=262.34 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 96043 0 0 0 26207 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 105174 0 0 0 25725 33 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2158.49
Current children cumulated vsize (KiB) 2088212

[startup+291.301 s]
/proc/loadavg: 6.07 4.97 5.07 3/573 17407
/proc/meminfo: memFree=24952340/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=2088212 CPUtime=2164.89 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 692200 0 0 0 216280 209 0 0 25 0 8 0 721892052 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 522053 416404 391 95 0 517035 0
[pid=17391/tid=17392] ppid=17388 vsize=2088212 CPUtime=280.44 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 82814 0 0 0 28022 22 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=2088212 CPUtime=285.95 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 85737 0 0 0 28570 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=2088212 CPUtime=257.57 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 83740 0 0 0 25730 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=2088212 CPUtime=291.03 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 87453 0 0 0 29073 30 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583682991812 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 81222 0 0 0 25733 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=2088212 CPUtime=262.34 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 96043 0 0 0 26207 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 105174 0 0 0 25725 33 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2164.89
Current children cumulated vsize (KiB) 2088212

[startup+292.9 s]
/proc/loadavg: 5.75 4.92 5.05 3/573 17407
/proc/meminfo: memFree=24952340/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=2088212 CPUtime=2168.09 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 692200 0 0 0 216600 209 0 0 25 0 8 0 721892052 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 522053 416404 391 95 0 517035 0
[pid=17391/tid=17392] ppid=17388 vsize=2088212 CPUtime=280.44 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 82814 0 0 0 28022 22 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=2088212 CPUtime=287.55 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 85737 0 0 0 28730 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=2088212 CPUtime=257.57 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 83740 0 0 0 25730 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=2088212 CPUtime=292.63 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 87453 0 0 0 29233 30 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583682991812 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 81222 0 0 0 25733 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=2088212 CPUtime=262.34 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 96043 0 0 0 26207 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 105174 0 0 0 25725 33 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2168.09
Current children cumulated vsize (KiB) 2088212

[startup+293.701 s]
/proc/loadavg: 5.75 4.92 5.05 3/573 17407
/proc/meminfo: memFree=24952340/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=2088212 CPUtime=2169.69 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 692200 0 0 0 216760 209 0 0 25 0 8 0 721892052 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 522053 416404 391 95 0 517035 0
[pid=17391/tid=17392] ppid=17388 vsize=2088212 CPUtime=280.44 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 82814 0 0 0 28022 22 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=2088212 CPUtime=288.35 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 85737 0 0 0 28810 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 4415773 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=2088212 CPUtime=257.57 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 83740 0 0 0 25730 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=2088212 CPUtime=293.43 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 87453 0 0 0 29313 30 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583682991812 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 81222 0 0 0 25733 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=2088212 CPUtime=262.34 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 96043 0 0 0 26207 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 105174 0 0 0 25725 33 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2169.69
Current children cumulated vsize (KiB) 2088212

[startup+294.501 s]
/proc/loadavg: 5.75 4.92 5.05 3/573 17407
/proc/meminfo: memFree=24952092/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=2088212 CPUtime=2171.29 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 692200 0 0 0 216920 209 0 0 25 0 8 0 721892052 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 522053 416404 391 95 0 517035 0
[pid=17391/tid=17392] ppid=17388 vsize=2088212 CPUtime=280.44 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 82814 0 0 0 28022 22 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=2088212 CPUtime=289.15 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 85737 0 0 0 28890 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 4501979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=2088212 CPUtime=257.57 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 83740 0 0 0 25730 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=2088212 CPUtime=294.23 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 87453 0 0 0 29393 30 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 4219837 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 81222 0 0 0 25733 25 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=2088212 CPUtime=262.34 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 96043 0 0 0 26207 27 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 105174 0 0 0 25725 33 0 0 25 0 8 0 721892053 2138329088 416404 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2171.29
Current children cumulated vsize (KiB) 2088212

[startup+294.901 s]
/proc/loadavg: 5.75 4.92 5.05 3/573 17407
/proc/meminfo: memFree=24951592/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=2088212 CPUtime=2172.12 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) S 17388 17391 17364 0 -1 4202496 692357 0 0 0 217003 209 0 0 25 0 8 0 721892052 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 522053 416561 391 95 0 517035 0
[pid=17391/tid=17392] ppid=17388 vsize=2088212 CPUtime=280.44 cores=0-7
/proc/17391/task/17392/stat : 17392 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 82814 0 0 0 28022 22 0 0 25 0 8 0 721892053 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 6 0 0 0
[pid=17391/tid=17393] ppid=17388 vsize=2088212 CPUtime=289.57 cores=0-7
/proc/17391/task/17393/stat : 17393 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 85894 0 0 0 28932 25 0 0 25 0 8 0 721892053 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17391/tid=17394] ppid=17388 vsize=2088212 CPUtime=257.57 cores=0-7
/proc/17391/task/17394/stat : 17394 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 83740 0 0 0 25730 27 0 0 25 0 8 0 721892053 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 5 0 0 0
[pid=17391/tid=17395] ppid=17388 vsize=2088212 CPUtime=294.65 cores=0-7
/proc/17391/task/17395/stat : 17395 (strangenight2-m) R 17388 17391 17364 0 -1 4202560 87453 0 0 0 29435 30 0 0 25 0 8 0 721892053 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583682991659 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17391/tid=17396] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17396/stat : 17396 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 81222 0 0 0 25733 25 0 0 25 0 8 0 721892053 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 0 0 0 0
[pid=17391/tid=17397] ppid=17388 vsize=2088212 CPUtime=262.34 cores=0-7
/proc/17391/task/17397/stat : 17397 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 96043 0 0 0 26207 27 0 0 25 0 8 0 721892053 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 4 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=2088212 CPUtime=257.58 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) S 17388 17391 17364 0 -1 4202560 105174 0 0 0 25725 33 0 0 25 0 8 0 721892053 2138329088 416561 33554432000 4194304 4580107 140734542198608 18446744073709551615 47583683016244 0 0 4096 2 18446604459609777216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2172.12
Current children cumulated vsize (KiB) 2088212

[startup+295.02 s]
/proc/loadavg: 5.75 4.92 5.05 3/573 17407
/proc/meminfo: memFree=24951592/32950928 swapFree=49808404/67111528
[pid=17391] ppid=17388 vsize=0 CPUtime=2172.27 cores=0-7
/proc/17391/stat : 17391 (strangenight2-m) Z 17388 17391 17364 0 -1 4203548 692365 0 0 0 217012 215 0 0 18 0 2 0 721892052 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17391/statm: 0 0 0 0 0 0 0
[pid=17391/tid=17398] ppid=17388 vsize=0 CPUtime=257.64 cores=0-7
/proc/17391/task/17398/stat : 17398 (strangenight2-m) R 17388 17391 17364 0 -1 4203588 105174 0 0 0 25725 39 0 0 18 0 2 0 721892053 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2172.27
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 295.039
CPU time (s): 2172.3
CPU user time (s): 2170.12
CPU system time (s): 2.17567
CPU usage (%): 736.276
Max. virtual memory (cumulated for all children) (KiB): 2282596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2170.13
system time used= 2.17567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692365
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= 77737
involuntary context switches= 9991

runsolver used 1.46378 second user time and 4.35534 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-23 00:22:13
IDJOB=3394674
IDBENCH=83450
IDSOLVER=1878
FILE ID=node122/3394674-1306102932
RUNJOBID= node122-1306102932-17378
PBS_JOBID= 13388003
Free space on /tmp= 73344 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394674-1306102932/watcher-3394674-1306102932 -o /tmp/evaluation-result-3394674-1306102932/solver-3394674-1306102932 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394674-1306102932.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1118060676

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26620500 kB
Buffers:         12324 kB
Cached:         148784 kB
SwapCached:      59756 kB
Active:         104600 kB
Inactive:      6002412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26620500 kB
SwapTotal:    67111528 kB
SwapFree:     49808404 kB
Dirty:           27164 kB
Writeback:           4 kB
AnonPages:     5898864 kB
Mapped:          10016 kB
Slab:            58996 kB
PageTables:      92928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180710664 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= 73340 MiB
End job on node122 at 2011-05-23 00:27:08