0.00/0.56	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.56	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.56	c type "bsolo -h" for help
0.00/0.56	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.56	c Time Limit set to 1800
0.00/0.56	c Memory Limit set to 1800 MB
0.00/0.56	c Instance file /tmp/evaluation/353940-1176689233/instance-353940-1176689233.opb
0.00/0.56	c File size is 266423 bytes.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.57	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.58	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.59	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.00/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Coefficients are big enough for not using lower bounding.
0.03/0.60	c Highest Coefficient sum: 9.68548e+11
0.03/0.60	c Parsing was ok!!
0.03/0.60	c Total parsing time: 0.041 s
0.03/0.60	c Var: 5239 Constr: 221 0/0/221 Lit: 25519 Watch. Lit: 15431
0.03/0.60	c Obj. Vars: 5239 (100 % of total variables)
0.03/0.66	c Pre-processing Time: 0.102 s
0.53/1.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.53/1.16	c        0   2421      221    25519  115    15466   51038      0      0 0.10
0.53/1.16	c      100   2421      321    39815  124    15889   56142    100    806 0.12
0.53/1.16	c      252   2421      473    78574  166    16953   61757    252   1377 0.18
0.53/1.16	c      477   2421      698   126079  180    17306   67933    477   1908 0.25
0.53/1.16	c      815   2421     1036   182568  176    18328   74727    815   2477 0.33
0.53/1.16	o 15773056	0.603
2.33/2.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.33/2.98	c     1155   2421     1377   270133  196    21722   55880   1156   1909 0.60
2.33/2.98	c     1255   2421     1477   282076  190    21533   61469   1256   2008 0.62
2.33/2.98	c     1513   2421     1735   314052  181    21652   67616   1514   2180 0.69
2.33/2.98	c     1988   2421     2210   548037  247    23214   74378   1989   1736 1.15
2.33/2.98	c     2803   2421     3025   745238  246    24144   81816   2804   1728 1.62
2.33/2.98	o 12055542	2.415
4.83/5.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.83/5.43	c     4116   2421     4339  1190260  274    29071   55880   4118   1702 2.42
4.83/5.43	c     4216   2421     4439  1205549  271    28563   61469   4218   1729 2.44
4.83/5.43	c     4467   2421     4690  1233308  262    29155   67616   4469   1762 2.53
4.83/5.43	c     4942   2421     5165  1455402  281    30542   74378   4944   1602 3.08
4.83/5.43	c     5755   2421     5978  1679985  281    31460   81816   5757   1671 3.44
4.83/5.43	c     7076   2421     7299  2255792  309    34698   89998   7078   1491 4.74
4.83/5.43	o 8549533	4.87
9.73/10.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.73/10.33	c     7228   2421     7452  2296923  308    36149   55880   7231   1483 4.87
9.73/10.33	c     7328   2421     7552  2337494  309    36720   61469   7331   1460 5.02
9.73/10.33	c     7578   2421     7802  2466488  316    36781   67616   7581   1387 5.46
9.73/10.33	c     8057   2421     8281  2557319  308    37229   74378   8060   1407 5.72
9.73/10.33	c     8875   2421     9099  3017098  331    39014   81816   8878   1239 7.16
9.73/10.33	c    10197   2421    10421  3772737  362    41258   89998  10200   1073 9.50
9.73/10.33	o 8545583	9.765
1799.92/1801.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.92/1801.19	c    10612   2421    10837  3853473  355    44404   55880  10616   1086 9.77
1799.92/1801.19	c    10712   2421    10937  3866800  353    43532   61469  10716   1093 9.80
1799.92/1801.19	c    10963   2421    11188  3898774  348    44024   67616  10967   1110 9.87
1799.92/1801.19	c    11438   2421    11663  3963384  339    44783   74378  11442   1147 9.97
1799.92/1801.19	c    12252   2421    12477  4100313  328    46254   81816  12256   1206 10.15
1799.92/1801.19	c    13574   2421    13799  4899668  355    49817   89998  13578   1085 12.50
1799.92/1801.19	c    15656   2421    15881  5531502  348    53068   98998  15660   1100 14.22
1799.92/1801.19	c    18879   2421    19104  6095687  319    59570  108898  18883   1172 16.10
1799.92/1801.19	c    23815   2421    24040  8722421  362    69847  119788  23819    822 28.95
1799.92/1801.19	c    31321   2421    31546 14202555  450    84986  131767  31325    499 62.73
1799.92/1801.19	c    42682   2421    42907 20171709  470   107369  144944  42686    453 94.22
1799.92/1801.19	c    59826   2421    60051 31087324  517   141547  159439  59830    322 185.24
1799.92/1801.19	c    85645   2421    85870 43087068  501   192578  175383  85649    327 261.57
1799.92/1801.19	c   124478   2421   124703 57783866  463   270398  192922 124482    289 430.32
1799.92/1801.19	c   182831   2421   183056 91720522  501   387641  212215 182835    218 837.02
1799.92/1801.19	c   270464   2421    66932 55344748  826   152577  233437  66711    181 1494.09
1799.92/1801.19	c Resources Exceeded
1799.92/1801.19	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 -x29
1799.92/1801.19	v -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 -x55
1799.92/1801.19	v -x56 -x57 -x58 -x59 -x60 -x2431 -x2432 -x2433 x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444
1799.92/1801.19	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2761
1799.92/1801.19	v x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1799.92/1801.19	v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x3091 -x3092 -x3093 -x3094 -x3095
1799.92/1801.19	v x3096 -x3097 x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1799.92/1801.19	v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
1799.92/1801.19	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447
1799.92/1801.19	v -x3448 -x3449 -x3450 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764
1799.92/1801.19	v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x4081
1799.92/1801.19	v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
1799.92/1801.19	v -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4411 -x4412 -x4413 -x4414 -x4415
1799.92/1801.19	v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432
1799.92/1801.19	v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749
1799.92/1801.19	v -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766
1799.92/1801.19	v -x4767 -x4768 -x4769 -x4770 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1799.92/1801.19	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1799.92/1801.19	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724
1799.92/1801.19	v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745
1799.92/1801.19	v -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1799.92/1801.19	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1799.92/1801.19	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
1799.92/1801.19	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1711 x1712 x1713 x1714 x1715
1799.92/1801.19	v x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734
1799.92/1801.19	v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x2041 x2042 x2043 -x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 -x2052 x2053
1799.92/1801.19	v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
1799.92/1801.19	v -x2341 -x2342 -x2343 -x2344 -x2345 x2346 x2347 -x2348 -x2349 x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358
1799.92/1801.19	v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375
1799.92/1801.19	v -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392
1799.92/1801.19	v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 -x2403 x2404 x2405 -x2406 x2407 -x2408 x2409 x2410
1799.92/1801.19	v x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
1799.92/1801.19	v -x2429 -x2430 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1799.92/1801.19	v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
1799.92/1801.19	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1799.92/1801.19	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1799.92/1801.19	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
1799.92/1801.19	v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
1799.92/1801.19	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577
1799.92/1801.19	v -x2578 -x2579 -x2580 x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1799.92/1801.19	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1799.92/1801.19	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1799.92/1801.19	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1799.92/1801.19	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1799.92/1801.19	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
1799.92/1801.19	v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1799.92/1801.19	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715
1799.92/1801.19	v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732
1799.92/1801.19	v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749
1799.92/1801.19	v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796
1799.92/1801.19	v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813
1799.92/1801.19	v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
1799.92/1801.19	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847
1799.92/1801.19	v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864
1799.92/1801.19	v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881
1799.92/1801.19	v x2882 x2883 x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899
1799.92/1801.19	v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916
1799.92/1801.19	v x2917 x2918 x2919 x2920 -x2921 x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934
1799.92/1801.19	v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1799.92/1801.19	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1799.92/1801.19	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
1799.92/1801.19	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
1799.92/1801.19	v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
1799.92/1801.19	v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
1799.92/1801.19	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1799.92/1801.19	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1799.92/1801.19	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1799.92/1801.19	v -x3088 -x3089 -x3090 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134
1799.92/1801.19	v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151
1799.92/1801.19	v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168
1799.92/1801.19	v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185
1799.92/1801.19	v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202
1799.92/1801.19	v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219
1799.92/1801.19	v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236
1799.92/1801.19	v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253
1799.92/1801.19	v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
1799.92/1801.19	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287
1799.92/1801.19	v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304
1799.92/1801.19	v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321
1799.92/1801.19	v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338
1799.92/1801.19	v -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355
1799.92/1801.19	v -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372
1799.92/1801.19	v -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389
1799.92/1801.19	v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406
1799.92/1801.19	v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3451 -x3452 -x3453
1799.92/1801.19	v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471
1799.92/1801.19	v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488
1799.92/1801.19	v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505
1799.92/1801.19	v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522
1799.92/1801.19	v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539
1799.92/1801.19	v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556
1799.92/1801.19	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573
1799.92/1801.19	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
1799.92/1801.19	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607
1799.92/1801.19	v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624
1799.92/1801.19	v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641
1799.92/1801.19	v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658
1799.92/1801.19	v -x3659 -x3660 x3661 x3662 -x3663 x3664 -x3665 x3666 -x3667 x3668 x3669 x3670 x3671 x3672 -x3673 x3674 -x3675 -x3676 -x3677
1799.92/1801.19	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694
1799.92/1801.19	v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711
1799.92/1801.19	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728
1799.92/1801.19	v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745
1799.92/1801.19	v -x3746 -x3747 -x3748 -x3749 -x3750 x3781 -x3782 x3783 -x3784 x3785 -x3786 x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1799.92/1801.19	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1799.92/1801.19	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1799.92/1801.19	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
1799.92/1801.19	v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
1799.92/1801.19	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
1799.92/1801.19	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1799.92/1801.19	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 -x3912
1799.92/1801.19	v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
1799.92/1801.19	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947
1799.92/1801.19	v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
1799.92/1801.19	v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981
1799.92/1801.19	v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 x3994 x3995 -x3996 x3997 -x3998 x3999
1799.92/1801.19	v -x4000 x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1799.92/1801.19	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1799.92/1801.19	v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051
1799.92/1801.19	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1799.92/1801.19	v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4111 -x4112 -x4113 -x4114 -x4115
1799.92/1801.19	v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132
1799.92/1801.19	v -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 x4143 -x4144 -x4145 x4146 -x4147 x4148 -x4149 -x4150
1799.92/1801.19	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
1799.92/1801.19	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184
1799.92/1801.19	v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201
1799.92/1801.19	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
1799.92/1801.19	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235
1799.92/1801.19	v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252
1799.92/1801.19	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269
1799.92/1801.19	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
1799.92/1801.19	v -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303
1799.92/1801.19	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
1799.92/1801.19	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
1799.92/1801.19	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354
1799.92/1801.19	v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
1799.92/1801.19	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1799.92/1801.19	v -x4389 -x4390 x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406
1799.92/1801.19	v -x4407 -x4408 -x4409 -x4410 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453
1799.92/1801.19	v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470
1799.92/1801.19	v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487
1799.92/1801.19	v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504
1799.92/1801.19	v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521
1799.92/1801.19	v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538
1799.92/1801.19	v -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555
1799.92/1801.19	v -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572
1799.92/1801.19	v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589
1799.92/1801.19	v -x4590 -x4591 -x4592 -x4593 -x4594 x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607
1799.92/1801.19	v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624
1799.92/1801.19	v x4625 -x4626 x4627 x4628 x4629 x4630 x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642
1799.92/1801.19	v -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659
1799.92/1801.19	v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
1799.92/1801.19	v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693
1799.92/1801.19	v -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710
1799.92/1801.19	v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727
1799.92/1801.19	v -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4771 -x4772 -x4773 -x4774
1799.92/1801.19	v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791
1799.92/1801.19	v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808
1799.92/1801.19	v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825
1799.92/1801.19	v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842
1799.92/1801.19	v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859
1799.92/1801.19	v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877
1799.92/1801.19	v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894
1799.92/1801.19	v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911
1799.92/1801.19	v -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928
1799.92/1801.19	v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945
1799.92/1801.19	v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 x4961 -x4962 x4963
1799.92/1801.19	v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980
1799.92/1801.19	v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997
1799.92/1801.19	v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014
1799.92/1801.19	v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031
1799.92/1801.19	v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
1799.92/1801.19	v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065
1799.92/1801.19	v -x5066 -x5067 -x5068 -x5069 -x5070 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1799.92/1801.19	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1799.92/1801.19	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1799.92/1801.19	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1799.92/1801.19	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1799.92/1801.19	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1799.92/1801.19	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1799.92/1801.19	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1799.92/1801.19	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1799.92/1801.19	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1799.92/1801.19	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1799.92/1801.19	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1799.92/1801.19	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1799.92/1801.19	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379
1799.92/1801.19	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
1799.92/1801.19	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451
1799.92/1801.19	v -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472
1799.92/1801.19	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493
1799.92/1801.19	v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514
1799.92/1801.19	v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535
1799.92/1801.19	v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556
1799.92/1801.19	v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577
1799.92/1801.19	v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598
1799.92/1801.19	v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619
1799.92/1801.19	v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1799.92/1801.19	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661
1799.92/1801.19	v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682
1799.92/1801.19	v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703
1799.92/1801.19	v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754
1799.92/1801.19	v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
1799.92/1801.19	v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796
1799.92/1801.19	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817
1799.92/1801.19	v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838
1799.92/1801.19	v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859
1799.92/1801.19	v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 x875 x876 -x877 x878 x879 x880 -x881
1799.92/1801.19	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1799.92/1801.19	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1799.92/1801.19	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1799.92/1801.19	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1799.92/1801.19	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1799.92/1801.19	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1799.92/1801.19	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1799.92/1801.19	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1799.92/1801.19	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086
1799.92/1801.19	v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103
1799.92/1801.19	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
1799.92/1801.19	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
1799.92/1801.19	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154
1799.92/1801.19	v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171
1799.92/1801.19	v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1799.92/1801.19	v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
1799.92/1801.19	v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222
1799.92/1801.19	v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239
1799.92/1801.19	v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256
1799.92/1801.19	v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273
1799.92/1801.19	v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
1799.92/1801.19	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307
1799.92/1801.19	v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324
1799.92/1801.19	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
1799.92/1801.19	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
1799.92/1801.19	v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
1799.92/1801.19	v -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422
1799.92/1801.19	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439
1799.92/1801.19	v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456
1799.92/1801.19	v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473
1799.92/1801.19	v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
1799.92/1801.19	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507
1799.92/1801.19	v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
1799.92/1801.19	v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541
1799.92/1801.19	v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558
1799.92/1801.19	v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
1799.92/1801.19	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592
1799.92/1801.19	v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609
1799.92/1801.19	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
1799.92/1801.19	v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
1799.92/1801.19	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1799.92/1801.19	v -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677
1799.92/1801.19	v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694
1799.92/1801.19	v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741
1799.92/1801.19	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1799.92/1801.19	v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1799.92/1801.19	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1799.92/1801.19	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1799.92/1801.19	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826
1799.92/1801.19	v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
1799.92/1801.19	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1799.92/1801.19	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
1799.92/1801.19	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1799.92/1801.19	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911
1799.92/1801.19	v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 x1923 x1924 x1925 x1926 -x1927 x1928 x1929
1799.92/1801.19	v x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947
1799.92/1801.19	v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
1799.92/1801.19	v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981
1799.92/1801.19	v x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1799.92/1801.19	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017
1799.92/1801.19	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1799.92/1801.19	v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1799.92/1801.19	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1799.92/1801.19	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1799.92/1801.19	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1799.92/1801.19	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1799.92/1801.19	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1799.92/1801.19	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1799.92/1801.19	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202
1799.92/1801.19	v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
1799.92/1801.19	v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 x2233 x2234 -x2235 -x2236 -x2237
1799.92/1801.19	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1799.92/1801.19	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1799.92/1801.19	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1799.92/1801.19	v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1799.92/1801.19	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1799.92/1801.19	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
1799.92/1801.19	v -x2340 x5071 -x5072 x5152 x5163 x5174 x5185 -x5196 -x5207 -x5218 -x5229 -x5073 -x5084 -x5095 -x5106 -x5117 x5128 x5139
1799.92/1801.19	v x5149 x5150 x5151 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5164 -x5165 -x5166 x5167 x5168
1799.92/1801.19	v -x5169 -x5170 -x5171 -x5172 -x5173 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 x5183 x5184 x5186 -x5187 -x5188
1799.92/1801.19	v -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 x5197 -x5198 -x5199 -x5200 x5201 x5202 -x5203 x5204 -x5205 -x5206 x5208
1799.92/1801.19	v x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 x5217 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 x5225 -x5226 -x5227
1799.92/1801.19	v -x5228 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080
1799.92/1801.19	v -x5081 -x5082 x5083 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 x5094 -x5096 -x5097 -x5098 -x5099 x5100
1799.92/1801.19	v -x5101 -x5102 -x5103 -x5104 -x5105 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5118 -x5119
1799.92/1801.19	v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 x5135 -x5136 x5137 x5138
1799.92/1801.19	v -x5140 -x5141 -x5142 -x5143 x5144 x5145 -x5146 -x5147 -x5148
1799.92/1801.19	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1801.19	c   37   308347  35963   469742   104815 80799497 104594    171 1800.02
1799.92/1801.19	c Objective: 8545583
1799.92/1801.19	s SATISFIABLE
1799.92/1801.19	c Total time: 1800.02 s

OK	8545583

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

command line: runsolver --timestamp -w ROOT/results/node46/watcher-353940-1176689233 -o ROOT/results/node46/solver-353940-1176689233 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353940-1176689233/instance-353940-1176689233.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 26291
/proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=2332 CPUtime=0
/proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 23606718 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7799815 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/26291/statm: 583 26 20 324 0 3 0

[startup+0.096657 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 26291
/proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=2332 CPUtime=0
/proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 23606718 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7799815 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/26291/statm: 583 26 20 324 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2332

[startup+0.101658 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 26291
/proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=2332 CPUtime=0
/proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 23606718 2387968 26 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7799815 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/26291/statm: 583 26 20 324 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2332

[startup+0.301695 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 26291
/proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=3780 CPUtime=0
/proc/26291/stat : 26291 (bsolo3.0.16) D 26289 26291 24522 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 23606718 3870720 155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/26291/statm: 945 155 129 324 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3780

[startup+0.701776 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 26291
/proc/meminfo: memFree=1848480/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=5804 CPUtime=0.13
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 937 0 5 0 13 0 0 0 18 0 1 0 23606718 5943296 808 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 0 0 0
/proc/26291/statm: 1451 808 312 324 0 520 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5804

[startup+1.50192 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 26292
/proc/meminfo: memFree=1843416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=11064 CPUtime=0.93
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 2267 0 5 0 91 2 0 0 25 0 1 0 23606718 11329536 2138 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 2766 2138 313 324 0 1835 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 11064

[startup+3.10121 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 26292
/proc/meminfo: memFree=1836760/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=21440 CPUtime=2.52
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 4851 0 5 0 249 3 0 0 25 0 1 0 23606718 21954560 4722 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 5360 4722 313 324 0 4429 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 21440

[startup+6.30181 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 26292
/proc/meminfo: memFree=1816160/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=38688 CPUtime=5.73
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 9175 0 5 0 566 7 0 0 25 0 1 0 23606718 39616512 9046 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 9672 9046 313 324 0 8741 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 38688

[startup+12.702 s]
/proc/loadavg: 0.94 0.99 0.99 2/66 26292
/proc/meminfo: memFree=1787176/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=67564 CPUtime=12.12
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 16406 0 5 0 1201 11 0 0 25 0 1 0 23606718 69185536 16277 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 16891 16277 313 324 0 15960 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 67564

[startup+25.5014 s]
/proc/loadavg: 0.95 0.99 0.99 2/66 26292
/proc/meminfo: memFree=1742632/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=109240 CPUtime=24.92
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 26809 0 5 0 2474 18 0 0 25 0 1 0 23606718 111861760 26680 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 27310 26680 313 324 0 26379 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 109240

[startup+51.1011 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 26292
/proc/meminfo: memFree=1684264/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=167584 CPUtime=50.51
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 41409 0 5 0 5025 26 0 0 25 0 1 0 23606718 171606016 41280 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 41896 41280 313 324 0 40965 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 167584

[startup+102.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 26292
/proc/meminfo: memFree=1558120/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=293028 CPUtime=101.7
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 72766 0 5 0 10124 46 0 0 25 0 1 0 23606718 300060672 72637 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 73257 72637 313 324 0 72326 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 293028

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=1470376/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=381096 CPUtime=161.67
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 94774 0 5 0 16107 60 0 0 25 0 1 0 23606718 390242304 94645 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 95274 94645 313 324 0 94343 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 381096

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=1358632/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=492164 CPUtime=221.65
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 122549 0 5 0 22086 79 0 0 25 0 1 0 23606718 503975936 122420 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 123041 122420 313 324 0 122110 0
Current children cumulated CPU time (s) 221.65
Current children cumulated vsize (KiB) 492164

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=1247144/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=604504 CPUtime=281.63
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 150626 0 5 0 28063 100 0 0 25 0 1 0 23606718 619012096 150497 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 151126 150497 313 324 0 150195 0
Current children cumulated CPU time (s) 281.63
Current children cumulated vsize (KiB) 604504

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=1175976/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=674320 CPUtime=341.61
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 168087 0 5 0 34046 115 0 0 25 0 1 0 23606718 690503680 167958 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 168580 167958 313 324 0 167649 0
Current children cumulated CPU time (s) 341.61
Current children cumulated vsize (KiB) 674320

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=1123048/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=727612 CPUtime=401.59
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 181396 0 5 0 40032 127 0 0 25 0 1 0 23606718 745074688 181267 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 181903 181267 313 324 0 180972 0
Current children cumulated CPU time (s) 401.59
Current children cumulated vsize (KiB) 727612

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=1069864/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=780416 CPUtime=461.57
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 194618 0 5 0 46020 137 0 0 25 0 1 0 23606718 799145984 194489 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 195104 194489 313 324 0 194173 0
Current children cumulated CPU time (s) 461.57
Current children cumulated vsize (KiB) 780416

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=987368/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=864044 CPUtime=521.55
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 215521 0 5 0 52004 151 0 0 25 0 1 0 23606718 884781056 215392 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 216011 215392 313 324 0 215080 0
Current children cumulated CPU time (s) 521.55
Current children cumulated vsize (KiB) 864044

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=899944/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=950300 CPUtime=581.53
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 237072 0 5 0 57987 166 0 0 25 0 1 0 23606718 973107200 236943 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 237575 236943 313 324 0 236644 0
Current children cumulated CPU time (s) 581.53
Current children cumulated vsize (KiB) 950300

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=827560/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1021688 CPUtime=641.51
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 254938 0 5 0 63970 181 0 0 25 0 1 0 23606718 1046208512 254809 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 255422 254809 313 324 0 254491 0
Current children cumulated CPU time (s) 641.51
Current children cumulated vsize (KiB) 1021688


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=569896/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1279172 CPUtime=881.43
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 319291 0 5 0 87917 226 0 0 25 0 1 0 23606718 1309872128 319162 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 319793 319162 313 324 0 318862 0
Current children cumulated CPU time (s) 881.43
Current children cumulated vsize (KiB) 1279172

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=458984/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1390628 CPUtime=941.41
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 347145 0 5 0 93896 245 0 0 25 0 1 0 23606718 1424003072 347016 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 347657 347016 313 324 0 346726 0
Current children cumulated CPU time (s) 941.41
Current children cumulated vsize (KiB) 1390628

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=385320/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1463656 CPUtime=1001.39
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 365416 0 5 0 99882 257 0 0 25 0 1 0 23606718 1498783744 365287 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 365914 365287 313 324 0 364983 0
Current children cumulated CPU time (s) 1001.39
Current children cumulated vsize (KiB) 1463656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285352/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1061.37
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 105865 272 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1061.37
Current children cumulated vsize (KiB) 1562496

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1121.34
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 111861 273 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1121.34
Current children cumulated vsize (KiB) 1562496

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1181.33
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 117857 276 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1181.33
Current children cumulated vsize (KiB) 1562496

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1241.31
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 123853 278 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8228278 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1241.31
Current children cumulated vsize (KiB) 1562496

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1301.29
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 129850 279 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1301.29
Current children cumulated vsize (KiB) 1562496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1361.27
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 135847 280 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1361.27
Current children cumulated vsize (KiB) 1562496

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1421.25
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 141844 281 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1421.25
Current children cumulated vsize (KiB) 1562496

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1481.23
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 147841 282 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8224920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1481.23
Current children cumulated vsize (KiB) 1562496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1541.21
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 153837 284 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1541.21
Current children cumulated vsize (KiB) 1562496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26292
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1601.19
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 159833 286 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1601.19
Current children cumulated vsize (KiB) 1562496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26294
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1661.17
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 165830 287 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1661.17
Current children cumulated vsize (KiB) 1562496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26294
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1721.15
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 171826 289 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1721.15
Current children cumulated vsize (KiB) 1562496

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26294
/proc/meminfo: memFree=285416/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=1562496 CPUtime=1781.12
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194304 390344 0 5 0 177823 289 0 0 25 0 1 0 23606718 1599995904 390003 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 390624 390003 313 324 0 389693 0
Current children cumulated CPU time (s) 1781.12
Current children cumulated vsize (KiB) 1562496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26294
/proc/meminfo: memFree=312104/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=0 CPUtime=1800.02
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194308 390345 0 5 0 179711 291 0 0 17 0 1 0 23606718 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26294
/proc/meminfo: memFree=312104/2055920 swapFree=4184528/4192956
[pid=26291] ppid=26289 vsize=0 CPUtime=1800.21
/proc/26291/stat : 26291 (bsolo3.0.16) R 26289 26291 24522 0 -1 4194308 390345 0 5 0 179711 310 0 0 18 0 1 0 23606718 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26291/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.48
CPU time (s): 1800.27
CPU user time (s): 1797.12
CPU system time (s): 3.14852
CPU usage (%): 99.9326
Max. virtual memory (cumulated for all children) (KiB): 1563344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.12
system time used= 3.14852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390345
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 3272

runsolver used 1.16182 second user time and 3.77543 second system time

The end

Begin job on node46 on Mon Apr 16 02:07:17 UTC 2007

IDJOB= 353940
IDBENCH= 2296
IDSOLVER= 163
FILE ID= node46/353940-1176689233

PBS_JOBID= 4559958

Free space on /tmp= 66168 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-ran13x13.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353940-1176689233/instance-353940-1176689233.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-353940-1176689233 -o ROOT/results/node46/solver-353940-1176689233 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353940-1176689233/instance-353940-1176689233.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f6afca2947f6ff68bd855d0ea2ea59a9

RANDOM SEED= 660465474

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1848824 kB
Buffers:          9280 kB
Cached:         128672 kB
SwapCached:       2672 kB
Active:          79244 kB
Inactive:        69656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848824 kB
SwapTotal:     4192956 kB
SwapFree:      4184528 kB
Dirty:            4784 kB
Writeback:           0 kB
Mapped:          17236 kB
Slab:            44144 kB
Committed_AS:  1663140 kB
PageTables:       1476 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= 66168 MiB

End job on node46 on Mon Apr 16 02:37:21 UTC 2007