Trace number 373002

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.16SAT (TO)26 1800.05 1800.61

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

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29544
/proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=12344 CPUtime=0
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 156541037 12640256 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 3086 336 281 324 0 2003 0

[startup+0.065147 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29544
/proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=6044 CPUtime=0.06
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 806 0 0 0 6 0 0 0 18 0 1 0 156541037 6189056 774 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 1511 774 364 324 0 428 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6044

[startup+0.101151 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29544
/proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=6736 CPUtime=0.09
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1050 0 0 0 9 0 0 0 18 0 1 0 156541037 6897664 1018 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 1684 1019 411 324 0 601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6736

[startup+0.301175 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29544
/proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=8092 CPUtime=0.29
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1562 0 0 0 29 0 0 0 19 0 1 0 156541037 8286208 1378 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 2023 1378 306 324 0 1092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8092

[startup+0.701222 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29544
/proc/meminfo: memFree=1829056/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=8968 CPUtime=0.69
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1990 0 0 0 67 2 0 0 22 0 1 0 156541037 9183232 1600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 2242 1600 313 324 0 1311 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8968

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1823864/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=8968 CPUtime=1.49
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 1990 0 0 0 146 3 0 0 25 0 1 0 156541037 9183232 1600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 2242 1600 313 324 0 1311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8968

[startup+3.10151 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1822840/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=16636 CPUtime=3.09
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 3918 0 0 0 305 4 0 0 25 0 1 0 156541037 17035264 3528 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 4159 3528 313 324 0 3228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16636

[startup+6.30188 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1805752/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=29792 CPUtime=6.28
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 7196 0 0 0 622 6 0 0 25 0 1 0 156541037 30507008 6806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 7448 6806 313 324 0 6517 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29792

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1780024/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=55564 CPUtime=12.67
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 13644 0 0 0 1257 10 0 0 25 0 1 0 156541037 56897536 13254 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 13891 13254 313 324 0 12960 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 55564

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1739512/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=93024 CPUtime=25.47
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 23020 0 0 0 2529 18 0 0 25 0 1 0 156541037 95256576 22630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 23256 22630 313 324 0 22325 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 93024

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1737336/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=95216 CPUtime=51.06
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 23568 0 0 0 5079 27 0 0 25 0 1 0 156541037 97501184 23178 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8409157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 23804 23178 313 324 0 22873 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95216

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1722104/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=110392 CPUtime=102.25
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 27365 0 0 0 10186 39 0 0 25 0 1 0 156541037 113041408 26975 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 27598 26975 313 324 0 26667 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 110392

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1714680/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=117772 CPUtime=162.23
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 29214 0 0 0 16179 44 0 0 25 0 1 0 156541037 120598528 28824 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 29443 28824 313 324 0 28512 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 117772

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=163184 CPUtime=222.21
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40599 0 0 0 22164 57 0 0 25 0 1 0 156541037 167100416 40176 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 40796 40176 313 324 0 39865 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 163184

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=163184 CPUtime=282.19
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40599 0 0 0 28160 59 0 0 25 0 1 0 156541037 167100416 40176 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8410965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 40796 40176 313 324 0 39865 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 163184

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=163184 CPUtime=342.18
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40599 0 0 0 34156 62 0 0 25 0 1 0 156541037 167100416 40176 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 40796 40176 313 324 0 39865 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 163184

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=163196 CPUtime=402.16
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40602 0 0 0 40147 69 0 0 25 0 1 0 156541037 167112704 40179 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 40799 40179 313 324 0 39868 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 163196

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=163196 CPUtime=462.14
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40602 0 0 0 46140 74 0 0 25 0 1 0 156541037 167112704 40179 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 40799 40179 313 324 0 39868 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 163196

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1669048/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=163196 CPUtime=522.13
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 40602 0 0 0 52134 79 0 0 25 0 1 0 156541037 167112704 40179 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 40799 40179 313 324 0 39868 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 163196

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1652280/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=179716 CPUtime=582.1
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 44771 0 0 0 58125 85 0 0 25 0 1 0 156541037 184029184 44308 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8421026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 44929 44308 313 324 0 43998 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 179716

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29545
/proc/meminfo: memFree=1652344/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=179716 CPUtime=642.09
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 44771 0 0 0 64121 88 0 0 25 0 1 0 156541037 184029184 44308 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 44929 44308 313 324 0 43998 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 179716


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

/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79950 0 0 0 106070 126 0 0 25 0 1 0 156541037 327847936 79407 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 80041 79407 313 324 0 79110 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 320164

[startup+1122.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 29547
/proc/meminfo: memFree=1511672/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=320128 CPUtime=1121.95
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 112065 130 0 0 25 0 1 0 156541037 327811072 79410 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 80032 79410 313 324 0 79101 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 320128

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 29547
/proc/meminfo: memFree=1511736/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=320128 CPUtime=1181.92
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 118060 132 0 0 25 0 1 0 156541037 327811072 79410 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 80032 79410 313 324 0 79101 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 320128

[startup+1242.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 29547
/proc/meminfo: memFree=1511736/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=320128 CPUtime=1241.9
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 124055 135 0 0 25 0 1 0 156541037 327811072 79410 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 80032 79410 313 324 0 79101 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 320128

[startup+1302.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/78 29547
/proc/meminfo: memFree=1511800/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1301.9
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 130046 144 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 319920

[startup+1362.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 29547
/proc/meminfo: memFree=1511800/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1361.88
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 136037 151 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 319920

[startup+1422.31 s]
/proc/loadavg: 1.07 1.04 1.00 3/78 29547
/proc/meminfo: memFree=1511864/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1421.86
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 142032 154 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8421093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 319920

[startup+1482.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/78 29547
/proc/meminfo: memFree=1511864/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1481.83
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 148024 159 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 319920

[startup+1542.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/78 29547
/proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1541.82
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 154018 164 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 319920

[startup+1602.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/78 29547
/proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1601.8
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 160011 169 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8412820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 319920

[startup+1662.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/78 29547
/proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1661.79
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 166005 174 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 319920

[startup+1722.3 s]
/proc/loadavg: 1.11 1.07 1.01 2/78 29547
/proc/meminfo: memFree=1511864/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1721.76
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 171999 177 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 319920

[startup+1782.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/78 29547
/proc/meminfo: memFree=1511928/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=319920 CPUtime=1781.75
/proc/29544/stat : 29544 (bsolo3.0.16) R 29542 29544 28641 0 -1 4194304 79953 0 0 0 177994 181 0 0 25 0 1 0 156541037 327598080 79363 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8409157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29544/statm: 79980 79363 313 324 0 79049 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 319920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.17 1.10 1.02 2/78 29547
/proc/meminfo: memFree=1820664/2055920 swapFree=4150632/4192956
[pid=29544] ppid=29542 vsize=0 CPUtime=1800.05
/proc/29544/stat : 29544 (bsolo3.0.16) D 29542 29544 28641 0 -1 4194308 79954 0 0 0 179817 188 0 0 15 0 1 0 156541037 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/29544/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 0

# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.05 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1800.05 s) to the 'lost time'.

[startup+1800.6 s]
/proc/loadavg: 1.17 1.10 1.02 2/77 29547
/proc/meminfo: memFree=1828480/2055920 swapFree=4150632/4192956
[pid=29544] ppid=-1 vsize=0 CPUtime=0
/proc/29544/stat : ÿÿÿÿÿÿÿÿ/proc/29544/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 1.17 1.10 1.02 2/77 29547
/proc/meminfo: memFree=1828480/2055920 swapFree=4150632/4192956
[pid=29544] ppid=-1 vsize=0 CPUtime=0
/proc/29544/stat : ÿÿÿÿÿÿÿÿ/proc/29544/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29544 and gives
#  childrusage.ru_utime.tv_sec=1798
#  childrusage.ru_utime.tv_usec=171636
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=885713
# CPU time returned by wait4() is 1800.06
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.05
#  lost CPU user time (s): 1798.17
#  lost CPU system time (s): 1.88

Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1798.17
CPU system time (s): 1.88
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 320176

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

runsolver used 2.19367 second user time and 4.31934 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Apr 21 11:28:41 UTC 2007

IDJOB= 373002
IDBENCH= 25012
IDSOLVER= 163
FILE ID= node11/373002-1177154921

PBS_JOBID= 4648873

Free space on /tmp= 66344 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  82a3d84200b069df277c7f14e0e883d0

RANDOM SEED= 665299035

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1829400 kB
Buffers:         32720 kB
Cached:         104800 kB
SwapCached:      10856 kB
Active:          55396 kB
Inactive:       109104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1829400 kB
SwapTotal:     4192956 kB
SwapFree:      4150632 kB
Dirty:            5104 kB
Writeback:           0 kB
Mapped:          34028 kB
Slab:            47428 kB
Committed_AS:  6258416 kB
PageTables:       1860 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= 66344 MiB

End job on node11 on Sat Apr 21 11:58:42 UTC 2007