Trace number 433725

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)26 1800.12 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
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/433725-1177962661/instance-433725-1177962661.opb
0.00/0.00	c File size is 619623 bytes.
0.09/0.11	c Highest Coefficient sum: 697
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.113 s
0.09/0.12	c Var: 6076 Constr: 21401 21400/1/0 Lit: 54392 Watch. Lit: 43431
0.09/0.12	c Obj. Vars: 666 (10.9612 % of total variables)
0.29/0.37	c Pre-processing Time: 0.372 s
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0   6067    21380    54355    2    43394    8126      0      0 0.37
0.29/0.37	c Switching off LPR mode.
0.29/0.38	o 28	0.385
36.77/36.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.77/36.83	c       11   6067    21392    57180    2    44056    9126     12     28 0.39
36.77/36.83	c      111   6067    21492    62634    2    44256   10039    112    202 0.55
36.77/36.83	c      361   6067    21742    72920    3    44756   11043    362    414 0.87
36.77/36.83	c      837   6067    22218    98261    4    45708   12148    838    557 1.50
36.77/36.83	c     1650   6067    23031   170510    7    47334   13363   1651    745 2.21
36.77/36.83	c     2971   6067    24352   521502   21    49976   14700   2972   1074 2.77
36.77/36.83	c     5054   6067    26435   927333   35    54142   16171   5055   1336 3.78
36.77/36.83	c     8277   6067    29658  1638624   55    60588   17789   8278   1336 6.19
36.77/36.83	c    13213   6067    34594  4735301  136    70460   19568  13214    755 17.48
36.77/36.83	c    20721   6067    31166  3092836   99    63604   21525   9786    905 22.89
36.77/36.83	c    32082   6067    42527  6518922  153    86326   23678  21147    886 36.17
36.77/36.83	o 27	36.812
1263.89/1264.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1263.89/1264.36	c    33119   6067    43565  6695449  153    89041    9126  22185    899 36.82
1263.89/1264.36	c    33219   6067    26044  1135842   43    53361   10039   4664    891 37.25
1263.89/1264.36	c    33470   6067    26295  1173717   44    53863   11043   4915    893 37.44
1263.89/1264.36	c    33945   6067    26770  1250057   46    54813   12148   5390    901 37.67
1263.89/1264.36	c    34760   6067    27585  1375804   49    56443   13363   6205    909 38.22
1263.89/1264.36	c    36082   6067    28907  2163271   74    59087   14700   7527    912 39.55
1263.89/1264.36	c    38165   6067    30990  2419740   78    63253   16171   9610    940 40.59
1263.89/1264.36	c    41388   6067    34213  2854617   83    69699   17789  12833    982 42.13
1263.89/1264.36	c    46324   6067    39149  3820849   97    79571   19568  17769    974 47.52
1263.89/1264.36	c    53830   6067    31953  5019438  157    65179   21525  10573    816 65.91
1263.89/1264.36	c    65191   6067    32148  2813163   87    65569   23678  10768    849 76.78
1263.89/1264.36	c    82335   6067    32685  2331182   71    66643   26046  11305    923 89.20
1263.89/1264.36	c   108156   6067    38694  6944355  179    78661   28651  17314    680 159.02
1263.89/1264.36	c   146988   6067    34564  4316258  124    70401   31517  13184    427 343.43
1263.89/1264.36	c   205340   6067    44459  4969801  111    90191   34669  23079    398 515.00
1263.89/1264.36	c   292973   6067    48874 18388699  376    99021   38136  27494    283 1033.81
1263.89/1264.36	o 26	1263.95
1800.06/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.60	c   355352   6067    49140 11709573  238   100193    9126  27760    281 1263.96
1800.06/1800.60	c   355452   6067    26053  1906904   73    53380   10039   4673    280 1266.22
1800.06/1800.60	c   355702   6067    26303  1938767   73    53880   11043   4923    280 1266.77
1800.06/1800.60	c   356177   6067    26778  2014660   75    54830   12148   5398    281 1267.34
1800.06/1800.60	c   356991   6067    27592  2142375   77    56458   13363   6212    281 1268.35
1800.06/1800.60	c   358313   6067    28914  2461381   85    59102   14700   7534    282 1269.04
1800.06/1800.60	c   360394   6067    30995  2942132   94    63264   16171   9615    283 1270.52
1800.06/1800.60	c   363617   6067    34218  3560361  104    69710   17789  12838    285 1273.11
1800.06/1800.60	c   368554   6067    39155  5755233  146    79584   19568  17775    288 1279.11
1800.06/1800.60	c   376062   6067    31861  3908306  122    64996   21525  10481    291 1289.53
1800.06/1800.60	c   387429   6067    32151  2567024   79    65576   23678  10771    295 1310.58
1800.06/1800.60	c   404573   6067    32983  2199727   66    67240   26046  11603    301 1340.41
1800.06/1800.60	c   430394   6067    39461 12931415  327    80196   28651  18081    298 1442.55
1800.06/1800.60	c   469230   6067    35508  4631931  130    72290   31517  14128    303 1547.96
1800.06/1800.60	c   527582   6067    44219  9406363  212    89712   34669  22839    295 1784.59
1800.06/1800.60	c Caught signal: 15
1800.06/1800.60	v x1 x363 x532 x696 x859 -x1010 -x1068 x1126 -x1184 -x1242 -x1300 -x1358 -x1416 -x11 -x1474 -x14 -x1501 -x17 -x1528 -x20 -x1555
1800.06/1800.60	v x23 -x1582 x26 -x1609 -x29 -x1636 -x1663 -x1690 -x36 -x1717 x39 -x1744 -x42 -x1771 -x45 -x1798 x1825 -x50 -x1852 -x53 -x1879
1800.06/1800.60	v -x56 -x1906 -x59 -x1933 -x62 -x1960 -x65 -x1987 -x68 -x2014 -x71 -x2041 -x74 -x2068 x77 -x2095 -x80 -x2122 -x83 -x2149 -x86
1800.06/1800.60	v -x2176 -x89 -x2203 -x2230 -x2232 -x2244 -x2246 -x2258 -x2260 -x2272 -x2274 -x2286 -x2288 -x2300 -x2302 -x2314 -x2316 -x2328
1800.06/1800.60	v -x2330 -x2342 -x2344 -x2356 -x2358 -x2370 -x2372 -x2384 -x2386 -x2398 -x2400 -x2412 -x2414 -x2426 -x2428 -x2440 -x2442
1800.06/1800.60	v -x2454 -x2456 -x2468 -x2470 -x2482 -x2484 -x2496 -x2498 -x2510 -x2512 -x2524 -x2536 -x2538 -x2550 -x2552 -x2564 -x2566
1800.06/1800.60	v -x2578 -x2580 -x2592 -x2594 -x2606 -x2608 -x2620 -x2622 -x2634 -x2636 -x2648 -x2650 x2662 -x2664 -x2676 -x2678 -x2690
1800.06/1800.60	v -x2692 -x2704 -x2706 -x2718 -x2720 -x2732 -x2734 -x2746 -x2748 -x2760 -x2762 -x2774 x2776 -x2788 -x2790 -x2802 -x2804
1800.06/1800.60	v -x2816 -x2818 -x2830 -x2832 -x2844 -x2846 -x2858 -x2860 -x2872 -x2874 -x2886 -x2888 -x2900 -x2902 -x2914 -x2916 -x2928
1800.06/1800.60	v -x2930 -x2942 -x2944 -x2956 -x2958 -x2970 -x2972 -x2984 -x2986 -x2998 -x3000 -x3012 -x3017 -x3022 -x3027 -x3032 -x3037
1800.06/1800.60	v -x3042 -x3047 -x3052 -x3057 -x3062 -x3067 -x3072 -x3077 -x3082 -x3087 -x3092 -x3097 -x3102 -x3107 -x3112 -x3117 -x3122
1800.06/1800.60	v -x3127 -x3132 -x3137 -x3142 -x3147 -x3152 -x3157 -x3162 -x3167 -x3172 -x3177 -x3182 -x3187 -x3192 -x3197 -x3202 -x3207
1800.06/1800.60	v -x3212 -x3217 -x3222 -x3227 -x3232 -x3237 -x3242 -x3247 -x3252 -x3257 -x3262 -x3267 -x3272 -x3277 -x3282 -x3287 -x3292
1800.06/1800.60	v -x3297 -x3302 -x3307 -x3312 -x3317 -x3322 -x3327 -x3332 -x3337 -x3342 -x3347 -x3352 -x3357 -x3362 -x3389 x3416 -x3443
1800.06/1800.60	v -x3470 -x3497 -x3524 -x3551 -x3563 -x376 -x3575 x379 -x3587 -x382 -x3599 -x3611 -x3623 -x389 -x3635 -x392 -x3647 -x395
1800.06/1800.60	v -x3659 -x398 -x3671 -x401 -x3683 -x404 -x3695 -x407 x3707 -x3719 -x412 -x3731 -x415 -x3743 -x418 -x3755 -x421 -x3767 -x424
1800.06/1800.60	v -x3779 -x3791 -x3803 -x3805 -x3810 -x3812 x3817 -x3819 -x3824 -x3826 -x3831 -x3833 -x3838 -x3840 -x3845 -x3847 -x3852
1800.06/1800.60	v -x3854 -x3859 -x3864 -x3866 -x3871 -x3873 -x3878 -x3880 -x3885 -x3887 -x3892 -x3894 -x3899 -x3901 -x3906 -x3908 -x3913
1800.06/1800.60	v -x3915 -x3920 -x3922 -x3927 -x3929 -x3934 -x3936 -x3941 -x3943 -x3948 -x3950 -x3955 -x3957 -x3962 -x3964 -x3969 -x3971
1800.06/1800.60	v -x3976 -x3978 -x3983 -x3985 x3990 -x3992 -x3997 -x3999 -x4004 -x4006 -x4011 x4013 -x4018 -x4020 -x4025 -x4027 -x4032 -x4034
1800.06/1800.60	v -x4039 -x4041 -x4046 -x4073 -x4100 -x4127 x4154 -x4181 -x4208 -x541 -x4235 -x4247 -x546 -x4259 -x549 -x4271 -x4283 -x4295
1800.06/1800.60	v -x556 -x4307 -x559 -x4319 -x562 -x4331 -x565 -x4343 -x568 -x4355 -x4367 -x573 -x4379 -x4391 -x4403 -x4415 -x582 -x4427
1800.06/1800.60	v -x4439 -x4451 -x4463 -x591 -x4475 -x4487 -x4489 -x4494 -x4496 -x4501 -x4503 x4508 -x4510 -x4515 -x4517 -x4522 -x4524 -x4529
1800.06/1800.60	v -x4531 -x4536 -x4541 -x4543 -x4548 -x4550 -x4555 -x4557 -x4562 -x4564 -x4569 -x4571 -x4576 -x4578 -x4583 -x4585 -x4590
1800.06/1800.60	v -x4592 -x4597 -x4599 -x4604 -x4606 -x4611 -x4613 -x4618 -x4620 -x4625 -x4627 -x4632 -x4634 -x4639 -x4641 -x4646 -x4648
1800.06/1800.60	v -x4653 -x4655 -x4660 -x4662 -x4667 -x4669 -x4674 -x4679 -x4681 -x4686 -x4688 -x4693 -x4695 -x4700 -x4702 -x4707 -x4709
1800.06/1800.60	v -x4714 -x4716 -x4721 -x4723 -x4728 -x4755 x4782 -x4809 -x4836 -x4863 -x4890 -x4917 -x4929 -x709 -x4941 -x4953 -x4965 -x716
1800.06/1800.60	v -x4977 -x719 -x4989 -x722 -x5001 -x5013 -x5025 -x5037 -x731 -x5049 -x734 -x5061 -x737 -x5073 -x5085 -x742 -x5097 -x5109
1800.06/1800.60	v -x747 -x5121 -x5133 -x5145 -x754 -x5157 -x5169 -x5171 -x5176 -x5178 -x5183 -x5185 -x5190 -x5195 -x5197 -x5202 -x5204 -x5209
1800.06/1800.60	v -x5211 -x5216 x5218 -x5223 -x5225 -x5230 -x5232 -x5237 -x5239 -x5244 -x5246 -x5251 -x5256 -x5258 -x5263 -x5265 -x5270
1800.06/1800.60	v -x5272 -x5277 -x5279 -x5284 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5321 x5326 -x5328
1800.06/1800.60	v -x5333 -x5335 -x5340 -x5342 -x5347 -x5349 -x5354 -x5356 -x5361 -x5363 -x5368 -x5370 -x5375 -x5377 -x5382 -x5384 -x5389
1800.06/1800.60	v -x5391 -x5396 -x5398 -x5403 -x5405 -x5410 -x5437 -x5464 x5491 -x5518 -x5545 -x5572 -x5599 -x5611 -x5623 -x5635 -x5647
1800.06/1800.60	v -x5659 -x5671 -x882 -x5683 -x5695 -x887 -x5707 -x890 -x5719 -x5731 -x5743 -x5755 -x5767 -x901 -x5779 x5791 -x5803 -x5815
1800.06/1800.60	v -x5827 -x5839 -x5851 -x5856 -x5858 -x5863 -x5868 -x5870 -x5875 -x5877 -x5882 -x5884 -x5889 -x5894 -x5896 -x5901 -x5903
1800.06/1800.60	v -x5908 -x5910 -x5915 -x5917 -x5922 -x5924 -x5929 -x5931 -x5936 -x5941 -x5943 -x5948 -x5950 -x5955 -x5960 -x5962 -x5967
1800.06/1800.60	v -x5969 -x5974 -x5976 -x5981 -x5983 -x5988 -x5990 -x5995 -x5997 -x6002 -x6004 -x6009 -x6011 -x6016 -x6018 -x6023 -x6025
1800.06/1800.60	v -x6030 -x6035 -x6040 -x6042 -x6047 -x6049 -x6054 -x6056 -x6061 -x6063 -x6068 -x6070 -x6072 -x10 -x12 -x13 -x15 -x16 -x18
1800.06/1800.60	v -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 -x47 x48 -x49 -x51 -x52 -x54
1800.06/1800.60	v -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x81 -x82 -x84 -x85 -x87 -x88 -x90 -x92 -x91
1800.06/1800.60	v -x93 -x95 -x94 -x96 -x98 -x97 -x99 -x101 -x100 -x102 -x104 -x103 -x105 -x107 -x106 -x108 -x110 -x109 -x111 -x113 -x112 -x114
1800.06/1800.60	v -x116 -x115 -x117 -x119 -x118 -x120 -x122 -x121 -x123 -x125 -x124 -x126 -x128 -x127 -x129 -x131 -x130 -x132 -x134 -x133 -x135
1800.06/1800.60	v -x137 -x136 -x138 -x140 -x139 -x141 -x143 -x142 -x144 -x146 -x145 -x147 -x149 -x148 -x150 -x152 -x151 -x153 -x154 -x155 -x157
1800.06/1800.60	v -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x178
1800.06/1800.60	v -x177 -x179 -x181 -x180 -x182 x184 -x183 -x185 -x187 -x186 -x188 -x190 -x189 -x191 -x193 -x192 -x194 -x196 -x195 -x197 -x199
1800.06/1800.60	v -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 -x208 -x207 x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 -x220
1800.06/1800.60	v -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 -x235 -x234 -x236 -x238 -x237 -x239 -x241
1800.06/1800.60	v -x240 -x242 -x244 -x243 -x245 -x247 -x246 -x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 -x260 -x262
1800.06/1800.60	v -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 -x283
1800.06/1800.60	v -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 -x304
1800.06/1800.60	v -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x319 -x318 -x320 -x322 -x321 -x323 -x325
1800.06/1800.60	v -x324 -x326 -x328 -x327 -x329 -x331 -x330 -x332 -x334 -x333 -x335 -x337 -x336 -x338 -x340 -x339 -x341 -x343 -x342 -x344 -x346
1800.06/1800.60	v -x345 -x347 -x349 -x348 -x350 -x352 -x351 -x353 -x355 -x354 -x356 -x358 -x357 -x359 -x361 -x360 -x362 -x2 -x3 x4 -x5 -x6 -x7
1800.06/1800.60	v -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x377 -x378 -x380 -x381 -x383 -x384 -x385 -x386 -x387 -x388 -x390 -x391 -x393 -x394
1800.06/1800.60	v -x396 -x397 -x399 -x400 -x402 -x403 -x405 -x406 x408 -x409 -x410 -x411 -x413 -x414 -x416 -x417 -x419 -x420 -x422 -x423 -x425
1800.06/1800.60	v -x426 -x427 -x429 -x428 -x430 -x432 -x431 -x433 x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447
1800.06/1800.60	v -x446 -x448 -x450 -x449 -x451 -x452 -x453 -x455 -x454 -x456 -x458 -x457 -x459 -x461 -x460 -x462 -x464 -x463 -x465 -x467 -x466
1800.06/1800.60	v -x468 -x470 -x469 -x471 -x473 -x472 -x474 -x476 -x475 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487
1800.06/1800.60	v -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x503 -x502 -x504 -x506 -x505 -x507 x509 -x508
1800.06/1800.60	v -x510 -x512 -x511 -x513 -x515 -x514 -x516 -x518 -x517 x519 -x521 -x520 -x522 -x524 -x523 -x525 -x527 -x526 -x528 -x530 -x529
1800.06/1800.60	v -x531 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x540 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555
1800.06/1800.60	v -x557 -x558 -x560 -x561 -x563 -x564 -x566 -x567 -x569 -x570 -x571 -x572 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x583
1800.06/1800.60	v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 x603 -x602 -x604 -x606
1800.06/1800.60	v -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x614 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625
1800.06/1800.60	v -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646
1800.06/1800.60	v -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667
1800.06/1800.60	v -x669 -x671 -x670 -x672 -x673 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689
1800.06/1800.60	v -x691 -x690 -x692 -x694 -x693 -x695 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x704 -x705 -x706 -x707 -x708 -x710 -x711 -x712
1800.06/1800.60	v -x713 -x714 -x715 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x732 -x733 -x735 -x736 -x738 -x739
1800.06/1800.60	v -x740 -x741 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762
1800.06/1800.60	v -x764 -x765 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 x778 -x780 -x779 -x781 -x783 -x782 -x784
1800.06/1800.60	v -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806
1800.06/1800.60	v -x805 -x807 -x809 -x808 -x810 -x812 -x811 -x813 -x815 -x814 -x816 -x818 -x817 -x819 -x821 -x820 -x822 x824 -x823 -x825 -x827
1800.06/1800.60	v -x826 -x828 -x830 -x829 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848
1800.06/1800.60	v -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x867 -x868 -x869
1800.06/1800.60	v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x888 -x889 -x891 -x892 -x893
1800.06/1800.60	v -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916
1800.06/1800.60	v -x915 -x917 -x918 -x919 -x921 -x920 -x922 -x924 -x923 -x925 -x927 -x926 -x928 -x929 -x930 -x932 -x931 -x933 -x935 -x934 -x936
1800.06/1800.60	v -x938 -x937 -x939 -x941 -x940 -x942 -x944 -x943 -x945 -x947 -x946 -x948 -x949 -x950 -x952 -x951 -x953 -x955 -x954 -x956 -x957
1800.06/1800.60	v -x958 -x960 -x959 -x961 -x963 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 -x977
1800.06/1800.60	v -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x989 -x990 -x991 -x992 -x994 -x993 -x995 -x997 -x996 -x998 -x1000
1800.06/1800.60	v -x999 -x1001 -x1003 -x1002 -x1004 -x1006 -x1005 -x1008 -x1007 -x1009 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x1011 -x1012
1800.06/1800.60	v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.06/1800.60	v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.06/1800.60	v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1800.06/1800.60	v -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.06/1800.60	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.06/1800.60	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.06/1800.60	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133
1800.06/1800.60	v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1800.06/1800.60	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167
1800.06/1800.60	v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1185
1800.06/1800.60	v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1800.06/1800.60	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1800.06/1800.60	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.06/1800.60	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1800.06/1800.60	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1800.06/1800.60	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288
1800.06/1800.60	v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306
1800.06/1800.60	v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323
1800.06/1800.60	v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
1800.06/1800.60	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357
1800.06/1800.60	v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
1800.06/1800.60	v -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392
1800.06/1800.60	v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1800.06/1800.60	v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427
1800.06/1800.60	v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
1800.06/1800.60	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461
1800.06/1800.60	v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1475 -x1476 -x1477 -x1478 -x1479
1800.06/1800.60	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496
1800.06/1800.60	v -x1497 -x1498 -x1499 -x1500 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514
1800.06/1800.60	v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1529 -x1530 -x1531 -x1532
1800.06/1800.60	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.06/1800.60	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1800.06/1800.60	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1583 -x1584 -x1585
1800.06/1800.60	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1800.06/1800.60	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1800.06/1800.60	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1637 -x1638
1800.06/1800.60	v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1800.06/1800.60	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.06/1800.60	v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691
1800.06/1800.60	v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708
1800.06/1800.60	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.06/1800.60	v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743
1800.06/1800.60	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
1800.06/1800.60	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779
1800.06/1800.60	v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1800.06/1800.60	v -x1797 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814
1800.06/1800.60	v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
1800.06/1800.60	v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
1800.06/1800.60	v -x1850 -x1851 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867
1800.06/1800.60	v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
1800.06/1800.60	v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902
1800.06/1800.60	v -x1903 -x1904 -x1905 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
1800.06/1800.60	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1934 -x1935 -x1936 -x1937 -x1938
1800.06/1800.60	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955
1800.06/1800.60	v -x1956 -x1957 -x1958 -x1959 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1800.06/1800.60	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991
1800.06/1800.60	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1800.06/1800.60	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
1800.06/1800.60	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2042 -x2043 -x2044
1800.06/1800.60	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1800.06/1800.60	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1800.06/1800.60	v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2096 -x2097
1800.06/1800.60	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114
1800.06/1800.60	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1800.06/1800.60	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2150
1800.06/1800.60	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.06/1800.60	v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185
1800.06/1800.60	v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202
1800.06/1800.60	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.06/1800.60	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2231 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239
1800.06/1800.60	v -x2240 -x2241 -x2242 -x2243 -x2245 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2259
1800.06/1800.60	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2273 -x2275 -x2276 -x2277 -x2278 -x2279
1800.06/1800.60	v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1800.06/1800.60	v -x2299 -x2301 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2315 -x2317 -x2318 -x2319
1800.06/1800.60	v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2329 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.06/1800.60	v -x2339 -x2340 -x2341 x2343 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2357 -x2359 -x2360
1800.06/1800.60	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
1800.06/1800.60	v -x2380 -x2381 -x2382 -x2383 -x2385 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2399
1800.06/1800.60	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2413 -x2415 -x2416 -x2417 -x2418 -x2419
1800.06/1800.60	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2427 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438
1800.06/1800.60	v -x2439 x2441 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2455 -x2457 -x2458 -x2459 -x2460
1800.06/1800.60	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2469 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479
1800.06/1800.60	v -x2480 -x2481 x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2497 -x2499 -x2500 -x2501
1800.06/1800.60	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2511 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1800.06/1800.60	v -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2537 -x2539 -x2540
1800.06/1800.60	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2551 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1800.06/1800.60	v -x2560 -x2561 -x2562 -x2563 -x2565 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2579
1800.06/1800.60	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2593 -x2595 -x2596 -x2597 -x2598 -x2599
1800.06/1800.60	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2607 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
1800.06/1800.60	v -x2619 -x2621 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2637 -x2638 -x2639
1800.06/1800.60	v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2649 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1800.06/1800.60	v -x2659 -x2660 -x2661 x2663 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2679
1800.06/1800.60	v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2691 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1800.06/1800.60	v -x2699 -x2700 -x2701 -x2702 -x2703 x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717
1800.06/1800.60	v -x2719 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2733 -x2735 -x2736 -x2737 -x2738
1800.06/1800.60	v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757
1800.06/1800.60	v -x2758 -x2759 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2775 x2777 -x2778
1800.06/1800.60	v -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2789 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797
1800.06/1800.60	v -x2798 -x2799 -x2800 -x2801 x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817
1800.06/1800.60	v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837
1800.06/1800.60	v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856
1800.06/1800.60	v -x2857 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2875 -x2876 -x2877
1800.06/1800.60	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2887 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896
1800.06/1800.60	v -x2897 -x2898 -x2899 -x2901 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2915 -x2917
1800.06/1800.60	v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936
1800.06/1800.60	v -x2937 -x2938 -x2939 -x2940 -x2941 -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955
1800.06/1800.60	v x2957 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2971 -x2973 -x2974 -x2975 -x2976
1800.06/1800.60	v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2985 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995
1800.06/1800.60	v -x2996 -x2997 -x2999 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3013 -x3014 -x3015
1800.06/1800.60	v -x3016 -x3018 -x3019 -x3020 -x3021 -x3023 -x3024 -x3025 -x3026 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036
1800.06/1800.60	v -x3038 -x3039 -x3040 -x3041 -x3043 -x3044 -x3045 -x3046 -x3048 -x3049 -x3050 -x3051 -x3053 -x3054 -x3055 -x3056 -x3058
1800.06/1800.60	v -x3059 -x3060 -x3061 -x3063 -x3064 -x3065 -x3066 -x3068 -x3069 -x3070 -x3071 -x3073 -x3074 -x3075 -x3076 -x3078 -x3079
1800.06/1800.60	v -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 -x3091 -x3093 -x3094 -x3095 -x3096 -x3098 -x3099 -x3100
1800.06/1800.60	v -x3101 -x3103 -x3104 -x3105 -x3106 -x3108 -x3109 -x3110 -x3111 x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121
1800.06/1800.60	v -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 x3133 -x3134 -x3135 x3136 -x3138 -x3139 -x3140 -x3141 -x3143 -x3144
1800.06/1800.60	v -x3145 -x3146 -x3148 -x3149 -x3150 -x3151 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3163 -x3164 -x3165
1800.06/1800.60	v -x3166 -x3168 -x3169 -x3170 -x3171 -x3173 -x3174 -x3175 -x3176 x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186
1800.06/1800.60	v -x3188 -x3189 -x3190 -x3191 -x3193 -x3194 -x3195 -x3196 x3198 -x3199 x3200 -x3201 -x3203 -x3204 -x3205 -x3206 -x3208 -x3209
1800.06/1800.60	v -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3218 -x3219 -x3220 -x3221 -x3223 -x3224 -x3225 -x3226 -x3228 -x3229 -x3230
1800.06/1800.60	v -x3231 -x3233 -x3234 -x3235 -x3236 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 x3248 -x3249 -x3250 -x3251
1800.06/1800.60	v -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3268 -x3269 -x3270 -x3271 -x3273
1800.06/1800.60	v -x3274 -x3275 -x3276 -x3278 -x3279 -x3280 -x3281 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3293 -x3294
1800.06/1800.60	v -x3295 -x3296 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 x3308 -x3309 -x3310 -x3311 -x3313 -x3314 -x3315
1800.06/1800.60	v -x3316 -x3318 -x3319 -x3320 -x3321 x3323 -x3324 x3325 -x3326 -x3328 -x3329 -x3330 -x3331 -x3333 -x3334 -x3335 -x3336 -x3338
1800.06/1800.60	v -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359
1800.06/1800.60	v -x3360 -x3361 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377
1800.06/1800.60	v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395
1800.06/1800.60	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412
1800.06/1800.60	v -x3413 -x3414 -x3415 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
1800.06/1800.60	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 -x3446 -x3447 -x3448
1800.06/1800.60	v -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465
1800.06/1800.60	v -x3466 -x3467 -x3468 -x3469 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483
1800.06/1800.60	v -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3498 -x3499 -x3500 -x3501
1800.06/1800.60	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519
1800.06/1800.60	v -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537
1800.06/1800.60	v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3552 -x3553 -x3554 -x3555
1800.06/1800.60	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573
1800.06/1800.60	v -x3574 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3592
1800.06/1800.60	v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
1800.06/1800.60	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
1800.06/1800.60	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648
1800.06/1800.60	v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667
1800.06/1800.60	v -x3668 -x3669 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3684 -x3685 -x3686
1800.06/1800.60	v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704
1800.06/1800.60	v -x3705 -x3706 x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3720 -x3721 -x3722 -x3723 -x3724
1800.06/1800.60	v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742
1800.06/1800.60	v x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 x3753 -x3754 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762
1800.06/1800.60	v -x3763 -x3764 -x3765 -x3766 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781
1800.06/1800.60	v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799
1800.06/1800.60	v -x3800 -x3801 -x3802 -x3804 -x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 x3818 x3820 -x3821 -x3822 -x3823
1800.06/1800.60	v -x3825 x3827 -x3828 -x3829 -x3830 x3832 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 x3846 -x3848 -x3849
1800.06/1800.60	v -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3860 -x3861 -x3862 -x3863 x3865 -x3867 -x3868 -x3869 -x3870 -x3872
1800.06/1800.60	v -x3874 -x3875 -x3876 -x3877 x3879 -x3881 -x3882 -x3883 -x3884 x3886 x3888 -x3889 -x3890 -x3891 x3893 -x3895 -x3896 -x3897
1800.06/1800.60	v -x3898 x3900 -x3902 -x3903 -x3904 -x3905 -x3907 -x3909 -x3910 -x3911 -x3912 -x3914 -x3916 -x3917 -x3918 -x3919 -x3921
1800.06/1800.60	v -x3923 -x3924 -x3925 -x3926 x3928 -x3930 -x3931 -x3932 -x3933 -x3935 -x3937 -x3938 -x3939 -x3940 -x3942 x3944 -x3945 x3946
1800.06/1800.60	v -x3947 -x3949 -x3951 -x3952 -x3953 -x3954 -x3956 x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 -x3970
1800.06/1800.60	v -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3984 x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995
1800.06/1800.60	v -x3996 -x3998 -x4000 -x4001 -x4002 -x4003 x4005 -x4007 -x4008 -x4009 -x4010 x4012 x4014 -x4015 -x4016 -x4017 -x4019 -x4021
1800.06/1800.60	v -x4022 -x4023 -x4024 -x4026 -x4028 -x4029 -x4030 -x4031 -x4033 x4035 -x4036 -x4037 -x4038 -x4040 -x4042 -x4043 -x4044
1800.06/1800.60	v -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062
1800.06/1800.60	v -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1800.06/1800.60	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097
1800.06/1800.60	v -x4098 -x4099 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115
1800.06/1800.60	v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
1800.06/1800.60	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1800.06/1800.60	v -x4151 -x4152 -x4153 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168
1800.06/1800.60	v -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4182 -x4183 -x4184 -x4185 -x4186
1800.06/1800.60	v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203
1800.06/1800.60	v -x4204 -x4205 -x4206 -x4207 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221
1800.06/1800.60	v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239
1800.06/1800.60	v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257
1800.06/1800.60	v -x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4272 -x4273 -x4274 -x4275 -x4276
1800.06/1800.60	v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294
1800.06/1800.60	v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313
1800.06/1800.60	v -x4314 -x4315 -x4316 -x4317 -x4318 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4332
1800.06/1800.60	v -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
1800.06/1800.60	v -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4368 -x4369
1800.06/1800.60	v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387
1800.06/1800.60	v -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406
1800.06/1800.60	v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424
1800.06/1800.60	v x4425 -x4426 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4440 -x4441 -x4442 -x4443
1800.06/1800.60	v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461
1800.06/1800.60	v -x4462 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 -x4480
1800.06/1800.60	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4488 -x4490 -x4491 -x4492 -x4493 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502
1800.06/1800.60	v x4504 -x4505 -x4506 -x4507 x4509 x4511 -x4512 -x4513 -x4514 -x4516 -x4518 -x4519 -x4520 -x4521 x4523 -x4525 -x4526 -x4527
1800.06/1800.60	v -x4528 x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4551 -x4552
1800.06/1800.60	v -x4553 -x4554 x4556 -x4558 -x4559 -x4560 -x4561 -x4563 -x4565 -x4566 -x4567 -x4568 x4570 x4572 -x4573 -x4574 -x4575 -x4577
1800.06/1800.60	v -x4579 -x4580 -x4581 -x4582 x4584 -x4586 -x4587 -x4588 -x4589 -x4591 -x4593 -x4594 -x4595 -x4596 -x4598 -x4600 -x4601
1800.06/1800.60	v -x4602 -x4603 -x4605 -x4607 -x4608 -x4609 -x4610 x4612 -x4614 -x4615 -x4616 -x4617 -x4619 x4621 -x4622 x4623 -x4624 -x4626
1800.06/1800.60	v -x4628 -x4629 -x4630 -x4631 -x4633 -x4635 -x4636 -x4637 -x4638 -x4640 x4642 -x4643 -x4644 -x4645 -x4647 -x4649 -x4650
1800.06/1800.60	v -x4651 -x4652 -x4654 -x4656 -x4657 -x4658 -x4659 -x4661 x4663 -x4664 -x4665 -x4666 -x4668 -x4670 -x4671 -x4672 -x4673
1800.06/1800.60	v x4675 -x4676 -x4677 -x4678 -x4680 -x4682 -x4683 -x4684 -x4685 x4687 x4689 -x4690 -x4691 -x4692 x4694 -x4696 -x4697 -x4698
1800.06/1800.60	v -x4699 -x4701 -x4703 -x4704 -x4705 -x4706 -x4708 x4710 -x4711 -x4712 -x4713 -x4715 -x4717 -x4718 -x4719 -x4720 -x4722
1800.06/1800.60	v -x4724 -x4725 -x4726 -x4727 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741
1800.06/1800.60	v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759
1800.06/1800.60	v -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776
1800.06/1800.60	v -x4777 -x4778 -x4779 -x4780 -x4781 x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795
1800.06/1800.60	v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4810 -x4811 -x4812 -x4813
1800.06/1800.60	v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1800.06/1800.60	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848
1800.06/1800.60	v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4864 -x4865 x4866 -x4867
1800.06/1800.60	v -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884
1800.06/1800.60	v -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902
1800.06/1800.60	v -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 -x4920
1800.06/1800.60	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938
1800.06/1800.60	v -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957
1800.06/1800.60	v -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975
1800.06/1800.60	v -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994
1800.06/1800.60	v -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012
1800.06/1800.60	v -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031
1800.06/1800.60	v -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5050
1800.06/1800.60	v -x5051 -x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068
1800.06/1800.60	v -x5069 -x5070 -x5071 -x5072 x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087
1800.06/1800.60	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105
1800.06/1800.60	v -x5106 -x5107 -x5108 x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 -x5125
1800.06/1800.60	v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143
1800.06/1800.60	v -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162
1800.06/1800.60	v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5170 -x5172 -x5173 -x5174 -x5175 -x5177 -x5179 -x5180 -x5181 -x5182 x5184 -x5186
1800.06/1800.60	v -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5196 -x5198 -x5199 -x5200 -x5201 x5203 x5205 -x5206 -x5207 -x5208 x5210
1800.06/1800.60	v -x5212 -x5213 -x5214 -x5215 x5217 x5219 -x5220 -x5221 -x5222 x5224 -x5226 -x5227 -x5228 -x5229 -x5231 -x5233 -x5234 -x5235
1800.06/1800.60	v -x5236 x5238 x5240 -x5241 -x5242 -x5243 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5253 -x5254 -x5255 -x5257 -x5259 -x5260
1800.06/1800.60	v -x5261 -x5262 x5264 -x5266 -x5267 -x5268 -x5269 -x5271 -x5273 -x5274 -x5275 -x5276 x5278 -x5280 -x5281 -x5282 -x5283 -x5285
1800.06/1800.60	v -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309
1800.06/1800.60	v -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 x5320 -x5322 -x5323 -x5324 -x5325 x5327 -x5329 -x5330 -x5331 -x5332 -x5334
1800.06/1800.60	v -x5336 -x5337 -x5338 -x5339 -x5341 -x5343 -x5344 -x5345 -x5346 -x5348 x5350 -x5351 -x5352 -x5353 -x5355 x5357 -x5358 -x5359
1800.06/1800.60	v x5360 -x5362 -x5364 -x5365 -x5366 -x5367 -x5369 -x5371 -x5372 -x5373 -x5374 -x5376 -x5378 -x5379 -x5380 -x5381 -x5383
1800.06/1800.60	v -x5385 -x5386 -x5387 -x5388 -x5390 -x5392 -x5393 -x5394 -x5395 -x5397 x5399 -x5400 x5401 -x5402 -x5404 -x5406 -x5407 -x5408
1800.06/1800.60	v -x5409 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426
1800.06/1800.60	v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444
1800.06/1800.60	v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461
1800.06/1800.60	v -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479
1800.06/1800.60	v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5492 -x5493 -x5494 -x5495 -x5496 -x5497
1800.06/1800.60	v -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514
1800.06/1800.60	v -x5515 -x5516 -x5517 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532
1800.06/1800.60	v -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5546 -x5547 -x5548 -x5549 -x5550
1800.06/1800.60	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567
1800.06/1800.60	v -x5568 -x5569 -x5570 -x5571 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585
1800.06/1800.60	v -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5600 -x5601 -x5602 -x5603
1800.06/1800.60	v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621
1800.06/1800.60	v -x5622 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640
1800.06/1800.60	v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658
1800.06/1800.60	v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677
1800.06/1800.60	v -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5696
1800.06/1800.60	v -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714
1800.06/1800.60	v -x5715 -x5716 -x5717 -x5718 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733
1800.06/1800.60	v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751
1800.06/1800.60	v -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5768 -x5769 -x5770
1800.06/1800.60	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788
1800.06/1800.60	v -x5789 -x5790 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5804 -x5805 -x5806 -x5807 -x5808
1800.06/1800.60	v -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826
1800.06/1800.60	v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5840 -x5841 -x5842 -x5843 -x5844 -x5845
1800.06/1800.60	v -x5846 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5859 -x5860 -x5861 -x5862 -x5864 -x5865 -x5866
1800.06/1800.60	v -x5867 -x5869 -x5871 -x5872 -x5873 -x5874 -x5876 -x5878 -x5879 -x5880 -x5881 x5883 -x5885 -x5886 -x5887 -x5888 -x5890
1800.06/1800.60	v -x5891 -x5892 -x5893 x5895 -x5897 -x5898 -x5899 -x5900 x5902 -x5904 -x5905 -x5906 -x5907 -x5909 -x5911 -x5912 -x5913 -x5914
1800.06/1800.60	v -x5916 -x5918 -x5919 -x5920 -x5921 -x5923 -x5925 -x5926 -x5927 -x5928 -x5930 -x5932 -x5933 -x5934 -x5935 -x5937 -x5938
1800.06/1800.60	v -x5939 -x5940 -x5942 -x5944 -x5945 -x5946 -x5947 -x5949 -x5951 -x5952 -x5953 -x5954 -x5956 -x5957 -x5958 -x5959 -x5961
1800.06/1800.60	v -x5963 -x5964 -x5965 -x5966 x5968 -x5970 -x5971 -x5972 -x5973 -x5975 -x5977 -x5978 -x5979 -x5980 -x5982 x5984 -x5985 -x5986
1800.06/1800.60	v -x5987 -x5989 x5991 -x5992 -x5993 -x5994 -x5996 -x5998 -x5999 -x6000 -x6001 -x6003 -x6005 -x6006 -x6007 -x6008 -x6010
1800.06/1800.60	v x6012 -x6013 -x6014 -x6015 -x6017 -x6019 -x6020 -x6021 -x6022 -x6024 -x6026 -x6027 -x6028 -x6029 -x6031 -x6032 -x6033
1800.06/1800.60	v -x6034 -x6036 -x6037 -x6038 -x6039 x6041 -x6043 -x6044 -x6045 -x6046 x6048 -x6050 -x6051 -x6052 -x6053 -x6055 -x6057 -x6058
1800.06/1800.60	v -x6059 -x6060 -x6062 -x6064 -x6065 -x6066 -x6067 -x6069 -x6071 -x6073 -x6074 -x6075 -x6076
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c   42   540884 218999  1337985    57521 12131092  36141    300 1800.07
1800.06/1800.61	c Objective: 26
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	c Total time: 1800.07 s

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-433725-1177962661 -o ROOT/results/node55/solver-433725-1177962661 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433725-1177962661/instance-433725-1177962661.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.91 0.97 0.99 3/64 19872
/proc/meminfo: memFree=1437932/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=12344 CPUtime=0
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 244176138 12640256 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 3086 333 279 324 0 2004 0

[startup+0.0377011 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 19872
/proc/meminfo: memFree=1437932/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=5360 CPUtime=0.03
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 614 0 0 0 3 0 0 0 18 0 1 0 244176138 5488640 584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 1340 584 326 324 0 258 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5360

[startup+0.101706 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 19872
/proc/meminfo: memFree=1437932/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=6872 CPUtime=0.09
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 1061 0 0 0 9 0 0 0 18 0 1 0 244176138 7036928 1031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 1718 1031 412 324 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6872

[startup+0.301725 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 19872
/proc/meminfo: memFree=1437932/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=8092 CPUtime=0.29
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 1558 0 0 0 29 0 0 0 19 0 1 0 244176138 8286208 1376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 2023 1376 304 324 0 1093 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8092

[startup+0.701762 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 19872
/proc/meminfo: memFree=1437932/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=8968 CPUtime=0.69
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 1986 0 0 0 67 2 0 0 22 0 1 0 244176138 9183232 1598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 2242 1598 311 324 0 1312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8968

[startup+1.50184 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1432740/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=8968 CPUtime=1.49
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 1986 0 0 0 147 2 0 0 25 0 1 0 244176138 9183232 1598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572033 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 2242 1598 311 324 0 1312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8968

[startup+3.10199 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1431780/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=16636 CPUtime=3.09
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 3915 0 0 0 306 3 0 0 25 0 1 0 244176138 17035264 3527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 4159 3527 311 324 0 3229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16636

[startup+6.30129 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1414564/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=30048 CPUtime=6.29
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 7254 0 0 0 624 5 0 0 25 0 1 0 244176138 30769152 6866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 7512 6866 311 324 0 6582 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30048

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1388708/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=55808 CPUtime=12.69
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 13711 0 0 0 1261 8 0 0 25 0 1 0 244176138 57147392 13323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 13952 13323 311 324 0 13022 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55808

[startup+25.5011 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1348260/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=93024 CPUtime=25.48
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 23016 0 0 0 2536 12 0 0 25 0 1 0 244176138 95256576 22628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 23256 22628 311 324 0 22326 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93024

[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1346020/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=95216 CPUtime=51.06
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 23564 0 0 0 5094 12 0 0 25 0 1 0 244176138 97501184 23176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7290496 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 23804 23176 311 324 0 22874 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95216

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1330852/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=110392 CPUtime=102.26
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 27361 0 0 0 10212 14 0 0 25 0 1 0 244176138 113041408 26973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 27598 26973 311 324 0 26668 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 110392

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1323428/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=117772 CPUtime=162.24
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 29210 0 0 0 16209 15 0 0 25 0 1 0 244176138 120598528 28822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 29443 28822 311 324 0 28513 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 117772

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1277732/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=163184 CPUtime=222.23
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 40595 0 0 0 22201 22 0 0 25 0 1 0 244176138 167100416 40174 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 40796 40174 311 324 0 39866 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 163184

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1277732/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=163184 CPUtime=282.21
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 40595 0 0 0 28199 22 0 0 25 0 1 0 244176138 167100416 40174 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 40796 40174 311 324 0 39866 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 163184

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1277732/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=163184 CPUtime=342.2
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 40595 0 0 0 34198 22 0 0 25 0 1 0 244176138 167100416 40174 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7278744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 40796 40174 311 324 0 39866 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 163184

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1277796/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=163196 CPUtime=402.18
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 40598 0 0 0 40196 22 0 0 25 0 1 0 244176138 167112704 40177 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 40799 40177 311 324 0 39869 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 163196

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1277924/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=163196 CPUtime=462.17
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 40598 0 0 0 46195 22 0 0 25 0 1 0 244176138 167112704 40177 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 40799 40177 311 324 0 39869 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 163196

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1277988/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=163196 CPUtime=522.15
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 40598 0 0 0 52193 22 0 0 25 0 1 0 244176138 167112704 40177 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 40799 40177 311 324 0 39869 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 163196

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19873
/proc/meminfo: memFree=1261284/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=179716 CPUtime=582.14
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 44767 0 0 0 58190 24 0 0 25 0 1 0 244176138 184029184 44306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 44929 44306 311 324 0 43999 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 179716

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 20043
/proc/meminfo: memFree=1255972/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=183860 CPUtime=642.05
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 45792 0 0 0 64179 26 0 0 25 0 1 0 244176138 188272640 45331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 45965 45331 311 324 0 45035 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 183860


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20071
/proc/meminfo: memFree=1141092/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=299616 CPUtime=821.99
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 74770 0 0 0 82157 42 0 0 25 0 1 0 244176138 306806784 74269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 74904 74269 311 324 0 73974 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 299616

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20071
/proc/meminfo: memFree=1141156/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=299616 CPUtime=881.97
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 74770 0 0 0 88155 42 0 0 25 0 1 0 244176138 306806784 74269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 74904 74269 311 324 0 73974 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 299616

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20071
/proc/meminfo: memFree=1123876/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=317172 CPUtime=941.96
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79144 0 0 0 94151 45 0 0 25 0 1 0 244176138 324784128 78643 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79293 78643 311 324 0 78363 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 317172

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20071
/proc/meminfo: memFree=1120548/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=320164 CPUtime=1001.94
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79946 0 0 0 100149 45 0 0 25 0 1 0 244176138 327847936 79405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 80041 79405 311 324 0 79111 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 320164

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20071
/proc/meminfo: memFree=1120548/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=320172 CPUtime=1061.93
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79948 0 0 0 106148 45 0 0 25 0 1 0 244176138 327856128 79407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 80043 79407 311 324 0 79113 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 320172

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20071
/proc/meminfo: memFree=1120548/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=320128 CPUtime=1121.91
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 112146 45 0 0 25 0 1 0 244176138 327811072 79408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 80032 79408 311 324 0 79102 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 320128

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 20071
/proc/meminfo: memFree=1120612/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=320128 CPUtime=1181.9
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 118145 45 0 0 25 0 1 0 244176138 327811072 79408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 80032 79408 311 324 0 79102 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 320128

[startup+1242.3 s]
/proc/loadavg: 1.11 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120612/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=320128 CPUtime=1241.89
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 124143 46 0 0 25 0 1 0 244176138 327811072 79408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 80032 79408 311 324 0 79102 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 320128

[startup+1302.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/65 20071
/proc/meminfo: memFree=1120612/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1301.88
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 130142 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 319920

[startup+1362.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 20071
/proc/meminfo: memFree=1120740/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1361.86
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 136140 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 319920

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120740/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1421.85
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 142139 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 319920

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120740/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1481.83
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 148137 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 319920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120740/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1541.82
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 154136 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 319920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120804/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1601.8
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 160134 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 319920

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120804/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1661.79
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 166133 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 319920

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120804/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1721.77
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 172131 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 319920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120868/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1781.76
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 178130 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 319920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20071
/proc/meminfo: memFree=1120868/2055920 swapFree=4184544/4192956
[pid=19872] ppid=19870 vsize=319920 CPUtime=1800.06
/proc/19872/stat : 19872 (bsolo3.0.17) R 19870 19872 19067 0 -1 4194304 79949 0 0 0 179960 46 0 0 25 0 1 0 244176138 327598080 79361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7278744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19872/statm: 79980 79361 311 324 0 79050 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 319920

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.66
CPU time (s): 1800.12
CPU user time (s): 1799.61
CPU system time (s): 0.511922
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 320324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.511922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79953
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= 16
involuntary context switches= 3282

runsolver used 1.47278 second user time and 3.50147 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Apr 30 19:51:01 UTC 2007

IDJOB= 433725
IDBENCH= 25012
IDSOLVER= 199
FILE ID= node55/433725-1177962661

PBS_JOBID= 4727711

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433725-1177962661/instance-433725-1177962661.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-433725-1177962661 -o ROOT/results/node55/solver-433725-1177962661 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433725-1177962661/instance-433725-1177962661.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  82a3d84200b069df277c7f14e0e883d0

RANDOM SEED= 523070843

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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:       1438340 kB
Buffers:         55412 kB
Cached:         475020 kB
SwapCached:       2552 kB
Active:          37804 kB
Inactive:       502752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1438340 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            7184 kB
Writeback:           0 kB
Mapped:          16500 kB
Slab:            63112 kB
Committed_AS:  1412676 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= 66557 MiB

End job on node55 on Mon Apr 30 20:21:04 UTC 2007