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

OK	17520987

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-353960-1176689468 -o ROOT/results/node29/solver-353960-1176689468 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353960-1176689468/instance-353960-1176689468.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: 1.00 1.00 1.00 3/77 3223
/proc/meminfo: memFree=1811280/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=12136 CPUtime=0
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 116862577 12427264 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 3034 335 281 324 0 2003 0

[startup+0.088691 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 3223
/proc/meminfo: memFree=1811280/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=6220 CPUtime=0.07
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 1057 0 0 0 7 0 0 0 18 0 1 0 116862577 6369280 925 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 1555 925 305 324 0 624 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6220

[startup+0.101692 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 3223
/proc/meminfo: memFree=1811280/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=6220 CPUtime=0.09
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 1057 0 0 0 9 0 0 0 18 0 1 0 116862577 6369280 925 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 1555 925 305 324 0 624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6220

[startup+0.301711 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 3223
/proc/meminfo: memFree=1811280/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=7132 CPUtime=0.28
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 1381 0 1 0 27 1 0 0 18 0 1 0 116862577 7303168 1157 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551936 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3223/statm: 1783 1157 312 324 0 852 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7132

[startup+0.70174 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 3223
/proc/meminfo: memFree=1811280/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=10860 CPUtime=0.68
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 2293 0 1 0 67 1 0 0 21 0 1 0 116862577 11120640 2069 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3223/statm: 2715 2069 312 324 0 1784 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10860

[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1801480/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=16500 CPUtime=1.47
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 3729 0 1 0 145 2 0 0 25 0 1 0 116862577 16896000 3505 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4558917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 4125 3505 312 324 0 3194 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16500

[startup+3.10188 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1793160/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=31564 CPUtime=3.08
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 7493 0 1 0 304 4 0 0 25 0 1 0 116862577 32321536 7269 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 7891 7270 312 324 0 6960 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31564

[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1768520/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=49828 CPUtime=6.27
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 12038 0 1 0 621 6 0 0 25 0 1 0 116862577 51023872 11814 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 12457 11814 312 324 0 11526 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 49828

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1732872/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=84796 CPUtime=12.67
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 20793 0 1 0 1255 12 0 0 25 0 1 0 116862577 86831104 20569 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 21199 20569 313 324 0 20268 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 84796

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1669000/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=146672 CPUtime=25.46
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 36272 0 1 0 2522 24 0 0 25 0 1 0 116862577 150192128 36048 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 36668 36048 313 324 0 35737 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 146672

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1606344/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=210144 CPUtime=51.05
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 52141 0 1 0 5070 35 0 0 25 0 1 0 116862577 215187456 51917 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 52536 51917 313 324 0 51605 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 210144

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1419720/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=394524 CPUtime=102.24
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 98223 0 1 0 10156 68 0 0 25 0 1 0 116862577 403992576 97999 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 98631 97999 313 324 0 97700 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 394524

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1292232/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=522952 CPUtime=162.23
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 130324 0 1 0 16134 89 0 0 25 0 1 0 116862577 535502848 130100 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 130738 130100 313 324 0 129807 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 522952

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1147208/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=666444 CPUtime=222.21
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 166199 0 1 0 22112 109 0 0 25 0 1 0 116862577 682438656 165975 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 166611 165975 313 324 0 165680 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 666444

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=1031112/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=783352 CPUtime=282.2
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 195436 0 1 0 28096 124 0 0 25 0 1 0 116862577 802152448 195212 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 195838 195212 313 324 0 194907 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 783352

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=908424/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=904148 CPUtime=342.19
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 225779 0 1 0 34074 145 0 0 25 0 1 0 116862577 925847552 225421 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 226037 225421 313 324 0 225106 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 904148

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=908424/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=904148 CPUtime=402.18
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 225779 0 1 0 40068 150 0 0 25 0 1 0 116862577 925847552 225421 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 226037 225421 313 324 0 225106 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 904148

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=908360/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=904148 CPUtime=462.17
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 225779 0 1 0 46062 155 0 0 25 0 1 0 116862577 925847552 225421 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 226037 225421 313 324 0 225106 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 904148

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=908360/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=904148 CPUtime=522.15
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 225779 0 1 0 52054 161 0 0 25 0 1 0 116862577 925847552 225421 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 226037 225421 313 324 0 225106 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 904148

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=908296/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=904260 CPUtime=582.14
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 225807 0 1 0 58047 167 0 0 25 0 1 0 116862577 925962240 225449 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 226065 225449 313 324 0 225134 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 904260

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=767624/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1044640 CPUtime=642.13
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 260881 0 1 0 64022 191 0 0 25 0 1 0 116862577 1069711360 260523 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 261160 260523 313 324 0 260229 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1044640


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

[startup+882.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 3224
/proc/meminfo: memFree=587656/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=882.08
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305901 0 1 0 87983 225 0 0 25 0 1 0 116862577 1253261312 305335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305335 313 324 0 305041 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1223888

[startup+942.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 3224
/proc/meminfo: memFree=587656/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=942.06
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 93978 228 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1223888

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587656/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1002.05
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 99971 234 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4562629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1223888

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587592/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1062.04
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 105964 240 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 1223888

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587592/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1122.02
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 111960 242 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1223888

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587528/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1182.01
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 117954 247 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1223888

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587464/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1242
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 123950 250 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1223888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587400/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1301.99
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 129944 255 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1223888

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587272/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1361.97
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 135939 258 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134571998 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1223888

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587272/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1421.96
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 141933 263 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1223888

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587208/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1481.94
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 147928 266 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1223888

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3224
/proc/meminfo: memFree=587144/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1541.93
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 153924 269 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1223888

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3226
/proc/meminfo: memFree=586568/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1223888 CPUtime=1601.92
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 305911 0 1 0 159921 271 0 0 25 0 1 0 116862577 1253261312 305345 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 305972 305345 313 324 0 305041 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1223888

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 3226
/proc/meminfo: memFree=518536/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1291980 CPUtime=1661.9
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 322921 0 1 0 165901 289 0 0 25 0 1 0 116862577 1322987520 322355 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 322995 322355 313 324 0 322064 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1291980

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 3226
/proc/meminfo: memFree=499400/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1311008 CPUtime=1721.9
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 327699 0 1 0 171891 299 0 0 25 0 1 0 116862577 1342472192 327133 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 327752 327133 313 324 0 326821 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1311008

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3226
/proc/meminfo: memFree=484872/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=1325412 CPUtime=1781.88
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194304 331291 0 1 0 177882 306 0 0 25 0 1 0 116862577 1357221888 330725 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 331353 330725 313 324 0 330422 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1325412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3226
/proc/meminfo: memFree=728520/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=0 CPUtime=1800.08
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194308 332321 0 1 0 179696 312 0 0 17 0 1 0 116862577 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 3227
/proc/meminfo: memFree=1378688/2055920 swapFree=4156052/4192956
[pid=3223] ppid=3221 vsize=0 CPUtime=1800.19
/proc/3223/stat : 3223 (bsolo3.0.16) R 3221 3223 1730 0 -1 4194308 332321 0 1 0 179696 323 0 0 18 0 1 0 116862577 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3223/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.26
CPU user time (s): 1796.96
CPU system time (s): 3.2925
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 1329528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.96
system time used= 3.2925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332321
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 36920

runsolver used 2.29365 second user time and 4.08338 second system time

The end

Begin job on node29 on Mon Apr 16 02:11:08 UTC 2007

IDJOB= 353960
IDBENCH= 2300
IDSOLVER= 163
FILE ID= node29/353960-1176689468

PBS_JOBID= 4559998

Free space on /tmp= 66527 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/353960-1176689468/instance-353960-1176689468.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-353960-1176689468 -o ROOT/results/node29/solver-353960-1176689468 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353960-1176689468/instance-353960-1176689468.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  cbc794920cb33f20cfa2472a22fd5e8b

RANDOM SEED= 279613591

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:       1811752 kB
Buffers:         34000 kB
Cached:         112704 kB
SwapCached:       1944 kB
Active:          51540 kB
Inactive:       120064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811752 kB
SwapTotal:     4192956 kB
SwapFree:      4156052 kB
Dirty:            4796 kB
Writeback:           0 kB
Mapped:          39824 kB
Slab:            58028 kB
Committed_AS:  1969900 kB
PageTables:       1876 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= 66527 MiB

End job on node29 on Mon Apr 16 02:41:11 UTC 2007