Trace number 433145

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)10333602 1800.36 1800.91

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM291088d217a1998c91be99350439e903
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5965824
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5965824
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1543007621731
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1543007621731
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433145-1177955496/instance-433145-1177955496.opb
0.00/0.00	c File size is 399523 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Highest Coefficient sum: 1.54301e+12
0.00/0.06	c Parsing was ok!!
0.00/0.06	c Total parsing time: 0.065 s
0.00/0.07	c Var: 7812 Constr: 318 0/0/318 Lit: 38052 Watch. Lit: 22998
0.00/0.07	c Obj. Vars: 7812 (100 % of total variables)
0.09/0.18	c Pre-processing Time: 0.183 s
1.89/1.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.97	c        0   3698      318    38052  119    23045   76104      0      0 0.18
1.89/1.97	c      100   3698      418    60902  145    23310   83715    100    460 0.22
1.89/1.97	c      250   3698      568    95049  167    23708   92087    250    899 0.28
1.89/1.97	c      476   3698      794   146564  184    24147  101296    476   1300 0.37
1.89/1.97	c      814   3698     1132   222465  196    24765  111426    814   1724 0.47
1.89/1.97	c     1322   3698     1640   340718  207    26120  122569   1322   1902 0.69
1.89/1.97	c     2085   3698     2403   589298  245    28672  134826   2085   1907 1.09
1.89/1.97	c     3231   3698     3549   968246  272    31461  148309   3231   1683 1.92
1.89/1.97	o 21047498	1.974
4.49/4.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.51	c     3277   3698     3596   981912  273    35308   83500   3278   1657 1.98
4.49/4.51	c     3377   3698     3696  1006860  272    35209   91851   3378   1663 2.03
4.49/4.51	c     3628   3698     3947  1067030  270    35625  101037   3629   1741 2.08
4.49/4.51	c     4103   3698     4422  1165181  263    36364  111141   4104   1810 2.27
4.49/4.51	c     4919   3698     5238  1471464  280    38925  122256   4920   1618 3.04
4.49/4.51	c     6239   3698     6558  1744025  265    40315  134482   6240   1758 3.55
4.49/4.51	o 17645835	4.51
51.58/51.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.58/51.63	c     7951   3698     8271  2258927  273    47024   83500   7953   1761 4.51
51.58/51.63	c     8051   3698     8371  2274569  271    46681   91851   8053   1774 4.54
51.58/51.63	c     8302   3698     8622  2320687  269    46906  101037   8304   1799 4.61
51.58/51.63	c     8777   3698     9097  2805624  308    48477  111141   8779   1497 5.86
51.58/51.63	c     9590   3698     9910  3124822  315    48911  122256   9592   1485 6.46
51.58/51.63	c    10910   3698    11230  3664881  326    51294  134482  10912   1501 7.27
51.58/51.63	c    12992   3698    13312  4714491  354    55978  147931  12994   1334 9.73
51.58/51.63	c    16215   3698    16535  5684561  343    61511  162725  16217   1360 11.92
51.58/51.63	c    21152   3698    21472  8106777  377    71244  178998  21154    980 21.58
51.58/51.63	c    28658   3698    28978 10463980  361    86359  196898  28660    898 31.88
51.58/51.63	o 17591815	51.608
110.06/110.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
110.06/110.12	c    36476   3698    36797 17112837  465   105681   83500  36479    706 51.61
110.06/110.12	c    36576   3698    36897 17153957  464   104964   91851  36579    706 51.74
110.06/110.12	c    36826   3698    37147 17221099  463   105317  101037  36829    708 52.01
110.06/110.12	c    37301   3698    37622 17333574  460   105809  111141  37304    712 52.32
110.06/110.12	c    38114   3698    38435 17538833  456   107174  122256  38117    721 52.80
110.06/110.12	c    39436   3698    39757 18929920  476   112183  134482  39439    687 57.32
110.06/110.12	c    41518   3698    41839 19677511  470   114818  147931  41521    683 60.70
110.06/110.12	c    44741   3698    45062 20877730  463   121618  162725  44744    696 64.20
110.06/110.12	c    49677   3698    49998 26273398  525   132620  178998  49680    583 85.12
110.06/110.12	c    57183   3698    57504 28653484  498   145647  196898  57186    520 109.77
110.06/110.12	o 16125527	110.088
143.15/143.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
143.15/143.23	c    57455   3698    57777 28710793  496   149181   83500  57459    521 110.09
143.15/143.23	c    57556   3698    57878 28731287  496   149321   91851  57560    522 110.21
143.15/143.23	c    57807   3698    58129 28770481  494   149558  101037  57811    523 110.36
143.15/143.23	c    58282   3698    58604 28873458  492   151219  111141  58286    526 110.74
143.15/143.23	c    59095   3698    59417 29151335  490   151643  122256  59099    529 111.51
143.15/143.23	c    60415   3698    60737 29489127  485   154569  134482  60419    532 113.39
143.15/143.23	c    62497   3698    62819 30237047  481   158844  147931  62501    536 116.47
143.15/143.23	c    65720   3698    66042 31463716  476   163408  162725  65724    548 119.81
143.15/143.23	c    70656   3698    70978 35137780  495   173340  178998  70660    523 135.09
143.15/143.23	c    78162   3698    78484 37247720  474   187431  196898  78166    547 142.68
143.15/143.23	o 15727890	143.189
422.29/422.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
422.29/422.40	c    78322   3698    78645 37312657  474   190904   83500  78327    546 143.19
422.29/422.40	c    78422   3698    78745 37404527  475   191482   91851  78427    545 143.69
422.29/422.40	c    78673   3698    78996 37503890  474   190625  101037  78678    545 144.13
422.29/422.40	c    79149   3698    79472 37712384  474   192112  111141  79154    546 144.92
422.29/422.40	c    79962   3698    80285 38031420  473   192703  122256  79967    545 146.72
422.29/422.40	c    81282   3698    81605 38581785  472   195566  134482  81287    546 148.70
422.29/422.40	c    83363   3698    83686 40485645  483   200373  147931  83368    540 154.28
422.29/422.40	c    86586   3698    86909 41510381  477   206445  162725  86591    553 156.56
422.29/422.40	c    91522   3698    91845 43910728  478   215393  178998  91527    552 165.78
422.29/422.40	c    99029   3698    99352 46789782  470   230903  196898  99034    548 180.46
422.29/422.40	c   110391   3698   110714 55908934  504   254419  216588 110396    481 229.13
422.29/422.40	c   127535   3698   127858 60996283  477   287364  238247 127540    485 262.66
422.29/422.41	c   153355   3698   153678 95493682  621   339992  262072 153360    364 420.21
422.29/422.41	o 10333602	422.296
1800.06/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.61	c   154413   3698   154737 95723462  618   344004   83500 154419    365 422.30
1800.06/1800.61	c   154516   3698    13174 16691574 1267    53594   91851  12856    359 429.65
1800.06/1800.61	c   154767   3698    13425 16751389 1247    53743  101037  13107    360 429.76
1800.06/1800.61	c   155243   3698    13901 16875722 1213    54774  111141  13583    361 429.98
1800.06/1800.61	c   156059   3698    14717 17269739 1173    57003  122256  14399    361 431.20
1800.06/1800.61	c   157379   3698    16037 18205122 1135    59609  134482  15719    363 433.47
1800.06/1800.61	c   159460   3698    18118 19839951 1095    63609  147931  17800    363 439.26
1800.06/1800.61	c   162683   3698    21341 22672023 1062    69999  162725  21023    362 448.32
1800.06/1800.61	c   167620   3698    26278 25025797  952    80283  178998  25960    369 453.73
1800.06/1800.61	c   175126   3698    33784 30437254  900    95044  196898  33466    370 473.30
1800.06/1800.61	c   186488   3698    45146 39567308  876   118508  216588  44828    345 539.45
1800.06/1800.61	c   203632   3698    62290 50908681  817   152076  238247  61972    341 595.71
1800.06/1800.61	c   229451   3698    88109 70826743  803   204133  262072  87791    284 805.79
1800.06/1800.61	c   268284   3698   126942 100143181  788   281991  288280 126624    257 1039.98
1800.06/1800.61	c   326638   3698   185296 137717326  743   397833  317109 184978    187 1741.41
1800.06/1800.61	c Caught signal: 15
1800.06/1800.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.06/1800.61	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.06/1800.61	v -x55 -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373
1800.06/1800.61	v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
1800.06/1800.61	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267
1800.06/1800.61	v -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5581 -x5582 -x5583 -x5584
1800.06/1800.61	v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601
1800.06/1800.61	v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918
1800.06/1800.61	v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935
1800.06/1800.61	v -x5936 -x5937 -x5938 -x5939 -x5940 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252
1800.06/1800.61	v -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269
1800.06/1800.61	v -x6270 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586
1800.06/1800.61	v -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6901 -x6902 -x6903
1800.06/1800.61	v -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920
1800.06/1800.61	v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237
1800.06/1800.61	v -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254
1800.06/1800.61	v -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77
1800.06/1800.61	v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.06/1800.61	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721
1800.06/1800.61	v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742
1800.06/1800.61	v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 x1061
1800.06/1800.61	v -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078
1800.06/1800.61	v -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1800.06/1800.61	v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712
1800.06/1800.61	v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729
1800.06/1800.61	v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046
1800.06/1800.61	v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1800.06/1800.61	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1800.06/1800.61	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1800.06/1800.61	v -x2398 -x2399 -x2400 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714
1800.06/1800.61	v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x3031
1800.06/1800.61	v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048
1800.06/1800.61	v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395
1800.06/1800.61	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412
1800.06/1800.61	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729
1800.06/1800.61	v -x3730 x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
1800.06/1800.61	v -x3747 -x3748 -x3749 -x3750 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063
1800.06/1800.61	v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1800.06/1800.61	v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397
1800.06/1800.61	v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714
1800.06/1800.61	v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731
1800.06/1800.61	v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
1800.06/1800.61	v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065
1800.06/1800.61	v -x5066 -x5067 -x5068 -x5069 -x5070 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142
1800.06/1800.61	v -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159
1800.06/1800.61	v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176
1800.06/1800.61	v -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193
1800.06/1800.61	v -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210
1800.06/1800.61	v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227
1800.06/1800.61	v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244
1800.06/1800.61	v -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291
1800.06/1800.61	v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
1800.06/1800.61	v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 -x5323 -x5324 -x5325
1800.06/1800.61	v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342
1800.06/1800.61	v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359
1800.06/1800.61	v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376
1800.06/1800.61	v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393
1800.06/1800.61	v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410
1800.06/1800.61	v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427
1800.06/1800.61	v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444
1800.06/1800.61	v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461
1800.06/1800.61	v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478
1800.06/1800.61	v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495
1800.06/1800.61	v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512
1800.06/1800.61	v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529
1800.06/1800.61	v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546
1800.06/1800.61	v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563
1800.06/1800.61	v -x5564 x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580
1800.06/1800.61	v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627
1800.06/1800.61	v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644
1800.06/1800.61	v -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661
1800.06/1800.61	v -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678
1800.06/1800.61	v -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695
1800.06/1800.61	v -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712
1800.06/1800.61	v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729
1800.06/1800.61	v -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746
1800.06/1800.61	v -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763
1800.06/1800.61	v -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780
1800.06/1800.61	v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797
1800.06/1800.61	v -x5798 -x5799 -x5800 x5801 x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815
1800.06/1800.61	v -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 x5830 -x5831 -x5832
1800.06/1800.61	v -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849
1800.06/1800.61	v -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866
1800.06/1800.61	v -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883
1800.06/1800.61	v -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900
1800.06/1800.61	v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947
1800.06/1800.61	v -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964
1800.06/1800.61	v -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981
1800.06/1800.61	v -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998
1800.06/1800.61	v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015
1800.06/1800.61	v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032
1800.06/1800.61	v -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 x6040 -x6041 -x6042 -x6043 x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050
1800.06/1800.61	v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067
1800.06/1800.61	v -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084
1800.06/1800.61	v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101
1800.06/1800.61	v -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118
1800.06/1800.61	v -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135
1800.06/1800.61	v -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152
1800.06/1800.61	v -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169
1800.06/1800.61	v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186
1800.06/1800.61	v -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203
1800.06/1800.61	v -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220
1800.06/1800.61	v x6221 x6222 x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238
1800.06/1800.61	v -x6239 -x6240 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285
1800.06/1800.61	v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302
1800.06/1800.61	v -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319
1800.06/1800.61	v -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336
1800.06/1800.61	v -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353
1800.06/1800.61	v -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370
1800.06/1800.61	v x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387
1800.06/1800.61	v -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404
1800.06/1800.61	v -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421
1800.06/1800.61	v -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438
1800.06/1800.61	v -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455
1800.06/1800.61	v -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472
1800.06/1800.61	v -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489
1800.06/1800.61	v -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506
1800.06/1800.61	v -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 x6518 -x6519 -x6520 -x6521 -x6522 x6523 -x6524
1800.06/1800.61	v -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541
1800.06/1800.61	v -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558
1800.06/1800.61	v -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6601 -x6602 -x6603 -x6604 -x6605
1800.06/1800.61	v -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622
1800.06/1800.61	v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 x6634 x6635 x6636 x6637 x6638 x6639 -x6640
1800.06/1800.61	v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657
1800.06/1800.61	v -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 x6667 x6668 -x6669 -x6670 -x6671 -x6672 -x6673 x6674 -x6675
1800.06/1800.61	v -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692
1800.06/1800.61	v -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709
1800.06/1800.61	v -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726
1800.06/1800.61	v -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743
1800.06/1800.61	v -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760
1800.06/1800.61	v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777
1800.06/1800.61	v -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 x6794
1800.06/1800.61	v -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811
1800.06/1800.61	v -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828
1800.06/1800.61	v -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845
1800.06/1800.61	v -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862
1800.06/1800.61	v -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879
1800.06/1800.61	v -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896
1800.06/1800.61	v -x6897 -x6898 -x6899 -x6900 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943
1800.06/1800.61	v -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960
1800.06/1800.61	v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977
1800.06/1800.61	v -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994
1800.06/1800.61	v -x6995 -x6996 -x6997 x6998 -x6999 -x7000 -x7001 x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012
1800.06/1800.61	v -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029
1800.06/1800.61	v -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046
1800.06/1800.61	v -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063
1800.06/1800.61	v -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080
1800.06/1800.61	v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097
1800.06/1800.61	v -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114
1800.06/1800.61	v -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131
1800.06/1800.61	v -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148
1800.06/1800.61	v -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165
1800.06/1800.61	v -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182
1800.06/1800.61	v -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199
1800.06/1800.61	v -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216
1800.06/1800.61	v -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7261 -x7262 -x7263
1800.06/1800.61	v -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280
1800.06/1800.61	v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297
1800.06/1800.61	v -x7298 -x7299 -x7300 -x7301 x7302 -x7303 x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315
1800.06/1800.61	v -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332
1800.06/1800.61	v -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349
1800.06/1800.61	v -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366
1800.06/1800.61	v -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383
1800.06/1800.61	v -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400
1800.06/1800.61	v -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417
1800.06/1800.61	v -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434
1800.06/1800.61	v -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451
1800.06/1800.61	v -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468
1800.06/1800.61	v -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485
1800.06/1800.61	v -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502
1800.06/1800.61	v -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519
1800.06/1800.61	v -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536
1800.06/1800.61	v -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553
1800.06/1800.61	v -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.06/1800.61	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.06/1800.61	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.06/1800.61	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.06/1800.61	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.06/1800.61	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.06/1800.61	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.06/1800.61	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.06/1800.61	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.06/1800.61	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.06/1800.61	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.06/1800.61	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.06/1800.61	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.06/1800.61	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.06/1800.61	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428
1800.06/1800.61	v -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449
1800.06/1800.61	v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1800.06/1800.61	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491
1800.06/1800.61	v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512
1800.06/1800.61	v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533
1800.06/1800.61	v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554
1800.06/1800.61	v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
1800.06/1800.61	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596
1800.06/1800.61	v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617
1800.06/1800.61	v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
1800.06/1800.61	v -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
1800.06/1800.61	v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
1800.06/1800.61	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701
1800.06/1800.61	v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752
1800.06/1800.61	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.06/1800.61	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794
1800.06/1800.61	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.06/1800.61	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.06/1800.61	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.06/1800.61	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.06/1800.61	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.06/1800.61	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.06/1800.61	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.06/1800.61	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
1800.06/1800.61	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1800.06/1800.61	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003
1800.06/1800.61	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1800.06/1800.61	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037
1800.06/1800.61	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084
1800.06/1800.61	v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101
1800.06/1800.61	v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118
1800.06/1800.61	v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135
1800.06/1800.61	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152
1800.06/1800.61	v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169
1800.06/1800.61	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186
1800.06/1800.61	v -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203
1800.06/1800.61	v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
1800.06/1800.61	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 x1235 x1236 -x1237 -x1238
1800.06/1800.61	v x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256
1800.06/1800.61	v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273
1800.06/1800.61	v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
1800.06/1800.61	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 x1303 x1304 -x1305 -x1306 -x1307 -x1308
1800.06/1800.61	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
1800.06/1800.61	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342
1800.06/1800.61	v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359
1800.06/1800.61	v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376
1800.06/1800.61	v -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 -x1423 -x1424
1800.06/1800.61	v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441
1800.06/1800.61	v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
1800.06/1800.61	v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475
1800.06/1800.61	v -x1476 x1477 x1478 x1479 x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493
1800.06/1800.61	v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
1800.06/1800.61	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
1800.06/1800.61	v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
1800.06/1800.61	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561
1800.06/1800.61	v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578
1800.06/1800.61	v -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595
1800.06/1800.61	v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612
1800.06/1800.61	v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629
1800.06/1800.61	v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646
1800.06/1800.61	v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663
1800.06/1800.61	v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
1800.06/1800.61	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697
1800.06/1800.61	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744
1800.06/1800.61	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
1800.06/1800.61	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1800.06/1800.61	v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795
1800.06/1800.61	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1800.06/1800.61	v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1800.06/1800.61	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1800.06/1800.61	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1800.06/1800.61	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1800.06/1800.61	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1800.06/1800.61	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1800.06/1800.61	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1800.06/1800.61	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1800.06/1800.61	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965
1800.06/1800.61	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
1800.06/1800.61	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1800.06/1800.61	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.06/1800.61	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
1800.06/1800.61	v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1800.06/1800.61	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097
1800.06/1800.61	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114
1800.06/1800.61	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131
1800.06/1800.61	v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
1800.06/1800.61	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165
1800.06/1800.61	v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182
1800.06/1800.61	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1800.06/1800.61	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216
1800.06/1800.61	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233
1800.06/1800.61	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1800.06/1800.61	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267
1800.06/1800.61	v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284
1800.06/1800.61	v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302
1800.06/1800.61	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319
1800.06/1800.61	v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1800.06/1800.61	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
1800.06/1800.61	v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
1800.06/1800.61	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417
1800.06/1800.61	v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1800.06/1800.61	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451
1800.06/1800.61	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
1800.06/1800.61	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1800.06/1800.61	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503
1800.06/1800.61	v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1800.06/1800.61	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538
1800.06/1800.61	v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555
1800.06/1800.61	v -x2556 -x2557 -x2558 x2559 x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573
1800.06/1800.61	v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 x2591
1800.06/1800.61	v x2592 x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.06/1800.61	v -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626
1800.06/1800.61	v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643
1800.06/1800.61	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1800.06/1800.61	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677
1800.06/1800.61	v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694
1800.06/1800.61	v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.06/1800.61	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
1800.06/1800.61	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1800.06/1800.61	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1800.06/1800.61	v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1800.06/1800.61	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.06/1800.61	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
1800.06/1800.61	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861
1800.06/1800.61	v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878
1800.06/1800.61	v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895
1800.06/1800.61	v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912
1800.06/1800.61	v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
1800.06/1800.61	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947
1800.06/1800.61	v x2948 x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
1800.06/1800.61	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982
1800.06/1800.61	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999
1800.06/1800.61	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016
1800.06/1800.61	v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 -x3063
1800.06/1800.61	v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
1800.06/1800.61	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097
1800.06/1800.61	v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114
1800.06/1800.61	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131
1800.06/1800.61	v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148
1800.06/1800.61	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165
1800.06/1800.61	v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182
1800.06/1800.61	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199
1800.06/1800.61	v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
1800.06/1800.61	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1800.06/1800.61	v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1800.06/1800.61	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1800.06/1800.61	v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284
1800.06/1800.61	v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301
1800.06/1800.61	v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
1800.06/1800.61	v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335
1800.06/1800.61	v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352
1800.06/1800.61	v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 x3427 x3428 -x3429 -x3430
1800.06/1800.61	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447
1800.06/1800.61	v -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464
1800.06/1800.61	v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481
1800.06/1800.61	v x3482 x3483 x3484 x3485 x3486 -x3487 -x3488 x3489 x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
1800.06/1800.61	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517
1800.06/1800.61	v -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534
1800.06/1800.61	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551
1800.06/1800.61	v x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
1800.06/1800.61	v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585
1800.06/1800.61	v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602
1800.06/1800.61	v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619
1800.06/1800.61	v -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636
1800.06/1800.61	v -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653
1800.06/1800.61	v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
1800.06/1800.61	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687
1800.06/1800.61	v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 -x3703 -x3704
1800.06/1800.61	v -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751
1800.06/1800.61	v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768
1800.06/1800.61	v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785
1800.06/1800.61	v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802
1800.06/1800.61	v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
1800.06/1800.61	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836
1800.06/1800.61	v -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853
1800.06/1800.61	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
1800.06/1800.61	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
1800.06/1800.61	v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904
1800.06/1800.61	v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921
1800.06/1800.61	v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938
1800.06/1800.61	v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955
1800.06/1800.61	v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972
1800.06/1800.61	v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989
1800.06/1800.61	v -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006
1800.06/1800.61	v -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023
1800.06/1800.61	v -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
1800.06/1800.61	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087
1800.06/1800.61	v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104
1800.06/1800.61	v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121
1800.06/1800.61	v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138
1800.06/1800.61	v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155
1800.06/1800.61	v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172
1800.06/1800.61	v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189
1800.06/1800.61	v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206
1800.06/1800.61	v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223
1800.06/1800.61	v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240
1800.06/1800.61	v x4241 x4242 x4243 x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258
1800.06/1800.61	v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275
1800.06/1800.61	v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292
1800.06/1800.61	v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309
1800.06/1800.61	v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326
1800.06/1800.61	v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343
1800.06/1800.61	v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360
1800.06/1800.61	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377
1800.06/1800.61	v -x4378 -x4379 -x4380 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424
1800.06/1800.61	v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441
1800.06/1800.61	v -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458
1800.06/1800.61	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475
1800.06/1800.61	v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492
1800.06/1800.61	v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509
1800.06/1800.61	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1800.06/1800.61	v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543
1800.06/1800.61	v -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
1800.06/1800.61	v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577
1800.06/1800.61	v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594
1800.06/1800.61	v -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611
1800.06/1800.61	v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628
1800.06/1800.61	v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645
1800.06/1800.61	v -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 x4654 x4655 x4656 x4657 x4658 -x4659 -x4660 -x4661 -x4662 -x4663
1800.06/1800.61	v x4664 x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681
1800.06/1800.61	v -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698
1800.06/1800.61	v -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4741 x4742 -x4743 -x4744 -x4745 -x4746
1800.06/1800.61	v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763
1800.06/1800.61	v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
1800.06/1800.61	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1800.06/1800.61	v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814
1800.06/1800.61	v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831
1800.06/1800.61	v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848
1800.06/1800.61	v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4861 -x4862 -x4863 -x4864 -x4865
1800.06/1800.61	v -x4866 x4867 x4868 -x4869 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.06/1800.61	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
1800.06/1800.61	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917
1800.06/1800.61	v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934
1800.06/1800.61	v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951
1800.06/1800.61	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968
1800.06/1800.61	v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985
1800.06/1800.61	v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002
1800.06/1800.61	v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019
1800.06/1800.61	v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036
1800.06/1800.61	v -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083
1800.06/1800.61	v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
1800.06/1800.61	v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117
1800.06/1800.61	v -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x7561 -x7562 -x7673 x7736
1800.06/1800.61	v -x7747 -x7758 -x7769 -x7780 -x7791 -x7802 x7563 -x7574 -x7585 x7596 -x7607 -x7618 -x7629 -x7640 -x7651 -x7662 x7674 x7685
1800.06/1800.61	v -x7696 -x7707 -x7718 -x7729 -x7732 -x7733 -x7734 -x7735 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745
1800.06/1800.61	v x7746 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 x7754 x7755 -x7756 -x7757 x7759 -x7760 -x7761 x7762 -x7763 -x7764 -x7765
1800.06/1800.61	v -x7766 -x7767 x7768 x7770 -x7771 -x7772 x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7781 x7782 x7783 -x7784 -x7785
1800.06/1800.61	v -x7786 x7787 x7788 -x7789 x7790 -x7792 -x7793 x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7803 x7804 -x7805
1800.06/1800.61	v -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 x7812 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 x7570 -x7571 -x7572 -x7573 -x7575
1800.06/1800.61	v -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 x7582 -x7583 -x7584 -x7586 x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 x7594
1800.06/1800.61	v -x7595 -x7597 -x7598 -x7599 -x7600 -x7601 x7602 -x7603 x7604 -x7605 -x7606 x7608 -x7609 x7610 -x7611 -x7612 -x7613 -x7614
1800.06/1800.61	v -x7615 -x7616 -x7617 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7630 -x7631 -x7632 -x7633
1800.06/1800.61	v -x7634 -x7635 -x7636 x7637 -x7638 -x7639 -x7641 -x7642 x7643 x7644 x7645 x7646 x7647 x7648 x7649 -x7650 -x7652 -x7653 -x7654
1800.06/1800.61	v -x7655 x7656 -x7657 x7658 x7659 -x7660 -x7661 -x7663 -x7664 x7665 -x7666 -x7667 x7668 -x7669 -x7670 x7671 -x7672 x7675
1800.06/1800.61	v -x7676 x7677 -x7678 x7679 -x7680 -x7681 -x7682 -x7683 x7684 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694
1800.06/1800.61	v -x7695 -x7697 -x7698 -x7699 -x7700 -x7701 x7702 -x7703 -x7704 -x7705 -x7706 x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714
1800.06/1800.61	v -x7715 x7716 -x7717 x7719 -x7720 x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7730 -x7731
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c   71   337261  45259   736824   195919 141515844 195601    187 1800.07
1800.06/1800.61	c Objective: 10333602
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	c Total time: 1800.07 s

Verifier Data (download as text)

OK	10333602

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node26/watcher-433145-1177955496 -o ROOT/results/node26/solver-433145-1177955496 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433145-1177955496/instance-433145-1177955496.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.90 0.97 0.95 3/77 5968
/proc/meminfo: memFree=1399160/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=12128 CPUtime=0
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 243466392 12419072 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 3032 333 279 324 0 2004 0

[startup+0.0887601 s]
/proc/loadavg: 0.90 0.97 0.95 3/77 5968
/proc/meminfo: memFree=1399160/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=6196 CPUtime=0.08
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 1041 0 0 0 8 0 0 0 18 0 1 0 243466392 6344704 913 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 1549 913 303 324 0 619 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6196

[startup+0.101762 s]
/proc/loadavg: 0.90 0.97 0.95 3/77 5968
/proc/meminfo: memFree=1399160/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=6196 CPUtime=0.09
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 1041 0 0 0 9 0 0 0 18 0 1 0 243466392 6344704 913 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 1549 913 303 324 0 619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6196

[startup+0.301781 s]
/proc/loadavg: 0.90 0.97 0.95 3/77 5968
/proc/meminfo: memFree=1399160/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=7096 CPUtime=0.29
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 1345 0 0 0 29 0 0 0 19 0 1 0 243466392 7266304 1128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 1774 1128 310 324 0 844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7096

[startup+0.701819 s]
/proc/loadavg: 0.90 0.97 0.95 3/77 5968
/proc/meminfo: memFree=1399160/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=10176 CPUtime=0.69
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 2122 0 0 0 68 1 0 0 22 0 1 0 243466392 10420224 1905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 2544 1905 310 324 0 1614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10176

[startup+1.50189 s]
/proc/loadavg: 0.90 0.97 0.95 2/78 5969
/proc/meminfo: memFree=1390384/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=16304 CPUtime=1.49
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 3665 0 0 0 147 2 0 0 25 0 1 0 243466392 16695296 3448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 4076 3448 310 324 0 3146 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16304

[startup+3.10104 s]
/proc/loadavg: 0.90 0.97 0.95 2/78 5969
/proc/meminfo: memFree=1382704/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=25616 CPUtime=3.09
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 5983 0 0 0 306 3 0 0 25 0 1 0 243466392 26230784 5766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 6404 5766 311 324 0 5474 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25616

[startup+6.30134 s]
/proc/loadavg: 0.91 0.97 0.95 2/78 5969
/proc/meminfo: memFree=1362104/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=45520 CPUtime=6.28
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 10967 0 0 0 623 5 0 0 25 0 1 0 243466392 46612480 10750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 11380 10750 311 324 0 10450 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45520

[startup+12.7019 s]
/proc/loadavg: 0.92 0.97 0.95 2/78 5969
/proc/meminfo: memFree=1322424/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=82588 CPUtime=12.68
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 20224 0 0 0 1259 9 0 0 25 0 1 0 243466392 84570112 20007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 20647 20007 311 324 0 19717 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82588

[startup+25.5011 s]
/proc/loadavg: 0.93 0.97 0.95 2/78 5969
/proc/meminfo: memFree=1279288/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=124056 CPUtime=25.47
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 30602 0 0 0 2534 13 0 0 25 0 1 0 243466392 127033344 30385 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 31014 30385 311 324 0 30084 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 124056

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.95 2/78 5969
/proc/meminfo: memFree=1179832/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=224928 CPUtime=51.07
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 55805 0 0 0 5082 25 0 0 25 0 1 0 243466392 230326272 55588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 56232 55589 311 324 0 55302 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 224928

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.95 2/78 5969
/proc/meminfo: memFree=1031544/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=370516 CPUtime=102.27
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 92220 0 0 0 10185 42 0 0 25 0 1 0 243466392 379408384 92003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 92629 92003 311 324 0 91699 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 370516

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 5969
/proc/meminfo: memFree=841144/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=562612 CPUtime=162.24
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 140242 0 0 0 16161 63 0 0 25 0 1 0 243466392 576114688 140025 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 140653 140025 311 324 0 139723 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 562612

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 5969
/proc/meminfo: memFree=684536/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=717020 CPUtime=222.23
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 178831 0 0 0 22139 84 0 0 25 0 1 0 243466392 734228480 178614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 179255 178614 311 324 0 178325 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 717020

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 5969
/proc/meminfo: memFree=527800/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=875744 CPUtime=282.21
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 218509 0 0 0 28114 107 0 0 25 0 1 0 243466392 896761856 218292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13021336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 218936 218292 311 324 0 218006 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 875744

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 5969
/proc/meminfo: memFree=344248/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1057016 CPUtime=342.2
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 263839 0 0 0 34093 127 0 0 25 0 1 0 243466392 1082384384 263622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13025430 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 264254 263622 311 324 0 263324 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1057016

[startup+402.301 s]
/proc/loadavg: 1.05 0.99 0.95 2/78 5969
/proc/meminfo: memFree=206200/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1195932 CPUtime=402.18
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 298571 0 0 0 40073 145 0 0 25 0 1 0 243466392 1224634368 298354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 298983 298354 311 324 0 298053 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1195932

[startup+462.302 s]
/proc/loadavg: 1.07 1.00 0.96 2/78 5969
/proc/meminfo: memFree=160696/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1239312 CPUtime=462.17
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 309576 0 0 0 46066 151 0 0 25 0 1 0 243466392 1269055488 309208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 309828 309208 311 324 0 308898 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1239312

[startup+522.301 s]
/proc/loadavg: 1.11 1.03 0.97 2/78 5969
/proc/meminfo: memFree=160760/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1239312 CPUtime=522.16
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 309576 0 0 0 52064 152 0 0 25 0 1 0 243466392 1269055488 309208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 309828 309208 311 324 0 308898 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1239312

[startup+582.302 s]
/proc/loadavg: 1.04 1.02 0.97 2/84 6077
/proc/meminfo: memFree=159480/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1239312 CPUtime=582.09
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 309576 0 0 0 58056 153 0 0 25 0 1 0 243466392 1269055488 309208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 309828 309208 311 324 0 308898 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1239312

[startup+642.301 s]
/proc/loadavg: 1.01 1.02 0.97 2/78 6167
/proc/meminfo: memFree=160632/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1239312 CPUtime=642.03
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 309576 0 0 0 64049 154 0 0 25 0 1 0 243466392 1269055488 309208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 309828 309208 311 324 0 308898 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1239312


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=160824/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1239312 CPUtime=941.96
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 309576 0 0 0 94039 157 0 0 25 0 1 0 243466392 1269055488 309208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 309828 309208 311 324 0 308898 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 1239312

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=148856/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1251520 CPUtime=1001.95
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 312613 0 0 0 100036 159 0 0 25 0 1 0 243466392 1281556480 312245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 312880 312245 311 324 0 311950 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1251520

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=64056/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1338616 CPUtime=1061.93
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 334381 0 0 0 106021 172 0 0 25 0 1 0 243466392 1370742784 334013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 334654 334013 311 324 0 333724 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1338616

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=14840/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1422804 CPUtime=1121.91
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 355433 0 0 0 112007 184 0 0 25 0 1 0 243466392 1456951296 355065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 355701 355065 311 324 0 354771 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1422804

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=15032/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1491224 CPUtime=1181.9
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 372527 0 0 0 117994 196 0 0 25 0 1 0 243466392 1527013376 372159 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 372806 372159 311 324 0 371876 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1491224

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=16120/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1540352 CPUtime=1241.88
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 384824 0 0 0 123983 205 0 0 25 0 1 0 243466392 1577320448 384456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 385088 384456 311 324 0 384158 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1540352

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=16184/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1583060 CPUtime=1301.87
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 395504 0 0 0 129974 213 0 0 25 0 1 0 243466392 1621053440 395136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 395765 395136 311 324 0 394835 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1583060

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=15544/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1616524 CPUtime=1361.85
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 403853 0 0 0 135966 219 0 0 25 0 1 0 243466392 1655320576 403485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 404131 403485 311 324 0 403201 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1616524

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 0.97 2/78 6167
/proc/meminfo: memFree=16184/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1640328 CPUtime=1421.85
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 409831 0 0 0 141961 224 0 0 25 0 1 0 243466392 1679695872 409463 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 410082 409463 311 324 0 409152 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1640328

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 0.97 2/78 6167
/proc/meminfo: memFree=15416/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1664392 CPUtime=1481.83
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 415830 0 0 0 147955 228 0 0 25 0 1 0 243466392 1704337408 415462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 416098 415462 311 324 0 415168 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1664392

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=14840/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1686016 CPUtime=1541.81
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 421232 0 0 0 153948 233 0 0 25 0 1 0 243466392 1726480384 420864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 421504 420864 311 324 0 420574 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1686016

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 6167
/proc/meminfo: memFree=15352/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1710376 CPUtime=1601.79
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 427333 0 0 0 159942 237 0 0 25 0 1 0 243466392 1751425024 426965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 427594 426965 311 324 0 426664 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1710376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=15864/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1748668 CPUtime=1661.79
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 436893 0 0 0 165935 244 0 0 25 0 1 0 243466392 1790636032 436525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 437167 436525 311 324 0 436237 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1748668

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=16056/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1759864 CPUtime=1721.77
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 439703 0 0 0 171931 246 0 0 25 0 1 0 243466392 1802100736 439335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 439966 439335 311 324 0 439036 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1759864

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=14840/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1812004 CPUtime=1781.75
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 452739 0 0 0 177921 254 0 0 25 0 1 0 243466392 1855492096 452371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 453001 452371 311 324 0 452071 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1812004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=15096/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=1825376 CPUtime=1800.06
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194304 456075 0 0 0 179750 256 0 0 25 0 1 0 243466392 1869185024 455707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 456344 455707 311 324 0 455414 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1825376

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=15096/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=0 CPUtime=1800.25
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194308 456079 0 0 0 179750 275 0 0 25 0 1 0 243466392 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 6167
/proc/meminfo: memFree=15096/2055920 swapFree=4170240/4192956
[pid=5968] ppid=5966 vsize=0 CPUtime=1800.35
/proc/5968/stat : 5968 (bsolo3.0.17) R 5966 5968 5905 0 -1 4194308 456079 0 0 0 179750 285 0 0 25 0 1 0 243466392 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/5968/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.91
CPU time (s): 1800.36
CPU user time (s): 1797.51
CPU system time (s): 2.85656
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1825376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.51
system time used= 2.85656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456079
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= 13
involuntary context switches= 3766

runsolver used 1.47677 second user time and 4.10837 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Apr 30 17:51:36 UTC 2007

IDJOB= 433145
IDBENCH= 2297
IDSOLVER= 199
FILE ID= node26/433145-1177955496

PBS_JOBID= 4727714

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433145-1177955496/instance-433145-1177955496.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-433145-1177955496 -o ROOT/results/node26/solver-433145-1177955496 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433145-1177955496/instance-433145-1177955496.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  291088d217a1998c91be99350439e903

RANDOM SEED= 242407467

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1399568 kB
Buffers:         60788 kB
Cached:         497048 kB
SwapCached:       3640 kB
Active:         348600 kB
Inactive:       232564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1399568 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            7140 kB
Writeback:           0 kB
Mapped:          30564 kB
Slab:            60752 kB
Committed_AS:  1344228 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node26 on Mon Apr 30 18:21:39 UTC 2007