Trace number 419007

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-03-23SAT 272.139 229.809

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)

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

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/419007-1177400888/instance-419007-1177400888.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/node12/watcher-419007-1177400888 -o ROOT/results/node12/solver-419007-1177400888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-419007-1177400888.opb /tmp/evaluation/419007-1177400888/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.10 1.06 0.89 3/77 15374
/proc/meminfo: memFree=1677544/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=12268 CPUtime=0
/proc/15374/stat : 15374 (pbclasp) R 15372 15374 15097 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 216126494 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438428670 0 0 4224 0 0 0 0 17 1 0 0
/proc/15374/statm: 3067 317 242 3 0 167 0

[startup+0.104766 s]
/proc/loadavg: 1.10 1.06 0.89 3/77 15374
/proc/meminfo: memFree=1677544/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=16580 CPUtime=0.09
/proc/15374/stat : 15374 (pbclasp) R 15372 15374 15097 0 -1 4194304 1501 0 0 0 9 0 0 0 18 0 1 0 216126494 16977920 1468 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252429374177 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15374/statm: 4145 1469 314 3 0 1245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16580

[startup+0.201775 s]
/proc/loadavg: 1.10 1.06 0.89 3/77 15374
/proc/meminfo: memFree=1677544/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=24844 CPUtime=0.18
/proc/15374/stat : 15374 (pbclasp) R 15372 15374 15097 0 -1 4194304 2563 0 0 0 18 0 0 0 18 0 1 0 216126494 25440256 2531 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252429407658 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15374/statm: 6211 2536 314 3 0 3311 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 24844

[startup+0.301785 s]
/proc/loadavg: 1.10 1.06 0.89 3/77 15374
/proc/meminfo: memFree=1677544/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=0.29
/proc/15374/stat : 15374 (pbclasp) R 15372 15374 15097 0 -1 4194304 3637 0 0 0 28 1 0 0 19 0 1 0 216126494 25710592 3604 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15374/statm: 6277 3604 316 3 0 3377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25108

[startup+0.701824 s]
/proc/loadavg: 1.10 1.06 0.89 3/77 15374
/proc/meminfo: memFree=1677544/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=0.69
/proc/15374/stat : 15374 (pbclasp) R 15372 15374 15097 0 -1 4194304 3637 0 0 0 66 3 0 0 23 0 1 0 216126494 25710592 3604 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15374/statm: 6277 3604 316 3 0 3377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25108

[startup+1.50291 s]
/proc/loadavg: 1.10 1.06 0.89 2/78 15375
/proc/meminfo: memFree=1663136/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 25108

[startup+3.10106 s]
/proc/loadavg: 1.10 1.06 0.89 2/82 15379
/proc/meminfo: memFree=1656768/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=0
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15377] ppid=15376 vsize=12400 CPUtime=1.7
/proc/15377/stat : 15377 (pb2clasp1) R 15376 15374 15097 0 -1 4194304 502 0 0 0 169 1 0 0 25 0 1 0 216126631 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252429192266 0 0 4224 0 0 0 0 17 0 0 0
/proc/15377/statm: 3100 461 340 3 0 200 0
[pid=15378] ppid=15376 vsize=19276 CPUtime=0.82
/proc/15378/stat : 15378 (clasp) S 15376 15374 15097 0 -1 4194304 4495 0 0 0 80 2 0 0 16 0 1 0 216126631 19738624 4461 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15378/statm: 4819 4461 173 154 0 4289 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 74404

[startup+6.30138 s]
/proc/loadavg: 1.10 1.06 0.89 3/82 15379
/proc/meminfo: memFree=1617984/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=0
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15377] ppid=15376 vsize=12400 CPUtime=4.88
/proc/15377/stat : 15377 (pb2clasp1) R 15376 15374 15097 0 -1 4194304 502 0 0 0 487 1 0 0 25 0 1 0 216126631 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449520901 0 0 4224 0 0 0 0 17 0 0 0
/proc/15377/statm: 3100 461 340 3 0 200 0
[pid=15378] ppid=15376 vsize=57412 CPUtime=2.37
/proc/15378/stat : 15378 (clasp) S 15376 15374 15097 0 -1 4194304 14002 0 0 0 229 8 0 0 16 0 1 0 216126631 58789888 13870 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15378/statm: 14353 13870 173 154 0 13823 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 112540

[startup+12.702 s]
/proc/loadavg: 1.17 1.07 0.90 2/82 15379
/proc/meminfo: memFree=1542272/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=0
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15377] ppid=15376 vsize=12400 CPUtime=11.25
/proc/15377/stat : 15377 (pb2clasp1) R 15376 15374 15097 0 -1 4194304 502 0 0 0 1123 2 0 0 25 0 1 0 216126631 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449400816 0 0 4224 0 0 0 0 17 0 0 0
/proc/15377/statm: 3100 461 340 3 0 200 0
[pid=15378] ppid=15376 vsize=130692 CPUtime=5.41
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 32342 0 0 0 524 17 0 0 16 0 1 0 216126631 133828608 32081 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 10163158 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 32673 32081 173 154 0 32143 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 18.02
Current children cumulated vsize (KiB) 185820

[startup+25.5023 s]
/proc/loadavg: 1.20 1.08 0.91 2/82 15379
/proc/meminfo: memFree=1394368/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=0
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15377] ppid=15376 vsize=12400 CPUtime=23.96
/proc/15377/stat : 15377 (pb2clasp1) R 15376 15374 15097 0 -1 4194304 502 0 0 0 2393 3 0 0 25 0 1 0 216126631 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449430149 0 0 4224 0 0 0 0 17 0 0 0
/proc/15377/statm: 3100 461 340 3 0 200 0
[pid=15378] ppid=15376 vsize=274304 CPUtime=11.51
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 68409 0 0 0 1118 33 0 0 16 0 1 0 216126631 280887296 67891 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 68576 67891 173 154 0 68046 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 36.83
Current children cumulated vsize (KiB) 329432

[startup+51.1029 s]
/proc/loadavg: 1.42 1.14 0.93 3/82 15379
/proc/meminfo: memFree=1136256/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=0
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15377] ppid=15376 vsize=12400 CPUtime=49.44
/proc/15377/stat : 15377 (pb2clasp1) R 15376 15374 15097 0 -1 4194304 502 0 0 0 4938 6 0 0 25 0 1 0 216126631 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449400826 0 0 4224 0 0 0 0 17 0 0 0
/proc/15377/statm: 3100 461 340 3 0 200 0
[pid=15378] ppid=15376 vsize=535620 CPUtime=24.17
/proc/15378/stat : 15378 (clasp) S 15376 15374 15097 0 -1 4194304 134262 0 0 0 2355 62 0 0 16 0 1 0 216126631 548474880 133231 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15378/statm: 133905 133231 173 154 0 133375 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 74.97
Current children cumulated vsize (KiB) 590748

[startup+102.303 s]
/proc/loadavg: 1.24 1.13 0.94 2/82 15379
/proc/meminfo: memFree=713024/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=0
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15377] ppid=15376 vsize=12400 CPUtime=85.97
/proc/15377/stat : 15377 (pb2clasp1) S 15376 15374 15097 0 -1 4194304 502 0 0 0 8585 12 0 0 15 0 1 0 216126631 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252438425554 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/15377/statm: 3100 461 340 3 0 200 0
[pid=15378] ppid=15376 vsize=950484 CPUtime=57.07
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 241253 0 0 0 5591 116 0 0 25 0 1 0 216126631 973295616 237277 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 237621 237277 181 154 0 237091 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 144.4
Current children cumulated vsize (KiB) 1005612

[startup+162.302 s]
/proc/loadavg: 1.09 1.11 0.94 2/81 15379
/proc/meminfo: memFree=764552/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=86.21
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 504 0 0 0 0 8608 13 16 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15378] ppid=15376 vsize=899476 CPUtime=117.03
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 248734 0 0 0 11582 121 0 0 25 0 1 0 216126631 921063424 224538 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 224869 224538 194 154 0 224339 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 942204

[startup+222.306 s]
/proc/loadavg: 1.03 1.08 0.94 2/81 15379
/proc/meminfo: memFree=764552/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=86.21
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 504 0 0 0 0 8608 13 16 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15378] ppid=15376 vsize=899476 CPUtime=177.03
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 248734 0 0 0 17581 122 0 0 25 0 1 0 216126631 921063424 224538 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 224869 224538 194 154 0 224339 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 264.6
Current children cumulated vsize (KiB) 942204

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

[startup+224.002 s]
/proc/loadavg: 1.03 1.08 0.94 2/81 15379
/proc/meminfo: memFree=764552/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=86.21
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 504 0 0 0 0 8608 13 16 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15378] ppid=15376 vsize=899476 CPUtime=178.72
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 248734 0 0 0 17750 122 0 0 25 0 1 0 216126631 921063424 224538 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134746409 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 224869 224538 194 154 0 224339 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 266.29
Current children cumulated vsize (KiB) 942204

[startup+227.201 s]
/proc/loadavg: 1.03 1.08 0.94 2/81 15379
/proc/meminfo: memFree=764552/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=86.21
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 504 0 0 0 0 8608 13 16 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15378] ppid=15376 vsize=899476 CPUtime=181.92
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 248734 0 0 0 18070 122 0 0 25 0 1 0 216126631 921063424 224538 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 224869 224538 194 154 0 224339 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 269.49
Current children cumulated vsize (KiB) 942204

[startup+228.802 s]
/proc/loadavg: 1.02 1.08 0.94 2/81 15379
/proc/meminfo: memFree=764552/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=86.21
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 504 0 0 0 0 8608 13 16 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15378] ppid=15376 vsize=899476 CPUtime=183.53
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 248734 0 0 0 18231 122 0 0 25 0 1 0 216126631 921063424 224538 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 224869 224538 194 154 0 224339 0
[pid=15379] ppid=15376 vsize=12268 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216126631 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 271.1
Current children cumulated vsize (KiB) 942204

[startup+229.602 s]
/proc/loadavg: 1.02 1.08 0.94 2/81 15379
/proc/meminfo: memFree=764552/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25108 CPUtime=1.36
/proc/15374/stat : 15374 (pbclasp) S 15372 15374 15097 0 -1 4194304 3658 0 0 0 130 6 0 0 16 0 1 0 216126494 25710592 3608 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15374/statm: 6277 3608 320 3 0 3377 0
[pid=15376] ppid=15374 vsize=5352 CPUtime=86.21
/proc/15376/stat : 15376 (sh) S 15374 15374 15097 0 -1 4194304 297 504 0 0 0 0 8608 13 16 0 1 0 216126631 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15376/statm: 1338 224 188 169 0 49 0
[pid=15378] ppid=15376 vsize=869604 CPUtime=184.32
/proc/15378/stat : 15378 (clasp) R 15376 15374 15097 0 -1 4194304 248757 0 0 0 18310 122 0 0 25 0 1 0 216126631 890474496 217093 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134723945 0 0 4096 0 0 0 0 17 1 0 0
/proc/15378/statm: 217401 217093 217 154 0 216871 0
[pid=15379] ppid=15376 vsize=12412 CPUtime=0
/proc/15379/stat : 15379 (pboutclasp.pl) S 15376 15374 15097 0 -1 4194304 483 0 0 0 0 0 0 0 16 0 1 0 216126631 12709888 443 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15379/statm: 3103 443 311 3 0 203 0
Current children cumulated CPU time (s) 271.89
Current children cumulated vsize (KiB) 912476

[startup+229.802 s]
/proc/loadavg: 1.02 1.08 0.94 2/81 15379
/proc/meminfo: memFree=764552/2055920 swapFree=4160020/4192956
[pid=15374] ppid=15372 vsize=25260 CPUtime=272.12
/proc/15374/stat : 15374 (pbclasp) R 15372 15374 15097 0 -1 4194304 5550 250059 0 0 131 7 26924 150 16 0 1 0 216126494 25866240 3633 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252449524619 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15374/statm: 6315 3633 320 3 0 3415 0
Current children cumulated CPU time (s) 272.12
Current children cumulated vsize (KiB) 25260

Child status: 0
Real time (s): 229.809
CPU time (s): 272.139
CPU user time (s): 270.554
CPU system time (s): 1.58476
CPU usage (%): 118.42
Max. virtual memory (cumulated for all children) (KiB): 1014488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 270.554
system time used= 1.58476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256137
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= 13042
involuntary context switches= 6618

runsolver used 0.215967 second user time and 0.629904 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Apr 24 07:48:11 UTC 2007

IDJOB= 419007
IDBENCH= 47743
IDSOLVER= 158
FILE ID= node12/419007-1177400888

PBS_JOBID= 4675632

Free space on /tmp= 66344 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-419007-1177400888.opb /tmp/evaluation/419007-1177400888/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-419007-1177400888 -o ROOT/results/node12/conversion-419007-1177400888 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419007-1177400888/instance-419007-1177400888.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  c26ed3d78fc6bdcddb71a2a3fd514e6f

RANDOM SEED= 397380154

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1677952 kB
Buffers:         41168 kB
Cached:         227752 kB
SwapCached:      11852 kB
Active:         203320 kB
Inactive:       116252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1677952 kB
SwapTotal:     4192956 kB
SwapFree:      4160020 kB
Dirty:           44284 kB
Writeback:           0 kB
Mapped:          57312 kB
Slab:            43844 kB
Committed_AS:  6118936 kB
PageTables:       1872 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 node12 on Tue Apr 24 07:52:01 UTC 2007