Trace number 419016

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 NameAnswerCPU timeWall clock time
PB-clasp 2007-04-10SAT 158.346 144.508

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
anbulagan/medium-sat/total-10-17-s.opb
MD5SUMc26ed3d78fc6bdcddb71a2a3fd514e6f
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark93.7318
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables294246
Total number of constraints1384270
Number of constraints which are clauses1384270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

158.20/144.49	s SATISFIABLE
158.20/144.49	v x5 x11 x17 x23 x29 x35 x41 x47 x53 x59 x65 x71 x77 x83 x89 x95 x101 x107 x113 x119 x125 x131 x137 x143 x149 x155 x161 x167 x173 x179
158.20/144.49	v x185 x191 x197 x199 x205 x211 x217 x223 x234 x240 x246 x252 x258 x264 x270 x276 x282 x288 x294 x300 x306 x312 x318 x324 x330 x336
158.20/144.49	v x342 x348 x354 x360 x366 x372 x378 x384 x390 x396 x402 x408 x414 x420 x426 x432 x438 x444 x450 x456 x462 x468 x474 x480 x486 x492
158.20/144.49	v x498 x504 x510 x516 x522 x528 x534 x540 x546 x552 x558 x559 x565 x571 x577 x583 x594 x597 x603 x609 x615 x621 x629 x635 x641 x647
158.20/144.49	v x653 x659 x665 x671 x677 x683 x689 x695 x701 x707 x713 x719 x725 x731 x737 x743 x749 x755 x761 x767 x773 x779 x785 x791 x797 x803
158.20/144.49	v x809 x815 x821 x827 x833 x839 x845 x851 x857 x863 x869 x875 x881 x887 x893 x899 x905 x911 x917 x923 x929 x935 x941 x947 x953 x959
158.20/144.49	v x965 x971 x977 x983 x988 x994 x998 x1004 x1010 x1016 x1022 x1028 x1034 x1040 x1046 x1052 x1058 x1064 x1070 x1076 x1082 x1088
158.20/144.49	v x1094 x1100 x1106 x1112 x1118 x1124 x1130 x1136 x1142 x1148 x1154 x1160 x1166 x1172 x1178 x1184 x1190 x1196 x1202 x1208 x1214
158.20/144.49	v x1220 x1226 x1232 x1238 x1244 x1250 x1256 x1262 x1268 x1274 x1280 x1286 x1292 x1298 x1304 x1310 x1316 x1325 x1330 x1334 x1340
158.20/144.49	v x1346 x1352 x1358 x1364 x1370 x1376 x1382 x1388 x1394 x1400 x1409 x1415 x1421 x1427 x1433 x1439 x1445 x1451 x1457 x1463 x1469
158.20/144.49	v x1475 x1481 x1487 x1493 x1499 x1505 x1511 x1517 x1523 x1529 x1535 x1541 x1547 x1553 x1559 x1565 x1571 x1577 x1583 x1589 x1595
158.20/144.49	v x1601 x1607 x1613 x1619 x1625 x1631 x1637 x1643 x1649 x1655 x1661 x1667 x1673 x1679 x1685 x1691 x1697 x1703 x1709 x1715 x1721
158.20/144.49	v x1727 x1733 x1739 x1745 x1751 x1757 x1763 x1769 x1775 x1781 x1787 x1793 x1799 x1805 x1811 x1817 x1823 x1829 x1835 x1841 x1847
158.20/144.49	v x1849 x1855 x1861 x1872 x1875 x1881 x1887 x1893 x1899 x1905 x1911 x1917 x1923 x1931 x1937 x1943 x1949 x1955 x1961 x1967 x1973
158.20/144.49	v x1979 x1985 x1991 x1997 x2003 x2009 x2015 x2021 x2027 x2033 x2039 x2045 x2051 x2057 x2063 x2069 x2075 x2081 x2087 x2093 x2099
158.20/144.49	v x2105 x2111 x2117 x2123 x2129 x2135 x2141 x2147 x2153 x2159 x2161 x2167 x2173 x2179 x2185 x2191 x2197 x2203 x2209 x2220 x2223
158.20/144.49	v x2229 x2235 x2243 x2249 x2255 x2261 x2267 x2273 x2279 x2285 x2291 x2297 x2303 x2309 x2315 x2321 x2327 x2333 x2339 x2345 x2351
158.20/144.49	v x2357 x2363 x2369 x2375 x2381 x2387 x2393 x2399 x2405 x2411 x2417 x2423 x2429 x2435 x2441 x2447 x2453 x2459 x2465 x2471 x2477
158.20/144.49	v x2483 x2489 x2495 x2501 x2507 x2513 x2519 x2525 x2531 x2537 x2543 x2549 x2555 x2561 x2567 x2573 x2579 x2585 x2591 x2597 x2603
158.20/144.49	v x2609 x2615 x2621 x2627 x2633 x2639 x2645 x2651 x2657 x2663 x2669 x2675 x2681 x2687 x2693 x2699 x2705 x2711 x2717 x2723 x2729
158.20/144.49	v x2735 x2741 x2747 x2753 x2759 x2765 x2771 x2777 x2783 x2789 x2795 x2801 x2807 x2813 x2819 x2825 x2831 x2837 x2843 x2849 x2855
158.20/144.49	v x2861 x2867 x2873 x2879 x2885 x2891 x2897 x2903 x2909 x2915 x2921 x2927 x2933 x2939 x2945 x2951 x2957 x2963 x2969 x2975 x2981
158.20/144.49	v x2987 x2993 x2999 x3005 x3011 x3017 x3023 x3029 x3035 x3041 x3047 x3053 x3059 x3065 x3071 x3077 x3083 x3089 x3095 x3101 x3107
158.20/144.49	v x3113 x3119 x3125 x3131 x3137 x3143 x3149 x3155 x3161 x3167 x3173 x3179 x3185 x3191 x3197 x3203 x3209 x3215 x3221 x3227 x3233
158.20/144.49	v x3239 x3245 x3251 x3257 x3263 x3269 x3275 x3281 x3287 x3293 x3299 x3305 x3311 x3317 x3323 x3329 x3335 x3341 x3347 x3353 x3359
158.20/144.49	v x3361 x3367 x3373 x3384 x3387 x3393 x3399 x3405 x3411 x3417 x3423 x3429 x3435 x3443 x3449 x3455 x3461 x3467 x3473 x3479 x3485
158.20/144.49	v x3491 x3497 x3503 x3509 x3515 x3521 x3527 x3533 x3539 x3545 x3551 x3557 x3563 x3569 x3575 x3581 x3587 x3593 x3599 x3605 x3611
158.20/144.49	v x3617 x3623 x3629 x3635 x3641 x3647 x3653 x3659 x3665 x3671 x3677 x3683 x3689 x3695 x3701 x3707 x3713 x3719 x3725 x3731 x3737
158.20/144.49	v x3743 x3749 x3755 x3761 x3767 x3773 x3779 x3785 x3791 x3797 x3803 x3809 x3815 x3821 x3827 x3833 x3839 x3845 x3851 x3857 x3863
158.20/144.49	v x3869 x3875 x3881 x3887 x3893 x3899 x3905 x3911 x3917 x3923 x3929 x3935 x3941 x3947 x3953 x3959 x3965 x3971 x3977 x3983 x3989
158.20/144.49	v x3995 x4001 x4007 x4013 x4019 x4025 x4031 x4037 x4043 x4049 x4055 x4061 x4067 x4073 x4079 x4085 x4091 x4097 x4103 x4109 x4115
158.20/144.49	v x4121 x4127 x4133 x4139 x4145 x4151 x4157 x4163 x4169 x4175 x4181 x4187 x4193 x4199 x4205 x4211 x4217 x4223 x4229 x4235 x4241
158.20/144.49	v x4247 x4253 x4259 x4265 x4271 x4277 x4283 x4289 x4295 x4301 x4307 x4313 x4319 x4325 x4331 x4333 x4339 x4345 x4351 x4357 x4363
158.20/144.49	v x4369 x4375 x4386 x4389 x4395 x4401 x4407 x4413 x4421 x4427 x4433 x4439 x4445 x4451 x4457 x4463 x4469 x4475 x4481 x4487 x4493
158.20/144.49	v x4499 x4505 x4511 x4517 x4523 x4529 x4535 x4541 x4547 x4553 x4559 x4565 x4571 x4577 x4583 x4589 x4595 x4601 x4607 x4613 x4619
158.20/144.49	v x4625 x4631 x4637 x4643 x4649 x4655 x4661 x4667 x4669 x4675 x4681 x4687 x4693 x4699 x4705 x4711 x4717 x4723 x4734 x4737 x4743
158.20/144.49	v x4749 x4755 x4761 x4767 x4773 x4779 x4785 x4791 x4797 x4803 x4809 x4815 x4821 x4827 x4833 x4839 x4845 x4851 x4857 x4865 x4870
158.20/144.49	v x4876 x4882 x4888 x4894 x4900 x4906 x4910 x4916 x4922 x4928 x4934 x4940 x4946 x4952 x4958 x4964 x4970 x4976 x4982 x4988 x4994
158.20/144.49	v x5000 x5006 x5012 x5018 x5024 x5030 x5036 x5042 x5048 x5054 x5060 x5066 x5072 x5078 x5084 x5090 x5096 x5102 x5108 x5114 x5120
158.20/144.49	v x5126 x5132 x5138 x5144 x5150 x5156 x5162 x5168 x5174 x5180 x5186 x5192 x5201 x5207 x5213 x5219 x5225 x5231 x5237 x5243 x5249
158.20/144.49	v x5255 x5261 x5267 x5273 x5279 x5285 x5291 x5297 x5303 x5309 x5315 x5321 x5327 x5333 x5339 x5345 x5351 x5357 x5363 x5369 x5375
158.20/144.49	v x5381 x5387 x5393 x5399 x5405 x5411 x5417 x5423 x5429 x5435 x5441 x5447 x5453 x5459 x5465 x5471 x5477 x5483 x5489 x5495 x5501
158.20/144.49	v x5507 x5513 x5519 x5525 x5531 x5537 x5543 x5549 x5555 x5561 x5567 x5573 x5579 x5585 x5591 x5597 x5603 x5609 x5615 x5621 x5627
158.20/144.49	v x5633 x5639 x5645 x5651 x5657 x5663 x5669 x5675 x5681 x5687 x5693 x5699 x5705 x5711 x5717 x5723 x5728 x5734 x5740 x5744 x5750
158.20/144.49	v x5756 x5762 x5768 x5774 x5780 x5786 x5792 x5798 x5804 x5810 x5816 x5822 x5828 x5834 x5840 x5846 x5852 x5858 x5864 x5870 x5876
158.20/144.49	v x5882 x5888 x5894 x5900 x5906 x5912 x5918 x5924 x5930 x5936 x5942 x5948 x5954 x5963 x5969 x5975 x5981 x5987 x5993 x5999 x6005
158.20/144.49	v x6011 x6017 x6023 x6029 x6035 x6041 x6047 x6053 x6059 x6065 x6071 x6077 x6083 x6089 x6095 x6101 x6107 x6113 x6119 x6125 x6131
158.20/144.49	v x6137 x6143 x6149 x6155 x6161 x6167 x6173 x6179 x6185 x6191 x6197 x6203 x6209 x6215 x6221 x6227 x6233 x6239 x6245 x6251 x6257
158.20/144.49	v x6263 x6269 x6275 x6281 x6287 x6293 x6299 x6301 x6307 x6313 x6319 x6325 x6331 x6337 x6343 x6349 x6355 x6361 x6372 x6375 x6383
158.20/144.49	v x6389 x6395 x6401 x6407 x6413 x6419 x6421 x6427 x6433 x6439 x6445 x6451 x6457 x6463 x6469 x6480 x6486 x6492 x6498 x6504 x6510
158.20/144.49	v x6511 x6517 x6523 x6529 x6535 x6541 x6552 x6555 x6561 x6567 x6573 x6579 x6587 x6593 x6599 x6605 x6611 x6617 x6623 x6629 x6635
158.20/144.49	v x6641 x6647 x6653 x6659 x6665 x6671 x6677 x6683 x6689 x6695 x6701 x6707 x6713 x6719 x6725 x6731 x6737 x6743 x6749 x6755 x6761
158.20/144.49	v x6767 x6773 x6779 x6785 x6791 x6797 x6803 x6809 x6815 x6821 x6827 x6833 x6839 x6845 x6851 x6853 x6859 x6865 x6871 x6877 x6888
158.20/144.49	v x6891 x6897 x6903 x6911 x6917 x6923 x6929 x6935 x6941 x6947 x6953 x6959 x6965 x6971 x6977 x6983 x6989 x6995 x7001 x7007 x7013
158.20/144.49	v x7019 x7025 x7031 x7037 x7043 x7049 x7055 x7061 x7067 x7073 x7079 x7085 x7091 x7097 x7103 x7109 x7115 x7121 x7127 x7133 x7139
158.20/144.49	v x7145 x7151 x7153 x7159 x7165 x7176 x7182 x7188 x7194 x7200 x7206 x7212 x7218 x7224 x7230 x7236 x7242 x7248 x7254 x7255 x7261
158.20/144.49	v x7267 x7273 x7279 x7285 x7291 x7297 x7303 x7309 x7315 x7321 x7332 x7335 x7341 x7347 x7353 x7359 x7365 x7373 x7379 x7385 x7391
158.20/144.49	v x7397 x7399 x7405 x7411 x7417 x7423 x7429 x7435 x7441 x7447 x7453 x7459 x7465 x7471 x7477 x7483 x7489 x7495 x7506 x7509 x7515
158.20/144.49	v x7521 x7527 x7533 x7541 x7547 x7553 x7559 x7565 x7567 x7573 x7579 x7585 x7591 x7597 x7603 x7614 x7617 x7623 x7629 x7635 x7641
158.20/144.49	v x7647 x7653 x7659 x7665 x7671 x7677 x7685 x7687 x7693 x7699 x7705 x7711 x7722 x7725 x7731 x7737 x7743 x7749 x7755 x7761 x7767
158.20/144.49	v x7773 x7781 x7787 x7793 x7799 x7805 x7807 x7813 x7819 x7825 x7831 x7837 x7843 x7854 x7857 x7863 x7869 x7877 x7883 x7889 x7895
158.20/144.49	v x7901 x7907 x7913 x7919 x7925 x7931 x7937 x7943 x7949 x7955 x7961 x7967 x7973 x7979 x7985 x7991 x7997 x8003 x8009 x8015 x8021
158.20/144.49	v x8027 x8033 x8039 x8045 x8051 x8057 x8063 x8069 x8075 x8081 x8087 x8093 x8099 x8105 x8111 x8117 x8123 x8129 x8135 x8141 x8147
158.20/144.49	v x8153 x8159 x8165 x8171 x8177 x8183 x8189 x8195 x8201 x8207 x8213 x8219 x8225 x8231 x8237 x8243 x8249 x8255 x8261 x8267 x8273
158.20/144.49	v x8279 x8285 x8291 x8297 x8303 x8309 x8315 x8321 x8327 x8333 x8339 x8345 x8351 x8357 x8363 x8369 x8375 x8381 x8387 x8393 x8399
158.20/144.49	v x8405 x8411 x8417 x8423 x8429 x8435 x8441 x8447 x8453 x8459 x8465 x8471 x8477 x8483 x8489 x8495 x8501 x8507 x8513 x8519 x8525
158.20/144.49	v x8531 x8537 x8543 x8549 x8555 x8561 x8567 x8573 x8579 x8585 x8591 x8597 x8603 x8609 x8615 x8621 x8627 x8633 x8639 x8645 x8651
158.20/144.49	v x8657 x8663 x8669 x8675 x8681 x8687 x8693 x8699 x8705 x8711 x8717 x8723 x8729 x8735 x8741 x8747 x8753 x8759 x8765 x8771 x8777
158.20/144.49	v x8783 x8789 x8795 x8801 x8807 x8813 x8819 x8825 x8831 x8837 x8843 x8849 x8855 x8861 x8867 x8873 x8879 x8885 x8891 x8897 x8903
158.20/144.49	v x8909 x8915 x8921 x8927 x8933 x8939 x8945 x8951 x8957 x8963 x8969 x8975 x8981 x8987 x8993 x8998 x9002 x9008 x9014 x9020 x9026
158.20/144.49	v x9032 x9038 x9044 x9050 x9056 x9062 x9068 x9074 x9080 x9086 x9092 x9098 x9104 x9110 x9116 x9122 x9128 x9134 x9140 x9146 x9152
158.20/144.49	v x9158 x9164 x9170 x9176 x9182 x9188 x9194 x9200 x9206 x9215 x9221 x9227 x9233 x9239 x9245 x9251 x9257 x9263 x9269 x9275 x9281
158.20/144.49	v x9287 x9293 x9299 x9305 x9311 x9317 x9323 x9329 x9335 x9341 x9347 x9353 x9359 x9365 x9371 x9377 x9383 x9389 x9395 x9401 x9407
158.20/144.49	v x9413 x9419 x9425 x9431 x9437 x9443 x9449 x9455 x9461 x9467 x9473 x9479 x9485 x9491 x9497 x9503 x9509 x9515 x9521 x9527 x9533
158.20/144.49	v x9539 x9545 x9551 x9557 x9563 x9569 x9575 x9581 x9587 x9593 x9599 x9605 x9611 x9617 x9623 x9629 x9635 x9641 x9647 x9653 x9659
158.20/144.49	v x9665 x9671 x9677 x9683 x9689 x9695 x9701 x9707 x9713 x9719 x9725 x9731 x9737 x9743 x9749 x9755 x9761 x9767 x9769 x9775 x9781
158.20/144.49	v x9787 x9793 x9799 x9805 x9811 x9817 x9828 x9831 x9837 x9843 x9849 x9855 x9861 x9867 x9873 x9879 x9885 x9891 x9897 x9903 x9909
158.20/144.49	v x9915 x9921 x9927 x9935 x9941 x9947 x9953 x9959 x9965 x9971 x9977 x9983 x9989 x9995 x10001 x10007 x10013 x10019 x10025 x10031
158.20/144.49	v x10037 x10043 x10049 x10055 x10061 x10067 x10073 x10079 x10085 x10091 x10097 x10103 x10109 x10115 x10121 x10127 x10133
158.20/144.49	v x10139 x10145 x10151 x10157 x10163 x10169 x10175 x10181 x10187 x10193 x10199 x10205 x10211 x10217 x10223 x10229 x10235
158.20/144.49	v x10241 x10247 x10253 x10259 x10265 x10271 x10277 x10283 x10289 x10295 x10301 x10307 x10313 x10319 x10325 x10331 x10337
158.20/144.49	v x10343 x10349 x10355 x10361 x10367 x10373 x10379 x10385 x10391 x10393 x10399 x10405 x10411 x10417 x10423 x10429 x10435
158.20/144.49	v x10441 x10452 x10455 x10461 x10467 x10473 x10479 x10485 x10491 x10499 x10505 x10511 x10517 x10523 x10529 x10535 x10541
158.20/144.49	v x10547 x10553 x10559 x10565 x10571 x10577 x10583 x10589 x10595 x10601 x10607 x10613 x10615 x10621 x10627 x10633 x10639
158.20/144.49	v x10645 x10656 x10659 x10665 x10671 x10677 x10683 x10689 x10695 x10703 x10709 x10715 x10721 x10727 x10733 x10739 x10745
158.20/144.49	v x10751 x10757 x10763 x10769 x10775 x10781 x10787 x10793 x10799 x10805 x10811 x10817 x10823 x10829 x10835 x10841 x10847
158.20/144.49	v x10853 x10859 x10865 x10871 x10877 x10883 x10889 x10895 x10901 x10907 x10913 x10919 x10925 x10931 x10937 x10943 x10949
158.20/144.49	v x10955 x10961 x10967 x10973 x10979 x10985 x10991 x10997 x11003 x11009 x11015 x11021 x11027 x11033 x11039 x11045 x11051
158.20/144.49	v x11057 x11063 x11069 x11075 x11081 x11087 x11093 x11099 x11105 x11111 x11117 x11123 x11129 x11135 x11141 x11147 x11153
158.20/144.49	v x11159 x11165 x11171 x11177 x11183 x11189 x11195 x11201 x11207 x11213 x11219 x11225 x11231 x11237 x11243 x11249 x11255
158.20/144.49	v x11261 x11267 x11273 x11279 x11285 x11291 x11297 x11303 x11309 x11315 x11321 x11327 x11333 x11339 x11345 x11351 x11357
158.20/144.49	v x11363 x11369 x11374 x11380 x11386 x11390 x11396 x11402 x11408 x11414 x11420 x11426 x11432 x11438 x11444 x11450 x11456
158.20/144.49	v x11462 x11468 x11474 x11480 x11486 x11492 x11498 x11504 x11510 x11516 x11522 x11528 x11534 x11540 x11546 x11552 x11558
158.20/144.49	v x11564 x11570 x11576 x11582 x11588 x11594 x11600 x11609 x11611 x11617 x11623 x11634 x11637 x11643 x11649 x11655 x11661
158.20/144.49	v x11667 x11673 x11679 x11685 x11691 x11697 x11703 x11709 x11715 x11721 x11727 x11733 x11739 x11745 x11751 x11757 x11763
158.20/144.49	v x11769 x11775 x11781 x11787 x11793 x11799 x11805 x11811 x11817 x11823 x11829 x11835 x11841 x11847 x11853 x11859 x11865
158.20/144.49	v x11871 x11877 x11883 x11889 x11895 x11901 x11907 x11913 x11919 x11925 x11931 x11937 x11943 x11949 x11955 x11961 x11967
158.20/144.49	v x11973 x11979 x11985 x11991 x11997 x12003 x12009 x12015 x12021 x12027 x12033 x12039 x12045 x12051 x12057 x12063 x12069
158.20/144.49	v x12075 x12081 x12087 x12093 x12099 x12105 x12111 x12117 x12123 x12129 x12135 x12141 x12147 x12153 x12159 x12165 x12171
158.20/144.49	v x12177 x12183 x12189 x12195 x12201 x12207 x12213 x12219 x12225 x12231 x12237 x12243 x12249 x12255 x12261 x12267 x12273
158.20/144.49	v x12279 x12285 x12291 x12297 x12303 x12309 x12315 x12321 x12327 x12333 x12339 x12345 x12351 x12357 x12363 x12369 x12375
158.20/144.49	v x12381 x12387 x12393 x12399 x12405 x12411 x12417 x12423 x12429 x12435 x12441 x12449 x12455 x12457 x12463 x12469 x12475
158.20/144.49	v x12481 x12487 x12493 x12499 x12510 x12513 x12519 x12525 x12531 x12537 x12543 x12549 x12555 x12561 x12567 x12573 x12579
158.20/144.49	v x12585 x12591 x12597 x12603 x12609 x12615 x12621 x12627 x12633 x12639 x12645 x12651 x12657 x12665 x12671 x12677 x12679
158.20/144.49	v x12685 x12691 x12697 x12703 x12714 x12717 x12723 x12729 x12735 x12741 x12749 x12755 x12761 x12767 x12773 x12779 x12785
158.20/144.49	v x12791 x12797 x12803 x12809 x12815 x12821 x12827 x12833 x12839 x12845 x12851 x12857 x12863 x12869 x12875 x12881 x12887
158.20/144.49	v x12893 x12899 x12901 x12907 x12913 x12919 x12925 x12936 x12939 x12945 x12951 x12957 x12963 x12969 x12975 x12981 x12987
158.20/144.49	v x12993 x12999 x13005 x13011 x13017 x13023 x13029 x13035 x13041 x13047 x13053 x13059 x13065 x13071 x13077 x13083 x13089
158.20/144.49	v x13095 x13101 x13107 x13113 x13119 x13125 x13131 x13137 x13143 x13149 x13155 x13161 x13167 x13173 x13179 x13185 x13191
158.20/144.49	v x13199 x13205 x13211 x13217 x13223 x13229 x13235 x13241 x13247 x13253 x13259 x13265 x13271 x13277 x13283 x13289 x13295
158.20/144.49	v x13301 x13307 x13313 x13319 x13325 x13331 x13337 x13343 x13349 x13355 x13361 x13367 x13373 x13379 x13385 x13391 x13397
158.20/144.49	v x13403 x13409 x13415 x13421 x13427 x13433 x13439 x13445 x13451 x13457 x13463 x13469 x13475 x13481 x13487 x13493 x13499
158.20/144.49	v x13505 x13511 x13517 x13523 x13529 x13535 x13541 x13543 x13549 x13555 x13561 x13567 x13573 x13579 x13585 x13591 x13597
158.20/144.49	v x13608 x13611 x13617 x13623 x13629 x13635 x13641 x13647 x13653 x13659 x13667 x13669 x13675 x13681 x13687 x13693 x13704
158.20/144.49	v x13707 x13713 x13719 x13725 x13731 x13737 x13743 x13749 x13755 x13763 x13769 x13775 x13781 x13787 x13789 x13795 x13801
158.20/144.49	v x13812 x13815 x13821 x13827 x13833 x13839 x13845 x13851 x13859 x13865 x13871 x13877 x13879 x13885 x13891 x13897 x13903
158.20/144.49	v x13909 x13915 x13921 x13932 x13935 x13941 x13947 x13953 x13959 x13965 x13971 x13977 x13983 x13989 x13995 x14001 x14007
158.20/144.49	v x14013 x14019 x14025 x14031 x14037 x14043 x14049 x14055 x14061 x14067 x14073 x14079 x14087 x14093 x14099 x14105 x14111
158.20/144.49	v x14117 x14123 x14129 x14135 x14141 x14147 x14153 x14159 x14165 x14171 x14177 x14183 x14189 x14195 x14201 x14207 x14213
158.20/144.49	v x14219 x14221 x14227 x14233 x14239 x14245 x14251 x14257 x14268 x14271 x14277 x14283 x14289 x14295 x14301 x14307 x14313
158.20/144.49	v x14319 x14325 x14331 x14337 x14343 x14349 x14355 x14361 x14367 x14373 x14379 x14385 x14391 x14399 x14405 x14411 x14413
158.20/144.49	v x14419 x14425 x14431 x14437 x14448 x14451 x14457 x14463 x14469 x14475 x14483 x14489 x14495 x14501 x14507 x14513 x14519
158.20/144.49	v x14525 x14531 x14537 x14543 x14549 x14555 x14561 x14567 x14573 x14579 x14585 x14591 x14597 x14603 x14609 x14615 x14621
158.20/144.49	v x14623 x14629 x14635 x14641 x14647 x14653 x14664 x14667 x14673 x14679 x14685 x14691 x14697 x14703 x14711 x14717 x14723
158.20/144.49	v x14729 x14735 x14741 x14747 x14753 x14759 x14765 x14770 x14776 x14782 x14788 x14794 x14800 x14806 x14812 x14818 x14824
158.20/144.49	v x14830 x14834 x14840 x14846 x14852 x14858 x14864 x14870 x14876 x14882 x14888 x14894 x14900 x14906 x14912 x14918 x14924
158.20/144.49	v x14930 x14936 x14945 x14951 x14957 x14963 x14969 x14975 x14981 x14987 x14993 x14999 x15005 x15011 x15017 x15023 x15029
158.20/144.49	v x15035 x15041 x15047 x15053 x15059 x15065 x15071 x15077 x15083 x15089 x15095 x15101 x15107 x15113 x15119 x15125 x15131
158.20/144.49	v x15137 x15143 x15149 x15155 x15161 x15167 x15173 x15178 x15182 x15188 x15194 x15200 x15206 x15212 x15218 x15224 x15230
158.20/144.49	v x15236 x15242 x15248 x15254 x15260 x15266 x15272 x15278 x15284 x15290 x15296 x15302 x15308 x15314 x15320 x15326 x15332
158.20/144.49	v x15338 x15344 x15350 x15356 x15362 x15368 x15374 x15380 x15386 x15392 x15398 x15404 x15410 x15416 x15422 x15428 x15434
158.20/144.49	v x15440 x15446 x15452 x15458 x15464 x15470 x15476 x15482 x15488 x15494 x15500 x15506 x15512 x15521 x15527 x15533 x15539
158.20/144.49	v x15545 x15551 x15557 x15563 x15569 x15575 x15581 x15587 x15593 x15599 x15605 x15611 x15617 x15623 x15629 x15635 x15641
158.20/144.49	v x15647 x15653 x15659 x15665 x15671 x15677 x15683 x15689 x15695 x15701 x15707 x15713 x15719 x15725 x15731 x15737 x15743
158.20/144.49	v x15749 x15755 x15761 x15767 x15773 x15779 x15785 x15791 x15797 x15803 x15809 x15815 x15821 x15827 x15833 x15839 x15845
158.20/144.49	v x15851 x15857 x15863 x15869 x15875 x15881 x15887 x15893 x15899 x15905 x15911 x15917 x15923 x15929 x15935 x15941 x15947
158.20/144.49	v x15953 x15959 x15965 x15971 x15977 x15983 x15989 x15995 x16001 x16007 x16013 x16019 x16025 x16031 x16037 x16043 x16049
158.20/144.49	v x16055 x16061 x16067 x16073 x16079 x16085 x16091 x16097 x16103 x16109 x16115 x16121 x16127 x16133 x16139 x16141 x16147
158.20/144.49	v x16153 x16159 x16170 x16173 x16179 x16185 x16191 x16197 x16203 x16209 x16217 x16223 x16229 x16235 x16241 x16247 x16253
158.20/144.49	v x16259 x16265 x16271 x16277 x16283 x16289 x16295 x16301 x16307 x16313 x16319 x16325 x16331 x16337 x16343 x16349 x16355
158.20/144.49	v x16361 x16363 x16369 x16375 x16381 x16387 x16393 x16399 x16405 x16411 x16422 x16425 x16431 x16437 x16443 x16449 x16455
158.20/144.49	v x16461 x16469 x16475 x16481 x16487 x16493 x16499 x16505 x16511 x16517 x16523 x16529 x16535 x16541 x16547 x16553 x16559
158.20/144.49	v x16565 x16571 x16577 x16583 x16589 x16595 x16601 x16607 x16609 x16615 x16621 x16627 x16633 x16639 x16645 x16651 x16657
158.20/144.49	v x16663 x16669 x16675 x16681 x16687 x16693 x16699 x16705 x16711 x16717 x16728 x16731 x16737 x16743 x16749 x16755 x16761
158.20/144.49	v x16767 x16775 x16781 x16787 x16793 x16799 x16805 x16811 x16817 x16823 x16829 x16835 x16841 x16847 x16853 x16859 x16865
158.20/144.49	v x16871 x16877 x16883 x16889 x16895 x16901 x16907 x16913 x16919 x16925 x16931 x16937 x16943 x16949 x16955 x16961 x16967
158.20/144.49	v x16973 x16979 x16985 x16991 x16997 x17003 x17009 x17015 x17017 x17023 x17029 x17035 x17041 x17047 x17053 x17059 x17065
158.20/144.49	v x17076 x17079 x17085 x17091 x17097 x17103 x17109 x17115 x17123 x17129 x17135 x17141 x17147 x17153 x17159 x17165 x17171
158.20/144.49	v x17177 x17183 x17189 x17195 x17201 x17207 x17213 x17219 x17225 x17231 x17237 x17243 x17249 x17255 x17261 x17267 x17273
158.20/144.49	v x17279 x17285 x17291 x17297 x17303 x17309 x17315 x17321 x17327 x17333 x17339 x17345 x17351 x17357 x17363 x17369 x17375
158.20/144.49	v x17381 x17387 x17393 x17399 x17405 x17411 x17417 x17423 x17429 x17435 x17441 x17447 x17453 x17459 x17465 x17471 x17477
158.20/144.49	v x17483 x17489 x17495 x17501 x17507 x17513 x17519 x17525 x17531 x17537 x17543 x17549 x17555 x17561 x17567 x17573 x17579
158.20/144.49	v x17585 x17591 x17597 x17603 x17609 x17615 x17621 x17627 x17633 x17639 x17645 x17651 x17657 x17663 x17669 x17675 x17677
158.20/144.49	v x17683 x17689 x17695 x17701 x17712 x17715 x17721 x17727 x17733 x17739 x17745 x17751 x17757 x17763 x17769 x17775 x17783
158.20/144.49	v x17789 x17795 x17801 x17807 x17813 x17819 x17825 x17831 x17837 x17843 x17849 x17855 x17861 x17867 x17873 x17879 x17885
158.20/144.49	v x17891 x17897 x17903 x17909 x17915 x17921 x17927 x17933 x17939 x17945 x17951 x17957 x17963 x17969 x17975 x17981 x17987
158.20/144.49	v x17993 x17999 x18005 x18011 x18017 x18023 x18029 x18035 x18041 x18047 x18053 x18059 x18065 x18071 x18077 x18083 x18089
158.20/144.49	v x18095 x18101 x18107 x18113 x18119 x18125 x18131 x18137 x18143 x18149 x18155 x18161 x18167 x18173 x18179 x18185 x18191
158.20/144.49	v x18197 x18203 x18209 x18215 x18221 x18227 x18233 x18239 x18245 x18251 x18257 x18263 x18269 x18275 x18281 x18287 x18293
158.20/144.49	v x18299 x18305 x18311 x18317 x18323 x18329 x18335 x18341 x18347 x18353 x18359 x18365 x18371 x18377 x18383 x18389 x18395
158.20/144.49	v x18401 x18407 x18413 x18419 x18425 x18431 x18437 x18443 x18449 x18455 x18461 x18467 x18473 x18479 x18485 x18491 x18497
158.20/144.49	v x18503 x18509 x18515 x18521 x18527 x18533 x18539 x18545 x18551 x18557 x18563 x18569 x18575 x18581 x18587 x18593 x18599
158.20/144.49	v x18605 x18611 x18617 x18623 x18629 x18635 x18641 x18647 x18653 x18659 x18665 x18671 x18677 x18683 x18689 x18695 x18701
158.20/144.49	v x18707 x18713 x18719 x18725 x18731 x18737 x18743 x18749 x18755 x18761 x18767 x18773 x18779 x18785 x18791 x18797 x18803
158.20/144.49	v x18809 x18815 x18821 x18827 x18833 x18839 x18845 x18851 x18857 x18863 x18869 x18875 x18881 x18887 x18893 x18899 x18905
158.20/144.49	v x18911 x18917 x18923 x18929 x18935 x18941 x18947 x18953 x18959 x18965 x18971 x18977 x18983 x18989 x18995 x19001 x19007
158.20/144.49	v x19013 x19019 x19025 x19031 x19037 x19043 x19049 x19055 x19061 x19067 x19073 x19079 x19085 x19091 x19097 x19103 x19109
158.20/144.49	v x19115 x19121 x19127 x19133 x19139 x19145 x19151 x19157 x19163 x19169 x19175 x19181 x19187 x19193 x19199 x19205 x19211
158.20/144.49	v x19217 x19223 x19229 x19235 x19241 x19247 x19253 x19259 x19265 x19271 x19277 x19283 x19289 x19295 x19301 x19307 x19313
158.20/144.49	v x19319 x19325 x19331 x19337 x19343 x19349 x19355 x19361 x19367 x19373 x19379 x19385 x19391 x19397 x19403 x19409 x19415
158.20/144.49	v x19421 x19427 x19433 x19439 x19445 x19451 x19457 x19463 x19469 x19475 x19481 x19487 x19493 x19499 x19505 x19511 x19517
158.20/144.49	v x19523 x19529 x19535 x19541 x19547 x19553 x19559 x19565 x19571 x19577 x19583 x19589 x19595 x19601 x19607 x19613 x19619
158.20/144.49	v x19625 x19631 x19637 x19643 x19649 x19655 x19661 x19667 x19673 x19679 x19685 x19691 x19697 x19703 x19709 x19715 x19721
158.20/144.49	v x19727 x19733 x19739 x19745 x19751 x19757 x19763 x19769 x19775 x19781 x19787 x19793 x19799 x19805 x19811 x19817 x19823
158.20/144.49	v x19825 x19831 x19837 x19843 x19849 x19855 x19861 x19867 x19873 x19879 x19890 x19893 x19899 x19905 x19911 x19917 x19923
158.20/144.49	v x19929 x19935 x19941 x19947 x19953 x19959 x19965 x19971 x19977 x19983 x19989 x19995 x20001 x20007 x20013 x20019 x20025
158.20/144.49	v x20031 x20037 x20043 x20049 x20055 x20061 x20067 x20073 x20079 x20085 x20091 x20097 x20103 x20109 x20115 x20121 x20127
158.20/144.49	v x20133 x20139 x20145 x20151 x20157 x20163 x20169 x20175 x20181 x20187 x20193 x20199 x20205 x20211 x20217 x20223 x20229
158.20/144.49	v x20235 x20241 x20249 x20255 x20261 x20267 x20273 x20279 x20285 x20291 x20297 x20303 x20309 x20315 x20321 x20327 x20333
158.20/144.49	v x20339 x20345 x20351 x20357 x20363 x20369 x20375 x20381 x20387 x20393 x20399 x20405 x20411 x20417 x20423 x20429 x20435
158.20/144.49	v x20441 x20447 x20453 x20459 x20461 x20467 x20473 x20479 x20485 x20491 x20497 x20503 x20509 x20520 x20523 x20529 x20535
158.20/144.49	v x20543 x20549 x20555 x20561 x20567 x20573 x20579 x20585 x20591 x20597 x20603 x20609 x20615 x20621 x20627 x20633 x20639
158.20/144.49	v x20645 x20651 x20657 x20663 x20669 x20675 x20681 x20687 x20693 x20699 x20705 x20711 x20717 x20723 x20729 x20735 x20741
158.20/144.49	v x20747 x20753 x20759 x20765 x20771 x20777 x20783 x20789 x20795 x20801 x20807 x20813 x20819 x20825 x20831 x20837 x20843
158.20/144.49	v x20849 x20855 x20861 x20867 x20873 x20879 x20885 x20891 x20897 x20903 x20909 x20915 x20921 x20927 x20933 x20939 x20945
158.20/144.49	v x20951 x20957 x20963 x20969 x20975 x20981 x20987 x20993 x20999 x21005 x21011 x21017 x21023 x21029 x21035 x21040 x21046
158.20/144.49	v x21052 x21056 x21062 x21068 x21074 x21080 x21086 x21092 x21098 x21104 x21110 x21116 x21122 x21128 x21134 x21140 x21146
158.20/144.49	v x21155 x21160 x21164 x21170 x21176 x21182 x21188 x21194 x21200 x21206 x21212 x21218 x21224 x21230 x21236 x21242 x21251
158.20/144.49	v x21257 x21263 x21269 x21275 x21281 x21287 x21293 x21299 x21305 x21311 x21317 x21323 x21329 x21335 x21341 x21347 x21353
158.20/144.49	v x21359 x21361 x21367 x21373 x21379 x21385 x21391 x21397 x21403 x21409 x21420 x21423 x21429 x21435 x21441 x21447 x21453
158.20/144.49	v x21459 x21465 x21471 x21477 x21483 x21489 x21495 x21501 x21507 x21513 x21519 x21525 x21531 x21539 x21545 x21551 x21557
158.20/144.49	v x21563 x21569 x21575 x21581 x21587 x21593 x21599 x21605 x21611 x21617 x21623 x21629 x21635 x21641 x21647 x21653 x21659
158.20/144.49	v x21665 x21671 x21677 x21683 x21689 x21695 x21701 x21707 x21713 x21719 x21725 x21731 x21737 x21743 x21749 x21755 x21761
158.20/144.49	v x21767 x21773 x21779 x21785 x21791 x21797 x21803 x21809 x21815 x21821 x21827 x21833 x21839 x21845 x21851 x21857 x21863
158.20/144.49	v x21869 x21875 x21881 x21887 x21893 x21899 x21905 x21911 x21917 x21923 x21929 x21935 x21941 x21947 x21953 x21959 x21965
158.20/144.49	v x21971 x21977 x21983 x21989 x21994 x22000 x22006 x22012 x22016 x22022 x22028 x22034 x22040 x22046 x22052 x22058 x22064
158.20/144.49	v x22070 x22076 x22082 x22088 x22094 x22103 x22109 x22115 x22121 x22127 x22133 x22139 x22145 x22151 x22157 x22163 x22169
158.20/144.49	v x22175 x22181 x22187 x22193 x22199 x22205 x22211 x22217 x22223 x22229 x22235 x22241 x22247 x22253 x22259 x22265 x22271
158.20/144.49	v x22277 x22283 x22289 x22295 x22301 x22307 x22313 x22319 x22325 x22331 x22337 x22343 x22349 x22355 x22361 x22367 x22373
158.20/144.49	v x22379 x22385 x22391 x22397 x22403 x22409 x22415 x22421 x22427 x22433 x22439 x22445 x22451 x22457 x22463 x22469 x22475
158.20/144.49	v x22481 x22487 x22493 x22499 x22505 x22511 x22517 x22523 x22529 x22535 x22541 x22547 x22553 x22559 x22565 x22571 x22577
158.20/144.49	v x22583 x22589 x22595 x22601 x22607 x22613 x22619 x22625 x22631 x22637 x22643 x22649 x22655 x22661 x22667 x22673 x22679
158.20/144.49	v x22685 x22691 x22697 x22703 x22709 x22715 x22721 x22727 x22733 x22739 x22745 x22751 x22753 x22759 x22765 x22771 x22777
158.20/144.49	v x22783 x22794 x22800 x22806 x22812 x22818 x22824 x22830 x22836 x22842 x22848 x22854 x22860 x22866 x22872 x22878 x22879
158.20/144.49	v x22885 x22891 x22897 x22903 x22909 x22915 x22921 x22927 x22938 x22941 x22947 x22953 x22959 x22965 x22971 x22977 x22985
158.20/144.49	v x22991 x22997 x22999 x23005 x23011 x23017 x23023 x23029 x23035 x23046 x23049 x23055 x23061 x23067 x23073 x23081 x23087
158.20/144.49	v x23093 x23099 x23105 x23111 x23117 x23123 x23129 x23135 x23141 x23147 x23153 x23159 x23165 x23171 x23177 x23183 x23189
158.20/144.49	v x23195 x23201 x23206 x23210 x23216 x23222 x23228 x23234 x23240 x23246 x23252 x23258 x23264 x23270 x23276 x23282 x23288
158.20/144.49	v x23294 x23300 x23306 x23312 x23321 x23327 x23333 x23339 x23345 x23351 x23357 x23363 x23369 x23375 x23381 x23387 x23393
158.20/144.49	v x23399 x23405 x23411 x23417 x23423 x23429 x23435 x23441 x23447 x23453 x23459 x23465 x23471 x23477 x23483 x23489 x23495
158.20/144.49	v x23501 x23507 x23513 x23519 x23525 x23531 x23537 x23543 x23549 x23555 x23561 x23567 x23573 x23579 x23585 x23591 x23597
158.20/144.49	v x23603 x23609 x23615 x23621 x23627 x23633 x23639 x23645 x23651 x23657 x23663 x23669 x23675 x23681 x23687 x23693 x23699
158.20/144.49	v x23705 x23711 x23717 x23723 x23729 x23735 x23741 x23747 x23753 x23759 x23765 x23771 x23777 x23783 x23789 x23795 x23801
158.20/144.49	v x23807 x23813 x23819 x23825 x23831 x23833 x23839 x23845 x23851 x23857 x23863 x23869 x23875 x23881 x23887 x23898 x23901
158.20/144.49	v x23907 x23913 x23919 x23925 x23931 x23937 x23943 x23951 x23953 x23959 x23965 x23971 x23977 x23983 x23989 x24000 x24003
158.20/144.49	v x24009 x24015 x24023 x24029 x24035 x24041 x24047 x24053 x24059 x24065 x24071 x24077 x24083 x24089 x24095 x24101 x24107
158.20/144.49	v x24113 x24119 x24125 x24131 x24137 x24143 x24149 x24155 x24161 x24167 x24173 x24179 x24185 x24191 x24197 x24203 x24209
158.20/144.49	v x24215 x24221 x24227 x24233 x24239 x24245 x24251 x24257 x24263 x24269 x24275 x24281 x24287 x24293 x24299 x24305 x24311
158.20/144.49	v x24317 x24323 x24329 x24335 x24341 x24347 x24353 x24359 x24365 x24371 x24377 x24383 x24389 x24395 x24401 x24407 x24413
158.20/144.49	v x24419 x24425 x24431 x24437 x24443 x24449 x24455 x24461 x24467 x24473 x24479 x24485 x24491 x24497 x24503 x24509 x24515
158.20/144.49	v x24521 x24527 x24533 x24539 x24545 x24551 x24557 x24563 x24569 x24575 x24581 x24587 x24593 x24595 x24601 x24607 x24613
158.20/144.49	v x24624 x24627 x24633 x24639 x24645 x24651 x24657 x24663 x24669 x24675 x24681 x24687 x24693 x24699 x24707 x24713 x24719
158.20/144.49	v x24725 x24731 x24737 x24743 x24749 x24755 x24761 x24767 x24773 x24779 x24785 x24791 x24797 x24803 x24809 x24815 x24821
158.20/144.49	v x24827 x24833 x24839 x24845 x24851 x24857 x24863 x24869 x24875 x24881 x24887 x24893 x24899 x24905 x24911 x24917 x24923
158.20/144.49	v x24929 x24935 x24941 x24947 x24953 x24959 x24965 x24971 x24977 x24983 x24989 x24995 x25001 x25007 x25013 x25019 x25025
158.20/144.49	v x25031 x25037 x25043 x25049 x25055 x25061 x25067 x25073 x25079 x25085 x25091 x25097 x25103 x25109 x25115 x25121 x25127
158.20/144.49	v x25133 x25139 x25145 x25151 x25157 x25163 x25169 x25175 x25181 x25187 x25193 x25199 x25205 x25211 x25217 x25223 x25229
158.20/144.49	v x25235 x25241 x25247 x25253 x25259 x25265 x25271 x25277 x25283 x25289 x25295 x25301 x25307 x25313 x25319 x25325 x25331
158.20/144.49	v x25337 x25343 x25349 x25355 x25361 x25367 x25373 x25379 x25385 x25391 x25397 x25403 x25409 x25415 x25421 x25427 x25433
158.20/144.49	v x25439 x25445 x25451 x25457 x25463 x25465 x25471 x25477 x25483 x25489 x25495 x25501 x25512 x25515 x25521 x25527 x25533
158.20/144.49	v x25539 x25545 x25551 x25557 x25563 x25569 x25575 x25581 x25587 x25593 x25599 x25605 x25611 x25617 x25623 x25629 x25635
158.20/144.49	v x25641 x25647 x25655 x25661 x25667 x25673 x25679 x25685 x25691 x25697 x25703 x25709 x25715 x25721 x25727 x25733 x25739
158.20/144.49	v x25745 x25751 x25757 x25763 x25769 x25775 x25781 x25787 x25793 x25799 x25805 x25811 x25817 x25823 x25829 x25835 x25841
158.20/144.49	v x25847 x25853 x25859 x25865 x25871 x25877 x25883 x25889 x25895 x25901 x25907 x25913 x25919 x25925 x25931 x25937 x25943
158.20/144.49	v x25949 x25955 x25961 x25967 x25973 x25979 x25985 x25991 x25997 x26003 x26009 x26015 x26021 x26027 x26033 x26039 x26045
158.20/144.49	v x26051 x26057 x26063 x26069 x26075 x26081 x26087 x26093 x26099 x26105 x26111 x26117 x26123 x26129 x26135 x26141 x26147
158.20/144.49	v x26153 x26159 x26165 x26171 x26177 x26183 x26189 x26195 x26201 x26207 x26213 x26219 x26225 x26231 x26237 x26243 x26249
158.20/144.49	v x26255 x26261 x26267 x26273 x26279 x26285 x26291 x26297 x26303 x26309 x26315 x26321 x26327 x26333 x26339 x26345 x26351
158.20/144.49	v x26357 x26363 x26369 x26375 x26381 x26387 x26393 x26399 x26405 x26411 x26417 x26423 x26429 x26435 x26441 x26447 x26453
158.20/144.49	v x26459 x26465 x26471 x26477 x26483 x26489 x26495 x26501 x26507 x26513 x26519 x26525 x26531 x26537 x26543 x26549 x26555
158.20/144.49	v x26561 x26563 x26569 x26575 x26581 x26587 x26593 x26599 x26610 x26616 x26622 x26628 x26634 x26640 x26646 x26652 x26658
158.20/144.49	v x26664 x26670 x26676 x26682 x26683 x26689 x26695 x26701 x26707 x26718 x26721 x26727 x26733 x26739 x26745 x26751 x26757
158.20/144.49	v x26763 x26769 x26775 x26781 x26787 x26793 x26799 x26805 x26811 x26817 x26823 x26829 x26835 x26841 x26847 x26853 x26861
158.20/144.49	v x26867 x26873 x26879 x26885 x26891 x26897 x26903 x26909 x26915 x26921 x26927 x26933 x26939 x26945 x26951 x26957 x26963
158.20/144.49	v x26969 x26975 x26981 x26987 x26993 x26999 x27005 x27011 x27017 x27023 x27029 x27035 x27041 x27047 x27053 x27059 x27065
158.20/144.49	v x27071 x27077 x27083 x27089 x27095 x27101 x27107 x27113 x27119 x27125 x27131 x27137 x27143 x27149 x27155 x27161 x27167
158.20/144.49	v x27173 x27179 x27185 x27191 x27197 x27203 x27209 x27215 x27221 x27227 x27233 x27239 x27245 x27251 x27257 x27263 x27269
158.20/144.49	v x27275 x27281 x27287 x27293 x27299 x27305 x27311 x27317 x27323 x27329 x27335 x27341 x27347 x27353 x27359 x27365 x27371
158.20/144.49	v x27377 x27383 x27389 x27395 x27401 x27407 x27413 x27415 x27421 x27427 x27433 x27439 x27445 x27451 x27462 x27468 x27474
158.20/144.49	v x27480 x27486 x27492 x27498 x27504 x27510 x27516 x27517 x27523 x27529 x27535 x27541 x27547 x27553 x27559 x27570 x27573
158.20/144.49	v x27579 x27585 x27591 x27597 x27603 x27609 x27615 x27621 x27627 x27635 x27641 x27647 x27653 x27659 x27661 x27667 x27673
158.20/144.49	v x27679 x27685 x27691 x27697 x27703 x27709 x27715 x27721 x27727 x27733 x27739 x27745 x27756 x27759 x27765 x27771 x27777
158.20/144.49	v x27783 x27789 x27795 x27801 x27807 x27815 x27821 x27827 x27833 x27839 x27845 x27851 x27857 x27863 x27869 x27875 x27881
158.20/144.49	v x27887 x27893 x27899 x27905 x27911 x27917 x27923 x27929 x27935 x27941 x27947 x27949 x27955 x27961 x27967 x27973 x27979
158.20/144.49	v x27985 x27991 x27997 x28003 x28009 x28020 x28023 x28029 x28035 x28041 x28047 x28055 x28061 x28067 x28069 x28075 x28081
158.20/144.49	v x28087 x28093 x28104 x28107 x28113 x28119 x28125 x28131 x28137 x28143 x28151 x28157 x28163 x28169 x28175 x28181 x28187
158.20/144.49	v x28193 x28199 x28205 x28211 x28217 x28223 x28229 x28235 x28241 x28247 x28253 x28259 x28265 x28271 x28277 x28283 x28289
158.20/144.49	v x28295 x28301 x28307 x28313 x28319 x28325 x28331 x28337 x28343 x28349 x28355 x28361 x28367 x28373 x28379 x28385 x28391
158.20/144.49	v x28397 x28403 x28409 x28415 x28421 x28427 x28433 x28439 x28445 x28451 x28457 x28463 x28469 x28475 x28481 x28487 x28493
158.20/144.49	v x28499 x28505 x28511 x28517 x28523 x28529 x28535 x28541 x28547 x28553 x28559 x28565 x28571 x28577 x28583 x28589 x28595
158.20/144.49	v x28601 x28607 x28613 x28619 x28625 x28631 x28637 x28643 x28649 x28655 x28661 x28667 x28673 x28679 x28685 x28691 x28697
158.20/144.49	v x28703 x28709 x28715 x28721 x28727 x28733 x28739 x28745 x28751 x28757 x28763 x28769 x28775 x28781 x28787 x28793 x28799
158.20/144.49	v x28805 x28811 x28817 x28823 x28829 x28835 x28841 x28847 x28853 x28859 x28865 x28871 x28877 x28883 x28889 x28895 x28901
158.20/144.49	v x28907 x28913 x28919 x28925 x28931 x28937 x28943 x28949 x28955 x28961 x28967 x28973 x28979 x28985 x28991 x28997 x29003
158.20/144.49	v x29009 x29015 x29021 x29027 x29033 x29038 x29044 x29048 x29054 x29060 x29066 x29072 x29078 x29084 x29090 x29096 x29102
158.20/144.49	v x29108 x29114 x29120 x29126 x29132 x29138 x29144 x29150 x29156 x29162 x29168 x29174 x29180 x29186 x29192 x29198 x29204
158.20/144.49	v x29210 x29216 x29222 x29228 x29234 x29240 x29246 x29255 x29261 x29267 x29273 x29279 x29285 x29291 x29297 x29303 x29309
158.20/144.49	v x29315 x29321 x29327 x29333 x29339 x29345 x29351 x29357 x29363 x29369 x29375 x29381 x29387 x29393 x29399 x29405 x29411
158.20/144.49	v x29417 x29423 x29429 x29435 x29441 x29447 x29453 x29459 x29465 x29471 x29477 x29483 x29489 x29495 x29501 x29503 x29509
158.20/144.49	v x29515 x29521 x29527 x29533 x29539 x29545 x29551 x29557 x29563 x29569 x29575 x29586 x29592 x29598 x29604 x29610 x29616
158.20/144.49	v x29622 x29628 x29634 x29640 x29646 x29652 x29658 x29664 x29670 x29671 x29677 x29683 x29689 x29695 x29701 x29707 x29713
158.20/144.49	v x29719 x29725 x29731 x29742 x29745 x29751 x29757 x29765 x29771 x29777 x29783 x29789 x29795 x29801 x29807 x29813 x29819
158.20/144.49	v x29825 x29831 x29837 x29843 x29849 x29855 x29861 x29867 x29873 x29879 x29885 x29891 x29897 x29903 x29909 x29911 x29917
158.20/144.49	v x29923 x29934 x29937 x29943 x29949 x29955 x29961 x29967 x29973 x29979 x29985 x29991 x29997 x30003 x30009 x30015 x30021
158.20/144.49	v x30027 x30033 x30039 x30045 x30051 x30057 x30063 x30069 x30075 x30081 x30087 x30093 x30099 x30105 x30111 x30117 x30123
158.20/144.49	v x30129 x30135 x30141 x30147 x30153 x30159 x30165 x30171 x30177 x30183 x30189 x30195 x30201 x30207 x30213 x30221 x30227
158.20/144.49	v x30233 x30239 x30245 x30251 x30257 x30263 x30269 x30275 x30281 x30287 x30293 x30299 x30305 x30311 x30317 x30323 x30329
158.20/144.49	v x30335 x30341 x30347 x30353 x30359 x30365 x30371 x30377 x30383 x30389 x30395 x30401 x30407 x30413 x30419 x30425 x30431
158.20/144.49	v x30437 x30443 x30449 x30455 x30461 x30467 x30473 x30479 x30485 x30491 x30497 x30503 x30509 x30515 x30521 x30527 x30533
158.20/144.49	v x30539 x30545 x30551 x30557 x30563 x30569 x30571 x30577 x30583 x30589 x30595 x30601 x30607 x30618 x30621 x30627 x30633
158.20/144.49	v x30641 x30647 x30653 x30655 x30661 x30667 x30673 x30679 x30685 x30691 x30697 x30703 x30709 x30715 x30726 x30729 x30735
158.20/144.49	v x30741 x30747 x30753 x30759 x30765 x30771 x30777 x30785 x30791 x30797 x30803 x30809 x30815 x30821 x30827 x30833 x30839
158.20/144.49	v x30845 x30851 x30857 x30863 x30869 x30875 x30881 x30887 x30893 x30899 x30905 x30911 x30917 x30923 x30929 x30935 x30941
158.20/144.49	v x30947 x30953 x30959 x30965 x30971 x30977 x30983 x30989 x30995 x31001 x31007 x31013 x31019 x31025 x31031 x31037 x31043
158.20/144.49	v x31049 x31055 x31061 x31067 x31073 x31079 x31085 x31091 x31097 x31103 x31109 x31115 x31121 x31127 x31133 x31139 x31145
158.20/144.49	v x31151 x31157 x31163 x31169 x31175 x31181 x31187 x31193 x31199 x31205 x31211 x31217 x31223 x31229 x31235 x31241 x31247
158.20/144.49	v x31253 x31259 x31265 x31271 x31277 x31283 x31289 x31295 x31301 x31307 x31313 x31319 x31325 x31331 x31337 x31343 x31349
158.20/144.49	v x31355 x31361 x31367 x31373 x31379 x31385 x31391 x31397 x31403 x31409 x31415 x31421 x31427 x31433 x31439 x31445 x31451
158.20/144.49	v x31457 x31463 x31469 x31475 x31481 x31487 x31493 x31499 x31505 x31511 x31517 x31523 x31529 x31535 x31541 x31547 x31553
158.20/144.49	v x31559 x31565 x31571 x31577 x31583 x31589 x31595 x31601 x31607 x31613 x31619 x31625 x31631 x31637 x31643 x31649 x31655
158.20/144.49	v x31661 x31667 x31673 x31679 x31685 x31691 x31697 x31703 x31709 x31715 x31721 x31727 x31733 x31739 x31745 x31751 x31757
158.20/144.49	v x31763 x31769 x31775 x31781 x31787 x31793 x31799 x31805 x31811 x31817 x31823 x31829 x31835 x31841 x31847 x31853 x31859
158.20/144.49	v x31865 x31871 x31877 x31883 x31889 x31895 x31901 x31907 x31913 x31919 x31925 x31931 x31937 x31943 x31949 x31955 x31961
158.20/144.49	v x31966 x31972 x31976 x31982 x31988 x31994 x32000 x32006 x32012 x32018 x32024 x32030 x32036 x32042 x32048 x32054 x32060
158.20/144.49	v x32066 x32072 x32078 x32084 x32090 x32096 x32102 x32108 x32114 x32120 x32126 x32132 x32138 x32144 x32150 x32156 x32162
158.20/144.49	v x32168 x32174 x32180 x32186 x32192 x32198 x32204 x32210 x32216 x32222 x32228 x32234 x32240 x32246 x32252 x32258 x32264
158.20/144.49	v x32270 x32276 x32282 x32288 x32294 x32300 x32306 x32312 x32318 x32324 x32330 x32336 x32342 x32348 x32354 x32360 x32366
158.20/144.49	v x32372 x32378 x32384 x32390 x32396 x32402 x32411 x32413 x32419 x32425 x32436 x32442 x32448 x32454 x32460 x32466 x32472
158.20/144.49	v x32478 x32484 x32490 x32496 x32497 x32503 x32509 x32515 x32521 x32527 x32533 x32539 x32545 x32551 x32557 x32563 x32569
158.20/144.49	v x32580 x32583 x32589 x32595 x32601 x32607 x32615 x32621 x32627 x32633 x32639 x32645 x32651 x32657 x32663 x32669 x32675
158.20/144.49	v x32681 x32687 x32693 x32699 x32705 x32711 x32717 x32723 x32729 x32735 x32741 x32747 x32753 x32759 x32765 x32771 x32777
158.20/144.49	v x32783 x32789 x32795 x32801 x32807 x32813 x32819 x32825 x32831 x32837 x32843 x32849 x32855 x32861 x32867 x32873 x32879
158.20/144.49	v x32885 x32891 x32897 x32903 x32909 x32915 x32921 x32927 x32933 x32939 x32945 x32951 x32957 x32963 x32969 x32975 x32981
158.20/144.49	v x32987 x32993 x32999 x33005 x33011 x33017 x33023 x33029 x33035 x33041 x33047 x33053 x33059 x33065 x33071 x33077 x33083
158.20/144.49	v x33089 x33095 x33101 x33107 x33113 x33119 x33125 x33131 x33137 x33143 x33149 x33155 x33161 x33166 x33170 x33176 x33182
158.20/144.49	v x33188 x33194 x33200 x33206 x33212 x33218 x33224 x33230 x33236 x33242 x33248 x33254 x33260 x33266 x33272 x33278 x33284
158.20/144.49	v x33290 x33296 x33302 x33308 x33314 x33320 x33326 x33332 x33338 x33344 x33350 x33356 x33362 x33368 x33374 x33380 x33386
158.20/144.49	v x33392 x33398 x33404 x33410 x33416 x33422 x33428 x33434 x33440 x33446 x33452 x33458 x33464 x33470 x33476 x33485 x33491
158.20/144.49	v x33497 x33503 x33509 x33515 x33521 x33527 x33533 x33539 x33545 x33551 x33557 x33563 x33569 x33575 x33581 x33587 x33593
158.20/144.49	v x33599 x33605 x33611 x33617 x33623 x33629 x33635 x33641 x33647 x33653 x33659 x33665 x33671 x33677 x33683 x33689 x33695
158.20/144.49	v x33701 x33707 x33713 x33715 x33721 x33727 x33733 x33739 x33745 x33751 x33762 x33765 x33771 x33777 x33783 x33789 x33797
158.20/144.49	v x33803 x33809 x33815 x33821 x33827 x33833 x33839 x33845 x33851 x33857 x33863 x33869 x33875 x33881 x33887 x33893 x33899
158.20/144.49	v x33905 x33911 x33917 x33923 x33929 x33935 x33941 x33947 x33953 x33959 x33965 x33971 x33977 x33983 x33989 x33995 x34001
158.20/144.49	v x34007 x34013 x34019 x34025 x34031 x34037 x34043 x34049 x34055 x34061 x34067 x34073 x34079 x34085 x34091 x34097 x34103
158.20/144.49	v x34109 x34115 x34121 x34127 x34133 x34139 x34145 x34151 x34157 x34163 x34169 x34175 x34181 x34187 x34193 x34199 x34205
158.20/144.49	v x34211 x34217 x34223 x34229 x34235 x34241 x34247 x34253 x34259 x34265 x34271 x34277 x34283 x34289 x34295 x34301 x34307
158.20/144.49	v x34313 x34319 x34325 x34331 x34337 x34343 x34349 x34355 x34361 x34367 x34373 x34379 x34385 x34391 x34397 x34403 x34409
158.20/144.49	v x34415 x34421 x34427 x34433 x34439 x34445 x34451 x34457 x34463 x34469 x34475 x34481 x34487 x34493 x34499 x34505 x34511
158.20/144.49	v x34517 x34523 x34529 x34535 x34541 x34547 x34553 x34559 x34565 x34571 x34577 x34583 x34589 x34595 x34601 x34607 x34613
158.20/144.49	v x34619 x34625 x34631 x34637 x34643 x34649 x34655 x34661 x34667 x34673 x34678 x34682 x34688 x34694 x34700 x34706 x34712
158.20/144.49	v x34718 x34724 x34730 x34736 x34742 x34748 x34754 x34760 x34766 x34772 x34778 x34784 x34790 x34796 x34802 x34808 x34814
158.20/144.49	v x34820 x34826 x34832 x34838 x34844 x34850 x34856 x34862 x34868 x34874 x34880 x34886 x34892 x34901 x34907 x34913 x34919
158.20/144.49	v x34925 x34931 x34937 x34943 x34949 x34955 x34961 x34967 x34973 x34979 x34985 x34991 x34997 x35003 x35005 x35011 x35017
158.20/144.49	v x35023 x35029 x35035 x35041 x35047 x35053 x35064 x35067 x35073 x35079 x35085 x35091 x35097 x35103 x35109 x35115 x35121
158.20/144.49	v x35127 x35133 x35139 x35145 x35151 x35159 x35165 x35171 x35177 x35183 x35189 x35195 x35201 x35207 x35213 x35219 x35225
158.20/144.49	v x35231 x35237 x35243 x35249 x35255 x35261 x35267 x35273 x35279 x35285 x35291 x35297 x35303 x35309 x35315 x35317 x35323
158.20/144.49	v x35329 x35335 x35341 x35347 x35353 x35364 x35367 x35373 x35379 x35385 x35391 x35397 x35403 x35409 x35415 x35421 x35427
158.20/144.49	v x35433 x35439 x35445 x35451 x35457 x35463 x35469 x35475 x35481 x35487 x35493 x35499 x35505 x35511 x35517 x35523 x35531
158.20/144.49	v x35537 x35543 x35549 x35555 x35560 x35564 x35570 x35576 x35582 x35588 x35594 x35600 x35606 x35612 x35618 x35624 x35630
158.20/144.49	v x35636 x35642 x35651 x35657 x35663 x35669 x35675 x35681 x35687 x35693 x35699 x35705 x35711 x35717 x35723 x35729 x35735
158.20/144.49	v x35741 x35747 x35753 x35759 x35765 x35771 x35777 x35783 x35789 x35795 x35801 x35807 x35813 x35819 x35825 x35831 x35837
158.20/144.49	v x35843 x35849 x35855 x35861 x35867 x35873 x35879 x35885 x35891 x35897 x35903 x35909 x35915 x35921 x35927 x35933 x35939
158.20/144.49	v x35945 x35951 x35957 x35963 x35969 x35975 x35981 x35983 x35989 x35995 x36001 x36012 x36015 x36021 x36027 x36033 x36039
158.20/144.49	v x36045 x36051 x36057 x36063 x36069 x36075 x36083 x36089 x36095 x36101 x36107 x36113 x36119 x36125 x36131 x36137 x36143
158.20/144.49	v x36149 x36155 x36161 x36167 x36173 x36179 x36185 x36191 x36197 x36203 x36209 x36215 x36221 x36227 x36233 x36239 x36245
158.20/144.49	v x36251 x36257 x36263 x36269 x36275 x36281 x36287 x36293 x36299 x36305 x36311 x36317 x36323 x36325 x36331 x36337 x36348
158.20/144.49	v x36354 x36360 x36366 x36372 x36378 x36384 x36390 x36396 x36402 x36408 x36414 x36420 x36426 x36432 x36438 x36444 x36450
158.20/144.49	v x36456 x36462 x36468 x36474 x36480 x36486 x36492 x36498 x36504 x36510 x36516 x36517 x36523 x36529 x36535 x36541 x36547
158.20/144.49	v x36553 x36559 x36565 x36576 x36579 x36585 x36591 x36597 x36603 x36609 x36615 x36621 x36627 x36633 x36639 x36645 x36651
158.20/144.49	v x36657 x36663 x36669 x36675 x36681 x36687 x36693 x36699 x36705 x36711 x36719 x36725 x36731 x36737 x36743 x36749 x36755
158.20/144.49	v x36761 x36767 x36773 x36779 x36785 x36791 x36797 x36803 x36809 x36815 x36821 x36827 x36833 x36839 x38043 x38053 x38225
158.20/144.49	v x38240 x38241 x40259 x40277 x40445 x40460 x40461 x40476 x40494 x40657 x40675 x40685 x42876 x42894 x42896 x42901 x42906
158.20/144.49	v x42907 x42908 x42949 x42976 x42977 x44093 x44119 x44964 x44967 x44977 x44985 x45003 x45005 x45010 x45015 x45016 x45017
158.20/144.49	v x45021 x45048 x45049 x45482 x45485 x45495 x48181 x48191 x48289 x48304 x48305 x48320 x48338 x48649 x48667 x48677 x50104
158.20/144.49	v x50113 x50435 x50450 x50451 x50466 x50484 x50573 x50591 x50601 x57505 x57515 x57613 x57628 x57629 x57644 x57662 x57973
158.20/144.49	v x57991 x58001 x63461 x63470 x63755 x63770 x63771 x63786 x63804 x63967 x63985 x63995 x65532 x65541 x65901 x65916 x65917
158.20/144.49	v x65932 x65950 x66705 x66723 x66733 x66741 x66759 x66761 x66766 x66771 x66772 x66773 x66999 x67026 x67027 x67646 x67650
158.20/144.49	v x68792 x68795 x68805 x71995 x72013 x72015 x72020 x72025 x72026 x72027 x72105 x72132 x72133 x73454 x73457 x73467 x75559
158.20/144.49	v x75568 x75965 x75980 x75981 x75996 x76014 x76029 x76047 x76057 x76299 x76308 x76631 x76646 x76647 x76852 x76870 x77075
158.20/144.49	v x77090 x77091 x77106 x77124 x77287 x77305 x77315 x78966 x78979 x79147 x79162 x79163 x79178 x79196 x79285 x79303 x79313
158.20/144.49	v x80815 x80825 x80923 x80938 x80939 x81437 x81451 x81885 x81900 x81901 x81916 x81934 x82294 x82303 x82921 x82936 x82937
158.20/144.49	v x82952 x82970 x83133 x83151 x83161 x83332 x83345 x83587 x83602 x83603 x83618 x83636 x84021 x84039 x84049 x84071 x84081
158.20/144.49	v x84253 x84268 x84269 x84284 x84302 x84613 x84631 x84641 x84810 x84819 x85067 x85082 x85083 x85098 x85116 x85205 x85223
158.20/144.49	v x85233 x92123 x92141 x92143 x92148 x92153 x92154 x92155 x92159 x92186 x92187 x96871 x96880 x97203 x97218 x97219 x97234
158.20/144.49	v x97252 x97859 x97877 x97887 x100721 x100731 x101051 x101066 x101067 x101082 x101100 x101337 x101355 x101365 x102091
158.20/144.49	v x102104 x102309 x102324 x102325 x102340 x102358 x102595 x102613 x102623 x106701 x106719 x106721 x106726 x106731 x106732
158.20/144.49	v x106733 x106811 x106838 x106839 x108160 x108163 x108173 x108195 x108205 x108303 x108318 x108319 x108334 x108352 x113325
158.20/144.49	v x113343 x113353 x113411 x113420 x113705 x113720 x113721 x113736 x113754 x114657 x114675 x114685 x114782 x114795 x114963
158.20/144.49	v x114978 x114979 x114994 x115012 x115175 x115193 x115203 x116114 x116127 x116295 x116310 x116311 x116326 x116344 x117913
158.20/144.49	v x117931 x117941 x120070 x120079 x120439 x120454 x120455 x120470 x120488 x120799 x120817 x120827 x120849 x120859 x121031
158.20/144.49	v x121046 x121047 x121062 x121080 x121391 x121409 x121419 x121589 x121599 x121697 x121712 x121713 x121728 x121746 x121983
158.20/144.49	v x122001 x122011 x122143 x122152 x122437 x122452 x122453 x122468 x122486 x123389 x123407 x123417 x124252 x124261 x124509
158.20/144.49	v x124524 x124525 x124540 x124558 x125313 x125331 x125341 x125438 x125451 x125619 x125634 x125635 x125650 x125668 x125831
158.20/144.49	v x125849 x125859 x126732 x126742 x126951 x126966 x126967 x126982 x127000 x127237 x127255 x127265 x127569 x127587 x127589
158.20/144.49	v x127594 x127599 x127600 x127601 x127975 x128002 x128003 x128658 x128661 x128671 x130085 x130103 x130105 x130110 x130115
158.20/144.49	v x130116 x130117 x130121 x130148 x130149 x132210 x132213 x132223 x136056 x136066 x136201 x136216 x136217 x136232 x136250
158.20/144.49	v x136487 x136505 x136515 x137423 x137432 x137755 x137770 x137771 x137786 x137804 x138041 x138059 x138069 x138903 x138912
158.20/144.49	v x139605 x139620 x139621 x139636 x139654 x139891 x139909 x139919 x141419 x141428 x141751 x141766 x141767 x141782 x141800
158.20/144.49	v x142037 x142055 x142065 x145492 x145505 x145673 x145688 x145689 x145704 x145722 x146107 x146125 x146135 x158698 x158707
158.20/144.49	v x159067 x159082 x159083 x159098 x159116 x161277 x161295 x161305 x162584 x162593 x162915 x162930 x162931 x162946 x162964
158.20/144.49	v x163053 x163071 x163081 x166123 x166141 x166143 x166148 x166153 x166154 x166155 x166233 x166260 x166261 x166842 x166845
158.20/144.49	v x166855 x166863 x166881 x166883 x166888 x166893 x166894 x166895 x166899 x166926 x166927 x167434 x167437 x167447 x168133
158.20/144.49	v x168142 x168465 x168480 x168481 x168496 x168514 x169195 x169213 x169223 x172006 x172024 x172026 x172031 x172036 x172037
158.20/144.49	v x172038 x172153 x172180 x172181 x172688 x172691 x172701 x176683 x176696 x176901 x176916 x176917 x177453 x177467 x177789
158.20/144.49	v x177804 x177805 x177820 x177838 x178075 x178093 x178103 x178198 x178207 x178455 x178470 x178471 x178486 x178504 x178667
158.20/144.49	v x178685 x178695 x179443 x179461 x179463 x179468 x179473 x179474 x179475 x179479 x179506 x179507 x180162 x180165 x180175
158.20/144.49	v x183341 x183350 x183709 x183724 x183725 x183740 x183758 x184044 x184053 x184301 x184316 x184317 x184332 x184350 x184439
158.20/144.49	v x184457 x184467 x188004 x188014 x188149 x188164 x188165 x188180 x188198 x188657 x188675 x188685 x193368 x193377 x193625
158.20/144.49	v x193640 x193641 x193656 x193674 x194503 x194521 x194531 x200104 x200117 x200359 x200374 x200375 x200839 x200857 x201025
158.20/144.49	v x201040 x201041 x201056 x201074 x201903 x201921 x201931 x205356 x205365 x205613 x205628 x205629 x205982 x206000 x206279
158.20/144.49	v x206294 x206295 x206310 x206328 x206838 x206851 x207389 x207404 x207405 x207420 x207438 x207749 x207767 x207777 x208611
158.20/144.49	v x208620 x209017 x209032 x209033 x209048 x209066 x209229 x209247 x209257 x209354 x209367 x209535 x209550 x209551 x209566
158.20/144.49	v x209584 x209821 x209839 x209849 x215296 x215314 x215316 x215321 x215326 x215327 x215328 x215369 x215396 x215397 x216644
158.20/144.49	v x216647 x216657 x218159 x218169 x218637 x218652 x218653 x219188 x219202 x219599 x219614 x219615 x219630 x219648 x219737
158.20/144.49	v x219755 x219765 x220675 x220685 x220783 x220798 x220799 x220814 x220832 x222549 x222567 x222577 x224744 x224753 x225001
158.20/144.49	v x225016 x225017 x225032 x225050 x225139 x225157 x225167 x225264 x225277 x225667 x225682 x225683 x225698 x225716 x226027
158.20/144.49	v x226045 x226055 x233278 x233296 x233298 x233303 x233308 x233309 x233310 x233351 x233378 x233379 x236032 x236035 x236045
158.20/144.49	v x236067 x236077 x236175 x236190 x236191 x236578 x236592 x237063 x237078 x237079 x237094 x237112 x237275 x237293 x237303
158.20/144.49	v x240641 x240659 x240661 x240666 x240671 x240672 x240673 x240677 x240704 x240705 x242618 x242621 x242631 x244058 x244067
158.20/144.49	v x244315 x244330 x244331 x244346 x244364 x244527 x244545 x244555 x249965 x249983 x249985 x249990 x249995 x249996 x249997
158.20/144.49	v x250001 x250028 x250029 x251350 x251353 x251363 x251975 x251984 x252307 x252322 x252323 x252338 x252356 x252889 x252907
158.20/144.49	v x252917 x253902 x253915 x254157 x254172 x254173 x254188 x254206 x255183 x255201 x255211 x255367 x255385 x255387 x255392
158.20/144.49	v x255397 x255398 x255399 x255403 x255430 x255431 x255938 x255941 x255951 x258008 x258018 x258153 x258168 x258169 x258184
158.20/144.49	v x258202 x258587 x258605 x258615 x260117 x260127 x260225 x260240 x260241 x261294 x261308 x261631 x261646 x261647 x261662
158.20/144.49	v x261680 x262509 x262527 x262537 x263348 x263400 x263834 x263956 x263999 x264160 x264185 x264654 x264769 x264808 x264848
158.20/144.49	v x264874 x264878 x264952 x265208 x265315 x265397 x265823 x265954 x266481 x266997 x267097 x267304 x267403 x267491 x267924
158.20/144.49	v x267977 x267996 x268047 x268106 x268218 x268356 x268535 x268605 x268892 x268923 x268941 x268946 x268996 x269514 x269613
158.20/144.49	v x269903 x269947 x270103 x270224 x270478 x270572 x270751 x270802 x270966 x271093 x271204 x271501 x271537 x271646 x271708
158.20/144.49	v x271813 x272084 x272139 x272301 x272581 x272640 x272791 x272972 x273073 x273111 x273347 x273358 x273853 x273863 x273888
158.20/144.49	v x274096 x274316 x274349 x274363 x274436 x274601 x274702 x274798 x275260 x275622 x275971 x276000 x276001 x276423 x276688
158.20/144.49	v x276723 x276821 x277022 x277075 x277093 x277285 x277437 x277651 x277708 x277771 x277839 x277866 x278431 x278479 x278493
158.20/144.49	v x278614 x278711 x278784 x279240 x279289 x279324 x279531 x279614 x279666 x279711 x279718 x279720 x279909 x279945 x280140
158.20/144.49	v x280488 x280512 x280540 x280594 x280635 x280906 x281042 x281051 x281311 x281548 x281650 x281838 x281928 x282515 x282914
158.20/144.49	v x282926 x283264 x283318 x283333 x283925 x283936 x284110 x284611 x284782 x284832 x284930 x285016 x285197 x285219 x285433
158.20/144.49	v x285437 x285479 x285680 x285962 x286052 x286156 x286293 x286542 x286564 x286782 x286813 x286879 x286931 x286947 x287073
158.20/144.49	v x287373 x287435 x287504 x287806 x288471 x288547 x288705 x288715 x288800 x288814 x288859 x289031 x289050 x289301 x289450
158.20/144.49	v x289490 x289554 x289667 x289678 x289810 x289837 x289887 x290158 x290332 x290446 x290497 x290913 x290943 x291039 x291819
158.20/144.49	v x291842 x292155 x292209 x292268 x292491 x292601 x292688 x292706 x292954 x293013 x293016 x293019 x293322 x293387 x293719
158.20/144.49	v x293737 x293781 x293804 x293971 x294066 x294069 x294153

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/419016-1177401077/instance-419016-1177401077.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node62/watcher-419016-1177401077 -o ROOT/results/node62/solver-419016-1177401077 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-419016-1177401077.opb /tmp/evaluation/419016-1177401077/temp 

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 0.91 3/64 5860
/proc/meminfo: memFree=1760288/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=12268 CPUtime=0
/proc/5860/stat : 5860 (pbclasp) R 5858 5860 5652 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 58684034 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236437863013 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/5860/statm: 3067 317 242 3 0 167 0

[startup+0.0197639 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 5860
/proc/meminfo: memFree=1760288/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=12928 CPUtime=0.01
/proc/5860/stat : 5860 (pbclasp) R 5858 5860 5652 0 -1 4194304 584 0 0 0 1 0 0 0 18 0 1 0 58684034 13238272 551 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236437541601 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5860/statm: 3232 552 314 3 0 332 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12928

[startup+0.101773 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 5860
/proc/meminfo: memFree=1760288/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=16580 CPUtime=0.09
/proc/5860/stat : 5860 (pbclasp) R 5858 5860 5652 0 -1 4194304 1500 0 0 0 9 0 0 0 18 0 1 0 58684034 16977920 1467 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236437541601 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5860/statm: 4145 1468 314 3 0 1245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16580

[startup+0.301802 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 5860
/proc/meminfo: memFree=1760288/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=0.29
/proc/5860/stat : 5860 (pbclasp) R 5858 5860 5652 0 -1 4194304 3637 0 0 0 28 1 0 0 19 0 1 0 58684034 25710592 3604 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236455960173 0 0 4224 16384 0 0 0 17 0 0 0
/proc/5860/statm: 6277 3604 316 3 0 3377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25108

[startup+0.70185 s]
/proc/loadavg: 1.00 1.00 0.91 3/64 5860
/proc/meminfo: memFree=1760288/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=0.68
/proc/5860/stat : 5860 (pbclasp) R 5858 5860 5652 0 -1 4194304 3637 0 0 0 67 1 0 0 23 0 1 0 58684034 25710592 3604 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236455569454 0 0 4224 16384 0 0 0 17 0 0 0
/proc/5860/statm: 6277 3604 316 3 0 3377 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25108

[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 5861
/proc/meminfo: memFree=1746008/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 25108

[startup+3.10213 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 5865
/proc/meminfo: memFree=1742704/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=0
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5863] ppid=5862 vsize=12400 CPUtime=1.76
/proc/5863/stat : 5863 (pb2clasp1) R 5862 5860 5652 0 -1 4194304 502 0 0 0 176 0 0 0 25 0 1 0 58684166 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 236455687765 0 0 4224 0 0 0 0 17 1 0 0
/proc/5863/statm: 3100 461 340 3 0 200 0
[pid=5864] ppid=5862 vsize=8796 CPUtime=0.2
/proc/5864/stat : 5864 (clasp-1.0) S 5862 5860 5652 0 -1 4194304 1824 0 0 0 20 0 0 0 16 0 1 0 58684166 9007104 1789 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/5864/statm: 2199 1789 230 81 0 1573 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 58684166 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 63924

[startup+6.3015 s]
/proc/loadavg: 1.08 1.02 0.91 2/69 5865
/proc/meminfo: memFree=1732976/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=0
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5863] ppid=5862 vsize=12400 CPUtime=4.93
/proc/5863/stat : 5863 (pb2clasp1) R 5862 5860 5652 0 -1 4194304 502 0 0 0 493 0 0 0 25 0 1 0 58684166 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 236437575569 0 0 4224 0 0 0 0 17 0 0 0
/proc/5863/statm: 3100 461 340 3 0 200 0
[pid=5864] ppid=5862 vsize=18868 CPUtime=0.65
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 4250 0 0 0 63 2 0 0 16 0 1 0 58684166 19320832 4215 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 8573905 0 0 4096 0 0 0 0 17 1 0 0
/proc/5864/statm: 4717 4215 230 81 0 4091 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 58684166 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 73996

[startup+12.7013 s]
/proc/loadavg: 1.07 1.02 0.91 2/69 5865
/proc/meminfo: memFree=1704688/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=0
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5863] ppid=5862 vsize=12400 CPUtime=11.27
/proc/5863/stat : 5863 (pb2clasp1) R 5862 5860 5652 0 -1 4194304 502 0 0 0 1126 1 0 0 25 0 1 0 58684166 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 236455591173 0 0 4224 0 0 0 0 17 0 0 0
/proc/5863/statm: 3100 461 340 3 0 200 0
[pid=5864] ppid=5862 vsize=47724 CPUtime=1.65
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 11815 0 0 0 158 7 0 0 16 0 1 0 58684166 48869376 11451 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134689891 0 0 4096 0 0 0 0 17 1 0 0
/proc/5864/statm: 11931 11452 230 81 0 11305 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 58684166 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 14.22
Current children cumulated vsize (KiB) 102852

[startup+25.5017 s]
/proc/loadavg: 1.12 1.03 0.92 2/69 5865
/proc/meminfo: memFree=1657328/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=0
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5863] ppid=5862 vsize=12400 CPUtime=23.86
/proc/5863/stat : 5863 (pb2clasp1) R 5862 5860 5652 0 -1 4194304 502 0 0 0 2383 3 0 0 25 0 1 0 58684166 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 236455700029 0 0 4224 0 0 0 0 17 0 0 0
/proc/5863/statm: 3100 461 340 3 0 200 0
[pid=5864] ppid=5862 vsize=93972 CPUtime=3.66
/proc/5864/stat : 5864 (clasp-1.0) S 5862 5860 5652 0 -1 4194304 23241 0 0 0 353 13 0 0 16 0 1 0 58684166 96227328 22674 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/5864/statm: 23493 22674 230 81 0 22867 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 58684166 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 149100

[startup+51.1017 s]
/proc/loadavg: 1.15 1.04 0.93 2/69 5865
/proc/meminfo: memFree=1580656/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=0
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5863] ppid=5862 vsize=12400 CPUtime=49.2
/proc/5863/stat : 5863 (pb2clasp1) R 5862 5860 5652 0 -1 4194304 502 0 0 0 4915 5 0 0 25 0 1 0 58684166 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 236455598480 0 0 4224 0 0 0 0 17 0 0 0
/proc/5863/statm: 3100 461 340 3 0 200 0
[pid=5864] ppid=5862 vsize=173072 CPUtime=7.86
/proc/5864/stat : 5864 (clasp-1.0) S 5862 5860 5652 0 -1 4194304 42641 0 0 0 762 24 0 0 16 0 1 0 58684166 177225728 42074 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/5864/statm: 43268 42074 230 81 0 42642 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 58684166 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 58.36
Current children cumulated vsize (KiB) 228200

[startup+102.306 s]
/proc/loadavg: 1.17 1.06 0.94 2/68 5865
/proc/meminfo: memFree=1143544/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=86.81
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 504 0 0 0 0 8670 11 16 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5864] ppid=5862 vsize=621368 CPUtime=28.02
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 190392 0 0 0 2713 89 0 0 25 0 1 0 58684166 636280832 150728 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617542 0 0 4096 0 0 0 0 17 0 0 0
/proc/5864/statm: 155342 150728 245 81 0 154716 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 58684166 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 116.13
Current children cumulated vsize (KiB) 664096

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

[startup+127.902 s]
/proc/loadavg: 1.11 1.06 0.94 2/68 5867
/proc/meminfo: memFree=1143160/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=86.81
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 504 0 0 0 0 8670 11 16 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5864] ppid=5862 vsize=621368 CPUtime=53.6
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 190447 0 0 0 5271 89 0 0 25 0 1 0 58684166 636280832 150783 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 0 0 0
/proc/5864/statm: 155342 150783 245 81 0 154716 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 58684166 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 141.71
Current children cumulated vsize (KiB) 664096

[startup+134.302 s]
/proc/loadavg: 1.10 1.06 0.94 2/68 5867
/proc/meminfo: memFree=1143160/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=86.81
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 504 0 0 0 0 8670 11 16 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5864] ppid=5862 vsize=621368 CPUtime=60
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 190448 0 0 0 5911 89 0 0 25 0 1 0 58684166 636280832 150784 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737304 0 0 4096 0 0 0 0 17 0 0 0
/proc/5864/statm: 155342 150784 245 81 0 154716 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 58684166 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 148.11
Current children cumulated vsize (KiB) 664096

[startup+140.701 s]
/proc/loadavg: 1.09 1.05 0.94 2/68 5867
/proc/meminfo: memFree=1143160/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=86.81
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 504 0 0 0 0 8670 11 16 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5864] ppid=5862 vsize=621368 CPUtime=66.4
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 190449 0 0 0 6551 89 0 0 25 0 1 0 58684166 636280832 150785 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134738067 0 0 4096 0 0 0 0 17 0 0 0
/proc/5864/statm: 155342 150785 245 81 0 154716 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 58684166 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 154.51
Current children cumulated vsize (KiB) 664096

[startup+142.302 s]
/proc/loadavg: 1.09 1.05 0.94 2/68 5867
/proc/meminfo: memFree=1143160/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=86.81
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 504 0 0 0 0 8670 11 16 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5864] ppid=5862 vsize=621368 CPUtime=68
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 190450 0 0 0 6711 89 0 0 25 0 1 0 58684166 636280832 150786 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737262 0 0 4096 0 0 0 0 17 0 0 0
/proc/5864/statm: 155342 150786 245 81 0 154716 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 58684166 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 156.11
Current children cumulated vsize (KiB) 664096

[startup+143.902 s]
/proc/loadavg: 1.09 1.05 0.94 2/68 5867
/proc/meminfo: memFree=1143160/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=86.81
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 504 0 0 0 0 8670 11 16 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5864] ppid=5862 vsize=621368 CPUtime=69.6
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 190452 0 0 0 6871 89 0 0 25 0 1 0 58684166 636280832 150788 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617491 0 0 4096 0 0 0 0 17 0 0 0
/proc/5864/statm: 155342 150788 245 81 0 154716 0
[pid=5865] ppid=5862 vsize=12268 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 58684166 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 157.71
Current children cumulated vsize (KiB) 664096

[startup+144.302 s]
/proc/loadavg: 1.09 1.05 0.94 2/68 5867
/proc/meminfo: memFree=1143160/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25108 CPUtime=1.3
/proc/5860/stat : 5860 (pbclasp) S 5858 5860 5652 0 -1 4194304 3659 0 0 0 127 3 0 0 16 0 1 0 58684034 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236446593122 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5860/statm: 6277 3608 320 3 0 3377 0
[pid=5862] ppid=5860 vsize=5352 CPUtime=86.81
/proc/5862/stat : 5862 (sh) S 5860 5860 5652 0 -1 4194304 297 504 0 0 0 0 8670 11 16 0 1 0 58684166 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5862/statm: 1338 224 188 169 0 49 0
[pid=5864] ppid=5862 vsize=553896 CPUtime=70
/proc/5864/stat : 5864 (clasp-1.0) R 5862 5860 5652 0 -1 4194304 190475 0 0 0 6910 90 0 0 25 0 1 0 58684166 567189504 134129 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160492956 0 0 4096 0 0 0 0 17 0 0 0
/proc/5864/statm: 138474 134129 266 81 0 137848 0
[pid=5865] ppid=5862 vsize=12412 CPUtime=0
/proc/5865/stat : 5865 (pboutclasp.pl) S 5862 5860 5652 0 -1 4194304 483 0 0 0 0 0 0 0 16 0 1 0 58684166 12709888 443 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 236446593122 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/5865/statm: 3103 443 311 3 0 203 0
Current children cumulated CPU time (s) 158.11
Current children cumulated vsize (KiB) 596768

[startup+144.502 s]
/proc/loadavg: 1.09 1.05 0.94 2/68 5867
/proc/meminfo: memFree=1143160/2055920 swapFree=4184584/4192956
[pid=5860] ppid=5858 vsize=25260 CPUtime=158.32
/proc/5860/stat : 5860 (pbclasp) R 5858 5860 5652 0 -1 4194304 5608 191775 0 0 128 3 15592 109 17 0 1 0 58684034 25866240 3633 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 236455594891 0 0 4224 16384 0 0 0 17 0 0 0
/proc/5860/statm: 6315 3633 320 3 0 3415 0
Current children cumulated CPU time (s) 158.32
Current children cumulated vsize (KiB) 25260

Child status: 0
Real time (s): 144.508
CPU time (s): 158.346
CPU user time (s): 157.211
CPU system time (s): 1.13483
CPU usage (%): 109.576
Max. virtual memory (cumulated for all children) (KiB): 686844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.211
system time used= 1.13483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197853
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= 13054
involuntary context switches= 1682

runsolver used 0.141978 second user time and 0.39194 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Tue Apr 24 07:51:20 UTC 2007

IDJOB= 419016
IDBENCH= 47743
IDSOLVER= 167
FILE ID= node62/419016-1177401077

PBS_JOBID= 4675552

Free space on /tmp= 66456 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/anbulagan/medium-sat/total-10-17-s.opb
COMMAND LINE= pbclasp instance-419016-1177401077.opb /tmp/evaluation/419016-1177401077/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-419016-1177401077 -o ROOT/results/node62/conversion-419016-1177401077 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419016-1177401077/instance-419016-1177401077.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-419016-1177401077 -o ROOT/results/node62/solver-419016-1177401077 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-419016-1177401077.opb /tmp/evaluation/419016-1177401077/temp

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  c26ed3d78fc6bdcddb71a2a3fd514e6f

RANDOM SEED= 750005248

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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:       1760632 kB
Buffers:         34272 kB
Cached:         189528 kB
SwapCached:       2504 kB
Active:         123148 kB
Inactive:       111036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760632 kB
SwapTotal:     4192956 kB
SwapFree:      4184584 kB
Dirty:           43736 kB
Writeback:           0 kB
Mapped:          16756 kB
Slab:            47060 kB
Committed_AS:  1125140 kB
PageTables:       1464 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= 66456 MiB

End job on node62 on Tue Apr 24 07:53:45 UTC 2007