0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433182-1177956014/instance-433182-1177956014.opb
0.00/0.00	c File size is 808805 bytes.
0.01/0.01	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Highest Coefficient sum: 1.93274e+11
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.126 s
0.09/0.13	c Var: 8600 Constr: 3042 600/400/2042 Lit: 66230 Watch. Lit: 16192
0.09/0.13	c Obj. Vars: 5400 (62.7907 % of total variables)
0.59/0.69	c Pre-processing Time: 0.692 s
3.30/3.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.34	c        0   7840     3002    65640   21    24486  127880      0      0 0.69
3.30/3.34	c      100   7840     3102    75379   24    31594  140669    100    129 0.77
3.30/3.34	c      250   7840     3252    87549   26    31935  154736    250    294 0.85
3.30/3.34	c      475   7840     3477    96578   27    32454  170210    475    501 0.95
3.30/3.34	c      813   7840     3815   103345   27    28153  187232    813    766 1.06
3.30/3.34	c     1321   7840     4323   144506   33    30499  205956   1321    947 1.39
3.30/3.34	c     2085   7840     5087   176794   34    30695  226552   2085   1136 1.83
3.30/3.34	c     3232   7840     6234   285389   45    34011  249208   3232   1255 2.57
3.30/3.34	o 11806720	3.34
3.69/3.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.71	c     4604   7840     7607   350047   46    42416  138680   4605   1375 3.35
3.69/3.71	c     4705   7840     7708   358112   46    43192  152549   4706   1356 3.47
3.69/3.71	c     4959   7840     7962   370746   46    42672  167804   4960   1369 3.62
3.69/3.71	o 9838592	3.714
7.29/7.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.31	c     5110   7840     8114   378667   46    47683  138680   5112   1374 3.72
7.29/7.31	c     5210   7840     8214   393955   47    49551  152549   5212   1320 3.94
7.29/7.31	c     5466   7840     8470   408686   48    51428  167804   5468   1347 4.06
7.29/7.31	c     5941   7840     8945   448528   50    52600  184585   5943   1372 4.33
7.29/7.31	c     6754   7840     9758   571905   58    51016  203044   6756   1236 5.46
7.29/7.31	c     8074   7840    11078   635927   57    54891  223349   8076   1270 6.35
7.29/7.31	o 9715712	7.307
14.69/14.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.69/14.76	c     9528   7840    12533   730832   58    63252  138680   9531   1302 7.31
14.69/14.76	c     9630   7840    12635   739147   58    62876  152549   9633   1287 7.48
14.69/14.76	c     9880   7840    12885   751113   58    62813  167804   9883   1285 7.69
14.69/14.76	c    10355   7840    13360   767906   57    64263  184585  10358   1301 7.96
14.69/14.76	c    11168   7840    14173   871341   61    66284  203044  11171   1235 9.04
14.69/14.76	c    12488   7840    15493  1009410   65    69244  223349  12491   1207 10.34
14.69/14.76	c    14570   7840    17575  1235009   70    73585  245684  14573   1087 13.40
14.69/14.76	o 9626624	14.754
15.59/15.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.59/15.64	c    15781   7840    18787  1366005   72    80872  138680  15785   1069 14.76
15.59/15.64	c    15882   7840    18888  1376925   72    80678  152549  15886   1056 15.04
15.59/15.64	c    16143   7840    19149  1400355   73    81208  167804  16147   1052 15.34
15.59/15.64	o 6312960	15.636
27.18/27.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.18/27.25	c    16428   7840    19435  1423002   73    87166  138680  16433   1050 15.64
27.18/27.25	c    16528   7840    19535  1430068   73    87765  152549  16533   1041 15.87
27.18/27.25	c    16779   7840    19786  1461539   73    89346  167804  16784   1038 16.16
27.18/27.25	c    17254   7840    20261  1496908   73    89463  184585  17259   1026 16.82
27.18/27.25	c    18068   7840    21075  1681654   79    91714  203044  18073    950 19.01
27.18/27.25	c    19388   7840    22395  1876760   83    94874  223349  19393    840 23.05
27.18/27.25	c    21470   7838    24477  2057882   84    96842  245684  21475    825 26.00
27.18/27.25	o 4874240	27.246
37.17/37.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.17/37.29	c    22091   7838    25099  2132149   84   104755  138680  22097    810 27.25
37.17/37.29	c    22193   7838    25201  2145953   85   104918  152549  22199    805 27.54
37.17/37.29	c    22446   7838    25454  2177353   85   104167  167804  22452    798 28.11
37.17/37.29	c    22924   7838    25932  2250183   86   105312  184585  22930    778 29.44
37.17/37.29	c    23737   7838    26745  2334687   87   109270  203044  23743    758 31.30
37.17/37.29	c    25059   7837    28067  2549828   90   111632  223349  25065    694 36.07
37.17/37.29	o 3348480	37.276
84.96/85.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
84.96/85.17	c    25766   7837    28775  2602507   90   118230  138678  25773    691 37.28
84.96/85.17	c    25867   7837    28876  2618266   90   116843  152546  25874    686 37.69
84.96/85.17	c    26117   7837    29126  2654419   91   120392  167801  26124    675 38.67
84.96/85.17	c    26592   7837    29601  2714213   91   118894  184582  26599    657 40.42
84.96/85.17	c    27406   7837    30415  2894290   95   120676  203041  27413    618 44.31
84.96/85.17	c    28727   7836    31736  3123089   98   122827  223346  28734    592 48.48
84.96/85.17	c    30813   7835    33822  3611686  106   127537  245681  30820    538 57.27
84.96/85.17	c    34036   7833    37045  4241797  114   133086  270250  34043    484 70.26
84.96/85.17	o 2736128	85.045
218.82/219.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
218.82/219.09	c    37086   7833    40096  4984336  124   145665  138670  37094    436 85.05
218.82/219.09	c    37187   7833    40197  5008755  124   145917  152538  37195    435 85.46
218.82/219.09	c    37438   7833    40448  5095749  125   145830  167792  37446    433 86.46
218.82/219.09	c    37913   7833    40923  5236948  127   146071  184572  37921    426 88.93
218.82/219.09	c    38726   7833    41736  5407270  129   150048  203030  38734    416 92.90
218.82/219.09	c    40046   7833    43056  5794292  134   152358  223334  40054    395 101.29
218.82/219.09	c    42129   7833    45139  6324820  140   154979  245668  42137    360 116.90
218.82/219.09	c    45352   7832    48362  7054916  145   161372  270235  45360    337 134.32
218.82/219.09	c    50289   7832    53299  8459909  158   174712  297259  50297    299 167.65
218.82/219.09	o 2245632	218.914
307.90/308.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
307.90/308.16	c    56679   7830    59690 10299746  172   190756  138664  56688    258 218.92
307.90/308.16	c    56780   7830    59791 10338093  172   191527  152531  56789    257 220.33
307.90/308.16	c    57030   7830    60041 10462513  174   192033  167785  57039    256 222.60
307.90/308.16	c    57506   7830    60517 10582204  174   190769  184564  57515    254 225.69
307.90/308.16	c    58319   7830    61330 10778992  175   194119  203021  58328    251 232.16
307.90/308.16	c    59640   7830    62651 11133429  177   194350  223324  59649    246 241.76
307.90/308.16	c    61723   7830    64734 11800323  182   200064  245657  61732    235 262.08
307.90/308.16	c    64950   7829    67961 12922024  190   206677  270223  64959    217 298.99
307.90/308.16	o 1868800	307.958
313.70/313.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
313.70/313.92	c    65978   7828    68990 13173474  190   213675  138660  65988    214 307.96
313.70/313.92	c    66078   7828    69090 13215384  191   214352  152527  66088    213 308.89
313.70/313.92	c    66330   7828    69342 13333314  192   217171  167780  66340    212 311.44
313.70/313.92	o 765952	313.721
456.55/456.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
456.55/456.87	c    66529   7828    69542 13433778  193   220385  138660  66540    212 313.73
456.55/456.87	c    66629   7828    69642 13469301  193   220428  152527  66640    211 315.07
456.55/456.87	c    66880   7828    69893 13545642  193   223305  167780  66891    210 317.75
456.55/456.87	c    67355   7828    70368 13687400  194   221545  184559  67366    210 320.45
456.55/456.87	c    68172   7828    71185 13899505  195   222137  203015  68183    207 329.14
456.55/456.87	c    69492   7828    72505 14434694  199   226555  223317  69503    202 343.19
456.55/456.87	c    71573   7827    74586 15048276  201   231570  245649  71584    193 370.07
456.55/456.87	c    74796   7825    77809 16073110  206   237462  270214  74807    183 408.26
456.55/456.87	o 284672	456.638
522.64/522.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
522.64/522.96	c    78442   7823    81456 17493630  214   250367  138654  78454    171 456.64
522.64/522.96	c    78544   7823    81558 17538488  215   249379  152520  78556    171 458.32
522.64/522.96	c    78794   7823    81808 17614862  215   251723  167773  78806    169 463.54
522.64/522.96	c    79269   7823    82283 17746690  215   251053  184551  79281    168 471.15
522.64/522.96	c    80088   7823    83102 17997476  216   254002  203007  80100    166 480.24
522.64/522.96	c    81409   7821    84423 18387837  217   256722  223308  81421    162 500.03
522.64/522.96	o 256000	522.711
704.39/704.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
704.39/704.77	c    82924   7819    85939 18900510  219   264397  138648  82937    158 522.72
704.39/704.77	c    83025   7819    86040 18914316  219   264743  152513  83038    158 524.04
704.39/704.77	c    83275   7819    86290 18998072  220   264380  167765  83288    157 529.46
704.39/704.77	c    83750   7819    86765 19147133  220   265659  184542  83763    155 537.59
704.39/704.77	c    84564   7817    87579 19457499  222   266878  202997  84577    153 549.26
704.39/704.77	c    85886   7813    88901 19956825  224   271304  223297  85899    150 569.13
704.39/704.77	c    87968   7812    90983 20579011  226   275677  245627  87981    146 600.23
704.39/704.77	c    91192   7808    94207 21563603  228   279380  270190  91205    137 661.10
704.39/704.77	o 248832	704.476
763.18/763.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
763.18/763.50	c    93512   7807    96528 22310439  231   290903  138630  93526    132 704.48
763.18/763.50	c    93613   7807    96629 22337627  231   290685  152494  93627    132 705.80
763.18/763.50	c    93863   7807    96879 22408043  231   292810  167744  93877    132 709.17
763.18/763.50	c    94340   7807    97356 22560800  231   291537  184519  94354    131 718.60
763.18/763.50	c    95154   7806    98170 22813160  232   293827  202971  95168    129 732.02
763.18/763.50	c    96474   7805    99490 23284963  234   298031  223269  96488    127 756.96
763.18/763.50	o 244736	763.19
766.38/766.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
766.38/766.70	c    96832   7805    99849 23457551  234   303588  138626  96847    126 763.20
766.38/766.70	c    96932   7805    99949 23485143  234   302491  152489  96947    126 764.61
766.38/766.70	o 221184	766.389
792.37/792.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
792.37/792.78	c    97024   7805   100042 23538864  235   308263  138626  97040    126 766.40
792.37/792.78	c    97124   7805   100142 23593036  235   309181  152489  97140    126 767.92
792.37/792.78	c    97374   7805   100392 23672763  235   309604  167738  97390    126 771.84
792.37/792.78	c    97854   7805   100872 23874011  236   312396  184512  97870    125 781.46
792.37/792.78	o 216064	792.467
800.38/800.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
800.38/800.77	c    98446   7805   101465 24073499  237   316356  138626  98463    124 792.47
800.38/800.77	c    98547   7804   101566 24126892  237   319039  152489  98564    123 794.80
800.38/800.77	c    98797   7804   101816 24208250  237   319050  167738  98814    123 799.64
800.38/800.77	o 187392	800.447
810.96/811.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
810.96/811.34	c    98842   7804   101862 24240167  237   322331  138626  98860    123 800.45
810.96/811.34	c    98942   7804   101962 24272396  238   323512  152489  98960    123 802.49
810.96/811.34	c    99192   7804   102212 24409565  238   325837  167738  99210    122 806.82
810.96/811.34	o 184320	811.015
853.86/854.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
853.86/854.29	c    99568   7804   102589 24541746  239   330006  138626  99587    122 811.02
853.86/854.29	c    99669   7804   102690 24553805  239   329241  152489  99688    122 812.32
853.86/854.29	c    99921   7804   102942 24639590  239   330288  167738  99940    122 816.78
853.86/854.29	c   100396   7804   103417 24794515  239   331758  184512 100415    121 827.54
853.86/854.29	c   101209   7804   104230 25066174  240   333215  202964 101228    119 843.71
853.86/854.29	o 130048	853.961
887.75/888.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
887.75/888.16	c   101733   7804   104755 25250927  241   339138  138626 101753    119 853.97
887.75/888.16	c   101833   7804   104855 25302590  241   340840  152489 101853    118 855.81
887.75/888.16	c   102084   7804   105106 25397209  241   339508  167738 102104    118 861.69
887.75/888.16	c   102562   7803   105584 25612789  242   341237  184512 102582    117 871.20
887.75/888.16	c   103378   7803   106400 25986251  244   342102  202964 103398    116 886.81
887.75/888.16	o 129024	887.815
900.45/900.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
900.45/900.88	c   103422   7803   106445 25995392  244   347007  138626 103443    116 887.82
900.45/900.88	c   103522   7803   106545 26046564  244   350619  152489 103543    116 890.67
900.45/900.88	c   103774   7803   106797 26131331  244   350777  167738 103795    115 897.01
900.45/900.88	o 120832	900.533
919.94/920.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
919.94/920.35	c   103960   7803   106984 26216020  245   354843  138626 103982    115 900.54
919.94/920.35	c   104061   7803   107085 26253221  245   354672  152489 104083    115 902.89
919.94/920.35	c   104311   7803   107335 26338737  245   355915  167738 104333    114 907.80
919.94/920.35	c   104787   7803   107811 26489443  245   355521  184512 104809    114 914.85
919.94/920.35	o 115712	919.996
955.33/955.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
955.33/955.70	c   105007   7803   108032 26571493  245   361771  138626 105030    114 920.00
955.33/955.70	c   105109   7803   108134 26592072  245   361629  152489 105132    114 921.82
955.33/955.70	c   105359   7803   108384 26707825  246   363964  167738 105382    113 927.79
955.33/955.70	c   105834   7802   108859 26897113  247   364131  184512 105857    112 938.94
955.33/955.70	o 114688	955.345
962.72/963.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
962.72/963.18	c   106592   7798   109618 27204373  248   370235  138620 106616    111 955.35
962.72/963.18	c   106692   7798   109718 27231086  248   370494  152483 106716    111 958.80
962.72/963.18	o 37888	962.821
1041.81/1042.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1041.81/1042.26	c   106854   7798   109881 27299102  248   376135  138620 106879    110 962.83
1041.81/1042.26	c   106955   7798   109982 27324629  248   377293  152483 106980    110 965.15
1041.81/1042.26	c   107207   7797   110234 27402753  248   378831  167732 107232    110 972.22
1041.81/1042.26	c   107682   7793   110709 27541562  248   378050  184506 107707    109 981.57
1041.81/1042.26	c   108496   7793   111523 27796813  249   381659  202957 108521    108 1001.11
1041.81/1042.26	c   109817   7791   112844 28263295  250   383713  223253 109842    106 1033.45
1041.81/1042.26	o 35840	1041.88
1091.10/1091.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1091.10/1091.59	c   110246   7790   113274 28448875  251   388836  138610 110272    105 1041.89
1091.10/1091.59	c   110348   7790   113376 28487749  251   389801  152472 110374    105 1044.91
1091.10/1091.59	c   110598   7789   113626 28554654  251   390329  167720 110624    105 1050.23
1091.10/1091.59	c   111074   7788   114102 28708031  251   392462  184493 111100    104 1061.81
1091.10/1091.59	c   111888   7785   114916 28940185  251   392821  202943 111914    103 1080.79
1091.10/1091.59	o 33792	1091.2
1121.59/1122.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1121.59/1122.09	c   112352   7785   115381 29096032  252   398371  138600 112379    102 1091.21
1121.59/1122.09	c   112453   7785   115482 29126031  252   398465  152461 112480    102 1093.45
1121.59/1122.09	c   112704   7785   115733 29215721  252   400214  167708 112731    102 1097.68
1121.59/1122.09	c   113179   7783   116208 29313076  252   401841  184479 113206    102 1108.41
1121.59/1122.09	o 31744	1121.69
1141.19/1141.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1141.19/1141.68	c   113939   7783   116969 29586267  252   406534  138598 113967    101 1121.70
1141.19/1141.68	c   114041   7783   117071 29617015  252   406895  152458 114069    101 1124.32
1141.19/1141.68	c   114294   7783   117324 29709049  253   408993  167704 114322    101 1130.99
1141.19/1141.68	c   114770   7783   117800 29786849  252   408430  184475 114798    100 1137.57
1141.19/1141.68	o 25600	1141.28
1145.99/1146.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1145.99/1146.41	c   114919   7783   117950 29831063  252   413734  138598 114948    100 1141.29
1145.99/1146.41	c   115020   7783   118051 29851557  252   414407  152458 115049    100 1143.32
1145.99/1146.41	o 23552	1146.01
1186.88/1187.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1186.88/1187.39	c   115167   7783   118199 29899598  252   419372  138598 115197    100 1146.02
1186.88/1187.39	c   115271   7783   118303 29923800  252   422063  152458 115301    100 1147.66
1186.88/1187.39	c   115521   7783   118553 30031472  253   421307  167704 115551    100 1154.75
1186.88/1187.39	c   115997   7783   119029 30150520  253   421387  184475 116027     99 1165.30
1186.88/1187.39	c   116810   7783   119842 30422401  253   424915  202923 116840     98 1185.80
1186.88/1187.39	o 22528	1186.97
1190.37/1190.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1190.37/1190.88	c   116847   7783   119880 30436739  253   428285  138598 116878     98 1186.98
1190.37/1190.88	c   116947   7783   119980 30477063  254   431283  152458 116978     98 1189.37
1190.37/1190.88	o 21504	1190.47
1191.37/1191.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1191.37/1191.86	c   116981   7783   120015 30495292  254   434054  138598 117013     98 1190.47
1191.37/1191.86	o 18432	1191.44
1198.07/1198.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1198.07/1198.58	c   117033   7783   120068 30509808  254   439485  138598 117066     98 1191.45
1198.07/1198.58	c   117135   7783   120170 30531756  254   439587  152458 117168     98 1193.25
1198.07/1198.58	o 17408	1198.16
1208.37/1208.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1208.37/1208.84	c   117360   7782   120396 30571681  253   445428  138596 117394     97 1198.17
1208.37/1208.84	c   117460   7782   120496 30599819  253   446950  152456 117494     97 1200.00
1208.37/1208.84	c   117710   7782   120746 30736782  254   447634  167702 117744     97 1204.95
1208.37/1208.84	o 16384	1208.42
1226.37/1226.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1226.37/1226.80	c   118016   7782   121053 30772888  254   452550  138596 118051     97 1208.42
1226.37/1226.80	c   118116   7782   121153 30800988  254   452206  152456 118151     97 1211.17
1226.37/1226.80	c   118366   7782   121403 30879724  254   455144  167702 118401     97 1218.93
1226.37/1226.80	o 15360	1226.37
1231.96/1232.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1231.96/1232.46	c   118754   7782   121792 30961609  254   459151  138596 118790     96 1226.38
1231.96/1232.46	c   118855   7782   121893 30981861  254   459433  152456 118891     96 1228.95
1231.96/1232.46	o 14336	1232.03
1240.66/1241.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1240.66/1241.12	c   118945   7781   121984 31022101  254   464956  138594 118982     96 1232.04
1240.66/1241.12	c   119045   7780   122084 31059184  254   464975  152454 119082     96 1236.27
1240.66/1241.12	o 13312	1240.69
1256.05/1256.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1256.05/1256.55	c   119247   7780   122287 31121826  254   471147  138592 119285     96 1240.69
1256.05/1256.55	c   119350   7779   122390 31155342  254   473208  152452 119388     95 1243.36
1256.05/1256.55	c   119602   7779   122642 31269604  254   470460  167698 119640     95 1249.09
1256.05/1256.55	o 12288	1256.12
1266.46/1266.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1266.46/1266.92	c   119962   7779   123003 31370661  255   477860  138592 120001     95 1256.12
1266.46/1266.92	c   120062   7779   123103 31417619  255   479188  152452 120101     95 1259.55
1266.46/1266.92	c   120312   7778   123353 31477931  255   479472  167698 120351     95 1265.11
1266.46/1266.92	o 11264	1266.48
1317.55/1318.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1317.55/1318.03	c   120394   7778   123436 31494174  255   483937  138590 120434     95 1266.49
1317.55/1318.03	c   120498   7778   123540 31511008  255   485514  152450 120538     94 1268.83
1317.55/1318.03	c   120749   7776   123791 31602325  255   487494  167696 120789     94 1275.75
1317.55/1318.03	c   121226   7775   124268 31797059  255   486101  184466 121266     94 1288.11
1317.55/1318.03	c   122039   7772   125081 32021769  256   488043  202913 122079     93 1311.51
1317.55/1318.03	o 10240	1317.58
1321.84/1322.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1321.84/1322.31	c   122324   7769   125367 32077000  255   493064  138576 122365     92 1317.59
1321.84/1322.31	c   122426   7769   125469 32102075  255   494142  152434 122467     92 1320.58
1321.84/1322.31	o 9216	1321.86
1800.03/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.60	c   122507   7769   125551 32117387  255   498346  138576 122549     92 1321.87
1800.03/1800.60	c   122616   7769   125660 32165369  255   500314  152434 122658     92 1324.95
1800.03/1800.60	c   122868   7769   125912 32252401  256   499582  167678 122910     92 1330.49
1800.03/1800.60	c   123346   7769   126390 32420414  256   500199  184446 123388     92 1340.42
1800.03/1800.60	c   124162   7767   127206 32677126  256   502485  202891 124204     91 1361.74
1800.03/1800.60	c   125486   7763   128530 33070192  257   504894  223181 125528     89 1398.16
1800.03/1800.60	c   127567   7752   130611 33777299  258   509371  245500 127609     87 1451.76
1800.03/1800.60	c   130790   7729   133834 34864586  260   515322  270051 130832     84 1544.66
1800.03/1800.60	c   135732   7714   138776 36299127  261   526278  297057 135774     82 1651.01
1800.03/1800.60	c Caught signal: 15
1800.03/1800.60	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317
1800.03/1800.60	v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334
1800.03/1800.60	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351
1800.03/1800.60	v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1800.03/1800.60	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385
1800.03/1800.60	v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
1800.03/1800.60	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419
1800.03/1800.60	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
1800.03/1800.60	v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453
1800.03/1800.60	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1800.03/1800.60	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1800.03/1800.60	v -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.03/1800.60	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521
1800.03/1800.60	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
1800.03/1800.60	v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1800.03/1800.60	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
1800.03/1800.60	v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1800.03/1800.60	v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.03/1800.60	v -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1800.03/1800.60	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1800.03/1800.60	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1800.03/1800.60	v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674
1800.03/1800.60	v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691
1800.03/1800.60	v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708
1800.03/1800.60	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
1800.03/1800.60	v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1800.03/1800.60	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759
1800.03/1800.60	v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776
1800.03/1800.60	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1800.03/1800.60	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1800.03/1800.60	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1800.03/1800.60	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844
1800.03/1800.60	v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861
1800.03/1800.60	v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878
1800.03/1800.60	v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895
1800.03/1800.60	v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912
1800.03/1800.60	v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929
1800.03/1800.60	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946
1800.03/1800.60	v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
1800.03/1800.60	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
1800.03/1800.60	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997
1800.03/1800.60	v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014
1800.03/1800.60	v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031
1800.03/1800.60	v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048
1800.03/1800.60	v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065
1800.03/1800.60	v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082
1800.03/1800.60	v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099
1800.03/1800.60	v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116
1800.03/1800.60	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133
1800.03/1800.60	v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
1800.03/1800.60	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167
1800.03/1800.60	v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
1800.03/1800.60	v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
1800.03/1800.60	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.03/1800.60	v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235
1800.03/1800.60	v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252
1800.03/1800.60	v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
1800.03/1800.60	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
1800.03/1800.60	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1800.03/1800.60	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
1800.03/1800.60	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
1800.03/1800.60	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1800.03/1800.60	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371
1800.03/1800.60	v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388
1800.03/1800.60	v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
1800.03/1800.60	v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422
1800.03/1800.60	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
1800.03/1800.60	v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456
1800.03/1800.60	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473
1800.03/1800.60	v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
1800.03/1800.60	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507
1800.03/1800.60	v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
1800.03/1800.60	v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541
1800.03/1800.60	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558
1800.03/1800.60	v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575
1800.03/1800.60	v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592
1800.03/1800.60	v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609
1800.03/1800.60	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626
1800.03/1800.60	v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643
1800.03/1800.60	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
1800.03/1800.60	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677
1800.03/1800.60	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694
1800.03/1800.60	v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711
1800.03/1800.60	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728
1800.03/1800.60	v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745
1800.03/1800.60	v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762
1800.03/1800.60	v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779
1800.03/1800.60	v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796
1800.03/1800.60	v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813
1800.03/1800.60	v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
1800.03/1800.60	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847
1800.03/1800.60	v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864
1800.03/1800.60	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881
1800.03/1800.60	v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898
1800.03/1800.60	v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915
1800.03/1800.60	v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932
1800.03/1800.60	v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949
1800.03/1800.60	v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966
1800.03/1800.60	v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983
1800.03/1800.60	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
1800.03/1800.60	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1800.03/1800.60	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1800.03/1800.60	v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051
1800.03/1800.60	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1800.03/1800.60	v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085
1800.03/1800.60	v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102
1800.03/1800.60	v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119
1800.03/1800.60	v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136
1800.03/1800.60	v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153
1800.03/1800.60	v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
1800.03/1800.60	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187
1800.03/1800.60	v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204
1800.03/1800.60	v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221
1800.03/1800.60	v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238
1800.03/1800.60	v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255
1800.03/1800.60	v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272
1800.03/1800.60	v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289
1800.03/1800.60	v -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306
1800.03/1800.60	v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323
1800.03/1800.60	v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340
1800.03/1800.60	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357
1800.03/1800.60	v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374
1800.03/1800.60	v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391
1800.03/1800.60	v -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408
1800.03/1800.60	v -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425
1800.03/1800.60	v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442
1800.03/1800.60	v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459
1800.03/1800.60	v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476
1800.03/1800.60	v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493
1800.03/1800.60	v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
1800.03/1800.60	v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527
1800.03/1800.60	v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544
1800.03/1800.60	v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561
1800.03/1800.60	v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578
1800.03/1800.60	v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595
1800.03/1800.60	v -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612
1800.03/1800.60	v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629
1800.03/1800.60	v -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646
1800.03/1800.60	v -x4647 -x4648 -x4649 -x4650 x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663
1800.03/1800.60	v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680
1800.03/1800.60	v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697
1800.03/1800.60	v -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714
1800.03/1800.60	v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731
1800.03/1800.60	v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748
1800.03/1800.60	v -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765
1800.03/1800.60	v -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782
1800.03/1800.60	v -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799
1800.03/1800.60	v -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816
1800.03/1800.60	v -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 -x4833
1800.03/1800.60	v -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850
1800.03/1800.60	v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867
1800.03/1800.60	v -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884
1800.03/1800.60	v -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901
1800.03/1800.60	v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918
1800.03/1800.60	v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935
1800.03/1800.60	v -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952
1800.03/1800.60	v -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969
1800.03/1800.60	v -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986
1800.03/1800.60	v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003
1800.03/1800.60	v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020
1800.03/1800.60	v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037
1800.03/1800.60	v -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054
1800.03/1800.60	v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071
1800.03/1800.60	v -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088
1800.03/1800.60	v -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105
1800.03/1800.60	v -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122
1800.03/1800.60	v -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139
1800.03/1800.60	v -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156
1800.03/1800.60	v -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173
1800.03/1800.60	v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190
1800.03/1800.60	v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207
1800.03/1800.60	v -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224
1800.03/1800.60	v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241
1800.03/1800.60	v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258
1800.03/1800.60	v -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275
1800.03/1800.60	v -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292
1800.03/1800.60	v -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309
1800.03/1800.60	v -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326
1800.03/1800.60	v -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343
1800.03/1800.60	v -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360
1800.03/1800.60	v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377
1800.03/1800.60	v -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394
1800.03/1800.60	v -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411
1800.03/1800.60	v -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428
1800.03/1800.60	v -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445
1800.03/1800.60	v -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462
1800.03/1800.60	v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479
1800.03/1800.60	v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496
1800.03/1800.60	v -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513
1800.03/1800.60	v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530
1800.03/1800.60	v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547
1800.03/1800.60	v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564
1800.03/1800.60	v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581
1800.03/1800.60	v -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598
1800.03/1800.60	v -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615
1800.03/1800.60	v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632
1800.03/1800.60	v -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649
1800.03/1800.60	v -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666
1800.03/1800.60	v -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683
1800.03/1800.60	v -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700
1800.03/1800.60	v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717
1800.03/1800.60	v -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734
1800.03/1800.60	v -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751
1800.03/1800.60	v -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768
1800.03/1800.60	v -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785
1800.03/1800.60	v -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802
1800.03/1800.60	v -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819
1800.03/1800.60	v -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836
1800.03/1800.60	v -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853
1800.03/1800.60	v -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870
1800.03/1800.60	v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887
1800.03/1800.60	v -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904
1800.03/1800.60	v -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921
1800.03/1800.60	v -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938
1800.03/1800.60	v -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955
1800.03/1800.60	v -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972
1800.03/1800.60	v -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989
1800.03/1800.60	v -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006
1800.03/1800.60	v -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023
1800.03/1800.60	v -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040
1800.03/1800.60	v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057
1800.03/1800.60	v -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074
1800.03/1800.60	v -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091
1800.03/1800.60	v -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108
1800.03/1800.60	v -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125
1800.03/1800.60	v -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142
1800.03/1800.60	v -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159
1800.03/1800.60	v -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176
1800.03/1800.60	v -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193
1800.03/1800.60	v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210
1800.03/1800.60	v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227
1800.03/1800.60	v -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244
1800.03/1800.60	v -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261
1800.03/1800.60	v -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278
1800.03/1800.60	v -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295
1800.03/1800.60	v -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312
1800.03/1800.60	v -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329
1800.03/1800.60	v -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346
1800.03/1800.60	v -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363
1800.03/1800.60	v -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380
1800.03/1800.60	v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397
1800.03/1800.60	v -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414
1800.03/1800.60	v -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431
1800.03/1800.60	v -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448
1800.03/1800.60	v -x6449 -x6450 x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465
1800.03/1800.60	v -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482
1800.03/1800.60	v -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499
1800.03/1800.60	v -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516
1800.03/1800.60	v -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533
1800.03/1800.60	v -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550
1800.03/1800.60	v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567
1800.03/1800.60	v -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584
1800.03/1800.60	v -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601
1800.03/1800.60	v -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618
1800.03/1800.60	v -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635
1800.03/1800.60	v -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652
1800.03/1800.60	v -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669
1800.03/1800.60	v -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686
1800.03/1800.60	v -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703
1800.03/1800.60	v -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720
1800.03/1800.60	v -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737
1800.03/1800.60	v -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754
1800.03/1800.60	v -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771
1800.03/1800.60	v -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788
1800.03/1800.60	v -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805
1800.03/1800.60	v -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822
1800.03/1800.60	v -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839
1800.03/1800.60	v -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856
1800.03/1800.60	v -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873
1800.03/1800.60	v -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890
1800.03/1800.60	v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907
1800.03/1800.60	v -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924
1800.03/1800.60	v -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941
1800.03/1800.60	v -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958
1800.03/1800.60	v -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975
1800.03/1800.60	v -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992
1800.03/1800.60	v -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009
1800.03/1800.60	v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026
1800.03/1800.60	v -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043
1800.03/1800.60	v -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060
1800.03/1800.60	v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077
1800.03/1800.60	v -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094
1800.03/1800.60	v -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111
1800.03/1800.60	v -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128
1800.03/1800.60	v -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145
1800.03/1800.60	v -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162
1800.03/1800.60	v -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179
1800.03/1800.60	v -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196
1800.03/1800.60	v -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213
1800.03/1800.60	v -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230
1800.03/1800.60	v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247
1800.03/1800.60	v -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264
1800.03/1800.60	v -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281
1800.03/1800.60	v -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298
1800.03/1800.60	v -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315
1800.03/1800.60	v -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332
1800.03/1800.60	v -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349
1800.03/1800.60	v -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366
1800.03/1800.60	v -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383
1800.03/1800.60	v -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400
1800.03/1800.60	v -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417
1800.03/1800.60	v -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434
1800.03/1800.60	v -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451
1800.03/1800.60	v -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468
1800.03/1800.60	v -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485
1800.03/1800.60	v -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502
1800.03/1800.60	v -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519
1800.03/1800.60	v -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 x7531 -x7532 -x7533 -x7534 -x7535 -x7536
1800.03/1800.60	v -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553
1800.03/1800.60	v -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570
1800.03/1800.60	v -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587
1800.03/1800.60	v -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604
1800.03/1800.60	v -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621
1800.03/1800.60	v -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638
1800.03/1800.60	v -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655
1800.03/1800.60	v -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672
1800.03/1800.60	v -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689
1800.03/1800.60	v -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12
1800.03/1800.60	v -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38
1800.03/1800.60	v -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64
1800.03/1800.60	v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1800.03/1800.60	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112
1800.03/1800.60	v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133
1800.03/1800.60	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154
1800.03/1800.60	v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175
1800.03/1800.60	v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196
1800.03/1800.60	v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217
1800.03/1800.60	v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238
1800.03/1800.60	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
1800.03/1800.60	v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
1800.03/1800.60	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301
1800.03/1800.60	v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
1800.03/1800.60	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343
1800.03/1800.60	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364
1800.03/1800.60	v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385
1800.03/1800.60	v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406
1800.03/1800.60	v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427
1800.03/1800.60	v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448
1800.03/1800.60	v -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469
1800.03/1800.60	v -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1800.03/1800.60	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511
1800.03/1800.60	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532
1800.03/1800.60	v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553
1800.03/1800.60	v -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574
1800.03/1800.60	v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595
1800.03/1800.60	v -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616
1800.03/1800.60	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637
1800.03/1800.60	v x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658
1800.03/1800.60	v -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679
1800.03/1800.60	v -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
1800.03/1800.60	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721
1800.03/1800.60	v -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742
1800.03/1800.60	v -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763
1800.03/1800.60	v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784
1800.03/1800.60	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805
1800.03/1800.60	v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826
1800.03/1800.60	v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847
1800.03/1800.60	v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868
1800.03/1800.60	v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889
1800.03/1800.60	v -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
1800.03/1800.60	v -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931
1800.03/1800.60	v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952
1800.03/1800.60	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973
1800.03/1800.60	v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994
1800.03/1800.60	v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012
1800.03/1800.60	v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.03/1800.60	v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.03/1800.60	v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1800.03/1800.60	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1800.03/1800.60	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
1800.03/1800.60	v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114
1800.03/1800.60	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131
1800.03/1800.60	v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
1800.03/1800.60	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
1800.03/1800.60	v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182
1800.03/1800.60	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199
1800.03/1800.60	v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216
1800.03/1800.60	v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233
1800.03/1800.60	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1800.03/1800.60	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
1800.03/1800.60	v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284
1800.03/1800.60	v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301
1800.03/1800.60	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
1800.03/1800.60	v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335
1800.03/1800.60	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352
1800.03/1800.60	v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369
1800.03/1800.60	v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386
1800.03/1800.60	v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403
1800.03/1800.60	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
1800.03/1800.60	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1800.03/1800.60	v -x1439 -x1440 x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456
1800.03/1800.60	v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473
1800.03/1800.60	v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
1800.03/1800.60	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507
1800.03/1800.60	v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
1800.03/1800.60	v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541
1800.03/1800.60	v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558
1800.03/1800.60	v -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
1800.03/1800.60	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592
1800.03/1800.60	v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609
1800.03/1800.60	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627
1800.03/1800.60	v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644
1800.03/1800.60	v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661
1800.03/1800.60	v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678
1800.03/1800.60	v -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695
1800.03/1800.60	v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 -x1713
1800.03/1800.60	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1800.03/1800.60	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747
1800.03/1800.60	v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764
1800.03/1800.60	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781
1800.03/1800.60	v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798
1800.03/1800.60	v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815
1800.03/1800.60	v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
1800.03/1800.60	v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
1800.03/1800.60	v -x1850 -x7702 -x7707 -x7711 -x7712 -x7713 -x7714 -x7715 -x7718 -x7723 -x7728 -x7703 -x7708 -x7716 -x7717 -x7719 -x7720
1800.03/1800.60	v -x7724 -x7729 -x7704 -x7709 -x7721 -x7722 -x7725 -x7730 -x7705 -x7710 -x7726 -x7727 -x7731 -x7736 -x7737 -x7738 -x7739
1800.03/1800.60	v -x7740 -x7742 -x7747 -x7752 -x7757 -x7733 -x7743 -x7746 -x7748 -x7749 -x7750 -x7754 -x7759 -x7734 -x7744 -x7751 -x7753
1800.03/1800.60	v -x7755 -x7760 -x7735 -x7745 -x7756 -x7758 -x7761 -x7766 -x7767 -x7768 -x7769 -x7770 -x7772 -x7777 -x7782 -x7787 -x7762
1800.03/1800.60	v -x7771 -x7773 -x7774 -x7775 -x7778 -x7783 -x7788 -x7764 -x7779 -x7781 -x7784 -x7785 -x7790 -x7765 -x7780 -x7786 -x7789
1800.03/1800.60	v -x7791 -x7796 -x7797 -x7798 -x7799 -x7800 -x7802 -x7807 -x7812 -x7817 -x7792 -x7801 -x7803 -x7804 -x7805 -x7808 -x7813
1800.03/1800.60	v -x7818 -x7793 -x7806 -x7809 -x7810 -x7814 -x7819 -x7795 -x7815 -x7816 -x7820 -x7821 -x7826 -x7827 -x7828 -x7829 -x7830
1800.03/1800.60	v -x7832 -x7837 -x7842 -x7847 -x7822 -x7831 -x7833 -x7834 -x7835 -x7838 -x7843 -x7848 -x7823 -x7836 -x7839 -x7840 -x7844
1800.03/1800.60	v -x7849 -x7824 -x7841 -x7845 -x7850 -x7852 x7857 x7861 -x7862 -x7863 -x7864 -x7865 -x7868 -x7873 -x7878 -x7853 -x7858 -x7866
1800.03/1800.60	v -x7867 -x7869 -x7870 -x7874 -x7879 -x7854 -x7859 -x7871 -x7872 -x7875 -x7880 -x7855 -x7860 -x7876 -x7877 -x7881 -x7882
1800.03/1800.60	v -x7883 -x7884 -x7885 -x7886 -x7891 -x7896 -x7901 -x7906 -x7888 -x7893 -x7897 -x7898 -x7899 -x7900 -x7904 -x7909 -x7889
1800.03/1800.60	v -x7894 -x7902 -x7903 -x7905 -x7910 -x7890 -x7895 -x7907 -x7908 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7921 -x7926
1800.03/1800.60	v -x7931 -x7936 -x7917 -x7922 -x7923 -x7924 -x7925 -x7928 -x7933 -x7938 -x7919 -x7929 -x7932 -x7934 -x7935 -x7940 -x7920
1800.03/1800.60	v -x7930 -x7937 -x7939 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7951 -x7956 -x7961 -x7966 -x7947 -x7952 -x7953 -x7954
1800.03/1800.60	v -x7955 -x7958 -x7963 -x7968 -x7948 -x7957 -x7959 -x7960 -x7964 -x7969 -x7950 -x7965 -x7967 -x7970 -x7971 -x7972 -x7973
1800.03/1800.60	v -x7974 -x7975 -x7976 -x7981 -x7986 -x7991 -x7996 -x7977 -x7982 -x7983 -x7984 -x7985 -x7988 -x7993 -x7998 -x7978 -x7987
1800.03/1800.60	v -x7989 -x7990 -x7994 -x7999 -x7979 -x7992 -x7995 -x8000 -x8001 -x8006 -x8007 -x8008 -x8009 -x8010 -x8012 -x8017 -x8022
1800.03/1800.60	v -x8027 -x8003 -x8013 -x8016 -x8018 -x8019 -x8020 -x8024 -x8029 -x8004 -x8014 -x8021 -x8023 -x8025 -x8030 -x8005 -x8015
1800.03/1800.60	v -x8026 -x8028 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8041 -x8046 -x8051 -x8056 -x8038 -x8043 -x8047 -x8048 -x8049
1800.03/1800.60	v -x8050 -x8054 -x8059 -x8039 -x8044 -x8052 -x8053 -x8055 -x8060 -x8040 -x8045 -x8057 -x8058 -x8061 -x8062 -x8063 -x8064
1800.03/1800.60	v -x8065 -x8066 -x8071 -x8076 -x8081 -x8086 -x8067 -x8068 -x8069 -x8070 -x8072 -x8077 -x8082 -x8087 -x8074 -x8079 -x8083
1800.03/1800.60	v -x8084 -x8085 -x8090 -x8075 -x8080 -x8088 -x8089 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8101 -x8106 -x8111 -x8116
1800.03/1800.60	v -x8097 -x8098 -x8099 -x8100 -x8102 -x8107 -x8112 -x8117 -x8103 -x8108 -x8109 -x8110 -x8114 -x8119 -x8105 -x8115 -x8118
1800.03/1800.60	v -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8131 -x8136 -x8141 -x8146 -x8127 -x8128 -x8129 -x8130 -x8132 -x8137
1800.03/1800.60	v -x8142 -x8147 -x8133 -x8138 -x8139 -x8140 -x8144 -x8149 -x8134 -x8143 -x8145 -x8150 -x8151 -x8156 x8157 -x8158 -x8159
1800.03/1800.60	v -x8160 -x8162 -x8167 -x8172 x8177 -x8152 x8161 -x8163 -x8164 -x8165 -x8168 -x8173 -x8178 -x8154 x8169 -x8171 -x8174 x8175
1800.03/1800.60	v -x8180 -x8155 -x8170 -x8176 -x8179 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8191 -x8196 -x8201 -x8206 -x8187 -x8192
1800.03/1800.60	v -x8193 -x8194 -x8195 -x8198 -x8203 -x8208 -x8189 x8199 -x8202 -x8204 x8205 -x8210 -x8190 -x8200 x8207 -x8209 -x8211 -x8212
1800.03/1800.60	v -x8213 -x8214 -x8215 -x8216 -x8221 -x8226 -x8231 -x8236 x8217 -x8218 -x8219 -x8220 -x8222 -x8227 -x8232 x8237 -x8224 x8229
1800.03/1800.60	v -x8233 -x8234 x8235 -x8240 -x8225 -x8230 -x8238 -x8239 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8251 -x8256 -x8261
1800.03/1800.60	v -x8266 -x8247 -x8248 -x8249 -x8250 -x8252 -x8257 -x8262 -x8267 -x8253 -x8254 -x8255 -x8258 -x8263 -x8268 -x8260 -x8265
1800.03/1800.60	v -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8281 -x8286 -x8291 -x8296 -x8277 -x8278 -x8279 -x8280 -x8282
1800.03/1800.60	v -x8287 -x8292 -x8297 -x8283 -x8284 -x8285 -x8288 -x8293 -x8298 x8289 -x8294 x8295 -x8300 -x8301 -x8306 x8307 -x8308 -x8309
1800.03/1800.60	v -x8310 -x8312 -x8317 -x8322 x8327 -x8302 x8311 -x8313 -x8314 -x8315 -x8318 -x8323 -x8328 -x8303 -x8316 -x8319 -x8320 -x8324
1800.03/1800.60	v -x8329 -x8305 x8325 -x8326 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8341 -x8346 -x8351 -x8356 -x8337 -x8342
1800.03/1800.60	v -x8343 -x8344 -x8345 -x8348 -x8353 -x8358 -x8338 -x8347 -x8349 -x8350 -x8354 -x8359 -x8340 x8355 x8357 -x8360 -x8361 -x8362
1800.03/1800.60	v -x8363 -x8364 -x8365 -x8366 -x8371 -x8376 -x8381 -x8386 x8367 -x8368 -x8369 -x8370 -x8372 -x8377 -x8382 x8387 -x8373 -x8378
1800.03/1800.60	v -x8379 -x8380 -x8384 -x8389 -x8375 x8385 -x8388 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8401 -x8406 -x8411
1800.03/1800.60	v -x8416 -x8397 -x8398 -x8399 -x8400 -x8402 -x8407 -x8412 -x8417 -x8403 -x8404 -x8405 -x8408 -x8413 -x8418 -x8410 -x8415
1800.03/1800.60	v -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8431 -x8436 -x8441 -x8446 -x8427 -x8428 -x8429 -x8430 -x8432
1800.03/1800.60	v -x8437 -x8442 -x8447 -x8433 -x8434 -x8435 -x8438 -x8443 -x8448 -x8439 -x8440 -x8444 -x8449 -x8451 -x8456 x8457 -x8458
1800.03/1800.60	v -x8459 -x8460 -x8462 -x8467 -x8472 x8477 -x8452 x8461 -x8463 -x8464 -x8465 -x8468 -x8473 -x8478 -x8453 -x8466 -x8469 -x8470
1800.03/1800.60	v -x8474 -x8479 -x8454 -x8471 -x8475 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8491 -x8496 -x8501 -x8506 -x8487
1800.03/1800.60	v -x8492 -x8493 -x8494 -x8495 -x8498 -x8503 -x8508 -x8488 -x8497 -x8499 -x8500 -x8504 -x8509 -x8489 -x8502 -x8505 -x8510
1800.03/1800.60	v -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8521 -x8526 -x8531 -x8536 x8517 -x8518 -x8519 -x8520 -x8522 -x8527 -x8532
1800.03/1800.60	v x8537 -x8523 -x8528 -x8529 -x8530 -x8534 -x8539 -x8524 -x8533 -x8535 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546
1800.03/1800.60	v -x8551 -x8556 -x8561 -x8566 -x8547 -x8548 -x8549 -x8550 -x8552 -x8557 -x8562 -x8567 -x8553 -x8554 -x8555 -x8558 -x8563
1800.03/1800.60	v -x8568 -x8559 -x8564 -x8565 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8581 -x8586 -x8591 -x8596 -x8577 -x8578
1800.03/1800.60	v -x8579 -x8580 -x8582 -x8587 -x8592 -x8597 -x8583 -x8584 -x8585 -x8588 -x8593 -x8598 -x8589 -x8590 -x8594 -x8599 -x7701
1800.03/1800.60	v -x7706 -x7732 -x7741 -x7763 -x7776 -x7794 -x7811 -x7825 -x7846 -x7851 -x7856 x7887 -x7892 -x7918 -x7927 -x7949 -x7962
1800.03/1800.60	v -x7980 -x7997 -x8002 x8011 -x8037 -x8042 -x8073 -x8078 -x8104 -x8113 -x8135 -x8148 -x8153 -x8166 -x8188 -x8197 -x8223
1800.03/1800.60	v -x8228 x8259 -x8264 -x8290 -x8299 -x8304 -x8321 -x8339 -x8352 -x8374 -x8383 -x8409 -x8414 x8445 -x8450 -x8455 -x8476 -x8490
1800.03/1800.60	v x8507 -x8525 -x8538 -x8560 -x8569 -x8595 -x8600 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1800.03/1800.60	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
1800.03/1800.60	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894
1800.03/1800.60	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911
1800.03/1800.60	v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928
1800.03/1800.60	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
1800.03/1800.60	v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962
1800.03/1800.60	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1800.03/1800.60	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1800.03/1800.60	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013
1800.03/1800.60	v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1800.03/1800.60	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1800.03/1800.60	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1800.03/1800.60	v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1800.03/1800.60	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1800.03/1800.60	v -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.03/1800.60	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1800.03/1800.60	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1800.03/1800.60	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1800.03/1800.60	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1800.03/1800.60	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1800.03/1800.60	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.03/1800.60	v -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1800.03/1800.60	v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1800.03/1800.60	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1800.03/1800.60	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285
1800.03/1800.60	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
1800.03/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.61	c  193   140689  46534   648412   143733 37810673 140731     78 1800.04
1800.03/1800.61	c Objective: 9216
1800.03/1800.61	s SATISFIABLE
1800.03/1800.61	c Total time: 1800.04 s

OK	9216

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-433182-1177956014 -o ROOT/results/node14/solver-433182-1177956014 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433182-1177956014/instance-433182-1177956014.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.84 0.93 0.93 3/77 5794
/proc/meminfo: memFree=1862920/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=12528 CPUtime=0
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 243519141 12828672 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 3132 332 279 324 0 2004 0

[startup+0.0148201 s]
/proc/loadavg: 0.84 0.93 0.93 3/77 5794
/proc/meminfo: memFree=1862920/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=12820 CPUtime=0.01
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 452 0 0 0 1 0 0 0 18 0 1 0 243519141 13127680 422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134541066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 3205 423 295 324 0 2077 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12820

[startup+0.102828 s]
/proc/loadavg: 0.84 0.93 0.93 3/77 5794
/proc/meminfo: memFree=1862920/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=6148 CPUtime=0.09
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 871 0 0 0 9 0 0 0 18 0 1 0 243519141 6295552 841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 1537 841 434 324 0 409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6148

[startup+0.302847 s]
/proc/loadavg: 0.84 0.93 0.93 3/77 5794
/proc/meminfo: memFree=1862920/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=6880 CPUtime=0.29
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 1300 0 0 0 29 0 0 0 19 0 1 0 243519141 7045120 1072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 1720 1072 304 324 0 790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6880

[startup+0.701885 s]
/proc/loadavg: 0.84 0.93 0.93 3/77 5794
/proc/meminfo: memFree=1862920/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=7636 CPUtime=0.69
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 1544 0 0 0 68 1 0 0 24 0 1 0 243519141 7819264 1248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 1909 1248 308 324 0 979 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7636

[startup+1.50196 s]
/proc/loadavg: 0.84 0.93 0.93 2/78 5795
/proc/meminfo: memFree=1859008/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=8284 CPUtime=1.49
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 1718 0 0 0 148 1 0 0 25 0 1 0 243519141 8482816 1422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 2071 1422 310 324 0 1141 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8284

[startup+3.10111 s]
/proc/loadavg: 0.84 0.93 0.93 2/78 5795
/proc/meminfo: memFree=1857472/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=10760 CPUtime=3.09
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 2341 0 0 0 307 2 0 0 25 0 1 0 243519141 11018240 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7356471 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 2690 2045 310 324 0 1760 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10760

[startup+6.30142 s]
/proc/loadavg: 0.85 0.94 0.93 2/78 5795
/proc/meminfo: memFree=1852032/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=15292 CPUtime=6.29
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 3496 0 0 0 626 3 0 0 25 0 1 0 243519141 15659008 3200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 3823 3200 311 324 0 2893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15292

[startup+12.701 s]
/proc/loadavg: 0.87 0.94 0.93 2/78 5795
/proc/meminfo: memFree=1843904/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=23172 CPUtime=12.68
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 5454 0 0 0 1264 4 0 0 25 0 1 0 243519141 23728128 5158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 5793 5158 311 324 0 4863 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23172

[startup+25.5013 s]
/proc/loadavg: 0.89 0.94 0.93 2/78 5795
/proc/meminfo: memFree=1831936/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=35032 CPUtime=25.49
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 8406 0 0 0 2542 7 0 0 25 0 1 0 243519141 35872768 8110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 8758 8110 311 324 0 7828 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35032

[startup+51.1027 s]
/proc/loadavg: 0.93 0.94 0.93 3/84 5861
/proc/meminfo: memFree=1813752/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=51772 CPUtime=51.03
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 12591 0 0 0 5092 11 0 0 25 0 1 0 243519141 53014528 12295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 12943 12295 311 324 0 12013 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 51772

[startup+102.307 s]
/proc/loadavg: 0.97 0.95 0.93 2/78 5993
/proc/meminfo: memFree=1779952/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=85788 CPUtime=102.14
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 21097 0 0 0 10197 17 0 0 25 0 1 0 243519141 87846912 20801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 21447 20801 311 324 0 20517 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 85788

[startup+162.301 s]
/proc/loadavg: 0.99 0.95 0.93 2/78 5993
/proc/meminfo: memFree=1748416/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=117612 CPUtime=162.13
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 29076 0 0 0 16190 23 0 0 25 0 1 0 243519141 120434688 28780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 29403 28780 311 324 0 28473 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 117612

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.93 2/78 5993
/proc/meminfo: memFree=1719680/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=146352 CPUtime=222.11
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 36250 0 0 0 22182 29 0 0 25 0 1 0 243519141 149864448 35954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 36588 35954 311 324 0 35658 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 146352

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1693248/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=172732 CPUtime=282.1
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 42836 0 0 0 28177 33 0 0 25 0 1 0 243519141 176877568 42540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 43183 42540 311 324 0 42253 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 172732

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1667328/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=198304 CPUtime=342.09
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 49252 0 0 0 34170 39 0 0 25 0 1 0 243519141 203063296 48956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 49576 48956 311 324 0 48646 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 198304

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1647744/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=218148 CPUtime=402.07
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 54205 0 0 0 40164 43 0 0 25 0 1 0 243519141 223383552 53909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 54537 53909 311 324 0 53607 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 218148

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1625216/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=240204 CPUtime=462.06
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 59725 0 0 0 46160 46 0 0 25 0 1 0 243519141 245968896 59429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 60051 59429 311 324 0 59121 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 240204

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1608704/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=256892 CPUtime=522.04
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 63893 0 0 0 52155 49 0 0 25 0 1 0 243519141 263057408 63597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 64223 63597 311 324 0 63293 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 256892

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1590912/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=274440 CPUtime=582.02
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 68267 0 0 0 58149 53 0 0 25 0 1 0 243519141 281026560 67971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 68610 67971 311 324 0 67680 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 274440

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1576640/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=288504 CPUtime=642.01
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 71785 0 0 0 64145 56 0 0 25 0 1 0 243519141 295428096 71489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 72126 71489 311 324 0 71196 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 288504


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1530816/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=333944 CPUtime=821.97
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 83153 0 0 0 82133 64 0 0 25 0 1 0 243519141 341958656 82857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 83486 82857 311 324 0 82556 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 333944

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1515648/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=349056 CPUtime=881.95
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 86915 0 0 0 88128 67 0 0 25 0 1 0 243519141 357433344 86619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 87264 86619 311 324 0 86334 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 349056

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1501120/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=363592 CPUtime=941.93
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 90562 0 0 0 94123 70 0 0 25 0 1 0 243519141 372318208 90266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 90898 90266 311 324 0 89968 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 363592

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1489536/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=374908 CPUtime=1001.92
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 93471 0 0 0 100120 72 0 0 25 0 1 0 243519141 383905792 93078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 93727 93078 311 324 0 92797 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 374908

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1477504/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=386768 CPUtime=1061.91
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 96533 0 0 0 106116 75 0 0 25 0 1 0 243519141 396050432 96061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 96692 96061 311 324 0 95762 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 386768

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1465920/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=398724 CPUtime=1121.89
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 99635 0 0 0 112112 77 0 0 25 0 1 0 243519141 408293376 99036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 99681 99036 311 324 0 98751 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 398724

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1455168/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=409044 CPUtime=1181.88
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 102227 0 0 0 118109 79 0 0 25 0 1 0 243519141 418861056 101628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 102261 101628 311 324 0 101331 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 409044

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1443904/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=420044 CPUtime=1241.86
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 105945 0 0 0 124105 81 0 0 25 0 1 0 243519141 430125056 104361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 105011 104361 311 324 0 104081 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 420044

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1432192/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=431664 CPUtime=1301.85
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 109717 0 0 0 130101 84 0 0 25 0 1 0 243519141 442023936 107270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 107916 107270 311 324 0 106986 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 431664

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1422208/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=441272 CPUtime=1361.83
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 115064 0 0 0 136095 88 0 0 25 0 1 0 243519141 451862528 109696 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 110318 109696 311 324 0 109388 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 441272

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1414144/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=449380 CPUtime=1421.82
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 118510 0 0 0 142092 90 0 0 25 0 1 0 243519141 460165120 111696 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 112345 111696 311 324 0 111415 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 449380

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1404480/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=459220 CPUtime=1481.8
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 124215 0 0 0 148086 94 0 0 25 0 1 0 243519141 470241280 114159 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 114805 114159 311 324 0 113875 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 459220

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 5993
/proc/meminfo: memFree=1394560/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=468964 CPUtime=1541.79
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 129115 0 0 0 154081 98 0 0 25 0 1 0 243519141 480219136 116601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 117241 116601 311 324 0 116311 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 468964

[startup+1602.3 s]
/proc/loadavg: 1.07 0.99 0.94 2/78 5993
/proc/meminfo: memFree=1385664/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=477952 CPUtime=1601.77
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 132192 0 0 0 160077 100 0 0 25 0 1 0 243519141 489422848 118845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 119488 118845 311 324 0 118558 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 477952

[startup+1662.3 s]
/proc/loadavg: 1.02 0.99 0.94 2/78 5993
/proc/meminfo: memFree=1373312/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=490084 CPUtime=1661.76
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 140173 0 0 0 166070 106 0 0 25 0 1 0 243519141 501846016 121898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 122521 121898 311 324 0 121591 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 490084

[startup+1722.3 s]
/proc/loadavg: 1.01 0.99 0.94 2/78 5993
/proc/meminfo: memFree=1364352/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=498736 CPUtime=1721.75
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 147609 0 0 0 172064 111 0 0 25 0 1 0 243519141 510705664 124038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 124684 124038 311 324 0 123754 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 498736

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/78 5993
/proc/meminfo: memFree=1357440/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=505356 CPUtime=1781.73
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 152385 0 0 0 178060 113 0 0 25 0 1 0 243519141 517484544 125717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 126339 125717 311 324 0 125409 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 505356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.94 2/78 5993
/proc/meminfo: memFree=1354944/2055920 swapFree=4148856/4192956
[pid=5794] ppid=5792 vsize=508164 CPUtime=1800.03
/proc/5794/stat : 5794 (bsolo3.0.17) R 5792 5794 5586 0 -1 4194304 153357 0 0 0 179889 114 0 0 25 0 1 0 243519141 520359936 126400 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5794/statm: 127041 126400 311 324 0 126111 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 508164

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

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

Child status: 15
Real time (s): 1800.7
CPU time (s): 1800.13
CPU user time (s): 1798.9
CPU system time (s): 1.22681
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 508164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.22681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 3065

runsolver used 1.40779 second user time and 3.9614 second system time

The end

Begin job on node14 on Mon Apr 30 18:00:14 UTC 2007

IDJOB= 433182
IDBENCH= 2335
IDSOLVER= 199
FILE ID= node14/433182-1177956014

PBS_JOBID= 4727722

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  ec9bba2d2c31efcadc0a4a76a4815e08

RANDOM SEED= 309276620

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1863264 kB
Buffers:          3420 kB
Cached:         108128 kB
SwapCached:      11600 kB
Active:          36700 kB
Inactive:        97900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863264 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            7520 kB
Writeback:           0 kB
Mapped:          30076 kB
Slab:            43512 kB
Committed_AS:  7951152 kB
PageTables:       1784 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= 66557 MiB

End job on node14 on Mon Apr 30 18:30:17 UTC 2007