Trace number 433761

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)63201 1800.08 1800.52

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

Verifier Data (download as text)

OK	63201

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-433761-1177963380 -o ROOT/results/node51/solver-433761-1177963380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433761-1177963380/instance-433761-1177963380.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.99 0.97 0.93 3/64 15608
/proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=12004 CPUtime=0
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 151183163 12292096 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 3001 333 279 324 0 2004 0

[startup+0.104871 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 15608
/proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=5904 CPUtime=0.1
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 955 0 0 0 9 1 0 0 18 0 1 0 151183163 6045696 854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 1476 854 305 324 0 546 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5904

[startup+0.201877 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 15608
/proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=6160 CPUtime=0.19
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1002 0 0 0 18 1 0 0 18 0 1 0 151183163 6307840 901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 1540 901 311 324 0 610 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6160

[startup+0.301885 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 15608
/proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=6424 CPUtime=0.29
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1065 0 0 0 28 1 0 0 19 0 1 0 151183163 6578176 964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 1606 964 311 324 0 676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6424

[startup+0.701922 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 15608
/proc/meminfo: memFree=1861176/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=7452 CPUtime=0.69
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1323 0 0 0 68 1 0 0 22 0 1 0 151183163 7630848 1222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 1863 1222 311 324 0 933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7452

[startup+1.50199 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1856880/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=8748 CPUtime=1.49
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 1645 0 0 0 148 1 0 0 25 0 1 0 151183163 8957952 1544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 2187 1544 311 324 0 1257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8748

[startup+3.10114 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1854512/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=12424 CPUtime=3.09
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 2572 0 0 0 308 1 0 0 25 0 1 0 151183163 12722176 2471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 3106 2471 311 324 0 2176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12424

[startup+6.30143 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1847280/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=18552 CPUtime=6.29
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 4120 0 0 0 627 2 0 0 25 0 1 0 151183163 18997248 4019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 4638 4019 311 324 0 3708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18552

[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1843312/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=21280 CPUtime=12.69
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 4801 0 0 0 1266 3 0 0 25 0 1 0 151183163 21790720 4700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3047501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 5320 4700 311 324 0 4390 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21280

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1839536/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=25116 CPUtime=25.48
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 5753 0 0 0 2545 3 0 0 25 0 1 0 151183163 25718784 5652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3051644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 6279 5652 311 324 0 5349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25116

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1823536/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=41016 CPUtime=51.07
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9731 0 0 0 5102 5 0 0 25 0 1 0 151183163 42000384 9630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10254 9630 311 324 0 9324 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41016

[startup+102.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40664 CPUtime=102.27
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9731 0 0 0 10222 5 0 0 25 0 1 0 151183163 41639936 9554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10166 9554 311 324 0 9236 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40664

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40672 CPUtime=162.25
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9733 0 0 0 16220 5 0 0 25 0 1 0 151183163 41648128 9556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10168 9556 311 324 0 9238 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40672

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40672 CPUtime=222.24
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9733 0 0 0 22219 5 0 0 25 0 1 0 151183163 41648128 9556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10168 9556 311 324 0 9238 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 40672

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40672 CPUtime=282.22
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9733 0 0 0 28217 5 0 0 25 0 1 0 151183163 41648128 9556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10168 9556 311 324 0 9238 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40672

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1823792/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40680 CPUtime=342.21
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 34215 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10170 9558 311 324 0 9240 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 40680

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15609
/proc/meminfo: memFree=1823728/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40680 CPUtime=402.2
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 40214 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10170 9558 311 324 0 9240 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 40680

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15611
/proc/meminfo: memFree=1823600/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40680 CPUtime=462.18
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 46212 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10170 9558 311 324 0 9240 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 40680

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15611
/proc/meminfo: memFree=1823664/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40680 CPUtime=522.16
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 52210 6 0 0 25 0 1 0 151183163 41656320 9558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10170 9558 311 324 0 9240 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 40680

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15611
/proc/meminfo: memFree=1823728/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40628 CPUtime=582.15
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 58209 6 0 0 25 0 1 0 151183163 41603072 9545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10157 9545 311 324 0 9227 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 40628

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 15611
/proc/meminfo: memFree=1823728/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=40628 CPUtime=642.14
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 9735 0 0 0 64208 6 0 0 25 0 1 0 151183163 41603072 9545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10157 9545 311 324 0 9227 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 40628


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

[startup+822.302 s]
/proc/loadavg: 1.06 0.99 0.93 2/65 15611
/proc/meminfo: memFree=1821488/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=42956 CPUtime=822.09
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 10315 0 0 0 82203 6 0 0 25 0 1 0 151183163 43986944 10125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 10739 10125 311 324 0 9809 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 42956

[startup+882.305 s]
/proc/loadavg: 1.14 1.02 0.94 2/65 15611
/proc/meminfo: memFree=1805296/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=59080 CPUtime=882.07
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14341 0 0 0 88197 10 0 0 25 0 1 0 151183163 60497920 14151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14770 14151 311 324 0 13840 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 59080

[startup+942.302 s]
/proc/loadavg: 1.05 1.01 0.94 2/65 15611
/proc/meminfo: memFree=1805360/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=59060 CPUtime=942.06
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 94196 10 0 0 25 0 1 0 151183163 60477440 14153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14765 14153 311 324 0 13835 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 59060

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 0.94 2/65 15611
/proc/meminfo: memFree=1805360/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=59060 CPUtime=1002.04
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 100194 10 0 0 25 0 1 0 151183163 60477440 14153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14765 14153 311 324 0 13835 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 59060

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806896/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57368 CPUtime=1062.03
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 106193 10 0 0 25 0 1 0 151183163 58744832 13730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14342 13730 311 324 0 13412 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 57368

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57368 CPUtime=1122.01
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 112191 10 0 0 25 0 1 0 151183163 58744832 13730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14342 13730 311 324 0 13412 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 57368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57368 CPUtime=1182
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 118190 10 0 0 25 0 1 0 151183163 58744832 13730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3051028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14342 13730 311 324 0 13412 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 57368

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1807024/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57364 CPUtime=1241.98
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 124188 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14341 13729 311 324 0 13411 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 57364

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57364 CPUtime=1301.97
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 130187 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14341 13729 311 324 0 13411 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 57364

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57364 CPUtime=1361.95
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 136185 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14341 13729 311 324 0 13411 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 57364

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806960/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57364 CPUtime=1421.94
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 142184 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14341 13729 311 324 0 13411 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 57364

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806896/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57364 CPUtime=1481.93
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 148183 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14341 13729 311 324 0 13411 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 57364

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1806896/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=57364 CPUtime=1541.91
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 14343 0 0 0 154181 10 0 0 25 0 1 0 151183163 58740736 13729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 14341 13729 311 324 0 13411 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 57364

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1802416/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=61852 CPUtime=1601.9
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15459 0 0 0 160179 11 0 0 25 0 1 0 151183163 63336448 14845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 15463 14845 311 324 0 14533 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 61852

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1802352/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=61844 CPUtime=1661.88
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 166177 11 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 15461 14847 311 324 0 14531 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 61844

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1802416/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=61844 CPUtime=1721.87
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 172176 11 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 15461 14847 311 324 0 14531 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 61844

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1802352/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=61844 CPUtime=1781.86
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 178174 12 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 15461 14847 311 324 0 14531 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 61844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 15611
/proc/meminfo: memFree=1802416/2055920 swapFree=4183264/4192956
[pid=15608] ppid=15606 vsize=61844 CPUtime=1800.06
/proc/15608/stat : 15608 (bsolo3.0.17) R 15606 15608 14452 0 -1 4194304 15461 0 0 0 179994 12 0 0 25 0 1 0 151183163 63328256 14847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15608/statm: 15461 14847 311 324 0 14531 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 61844

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.52
CPU time (s): 1800.08
CPU user time (s): 1799.95
CPU system time (s): 0.132979
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 61860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15465
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= 2067

runsolver used 1.39879 second user time and 3.52646 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Mon Apr 30 20:03:00 UTC 2007

IDJOB= 433761
IDBENCH= 25048
IDSOLVER= 199
FILE ID= node51/433761-1177963380

PBS_JOBID= 4727685

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  457d573eb873a5d33dddcaaf7d992dd1

RANDOM SEED= 559458836

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1861648 kB
Buffers:         12684 kB
Cached:         107524 kB
SwapCached:       3552 kB
Active:          62564 kB
Inactive:        69236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861648 kB
SwapTotal:     4192956 kB
SwapFree:      4183264 kB
Dirty:            6852 kB
Writeback:           0 kB
Mapped:          17500 kB
Slab:            48508 kB
Committed_AS:  3932584 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node51 on Mon Apr 30 20:33:03 UTC 2007