Trace number 373461

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT63201 1800.02 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUM457d573eb873a5d33dddcaaf7d992dd1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark59847
Best CPU time to get the best result obtained on this benchmark1800.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/373461-1177195338/instance-373461-1177195338.opb
0.00/0.00	c File size is 270841 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 3.03619e+06
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.049 s
0.00/0.05	c Var: 3945 Constr: 8604 8604/0/0 Lit: 22124 Watch. Lit: 17206
0.00/0.05	c Obj. Vars: 1872 (47.4525 % of total variables)
0.09/0.10	c Pre-processing Time: 0.102 s
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3777     7190    18848    2    14380    2396      0      0 0.10
0.09/0.11	o 67506	0.107
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3777     7191    20718    2    16210    6136      1      0 0.11
0.09/0.11	o 67204	0.113
67.37/67.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
67.37/67.49	c        1   3777     7193    22658    3    18042    6136      3      8 0.12
67.37/67.49	c      102   3777     7294    30176    4    18246    6750    104    645 0.16
67.37/67.49	c      352   3777     7544    48269    6    18746    7426    354   1380 0.26
67.37/67.49	c      827   3777     8019    93164   11    19696    8169    829   1875 0.44
67.37/67.49	c     1640   3777     8832   135021   15    21322    8986   1642   2222 0.74
67.37/67.49	c     2961   3777    10153   224718   22    23966    9885   2963   1889 1.57
67.37/67.49	c     5042   3777    12234   336314   27    28126   10874   5044   2180 2.31
67.37/67.49	c     8265   3777    15457   547877   35    34569   11962   8267   2233 3.70
67.37/67.49	c    13201   3777    13173   480942   36    28174   13159   5983   1971 6.70
67.37/67.49	c    20709   3777    13772   576442   41    29373   14475   6582   1914 10.81
67.37/67.49	c    32070   3777    15636   608850   38    33102   15923   8446   1735 18.48
67.37/67.49	c    49215   3777    22405  1215476   54    46638   17516  15215   1713 28.72
67.37/67.49	c    75034   3777    15950  1037885   65    33729   19268   8760   1122 66.84
67.37/67.49	o 67176	67.479
70.97/71.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
70.97/71.06	c    76888   3777    17805  1185616   66    39266    6136  10615   1139 67.48
70.97/71.06	c    76988   3777    10360   381138   36    22549    6750   3170   1137 67.70
70.97/71.06	c    77238   3777    10610   396051   37    23048    7426   3420   1138 67.82
70.97/71.06	c    77713   3777    11085   420904   37    24000    8169   3895   1142 68.01
70.97/71.06	c    78526   3777    11898   460482   38    25624    8986   4708   1150 68.24
70.97/71.06	c    79846   3777    13218   534490   40    28265    9885   6028   1161 68.73
70.97/71.06	c    81927   3777    15299   674548   44    32427   10874   8109   1173 69.78
70.97/71.06	c    85151   3777    12629   330349   26    27086   11962   5439   1205 70.66
70.97/71.06	o 67089	71.039
173.54/173.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
173.54/173.69	c    86255   3777    13734   388733   28    31126    6136   6544   1214 71.04
173.54/173.69	c    86355   3777    10360   183099   17    22549    6750   3170   1214 71.11
173.54/173.69	c    86605   3777    10610   198636   18    23050    7426   3420   1216 71.22
173.54/173.69	c    87080   3777    11085   226699   20    23999    8169   3895   1219 71.40
173.54/173.69	c    87893   3777    11898   288421   24    25625    8986   4708   1225 71.71
173.54/173.69	c    89213   3777    13218   376507   28    28264    9885   6028   1234 72.26
173.54/173.69	c    91296   3777    15301   494496   32    32431   10874   8111   1249 73.09
173.54/173.69	c    94519   3777    12629   325573   25    27087   11962   5439   1261 74.91
173.54/173.69	c    99455   3777    17565   650421   37    36958   13159  10375   1292 76.96
173.54/173.69	c   106962   3777    16420   692507   42    34669   14475   9230   1322 80.86
173.54/173.69	c   118323   3777    18242   712812   39    38313   15923  11052   1367 86.53
173.54/173.69	c   135467   3777    15154   599981   39    32137   17516   7964   1345 100.71
173.54/173.69	c   161286   3777    18393   688520   37    38615   19268  11203   1306 123.50
173.54/173.69	c   200118   3777    20859   906831   43    43546   21195  13669   1159 172.58
173.54/173.69	o 67058	173.65
174.55/174.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
174.55/174.64	c   202318   3777    23060  1099543   47    49780    6136  15870   1165 173.65
174.55/174.64	c   202418   3777    10360   282628   27    22549    6750   3170   1160 174.49
174.55/174.64	c   202669   3777    10611   299088   28    23050    7426   3421   1160 174.59
174.55/174.64	o 66870	174.603
216.14/216.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
216.14/216.27	c   202671   3777    10614   301042   28    24886    6136   3424   1160 174.61
216.14/216.27	c   202771   3777    10714   305252   28    25087    6750   3524   1161 174.64
216.14/216.27	c   203022   3777    10965   319031   29    25588    7426   3775   1161 174.80
216.14/216.27	c   203497   3777    11440   350052   30    26538    8169   4250   1162 175.04
216.14/216.27	c   204310   3777    12253   398176   32    28164    8986   5063   1165 175.33
216.14/216.27	c   205630   3777    13573   487896   35    30804    9885   6383   1168 176.05
216.14/216.27	c   207711   3777    15654   617278   39    34966   10874   8464   1172 177.20
216.14/216.27	c   210935   3777    12629   340369   26    27087   11962   5439   1180 178.66
216.14/216.27	c   215871   3777    17565   647957   36    36959   13159  10375   1196 180.48
216.14/216.27	c   223377   3777    16221   862460   53    34271   14475   9031   1199 186.22
216.14/216.27	c   234738   3777    18007   845441   46    37843   15923  10817   1215 193.16
216.14/216.27	c   251882   3777    15154  1055985   69    32136   17516   7964   1165 216.20
216.14/216.27	o 65322	216.221
216.33/216.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
216.33/216.46	c   251882   3777    15155  1057855   69    33971    6136   7965   1164 216.23
216.33/216.46	o 65287	216.41
307.21/307.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
307.21/307.38	c   251977   3777    10356   572366   55    24372    6136   3166   1164 216.41
307.21/307.38	c   252078   3777    10457   580653   55    24574    6750   3267   1164 216.48
307.21/307.38	c   252328   3777    10707   598102   55    25076    7426   3517   1164 216.61
307.21/307.38	c   252803   3777    11182   623123   55    26024    8169   3992   1165 216.83
307.21/307.38	c   253616   3777    11995   666912   55    27650    8986   4805   1167 217.19
307.21/307.38	c   254936   3777    13315   739704   55    30290    9885   6125   1170 217.82
307.21/307.38	c   257017   3777    15396   878618   57    34451   10874   8206   1174 218.75
307.21/307.38	c   260240   3777    12629   366869   29    27088   11962   5439   1179 220.66
307.21/307.38	c   265177   3777    17566   710398   40    36961   13159  10376   1191 222.48
307.21/307.38	c   272683   3777    16419   539392   32    34667   14475   9229   1209 225.41
307.21/307.38	c   284045   3777    18325  1137029   62    38479   15923  11135   1214 233.94
307.21/307.38	c   301189   3777    15154   954275   62    32137   17516   7964   1197 251.57
307.21/307.38	c   327008   3777    18153   878296   48    38136   19268  10963   1195 273.44
307.21/307.38	c   365840   3777    20810   718527   34    43450   21195  13620   1250 292.61
307.21/307.38	o 65210	307.304
397.49/397.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
397.49/397.67	c   380871   3777    22368   927359   41    48394    6136  15178   1239 307.31
397.49/397.67	c   380972   3777    10361   228162   22    22551    6750   3171   1234 308.66
397.49/397.67	c   381222   3777    10611   245824   23    23053    7426   3421   1234 308.77
397.49/397.67	c   381697   3777    11086   273399   24    24002    8169   3896   1235 308.93
397.49/397.67	c   382511   3777    11900   351284   29    25630    8986   4710   1236 309.42
397.49/397.67	c   383831   3777    13220   416705   31    28270    9885   6030   1238 309.85
397.49/397.67	c   385912   3777    15301   581602   38    32432   10874   8111   1241 310.85
397.49/397.67	c   389135   3777    12629   464237   36    27088   11962   5439   1246 312.07
397.49/397.67	c   394071   3777    17565   831040   47    36960   13159  10375   1254 314.17
397.49/397.67	c   401577   3777    16528   669863   40    34886   14475   9338   1263 317.86
397.49/397.67	c   412938   3777    18448   755431   40    38726   15923  11258   1273 324.26
397.49/397.67	c   430083   3777    15154  1188346   78    32137   17516   7964   1261 340.97
397.49/397.67	c   455902   3777    19503  1144903   58    40835   19268  12313   1252 363.97
397.49/397.67	c   494735   3777    20642  1020734   49    43113   21195  13452   1244 397.56
397.49/397.67	o 64813	397.573
416.99/417.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
416.99/417.14	c   494744   3777    20652  1023371   49    44963    6136  13462   1244 397.58
416.99/417.14	c   494844   3777    10360   297260   28    22550    6750   3170   1242 398.12
416.99/417.14	c   495094   3777    10610   309937   29    23051    7426   3420   1243 398.19
416.99/417.14	c   495569   3777    11085   336415   30    24000    8169   3895   1243 398.38
416.99/417.14	c   496382   3777    11898   393070   33    25625    8986   4708   1244 398.88
416.99/417.14	c   497702   3777    13218   468448   35    28265    9885   6028   1246 399.29
416.99/417.14	c   499783   3777    15299   613254   40    32428   10874   8109   1248 400.35
416.99/417.14	c   503006   3777    12629   404752   32    27089   11962   5439   1252 401.66
416.99/417.14	c   507943   3777    17566   686381   39    36962   13159  10376   1257 403.90
416.99/417.14	c   515451   3777    16484   564094   34    34797   14475   9294   1266 406.98
416.99/417.14	c   526812   3777    18549   970698   52    38928   15923  11359   1271 414.44
416.99/417.14	o 64735	417.038
513.06/513.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
513.06/513.22	c   530811   3777    22549  1316636   58    48758    6136  15359   1272 417.04
513.06/513.22	c   530912   3777    10361   292653   28    22552    6750   3171   1272 417.25
513.06/513.22	c   531162   3777    10611   306260   28    23051    7426   3421   1272 417.35
513.06/513.22	c   531639   3777    11088   347233   31    24006    8169   3898   1273 417.62
513.06/513.22	c   532452   3777    11901   407481   34    25631    8986   4711   1274 417.90
513.06/513.22	c   533772   3777    13221   486440   36    28271    9885   6031   1275 418.51
513.06/513.22	c   535853   3777    15302   625053   40    32434   10874   8112   1277 419.32
513.06/513.22	c   539076   3777    12629   392546   31    27087   11962   5439   1280 421.02
513.06/513.22	c   544013   3777    17566   776310   44    36961   13159  10376   1285 423.35
513.06/513.22	c   551519   3777    16284   639410   39    34398   14475   9094   1292 426.57
513.06/513.22	c   562880   3777    18182   931018   51    38194   15923  10992   1297 433.70
513.06/513.22	c   580024   3777    15154  1197721   79    32138   17516   7964   1277 453.89
513.06/513.22	c   605843   3777    18185  1031809   56    38199   19268  10995   1267 477.93
513.06/513.22	c   644675   3777    21869  1133673   51    45569   21195  14679   1256 512.87
513.06/513.22	o 64320	513.096
572.86/573.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
572.86/573.05	c   645249   3777    22444  1179551   52    48550    6136  15254   1257 513.10
572.86/573.05	c   645350   3777    10361   253058   24    22553    6750   3171   1255 514.05
572.86/573.05	c   645600   3777    10611   267013   25    23053    7426   3421   1255 514.18
572.86/573.05	c   646075   3777    11086   288864   26    24003    8169   3896   1256 514.33
572.86/573.05	c   646888   3777    11899   337775   28    25629    8986   4709   1256 514.65
572.86/573.05	c   648208   3777    13219   432858   32    28268    9885   6029   1257 515.44
572.86/573.05	c   650290   3777    15301   551049   36    32432   10874   8111   1260 516.09
572.86/573.05	c   653514   3777    12629   335031   26    27088   11962   5439   1263 517.22
572.86/573.05	c   658450   3777    17565   637990   36    36961   13159  10375   1267 519.43
572.86/573.05	c   665956   3777    16265   754442   46    34360   14475   9075   1270 524.19
572.86/573.05	c   677319   3777    18290   705097   38    38410   15923  11100   1279 529.41
572.86/573.05	c   694463   3777    15752  1136082   72    33335   17516   8562   1268 547.46
572.86/573.05	c   720282   3777    19764  1010378   51    41358   19268  12574   1262 570.70
572.86/573.05	o 64318	572.917
1033.14/1033.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1033.14/1033.47	c   724549   3777    24032  1396442   58    51726    6136  16842   1264 572.92
1033.14/1033.47	c   724651   3777    10362   310384   29    22554    6750   3172   1264 573.25
1033.14/1033.47	c   724901   3777    10612   323893   30    23055    7426   3422   1264 573.32
1033.14/1033.47	c   725376   3777    11087   346256   31    24006    8169   3897   1264 573.42
1033.14/1033.47	c   726189   3777    11900   390772   32    25631    8986   4710   1265 573.62
1033.14/1033.47	c   727509   3777    13220   454942   34    28270    9885   6030   1267 574.14
1033.14/1033.47	c   729591   3777    15302   577012   37    32435   10874   8112   1268 575.06
1033.14/1033.47	c   732815   3777    12629   409291   32    27089   11962   5439   1270 576.62
1033.14/1033.47	c   737751   3777    17565   692656   39    36960   13159  10375   1275 578.40
1033.14/1033.47	c   745257   3777    16269   618504   38    34368   14475   9079   1281 581.61
1033.14/1033.47	c   756618   3777    18426   701827   38    38683   15923  11236   1285 588.73
1033.14/1033.47	c   773762   3777    15154  1024520   67    32139   17516   7964   1263 612.55
1033.14/1033.47	c   799581   3777    18852   937189   49    39535   19268  11662   1249 639.86
1033.14/1033.47	c   838413   3777    22104  1126677   50    46039   21195  14914   1251 670.15
1033.14/1033.47	c   896766   3777    27962  2204627   78    57755   23315  20772   1166 768.54
1033.14/1033.47	c   984399   3777    27445  3368913  122    56720   25647  20255   1108 887.75
1033.14/1033.47	c  1115952   3777    26451  1245597   47    54733   28212  19261   1080 1033.18
1033.14/1033.47	o 63569	1033.22
1129.88/1130.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1129.88/1130.23	c  1116017   3777    26517  1253500   47    56695    6136  19327   1080 1033.22
1129.88/1130.23	c  1116117   3777    10360   222515   21    22550    6750   3170   1079 1034.24
1129.88/1130.23	c  1116367   3777    10610   235541   22    23051    7426   3420   1079 1034.35
1129.88/1130.23	c  1116843   3777    11086   259777   23    24003    8169   3896   1079 1034.54
1129.88/1130.23	c  1117657   3777    11900   302030   25    25632    8986   4710   1080 1034.79
1129.88/1130.23	c  1118977   3777    13220   382000   28    28272    9885   6030   1080 1035.34
1129.88/1130.23	c  1121058   3777    15301   532414   34    32433   10874   8111   1081 1036.58
1129.88/1130.23	c  1124281   3777    12629   385865   30    27089   11962   5439   1083 1037.76
1129.88/1130.23	c  1129217   3777    17565   695658   39    36961   13159  10375   1086 1039.66
1129.88/1130.23	c  1136724   3777    16530   874510   52    34891   14475   9340   1088 1043.86
1129.88/1130.23	c  1148086   3777    18542   895736   48    38915   15923  11352   1090 1052.54
1129.88/1130.23	c  1165230   3777    15154   618583   40    32138   17516   7964   1094 1064.58
1129.88/1130.23	c  1191049   3777    18341  1498943   81    38513   19268  11151   1087 1095.62
1129.88/1130.23	c  1229881   3777    22015  1487276   67    45860   21195  14825   1088 1129.89
1129.88/1130.23	o 63504	1129.92
1186.59/1187.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1186.59/1187.03	c  1229927   3777    22062  1492018   67    47786    6136  14872   1088 1129.92
1186.59/1187.03	c  1230028   3777    10361   189996   18    22553    6750   3171   1088 1130.27
1186.59/1187.03	c  1230278   3777    10611   210906   19    23054    7426   3421   1088 1130.43
1186.59/1187.03	c  1230753   3777    11086   239030   21    24003    8169   3896   1088 1130.70
1186.59/1187.03	c  1231566   3777    11899   285613   24    25629    8986   4709   1088 1131.07
1186.59/1187.03	c  1232886   3777    13219   373846   28    28270    9885   6029   1089 1131.49
1186.59/1187.03	c  1234967   3777    15300   485348   31    32430   10874   8110   1090 1132.17
1186.59/1187.03	c  1238191   3777    12629   344689   27    27089   11962   5439   1092 1133.62
1186.59/1187.03	c  1243127   3777    17565   741346   42    36960   13159  10375   1093 1136.46
1186.59/1187.03	c  1250634   3777    16338  1077903   65    34507   14475   9148   1095 1141.66
1186.59/1187.03	c  1261995   3777    18165  1105270   60    38161   15923  10975   1098 1149.02
1186.59/1187.03	c  1279140   3777    15157   975941   64    32146   17516   7967   1097 1165.40
1186.59/1187.03	c  1304959   3777    19073  1264983   66    39977   19268  11883   1099 1186.62
1186.59/1187.03	o 63201	1186.63
1799.95/1800.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.55	c  1304959   3777    19074  1266853   66    41810    6136  11884   1099 1186.63
1799.95/1800.55	c  1305059   3777    10360   454918   43    22550    6750   3170   1099 1187.06
1799.95/1800.55	c  1305310   3777    10611   475850   44    23053    7426   3421   1099 1187.14
1799.95/1800.55	c  1305785   3777    11086   504810   45    24004    8169   3896   1099 1187.38
1799.95/1800.55	c  1306598   3777    11899   555019   46    25630    8986   4709   1100 1187.64
1799.95/1800.55	c  1307919   3777    13220   620402   46    28271    9885   6030   1100 1188.11
1799.95/1800.55	c  1310000   3777    15301   727772   47    32434   10874   8111   1101 1188.78
1799.95/1800.55	c  1313223   3777    12629   334741   26    27089   11962   5439   1103 1189.99
1799.95/1800.55	c  1318159   3777    17565   696553   39    36960   13159  10375   1105 1192.06
1799.95/1800.55	c  1325665   3777    16336   599356   36    34502   14475   9146   1109 1194.82
1799.95/1800.55	c  1337026   3777    18368   764982   41    38567   15923  11178   1113 1201.05
1799.95/1800.55	c  1354170   3777    15372   713422   46    32575   17516   8182   1116 1213.07
1799.95/1800.55	c  1379989   3777    19642  1105210   56    41115   19268  12452   1122 1229.78
1799.95/1800.55	c  1418822   3777    21811  1378546   63    45454   21195  14621   1115 1271.69
1799.95/1800.55	c  1477174   3777    26783  1277120   47    55397   23315  19593   1106 1335.10
1799.95/1800.55	c  1564806   3777    29155  1343581   46    60143   25647  21965   1109 1410.14
1799.95/1800.55	c  1696358   3777    19571  1520272   77    40974   28212  12381   1060 1600.31
1799.95/1800.55	c Resources Exceeded
1799.95/1800.55	v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258
1799.95/1800.55	v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300
1799.95/1800.55	v -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342
1799.95/1800.55	v -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384
1799.95/1800.55	v -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426
1799.95/1800.55	v -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 x468
1799.95/1800.55	v -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510
1799.95/1800.55	v -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551
1799.95/1800.55	v -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593
1799.95/1800.55	v -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635
1799.95/1800.55	v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 x671 -x673 -x675 -x677
1799.95/1800.55	v -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719
1799.95/1800.55	v -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761
1799.95/1800.55	v -x763 -x765 -x767 -x769 -x771 -x773 x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x798 -x800 -x802
1799.95/1800.55	v -x804 -x806 -x808 -x810 -x812 x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844
1799.95/1800.55	v -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886
1799.95/1800.55	v -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928
1799.95/1800.55	v -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970
1799.95/1800.55	v -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010
1799.95/1800.55	v -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044
1799.95/1800.55	v -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078
1799.95/1800.55	v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112
1799.95/1800.55	v -x1114 -x1116 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145
1799.95/1800.55	v x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179
1799.95/1800.55	v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 x1203 -x1205 -x1207 -x1209 -x1211 -x1213
1799.95/1800.55	v -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246
1799.95/1800.55	v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280
1799.95/1800.55	v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314
1799.95/1800.55	v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348
1799.95/1800.55	v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 x1376 -x1378 -x1380 -x1382
1799.95/1800.55	v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416
1799.95/1800.55	v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450
1799.95/1800.55	v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484
1799.95/1800.55	v -x1486 -x1488 -x1490 x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518
1799.95/1800.55	v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552
1799.95/1800.55	v -x1554 -x1556 -x1558 x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586
1799.95/1800.55	v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620
1799.95/1800.55	v -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 x1646 -x1648 -x1650 -x1652 -x1654
1799.95/1800.55	v -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688
1799.95/1800.55	v -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722
1799.95/1800.55	v -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756
1799.95/1800.55	v x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790
1799.95/1800.55	v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824
1799.95/1800.55	v -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858
1799.95/1800.55	v -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892
1799.95/1800.55	v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926
1799.95/1800.55	v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960
1799.95/1800.55	v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994
1799.95/1800.55	v -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028
1799.95/1800.55	v -x2030 -x2032 -x2034 -x2036 -x2038 x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062
1799.95/1800.55	v -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096
1799.95/1800.55	v -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130
1799.95/1800.55	v -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164
1799.95/1800.55	v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198
1799.95/1800.55	v -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232
1799.95/1800.55	v -x2234 x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266
1799.95/1800.55	v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300
1799.95/1800.55	v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334
1799.95/1800.55	v -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368
1799.95/1800.55	v -x2370 -x2372 -x2374 -x2376 -x2378 x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402
1799.95/1800.55	v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436
1799.95/1800.55	v -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470
1799.95/1800.55	v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 x2504
1799.95/1800.55	v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538
1799.95/1800.55	v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572
1799.95/1800.55	v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606
1799.95/1800.55	v -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640
1799.95/1800.55	v -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674
1799.95/1800.55	v -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707
1799.95/1800.55	v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741
1799.95/1800.55	v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775
1799.95/1800.55	v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809
1799.95/1800.55	v -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843
1799.95/1800.55	v -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877
1799.95/1800.55	v -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911
1799.95/1800.55	v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945
1799.95/1800.55	v -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979
1799.95/1800.55	v -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013
1799.95/1800.55	v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046
1799.95/1800.55	v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080
1799.95/1800.55	v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114
1799.95/1800.55	v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1799.95/1800.55	v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1799.95/1800.55	v -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215
1799.95/1800.55	v -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249
1799.95/1800.55	v -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283
1799.95/1800.55	v -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 x3313 -x3315 -x3317
1799.95/1800.55	v x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351
1799.95/1800.55	v -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385
1799.95/1800.55	v -x3387 -x3389 -x3391 -x3393 x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419
1799.95/1800.55	v -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453
1799.95/1800.55	v -x3455 -x3457 -x3459 -x3461 -x3463 x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487
1799.95/1800.55	v -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521
1799.95/1800.55	v -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555
1799.95/1800.55	v -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587
1799.95/1800.55	v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 x3617 -x3619 -x3621
1799.95/1800.55	v -x3623 -x3625 -x3627 -x3629 x3631 -x3633 -x3635 -x3637 x3639 -x3641 -x3643 x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657
1799.95/1800.55	v -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690
1799.95/1800.55	v -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722
1799.95/1800.55	v -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756
1799.95/1800.55	v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 -x3785 -x3787
1799.95/1800.55	v -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821
1799.95/1800.55	v -x3823 -x3825 -x3827 x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 x3853 -x3855 -x3857
1799.95/1800.55	v -x3859 -x3861 -x3863 x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891
1799.95/1800.55	v -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927
1799.95/1800.55	v x3929 -x3931 -x3933 -x3935 x3937 -x3939 -x3941 -x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2 -x233
1799.95/1800.55	v -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271
1799.95/1800.55	v -x273 -x275 -x277 -x279 -x281 -x283 x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313
1799.95/1800.55	v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6 -x351
1799.95/1800.55	v -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387 -x389
1799.95/1800.55	v -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 -x14 -x423
1799.95/1800.55	v -x425 -x427 -x15 -x429 -x16 -x431 -x17 -x433 -x435 -x437 -x18 -x439 -x441 -x443 -x19 -x445 -x447 -x449 -x451 -x453 -x455 -x457
1799.95/1800.55	v -x459 -x461 -x463 -x465 x467 -x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 -x493
1799.95/1800.55	v -x495 -x497 -x23 -x499 -x501 -x503 -x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x25 -x527 -x529
1799.95/1800.55	v -x531 -x533 -x536 -x538 -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 -x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x29
1799.95/1800.55	v -x566 -x568 -x570 -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602
1799.95/1800.55	v -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644
1799.95/1800.55	v -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 x670 -x672 -x674 -x676 -x32 -x678 -x680 -x682 -x684
1799.95/1800.55	v -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x33 -x700 -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 -x722
1799.95/1800.55	v -x724 -x726 -x728 -x730 -x35 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762
1799.95/1800.55	v -x764 -x766 -x768 -x770 -x772 x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x799 -x801 -x803 -x805
1799.95/1800.55	v -x807 -x809 -x811 x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847
1799.95/1800.55	v -x849 -x851 -x853 -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887
1799.95/1800.55	v -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921 -x923
1799.95/1800.55	v -x925 -x927 -x929 -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 x955 -x957 -x959 -x961 -x963
1799.95/1800.55	v -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003
1799.95/1800.55	v -x1005 -x1007 -x1009 -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033 -x1035
1799.95/1800.55	v -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 -x1065
1799.95/1800.55	v -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x48
1799.95/1800.55	v -x1097 -x1099 -x1101 -x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 -x1128
1799.95/1800.55	v -x51 -x1130 -x1132 -x1134 -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 x1146 x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154 -x1156
1799.95/1800.55	v -x57 -x1158 -x1160 -x1162 -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 -x1186
1799.95/1800.55	v -x1188 -x1190 -x1192 -x1194 -x1196 -x61 -x1198 -x1200 x1202 x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 -x1216 -x1218
1799.95/1800.55	v -x1220 -x64 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x66
1799.95/1800.55	v -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 -x1279 -x1281
1799.95/1800.55	v -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313
1799.95/1800.55	v -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347
1799.95/1800.55	v -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 x1375 -x1377 -x1379 -x1381
1799.95/1800.55	v -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x72 -x1413
1799.95/1800.55	v -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447
1799.95/1800.55	v -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481
1799.95/1800.55	v -x1483 -x1485 -x1487 -x1489 x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515
1799.95/1800.55	v -x1517 -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 x76 -x1531 x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x77 -x1545
1799.95/1800.55	v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579
1799.95/1800.55	v -x78 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 -x1609
1799.95/1800.55	v -x1611 -x1613 -x1615 -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 -x84
1799.95/1800.55	v -x1641 -x1643 x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 -x1673
1799.95/1800.55	v -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 -x1699
1799.95/1800.55	v -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 -x1713 -x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 -x1727
1799.95/1800.55	v -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 x98 -x1755 x1757 -x1759
1799.95/1800.55	v -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787 -x1789
1799.95/1800.55	v -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821
1799.95/1800.55	v -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853
1799.95/1800.55	v -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883 -x1885
1799.95/1800.55	v -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 -x108 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917
1799.95/1800.55	v -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 -x1949
1799.95/1800.55	v -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983
1799.95/1800.55	v -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 x2007 -x2009 -x2011 -x2013 -x2015 -x2017
1799.95/1800.55	v -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051
1799.95/1800.55	v -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085
1799.95/1800.55	v -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 -x2117
1799.95/1800.55	v -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 -x2149
1799.95/1800.55	v -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 x116 x2177 -x2179
1799.95/1800.55	v -x2181 -x2183 -x2185 -x2187 -x2189 -x117 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209 -x2211
1799.95/1800.55	v -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 x2235 -x2237 -x2239 -x2241 -x2243 -x2245
1799.95/1800.55	v -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279
1799.95/1800.55	v -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309 -x2311
1799.95/1800.55	v -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343
1799.95/1800.55	v -x2345 -x2347 -x121 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 -x2375
1799.95/1800.55	v x123 -x2377 x2379 -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 -x2405
1799.95/1800.55	v -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437
1799.95/1800.55	v -x2439 -x127 -x2441 -x2443 -x128 -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467
1799.95/1800.55	v -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 -x2497
1799.95/1800.55	v -x2499 -x2501 -x133 x2503 x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 -x137 -x2523
1799.95/1800.55	v -x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555
1799.95/1800.55	v -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585
1799.95/1800.55	v -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615
1799.95/1800.55	v -x2617 -x2619 -x2621 x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647
1799.95/1800.55	v -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681
1799.95/1800.55	v -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716
1799.95/1800.55	v -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750
1799.95/1800.55	v -x2752 x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148 -x2784
1799.95/1800.55	v -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816
1799.95/1800.55	v -x2818 -x2820 -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848
1799.95/1800.55	v -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 -x2880
1799.95/1800.55	v -x153 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 -x2912
1799.95/1800.55	v -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944
1799.95/1800.55	v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978
1799.95/1800.55	v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012
1799.95/1800.55	v -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047
1799.95/1800.55	v -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079
1799.95/1800.55	v -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111
1799.95/1800.55	v -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 -x3143
1799.95/1800.55	v -x3145 -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x161 -x3175
1799.95/1800.55	v -x3177 -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x164
1799.95/1800.55	v -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 -x3236 -x3238
1799.95/1800.55	v -x3240 -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270
1799.95/1800.55	v -x168 -x3272 -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 -x3296 -x3298
1799.95/1800.55	v -x172 -x3300 -x173 -x3302 -x174 -x3304 -x3306 -x3308 x175 -x3310 x3312 -x3314 x176 -x3316 x3318 -x3320 -x177 -x3322 -x3324
1799.95/1800.55	v -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 -x3354 -x3356
1799.95/1800.55	v -x179 -x3358 -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388
1799.95/1800.55	v -x3390 -x3392 x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x181 -x3420 -x3422
1799.95/1800.55	v -x3424 -x3426 -x3428 -x3430 -x3432 x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456
1799.95/1800.55	v -x3458 -x3460 -x3462 x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490
1799.95/1800.55	v -x183 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x184 -x3522
1799.95/1800.55	v -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554
1799.95/1800.55	v -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588
1799.95/1800.55	v -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610 -x3612 -x3614 x3616
1799.95/1800.55	v x192 -x3618 -x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 -x3636 x3638 -x3640 -x3642 x3644 -x3646
1799.95/1800.55	v -x3648 -x195 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3677 -x3679
1799.95/1800.55	v -x3681 -x3683 -x3685 -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711
1799.95/1800.55	v -x3713 -x3715 -x3717 -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 x198 -x3737 -x3739 -x3741 x3743 -x3745
1799.95/1800.55	v -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777
1799.95/1800.55	v -x3779 -x3782 -x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812
1799.95/1800.55	v -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 x3828 -x3830 -x3832 -x3834 -x202 -x3836 -x3838 -x3840 -x203 -x3842
1799.95/1800.55	v -x3844 -x3846 -x3848 -x3850 -x204 x3852 x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 x3864 -x3866 -x3868 -x3870 -x207
1799.95/1800.55	v -x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896 -x3898 -x3900
1799.95/1800.55	v -x3902 x3904 x3906 -x3908 -x211 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 x3928 -x3930 -x3932 -x3934
1799.95/1800.55	v x3936 x212 -x3938 -x213 -x3940 -x214 -x3942 -x215 -x3944 x216
1799.95/1800.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.55	c  179  1856045 1230597  8178135    26725  1845561  19535   1031 1800.01
1799.95/1800.55	c Objective: 63201
1799.95/1800.55	s SATISFIABLE
1799.95/1800.55	c Total time: 1800.01 s

Verifier Data (download as text)

OK	63201

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10916
/proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=12004 CPUtime=0
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 195523327 12292096 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 3001 336 281 324 0 2003 0

[startup+0.00876998 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10916
/proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=4352 CPUtime=0
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 1 0 195523327 4456448 382 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 1088 383 289 324 0 90 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4352

[startup+0.101779 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10916
/proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=5904 CPUtime=0.09
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 959 0 0 0 8 1 0 0 18 0 1 0 195523327 6045696 856 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 1476 856 307 324 0 545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5904

[startup+0.301796 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10916
/proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=6292 CPUtime=0.28
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 1062 0 0 0 27 1 0 0 19 0 1 0 195523327 6443008 959 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 1573 959 313 324 0 642 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6292

[startup+0.701832 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10916
/proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=7324 CPUtime=0.69
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 1321 0 0 0 67 2 0 0 22 0 1 0 195523327 7499776 1218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 1831 1218 313 324 0 900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7324

[startup+1.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1767096/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=8616 CPUtime=1.48
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 1644 0 0 0 146 2 0 0 25 0 1 0 195523327 8822784 1541 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 2154 1541 313 324 0 1223 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8616

[startup+3.10105 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1764920/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=12292 CPUtime=3.09
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 2556 0 0 0 305 4 0 0 25 0 1 0 195523327 12587008 2453 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 3073 2453 313 324 0 2142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12292

[startup+6.30134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1757624/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=18552 CPUtime=6.28
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 4099 0 0 0 622 6 0 0 25 0 1 0 195523327 18997248 3996 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 4638 3996 313 324 0 3707 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18552

[startup+12.7029 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1753336/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=21280 CPUtime=12.69
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 4805 0 0 0 1259 10 0 0 25 0 1 0 195523327 21790720 4702 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 5320 4702 313 324 0 4389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21280

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1749560/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=25116 CPUtime=25.48
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 5757 0 0 0 2532 16 0 0 25 0 1 0 195523327 25718784 5654 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134587038 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 6279 5654 313 324 0 5348 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25116

[startup+51.1014 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 10917
/proc/meminfo: memFree=1733688/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=41016 CPUtime=51.07
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9735 0 0 0 5081 26 0 0 25 0 1 0 195523327 42000384 9632 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10254 9632 313 324 0 9323 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41016

[startup+102.306 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 10917
/proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40664 CPUtime=102.26
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9735 0 0 0 10173 53 0 0 25 0 1 0 195523327 41639936 9556 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10166 9556 313 324 0 9235 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40664

[startup+162.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 10917
/proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40672 CPUtime=162.25
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9737 0 0 0 16161 64 0 0 25 0 1 0 195523327 41648128 9558 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10168 9558 313 324 0 9237 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40672

[startup+222.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 10917
/proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40672 CPUtime=222.23
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9737 0 0 0 22134 89 0 0 25 0 1 0 195523327 41648128 9558 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10168 9558 313 324 0 9237 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40672

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 10917
/proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40672 CPUtime=282.22
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9737 0 0 0 28106 116 0 0 25 0 1 0 195523327 41648128 9558 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10168 9558 313 324 0 9237 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40672

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40680 CPUtime=342.2
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 34067 153 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10170 9560 313 324 0 9239 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 40680

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40680 CPUtime=402.19
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 40046 173 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10170 9560 313 324 0 9239 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 40680

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40680 CPUtime=462.18
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 46016 202 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10170 9560 313 324 0 9239 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 40680

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1733816/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40680 CPUtime=522.17
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 51996 221 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10170 9560 313 324 0 9239 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 40680

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1733816/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40628 CPUtime=582.15
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 57965 250 0 0 25 0 1 0 195523327 41603072 9547 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10157 9547 313 324 0 9226 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 40628

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1733816/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=40628 CPUtime=642.14
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 63947 267 0 0 25 0 1 0 195523327 41603072 9547 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 10157 9547 313 324 0 9226 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 40628


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

/proc/meminfo: memFree=1716920/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57368 CPUtime=1062.04
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 105838 366 0 0 25 0 1 0 195523327 58744832 13732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14342 13732 313 324 0 13411 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 57368

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10917
/proc/meminfo: memFree=1716920/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57368 CPUtime=1122.02
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 111817 385 0 0 25 0 1 0 195523327 58744832 13732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14342 13732 313 324 0 13411 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 57368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1716768/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57368 CPUtime=1181.89
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 117776 413 0 0 25 0 1 0 195523327 58744832 13732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14342 13732 313 324 0 13411 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 57368

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1716792/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57364 CPUtime=1241.88
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 123741 447 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14341 13731 313 324 0 13410 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 57364

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1716792/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57364 CPUtime=1301.87
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 129726 461 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14341 13731 313 324 0 13410 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 57364

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1716792/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57364 CPUtime=1361.85
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 135709 476 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14341 13731 313 324 0 13410 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 57364

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1716984/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57364 CPUtime=1421.83
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 141692 491 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14341 13731 313 324 0 13410 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 57364

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1716984/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57364 CPUtime=1481.82
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 147680 502 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14341 13731 313 324 0 13410 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 57364

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1717048/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=57364 CPUtime=1541.81
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 153664 517 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 14341 13731 313 324 0 13410 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 57364

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712632/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61852 CPUtime=1601.79
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15463 0 0 0 159649 530 0 0 25 0 1 0 195523327 63336448 14847 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15463 14847 313 324 0 14532 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 61852

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1661.78
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 165626 552 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 61844

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1721.76
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 171602 574 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 61844

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1781.75
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 177589 586 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 61844

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1791.35
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 178548 587 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 61844

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1794.55
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 178868 587 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 61844

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1797.75
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179187 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 61844

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1799.35
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179347 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 61844

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1799.75
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179387 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 61844

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11115
/proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956
[pid=10916] ppid=10914 vsize=61844 CPUtime=1799.95
/proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179407 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10916/statm: 15461 14849 313 324 0 14530 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 61844

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.02
CPU user time (s): 1794.13
CPU system time (s): 5.8911
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 61860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 5.8911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15466
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= 12
involuntary context switches= 4426

runsolver used 1.21081 second user time and 3.76243 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Sat Apr 21 22:42:18 UTC 2007

IDJOB= 373461
IDBENCH= 25048
IDSOLVER= 163
FILE ID= node68/373461-1177195338

PBS_JOBID= 4649069

Free space on /tmp= 66323 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373461-1177195338/instance-373461-1177195338.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-373461-1177195338 -o ROOT/results/node68/solver-373461-1177195338 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373461-1177195338/instance-373461-1177195338.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  457d573eb873a5d33dddcaaf7d992dd1

RANDOM SEED= 313771250

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1771736 kB
Buffers:         31468 kB
Cached:         190584 kB
SwapCached:       2824 kB
Active:          89300 kB
Inactive:       142312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771736 kB
SwapTotal:     4192956 kB
SwapFree:      4183868 kB
Dirty:            4656 kB
Writeback:           0 kB
Mapped:          15596 kB
Slab:            38672 kB
Committed_AS:  2828772 kB
PageTables:       1380 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= 66323 MiB

End job on node68 on Sat Apr 21 23:12:19 UTC 2007