Trace number 433148

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)17520987 1800.24 1803.02

General information on the benchmark

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

Verifier Data (download as text)

OK	17520987

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-433148-1177955543 -o ROOT/results/node23/solver-433148-1177955543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433148-1177955543/instance-433148-1177955543.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.86 0.97 0.99 3/77 12650
/proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=12136 CPUtime=0
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243471467 12427264 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 3034 334 279 324 0 2004 0

[startup+0.070544 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 12650
/proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=5024 CPUtime=0.06
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 758 0 0 0 6 0 0 0 18 0 1 0 243471467 5144576 628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 1256 629 299 324 0 326 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5024

[startup+0.101548 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 12650
/proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=6220 CPUtime=0.09
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 1053 0 0 0 9 0 0 0 18 0 1 0 243471467 6369280 923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 1555 923 303 324 0 625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6220

[startup+0.301587 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 12650
/proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=7260 CPUtime=0.29
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 1391 0 0 0 29 0 0 0 19 0 1 0 243471467 7434240 1168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 1815 1168 310 324 0 885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7260

[startup+0.701664 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 12650
/proc/meminfo: memFree=1858376/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=10604 CPUtime=0.69
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 2229 0 0 0 68 1 0 0 23 0 1 0 243471467 10858496 2006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 2651 2006 310 324 0 1721 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10604

[startup+1.50182 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1849280/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=16372 CPUtime=1.49
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 3673 0 0 0 147 2 0 0 25 0 1 0 243471467 16764928 3450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 4093 3450 310 324 0 3163 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16372

[startup+3.10113 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1840896/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=31436 CPUtime=3.09
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 7442 0 0 0 305 4 0 0 25 0 1 0 243471467 32190464 7219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 7859 7219 310 324 0 6929 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31436

[startup+6.30175 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1815872/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=49828 CPUtime=6.28
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 12036 0 0 0 622 6 0 0 25 0 1 0 243471467 51023872 11813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 12457 11813 310 324 0 11527 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49828

[startup+12.702 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1779968/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=84928 CPUtime=12.69
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 20827 0 0 0 1258 11 0 0 25 0 1 0 243471467 86966272 20604 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 21232 20604 311 324 0 20302 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84928

[startup+25.5015 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1715456/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=147184 CPUtime=25.48
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 36387 0 0 0 2531 17 0 0 25 0 1 0 243471467 150716416 36164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 36796 36164 311 324 0 35866 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 147184

[startup+51.1014 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1652672/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=210784 CPUtime=51.07
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 52302 0 0 0 5081 26 0 0 25 0 1 0 243471467 215842816 52079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 52696 52079 311 324 0 51766 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 210784

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1465600/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=396188 CPUtime=102.25
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 98642 0 0 0 10175 50 0 0 25 0 1 0 243471467 405696512 98419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 99047 98419 311 324 0 98117 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 396188

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1337920/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=524972 CPUtime=162.22
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 130822 0 0 0 16155 67 0 0 25 0 1 0 243471467 537571328 130599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 131243 130599 311 324 0 130313 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 524972

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1192512/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=668388 CPUtime=222.2
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 166680 0 0 0 22134 86 0 0 25 0 1 0 243471467 684429312 166457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 167097 166457 311 324 0 166167 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 668388

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 12651
/proc/meminfo: memFree=1075264/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=786616 CPUtime=282.18
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 196243 0 0 0 28117 101 0 0 25 0 1 0 243471467 805494784 196020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 196654 196020 311 324 0 195724 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 786616

[startup+342.302 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 12651
/proc/meminfo: memFree=955648/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=904148 CPUtime=342.16
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 34101 115 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 226037 225419 311 324 0 225107 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 904148

[startup+402.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 12651
/proc/meminfo: memFree=955648/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=904148 CPUtime=402.13
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 40098 115 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 226037 225419 311 324 0 225107 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 904148

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12651
/proc/meminfo: memFree=955648/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=904148 CPUtime=462.11
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 46095 116 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 226037 225419 311 324 0 225107 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 904148

[startup+522.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/84 12717
/proc/meminfo: memFree=954352/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=904148 CPUtime=522.05
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225776 0 0 0 52089 116 0 0 25 0 1 0 243471467 925847552 225419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 226037 225419 311 324 0 225107 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 904148

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=955256/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=904268 CPUtime=581.97
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 225805 0 0 0 58080 117 0 0 25 0 1 0 243471467 925970432 225448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 226067 225448 311 324 0 225137 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 904268

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=807296/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1052240 CPUtime=641.95
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 262771 0 0 0 64061 134 0 0 25 0 1 0 243471467 1077493760 262414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 263060 262414 311 324 0 262130 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 1052240


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

/proc/meminfo: memFree=635200/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1061.78
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 106016 162 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1223888

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635136/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1121.77
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 112014 163 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 1223888

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635136/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1181.74
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 118011 163 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1223888

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1241.72
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 124008 164 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1223888

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1301.7
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 130006 164 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 1223888

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1361.68
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 136003 165 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 1223888

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1421.66
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 142001 165 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 1223888

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635072/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1481.64
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 147998 166 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2928278 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 1223888

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=635008/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1223888 CPUtime=1541.61
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 305908 0 0 0 153995 166 0 0 25 0 1 0 243471467 1253261312 305343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 305972 305343 311 324 0 305042 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 1223888

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=627840/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1231980 CPUtime=1601.58
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 307939 0 0 0 159991 167 0 0 25 0 1 0 243471467 1261547520 307374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2928124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 307995 307374 311 324 0 307065 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 1231980

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=563840/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1295068 CPUtime=1661.57
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 323698 0 0 0 165978 179 0 0 25 0 1 0 243471467 1326149632 323133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 323767 323133 311 324 0 322837 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 1295068

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=545920/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1313076 CPUtime=1721.55
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 328193 0 0 0 171971 184 0 0 25 0 1 0 243471467 1344589824 327628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 328269 327628 311 324 0 327339 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 1313076

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=531456/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1327344 CPUtime=1781.52
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 331763 0 0 0 177963 189 0 0 25 0 1 0 243471467 1359200256 331198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 331836 331198 311 324 0 330906 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 1327344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=516096/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.01
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4194304 335567 0 0 0 179810 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 335635 335002 311 324 0 334705 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1342540

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 12849
/proc/meminfo: memFree=516096/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.02
/proc/12650/stat : 12650 (bsolo3.0.17) S 12648 12650 12587 0 -1 4194304 335567 0 0 0 179811 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 335635 335002 311 324 0 334705 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1342540

[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.99 1/79 12850
/proc/meminfo: memFree=516024/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.02
/proc/12650/stat : 12650 (bsolo3.0.17) S 12648 12650 12587 0 -1 4194304 335567 0 0 0 179811 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 335635 335002 311 324 0 334705 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1342540

[startup+1802.6 s]
/proc/loadavg: 1.00 0.99 0.99 1/79 12850
/proc/meminfo: memFree=516024/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=1342540 CPUtime=1800.02
/proc/12650/stat : 12650 (bsolo3.0.17) S 12648 12650 12587 0 -1 4194304 335567 0 0 0 179811 191 0 0 25 0 1 0 243471467 1374760960 335002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 335635 335002 311 324 0 334705 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1342540

[startup+1803 s]
/proc/loadavg: 0.92 0.97 0.99 1/79 12850
/proc/meminfo: memFree=516024/2055920 swapFree=4169112/4192956
[pid=12650] ppid=12648 vsize=0 CPUtime=1800.22
/proc/12650/stat : 12650 (bsolo3.0.17) R 12648 12650 12587 0 -1 4195332 335567 0 0 0 179811 211 0 0 18 0 1 0 243471467 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/12650/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.02
CPU time (s): 1800.24
CPU user time (s): 1798.11
CPU system time (s): 2.12868
CPU usage (%): 99.8459
Max. virtual memory (cumulated for all children) (KiB): 1342540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.11
system time used= 2.12868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335567
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= 14
involuntary context switches= 38709

runsolver used 1.37979 second user time and 3.86141 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Mon Apr 30 17:52:23 UTC 2007

IDJOB= 433148
IDBENCH= 2300
IDSOLVER= 199
FILE ID= node23/433148-1177955543

PBS_JOBID= 4727717

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-ran8x32.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433148-1177955543/instance-433148-1177955543.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-433148-1177955543 -o ROOT/results/node23/solver-433148-1177955543 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433148-1177955543/instance-433148-1177955543.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  cbc794920cb33f20cfa2472a22fd5e8b

RANDOM SEED= 631311429

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1858848 kB
Buffers:         29412 kB
Cached:          79052 kB
SwapCached:       2512 kB
Active:          49396 kB
Inactive:        81716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858848 kB
SwapTotal:     4192956 kB
SwapFree:      4169112 kB
Dirty:            7020 kB
Writeback:           0 kB
Mapped:          30056 kB
Slab:            51556 kB
Committed_AS:  2970828 kB
PageTables:       1796 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 node23 on Mon Apr 30 18:22:27 UTC 2007